0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.18/0.20 c Seed is 1341984174
0.18/0.20 c Constructing HOME/instance-2086839-1247726865.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,V0)
0.18/0.20 c with 1583 constraints
0.18/0.20 c Solving 40033 backtracks 17 restarts
254.90/257.15 s UNSATISFIABLE
254.90/257.15 d ASSIGNMENTS 40033
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2086839-1247726865/watcher-2086839-1247726865 -o /tmp/evaluation-result-2086839-1247726865/solver-2086839-1247726865 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1341984174 HOME/instance-2086839-1247726865.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.02 2.07 2.08 4/81 12234
/proc/meminfo: memFree=1665792/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=5356 CPUtime=0
/proc/12234/stat : 12234 (pcssolve) R 12232 12234 11751 0 -1 4194304 290 0 0 0 0 0 0 0 19 0 1 0 59749100 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 244276849311 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/12234/statm: 1339 241 200 169 0 50 0
[pid=12235] ppid=12234 vsize=3544 CPUtime=0
/proc/12235/stat : 12235 (fgrep) R 12234 12234 11751 0 -1 4194304 101 0 0 0 0 0 0 0 19 0 1 0 59749100 3629056 68 996147200 4194304 4274172 548682068976 18446744073709551615 244277279839 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 886 68 51 19 0 10 0
[pid=12236] ppid=12234 vsize=5356 CPUtime=0
/proc/12236/stat : 12236 (pcssolve) R 12234 12234 11751 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 1 0 59749100 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 244276849311 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/12236/statm: 1339 241 200 169 0 50 0
[startup+0.0689061 s]
/proc/loadavg: 2.02 2.07 2.08 4/81 12234
/proc/meminfo: memFree=1665792/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=4812 CPUtime=0.05
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 905 656 0 0 5 0 0 0 18 0 1 0 59749100 4927488 536 996147200 134512640 135215973 4294956304 18446744073709551615 134583815 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 1203 536 405 171 0 128 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4812
[startup+0.101908 s]
/proc/loadavg: 2.02 2.07 2.08 4/81 12234
/proc/meminfo: memFree=1665792/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=5316 CPUtime=0.08
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 1017 656 0 0 8 0 0 0 18 0 1 0 59749100 5443584 648 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 1329 648 408 171 0 254 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5316
[startup+0.301931 s]
/proc/loadavg: 2.02 2.07 2.08 4/81 12234
/proc/meminfo: memFree=1665792/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=5580 CPUtime=0.28
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 1084 656 0 0 28 0 0 0 19 0 1 0 59749100 5713920 715 996147200 134512640 135215973 4294956304 18446744073709551615 134599994 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 1395 715 408 171 0 320 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5580
[startup+0.701975 s]
/proc/loadavg: 2.02 2.07 2.08 4/81 12234
/proc/meminfo: memFree=1665792/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=6644 CPUtime=0.68
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 1339 656 0 0 68 0 0 0 23 0 1 0 59749100 6803456 970 996147200 134512640 135215973 4294956304 18446744073709551615 134590124 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 1661 970 408 171 0 586 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6644
[startup+1.50107 s]
/proc/loadavg: 2.02 2.07 2.08 3/82 12239
/proc/meminfo: memFree=1662776/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=8472 CPUtime=1.47
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 1814 656 0 0 147 0 0 0 25 0 1 0 59749100 8675328 1445 996147200 134512640 135215973 4294956304 18446744073709551615 4158960255 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 2118 1445 408 171 0 1043 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8472
[startup+3.10226 s]
/proc/loadavg: 2.02 2.07 2.08 3/82 12239
/proc/meminfo: memFree=1660152/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=12132 CPUtime=3.06
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 2734 656 0 0 306 0 0 0 25 0 1 0 59749100 12423168 2332 996147200 134512640 135215973 4294956304 18446744073709551615 134589840 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 3033 2332 408 171 0 1958 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12132
[startup+6.30162 s]
/proc/loadavg: 2.02 2.07 2.08 3/82 12239
/proc/meminfo: memFree=1652800/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=19076 CPUtime=6.23
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 4530 656 0 0 622 1 0 0 25 0 1 0 59749100 19533824 4063 996147200 134512640 135215973 4294956304 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 4769 4063 408 171 0 3694 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 19076
[startup+12.7013 s]
/proc/loadavg: 2.01 2.06 2.08 3/82 12239
/proc/meminfo: memFree=1639048/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=32340 CPUtime=12.57
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 7950 656 0 0 1255 2 0 0 25 0 1 0 59749100 33116160 7354 996147200 134512640 135215973 4294956304 18446744073709551615 134597519 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 8085 7354 408 171 0 7010 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 32340
[startup+25.5018 s]
/proc/loadavg: 2.01 2.06 2.08 3/82 12239
/proc/meminfo: memFree=1610824/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=59920 CPUtime=25.27
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 15078 656 0 0 2521 6 0 0 25 0 1 0 59749100 61358080 14192 996147200 134512640 135215973 4294956304 18446744073709551615 4158960255 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 14980 14192 408 171 0 13905 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 59920
[startup+51.1017 s]
/proc/loadavg: 2.08 2.07 2.08 3/82 12239
/proc/meminfo: memFree=1559048/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=112848 CPUtime=50.64
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 28745 656 0 0 5051 13 0 0 25 0 1 0 59749100 115556352 27281 996147200 134512640 135215973 4294956304 18446744073709551615 134597368 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 28212 27281 408 171 0 27137 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 112848
[startup+102.307 s]
/proc/loadavg: 2.10 2.07 2.08 3/82 12239
/proc/meminfo: memFree=1452872/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=218896 CPUtime=101.41
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 56090 656 0 0 10116 25 0 0 25 0 1 0 59749100 224149504 53472 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 54724 53472 408 171 0 53649 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 218896
[startup+162.301 s]
/proc/loadavg: 2.10 2.07 2.08 3/82 12239
/proc/meminfo: memFree=1337288/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=339440 CPUtime=160.9
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 87235 656 0 0 16049 41 0 0 25 0 1 0 59749100 347586560 82568 996147200 134512640 135215973 4294956304 18446744073709551615 12935651 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 84860 82568 408 171 0 83785 0
Current children cumulated CPU time (s) 160.9
Current children cumulated vsize (KiB) 339440
[startup+222.301 s]
/proc/loadavg: 2.10 2.07 2.08 3/82 12239
/proc/meminfo: memFree=1221896/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=450732 CPUtime=220.4
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 116044 656 0 0 21984 56 0 0 25 0 1 0 59749100 461549568 111120 996147200 134512640 135215973 4294956304 18446744073709551615 134590078 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 112683 111120 408 171 0 111608 0
Current children cumulated CPU time (s) 220.4
Current children cumulated vsize (KiB) 450732
Solver just ended. Dumping a history of the last processes samples
[startup+230.301 s]
/proc/loadavg: 2.09 2.07 2.08 3/82 12239
/proc/meminfo: memFree=1208264/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=464352 CPUtime=228.33
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 119578 656 0 0 22776 57 0 0 25 0 1 0 59749100 475496448 114654 996147200 134512640 135215973 4294956304 18446744073709551615 134532902 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 116088 114654 408 171 0 115013 0
Current children cumulated CPU time (s) 228.33
Current children cumulated vsize (KiB) 464352
[startup+243.106 s]
/proc/loadavg: 2.07 2.06 2.08 3/82 12239
/proc/meminfo: memFree=1185032/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=486088 CPUtime=241.02
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 125194 656 0 0 24041 61 0 0 25 0 1 0 59749100 497754112 120270 996147200 134512640 135215973 4294956304 18446744073709551615 134597554 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 121522 120270 408 171 0 120447 0
Current children cumulated CPU time (s) 241.02
Current children cumulated vsize (KiB) 486088
[startup+249.501 s]
/proc/loadavg: 2.06 2.06 2.08 3/82 12239
/proc/meminfo: memFree=1175816/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=496548 CPUtime=247.36
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 127907 656 0 0 24674 62 0 0 25 0 1 0 59749100 508465152 122983 996147200 134512640 135215973 4294956304 18446744073709551615 12935318 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 124137 122983 408 171 0 123062 0
Current children cumulated CPU time (s) 247.36
Current children cumulated vsize (KiB) 496548
[startup+252.702 s]
/proc/loadavg: 2.06 2.06 2.08 3/82 12239
/proc/meminfo: memFree=1170376/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=501380 CPUtime=250.54
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 129188 656 0 0 24991 63 0 0 25 0 1 0 59749100 513413120 124264 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 125345 124264 408 171 0 124270 0
Current children cumulated CPU time (s) 250.54
Current children cumulated vsize (KiB) 501380
[startup+254.302 s]
/proc/loadavg: 2.06 2.06 2.08 3/82 12239
/proc/meminfo: memFree=1166728/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=503856 CPUtime=252.12
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 129829 656 0 0 25149 63 0 0 25 0 1 0 59749100 515948544 124905 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 125964 124905 408 171 0 124889 0
Current children cumulated CPU time (s) 252.12
Current children cumulated vsize (KiB) 503856
[startup+255.902 s]
/proc/loadavg: 2.06 2.06 2.08 3/82 12239
/proc/meminfo: memFree=1164808/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=506492 CPUtime=253.72
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 130522 656 0 0 25308 64 0 0 25 0 1 0 59749100 518647808 125598 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 126623 125598 408 171 0 125548 0
Current children cumulated CPU time (s) 253.72
Current children cumulated vsize (KiB) 506492
[startup+256.701 s]
/proc/loadavg: 2.05 2.06 2.08 3/82 12239
/proc/meminfo: memFree=1163080/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=505224 CPUtime=254.51
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 130712 656 0 0 25387 64 0 0 25 0 1 0 59749100 517349376 125462 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 126306 125462 408 171 0 125231 0
Current children cumulated CPU time (s) 254.51
Current children cumulated vsize (KiB) 505224
[startup+257.101 s]
/proc/loadavg: 2.05 2.06 2.08 3/82 12239
/proc/meminfo: memFree=1163080/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=505224 CPUtime=254.9
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194304 130712 656 0 0 25426 64 0 0 25 0 1 0 59749100 517349376 125462 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 126306 125462 408 171 0 125231 0
Current children cumulated CPU time (s) 254.9
Current children cumulated vsize (KiB) 505224
[startup+257.201 s]
/proc/loadavg: 2.05 2.06 2.08 3/82 12239
/proc/meminfo: memFree=1163080/2055920 swapFree=4191904/4192956
[pid=12234] ppid=12232 vsize=0 CPUtime=255
/proc/12234/stat : 12234 (pcs.big) R 12232 12234 11751 0 -1 4194308 130715 656 0 0 25431 69 0 0 25 0 1 0 59749100 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/12234/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 255
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 257.23
CPU time (s): 255.046
CPU user time (s): 254.321
CPU system time (s): 0.724889
CPU usage (%): 99.151
Max. virtual memory (cumulated for all children) (KiB): 507148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.321
system time used= 0.724889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131371
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= 13
involuntary context switches= 10682
runsolver used 0.26096 second user time and 0.685895 second system time
The end