0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.18/0.20 c Seed is 1055214662
0.18/0.20 c Constructing HOME/instance-2086928-1247727000.xml
0.18/0.20 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,V63,V0)
0.18/0.20 c with 2065 constraints
0.18/0.20 c Solving
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2086928-1247727000/watcher-2086928-1247727000 -o /tmp/evaluation-result-2086928-1247727000/solver-2086928-1247727000 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1055214662 HOME/instance-2086928-1247727000.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: 1.85 1.97 1.99 4/81 14313
/proc/meminfo: memFree=1480864/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=5356 CPUtime=0
/proc/14313/stat : 14313 (pcssolve) R 14311 14313 14276 0 -1 4194304 268 0 0 0 0 0 0 0 20 0 1 0 59766071 5484544 236 996147200 4194304 4889804 548682068800 18446744073709551615 4459589 0 0 4100 65536 0 0 0 17 1 0 0
/proc/14313/statm: 1339 236 197 169 0 50 0
[startup+0.10122 s]
/proc/loadavg: 1.85 1.97 1.99 4/81 14313
/proc/meminfo: memFree=1480864/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=5208 CPUtime=0.08
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 970 656 0 0 8 0 0 0 18 0 1 0 59766071 5332992 601 996147200 134512640 135215973 4294956304 18446744073709551615 134923831 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 1302 601 406 171 0 227 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5208
[startup+0.202237 s]
/proc/loadavg: 1.85 1.97 1.99 4/81 14313
/proc/meminfo: memFree=1480864/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=5528 CPUtime=0.18
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 1079 656 0 0 18 0 0 0 18 0 1 0 59766071 5660672 710 996147200 134512640 135215973 4294956304 18446744073709551615 134599882 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 1382 710 408 171 0 307 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5528
[startup+0.301249 s]
/proc/loadavg: 1.85 1.97 1.99 4/81 14313
/proc/meminfo: memFree=1480864/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=5788 CPUtime=0.28
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 1116 656 0 0 28 0 0 0 19 0 1 0 59766071 5926912 747 996147200 134512640 135215973 4294956304 18446744073709551615 134591344 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 1447 747 408 171 0 372 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5788
[startup+0.701308 s]
/proc/loadavg: 1.85 1.97 1.99 4/81 14313
/proc/meminfo: memFree=1480864/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=6736 CPUtime=0.67
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 1344 656 0 0 67 0 0 0 23 0 1 0 59766071 6897664 975 996147200 134512640 135215973 4294956304 18446744073709551615 134648323 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 1684 975 408 171 0 609 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6736
[startup+1.50142 s]
/proc/loadavg: 1.85 1.97 1.99 3/82 14318
/proc/meminfo: memFree=1477712/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=8308 CPUtime=1.47
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 1745 656 0 0 147 0 0 0 25 0 1 0 59766071 8507392 1376 996147200 134512640 135215973 4294956304 18446744073709551615 134902388 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 2077 1376 408 171 0 1002 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8308
[startup+3.10166 s]
/proc/loadavg: 1.85 1.97 1.99 3/82 14318
/proc/meminfo: memFree=1475216/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=11708 CPUtime=3.06
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 2622 656 0 0 305 1 0 0 25 0 1 0 59766071 11988992 2220 996147200 134512640 135215973 4294956304 18446744073709551615 134588597 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 2927 2220 408 171 0 1852 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11708
[startup+6.30113 s]
/proc/loadavg: 1.86 1.97 1.99 3/82 14318
/proc/meminfo: memFree=1468176/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=18368 CPUtime=6.22
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 4334 656 0 0 621 1 0 0 25 0 1 0 59766071 18808832 3867 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 4592 3867 408 171 0 3517 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 18368
[startup+12.7011 s]
/proc/loadavg: 1.87 1.97 1.99 3/82 14318
/proc/meminfo: memFree=1454168/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=32100 CPUtime=12.56
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 7885 656 0 0 1253 3 0 0 25 0 1 0 59766071 32870400 7289 996147200 134512640 135215973 4294956304 18446744073709551615 134590083 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 8025 7289 408 171 0 6950 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 32100
[startup+25.5029 s]
/proc/loadavg: 1.90 1.97 1.99 3/82 14318
/proc/meminfo: memFree=1425112/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=60640 CPUtime=25.24
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 15202 656 0 0 2519 5 0 0 25 0 1 0 59766071 62095360 14316 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 15160 14316 408 171 0 14085 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 60640
[startup+51.1017 s]
/proc/loadavg: 1.93 1.97 1.99 3/82 14318
/proc/meminfo: memFree=1371544/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=115508 CPUtime=50.6
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 29316 656 0 0 5049 11 0 0 25 0 1 0 59766071 118280192 27852 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 28877 27852 408 171 0 27802 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 115508
[startup+102.301 s]
/proc/loadavg: 1.97 1.97 1.99 3/82 14320
/proc/meminfo: memFree=1264280/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=223136 CPUtime=101.31
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 56962 656 0 0 10106 25 0 0 25 0 1 0 59766071 228491264 54344 996147200 134512640 135215973 4294956304 18446744073709551615 134908200 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 55784 54344 408 171 0 54709 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 223136
[startup+162.303 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 14320
/proc/meminfo: memFree=1144792/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=347976 CPUtime=160.75
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 89024 656 0 0 16034 41 0 0 25 0 1 0 59766071 356327424 84357 996147200 134512640 135215973 4294956304 18446744073709551615 7450456 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 86994 84357 408 171 0 85919 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 347976
[startup+222.307 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 14320
/proc/meminfo: memFree=1031256/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=457192 CPUtime=220.18
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 117165 656 0 0 21965 53 0 0 25 0 1 0 59766071 468164608 112498 996147200 134512640 135215973 4294956304 18446744073709551615 134591502 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 114298 112498 408 171 0 113223 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 457192
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 14320
/proc/meminfo: memFree=916632/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=570368 CPUtime=279.62
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 146307 656 0 0 27896 66 0 0 25 0 1 0 59766071 584056832 141383 996147200 134512640 135215973 4294956304 18446744073709551615 134587335 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 142592 141383 408 171 0 141517 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 570368
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 14320
/proc/meminfo: memFree=807448/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=691340 CPUtime=339.05
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 177366 656 0 0 33823 82 0 0 25 0 1 0 59766071 707932160 168345 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 172835 168345 408 171 0 171760 0
Current children cumulated CPU time (s) 339.05
Current children cumulated vsize (KiB) 691340
[startup+402.302 s]
/proc/loadavg: 2.07 1.99 1.99 3/82 14320
/proc/meminfo: memFree=699736/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=796504 CPUtime=398.49
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 204500 656 0 0 39756 93 0 0 25 0 1 0 59766071 815620096 195479 996147200 134512640 135215973 4294956304 18446744073709551615 134588239 0 0 4096 0 0 0 0 17 1 0 0
/proc/14313/statm: 199126 195479 408 171 0 198051 0
Current children cumulated CPU time (s) 398.49
Current children cumulated vsize (KiB) 796504
[startup+462.303 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 14354
/proc/meminfo: memFree=581104/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=907916 CPUtime=458.05
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 233203 656 0 0 45697 108 0 0 25 0 1 0 59766071 929705984 224182 996147200 134512640 135215973 4294956304 18446744073709551615 4158960112 0 0 4096 0 0 0 0 17 0 0 0
/proc/14313/statm: 226979 224182 408 171 0 225904 0
Current children cumulated CPU time (s) 458.05
Current children cumulated vsize (KiB) 907916
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+469.602 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14354
/proc/meminfo: memFree=556400/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=921796 CPUtime=465.35
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4194304 236791 656 0 0 46426 109 0 0 25 0 1 0 59766071 943919104 227770 996147200 134512640 135215973 4294956304 18446744073709551615 134581708 0 0 4096 0 0 0 0 17 0 0 0
/proc/14313/statm: 230449 227770 408 171 0 229374 0
Current children cumulated CPU time (s) 465.35
Current children cumulated vsize (KiB) 921796
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+469.707 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 14355
/proc/meminfo: memFree=1229160/2055920 swapFree=4192812/4192956
[pid=14313] ppid=14311 vsize=0 CPUtime=465.46
/proc/14313/stat : 14313 (pcs.big) R 14311 14313 14276 0 -1 4195332 236791 656 0 0 46426 120 0 0 25 0 1 0 59766071 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/14313/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 465.46
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 469.742
CPU time (s): 465.504
CPU user time (s): 464.267
CPU system time (s): 1.23681
CPU usage (%): 99.0977
Max. virtual memory (cumulated for all children) (KiB): 921796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 464.267
system time used= 1.23681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237447
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= 19
involuntary context switches= 18391
runsolver used 0.567913 second user time and 1.55876 second system time
The end