Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 56943 | 1798.04 | 1798.7 |
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 | 0.502922 |
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/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656996-1276353514.opb 0.00/0.00 c File size is 42319 bytes. 0.00/0.00 c Highest Coefficient sum: 547769 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.007 s 0.00/0.01 c Var: 572 Constr: 215 58/153/4 Lit: 6215 Watch. Lit: 2659 0.00/0.01 c Obj. Vars: 572 (100 % of total variables) 0.02/0.02 c Pre-processing Time: 0.027 s 0.02/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.07 c 0 566 215 6215 28 2683 23030 0 0 0.03 0.02/0.07 c Initial Lower Bound: 22199 0.02/0.07 c Initial Path Cost: 0 0.19/0.22 c 101 566 330 12777 38 3357 25334 115 1074 0.09 0.19/0.22 c 253 566 486 58105 119 3994 27868 271 1144 0.22 0.19/0.22 o 208637 1.10/1.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.12 c 257 566 493 58901 119 4602 24396 278 1152 0.22 1.10/1.12 o 208248 1.99/2.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.04 c 257 566 494 59467 120 4952 24396 279 228 1.12 1.99/2.04 o 204643 2.79/2.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.80 c 258 566 498 61185 122 5306 24396 283 126 2.05 2.79/2.80 o 76197 4.19/4.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.26 c 258 566 499 61751 123 5607 24396 284 92 2.80 4.19/4.26 o 73811 7.49/7.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.49/7.56 c 314 566 640 107057 167 6126 24396 425 73 4.26 7.49/7.56 c 421 566 892 190994 214 6656 26836 677 64 6.50 7.49/7.56 o 70771 18.79/18.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.79/18.82 c 432 566 919 198402 215 7001 24396 704 57 7.56 18.79/18.82 c 532 566 1191 286411 240 7508 26836 976 54 9.69 18.79/18.82 c 782 566 1768 506151 286 9351 29520 1553 60 12.94 18.79/18.82 c 1262 566 2395 668873 279 10826 32473 2180 73 17.09 18.79/18.82 o 69507 111.45/111.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 111.45/111.53 c 1396 566 2575 712359 276 11825 24396 2360 74 18.81 111.45/111.53 c 1496 566 2688 725095 269 12292 26836 2473 72 20.53 111.45/111.53 c 1751 566 3026 817166 270 13362 29520 2811 77 22.67 111.45/111.53 c 2227 566 3560 950348 266 15125 32473 3345 86 25.86 111.45/111.53 c 3040 566 5632 1321118 234 18815 35721 5417 88 34.32 111.45/111.53 c 4384 566 9017 2221361 246 25880 39294 8802 90 48.34 111.45/111.53 c 6465 566 12077 2930261 242 34307 43224 11862 106 60.64 111.45/111.53 c 9688 566 15662 3949002 252 42898 47547 15447 124 77.51 111.45/111.53 c 14624 566 20945 5207813 248 56902 52302 20730 140 104.45 111.45/111.53 o 66155 130.14/130.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 130.14/130.25 c 15308 566 22000 5478619 249 59613 24396 21785 137 111.49 130.14/130.25 c 15451 566 22326 5586002 250 59810 26836 22111 133 115.53 130.14/130.25 c 15710 566 22886 5758349 251 60837 29520 22671 130 120.41 130.14/130.25 c 16214 566 23990 6123868 255 63057 32473 23775 125 128.77 130.14/130.25 o 66007 131.44/131.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 131.44/131.54 c 16251 566 24078 6152685 255 63656 24396 23863 124 130.21 131.44/131.54 o 65916 155.23/155.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 155.23/155.31 c 16268 566 24123 6167778 255 64233 24396 23908 123 131.49 155.23/155.31 c 16368 566 24358 6249870 256 64906 26836 24143 122 133.66 155.23/155.31 c 16619 566 24689 6333306 256 66418 29520 24474 122 135.95 155.23/155.31 c 17094 566 25211 6481128 257 68087 32473 24996 121 140.23 155.23/155.31 c 17907 566 27217 7291130 267 72697 35721 27002 118 151.21 155.23/155.31 o 64633 160.83/160.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 160.83/160.94 c 18072 566 27640 7432872 268 73954 24396 27425 116 155.25 160.83/160.94 c 18188 566 12685 3457744 272 33695 26836 12470 115 157.78 160.83/160.94 o 64381 430.03/430.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 430.03/430.29 c 18306 566 12920 3526577 272 34842 24162 12705 113 160.88 430.03/430.29 c 18406 566 13176 3606736 273 35401 26579 12961 112 162.90 430.03/430.29 c 18656 566 13482 3669135 272 36207 29237 13267 112 165.48 430.03/430.29 c 19132 566 14011 3787735 270 37937 32161 13796 113 169.12 430.03/430.29 c 19953 566 15441 4149889 268 40757 35378 15226 112 176.94 430.03/430.29 c 21285 566 18641 5087159 272 47307 38916 18426 108 195.92 430.03/430.29 c 23383 566 23360 6737061 288 58785 42808 23145 104 222.83 430.03/430.29 c 26606 566 28788 8537297 296 73058 47089 28573 104 253.91 430.03/430.29 c 31556 566 39817 12371118 310 96628 51798 39602 99 315.88 430.03/430.29 c 39100 566 20988 7296152 347 49149 56978 20773 94 415.42 430.03/430.29 o 63176 454.82/455.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 454.82/455.08 c 40169 566 23585 8162811 346 55636 24162 23370 93 430.13 454.82/455.08 c 40271 566 23825 8232752 345 56029 26579 23610 93 432.68 454.82/455.08 c 40530 566 24441 8414034 344 57216 29237 24226 92 437.51 454.82/455.08 c 41007 566 25567 8787882 343 59612 32161 25352 91 445.82 454.82/455.08 c 41820 566 27084 9329743 344 63780 35378 26869 92 453.67 454.82/455.08 o 62667 481.31/481.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 481.31/481.59 c 41849 566 27163 9358696 344 64443 24162 26948 91 454.91 481.31/481.59 c 41949 566 12522 4357949 348 31231 26579 12307 91 457.82 481.31/481.59 c 42201 566 12884 4473349 347 32061 29237 12669 91 460.22 481.31/481.59 c 42676 566 13535 4659843 344 33561 32161 13320 91 464.35 481.31/481.59 c 43490 566 14777 5102821 345 36404 35378 14562 92 470.48 481.31/481.59 c 44811 566 16371 5571231 340 40554 38916 16156 93 480.40 481.31/481.59 o 62520 484.21/484.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 484.21/484.49 c 44833 566 16438 5594973 340 41228 24162 16223 93 481.41 484.21/484.49 c 44934 566 16575 5641777 340 41598 26579 16360 93 482.91 484.21/484.49 o 62056 485.11/485.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 485.11/485.35 c 44992 566 16725 5698065 340 42438 24162 16510 92 484.32 485.11/485.35 o 62011 837.98/838.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 837.98/838.33 c 45013 566 16778 5718084 340 43079 24162 16563 92 485.18 837.98/838.33 c 45117 566 16930 5757750 340 43517 26579 16715 92 486.65 837.98/838.33 c 45371 566 17538 5975882 340 44848 29237 17323 92 490.22 837.98/838.33 c 45847 566 18135 6154371 339 46314 32161 17920 92 493.91 837.98/838.33 c 46660 566 19920 6827820 342 50336 35378 19705 92 501.86 837.98/838.33 c 47981 566 21353 7102320 332 54540 38916 21138 93 512.23 837.98/838.33 c 50062 566 24600 8142402 330 61997 42808 24385 94 530.73 837.98/838.33 c 53285 566 28796 9482389 329 71336 47089 28581 95 556.83 837.98/838.33 c 58222 566 34390 10908223 317 83461 51798 34175 97 597.44 837.98/838.33 c 65801 566 48535 15971080 329 115640 56978 48320 96 682.61 837.98/838.33 c 77163 566 22417 7410662 330 58837 62676 22202 97 787.85 837.98/838.33 o 58620 877.27/877.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 877.27/877.62 c 82956 566 29649 9553245 322 76452 24162 29434 98 838.02 877.27/877.62 c 83056 566 12553 3467875 276 32435 26579 12338 98 840.55 877.27/877.62 c 83307 566 12913 3571008 276 33184 29237 12698 98 843.27 877.27/877.62 c 83815 566 14215 3982324 280 35720 32161 14000 98 849.01 877.27/877.62 c 84628 566 15215 4284468 281 37975 35378 15000 99 854.72 877.27/877.62 c 85948 566 16688 4628559 277 41273 38916 16473 99 863.81 877.27/877.62 c 88029 566 19071 5277249 276 46884 42808 18856 100 876.13 877.27/877.62 o 57996 901.67/902.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 901.67/902.02 c 88068 566 19167 5308404 276 47470 24710 18952 100 877.30 901.67/902.02 c 88169 566 19424 5397941 277 48272 27182 19209 100 879.00 901.67/902.02 c 88421 566 19904 5553131 278 49448 29901 19689 100 881.77 901.67/902.02 c 88896 566 20529 5729643 279 51732 32892 20314 100 886.33 901.67/902.02 c 89719 566 22532 6389192 283 55542 36182 22317 99 900.44 901.67/902.02 o 57376 902.56/902.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 902.56/902.93 c 89777 566 22625 6415067 283 56607 24710 22410 99 901.69 902.56/902.93 o 56943 1797.92/1798.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.67 c 89781 566 22638 6420029 283 57016 24710 22423 99 902.60 1797.92/1798.67 c 89882 566 22824 6482147 284 57718 27182 22609 99 904.45 1797.92/1798.67 c 90135 566 23425 6652648 283 58817 29901 23210 99 908.11 1797.92/1798.67 c 90610 566 24501 6963426 284 61544 32892 24286 98 915.83 1797.92/1798.67 c 91423 566 25379 7199949 283 63712 36182 25164 99 921.16 1797.92/1798.67 c 92743 566 26753 7515262 280 66590 39801 26538 99 931.59 1797.92/1798.67 c 94825 566 28945 8161715 281 72454 43782 28730 100 945.88 1797.92/1798.67 c 98048 566 32450 9051990 278 80297 48161 32235 101 966.94 1797.92/1798.67 c 102985 566 37690 10572506 280 94626 52978 37475 101 1011.28 1797.92/1798.67 c 110492 566 46811 13324862 284 117213 58276 46596 102 1074.03 1797.92/1798.67 c 121853 566 17393 5150686 296 47126 64104 17178 101 1194.97 1797.92/1798.67 c 138997 566 40217 12182601 302 99948 70515 40002 103 1337.52 1797.92/1798.67 c 164816 566 14889 4269885 286 35561 77567 14674 105 1554.97 1797.92/1798.67 c Resources Exceeded 1797.92/1798.67 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 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 -x107 -x108 x109 -x110 -x111 -x112 x113 -x114 x115 x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -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 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 -x54 1797.92/1798.67 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.67 c 94 198062 19831 267100 49648 12649761 49433 110 1798.00 1797.92/1798.67 c Objective: 56943 1797.92/1798.67 s SATISFIABLE 1797.92/1798.67 c Total time: 1798 s
OK 56943
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656996-1276353514/watcher-2656996-1276353514 -o /tmp/evaluation-result-2656996-1276353514/solver-2656996-1276353514 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656996-1276353514.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11363 /proc/meminfo: memFree=1733996/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=10832 CPUtime=0 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 321 0 0 0 0 0 0 0 24 0 1 0 9003248 11091968 240 1992294400 134512640 137138936 4293773344 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 2708 240 175 642 0 2053 0 [startup+0.0251701 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11363 /proc/meminfo: memFree=1733996/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=10920 CPUtime=0.02 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 373 0 0 0 2 0 0 0 24 0 1 0 9003248 11182080 281 1992294400 134512640 137138936 4293773344 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 2730 286 185 642 0 2086 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10920 [startup+0.101185 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11363 /proc/meminfo: memFree=1733996/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=11224 CPUtime=0.09 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 669 0 0 0 9 0 0 0 25 0 1 0 9003248 11493376 468 1992294400 134512640 137138936 4293773344 18446744073709551615 136521043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 2806 468 286 642 0 2162 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11224 [startup+0.300221 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11363 /proc/meminfo: memFree=1733996/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=12780 CPUtime=0.29 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 1741 0 0 0 29 0 0 0 25 0 1 0 9003248 13086720 681 1992294400 134512640 137138936 4293773344 18446744073709551615 134734501 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 3195 681 286 642 0 2551 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12780 [startup+0.700293 s] /proc/loadavg: 0.99 0.98 0.99 3/106 11363 /proc/meminfo: memFree=1733996/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=12756 CPUtime=0.69 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 7252 0 0 0 67 2 0 0 25 0 1 0 9003248 13062144 665 1992294400 134512640 137138936 4293773344 18446744073709551615 134734487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 3189 665 286 642 0 2545 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12756 [startup+1.50044 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11364 /proc/meminfo: memFree=1732128/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=12768 CPUtime=1.49 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 18499 0 0 0 144 5 0 0 25 0 1 0 9003248 13074432 689 1992294400 134512640 137138936 4293773344 18446744073709551615 135322873 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 3192 690 287 642 0 2548 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12768 [startup+3.10073 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11364 /proc/meminfo: memFree=1731880/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=12812 CPUtime=3.09 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 39717 0 0 0 297 12 0 0 25 0 1 0 9003248 13119488 681 1992294400 134512640 137138936 4293773344 18446744073709551615 134732330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 3203 681 287 642 0 2559 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12812 [startup+6.30131 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11364 /proc/meminfo: memFree=1730764/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=13364 CPUtime=6.29 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 74516 0 0 0 607 22 0 0 25 0 1 0 9003248 13684736 1012 1992294400 134512640 137138936 4293773344 18446744073709551615 135783850 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 3341 1012 287 642 0 2697 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13364 [startup+12.7015 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11364 /proc/meminfo: memFree=1727168/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=18420 CPUtime=12.69 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 142881 0 0 0 1226 43 0 0 25 0 1 0 9003248 18862080 2108 1992294400 134512640 137138936 4293773344 18446744073709551615 134734512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 4605 2109 287 642 0 3961 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18420 [startup+25.5008 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11367 /proc/meminfo: memFree=1719472/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=24308 CPUtime=25.49 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 226530 0 0 0 2478 71 0 0 25 0 1 0 9003248 24891392 3710 1992294400 134512640 137138936 4293773344 18446744073709551615 136504524 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 6077 3710 288 642 0 5433 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24308 [startup+51.1005 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11369 /proc/meminfo: memFree=1701500/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=43004 CPUtime=51.07 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 463233 0 0 0 4970 137 0 0 25 0 1 0 9003248 44036096 8264 1992294400 134512640 137138936 4293773344 18446744073709551615 135469194 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 10751 8264 288 642 0 10107 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 43004 [startup+102.309 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11369 /proc/meminfo: memFree=1664548/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=78976 CPUtime=102.26 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 575733 0 0 0 10046 180 0 0 25 0 1 0 9003248 80871424 17393 1992294400 134512640 137138936 4293773344 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 19744 17393 288 642 0 19100 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 78976 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11371 /proc/meminfo: memFree=1633920/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=109312 CPUtime=162.23 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 990390 0 0 0 15915 308 0 0 25 0 1 0 9003248 111935488 24950 1992294400 134512640 137138936 4293773344 18446744073709551615 135080288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 27328 24950 288 642 0 26684 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 109312 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11373 /proc/meminfo: memFree=1633920/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=109312 CPUtime=222.2 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 990975 0 0 0 21910 310 0 0 25 0 1 0 9003248 111935488 24962 1992294400 134512640 137138936 4293773344 18446744073709551615 135441480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 27328 24962 288 642 0 26684 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 109312 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11375 /proc/meminfo: memFree=1599944/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=144844 CPUtime=282.18 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 1236235 0 0 0 27826 392 0 0 25 0 1 0 9003248 148320256 33716 1992294400 134512640 137138936 4293773344 18446744073709551615 135446112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 36211 33716 288 642 0 35567 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 144844 [startup+342.301 s] /proc/loadavg: 1.05 1.00 1.00 2/107 11377 /proc/meminfo: memFree=1548732/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=195304 CPUtime=342.16 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 1623893 0 0 0 33689 527 0 0 25 0 1 0 9003248 199991296 46330 1992294400 134512640 137138936 4293773344 18446744073709551615 134721211 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 48826 46330 288 642 0 48182 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 195304 [startup+402.301 s] /proc/loadavg: 1.02 1.00 1.00 2/107 11377 /proc/meminfo: memFree=1506324/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=236844 CPUtime=402.14 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 1898367 0 0 0 39591 623 0 0 25 0 1 0 9003248 242528256 56851 1992294400 134512640 137138936 4293773344 18446744073709551615 135450381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 59211 56851 288 642 0 58567 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 236844 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11379 /proc/meminfo: memFree=1506324/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=236844 CPUtime=462.12 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 1898371 0 0 0 45587 625 0 0 25 0 1 0 9003248 242528256 56855 1992294400 134512640 137138936 4293773344 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 59211 56855 288 642 0 58567 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 236844 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11381 /proc/meminfo: memFree=1506324/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=236844 CPUtime=522.1 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 1898371 0 0 0 51581 629 0 0 25 0 1 0 9003248 242528256 56855 1992294400 134512640 137138936 4293773344 18446744073709551615 135568886 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 59211 56855 288 642 0 58567 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 236844 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11383 /proc/meminfo: memFree=1506324/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=236844 CPUtime=582.07 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 1898371 0 0 0 57574 633 0 0 25 0 1 0 9003248 242528256 56855 1992294400 134512640 137138936 4293773344 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 59211 56855 288 642 0 58567 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 236844 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11385 /proc/meminfo: memFree=1506324/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=236844 CPUtime=642.06 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 1898371 0 0 0 63570 636 0 0 25 0 1 0 9003248 242528256 56855 1992294400 134512640 137138936 4293773344 18446744073709551615 136502606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 59211 56855 288 642 0 58567 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 236844 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1477680/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=265108 CPUtime=1061.9 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2045153 0 0 0 105479 711 0 0 25 0 1 0 9003248 271470592 63906 1992294400 134512640 137138936 4293773344 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 66277 63906 288 642 0 65633 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 265108 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11397 /proc/meminfo: memFree=1477680/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=265108 CPUtime=1121.88 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2045153 0 0 0 111474 714 0 0 25 0 1 0 9003248 271470592 63906 1992294400 134512640 137138936 4293773344 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 66277 63906 288 642 0 65633 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 265108 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11399 /proc/meminfo: memFree=1477680/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=265112 CPUtime=1181.86 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2045154 0 0 0 117468 718 0 0 25 0 1 0 9003248 271474688 63907 1992294400 134512640 137138936 4293773344 18446744073709551615 134732330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 66278 63907 288 642 0 65634 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 265112 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11401 /proc/meminfo: memFree=1477556/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=265112 CPUtime=1241.83 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2045154 0 0 0 123462 721 0 0 25 0 1 0 9003248 271474688 63907 1992294400 134512640 137138936 4293773344 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 66278 63907 288 642 0 65634 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 265112 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11401 /proc/meminfo: memFree=1477432/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=265112 CPUtime=1301.83 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2045154 0 0 0 129458 725 0 0 25 0 1 0 9003248 271474688 63907 1992294400 134512640 137138936 4293773344 18446744073709551615 134828790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 66278 63907 288 642 0 65634 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 265112 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11412 /proc/meminfo: memFree=1476564/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=265112 CPUtime=1361.78 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2045154 0 0 0 135450 728 0 0 25 0 1 0 9003248 271474688 63907 1992294400 134512640 137138936 4293773344 18446744073709551615 134551477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 66278 63907 288 642 0 65634 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 265112 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11414 /proc/meminfo: memFree=1476564/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=265112 CPUtime=1421.77 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2045154 0 0 0 141446 731 0 0 25 0 1 0 9003248 271474688 63907 1992294400 134512640 137138936 4293773344 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 66278 63907 288 642 0 65634 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 265112 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11416 /proc/meminfo: memFree=1476564/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=265580 CPUtime=1481.74 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2046963 0 0 0 147437 737 0 0 25 0 1 0 9003248 271953920 63928 1992294400 134512640 137138936 4293773344 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 66395 63928 288 642 0 65751 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 265580 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11418 /proc/meminfo: memFree=1448540/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=293708 CPUtime=1541.72 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2064558 0 0 0 153422 750 0 0 25 0 1 0 9003248 300756992 71080 1992294400 134512640 137138936 4293773344 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 73427 71080 288 642 0 72783 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 293708 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11418 /proc/meminfo: memFree=1448292/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=293232 CPUtime=1601.7 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2065111 0 0 0 159414 756 0 0 25 0 1 0 9003248 300269568 70980 1992294400 134512640 137138936 4293773344 18446744073709551615 134730576 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 73308 70980 288 642 0 72664 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 293232 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11420 /proc/meminfo: memFree=1448292/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=293232 CPUtime=1661.67 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2065111 0 0 0 165404 763 0 0 25 0 1 0 9003248 300269568 70980 1992294400 134512640 137138936 4293773344 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 73308 70980 288 642 0 72664 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 293232 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11422 /proc/meminfo: memFree=1448292/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=293232 CPUtime=1721.65 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2065111 0 0 0 171397 768 0 0 25 0 1 0 9003248 300269568 70980 1992294400 134512640 137138936 4293773344 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 73308 70980 288 642 0 72664 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 293232 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11424 /proc/meminfo: memFree=1448292/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=293232 CPUtime=1781.63 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2065111 0 0 0 177389 774 0 0 25 0 1 0 9003248 300269568 70980 1992294400 134512640 137138936 4293773344 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 73308 70980 288 642 0 72664 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 293232 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11424 /proc/meminfo: memFree=1448292/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=293232 CPUtime=1791.23 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2065111 0 0 0 178349 774 0 0 25 0 1 0 9003248 300269568 70980 1992294400 134512640 137138936 4293773344 18446744073709551615 134618106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 73308 70980 288 642 0 72664 0 Current children cumulated CPU time (s) 1791.23 Current children cumulated vsize (KiB) 293232 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11424 /proc/meminfo: memFree=1448292/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=293232 CPUtime=1794.44 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2065111 0 0 0 178669 775 0 0 25 0 1 0 9003248 300269568 70980 1992294400 134512640 137138936 4293773344 18446744073709551615 135251092 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 73308 70980 288 642 0 72664 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (KiB) 293232 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11424 /proc/meminfo: memFree=1448292/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=293232 CPUtime=1796.03 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2065111 0 0 0 178828 775 0 0 25 0 1 0 9003248 300269568 70980 1992294400 134512640 137138936 4293773344 18446744073709551615 134732359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 73308 70980 288 642 0 72664 0 Current children cumulated CPU time (s) 1796.03 Current children cumulated vsize (KiB) 293232 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11424 /proc/meminfo: memFree=1448292/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=293232 CPUtime=1796.83 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2065111 0 0 0 178908 775 0 0 25 0 1 0 9003248 300269568 70980 1992294400 134512640 137138936 4293773344 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 73308 70980 288 642 0 72664 0 Current children cumulated CPU time (s) 1796.83 Current children cumulated vsize (KiB) 293232 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11424 /proc/meminfo: memFree=1448292/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=293232 CPUtime=1797.62 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202496 2065111 0 0 0 178987 775 0 0 25 0 1 0 9003248 300269568 70980 1992294400 134512640 137138936 4293773344 18446744073709551615 134721248 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11363/statm: 73308 70980 288 642 0 72664 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (KiB) 293232 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11424 /proc/meminfo: memFree=1448292/2059040 swapFree=4192956/4192956 [pid=11363] ppid=11361 vsize=0 CPUtime=1798.02 /proc/11363/stat : 11363 (bsolo_pb10) R 11361 11363 11274 0 -1 4202500 2065111 0 0 0 179024 778 0 0 25 0 1 0 9003248 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/11363/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.7 CPU time (s): 1798.04 CPU user time (s): 1790.25 CPU system time (s): 7.78782 CPU usage (%): 99.9629 Max. virtual memory (cumulated for all children) (KiB): 294144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.25 system time used= 7.78782 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2065111 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 6740 runsolver used 4.14637 second user time and 8.90964 second system time The end
Begin job on node027 at 2010-06-12 16:38:34 IDJOB=2656996 IDBENCH=1855 IDSOLVER=1162 FILE ID=node027/2656996-1276353514 PBS_JOBID= 11173209 Free space on /tmp= 62448 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656996-1276353514/watcher-2656996-1276353514 -o /tmp/evaluation-result-2656996-1276353514/solver-2656996-1276353514 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656996-1276353514.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 75f6d21683e6eb738b98c93cf5598ff3 RANDOM SEED=1382954093 node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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 : 2800.261 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5600.52 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 : 2800.261 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1734524 kB Buffers: 49620 kB Cached: 145528 kB SwapCached: 0 kB Active: 152588 kB Inactive: 101864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1734524 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3976 kB Writeback: 0 kB AnonPages: 59260 kB Mapped: 15392 kB Slab: 48200 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180680 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62444 MiB End job on node027 at 2010-06-12 17:08:33