0.00/0.00 c Siege V4 output adapted for the SAT 2007 I/O conformance
3175.55/3176.53 c
3175.55/3176.53 c [ filemap ]
3175.55/3176.53 c [ extract ]
3175.55/3176.53 c
3175.55/3176.53 c variables : 95863
3175.55/3176.53 c pure lits : 0
3175.55/3176.53 c
3175.55/3176.53 c 1-clauses : 1
3175.55/3176.53 c 2-clauses : 188908
3175.55/3176.53 c 3-clauses : 94454
3175.55/3176.53 c n-clauses : 0
3175.55/3176.53 c discarded : 0
3175.55/3176.53 c
3175.55/3176.53 c [ solve ]
3175.55/3176.53 c
3175.55/3176.53 s UNSATISFIABLE
3175.55/3176.53 c
3175.55/3176.53 c [ stats ]
3175.55/3176.53 c
3175.55/3176.53 c decisions : 6798666
3175.55/3176.53 c conflicts : 1676800
3175.55/3176.53 c time : ~3175.29
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-422431-1178597572 -o ROOT/results/node50/solver-422431-1178597572 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422431-1178597572/siegeadapter.pl /tmp/evaluation/422431-1178597572/instance-422431-1178597572.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.99 3/64 2193
/proc/meminfo: memFree=1824544/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) R 2190 2193 2126 0 -1 4194304 382 0 0 0 0 0 0 0 18 0 1 0 214602426 12562432 350 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240577473183 0 0 4224 0 0 0 0 17 1 0 0
/proc/2193/statm: 3067 350 270 3 0 167 0
[pid=2194] ppid=2193 vsize=6388 CPUtime=0
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 100 0 0 0 0 0 0 0 18 0 1 0 214602427 6541312 85 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134513547 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 1597 89 66 208 0 223 0
[startup+0.078393 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 2193
/proc/meminfo: memFree=1824544/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=431424 CPUtime=0.06
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 5559 0 0 0 4 2 0 0 19 0 1 0 214602427 441778176 5545 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134948312 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 107857 5546 295 208 0 106483 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 443692
[startup+0.101394 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 2193
/proc/meminfo: memFree=1824544/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=433948 CPUtime=0.09
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 6442 0 0 0 6 3 0 0 19 0 1 0 214602427 444362752 6427 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134948312 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 108488 6428 547 208 0 107114 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 446216
[startup+0.301412 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 2193
/proc/meminfo: memFree=1824544/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=435956 CPUtime=0.28
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 9151 0 0 0 24 4 0 0 21 0 1 0 214602427 446418944 7972 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134546497 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 108989 7972 86 208 0 108777 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 448224
[startup+0.701446 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 2193
/proc/meminfo: memFree=1824544/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=435956 CPUtime=0.68
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 9178 0 0 0 64 4 0 0 24 0 1 0 214602427 446418944 7999 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530241 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 108989 7999 86 208 0 108777 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 448224
[startup+1.50152 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 2195
/proc/meminfo: memFree=1792336/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=435956 CPUtime=1.48
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 9259 0 0 0 144 4 0 0 25 0 1 0 214602427 446418944 8080 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134532950 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 108989 8080 86 208 0 108777 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 448224
[startup+3.10166 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 2195
/proc/meminfo: memFree=1791632/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=436100 CPUtime=3.09
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 9353 0 0 0 304 5 0 0 25 0 1 0 214602427 446566400 8174 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 109025 8174 86 208 0 108813 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 448368
[startup+6.30194 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 2195
/proc/meminfo: memFree=1790992/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=436216 CPUtime=6.29
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 9458 0 0 0 624 5 0 0 25 0 1 0 214602427 446685184 8279 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527916 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 109054 8279 86 208 0 108842 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 448484
[startup+12.7025 s]
/proc/loadavg: 0.87 0.97 0.99 2/66 2195
/proc/meminfo: memFree=1789656/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=436596 CPUtime=12.68
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 9796 0 0 0 1263 5 0 0 25 0 1 0 214602427 447074304 8617 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527916 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 109149 8617 86 208 0 108937 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 448864
[startup+25.5016 s]
/proc/loadavg: 0.90 0.97 0.99 2/66 2195
/proc/meminfo: memFree=1787928/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=437036 CPUtime=25.48
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 10229 0 0 0 2542 6 0 0 25 0 1 0 214602427 447524864 9050 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529284 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 109259 9050 86 208 0 109047 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 449304
[startup+51.1019 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 2195
/proc/meminfo: memFree=1778328/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=438840 CPUtime=51.07
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 12623 0 0 0 5099 8 0 0 25 0 1 0 214602427 449372160 11444 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529804 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 109710 11444 86 208 0 109498 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 451108
[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/66 2195
/proc/meminfo: memFree=1774168/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=441492 CPUtime=102.26
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 13689 0 0 0 10217 9 0 0 25 0 1 0 214602427 452087808 12510 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528408 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 110373 12510 86 208 0 110161 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 453760
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2195
/proc/meminfo: memFree=1764824/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=443760 CPUtime=162.24
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 16021 0 0 0 16212 12 0 0 25 0 1 0 214602427 454410240 14842 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 110940 14842 86 208 0 110728 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 456028
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2195
/proc/meminfo: memFree=1763160/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=445088 CPUtime=222.22
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 16405 0 0 0 22209 13 0 0 25 0 1 0 214602427 455770112 15226 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134541306 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 111272 15226 86 208 0 111060 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 457356
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2195
/proc/meminfo: memFree=1754776/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=448408 CPUtime=282.21
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 18899 0 0 0 28205 16 0 0 25 0 1 0 214602427 459169792 17336 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530235 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 112102 17336 86 208 0 111890 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 460676
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 2195
/proc/meminfo: memFree=1750488/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=449296 CPUtime=342.19
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 19963 0 0 0 34201 18 0 0 25 0 1 0 214602427 460079104 18400 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530006 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 112324 18400 86 208 0 112112 0
################
# More data... #
################
[startup+2742.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2195
/proc/meminfo: memFree=1629784/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=468332 CPUtime=2741.55
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 50626 0 0 0 274103 52 0 0 25 0 1 0 214602427 479571968 48295 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528511 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 117083 48295 86 208 0 116871 0
Current children cumulated CPU time (s) 2741.55
Current children cumulated vsize (KiB) 480600
[startup+2802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2195
/proc/meminfo: memFree=1629656/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=468484 CPUtime=2801.53
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 50660 0 0 0 280101 52 0 0 25 0 1 0 214602427 479727616 48329 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 117121 48329 86 208 0 116909 0
Current children cumulated CPU time (s) 2801.53
Current children cumulated vsize (KiB) 480752
[startup+2862.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2195
/proc/meminfo: memFree=1629400/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=468700 CPUtime=2861.52
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 50716 0 0 0 286100 52 0 0 25 0 1 0 214602427 479948800 48385 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134517584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 117175 48385 86 208 0 116963 0
Current children cumulated CPU time (s) 2861.52
Current children cumulated vsize (KiB) 480968
[startup+2922.3 s]
/proc/loadavg: 1.16 1.03 1.01 2/72 2361
/proc/meminfo: memFree=1627944/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=468792 CPUtime=2921.43
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 50740 0 0 0 292090 53 0 0 25 0 1 0 214602427 480043008 48409 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528130 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 117198 48409 86 208 0 116986 0
Current children cumulated CPU time (s) 2921.43
Current children cumulated vsize (KiB) 481060
[startup+2982.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/66 2403
/proc/meminfo: memFree=1628760/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=469044 CPUtime=2981.39
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 50801 0 0 0 298086 53 0 0 25 0 1 0 214602427 480301056 48470 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530261 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 117261 48470 86 208 0 117049 0
Current children cumulated CPU time (s) 2981.39
Current children cumulated vsize (KiB) 481312
[startup+3042.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 2403
/proc/meminfo: memFree=1628760/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=469088 CPUtime=3041.38
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 50814 0 0 0 304085 53 0 0 25 0 1 0 214602427 480346112 48483 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529930 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 117272 48483 86 208 0 117060 0
Current children cumulated CPU time (s) 3041.38
Current children cumulated vsize (KiB) 481356
[startup+3102.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2403
/proc/meminfo: memFree=1628056/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=469788 CPUtime=3101.37
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 50987 0 0 0 310083 54 0 0 25 0 1 0 214602427 481062912 48656 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528596 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 117447 48656 86 208 0 117235 0
Current children cumulated CPU time (s) 3101.37
Current children cumulated vsize (KiB) 482056
[startup+3162.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2403
/proc/meminfo: memFree=1627928/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=469888 CPUtime=3161.36
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 51012 0 0 0 316082 54 0 0 25 0 1 0 214602427 481165312 48681 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528693 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 117472 48681 86 208 0 117260 0
Current children cumulated CPU time (s) 3161.36
Current children cumulated vsize (KiB) 482156
Solver just ended. Dumping a history of the last processes samples
[startup+3167.9 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2403
/proc/meminfo: memFree=1627608/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=470140 CPUtime=3166.96
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 51076 0 0 0 316642 54 0 0 25 0 1 0 214602427 481423360 48745 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529300 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 117535 48745 86 208 0 117323 0
Current children cumulated CPU time (s) 3166.96
Current children cumulated vsize (KiB) 482408
[startup+3171.1 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2403
/proc/meminfo: memFree=1627608/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=470144 CPUtime=3170.15
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 51077 0 0 0 316961 54 0 0 25 0 1 0 214602427 481427456 48746 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528609 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 117536 48746 86 208 0 117324 0
Current children cumulated CPU time (s) 3170.15
Current children cumulated vsize (KiB) 482412
[startup+3174.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2403
/proc/meminfo: memFree=1627608/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=470148 CPUtime=3173.35
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 51078 0 0 0 317281 54 0 0 25 0 1 0 214602427 481431552 48747 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 117537 48747 86 208 0 117325 0
Current children cumulated CPU time (s) 3173.35
Current children cumulated vsize (KiB) 482416
[startup+3175.9 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2403
/proc/meminfo: memFree=1627608/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=470148 CPUtime=3174.95
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 51078 0 0 0 317441 54 0 0 25 0 1 0 214602427 481431552 48747 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 117537 48747 86 208 0 117325 0
Current children cumulated CPU time (s) 3174.95
Current children cumulated vsize (KiB) 482416
[startup+3176.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2403
/proc/meminfo: memFree=1627608/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=470148 CPUtime=3175.35
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 51078 0 0 0 317481 54 0 0 25 0 1 0 214602427 481431552 48747 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529268 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 117537 48747 86 208 0 117325 0
Current children cumulated CPU time (s) 3175.35
Current children cumulated vsize (KiB) 482416
[startup+3176.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2403
/proc/meminfo: memFree=1627608/2055920 swapFree=4183852/4192956
[pid=2193] ppid=2190 vsize=12268 CPUtime=0
/proc/2193/stat : 2193 (siegeadapter.pl) S 2190 2193 2126 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 214602426 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2193/statm: 3067 352 271 3 0 167 0
[pid=2194] ppid=2193 vsize=54228 CPUtime=3175.55
/proc/2194/stat : 2194 (siege_v4) R 2193 2193 2126 0 -1 0 51088 0 0 0 317499 56 0 0 25 0 1 0 214602427 55529472 13247 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134940899 0 0 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 13557 13247 95 208 0 13345 0
Current children cumulated CPU time (s) 3175.55
Current children cumulated vsize (KiB) 66496
Child status: 0
Real time (s): 3176.53
CPU time (s): 3175.6
CPU user time (s): 3175.02
CPU system time (s): 0.578911
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 482416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3175.02
system time used= 0.578911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51529
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= 16
involuntary context switches= 6856
runsolver used 2.43363 second user time and 6.29004 second system time
The end
Begin job on node50 on Tue May 8 04:12:53 UTC 2007
IDJOB= 422431
IDBENCH= 20500
IDSOLVER= 190
FILE ID= node50/422431-1178597572
PBS_JOBID= 5217995
Free space on /tmp= 66559 MiB
SOLVER NAME= Siege V4
BENCH NAME= HOME/pub/bench/SAT07/industrial/manolios/manol-pipe-c6nidw_i.cnf
COMMAND LINE= /tmp/evaluation/422431-1178597572/siegeadapter.pl /tmp/evaluation/422431-1178597572/instance-422431-1178597572.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-422431-1178597572 -o ROOT/results/node50/solver-422431-1178597572 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422431-1178597572/siegeadapter.pl /tmp/evaluation/422431-1178597572/instance-422431-1178597572.cnf
META MD5SUM SOLVER= 69ef6d521077f526586997d0c4a9a904
MD5SUM BENCH= 15c4413e436aecbd4fcb1d7037e18abf
RANDOM SEED= 466137455
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node50.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: 1824952 kB
Buffers: 11960 kB
Cached: 125972 kB
SwapCached: 3032 kB
Active: 32412 kB
Inactive: 114940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1824952 kB
SwapTotal: 4192956 kB
SwapFree: 4183852 kB
Dirty: 5684 kB
Writeback: 0 kB
Mapped: 15492 kB
Slab: 69616 kB
Committed_AS: 4936828 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= 66559 MiB
End job on node50 on Tue May 8 05:05:49 UTC 2007