0.00/0.00 c Siege V4 output adapted for the SAT 2007 I/O conformance
1172.89/1190.03 c
1172.89/1190.03 c [ filemap ]
1172.89/1190.03 c [ extract ]
1172.89/1190.03 c
1172.89/1190.03 c variables : 520721
1172.89/1190.03 c pure lits : 0
1172.89/1190.03 c
1172.89/1190.03 c 1-clauses : 1
1172.89/1190.03 c 2-clauses : 8684529
1172.89/1190.03 c 3-clauses : 4209371
1172.89/1190.03 c n-clauses : 454216
1172.89/1190.03 c discarded : 0
1172.89/1190.03 c
1172.89/1190.03 c [ solve ]
1172.89/1190.03 s UNKNOWN
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node70/watcher-422517-1178638209 -o ROOT/results/node70/solver-422517-1178638209 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422517-1178638209/siegeadapter.pl /tmp/evaluation/422517-1178638209/instance-422517-1178638209.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.99 0.97 0.99 3/64 26331
/proc/meminfo: memFree=1145152/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=892 CPUtime=0
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 88 0 0 0 0 0 0 0 19 0 1 0 303360035 913408 73 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134989053 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 76885 77 66 208 0 12 0
[startup+0.0741029 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 26331
/proc/meminfo: memFree=1145152/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=366784 CPUtime=0.06
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 7520 0 0 0 4 2 0 0 19 0 1 0 303360035 375586816 7505 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134515383 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 91698 7509 66 208 0 14825 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 379052
[startup+0.101104 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 26331
/proc/meminfo: memFree=1145152/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=371796 CPUtime=0.09
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 10184 0 0 0 6 3 0 0 19 0 1 0 303360035 380719104 10169 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134948312 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 92951 10172 66 208 0 16078 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 384064
[startup+0.301124 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 26331
/proc/meminfo: memFree=1145152/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=867264 CPUtime=0.29
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 24903 0 0 0 18 11 0 0 21 0 1 0 303360035 888078336 24888 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134948312 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 216817 24889 251 208 0 139944 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 879532
[startup+0.701163 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 26331
/proc/meminfo: memFree=1145152/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=886496 CPUtime=0.69
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 37851 0 0 0 53 16 0 0 24 0 1 0 303360035 907771904 37836 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134948312 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 221624 37837 7333 208 0 144751 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 898764
[startup+1.50124 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=1006640/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=918864 CPUtime=1.48
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 62849 0 0 0 125 23 0 0 25 0 1 0 303360035 940916736 62834 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134556457 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 229716 62835 22350 208 0 152843 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 931132
[startup+3.1024 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=957808/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=979560 CPUtime=3.09
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 110079 0 0 0 272 37 0 0 25 0 1 0 303360035 1003069440 109494 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134557785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 244890 109495 50904 208 0 168017 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 991828
[startup+6.30172 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=759024/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=818156 CPUtime=6.29
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 174562 0 0 0 569 60 0 0 25 0 1 0 303360035 837791744 97123 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529979 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 204539 97123 86 208 0 204327 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 830424
[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=753840/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=820860 CPUtime=12.68
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 175478 0 0 0 1208 60 0 0 25 0 1 0 303360035 840560640 98039 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 205215 98039 86 208 0 205003 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 833128
[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=752240/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=822056 CPUtime=25.48
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 175879 0 0 0 2487 61 0 0 25 0 1 0 303360035 841785344 98440 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529994 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 205514 98440 86 208 0 205302 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 834324
[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=749424/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=825104 CPUtime=51.08
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 176722 0 0 0 5046 62 0 0 25 0 1 0 303360035 844906496 99283 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529979 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 206276 99283 86 208 0 206064 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 837372
[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=744624/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=828496 CPUtime=102.27
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 177877 0 0 0 10164 63 0 0 25 0 1 0 303360035 848379904 100438 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528130 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 207124 100438 86 208 0 206912 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 840764
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=740400/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=830492 CPUtime=162.24
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 178931 0 0 0 16160 64 0 0 25 0 1 0 303360035 850423808 101492 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 207623 101492 86 208 0 207411 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 842760
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=736176/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=832168 CPUtime=222.23
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 179972 0 0 0 22157 66 0 0 25 0 1 0 303360035 852140032 102533 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 208042 102533 86 208 0 207830 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 844436
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=709424/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=833324 CPUtime=282.21
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 186703 0 0 0 28151 70 0 0 25 0 1 0 303360035 853323776 109264 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543686 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 208331 109264 86 208 0 208119 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 845592
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=683312/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=849792 CPUtime=342.2
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 197308 0 0 0 34143 77 0 0 25 0 1 0 303360035 870187008 115800 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543717 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 212448 115800 86 208 0 212236 0
################
# More data... #
################
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=494512/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=1078456 CPUtime=702.11
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 301382 0 0 0 70065 146 0 0 25 0 1 0 303360035 1104338944 162918 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134541724 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 269614 162918 86 208 0 269402 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 1090724
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=462832/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=1078512 CPUtime=762.1
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 309189 0 0 0 76059 151 0 0 25 0 1 0 303360035 1104396288 170725 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543319 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 269628 170725 86 208 0 269416 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1090780
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=422960/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=1338872 CPUtime=822.08
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 384180 0 0 0 82021 187 0 0 25 0 1 0 303360035 1371004928 180625 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543521 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 334718 180625 86 208 0 334506 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 1351140
[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=380848/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=1338872 CPUtime=882.07
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 394618 0 0 0 88009 198 0 0 25 0 1 0 303360035 1371004928 191063 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543041 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 334718 191063 86 208 0 334506 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 1351140
[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=345520/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=1338884 CPUtime=942.05
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 403488 0 0 0 93998 207 0 0 25 0 1 0 303360035 1371017216 199933 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543399 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 334721 199933 86 208 0 334509 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1351152
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=306224/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=1338956 CPUtime=1002.04
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 413248 0 0 0 99987 217 0 0 25 0 1 0 303360035 1371090944 209693 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134541708 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 334739 209693 86 208 0 334527 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1351224
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=266544/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=1339080 CPUtime=1062.02
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 423222 0 0 0 105976 226 0 0 25 0 1 0 303360035 1371217920 219667 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543442 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 334770 219667 86 208 0 334558 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1351348
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 26333
/proc/meminfo: memFree=224240/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=1339080 CPUtime=1122.01
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 0 433750 0 0 0 111964 237 0 0 25 0 1 0 303360035 1371217920 230195 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543134 0 0 4096 0 0 0 0 17 1 0 0
/proc/26332/statm: 334770 230195 86 208 0 334558 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1351348
[startup+1182.3 s]
/proc/loadavg: 1.15 1.00 1.00 1/66 26333
/proc/meminfo: memFree=23664/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=1340216 CPUtime=1172.13
/proc/26332/stat : 26332 (siege_v4) D 26331 26331 26224 0 -1 1536 443025 0 0 0 116607 606 0 0 18 0 1 0 303360035 1372381184 238153 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/26332/statm: 335054 238153 102 208 0 334842 0
Current children cumulated CPU time (s) 1172.13
Current children cumulated vsize (KiB) 1352484
Solver just ended. Dumping a history of the last processes samples
[startup+1184 s]
/proc/loadavg: 1.15 1.00 1.00 1/66 26333
/proc/meminfo: memFree=26864/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=1340216 CPUtime=1172.13
/proc/26332/stat : 26332 (siege_v4) D 26331 26331 26224 0 -1 1536 443025 0 0 0 116607 606 0 0 18 0 1 0 303360035 1372381184 238153 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/26332/statm: 335054 238153 102 208 0 334842 0
Current children cumulated CPU time (s) 1172.13
Current children cumulated vsize (KiB) 1352484
[startup+1187.2 s]
/proc/loadavg: 1.30 1.04 1.01 1/66 26333
/proc/meminfo: memFree=32048/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=1340216 CPUtime=1172.13
/proc/26332/stat : 26332 (siege_v4) D 26331 26331 26224 0 -1 1536 443025 0 0 0 116607 606 0 0 18 0 1 0 303360035 1372381184 238153 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/26332/statm: 335054 238153 102 208 0 334842 0
Current children cumulated CPU time (s) 1172.13
Current children cumulated vsize (KiB) 1352484
[startup+1188.8 s]
/proc/loadavg: 1.30 1.04 1.01 1/66 26333
/proc/meminfo: memFree=44208/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=1340216 CPUtime=1172.13
/proc/26332/stat : 26332 (siege_v4) D 26331 26331 26224 0 -1 1536 443025 0 0 0 116607 606 0 0 18 0 1 0 303360035 1372381184 238153 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/26332/statm: 335054 238153 102 208 0 334842 0
Current children cumulated CPU time (s) 1172.13
Current children cumulated vsize (KiB) 1352484
[startup+1189.6 s]
/proc/loadavg: 1.44 1.07 1.02 2/66 26333
/proc/meminfo: memFree=37360/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=1340216 CPUtime=1172.62
/proc/26332/stat : 26332 (siege_v4) D 26331 26331 26224 0 -1 1536 447555 0 0 0 116607 655 0 0 21 0 1 0 303360035 1372381184 238153 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/26332/statm: 335054 238153 102 208 0 334842 0
Current children cumulated CPU time (s) 1172.62
Current children cumulated vsize (KiB) 1352484
[startup+1190 s]
/proc/loadavg: 1.44 1.07 1.02 2/66 26333
/proc/meminfo: memFree=37360/2055920 swapFree=4183880/4192956
[pid=26331] ppid=26329 vsize=12268 CPUtime=0
/proc/26331/stat : 26331 (siegeadapter.pl) S 26329 26331 26224 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 303360034 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233410965602 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/26331/statm: 3067 352 271 3 0 167 0
[pid=26332] ppid=26331 vsize=0 CPUtime=1172.89
/proc/26332/stat : 26332 (siege_v4) R 26331 26331 26224 0 -1 1540 447631 0 0 0 116607 682 0 0 22 0 1 0 303360035 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/26332/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1172.89
Current children cumulated vsize (KiB) 12268
Child status: 0
Real time (s): 1190.04
CPU time (s): 1172.94
CPU user time (s): 1166.07
CPU system time (s): 6.86096
CPU usage (%): 98.563
Max. virtual memory (cumulated for all children) (KiB): 1611504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1166.07
system time used= 6.86096
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448072
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= 53
involuntary context switches= 2112
runsolver used 0.885865 second user time and 2.39464 second system time
The end
Begin job on node70 on Tue May 8 15:30:27 UTC 2007
IDJOB= 422517
IDBENCH= 20586
IDSOLVER= 190
FILE ID= node70/422517-1178638209
PBS_JOBID= 5218341
Free space on /tmp= 66264 MiB
SOLVER NAME= Siege V4
BENCH NAME= HOME/pub/bench/SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug4.cnf
COMMAND LINE= /tmp/evaluation/422517-1178638209/siegeadapter.pl /tmp/evaluation/422517-1178638209/instance-422517-1178638209.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-422517-1178638209 -o ROOT/results/node70/solver-422517-1178638209 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422517-1178638209/siegeadapter.pl /tmp/evaluation/422517-1178638209/instance-422517-1178638209.cnf
META MD5SUM SOLVER= 69ef6d521077f526586997d0c4a9a904
MD5SUM BENCH= c9a9723a58c9cb8a0b55a82eb452ac90
RANDOM SEED= 719244145
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: 1145624 kB
Buffers: 35000 kB
Cached: 767268 kB
SwapCached: 2988 kB
Active: 468876 kB
Inactive: 342968 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1145624 kB
SwapTotal: 4192956 kB
SwapFree: 4183880 kB
Dirty: 216680 kB
Writeback: 0 kB
Mapped: 15664 kB
Slab: 84516 kB
Committed_AS: 7589632 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= 65333 MiB
End job on node70 on Tue May 8 15:50:19 UTC 2007