Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 118468 | 1782.73 | 1783.19 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-cracpb1.opb |
MD5SUM | 75f6d21683e6eb738b98c93cf5598ff3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 22199 |
Best CPU time to get the best result obtained on this benchmark | 1.24581 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 22199 |
Optimality of the best value was proved | YES |
Number of variables | 572 |
Total number of constraints | 126 |
Number of constraints which are clauses | 3 |
Number of constraints which are cardinality constraints (but not clauses) | 54 |
Number of constraints which are nor clauses,nor cardinality constraints | 69 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 518 |
Number of terms in the objective function | 572 |
Biggest coefficient in the objective function | 5000 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 547769 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 5000 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 547769 |
Number of bits of the biggest sum of numbers | 20 |
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.02 c starting to Solve 0.02 c #variables read: 572 - #constraints read: 216 0.02 o 270000 0.02 o 261286 0.03 o 253536 0.03 o 248803 0.03 o 240089 0.03 o 239805 0.04 o 234776 0.04 o 230705 0.06 o 226457 0.10 o 219153 0.10 o 214980 0.10 o 209372 0.10 o 205199 0.11 o 201620 0.11 o 201295 0.11 o 200565 0.11 o 196392 0.11 o 196012 0.11 o 191839 0.11 o 191514 0.79 o 191034 2.03 o 189939 2.10 o 186366 2.10 o 185926 2.12 o 185872 3.02 o 183023 3.02 o 182495 3.06 o 178482 3.06 o 174309 3.31 o 174240 3.34 o 174026 4.56 o 172409 4.56 o 172221 11.26 o 169762 11.26 o 169520 13.18 o 169155 20.93 o 168883 20.94 o 168878 22.22 o 168865 70.07 o 165923 70.07 o 165395 70.07 o 165326 75.59 o 165305 75.77 o 164931 75.78 o 164717 75.78 o 164648 84.53 o 164579 228.79 o 164313 228.80 o 164065 228.80 o 163851 228.80 o 163820 228.82 o 163785 228.82 o 163537 228.82 o 163323 228.83 o 163292 228.84 o 159192 228.84 o 158978 229.98 o 154831 229.98 o 154762 229.98 o 154548 229.98 o 154479 229.99 o 154303 229.99 o 154234 229.99 o 154020 229.99 o 153951 230.02 o 153882 230.27 o 151085 230.27 o 146230 230.27 o 145947 230.28 o 145942 230.37 o 145903 230.38 o 145898 231.89 o 145389 232.30 o 136203 232.30 o 136134 232.30 o 135920 232.36 o 135416 232.36 o 135411 241.74 o 132142 241.75 o 132111 243.20 o 131823 243.20 o 127749 243.21 o 127736 249.79 o 123678 249.79 o 123665 249.81 o 123150 249.81 o 123137 1615.39 o 122929 1615.39 o 118756 1615.40 o 118751 1615.41 o 118542 1615.41 o 118537 1615.42 o 118473 1615.42 o 118468 1783.18 c total time : 1783 s 1783.18 s SATISFIABLE 1783.18 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 1783.18 v -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 1783.18 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 1783.18 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1783.18 v -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1783.18 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1783.18 v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1783.18 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 1783.18 v -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 1783.18 v -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 1783.18 v -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1783.18 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 1783.18 v -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 1783.18 v -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1783.18 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1783.18 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 1783.18 v -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 1783.18 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1783.18 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1783.18 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1783.18 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1783.18 v x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1783.18 v -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1783.18 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1783.18 v -x568 -x569 -x570 -x571 -x572 x1 -x2 -x3 x4 -x5 x6 x7 x8 x9 -x10 x11 x12 -x13 -x14 x15 x16 -x17 x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 1783.18 v -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 x35 -x36 x37 x38 x39 -x40 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 1783.18 v -x54
OK 118468
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/node49/watcher-36653-1149367832 -o ROOT/results/node49/solver-36653-1149367832 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node49/36653-1149367832/instance-36653-1149367832.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1594568/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=2328 CPUtime=0 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 202450337 2383872 128 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2485112 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 582 129 110 16 0 11 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1591952/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=4872 CPUtime=9.99 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 869 0 0 0 998 1 0 0 25 0 1 0 202450337 4988928 840 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1218 840 205 16 0 659 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 4872 [startup+20.008 s] /proc/loadavg: 0.94 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1591760/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=5100 CPUtime=19.99 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 920 0 0 0 1997 2 0 0 25 0 1 0 202450337 5222400 891 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557334 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1275 891 205 16 0 716 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 5100 [startup+30.0139 s] /proc/loadavg: 0.95 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1591696/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=5128 CPUtime=30 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 942 0 0 0 2997 3 0 0 25 0 1 0 202450337 5251072 900 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1282 900 205 16 0 723 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 5128 [startup+40.0197 s] /proc/loadavg: 0.96 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1591568/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=5392 CPUtime=40 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 992 0 0 0 3996 4 0 0 25 0 1 0 202450337 5521408 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1348 949 205 16 0 789 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 5392 [startup+50.0255 s] /proc/loadavg: 0.96 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1591056/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=5912 CPUtime=50 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1119 0 0 0 4995 5 0 0 25 0 1 0 202450337 6053888 1072 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1478 1072 205 16 0 919 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 5912 [startup+60.0313 s] /proc/loadavg: 0.97 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590992/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=5912 CPUtime=60.01 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1137 0 0 0 5995 6 0 0 25 0 1 0 202450337 6053888 1090 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1478 1090 205 16 0 919 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 5912 [startup+70.0371 s] /proc/loadavg: 0.97 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590928/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=6040 CPUtime=70.01 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1162 0 0 0 6995 6 0 0 25 0 1 0 202450337 6184960 1115 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1510 1115 205 16 0 951 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 6040 [startup+80.043 s] /proc/loadavg: 0.98 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590864/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=6040 CPUtime=80.01 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1167 0 0 0 7994 7 0 0 25 0 1 0 202450337 6184960 1120 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527562 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1510 1120 205 16 0 951 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 6040 [startup+90.0488 s] /proc/loadavg: 0.98 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590800/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=6156 CPUtime=90.02 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1201 0 0 0 8994 8 0 0 25 0 1 0 202450337 6303744 1154 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1539 1154 205 16 0 980 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 6156 [startup+100.055 s] /proc/loadavg: 0.98 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590800/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=6084 CPUtime=100.02 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1201 0 0 0 9993 9 0 0 25 0 1 0 202450337 6230016 1145 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1521 1145 205 16 0 962 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 6084 [startup+110.06 s] /proc/loadavg: 0.98 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590800/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=6068 CPUtime=110.03 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1201 0 0 0 10993 10 0 0 25 0 1 0 202450337 6213632 1141 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1517 1141 205 16 0 958 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 6068 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590800/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=6180 CPUtime=120.03 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1215 0 0 0 11992 11 0 0 25 0 1 0 202450337 6328320 1155 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1545 1155 205 16 0 986 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 6180 [startup+130.072 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590544/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=6316 CPUtime=130.03 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1309 0 0 0 12991 12 0 0 25 0 1 0 202450337 6467584 1187 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1579 1187 205 16 0 1020 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 6316 [startup+140.077 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590544/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=6376 CPUtime=140.03 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1333 0 0 0 13990 13 0 0 25 0 1 0 202450337 6529024 1211 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1594 1211 205 16 0 1035 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 6376 [startup+150.083 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590480/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=6500 CPUtime=150.03 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1361 0 0 0 14989 14 0 0 25 0 1 0 202450337 6656000 1239 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1625 1239 205 16 0 1066 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 6500 [startup+160.089 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590416/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=6512 CPUtime=160.04 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1369 0 0 0 15989 15 0 0 25 0 1 0 202450337 6668288 1243 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1628 1243 205 16 0 1069 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 6512 [startup+170.094 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590352/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=6500 CPUtime=170.04 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1384 0 0 0 16989 15 0 0 25 0 1 0 202450337 6656000 1249 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1625 1249 205 16 0 1066 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 6500 [startup+180.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590160/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=6752 CPUtime=180.05 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1446 0 0 0 17989 16 0 0 25 0 1 0 202450337 6914048 1311 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1688 1311 205 16 0 1129 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 6752 [startup+190.105 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590160/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=6752 CPUtime=190.05 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1446 0 0 0 18988 17 0 0 25 0 1 0 202450337 6914048 1311 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1688 1311 205 16 0 1129 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 6752 [startup+200.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590160/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=6752 CPUtime=200.05 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 1446 0 0 0 19988 17 0 0 25 0 1 0 202450337 6914048 1311 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 1688 1311 205 16 0 1129 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 6752 [startup+210.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 15924 /proc/meminfo: memFree=1590096/2055920 swapFree=4181408/4192956 ################ # More data... # ################ /proc/15924/statm: 2190 1814 205 16 0 1631 0 Current children cumulated CPU time (s) 1590.49 Current children cumulated vsize (Kb) 8760 [startup+1600.91 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=9020 CPUtime=1600.49 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3543 0 0 0 159924 125 0 0 25 0 1 0 202450337 9236480 1860 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2255 1860 205 16 0 1696 0 Current children cumulated CPU time (s) 1600.49 Current children cumulated vsize (Kb) 9020 [startup+1610.92 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=9020 CPUtime=1610.5 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3543 0 0 0 160924 126 0 0 25 0 1 0 202450337 9236480 1860 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2255 1860 205 16 0 1696 0 Current children cumulated CPU time (s) 1610.5 Current children cumulated vsize (Kb) 9020 [startup+1620.93 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=8960 CPUtime=1620.5 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3543 0 0 0 161923 127 0 0 25 0 1 0 202450337 9175040 1860 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2240 1860 205 16 0 1681 0 Current children cumulated CPU time (s) 1620.5 Current children cumulated vsize (Kb) 8960 [startup+1630.93 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=8960 CPUtime=1630.5 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3543 0 0 0 162923 127 0 0 25 0 1 0 202450337 9175040 1860 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528646 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2240 1860 205 16 0 1681 0 Current children cumulated CPU time (s) 1630.5 Current children cumulated vsize (Kb) 8960 [startup+1640.94 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=8960 CPUtime=1640.51 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3543 0 0 0 163923 128 0 0 25 0 1 0 202450337 9175040 1860 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2240 1860 205 16 0 1681 0 Current children cumulated CPU time (s) 1640.51 Current children cumulated vsize (Kb) 8960 [startup+1650.94 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587608/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=9084 CPUtime=1650.51 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 164922 129 0 0 25 0 1 0 202450337 9302016 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2271 1866 205 16 0 1712 0 Current children cumulated CPU time (s) 1650.51 Current children cumulated vsize (Kb) 9084 [startup+1660.95 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=9000 CPUtime=1660.51 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 165922 129 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2250 1866 205 16 0 1691 0 Current children cumulated CPU time (s) 1660.51 Current children cumulated vsize (Kb) 9000 [startup+1670.95 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=9000 CPUtime=1670.52 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 166922 130 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2250 1866 205 16 0 1691 0 Current children cumulated CPU time (s) 1670.52 Current children cumulated vsize (Kb) 9000 [startup+1680.96 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=9000 CPUtime=1680.52 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 167922 130 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528850 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2250 1866 205 16 0 1691 0 Current children cumulated CPU time (s) 1680.52 Current children cumulated vsize (Kb) 9000 [startup+1690.96 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=9000 CPUtime=1690.53 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 168922 131 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2250 1866 205 16 0 1691 0 Current children cumulated CPU time (s) 1690.53 Current children cumulated vsize (Kb) 9000 [startup+1700.97 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=9000 CPUtime=1700.52 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 169921 131 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2250 1866 205 16 0 1691 0 Current children cumulated CPU time (s) 1700.52 Current children cumulated vsize (Kb) 9000 [startup+1710.98 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=9000 CPUtime=1710.53 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 170921 132 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2250 1866 205 16 0 1691 0 Current children cumulated CPU time (s) 1710.53 Current children cumulated vsize (Kb) 9000 [startup+1720.98 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=9000 CPUtime=1720.53 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 171920 133 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2250 1866 205 16 0 1691 0 Current children cumulated CPU time (s) 1720.53 Current children cumulated vsize (Kb) 9000 [startup+1730.99 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587608/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=9000 CPUtime=1730.53 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 172920 133 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2250 1866 205 16 0 1691 0 Current children cumulated CPU time (s) 1730.53 Current children cumulated vsize (Kb) 9000 [startup+1740.99 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587608/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=9000 CPUtime=1740.54 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 173920 134 0 0 25 0 1 0 202450337 9216000 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528267 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2250 1866 205 16 0 1691 0 Current children cumulated CPU time (s) 1740.54 Current children cumulated vsize (Kb) 9000 [startup+1751 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587608/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=8980 CPUtime=1750.55 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 174921 134 0 0 25 0 1 0 202450337 9195520 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2245 1866 205 16 0 1686 0 Current children cumulated CPU time (s) 1750.55 Current children cumulated vsize (Kb) 8980 [startup+1761.01 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587608/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=8980 CPUtime=1760.55 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 175920 135 0 0 25 0 1 0 202450337 9195520 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2245 1866 205 16 0 1686 0 Current children cumulated CPU time (s) 1760.55 Current children cumulated vsize (Kb) 8980 [startup+1771.01 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=8980 CPUtime=1770.55 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 176919 136 0 0 25 0 1 0 202450337 9195520 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2245 1866 205 16 0 1686 0 Current children cumulated CPU time (s) 1770.55 Current children cumulated vsize (Kb) 8980 [startup+1781.02 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=8980 CPUtime=1780.55 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 177919 136 0 0 25 0 1 0 202450337 9195520 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528322 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2245 1866 205 16 0 1686 0 Current children cumulated CPU time (s) 1780.55 Current children cumulated vsize (Kb) 8980 [startup+1782.02 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=8980 CPUtime=1781.55 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 178019 136 0 0 25 0 1 0 202450337 9195520 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2245 1866 205 16 0 1686 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 8980 [startup+1783.03 s] /proc/loadavg: 0.99 0.98 0.99 2/64 16119 /proc/meminfo: memFree=1587672/2055920 swapFree=4181408/4192956 [pid=15924] ppid=15922 vsize=8980 CPUtime=1782.56 /proc/15924/stat : 15924 (Pueblo) R 15922 15924 15878 0 -1 4194304 3549 0 0 0 178120 136 0 0 25 0 1 0 202450337 9195520 1866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/15924/statm: 2245 1866 205 16 0 1686 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 8980 Child status: 10 Real time (s): 1783.19 CPU time (s): 1782.73 CPU user time (s): 1781.36 CPU system time (s): 1.37079 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (Kb): 9084
Begin job on node49 on Sat Jun 3 20:50:32 UTC 2006 FILE ID= 36653-1149367832 PBS_JOBID= 311945 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node49/36653-1149367832/instance-36653-1149367832.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node49/watcher-36653-1149367832 -o ROOT/results/node49/solver-36653-1149367832 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node49/36653-1149367832/instance-36653-1149367832.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 75f6d21683e6eb738b98c93cf5598ff3 RANDOM SEED= 556617990 /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.216 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.216 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: 1594776 kB Buffers: 26368 kB Cached: 376448 kB SwapCached: 3280 kB Active: 46164 kB Inactive: 365376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1594776 kB SwapTotal: 4192956 kB SwapFree: 4181408 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14832 kB Slab: 35636 kB Committed_AS: 354660 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node49 on Sat Jun 3 21:20:15 UTC 2006