0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.18/0.22 c Seed is 1429256299
0.18/0.22 c Constructing HOME/instance-2070681-1247709100.xml
0.18/0.22 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.18/0.22 c with 2278 constraints
0.18/0.22 c Solving 592 backtracks 7 restarts
3.96/4.01 s UNSATISFIABLE
3.96/4.01 d ASSIGNMENTS 592
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2070681-1247709100/watcher-2070681-1247709100 -o /tmp/evaluation-result-2070681-1247709100/solver-2070681-1247709100 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1429256299 HOME/instance-2070681-1247709100.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.13 2.13 2.09 4/72 5427
/proc/meminfo: memFree=1533360/2055920 swapFree=4192812/4192956
[pid=5427] ppid=5425 vsize=18576 CPUtime=0
/proc/5427/stat : 5427 (runsolver) R 5425 5427 3402 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 57976129 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 225612197159 0 0 4096 24578 0 0 0 17 1 0 0
/proc/5427/statm: 4644 284 249 26 0 2626 0
[startup+0.094075 s]
/proc/loadavg: 2.13 2.13 2.09 4/72 5427
/proc/meminfo: memFree=1533360/2055920 swapFree=4192812/4192956
[pid=5427] ppid=5425 vsize=5072 CPUtime=0.07
/proc/5427/stat : 5427 (pcs.big) R 5425 5427 3402 0 -1 4194304 926 656 0 0 7 0 0 0 18 0 1 0 57976129 5193728 557 996147200 134512640 135215973 4294956304 18446744073709551615 134731976 0 0 4096 0 0 0 0 17 1 0 0
/proc/5427/statm: 1268 557 385 171 0 193 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5072
[startup+0.101067 s]
/proc/loadavg: 2.13 2.13 2.09 4/72 5427
/proc/meminfo: memFree=1533360/2055920 swapFree=4192812/4192956
[pid=5427] ppid=5425 vsize=5072 CPUtime=0.08
/proc/5427/stat : 5427 (pcs.big) R 5425 5427 3402 0 -1 4194304 955 656 0 0 8 0 0 0 18 0 1 0 57976129 5193728 586 996147200 134512640 135215973 4294956304 18446744073709551615 134600082 0 0 4096 0 0 0 0 17 1 0 0
/proc/5427/statm: 1268 586 405 171 0 193 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5072
[startup+0.301085 s]
/proc/loadavg: 2.13 2.13 2.09 4/72 5427
/proc/meminfo: memFree=1533360/2055920 swapFree=4192812/4192956
[pid=5427] ppid=5425 vsize=5260 CPUtime=0.28
/proc/5427/stat : 5427 (pcs.big) R 5425 5427 3402 0 -1 4194304 996 656 0 0 28 0 0 0 19 0 1 0 57976129 5386240 627 996147200 134512640 135215973 4294956304 18446744073709551615 134902464 0 0 4096 0 0 0 0 17 1 0 0
/proc/5427/statm: 1315 627 412 171 0 240 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5260
[startup+0.70112 s]
/proc/loadavg: 2.13 2.13 2.09 4/72 5427
/proc/meminfo: memFree=1533360/2055920 swapFree=4192812/4192956
[pid=5427] ppid=5425 vsize=5552 CPUtime=0.68
/proc/5427/stat : 5427 (pcs.big) R 5425 5427 3402 0 -1 4194304 1079 656 0 0 68 0 0 0 23 0 1 0 57976129 5685248 710 996147200 134512640 135215973 4294956304 18446744073709551615 134923874 0 0 4096 0 0 0 0 17 1 0 0
/proc/5427/statm: 1388 710 412 171 0 313 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5552
[startup+1.50119 s]
/proc/loadavg: 2.12 2.13 2.09 3/73 5432
/proc/meminfo: memFree=1530856/2055920 swapFree=4192812/4192956
[pid=5427] ppid=5425 vsize=6264 CPUtime=1.47
/proc/5427/stat : 5427 (pcs.big) R 5425 5427 3402 0 -1 4194304 1246 656 0 0 147 0 0 0 25 0 1 0 57976129 6414336 877 996147200 134512640 135215973 4294956304 18446744073709551615 134932994 0 0 4096 0 0 0 0 17 1 0 0
/proc/5427/statm: 1566 877 412 171 0 491 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6264
[startup+3.10133 s]
/proc/loadavg: 2.12 2.13 2.09 3/73 5432
/proc/meminfo: memFree=1528872/2055920 swapFree=4192812/4192956
[pid=5427] ppid=5425 vsize=8044 CPUtime=3.07
/proc/5427/stat : 5427 (pcs.big) R 5425 5427 3402 0 -1 4194304 1718 656 0 0 307 0 0 0 25 0 1 0 57976129 8237056 1316 996147200 134512640 135215973 4294956304 18446744073709551615 134585699 0 0 4096 0 0 0 0 17 1 0 0
/proc/5427/statm: 2011 1316 412 171 0 936 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 8044
Solver just ended. Dumping a history of the last processes samples
[startup+3.50236 s]
/proc/loadavg: 2.12 2.13 2.09 3/73 5432
/proc/meminfo: memFree=1526376/2055920 swapFree=4192812/4192956
[pid=5427] ppid=5425 vsize=8536 CPUtime=3.46
/proc/5427/stat : 5427 (pcs.big) R 5425 5427 3402 0 -1 4194304 1831 656 0 0 346 0 0 0 25 0 1 0 57976129 8740864 1429 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/5427/statm: 2134 1429 412 171 0 1059 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 8536
[startup+3.9024 s]
/proc/loadavg: 2.12 2.13 2.09 3/73 5432
/proc/meminfo: memFree=1526376/2055920 swapFree=4192812/4192956
[pid=5427] ppid=5425 vsize=8928 CPUtime=3.86
/proc/5427/stat : 5427 (pcs.big) R 5425 5427 3402 0 -1 4194304 1932 656 0 0 386 0 0 0 25 0 1 0 57976129 9142272 1530 996147200 134512640 135215973 4294956304 18446744073709551615 134587119 0 0 4096 0 0 0 0 17 1 0 0
/proc/5427/statm: 2232 1530 412 171 0 1157 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 8928
[startup+4.00241 s]
/proc/loadavg: 2.12 2.13 2.09 3/73 5432
/proc/meminfo: memFree=1526376/2055920 swapFree=4192812/4192956
[pid=5427] ppid=5425 vsize=8928 CPUtime=3.96
/proc/5427/stat : 5427 (pcs.big) R 5425 5427 3402 0 -1 4194304 1951 656 0 0 396 0 0 0 25 0 1 0 57976129 9142272 1549 996147200 134512640 135215973 4294956304 18446744073709551615 134597671 0 0 4096 0 0 0 0 17 1 0 0
/proc/5427/statm: 2232 1549 412 171 0 1157 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 8928
Child status: 0
Real time (s): 4.01416
CPU time (s): 3.99439
CPU user time (s): 3.98039
CPU system time (s): 0.013997
CPU usage (%): 99.5076
Max. virtual memory (cumulated for all children) (KiB): 8928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.98039
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2610
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= 56
runsolver used 0.003999 second user time and 0.017997 second system time
The end