Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 3591 | 1782.73 | 1783.38 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb |
MD5SUM | 08913f3dd730f4c3a659694fd4c06001 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3591 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3591 |
Optimality of the best value was proved | NO |
Number of variables | 556 |
Total number of constraints | 180 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 178 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 10575 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 524466 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 20152 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 524466 |
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.01 c starting to Solve 0.01 c #variables read: 556 - #constraints read: 181 0.03 o 11758 0.03 o 11688 0.04 o 11617 0.04 o 11604 0.04 o 11533 0.05 o 11478 0.05 o 11464 0.05 o 11394 0.06 o 11322 0.06 o 11078 0.09 o 10646 0.20 o 10477 0.22 o 10446 0.41 o 10290 0.44 o 10268 0.44 o 9853 0.44 o 9711 0.46 o 9517 0.47 o 9132 0.47 o 9095 0.47 o 8749 0.47 o 8069 0.47 o 7661 0.48 o 7635 0.49 o 7422 0.50 o 7039 10.99 o 6991 15.10 o 6920 16.92 o 6850 59.79 o 6765 59.80 o 6721 78.62 o 6718 80.20 o 6687 83.65 o 6659 83.89 o 6653 84.20 o 6536 84.98 o 6534 85.07 o 6351 85.65 o 6331 85.84 o 6303 86.70 o 6287 87.87 o 6273 87.88 o 6233 87.88 o 6203 87.88 o 6193 87.89 o 6149 87.89 o 6119 87.89 o 6109 87.89 o 5981 90.48 o 5876 93.36 o 5813 93.44 o 5803 93.44 o 5676 93.73 o 5607 93.94 o 5553 195.93 o 5099 196.13 o 4290 244.07 o 4234 329.09 o 4047 329.59 o 3591 1783.37 c total time : 1783 s 1783.37 s SATISFIABLE 1783.37 v -x1 -x2 -x3 -x4 -x49 -x50 -x51 -x52 -x97 -x98 -x99 -x100 -x145 -x146 -x147 -x148 -x279 -x280 -x281 -x282 -x327 -x328 -x329 -x330 1783.37 v -x375 -x376 -x377 -x378 -x423 -x424 -x425 -x426 -x5 -x6 -x7 -x8 -x53 -x54 -x55 -x56 -x101 -x102 -x103 -x104 -x149 -x150 -x151 1783.37 v -x152 -x193 -x194 -x195 -x196 -x236 -x237 -x238 -x239 -x283 -x284 -x285 -x286 -x331 -x332 -x333 -x334 -x379 -x380 -x381 -x382 1783.37 v -x427 -x428 -x429 -x430 -x471 -x472 -x473 -x474 -x514 -x515 -x516 -x517 -x9 -x10 -x11 -x12 -x57 -x58 -x59 -x60 -x105 -x106 1783.37 v -x107 -x108 -x153 -x154 -x155 -x156 -x197 -x198 -x199 -x200 -x240 -x241 -x242 -x243 -x287 -x288 -x289 -x290 -x335 -x336 -x337 1783.37 v -x338 -x383 -x384 -x385 -x386 -x431 -x432 -x433 -x434 -x475 -x476 -x477 -x478 -x518 -x519 -x520 -x521 -x13 -x61 -x109 -x157 1783.37 v -x201 -x244 -x291 -x339 -x387 -x435 -x479 -x522 -x14 -x15 -x16 -x62 -x63 -x64 -x110 -x111 -x112 -x158 -x159 -x160 -x202 -x203 1783.37 v -x204 -x245 -x246 -x247 -x292 -x293 -x294 -x340 -x341 -x342 -x388 -x389 -x390 -x436 -x437 -x438 -x480 -x481 -x482 -x523 -x524 1783.37 v -x525 -x17 -x18 -x19 -x20 -x65 -x66 -x67 -x68 -x113 -x114 -x115 -x116 -x161 -x162 -x163 -x164 -x205 -x206 -x207 -x208 -x248 1783.37 v -x249 -x250 -x251 -x295 -x296 -x297 -x298 -x343 -x344 -x345 -x346 -x391 -x392 -x393 -x394 -x439 -x440 -x441 -x442 -x483 -x484 1783.37 v -x485 -x486 -x526 -x527 -x528 -x529 -x209 -x210 -x211 -x252 -x253 -x254 -x487 -x488 -x489 -x530 -x531 -x532 -x21 -x22 -x23 1783.37 v -x24 -x69 -x70 -x71 -x72 -x117 -x118 -x119 -x120 -x165 -x166 -x167 -x168 -x299 -x300 -x301 -x302 -x347 -x348 -x349 -x350 -x395 1783.37 v -x396 -x397 -x398 -x443 -x444 -x445 -x446 -x25 -x26 -x27 -x73 -x74 -x75 x121 -x122 -x123 -x169 -x170 -x171 -x212 -x213 -x214 1783.37 v x255 x256 -x257 -x303 -x304 -x305 -x351 -x352 -x353 x399 -x400 -x401 -x447 -x448 -x449 -x490 -x491 -x492 -x533 -x534 -x535 1783.37 v -x28 -x29 -x30 x31 -x32 -x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x76 -x77 -x78 x79 -x80 -x81 -x82 1783.37 v -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 1783.37 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 1783.37 v x183 -x184 x185 -x186 -x187 x188 -x189 x190 -x191 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 1783.37 v x228 -x229 -x230 -x231 -x232 -x233 -x234 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 1783.37 v -x272 -x273 -x274 -x275 -x276 -x277 -x306 x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1783.37 v -x321 -x322 -x323 -x324 -x325 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 1783.37 v -x370 -x371 -x372 -x373 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 1783.37 v -x419 -x420 -x421 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 1783.37 v -x468 -x469 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 1783.37 v -x512 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 1783.37 v -x48 -x96 -x144 x192 -x235 -x278 -x326 -x374 -x422 -x470 -x513 -x556
OK 3591
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-37774-1149273049 -o ROOT/results/node70/solver-37774-1149273049 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node70/37774-1149273049/instance-37774-1149273049.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1792304/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=2288 CPUtime=0 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 221 0 0 0 0 0 0 0 18 0 1 0 192974522 2342912 192 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 572 192 169 16 0 13 0 [startup+10.0025 s] /proc/loadavg: 0.87 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790960/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=3716 CPUtime=9.99 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 572 0 0 0 992 7 0 0 25 0 1 0 192974522 3805184 543 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 929 543 205 16 0 370 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 3716 [startup+20.0093 s] /proc/loadavg: 0.89 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790640/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4100 CPUtime=19.99 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 659 0 0 0 1985 14 0 0 25 0 1 0 192974522 4198400 630 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1025 630 205 16 0 466 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 4100 [startup+30.0161 s] /proc/loadavg: 0.91 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790576/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4100 CPUtime=30 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 671 0 0 0 2977 23 0 0 25 0 1 0 192974522 4198400 642 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1025 642 205 16 0 466 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 4100 [startup+40.0219 s] /proc/loadavg: 0.92 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790384/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4348 CPUtime=40 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 725 0 0 0 3972 28 0 0 25 0 1 0 192974522 4452352 696 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520229 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1087 696 205 16 0 528 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 4348 [startup+50.0287 s] /proc/loadavg: 0.93 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790448/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4348 CPUtime=50 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 725 0 0 0 4965 35 0 0 25 0 1 0 192974522 4452352 696 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1087 696 205 16 0 528 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 4348 [startup+60.0346 s] /proc/loadavg: 0.94 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790320/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4388 CPUtime=60 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 752 0 0 0 5959 41 0 0 25 0 1 0 192974522 4493312 718 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1097 718 205 16 0 538 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 4388 [startup+70.0404 s] /proc/loadavg: 0.95 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790320/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4388 CPUtime=70 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 752 0 0 0 6953 47 0 0 25 0 1 0 192974522 4493312 718 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1097 718 205 16 0 538 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 4388 [startup+80.0462 s] /proc/loadavg: 0.96 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790320/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4388 CPUtime=80.01 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 752 0 0 0 7947 54 0 0 25 0 1 0 192974522 4493312 718 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1097 718 205 16 0 538 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 4388 [startup+90.052 s] /proc/loadavg: 0.96 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790192/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4388 CPUtime=90.01 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 797 0 0 0 8939 62 0 0 25 0 1 0 192974522 4493312 718 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1097 718 205 16 0 538 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 4388 [startup+100.058 s] /proc/loadavg: 0.97 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790192/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4388 CPUtime=100.01 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 797 0 0 0 9928 73 0 0 25 0 1 0 192974522 4493312 718 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1097 718 205 16 0 538 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 4388 [startup+110.064 s] /proc/loadavg: 0.97 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790192/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4388 CPUtime=110.02 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 797 0 0 0 10921 81 0 0 25 0 1 0 192974522 4493312 718 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1097 718 205 16 0 538 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 4388 [startup+120.069 s] /proc/loadavg: 0.98 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790128/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4644 CPUtime=120.02 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 850 0 0 0 11913 89 0 0 25 0 1 0 192974522 4755456 771 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1161 771 205 16 0 602 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 4644 [startup+130.075 s] /proc/loadavg: 0.98 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790128/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4644 CPUtime=130.02 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 850 0 0 0 12903 99 0 0 25 0 1 0 192974522 4755456 771 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1161 771 205 16 0 602 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 4644 [startup+140.081 s] /proc/loadavg: 0.98 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790128/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4644 CPUtime=140.03 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 850 0 0 0 13891 112 0 0 25 0 1 0 192974522 4755456 771 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1161 771 205 16 0 602 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 4644 [startup+150.087 s] /proc/loadavg: 0.98 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790128/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4644 CPUtime=150.02 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 850 0 0 0 14885 117 0 0 25 0 1 0 192974522 4755456 771 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1161 771 205 16 0 602 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 4644 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790128/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4644 CPUtime=160.02 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 850 0 0 0 15881 121 0 0 25 0 1 0 192974522 4755456 771 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1161 771 205 16 0 602 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 4644 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.93 2/64 1207 /proc/meminfo: memFree=1790064/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4644 CPUtime=170.03 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 850 0 0 0 16879 124 0 0 25 0 1 0 192974522 4755456 771 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1161 771 205 16 0 602 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 4644 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.93 2/64 1209 /proc/meminfo: memFree=1790000/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4732 CPUtime=180.03 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 878 0 0 0 17874 129 0 0 25 0 1 0 192974522 4845568 799 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1183 799 205 16 0 624 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 4732 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 1209 /proc/meminfo: memFree=1790000/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4724 CPUtime=190.03 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 878 0 0 0 18870 133 0 0 25 0 1 0 192974522 4837376 799 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1181 799 205 16 0 622 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 4724 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.93 2/64 1209 /proc/meminfo: memFree=1789936/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=4724 CPUtime=200.03 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 889 0 0 0 19865 138 0 0 25 0 1 0 192974522 4837376 802 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1181 802 205 16 0 622 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 4724 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.93 2/64 1209 /proc/meminfo: memFree=1789936/2055920 swapFree=4182232/4192956 ################ # More data... # ################ /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1590.36 Current children cumulated vsize (Kb) 5092 [startup+1600.94 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789296/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1600.36 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 159039 997 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1600.36 Current children cumulated vsize (Kb) 5092 [startup+1610.95 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789232/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1610.36 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 160032 1004 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1610.36 Current children cumulated vsize (Kb) 5092 [startup+1620.96 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789232/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1620.37 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 161027 1010 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1620.37 Current children cumulated vsize (Kb) 5092 [startup+1630.96 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789232/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1630.37 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 162020 1017 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1630.37 Current children cumulated vsize (Kb) 5092 [startup+1640.97 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789232/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1640.37 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 163013 1024 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1640.37 Current children cumulated vsize (Kb) 5092 [startup+1650.98 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789232/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1650.37 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 164006 1031 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1650.37 Current children cumulated vsize (Kb) 5092 [startup+1660.98 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789232/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1660.38 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 165001 1037 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1660.38 Current children cumulated vsize (Kb) 5092 [startup+1670.99 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789232/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1670.38 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 165995 1043 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1670.38 Current children cumulated vsize (Kb) 5092 [startup+1680.99 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789232/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1680.38 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 166991 1047 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1680.38 Current children cumulated vsize (Kb) 5092 [startup+1691 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789232/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1690.38 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 167987 1051 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1690.38 Current children cumulated vsize (Kb) 5092 [startup+1701.01 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789232/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1700.39 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 168981 1058 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1700.39 Current children cumulated vsize (Kb) 5092 [startup+1711.01 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789232/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1710.39 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 169974 1065 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1710.39 Current children cumulated vsize (Kb) 5092 [startup+1721.02 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789232/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1720.39 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 170967 1072 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1720.39 Current children cumulated vsize (Kb) 5092 [startup+1731.02 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789168/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1730.4 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 171963 1077 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1730.4 Current children cumulated vsize (Kb) 5092 [startup+1741.03 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789168/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1740.39 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 172956 1083 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1740.39 Current children cumulated vsize (Kb) 5092 [startup+1751.03 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789168/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1750.4 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 173951 1089 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1750.4 Current children cumulated vsize (Kb) 5092 [startup+1761.04 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789168/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1760.4 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 174944 1096 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1760.4 Current children cumulated vsize (Kb) 5092 [startup+1771.05 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789168/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1770.4 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 175940 1100 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559529 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1770.4 Current children cumulated vsize (Kb) 5092 [startup+1781.05 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789168/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1780.41 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 176932 1109 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1780.41 Current children cumulated vsize (Kb) 5092 [startup+1782.06 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789168/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1781.4 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 177031 1109 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 5092 [startup+1783.06 s] /proc/loadavg: 1.00 0.99 0.93 2/64 1209 /proc/meminfo: memFree=1789168/2055920 swapFree=4182232/4192956 [pid=1207] ppid=1205 vsize=5092 CPUtime=1782.41 /proc/1207/stat : 1207 (Pueblo13) R 1205 1207 1159 0 -1 4194304 1041 0 0 0 177131 1110 0 0 25 0 1 0 192974522 5214208 894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1207/statm: 1273 894 205 16 0 714 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 5092 Child status: 10 Real time (s): 1783.38 CPU time (s): 1782.73 CPU user time (s): 1771.62 CPU system time (s): 11.1103 CPU usage (%): 99.9639 Max. virtual memory (cumulated for all children) (Kb): 5092
Begin job on node70 on Fri Jun 2 18:30:49 UTC 2006 FILE ID= 37774-1149273049 PBS_JOBID= 301571 BENCH NAME= ROOT/tmp/node70/37774-1149273049/instance-37774-1149273049.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node70/37774-1149273049/instance-37774-1149273049.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-37774-1149273049 -o ROOT/results/node70/solver-37774-1149273049 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node70/37774-1149273049/instance-37774-1149273049.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 08913f3dd730f4c3a659694fd4c06001 RANDOM SEED= 490441012 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1792512 kB Buffers: 20788 kB Cached: 171328 kB SwapCached: 2364 kB Active: 42200 kB Inactive: 158512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792512 kB SwapTotal: 4192956 kB SwapFree: 4182232 kB Dirty: 160 kB Writeback: 0 kB Mapped: 15404 kB Slab: 48792 kB Committed_AS: 203384 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node70 on Fri Jun 2 19:00:33 UTC 2006