0.00/0.10 c mistral-prime version 1.313
0.00/0.10 c
0.00/0.10 c Parsing xml file
0.00/0.10 c domains............... 0 (1 domains)
0.00/0.10 c variables............. 0 (500 variables)
0.00/0.10 c predicates............ 0 (1 predicates)
0.00/0.10 c constraints........... 5.32 (124750 constraints)
5.23/5.39 c Parsing time: 5.32
5.23/5.39 c
5.23/5.39 c Building model
8.29/8.50 c 1 AllDifferent constraints infered
8.59/8.78 c 0 constants
8.59/8.78 c 0 Boolean variables (+0)
8.59/8.78 c 0 range variables (+0)
8.59/8.78 c 0 domain (b) variables (+0)
8.59/8.78 c 500 domain (l) variables (+0)
8.59/8.78 c 124750 constraints (+1)
8.59/8.78 c 0 values
8.59/8.78 c Building time: 3.36
8.59/8.78 c
8.59/8.78 c Solving instance
8.59/8.78 c heuristic = dom/wdeg
8.59/8.78 c Randomized probing iteration = 100
8.59/8.78 c probing limit = 30
8.59/8.78 c level based weights = no
8.59/8.78 c impact probing = no
8.59/8.78 c restart policy = No restart
8.59/8.78 c probing
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056150-1215061904/watcher-1056150-1215061904 -o /tmp/evaluation-result-1056150-1215061904/solver-1056150-1215061904 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1056150-1215061904.xml -v 1 -rs 641416257 -probe 1 -ph 0 -heu dom/wdeg -res no
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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 2/73 27226
/proc/meminfo: memFree=1418304/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=820 CPUtime=0
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 39 0 0 0 0 0 0 0 19 0 1 0 1985162241 839680 25 996147200 134512640 135239859 4294956144 18446744073709551615 8106788 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 205 25 19 177 0 3 0
[startup+0.107678 s]
/proc/loadavg: 1.92 1.98 1.99 2/73 27226
/proc/meminfo: memFree=1418304/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=5908 CPUtime=0.09
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 796 0 0 0 9 0 0 0 20 0 1 0 1985162241 6049792 762 996147200 134512640 135239859 4294956144 18446744073709551615 4159126157 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 1477 762 393 177 0 380 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5908
[startup+0.202494 s]
/proc/loadavg: 1.92 1.98 1.99 2/73 27226
/proc/meminfo: memFree=1418304/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=6984 CPUtime=0.18
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 1073 0 0 0 18 0 0 0 20 0 1 0 1985162241 7151616 1039 996147200 134512640 135239859 4294956144 18446744073709551615 4159157645 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 1746 1039 393 177 0 649 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6984
[startup+0.302517 s]
/proc/loadavg: 1.92 1.98 1.99 2/73 27226
/proc/meminfo: memFree=1418304/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=8152 CPUtime=0.29
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 1367 0 0 0 28 1 0 0 21 0 1 0 1985162241 8347648 1333 996147200 134512640 135239859 4294956144 18446744073709551615 134642752 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 2038 1333 393 177 0 941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8152
[startup+0.701596 s]
/proc/loadavg: 1.92 1.98 1.99 2/73 27226
/proc/meminfo: memFree=1418304/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=12796 CPUtime=0.68
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 2532 0 0 0 66 2 0 0 25 0 1 0 1985162241 13103104 2432 996147200 134512640 135239859 4294956144 18446744073709551615 4160503950 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 3199 2432 393 177 0 2102 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12796
[startup+1.50175 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 27227
/proc/meminfo: memFree=1404984/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=21724 CPUtime=1.48
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 4831 0 0 0 145 3 0 0 25 0 1 0 1985162241 22245376 4601 996147200 134512640 135239859 4294956144 18446744073709551615 4159744811 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 5431 4601 393 177 0 4334 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21724
[startup+3.10107 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 27227
/proc/meminfo: memFree=1392184/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=39816 CPUtime=3.05
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 9517 0 0 0 300 5 0 0 25 0 1 0 1985162241 40771584 8964 996147200 134512640 135239859 4294956144 18446744073709551615 134649762 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 9954 8964 393 177 0 8857 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 39816
[startup+6.30168 s]
/proc/loadavg: 2.01 2.00 2.00 3/74 27227
/proc/meminfo: memFree=1356728/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=64196 CPUtime=6.22
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 15649 0 0 0 613 9 0 0 25 0 1 0 1985162241 65736704 15096 996147200 134512640 135239859 4294956144 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 16049 15096 398 177 0 14952 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 64196
[startup+12.7019 s]
/proc/loadavg: 2.01 2.00 2.00 3/74 27227
/proc/meminfo: memFree=1297912/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=119800 CPUtime=12.56
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30343 0 0 0 1240 16 0 0 25 0 1 0 1985162241 122675200 28875 996147200 134512640 135239859 4294956144 18446744073709551615 135016000 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 29950 28875 426 177 0 28853 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 119800
[startup+25.5024 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27227
/proc/meminfo: memFree=1291896/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=119800 CPUtime=25.26
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30343 0 0 0 2510 16 0 0 25 0 1 0 1985162241 122675200 28875 996147200 134512640 135239859 4294956144 18446744073709551615 134534753 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 29950 28875 426 177 0 28853 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 119800
[startup+51.1024 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27227
/proc/meminfo: memFree=1284408/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=119800 CPUtime=50.65
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30351 0 0 0 5049 16 0 0 25 0 1 0 1985162241 122675200 28883 996147200 134512640 135239859 4294956144 18446744073709551615 134543162 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 29950 28883 428 177 0 28853 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 119800
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27227
/proc/meminfo: memFree=1284280/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=119800 CPUtime=101.46
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30355 0 0 0 10130 16 0 0 25 0 1 0 1985162241 122675200 28887 996147200 134512640 135239859 4294956144 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 29950 28887 428 177 0 28853 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 119800
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27227
/proc/meminfo: memFree=1284216/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=119940 CPUtime=160.99
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30361 0 0 0 16083 16 0 0 25 0 1 0 1985162241 122818560 28893 996147200 134512640 135239859 4294956144 18446744073709551615 134543144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 29985 28893 428 177 0 28888 0
Current children cumulated CPU time (s) 160.99
Current children cumulated vsize (KiB) 119940
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27227
/proc/meminfo: memFree=1284088/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=119940 CPUtime=220.53
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30372 0 0 0 22037 16 0 0 25 0 1 0 1985162241 122818560 28904 996147200 134512640 135239859 4294956144 18446744073709551615 134543120 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 29985 28904 428 177 0 28888 0
Current children cumulated CPU time (s) 220.53
Current children cumulated vsize (KiB) 119940
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27227
/proc/meminfo: memFree=1284088/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=119940 CPUtime=280.06
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30375 0 0 0 27990 16 0 0 25 0 1 0 1985162241 122818560 28907 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 29985 28907 428 177 0 28888 0
Current children cumulated CPU time (s) 280.06
Current children cumulated vsize (KiB) 119940
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27227
/proc/meminfo: memFree=1284024/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=119940 CPUtime=339.61
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30378 0 0 0 33944 17 0 0 25 0 1 0 1985162241 122818560 28910 996147200 134512640 135239859 4294956144 18446744073709551615 134538980 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 29985 28910 428 177 0 28888 0
Current children cumulated CPU time (s) 339.61
Current children cumulated vsize (KiB) 119940
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27227
/proc/meminfo: memFree=1283896/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120008 CPUtime=399.15
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30397 0 0 0 39898 17 0 0 25 0 1 0 1985162241 122888192 28929 996147200 134512640 135239859 4294956144 18446744073709551615 134543089 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30002 28929 428 177 0 28905 0
Current children cumulated CPU time (s) 399.15
Current children cumulated vsize (KiB) 120008
[startup+462.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27265
/proc/meminfo: memFree=1664440/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120008 CPUtime=458.69
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30400 0 0 0 45852 17 0 0 25 0 1 0 1985162241 122888192 28932 996147200 134512640 135239859 4294956144 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30002 28932 428 177 0 28905 0
Current children cumulated CPU time (s) 458.69
Current children cumulated vsize (KiB) 120008
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1623024/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120008 CPUtime=518.17
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30404 0 0 0 51800 17 0 0 25 0 1 0 1985162241 122888192 28936 996147200 134512640 135239859 4294956144 18446744073709551615 134535343 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30002 28936 428 177 0 28905 0
Current children cumulated CPU time (s) 518.17
Current children cumulated vsize (KiB) 120008
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1622768/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120008 CPUtime=577.66
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30407 0 0 0 57749 17 0 0 25 0 1 0 1985162241 122888192 28939 996147200 134512640 135239859 4294956144 18446744073709551615 134535328 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30002 28939 428 177 0 28905 0
Current children cumulated CPU time (s) 577.66
Current children cumulated vsize (KiB) 120008
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1622704/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120008 CPUtime=637.14
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30409 0 0 0 63697 17 0 0 25 0 1 0 1985162241 122888192 28941 996147200 134512640 135239859 4294956144 18446744073709551615 134535352 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30002 28941 428 177 0 28905 0
Current children cumulated CPU time (s) 637.14
Current children cumulated vsize (KiB) 120008
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1622704/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120136 CPUtime=875.09
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30454 0 0 0 87492 17 0 0 25 0 1 0 1985162241 123019264 28953 996147200 134512640 135239859 4294956144 18446744073709551615 134820170 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30034 28953 428 177 0 28937 0
Current children cumulated CPU time (s) 875.09
Current children cumulated vsize (KiB) 120136
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1622384/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120400 CPUtime=934.57
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30516 0 0 0 93440 17 0 0 25 0 1 0 1985162241 123289600 29015 996147200 134512640 135239859 4294956144 18446744073709551615 134543144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30100 29015 428 177 0 29003 0
Current children cumulated CPU time (s) 934.57
Current children cumulated vsize (KiB) 120400
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1622256/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120532 CPUtime=994.06
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30536 0 0 0 99389 17 0 0 25 0 1 0 1985162241 123424768 29035 996147200 134512640 135239859 4294956144 18446744073709551615 134534768 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30133 29035 428 177 0 29036 0
Current children cumulated CPU time (s) 994.06
Current children cumulated vsize (KiB) 120532
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1622192/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120532 CPUtime=1053.55
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30555 0 0 0 105338 17 0 0 25 0 1 0 1985162241 123424768 29054 996147200 134512640 135239859 4294956144 18446744073709551615 134543101 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30133 29054 428 177 0 29036 0
Current children cumulated CPU time (s) 1053.55
Current children cumulated vsize (KiB) 120532
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1622000/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120532 CPUtime=1113.03
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30559 0 0 0 111286 17 0 0 25 0 1 0 1985162241 123424768 29058 996147200 134512640 135239859 4294956144 18446744073709551615 134540959 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30133 29058 428 177 0 29036 0
Current children cumulated CPU time (s) 1113.03
Current children cumulated vsize (KiB) 120532
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1621808/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120532 CPUtime=1172.53
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30562 0 0 0 117235 18 0 0 25 0 1 0 1985162241 123424768 29061 996147200 134512640 135239859 4294956144 18446744073709551615 134543076 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30133 29061 428 177 0 29036 0
Current children cumulated CPU time (s) 1172.53
Current children cumulated vsize (KiB) 120532
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1621808/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120532 CPUtime=1232.01
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30566 0 0 0 123183 18 0 0 25 0 1 0 1985162241 123424768 29065 996147200 134512640 135239859 4294956144 18446744073709551615 134543120 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30133 29065 428 177 0 29036 0
Current children cumulated CPU time (s) 1232.01
Current children cumulated vsize (KiB) 120532
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1621552/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120788 CPUtime=1291.5
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30634 0 0 0 129132 18 0 0 25 0 1 0 1985162241 123686912 29068 996147200 134512640 135239859 4294956144 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30197 29068 428 177 0 29100 0
Current children cumulated CPU time (s) 1291.5
Current children cumulated vsize (KiB) 120788
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1621552/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120788 CPUtime=1350.99
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30638 0 0 0 135081 18 0 0 25 0 1 0 1985162241 123686912 29072 996147200 134512640 135239859 4294956144 18446744073709551615 135102960 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30197 29072 428 177 0 29100 0
Current children cumulated CPU time (s) 1350.99
Current children cumulated vsize (KiB) 120788
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1621616/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120788 CPUtime=1410.47
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30641 0 0 0 141029 18 0 0 25 0 1 0 1985162241 123686912 29075 996147200 134512640 135239859 4294956144 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30197 29075 428 177 0 29100 0
Current children cumulated CPU time (s) 1410.47
Current children cumulated vsize (KiB) 120788
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1621552/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120788 CPUtime=1469.96
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30644 0 0 0 146978 18 0 0 25 0 1 0 1985162241 123686912 29078 996147200 134512640 135239859 4294956144 18446744073709551615 134538939 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30197 29078 428 177 0 29100 0
Current children cumulated CPU time (s) 1469.96
Current children cumulated vsize (KiB) 120788
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1621488/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=120788 CPUtime=1529.45
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30647 0 0 0 152927 18 0 0 25 0 1 0 1985162241 123686912 29081 996147200 134512640 135239859 4294956144 18446744073709551615 134532191 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30197 29081 428 177 0 29100 0
Current children cumulated CPU time (s) 1529.45
Current children cumulated vsize (KiB) 120788
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1621232/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=121052 CPUtime=1588.93
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30702 0 0 0 158875 18 0 0 25 0 1 0 1985162241 123957248 29136 996147200 134512640 135239859 4294956144 18446744073709551615 134543147 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30263 29136 428 177 0 29166 0
Current children cumulated CPU time (s) 1588.93
Current children cumulated vsize (KiB) 121052
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1621104/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=121052 CPUtime=1648.41
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30725 0 0 0 164823 18 0 0 25 0 1 0 1985162241 123957248 29159 996147200 134512640 135239859 4294956144 18446744073709551615 134543166 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30263 29159 428 177 0 29166 0
Current children cumulated CPU time (s) 1648.41
Current children cumulated vsize (KiB) 121052
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1620976/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=121052 CPUtime=1707.9
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30728 0 0 0 170772 18 0 0 25 0 1 0 1985162241 123957248 29162 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30263 29162 428 177 0 29166 0
Current children cumulated CPU time (s) 1707.9
Current children cumulated vsize (KiB) 121052
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1620848/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=121052 CPUtime=1767.39
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30733 0 0 0 176721 18 0 0 25 0 1 0 1985162241 123957248 29167 996147200 134512640 135239859 4294956144 18446744073709551615 135103021 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30263 29167 428 177 0 29166 0
Current children cumulated CPU time (s) 1767.39
Current children cumulated vsize (KiB) 121052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1620848/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=121052 CPUtime=1800
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30738 0 0 0 179982 18 0 0 25 0 1 0 1985162241 123957248 29172 996147200 134512640 135239859 4294956144 18446744073709551615 135016040 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30263 29172 428 177 0 29166 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 121052
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1815.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 27267
/proc/meminfo: memFree=1620848/2055920 swapFree=4179412/4192956
[pid=27226] ppid=27224 vsize=121052 CPUtime=1800
/proc/27226/stat : 27226 (xsolve) R 27224 27226 23919 0 -1 4194304 30738 0 0 0 179982 18 0 0 25 0 1 0 1985162241 123957248 29172 996147200 134512640 135239859 4294956144 18446744073709551615 135016040 0 0 4096 0 0 0 0 17 1 0 0
/proc/27226/statm: 30263 29172 428 177 0 29166 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 121052
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1815.23
CPU time (s): 1800.03
CPU user time (s): 1799.83
CPU system time (s): 0.204968
CPU usage (%): 99.1631
Max. virtual memory (cumulated for all children) (KiB): 121052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.204968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30738
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= 7
involuntary context switches= 66324
runsolver used 1.58976 second user time and 5.05523 second system time
The end
Begin job on node62 at 2008-07-03 07:11:45
IDJOB=1056150
IDBENCH=57401
IDSOLVER=342
FILE ID=node62/1056150-1215061904
PBS_JOBID= 7875052
Free space on /tmp= 65228 MiB
SOLVER NAME= MDG-probe 2008-06-27
BENCH NAME= CPAI08/csp/largeQueens/normalized-queens-500.xml
COMMAND LINE= HOME/xsolve BENCHNAME -v 1 -rs RANDOMSEED -probe 1 -ph 0 -heu dom/wdeg -res no
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056150-1215061904/watcher-1056150-1215061904 -o /tmp/evaluation-result-1056150-1215061904/solver-1056150-1215061904 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1056150-1215061904.xml -v 1 -rs 641416257 -probe 1 -ph 0 -heu dom/wdeg -res no
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 2f41b36922ebee8c6bbe2e06a2cfd3a7
RANDOM SEED=641416257
node62.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1418784 kB
Buffers: 35480 kB
Cached: 207752 kB
SwapCached: 6736 kB
Active: 496684 kB
Inactive: 74260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1418784 kB
SwapTotal: 4192956 kB
SwapFree: 4179412 kB
Dirty: 17436 kB
Writeback: 0 kB
Mapped: 334200 kB
Slab: 50644 kB
Committed_AS: 4240724 kB
PageTables: 2612 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65272 MiB
End job on node62 at 2008-07-03 07:42:02