LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-2_2_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-2_2_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 2 2 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 2 2 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 2 2 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-2_2_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-2_2_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 2 2 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 2 2 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 2 2 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-3_2_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-3_2_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 3 2 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 3 2 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 3 2 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-3_2_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-3_2_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 3 2 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 3 2 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 3 2 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-3_2_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-3_2_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 3 2 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 3 2 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 3 2 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-3_2_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-3_2_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 3 2 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 3 2 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 3 2 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-3_3_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-3_3_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 3 3 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 3 3 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 3 3 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-3_3_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-3_3_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 3 3 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 3 3 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 3 3 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-3_3_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-3_3_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 3 3 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 3 3 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 3 3 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-4_2_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-4_2_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 4 2 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 4 2 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 4 2 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-4_2_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-4_2_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 4 2 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 4 2 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 4 2 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-4_2_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-4_2_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 4 2 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 4 2 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 4 2 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-4_2_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-4_2_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 4 2 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 4 2 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 4 2 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-4_2_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-4_2_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 4 2 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 4 2 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 4 2 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-4_2_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-4_2_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 4 2 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 4 2 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 4 2 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-4_3_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-4_3_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 4 3 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 4 3 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 4 3 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-4_3_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-4_3_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 4 3 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 4 3 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 4 3 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-4_3_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-4_3_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 4 3 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 4 3 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 4 3 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-4_3_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-4_3_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 4 3 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 4 3 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 4 3 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-4_4_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-4_4_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 4 4 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 4 4 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 4 4 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-4_4_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-4_4_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 4 4 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 4 4 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 4 4 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-4_4_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-4_4_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 4 4 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 4 4 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 4 4 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-4_4_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-4_4_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 4 4 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 4 4 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 4 4 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_2_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_2_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 2 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 2 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 2 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_2_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_2_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 2 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 2 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 2 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_2_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_2_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 2 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 2 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 2 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_2_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_2_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 2 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 2 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 2 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_2_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_2_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 2 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 2 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 2 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_2_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_2_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 2 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 2 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 2 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_2_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_2_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 2 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 2 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 2 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_2_9.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_2_9.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 2 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 2 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 2 9 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_3_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_3_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 3 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 3 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 3 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_3_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_3_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 3 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 3 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 3 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_3_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_3_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 3 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 3 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 3 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_3_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_3_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 3 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 3 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 3 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_3_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_3_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 3 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 3 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 3 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_3_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_3_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 3 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 3 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 3 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_4_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_4_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 4 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 4 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 4 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_4_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_4_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 4 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 4 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 4 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_4_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_4_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 4 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 4 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 4 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_4_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_4_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 4 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 4 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 4 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_4_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_4_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 4 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 4 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 4 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_5_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_5_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 5 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 5 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 5 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_5_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_5_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 5 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 5 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 5 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_5_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_5_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 5 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 5 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 5 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_5_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_5_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 5 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 5 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 5 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-5_5_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-5_5_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 5 5 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 5 5 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 5 5 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_2_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_2_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 2 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 2 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 2 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_2_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_2_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 2 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 2 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 2 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_2_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_2_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 2 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 2 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 2 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_2_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_2_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 2 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 2 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 2 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_2_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_2_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 2 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 2 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 2 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_2_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_2_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 2 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 2 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 2 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_2_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_2_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 2 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 2 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 2 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_2_9.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_2_9.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 2 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 2 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 2 9 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_2_10.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_2_10.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 2 10 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 2 10 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 2 10 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_2_11.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_2_11.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 2 11 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 2 11 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 2 11 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_3_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_3_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 3 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 3 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 3 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_3_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_3_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 3 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 3 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 3 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_3_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_3_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 3 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 3 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 3 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_3_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_3_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 3 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 3 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 3 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_3_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_3_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 3 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 3 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 3 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_3_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_3_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 3 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 3 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 3 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_3_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_3_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 3 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 3 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 3 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_4_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_4_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 4 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 4 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 4 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_4_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_4_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 4 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 4 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 4 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_4_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_4_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 4 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 4 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 4 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_4_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_4_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 4 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 4 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 4 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_4_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_4_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 4 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 4 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 4 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_4_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_4_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 4 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 4 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 4 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_5_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_5_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 5 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 5 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 5 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_5_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_5_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 5 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 5 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 5 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_5_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_5_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 5 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 5 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 5 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_5_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_5_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 5 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 5 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 5 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_5_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_5_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 5 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 5 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 5 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_5_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_5_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 5 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 5 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 5 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_6_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_6_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 6 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 6 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 6 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_6_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_6_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 6 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 6 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 6 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_6_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_6_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 6 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 6 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 6 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_6_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_6_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 6 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 6 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 6 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_6_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_6_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 6 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 6 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 6 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-6_6_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-6_6_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 6 6 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 6 6 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 6 6 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_2_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_2_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 2 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 2 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 2 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_2_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_2_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 2 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 2 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 2 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_2_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_2_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 2 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 2 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 2 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_2_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_2_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 2 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 2 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 2 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_2_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_2_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 2 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 2 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 2 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_2_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_2_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 2 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 2 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 2 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_2_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_2_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 2 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 2 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 2 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_2_9.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_2_9.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 2 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 2 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 2 9 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_2_10.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_2_10.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 2 10 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 2 10 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 2 10 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_2_11.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_2_11.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 2 11 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 2 11 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 2 11 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_2_12.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_2_12.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 2 12 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 2 12 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 2 12 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_2_13.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_2_13.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 2 13 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 2 13 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 2 13 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_3_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_3_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 3 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 3 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 3 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_3_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_3_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 3 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 3 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 3 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_3_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_3_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 3 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 3 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 3 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_3_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_3_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 3 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 3 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 3 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_3_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_3_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 3 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 3 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 3 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_3_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_3_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 3 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 3 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 3 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_3_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_3_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 3 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 3 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 3 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_3_9.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_3_9.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 3 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 3 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 3 9 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_3_10.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_3_10.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 3 10 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 3 10 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 3 10 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_4_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_4_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 4 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 4 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 4 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_4_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_4_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 4 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 4 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 4 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_4_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_4_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 4 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 4 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 4 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_4_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_4_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 4 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 4 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 4 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_4_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_4_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 4 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 4 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 4 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_4_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_4_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 4 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 4 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 4 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_4_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_4_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 4 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 4 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 4 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_4_9.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_4_9.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 4 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 4 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 4 9 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_5_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_5_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 5 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 5 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 5 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_5_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_5_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 5 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 5 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 5 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_5_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_5_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 5 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 5 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 5 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_5_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_5_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 5 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 5 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 5 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_5_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_5_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 5 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 5 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 5 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_5_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_5_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 5 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 5 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 5 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_5_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_5_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 5 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 5 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 5 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_6_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_6_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 6 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 6 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 6 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_6_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_6_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 6 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 6 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 6 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_6_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_6_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 6 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 6 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 6 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_6_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_6_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 6 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 6 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 6 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_6_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_6_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 6 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 6 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 6 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_6_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_6_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 6 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 6 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 6 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_6_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_6_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 6 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 6 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 6 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_7_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_7_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 7 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 7 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 7 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_7_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_7_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 7 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 7 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 7 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_7_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_7_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 7 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 7 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 7 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_7_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_7_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 7 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 7 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 7 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_7_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_7_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 7 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 7 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 7 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_7_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_7_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 7 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 7 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 7 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-7_7_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-7_7_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 7 7 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 7 7 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 7 7 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_2_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_2_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 2 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 2 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 2 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_2_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_2_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 2 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 2 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 2 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_2_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_2_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 2 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 2 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 2 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_2_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_2_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 2 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 2 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 2 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_2_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_2_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 2 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 2 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 2 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_2_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_2_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 2 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 2 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 2 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_2_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_2_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 2 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 2 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 2 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_2_9.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_2_9.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 2 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 2 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 2 9 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_2_10.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_2_10.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 2 10 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 2 10 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 2 10 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_2_11.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_2_11.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 2 11 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 2 11 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 2 11 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_2_12.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_2_12.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 2 12 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 2 12 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 2 12 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_2_13.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_2_13.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 2 13 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 2 13 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 2 13 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_2_14.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_2_14.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 2 14 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 2 14 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 2 14 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_2_15.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_2_15.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 2 15 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 2 15 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 2 15 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_3_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_3_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 3 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 3 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 3 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_3_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_3_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 3 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 3 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 3 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_3_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_3_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 3 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 3 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 3 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_3_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_3_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 3 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 3 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 3 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_3_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_3_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 3 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 3 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 3 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_3_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_3_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 3 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 3 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 3 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_3_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_3_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 3 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 3 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 3 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_3_9.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_3_9.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 3 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 3 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 3 9 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_3_10.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_3_10.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 3 10 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 3 10 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 3 10 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_3_11.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_3_11.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 3 11 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 3 11 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 3 11 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_4_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_4_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 4 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 4 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 4 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_4_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_4_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 4 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 4 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 4 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_4_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_4_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 4 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 4 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 4 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_4_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_4_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 4 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 4 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 4 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_4_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_4_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 4 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 4 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 4 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_4_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_4_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 4 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 4 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 4 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_4_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_4_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 4 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 4 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 4 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_4_9.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_4_9.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 4 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 4 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 4 9 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_4_10.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_4_10.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 4 10 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 4 10 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 4 10 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_5_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_5_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 5 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 5 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 5 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_5_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_5_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 5 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 5 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 5 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_5_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_5_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 5 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 5 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 5 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_5_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_5_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 5 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 5 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 5 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_5_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_5_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 5 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 5 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 5 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_5_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_5_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 5 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 5 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 5 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_5_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_5_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 5 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 5 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 5 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_5_9.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_5_9.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 5 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 5 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 5 9 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_6_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_6_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 6 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 6 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 6 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_6_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_6_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 6 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 6 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 6 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_6_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_6_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 6 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 6 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 6 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_6_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_6_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 6 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 6 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 6 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_6_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_6_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 6 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 6 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 6 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_6_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_6_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 6 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 6 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 6 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_6_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_6_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 6 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 6 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 6 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_6_9.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_6_9.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 6 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 6 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 6 9 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_7_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_7_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 7 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 7 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 7 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_7_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_7_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 7 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 7 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 7 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_7_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_7_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 7 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 7 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 7 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_7_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_7_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 7 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 7 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 7 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_7_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_7_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 7 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 7 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 7 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_7_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_7_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 7 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 7 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 7 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_7_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_7_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 7 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 7 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 7 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_7_9.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_7_9.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 7 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 7 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 7 9 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_8_2.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_8_2.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 8 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 8 2 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 8 2 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_8_3.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_8_3.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 8 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 8 3 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 8 3 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_8_4.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_8_4.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 8 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 8 4 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 8 4 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_8_5.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_8_5.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 8 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 8 5 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 8 5 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_8_6.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_8_6.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 8 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 8 6 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 8 6 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_8_7.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_8_7.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 8 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 8 7 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 8 7 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_8_8.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_8_8.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 8 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 8 8 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 8 8 LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 cpx/social_golfer-input_order-8_8_9.fzn LD_PRELOAD=libcpx.so.c_scc fzn_cpx -wall-time 610 -rfirst 0 -xp-mode none cpx/social_golfer-input_order-8_8_9.fzn java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm_nogoods static_assign_or_forbid false 610000 8 8 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer palm static_assign_or_forbid false 610000 8 8 9 java -cp social_golfer:../choco-old_version.git -Xmx4096m SocialGolfer choco static_assign_or_forbid false 610000 8 8 9