0.00/0.00 c Siege V4 output adapted for the SAT 2007 I/O conformance
1050.42/1065.01 c
1050.42/1065.01 c [ filemap ]
1050.42/1065.01 c [ extract ]
1050.42/1065.01 c
1050.42/1065.01 c variables : 521187
1050.42/1065.01 c pure lits : 0
1050.42/1065.01 c
1050.42/1065.01 c 1-clauses : 1
1050.42/1065.01 c 2-clauses : 8714594
1050.42/1065.01 c 3-clauses : 4209357
1050.42/1065.01 c n-clauses : 454672
1050.42/1065.01 c discarded : 0
1050.42/1065.01 c
1050.42/1065.01 c [ solve ]
1050.42/1065.01 s UNKNOWN
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node65/watcher-422516-1178638132 -o ROOT/results/node65/solver-422516-1178638132 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422516-1178638132/siegeadapter.pl /tmp/evaluation/422516-1178638132/instance-422516-1178638132.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: 1.22 1.02 1.00 3/64 8799
/proc/meminfo: memFree=1329976/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) R 8797 8799 8692 0 -1 4194304 382 0 0 0 0 0 0 0 18 0 1 0 339804651 12562432 350 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257203694239 0 0 4224 0 0 0 0 17 1 0 0
/proc/8799/statm: 3067 350 270 3 0 167 0
[pid=8800] ppid=8799 vsize=312828 CPUtime=0
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 95 0 0 0 0 0 0 0 18 0 1 0 339804652 320335872 80 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134513528 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 78207 80 66 208 0 1158 0
[startup+0.035732 s]
/proc/loadavg: 1.22 1.02 1.00 3/64 8799
/proc/meminfo: memFree=1329976/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=360272 CPUtime=0.02
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 3671 0 0 0 1 1 0 0 18 0 1 0 339804652 368918528 3656 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135101734 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 90069 3660 66 208 0 13020 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 372540
[startup+0.101714 s]
/proc/loadavg: 1.22 1.02 1.00 3/64 8799
/proc/meminfo: memFree=1329976/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=372444 CPUtime=0.09
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 10139 0 0 0 5 4 0 0 19 0 1 0 339804652 381382656 10124 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134515383 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 93113 10127 66 208 0 16064 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 384712
[startup+0.305738 s]
/proc/loadavg: 1.22 1.02 1.00 3/64 8799
/proc/meminfo: memFree=1329976/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=868372 CPUtime=0.29
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 25081 0 0 0 18 11 0 0 21 0 1 0 339804652 889212928 25066 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134938861 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 217094 25068 321 208 0 140045 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 880640
[startup+0.701761 s]
/proc/loadavg: 1.22 1.02 1.00 3/64 8799
/proc/meminfo: memFree=1329976/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=887220 CPUtime=0.69
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 37825 0 0 0 54 15 0 0 25 0 1 0 339804652 908513280 37810 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134948312 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 221805 37812 7312 208 0 144756 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 899488
[startup+1.50183 s]
/proc/loadavg: 1.22 1.02 1.00 2/66 8801
/proc/meminfo: memFree=1193896/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=919520 CPUtime=1.49
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 62690 0 0 0 127 22 0 0 25 0 1 0 339804652 941588480 62675 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134556509 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 229880 62675 22232 208 0 152831 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 931788
[startup+3.10296 s]
/proc/loadavg: 1.22 1.02 1.00 2/66 8801
/proc/meminfo: memFree=1143272/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=979604 CPUtime=3.08
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 109365 0 0 0 272 36 0 0 25 0 1 0 339804652 1003114496 108780 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134556509 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 244902 108781 50485 208 0 167853 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 991872
[startup+6.30123 s]
/proc/loadavg: 1.20 1.02 1.00 2/66 8801
/proc/meminfo: memFree=945000/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=817500 CPUtime=6.29
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 174637 0 0 0 565 64 0 0 25 0 1 0 339804652 837120000 97022 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 204375 97022 86 208 0 204163 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 829768
[startup+12.7018 s]
/proc/loadavg: 1.18 1.02 1.00 2/66 8801
/proc/meminfo: memFree=940008/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=821196 CPUtime=12.69
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 175528 0 0 0 1204 65 0 0 25 0 1 0 339804652 840904704 97913 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 205299 97913 86 208 0 205087 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 833464
[startup+25.5018 s]
/proc/loadavg: 1.14 1.02 1.00 2/66 8801
/proc/meminfo: memFree=936488/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=824420 CPUtime=25.48
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 176282 0 0 0 2483 65 0 0 25 0 1 0 339804652 844206080 98667 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134520818 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 206105 98667 86 208 0 205893 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 836688
[startup+51.1019 s]
/proc/loadavg: 1.09 1.02 1.00 2/66 8801
/proc/meminfo: memFree=932776/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=827032 CPUtime=51.07
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 177234 0 0 0 5041 66 0 0 25 0 1 0 339804652 846880768 99619 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134521170 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 206758 99619 86 208 0 206546 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 839300
[startup+102.305 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 8801
/proc/meminfo: memFree=927272/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=829936 CPUtime=102.26
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 178663 0 0 0 10159 67 0 0 25 0 1 0 339804652 849854464 101048 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528745 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 207484 101048 86 208 0 207272 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 842204
[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 8801
/proc/meminfo: memFree=921320/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=831512 CPUtime=162.24
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 180162 0 0 0 16155 69 0 0 25 0 1 0 339804652 851468288 102547 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134532950 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 207878 102547 86 208 0 207666 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 843780
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8801
/proc/meminfo: memFree=891048/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=833112 CPUtime=222.22
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 187693 0 0 0 22148 74 0 0 25 0 1 0 339804652 853106688 110078 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543134 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 208278 110078 86 208 0 208066 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 845380
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8801
/proc/meminfo: memFree=878376/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=849400 CPUtime=282.21
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 194996 0 0 0 28142 79 0 0 25 0 1 0 339804652 869785600 113309 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543165 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 212350 113309 86 208 0 212138 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 861668
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8801
/proc/meminfo: memFree=841768/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=882284 CPUtime=342.19
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 212273 0 0 0 34128 91 0 0 25 0 1 0 339804652 903458816 122442 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543019 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 220571 122442 86 208 0 220359 0
################
# More data... #
################
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8801
/proc/meminfo: memFree=710824/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=1078084 CPUtime=522.14
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 293877 0 0 0 52077 137 0 0 25 0 1 0 339804652 1103958016 155183 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543717 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 269521 155183 86 208 0 269309 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1090352
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8801
/proc/meminfo: memFree=661928/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=1078084 CPUtime=582.13
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 305930 0 0 0 58066 147 0 0 25 0 1 0 339804652 1103958016 167236 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134542628 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 269521 167236 86 208 0 269309 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1090352
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8801
/proc/meminfo: memFree=624424/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=1338792 CPUtime=642.12
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 380281 0 0 0 64031 181 0 0 25 0 1 0 339804652 1370923008 176438 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543134 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 334698 176438 86 208 0 334486 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1351060
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8801
/proc/meminfo: memFree=584616/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=1338904 CPUtime=702.1
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 390307 0 0 0 70020 190 0 0 25 0 1 0 339804652 1371037696 186464 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543370 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 334726 186464 86 208 0 334514 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 1351172
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8801
/proc/meminfo: memFree=557352/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=1339244 CPUtime=762.09
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 397029 0 0 0 76012 197 0 0 25 0 1 0 339804652 1371385856 193186 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543134 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 334811 193186 86 208 0 334599 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 1351512
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8803
/proc/meminfo: memFree=530408/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=1339244 CPUtime=822.07
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 403847 0 0 0 82003 204 0 0 25 0 1 0 339804652 1371385856 200004 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134541418 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 334811 200004 86 208 0 334599 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1351512
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8803
/proc/meminfo: memFree=488488/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=1339244 CPUtime=882.05
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 414199 0 0 0 87994 211 0 0 25 0 1 0 339804652 1371385856 210356 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134542998 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 334811 210356 86 208 0 334599 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 1351512
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8803
/proc/meminfo: memFree=457000/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=1339244 CPUtime=942.03
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 422185 0 0 0 93985 218 0 0 25 0 1 0 339804652 1371385856 218342 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543724 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 334811 218342 86 208 0 334599 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1351512
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8803
/proc/meminfo: memFree=404264/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=1339244 CPUtime=1002.02
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 0 435330 0 0 0 99971 231 0 0 25 0 1 0 339804652 1371385856 231487 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134541672 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 334811 231487 86 208 0 334599 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1351512
[startup+1062.3 s]
/proc/loadavg: 1.51 1.11 1.04 1/66 8803
/proc/meminfo: memFree=31528/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=1340268 CPUtime=1049.32
/proc/8800/stat : 8800 (siege_v4) D 8799 8799 8692 0 -1 1536 443846 0 0 0 104359 573 0 0 18 0 1 0 339804652 1372434432 238622 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/8800/statm: 335067 238622 102 208 0 334855 0
Current children cumulated CPU time (s) 1049.32
Current children cumulated vsize (KiB) 1352536
Solver just ended. Dumping a history of the last processes samples
[startup+1062.6 s]
/proc/loadavg: 1.51 1.11 1.04 1/66 8803
/proc/meminfo: memFree=31528/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=1340268 CPUtime=1049.32
/proc/8800/stat : 8800 (siege_v4) D 8799 8799 8692 0 -1 1536 443846 0 0 0 104359 573 0 0 18 0 1 0 339804652 1372434432 238622 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/8800/statm: 335067 238622 102 208 0 334855 0
Current children cumulated CPU time (s) 1049.32
Current children cumulated vsize (KiB) 1352536
[startup+1064.2 s]
/proc/loadavg: 1.51 1.11 1.04 2/66 8803
/proc/meminfo: memFree=16168/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=1340268 CPUtime=1049.76
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 1536 444505 0 0 0 104359 617 0 0 20 0 1 0 339804652 1372434432 238622 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 335067 238622 102 208 0 334855 0
Current children cumulated CPU time (s) 1049.76
Current children cumulated vsize (KiB) 1352536
[startup+1064.6 s]
/proc/loadavg: 1.51 1.11 1.04 2/66 8803
/proc/meminfo: memFree=16168/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=1340268 CPUtime=1050.04
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 1536 447366 0 0 0 104359 645 0 0 22 0 1 0 339804652 1372434432 238622 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 335067 238622 102 208 0 334855 0
Current children cumulated CPU time (s) 1050.04
Current children cumulated vsize (KiB) 1352536
[startup+1065 s]
/proc/loadavg: 1.55 1.13 1.04 2/66 8803
/proc/meminfo: memFree=897128/2055920 swapFree=4184160/4192956
[pid=8799] ppid=8797 vsize=12268 CPUtime=0
/proc/8799/stat : 8799 (siegeadapter.pl) S 8797 8799 8692 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 339804651 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8799/statm: 3067 352 271 3 0 167 0
[pid=8800] ppid=8799 vsize=0 CPUtime=1050.42
/proc/8800/stat : 8800 (siege_v4) R 8799 8799 8692 0 -1 1540 448956 0 0 0 104359 683 0 0 25 0 1 0 339804652 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/8800/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1050.42
Current children cumulated vsize (KiB) 12268
Child status: 0
Real time (s): 1065.02
CPU time (s): 1050.45
CPU user time (s): 1043.6
CPU system time (s): 6.85396
CPU usage (%): 98.6322
Max. virtual memory (cumulated for all children) (KiB): 1611544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1043.6
system time used= 6.85396
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 449397
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= 42
involuntary context switches= 1263
runsolver used 0.706892 second user time and 2.23566 second system time
The end
Begin job on node65 on Tue May 8 15:29:10 UTC 2007
IDJOB= 422516
IDBENCH= 20585
IDSOLVER= 190
FILE ID= node65/422516-1178638132
PBS_JOBID= 5218344
Free space on /tmp= 66263 MiB
SOLVER NAME= Siege V4
BENCH NAME= HOME/pub/bench/SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug9.cnf
COMMAND LINE= /tmp/evaluation/422516-1178638132/siegeadapter.pl /tmp/evaluation/422516-1178638132/instance-422516-1178638132.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-422516-1178638132 -o ROOT/results/node65/solver-422516-1178638132 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422516-1178638132/siegeadapter.pl /tmp/evaluation/422516-1178638132/instance-422516-1178638132.cnf
META MD5SUM SOLVER= 69ef6d521077f526586997d0c4a9a904
MD5SUM BENCH= 838f83d2fc04e408a3e66700f0dc0173
RANDOM SEED= 662505315
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node65.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.245
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.245
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: 1330448 kB
Buffers: 23624 kB
Cached: 570104 kB
SwapCached: 2768 kB
Active: 460208 kB
Inactive: 180708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1330448 kB
SwapTotal: 4192956 kB
SwapFree: 4184160 kB
Dirty: 225632 kB
Writeback: 0 kB
Mapped: 53308 kB
Slab: 70448 kB
Committed_AS: 7434088 kB
PageTables: 1548 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= 65331 MiB
End job on node65 on Tue May 8 15:46:57 UTC 2007