0.00/0.00 c Siege V4 output adapted for the SAT 2007 I/O conformance
1246.95/1339.01 c
1246.95/1339.01 c [ filemap ]
1246.95/1339.01 c [ extract ]
1246.95/1339.01 c
1246.95/1339.01 c variables : 521179
1246.95/1339.01 c pure lits : 0
1246.95/1339.01 c
1246.95/1339.01 c 1-clauses : 1
1246.95/1339.01 c 2-clauses : 8714562
1246.95/1339.01 c 3-clauses : 4209393
1246.95/1339.01 c n-clauses : 454661
1246.95/1339.01 c discarded : 0
1246.95/1339.01 c
1246.95/1339.01 c [ solve ]
1246.95/1339.01 s UNKNOWN
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-422522-1178638527 -o ROOT/results/node76/solver-422522-1178638527 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422522-1178638527/siegeadapter.pl /tmp/evaluation/422522-1178638527/instance-422522-1178638527.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.31 1.32 1.18 3/69 17189
/proc/meminfo: memFree=1193768/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) R 17187 17189 17003 0 -1 4194304 392 0 0 0 0 0 0 0 20 0 1 0 311769068 12566528 350 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 0 0 0 17 1 0 0
/proc/17189/statm: 3068 350 270 3 0 167 0
[pid=17190] ppid=17189 vsize=312828 CPUtime=0
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 117 0 0 0 0 0 0 0 20 0 1 0 311769068 320335872 103 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134513547 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 78207 106 66 208 0 1158 0
[startup+0.0665511 s]
/proc/loadavg: 1.31 1.32 1.18 3/69 17189
/proc/meminfo: memFree=1193768/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) R 17187 17189 17003 0 -1 4194304 392 0 0 0 0 0 0 0 20 0 1 0 311769068 12566528 350 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 0 0 0 17 1 0 0
/proc/17189/statm: 3068 350 270 3 0 167 0
[pid=17190] ppid=17189 vsize=366912 CPUtime=0.05
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 7199 0 0 0 3 2 0 0 20 0 1 0 311769068 375717888 7185 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134948312 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 91729 7189 66 208 0 14680 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 379184
[startup+0.101557 s]
/proc/loadavg: 1.31 1.32 1.18 3/69 17189
/proc/meminfo: memFree=1193768/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 400 0 0 0 0 0 0 0 19 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=373856 CPUtime=0.09
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 10887 0 0 0 5 4 0 0 20 0 1 0 311769068 382828544 10874 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134948312 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 93465 10878 66 208 0 16416 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 386128
[startup+0.301596 s]
/proc/loadavg: 1.31 1.32 1.18 3/69 17189
/proc/meminfo: memFree=1193768/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 400 0 0 0 0 0 0 0 19 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=869644 CPUtime=0.29
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 25783 0 0 0 19 10 0 0 22 0 1 0 311769068 890515456 25769 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134556457 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 217411 25771 647 208 0 140362 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 881916
[startup+0.701672 s]
/proc/loadavg: 1.31 1.32 1.18 3/69 17189
/proc/meminfo: memFree=1193768/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 400 0 0 0 0 0 0 0 19 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=889424 CPUtime=0.69
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 39472 0 0 0 55 14 0 0 25 0 1 0 311769068 910770176 39458 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134556531 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 222356 39459 8280 208 0 145307 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 901696
[startup+1.50183 s]
/proc/loadavg: 1.31 1.32 1.18 2/71 17191
/proc/meminfo: memFree=1048088/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 400 0 0 0 0 0 0 0 19 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=923400 CPUtime=1.48
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 65643 0 0 0 126 22 0 0 25 0 1 0 311769068 945561600 65629 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134557115 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 230850 65629 24019 208 0 153801 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 935672
[startup+3.10114 s]
/proc/loadavg: 1.31 1.32 1.18 2/71 17191
/proc/meminfo: memFree=994840/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 400 0 0 0 0 0 0 0 19 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=994704 CPUtime=3.08
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 117231 0 0 0 270 38 0 0 25 0 1 0 311769068 1018576896 116590 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134556531 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 248677 116591 54412 208 0 171628 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1006976
[startup+6.30176 s]
/proc/loadavg: 1.45 1.34 1.19 2/71 17191
/proc/meminfo: memFree=801368/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=818172 CPUtime=6.29
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 174819 0 0 0 568 61 0 0 25 0 1 0 311769068 837808128 97205 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 204543 97205 86 208 0 204331 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 830444
[startup+12.702 s]
/proc/loadavg: 1.57 1.37 1.20 2/71 17191
/proc/meminfo: memFree=799704/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=820728 CPUtime=12.69
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 175431 0 0 0 1207 62 0 0 25 0 1 0 311769068 840425472 97817 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134521207 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 205182 97817 86 208 0 204970 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 833000
[startup+25.5015 s]
/proc/loadavg: 1.73 1.42 1.22 2/71 17191
/proc/meminfo: memFree=800664/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=822612 CPUtime=25.48
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 175936 0 0 0 2484 64 0 0 25 0 1 0 311769068 842354688 98322 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134948312 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 205653 98322 86 208 0 205441 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 834884
[startup+51.1014 s]
/proc/loadavg: 1.48 1.38 1.21 2/71 17191
/proc/meminfo: memFree=802712/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=825140 CPUtime=51.07
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 176669 0 0 0 5041 66 0 0 25 0 1 0 311769068 844943360 99055 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 206285 99055 86 208 0 206073 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 837412
[startup+102.305 s]
/proc/loadavg: 1.21 1.32 1.20 2/71 17191
/proc/meminfo: memFree=796376/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=828224 CPUtime=102.25
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 178265 0 0 0 10157 68 0 0 25 0 1 0 311769068 848101376 100651 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527916 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 207056 100651 86 208 0 206844 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 840496
[startup+162.302 s]
/proc/loadavg: 1.07 1.26 1.18 2/71 17191
/proc/meminfo: memFree=791576/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=830360 CPUtime=162.23
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 179471 0 0 0 16153 70 0 0 25 0 1 0 311769068 850288640 101857 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527916 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 207590 101857 86 208 0 207378 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 842632
[startup+222.302 s]
/proc/loadavg: 1.02 1.21 1.17 2/71 17191
/proc/meminfo: memFree=766424/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=832400 CPUtime=222.21
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 185734 0 0 0 22148 73 0 0 25 0 1 0 311769068 852377600 108120 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134541747 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 208100 108120 86 208 0 207888 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 844672
[startup+282.301 s]
/proc/loadavg: 1.01 1.17 1.16 2/71 17191
/proc/meminfo: memFree=756056/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=832400 CPUtime=282.19
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 188333 0 0 0 28143 76 0 0 25 0 1 0 311769068 852377600 110719 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134516737 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 208100 110719 86 208 0 207888 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 844672
[startup+342.302 s]
/proc/loadavg: 1.00 1.14 1.15 2/71 17191
/proc/meminfo: memFree=739288/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=848916 CPUtime=342.17
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 196656 0 0 0 34135 82 0 0 25 0 1 0 311769068 869289984 114970 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543370 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 212229 114970 86 208 0 212017 0
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/71 17193
/proc/meminfo: memFree=334360/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=1338328 CPUtime=1061.92
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 419701 0 0 0 105977 215 0 0 25 0 1 0 311769068 1370447872 215862 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543134 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 334582 215862 86 208 0 334370 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1350600
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/71 17193
/proc/meminfo: memFree=307992/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=1338328 CPUtime=1121.9
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 426198 0 0 0 111969 221 0 0 25 0 1 0 311769068 1370447872 222359 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543319 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 334582 222359 86 208 0 334370 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1350600
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/71 17193
/proc/meminfo: memFree=279640/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=1338356 CPUtime=1181.88
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 433397 0 0 0 117960 228 0 0 25 0 1 0 311769068 1370476544 229558 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543392 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 334589 229558 86 208 0 334377 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1350628
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/71 17193
/proc/meminfo: memFree=246808/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=1338356 CPUtime=1241.86
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 0 441498 0 0 0 123952 234 0 0 25 0 1 0 311769068 1370476544 237659 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134541092 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 334589 237659 86 208 0 334377 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1350628
[startup+1302.3 s]
/proc/loadavg: 2.97 1.52 1.20 1/71 17193
/proc/meminfo: memFree=26136/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=1339380 CPUtime=1245.75
/proc/17190/stat : 17190 (siege_v4) D 17189 17189 17003 0 -1 1536 442897 0 0 0 124053 522 0 0 18 0 1 0 311769068 1371525120 237813 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563611212 0 0 17 1 0 0
/proc/17190/statm: 334845 237813 102 208 0 334633 0
Current children cumulated CPU time (s) 1245.75
Current children cumulated vsize (KiB) 1351652
Solver just ended. Dumping a history of the last processes samples
[startup+1305.5 s]
/proc/loadavg: 2.97 1.52 1.20 1/71 17193
/proc/meminfo: memFree=26648/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=1339380 CPUtime=1245.75
/proc/17190/stat : 17190 (siege_v4) D 17189 17189 17003 0 -1 1536 442897 0 0 0 124053 522 0 0 18 0 1 0 311769068 1371525120 237813 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563611212 0 0 17 1 0 0
/proc/17190/statm: 334845 237813 102 208 0 334633 0
Current children cumulated CPU time (s) 1245.75
Current children cumulated vsize (KiB) 1351652
[startup+1318.3 s]
/proc/loadavg: 3.42 1.69 1.26 1/71 17193
/proc/meminfo: memFree=29784/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=1339380 CPUtime=1245.75
/proc/17190/stat : 17190 (siege_v4) D 17189 17189 17003 0 -1 1536 442897 0 0 0 124053 522 0 0 18 0 1 0 311769068 1371525120 237813 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563611212 0 0 17 1 0 0
/proc/17190/statm: 334845 237813 102 208 0 334633 0
Current children cumulated CPU time (s) 1245.75
Current children cumulated vsize (KiB) 1351652
[startup+1331.1 s]
/proc/loadavg: 3.77 1.86 1.32 1/71 17193
/proc/meminfo: memFree=43288/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=1339380 CPUtime=1245.75
/proc/17190/stat : 17190 (siege_v4) D 17189 17189 17003 0 -1 1536 442897 0 0 0 124053 522 0 0 18 0 1 0 311769068 1371525120 237813 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563611212 0 0 17 1 0 0
/proc/17190/statm: 334845 237813 102 208 0 334633 0
Current children cumulated CPU time (s) 1245.75
Current children cumulated vsize (KiB) 1351652
[startup+1334.31 s]
/proc/loadavg: 3.77 1.86 1.32 1/71 17193
/proc/meminfo: memFree=44184/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=1339380 CPUtime=1245.75
/proc/17190/stat : 17190 (siege_v4) D 17189 17189 17003 0 -1 1536 442897 0 0 0 124053 522 0 0 18 0 1 0 311769068 1371525120 237813 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563611212 0 0 17 1 0 0
/proc/17190/statm: 334845 237813 102 208 0 334633 0
Current children cumulated CPU time (s) 1245.75
Current children cumulated vsize (KiB) 1351652
[startup+1337.5 s]
/proc/loadavg: 3.87 1.91 1.34 1/71 17193
/proc/meminfo: memFree=15576/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=1339380 CPUtime=1246.24
/proc/17190/stat : 17190 (siege_v4) D 17189 17189 17003 0 -1 1536 442897 0 0 0 124053 571 0 0 22 0 1 0 311769068 1371525120 237813 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563611212 0 0 17 1 0 0
/proc/17190/statm: 334845 237813 102 208 0 334633 0
Current children cumulated CPU time (s) 1246.24
Current children cumulated vsize (KiB) 1351652
[startup+1338.3 s]
/proc/loadavg: 3.87 1.91 1.34 1/71 17193
/proc/meminfo: memFree=15576/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=1339380 CPUtime=1246.69
/proc/17190/stat : 17190 (siege_v4) D 17189 17189 17003 0 -1 1536 447600 0 0 0 124053 616 0 0 25 0 1 0 311769068 1371525120 237813 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563611212 0 0 17 1 0 0
/proc/17190/statm: 334845 237813 102 208 0 334633 0
Current children cumulated CPU time (s) 1246.69
Current children cumulated vsize (KiB) 1351652
[startup+1338.71 s]
/proc/loadavg: 3.87 1.91 1.34 1/71 17193
/proc/meminfo: memFree=15768/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=1339380 CPUtime=1246.69
/proc/17190/stat : 17190 (siege_v4) D 17189 17189 17003 0 -1 1536 447600 0 0 0 124053 616 0 0 25 0 1 0 311769068 1371525120 237813 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 135027537 0 0 4096 0 18446744071563611212 0 0 17 1 0 0
/proc/17190/statm: 334845 237813 102 208 0 334633 0
Current children cumulated CPU time (s) 1246.69
Current children cumulated vsize (KiB) 1351652
[startup+1338.9 s]
/proc/loadavg: 3.87 1.91 1.34 1/71 17193
/proc/meminfo: memFree=15768/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=0 CPUtime=1246.85
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 1540 447706 0 0 0 124053 632 0 0 25 0 1 0 311769068 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1246.85
Current children cumulated vsize (KiB) 12272
[startup+1339 s]
/proc/loadavg: 3.87 1.91 1.34 1/71 17193
/proc/meminfo: memFree=15768/2055888 swapFree=4087224/4096564
[pid=17189] ppid=17187 vsize=12272 CPUtime=0
/proc/17189/stat : 17189 (siegeadapter.pl) S 17187 17189 17003 0 -1 4194304 401 0 0 0 0 0 0 0 16 0 1 0 311769068 12566528 351 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206852632722 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/17189/statm: 3068 351 270 3 0 167 0
[pid=17190] ppid=17189 vsize=0 CPUtime=1246.95
/proc/17190/stat : 17190 (siege_v4) R 17189 17189 17003 0 -1 1540 447706 0 0 0 124053 642 0 0 25 0 1 0 311769068 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/17190/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1246.95
Current children cumulated vsize (KiB) 12272
Child status: 0
Real time (s): 1339.01
CPU time (s): 1246.98
CPU user time (s): 1240.54
CPU system time (s): 6.44102
CPU usage (%): 93.1267
Max. virtual memory (cumulated for all children) (KiB): 1610940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1240.54
system time used= 6.44102
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448142
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= 185
involuntary context switches= 1232
runsolver used 0.969852 second user time and 2.71559 second system time
The end
Begin job on node76 on Tue May 8 15:35:45 UTC 2007
IDJOB= 422522
IDBENCH= 20591
IDSOLVER= 190
FILE ID= node76/422522-1178638527
PBS_JOBID= 5218346
Free space on /tmp= 66350 MiB
SOLVER NAME= Siege V4
BENCH NAME= HOME/pub/bench/SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug8.cnf
COMMAND LINE= /tmp/evaluation/422522-1178638527/siegeadapter.pl /tmp/evaluation/422522-1178638527/instance-422522-1178638527.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-422522-1178638527 -o ROOT/results/node76/solver-422522-1178638527 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422522-1178638527/siegeadapter.pl /tmp/evaluation/422522-1178638527/instance-422522-1178638527.cnf
META MD5SUM SOLVER= 69ef6d521077f526586997d0c4a9a904
MD5SUM BENCH= 5fe5b52b05e512edbe82e7d139ac7362
RANDOM SEED= 165451214
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.277
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 : 6006.17
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.277
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1194432 kB
Buffers: 29860 kB
Cached: 676684 kB
SwapCached: 2968 kB
Active: 402892 kB
Inactive: 352020 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1194432 kB
SwapTotal: 4096564 kB
SwapFree: 4087224 kB
Dirty: 221320 kB
Writeback: 0 kB
Mapped: 53336 kB
Slab: 92844 kB
Committed_AS: 5805980 kB
PageTables: 1512 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65421 MiB
End job on node76 on Tue May 8 15:58:11 UTC 2007