runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2065782-1247339086/watcher-2065782-1247339086 -o /tmp/evaluation-result-2065782-1247339086/solver-2065782-1247339086 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2065782-1247339086.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.16 2.13 2.04 4/83 15221
/proc/meminfo: memFree=1497304/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=18576 CPUtime=0
/proc/15221/stat : 15221 (runsolver) R 15219 15221 14941 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 20975503 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15221/statm: 4644 284 249 26 0 2626 0
[startup+0.077628 s]
/proc/loadavg: 2.16 2.13 2.04 4/83 15221
/proc/meminfo: memFree=1497304/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=7168 CPUtime=0.06
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 996 0 0 0 6 0 0 0 20 0 1 0 20975503 7340032 975 996147200 1448431616 1448550632 4294956208 18446744073709551615 134655606 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 1792 975 378 29 0 607 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7168
[startup+0.101617 s]
/proc/loadavg: 2.16 2.13 2.04 4/83 15221
/proc/meminfo: memFree=1497304/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=7688 CPUtime=0.09
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 1133 0 0 0 9 0 0 0 20 0 1 0 20975503 7872512 1112 996147200 1448431616 1448550632 4294956208 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 1922 1112 378 29 0 737 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7688
[startup+0.301566 s]
/proc/loadavg: 2.16 2.13 2.04 4/83 15221
/proc/meminfo: memFree=1497304/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=15456 CPUtime=0.29
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3083 0 0 0 28 1 0 0 22 0 1 0 20975503 15826944 3062 996147200 1448431616 1448550632 4294956208 18446744073709551615 134897022 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 3864 3062 419 29 0 2679 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15456
[startup+0.701442 s]
/proc/loadavg: 2.16 2.13 2.04 4/83 15221
/proc/meminfo: memFree=1497304/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=15456 CPUtime=0.69
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3086 0 0 0 68 1 0 0 25 0 1 0 20975503 15826944 3065 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161004 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 3864 3065 419 29 0 2679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15456
[startup+1.50122 s]
/proc/loadavg: 2.15 2.13 2.04 3/84 15222
/proc/meminfo: memFree=1486480/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=15456 CPUtime=1.48
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3086 0 0 0 147 1 0 0 25 0 1 0 20975503 15826944 3065 996147200 1448431616 1448550632 4294956208 18446744073709551615 134824272 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 3864 3065 419 29 0 2679 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15456
[startup+3.10275 s]
/proc/loadavg: 2.15 2.13 2.04 3/84 15222
/proc/meminfo: memFree=1485840/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=15456 CPUtime=3.06
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3086 0 0 0 305 1 0 0 25 0 1 0 20975503 15826944 3065 996147200 1448431616 1448550632 4294956208 18446744073709551615 135216069 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 3864 3065 419 29 0 2679 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15456
[startup+6.30102 s]
/proc/loadavg: 2.15 2.13 2.04 3/84 15222
/proc/meminfo: memFree=1484560/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=15456 CPUtime=6.23
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3086 0 0 0 622 1 0 0 25 0 1 0 20975503 15826944 3065 996147200 1448431616 1448550632 4294956208 18446744073709551615 134824277 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 3864 3065 419 29 0 2679 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 15456
[startup+12.701 s]
/proc/loadavg: 2.12 2.12 2.04 3/84 15222
/proc/meminfo: memFree=1482384/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=15456 CPUtime=12.55
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3086 0 0 0 1254 1 0 0 25 0 1 0 20975503 15826944 3065 996147200 1448431616 1448550632 4294956208 18446744073709551615 134824128 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 3864 3065 419 29 0 2679 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 15456
[startup+25.5013 s]
/proc/loadavg: 2.11 2.12 2.04 3/84 15222
/proc/meminfo: memFree=1477968/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=15456 CPUtime=25.19
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3086 0 0 0 2518 1 0 0 25 0 1 0 20975503 15826944 3065 996147200 1448431616 1448550632 4294956208 18446744073709551615 135219871 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 3864 3065 419 29 0 2679 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 15456
[startup+51.102 s]
/proc/loadavg: 2.19 2.14 2.05 3/84 15222
/proc/meminfo: memFree=1469008/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=15456 CPUtime=50.43
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3086 0 0 0 5042 1 0 0 25 0 1 0 20975503 15826944 3065 996147200 1448431616 1448550632 4294956208 18446744073709551615 135215941 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 3864 3065 419 29 0 2679 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 15456
[startup+102.306 s]
/proc/loadavg: 2.08 2.11 2.04 3/84 15222
/proc/meminfo: memFree=1450704/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=15456 CPUtime=100.77
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3086 0 0 0 10076 1 0 0 25 0 1 0 20975503 15826944 3065 996147200 1448431616 1448550632 4294956208 18446744073709551615 135219891 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 3864 3065 419 29 0 2679 0
Current children cumulated CPU time (s) 100.77
Current children cumulated vsize (KiB) 15456
[startup+162.301 s]
/proc/loadavg: 2.42 2.19 2.07 3/84 15222
/proc/meminfo: memFree=1429328/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=15720 CPUtime=159.68
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3146 0 0 0 15966 2 0 0 25 0 1 0 20975503 16097280 3125 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865087 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 3930 3125 419 29 0 2745 0
Current children cumulated CPU time (s) 159.68
Current children cumulated vsize (KiB) 15720
[startup+222.302 s]
/proc/loadavg: 2.49 2.24 2.09 5/84 15222
/proc/meminfo: memFree=1214992/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=15852 CPUtime=217.73
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3178 0 0 0 21771 2 0 0 25 0 1 0 20975503 16232448 3157 996147200 1448431616 1448550632 4294956208 18446744073709551615 135267136 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 3963 3157 419 29 0 2778 0
Current children cumulated CPU time (s) 217.73
Current children cumulated vsize (KiB) 15852
[startup+282.302 s]
/proc/loadavg: 2.41 2.28 2.11 3/84 15222
/proc/meminfo: memFree=1170512/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=15984 CPUtime=277.51
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3223 0 0 0 27749 2 0 0 25 0 1 0 20975503 16367616 3202 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865162 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 3996 3202 419 29 0 2811 0
Current children cumulated CPU time (s) 277.51
Current children cumulated vsize (KiB) 15984
[startup+342.301 s]
/proc/loadavg: 2.18 2.24 2.11 3/84 15222
/proc/meminfo: memFree=1202384/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16244 CPUtime=337.29
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3263 0 0 0 33727 2 0 0 25 0 1 0 20975503 16633856 3242 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 4061 3242 420 29 0 2876 0
Current children cumulated CPU time (s) 337.29
Current children cumulated vsize (KiB) 16244
[startup+402.301 s]
/proc/loadavg: 2.07 2.19 2.10 3/84 15222
/proc/meminfo: memFree=1202256/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16376 CPUtime=397.08
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3299 0 0 0 39705 3 0 0 25 0 1 0 20975503 16769024 3278 996147200 1448431616 1448550632 4294956208 18446744073709551615 134843364 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 4094 3278 420 29 0 2909 0
Current children cumulated CPU time (s) 397.08
Current children cumulated vsize (KiB) 16376
[startup+462.302 s]
/proc/loadavg: 2.02 2.16 2.09 3/84 15222
/proc/meminfo: memFree=1137872/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16508 CPUtime=456.86
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3324 0 0 0 45683 3 0 0 25 0 1 0 20975503 16904192 3303 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865097 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 4127 3303 420 29 0 2942 0
Current children cumulated CPU time (s) 456.86
Current children cumulated vsize (KiB) 16508
[startup+522.302 s]
/proc/loadavg: 2.01 2.13 2.08 3/84 15222
/proc/meminfo: memFree=1202064/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16508 CPUtime=516.64
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3333 0 0 0 51661 3 0 0 25 0 1 0 20975503 16904192 3312 996147200 1448431616 1448550632 4294956208 18446744073709551615 134824147 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 4127 3312 420 29 0 2942 0
Current children cumulated CPU time (s) 516.64
Current children cumulated vsize (KiB) 16508
[startup+582.301 s]
/proc/loadavg: 2.00 2.10 2.08 3/84 15222
/proc/meminfo: memFree=1201936/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16508 CPUtime=576.42
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3337 0 0 0 57639 3 0 0 25 0 1 0 20975503 16904192 3316 996147200 1448431616 1448550632 4294956208 18446744073709551615 135172204 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 4127 3316 420 29 0 2942 0
Current children cumulated CPU time (s) 576.42
Current children cumulated vsize (KiB) 16508
[startup+642.301 s]
/proc/loadavg: 2.00 2.08 2.07 3/84 15222
/proc/meminfo: memFree=1201744/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16640 CPUtime=636.2
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3375 0 0 0 63617 3 0 0 25 0 1 0 20975503 17039360 3354 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 0 0 0
/proc/15221/statm: 4160 3354 420 29 0 2975 0
Current children cumulated CPU time (s) 636.2
Current children cumulated vsize (KiB) 16640
[startup+702.302 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.01 2.05 2.06 3/82 15304
/proc/meminfo: memFree=1804000/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16772 CPUtime=875.18
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3404 0 0 0 87496 22 0 0 25 0 1 0 20975503 17174528 3383 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161637 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4193 3383 420 29 0 3008 0
Current children cumulated CPU time (s) 875.18
Current children cumulated vsize (KiB) 16772
[startup+942.302 s]
/proc/loadavg: 2.00 2.04 2.05 5/82 15304
/proc/meminfo: memFree=1803488/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16772 CPUtime=934.92
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3406 0 0 0 93470 22 0 0 25 0 1 0 20975503 17174528 3385 996147200 1448431616 1448550632 4294956208 18446744073709551615 134824147 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4193 3385 420 29 0 3008 0
Current children cumulated CPU time (s) 934.92
Current children cumulated vsize (KiB) 16772
[startup+1002.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/82 15304
/proc/meminfo: memFree=1803424/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16772 CPUtime=994.65
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3406 0 0 0 99443 22 0 0 25 0 1 0 20975503 17174528 3385 996147200 1448431616 1448550632 4294956208 18446744073709551615 134843775 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4193 3385 420 29 0 3008 0
Current children cumulated CPU time (s) 994.65
Current children cumulated vsize (KiB) 16772
[startup+1062.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/82 15304
/proc/meminfo: memFree=1803424/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16772 CPUtime=1054.38
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3408 0 0 0 105416 22 0 0 25 0 1 0 20975503 17174528 3387 996147200 1448431616 1448550632 4294956208 18446744073709551615 134843661 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4193 3387 420 29 0 3008 0
Current children cumulated CPU time (s) 1054.38
Current children cumulated vsize (KiB) 16772
[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/82 15304
/proc/meminfo: memFree=1803424/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16772 CPUtime=1114.12
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3410 0 0 0 111390 22 0 0 25 0 1 0 20975503 17174528 3389 996147200 1448431616 1448550632 4294956208 18446744073709551615 135267153 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4193 3389 420 29 0 3008 0
Current children cumulated CPU time (s) 1114.12
Current children cumulated vsize (KiB) 16772
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/82 15304
/proc/meminfo: memFree=1803232/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16772 CPUtime=1173.85
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3410 0 0 0 117363 22 0 0 25 0 1 0 20975503 17174528 3389 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865397 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4193 3389 420 29 0 3008 0
Current children cumulated CPU time (s) 1173.85
Current children cumulated vsize (KiB) 16772
[startup+1242.3 s]
/proc/loadavg: 2.07 2.04 2.04 3/82 15304
/proc/meminfo: memFree=1803296/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16772 CPUtime=1233.59
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3410 0 0 0 123337 22 0 0 25 0 1 0 20975503 17174528 3389 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865035 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4193 3389 420 29 0 3008 0
Current children cumulated CPU time (s) 1233.59
Current children cumulated vsize (KiB) 16772
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.03 3/82 15304
/proc/meminfo: memFree=1804768/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16772 CPUtime=1293.33
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3410 0 0 0 129311 22 0 0 25 0 1 0 20975503 17174528 3389 996147200 1448431616 1448550632 4294956208 18446744073709551615 134824188 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4193 3389 420 29 0 3008 0
Current children cumulated CPU time (s) 1293.33
Current children cumulated vsize (KiB) 16772
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.03 3/82 15304
/proc/meminfo: memFree=1804640/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16904 CPUtime=1353.05
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3418 0 0 0 135283 22 0 0 25 0 1 0 20975503 17309696 3397 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865184 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4226 3397 420 29 0 3041 0
Current children cumulated CPU time (s) 1353.05
Current children cumulated vsize (KiB) 16904
[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.03 3/82 15304
/proc/meminfo: memFree=1804256/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16904 CPUtime=1412.79
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3419 0 0 0 141257 22 0 0 25 0 1 0 20975503 17309696 3398 996147200 1448431616 1448550632 4294956208 18446744073709551615 135215941 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4226 3398 420 29 0 3041 0
Current children cumulated CPU time (s) 1412.79
Current children cumulated vsize (KiB) 16904
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/82 15304
/proc/meminfo: memFree=1802144/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16904 CPUtime=1472.52
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3434 0 0 0 147230 22 0 0 25 0 1 0 20975503 17309696 3413 996147200 1448431616 1448550632 4294956208 18446744073709551615 134824188 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4226 3413 420 29 0 3041 0
Current children cumulated CPU time (s) 1472.52
Current children cumulated vsize (KiB) 16904
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/82 15304
/proc/meminfo: memFree=1804064/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16904 CPUtime=1532.26
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3441 0 0 0 153204 22 0 0 25 0 1 0 20975503 17309696 3420 996147200 1448431616 1448550632 4294956208 18446744073709551615 135215894 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4226 3420 420 29 0 3041 0
Current children cumulated CPU time (s) 1532.26
Current children cumulated vsize (KiB) 16904
[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.01 3/82 15304
/proc/meminfo: memFree=1802336/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16904 CPUtime=1591.99
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3444 0 0 0 159177 22 0 0 25 0 1 0 20975503 17309696 3423 996147200 1448431616 1448550632 4294956208 18446744073709551615 134824183 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4226 3423 420 29 0 3041 0
Current children cumulated CPU time (s) 1591.99
Current children cumulated vsize (KiB) 16904
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/82 15304
/proc/meminfo: memFree=1802272/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16904 CPUtime=1651.72
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3444 0 0 0 165150 22 0 0 25 0 1 0 20975503 17309696 3423 996147200 1448431616 1448550632 4294956208 18446744073709551615 134843647 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4226 3423 420 29 0 3041 0
Current children cumulated CPU time (s) 1651.72
Current children cumulated vsize (KiB) 16904
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 15304
/proc/meminfo: memFree=1802144/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16904 CPUtime=1711.46
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3444 0 0 0 171124 22 0 0 25 0 1 0 20975503 17309696 3423 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4226 3423 420 29 0 3041 0
Current children cumulated CPU time (s) 1711.46
Current children cumulated vsize (KiB) 16904
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 15304
/proc/meminfo: memFree=1802080/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16904 CPUtime=1771.19
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3444 0 0 0 177097 22 0 0 25 0 1 0 20975503 17309696 3423 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161004 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4226 3423 420 29 0 3041 0
Current children cumulated CPU time (s) 1771.19
Current children cumulated vsize (KiB) 16904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/82 15304
/proc/meminfo: memFree=1802080/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16904 CPUtime=1800.06
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3444 0 0 0 179984 22 0 0 25 0 1 0 20975503 17309696 3423 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865259 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4226 3423 420 29 0 3041 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 16904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1811.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/82 15304
/proc/meminfo: memFree=1802080/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=16904 CPUtime=1800.06
/proc/15221/stat : 15221 (ld-linux.so.2) R 15219 15221 14941 0 -1 4194304 3444 0 0 0 179984 22 0 0 25 0 1 0 20975503 17309696 3423 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865259 0 0 4096 0 0 0 0 17 1 0 0
/proc/15221/statm: 4226 3423 420 29 0 3041 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 16904
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.31
CPU time (s): 1800.08
CPU user time (s): 1799.85
CPU system time (s): 0.227965
CPU usage (%): 99.3799
Max. virtual memory (cumulated for all children) (KiB): 16904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.227965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3444
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= 24
involuntary context switches= 24273
runsolver used 1.70374 second user time and 4.91825 second system time
The end
Begin job on node16 at 2009-07-11 21:04:46
IDJOB=2065782
IDBENCH=54420
IDSOLVER=769
FILE ID=node16/2065782-1247339086
PBS_JOBID= 9506791
Free space on /tmp= 66448 MiB
SOLVER NAME= Mistral 1.545
BENCH NAME= CPAI08/csp/os-taillard-15/normalized-os-taillard-15-95-3.xml
COMMAND LINE= /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2065782-1247339086/watcher-2065782-1247339086 -o /tmp/evaluation-result-2065782-1247339086/solver-2065782-1247339086 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2065782-1247339086.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3402f4fe587d9b501967a261cbfa42d3
RANDOM SEED=1070576210
node16.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: 1497784 kB
Buffers: 19620 kB
Cached: 70004 kB
SwapCached: 0 kB
Active: 474064 kB
Inactive: 33972 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1497784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1748 kB
Writeback: 0 kB
Mapped: 434100 kB
Slab: 34704 kB
Committed_AS: 832320 kB
PageTables: 2624 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= 66428 MiB
End job on node16 at 2009-07-11 21:35:00