Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 102776 | 1782.74 | 1783.47 |
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.03 o 230705 0.05 o 226457 0.10 o 178912 0.11 o 178384 0.16 o 174056 0.17 o 169883 0.48 o 168489 0.50 o 168116 0.51 o 167878 0.51 o 163563 0.59 o 159402 0.60 o 159164 0.60 o 154849 0.60 o 136406 6.64 o 136176 6.74 o 136163 113.80 o 135862 113.80 o 135579 113.86 o 135429 113.86 o 131256 113.86 o 131243 114.17 o 130779 114.18 o 130496 607.18 o 129601 607.19 o 129532 607.19 o 129318 607.19 o 128928 607.19 o 128859 607.19 o 128645 607.20 o 128632 608.09 o 128431 608.09 o 128418 624.90 o 127259 624.90 o 127190 624.90 o 126976 624.91 o 126762 624.91 o 126750 624.91 o 126536 624.91 o 126322 624.91 o 126291 624.93 o 126278 624.93 o 126247 626.22 o 123092 626.22 o 122809 626.28 o 122804 646.25 o 118036 646.27 o 113926 647.02 o 113850 647.02 o 113428 647.02 o 113214 647.04 o 108601 647.05 o 108387 647.11 o 108374 718.28 o 108368 718.29 o 108355 718.59 o 108247 718.61 o 108033 718.63 o 107859 718.63 o 107846 789.91 o 104177 789.91 o 103963 798.75 o 103681 798.75 o 103467 798.76 o 103454 898.38 o 103258 899.38 o 103204 899.38 o 102990 901.22 o 102950 901.22 o 102776 1783.46 c total time : 1783 s 1783.46 s SATISFIABLE 1783.46 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 -x81 1783.46 v x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 x105 -x106 1783.46 v -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1783.46 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1783.46 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 1783.46 v -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1783.46 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1783.46 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 1783.46 v x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 1783.46 v -x254 x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1783.46 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1783.46 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 1783.46 v -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1783.46 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1783.46 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 1783.46 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 1783.46 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1783.46 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1783.46 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1783.46 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1783.46 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1783.46 v x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1783.46 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1783.46 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1783.46 v -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.46 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.46 v -x54
OK 102776
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/node5/watcher-37803-1149367987 -o ROOT/results/node5/solver-37803-1149367987 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node5/37803-1149367987/instance-37803-1149367987.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1580056/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=172 CPUtime=0 /proc/8002/stat : 8002 (Pueblo13) D 8000 8002 7956 0 -1 4194304 38 0 0 0 0 0 0 0 18 0 1 0 202402371 176128 23 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 7893796 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 229 24 18 16 0 3 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1578328/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=4096 CPUtime=9.99 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 697 0 0 0 996 3 0 0 25 0 1 0 202402371 4194304 637 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1024 637 205 16 0 465 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 4096 [startup+20.0086 s] /proc/loadavg: 0.94 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1578328/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=4220 CPUtime=19.99 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 730 0 0 0 1993 6 0 0 25 0 1 0 202402371 4321280 665 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1055 665 205 16 0 496 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 4220 [startup+30.0145 s] /proc/loadavg: 0.95 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1578200/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=4408 CPUtime=29.99 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 785 0 0 0 2991 8 0 0 25 0 1 0 202402371 4513792 719 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134554636 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1102 719 205 16 0 543 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 4408 [startup+40.0205 s] /proc/loadavg: 0.96 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1578136/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=4320 CPUtime=40 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 810 0 0 0 3989 11 0 0 25 0 1 0 202402371 4423680 703 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1080 703 205 16 0 521 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 4320 [startup+50.0264 s] /proc/loadavg: 0.96 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1578072/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=4604 CPUtime=50 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 887 0 0 0 4987 13 0 0 25 0 1 0 202402371 4714496 769 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1151 769 205 16 0 592 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 4604 [startup+60.0324 s] /proc/loadavg: 0.97 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577944/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=4608 CPUtime=59.99 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 913 0 0 0 5985 14 0 0 25 0 1 0 202402371 4718592 775 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1152 775 205 16 0 593 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 4608 [startup+70.0383 s] /proc/loadavg: 0.97 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577944/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=4732 CPUtime=70 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 936 0 0 0 6983 17 0 0 25 0 1 0 202402371 4845568 798 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1183 798 205 16 0 624 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 4732 [startup+80.0443 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577816/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=4776 CPUtime=80.01 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 996 0 0 0 7981 20 0 0 25 0 1 0 202402371 4890624 816 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1194 816 205 16 0 635 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 4776 [startup+90.0502 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577688/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=4904 CPUtime=90.01 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 1028 0 0 0 8979 22 0 0 25 0 1 0 202402371 5021696 848 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1226 848 205 16 0 667 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 4904 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577560/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=5008 CPUtime=100 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 1059 0 0 0 9977 23 0 0 25 0 1 0 202402371 5128192 875 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1252 875 205 16 0 693 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 5008 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577560/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=5008 CPUtime=110.01 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 1059 0 0 0 10976 25 0 0 25 0 1 0 202402371 5128192 875 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1252 875 205 16 0 693 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 5008 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577496/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=5028 CPUtime=120.01 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 1072 0 0 0 11974 27 0 0 25 0 1 0 202402371 5148672 880 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1257 880 205 16 0 698 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 5028 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577496/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=5132 CPUtime=130.02 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 1093 0 0 0 12973 29 0 0 25 0 1 0 202402371 5255168 901 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1283 901 205 16 0 724 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 5132 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577432/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=5132 CPUtime=140.01 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 1093 0 0 0 13970 31 0 0 25 0 1 0 202402371 5255168 901 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1283 901 205 16 0 724 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 5132 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577432/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=5132 CPUtime=150.02 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 1095 0 0 0 14969 33 0 0 25 0 1 0 202402371 5255168 903 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1283 903 205 16 0 724 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 5132 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577432/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=5132 CPUtime=160.02 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 1095 0 0 0 15968 34 0 0 25 0 1 0 202402371 5255168 903 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1283 903 205 16 0 724 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 5132 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577432/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=5132 CPUtime=170.02 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 1095 0 0 0 16965 37 0 0 25 0 1 0 202402371 5255168 903 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1283 903 205 16 0 724 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 5132 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577496/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=5132 CPUtime=180.02 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 1095 0 0 0 17962 40 0 0 25 0 1 0 202402371 5255168 903 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1283 903 205 16 0 724 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 5132 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577496/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=5132 CPUtime=190.03 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 1095 0 0 0 18960 43 0 0 25 0 1 0 202402371 5255168 903 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527944 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1283 903 205 16 0 724 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 5132 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577496/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=5132 CPUtime=200.03 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 1095 0 0 0 19958 45 0 0 25 0 1 0 202402371 5255168 903 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1283 903 205 16 0 724 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 5132 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8002 /proc/meminfo: memFree=1577496/2055920 swapFree=4180904/4192956 ################ # More data... # ################ /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1590.31 Current children cumulated vsize (Kb) 6552 [startup+1600.97 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1600.31 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2072 0 0 0 159710 321 0 0 25 0 1 0 202402371 6709248 1257 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1600.31 Current children cumulated vsize (Kb) 6552 [startup+1610.98 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1610.31 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2072 0 0 0 160707 324 0 0 25 0 1 0 202402371 6709248 1257 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1610.31 Current children cumulated vsize (Kb) 6552 [startup+1620.98 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1620.31 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2072 0 0 0 161705 326 0 0 25 0 1 0 202402371 6709248 1257 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1620.31 Current children cumulated vsize (Kb) 6552 [startup+1630.99 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1630.31 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2072 0 0 0 162702 329 0 0 25 0 1 0 202402371 6709248 1257 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1630.31 Current children cumulated vsize (Kb) 6552 [startup+1641 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575832/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1640.31 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2072 0 0 0 163699 332 0 0 25 0 1 0 202402371 6709248 1257 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1640.31 Current children cumulated vsize (Kb) 6552 [startup+1651 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575832/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1650.32 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2072 0 0 0 164698 334 0 0 25 0 1 0 202402371 6709248 1257 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1650.32 Current children cumulated vsize (Kb) 6552 [startup+1661.01 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575832/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1660.32 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2072 0 0 0 165696 336 0 0 25 0 1 0 202402371 6709248 1257 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1660.32 Current children cumulated vsize (Kb) 6552 [startup+1671.01 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575832/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1670.32 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2072 0 0 0 166694 338 0 0 25 0 1 0 202402371 6709248 1257 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1670.32 Current children cumulated vsize (Kb) 6552 [startup+1681.02 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575832/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1680.33 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2072 0 0 0 167692 341 0 0 25 0 1 0 202402371 6709248 1257 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1680.33 Current children cumulated vsize (Kb) 6552 [startup+1691.03 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575832/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1690.32 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2072 0 0 0 168690 342 0 0 25 0 1 0 202402371 6709248 1257 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1690.32 Current children cumulated vsize (Kb) 6552 [startup+1701.03 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1700.33 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2072 0 0 0 169689 344 0 0 25 0 1 0 202402371 6709248 1257 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1700.33 Current children cumulated vsize (Kb) 6552 [startup+1711.04 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1710.33 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2072 0 0 0 170687 346 0 0 25 0 1 0 202402371 6709248 1257 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517721 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1710.33 Current children cumulated vsize (Kb) 6552 [startup+1721.04 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1720.33 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2072 0 0 0 171684 349 0 0 25 0 1 0 202402371 6709248 1257 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1720.33 Current children cumulated vsize (Kb) 6552 [startup+1731.05 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1730.34 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2072 0 0 0 172683 351 0 0 25 0 1 0 202402371 6709248 1257 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1257 205 16 0 1079 0 Current children cumulated CPU time (s) 1730.34 Current children cumulated vsize (Kb) 6552 [startup+1741.06 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1740.34 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2081 0 0 0 173680 354 0 0 25 0 1 0 202402371 6709248 1261 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1261 205 16 0 1079 0 Current children cumulated CPU time (s) 1740.34 Current children cumulated vsize (Kb) 6552 [startup+1751.06 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1750.34 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2081 0 0 0 174678 356 0 0 25 0 1 0 202402371 6709248 1261 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1261 205 16 0 1079 0 Current children cumulated CPU time (s) 1750.34 Current children cumulated vsize (Kb) 6552 [startup+1761.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1760.34 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2081 0 0 0 175676 358 0 0 25 0 1 0 202402371 6709248 1261 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1261 205 16 0 1079 0 Current children cumulated CPU time (s) 1760.34 Current children cumulated vsize (Kb) 6552 [startup+1771.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1770.34 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2081 0 0 0 176674 360 0 0 25 0 1 0 202402371 6709248 1261 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1261 205 16 0 1079 0 Current children cumulated CPU time (s) 1770.34 Current children cumulated vsize (Kb) 6552 [startup+1781.08 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1780.35 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2081 0 0 0 177672 363 0 0 25 0 1 0 202402371 6709248 1261 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1261 205 16 0 1079 0 Current children cumulated CPU time (s) 1780.35 Current children cumulated vsize (Kb) 6552 [startup+1782.08 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1781.35 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2081 0 0 0 177772 363 0 0 25 0 1 0 202402371 6709248 1261 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1261 205 16 0 1079 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (Kb) 6552 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8197 /proc/meminfo: memFree=1575768/2055920 swapFree=4180904/4192956 [pid=8002] ppid=8000 vsize=6552 CPUtime=1782.35 /proc/8002/stat : 8002 (Pueblo13) R 8000 8002 7956 0 -1 4194304 2081 0 0 0 177872 363 0 0 25 0 1 0 202402371 6709248 1261 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 1638 1261 205 16 0 1079 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (Kb) 6552 Child status: 10 Real time (s): 1783.47 CPU time (s): 1782.74 CPU user time (s): 1779.1 CPU system time (s): 3.63845 CPU usage (%): 99.9591 Max. virtual memory (cumulated for all children) (Kb): 6552
Begin job on node5 on Sat Jun 3 20:53:07 UTC 2006 FILE ID= 37803-1149367987 PBS_JOBID= 311949 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/Pueblo13 ROOT/tmp/node5/37803-1149367987/instance-37803-1149367987.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-37803-1149367987 -o ROOT/results/node5/solver-37803-1149367987 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node5/37803-1149367987/instance-37803-1149367987.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 75f6d21683e6eb738b98c93cf5598ff3 RANDOM SEED= 48676875 /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.279 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.279 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: 1580264 kB Buffers: 27752 kB Cached: 384028 kB SwapCached: 3904 kB Active: 28972 kB Inactive: 391680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1580264 kB SwapTotal: 4192956 kB SwapFree: 4180904 kB Dirty: 216 kB Writeback: 0 kB Mapped: 14944 kB Slab: 41048 kB Committed_AS: 316552 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 node5 on Sat Jun 3 21:22:51 UTC 2006