0.00/0.00 c Siege V4 output adapted for the SAT 2007 I/O conformance
1173.28/1173.61 c
1173.28/1173.61 c [ filemap ]
1173.28/1173.61 c [ extract ]
1173.28/1173.61 c
1173.28/1173.61 c variables : 148153
1173.28/1173.61 c pure lits : 1279
1173.28/1173.61 c
1173.28/1173.61 c 1-clauses : 125
1173.28/1173.61 c 2-clauses : 791651
1173.28/1173.61 c 3-clauses : 139269
1173.28/1173.61 c n-clauses : 6197
1173.28/1173.61 c discarded : 0
1173.28/1173.61 c
1173.28/1173.61 c [ solve ]
1173.28/1173.61 c
1173.28/1173.61 s UNSATISFIABLE
1173.28/1173.61 c
1173.28/1173.61 c [ stats ]
1173.28/1173.61 c
1173.28/1173.61 c decisions : 193407
1173.28/1173.61 c conflicts : 123636
1173.28/1173.61 c time : ~1172.75
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node63/watcher-422377-1178588017 -o ROOT/results/node63/solver-422377-1178588017 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422377-1178588017/siegeadapter.pl /tmp/evaluation/422377-1178588017/instance-422377-1178588017.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.92 0.96 0.97 3/64 17185
/proc/meminfo: memFree=1820988/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) R 17183 17185 16713 0 -1 4194304 396 0 0 0 0 0 0 0 19 0 1 0 334791734 12562432 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 0 0 0 17 1 0 0
/proc/17185/statm: 3067 351 271 3 0 167 0
[pid=17186] ppid=17185 vsize=18056 CPUtime=0
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 91 0 0 0 0 0 0 0 19 0 1 0 334791735 18489344 77 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134553228 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 4841 80 66 208 0 339 0
[startup+0.048928 s]
/proc/loadavg: 0.92 0.96 0.97 3/64 17185
/proc/meminfo: memFree=1820988/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=39128 CPUtime=0.04
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 4447 0 0 0 1 3 0 0 19 0 1 0 334791735 40067072 4433 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134515431 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 9784 4436 66 208 0 5282 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 51396
[startup+0.102933 s]
/proc/loadavg: 0.92 0.96 0.97 3/64 17185
/proc/meminfo: memFree=1820988/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=459556 CPUtime=0.08
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 7769 0 0 0 4 4 0 0 19 0 1 0 334791735 470585344 7754 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134556531 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 114890 7756 312 208 0 110388 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 471824
[startup+0.301954 s]
/proc/loadavg: 0.92 0.96 0.97 3/64 17185
/proc/meminfo: memFree=1820988/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 403 0 0 0 0 0 0 0 19 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=473860 CPUtime=0.29
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 14776 0 0 0 22 7 0 0 20 0 1 0 334791735 485232640 14761 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134556531 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 118465 14762 3444 208 0 113963 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 486128
[startup+0.702996 s]
/proc/loadavg: 0.92 0.96 0.97 3/64 17185
/proc/meminfo: memFree=1820988/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=462184 CPUtime=0.69
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 17700 0 0 0 61 8 0 0 24 0 1 0 334791735 473276416 13356 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530338 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 115546 13356 86 208 0 115334 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 474452
[startup+1.50208 s]
/proc/loadavg: 0.93 0.96 0.97 2/66 17187
/proc/meminfo: memFree=1767212/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=462252 CPUtime=1.49
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 17837 0 0 0 141 8 0 0 25 0 1 0 334791735 473346048 13493 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530224 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 115563 13493 86 208 0 115351 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 474520
[startup+3.10125 s]
/proc/loadavg: 0.93 0.96 0.97 2/66 17187
/proc/meminfo: memFree=1766508/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=462408 CPUtime=3.09
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 17888 0 0 0 300 9 0 0 25 0 1 0 334791735 473505792 13544 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 115602 13544 86 208 0 115390 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 474676
[startup+6.30159 s]
/proc/loadavg: 0.93 0.96 0.97 2/66 17187
/proc/meminfo: memFree=1766188/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=462436 CPUtime=6.29
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 17953 0 0 0 620 9 0 0 25 0 1 0 334791735 473534464 13609 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 115609 13609 86 208 0 115397 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 474704
[startup+12.7013 s]
/proc/loadavg: 0.94 0.96 0.97 2/66 17187
/proc/meminfo: memFree=1765868/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=462508 CPUtime=12.68
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 18057 0 0 0 1259 9 0 0 25 0 1 0 334791735 473608192 13713 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 115627 13713 86 208 0 115415 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 474776
[startup+25.5016 s]
/proc/loadavg: 0.95 0.96 0.97 2/66 17187
/proc/meminfo: memFree=1764972/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=462644 CPUtime=25.49
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 18282 0 0 0 2539 10 0 0 25 0 1 0 334791735 473747456 13938 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 115661 13938 86 208 0 115449 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 474912
[startup+51.1013 s]
/proc/loadavg: 0.96 0.97 0.97 2/66 17187
/proc/meminfo: memFree=1763308/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=462972 CPUtime=51.06
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 18701 0 0 0 5096 10 0 0 25 0 1 0 334791735 474083328 14357 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 115743 14357 86 208 0 115531 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 475240
[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.97 2/66 17187
/proc/meminfo: memFree=1759724/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=463528 CPUtime=102.25
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 19590 0 0 0 10214 11 0 0 25 0 1 0 334791735 474652672 15246 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 115882 15246 86 208 0 115670 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 475796
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17187
/proc/meminfo: memFree=1755884/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=463868 CPUtime=162.23
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 20560 0 0 0 16211 12 0 0 25 0 1 0 334791735 475000832 16216 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 115967 16216 86 208 0 115755 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 476136
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17187
/proc/meminfo: memFree=1750828/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=464704 CPUtime=222.21
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 21797 0 0 0 22208 13 0 0 25 0 1 0 334791735 475856896 17453 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529979 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 116176 17453 86 208 0 115964 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 476972
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17187
/proc/meminfo: memFree=1624044/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=612200 CPUtime=282.2
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 90502 0 0 0 28175 45 0 0 25 0 1 0 334791735 626892800 50275 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543635 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 153050 50275 86 208 0 152838 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 624468
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17187
/proc/meminfo: memFree=1490796/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=850604 CPUtime=342.19
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 159465 0 0 0 34144 75 0 0 25 0 1 0 334791735 871018496 82199 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 212651 82199 86 208 0 212439 0
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17189
/proc/meminfo: memFree=1408364/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=929264 CPUtime=882.04
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 180549 0 0 0 88119 85 0 0 25 0 1 0 334791735 951566336 102704 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 232316 102704 86 208 0 232104 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 941532
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17189
/proc/meminfo: memFree=1408236/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=929420 CPUtime=942.03
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 180585 0 0 0 94118 85 0 0 25 0 1 0 334791735 951726080 102740 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 232355 102740 86 208 0 232143 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 941688
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17189
/proc/meminfo: memFree=1407980/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=929672 CPUtime=1002.01
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 180640 0 0 0 100116 85 0 0 25 0 1 0 334791735 951984128 102795 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 232418 102795 86 208 0 232206 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 941940
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17189
/proc/meminfo: memFree=1406124/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=930188 CPUtime=1062
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 181108 0 0 0 106114 86 0 0 25 0 1 0 334791735 952512512 103263 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 232547 103263 86 208 0 232335 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 942456
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17189
/proc/meminfo: memFree=1403756/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=930228 CPUtime=1121.98
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 181679 0 0 0 112112 86 0 0 25 0 1 0 334791735 952553472 103834 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 232557 103834 86 208 0 232345 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 942496
Solver just ended. Dumping a history of the last processes samples
[startup+1126.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17189
/proc/meminfo: memFree=1403564/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=930232 CPUtime=1125.98
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 181721 0 0 0 112512 86 0 0 25 0 1 0 334791735 952557568 103876 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 232558 103876 86 208 0 232346 0
Current children cumulated CPU time (s) 1125.98
Current children cumulated vsize (KiB) 942500
[startup+1151.9 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17189
/proc/meminfo: memFree=1402540/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=930304 CPUtime=1151.57
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 181984 0 0 0 115071 86 0 0 25 0 1 0 334791735 952631296 104139 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 232576 104139 86 208 0 232364 0
Current children cumulated CPU time (s) 1151.57
Current children cumulated vsize (KiB) 942572
[startup+1164.7 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17189
/proc/meminfo: memFree=1401836/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=930344 CPUtime=1164.38
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 182159 0 0 0 116351 87 0 0 25 0 1 0 334791735 952672256 104314 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 232586 104314 86 208 0 232374 0
Current children cumulated CPU time (s) 1164.38
Current children cumulated vsize (KiB) 942612
[startup+1167.9 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17189
/proc/meminfo: memFree=1401772/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=930344 CPUtime=1167.57
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 182177 0 0 0 116670 87 0 0 25 0 1 0 334791735 952672256 104332 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134531379 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 232586 104332 86 208 0 232374 0
Current children cumulated CPU time (s) 1167.57
Current children cumulated vsize (KiB) 942612
[startup+1171.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17189
/proc/meminfo: memFree=1401708/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=930360 CPUtime=1170.77
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 182198 0 0 0 116990 87 0 0 25 0 1 0 334791735 952688640 104353 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530127 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 232590 104353 86 208 0 232378 0
Current children cumulated CPU time (s) 1170.77
Current children cumulated vsize (KiB) 942628
[startup+1172.7 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17189
/proc/meminfo: memFree=1401644/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=930360 CPUtime=1172.37
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 182205 0 0 0 117150 87 0 0 25 0 1 0 334791735 952688640 104360 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 232590 104360 86 208 0 232378 0
Current children cumulated CPU time (s) 1172.37
Current children cumulated vsize (KiB) 942628
[startup+1173.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17189
/proc/meminfo: memFree=1401644/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=930360 CPUtime=1172.77
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 182208 0 0 0 117190 87 0 0 25 0 1 0 334791735 952688640 104363 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 232590 104363 86 208 0 232378 0
Current children cumulated CPU time (s) 1172.77
Current children cumulated vsize (KiB) 942628
[startup+1173.5 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17189
/proc/meminfo: memFree=1401644/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=219464 CPUtime=1173.17
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 182220 0 0 0 117227 90 0 0 25 0 1 0 334791735 224731136 52245 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134943094 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 54866 52245 95 208 0 54654 0
Current children cumulated CPU time (s) 1173.17
Current children cumulated vsize (KiB) 231732
[startup+1173.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 17189
/proc/meminfo: memFree=1756696/2055920 swapFree=4183072/4192956
[pid=17185] ppid=17183 vsize=12268 CPUtime=0
/proc/17185/stat : 17185 (siegeadapter.pl) S 17183 17185 16713 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 334791734 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 247263703138 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17185/statm: 3067 352 271 3 0 167 0
[pid=17186] ppid=17185 vsize=219292 CPUtime=1173.28
/proc/17186/stat : 17186 (siege_v4) R 17185 17185 16713 0 -1 0 182220 0 0 0 117235 93 0 0 25 0 1 0 334791735 224555008 52203 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135101734 0 0 4096 0 0 0 0 17 1 0 0
/proc/17186/statm: 54823 52203 42599 208 0 54611 0
Current children cumulated CPU time (s) 1173.28
Current children cumulated vsize (KiB) 231560
Child status: 0
Real time (s): 1173.62
CPU time (s): 1173.3
CPU user time (s): 1172.35
CPU system time (s): 0.943856
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 942628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1172.35
system time used= 0.943856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182661
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= 17
involuntary context switches= 1976
runsolver used 0.927858 second user time and 2.28665 second system time
The end
Begin job on node63 on Tue May 8 01:33:38 UTC 2007
IDJOB= 422377
IDBENCH= 20430
IDSOLVER= 190
FILE ID= node63/422377-1178588017
PBS_JOBID= 5217940
Free space on /tmp= 66544 MiB
SOLVER NAME= Siege V4
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/medium/blocks-4-ipc5-h22-unknown.cnf
COMMAND LINE= /tmp/evaluation/422377-1178588017/siegeadapter.pl /tmp/evaluation/422377-1178588017/instance-422377-1178588017.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-422377-1178588017 -o ROOT/results/node63/solver-422377-1178588017 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422377-1178588017/siegeadapter.pl /tmp/evaluation/422377-1178588017/instance-422377-1178588017.cnf
META MD5SUM SOLVER= 69ef6d521077f526586997d0c4a9a904
MD5SUM BENCH= 8c6ad18be635cee0d986377c4d06ab11
RANDOM SEED= 986438384
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node63.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1821396 kB
Buffers: 12028 kB
Cached: 131968 kB
SwapCached: 3904 kB
Active: 41072 kB
Inactive: 112796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1821396 kB
SwapTotal: 4192956 kB
SwapFree: 4183072 kB
Dirty: 18032 kB
Writeback: 0 kB
Mapped: 15876 kB
Slab: 66624 kB
Committed_AS: 5960108 kB
PageTables: 1460 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66543 MiB
End job on node63 on Tue May 8 01:53:12 UTC 2007