0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.18/0.21 c Seed is 1774966698
0.18/0.21 c Constructing HOME/instance-2086916-1247726963.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,V60,V61,V62,V63,V64,V65,V66,V67,V0)
0.18/0.21 c with 2330 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-2086916-1247726963/watcher-2086916-1247726963 -o /tmp/evaluation-result-2086916-1247726963/solver-2086916-1247726963 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1774966698 HOME/instance-2086916-1247726963.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.02 2.00 4/81 22664
/proc/meminfo: memFree=1718488/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=18576 CPUtime=0
/proc/22664/stat : 22664 (runsolver) R 22662 22664 21679 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59762969 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 217871609127 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22664/statm: 4644 284 249 26 0 2626 0
[startup+0.106918 s]
/proc/loadavg: 2.02 2.02 2.00 4/81 22664
/proc/meminfo: memFree=1718488/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=5080 CPUtime=0.08
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 955 656 0 0 8 0 0 0 18 0 1 0 59762969 5201920 586 996147200 134512640 135215973 4294956304 18446744073709551615 135098163 0 0 4096 0 0 0 0 17 1 0 0
/proc/22664/statm: 1270 586 406 171 0 195 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5080
[startup+0.201925 s]
/proc/loadavg: 2.02 2.02 2.00 4/81 22664
/proc/meminfo: memFree=1718488/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=5676 CPUtime=0.18
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 1094 656 0 0 18 0 0 0 18 0 1 0 59762969 5812224 725 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/22664/statm: 1419 725 408 171 0 344 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5676
[startup+0.301937 s]
/proc/loadavg: 2.02 2.02 2.00 4/81 22664
/proc/meminfo: memFree=1718488/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=5804 CPUtime=0.28
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 1126 656 0 0 28 0 0 0 19 0 1 0 59762969 5943296 757 996147200 134512640 135215973 4294956304 18446744073709551615 134977074 0 0 4096 0 0 0 0 17 1 0 0
/proc/22664/statm: 1451 757 408 171 0 376 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5804
[startup+0.701983 s]
/proc/loadavg: 2.02 2.02 2.00 4/81 22664
/proc/meminfo: memFree=1718488/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=6600 CPUtime=0.67
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 1325 656 0 0 67 0 0 0 23 0 1 0 59762969 6758400 956 996147200 134512640 135215973 4294956304 18446744073709551615 134600073 0 0 4096 0 0 0 0 17 1 0 0
/proc/22664/statm: 1650 956 408 171 0 575 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6600
[startup+1.50107 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 22669
/proc/meminfo: memFree=1715344/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=8556 CPUtime=1.43
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 1808 656 0 0 143 0 0 0 25 0 1 0 59762969 8761344 1439 996147200 134512640 135215973 4294956304 18446744073709551615 134590403 0 0 4096 0 0 0 0 17 1 0 0
/proc/22664/statm: 2139 1439 408 171 0 1064 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 8556
[startup+3.10226 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 22669
/proc/meminfo: memFree=1712592/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=11948 CPUtime=3
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 2692 656 0 0 299 1 0 0 25 0 1 0 59762969 12234752 2290 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/22664/statm: 2987 2290 408 171 0 1912 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 11948
[startup+6.30163 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 22669
/proc/meminfo: memFree=1705296/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=18828 CPUtime=6.16
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 4440 656 0 0 614 2 0 0 25 0 1 0 59762969 19279872 3973 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 1 0 0
/proc/22664/statm: 4707 3973 408 171 0 3632 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 18828
[startup+12.7014 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 22669
/proc/meminfo: memFree=1691984/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=32308 CPUtime=12.5
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 7902 656 0 0 1246 4 0 0 25 0 1 0 59762969 33083392 7273 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/22664/statm: 8077 7273 408 171 0 7002 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 32308
[startup+25.5018 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 22669
/proc/meminfo: memFree=1662416/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=61244 CPUtime=25.18
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 15353 656 0 0 2510 8 0 0 25 0 1 0 59762969 62713856 14467 996147200 134512640 135215973 4294956304 18446744073709551615 4158960896 0 0 4096 0 0 0 0 17 1 0 0
/proc/22664/statm: 15311 14467 408 171 0 14236 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 61244
[startup+51.1018 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 22669
/proc/meminfo: memFree=1610832/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=114268 CPUtime=50.52
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 28960 656 0 0 5037 15 0 0 25 0 1 0 59762969 117010432 27496 996147200 134512640 135215973 4294956304 18446744073709551615 134649114 0 0 4096 0 0 0 0 17 1 0 0
/proc/22664/statm: 28567 27496 408 171 0 27492 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 114268
[startup+102.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 22669
/proc/meminfo: memFree=1505808/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=219276 CPUtime=101.22
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 55917 656 0 0 10091 31 0 0 25 0 1 0 59762969 224538624 53428 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/22664/statm: 54819 53428 408 171 0 53744 0
Current children cumulated CPU time (s) 101.22
Current children cumulated vsize (KiB) 219276
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22671
/proc/meminfo: memFree=1381712/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=349848 CPUtime=160.63
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 89337 656 0 0 16013 50 0 0 25 0 1 0 59762969 358244352 84670 996147200 134512640 135215973 4294956304 18446744073709551615 13025121 0 0 4096 0 0 0 0 17 1 0 0
/proc/22664/statm: 87462 84670 408 171 0 86387 0
Current children cumulated CPU time (s) 160.63
Current children cumulated vsize (KiB) 349848
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22671
/proc/meminfo: memFree=1259984/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=467000 CPUtime=220.05
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 119458 656 0 0 21938 67 0 0 25 0 1 0 59762969 478208000 114791 996147200 134512640 135215973 4294956304 18446744073709551615 134640986 0 0 4096 0 0 0 0 17 1 0 0
/proc/22664/statm: 116750 114791 408 171 0 115675 0
Current children cumulated CPU time (s) 220.05
Current children cumulated vsize (KiB) 467000
[startup+282.301 s]
/proc/loadavg: 2.25 2.06 2.02 3/82 22747
/proc/meminfo: memFree=984848/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=575468 CPUtime=272.99
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 147329 656 0 0 27208 91 0 0 25 0 1 0 59762969 589279232 142405 996147200 134512640 135215973 4294956304 18446744073709551615 4158960272 0 0 4096 0 0 0 0 17 0 0 0
/proc/22664/statm: 143867 142405 408 171 0 142792 0
Current children cumulated CPU time (s) 272.99
Current children cumulated vsize (KiB) 575468
[startup+342.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/82 22747
/proc/meminfo: memFree=853968/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=717772 CPUtime=332.94
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 183805 656 0 0 33185 109 0 0 25 0 1 0 59762969 734998528 174784 996147200 134512640 135215973 4294956304 18446744073709551615 134603545 0 0 4096 0 0 0 0 17 0 0 0
/proc/22664/statm: 179443 174784 408 171 0 178368 0
Current children cumulated CPU time (s) 332.94
Current children cumulated vsize (KiB) 717772
[startup+402.301 s]
/proc/loadavg: 2.03 2.04 2.01 3/82 22747
/proc/meminfo: memFree=727376/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=841608 CPUtime=392.91
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 215684 656 0 0 39168 123 0 0 25 0 1 0 59762969 861806592 206663 996147200 134512640 135215973 4294956304 18446744073709551615 134583634 0 0 4096 0 0 0 0 17 0 0 0
/proc/22664/statm: 210402 206663 408 171 0 209327 0
Current children cumulated CPU time (s) 392.91
Current children cumulated vsize (KiB) 841608
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+439.102 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 22747
/proc/meminfo: memFree=643472/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=921684 CPUtime=429.7
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4194304 236220 656 0 0 42837 133 0 0 25 0 1 0 59762969 943804416 227199 996147200 134512640 135215973 4294956304 18446744073709551615 134598054 0 0 4096 0 0 0 0 17 0 0 0
/proc/22664/statm: 230421 227199 408 171 0 229346 0
Current children cumulated CPU time (s) 429.7
Current children cumulated vsize (KiB) 921684
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+439.207 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 22747
/proc/meminfo: memFree=643472/2055920 swapFree=4192812/4192956
[pid=22664] ppid=22662 vsize=0 CPUtime=429.8
/proc/22664/stat : 22664 (pcs.big) R 22662 22664 21679 0 -1 4195332 236220 656 0 0 42837 143 0 0 25 0 1 0 59762969 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/22664/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 429.8
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 439.244
CPU time (s): 429.852
CPU user time (s): 428.375
CPU system time (s): 1.47678
CPU usage (%): 97.8616
Max. virtual memory (cumulated for all children) (KiB): 921684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 428.375
system time used= 1.47677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236876
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= 11058
runsolver used 0.798878 second user time and 1.9617 second system time
The end