0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.17/0.21 c Seed is 911133034
0.17/0.21 c Constructing HOME/instance-2080900-1247719000.xml
0.17/0.21 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.17/0.21 c with 1996 constraints
0.17/0.21 c Solving
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2080900-1247719000/watcher-2080900-1247719000 -o /tmp/evaluation-result-2080900-1247719000/solver-2080900-1247719000 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 911133034 HOME/instance-2080900-1247719000.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.40 2.11 2.03 4/81 17148
/proc/meminfo: memFree=1259840/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=5356 CPUtime=0
/proc/17148/stat : 17148 (pcssolve) R 17146 17148 14762 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58966832 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240472615583 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/17148/statm: 1339 241 200 169 0 50 0
[pid=17149] ppid=17148 vsize=0 CPUtime=0
/proc/17149/stat : 17149 (fgrep) Z 17148 17148 14762 0 -1 4194316 155 0 0 0 0 0 0 0 22 0 1 0 58966833 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/17149/statm: 0 0 0 0 0 0 0
[startup+0.135393 s]
/proc/loadavg: 2.40 2.11 2.03 4/81 17148
/proc/meminfo: memFree=1259840/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=5396 CPUtime=0.11
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 1043 656 0 0 11 0 0 0 18 0 1 0 58966832 5525504 674 996147200 134512640 135215973 4294956304 18446744073709551615 134939529 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 1349 674 408 171 0 274 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 5396
[startup+0.202401 s]
/proc/loadavg: 2.40 2.11 2.03 4/81 17148
/proc/meminfo: memFree=1259840/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=5396 CPUtime=0.17
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 1047 656 0 0 17 0 0 0 18 0 1 0 58966832 5525504 678 996147200 134512640 135215973 4294956304 18446744073709551615 134641059 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 1349 678 408 171 0 274 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5396
[startup+0.302416 s]
/proc/loadavg: 2.40 2.11 2.03 4/81 17148
/proc/meminfo: memFree=1259840/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=5528 CPUtime=0.27
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 1080 656 0 0 27 0 0 0 19 0 1 0 58966832 5660672 711 996147200 134512640 135215973 4294956304 18446744073709551615 134587250 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 1382 711 408 171 0 307 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5528
[startup+0.701443 s]
/proc/loadavg: 2.40 2.11 2.03 4/81 17148
/proc/meminfo: memFree=1259840/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=6444 CPUtime=0.67
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 1299 656 0 0 67 0 0 0 23 0 1 0 58966832 6598656 930 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 1611 930 408 171 0 536 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6444
[startup+1.50152 s]
/proc/loadavg: 2.37 2.11 2.03 3/82 17153
/proc/meminfo: memFree=1256952/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=7992 CPUtime=1.46
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 1686 656 0 0 146 0 0 0 25 0 1 0 58966832 8183808 1317 996147200 134512640 135215973 4294956304 18446744073709551615 134590168 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 1998 1317 408 171 0 923 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 7992
[startup+3.10165 s]
/proc/loadavg: 2.37 2.11 2.03 3/82 17153
/proc/meminfo: memFree=1254520/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=11644 CPUtime=3.06
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 2613 656 0 0 305 1 0 0 25 0 1 0 58966832 11923456 2211 996147200 134512640 135215973 4294956304 18446744073709551615 4158960596 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 2911 2211 408 171 0 1836 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11644
[startup+6.30193 s]
/proc/loadavg: 2.37 2.11 2.03 3/82 17153
/proc/meminfo: memFree=1247544/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=18404 CPUtime=6.24
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 4358 656 0 0 622 2 0 0 25 0 1 0 58966832 18845696 3891 996147200 134512640 135215973 4294956304 18446744073709551615 134583868 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 4601 3891 408 171 0 3526 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 18404
[startup+12.7015 s]
/proc/loadavg: 2.39 2.12 2.03 3/82 17153
/proc/meminfo: memFree=1232248/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=33420 CPUtime=12.62
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 8212 656 0 0 1257 5 0 0 25 0 1 0 58966832 34222080 7583 996147200 134512640 135215973 4294956304 18446744073709551615 7978631 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 8355 7583 408 171 0 7280 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 33420
[startup+25.5026 s]
/proc/loadavg: 2.33 2.12 2.03 3/82 17153
/proc/meminfo: memFree=1204152/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=60564 CPUtime=25.35
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 15243 656 0 0 2527 8 0 0 25 0 1 0 58966832 62017536 14357 996147200 134512640 135215973 4294956304 18446744073709551615 134902469 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 15141 14357 408 171 0 14066 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 60564
[startup+51.1029 s]
/proc/loadavg: 2.22 2.11 2.03 3/82 17153
/proc/meminfo: memFree=1154616/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=111028 CPUtime=50.82
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 28305 656 0 0 5065 17 0 0 25 0 1 0 58966832 113692672 26841 996147200 134512640 135215973 4294956304 18446744073709551615 7945724 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 27757 26841 408 171 0 26682 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 111028
[startup+102.302 s]
/proc/loadavg: 2.08 2.09 2.02 3/82 17153
/proc/meminfo: memFree=1052728/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=213180 CPUtime=101.78
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 54649 656 0 0 10146 32 0 0 25 0 1 0 58966832 218296320 52031 996147200 134512640 135215973 4294956304 18446744073709551615 134922776 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 53295 52031 408 171 0 52220 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 213180
[startup+162.303 s]
/proc/loadavg: 2.03 2.07 2.02 3/82 17153
/proc/meminfo: memFree=937848/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=334172 CPUtime=161.49
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 85867 656 0 0 16097 52 0 0 25 0 1 0 58966832 342192128 80943 996147200 134512640 135215973 4294956304 18446744073709551615 134596224 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 83543 80943 408 171 0 82468 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 334172
[startup+222.307 s]
/proc/loadavg: 2.01 2.05 2.01 3/82 17153
/proc/meminfo: memFree=817400/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=449792 CPUtime=221.2
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 115720 656 0 0 22049 71 0 0 25 0 1 0 58966832 460587008 110796 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 112448 110796 408 171 0 111373 0
Current children cumulated CPU time (s) 221.2
Current children cumulated vsize (KiB) 449792
[startup+282.302 s]
/proc/loadavg: 2.00 2.04 2.01 3/82 17153
/proc/meminfo: memFree=687160/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=579212 CPUtime=280.91
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 149015 656 0 0 28002 89 0 0 25 0 1 0 58966832 593113088 143578 996147200 134512640 135215973 4294956304 18446744073709551615 134920571 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 144803 143578 408 171 0 143728 0
Current children cumulated CPU time (s) 280.91
Current children cumulated vsize (KiB) 579212
[startup+342.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 17153
/proc/meminfo: memFree=559424/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=718416 CPUtime=340.62
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 184728 656 0 0 33952 110 0 0 25 0 1 0 58966832 735657984 175194 996147200 134512640 135215973 4294956304 18446744073709551615 7978629 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 179604 175194 408 171 0 178529 0
Current children cumulated CPU time (s) 340.62
Current children cumulated vsize (KiB) 718416
[startup+402.303 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 17153
/proc/meminfo: memFree=433728/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=841440 CPUtime=400.33
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 216349 656 0 0 39903 130 0 0 25 0 1 0 58966832 861634560 206816 996147200 134512640 135215973 4294956304 18446744073709551615 7947899 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 210360 206816 408 171 0 209285 0
Current children cumulated CPU time (s) 400.33
Current children cumulated vsize (KiB) 841440
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+443.001 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 17153
/proc/meminfo: memFree=349248/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=921824 CPUtime=440.84
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4194304 237040 656 0 0 43939 145 0 0 25 0 1 0 58966832 943947776 227506 996147200 134512640 135215973 4294956304 18446744073709551615 134648600 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 230456 227506 408 171 0 229381 0
Current children cumulated CPU time (s) 440.84
Current children cumulated vsize (KiB) 921824
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+443.106 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 17153
/proc/meminfo: memFree=349248/2055920 swapFree=4191900/4192956
[pid=17148] ppid=17146 vsize=0 CPUtime=440.94
/proc/17148/stat : 17148 (pcs.big) R 17146 17148 14762 0 -1 4195332 237040 656 0 0 43939 155 0 0 25 0 1 0 58966832 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/17148/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 440.94
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 443.15
CPU time (s): 440.999
CPU user time (s): 439.398
CPU system time (s): 1.60076
CPU usage (%): 99.5145
Max. virtual memory (cumulated for all children) (KiB): 921824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 439.398
system time used= 1.60076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237696
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= 18
involuntary context switches= 13708
runsolver used 0.494924 second user time and 1.13083 second system time
The end