Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | OPT | 2 | 3.09559 | 3.10796 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:98.opb |
| MD5SUM | f3472af25f5f0fee0e9203b0329f534f |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.058442 |
| 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 | 906 |
| Total number of constraints | 1039 |
| Number of constraints which are clauses | 852 |
| Number of constraints which are cardinality constraints (but not clauses) | 187 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 906 |
| Biggest coefficient in the objective function | 553 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 2526 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 553 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2526 |
| Number of bits of the biggest sum of numbers | 12 |
| 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 SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4484503-1751301566.opb>
0.00/0.00 c original problem has 906 variables (906 bin, 0 int, 0 cont) and 1039 constraints
0.00/0.00 c problem read in 0.003 seconds
0.00/0.00 o 1420
0.00/0.00 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.420000e+03
0.00/0.00 c presolving:
0.00/0.00 c (round 1, fast) 7 del vars, 7 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 849 clqs
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver found nothing
0.00/0.01 c (round 2, exhaustive) 7 del vars, 7 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 1009 upgd conss, 0 impls, 849 clqs
0.00/0.01 c (round 3, exhaustive) 7 del vars, 7 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 1032 upgd conss, 0 impls, 849 clqs
0.00/0.02 c (round 4, medium) 9 del vars, 11 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 1032 upgd conss, 0 impls, 847 clqs
0.00/0.02 c (round 5, exhaustive) 9 del vars, 11 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 1034 upgd conss, 0 impls, 849 clqs
0.09/0.13 c (0.1s) probing cycle finished: starting next cycle
0.09/0.13 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.13 c (0.1s) no symmetry present (symcode time: 0.00)
0.09/0.13 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
0.09/0.13 c 9 deleted vars, 11 deleted constraints, 0 added constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.13 c 0 implications, 2188 cliques
0.09/0.13 c presolved problem has 897 variables (897 bin, 0 int, 0 cont) and 1030 constraints
0.09/0.13 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.09/0.13 c 183 constraints of type <knapsack>
0.09/0.13 c 847 constraints of type <setppc>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.13
0.09/0.13 c
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c
0.09/0.13 c # SCIP version 10.0.0
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.13 c limits/time = 3596.998011
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.13 c limits/memory = 27900
0.09/0.13 c
0.09/0.13 c # belongs reading time to solving time?
0.09/0.13 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c timing/reading = TRUE
0.09/0.13 c
0.09/0.13 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.09/0.13 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.09/0.13 c reading/opbreader/maxintsize = 47
0.09/0.13 c
0.09/0.13 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.09/0.13 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.09/0.13 c propagating/genvbounds/timingmask = 0
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c
0.09/0.13 o 1417
0.09/0.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.13 c t 0.1s| 1 | 0 | 0 | - | trivial| 0 | 897 |1030 | 0 | 0 | 0 | 0 | 0 |-5.480000e+02 | 1.417000e+03 | Inf | unknown
0.09/0.13 o 1391
0.09/0.13 c t 0.1s| 1 | 0 | 0 | - | trivial| 0 | 897 |1030 | 0 | 0 | 0 | 0 | 0 |-5.480000e+02 | 1.391000e+03 | Inf | unknown
0.09/0.14 o 106
0.09/0.14 c p 0.1s| 1 | 0 | 0 | - | clique| 0 | 897 |1030 |1030 | 0 | 0 | 0 | 0 |-5.480000e+02 | 1.060000e+02 | Inf | unknown
0.09/0.15 o 47
0.09/0.15 c p 0.1s| 1 | 0 | 0 | - | vbounds| 0 | 897 |1032 |1030 | 0 | 0 | 2 | 0 |-5.480000e+02 | 4.700000e+01 | Inf | unknown
0.29/0.32 c 0.3s| 1 | 0 | 3103 | - | 13M | 0 | 897 |1050 |1030 | 0 | 0 | 20 | 0 | 2.000000e+00 | 4.700000e+01 |2250.00%| unknown
0.49/0.58 c 0.6s| 1 | 0 | 3164 | - | 25M | 0 | 897 |1050 |1032 | 2 | 1 | 20 | 0 | 2.000000e+00 | 4.700000e+01 |2250.00%| unknown
0.69/0.79 c 0.8s| 1 | 0 | 3194 | - | 41M | 0 | 897 |1050 |1033 | 3 | 2 | 20 | 0 | 2.000000e+00 | 4.700000e+01 |2250.00%| unknown
0.99/1.02 c 1.0s| 1 | 0 | 3249 | - | 54M | 0 | 897 |1050 |1034 | 4 | 3 | 20 | 0 | 2.000000e+00 | 4.700000e+01 |2250.00%| unknown
1.19/1.26 c 1.3s| 1 | 0 | 3322 | - | 72M | 0 | 897 |1050 |1035 | 5 | 4 | 20 | 0 | 2.000000e+00 | 4.700000e+01 |2250.00%| unknown
1.38/1.48 c 1.5s| 1 | 0 | 3425 | - | 83M | 0 | 897 |1050 |1036 | 6 | 5 | 20 | 0 | 2.000000e+00 | 4.700000e+01 |2250.00%| unknown
1.68/1.72 c 1.7s| 1 | 0 | 3456 | - | 94M | 0 | 897 |1050 |1037 | 7 | 6 | 20 | 0 | 2.000000e+00 | 4.700000e+01 |2250.00%| unknown
1.88/1.96 c 2.0s| 1 | 0 | 3504 | - | 110M | 0 | 897 |1050 |1038 | 8 | 7 | 20 | 0 | 2.000000e+00 | 4.700000e+01 |2250.00%| unknown
2.18/2.22 c 2.2s| 1 | 0 | 3549 | - | 112M | 0 | 897 |1050 |1039 | 9 | 8 | 20 | 0 | 2.000000e+00 | 4.700000e+01 |2250.00%| unknown
2.48/2.50 c 2.5s| 1 | 0 | 3616 | - | 133M | 0 | 897 |1051 |1040 | 10 | 9 | 21 | 0 | 2.000000e+00 | 4.700000e+01 |2250.00%| unknown
2.77/2.80 c 2.8s| 1 | 0 | 3640 | - | 153M | 0 | 897 |1051 |1041 | 11 | 10 | 21 | 0 | 2.000000e+00 | 4.700000e+01 |2250.00%| unknown
2.77/2.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.77/2.87 c 2.9s| 1 | 0 | 3681 | - | 153M | 0 | 897 |1051 |1043 | 14 | 11 | 21 | 0 | 2.000000e+00 | 4.700000e+01 |2250.00%| unknown
2.87/2.96 o 2
2.87/2.96 c d 3.0s| 1 | 0 | 5029 | - |farkasdi| 0 | 897 |1052 |1043 | 0 | 11 | 22 | 0 | 2.000000e+00 | 2.000000e+00 | 0.00%| unknown
2.87/2.96 c 3.0s| 1 | 0 | 5029 | - | 153M | 0 | 897 |1052 |1043 | 14 | 11 | 22 | 0 | 2.000000e+00 | 2.000000e+00 | 0.00%| unknown
2.87/2.96 c
2.87/2.96 c SCIP Status : problem is solved [optimal solution found]
2.87/2.96 c Solving Time (sec) : 2.96
2.87/2.96 c Solving Nodes : 1
2.87/2.96 c Primal Bound : +2.00000000000000e+00 (6 solutions)
2.87/2.96 c Dual Bound : +2.00000000000000e+00
2.87/2.96 c Gap : 0.00 %
2.87/2.96 s OPTIMUM FOUND
2.87/2.96 v x786 -x741 x421 x83 -x861 -x745 x419 x860 x785 -x502 -x308 -x86 x789 x420 -x87 -x64 x862 -x505 -x425 -x355 x307 -x63 x864 x790 -x574
2.87/2.96 v -x506 -x65 -x573 -x479 -x442 -x354 -x313 x66 -x28 x865 x575 -x478 -x311 -x103 x67 -x867 -x811 x576 -x480 x441 -x360 -x263 -x186
2.87/2.96 v -x102 x74 -x27 -x868 -x815 x577 -x483 -x358 -x312 -x191 -x108 -x68 x31 -x698 x584 x482 -x447 -x400 -x316 -x266 -x217 -x190 -x144
2.87/2.96 v -x107 -x69 -x702 x578 x487 -x445 -x359 -x267 -x143 x109 -x70 -x32 -x3 x579 x486 -x399 -x363 -x193 -x167 -x145 x113 -x2 x661 -x580
2.87/2.96 v -x484 -x446 -x194 x148 x112 -x8 x660 -x595 -x559 -x485 -x450 -x405 -x197 -x166 x147 -x110 x7 x662 -x599 -x558 -x403 -x195 x152 -x111
2.87/2.96 v x9 x663 -x560 -x333 -x196 x172 -x151 x13 x664 x563 -x404 x170 -x149 -x12 x669 x562 -x408 -x336 -x150 -x10 x665 x564 -x337 x171 -x11
2.87/2.96 v -x740 x422 x82 -x856 -x744 x855 x787 -x501 -x426 -x303 x88 x791 -x424 x863 -x507 -x350 x309 x866 x870 -x836 -x793 -x437 -x356 x314
2.87/2.96 v -x91 x77 -x869 -x840 -x794 x78 -x810 x587 -x510 x443 -x361 -x317 -x262 -x213 -x73 x29 -x814 x588 -x481 -x315 -x185 -x104 x33 -x697
2.87/2.96 v x583 x495 -x448 -x395 -x364 -x268 -x216 -x187 -x105 -x71 -x701 -x491 -x362 -x192 x106 -x581 -x490 x451 -x401 x189 -x162 x117 -x35
2.87/2.96 v -x449 -x198 -x146 -x36 x4 -x594 -x543 -x406 -x271 -x168 x160 x5 -x598 x156 x6 -x672 x409 -x332 x173 x155 -x17 x673 x561 -x407 x668
2.87/2.96 v x572 -x467 -x338 x174 x568 -x471 x175 -x782 x742 -x497 x423 x84 -x746 x427 x788 -x503 x89 x857 x792 -x302 x858 x796 -x748 -x508
2.87/2.96 v x304 -x92 -x76 x859 -x795 -x749 -x349 x310 -x90 -x75 x23 x874 -x835 -x762 -x586 -x511 -x351 x306 -x258 x22 -x839 -x766 -x585 -x509
2.87/2.96 v -x436 x357 -x318 x812 -x492 -x438 x353 -x264 -x212 x30 -x816 -x494 x444 -x365 x34 -x699 x440 -x269 -x218 x120 -x72 x38 x703 x452
2.87/2.96 v -x394 -x188 x121 -x37 -x818 -x582 -x539 -x488 -x396 -x272 x206 -x157 -x116 -x819 -x402 -x270 x202 -x161 -x159 -x705 -x671 -x596
2.87/2.96 v -x542 -x489 x398 -x328 -x221 x201 -x163 -x114 x20 -x706 -x670 -x600 x410 -x169 x21 -x723 -x569 -x334 x165 x153 -x16 x727 -x571 x176
2.87/2.96 v x666 -x602 -x466 -x339 -x154 -x132 -x14 -x603 x567 -x470 x743 x435 x80 -x781 x747 x496 -x431 x85 -x783 -x751 x498 -x430 x81 x784
2.87/2.96 v -x750 -x504 x93 -x877 x800 x500 x878 -x806 -x512 x305 -x873 -x837 x805 -x761 x326 -x208 -x841 -x765 -x693 -x493 -x352 x322 -x257
2.87/2.96 v x24 -x885 -x871 x813 -x692 -x373 x321 -x259 -x214 -x119 x25 -x889 -x817 x439 x369 -x265 -x118 x26 -x843 -x821 -x700 -x460 -x368
2.87/2.96 v x261 -x219 x203 x42 -x844 -x820 x704 -x590 -x456 -x273 x205 -x158 x708 x589 -x538 -x455 -x222 -x19 x707 x397 -x220 -x18 -x597 -x544
2.87/2.96 v -x418 -x199 -x115 -x601 -x570 x414 -x327 -x164 -x722 x605 x413 -x329 -x200 x184 -x128 x726 -x604 x335 x180 -x667 -x547 -x468 x331
2.87/2.96 v x179 -x131 -x15 x565 -x472 -x340 x904 x434 x79 -x876 -x803 x755 -x428 x101 -x875 -x831 x804 x499 x97 -x830 x799 x520 -x429 -x323
2.87/2.96 v x96 x516 -x325 -x838 -x797 -x763 x515 -x370 -x842 x807 -x767 -x372 -x207 -x884 -x872 x846 x808 -x457 x319 -x292 -x209 -x45 -x888
2.87/2.96 v -x845 x809 -x694 -x459 -x260 -x215 -x204 x46 x825 -x769 -x695 x534 -x384 -x366 -x320 -x281 x211 -x41 -x770 x696 x277 -x223 x712
2.87/2.96 v -x620 -x540 -x453 -x415 -x367 -x276 -x39 x624 x591 -x417 x592 -x545 -x454 x181 x593 -x462 x183 -x724 x609 -x548 -x461 x411 -x127
2.87/2.96 v x728 -x546 -x330 x469 -x412 -x348 x177 -x133 -x566 x473 -x344 -x802 x432 x98 -x801 x100 x754 x655 -x517 -x757 x519 -x324 -x756 x752
2.87/2.96 v -x522 x94 -x832 -x526 -x371 x833 -x798 -x764 -x513 -x288 -x250 x95 -x44 x834 -x768 -x458 -x43 -x886 -x850 x828 x772 -x514 -x380
2.87/2.96 v x291 -x278 -x890 x829 x771 -x280 x210 x824 x715 -x383 -x231 x716 x533 -x416 -x227 -x892 -x822 x711 -x642 -x619 x535 -x274 -x226
2.87/2.96 v -x40 -x893 -x718 -x646 x623 -x541 -x182 -x717 x709 -x680 -x612 x537 -x275 -x123 -x56 -x684 -x613 -x549 -x725 x608 -x345 -x129 x729
2.87/2.96 v -x463 -x347 x730 x606 -x464 -x241 x178 -x134 x731 x465 -x343 x905 -x433 x99 -x518 x654 -x753 -x521 x246 -x880 x758 -x525 -x879 x853
2.87/2.96 v x827 x759 -x287 -x249 x854 x826 x760 -x279 -x887 -x849 x776 -x714 -x379 x293 -x228 -x891 -x713 -x230 x895 -x847 -x385 x894 -x823
2.87/2.96 v -x641 x621 -x611 -x296 -x224 -x52 -x645 x625 -x610 x536 x710 -x679 x557 -x388 -x225 -x55 -x719 -x683 x553 -x346 -x122 x720 -x627
2.87/2.96 v x552 -x237 -x124 x721 -x628 -x130 x735 x607 -x476 -x240 x126 -x477 -x341 x135 x656 -x852 x523 -x283 x245 -x851 -x527 -x779 -x658
2.87/2.96 v -x375 -x289 -x251 x881 -x780 -x229 x882 -x775 -x529 -x381 x294 x883 -x615 -x530 x899 -x848 -x773 x614 -x386 -x297 -x254 -x295 -x643
2.87/2.96 v x622 x554 -x389 -x51 -x647 x626 x556 -x387 x681 x630 -x57 x685 x629 x738 -x649 -x550 -x475 -x236 x739 -x650 -x474 x125 x734 -x687
2.87/2.96 v -x551 x242 -x142 x60 -x688 -x342 x138 -x778 x659 x524 x247 -x777 x657 x528 -x282 -x532 -x284 -x252 -x531 x374 x290 x902 x376 x286
2.87/2.96 v -x255 x903 -x637 -x382 x298 -x253 x898 -x774 -x636 x378 -x49 x675 x616 -x555 -x390 x896 x674 -x644 x617 -x53 -x648 x618 -x737 x682
2.87/2.96 v -x652 x633 -x234 -x58 x736 x686 -x651 -x690 x238 -x139 x61 -x689 -x141 x59 x732 x243 x136 x248 x901 x906 x900 -x285 x256 x301 x377
2.87/2.96 v x299 -x393 x300 -x638 -x391 -x48 -x897 -x639 x635 -x392 x47 x676 x640 x634 -x54 x677 -x653 x631 x50 x678 -x233 -x140 x62 x691 -x632
2.87/2.96 v x232 x239 x733 x235 x244 x137 x1
2.87/2.96 c SCIP Status : problem is solved [optimal solution found]
2.87/2.96 c Total Time : 2.96
2.87/2.96 c solving : 2.96
2.87/2.96 c presolving : 0.13 (included in solving)
2.87/2.96 c reading : 0.00 (included in solving)
2.87/2.96 c copying : 0.00 (1 #copies) (minimal 0.00, maximal 0.00, average 0.00)
2.87/2.96 c Original Problem :
2.87/2.96 c Problem name : HOME/instance-4484503-1751301566.opb
2.87/2.96 c Variables : 906 (906 binary, 0 integer, 0 continuous)
2.87/2.96 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
2.87/2.96 c Constraints : 1039 initial, 1039 maximal
2.87/2.96 c Objective : minimize, 906 non-zeros (abs.min = 1, abs.max = 553)
2.87/2.96 c Presolved Problem :
2.87/2.96 c Problem name : t_HOME/instance-4484503-1751301566.opb
2.87/2.96 c Variables : 897 (897 binary, 0 integer, 0 continuous)
2.87/2.96 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
2.87/2.96 c Constraints : 1030 initial, 1052 maximal
2.87/2.96 c Objective : minimize, 897 non-zeros (abs.min = 1, abs.max = 4)
2.87/2.96 c Nonzeros : 3621 constraint, 4382 clique table
2.87/2.96 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
2.87/2.96 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2.87/2.96 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2.87/2.96 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
2.87/2.96 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2.87/2.96 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2.87/2.96 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
2.87/2.96 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c dualfix : 0.00 0.00 6 1 0 0 0 0 0 0 0 0
2.87/2.96 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c probing : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
2.87/2.96 c pseudoobj : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
2.87/2.96 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2.87/2.96 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2.87/2.96 c knapsack : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
2.87/2.96 c setppc : 0.00 0.00 11 0 2 0 0 0 4 0 0 0
2.87/2.96 c linear : 0.01 0.00 7 1 5 0 1 0 7 0 0 0
2.87/2.96 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2.87/2.96 c root node : - - - 0 - - 0 - - - - -
2.87/2.96 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
2.87/2.96 c integral : 0 0 0 0 0 0 0 22 0 0 0 0 0 0 0
2.87/2.96 c knapsack : 183 183 11 7920 0 0 0 16 13 1 0 0 0 0 0
2.87/2.96 c setppc : 847+ 864 11 7900 0 0 0 5 69 21 0 0 0 0 0
2.87/2.96 c logicor : 0+ 5 11 24 0 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c fixedvar : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
2.87/2.96 c countsols : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
2.87/2.96 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
2.87/2.96 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c knapsack : 0.03 0.00 0.01 0.02 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c setppc : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c Propagators : #Propagate #ResProp Cutoffs DomReds
2.87/2.96 c dualfix : 2 0 0 0
2.87/2.96 c genvbounds : 0 0 0 0
2.87/2.96 c nlobbt : 0 0 0 0
2.87/2.96 c obbt : 0 0 0 0
2.87/2.96 c probing : 0 0 0 0
2.87/2.96 c pseudoobj : 16 0 0 0
2.87/2.96 c redcost : 14 0 0 0
2.87/2.96 c rootredcost : 0 0 0 0
2.87/2.96 c symmetry : 0 0 0 0
2.87/2.96 c vbounds : 4748 0 0 0
2.87/2.96 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
2.87/2.96 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c probing : 0.11 0.00 0.11 0.00 0.00 0.00
2.87/2.96 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
2.87/2.96 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
2.87/2.96 c propagation : 0.00 22 22 - 22 2.3 0 0.0 - - -
2.87/2.96 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
2.87/2.96 c bound exceed. LP : 0.00 3 0 - 0 0.0 0 0.0 0 0.0 30
2.87/2.96 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
2.87/2.96 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
2.87/2.96 c applied globally : 0.00 - - 0 22 2.3 - - 0 - -
2.87/2.96 c applied locally : - - - 0 0 0.0 - - 0 - -
2.87/2.96 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
2.87/2.96 c cut pool : 0.02 - 21 21 - - 1768 3196 - - - - - (maximal pool size: 1768)
2.87/2.96 c aggregation : 0.18 0.00 11 11 0 0 0 0 0 0 0 0 0
2.87/2.96 c > cmir : - - - - - - - 0 0 0 0 0 -
2.87/2.96 c > flowcover : - - - - - - - 0 0 0 0 0 -
2.87/2.96 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
2.87/2.96 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c clique : 0.04 0.00 11 11 0 0 0 0 0 0 0 0 0
2.87/2.96 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c gomory : 2.10 0.00 10 10 0 0 1748 3137 0 12 12 0 0
2.87/2.96 c > gomorymi : - - - - - - - 2202 0 9 9 0 -
2.87/2.96 c > strongcg : - - - - - - - 935 0 3 3 0 -
2.87/2.96 c impliedbounds : 0.00 0.00 11 11 0 0 0 0 0 0 0 0 0
2.87/2.96 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
2.87/2.96 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c multilinear : 0.00 0.00 11 11 0 0 0 0 0 0 0 0 0
2.87/2.96 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.87/2.96 c rapidlearning : 0.03 0.00 1 1 0 0 0 0 0 0 0 0 0
2.87/2.96 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
2.87/2.96 c zerohalf : 0.05 0.00 11 11 0 0 20 59 0 2 2 0 0
2.87/2.96 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
2.87/2.96 c hybrid : 0.02 0.00 11 11 14 0 3182 14 0 3182
2.87/2.96 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c Pricers : ExecTime SetupTime Calls Vars
2.87/2.96 c problem variables: 0.00 - 0 0
2.87/2.96 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
2.87/2.96 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c random : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
2.87/2.96 c Primal Heuristics : ExecTime SetupTime Calls Found Best
2.87/2.96 c LP solutions : 0.00 - - 0 0
2.87/2.96 c relax solutions : 0.00 - - 0 0
2.87/2.96 c pseudo solutions : 0.00 - - 0 0
2.87/2.96 c strong branching : 0.00 - - 0 0
2.87/2.96 c actconsdiving : 0.00 0.00 0 0 0
2.87/2.96 c adaptivediving : 0.00 0.00 0 0 0
2.87/2.96 c alns : 0.00 0.00 0 0 0
2.87/2.96 c bound : 0.00 0.00 0 0 0
2.87/2.96 c clique : 0.01 0.00 1 1 1
2.87/2.96 c coefdiving : 0.00 0.00 0 0 0
2.87/2.96 c completesol : 0.00 0.00 0 0 0
2.87/2.96 c conflictdiving : 0.00 0.00 0 0 0
2.87/2.96 c crossover : 0.00 0.00 0 0 0
2.87/2.96 c dins : 0.00 0.00 0 0 0
2.87/2.96 c distributiondivin: 0.00 0.00 0 0 0
2.87/2.96 c dks : 0.00 0.00 0 0 0
2.87/2.96 c dps : 0.00 0.00 0 0 0
2.87/2.96 c dualval : 0.00 0.00 0 0 0
2.87/2.96 c farkasdiving : 0.09 0.00 1 1 1
2.87/2.96 c feaspump : 0.00 0.00 0 0 0
2.87/2.96 c fixandinfer : 0.00 0.00 0 0 0
2.87/2.96 c fracdiving : 0.00 0.00 0 0 0
2.87/2.96 c gins : 0.00 0.00 0 0 0
2.87/2.96 c guideddiving : 0.00 0.00 0 0 0
2.87/2.96 c indicator : 0.00 0.00 0 0 0
2.87/2.96 c indicatordiving : 0.00 0.00 0 0 0
2.87/2.96 c intdiving : 0.00 0.00 0 0 0
2.87/2.96 c intshifting : 0.00 0.00 0 0 0
2.87/2.96 c linesearchdiving : 0.00 0.00 0 0 0
2.87/2.96 c localbranching : 0.00 0.00 0 0 0
2.87/2.96 c locks : 0.00 0.00 1 0 0
2.87/2.96 c lpface : 0.00 0.00 0 0 0
2.87/2.96 c mpec : 0.00 0.00 0 0 0
2.87/2.96 c multistart : 0.00 0.00 0 0 0
2.87/2.96 c mutation : 0.00 0.00 0 0 0
2.87/2.96 c nlpdiving : 0.00 0.00 0 0 0
2.87/2.96 c objpscostdiving : 0.00 0.00 0 0 0
2.87/2.96 c octane : 0.00 0.00 0 0 0
2.87/2.96 c ofins : 0.00 0.00 0 0 0
2.87/2.96 c oneopt : 0.00 0.00 1 0 0
2.87/2.96 c padm : 0.00 0.00 0 0 0
2.87/2.96 c proximity : 0.00 0.00 0 0 0
2.87/2.96 c pscostdiving : 0.00 0.00 0 0 0
2.87/2.96 c randrounding : 0.02 0.00 12 0 0
2.87/2.96 c rens : 0.00 0.00 0 0 0
2.87/2.96 c reoptsols : 0.00 0.00 0 0 0
2.87/2.96 c repair : 0.00 0.00 0 0 0
2.87/2.96 c rins : 0.00 0.00 0 0 0
2.87/2.96 c rootsoldiving : 0.00 0.00 0 0 0
2.87/2.96 c rounding : 0.01 0.00 12 0 0
2.87/2.96 c scheduler : 0.00 0.00 0 0 0
2.87/2.96 c shiftandpropagate: 0.00 0.00 0 0 0
2.87/2.96 c shifting : 0.01 0.00 12 0 0
2.87/2.96 c simplerounding : 0.00 0.00 12 0 0
2.87/2.96 c subnlp : 0.00 0.00 0 0 0
2.87/2.96 c trivial : 0.00 0.00 2 3 3
2.87/2.96 c trivialnegation : 0.00 0.00 0 0 0
2.87/2.96 c trustregion : 0.00 0.00 0 0 0
2.87/2.96 c trysol : 0.00 0.00 0 0 0
2.87/2.96 c twoopt : 0.00 0.00 0 0 0
2.87/2.96 c undercover : 0.00 0.00 0 0 0
2.87/2.96 c vbounds : 0.01 0.00 1 1 1
2.87/2.96 c veclendiving : 0.00 0.00 0 0 0
2.87/2.96 c zeroobj : 0.00 0.00 0 0 0
2.87/2.96 c zirounding : 0.00 0.00 1 0 0
2.87/2.96 c other solutions : - - - 0 -
2.87/2.96 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
2.87/2.96 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.87/2.96 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.87/2.96 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.87/2.96 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.87/2.96 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.87/2.96 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.87/2.96 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.87/2.96 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.87/2.96 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
2.87/2.96 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
2.87/2.96 c primal LP : 0.00 1 0 0.00 - 0.00 1
2.87/2.96 c dual LP : 0.23 12 3681 306.75 15880.41 0.00 0
2.87/2.96 c lex dual LP : 0.00 0 0 0.00 -
2.87/2.96 c barrier LP : 0.00 0 0 0.00 - 0.00 0
2.87/2.96 c resolve instable : 0.00 0 0 0.00 -
2.87/2.96 c diving/probing LP: 0.09 19 1348 70.95 14738.04
2.87/2.96 c strong branching : 0.00 0 0 0.00 - - - 0
2.87/2.96 c (at root node) : - 0 0 0.00 -
2.87/2.96 c conflict analysis: 0.00 3 30 10.00 -
2.87/2.96 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
2.87/2.96 c benders : 0.00 0 0 0 0.00 0 0 0
2.87/2.96 c B&B Tree :
2.87/2.96 c number of runs : 1
2.87/2.96 c nodes : 1 (0 internal, 1 leaves)
2.87/2.96 c feasible leaves : 0
2.87/2.96 c infeas. leaves : 0
2.87/2.96 c objective leaves : 1
2.87/2.96 c nodes (total) : 1 (0 internal, 1 leaves)
2.87/2.96 c nodes left : 0
2.87/2.96 c max depth : 0
2.87/2.96 c max depth (total): 0
2.87/2.96 c backtracks : 0 (0.0%)
2.87/2.96 c early backtracks : 0 (0.0%)
2.87/2.96 c nodes exc. ref. : 0 (0.0%)
2.87/2.96 c delayed cutoffs : 0
2.87/2.96 c repropagations : 0 (0 domain reductions, 0 cutoffs)
2.87/2.96 c avg switch length: 2.00
2.87/2.96 c switching time : 0.00
2.87/2.96 c Root Node :
2.87/2.96 c First LP value : +2.00000000000000e+00
2.87/2.96 c First LP Iters : 3103 (19233.63 Iter/sec)
2.87/2.96 c First LP Time : 0.16
2.87/2.96 c Final Dual Bound : -
2.87/2.96 c Final Root Iters : 3681
2.87/2.96 c Root LP Estimate : -
2.87/2.96 c Solution :
2.87/2.96 c Solutions found : 6 (6 improvements)
2.87/2.96 c First Solution : +1.42000000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
2.87/2.96 c Gap First Sol. : infinite
2.87/2.96 c Gap Last Sol. : 0.00 %
2.87/2.96 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1 nodes, 2.96 seconds, depth 20, found by <farkasdiving>)
2.87/2.96 c Dual Bound : +2.00000000000000e+00
2.87/2.96 c Gap : 0.00 %
2.87/2.96 c Integrals : Total Avg%
2.87/2.96 c primal-dual : 284.89 96.16
2.87/2.96 c primal-ref : - - (not evaluated)
2.87/2.96 c dual-ref : - - (not evaluated)
2.98/3.10 c Time complete (sec): 3.092
OK 2
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: 63665 MiB (61378 MiB free)
memory of node 1: 64507 MiB (62216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484503-1751301566/watcher-4484503-1751301566 -o /tmp/evaluation-result-4484503-1751301566/solver-4484503-1751301566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751301413-37234 --watchdog 3760 pbsolver -f HOME/instance-4484503-1751301566.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=37697, runsolver pid=37694
[startup+0.100057 s]*
/proc/loadavg: 3.89 2.72 3.18 5/267 37698
/proc/meminfo: memFree=126561132/131249996 swapFree=33010416/33010684
[pid=37697] ppid=37694 vsize=28648 memory=20224 CPUtime=0.09 cores=5,7
/proc/37697/stat : 37697 (pbsolver) R 37694 37697 37216 0 -1 4194304 2716 0 0 0 9 0 0 0 20 0 1 0 45836172 29335552 5056 18446744073709551615 4198400 14743177 140727773879456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52744192 140727773886858 140727773886954 140727773886954 140727773892556 0
/proc/37697/statm: 7162 5056 2592 2575 0 4069 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28648 KiB
Current children cumulated memory: 20224 KiB
[startup+0.204675 s]*
/proc/loadavg: 3.89 2.72 3.18 5/267 37698
/proc/meminfo: memFree=126557640/131249996 swapFree=33010416/33010684
[pid=37697] ppid=37694 vsize=35384 memory=25088 CPUtime=0.19 cores=5,7
/proc/37697/stat : 37697 (pbsolver) R 37694 37697 37216 0 -1 4194304 3864 0 0 0 19 0 0 0 20 0 1 0 45836172 36233216 6272 18446744073709551615 4198400 14743177 140727773879456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52744192 140727773886858 140727773886954 140727773886954 140727773892556 0
/proc/37697/statm: 8846 6272 2688 2575 0 5753 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 25088 KiB
[startup+0.305005 s]*
/proc/loadavg: 3.89 2.72 3.18 5/267 37698
/proc/meminfo: memFree=126557640/131249996 swapFree=33010416/33010684
[pid=37697] ppid=37694 vsize=35524 memory=25088 CPUtime=0.29 cores=5,7
/proc/37697/stat : 37697 (pbsolver) R 37694 37697 37216 0 -1 4194304 3869 0 0 0 29 0 0 0 20 0 1 0 45836172 36376576 6272 18446744073709551615 4198400 14743177 140727773879456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52744192 140727773886858 140727773886954 140727773886954 140727773892556 0
/proc/37697/statm: 8881 6272 2688 2575 0 5788 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 35524 KiB
Current children cumulated memory: 25088 KiB
[startup+0.700156 s]
/proc/loadavg: 3.89 2.72 3.18 5/267 37698
/proc/meminfo: memFree=126545544/131249996 swapFree=33010416/33010684
[pid=37697] ppid=37694 vsize=59832 memory=48996 CPUtime=0.69 cores=5,7
/proc/37697/stat : 37697 (pbsolver) R 37694 37697 37216 0 -1 4194304 10313 0 0 0 67 2 0 0 20 0 1 0 45836172 61267968 12249 18446744073709551615 4198400 14743177 140727773879456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52744192 140727773886858 140727773886954 140727773886954 140727773892556 0
/proc/37697/statm: 14958 12249 2688 2575 0 11865 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59832 KiB
Current children cumulated memory: 48996 KiB
[startup+1.50013 s]
/proc/loadavg: 3.89 2.72 3.18 5/267 37698
/proc/meminfo: memFree=126513540/131249996 swapFree=33010416/33010684
[pid=37697] ppid=37694 vsize=105556 memory=94436 CPUtime=1.48 cores=5,7
/proc/37697/stat : 37697 (pbsolver) R 37694 37697 37216 0 -1 4194304 21669 0 0 0 145 3 0 0 20 0 1 0 45836172 108089344 23609 18446744073709551615 4198400 14743177 140727773879456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52744192 140727773886858 140727773886954 140727773886954 140727773892556 0
/proc/37697/statm: 26389 23609 2688 2575 0 23296 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 105556 KiB
Current children cumulated memory: 94436 KiB
[startup+3.10793 s]
# the end of solver process 37697 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3.02977 s, system=0.065811 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60019 s]
/proc/loadavg: 3.89 2.72 3.18 5/267 37698
/proc/meminfo: memFree=126513540/131249996 swapFree=33010416/33010684
[pid=37697] ppid=37694 vsize=115588 memory=103884 CPUtime=1.58 cores=5,7
/proc/37697/stat : 37697 (pbsolver) R 37694 37697 37216 0 -1 4194304 24538 0 0 0 155 3 0 0 20 0 1 0 45836172 118362112 25971 18446744073709551615 4198400 14743177 140727773879456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52744192 140727773886858 140727773886954 140727773886954 140727773892556 0
/proc/37697/statm: 28897 25971 2688 2575 0 25804 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 115588 KiB
Current children cumulated memory: 103884 KiB
[startup+2.4001 s]
/proc/loadavg: 3.89 2.72 3.18 5/267 37698
/proc/meminfo: memFree=126457616/131249996 swapFree=33010416/33010684
[pid=37697] ppid=37694 vsize=151780 memory=139072 CPUtime=2.38 cores=5,7
/proc/37697/stat : 37697 (pbsolver) R 37694 37697 37216 0 -1 4194304 33577 0 0 0 234 4 0 0 20 0 1 0 45836172 155422720 34768 18446744073709551615 4198400 14743177 140727773879456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52744192 140727773886858 140727773886954 140727773886954 140727773892556 0
/proc/37697/statm: 37945 34768 2688 2575 0 34852 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 151780 KiB
Current children cumulated memory: 139072 KiB
[startup+2.8001 s]
/proc/loadavg: 3.89 2.72 3.18 5/267 37698
/proc/meminfo: memFree=126457616/131249996 swapFree=33010416/33010684
[pid=37697] ppid=37694 vsize=178940 memory=165312 CPUtime=2.77 cores=5,7
/proc/37697/stat : 37697 (pbsolver) R 37694 37697 37216 0 -1 4194304 40148 0 0 0 272 5 0 0 20 0 1 0 45836172 183234560 41328 18446744073709551615 4198400 14743177 140727773879456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52744192 140727773886858 140727773886954 140727773886954 140727773892556 0
/proc/37697/statm: 44735 41328 2688 2575 0 41642 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 178940 KiB
Current children cumulated memory: 165312 KiB
[startup+3.0001 s]*
/proc/loadavg: 3.89 2.72 3.18 5/267 37698
/proc/meminfo: memFree=126434100/131249996 swapFree=33010416/33010684
[pid=37697] ppid=37694 vsize=178940 memory=165440 CPUtime=2.98 cores=5,7
/proc/37697/stat : 37697 (pbsolver) R 37694 37697 37216 0 -1 4194304 40166 0 0 0 293 5 0 0 20 0 1 0 45836172 183234560 41360 18446744073709551615 4198400 14743177 140727773879456 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52744192 140727773886858 140727773886954 140727773886954 140727773892556 0
/proc/37697/statm: 44735 41360 2688 2575 0 41642 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 178940 KiB
Current children cumulated memory: 165440 KiB
Child status: 0
Real time (s): 3.10796
CPU time (s): 3.09559
CPU user time (s): 3.02977
CPU system time (s): 0.065811
CPU usage (%): 99.6019
Max. virtual memory (cumulated for all children) (KiB): 178940
Max. memory (cumulated for all children) (KiB): 165440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.02977
system time used= 0.065811
maximum resident set size= 165440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40166
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= 3
involuntary context switches= 7
# summary of solver processes directly reported to runsolver:
# pid: 37697
# total CPU time (s): 3.09559
# total CPU user time (s): 3.02977
# total CPU system time (s): 0.065811
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015414 second user time and 0.042135 second system time
The end
Begin job on nodeC030 at 2025-06-30 18:39:26 IDJOB=4484503 IDBENCH=146658 IDSOLVER=3366 FILE ID=nodeC030/4484503-1751301566 RUNJOBID= nodeC030-1751301413-37234 SLURM_JOB_ID= 9594278 Free space on /tmp= 432988 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484503-1751301566/watcher-4484503-1751301566 -o /tmp/evaluation-result-4484503-1751301566/solver-4484503-1751301566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751301413-37234 --watchdog 3760 pbsolver -f HOME/instance-4484503-1751301566.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f RANDOM SEED=1927224006 nodeC030 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.316 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.62 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.318 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.62 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.495 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.62 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 : 3584.042 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.62 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.349 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.62 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 : 3602.547 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.62 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 : 3536.216 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.62 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.347 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.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 126561420 kB MemAvailable: 128001856 kB Buffers: 2564 kB Cached: 2235220 kB SwapCached: 16 kB Active: 2096616 kB Inactive: 1934880 kB Active(anon): 1807100 kB Inactive(anon): 4660 kB Active(file): 289516 kB Inactive(file): 1930220 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 14960 kB Writeback: 0 kB AnonPages: 1796848 kB Mapped: 135404 kB Shmem: 18048 kB KReclaimable: 119480 kB Slab: 205780 kB SReclaimable: 119480 kB SUnreclaim: 86300 kB KernelStack: 4336 kB PageTables: 6716 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 2404940 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 323584 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: 189140 kB DirectMap2M: 9019392 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432972 MiB End job on nodeC030 at 2025-06-30 18:39:29