runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node70/watcher-422453-1178600187 -o ROOT/results/node70/solver-422453-1178600187 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422453-1178600187/siegeadapter.pl /tmp/evaluation/422453-1178600187/instance-422453-1178600187.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 2/64 23133
/proc/meminfo: memFree=1549544/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) R 23131 23133 23071 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 299556069 12562432 328 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233419823712 0 0 4224 0 0 0 0 17 0 0 0
/proc/23133/statm: 3067 334 259 3 0 167 0
[startup+0.020156 s]
/proc/loadavg: 0.85 0.97 0.99 2/64 23133
/proc/meminfo: memFree=1549544/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 403 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+0.10116 s]
/proc/loadavg: 0.85 0.97 0.99 2/64 23133
/proc/meminfo: memFree=1549544/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+0.30118 s]
/proc/loadavg: 0.85 0.97 0.99 2/64 23133
/proc/meminfo: memFree=1549544/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+0.701219 s]
/proc/loadavg: 0.85 0.97 0.99 2/64 23133
/proc/meminfo: memFree=1549544/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+1.5013 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 23135
/proc/meminfo: memFree=1536856/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=408092 CPUtime=1.48
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 4020 0 0 0 147 1 0 0 25 0 1 0 299556069 417886208 3234 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134532874 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 102023 3234 86 208 0 101811 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 420360
[startup+3.10246 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 23135
/proc/meminfo: memFree=1535896/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=408376 CPUtime=3.08
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 4270 0 0 0 307 1 0 0 25 0 1 0 299556069 418177024 3484 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 102094 3484 86 208 0 101882 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 420644
[startup+6.30178 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 23135
/proc/meminfo: memFree=1534168/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=408828 CPUtime=6.28
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 4565 0 0 0 626 2 0 0 25 0 1 0 299556069 418639872 3779 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 102207 3779 86 208 0 101995 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 421096
[startup+12.7014 s]
/proc/loadavg: 0.87 0.97 0.99 2/66 23135
/proc/meminfo: memFree=1530840/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=410148 CPUtime=12.68
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 5411 0 0 0 1265 3 0 0 25 0 1 0 299556069 419991552 4625 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528336 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 102537 4625 86 208 0 102325 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 422416
[startup+25.5017 s]
/proc/loadavg: 0.90 0.97 0.99 2/66 23135
/proc/meminfo: memFree=1523480/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=413444 CPUtime=25.48
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 7436 0 0 0 2544 4 0 0 25 0 1 0 299556069 423366656 6414 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528207 0 0 4096 0 0 0 0 17 0 0 0
/proc/23135/statm: 103361 6414 86 208 0 103149 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 425712
[startup+51.1013 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 23135
/proc/meminfo: memFree=1520472/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=416040 CPUtime=51.06
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 8219 0 0 0 5102 4 0 0 25 0 1 0 299556069 426024960 7197 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529320 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 104010 7197 86 208 0 103798 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 428308
[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/66 23135
/proc/meminfo: memFree=1510616/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=421128 CPUtime=102.25
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 11051 0 0 0 10217 8 0 0 25 0 1 0 299556069 431235072 9645 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527916 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 105282 9645 86 208 0 105070 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 433396
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 23137
/proc/meminfo: memFree=1502936/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=423136 CPUtime=162.23
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 12909 0 0 0 16213 10 0 0 25 0 1 0 299556069 433291264 11503 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528857 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 105784 11503 86 208 0 105572 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 435404
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 23137
/proc/meminfo: memFree=1496728/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=425340 CPUtime=222.21
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 14460 0 0 0 22209 12 0 0 25 0 1 0 299556069 435548160 13054 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529184 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 106335 13054 86 208 0 106123 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 437608
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/72 23209
/proc/meminfo: memFree=1492640/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=426940 CPUtime=282.18
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 15275 0 0 0 28205 13 0 0 25 0 1 0 299556069 437186560 13869 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530070 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 106735 13869 86 208 0 106523 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 439208
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 23335
/proc/meminfo: memFree=1491736/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=427996 CPUtime=342.09
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 15643 0 0 0 34195 14 0 0 25 0 1 0 299556069 438267904 14237 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 106999 14237 86 208 0 106787 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 440264
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 23335
/proc/meminfo: memFree=1488608/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=429596 CPUtime=402.08
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 16445 0 0 0 40192 16 0 0 25 0 1 0 299556069 439906304 15039 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529268 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 107399 15039 86 208 0 107187 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 441864
################
# More data... #
################
/proc/23135/statm: 113581 23610 86 208 0 113369 0
Current children cumulated CPU time (s) 9399.62
Current children cumulated vsize (KiB) 466592
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23735
/proc/meminfo: memFree=1452832/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=454328 CPUtime=9459.6
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 25786 0 0 0 945903 57 0 0 25 0 1 0 299556069 465231872 23612 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 113582 23612 86 208 0 113370 0
Current children cumulated CPU time (s) 9459.6
Current children cumulated vsize (KiB) 466596
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23735
/proc/meminfo: memFree=1452832/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=454348 CPUtime=9519.59
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 25791 0 0 0 951902 57 0 0 25 0 1 0 299556069 465252352 23617 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529115 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 113587 23617 86 208 0 113375 0
Current children cumulated CPU time (s) 9519.59
Current children cumulated vsize (KiB) 466616
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23735
/proc/meminfo: memFree=1452768/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=454400 CPUtime=9579.58
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 25803 0 0 0 957900 58 0 0 25 0 1 0 299556069 465305600 23629 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529320 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 113600 23629 86 208 0 113388 0
Current children cumulated CPU time (s) 9579.58
Current children cumulated vsize (KiB) 466668
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23735
/proc/meminfo: memFree=1452704/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=454428 CPUtime=9639.56
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 25808 0 0 0 963898 58 0 0 25 0 1 0 299556069 465334272 23634 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529320 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 113607 23634 86 208 0 113395 0
Current children cumulated CPU time (s) 9639.56
Current children cumulated vsize (KiB) 466696
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23735
/proc/meminfo: memFree=1452704/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=454428 CPUtime=9699.55
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 25811 0 0 0 969897 58 0 0 25 0 1 0 299556069 465334272 23637 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528135 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 113607 23637 86 208 0 113395 0
Current children cumulated CPU time (s) 9699.55
Current children cumulated vsize (KiB) 466696
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23735
/proc/meminfo: memFree=1452704/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=454444 CPUtime=9759.53
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 25815 0 0 0 975895 58 0 0 25 0 1 0 299556069 465350656 23641 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134531349 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 113611 23641 86 208 0 113399 0
Current children cumulated CPU time (s) 9759.53
Current children cumulated vsize (KiB) 466712
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23735
/proc/meminfo: memFree=1452640/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=454456 CPUtime=9819.51
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 25818 0 0 0 981893 58 0 0 25 0 1 0 299556069 465362944 23644 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529268 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 113614 23644 86 208 0 113402 0
Current children cumulated CPU time (s) 9819.51
Current children cumulated vsize (KiB) 466724
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23735
/proc/meminfo: memFree=1452640/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=454496 CPUtime=9879.5
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 25830 0 0 0 987892 58 0 0 25 0 1 0 299556069 465403904 23656 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528947 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 113624 23656 86 208 0 113412 0
Current children cumulated CPU time (s) 9879.5
Current children cumulated vsize (KiB) 466764
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23735
/proc/meminfo: memFree=1452640/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=454512 CPUtime=9939.48
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 25840 0 0 0 993890 58 0 0 25 0 1 0 299556069 465420288 23666 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528130 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 113628 23666 86 208 0 113416 0
Current children cumulated CPU time (s) 9939.48
Current children cumulated vsize (KiB) 466780
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23735
/proc/meminfo: memFree=1452576/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=454576 CPUtime=9999.47
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 25852 0 0 0 999889 58 0 0 25 0 1 0 299556069 465485824 23678 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529300 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 113644 23678 86 208 0 113432 0
Current children cumulated CPU time (s) 9999.47
Current children cumulated vsize (KiB) 466844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23735
/proc/meminfo: memFree=1452576/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=454576 CPUtime=10000.1
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 25852 0 0 0 999949 58 0 0 25 0 1 0 299556069 465485824 23678 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529268 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 113644 23678 86 208 0 113432 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 466844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23735
/proc/meminfo: memFree=1452576/2055920 swapFree=4183880/4192956
[pid=23133] ppid=23131 vsize=12268 CPUtime=0
/proc/23133/stat : 23133 (siegeadapter.pl) S 23131 23133 23071 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 299556069 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23133/statm: 3067 352 271 3 0 167 0
[pid=23135] ppid=23133 vsize=454576 CPUtime=10000.1
/proc/23135/stat : 23135 (siege_v4) R 23133 23133 23071 0 -1 0 25852 0 0 0 999949 58 0 0 25 0 1 0 299556069 465485824 23678 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529268 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 113644 23678 86 208 0 113432 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 466844
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23133 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10002.9
CPU time (s): 10000.1
CPU user time (s): 9999.49
CPU system time (s): 0.58
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 466844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404
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= 12
involuntary context switches= 1
runsolver used 8.03378 second user time and 19.416 second system time
The end
Begin job on node70 on Tue May 8 04:56:27 UTC 2007
IDJOB= 422453
IDBENCH= 20522
IDSOLVER= 190
FILE ID= node70/422453-1178600187
PBS_JOBID= 5218204
Free space on /tmp= 66561 MiB
SOLVER NAME= Siege V4
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k15.cnf
COMMAND LINE= /tmp/evaluation/422453-1178600187/siegeadapter.pl /tmp/evaluation/422453-1178600187/instance-422453-1178600187.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-422453-1178600187 -o ROOT/results/node70/solver-422453-1178600187 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422453-1178600187/siegeadapter.pl /tmp/evaluation/422453-1178600187/instance-422453-1178600187.cnf
META MD5SUM SOLVER= 69ef6d521077f526586997d0c4a9a904
MD5SUM BENCH= e32f068a374a9a3211450fa7c3f6f87a
RANDOM SEED= 471168577
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node70.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.218
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.218
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: 1549952 kB
Buffers: 30992 kB
Cached: 375720 kB
SwapCached: 2988 kB
Active: 152888 kB
Inactive: 263184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1549952 kB
SwapTotal: 4192956 kB
SwapFree: 4183880 kB
Dirty: 4132 kB
Writeback: 0 kB
Mapped: 15496 kB
Slab: 75948 kB
Committed_AS: 7587004 kB
PageTables: 1396 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= 66561 MiB
End job on node70 on Tue May 8 07:43:12 UTC 2007