0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.18/0.21 c Seed is 228814940
0.18/0.21 c Constructing HOME/instance-2080921-1247719082.xml
0.18/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,V0)
0.18/0.21 c with 1811 constraints
0.18/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-2080921-1247719082/watcher-2080921-1247719082 -o /tmp/evaluation-result-2080921-1247719082/solver-2080921-1247719082 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 228814940 HOME/instance-2080921-1247719082.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.97 1.98 1.99 4/81 12343
/proc/meminfo: memFree=1496096/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=5356 CPUtime=0
/proc/12343/stat : 12343 (pcssolve) R 12341 12343 9569 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58974744 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 272467815071 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12343/statm: 1339 241 200 169 0 50 0
[pid=12344] ppid=12343 vsize=3676 CPUtime=0
/proc/12344/stat : 12344 (fgrep) R 12343 12343 9569 0 -1 4194304 146 0 0 0 0 0 0 0 22 0 1 0 58974744 3764224 113 996147200 4194304 4274172 548682068976 18446744073709551615 272467984466 0 0 4096 0 0 0 0 17 1 0 0
/proc/12344/statm: 919 113 85 19 0 43 0
[pid=12345] ppid=12343 vsize=5356 CPUtime=0
/proc/12345/stat : 12345 (pcssolve) R 12343 12343 9569 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58974745 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 272467815071 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12345/statm: 1339 241 200 169 0 50 0
[startup+0.0515399 s]
/proc/loadavg: 1.97 1.98 1.99 4/81 12343
/proc/meminfo: memFree=1496096/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=4624 CPUtime=0.03
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 848 656 0 0 3 0 0 0 18 0 1 0 58974744 4734976 479 996147200 134512640 135215973 4294956304 18446744073709551615 134730749 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 1156 479 384 171 0 81 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4624
[startup+0.101549 s]
/proc/loadavg: 1.97 1.98 1.99 4/81 12343
/proc/meminfo: memFree=1496096/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=5352 CPUtime=0.08
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 1026 656 0 0 8 0 0 0 18 0 1 0 58974744 5480448 657 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 1338 657 408 171 0 263 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5352
[startup+0.301574 s]
/proc/loadavg: 1.97 1.98 1.99 4/81 12343
/proc/meminfo: memFree=1496096/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=5484 CPUtime=0.28
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 1079 656 0 0 28 0 0 0 19 0 1 0 58974744 5615616 710 996147200 134512640 135215973 4294956304 18446744073709551615 5119650 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 1371 710 408 171 0 296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5484
[startup+0.701634 s]
/proc/loadavg: 1.97 1.98 1.99 4/81 12343
/proc/meminfo: memFree=1496096/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=6428 CPUtime=0.67
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 1299 656 0 0 67 0 0 0 23 0 1 0 58974744 6582272 930 996147200 134512640 135215973 4294956304 18446744073709551615 134603531 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 1607 930 408 171 0 532 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6428
[startup+1.50175 s]
/proc/loadavg: 1.97 1.98 1.99 3/82 12348
/proc/meminfo: memFree=1493272/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=8120 CPUtime=1.46
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 1706 656 0 0 146 0 0 0 25 0 1 0 58974744 8314880 1337 996147200 134512640 135215973 4294956304 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 2030 1337 408 171 0 955 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8120
[startup+3.10198 s]
/proc/loadavg: 1.97 1.98 1.99 3/82 12348
/proc/meminfo: memFree=1490776/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=11516 CPUtime=3.06
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 2582 656 0 0 305 1 0 0 25 0 1 0 58974744 11792384 2180 996147200 134512640 135215973 4294956304 18446744073709551615 134901729 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 2879 2180 408 171 0 1804 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11516
[startup+6.30145 s]
/proc/loadavg: 1.97 1.98 1.99 3/82 12348
/proc/meminfo: memFree=1484184/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=17728 CPUtime=6.22
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 4194 656 0 0 620 2 0 0 25 0 1 0 58974744 18153472 3727 996147200 134512640 135215973 4294956304 18446744073709551615 134600439 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 4432 3727 408 171 0 3357 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 17728
[startup+12.7014 s]
/proc/loadavg: 1.97 1.98 1.99 3/82 12348
/proc/meminfo: memFree=1468888/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=33084 CPUtime=12.56
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 8150 656 0 0 1252 4 0 0 25 0 1 0 58974744 33878016 7521 996147200 134512640 135215973 4294956304 18446744073709551615 134589618 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 8271 7521 408 171 0 7196 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 33084
[startup+25.5012 s]
/proc/loadavg: 1.98 1.98 1.99 3/82 12348
/proc/meminfo: memFree=1439256/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=61932 CPUtime=25.24
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 15581 656 0 0 2515 9 0 0 25 0 1 0 58974744 63418368 14630 996147200 134512640 135215973 4294956304 18446744073709551615 134648448 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 15483 14630 408 171 0 14408 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 61932
[startup+51.102 s]
/proc/loadavg: 1.98 1.98 1.99 3/82 12348
/proc/meminfo: memFree=1388888/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=113068 CPUtime=50.59
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 28825 656 0 0 5044 15 0 0 25 0 1 0 58974744 115781632 27361 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 28267 27361 408 171 0 27192 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 113068
[startup+102.306 s]
/proc/loadavg: 2.03 2.00 2.00 3/82 12348
/proc/meminfo: memFree=1281048/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=220672 CPUtime=101.32
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 56610 656 0 0 10103 29 0 0 25 0 1 0 58974744 225968128 53992 996147200 134512640 135215973 4294956304 18446744073709551615 4159345959 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 55168 53992 408 171 0 54093 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 220672
[startup+162.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 12348
/proc/meminfo: memFree=1171032/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=336576 CPUtime=160.75
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 86592 656 0 0 16030 45 0 0 25 0 1 0 58974744 344653824 81668 996147200 134512640 135215973 4294956304 18446744073709551615 134532955 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 84144 81668 408 171 0 83069 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 336576
[startup+222.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12348
/proc/meminfo: memFree=1054936/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=447692 CPUtime=220.19
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 115346 656 0 0 21959 60 0 0 25 0 1 0 58974744 458436608 110422 996147200 134512640 135215973 4294956304 18446744073709551615 134618481 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 111923 110422 408 171 0 110848 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 447692
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12348
/proc/meminfo: memFree=925976/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=592180 CPUtime=279.62
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 152449 656 0 0 27882 80 0 0 25 0 1 0 58974744 606392320 142915 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 148045 142915 408 171 0 146970 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 592180
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12348
/proc/meminfo: memFree=806360/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=706596 CPUtime=339.07
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 182031 656 0 0 33809 98 0 0 25 0 1 0 58974744 723554304 172497 996147200 134512640 135215973 4294956304 18446744073709551615 5119691 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 176649 172497 408 171 0 175574 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 706596
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12348
/proc/meminfo: memFree=682520/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=827680 CPUtime=398.5
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 213249 656 0 0 39736 114 0 0 25 0 1 0 58974744 847544320 203715 996147200 134512640 135215973 4294956304 18446744073709551615 5107864 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 206920 203715 408 171 0 205845 0
Current children cumulated CPU time (s) 398.5
Current children cumulated vsize (KiB) 827680
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+449.602 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12348
/proc/meminfo: memFree=583320/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=921756 CPUtime=445.36
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4194304 237521 656 0 0 44411 125 0 0 25 0 1 0 58974744 943878144 227987 996147200 134512640 135215973 4294956304 18446744073709551615 134932217 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 230439 227987 408 171 0 229364 0
Current children cumulated CPU time (s) 445.36
Current children cumulated vsize (KiB) 921756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+449.708 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12348
/proc/meminfo: memFree=583320/2055920 swapFree=4192812/4192956
[pid=12343] ppid=12341 vsize=0 CPUtime=445.46
/proc/12343/stat : 12343 (pcs.big) R 12341 12343 9569 0 -1 4195332 237521 656 0 0 44411 135 0 0 25 0 1 0 58974744 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/12343/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 445.46
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 449.752
CPU time (s): 445.518
CPU user time (s): 444.113
CPU system time (s): 1.40479
CPU usage (%): 99.0587
Max. virtual memory (cumulated for all children) (KiB): 921756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 444.113
system time used= 1.40479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238177
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= 18121
runsolver used 0.579911 second user time and 1.47877 second system time
The end