runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094760-1215252940/watcher-1094760-1215252940 -o /tmp/evaluation-result-1094760-1215252940/solver-1094760-1215252940 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1094760-1215252940.xml -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: 2.08 2.02 2.01 4/80 18512
/proc/meminfo: memFree=892568/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=8476 CPUtime=0.19
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 1309 0 0 0 19 0 0 0 19 0 1 0 2004268157 8679424 1275 996147200 134512640 135239859 4294956208 18446744073709551615 134579066 0 0 4096 0 0 0 0 17 1 0 0
/proc/18512/statm: 2119 1275 350 177 0 1022 0
[startup+0.255722 s]
/proc/loadavg: 2.08 2.02 2.01 4/80 18512
/proc/meminfo: memFree=892568/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=9136 CPUtime=0.24
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 1506 0 0 0 23 1 0 0 19 0 1 0 2004268157 9355264 1472 996147200 134512640 135239859 4294956208 18446744073709551615 134579066 0 0 4096 0 0 0 0 17 1 0 0
/proc/18512/statm: 2284 1472 350 177 0 1187 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9136
[startup+0.301686 s]
/proc/loadavg: 2.08 2.02 2.01 4/80 18512
/proc/meminfo: memFree=892568/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=9928 CPUtime=0.29
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 1704 0 0 0 28 1 0 0 19 0 1 0 2004268157 10166272 1670 996147200 134512640 135239859 4294956208 18446744073709551615 134579066 0 0 4096 0 0 0 0 17 1 0 0
/proc/18512/statm: 2482 1670 350 177 0 1385 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9928
[startup+0.4017 s]
/proc/loadavg: 2.08 2.02 2.01 4/80 18512
/proc/meminfo: memFree=892568/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=11512 CPUtime=0.38
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 2139 0 0 0 37 1 0 0 20 0 1 0 2004268157 11788288 2105 996147200 134512640 135239859 4294956208 18446744073709551615 134643668 0 0 4096 0 0 0 0 17 1 0 0
/proc/18512/statm: 2878 2105 350 177 0 1781 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 11512
[startup+0.701734 s]
/proc/loadavg: 2.08 2.02 2.01 4/80 18512
/proc/meminfo: memFree=892568/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=16984 CPUtime=0.68
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 3422 0 0 0 66 2 0 0 23 0 1 0 2004268157 17391616 3388 996147200 134512640 135239859 4294956208 18446744073709551615 134670544 0 0 4096 0 0 0 0 17 1 0 0
/proc/18512/statm: 4246 3388 350 177 0 3149 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16984
[startup+1.50183 s]
/proc/loadavg: 2.08 2.02 2.01 3/81 18513
/proc/meminfo: memFree=871568/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=30640 CPUtime=1.48
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 6886 0 0 0 143 5 0 0 25 0 1 0 2004268157 31375360 6852 996147200 134512640 135239859 4294956208 18446744073709551615 134579063 0 0 4096 0 0 0 0 17 1 0 0
/proc/18512/statm: 7660 6852 350 177 0 6563 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30640
[startup+3.10202 s]
/proc/loadavg: 2.08 2.02 2.01 3/81 18513
/proc/meminfo: memFree=852368/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=58408 CPUtime=3.06
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 13794 0 0 0 297 9 0 0 25 0 1 0 2004268157 59809792 13760 996147200 134512640 135239859 4294956208 18446744073709551615 134579066 0 0 4096 0 0 0 0 17 1 0 0
/proc/18512/statm: 14602 13760 350 177 0 13505 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 58408
[startup+6.30241 s]
/proc/loadavg: 2.07 2.02 2.00 3/81 18513
/proc/meminfo: memFree=795728/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=113488 CPUtime=6.22
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 27647 0 0 0 604 18 0 0 25 0 1 0 2004268157 116211712 27613 996147200 134512640 135239859 4294956208 18446744073709551615 134579055 0 0 4096 0 0 0 0 17 1 0 0
/proc/18512/statm: 28372 27613 350 177 0 27275 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 113488
[startup+12.7028 s]
/proc/loadavg: 2.07 2.02 2.00 3/81 18513
/proc/meminfo: memFree=584336/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=12.57
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 1208 49 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789322 0 0 4096 0 0 0 0 17 1 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 353668
[startup+25.5067 s]
/proc/loadavg: 2.05 2.02 2.00 3/81 18513
/proc/meminfo: memFree=584400/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=25.27
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 2478 49 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789214 0 0 4096 0 0 0 0 17 1 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 353668
[startup+51.1021 s]
/proc/loadavg: 2.03 2.02 2.00 3/81 18513
/proc/meminfo: memFree=584208/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=50.59
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 5010 49 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789425 0 0 4096 0 0 0 0 17 1 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 353668
[startup+102.302 s]
/proc/loadavg: 2.01 2.01 2.00 3/81 18513
/proc/meminfo: memFree=584272/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=101.35
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 10086 49 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789214 0 0 4096 0 0 0 0 17 1 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 353668
[startup+162.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 18513
/proc/meminfo: memFree=584208/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=160.84
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 16035 49 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789205 0 0 4096 0 0 0 0 17 1 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 160.84
Current children cumulated vsize (KiB) 353668
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18513
/proc/meminfo: memFree=584208/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=220.32
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 21983 49 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 135015600 0 0 4096 0 0 0 0 17 1 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 220.32
Current children cumulated vsize (KiB) 353668
[startup+282.302 s]
/proc/loadavg: 1.94 1.98 1.99 4/83 18615
/proc/meminfo: memFree=1277120/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=279.97
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 27945 52 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789220 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 279.97
Current children cumulated vsize (KiB) 353668
[startup+342.307 s]
/proc/loadavg: 2.07 2.00 2.00 3/81 18653
/proc/meminfo: memFree=1259472/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=339.95
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 33942 53 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789220 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 339.95
Current children cumulated vsize (KiB) 353668
[startup+402.302 s]
/proc/loadavg: 2.08 2.01 2.00 3/81 18653
/proc/meminfo: memFree=1259280/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=399.92
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 39939 53 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 135015568 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 399.92
Current children cumulated vsize (KiB) 353668
[startup+462.301 s]
/proc/loadavg: 2.08 2.02 2.00 3/81 18653
/proc/meminfo: memFree=1259216/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=459.9
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 45937 53 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789225 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 459.9
Current children cumulated vsize (KiB) 353668
[startup+522.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/81 18653
/proc/meminfo: memFree=1259088/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=519.87
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 51934 53 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789220 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 519.87
Current children cumulated vsize (KiB) 353668
[startup+582.302 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 18653
/proc/meminfo: memFree=1259088/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=579.85
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 57932 53 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789430 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 579.85
Current children cumulated vsize (KiB) 353668
[startup+642.302 s]
/proc/loadavg: 2.09 2.04 2.01 3/81 18653
/proc/meminfo: memFree=1259088/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=639.82
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 63929 53 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789220 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 639.82
Current children cumulated vsize (KiB) 353668
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 18653
/proc/meminfo: memFree=1259024/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=819.75
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 81922 53 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789220 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 819.75
Current children cumulated vsize (KiB) 353668
[startup+882.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 18653
/proc/meminfo: memFree=1258960/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=879.73
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 87920 53 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789256 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 879.73
Current children cumulated vsize (KiB) 353668
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18653
/proc/meminfo: memFree=1258768/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=939.7
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 93917 53 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 135015598 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 939.7
Current children cumulated vsize (KiB) 353668
[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18653
/proc/meminfo: memFree=1258704/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=999.68
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 99915 53 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789220 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 999.68
Current children cumulated vsize (KiB) 353668
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18653
/proc/meminfo: memFree=1258640/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=1059.65
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 105912 53 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 135015598 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 1059.65
Current children cumulated vsize (KiB) 353668
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18653
/proc/meminfo: memFree=1258640/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=1119.62
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 111909 53 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 135015568 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 1119.62
Current children cumulated vsize (KiB) 353668
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18653
/proc/meminfo: memFree=1258576/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=1179.6
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 117907 53 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789430 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 1179.6
Current children cumulated vsize (KiB) 353668
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18653
/proc/meminfo: memFree=1258448/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=1239.57
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 123904 53 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789256 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 1239.57
Current children cumulated vsize (KiB) 353668
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18653
/proc/meminfo: memFree=1258320/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=1299.55
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 129901 54 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789231 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 1299.55
Current children cumulated vsize (KiB) 353668
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18653
/proc/meminfo: memFree=1258320/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=1359.53
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 135899 54 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789220 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 1359.53
Current children cumulated vsize (KiB) 353668
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18653
/proc/meminfo: memFree=1258256/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=1419.51
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 141897 54 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 135015568 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 1419.51
Current children cumulated vsize (KiB) 353668
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18653
/proc/meminfo: memFree=1258256/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=1479.48
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 147894 54 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789430 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 1479.48
Current children cumulated vsize (KiB) 353668
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 18653
/proc/meminfo: memFree=1258192/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=1539.46
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 153892 54 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789430 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 1539.46
Current children cumulated vsize (KiB) 353668
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18653
/proc/meminfo: memFree=1258064/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=1599.43
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 159889 54 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789220 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 1599.43
Current children cumulated vsize (KiB) 353668
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18653
/proc/meminfo: memFree=1258064/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=1659.41
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 165887 54 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789220 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 1659.41
Current children cumulated vsize (KiB) 353668
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18654
/proc/meminfo: memFree=1257936/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=1719.38
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 171884 54 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 134789220 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 1719.38
Current children cumulated vsize (KiB) 353668
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18655
/proc/meminfo: memFree=1257872/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=1779.36
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 177882 54 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 135015603 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 1779.36
Current children cumulated vsize (KiB) 353668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18655
/proc/meminfo: memFree=1257872/2055920 swapFree=4180424/4192956
[pid=18512] ppid=18510 vsize=353668 CPUtime=1800.06
/proc/18512/stat : 18512 (xsolve) R 18510 18512 17723 0 -1 4194304 91722 0 0 0 179952 54 0 0 25 0 1 0 2004268157 362156032 77333 996147200 134512640 135239859 4294956208 18446744073709551615 135015587 0 0 4096 0 0 0 0 17 0 0 0
/proc/18512/statm: 88417 77333 385 177 0 87320 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 353668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.06
CPU time (s): 1800.12
CPU user time (s): 1799.52
CPU system time (s): 0.593909
CPU usage (%): 99.8369
Max. virtual memory (cumulated for all children) (KiB): 353668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.593909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91722
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= 10134
runsolver used 2.04469 second user time and 5.13922 second system time
The end
Begin job on node33 at 2008-07-05 12:15:47
IDJOB=1094760
IDBENCH=58824
IDSOLVER=343
FILE ID=node33/1094760-1215252940
PBS_JOBID= 7882037
Free space on /tmp= 66332 MiB
SOLVER NAME= MDG-noprobe 2008-06-27
BENCH NAME= CPAI08/csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-25.xml
COMMAND LINE= HOME/xsolve BENCHNAME -heu dom/wdeg -res no
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094760-1215252940/watcher-1094760-1215252940 -o /tmp/evaluation-result-1094760-1215252940/solver-1094760-1215252940 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1094760-1215252940.xml -heu dom/wdeg -res no
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 89e0232b0c166b071483c580fdb62237
RANDOM SEED=2033488317
node33.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.231
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.231
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: 893048 kB
Buffers: 17896 kB
Cached: 324572 kB
SwapCached: 6236 kB
Active: 1006964 kB
Inactive: 98908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 893048 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 71544 kB
Writeback: 0 kB
Mapped: 779824 kB
Slab: 40716 kB
Committed_AS: 4412748 kB
PageTables: 3284 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= 66392 MiB
End job on node33 at 2008-07-05 12:45:52