runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093836-1215278242/watcher-1093836-1215278242 -o /tmp/evaluation-result-1093836-1215278242/solver-1093836-1215278242 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1093836-1215278242.xml -heu dyn -sac 3 -ds 2
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.91 1.95 1.98 4/72 20793
/proc/meminfo: memFree=1761648/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=18572 CPUtime=0
/proc/20793/stat : 20793 (runsolver) R 20791 20793 20285 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 2006799035 19017728 292 996147200 4194304 4296836 548682068416 18446744073709551615 262910045479 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20793/statm: 4643 292 257 25 0 2626 0
[startup+0.103284 s]
/proc/loadavg: 1.91 1.95 1.98 4/72 20793
/proc/meminfo: memFree=1761648/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=7120 CPUtime=0.09
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 1087 0 0 0 9 0 0 0 21 0 1 0 2006799035 7290880 1053 996147200 134512640 135239763 4294956192 18446744073709551615 4160505750 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 1780 1053 375 177 0 683 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7120
[startup+0.202296 s]
/proc/loadavg: 1.91 1.95 1.98 4/72 20793
/proc/meminfo: memFree=1761648/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=9732 CPUtime=0.18
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 1722 0 0 0 18 0 0 0 22 0 1 0 2006799035 9965568 1688 996147200 134512640 135239763 4294956192 18446744073709551615 134522652 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 2433 1688 375 177 0 1336 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9732
[startup+0.302307 s]
/proc/loadavg: 1.91 1.95 1.98 4/72 20793
/proc/meminfo: memFree=1761648/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=12204 CPUtime=0.29
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 2391 0 0 0 28 1 0 0 23 0 1 0 2006799035 12496896 2291 996147200 134512640 135239763 4294956192 18446744073709551615 134552760 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 3051 2291 375 177 0 1954 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12204
[startup+0.70235 s]
/proc/loadavg: 1.91 1.95 1.98 4/72 20793
/proc/meminfo: memFree=1761648/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=52788 CPUtime=0.68
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 12530 0 0 0 63 5 0 0 25 0 1 0 2006799035 54054912 12430 996147200 134512640 135239763 4294956192 18446744073709551615 135015916 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 13197 12430 413 177 0 12100 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 52788
[startup+1.50146 s]
/proc/loadavg: 1.91 1.95 1.98 3/73 20794
/proc/meminfo: memFree=1713448/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=53052 CPUtime=1.47
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 12588 0 0 0 142 5 0 0 25 0 1 0 2006799035 54325248 12488 996147200 134512640 135239763 4294956192 18446744073709551615 134805468 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 13263 12488 415 177 0 12166 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 53052
[startup+3.10163 s]
/proc/loadavg: 1.91 1.95 1.98 3/73 20794
/proc/meminfo: memFree=1712616/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=53536 CPUtime=3.07
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 12751 0 0 0 301 6 0 0 25 0 1 0 2006799035 54820864 12618 996147200 134512640 135239763 4294956192 18446744073709551615 135020436 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 13384 12618 417 177 0 12287 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 53536
[startup+6.30201 s]
/proc/loadavg: 1.92 1.95 1.98 3/73 20794
/proc/meminfo: memFree=1711976/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=54304 CPUtime=6.24
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 13049 0 0 0 618 6 0 0 25 0 1 0 2006799035 55607296 12722 996147200 134512640 135239763 4294956192 18446744073709551615 135096239 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 13576 12722 417 177 0 12479 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 54304
[startup+12.7018 s]
/proc/loadavg: 1.93 1.96 1.98 3/73 20794
/proc/meminfo: memFree=1711272/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=55328 CPUtime=12.59
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 13504 0 0 0 1253 6 0 0 25 0 1 0 2006799035 56655872 12920 996147200 134512640 135239763 4294956192 18446744073709551615 135020504 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 13832 12920 417 177 0 12735 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 55328
[startup+25.5023 s]
/proc/loadavg: 1.94 1.96 1.98 3/73 20794
/proc/meminfo: memFree=1703208/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=66620 CPUtime=25.29
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17122 0 0 0 2521 8 0 0 25 0 1 0 2006799035 68218880 15000 996147200 134512640 135239763 4294956192 18446744073709551615 135095920 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 16655 15000 417 177 0 15558 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 66620
[startup+51.1023 s]
/proc/loadavg: 1.96 1.96 1.98 3/73 20794
/proc/meminfo: memFree=1701288/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=67412 CPUtime=50.69
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17534 0 0 0 5061 8 0 0 25 0 1 0 2006799035 69029888 15412 996147200 134512640 135239763 4294956192 18446744073709551615 135020270 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 16853 15412 417 177 0 15756 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 67412
[startup+102.302 s]
/proc/loadavg: 1.98 1.96 1.98 3/73 20794
/proc/meminfo: memFree=1700328/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68072 CPUtime=101.51
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17745 0 0 0 10142 9 0 0 25 0 1 0 2006799035 69705728 15623 996147200 134512640 135239763 4294956192 18446744073709551615 135095920 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17018 15623 417 177 0 15921 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 68072
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 20794
/proc/meminfo: memFree=1700200/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68072 CPUtime=161.05
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17753 0 0 0 16096 9 0 0 25 0 1 0 2006799035 69705728 15631 996147200 134512640 135239763 4294956192 18446744073709551615 135016546 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17018 15631 417 177 0 15921 0
Current children cumulated CPU time (s) 161.05
Current children cumulated vsize (KiB) 68072
[startup+222.306 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 20794
/proc/meminfo: memFree=1700264/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68072 CPUtime=220.6
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17756 0 0 0 22051 9 0 0 25 0 1 0 2006799035 69705728 15634 996147200 134512640 135239763 4294956192 18446744073709551615 135015265 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17018 15634 417 177 0 15921 0
Current children cumulated CPU time (s) 220.6
Current children cumulated vsize (KiB) 68072
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 20794
/proc/meminfo: memFree=1700136/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68072 CPUtime=280.14
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17772 0 0 0 28005 9 0 0 25 0 1 0 2006799035 69705728 15650 996147200 134512640 135239763 4294956192 18446744073709551615 134798172 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17018 15650 417 177 0 15921 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 68072
[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 20794
/proc/meminfo: memFree=1700072/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68204 CPUtime=339.69
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17797 0 0 0 33960 9 0 0 25 0 1 0 2006799035 69840896 15675 996147200 134512640 135239763 4294956192 18446744073709551615 135015265 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17051 15675 417 177 0 15954 0
Current children cumulated CPU time (s) 339.69
Current children cumulated vsize (KiB) 68204
[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 20794
/proc/meminfo: memFree=1699944/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68336 CPUtime=399.24
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17818 0 0 0 39915 9 0 0 25 0 1 0 2006799035 69976064 15696 996147200 134512640 135239763 4294956192 18446744073709551615 135020425 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17084 15696 417 177 0 15987 0
Current children cumulated CPU time (s) 399.24
Current children cumulated vsize (KiB) 68336
[startup+462.303 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 20794
/proc/meminfo: memFree=1699816/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68336 CPUtime=458.78
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17832 0 0 0 45869 9 0 0 25 0 1 0 2006799035 69976064 15710 996147200 134512640 135239763 4294956192 18446744073709551615 135015951 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17084 15710 417 177 0 15987 0
Current children cumulated CPU time (s) 458.78
Current children cumulated vsize (KiB) 68336
[startup+522.303 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 20794
/proc/meminfo: memFree=1699816/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68468 CPUtime=518.33
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17846 0 0 0 51824 9 0 0 25 0 1 0 2006799035 70111232 15724 996147200 134512640 135239763 4294956192 18446744073709551615 135020197 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17117 15724 417 177 0 16020 0
Current children cumulated CPU time (s) 518.33
Current children cumulated vsize (KiB) 68468
[startup+582.303 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 20794
/proc/meminfo: memFree=1699688/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68468 CPUtime=577.87
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17854 0 0 0 57778 9 0 0 25 0 1 0 2006799035 70111232 15732 996147200 134512640 135239763 4294956192 18446744073709551615 135020219 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17117 15732 417 177 0 16020 0
Current children cumulated CPU time (s) 577.87
Current children cumulated vsize (KiB) 68468
[startup+642.303 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 20794
/proc/meminfo: memFree=1699560/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68600 CPUtime=637.42
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17880 0 0 0 63733 9 0 0 25 0 1 0 2006799035 70246400 15758 996147200 134512640 135239763 4294956192 18446744073709551615 135016495 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17150 15758 417 177 0 16053 0
Current children cumulated CPU time (s) 637.42
Current children cumulated vsize (KiB) 68600
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 20794
/proc/meminfo: memFree=1699560/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68600 CPUtime=875.6
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17891 0 0 0 87551 9 0 0 25 0 1 0 2006799035 70246400 15769 996147200 134512640 135239763 4294956192 18446744073709551615 135016531 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17150 15769 417 177 0 16053 0
Current children cumulated CPU time (s) 875.6
Current children cumulated vsize (KiB) 68600
[startup+942.303 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 20794
/proc/meminfo: memFree=1699432/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68732 CPUtime=935.15
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17911 0 0 0 93506 9 0 0 25 0 1 0 2006799035 70381568 15789 996147200 134512640 135239763 4294956192 18446744073709551615 135020417 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17183 15789 417 177 0 16086 0
Current children cumulated CPU time (s) 935.15
Current children cumulated vsize (KiB) 68732
[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 20794
/proc/meminfo: memFree=1699432/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68732 CPUtime=994.69
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17929 0 0 0 99460 9 0 0 25 0 1 0 2006799035 70381568 15807 996147200 134512640 135239763 4294956192 18446744073709551615 135016546 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17183 15807 417 177 0 16086 0
Current children cumulated CPU time (s) 994.69
Current children cumulated vsize (KiB) 68732
[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 20794
/proc/meminfo: memFree=1699304/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68864 CPUtime=1054.24
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17943 0 0 0 105415 9 0 0 25 0 1 0 2006799035 70516736 15821 996147200 134512640 135239763 4294956192 18446744073709551615 135096272 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17216 15821 417 177 0 16119 0
Current children cumulated CPU time (s) 1054.24
Current children cumulated vsize (KiB) 68864
[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 20794
/proc/meminfo: memFree=1699112/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68864 CPUtime=1113.78
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17943 0 0 0 111369 9 0 0 25 0 1 0 2006799035 70516736 15821 996147200 134512640 135239763 4294956192 18446744073709551615 134805593 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17216 15821 417 177 0 16119 0
Current children cumulated CPU time (s) 1113.78
Current children cumulated vsize (KiB) 68864
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/84 20887
/proc/meminfo: memFree=1527184/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68864 CPUtime=1173.59
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17962 0 0 0 117349 10 0 0 25 0 1 0 2006799035 70516736 15840 996147200 134512640 135239763 4294956192 18446744073709551615 135020440 0 0 4096 0 0 0 0 17 0 0 0
/proc/20793/statm: 17216 15840 417 177 0 16119 0
Current children cumulated CPU time (s) 1173.59
Current children cumulated vsize (KiB) 68864
[startup+1242.3 s]
/proc/loadavg: 2.10 2.00 1.99 3/85 20888
/proc/meminfo: memFree=1387208/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68864 CPUtime=1233.56
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17973 0 0 0 123346 10 0 0 25 0 1 0 2006799035 70516736 15851 996147200 134512640 135239763 4294956192 18446744073709551615 135015953 0 0 4096 0 0 0 0 17 0 0 0
/proc/20793/statm: 17216 15851 417 177 0 16119 0
Current children cumulated CPU time (s) 1233.56
Current children cumulated vsize (KiB) 68864
[startup+1302.3 s]
/proc/loadavg: 2.04 2.00 1.99 3/85 20888
/proc/meminfo: memFree=1386888/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68996 CPUtime=1293.54
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17989 0 0 0 129344 10 0 0 25 0 1 0 2006799035 70651904 15867 996147200 134512640 135239763 4294956192 18446744073709551615 135016533 0 0 4096 0 0 0 0 17 0 0 0
/proc/20793/statm: 17249 15867 417 177 0 16152 0
Current children cumulated CPU time (s) 1293.54
Current children cumulated vsize (KiB) 68996
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/85 20888
/proc/meminfo: memFree=1386888/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=68996 CPUtime=1353.51
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 17993 0 0 0 135341 10 0 0 25 0 1 0 2006799035 70651904 15871 996147200 134512640 135239763 4294956192 18446744073709551615 135016546 0 0 4096 0 0 0 0 17 0 0 0
/proc/20793/statm: 17249 15871 417 177 0 16152 0
Current children cumulated CPU time (s) 1353.51
Current children cumulated vsize (KiB) 68996
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/85 20888
/proc/meminfo: memFree=1386888/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=69128 CPUtime=1413.5
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 18013 0 0 0 141339 11 0 0 25 0 1 0 2006799035 70787072 15891 996147200 134512640 135239763 4294956192 18446744073709551615 135067226 0 0 4096 0 0 0 0 17 0 0 0
/proc/20793/statm: 17282 15891 417 177 0 16185 0
Current children cumulated CPU time (s) 1413.5
Current children cumulated vsize (KiB) 69128
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/85 20888
/proc/meminfo: memFree=1386824/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=69128 CPUtime=1473.47
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 18021 0 0 0 147336 11 0 0 25 0 1 0 2006799035 70787072 15899 996147200 134512640 135239763 4294956192 18446744073709551615 135067222 0 0 4096 0 0 0 0 17 0 0 0
/proc/20793/statm: 17282 15899 417 177 0 16185 0
Current children cumulated CPU time (s) 1473.47
Current children cumulated vsize (KiB) 69128
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/85 20888
/proc/meminfo: memFree=1386824/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=69128 CPUtime=1533.45
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 18029 0 0 0 153334 11 0 0 25 0 1 0 2006799035 70787072 15907 996147200 134512640 135239763 4294956192 18446744073709551615 135020307 0 0 4096 0 0 0 0 17 0 0 0
/proc/20793/statm: 17282 15907 417 177 0 16185 0
Current children cumulated CPU time (s) 1533.45
Current children cumulated vsize (KiB) 69128
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/85 20890
/proc/meminfo: memFree=1386568/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=69128 CPUtime=1593.42
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 18035 0 0 0 159331 11 0 0 25 0 1 0 2006799035 70787072 15913 996147200 134512640 135239763 4294956192 18446744073709551615 135016533 0 0 4096 0 0 0 0 17 0 0 0
/proc/20793/statm: 17282 15913 417 177 0 16185 0
Current children cumulated CPU time (s) 1593.42
Current children cumulated vsize (KiB) 69128
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/85 20890
/proc/meminfo: memFree=1386504/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=69128 CPUtime=1653.39
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 18036 0 0 0 165328 11 0 0 25 0 1 0 2006799035 70787072 15914 996147200 134512640 135239763 4294956192 18446744073709551615 135016540 0 0 4096 0 0 0 0 17 0 0 0
/proc/20793/statm: 17282 15914 417 177 0 16185 0
Current children cumulated CPU time (s) 1653.39
Current children cumulated vsize (KiB) 69128
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/85 20890
/proc/meminfo: memFree=1386504/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=69128 CPUtime=1713.37
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 18036 0 0 0 171325 12 0 0 25 0 1 0 2006799035 70787072 15914 996147200 134512640 135239763 4294956192 18446744073709551615 135020440 0 0 4096 0 0 0 0 17 0 0 0
/proc/20793/statm: 17282 15914 417 177 0 16185 0
Current children cumulated CPU time (s) 1713.37
Current children cumulated vsize (KiB) 69128
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/85 20890
/proc/meminfo: memFree=1355976/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=69128 CPUtime=1773.35
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 18036 0 0 0 177323 12 0 0 25 0 1 0 2006799035 70787072 15914 996147200 134512640 135239763 4294956192 18446744073709551615 135020425 0 0 4096 0 0 0 0 17 0 0 0
/proc/20793/statm: 17282 15914 417 177 0 16185 0
Current children cumulated CPU time (s) 1773.35
Current children cumulated vsize (KiB) 69128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809 s]
/proc/loadavg: 2.00 2.00 1.99 3/85 20890
/proc/meminfo: memFree=1355848/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=69128 CPUtime=1800.04
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 18037 0 0 0 179992 12 0 0 25 0 1 0 2006799035 70787072 15915 996147200 134512640 135239763 4294956192 18446744073709551615 134805244 0 0 4096 0 0 0 0 17 0 0 0
/proc/20793/statm: 17282 15915 417 177 0 16185 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 69128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1809 s]
/proc/loadavg: 2.00 2.00 1.99 3/85 20890
/proc/meminfo: memFree=1355848/2055920 swapFree=4179968/4192956
[pid=20793] ppid=20791 vsize=69128 CPUtime=1800.04
/proc/20793/stat : 20793 (xsolve) R 20791 20793 20285 0 -1 4194304 18037 0 0 0 179992 12 0 0 25 0 1 0 2006799035 70787072 15915 996147200 134512640 135239763 4294956192 18446744073709551615 134805244 0 0 4096 0 0 0 0 17 0 0 0
/proc/20793/statm: 17282 15915 417 177 0 16185 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 69128
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.02
CPU time (s): 1800.06
CPU user time (s): 1799.93
CPU system time (s): 0.13098
CPU usage (%): 99.5049
Max. virtual memory (cumulated for all children) (KiB): 69128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18037
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= 39153
runsolver used 1.57976 second user time and 5.05023 second system time
The end
Begin job on node11 at 2008-07-05 19:17:22
IDJOB=1093836
IDBENCH=58730
IDSOLVER=357
FILE ID=node11/1093836-1215278242
PBS_JOBID= 7882242
Free space on /tmp= 66552 MiB
SOLVER NAME= Mistral-option 1.314
BENCH NAME= CPAI08/csp/queens/normalized-queens-120.xml
COMMAND LINE= HOME/xsolve BENCHNAME -heu dyn -sac 3 -ds 2
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093836-1215278242/watcher-1093836-1215278242 -o /tmp/evaluation-result-1093836-1215278242/solver-1093836-1215278242 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1093836-1215278242.xml -heu dyn -sac 3 -ds 2
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e474d160d95b285007e3c29a382ac11f
RANDOM SEED=641665806
node11.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.224
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.224
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: 1762128 kB
Buffers: 39796 kB
Cached: 179676 kB
SwapCached: 7036 kB
Active: 151612 kB
Inactive: 89564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1762128 kB
SwapTotal: 4192956 kB
SwapFree: 4179968 kB
Dirty: 1860 kB
Writeback: 0 kB
Mapped: 29636 kB
Slab: 37876 kB
Committed_AS: 3414544 kB
PageTables: 1828 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66556 MiB
End job on node11 at 2008-07-05 19:47:33