Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -14 | 1782.75 | 1783.43 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb |
MD5SUM | 2e8a2f5e2511f10f037e700bd45c84a1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -30 |
Best CPU time to get the best result obtained on this benchmark | 45.2231 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | YES |
Number of variables | 450 |
Total number of constraints | 17794 |
Number of constraints which are clauses | 17794 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 450 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 450 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 450 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.18 c starting to Solve 0.18 c #variables read: 450 - #constraints read: 17795 0.18 o 0 0.18 o 1 0.18 o 2 0.26 o 3 0.66 o 4 1.87 o 5 2.37 o 6 32.93 o 7 59.30 o 8 125.14 o 9 219.78 o 10 423.23 o 11 612.96 o 12 812.52 o 13 1709.73 o 14 1783.41 c total time : 1783 s 1783.41 s SATISFIABLE 1783.41 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 1783.41 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 1783.41 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 1783.41 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 1783.41 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 1783.41 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 1783.41 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 1783.41 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 1783.41 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 1783.41 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 1783.41 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 x224 -x223 -x222 -x221 -x220 1783.41 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 1783.41 v -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 1783.41 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 1783.41 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 1783.41 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 1783.41 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 1783.41 v -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 1783.41 v -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 1783.41 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 1783.41 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -14
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-37033-1149291203 -o ROOT/results/node70/solver-37033-1149291203 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node70/37033-1149291203/instance-37033-1149291203.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.90 2/64 8318 /proc/meminfo: memFree=1779168/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=172 CPUtime=0 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 38 0 0 0 0 0 0 0 18 0 1 0 194789944 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8413988 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 43 23 18 16 0 2 0 [startup+10.0026 s] /proc/loadavg: 0.87 0.94 0.90 2/64 8318 /proc/meminfo: memFree=1760880/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=20600 CPUtime=9.99 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 4781 0 0 0 997 2 0 0 25 0 1 0 194789944 21094400 4752 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 5150 4752 205 16 0 4591 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 20600 [startup+20.0084 s] /proc/loadavg: 0.89 0.94 0.90 2/64 8318 /proc/meminfo: memFree=1748080/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=33712 CPUtime=19.99 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 8005 0 0 0 1995 4 0 0 25 0 1 0 194789944 34521088 7976 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 8428 7976 205 16 0 7869 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 33712 [startup+30.0142 s] /proc/loadavg: 0.90 0.94 0.90 2/64 8320 /proc/meminfo: memFree=1747568/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=34108 CPUtime=29.99 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 8121 0 0 0 2995 4 0 0 25 0 1 0 194789944 34926592 8092 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 8527 8092 205 16 0 7968 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 34108 [startup+40.02 s] /proc/loadavg: 0.92 0.94 0.90 2/64 8320 /proc/meminfo: memFree=1744304/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=37484 CPUtime=40 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 8948 0 0 0 3994 6 0 0 25 0 1 0 194789944 38383616 8919 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 9371 8919 205 16 0 8812 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 37484 [startup+50.0258 s] /proc/loadavg: 0.93 0.94 0.90 2/64 8320 /proc/meminfo: memFree=1742256/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=39588 CPUtime=50 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 9471 0 0 0 4993 7 0 0 25 0 1 0 194789944 40538112 9442 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 9897 9442 205 16 0 9338 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 39588 [startup+60.0317 s] /proc/loadavg: 0.94 0.95 0.90 2/64 8320 /proc/meminfo: memFree=1740912/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=40948 CPUtime=60 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 9805 0 0 0 5992 8 0 0 25 0 1 0 194789944 41930752 9776 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 10237 9776 205 16 0 9678 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 40948 [startup+70.0375 s] /proc/loadavg: 0.95 0.95 0.91 2/64 8320 /proc/meminfo: memFree=1740528/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=41352 CPUtime=70 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 9896 0 0 0 6992 8 0 0 25 0 1 0 194789944 42344448 9867 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 10338 9867 205 16 0 9779 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 41352 [startup+80.0433 s] /proc/loadavg: 0.96 0.95 0.91 2/64 8320 /proc/meminfo: memFree=1740464/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=41352 CPUtime=80 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 9910 0 0 0 7992 8 0 0 25 0 1 0 194789944 42344448 9881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 10338 9881 205 16 0 9779 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 41352 [startup+90.0491 s] /proc/loadavg: 0.96 0.95 0.91 2/64 8320 /proc/meminfo: memFree=1740464/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=41352 CPUtime=90.01 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 9910 0 0 0 8992 9 0 0 25 0 1 0 194789944 42344448 9881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 10338 9881 205 16 0 9779 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 41352 [startup+100.055 s] /proc/loadavg: 0.97 0.95 0.91 2/64 8320 /proc/meminfo: memFree=1736752/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=45172 CPUtime=100 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 10838 0 0 0 9990 10 0 0 25 0 1 0 194789944 46256128 10809 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 11293 10809 205 16 0 10734 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 45172 [startup+110.061 s] /proc/loadavg: 0.97 0.95 0.91 2/64 8320 /proc/meminfo: memFree=1736752/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=45172 CPUtime=110.01 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 10838 0 0 0 10990 11 0 0 25 0 1 0 194789944 46256128 10809 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 11293 10809 205 16 0 10734 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 45172 [startup+120.067 s] /proc/loadavg: 0.98 0.95 0.91 2/64 8320 /proc/meminfo: memFree=1732336/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=49652 CPUtime=120.01 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 11954 0 0 0 11989 12 0 0 25 0 1 0 194789944 50843648 11925 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 12413 11925 205 16 0 11854 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 49652 [startup+130.072 s] /proc/loadavg: 0.98 0.95 0.91 2/64 8320 /proc/meminfo: memFree=1732336/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=49652 CPUtime=130.01 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 11954 0 0 0 12989 12 0 0 25 0 1 0 194789944 50843648 11925 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532733 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 12413 11925 205 16 0 11854 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 49652 [startup+140.078 s] /proc/loadavg: 0.98 0.95 0.91 2/64 8320 /proc/meminfo: memFree=1732336/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=49652 CPUtime=140.02 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 11954 0 0 0 13989 13 0 0 25 0 1 0 194789944 50843648 11925 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 12413 11925 205 16 0 11854 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 49652 [startup+150.084 s] /proc/loadavg: 0.98 0.95 0.91 2/64 8320 /proc/meminfo: memFree=1732272/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=49652 CPUtime=150.02 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 11957 0 0 0 14988 14 0 0 25 0 1 0 194789944 50843648 11928 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 12413 11928 205 16 0 11854 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 49652 [startup+160.09 s] /proc/loadavg: 0.99 0.96 0.91 2/64 8320 /proc/meminfo: memFree=1732272/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=49652 CPUtime=160.02 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 11957 0 0 0 15987 15 0 0 25 0 1 0 194789944 50843648 11928 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 12413 11928 205 16 0 11854 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 49652 [startup+170.096 s] /proc/loadavg: 0.99 0.96 0.91 2/64 8320 /proc/meminfo: memFree=1732144/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=49784 CPUtime=170.02 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 11995 0 0 0 16987 15 0 0 25 0 1 0 194789944 50978816 11966 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 12446 11966 205 16 0 11887 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 49784 [startup+180.102 s] /proc/loadavg: 0.99 0.96 0.91 2/64 8320 /proc/meminfo: memFree=1732144/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=49784 CPUtime=180.02 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 11995 0 0 0 17987 15 0 0 25 0 1 0 194789944 50978816 11966 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 12446 11966 205 16 0 11887 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 49784 [startup+190.107 s] /proc/loadavg: 0.99 0.96 0.91 2/64 8320 /proc/meminfo: memFree=1731440/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=50436 CPUtime=190.03 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 12164 0 0 0 18987 16 0 0 25 0 1 0 194789944 51646464 12135 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 12609 12135 205 16 0 12050 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 50436 [startup+200.113 s] /proc/loadavg: 0.99 0.96 0.91 2/64 8320 /proc/meminfo: memFree=1727472/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=54428 CPUtime=200.03 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 13154 0 0 0 19986 17 0 0 25 0 1 0 194789944 55734272 13125 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 13607 13125 205 16 0 13048 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 54428 [startup+210.119 s] /proc/loadavg: 0.99 0.96 0.91 2/64 8320 /proc/meminfo: memFree=1727472/2055920 swapFree=4182232/4192956 ################ # More data... # ################ /proc/8318/statm: 20462 19937 205 16 0 19903 0 Current children cumulated CPU time (s) 1590.36 Current children cumulated vsize (Kb) 81848 [startup+1600.95 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8320 /proc/meminfo: memFree=1699696/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=81848 CPUtime=1600.36 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 20225 0 0 0 159944 92 0 0 25 0 1 0 194789944 83812352 19937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519114 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 20462 19937 205 16 0 19903 0 Current children cumulated CPU time (s) 1600.36 Current children cumulated vsize (Kb) 81848 [startup+1610.96 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8320 /proc/meminfo: memFree=1699696/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=81848 CPUtime=1610.37 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 20225 0 0 0 160944 93 0 0 25 0 1 0 194789944 83812352 19937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 20462 19937 205 16 0 19903 0 Current children cumulated CPU time (s) 1610.37 Current children cumulated vsize (Kb) 81848 [startup+1620.96 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8320 /proc/meminfo: memFree=1699760/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=81848 CPUtime=1620.37 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 20225 0 0 0 161943 94 0 0 25 0 1 0 194789944 83812352 19937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 20462 19937 205 16 0 19903 0 Current children cumulated CPU time (s) 1620.37 Current children cumulated vsize (Kb) 81848 [startup+1630.97 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8320 /proc/meminfo: memFree=1694640/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=87244 CPUtime=1630.37 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 21551 0 0 0 162942 95 0 0 25 0 1 0 194789944 89337856 21263 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 21811 21263 205 16 0 21252 0 Current children cumulated CPU time (s) 1630.37 Current children cumulated vsize (Kb) 87244 [startup+1640.97 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8320 /proc/meminfo: memFree=1692528/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=89360 CPUtime=1640.37 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22064 0 0 0 163941 96 0 0 25 0 1 0 194789944 91504640 21776 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519098 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22340 21776 205 16 0 21781 0 Current children cumulated CPU time (s) 1640.37 Current children cumulated vsize (Kb) 89360 [startup+1650.98 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8320 /proc/meminfo: memFree=1692528/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=89360 CPUtime=1650.37 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22064 0 0 0 164941 96 0 0 25 0 1 0 194789944 91504640 21776 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22340 21776 205 16 0 21781 0 Current children cumulated CPU time (s) 1650.37 Current children cumulated vsize (Kb) 89360 [startup+1660.99 s] /proc/loadavg: 0.99 0.97 0.91 2/70 8375 /proc/meminfo: memFree=1691328/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=89360 CPUtime=1660.38 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22064 0 0 0 165936 102 0 0 25 0 1 0 194789944 91504640 21776 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22340 21776 205 16 0 21781 0 Current children cumulated CPU time (s) 1660.38 Current children cumulated vsize (Kb) 89360 [startup+1670.99 s] /proc/loadavg: 0.99 0.97 0.91 2/70 8433 /proc/meminfo: memFree=1691264/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=89360 CPUtime=1670.36 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22066 0 0 0 166933 103 0 0 25 0 1 0 194789944 91504640 21778 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134561739 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22340 21778 205 16 0 21781 0 Current children cumulated CPU time (s) 1670.36 Current children cumulated vsize (Kb) 89360 [startup+1681 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8515 /proc/meminfo: memFree=1692080/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=89360 CPUtime=1680.36 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22066 0 0 0 167932 104 0 0 25 0 1 0 194789944 91504640 21778 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 0 0 0 /proc/8318/statm: 22340 21778 205 16 0 21781 0 Current children cumulated CPU time (s) 1680.36 Current children cumulated vsize (Kb) 89360 [startup+1691.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8515 /proc/meminfo: memFree=1692144/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=89360 CPUtime=1690.35 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22066 0 0 0 168931 104 0 0 25 0 1 0 194789944 91504640 21778 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559475 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22340 21778 205 16 0 21781 0 Current children cumulated CPU time (s) 1690.35 Current children cumulated vsize (Kb) 89360 [startup+1701.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8515 /proc/meminfo: memFree=1691952/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=89620 CPUtime=1700.36 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22154 0 0 0 169931 105 0 0 25 0 1 0 194789944 91770880 21866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22405 21866 205 16 0 21846 0 Current children cumulated CPU time (s) 1700.36 Current children cumulated vsize (Kb) 89620 [startup+1711.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8515 /proc/meminfo: memFree=1691568/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=90016 CPUtime=1710.36 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22243 0 0 0 170931 105 0 0 25 0 1 0 194789944 92176384 21955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22504 21955 205 16 0 21945 0 Current children cumulated CPU time (s) 1710.36 Current children cumulated vsize (Kb) 90016 [startup+1721.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8515 /proc/meminfo: memFree=1691568/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=90016 CPUtime=1720.36 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22243 0 0 0 171930 106 0 0 25 0 1 0 194789944 92176384 21955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22504 21955 205 16 0 21945 0 Current children cumulated CPU time (s) 1720.36 Current children cumulated vsize (Kb) 90016 [startup+1731.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8515 /proc/meminfo: memFree=1691568/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=90016 CPUtime=1730.36 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22243 0 0 0 172930 106 0 0 25 0 1 0 194789944 92176384 21955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22504 21955 205 16 0 21945 0 Current children cumulated CPU time (s) 1730.36 Current children cumulated vsize (Kb) 90016 [startup+1741.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8515 /proc/meminfo: memFree=1691568/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=90016 CPUtime=1740.37 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22243 0 0 0 173930 107 0 0 25 0 1 0 194789944 92176384 21955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22504 21955 205 16 0 21945 0 Current children cumulated CPU time (s) 1740.37 Current children cumulated vsize (Kb) 90016 [startup+1751.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8515 /proc/meminfo: memFree=1691632/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=90016 CPUtime=1750.37 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22243 0 0 0 174930 107 0 0 25 0 1 0 194789944 92176384 21955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524561 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22504 21955 205 16 0 21945 0 Current children cumulated CPU time (s) 1750.37 Current children cumulated vsize (Kb) 90016 [startup+1761.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8515 /proc/meminfo: memFree=1691632/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=90016 CPUtime=1760.37 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22243 0 0 0 175930 107 0 0 25 0 1 0 194789944 92176384 21955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22504 21955 205 16 0 21945 0 Current children cumulated CPU time (s) 1760.37 Current children cumulated vsize (Kb) 90016 [startup+1771.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8515 /proc/meminfo: memFree=1691632/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=90016 CPUtime=1770.37 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22243 0 0 0 176929 108 0 0 25 0 1 0 194789944 92176384 21955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22504 21955 205 16 0 21945 0 Current children cumulated CPU time (s) 1770.37 Current children cumulated vsize (Kb) 90016 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8515 /proc/meminfo: memFree=1691248/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=90408 CPUtime=1780.37 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22334 0 0 0 177929 108 0 0 25 0 1 0 194789944 92577792 22046 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22602 22046 205 16 0 22043 0 Current children cumulated CPU time (s) 1780.37 Current children cumulated vsize (Kb) 90408 [startup+1782.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8515 /proc/meminfo: memFree=1691248/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=90408 CPUtime=1781.38 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22334 0 0 0 178030 108 0 0 25 0 1 0 194789944 92577792 22046 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519085 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22602 22046 205 16 0 22043 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 90408 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 8515 /proc/meminfo: memFree=1691248/2055920 swapFree=4182232/4192956 [pid=8318] ppid=8316 vsize=90408 CPUtime=1782.38 /proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22335 0 0 0 178130 108 0 0 25 0 1 0 194789944 92577792 22047 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527800 0 0 4096 0 0 0 0 17 1 0 0 /proc/8318/statm: 22602 22047 205 16 0 22043 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 90408 Child status: 10 Real time (s): 1783.43 CPU time (s): 1782.75 CPU user time (s): 1781.65 CPU system time (s): 1.10183 CPU usage (%): 99.9618 Max. virtual memory (cumulated for all children) (Kb): 90408
Begin job on node70 on Fri Jun 2 23:33:23 UTC 2006 FILE ID= 37033-1149291203 PBS_JOBID= 306891 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node70/37033-1149291203/instance-37033-1149291203.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-37033-1149291203 -o ROOT/results/node70/solver-37033-1149291203 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node70/37033-1149291203/instance-37033-1149291203.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1 RANDOM SEED= 930909738 /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.265 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.265 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: 1779376 kB Buffers: 25240 kB Cached: 179796 kB SwapCached: 2364 kB Active: 47220 kB Inactive: 166416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1779376 kB SwapTotal: 4192956 kB SwapFree: 4182232 kB Dirty: 164 kB Writeback: 0 kB Mapped: 15416 kB Slab: 49032 kB Committed_AS: 217792 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node70 on Sat Jun 3 00:03:07 UTC 2006