0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.00/0.02 c Seed is 1289281123
0.00/0.02 c Constructing HOME/instance-2080899-1247718998.xml
0.05/0.08 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V16,V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V33,V34,V35,V36,V37,V38,V39,V40,V41,V42,V43,V44,V45,V46,V47,V48,V49,V50,V51,V52,V53,V54,V55,V56,V57,V58,V59,V60,V61,V62,V0)
0.05/0.08 c with 1996 constraints
0.05/0.08 c Solving
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2080899-1247718998/watcher-2080899-1247718998 -o /tmp/evaluation-result-2080899-1247718998/solver-2080899-1247718998 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1289281123 HOME/instance-2080899-1247718998.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 17352
/proc/meminfo: memFree=1108048/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=18576 CPUtime=0
/proc/17352/stat : 17352 (runsolver) R 17350 17352 16829 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 58965857 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 254195330343 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17352/statm: 4644 284 249 26 0 2626 0
[startup+0.071852 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 17352
/proc/meminfo: memFree=1108048/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=4808 CPUtime=0.05
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 879 656 0 0 5 0 0 0 25 0 1 0 58965857 4923392 510 996147200 134512640 135215973 4294956304 18446744073709551615 134761742 0 0 4096 0 0 0 0 17 1 0 0
/proc/17352/statm: 1202 510 384 171 0 127 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4808
[startup+0.101851 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 17352
/proc/meminfo: memFree=1108048/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=5096 CPUtime=0.07
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 970 656 0 0 7 0 0 0 25 0 1 0 58965857 5218304 601 996147200 134512640 135215973 4294956304 18446744073709551615 4158960165 0 0 4096 0 0 0 0 17 1 0 0
/proc/17352/statm: 1274 601 406 171 0 199 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5096
[startup+0.301868 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 17352
/proc/meminfo: memFree=1108048/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=5548 CPUtime=0.27
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 1095 656 0 0 27 0 0 0 25 0 1 0 58965857 5681152 726 996147200 134512640 135215973 4294956304 18446744073709551615 134592939 0 0 4096 0 0 0 0 17 1 0 0
/proc/17352/statm: 1387 726 408 171 0 312 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5548
[startup+0.701899 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 17352
/proc/meminfo: memFree=1108048/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=6592 CPUtime=0.67
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 1330 656 0 0 67 0 0 0 25 0 1 0 58965857 6750208 961 996147200 134512640 135215973 4294956304 18446744073709551615 4158960683 0 0 4096 0 0 0 0 17 1 0 0
/proc/17352/statm: 1648 961 408 171 0 573 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6592
[startup+1.50196 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17357
/proc/meminfo: memFree=1105024/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=8292 CPUtime=1.48
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 1739 656 0 0 147 1 0 0 25 0 1 0 58965857 8491008 1370 996147200 134512640 135215973 4294956304 18446744073709551615 8152476 0 0 4096 0 0 0 0 17 1 0 0
/proc/17352/statm: 2073 1370 408 171 0 998 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8292
[startup+3.10107 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17357
/proc/meminfo: memFree=1102272/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=12364 CPUtime=3.07
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 2782 656 0 0 306 1 0 0 25 0 1 0 58965857 12660736 2380 996147200 134512640 135215973 4294956304 18446744073709551615 134583244 0 0 4096 0 0 0 0 17 1 0 0
/proc/17352/statm: 3091 2380 408 171 0 2016 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12364
[startup+6.3023 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17357
/proc/meminfo: memFree=1094080/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=18472 CPUtime=6.26
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 4387 656 0 0 624 2 0 0 25 0 1 0 58965857 18915328 3920 996147200 134512640 135215973 4294956304 18446744073709551615 4158960041 0 0 4096 0 0 0 0 17 1 0 0
/proc/17352/statm: 4618 3920 408 171 0 3543 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 18472
[startup+12.7018 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17357
/proc/meminfo: memFree=1077264/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=34504 CPUtime=12.62
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 8498 656 0 0 1258 4 0 0 25 0 1 0 58965857 35332096 7869 996147200 134512640 135215973 4294956304 18446744073709551615 134923539 0 0 4096 0 0 0 0 17 1 0 0
/proc/17352/statm: 8626 7869 408 171 0 7551 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 34504
[startup+25.5017 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17357
/proc/meminfo: memFree=1044048/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=63880 CPUtime=25.35
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 16073 656 0 0 2528 7 0 0 25 0 1 0 58965857 65413120 15122 996147200 134512640 135215973 4294956304 18446744073709551615 134739666 0 0 4096 0 0 0 0 17 1 0 0
/proc/17352/statm: 15970 15122 408 171 0 14895 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 63880
[startup+51.1016 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17357
/proc/meminfo: memFree=984208/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=117180 CPUtime=50.84
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 29846 656 0 0 5070 14 0 0 25 0 1 0 58965857 119992320 28382 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/17352/statm: 29295 28382 408 171 0 28220 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 117180
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17357
/proc/meminfo: memFree=855440/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=232916 CPUtime=101.79
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 59608 656 0 0 10149 30 0 0 25 0 1 0 58965857 238505984 56990 996147200 134512640 135215973 4294956304 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 1 0 0
/proc/17352/statm: 58229 56990 408 171 0 57154 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 232916
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17357
/proc/meminfo: memFree=727056/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=353292 CPUtime=161.51
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 90672 656 0 0 16102 49 0 0 25 0 1 0 58965857 361771008 85748 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/17352/statm: 88323 85748 408 171 0 87248 0
Current children cumulated CPU time (s) 161.51
Current children cumulated vsize (KiB) 353292
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17357
/proc/meminfo: memFree=601488/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=461460 CPUtime=221.21
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 118680 656 0 0 22056 65 0 0 25 0 1 0 58965857 472535040 113756 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/17352/statm: 115365 113756 408 171 0 114290 0
Current children cumulated CPU time (s) 221.21
Current children cumulated vsize (KiB) 461460
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17357
/proc/meminfo: memFree=460240/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=588120 CPUtime=280.93
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 151241 656 0 0 28010 83 0 0 25 0 1 0 58965857 602234880 145804 996147200 134512640 135215973 4294956304 18446744073709551615 8155260 0 0 4096 0 0 0 0 17 1 0 0
/proc/17352/statm: 147030 145804 408 171 0 145955 0
Current children cumulated CPU time (s) 280.93
Current children cumulated vsize (KiB) 588120
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 17399
/proc/meminfo: memFree=726656/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=736392 CPUtime=340.82
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 189292 656 0 0 33980 102 0 0 25 0 1 0 58965857 754065408 179758 996147200 134512640 135215973 4294956304 18446744073709551615 4158960053 0 0 4096 0 0 0 0 17 0 0 0
/proc/17352/statm: 184098 179758 408 171 0 183023 0
Current children cumulated CPU time (s) 340.82
Current children cumulated vsize (KiB) 736392
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 17399
/proc/meminfo: memFree=551040/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=875620 CPUtime=400.8
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 225089 656 0 0 39959 121 0 0 25 0 1 0 58965857 896634880 215555 996147200 134512640 135215973 4294956304 18446744073709551615 4158960067 0 0 4096 0 0 0 0 17 0 0 0
/proc/17352/statm: 218905 215555 408 171 0 217830 0
Current children cumulated CPU time (s) 400.8
Current children cumulated vsize (KiB) 875620
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+422.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 17399
/proc/meminfo: memFree=501376/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=921768 CPUtime=420.81
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4194304 236949 656 0 0 41954 127 0 0 25 0 1 0 58965857 943890432 227415 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 0 0 0
/proc/17352/statm: 230442 227415 408 171 0 229367 0
Current children cumulated CPU time (s) 420.81
Current children cumulated vsize (KiB) 921768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+422.411 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 17399
/proc/meminfo: memFree=501376/2055920 swapFree=4192812/4192956
[pid=17352] ppid=17350 vsize=0 CPUtime=420.91
/proc/17352/stat : 17352 (pcs.big) R 17350 17352 16829 0 -1 4195332 236949 656 0 0 41954 137 0 0 25 0 1 0 58965857 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/17352/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 420.91
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 422.447
CPU time (s): 420.955
CPU user time (s): 419.543
CPU system time (s): 1.41179
CPU usage (%): 99.6468
Max. virtual memory (cumulated for all children) (KiB): 921768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 419.543
system time used= 1.41179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237605
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 3982
runsolver used 0.664898 second user time and 1.26581 second system time
The end