runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2058247-1247320547/watcher-2058247-1247320547 -o /tmp/evaluation-result-2058247-1247320547/solver-2058247-1247320547 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2058247-1247320547.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.00 1.97 1.83 4/73 11117
/proc/meminfo: memFree=908952/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=18576 CPUtime=0
/proc/11117/stat : 11117 (runsolver) R 11115 11117 10562 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 19118727 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 269930261799 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11117/statm: 4644 284 249 26 0 2626 0
[startup+0.0645331 s]
/proc/loadavg: 2.00 1.97 1.83 4/73 11117
/proc/meminfo: memFree=908952/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=5340 CPUtime=0.03
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 541 0 7 0 3 0 0 0 18 0 1 0 19118727 5468160 527 996147200 1448431616 1448550632 4294956208 18446744073709551615 134688899 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 1335 527 367 29 0 150 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5340
[startup+0.101537 s]
/proc/loadavg: 2.00 1.97 1.83 4/73 11117
/proc/meminfo: memFree=908952/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=5736 CPUtime=0.07
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 642 0 7 0 7 0 0 0 18 0 1 0 19118727 5873664 628 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157387310 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 1434 628 367 29 0 249 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5736
[startup+0.301571 s]
/proc/loadavg: 2.00 1.97 1.83 4/73 11117
/proc/meminfo: memFree=908952/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9344 CPUtime=0.26
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1629 0 7 0 26 0 0 0 19 0 1 0 19118727 9568256 1545 996147200 1448431616 1448550632 4294956208 18446744073709551615 135117584 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2336 1545 396 29 0 1151 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9344
[startup+0.701611 s]
/proc/loadavg: 2.00 1.97 1.83 4/73 11117
/proc/meminfo: memFree=908952/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=0.66
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1687 0 7 0 66 0 0 0 23 0 1 0 19118727 9703424 1603 996147200 1448431616 1448550632 4294956208 18446744073709551615 134864960 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1603 417 29 0 1184 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 9476
[startup+1.5017 s]
/proc/loadavg: 2.00 1.97 1.83 3/74 11118
/proc/meminfo: memFree=901968/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1.46
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 146 0 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135306229 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9476
[startup+3.10289 s]
/proc/loadavg: 2.00 1.97 1.83 3/74 11118
/proc/meminfo: memFree=901840/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=3.05
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 305 0 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135117584 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 9476
[startup+6.30126 s]
/proc/loadavg: 2.00 1.97 1.84 3/74 11118
/proc/meminfo: memFree=901840/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=6.24
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 624 0 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 134718079 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 9476
[startup+12.702 s]
/proc/loadavg: 2.00 1.97 1.84 3/74 11118
/proc/meminfo: memFree=901648/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=12.62
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 1261 1 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 134864860 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 9476
[startup+25.5015 s]
/proc/loadavg: 2.00 1.97 1.84 3/74 11118
/proc/meminfo: memFree=901840/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=25.37
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 2536 1 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 134864860 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 9476
[startup+51.1015 s]
/proc/loadavg: 2.00 1.97 1.84 3/74 11118
/proc/meminfo: memFree=901840/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=50.87
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 5086 1 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135257292 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 9476
[startup+102.306 s]
/proc/loadavg: 2.00 1.97 1.84 3/74 11118
/proc/meminfo: memFree=901712/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=101.87
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 10186 1 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135264343 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 9476
[startup+162.301 s]
/proc/loadavg: 2.00 1.97 1.85 3/75 11119
/proc/meminfo: memFree=901768/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=161.63
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 16162 1 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 134756450 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 9476
[startup+222.301 s]
/proc/loadavg: 2.00 1.97 1.86 3/75 11119
/proc/meminfo: memFree=901768/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=221.39
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 22138 1 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 134814527 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 221.39
Current children cumulated vsize (KiB) 9476
[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.86 3/75 11119
/proc/meminfo: memFree=901768/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=281.16
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 28115 1 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135264326 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 281.16
Current children cumulated vsize (KiB) 9476
[startup+342.301 s]
/proc/loadavg: 2.00 1.97 1.87 3/75 11125
/proc/meminfo: memFree=901504/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=340.92
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 34090 2 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135268981 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 340.92
Current children cumulated vsize (KiB) 9476
[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.87 3/75 11125
/proc/meminfo: memFree=901504/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=400.68
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 40066 2 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865126 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 400.68
Current children cumulated vsize (KiB) 9476
[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.88 3/75 11125
/proc/meminfo: memFree=901504/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=460.45
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 46043 2 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135304822 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 460.45
Current children cumulated vsize (KiB) 9476
[startup+522.301 s]
/proc/loadavg: 2.00 1.97 1.89 3/75 11125
/proc/meminfo: memFree=901440/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=520.21
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 52019 2 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 134718049 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 520.21
Current children cumulated vsize (KiB) 9476
[startup+582.301 s]
/proc/loadavg: 2.00 1.97 1.89 3/75 11125
/proc/meminfo: memFree=901440/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=579.97
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 57995 2 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 134835167 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 579.97
Current children cumulated vsize (KiB) 9476
[startup+642.302 s]
/proc/loadavg: 2.00 1.97 1.90 3/76 11126
/proc/meminfo: memFree=901440/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=639.74
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 63972 2 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135264335 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 639.74
Current children cumulated vsize (KiB) 9476
[startup+702.302 s]
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 1.97 1.91 3/77 11127
/proc/meminfo: memFree=901432/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=878.79
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 87877 2 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 134864983 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 878.79
Current children cumulated vsize (KiB) 9476
[startup+942.302 s]
/proc/loadavg: 2.00 1.97 1.91 3/77 11127
/proc/meminfo: memFree=901432/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=938.56
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 93854 2 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 134897040 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 938.56
Current children cumulated vsize (KiB) 9476
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/77 11127
/proc/meminfo: memFree=901432/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=998.32
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 99830 2 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865397 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 998.32
Current children cumulated vsize (KiB) 9476
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/73 11127
/proc/meminfo: memFree=901368/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1058.09
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 105807 2 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 134864862 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1058.09
Current children cumulated vsize (KiB) 9476
[startup+1122.3 s]
/proc/loadavg: 1.96 1.96 1.91 3/82 11169
/proc/meminfo: memFree=890768/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1117.8
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 111777 3 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135204960 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1117.8
Current children cumulated vsize (KiB) 9476
[startup+1182.3 s]
/proc/loadavg: 1.98 1.96 1.91 3/82 11169
/proc/meminfo: memFree=890704/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1177.57
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 117754 3 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135117584 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1177.57
Current children cumulated vsize (KiB) 9476
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 11169
/proc/meminfo: memFree=890640/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1237.33
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 123730 3 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135264326 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1237.33
Current children cumulated vsize (KiB) 9476
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 11169
/proc/meminfo: memFree=890640/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1297.09
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 129706 3 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865259 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1297.09
Current children cumulated vsize (KiB) 9476
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 11169
/proc/meminfo: memFree=890640/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1356.85
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 135682 3 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135117642 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1356.85
Current children cumulated vsize (KiB) 9476
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 11169
/proc/meminfo: memFree=890640/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1416.62
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 141659 3 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135205031 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1416.62
Current children cumulated vsize (KiB) 9476
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 11169
/proc/meminfo: memFree=890576/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1476.38
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 147635 3 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135117515 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1476.38
Current children cumulated vsize (KiB) 9476
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 11169
/proc/meminfo: memFree=890640/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1536.15
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 153611 4 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135306332 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1536.15
Current children cumulated vsize (KiB) 9476
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 11169
/proc/meminfo: memFree=890640/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1595.92
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 159588 4 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135264335 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1595.92
Current children cumulated vsize (KiB) 9476
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 11169
/proc/meminfo: memFree=890640/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1655.68
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 165564 4 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135264335 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1655.68
Current children cumulated vsize (KiB) 9476
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 11169
/proc/meminfo: memFree=890640/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1715.45
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 171541 4 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135257295 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1715.45
Current children cumulated vsize (KiB) 9476
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 11169
/proc/meminfo: memFree=890448/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1775.21
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 177517 4 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161017 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1775.21
Current children cumulated vsize (KiB) 9476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.31 s]
/proc/loadavg: 2.07 1.99 1.91 3/85 11209
/proc/meminfo: memFree=874624/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1800.09
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 180005 4 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161302 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1807.31 s]
/proc/loadavg: 2.07 1.99 1.91 3/85 11209
/proc/meminfo: memFree=874624/2055920 swapFree=4192956/4192956
[pid=11117] ppid=11115 vsize=9476 CPUtime=1800.09
/proc/11117/stat : 11117 (ld-linux.so.2) R 11115 11117 10562 0 -1 4194304 1688 0 7 0 180005 4 0 0 25 0 1 0 19118727 9703424 1604 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161302 0 0 4096 0 0 0 0 17 1 0 0
/proc/11117/statm: 2369 1604 417 29 0 1184 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9476
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.31
CPU time (s): 1800.1
CPU user time (s): 1800.05
CPU system time (s): 0.043993
CPU usage (%): 99.6008
Max. virtual memory (cumulated for all children) (KiB): 9476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1688
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 21495
runsolver used 1.86871 second user time and 4.71628 second system time
The end
Begin job on node53 at 2009-07-11 15:55:47
IDJOB=2058247
IDBENCH=53458
IDSOLVER=769
FILE ID=node53/2058247-1247320547
PBS_JOBID= 9506524
Free space on /tmp= 65932 MiB
SOLVER NAME= Mistral 1.545
BENCH NAME= CPAI08/csp/QWH-25/normalized-qwh-25-235-3_ext.xml
COMMAND LINE= /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2058247-1247320547/watcher-2058247-1247320547 -o /tmp/evaluation-result-2058247-1247320547/solver-2058247-1247320547 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2058247-1247320547.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7dba33def5fce656eb77541d0eec3966
RANDOM SEED=186340680
node53.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.232
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.232
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 909368 kB
Buffers: 61224 kB
Cached: 986588 kB
SwapCached: 0 kB
Active: 120992 kB
Inactive: 952236 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 909368 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2152 kB
Writeback: 0 kB
Mapped: 34976 kB
Slab: 58832 kB
Committed_AS: 200752 kB
PageTables: 1728 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= 65932 MiB
End job on node53 at 2009-07-11 16:25:56