0.00/0.00 c has big domains
0.00/0.00 c big-domain mode
0.00/0.01 c Seed is 2073387134
0.00/0.01 c Constructing HOME/instance-2070560-1247708951.xml
0.00/0.06 c deduced all_different(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,V11)
0.00/0.06 c with 1596 constraints
0.00/0.06 c Solving
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2070560-1247708951/watcher-2070560-1247708951 -o /tmp/evaluation-result-2070560-1247708951/solver-2070560-1247708951 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2073387134 HOME/instance-2070560-1247708951.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.18 2.05 2.01 4/82 17641
/proc/meminfo: memFree=598036/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=5248 CPUtime=0.18
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 985 656 0 0 18 0 0 0 19 0 1 0 57959882 5373952 614 996147200 134512640 135215973 4294956304 18446744073709551615 134739672 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 1312 614 412 171 0 237 0
[startup+0.268391 s]
/proc/loadavg: 2.18 2.05 2.01 4/82 17641
/proc/meminfo: memFree=598036/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=5248 CPUtime=0.25
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 989 656 0 0 25 0 0 0 19 0 1 0 57959882 5373952 618 996147200 134512640 135215973 4294956304 18446744073709551615 10702464 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 1312 618 412 171 0 237 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 5248
[startup+0.301675 s]
/proc/loadavg: 2.18 2.05 2.01 4/82 17641
/proc/meminfo: memFree=598036/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=5248 CPUtime=0.29
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 1002 656 0 0 29 0 0 0 20 0 1 0 57959882 5373952 631 996147200 134512640 135215973 4294956304 18446744073709551615 134946637 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 1312 631 412 171 0 237 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5248
[startup+0.409619 s]
/proc/loadavg: 2.18 2.05 2.01 4/82 17641
/proc/meminfo: memFree=598036/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=5248 CPUtime=0.36
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 1005 656 0 0 36 0 0 0 20 0 1 0 57959882 5373952 634 996147200 134512640 135215973 4294956304 18446744073709551615 134594452 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 1312 634 412 171 0 237 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 5248
[startup+0.701437 s]
/proc/loadavg: 2.18 2.05 2.01 4/82 17641
/proc/meminfo: memFree=598036/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=5492 CPUtime=0.61
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 1051 656 0 0 60 1 0 0 23 0 1 0 57959882 5623808 680 996147200 134512640 135215973 4294956304 18446744073709551615 134591066 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 1373 680 412 171 0 298 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 5492
[startup+1.50152 s]
/proc/loadavg: 2.18 2.05 2.01 3/83 17646
/proc/meminfo: memFree=596492/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=6108 CPUtime=1.41
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 1190 656 0 0 140 1 0 0 25 0 1 0 57959882 6254592 819 996147200 134512640 135215973 4294956304 18446744073709551615 4158961090 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 1527 819 412 171 0 452 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 6108
[startup+3.10168 s]
/proc/loadavg: 2.18 2.05 2.01 3/83 17646
/proc/meminfo: memFree=595404/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=7700 CPUtime=2.99
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 1594 656 0 0 298 1 0 0 25 0 1 0 57959882 7884800 1190 996147200 134512640 135215973 4294956304 18446744073709551615 134951912 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 1925 1190 412 171 0 850 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 7700
[startup+6.30202 s]
/proc/loadavg: 2.25 2.06 2.02 3/83 17646
/proc/meminfo: memFree=592972/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=10028 CPUtime=6.16
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 2244 656 0 0 615 1 0 0 25 0 1 0 57959882 10268672 1775 996147200 134512640 135215973 4294956304 18446744073709551615 134585939 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 2507 1775 412 171 0 1432 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 10028
[startup+12.7017 s]
/proc/loadavg: 2.23 2.06 2.02 3/83 17646
/proc/meminfo: memFree=586268/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=16572 CPUtime=12.51
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 3997 656 0 0 1249 2 0 0 25 0 1 0 57959882 16969728 3366 996147200 134512640 135215973 4294956304 18446744073709551615 134676928 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 4143 3366 412 171 0 3068 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 16572
[startup+25.506 s]
/proc/loadavg: 2.18 2.06 2.02 3/83 17646
/proc/meminfo: memFree=577180/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=25808 CPUtime=25.2
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 6499 656 0 0 2516 4 0 0 25 0 1 0 57959882 26427392 5611 996147200 134512640 135215973 4294956304 18446744073709551615 134583632 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 6452 5611 412 171 0 5377 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 25808
[startup+51.1017 s]
/proc/loadavg: 2.12 2.05 2.01 3/83 17646
/proc/meminfo: memFree=549980/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=53736 CPUtime=50.55
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 13948 656 0 0 5047 8 0 0 25 0 1 0 57959882 55025664 12482 996147200 134512640 135215973 4294956304 18446744073709551615 134600202 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 13434 12482 412 171 0 12359 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 53736
[startup+102.302 s]
/proc/loadavg: 2.12 2.06 2.01 3/82 17689
/proc/meminfo: memFree=1180964/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=95672 CPUtime=101.29
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 25238 656 0 0 10114 15 0 0 25 0 1 0 57959882 97968128 22618 996147200 134512640 135215973 4294956304 18446744073709551615 134583949 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 23918 22618 412 171 0 22843 0
Current children cumulated CPU time (s) 101.29
Current children cumulated vsize (KiB) 95672
[startup+162.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/82 17689
/proc/meminfo: memFree=1127076/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=154156 CPUtime=160.77
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 40853 656 0 0 16054 23 0 0 25 0 1 0 57959882 157855744 35927 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 38539 35927 412 171 0 37464 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 154156
[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/82 17689
/proc/meminfo: memFree=1071780/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=206608 CPUtime=220.26
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 55022 656 0 0 21994 32 0 0 25 0 1 0 57959882 211566592 49583 996147200 134512640 135215973 4294956304 18446744073709551615 134583626 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 51652 49583 412 171 0 50577 0
Current children cumulated CPU time (s) 220.26
Current children cumulated vsize (KiB) 206608
[startup+282.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 17691
/proc/meminfo: memFree=1020836/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=253932 CPUtime=279.74
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 67826 656 0 0 27935 39 0 0 25 0 1 0 57959882 260026368 62387 996147200 134512640 135215973 4294956304 18446744073709551615 134590070 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 63483 62387 412 171 0 62408 0
Current children cumulated CPU time (s) 279.74
Current children cumulated vsize (KiB) 253932
[startup+342.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 17691
/proc/meminfo: memFree=965796/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=321108 CPUtime=339.22
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 85556 656 0 0 33874 48 0 0 25 0 1 0 57959882 328814592 76020 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 80277 76020 412 171 0 79202 0
Current children cumulated CPU time (s) 339.22
Current children cumulated vsize (KiB) 321108
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 17691
/proc/meminfo: memFree=907684/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=375836 CPUtime=398.7
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 100170 656 0 0 39815 55 0 0 25 0 1 0 57959882 384856064 90634 996147200 134512640 135215973 4294956304 18446744073709551615 4158960053 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 93959 90634 412 171 0 92884 0
Current children cumulated CPU time (s) 398.7
Current children cumulated vsize (KiB) 375836
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 17691
/proc/meminfo: memFree=857508/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=421588 CPUtime=458.18
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 112592 656 0 0 45756 62 0 0 25 0 1 0 57959882 431706112 103056 996147200 134512640 135215973 4294956304 18446744073709551615 134533315 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 105397 103056 412 171 0 104322 0
Current children cumulated CPU time (s) 458.18
Current children cumulated vsize (KiB) 421588
[startup+522.301 s]
/proc/loadavg: 2.13 2.03 2.01 3/73 17754
/proc/meminfo: memFree=828284/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=461652 CPUtime=517.68
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 123609 656 0 0 51701 67 0 0 25 0 1 0 57959882 472731648 114073 996147200 134512640 135215973 4294956304 18446744073709551615 4158961309 0 0 4096 0 0 0 0 17 1 0 0
/proc/17641/statm: 115413 114073 412 171 0 114338 0
Current children cumulated CPU time (s) 517.68
Current children cumulated vsize (KiB) 461652
[startup+582.302 s]
/proc/loadavg: 2.20 2.06 2.01 4/83 17794
/proc/meminfo: memFree=390188/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=546048 CPUtime=577.41
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 145717 656 0 0 57661 80 0 0 25 0 1 0 57959882 559153152 126963 996147200 134512640 135215973 4294956304 18446744073709551615 4158960069 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 136512 126963 412 171 0 135437 0
Current children cumulated CPU time (s) 577.41
Current children cumulated vsize (KiB) 546048
[startup+642.302 s]
/proc/loadavg: 2.14 2.07 2.02 3/83 17795
/proc/meminfo: memFree=287204/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=587140 CPUtime=637.16
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 156912 656 0 0 63630 86 0 0 25 0 1 0 57959882 601231360 138158 996147200 134512640 135215973 4294956304 18446744073709551615 134600651 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 146785 138158 412 171 0 145710 0
Current children cumulated CPU time (s) 637.16
Current children cumulated vsize (KiB) 587140
[startup+702.301 s]
/proc/loadavg: 2.05 2.06 2.01 3/83 17795
/proc/meminfo: memFree=239972/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=630152 CPUtime=696.92
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 168574 656 0 0 69599 93 0 0 25 0 1 0 57959882 645275648 149820 996147200 134512640 135215973 4294956304 18446744073709551615 134599883 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 157538 149820 412 171 0 156463 0
Current children cumulated CPU time (s) 696.92
Current children cumulated vsize (KiB) 630152
[startup+762.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/83 17801
/proc/meminfo: memFree=187812/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=678736 CPUtime=756.66
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 181658 656 0 0 75565 101 0 0 25 0 1 0 57959882 695025664 162904 996147200 134512640 135215973 4294956304 18446744073709551615 10694497 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 169684 162904 412 171 0 168609 0
Current children cumulated CPU time (s) 756.66
Current children cumulated vsize (KiB) 678736
[startup+822.302 s]
/proc/loadavg: 2.34 2.15 2.04 3/83 18277
/proc/meminfo: memFree=125988/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=734364 CPUtime=813.64
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 196558 656 0 0 81249 115 0 0 25 0 1 0 57959882 751988736 177804 996147200 134512640 135215973 4294956304 18446744073709551615 10694497 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 183591 177804 412 171 0 182516 0
Current children cumulated CPU time (s) 813.64
Current children cumulated vsize (KiB) 734364
[startup+882.302 s]
/proc/loadavg: 2.12 2.12 2.04 3/82 18277
/proc/meminfo: memFree=62628/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=794148 CPUtime=873.4
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 212575 656 0 0 87217 123 0 0 25 0 1 0 57959882 813207552 193821 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 198537 193821 412 171 0 197462 0
Current children cumulated CPU time (s) 873.4
Current children cumulated vsize (KiB) 794148
[startup+942.302 s]
/proc/loadavg: 2.04 2.10 2.03 3/82 18277
/proc/meminfo: memFree=15204/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=853736 CPUtime=933.15
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 228529 656 0 0 93183 132 0 0 25 0 1 0 57959882 874225664 209775 996147200 134512640 135215973 4294956304 18446744073709551615 134948724 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 213434 209775 412 171 0 212359 0
Current children cumulated CPU time (s) 933.15
Current children cumulated vsize (KiB) 853736
[startup+1002.3 s]
/proc/loadavg: 2.09 2.09 2.03 3/82 18277
/proc/meminfo: memFree=14948/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=904880 CPUtime=992.89
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 242319 656 0 0 99149 140 0 0 25 0 1 0 57959882 926597120 223565 996147200 134512640 135215973 4294956304 18446744073709551615 4158960480 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 226220 223565 412 171 0 225145 0
Current children cumulated CPU time (s) 992.89
Current children cumulated vsize (KiB) 904880
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1022.1 s]
/proc/loadavg: 2.07 2.09 2.03 3/82 18277
/proc/meminfo: memFree=16100/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=921696 CPUtime=1012.61
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4194304 246821 656 0 0 101118 143 0 0 25 0 1 0 57959882 943816704 228067 996147200 134512640 135215973 4294956304 18446744073709551615 134648489 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 230424 228067 412 171 0 229349 0
Current children cumulated CPU time (s) 1012.61
Current children cumulated vsize (KiB) 921696
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1022.21 s]
/proc/loadavg: 2.07 2.09 2.03 3/82 18277
/proc/meminfo: memFree=16100/2055920 swapFree=4192812/4192956
[pid=17641] ppid=17639 vsize=0 CPUtime=1012.71
/proc/17641/stat : 17641 (pcs.big) R 17639 17641 17142 0 -1 4195332 246821 656 0 0 101118 153 0 0 25 0 1 0 57959882 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/17641/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1012.71
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1022.25
CPU time (s): 1012.76
CPU user time (s): 1011.18
CPU system time (s): 1.57576
CPU usage (%): 99.0718
Max. virtual memory (cumulated for all children) (KiB): 921696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1011.18
system time used= 1.57576
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247477
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= 20
involuntary context switches= 21573
runsolver used 1.07284 second user time and 3.21051 second system time
The end