Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -14 | 1782.76 | 1783.24 |
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.30 c starting to Solve 0.30 c #variables read: 595 - #constraints read: 27932 0.30 o 0 0.30 o 1 0.30 o 2 0.43 o 3 0.52 o 4 1.92 o 5 2.70 o 6 6.56 o 7 7.57 o 8 12.33 o 9 20.37 o 10 47.22 o 11 376.26 o 12 439.86 o 13 1249.83 o 14 1783.21 c total time : 1783 s 1783.21 s SATISFIABLE 1783.21 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 1783.21 v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 1783.21 v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 1783.21 v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 1783.21 v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 1783.21 v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 1783.21 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 1783.21 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 1783.21 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 1783.21 v x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 1783.21 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 1783.21 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 1783.21 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 1783.21 v -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 1783.21 v -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 1783.21 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 1783.21 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 1783.21 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 1783.21 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 1783.21 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 1783.21 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 1783.21 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 1783.21 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 1783.21 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 1783.21 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.21 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.21 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.21 v -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/node31/watcher-37070-1149301052 -o ROOT/results/node31/solver-37070-1149301052 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node31/37070-1149301052/instance-37070-1149301052.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1540096/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=18540 CPUtime=0 /proc/3200/stat : 3200 (runsolver) R 3198 3200 3154 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 195768900 18984960 279 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 225612197159 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/3200/statm: 4635 279 243 16 0 2626 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1519688/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=22692 CPUtime=9.99 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 5309 0 0 0 996 3 0 0 25 0 1 0 195768900 23236608 5280 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134533443 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 5673 5280 205 16 0 5114 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 22692 [startup+20.0082 s] /proc/loadavg: 0.94 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1505544/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=36924 CPUtime=19.99 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 8839 0 0 0 1995 4 0 0 25 0 1 0 195768900 37810176 8810 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 9231 8810 205 16 0 8672 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 36924 [startup+30.014 s] /proc/loadavg: 0.95 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1496392/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=46140 CPUtime=29.99 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 11140 0 0 0 2993 6 0 0 25 0 1 0 195768900 47247360 11111 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 11535 11111 205 16 0 10976 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 46140 [startup+40.0198 s] /proc/loadavg: 0.96 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1485640/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=56836 CPUtime=40 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 13816 0 0 0 3992 8 0 0 25 0 1 0 195768900 58200064 13787 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 14209 13787 205 16 0 13650 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 56836 [startup+50.0257 s] /proc/loadavg: 0.96 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1474120/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=68536 CPUtime=50.01 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 16707 0 0 0 4991 10 0 0 25 0 1 0 195768900 70180864 16678 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 17134 16678 205 16 0 16575 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 68536 [startup+60.0315 s] /proc/loadavg: 0.97 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1464840/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=77872 CPUtime=60 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 19020 0 0 0 5988 12 0 0 25 0 1 0 195768900 79740928 18991 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 19468 18991 205 16 0 18909 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 77872 [startup+70.0373 s] /proc/loadavg: 0.97 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1463624/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=79040 CPUtime=70.01 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 19327 0 0 0 6988 13 0 0 25 0 1 0 195768900 80936960 19298 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 19760 19298 205 16 0 19201 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 79040 [startup+80.0431 s] /proc/loadavg: 0.98 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1463624/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=79040 CPUtime=80.01 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 19330 0 0 0 7988 13 0 0 25 0 1 0 195768900 80936960 19301 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 19760 19301 205 16 0 19201 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 79040 [startup+90.0489 s] /proc/loadavg: 0.98 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1463624/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=79040 CPUtime=90.02 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 19330 0 0 0 8988 14 0 0 25 0 1 0 195768900 80936960 19301 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517494 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 19760 19301 205 16 0 19201 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 79040 [startup+100.054 s] /proc/loadavg: 0.98 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1459080/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=83692 CPUtime=100.02 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 20462 0 0 0 9987 15 0 0 25 0 1 0 195768900 85700608 20433 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 20923 20433 205 16 0 20364 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 83692 [startup+110.06 s] /proc/loadavg: 0.98 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1449032/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=93696 CPUtime=110.02 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 22962 0 0 0 10986 16 0 0 25 0 1 0 195768900 95944704 22933 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134516700 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 23424 22933 205 16 0 22865 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 93696 [startup+120.065 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1449032/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=93696 CPUtime=120.02 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 22962 0 0 0 11986 16 0 0 25 0 1 0 195768900 95944704 22933 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 23424 22933 205 16 0 22865 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 93696 [startup+130.071 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1449032/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=93696 CPUtime=130.02 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 22962 0 0 0 12986 16 0 0 25 0 1 0 195768900 95944704 22933 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 23424 22933 205 16 0 22865 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 93696 [startup+140.077 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1449032/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=93696 CPUtime=140.02 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 22964 0 0 0 13986 16 0 0 25 0 1 0 195768900 95944704 22935 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532854 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 23424 22935 205 16 0 22865 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 93696 [startup+150.083 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1449032/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=93696 CPUtime=150.03 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 22967 0 0 0 14986 17 0 0 25 0 1 0 195768900 95944704 22938 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 23424 22938 205 16 0 22865 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 93696 [startup+160.088 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1449032/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=93696 CPUtime=160.03 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 22967 0 0 0 15986 17 0 0 25 0 1 0 195768900 95944704 22938 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559555 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 23424 22938 205 16 0 22865 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 93696 [startup+170.094 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1449032/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=93696 CPUtime=170.04 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 22967 0 0 0 16986 18 0 0 25 0 1 0 195768900 95944704 22938 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532125 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 23424 22938 205 16 0 22865 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 93696 [startup+180.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1445000/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=97952 CPUtime=180.04 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 23971 0 0 0 17986 18 0 0 25 0 1 0 195768900 100302848 23942 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 24488 23942 205 16 0 23929 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 97952 [startup+190.105 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1441096/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=101792 CPUtime=190.04 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 24945 0 0 0 18985 19 0 0 25 0 1 0 195768900 104235008 24916 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 25448 24916 205 16 0 24889 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 101792 [startup+200.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1441096/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=101792 CPUtime=200.04 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 24945 0 0 0 19985 19 0 0 25 0 1 0 195768900 104235008 24916 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 25448 24916 205 16 0 24889 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 101792 [startup+210.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3200 /proc/meminfo: memFree=1441096/2055920 swapFree=4181480/4192956 ################ # More data... # ################ /proc/3200/statm: 38448 37874 205 16 0 37889 0 Current children cumulated CPU time (s) 1590.57 Current children cumulated vsize (Kb) 153792 [startup+1601 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1389000/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=153792 CPUtime=1600.57 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 37903 0 0 0 159985 72 0 0 25 0 1 0 195768900 157483008 37874 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38448 37874 205 16 0 37889 0 Current children cumulated CPU time (s) 1600.57 Current children cumulated vsize (Kb) 153792 [startup+1611.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1389000/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=153792 CPUtime=1610.57 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 37903 0 0 0 160985 72 0 0 25 0 1 0 195768900 157483008 37874 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38448 37874 205 16 0 37889 0 Current children cumulated CPU time (s) 1610.57 Current children cumulated vsize (Kb) 153792 [startup+1621.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1389000/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=153792 CPUtime=1620.58 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 37903 0 0 0 161985 73 0 0 25 0 1 0 195768900 157483008 37874 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38448 37874 205 16 0 37889 0 Current children cumulated CPU time (s) 1620.58 Current children cumulated vsize (Kb) 153792 [startup+1631.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1389000/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=153792 CPUtime=1630.58 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 37903 0 0 0 162985 73 0 0 25 0 1 0 195768900 157483008 37874 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 1605983 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38448 37874 205 16 0 37889 0 Current children cumulated CPU time (s) 1630.58 Current children cumulated vsize (Kb) 153792 [startup+1641.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1389000/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=153792 CPUtime=1640.58 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 37903 0 0 0 163984 74 0 0 25 0 1 0 195768900 157483008 37874 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38448 37874 205 16 0 37889 0 Current children cumulated CPU time (s) 1640.58 Current children cumulated vsize (Kb) 153792 [startup+1651.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1389000/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=153792 CPUtime=1650.58 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 37903 0 0 0 164984 74 0 0 25 0 1 0 195768900 157483008 37874 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38448 37874 205 16 0 37889 0 Current children cumulated CPU time (s) 1650.58 Current children cumulated vsize (Kb) 153792 [startup+1661.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1389000/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=153792 CPUtime=1660.59 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 37903 0 0 0 165985 74 0 0 25 0 1 0 195768900 157483008 37874 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524544 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38448 37874 205 16 0 37889 0 Current children cumulated CPU time (s) 1660.59 Current children cumulated vsize (Kb) 153792 [startup+1671.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1389000/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=153792 CPUtime=1670.59 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 37903 0 0 0 166985 74 0 0 25 0 1 0 195768900 157483008 37874 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38448 37874 205 16 0 37889 0 Current children cumulated CPU time (s) 1670.59 Current children cumulated vsize (Kb) 153792 [startup+1681.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1389000/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=153792 CPUtime=1680.6 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 37903 0 0 0 167985 75 0 0 25 0 1 0 195768900 157483008 37874 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 1605983 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38448 37874 205 16 0 37889 0 Current children cumulated CPU time (s) 1680.6 Current children cumulated vsize (Kb) 153792 [startup+1691.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1388936/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=153792 CPUtime=1690.6 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 37903 0 0 0 168985 75 0 0 25 0 1 0 195768900 157483008 37874 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38448 37874 205 16 0 37889 0 Current children cumulated CPU time (s) 1690.6 Current children cumulated vsize (Kb) 153792 [startup+1701.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1388488/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=154188 CPUtime=1700.6 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 38023 0 0 0 169984 76 0 0 25 0 1 0 195768900 157888512 37994 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38547 37994 205 16 0 37988 0 Current children cumulated CPU time (s) 1700.6 Current children cumulated vsize (Kb) 154188 [startup+1711.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1388488/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=154188 CPUtime=1710.6 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 38023 0 0 0 170984 76 0 0 25 0 1 0 195768900 157888512 37994 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38547 37994 205 16 0 37988 0 Current children cumulated CPU time (s) 1710.6 Current children cumulated vsize (Kb) 154188 [startup+1721.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1388488/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=154188 CPUtime=1720.6 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 38023 0 0 0 171984 76 0 0 25 0 1 0 195768900 157888512 37994 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38547 37994 205 16 0 37988 0 Current children cumulated CPU time (s) 1720.6 Current children cumulated vsize (Kb) 154188 [startup+1731.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1388488/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=154188 CPUtime=1730.61 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 38023 0 0 0 172984 77 0 0 25 0 1 0 195768900 157888512 37994 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38547 37994 205 16 0 37988 0 Current children cumulated CPU time (s) 1730.61 Current children cumulated vsize (Kb) 154188 [startup+1741.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1388424/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=154188 CPUtime=1740.61 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 38024 0 0 0 173984 77 0 0 25 0 1 0 195768900 157888512 37995 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134518924 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38547 37995 205 16 0 37988 0 Current children cumulated CPU time (s) 1740.61 Current children cumulated vsize (Kb) 154188 [startup+1751.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1388424/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=154188 CPUtime=1750.62 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 38024 0 0 0 174984 78 0 0 25 0 1 0 195768900 157888512 37995 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38547 37995 205 16 0 37988 0 Current children cumulated CPU time (s) 1750.62 Current children cumulated vsize (Kb) 154188 [startup+1761.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1388424/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=154188 CPUtime=1760.62 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 38024 0 0 0 175984 78 0 0 25 0 1 0 195768900 157888512 37995 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38547 37995 205 16 0 37988 0 Current children cumulated CPU time (s) 1760.62 Current children cumulated vsize (Kb) 154188 [startup+1771.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1388424/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=154188 CPUtime=1770.62 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 38033 0 0 0 176983 79 0 0 25 0 1 0 195768900 157888512 38004 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38547 38004 205 16 0 37988 0 Current children cumulated CPU time (s) 1770.62 Current children cumulated vsize (Kb) 154188 [startup+1781.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1388424/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=154188 CPUtime=1780.62 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 38033 0 0 0 177983 79 0 0 25 0 1 0 195768900 157888512 38004 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38547 38004 205 16 0 37988 0 Current children cumulated CPU time (s) 1780.62 Current children cumulated vsize (Kb) 154188 [startup+1782.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1388424/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=154188 CPUtime=1781.63 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 38033 0 0 0 178084 79 0 0 25 0 1 0 195768900 157888512 38004 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527102 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38547 38004 205 16 0 37988 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (Kb) 154188 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3202 /proc/meminfo: memFree=1388424/2055920 swapFree=4181480/4192956 [pid=3200] ppid=3198 vsize=154188 CPUtime=1782.63 /proc/3200/stat : 3200 (Pueblo) R 3198 3200 3154 0 -1 4194304 38033 0 0 0 178184 79 0 0 25 0 1 0 195768900 157888512 38004 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 1605983 0 0 4096 0 0 0 0 17 1 0 0 /proc/3200/statm: 38547 38004 205 16 0 37988 0 Current children cumulated CPU time (s) 1782.63 Current children cumulated vsize (Kb) 154188 Child status: 10 Real time (s): 1783.24 CPU time (s): 1782.76 CPU user time (s): 1781.94 CPU system time (s): 0.820875 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (Kb): 154188
Begin job on node31 on Sat Jun 3 02:17:32 UTC 2006 FILE ID= 37070-1149301052 PBS_JOBID= 307366 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/Pueblo ROOT/tmp/node31/37070-1149301052/instance-37070-1149301052.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node31/watcher-37070-1149301052 -o ROOT/results/node31/solver-37070-1149301052 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node31/37070-1149301052/instance-37070-1149301052.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703 RANDOM SEED= 219711113 /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.234 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.234 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: 1540304 kB Buffers: 29732 kB Cached: 412680 kB SwapCached: 3396 kB Active: 87084 kB Inactive: 364268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1540304 kB SwapTotal: 4192956 kB SwapFree: 4181480 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14964 kB Slab: 50252 kB Committed_AS: 325936 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node31 on Sat Jun 3 02:47:15 UTC 2006