runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2063890-1247333262/watcher-2063890-1247333262 -o /tmp/evaluation-result-2063890-1247333262/solver-2063890-1247333262 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2063890-1247333262.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.22 2.17 1.94 3/82 12820
/proc/meminfo: memFree=937864/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=18576 CPUtime=0
/proc/12820/stat : 12820 (runsolver) R 12818 12820 10944 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 20393312 19021824 285 996147200 4194304 4302564 548682068496 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/12820/statm: 4644 285 249 26 0 2626 0
[startup+0.0406511 s]
/proc/loadavg: 2.22 2.17 1.94 3/82 12820
/proc/meminfo: memFree=937864/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=5336 CPUtime=0.03
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 559 0 0 0 3 0 0 0 21 0 1 0 20393312 5464064 538 996147200 1448431616 1448550632 4294956208 18446744073709551615 134693483 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 1334 538 376 29 0 149 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5336
[startup+0.101666 s]
/proc/loadavg: 2.22 2.17 1.94 3/82 12820
/proc/meminfo: memFree=937864/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=6104 CPUtime=0.09
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 728 0 0 0 9 0 0 0 22 0 1 0 20393312 6250496 707 996147200 1448431616 1448550632 4294956208 18446744073709551615 134691581 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 1526 707 376 29 0 341 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6104
[startup+0.301708 s]
/proc/loadavg: 2.22 2.17 1.94 3/82 12820
/proc/meminfo: memFree=937864/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=8284 CPUtime=0.28
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 1265 0 0 0 28 0 0 0 24 0 1 0 20393312 8482816 1244 996147200 1448431616 1448550632 4294956208 18446744073709551615 134688892 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 2071 1244 376 29 0 886 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8284
[startup+0.701794 s]
/proc/loadavg: 2.22 2.17 1.94 3/82 12820
/proc/meminfo: memFree=937864/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=12384 CPUtime=0.68
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 2304 0 0 0 67 1 0 0 25 0 1 0 20393312 12681216 2283 996147200 1448431616 1448550632 4294956208 18446744073709551615 134688892 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 3096 2283 377 29 0 1911 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12384
[startup+1.50198 s]
/proc/loadavg: 2.20 2.17 1.94 3/83 12821
/proc/meminfo: memFree=916544/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=26380 CPUtime=1.48
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 5712 0 0 0 144 4 0 0 25 0 1 0 20393312 27013120 5691 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157381179 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 6595 5691 382 29 0 5410 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26380
[startup+3.10132 s]
/proc/loadavg: 2.20 2.17 1.94 4/83 12821
/proc/meminfo: memFree=840192/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=3.07
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21232 0 0 0 297 10 0 0 25 0 1 0 20393312 91668480 21211 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21211 426 29 0 21195 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 89520
[startup+6.302 s]
/proc/loadavg: 2.18 2.16 1.94 3/83 12821
/proc/meminfo: memFree=812288/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=6.26
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21238 0 0 0 616 10 0 0 25 0 1 0 20393312 91668480 21217 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21217 426 29 0 21195 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 89520
[startup+12.7014 s]
/proc/loadavg: 2.17 2.16 1.94 3/83 12821
/proc/meminfo: memFree=760448/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=12.63
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21244 0 0 0 1253 10 0 0 25 0 1 0 20393312 91668480 21223 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865472 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21223 426 29 0 21195 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 89520
[startup+25.5011 s]
/proc/loadavg: 2.21 2.17 1.95 3/83 12821
/proc/meminfo: memFree=651264/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=25.37
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 2527 10 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134756267 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 89520
[startup+51.1016 s]
/proc/loadavg: 2.13 2.15 1.95 3/83 12821
/proc/meminfo: memFree=452480/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=50.87
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 5077 10 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134821875 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 89520
[startup+102.307 s]
/proc/loadavg: 2.11 2.14 1.95 3/83 12821
/proc/meminfo: memFree=321664/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=101.85
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 10175 10 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 89520
[startup+162.301 s]
/proc/loadavg: 2.11 2.13 1.96 3/83 12869
/proc/meminfo: memFree=893312/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=161.59
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 16147 12 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134864846 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 161.59
Current children cumulated vsize (KiB) 89520
[startup+222.301 s]
/proc/loadavg: 2.11 2.13 1.97 3/75 12871
/proc/meminfo: memFree=983872/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=221.33
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 22120 13 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 221.33
Current children cumulated vsize (KiB) 89520
[startup+282.301 s]
/proc/loadavg: 2.04 2.11 1.97 3/75 12871
/proc/meminfo: memFree=839680/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=281.08
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 28095 13 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865017 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 281.08
Current children cumulated vsize (KiB) 89520
[startup+342.301 s]
/proc/loadavg: 2.01 2.08 1.97 3/75 12871
/proc/meminfo: memFree=839040/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=340.83
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 34070 13 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 340.83
Current children cumulated vsize (KiB) 89520
[startup+402.302 s]
/proc/loadavg: 2.00 2.07 1.97 3/75 12871
/proc/meminfo: memFree=838208/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=400.59
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 40045 14 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135256950 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 400.59
Current children cumulated vsize (KiB) 89520
[startup+462.302 s]
/proc/loadavg: 2.00 2.05 1.97 3/75 12871
/proc/meminfo: memFree=837248/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=460.34
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 46020 14 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 460.34
Current children cumulated vsize (KiB) 89520
[startup+522.303 s]
/proc/loadavg: 2.00 2.04 1.97 3/75 12871
/proc/meminfo: memFree=836352/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=520.09
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 51995 14 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865427 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 520.09
Current children cumulated vsize (KiB) 89520
[startup+582.302 s]
/proc/loadavg: 2.00 2.03 1.97 3/75 12871
/proc/meminfo: memFree=835456/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=579.83
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 57969 14 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134864867 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 579.83
Current children cumulated vsize (KiB) 89520
[startup+642.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/75 12871
/proc/meminfo: memFree=834560/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=639.59
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 63945 14 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134864831 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 639.59
Current children cumulated vsize (KiB) 89520
[startup+702.301 s]
################
# More data... #
################
[startup+822.303 s]
/proc/loadavg: 2.00 2.01 1.97 3/75 12871
/proc/meminfo: memFree=831936/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=818.83
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 81869 14 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 818.83
Current children cumulated vsize (KiB) 89520
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 1.97 3/75 12871
/proc/meminfo: memFree=831168/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=878.59
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 87844 15 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 878.59
Current children cumulated vsize (KiB) 89520
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 1.97 3/75 12871
/proc/meminfo: memFree=830464/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=938.34
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 93819 15 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134821875 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 938.34
Current children cumulated vsize (KiB) 89520
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/75 12871
/proc/meminfo: memFree=829568/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=998.09
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 99794 15 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134718599 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 998.09
Current children cumulated vsize (KiB) 89520
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/75 12871
/proc/meminfo: memFree=828864/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=1057.84
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 105769 15 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 1057.84
Current children cumulated vsize (KiB) 89520
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/75 12871
/proc/meminfo: memFree=827968/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=1117.59
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 111744 15 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134821873 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 1117.59
Current children cumulated vsize (KiB) 89520
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/75 12871
/proc/meminfo: memFree=827136/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=1177.34
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 117719 15 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134821875 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 1177.34
Current children cumulated vsize (KiB) 89520
[startup+1242.3 s]
/proc/loadavg: 1.96 1.98 1.96 3/82 12920
/proc/meminfo: memFree=1019008/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=1237.06
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 123690 16 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135205883 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 1237.06
Current children cumulated vsize (KiB) 89520
[startup+1302.3 s]
/proc/loadavg: 1.98 1.98 1.96 3/82 12920
/proc/meminfo: memFree=1005824/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=1296.83
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 129666 17 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 1296.83
Current children cumulated vsize (KiB) 89520
[startup+1362.3 s]
/proc/loadavg: 2.07 2.00 1.97 3/82 12922
/proc/meminfo: memFree=997120/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=1356.58
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 135641 17 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134821875 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 1356.58
Current children cumulated vsize (KiB) 89520
[startup+1422.31 s]
/proc/loadavg: 2.09 2.02 1.97 3/83 12923
/proc/meminfo: memFree=978296/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=1416.33
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 141616 17 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 1416.33
Current children cumulated vsize (KiB) 89520
[startup+1482.3 s]
/proc/loadavg: 2.16 2.04 1.98 3/82 12924
/proc/meminfo: memFree=617584/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=1476.08
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 147591 17 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 1476.08
Current children cumulated vsize (KiB) 89520
[startup+1542.3 s]
/proc/loadavg: 2.40 2.12 2.01 3/82 12924
/proc/meminfo: memFree=615984/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=1535.83
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 153566 17 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161208 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 1535.83
Current children cumulated vsize (KiB) 89520
[startup+1602.3 s]
/proc/loadavg: 2.26 2.13 2.02 3/82 12924
/proc/meminfo: memFree=615920/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=1595.58
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 159541 17 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134821873 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 1595.58
Current children cumulated vsize (KiB) 89520
[startup+1662.3 s]
/proc/loadavg: 2.20 2.13 2.02 4/82 12924
/proc/meminfo: memFree=615920/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=1655.33
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 165516 17 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 1655.33
Current children cumulated vsize (KiB) 89520
[startup+1722.3 s]
/proc/loadavg: 2.12 2.12 2.02 3/82 12924
/proc/meminfo: memFree=615920/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=1715.08
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 171491 17 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865162 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 1715.08
Current children cumulated vsize (KiB) 89520
[startup+1782.3 s]
/proc/loadavg: 2.10 2.11 2.02 3/82 12924
/proc/meminfo: memFree=615864/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=1774.82
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 177465 17 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161601 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 1774.82
Current children cumulated vsize (KiB) 89520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.6 s]
/proc/loadavg: 2.19 2.13 2.03 3/82 12924
/proc/meminfo: memFree=615864/2055920 swapFree=4192956/4192956
[pid=12820] ppid=12818 vsize=89520 CPUtime=1800.03
/proc/12820/stat : 12820 (ld-linux.so.2) R 12818 12820 10944 0 -1 4194304 21246 0 0 0 179985 18 0 0 25 0 1 0 20393312 91668480 21225 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865397 0 0 4096 0 0 0 0 17 0 0 0
/proc/12820/statm: 22380 21225 426 29 0 21195 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 89520
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): 1807.62
CPU time (s): 1800.05
CPU user time (s): 1799.85
CPU system time (s): 0.19297
CPU usage (%): 99.581
Max. virtual memory (cumulated for all children) (KiB): 89520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.19297
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21246
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= 27592
runsolver used 1.70674 second user time and 4.96024 second system time
The end
Begin job on node10 at 2009-07-11 19:27:43
IDJOB=2063890
IDBENCH=54103
IDSOLVER=769
FILE ID=node10/2063890-1247333262
PBS_JOBID= 9506608
Free space on /tmp= 66412 MiB
SOLVER NAME= Mistral 1.545
BENCH NAME= CPAI08/csp/compet08/normalized-patat-08-comp-9.xml
COMMAND LINE= /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2063890-1247333262/watcher-2063890-1247333262 -o /tmp/evaluation-result-2063890-1247333262/solver-2063890-1247333262 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2063890-1247333262.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4d24835c800de52d756640e8552cd3e9
RANDOM SEED=738596160
node10.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.279
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.279
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: 938344 kB
Buffers: 62896 kB
Cached: 756708 kB
SwapCached: 0 kB
Active: 282424 kB
Inactive: 759736 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 938344 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 11804 kB
Writeback: 0 kB
Mapped: 243780 kB
Slab: 60288 kB
Committed_AS: 357644 kB
PageTables: 2280 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= 66408 MiB
End job on node10 at 2009-07-11 19:57:52