0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.00/0.02 c Seed is 2037261913
0.00/0.02 c Constructing HOME/instance-2086861-1247726879.xml
0.00/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,V0)
0.00/0.08 c with 1816 constraints
0.00/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-2086861-1247726879/watcher-2086861-1247726879 -o /tmp/evaluation-result-2086861-1247726879/solver-2086861-1247726879 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2037261913 HOME/instance-2086861-1247726879.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.05 2.01 2.00 4/81 15107
/proc/meminfo: memFree=1043448/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=5356 CPUtime=0
/proc/15107/stat : 15107 (pcssolve) R 15105 15107 14922 0 -1 4194304 268 0 0 0 0 0 0 0 20 0 1 0 59751620 5484544 236 996147200 4194304 4889804 548682068800 18446744073709551615 208717413560 0 0 4100 65536 0 0 0 17 1 0 0
/proc/15107/statm: 1339 236 197 169 0 50 0
[startup+0.0185879 s]
/proc/loadavg: 2.05 2.01 2.00 4/81 15107
/proc/meminfo: memFree=1043448/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=2888 CPUtime=0
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 389 656 0 0 0 0 0 0 24 0 1 0 59751620 2957312 35 996147200 134512640 135215973 4294956304 18446744073709551615 10519332 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 722 35 25 171 0 10 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2888
[startup+0.101599 s]
/proc/loadavg: 2.05 2.01 2.00 4/81 15107
/proc/meminfo: memFree=1043448/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=5384 CPUtime=0.08
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 1039 656 0 0 8 0 0 0 23 0 1 0 59751620 5513216 670 996147200 134512640 135215973 4294956304 18446744073709551615 134983084 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 1346 670 408 171 0 271 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5384
[startup+0.301618 s]
/proc/loadavg: 2.05 2.01 2.00 4/81 15107
/proc/meminfo: memFree=1043448/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=5516 CPUtime=0.28
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 1078 656 0 0 28 0 0 0 25 0 1 0 59751620 5648384 709 996147200 134512640 135215973 4294956304 18446744073709551615 134590099 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 1379 709 408 171 0 304 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5516
[startup+0.701662 s]
/proc/loadavg: 2.05 2.01 2.00 4/81 15107
/proc/meminfo: memFree=1043448/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=6300 CPUtime=0.68
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 1273 656 0 0 68 0 0 0 25 0 1 0 59751620 6451200 904 996147200 134512640 135215973 4294956304 18446744073709551615 134934078 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 1575 904 408 171 0 500 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6300
[startup+1.50175 s]
/proc/loadavg: 2.05 2.01 2.00 3/82 15112
/proc/meminfo: memFree=1040752/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=8004 CPUtime=1.46
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 1686 656 0 0 146 0 0 0 25 0 1 0 59751620 8196096 1317 996147200 134512640 135215973 4294956304 18446744073709551615 134599830 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 2001 1317 408 171 0 926 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8004
[startup+3.10192 s]
/proc/loadavg: 2.05 2.01 2.00 3/82 15112
/proc/meminfo: memFree=1038256/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=11508 CPUtime=3.05
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 2553 656 0 0 304 1 0 0 25 0 1 0 59751620 11784192 2151 996147200 134512640 135215973 4294956304 18446744073709551615 4158960143 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 2877 2151 408 171 0 1802 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 11508
[startup+6.30227 s]
/proc/loadavg: 2.05 2.01 2.00 3/82 15112
/proc/meminfo: memFree=1031280/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=18180 CPUtime=6.22
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 4277 656 0 0 621 1 0 0 25 0 1 0 59751620 18616320 3810 996147200 134512640 135215973 4294956304 18446744073709551615 10948697 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 4545 3810 408 171 0 3470 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 18180
[startup+12.702 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 15112
/proc/meminfo: memFree=1017656/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=31304 CPUtime=12.56
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 7666 656 0 0 1253 3 0 0 25 0 1 0 59751620 32055296 7070 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 7826 7070 408 171 0 6751 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 31304
[startup+25.5013 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 15112
/proc/meminfo: memFree=990264/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=58468 CPUtime=25.24
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 14657 656 0 0 2516 8 0 0 25 0 1 0 59751620 59871232 13771 996147200 134512640 135215973 4294956304 18446744073709551615 134600617 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 14617 13771 408 171 0 13542 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 58468
[startup+51.1011 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 15112
/proc/meminfo: memFree=941432/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=108204 CPUtime=50.6
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 27494 656 0 0 5045 15 0 0 25 0 1 0 59751620 110800896 26030 996147200 134512640 135215973 4294956304 18446744073709551615 134533042 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 27051 26030 408 171 0 25976 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 108204
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 15112
/proc/meminfo: memFree=840632/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=209368 CPUtime=101.32
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 53567 656 0 0 10103 29 0 0 25 0 1 0 59751620 214392832 50949 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 52342 50949 408 171 0 51267 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 209368
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15112
/proc/meminfo: memFree=728824/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=326672 CPUtime=160.75
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 83754 656 0 0 16028 47 0 0 25 0 1 0 59751620 334512128 79087 996147200 134512640 135215973 4294956304 18446744073709551615 134583400 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 81668 79087 408 171 0 80593 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 326672
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15112
/proc/meminfo: memFree=616312/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=435508 CPUtime=220.19
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 111862 656 0 0 21957 62 0 0 25 0 1 0 59751620 445960192 106938 996147200 134512640 135215973 4294956304 18446744073709551615 134616525 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 108877 106938 408 171 0 107802 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 435508
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15114
/proc/meminfo: memFree=506872/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=542232 CPUtime=279.63
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 139413 656 0 0 27888 75 0 0 25 0 1 0 59751620 555245568 134489 996147200 134512640 135215973 4294956304 18446744073709551615 134532684 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 135558 134489 408 171 0 134483 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 542232
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15114
/proc/meminfo: memFree=397624/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=663336 CPUtime=339.06
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 170572 656 0 0 33814 92 0 0 25 0 1 0 59751620 679256064 161551 996147200 134512640 135215973 4294956304 18446744073709551615 134932991 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 165834 161551 408 171 0 164759 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 663336
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15114
/proc/meminfo: memFree=286456/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=771976 CPUtime=398.49
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 198612 656 0 0 39745 104 0 0 25 0 1 0 59751620 790503424 189591 996147200 134512640 135215973 4294956304 18446744073709551615 134599883 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 192994 189591 408 171 0 191919 0
Current children cumulated CPU time (s) 398.49
Current children cumulated vsize (KiB) 771976
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15114
/proc/meminfo: memFree=166072/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=889880 CPUtime=457.93
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 228931 656 0 0 45674 119 0 0 25 0 1 0 59751620 911237120 219397 996147200 134512640 135215973 4294956304 18446744073709551615 134583630 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 222470 219397 408 171 0 221395 0
Current children cumulated CPU time (s) 457.93
Current children cumulated vsize (KiB) 889880
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+480.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15114
/proc/meminfo: memFree=132344/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=921776 CPUtime=475.96
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4194304 237164 656 0 0 47472 124 0 0 25 0 1 0 59751620 943898624 227630 996147200 134512640 135215973 4294956304 18446744073709551615 4158960188 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 230444 227630 408 171 0 229369 0
Current children cumulated CPU time (s) 475.96
Current children cumulated vsize (KiB) 921776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+480.607 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15115
/proc/meminfo: memFree=777200/2055920 swapFree=4192812/4192956
[pid=15107] ppid=15105 vsize=0 CPUtime=476.06
/proc/15107/stat : 15107 (pcs.big) R 15105 15107 14922 0 -1 4195332 237164 656 0 0 47472 134 0 0 25 0 1 0 59751620 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/15107/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 476.06
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 480.654
CPU time (s): 476.123
CPU user time (s): 474.733
CPU system time (s): 1.38979
CPU usage (%): 99.0572
Max. virtual memory (cumulated for all children) (KiB): 921776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 474.733
system time used= 1.38979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237820
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= 10400
runsolver used 0.635903 second user time and 1.56476 second system time
The end