0.00/0.00 c Siege V4 output adapted for the SAT 2007 I/O conformance
1057.03/1084.31 c
1057.03/1084.31 c [ filemap ]
1057.03/1084.31 c [ extract ]
1057.03/1084.31 c
1057.03/1084.31 c variables : 520770
1057.03/1084.31 c pure lits : 0
1057.03/1084.31 c
1057.03/1084.31 c 1-clauses : 1
1057.03/1084.31 c 2-clauses : 8710587
1057.03/1084.31 c 3-clauses : 4215482
1057.03/1084.31 c n-clauses : 454280
1057.03/1084.31 c discarded : 0
1057.03/1084.31 c
1057.03/1084.31 c [ solve ]
1057.03/1084.31 s UNKNOWN
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-422513-1178637748 -o ROOT/results/node45/solver-422513-1178637748 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422513-1178637748/siegeadapter.pl /tmp/evaluation/422513-1178637748/instance-422513-1178637748.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.11 1.02 1.01 3/78 5910
/proc/meminfo: memFree=1011824/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=312860 CPUtime=0
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 95 0 0 0 0 0 0 0 20 0 1 0 218622293 320368640 80 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134949222 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 78215 80 66 208 0 1158 0
[startup+0.025949 s]
/proc/loadavg: 1.11 1.02 1.01 3/78 5910
/proc/meminfo: memFree=1011824/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=358576 CPUtime=0.01
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 2768 0 0 0 0 1 0 0 20 0 1 0 218622293 367181824 2753 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134948312 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 89646 2757 66 208 0 12589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 370844
[startup+0.101957 s]
/proc/loadavg: 1.11 1.02 1.01 3/78 5910
/proc/meminfo: memFree=1011824/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=372452 CPUtime=0.09
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 10139 0 0 0 5 4 0 0 20 0 1 0 218622293 381390848 10125 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134515431 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 93115 10128 66 208 0 16058 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 384720
[startup+0.301976 s]
/proc/loadavg: 1.11 1.02 1.01 3/78 5910
/proc/meminfo: memFree=1011824/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=868236 CPUtime=0.28
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 25014 0 0 0 18 10 0 0 21 0 1 0 218622293 889073664 24999 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134948312 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 217059 25001 295 208 0 140002 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 880504
[startup+0.705632 s]
/proc/loadavg: 1.11 1.02 1.01 3/78 5910
/proc/meminfo: memFree=1011824/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=887360 CPUtime=0.69
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 37955 0 0 0 54 15 0 0 25 0 1 0 218622293 908656640 37940 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134556509 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 221840 37940 7388 208 0 144783 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 899628
[startup+1.50111 s]
/proc/loadavg: 1.11 1.02 1.01 2/80 5912
/proc/meminfo: memFree=876000/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=919440 CPUtime=1.49
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 62678 0 0 0 126 23 0 0 25 0 1 0 218622293 941506560 62663 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134557261 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 229860 62665 22222 208 0 152803 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 931708
[startup+3.10126 s]
/proc/loadavg: 1.11 1.02 1.01 2/79 5912
/proc/meminfo: memFree=824936/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=978972 CPUtime=3.09
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 108852 0 0 0 270 39 0 0 25 0 1 0 218622293 1002467328 108267 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134556509 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 244745 108270 50159 208 0 167688 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 991240
[startup+6.30259 s]
/proc/loadavg: 1.10 1.02 1.00 2/79 5912
/proc/meminfo: memFree=626344/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=819304 CPUtime=6.29
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 174994 0 0 0 566 63 0 0 25 0 1 0 218622293 838967296 97314 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529853 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 204826 97314 86 208 0 204614 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 831572
[startup+12.7012 s]
/proc/loadavg: 1.09 1.02 1.00 2/79 5912
/proc/meminfo: memFree=622632/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=821364 CPUtime=12.68
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 175496 0 0 0 1205 63 0 0 25 0 1 0 218622293 841076736 97816 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 205341 97816 86 208 0 205129 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 833632
[startup+25.5015 s]
/proc/loadavg: 1.07 1.01 1.00 2/79 5912
/proc/meminfo: memFree=621224/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=822916 CPUtime=25.48
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 175923 0 0 0 2484 64 0 0 25 0 1 0 218622293 842665984 98243 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134521190 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 205729 98243 86 208 0 205517 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 835184
[startup+51.1011 s]
/proc/loadavg: 1.05 1.01 1.00 2/79 5912
/proc/meminfo: memFree=615016/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=828764 CPUtime=51.07
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 177560 0 0 0 5043 64 0 0 25 0 1 0 218622293 848654336 99831 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134516741 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 207191 99831 86 208 0 206979 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 841032
[startup+102.305 s]
/proc/loadavg: 1.02 1.01 1.00 2/79 5912
/proc/meminfo: memFree=610472/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=831340 CPUtime=102.26
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 178706 0 0 0 10160 66 0 0 25 0 1 0 218622293 851292160 100977 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530241 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 207835 100977 86 208 0 207623 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 843608
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5912
/proc/meminfo: memFree=606056/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=833432 CPUtime=162.25
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 179806 0 0 0 16157 68 0 0 25 0 1 0 218622293 853434368 102077 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529979 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 208358 102077 86 208 0 208146 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 845700
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5912
/proc/meminfo: memFree=601448/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=834796 CPUtime=222.23
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 180947 0 0 0 22154 69 0 0 25 0 1 0 218622293 854831104 103218 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 208699 103218 86 208 0 208487 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 847064
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5912
/proc/meminfo: memFree=563048/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=851896 CPUtime=282.22
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 194728 0 0 0 28143 79 0 0 25 0 1 0 218622293 872341504 112930 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543039 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 212974 112930 86 208 0 212762 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 864164
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5912
/proc/meminfo: memFree=532648/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=884712 CPUtime=342.21
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 210356 0 0 0 34131 90 0 0 25 0 1 0 218622293 905945088 120420 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134516741 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 221178 120420 86 208 0 220966 0
################
# More data... #
################
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5912
/proc/meminfo: memFree=397736/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=1080740 CPUtime=642.13
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 292781 0 0 0 64068 145 0 0 25 0 1 0 218622293 1106677760 154021 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543635 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 270185 154021 86 208 0 269973 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1093008
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5912
/proc/meminfo: memFree=356904/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=1080740 CPUtime=702.11
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 303047 0 0 0 70057 154 0 0 25 0 1 0 218622293 1106677760 164287 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543457 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 270185 164287 86 208 0 269973 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 1093008
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5912
/proc/meminfo: memFree=309736/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=1341128 CPUtime=762.1
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 379725 0 0 0 76019 191 0 0 25 0 1 0 218622293 1373315072 175868 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543319 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 335282 175868 86 208 0 335070 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1353396
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5912
/proc/meminfo: memFree=283816/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=1341128 CPUtime=822.07
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 386293 0 0 0 82010 197 0 0 25 0 1 0 218622293 1373315072 182436 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543120 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 335282 182436 86 208 0 335070 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1353396
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5912
/proc/meminfo: memFree=233960/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=1341128 CPUtime=882.07
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 398641 0 0 0 87998 209 0 0 25 0 1 0 218622293 1373315072 194784 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543039 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 335282 194784 86 208 0 335070 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 1353396
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5912
/proc/meminfo: memFree=178472/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=1341240 CPUtime=942.05
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 412653 0 0 0 93985 220 0 0 25 0 1 0 218622293 1373429760 208796 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543635 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 335310 208796 86 208 0 335098 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1353508
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5912
/proc/meminfo: memFree=113320/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=1341240 CPUtime=1002.03
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 0 428765 0 0 0 99970 233 0 0 25 0 1 0 218622293 1373429760 224908 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543319 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 335310 224908 86 208 0 335098 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1353508
[startup+1062.3 s]
/proc/loadavg: 1.08 1.02 1.01 1/79 5912
/proc/meminfo: memFree=15912/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=1342264 CPUtime=1055.72
/proc/5911/stat : 5911 (siege_v4) D 5910 5910 5847 0 -1 1536 443665 0 0 0 105019 553 0 0 18 0 1 0 218622293 1374478336 238429 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/5911/statm: 335566 238429 102 208 0 335354 0
Current children cumulated CPU time (s) 1055.72
Current children cumulated vsize (KiB) 1354532
Solver just ended. Dumping a history of the last processes samples
[startup+1075.1 s]
/proc/loadavg: 1.50 1.11 1.04 1/79 5912
/proc/meminfo: memFree=26856/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=1342264 CPUtime=1055.72
/proc/5911/stat : 5911 (siege_v4) D 5910 5910 5847 0 -1 1536 443665 0 0 0 105019 553 0 0 18 0 1 0 218622293 1374478336 238429 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/5911/statm: 335566 238429 102 208 0 335354 0
Current children cumulated CPU time (s) 1055.72
Current children cumulated vsize (KiB) 1354532
[startup+1078.3 s]
/proc/loadavg: 1.50 1.11 1.04 1/79 5912
/proc/meminfo: memFree=29480/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=1342264 CPUtime=1055.72
/proc/5911/stat : 5911 (siege_v4) D 5910 5910 5847 0 -1 1536 443665 0 0 0 105019 553 0 0 18 0 1 0 218622293 1374478336 238429 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/5911/statm: 335566 238429 102 208 0 335354 0
Current children cumulated CPU time (s) 1055.72
Current children cumulated vsize (KiB) 1354532
[startup+1081.5 s]
/proc/loadavg: 1.62 1.14 1.05 1/79 5912
/proc/meminfo: memFree=42536/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=1342264 CPUtime=1055.72
/proc/5911/stat : 5911 (siege_v4) D 5910 5910 5847 0 -1 1536 443665 0 0 0 105019 553 0 0 18 0 1 0 218622293 1374478336 238429 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/5911/statm: 335566 238429 102 208 0 335354 0
Current children cumulated CPU time (s) 1055.72
Current children cumulated vsize (KiB) 1354532
[startup+1083.1 s]
/proc/loadavg: 1.62 1.14 1.05 1/79 5912
/proc/meminfo: memFree=43496/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=1342264 CPUtime=1056.24
/proc/5911/stat : 5911 (siege_v4) D 5910 5910 5847 0 -1 1536 443665 0 0 0 105019 605 0 0 22 0 1 0 218622293 1374478336 238429 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/5911/statm: 335566 238429 102 208 0 335354 0
Current children cumulated CPU time (s) 1056.24
Current children cumulated vsize (KiB) 1354532
[startup+1083.9 s]
/proc/loadavg: 1.62 1.14 1.05 2/79 5912
/proc/meminfo: memFree=16104/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=1342264 CPUtime=1056.74
/proc/5911/stat : 5911 (siege_v4) D 5910 5910 5847 0 -1 1536 448225 0 0 0 105019 655 0 0 25 0 1 0 218622293 1374478336 238429 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/5911/statm: 335566 238429 102 208 0 335354 0
Current children cumulated CPU time (s) 1056.74
Current children cumulated vsize (KiB) 1354532
[startup+1084.3 s]
/proc/loadavg: 1.62 1.14 1.05 2/79 5912
/proc/meminfo: memFree=16104/2055920 swapFree=4157932/4192956
[pid=5910] ppid=5908 vsize=12268 CPUtime=0
/proc/5910/stat : 5910 (siegeadapter.pl) S 5908 5910 5847 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 218622292 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/5910/statm: 3067 352 271 3 0 167 0
[pid=5911] ppid=5910 vsize=0 CPUtime=1057.03
/proc/5911/stat : 5911 (siege_v4) R 5910 5910 5847 0 -1 1540 448445 0 0 0 105019 684 0 0 25 0 1 0 218622293 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/5911/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1057.03
Current children cumulated vsize (KiB) 12268
Child status: 0
Real time (s): 1084.32
CPU time (s): 1057.06
CPU user time (s): 1050.2
CPU system time (s): 6.85796
CPU usage (%): 97.4862
Max. virtual memory (cumulated for all children) (KiB): 1613784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1050.2
system time used= 6.85796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448886
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= 55
involuntary context switches= 21680
runsolver used 0.991849 second user time and 2.94655 second system time
The end
Begin job on node45 on Tue May 8 15:22:47 UTC 2007
IDJOB= 422513
IDBENCH= 20582
IDSOLVER= 190
FILE ID= node45/422513-1178637748
PBS_JOBID= 5218343
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_bug5.cnf
COMMAND LINE= /tmp/evaluation/422513-1178637748/siegeadapter.pl /tmp/evaluation/422513-1178637748/instance-422513-1178637748.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-422513-1178637748 -o ROOT/results/node45/solver-422513-1178637748 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422513-1178637748/siegeadapter.pl /tmp/evaluation/422513-1178637748/instance-422513-1178637748.cnf
META MD5SUM SOLVER= 69ef6d521077f526586997d0c4a9a904
MD5SUM BENCH= c77a56af24208a6401c763e11a38de01
RANDOM SEED= 736043340
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node45.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: 1012424 kB
Buffers: 39112 kB
Cached: 863344 kB
SwapCached: 14388 kB
Active: 541724 kB
Inactive: 383464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1012424 kB
SwapTotal: 4192956 kB
SwapFree: 4157932 kB
Dirty: 238316 kB
Writeback: 0 kB
Mapped: 29892 kB
Slab: 103940 kB
Committed_AS: 3948580 kB
PageTables: 1732 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 node45 on Tue May 8 15:40:53 UTC 2007