Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | -9 | 1783.06 | 1783.5 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb |
MD5SUM | 3895ca8e12182fcd80d7923f66584703 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 549.235 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 27931 |
Number of constraints which are clauses | 27931 |
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 | 595 |
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 | 595 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 595 |
Number of bits of the biggest sum of numbers | 10 |
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.29 c starting to Solve 0.29 c #variables read: 595 - #constraints read: 27932 0.29 o 0 0.29 o 1 0.29 o 2 0.30 o 3 0.31 o 4 0.78 o 5 0.99 o 6 8.66 o 7 95.86 o 8 1557.15 o 9 1783.46 c total time : 1783.29 s 1783.46 s SATISFIABLE 1783.46 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 1783.46 v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 1783.46 v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 1783.46 v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 1783.46 v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 1783.46 v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 1783.46 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 1783.46 v -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 1783.46 v -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 1783.46 v -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 1783.46 v -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 1783.46 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 1783.46 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 1783.46 v -x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 1783.46 v -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 1783.46 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 1783.46 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 1783.46 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 1783.46 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 1783.46 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 1783.46 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 1783.46 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 1783.46 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 1783.46 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 1783.46 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 1783.46 v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 1783.46 v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 1783.46 v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -9
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/node25/watcher-38220-1149301394 -o ROOT/results/node25/solver-38220-1149301394 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node25/38220-1149301394/instance-38220-1149301394.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1612192/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=2540 CPUtime=0 /proc/15796/stat : 15796 (Pueblo13) D 15794 15796 15750 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 195802777 2600960 213 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/15796/statm: 635 213 187 16 0 76 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1546272/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=68884 CPUtime=9.99 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 16697 0 0 0 989 10 0 0 25 0 1 0 195802777 70537216 16668 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4200059 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 17221 16668 205 16 0 16662 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 68884 [startup+20.0082 s] /proc/loadavg: 0.94 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1534560/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=80540 CPUtime=19.99 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 19619 0 0 0 1986 13 0 0 25 0 1 0 195802777 82472960 19590 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4200059 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 20135 19590 205 16 0 19576 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 80540 [startup+30.0142 s] /proc/loadavg: 0.95 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1532320/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=82780 CPUtime=30 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 20186 0 0 0 2984 16 0 0 25 0 1 0 195802777 84766720 20157 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 20695 20157 205 16 0 20136 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 82780 [startup+40.0201 s] /proc/loadavg: 0.96 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1524512/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=90676 CPUtime=40 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 22129 0 0 0 3982 18 0 0 25 0 1 0 195802777 92852224 22100 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517916 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 22669 22100 205 16 0 22110 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 90676 [startup+50.026 s] /proc/loadavg: 0.96 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1520608/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=94548 CPUtime=50 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 23104 0 0 0 4980 20 0 0 25 0 1 0 195802777 96817152 23075 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 23637 23075 205 16 0 23078 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 94548 [startup+60.0319 s] /proc/loadavg: 0.97 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1515488/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=99852 CPUtime=60.01 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 24379 0 0 0 5979 22 0 0 25 0 1 0 195802777 102248448 24350 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 24963 24350 205 16 0 24404 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 99852 [startup+70.0378 s] /proc/loadavg: 0.97 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1514848/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=100480 CPUtime=70.01 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 24566 0 0 0 6979 22 0 0 25 0 1 0 195802777 102891520 24537 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 25120 24537 205 16 0 24561 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 100480 [startup+80.0437 s] /proc/loadavg: 0.98 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1514784/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=100480 CPUtime=80.01 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 24580 0 0 0 7977 24 0 0 25 0 1 0 195802777 102891520 24551 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 25120 24551 205 16 0 24561 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 100480 [startup+90.0487 s] /proc/loadavg: 0.98 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1514528/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=100728 CPUtime=90.02 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 24636 0 0 0 8977 25 0 0 25 0 1 0 195802777 103145472 24607 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 25182 24607 205 16 0 24623 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 100728 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1504992/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=110408 CPUtime=100.02 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 27020 0 0 0 9975 27 0 0 25 0 1 0 195802777 113057792 26991 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 27602 26991 205 16 0 27043 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 110408 [startup+110.06 s] /proc/loadavg: 0.98 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1504864/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=110532 CPUtime=110.02 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 27043 0 0 0 10974 28 0 0 25 0 1 0 195802777 113184768 27014 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 27633 27014 205 16 0 27074 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 110532 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1504864/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=110532 CPUtime=120.03 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 27044 0 0 0 11974 29 0 0 25 0 1 0 195802777 113184768 27015 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 27633 27015 205 16 0 27074 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 110532 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1504672/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=110656 CPUtime=130.03 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 27092 0 0 0 12972 31 0 0 25 0 1 0 195802777 113311744 27063 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 27664 27063 205 16 0 27105 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 110656 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.91 3/64 15796 /proc/meminfo: memFree=1493152/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=122340 CPUtime=140.03 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 29967 0 0 0 13970 33 0 0 25 0 1 0 195802777 125276160 29938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 30585 29938 205 16 0 30026 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 122340 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1493152/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=122340 CPUtime=150.03 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 29967 0 0 0 14969 34 0 0 25 0 1 0 195802777 125276160 29938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 30585 29938 205 16 0 30026 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 122340 [startup+160.089 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1493152/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=122340 CPUtime=160.04 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 29967 0 0 0 15969 35 0 0 25 0 1 0 195802777 125276160 29938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 30585 29938 205 16 0 30026 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 122340 [startup+170.095 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1491360/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=124096 CPUtime=170.04 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 30413 0 0 0 16968 36 0 0 25 0 1 0 195802777 127074304 30384 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 31024 30384 205 16 0 30465 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 124096 [startup+180.101 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1491360/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=124096 CPUtime=180.05 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 30413 0 0 0 17968 37 0 0 25 0 1 0 195802777 127074304 30384 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 31024 30384 205 16 0 30465 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 124096 [startup+190.107 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1480608/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=134900 CPUtime=190.05 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 33094 0 0 0 18966 39 0 0 25 0 1 0 195802777 138137600 33065 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 33725 33065 205 16 0 33166 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 134900 [startup+200.113 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15796 /proc/meminfo: memFree=1480608/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=134900 CPUtime=200.05 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 33094 0 0 0 19965 40 0 0 25 0 1 0 195802777 138137600 33065 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 33725 33065 205 16 0 33166 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 134900 [startup+210.119 s] /proc/loadavg: 0.99 0.97 0.91 3/64 15796 /proc/meminfo: memFree=1480288/2055920 swapFree=4181460/4192956 ################ # More data... # ################ /proc/15796/statm: 53957 53314 206 16 0 53398 0 Current children cumulated CPU time (s) 1590.53 Current children cumulated vsize (Kb) 215828 [startup+1600.93 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1399136/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=215828 CPUtime=1600.53 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68446 0 0 0 159850 203 0 0 25 0 1 0 195802777 221007872 53314 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 53957 53314 206 16 0 53398 0 Current children cumulated CPU time (s) 1600.53 Current children cumulated vsize (Kb) 215828 [startup+1610.94 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1399072/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=215828 CPUtime=1610.53 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68461 0 0 0 160849 204 0 0 25 0 1 0 195802777 221007872 53329 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 53957 53329 206 16 0 53398 0 Current children cumulated CPU time (s) 1610.53 Current children cumulated vsize (Kb) 215828 [startup+1620.94 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1399072/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=215828 CPUtime=1620.54 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68461 0 0 0 161848 206 0 0 25 0 1 0 195802777 221007872 53329 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 53957 53329 206 16 0 53398 0 Current children cumulated CPU time (s) 1620.54 Current children cumulated vsize (Kb) 215828 [startup+1630.95 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1399072/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=215828 CPUtime=1630.54 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68461 0 0 0 162848 206 0 0 25 0 1 0 195802777 221007872 53329 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 53957 53329 206 16 0 53398 0 Current children cumulated CPU time (s) 1630.54 Current children cumulated vsize (Kb) 215828 [startup+1640.95 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398944/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=215952 CPUtime=1640.55 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68485 0 0 0 163847 208 0 0 25 0 1 0 195802777 221134848 53353 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 53988 53353 206 16 0 53429 0 Current children cumulated CPU time (s) 1640.55 Current children cumulated vsize (Kb) 215952 [startup+1650.96 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398944/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=215952 CPUtime=1650.54 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68485 0 0 0 164845 209 0 0 25 0 1 0 195802777 221134848 53353 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 53988 53353 206 16 0 53429 0 Current children cumulated CPU time (s) 1650.54 Current children cumulated vsize (Kb) 215952 [startup+1660.97 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398944/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=215952 CPUtime=1660.55 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68485 0 0 0 165844 211 0 0 25 0 1 0 195802777 221134848 53353 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 53988 53353 206 16 0 53429 0 Current children cumulated CPU time (s) 1660.55 Current children cumulated vsize (Kb) 215952 [startup+1670.97 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398176/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=216712 CPUtime=1670.56 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68685 0 0 0 166844 212 0 0 25 0 1 0 195802777 221913088 53553 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516700 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 54178 53553 206 16 0 53619 0 Current children cumulated CPU time (s) 1670.56 Current children cumulated vsize (Kb) 216712 [startup+1680.98 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398176/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=216712 CPUtime=1680.56 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68685 0 0 0 167843 213 0 0 25 0 1 0 195802777 221913088 53553 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 54178 53553 206 16 0 53619 0 Current children cumulated CPU time (s) 1680.56 Current children cumulated vsize (Kb) 216712 [startup+1690.98 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398176/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=216712 CPUtime=1690.56 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68685 0 0 0 168842 214 0 0 25 0 1 0 195802777 221913088 53553 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 54178 53553 206 16 0 53619 0 Current children cumulated CPU time (s) 1690.56 Current children cumulated vsize (Kb) 216712 [startup+1700.99 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398176/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=216712 CPUtime=1700.56 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68685 0 0 0 169842 214 0 0 25 0 1 0 195802777 221913088 53553 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 54178 53553 206 16 0 53619 0 Current children cumulated CPU time (s) 1700.56 Current children cumulated vsize (Kb) 216712 [startup+1710.99 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398176/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=216712 CPUtime=1710.57 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68685 0 0 0 170841 216 0 0 25 0 1 0 195802777 221913088 53553 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 54178 53553 206 16 0 53619 0 Current children cumulated CPU time (s) 1710.57 Current children cumulated vsize (Kb) 216712 [startup+1721 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398176/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=216712 CPUtime=1720.57 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68685 0 0 0 171841 216 0 0 25 0 1 0 195802777 221913088 53553 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 54178 53553 206 16 0 53619 0 Current children cumulated CPU time (s) 1720.57 Current children cumulated vsize (Kb) 216712 [startup+1731.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398112/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=216836 CPUtime=1730.57 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68692 0 0 0 172840 217 0 0 25 0 1 0 195802777 222040064 53560 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516700 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 54209 53560 206 16 0 53650 0 Current children cumulated CPU time (s) 1730.57 Current children cumulated vsize (Kb) 216836 [startup+1741.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398112/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=216836 CPUtime=1740.58 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68692 0 0 0 173839 219 0 0 25 0 1 0 195802777 222040064 53560 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517805 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 54209 53560 206 16 0 53650 0 Current children cumulated CPU time (s) 1740.58 Current children cumulated vsize (Kb) 216836 [startup+1751.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398112/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=216836 CPUtime=1750.58 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68692 0 0 0 174838 220 0 0 25 0 1 0 195802777 222040064 53560 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 54209 53560 206 16 0 53650 0 Current children cumulated CPU time (s) 1750.58 Current children cumulated vsize (Kb) 216836 [startup+1761.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398112/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=216836 CPUtime=1760.58 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68692 0 0 0 175836 222 0 0 25 0 1 0 195802777 222040064 53560 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519889 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 54209 53560 206 16 0 53650 0 Current children cumulated CPU time (s) 1760.58 Current children cumulated vsize (Kb) 216836 [startup+1771.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398112/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=216836 CPUtime=1770.59 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68692 0 0 0 176836 223 0 0 25 0 1 0 195802777 222040064 53560 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 54209 53560 206 16 0 53650 0 Current children cumulated CPU time (s) 1770.59 Current children cumulated vsize (Kb) 216836 [startup+1781.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398112/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=216836 CPUtime=1780.59 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68696 0 0 0 177836 223 0 0 25 0 1 0 195802777 222040064 53564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516727 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 54209 53564 206 16 0 53650 0 Current children cumulated CPU time (s) 1780.59 Current children cumulated vsize (Kb) 216836 [startup+1782.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398112/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=216836 CPUtime=1781.6 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68696 0 0 0 177937 223 0 0 25 0 1 0 195802777 222040064 53564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 54209 53564 206 16 0 53650 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 216836 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15798 /proc/meminfo: memFree=1398112/2055920 swapFree=4181460/4192956 [pid=15796] ppid=15794 vsize=216836 CPUtime=1782.6 /proc/15796/stat : 15796 (Pueblo13) R 15794 15796 15750 0 -1 4194304 68696 0 0 0 178037 223 0 0 25 0 1 0 195802777 222040064 53564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516722 0 0 4096 0 0 0 0 17 1 0 0 /proc/15796/statm: 54209 53564 206 16 0 53650 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 216836 Child status: 10 Real time (s): 1783.5 CPU time (s): 1783.06 CPU user time (s): 1780.79 CPU system time (s): 2.27065 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (Kb): 216836
Begin job on node25 on Sat Jun 3 02:23:14 UTC 2006 FILE ID= 38220-1149301394 PBS_JOBID= 307374 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node25/38220-1149301394/instance-38220-1149301394.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-38220-1149301394 -o ROOT/results/node25/solver-38220-1149301394 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node25/38220-1149301394/instance-38220-1149301394.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703 RANDOM SEED= 233840560 /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.236 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.236 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: 1612400 kB Buffers: 22452 kB Cached: 356544 kB SwapCached: 3164 kB Active: 52208 kB Inactive: 335404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1612400 kB SwapTotal: 4192956 kB SwapFree: 4181460 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14728 kB Slab: 41880 kB Committed_AS: 281068 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node25 on Sat Jun 3 02:52:58 UTC 2006