LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_1.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_2.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_3.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_4.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_5.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_6.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_7.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_8.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_9.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_10.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_11.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_12.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_13.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_14.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_15.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_16.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_17.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_18.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_19.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_20.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_21.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_22.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_23.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_24.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_25.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_26.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_27.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_28.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_29.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_30.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_31.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_32.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_33.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_34.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_35.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_36.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_37.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_38.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_39.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_40.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_41.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_42.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_43.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_44.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_45.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_46.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_47.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_48.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_49.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_lin-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_lin-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_lin-seq_c-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_1-gcc_c-seq_c-28_50.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_1.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_1.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_2.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_2.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_3.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_3.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_4.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_4.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_5.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_5.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_6.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_6.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_7.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_7.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_8.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_8.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_9.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_9.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_10.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_10.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_11.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_11.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_12.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_12.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_13.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_13.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_14.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_14.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_15.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_15.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_16.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_16.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_17.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_17.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_18.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_18.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_19.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_19.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_20.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_20.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_21.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_21.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_22.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_22.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_23.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_23.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_24.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_24.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_25.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_25.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_26.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_26.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_27.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_27.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_28.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_28.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_29.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_29.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_30.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_30.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_31.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_31.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_32.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_32.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_33.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_33.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_34.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_34.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_35.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_35.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_36.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_36.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_37.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_37.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_38.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_38.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_39.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_39.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_40.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_40.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_41.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_41.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_42.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_42.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_43.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_43.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_44.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_44.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_45.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_45.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_46.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_46.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_47.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_47.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_48.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_48.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_49.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_49.fzn LD_PRELOAD=libcpx.so.std fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_lin-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_lin-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_lin-seq_c-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_cut fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_50.fzn LD_PRELOAD=libcpx.so.c_mcf_cut_scc fzn_cpx -wall-time 610 cpx/nurse_nina-model_2-gcc_c-seq_c-28_50.fzn