0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.17/0.21 c Seed is 20204624
0.17/0.21 c Constructing HOME/instance-2070680-1247709099.xml
0.17/0.21 c deduced all_different(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,V64,V65,V66,V67,V68,V69,V70,V71,V72,V73,V74,V75,V76,V77,V12)
0.17/0.21 c with 2278 constraints
0.17/0.21 c Solving 1177 backtracks 8 restarts
9.40/9.59 s UNSATISFIABLE
9.40/9.59 d ASSIGNMENTS 1177
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2070680-1247709099/watcher-2070680-1247709099 -o /tmp/evaluation-result-2070680-1247709099/solver-2070680-1247709099 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 20204624 HOME/instance-2070680-1247709099.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.33 2.32 2.26 4/82 10085
/proc/meminfo: memFree=1149824/2055920 swapFree=4192812/4192956
[pid=10085] ppid=10083 vsize=5356 CPUtime=0
/proc/10085/stat : 10085 (pcssolve) R 10083 10085 8577 0 -1 4194304 290 0 0 0 0 0 0 0 22 0 1 0 57976920 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 252429527711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10085/statm: 1339 241 200 169 0 50 0
[pid=10086] ppid=10085 vsize=5356 CPUtime=0
/proc/10086/stat : 10086 (pcssolve) R 10085 10085 8577 0 -1 4194368 21 0 0 0 0 0 0 0 22 0 1 0 57976920 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 252429695589 0 0 4100 65536 0 0 0 17 1 0 0
/proc/10086/statm: 1339 243 202 169 0 50 0
[pid=10087] ppid=10085 vsize=5356 CPUtime=0
/proc/10087/stat : 10087 (pcssolve) R 10085 10085 8577 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 1 0 57976920 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 252429527711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10087/statm: 1339 241 200 169 0 50 0
[startup+0.074196 s]
/proc/loadavg: 2.33 2.32 2.26 4/82 10085
/proc/meminfo: memFree=1149824/2055920 swapFree=4192812/4192956
[pid=10085] ppid=10083 vsize=4808 CPUtime=0.05
/proc/10085/stat : 10085 (pcs.big) R 10083 10085 8577 0 -1 4194304 878 656 0 0 5 0 0 0 18 0 1 0 57976920 4923392 509 996147200 134512640 135215973 4294956320 18446744073709551615 134770348 0 0 4096 0 0 0 0 17 1 0 0
/proc/10085/statm: 1202 509 383 171 0 127 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4808
[startup+0.101198 s]
/proc/loadavg: 2.33 2.32 2.26 4/82 10085
/proc/meminfo: memFree=1149824/2055920 swapFree=4192812/4192956
[pid=10085] ppid=10083 vsize=5072 CPUtime=0.07
/proc/10085/stat : 10085 (pcs.big) R 10083 10085 8577 0 -1 4194304 940 656 0 0 7 0 0 0 18 0 1 0 57976920 5193728 571 996147200 134512640 135215973 4294956320 18446744073709551615 134589858 0 0 4096 0 0 0 0 17 1 0 0
/proc/10085/statm: 1268 571 399 171 0 193 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5072
[startup+0.301219 s]
/proc/loadavg: 2.33 2.32 2.26 4/82 10085
/proc/meminfo: memFree=1149824/2055920 swapFree=4192812/4192956
[pid=10085] ppid=10083 vsize=5260 CPUtime=0.27
/proc/10085/stat : 10085 (pcs.big) R 10083 10085 8577 0 -1 4194304 995 656 0 0 27 0 0 0 19 0 1 0 57976920 5386240 626 996147200 134512640 135215973 4294956320 18446744073709551615 10161749 0 0 4096 0 0 0 0 17 1 0 0
/proc/10085/statm: 1315 626 412 171 0 240 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5260
[startup+0.701259 s]
/proc/loadavg: 2.33 2.32 2.26 4/82 10085
/proc/meminfo: memFree=1149824/2055920 swapFree=4192812/4192956
[pid=10085] ppid=10083 vsize=5548 CPUtime=0.67
/proc/10085/stat : 10085 (pcs.big) R 10083 10085 8577 0 -1 4194304 1080 656 0 0 67 0 0 0 23 0 1 0 57976920 5681152 711 996147200 134512640 135215973 4294956320 18446744073709551615 134631983 0 0 4096 0 0 0 0 17 1 0 0
/proc/10085/statm: 1387 711 412 171 0 312 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5548
[startup+1.50134 s]
/proc/loadavg: 2.30 2.32 2.26 3/83 10090
/proc/meminfo: memFree=1149240/2055920 swapFree=4192812/4192956
[pid=10085] ppid=10083 vsize=6456 CPUtime=1.46
/proc/10085/stat : 10085 (pcs.big) R 10083 10085 8577 0 -1 4194304 1279 656 0 0 146 0 0 0 25 0 1 0 57976920 6610944 910 996147200 134512640 135215973 4294956320 18446744073709551615 134932286 0 0 4096 0 0 0 0 17 1 0 0
/proc/10085/statm: 1614 910 412 171 0 539 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6456
[startup+3.1015 s]
/proc/loadavg: 2.30 2.32 2.26 3/83 10090
/proc/meminfo: memFree=1148216/2055920 swapFree=4192812/4192956
[pid=10085] ppid=10083 vsize=7728 CPUtime=3.06
/proc/10085/stat : 10085 (pcs.big) R 10083 10085 8577 0 -1 4194304 1622 656 0 0 305 1 0 0 25 0 1 0 57976920 7913472 1220 996147200 134512640 135215973 4294956320 18446744073709551615 134533266 0 0 4096 0 0 0 0 17 1 0 0
/proc/10085/statm: 1932 1220 412 171 0 857 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 7728
[startup+6.30181 s]
/proc/loadavg: 2.28 2.31 2.26 3/83 10090
/proc/meminfo: memFree=1144824/2055920 swapFree=4192812/4192956
[pid=10085] ppid=10083 vsize=11256 CPUtime=6.22
/proc/10085/stat : 10085 (pcs.big) R 10083 10085 8577 0 -1 4194304 2559 656 0 0 621 1 0 0 25 0 1 0 57976920 11526144 2092 996147200 134512640 135215973 4294956320 18446744073709551615 134923146 0 0 4096 0 0 0 0 17 1 0 0
/proc/10085/statm: 2814 2092 412 171 0 1739 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 11256
Solver just ended. Dumping a history of the last processes samples
[startup+7.90197 s]
/proc/loadavg: 2.28 2.31 2.26 3/83 10090
/proc/meminfo: memFree=1142712/2055920 swapFree=4192812/4192956
[pid=10085] ppid=10083 vsize=12564 CPUtime=7.81
/proc/10085/stat : 10085 (pcs.big) R 10083 10085 8577 0 -1 4194304 2900 656 0 0 779 2 0 0 25 0 1 0 57976920 12865536 2433 996147200 134512640 135215973 4294956320 18446744073709551615 134603545 0 0 4096 0 0 0 0 17 1 0 0
/proc/10085/statm: 3141 2433 412 171 0 2066 0
Current children cumulated CPU time (s) 7.81
Current children cumulated vsize (KiB) 12564
[startup+8.70105 s]
/proc/loadavg: 2.28 2.31 2.26 4/83 10090
/proc/meminfo: memFree=1133944/2055920 swapFree=4192812/4192956
[pid=10085] ppid=10083 vsize=13236 CPUtime=8.61
/proc/10085/stat : 10085 (pcs.big) R 10083 10085 8577 0 -1 4194304 3080 656 0 0 859 2 0 0 25 0 1 0 57976920 13553664 2613 996147200 134512640 135215973 4294956320 18446744073709551615 134590418 0 0 4096 0 0 0 0 17 1 0 0
/proc/10085/statm: 3309 2613 412 171 0 2234 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 13236
[startup+9.10109 s]
/proc/loadavg: 2.28 2.31 2.26 4/83 10090
/proc/meminfo: memFree=1133944/2055920 swapFree=4192812/4192956
[pid=10085] ppid=10083 vsize=13500 CPUtime=9
/proc/10085/stat : 10085 (pcs.big) R 10083 10085 8577 0 -1 4194304 3155 656 0 0 898 2 0 0 25 0 1 0 57976920 13824000 2688 996147200 134512640 135215973 4294956320 18446744073709551615 134627178 0 0 4096 0 0 0 0 17 1 0 0
/proc/10085/statm: 3375 2688 412 171 0 2300 0
Current children cumulated CPU time (s) 9
Current children cumulated vsize (KiB) 13500
[startup+9.50113 s]
/proc/loadavg: 2.28 2.31 2.26 4/83 10090
/proc/meminfo: memFree=1133944/2055920 swapFree=4192812/4192956
[pid=10085] ppid=10083 vsize=13868 CPUtime=9.4
/proc/10085/stat : 10085 (pcs.big) R 10083 10085 8577 0 -1 4194304 3259 656 0 0 938 2 0 0 25 0 1 0 57976920 14200832 2792 996147200 134512640 135215973 4294956320 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 1 0 0
/proc/10085/statm: 3467 2792 412 171 0 2392 0
Current children cumulated CPU time (s) 9.4
Current children cumulated vsize (KiB) 13868
Child status: 0
Real time (s): 9.59646
CPU time (s): 9.50655
CPU user time (s): 9.47256
CPU system time (s): 0.033994
CPU usage (%): 99.0632
Max. virtual memory (cumulated for all children) (KiB): 13868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.47256
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3930
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= 414
runsolver used 0.011998 second user time and 0.036994 second system time
The end