0.00/0.00 c Siege V4 output adapted for the SAT 2007 I/O conformance
197.84/197.95 c
197.84/197.95 c [ filemap ]
197.84/197.95 c [ extract ]
197.84/197.95 c
197.84/197.95 c variables : 115898
197.84/197.95 c pure lits : 2337
197.84/197.95 c
197.84/197.95 c 1-clauses : 276
197.84/197.95 c 2-clauses : 537293
197.84/197.95 c 3-clauses : 107101
197.84/197.95 c n-clauses : 4600
197.84/197.95 c discarded : 0
197.84/197.95 c
197.84/197.95 c [ solve ]
197.84/197.95 c
197.84/197.95 s UNSATISFIABLE
197.84/197.95 c
197.84/197.95 c [ stats ]
197.84/197.95 c
197.84/197.95 c decisions : 148432
197.84/197.95 c conflicts : 97276
197.84/197.95 c time : ~197.516
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node63/watcher-422368-1178585619 -o ROOT/results/node63/solver-422368-1178585619 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422368-1178585619/siegeadapter.pl /tmp/evaluation/422368-1178585619/instance-422368-1178585619.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.91 0.95 0.98 3/64 16856
/proc/meminfo: memFree=1843388/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=884 CPUtime=0
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 84 0 0 0 0 0 0 0 20 0 1 0 334551947 905216 70 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135086579 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 223 72 62 208 0 11 0
[startup+0.0750101 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 16856
/proc/meminfo: memFree=1843388/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=442800 CPUtime=0.06
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 5881 0 0 0 4 2 0 0 20 0 1 0 334551947 453427200 5866 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134556457 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 110701 5867 174 208 0 107578 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 455068
[startup+0.101013 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 16856
/proc/meminfo: memFree=1843388/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=444812 CPUtime=0.08
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 6900 0 0 0 6 2 0 0 20 0 1 0 334551947 455487488 6885 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134556457 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 111203 6885 639 208 0 108080 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 457080
[startup+0.301034 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 16856
/proc/meminfo: memFree=1843388/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=446208 CPUtime=0.28
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 13101 0 0 0 24 4 0 0 21 0 1 0 334551947 456916992 10173 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 111552 10173 86 208 0 111340 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 458476
[startup+0.701075 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 16856
/proc/meminfo: memFree=1843388/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=446232 CPUtime=0.68
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 13195 0 0 0 64 4 0 0 24 0 1 0 334551947 456941568 10267 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 111558 10267 86 208 0 111346 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 458500
[startup+1.50116 s]
/proc/loadavg: 0.91 0.95 0.98 2/66 16858
/proc/meminfo: memFree=1802028/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=446332 CPUtime=1.49
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 13265 0 0 0 144 5 0 0 25 0 1 0 334551947 457043968 10337 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529955 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 111583 10337 86 208 0 111371 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 458600
[startup+3.10233 s]
/proc/loadavg: 0.91 0.95 0.98 2/66 16858
/proc/meminfo: memFree=1801452/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=446572 CPUtime=3.08
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 13385 0 0 0 303 5 0 0 25 0 1 0 334551947 457289728 10457 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 111643 10457 86 208 0 111431 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 458840
[startup+6.30167 s]
/proc/loadavg: 0.92 0.95 0.98 2/66 16858
/proc/meminfo: memFree=1800556/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=446988 CPUtime=6.29
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 13546 0 0 0 623 6 0 0 25 0 1 0 334551947 457715712 10618 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 111747 10618 86 208 0 111535 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 459256
[startup+12.7013 s]
/proc/loadavg: 0.93 0.95 0.98 2/66 16858
/proc/meminfo: memFree=1799852/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=447136 CPUtime=12.68
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 13742 0 0 0 1262 6 0 0 25 0 1 0 334551947 457867264 10814 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 111784 10814 86 208 0 111572 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 459404
[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.98 2/66 16858
/proc/meminfo: memFree=1797740/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=447496 CPUtime=25.48
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 14296 0 0 0 2542 6 0 0 25 0 1 0 334551947 458235904 11368 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528698 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 111874 11368 86 208 0 111662 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 459764
[startup+51.1014 s]
/proc/loadavg: 0.96 0.96 0.98 2/66 16858
/proc/meminfo: memFree=1791788/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=448356 CPUtime=51.07
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 15778 0 0 0 5099 8 0 0 25 0 1 0 334551947 459116544 12850 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134516733 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 112089 12850 86 208 0 111877 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 460624
[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.98 2/66 16858
/proc/meminfo: memFree=1710444/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=529176 CPUtime=102.26
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 49600 0 0 0 10199 27 0 0 25 0 1 0 334551947 541876224 33089 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529033 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 132294 33089 86 208 0 132082 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 541444
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 16858
/proc/meminfo: memFree=1706412/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=529976 CPUtime=162.24
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 50606 0 0 0 16196 28 0 0 25 0 1 0 334551947 542695424 34095 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543191 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 132494 34095 86 208 0 132282 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 542244
Solver just ended. Dumping a history of the last processes samples
[startup+179.102 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 16858
/proc/meminfo: memFree=1686700/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=550444 CPUtime=179.03
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 55975 0 0 0 17873 30 0 0 25 0 1 0 334551947 563654656 39011 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528583 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 137611 39011 86 208 0 137399 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 562712
[startup+185.502 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 16858
/proc/meminfo: memFree=1686636/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=550532 CPUtime=185.43
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 55997 0 0 0 18513 30 0 0 25 0 1 0 334551947 563744768 39033 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528700 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 137633 39033 86 208 0 137421 0
Current children cumulated CPU time (s) 185.43
Current children cumulated vsize (KiB) 562800
[startup+191.902 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 16858
/proc/meminfo: memFree=1686572/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=550568 CPUtime=191.83
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 56006 0 0 0 19153 30 0 0 25 0 1 0 334551947 563781632 39042 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 137642 39042 86 208 0 137430 0
Current children cumulated CPU time (s) 191.83
Current children cumulated vsize (KiB) 562836
[startup+195.102 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 16858
/proc/meminfo: memFree=1686572/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=550596 CPUtime=195.03
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 56010 0 0 0 19473 30 0 0 25 0 1 0 334551947 563810304 39046 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 137649 39046 86 208 0 137437 0
Current children cumulated CPU time (s) 195.03
Current children cumulated vsize (KiB) 562864
[startup+196.702 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 16858
/proc/meminfo: memFree=1686572/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=550596 CPUtime=196.63
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 56010 0 0 0 19633 30 0 0 25 0 1 0 334551947 563810304 39046 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 137649 39046 86 208 0 137437 0
Current children cumulated CPU time (s) 196.63
Current children cumulated vsize (KiB) 562864
[startup+197.502 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 16858
/proc/meminfo: memFree=1686572/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=550596 CPUtime=197.43
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 56010 0 0 0 19713 30 0 0 25 0 1 0 334551947 563810304 39046 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 137649 39046 86 208 0 137437 0
Current children cumulated CPU time (s) 197.43
Current children cumulated vsize (KiB) 562864
[startup+197.902 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 16858
/proc/meminfo: memFree=1761068/2055920 swapFree=4183072/4192956
[pid=16856] ppid=16854 vsize=12268 CPUtime=0
/proc/16856/stat : 16856 (siegeadapter.pl) S 16854 16856 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334551947 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/16856/statm: 3067 352 271 3 0 167 0
[pid=16857] ppid=16856 vsize=83104 CPUtime=197.84
/proc/16857/stat : 16857 (siege_v4) R 16856 16856 16713 0 -1 0 56020 0 0 0 19752 32 0 0 25 0 1 0 334551947 85098496 20383 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134943094 0 0 4096 0 0 0 0 17 1 0 0
/proc/16857/statm: 20776 20383 95 208 0 20564 0
Current children cumulated CPU time (s) 197.84
Current children cumulated vsize (KiB) 95372
Child status: 0
Real time (s): 197.964
CPU time (s): 197.897
CPU user time (s): 197.56
CPU system time (s): 0.336948
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 562864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 197.56
system time used= 0.336948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56461
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= 19
involuntary context switches= 401
runsolver used 0.161975 second user time and 0.39094 second system time
The end
Begin job on node63 on Tue May 8 00:53:40 UTC 2007
IDJOB= 422368
IDBENCH= 20421
IDSOLVER= 190
FILE ID= node63/422368-1178585619
PBS_JOBID= 5217940
Free space on /tmp= 66549 MiB
SOLVER NAME= Siege V4
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/uts/uts-l06-ipc5-h28-unknown.cnf
COMMAND LINE= /tmp/evaluation/422368-1178585619/siegeadapter.pl /tmp/evaluation/422368-1178585619/instance-422368-1178585619.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-422368-1178585619 -o ROOT/results/node63/solver-422368-1178585619 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422368-1178585619/siegeadapter.pl /tmp/evaluation/422368-1178585619/instance-422368-1178585619.cnf
META MD5SUM SOLVER= 69ef6d521077f526586997d0c4a9a904
MD5SUM BENCH= ccc94758bbd09de3056ff3a062ddfd45
RANDOM SEED= 204922169
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node63.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.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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1843860 kB
Buffers: 11196 kB
Cached: 110768 kB
SwapCached: 3904 kB
Active: 35232 kB
Inactive: 96372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1843860 kB
SwapTotal: 4192956 kB
SwapFree: 4183072 kB
Dirty: 12516 kB
Writeback: 0 kB
Mapped: 15664 kB
Slab: 66488 kB
Committed_AS: 5958888 kB
PageTables: 1460 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= 66549 MiB
End job on node63 on Tue May 8 00:56:58 UTC 2007