0.00/0.00 c Siege V4 output adapted for the SAT 2007 I/O conformance
1185.22/1185.88 c
1185.22/1185.88 c [ filemap ]
1185.22/1185.88 c [ extract ]
1185.22/1185.88 c
1185.22/1185.88 c variables : 183371
1185.22/1185.88 c pure lits : 0
1185.22/1185.88 c
1185.22/1185.88 c 1-clauses : 1
1185.22/1185.88 c 2-clauses : 364718
1185.22/1185.88 c 3-clauses : 182359
1185.22/1185.88 c n-clauses : 0
1185.22/1185.88 c discarded : 0
1185.22/1185.88 c
1185.22/1185.88 c [ solve ]
1185.22/1185.88 c
1185.22/1185.88 s UNSATISFIABLE
1185.22/1185.88 c
1185.22/1185.88 c [ stats ]
1185.22/1185.88 c
1185.22/1185.88 c decisions : 1724477
1185.22/1185.88 c conflicts : 593795
1185.22/1185.88 c time : ~1184.78
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node66/watcher-422427-1178596204 -o ROOT/results/node66/solver-422427-1178596204 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422427-1178596204/siegeadapter.pl /tmp/evaluation/422427-1178596204/instance-422427-1178596204.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.85 0.97 0.96 3/64 30192
/proc/meminfo: memFree=1529328/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) R 30190 30192 30130 0 -1 4194304 382 0 0 0 0 0 0 0 18 0 1 0 335610040 12562432 350 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227607636639 0 0 4224 0 0 0 0 17 1 0 0
/proc/30192/statm: 3067 350 270 3 0 167 0
[pid=30193] ppid=30192 vsize=12060 CPUtime=0
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 95 0 0 0 0 0 0 0 18 0 1 0 335610040 12349440 80 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134949222 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 3015 80 66 208 0 417 0
[startup+0.100827 s]
/proc/loadavg: 0.85 0.97 0.96 3/64 30192
/proc/meminfo: memFree=1529328/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=445056 CPUtime=0.09
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 8549 0 0 0 6 3 0 0 19 0 1 0 335610040 455737344 8534 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134949222 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 111264 8534 70 208 0 108666 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 457324
[startup+0.201846 s]
/proc/loadavg: 0.85 0.97 0.96 3/64 30192
/proc/meminfo: memFree=1529328/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=472864 CPUtime=0.18
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 12606 0 0 0 14 4 0 0 20 0 1 0 335610040 484212736 12591 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134948312 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 118217 12592 1113 208 0 115619 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 485132
[startup+0.301866 s]
/proc/loadavg: 0.85 0.97 0.96 3/64 30192
/proc/meminfo: memFree=1529328/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=483796 CPUtime=0.29
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 16478 0 0 0 23 6 0 0 20 0 1 0 335610040 495407104 16464 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134948312 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 120949 16465 2254 208 0 118351 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 496064
[startup+0.701945 s]
/proc/loadavg: 0.85 0.97 0.96 3/64 30192
/proc/meminfo: memFree=1529328/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=475148 CPUtime=0.68
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 17706 0 0 0 62 6 0 0 24 0 1 0 335610040 486551552 15258 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530258 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 118787 15258 86 208 0 118575 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 487416
[startup+1.5011 s]
/proc/loadavg: 0.85 0.97 0.96 2/66 30194
/proc/meminfo: memFree=1467936/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=475152 CPUtime=1.48
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 17717 0 0 0 142 6 0 0 25 0 1 0 335610040 486555648 15269 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529811 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 118788 15269 86 208 0 118576 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 487420
[startup+3.10142 s]
/proc/loadavg: 0.85 0.97 0.96 2/66 30194
/proc/meminfo: memFree=1467744/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=475164 CPUtime=3.08
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 17739 0 0 0 302 6 0 0 25 0 1 0 335610040 486567936 15291 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 118791 15291 86 208 0 118579 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 487432
[startup+6.30106 s]
/proc/loadavg: 0.86 0.97 0.96 2/66 30194
/proc/meminfo: memFree=1467232/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=475204 CPUtime=6.28
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 17832 0 0 0 621 7 0 0 25 0 1 0 335610040 486608896 15384 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 118801 15384 86 208 0 118589 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 487472
[startup+12.7013 s]
/proc/loadavg: 0.87 0.97 0.96 2/66 30194
/proc/meminfo: memFree=1467104/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=475252 CPUtime=12.68
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 17907 0 0 0 1261 7 0 0 25 0 1 0 335610040 486658048 15459 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 118813 15459 86 208 0 118601 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 487520
[startup+25.5019 s]
/proc/loadavg: 0.90 0.97 0.96 2/66 30194
/proc/meminfo: memFree=1465824/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=475532 CPUtime=25.48
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 18233 0 0 0 2540 8 0 0 25 0 1 0 335610040 486944768 15785 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 118883 15785 86 208 0 118671 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 487800
[startup+51.102 s]
/proc/loadavg: 0.93 0.97 0.96 2/66 30194
/proc/meminfo: memFree=1462368/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=476136 CPUtime=51.04
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 19119 0 0 0 5096 8 0 0 25 0 1 0 335610040 487563264 16671 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 119034 16671 86 208 0 118822 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 488404
[startup+102.301 s]
/proc/loadavg: 0.97 0.97 0.96 2/66 30194
/proc/meminfo: memFree=1409184/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=520592 CPUtime=102.22
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 42380 0 0 0 10202 20 0 0 25 0 1 0 335610040 533086208 29902 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530194 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 130148 29902 86 208 0 129936 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 532860
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30194
/proc/meminfo: memFree=1402144/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=523824 CPUtime=162.2
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 44135 0 0 0 16198 22 0 0 25 0 1 0 335610040 536395776 31657 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543165 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 130956 31657 86 208 0 130744 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 536092
[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30194
/proc/meminfo: memFree=1394464/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=527876 CPUtime=222.18
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 46050 0 0 0 22194 24 0 0 25 0 1 0 335610040 540545024 33572 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 131969 33572 86 208 0 131757 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 540144
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30194
/proc/meminfo: memFree=1387296/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=532840 CPUtime=282.15
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 47810 0 0 0 28190 25 0 0 25 0 1 0 335610040 545628160 35332 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 133210 35332 86 208 0 132998 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 545108
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30194
/proc/meminfo: memFree=1380960/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=536640 CPUtime=342.13
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 49381 0 0 0 34187 26 0 0 25 0 1 0 335610040 549519360 36903 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530194 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 134160 36903 86 208 0 133948 0
################
# More data... #
################
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30194
/proc/meminfo: memFree=1359264/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=547292 CPUtime=642.02
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 55170 0 0 0 64169 33 0 0 25 0 1 0 335610040 560427008 42308 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 136823 42308 86 208 0 136611 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 559560
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/72 30366
/proc/meminfo: memFree=1355504/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=549764 CPUtime=701.91
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 55772 0 0 0 70158 33 0 0 25 0 1 0 335610040 562958336 42910 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 137441 42910 86 208 0 137229 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 562032
[startup+762.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30392
/proc/meminfo: memFree=1350304/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=551012 CPUtime=761.88
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 57358 0 0 0 76153 35 0 0 25 0 1 0 335610040 564236288 44496 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 137753 44496 86 208 0 137541 0
Current children cumulated CPU time (s) 761.88
Current children cumulated vsize (KiB) 563280
[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30392
/proc/meminfo: memFree=1349408/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=551980 CPUtime=821.85
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 57587 0 0 0 82150 35 0 0 25 0 1 0 335610040 565227520 44725 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530241 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 137995 44725 86 208 0 137783 0
Current children cumulated CPU time (s) 821.85
Current children cumulated vsize (KiB) 564248
[startup+882.306 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30392
/proc/meminfo: memFree=1347040/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=552456 CPUtime=881.83
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 58175 0 0 0 88148 35 0 0 25 0 1 0 335610040 565714944 45313 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 138114 45313 86 208 0 137902 0
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (KiB) 564724
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30392
/proc/meminfo: memFree=1344544/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=553428 CPUtime=941.81
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 58805 0 0 0 94144 37 0 0 25 0 1 0 335610040 566710272 45943 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529300 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 138357 45943 86 208 0 138145 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 565696
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30392
/proc/meminfo: memFree=1342048/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=555924 CPUtime=1001.78
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 59414 0 0 0 100141 37 0 0 25 0 1 0 335610040 569266176 46552 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528947 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 138981 46552 86 208 0 138769 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 568192
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30392
/proc/meminfo: memFree=1334944/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=557084 CPUtime=1061.76
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 61189 0 0 0 106137 39 0 0 25 0 1 0 335610040 570454016 48327 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528135 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 139271 48327 86 208 0 139059 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 569352
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30392
/proc/meminfo: memFree=1333728/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=558372 CPUtime=1121.74
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 61506 0 0 0 112134 40 0 0 25 0 1 0 335610040 571772928 48644 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528745 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 139593 48644 86 208 0 139381 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 570640
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30392
/proc/meminfo: memFree=1332064/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=560164 CPUtime=1181.72
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 61936 0 0 0 118132 40 0 0 25 0 1 0 335610040 573607936 49074 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528244 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 140041 49074 86 208 0 139829 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 572432
Solver just ended. Dumping a history of the last processes samples
[startup+1184 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30392
/proc/meminfo: memFree=1332064/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=560220 CPUtime=1183.41
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 61948 0 0 0 118301 40 0 0 25 0 1 0 335610040 573665280 49086 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529335 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 140055 49086 86 208 0 139843 0
Current children cumulated CPU time (s) 1183.41
Current children cumulated vsize (KiB) 572488
[startup+1184.81 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30392
/proc/meminfo: memFree=1332000/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=560220 CPUtime=1184.22
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 61949 0 0 0 118382 40 0 0 25 0 1 0 335610040 573665280 49087 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530132 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 140055 49087 86 208 0 139843 0
Current children cumulated CPU time (s) 1184.22
Current children cumulated vsize (KiB) 572488
[startup+1185.6 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30392
/proc/meminfo: memFree=1332000/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=560228 CPUtime=1185.01
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 61951 0 0 0 118461 40 0 0 25 0 1 0 335610040 573673472 49089 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 140057 49089 86 208 0 139845 0
Current children cumulated CPU time (s) 1185.01
Current children cumulated vsize (KiB) 572496
[startup+1185.8 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 30392
/proc/meminfo: memFree=1434848/2055920 swapFree=4183156/4192956
[pid=30192] ppid=30190 vsize=12268 CPUtime=0
/proc/30192/stat : 30192 (siegeadapter.pl) S 30190 30192 30130 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 335610040 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30192/statm: 3067 352 271 3 0 167 0
[pid=30193] ppid=30192 vsize=94612 CPUtime=1185.22
/proc/30193/stat : 30193 (siege_v4) R 30192 30192 30130 0 -1 0 61962 0 0 0 118480 42 0 0 25 0 1 0 335610040 96882688 23338 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134940976 0 0 4096 0 0 0 0 17 1 0 0
/proc/30193/statm: 23653 23338 95 208 0 23441 0
Current children cumulated CPU time (s) 1185.22
Current children cumulated vsize (KiB) 106880
Child status: 0
Real time (s): 1185.89
CPU time (s): 1185.31
CPU user time (s): 1184.87
CPU system time (s): 0.446932
CPU usage (%): 99.9518
Max. virtual memory (cumulated for all children) (KiB): 572496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1184.87
system time used= 0.446932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62403
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= 2582
runsolver used 0.974851 second user time and 2.32665 second system time
The end
Begin job on node66 on Tue May 8 03:50:05 UTC 2007
IDJOB= 422427
IDBENCH= 20496
IDSOLVER= 190
FILE ID= node66/422427-1178596204
PBS_JOBID= 5217991
Free space on /tmp= 66554 MiB
SOLVER NAME= Siege V4
BENCH NAME= HOME/pub/bench/SAT07/industrial/manolios/manol-pipe-f9b.cnf
COMMAND LINE= /tmp/evaluation/422427-1178596204/siegeadapter.pl /tmp/evaluation/422427-1178596204/instance-422427-1178596204.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-422427-1178596204 -o ROOT/results/node66/solver-422427-1178596204 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422427-1178596204/siegeadapter.pl /tmp/evaluation/422427-1178596204/instance-422427-1178596204.cnf
META MD5SUM SOLVER= 69ef6d521077f526586997d0c4a9a904
MD5SUM BENCH= c3e7cb16bced9d54ce489b6e95d89943
RANDOM SEED= 135965070
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node66.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.281
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.281
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: 1529800 kB
Buffers: 28896 kB
Cached: 396996 kB
SwapCached: 3732 kB
Active: 62116 kB
Inactive: 373208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1529800 kB
SwapTotal: 4192956 kB
SwapFree: 4183156 kB
Dirty: 10616 kB
Writeback: 0 kB
Mapped: 15492 kB
Slab: 76928 kB
Committed_AS: 5137768 kB
PageTables: 1376 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= 66554 MiB
End job on node66 on Tue May 8 04:09:51 UTC 2007