Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toulbar2 2025-06-13 | SAT (TO) | 353144275719900 | 3600.07 | 3610.11 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3a.opb |
| MD5SUM | 66c9959016382e41dad7850ad64939ee |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 89951132262400 |
| Best CPU time to get the best result obtained on this benchmark | 7467.88 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2219 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 22 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 129 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 191 |
| Number of terms in the objective function | 1716 |
| Biggest coefficient in the objective function | 5134096531456000 |
| Number of bits for the biggest coefficient in the objective function | 53 |
| Sum of the numbers in the objective function | 216401520151185266 |
| Number of bits of the sum of numbers in the objective function | 58 |
| Biggest number in a constraint | 5134096531456000 |
| Number of bits of the biggest number in a constraint | 53 |
| Biggest sum of numbers in a constraint | 216401520151185266 |
| Number of bits of the biggest sum of numbers | 58 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.76/1.89 o 948762048828725 1.76/1.89 o 942822848828725 1.76/1.89 o 941798848828725 1.76/1.89 o 937702848828725 1.76/1.89 o 936678848828725 1.76/1.89 o 928486848828725 2.16/2.29 o 876304124678525 2.36/2.40 o 876302607636325 2.36/2.40 o 875278607636325 2.46/2.51 o 754446607636325 2.46/2.51 o 753534633236325 2.46/2.51 o 753527158036325 2.46/2.51 o 751479158036325 2.56/2.65 o 750488030082325 2.66/2.78 o 747452593706650 2.66/2.78 o 747450635204250 2.66/2.78 o 747449655953050 2.66/2.78 o 747449166327450 2.66/2.78 o 747448921514650 2.66/2.78 o 747448799108250 2.66/2.78 o 747448737905050 2.66/2.78 o 747448707303450 2.66/2.78 o 747448692002650 2.66/2.78 o 747448684352250 3.36/3.49 o 746629057170700 4.15/4.26 o 742661060061800 4.85/4.97 o 742660998011800 4.85/4.97 o 742660993777800 5.06/5.16 o 742660987134800 5.45/5.55 o 741638739134800 5.45/5.55 o 741637804734800 5.65/5.74 o 740613775534800 5.65/5.74 o 740613308334800 5.85/5.94 o 740556716836800 5.85/5.94 o 735436716836800 5.85/5.94 o 735436713916800 6.05/6.12 o 735208214261800 6.65/6.75 o 734396448056800 7.54/7.68 o 734315511813600 10.53/10.62 o 733930517697600 10.73/10.81 o 733930470977600 12.03/12.12 o 733841182954800 12.13/12.28 o 733038198533100 13.03/13.16 o 732124430085100 13.32/13.49 o 732083175449100 13.72/13.82 o 731954135685100 13.82/13.97 o 731936793221100 16.82/16.99 o 731769498245100 17.03/17.14 o 724294298245100 19.92/20.01 o 722998351692600 22.80/22.95 o 722125775694800 24.10/24.28 o 721936204622800 265.66/266.44 o 625303624522700 265.66/266.44 o 625303623792700 265.66/266.44 o 625303623646700 265.66/266.44 o 625303619266700 265.66/266.44 o 625302139994700 265.66/266.45 o 625302125978700 265.66/266.45 o 625302124226700 265.66/266.45 o 625302123715700 342.85/343.80 o 613014124080700 342.85/343.80 o 613014121890700 342.85/343.80 o 613014098530700 342.85/343.80 o 613014029618700 342.85/343.80 o 613014005090700 342.85/343.80 o 613013870770700 342.85/343.80 o 613013818210700 342.85/343.80 o 613013553074700 342.85/343.80 o 613013444450700 342.85/343.80 o 613012917682700 342.85/343.80 o 613012696930700 342.85/343.80 o 613010600370700 342.85/343.80 o 613009706850700 342.85/343.80 o 613005517234700 342.85/343.80 o 613003726690700 419.05/420.26 o 609931728442700 419.05/420.27 o 609931728223700 419.05/420.27 o 609930830652200 419.05/420.27 o 609930829192200 419.05/420.27 o 609930826272200 419.05/420.27 o 609930820432200 419.05/420.27 o 609930808752200 419.05/420.27 o 609930785392200 419.05/420.27 o 609930738672200 419.05/420.27 o 609930645232200 419.05/420.27 o 609930458352200 419.05/420.27 o 609929336159700 419.05/420.27 o 609922159420200 419.05/420.27 o 609922157960200 419.05/420.27 o 609922155040200 419.05/420.27 o 609922149200200 419.05/420.27 o 609922137520200 419.05/420.27 o 609922114160200 419.05/420.27 o 609922067440200 419.05/420.27 o 609921974000200 419.05/420.27 o 609918983920200 419.05/420.27 o 609918797040200 419.05/420.27 o 609912816880200 419.05/420.27 o 609912443120200 419.05/420.27 o 609911695600200 419.05/420.28 o 609910200560200 419.05/420.28 o 609910199647700 498.45/499.88 o 609910199465200 498.45/499.88 o 609895846533700 498.45/499.88 o 609895845073700 498.45/499.88 o 609895842153700 498.45/499.88 o 609895836313700 498.45/499.88 o 609895824633700 498.45/499.88 o 609895801273700 498.45/499.88 o 609895754553700 498.45/499.88 o 609895661113700 498.45/499.88 o 609892671033700 498.45/499.88 o 609892484153700 498.45/499.88 o 609886503993700 498.45/499.88 o 609886130233700 498.45/499.88 o 609885382713700 498.45/499.88 o 609871927353700 498.45/499.89 o 609871926441200 498.45/499.89 o 609864989455600 498.45/499.89 o 609864720815600 498.45/499.89 o 609864664751600 498.45/499.89 o 609864636719600 498.55/499.90 o 609864622703600 498.55/499.90 o 609864615695600 575.06/576.65 o 609846920824100 575.06/576.65 o 609846883448100 575.06/576.65 o 609846808696100 575.06/576.65 o 609846659192100 575.06/576.65 o 609846061176100 575.06/576.65 o 609844865144100 575.06/576.65 o 609842473080100 575.06/576.65 o 609837688952100 575.06/576.65 o 609828120696100 575.06/576.65 o 609827821688100 575.06/576.65 o 609827821542100 575.06/576.65 o 609827704742100 575.06/576.65 o 609827471142100 575.06/576.65 o 609827003942100 575.06/576.65 o 609826974742100 575.06/576.66 o 609826971092100 575.06/576.66 o 609826969267100 651.66/653.42 o 377999451236100 651.66/653.42 o 377995115620100 651.66/653.42 o 377995098100100 651.66/653.43 o 377995089340100 651.66/653.43 o 377990949948100 651.66/653.43 o 377990536008900 651.66/653.43 o 377990329039300 651.66/653.43 o 377990225554500 651.66/653.43 o 377990173812100 651.66/653.43 o 377990147940900 651.66/653.43 o 377990135005300 651.66/653.43 o 377990128537500 701.43/703.37 o 375942130289500 701.43/703.37 o 375942129267500 701.43/703.37 o 375942111747500 701.43/703.37 o 375942102987500 701.43/703.37 o 375942092037500 701.43/703.37 o 375942086562500 701.43/703.38 o 375942086051500 701.43/703.38 o 375942084591500 701.43/703.38 o 375942083131500 701.43/703.38 o 375942080211500 701.43/703.38 o 375942076561500 701.43/703.39 o 375942075831500 701.43/703.39 o 375940117329100 701.43/703.39 o 375940110248100 701.43/703.40 o 375940103780300 701.53/703.40 o 375938298125300 701.53/703.40 o 375936655304100 701.53/703.40 o 375936648836300 754.11/756.16 o 375936647120800 754.11/756.18 o 375936643295600 754.11/756.18 o 375936639755100 754.11/756.18 o 375936636521200 819.34/821.59 o 375936632287200 992.10/994.76 o 369798060012400 1083.17/1086.01 o 366726060012400 1083.17/1086.02 o 366726056187200 1083.17/1086.02 o 366726052646700 1083.17/1086.02 o 366726049412800 1083.17/1086.02 o 366726045689800 1083.17/1086.03 o 366724196782300 1083.17/1086.03 o 366724195906300 1083.17/1086.03 o 366721205826300 1083.17/1086.03 o 366721159106300 1083.17/1086.03 o 366721135746300 1083.17/1086.03 o 366721124066300 1083.17/1086.03 o 366721118226300 1083.17/1086.03 o 366721115306300 1083.17/1086.03 o 366721114393800 1158.78/1161.88 o 366721113663800 1158.78/1161.88 o 366721113079800 1158.78/1161.89 o 366721109867800 1234.39/1237.66 o 366721109502800 1309.91/1313.36 o 366721109320300 1309.91/1313.37 o 366338379080300 1309.91/1313.37 o 366146864602300 1309.91/1313.37 o 366146715098300 1309.91/1313.37 o 366146416090300 1309.91/1313.37 o 366145818074300 1309.91/1313.37 o 366144622042300 1309.91/1313.37 o 366142229978300 1309.91/1313.37 o 366137445850300 1309.91/1313.37 o 366127877594300 1309.91/1313.37 o 366070467912300 1608.92/1613.12 o 365050800462300 1608.92/1613.12 o 365050798272300 1608.92/1613.12 o 365050796082300 1608.92/1613.13 o 365050791702300 1608.92/1613.13 o 365050774182300 1608.92/1613.13 o 365050773087300 1658.18/1662.56 o 365050759217300 1709.94/1714.45 o 365050690597300 1709.94/1714.45 o 365050675997300 1709.94/1714.45 o 365050665047300 1709.94/1714.45 o 365050454807300 1709.94/1714.46 o 365050034327300 1709.94/1714.46 o 365049193367300 1759.01/1763.64 o 365049189899800 1759.01/1763.64 o 365049182599800 1759.01/1763.64 o 365049178949800 1759.01/1763.64 o 365048057669800 1759.01/1763.64 o 365047497029800 1856.94/1861.83 o 365047489729800 1906.11/1911.13 o 365047478414800 1906.11/1911.13 o 365047478122800 1906.11/1911.13 o 365047477976800 1906.11/1911.13 o 365047477684800 1906.11/1911.13 o 365047477465800 1906.11/1911.14 o 365047473815800 1906.11/1911.14 o 365047473669800 1906.11/1911.16 o 365046532261800 1906.11/1911.16 o 365046517077800 1906.11/1911.16 o 365046509485800 1977.59/1982.82 o 365046494885800 1977.59/1982.82 o 365046491235800 2203.26/2209.24 o 365045599292600 2203.26/2209.24 o 365043865046200 2203.26/2209.24 o 365043375420600 2203.26/2209.24 o 365042922236600 2203.26/2209.24 o 365042508297400 2203.26/2209.24 o 365042263484600 2203.26/2209.24 o 365042036892600 2203.26/2209.24 o 365041829923000 2203.26/2209.25 o 365041707516600 2203.26/2209.25 o 365041594220600 2203.26/2209.25 o 365041490735800 2203.26/2209.25 o 365041429532600 2203.26/2209.25 o 365041372884600 2203.26/2209.25 o 365041321142200 2203.26/2209.25 o 365041290540600 2203.26/2209.25 o 365041262216600 2203.26/2209.25 o 365041236345400 2203.26/2209.25 o 365041221044600 2203.26/2209.25 o 365041206882600 2203.26/2209.25 o 365041193947000 2203.26/2209.26 o 365041186296600 2203.26/2209.26 o 365041179215600 2203.26/2209.26 o 365041172747800 2203.26/2209.26 o 365041168922600 2203.26/2209.26 o 365041165382100 2203.26/2209.26 o 365041162148200 2203.26/2209.26 o 365041160235600 2203.26/2209.26 o 365041158465350 2203.26/2209.26 o 365041156848400 2279.81/2286.05 o 365041140496400 2279.81/2286.05 o 365041139766400 2279.81/2286.05 o 365041116588900 2356.26/2362.73 o 364022543584100 2356.26/2362.73 o 364022541671500 2356.26/2362.73 o 364022539901250 2356.26/2362.73 o 364022538284300 3326.77/3336.05 o 354169838036700 3523.87/3533.74 o 353157798356700 3523.87/3533.74 o 353151818196700 3523.87/3533.74 o 353144275719900 3600.06/3610.10 o 353144275719900 3600.06/3610.10 s SATISFIABLE 3600.06/3610.10 v -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 -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 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 x730 x731 x732 x733 -x734 -x735 x736 -x737 -x738 x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 x753 -x754 -x755 -x756 -x757 x758 -x759 x760 x761 x762 x763 x764 -x765 x766 x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 x791 x792 x793 x794 -x795 x796 x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 x812 x813 x814 x815 x816 x817 x818 x819 -x820 x821 x822 x823 x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 x914 x915 -x916 -x917 x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 x1173 -x1174 x1175 x1176 x1177 -x1178 x1179 -x1180 -x1181 x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 -x1278 x1279 -x1280 x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 -x1363 -x1364 x1365 x1366 x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 x1451 -x1452 x1453 x1454 x1455 x1456 x1457 x1458 x1459 x1460 x1461 x1462 -x1463 x1464 x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 -x1519 x1520 x1521 x1522 x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 x1583 x1584 x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 x1735 x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790 x1791 x1792 x1793 x1794 x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 x1813 x1814 x1815 x1816 x1817 x1818 x1819 x1820 x1821 x1822 x1823 x1824 x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 x1841 x1842 x1843 x1844 x1845 x1846 x1847 x1848 x1849 x1850 x1851 x1852 x1853 x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 x1871 x1872 x1873 x1874 x1875 x1876 x1877 x1878 x1879 x1880 x1881 -x1882 -x1883 x1884 x1885 x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 x1981 -x1982 x1983 -x1984 x1985 -x1986 x1987 -x1988 -x1989 x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219
OK 353144275719900
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60597 MiB free)
memory of node 1: 64465 MiB (61343 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486070-1751317276/watcher-4486070-1751317276 -o /tmp/evaluation-result-4486070-1751317276/solver-4486070-1751317276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751316235-46088 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4486070-1751317276.opb -timer=3600 -hve=512 -f=3 -n: -precision=0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=46488, runsolver pid=46485
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.36 4.16 4.06 5/268 46490
/proc/meminfo: memFree=124859804/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=24844 memory=16640 CPUtime=0.08 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 3112 0 0 0 8 0 0 0 20 0 1 0 47407051 25440256 4160 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 3 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 6211 4160 1184 1162 0 4820 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 29036 KiB
Current children cumulated memory: 19584 KiB
[startup+0.205753 s]*
/proc/loadavg: 4.36 4.16 4.06 5/268 46490
/proc/meminfo: memFree=124859804/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=24980 memory=16768 CPUtime=0.18 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 3150 0 0 0 18 0 0 0 20 0 1 0 47407051 25579520 4192 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 3 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 6245 4192 1184 1162 0 4854 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 29172 KiB
Current children cumulated memory: 19712 KiB
[startup+0.305773 s]*
/proc/loadavg: 4.36 4.16 4.06 5/268 46490
/proc/meminfo: memFree=124859804/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=25168 memory=17152 CPUtime=0.28 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 3217 0 0 0 28 0 0 0 20 0 1 0 47407051 25772032 4288 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 6292 4288 1184 1162 0 4901 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 29360 KiB
Current children cumulated memory: 20096 KiB
[startup+0.70021 s]
/proc/loadavg: 4.36 4.16 4.06 5/268 46490
/proc/meminfo: memFree=124875644/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=25316 memory=17280 CPUtime=0.66 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 3255 0 0 0 66 0 0 0 20 0 1 0 47407051 25923584 4320 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 6329 4320 1184 1162 0 4938 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 29508 KiB
Current children cumulated memory: 20224 KiB
[startup+1.50021 s]
/proc/loadavg: 4.36 4.16 4.06 5/268 46490
/proc/meminfo: memFree=124863484/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=25652 memory=17536 CPUtime=1.46 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 3328 0 0 0 146 0 0 0 20 0 1 0 47407051 26267648 4384 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 6413 4384 1184 1162 0 5022 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 29844 KiB
Current children cumulated memory: 20480 KiB
[startup+3.10556 s]
/proc/loadavg: 4.36 4.16 4.06 5/268 46490
/proc/meminfo: memFree=124875764/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=25884 memory=18432 CPUtime=3.06 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 3553 0 0 0 306 0 0 0 20 0 1 0 47407051 26505216 4608 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 6471 4608 1184 1162 0 5080 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 30076 KiB
Current children cumulated memory: 21376 KiB
[startup+6.30021 s]
/proc/loadavg: 4.41 4.18 4.06 5/268 46490
/proc/meminfo: memFree=124907244/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=26784 memory=19292 CPUtime=6.25 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 3978 0 0 0 625 0 0 0 20 0 1 0 47407051 27426816 4823 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 6696 4823 1184 1162 0 5305 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 30976 KiB
Current children cumulated memory: 22236 KiB
[startup+12.7002 s]
/proc/loadavg: 4.38 4.17 4.06 5/268 46490
/proc/meminfo: memFree=124951932/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=35272 memory=24804 CPUtime=12.63 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 6408 0 0 0 1263 0 0 0 20 0 1 0 47407051 36118528 6201 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 8818 6201 1184 1162 0 7427 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 27748 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.16 4.06 6/268 46491
/proc/meminfo: memFree=125047708/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=48160 memory=39024 CPUtime=25.4 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 8435 0 0 0 2539 1 0 0 20 0 1 0 47407051 49315840 9756 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 12040 9756 1184 1162 0 10649 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 52352 KiB
Current children cumulated memory: 41968 KiB
[startup+51.1056 s]
/proc/loadavg: 4.27 4.17 4.07 6/268 46491
/proc/meminfo: memFree=124929164/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=172064 memory=114404 CPUtime=50.92 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 12033 0 0 0 5087 5 0 0 20 0 1 0 47407051 176193536 28601 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 43016 28601 1184 1162 0 41625 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 176256 KiB
Current children cumulated memory: 117348 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.06 5/268 46493
/proc/meminfo: memFree=124556948/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=582936 memory=338392 CPUtime=101.98 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 15377 0 0 0 10181 17 0 0 20 0 1 0 47407051 596926464 84598 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 145734 84598 1184 1162 0 144343 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 587128 KiB
Current children cumulated memory: 341336 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.06 5/268 46495
/proc/meminfo: memFree=124387924/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=582936 memory=342488 CPUtime=161.84 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 15614 0 0 0 16166 18 0 0 20 0 1 0 47407051 596926464 85622 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 145734 85622 1184 1162 0 144343 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 587128 KiB
Current children cumulated memory: 345432 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.15 4.07 5/269 46505
/proc/meminfo: memFree=124229140/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=582936 memory=342872 CPUtime=221.68 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 15908 0 0 0 22150 18 0 0 20 0 1 0 47407051 596926464 85718 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 145734 85718 1184 1162 0 144343 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 587128 KiB
################
# More data... #
################
/proc/46490/statm: 1093447 657635 1184 1162 0 1092056 0
Current children cumulated CPU time: 3093.77 s
Current children cumulated vsize: 4377980 KiB
Current children cumulated memory: 2633484 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/268 46960
/proc/meminfo: memFree=125922464/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=4373788 memory=2630540 CPUtime=3153.59 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 45738 0 0 0 315223 136 0 0 20 0 1 0 47407051 4478758912 657635 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 1093447 657635 1184 1162 0 1092056 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 4377980 KiB
Current children cumulated memory: 2633484 KiB
[startup+3222.3 s]
/proc/loadavg: 4.40 4.20 4.12 5/268 46962
/proc/meminfo: memFree=125912392/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=4373788 memory=2630540 CPUtime=3213.41 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 46628 0 0 0 321205 136 0 0 20 0 1 0 47407051 4478758912 657635 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 1093447 657635 1184 1162 0 1092056 0
Current children cumulated CPU time: 3213.41 s
Current children cumulated vsize: 4377980 KiB
Current children cumulated memory: 2633484 KiB
[startup+3282.3 s]
/proc/loadavg: 4.25 4.19 4.12 5/269 46973
/proc/meminfo: memFree=125900716/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=4373788 memory=2630540 CPUtime=3273.23 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 46686 0 0 0 327187 136 0 0 20 0 1 0 47407051 4478758912 657635 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 1093447 657635 1184 1162 0 1092056 0
Current children cumulated CPU time: 3273.23 s
Current children cumulated vsize: 4377980 KiB
Current children cumulated memory: 2633484 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/269 46975
/proc/meminfo: memFree=125898760/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=4373788 memory=2630540 CPUtime=3333.05 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 46746 0 0 0 333169 136 0 0 20 0 1 0 47407051 4478758912 657635 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 1093447 657635 1184 1162 0 1092056 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 4377980 KiB
Current children cumulated memory: 2633484 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/269 46977
/proc/meminfo: memFree=125862636/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=4373788 memory=2630540 CPUtime=3392.87 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 47201 0 0 0 339151 136 0 0 20 0 1 0 47407051 4478758912 657635 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 1093447 657635 1184 1162 0 1092056 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 4377980 KiB
Current children cumulated memory: 2633484 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/269 46979
/proc/meminfo: memFree=125861796/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=4373788 memory=2630540 CPUtime=3452.69 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 48727 0 0 0 345133 136 0 0 20 0 1 0 47407051 4478758912 657635 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 1093447 657635 1184 1162 0 1092056 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 4377980 KiB
Current children cumulated memory: 2633484 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/269 46981
/proc/meminfo: memFree=125861036/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=4373788 memory=2630540 CPUtime=3512.51 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 49127 0 0 0 351115 136 0 0 20 0 1 0 47407051 4478758912 657635 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 1093447 657635 1184 1162 0 1092056 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 4377980 KiB
Current children cumulated memory: 2633484 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/270 46994
/proc/meminfo: memFree=125878012/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=4373788 memory=2630540 CPUtime=3572.33 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 49852 0 0 0 357097 136 0 0 20 0 1 0 47407051 4478758912 657635 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 1093447 657635 1184 1162 0 1092056 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 4377980 KiB
Current children cumulated memory: 2633484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.04 4.11 4.09 5/268 47011
/proc/meminfo: memFree=125904440/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=4373788 memory=2630540 CPUtime=3600.06 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 50696 0 0 0 359869 137 0 0 20 0 1 0 47407051 4478758912 657635 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 1093447 657635 1184 1162 0 1092056 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 4377980 KiB
Current children cumulated memory: 2633484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 46488 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00283 s, system=0 s
[startup+3610.11 s]
# the end of solver process 46490 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.7 s, system=1.3776 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.04 4.11 4.09 5/268 47011
/proc/meminfo: memFree=125904440/131250000 swapFree=33009904/33010684
[pid=46488] ppid=46485 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/46488/stat : 46488 (toulbar2.sh) S 46485 46488 46076 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 47407050 4292608 736 18446744073709551615 94191677448192 94191678342725 140724086961792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94191678581776 94191678629520 94191681921024 140724086970679 140724086970855 140724086970855 140724086976457 0
/proc/46488/statm: 1048 736 672 219 0 110 0
[pid=46490] ppid=46488 vsize=4373788 memory=2630540 CPUtime=3600.06 cores=1,3
/proc/46490/stat : 46490 (toulbar2) R 46488 46488 46076 0 -1 4194304 50696 0 0 0 359869 137 0 0 20 0 1 0 47407051 4478758912 657635 18446744073709551615 4198400 8956741 140722130721408 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 18038784 140722130729333 140722130729452 140722130729452 140722130735052 0
/proc/46490/statm: 1093447 657635 1184 1162 0 1092056 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 4377980 KiB
Current children cumulated memory: 2633484 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.07
CPU user time (s): 3598.7
CPU system time (s): 1.3776
CPU usage (%): 99.7219
Max. virtual memory (cumulated for all children) (KiB): 6475140
Max. memory (cumulated for all children) (KiB): 4199700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.7
system time used= 1.3776
maximum resident set size= 4340116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50904
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= 71
involuntary context switches= 2327
# summary of solver processes directly reported to runsolver:
# pid: 46488,46490
# total CPU time (s): 3600.07
# total CPU user time (s): 3598.7
# total CPU system time (s): 1.3776
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63469 second user time and 16.9503 second system time
The end
Begin job on nodeC033 at 2025-06-30 23:01:16 IDJOB=4486070 IDBENCH=146930 IDSOLVER=3371 FILE ID=nodeC033/4486070-1751317276 RUNJOBID= nodeC033-1751316235-46088 SLURM_JOB_ID= 9594336 Free space on /tmp= 432660 MiB SOLVER NAME= toulbar2 2025-06-13 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb COMMAND LINE= toulbar2.sh toulbar2 BENCHNAME -timer=TIMELIMIT -hve=512 -f=3 -n: -precision=0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486070-1751317276/watcher-4486070-1751317276 -o /tmp/evaluation-result-4486070-1751317276/solver-4486070-1751317276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751316235-46088 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4486070-1751317276.opb -timer=3600 -hve=512 -f=3 -n: -precision=0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 66c9959016382e41dad7850ad64939ee RANDOM SEED=173089058 nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.096 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.025 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.818 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3558.892 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.013 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.192 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3479.806 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.156 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 124867660 kB MemAvailable: 124795612 kB Buffers: 2128 kB Cached: 727044 kB SwapCached: 68 kB Active: 4889856 kB Inactive: 550028 kB Active(anon): 4703992 kB Inactive(anon): 24748 kB Active(file): 185864 kB Inactive(file): 525280 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 6324 kB Writeback: 0 kB AnonPages: 4711888 kB Mapped: 117592 kB Shmem: 18028 kB KReclaimable: 112092 kB Slab: 201004 kB SReclaimable: 112092 kB SUnreclaim: 88912 kB KernelStack: 4352 kB PageTables: 12516 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 5293260 kB VmallocTotal: 34359738367 kB VmallocUsed: 150584 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 3751936 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 221908 kB DirectMap2M: 11083776 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432452 MiB End job on nodeC033 at 2025-07-01 00:01:27