runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2064011-1247333651/watcher-2064011-1247333651 -o /tmp/evaluation-result-2064011-1247333651/solver-2064011-1247333651 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2064011-1247333651.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: 1.88 2.02 2.07 4/83 15256
/proc/meminfo: memFree=1229184/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=18576 CPUtime=0
/proc/15256/stat : 15256 (runsolver) R 15254 15256 15219 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 20429096 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15256/statm: 4644 284 249 26 0 2626 0
[startup+0.0756539 s]
/proc/loadavg: 1.88 2.02 2.07 4/83 15256
/proc/meminfo: memFree=1229184/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=5716 CPUtime=0.06
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 637 0 0 0 6 0 0 0 18 0 1 0 20429096 5853184 616 996147200 1448431616 1448550632 4294956208 18446744073709551615 134688899 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 1429 616 376 29 0 244 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5716
[startup+0.101876 s]
/proc/loadavg: 1.88 2.02 2.07 4/83 15256
/proc/meminfo: memFree=1229184/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=5972 CPUtime=0.08
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 702 0 0 0 8 0 0 0 18 0 1 0 20429096 6115328 681 996147200 1448431616 1448550632 4294956208 18446744073709551615 134693662 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 1493 681 376 29 0 308 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5972
[startup+0.301915 s]
/proc/loadavg: 1.88 2.02 2.07 4/83 15256
/proc/meminfo: memFree=1229184/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=8040 CPUtime=0.28
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 1205 0 0 0 28 0 0 0 19 0 1 0 20429096 8232960 1184 996147200 1448431616 1448550632 4294956208 18446744073709551615 134688940 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 2010 1184 376 29 0 825 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8040
[startup+0.701993 s]
/proc/loadavg: 1.88 2.02 2.07 4/83 15256
/proc/meminfo: memFree=1229184/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=11884 CPUtime=0.68
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 2167 0 0 0 67 1 0 0 23 0 1 0 20429096 12169216 2146 996147200 1448431616 1448550632 4294956208 18446744073709551615 134693483 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 2971 2146 377 29 0 1786 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11884
[startup+1.50115 s]
/proc/loadavg: 1.88 2.02 2.07 3/84 15257
/proc/meminfo: memFree=1219192/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=19456 CPUtime=1.47
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 4044 0 0 0 144 3 0 0 25 0 1 0 20429096 19922944 4023 996147200 1448431616 1448550632 4294956208 18446744073709551615 134698263 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 4864 4023 377 29 0 3679 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 19456
[startup+3.10145 s]
/proc/loadavg: 1.88 2.02 2.07 3/84 15257
/proc/meminfo: memFree=1208632/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=34464 CPUtime=3.06
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 7762 0 0 0 300 6 0 0 25 0 1 0 20429096 35291136 7741 996147200 1448431616 1448550632 4294956208 18446744073709551615 4158971340 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 8616 7741 377 29 0 7431 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34464
[startup+6.30107 s]
/proc/loadavg: 1.89 2.02 2.07 3/84 15257
/proc/meminfo: memFree=1125752/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=109472 CPUtime=6.22
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26171 0 0 0 606 16 0 0 25 0 1 0 20429096 112099328 26150 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27368 26150 424 29 0 26183 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 109472
[startup+12.7013 s]
/proc/loadavg: 1.90 2.01 2.06 3/84 15257
/proc/meminfo: memFree=1125816/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=109472 CPUtime=12.56
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26172 0 0 0 1240 16 0 0 25 0 1 0 20429096 112099328 26151 996147200 1448431616 1448550632 4294956208 18446744073709551615 134821870 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27368 26151 424 29 0 26183 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 109472
[startup+25.5017 s]
/proc/loadavg: 2.00 2.03 2.07 3/84 15257
/proc/meminfo: memFree=1125816/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=109472 CPUtime=25.24
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26195 0 0 0 2508 16 0 0 25 0 1 0 20429096 112099328 26174 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27368 26174 425 29 0 26183 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 109472
[startup+51.1016 s]
/proc/loadavg: 2.00 2.03 2.07 3/85 15258
/proc/meminfo: memFree=1125744/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=109472 CPUtime=50.58
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26200 0 0 0 5042 16 0 0 25 0 1 0 20429096 112099328 26179 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27368 26179 425 29 0 26183 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 109472
[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.06 3/83 15299
/proc/meminfo: memFree=1723448/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=109604 CPUtime=101.33
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26207 0 0 0 10114 19 0 0 25 0 1 0 20429096 112234496 26186 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27401 26186 426 29 0 26216 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 109604
[startup+162.302 s]
/proc/loadavg: 2.00 2.02 2.06 3/83 15299
/proc/meminfo: memFree=1703800/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=160.76
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26237 0 0 0 16057 19 0 0 25 0 1 0 20429096 112758784 26216 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865187 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26216 426 29 0 26344 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 110116
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.05 3/83 15299
/proc/meminfo: memFree=1683704/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=220.19
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26238 0 0 0 22000 19 0 0 25 0 1 0 20429096 112758784 26217 996147200 1448431616 1448550632 4294956208 18446744073709551615 134821856 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26217 426 29 0 26344 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 110116
[startup+282.302 s]
/proc/loadavg: 2.03 2.02 2.05 3/83 15299
/proc/meminfo: memFree=1666872/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=279.62
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26240 0 0 0 27943 19 0 0 25 0 1 0 20429096 112758784 26219 996147200 1448431616 1448550632 4294956208 18446744073709551615 134821856 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26219 426 29 0 26344 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 110116
[startup+342.302 s]
/proc/loadavg: 2.06 2.03 2.05 3/83 15299
/proc/meminfo: memFree=1651256/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=339.05
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26241 0 0 0 33886 19 0 0 25 0 1 0 20429096 112758784 26220 996147200 1448431616 1448550632 4294956208 18446744073709551615 134821875 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26220 426 29 0 26344 0
Current children cumulated CPU time (s) 339.05
Current children cumulated vsize (KiB) 110116
[startup+402.302 s]
/proc/loadavg: 2.06 2.04 2.05 3/83 15299
/proc/meminfo: memFree=1638520/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=398.48
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26241 0 0 0 39829 19 0 0 25 0 1 0 20429096 112758784 26220 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26220 426 29 0 26344 0
Current children cumulated CPU time (s) 398.48
Current children cumulated vsize (KiB) 110116
[startup+462.302 s]
/proc/loadavg: 2.02 2.03 2.04 3/83 15299
/proc/meminfo: memFree=1627640/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=457.91
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26241 0 0 0 45772 19 0 0 25 0 1 0 20429096 112758784 26220 996147200 1448431616 1448550632 4294956208 18446744073709551615 135269628 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26220 426 29 0 26344 0
Current children cumulated CPU time (s) 457.91
Current children cumulated vsize (KiB) 110116
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.04 3/83 15299
/proc/meminfo: memFree=1618872/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=517.35
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26241 0 0 0 51716 19 0 0 25 0 1 0 20429096 112758784 26220 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26220 426 29 0 26344 0
Current children cumulated CPU time (s) 517.35
Current children cumulated vsize (KiB) 110116
[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.03 3/83 15299
/proc/meminfo: memFree=1611512/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=576.78
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26242 0 0 0 57659 19 0 0 25 0 1 0 20429096 112758784 26221 996147200 1448431616 1448550632 4294956208 18446744073709551615 134821875 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26221 426 29 0 26344 0
Current children cumulated CPU time (s) 576.78
Current children cumulated vsize (KiB) 110116
[startup+642.302 s]
/proc/loadavg: 2.00 2.01 2.02 3/83 15299
/proc/meminfo: memFree=1600440/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=636.21
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26242 0 0 0 63602 19 0 0 25 0 1 0 20429096 112758784 26221 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26221 426 29 0 26344 0
Current children cumulated CPU time (s) 636.21
Current children cumulated vsize (KiB) 110116
[startup+702.302 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.09 2.04 2.02 3/83 15299
/proc/meminfo: memFree=1581176/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=873.93
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26242 0 0 0 87374 19 0 0 25 0 1 0 20429096 112758784 26221 996147200 1448431616 1448550632 4294956208 18446744073709551615 134821875 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26221 426 29 0 26344 0
Current children cumulated CPU time (s) 873.93
Current children cumulated vsize (KiB) 110116
[startup+942.302 s]
/proc/loadavg: 2.03 2.03 2.02 3/83 15299
/proc/meminfo: memFree=1577144/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=933.36
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26242 0 0 0 93317 19 0 0 25 0 1 0 20429096 112758784 26221 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26221 426 29 0 26344 0
Current children cumulated CPU time (s) 933.36
Current children cumulated vsize (KiB) 110116
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/83 15301
/proc/meminfo: memFree=1574904/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=992.79
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26242 0 0 0 99260 19 0 0 25 0 1 0 20429096 112758784 26221 996147200 1448431616 1448550632 4294956208 18446744073709551615 135269577 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26221 426 29 0 26344 0
Current children cumulated CPU time (s) 992.79
Current children cumulated vsize (KiB) 110116
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/83 15301
/proc/meminfo: memFree=1574712/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1052.22
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26242 0 0 0 105203 19 0 0 25 0 1 0 20429096 112758784 26221 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26221 426 29 0 26344 0
Current children cumulated CPU time (s) 1052.22
Current children cumulated vsize (KiB) 110116
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 15301
/proc/meminfo: memFree=1574712/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1111.66
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26242 0 0 0 111147 19 0 0 25 0 1 0 20429096 112758784 26221 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26221 426 29 0 26344 0
Current children cumulated CPU time (s) 1111.66
Current children cumulated vsize (KiB) 110116
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 15301
/proc/meminfo: memFree=1574712/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1171.08
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26242 0 0 0 117089 19 0 0 25 0 1 0 20429096 112758784 26221 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26221 426 29 0 26344 0
Current children cumulated CPU time (s) 1171.08
Current children cumulated vsize (KiB) 110116
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15301
/proc/meminfo: memFree=1574584/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1230.52
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26242 0 0 0 123033 19 0 0 25 0 1 0 20429096 112758784 26221 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26221 426 29 0 26344 0
Current children cumulated CPU time (s) 1230.52
Current children cumulated vsize (KiB) 110116
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15301
/proc/meminfo: memFree=1574456/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1289.96
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26242 0 0 0 128976 20 0 0 25 0 1 0 20429096 112758784 26221 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26221 426 29 0 26344 0
Current children cumulated CPU time (s) 1289.96
Current children cumulated vsize (KiB) 110116
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15301
/proc/meminfo: memFree=1570488/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1349.39
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26243 0 0 0 134919 20 0 0 25 0 1 0 20429096 112758784 26222 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26222 426 29 0 26344 0
Current children cumulated CPU time (s) 1349.39
Current children cumulated vsize (KiB) 110116
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15301
/proc/meminfo: memFree=1570424/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1408.82
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26243 0 0 0 140862 20 0 0 25 0 1 0 20429096 112758784 26222 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26222 426 29 0 26344 0
Current children cumulated CPU time (s) 1408.82
Current children cumulated vsize (KiB) 110116
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 15301
/proc/meminfo: memFree=1559288/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1468.25
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26243 0 0 0 146805 20 0 0 25 0 1 0 20429096 112758784 26222 996147200 1448431616 1448550632 4294956208 18446744073709551615 134821875 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26222 426 29 0 26344 0
Current children cumulated CPU time (s) 1468.25
Current children cumulated vsize (KiB) 110116
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 15301
/proc/meminfo: memFree=1550328/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1527.68
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26243 0 0 0 152748 20 0 0 25 0 1 0 20429096 112758784 26222 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26222 426 29 0 26344 0
Current children cumulated CPU time (s) 1527.68
Current children cumulated vsize (KiB) 110116
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15301
/proc/meminfo: memFree=1550328/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1587.11
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26243 0 0 0 158691 20 0 0 25 0 1 0 20429096 112758784 26222 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26222 426 29 0 26344 0
Current children cumulated CPU time (s) 1587.11
Current children cumulated vsize (KiB) 110116
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15307
/proc/meminfo: memFree=1549368/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1646.54
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26243 0 0 0 164634 20 0 0 25 0 1 0 20429096 112758784 26222 996147200 1448431616 1448550632 4294956208 18446744073709551615 134821873 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26222 426 29 0 26344 0
Current children cumulated CPU time (s) 1646.54
Current children cumulated vsize (KiB) 110116
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15307
/proc/meminfo: memFree=1549304/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1705.97
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26243 0 0 0 170577 20 0 0 25 0 1 0 20429096 112758784 26222 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26222 426 29 0 26344 0
Current children cumulated CPU time (s) 1705.97
Current children cumulated vsize (KiB) 110116
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15307
/proc/meminfo: memFree=1549112/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1765.41
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26243 0 0 0 176521 20 0 0 25 0 1 0 20429096 112758784 26222 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161279 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26222 426 29 0 26344 0
Current children cumulated CPU time (s) 1765.41
Current children cumulated vsize (KiB) 110116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15307
/proc/meminfo: memFree=1549112/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1800.07
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26243 0 0 0 179987 20 0 0 25 0 1 0 20429096 112758784 26222 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26222 426 29 0 26344 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 110116
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1817.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15307
/proc/meminfo: memFree=1549112/2055920 swapFree=4192812/4192956
[pid=15256] ppid=15254 vsize=110116 CPUtime=1800.07
/proc/15256/stat : 15256 (ld-linux.so.2) R 15254 15256 15219 0 -1 4194304 26243 0 0 0 179987 20 0 0 25 0 1 0 20429096 112758784 26222 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161282 0 0 4096 0 0 0 0 17 1 0 0
/proc/15256/statm: 27529 26222 426 29 0 26344 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 110116
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1817.32
CPU time (s): 1800.1
CPU user time (s): 1799.88
CPU system time (s): 0.217966
CPU usage (%): 99.0521
Max. virtual memory (cumulated for all children) (KiB): 110116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.217966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26243
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= 55066
runsolver used 2.5926 second user time and 5.66014 second system time
The end
Begin job on node42 at 2009-07-11 19:34:12
IDJOB=2064011
IDBENCH=54114
IDSOLVER=769
FILE ID=node42/2064011-1247333651
PBS_JOBID= 9506710
Free space on /tmp= 66296 MiB
SOLVER NAME= Mistral 1.545
BENCH NAME= CPAI08/csp/compet02/normalized-patat-02-comp-10.xml
COMMAND LINE= /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2064011-1247333651/watcher-2064011-1247333651 -o /tmp/evaluation-result-2064011-1247333651/solver-2064011-1247333651 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2064011-1247333651.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2a82fd0e6a406c196682c347f06803ad
RANDOM SEED=706150056
node42.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.283
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.283
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: 1229664 kB
Buffers: 5464 kB
Cached: 60700 kB
SwapCached: 0 kB
Active: 751276 kB
Inactive: 24492 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1229664 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 10460 kB
Writeback: 0 kB
Mapped: 725256 kB
Slab: 33700 kB
Committed_AS: 871416 kB
PageTables: 3884 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= 66296 MiB
End job on node42 at 2009-07-11 20:04:31