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 | SAT | -600 | 3585.41 | 3597.38 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb |
| MD5SUM | 68c73bc206439bbe0d5a467b2a25edac |
| 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 | -600 |
| Best CPU time to get the best result obtained on this benchmark | 87.3964 |
| 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 | 1225 |
| Total number of constraints | 78400 |
| Number of constraints which are clauses | 78400 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-4521273-1751556599.opb>
0.10/0.20 c original problem has 1225 variables (1225 bin, 0 int, 0 cont) and 78400 constraints
0.10/0.20 c problem read in 0.199 seconds
0.31/0.32 o 0
0.31/0.32 c feasible solution found by trivial heuristic after 0.3 seconds, objective value 0.000000e+00
0.31/0.32 c presolving:
0.41/0.51 c (0.5s) running MILP presolver
0.51/0.58 c (0.6s) MILP presolver found nothing
0.78/0.80 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 78400 upgd conss, 0 impls, 0 clqs
1.09/1.15 c (1.2s) probing: 51/1225 (4.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.09/1.15 c (1.2s) probing aborted: 50/50 successive totally useless probings
1.79/1.87 c (1.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.58/3.62 c (3.6s) symmetry computation finished: 36 generators found (max: 1500, log10 of symmetry group size: 34.88) (symcode time: 1.70)
3.58/3.63 c dynamic symmetry handling statistics:
3.58/3.63 c orbitopal reduction: no components
3.58/3.63 c orbital reduction: 1 components of sizes 36
3.58/3.63 c lexicographic reduction: 36 permutations with support sizes 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 780, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 96, 780, 780, 780
3.58/3.63 c handled 1 out of 1 symmetry components
3.58/3.67 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
3.58/3.67 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.58/3.67 c 0 implications, 0 cliques
3.58/3.67 c presolved problem has 1225 variables (1225 bin, 0 int, 0 cont) and 78400 constraints
3.58/3.67 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
3.58/3.67 c 78400 constraints of type <logicor>
3.58/3.67 c transformed objective value is always integral (scale: 1)
3.58/3.67 c Presolving Time: 3.35
3.58/3.67 c problem pure SAT
3.58/3.67 c
3.58/3.67 c - non default parameters ----------------------------------------------------------------------
3.58/3.67 c
3.58/3.67 c # SCIP version 10.0.0
3.58/3.67 c
3.58/3.67 c # maximal time in seconds to run
3.58/3.67 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.58/3.67 c limits/time = 3596.996048
3.58/3.67 c
3.58/3.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.58/3.67 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.58/3.67 c limits/memory = 27900
3.58/3.67 c
3.58/3.67 c # belongs reading time to solving time?
3.58/3.67 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.58/3.67 c timing/reading = TRUE
3.58/3.67 c
3.58/3.67 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
3.58/3.67 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
3.58/3.67 c reading/opbreader/maxintsize = 47
3.58/3.67 c
3.58/3.67 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
3.58/3.67 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
3.58/3.67 c propagating/genvbounds/timingmask = 0
3.58/3.67 c
3.58/3.67 c -----------------------------------------------------------------------------------------------
3.58/3.67 c transformed 1/1 original solutions to the transformed problem space
3.58/3.67 c
3.77/3.83 o -554
3.77/3.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.77/3.83 c p 3.8s| 1 | 0 | 0 | - | locks| 0 |1225 | 78k| 78k| 0 | 0 | 0 | 0 |-1.000000e+03 |-5.540000e+02 | 80.51%| unknown
18.13/18.24 c 18.2s| 1 | 0 | 12310 | - | 432M | 0 |1225 | 78k| 78k| 0 | 0 | 0 | 0 |-6.666667e+02 |-5.540000e+02 | 20.34%| unknown
18.52/18.63 c 18.6s| 1 | 0 | 12325 | - | 473M | 0 |1225 | 78k| 78k| 1 | 1 | 0 | 0 |-6.666667e+02 |-5.540000e+02 | 20.34%| unknown
18.82/19.00 c 19.0s| 1 | 0 | 12340 | - | 502M | 0 |1225 | 78k| 78k| 2 | 2 | 1 | 0 |-6.666667e+02 |-5.540000e+02 | 20.34%| unknown
19.21/19.38 c 19.4s| 1 | 0 | 12351 | - | 525M | 0 |1225 | 78k| 78k| 3 | 3 | 1 | 0 |-6.666667e+02 |-5.540000e+02 | 20.34%| unknown
19.62/19.77 c 19.8s| 1 | 0 | 12358 | - | 557M | 0 |1225 | 78k| 78k| 4 | 4 | 1 | 0 |-6.666667e+02 |-5.540000e+02 | 20.34%| unknown
20.03/20.17 c 20.2s| 1 | 0 | 12380 | - | 574M | 0 |1225 | 78k| 78k| 5 | 5 | 1 | 0 |-6.666667e+02 |-5.540000e+02 | 20.34%| unknown
20.41/20.58 c 20.6s| 1 | 0 | 12386 | - | 587M | 0 |1225 | 78k| 78k| 6 | 6 | 1 | 0 |-6.666667e+02 |-5.540000e+02 | 20.34%| unknown
20.93/21.03 c 21.0s| 1 | 0 | 12413 | - | 616M | 0 |1225 | 78k| 78k| 7 | 7 | 1 | 0 |-6.666667e+02 |-5.540000e+02 | 20.34%| unknown
21.41/21.50 c 21.5s| 1 | 0 | 12441 | - | 647M | 0 |1225 | 78k| 78k| 8 | 8 | 1 | 0 |-6.666667e+02 |-5.540000e+02 | 20.34%| unknown
21.81/21.94 c 21.9s| 1 | 0 | 12455 | - | 659M | 0 |1225 | 78k| 78k| 9 | 9 | 1 | 0 |-6.666667e+02 |-5.540000e+02 | 20.34%| unknown
22.30/22.40 c 22.4s| 1 | 0 | 12462 | - | 693M | 0 |1225 | 78k| 78k| 10 | 10 | 1 | 0 |-6.666667e+02 |-5.540000e+02 | 20.34%| unknown
22.60/22.75 c 22.7s| 1 | 0 | 12463 | - | 701M | 0 |1225 | 78k| 78k| 11 | 11 | 2 | 0 |-6.666667e+02 |-5.540000e+02 | 20.34%| unknown
85.18/85.54 c 85.5s| 1 | 2 | 45132 | - | 705M | 0 |1225 | 78k| 78k| 11 | 11 | 2 | 21 |-6.662686e+02 |-5.540000e+02 | 20.27%| unknown
352.03/353.30 o -582
352.03/353.30 c d 353s| 11 | 12 |125597 |11313.4 |pscostdi| 10 |1225 | 78k| 78k| 0 | 4 | 2 | 191 |-6.660250e+02 |-5.820000e+02 | 14.44%| unknown
445.69/447.33 o -600
445.69/447.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
445.69/447.33 c * 447s| 18 | 12 |188805 |10373.1 | LP | 10 |1225 | 78k| 78k| 15 | 1 | 3 | 207 |-6.593333e+02 |-6.000000e+02 | 9.89%| 21.39%
1472.57/1477.89 c 1478s| 100 | 44 |822411 |8181.3 | 773M | 13 |1225 | 78k| 78k| 25 | 0 | 44 | 472 |-6.402598e+02 |-6.000000e+02 | 6.71%| 52.90%
2335.90/2344.06 c 2344s| 200 | 50 | 1397k|6957.9 | 945M | 14 |1225 | 78k| 78k| 68 | 1 | 94 | 785 |-6.344995e+02 |-6.000000e+02 | 5.75%| 55.06%
3228.63/3239.56 c 3240s| 300 | 52 | 2036k|6769.5 | 997M | 15 |1225 | 78k| 78k| 94 | 0 | 149 |1046 |-6.339712e+02 |-6.000000e+02 | 5.66%| 56.80%
3584.92/3597.00 c
3584.92/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.92/3597.00 c Solving Time (sec) : 3597.00
3584.92/3597.00 c Solving Nodes : 348
3584.92/3597.00 c Primal Bound : -6.00000000000000e+02 (6 solutions)
3584.92/3597.00 c Dual Bound : -6.30666666666667e+02
3584.92/3597.00 c Gap : 5.11 %
3585.03/3597.02 s SATISFIABLE
3585.03/3597.02 v x1 x6 x11 x16 x21 x26 x31 x36 x41 x46 -x2 -x7 -x12 -x17 -x22 -x27 -x32 -x37 -x42 -x47 -x3 x8 x13 -x18 x23 -x28 -x33 -x38 x43 -x48
3585.03/3597.02 v x4 x9 x14 x19 x24 x29 x34 x39 x44 x49 x53 x58 x63 x68 x73 x78 x83 x88 x93 x50 x55 x60 x65 x70 x75 x80 x85 x90 x95 x51 -x56 -x61
3585.03/3597.02 v x66 -x71 x76 x81 x86 -x91 x96 -x52 -x57 -x62 -x67 -x72 -x77 -x82 -x87 -x92 -x97 -x100 -x105 -x110 -x115 -x120 -x125 -x130 -x135
3585.03/3597.02 v -x140 x101 x106 x111 x116 x121 x126 x131 x136 x141 -x98 x103 x108 -x113 x118 -x123 -x128 -x133 x138 -x143 x99 x104 x109 x114 x119
3585.03/3597.02 v x124 x129 x134 x139 x144 -x146 -x151 -x156 -x161 -x166 -x171 -x176 -x181 -x186 x147 x152 x157 x162 x167 x172 x177 x182 x187 -x148
3585.03/3597.02 v -x153 -x158 -x163 -x168 -x173 -x178 -x183 -x188 x145 x150 x155 x160 x165 x170 x175 x180 x185 x190 x191 x196 x201 x206 x211 x216
3585.03/3597.02 v x221 x226 x231 -x192 -x197 -x202 -x207 -x212 -x217 -x222 -x227 -x232 x193 x198 x203 x208 x213 x218 x223 x228 x233 -x194 -x199 x204
3585.03/3597.02 v -x209 x214 x219 x224 -x229 x234 x236 x241 x246 x251 x256 x261 x266 x271 x276 -x237 -x242 -x247 -x252 -x257 -x262 -x267 -x272 -x277
3585.03/3597.02 v x238 x243 -x248 x253 -x258 -x263 -x268 x273 -x278 x239 x244 x249 x254 x259 x264 x269 x274 x279 x283 x288 x293 x298 x303 x308 x313
3585.03/3597.02 v x318 x280 x285 x290 x295 x300 x305 x310 x315 x320 -x281 -x286 x291 -x296 x301 x306 x311 -x316 x321 -x282 -x287 -x292 -x297 -x302
3585.03/3597.02 v -x307 -x312 -x317 -x322 -x325 -x330 -x335 -x340 -x345 -x350 -x355 -x360 x326 x331 x336 x341 x346 x351 x356 x361 x323 x328 -x333
3585.03/3597.02 v x338 -x343 -x348 -x353 x358 -x363 x324 x329 x334 x339 x344 x349 x354 x359 x364 x366 x371 x376 x381 x386 x391 x396 x401 -x367 -x372
3585.03/3597.02 v -x377 -x382 -x387 -x392 -x397 -x402 x368 x373 x378 x383 x388 x393 x398 x403 -x365 -x370 -x375 -x380 -x385 -x390 -x395 -x400 -x405
3585.03/3597.02 v x406 x411 x416 x421 x426 x431 x436 x441 -x407 -x412 -x417 -x422 -x427 -x432 -x437 -x442 x408 x413 x418 x423 x428 x433 x438 x443
3585.03/3597.02 v -x409 x414 -x419 x424 x429 x434 -x439 x444 x446 x451 x456 x461 x466 x471 x476 x481 -x447 -x452 -x457 -x462 -x467 -x472 -x477 -x482
3585.03/3597.02 v x448 -x453 x458 -x463 -x468 -x473 x478 -x483 x449 x454 x459 x464 x469 x474 x479 x484 x488 x493 x498 x503 x508 x513 x518 x485 x490
3585.03/3597.02 v x495 x500 x505 x510 x515 x520 -x486 x491 -x496 x501 x506 x511 -x516 x521 -x487 -x492 -x497 -x502 -x507 -x512 -x517 -x522 -x525 -x530
3585.03/3597.02 v -x535 -x540 -x545 -x550 -x555 x526 x531 x536 x541 x546 x551 x556 x523 -x528 x533 -x538 -x543 -x548 x553 -x558 x524 x529 x534 x539
3585.03/3597.02 v x544 x549 x554 x559 x561 x566 x571 x576 x581 x586 x591 -x562 -x567 -x572 -x577 -x582 -x587 -x592 x563 x568 x573 x578 x583 x588 x593
3585.03/3597.02 v -x560 -x565 -x570 -x575 -x580 -x585 -x590 -x595 x596 x601 x606 x611 x616 x621 x626 -x597 -x602 -x607 -x612 -x617 -x622 -x627 x598
3585.03/3597.02 v x603 x608 x613 x618 x623 x628 x599 -x604 x609 x614 x619 -x624 x629 x631 x636 x641 x646 x651 x656 x661 -x632 -x637 -x642 -x647 -x652
3585.03/3597.02 v -x657 -x662 -x633 x638 -x643 -x648 -x653 x658 -x663 x634 x639 x644 x649 x654 x659 x664 x668 x673 x678 x683 x688 x693 x665 x670 x675
3585.03/3597.02 v x680 x685 x690 x695 x666 -x671 x676 x681 x686 -x691 x696 -x667 -x672 -x677 -x682 -x687 -x692 -x697 -x700 -x705 -x710 -x715 -x720
3585.03/3597.02 v -x725 x701 x706 x711 x716 x721 x726 -x698 x703 -x708 -x713 -x718 x723 -x728 x699 x704 x709 x714 x719 x724 x729 -x731 -x736 -x741
3585.03/3597.02 v -x746 -x751 -x756 x732 x737 x742 x747 x752 x757 -x733 -x738 -x743 -x748 -x753 -x758 x730 x735 x740 x745 x750 x755 x760 x761 x766
3585.03/3597.02 v x771 x776 x781 x786 -x762 -x767 -x772 -x777 -x782 -x787 x763 x768 x773 x778 x783 x788 -x764 x769 x774 x779 -x784 x789 x791 x796
3585.03/3597.02 v x801 x806 x811 x816 -x792 -x797 -x802 -x807 -x812 -x817 x793 -x798 -x803 -x808 x813 -x818 x794 x799 x804 x809 x814 x819 x823 x828
3585.03/3597.02 v x833 x838 x843 x820 x825 x830 x835 x840 x845 -x821 x826 x831 x836 -x841 x846 -x822 -x827 -x832 -x837 -x842 -x847 -x850 -x855 -x860
3585.03/3597.02 v -x865 -x870 x851 x856 x861 x866 x871 x848 -x853 -x858 -x863 x868 -x873 x849 x854 x859 x864 x869 x874 x876 x881 x886 x891 x896 -x877
3585.03/3597.02 v -x882 -x887 -x892 -x897 x878 x883 x888 x893 x898 -x875 -x880 -x885 -x890 -x895 -x900 x901 x906 x911 x916 x921 -x902 -x907 -x912
3585.03/3597.02 v -x917 -x922 x903 x908 x913 x918 x923 x904 x909 x914 -x919 x924 x926 x931 x936 x941 x946 -x927 -x932 -x937 -x942 -x947 -x928 -x933
3585.03/3597.02 v -x938 x943 -x948 x929 x934 x939 x944 x949 x953 x958 x963 x968 x950 x955 x960 x965 x970 x951 x956 x961 -x966 x971 -x952 -x957 -x962
3585.03/3597.02 v -x967 -x972 -x975 -x980 -x985 -x990 x976 x981 x986 x991 -x973 -x978 -x983 x988 -x993 x974 x979 x984 x989 x994 -x996 -x1001 -x1006
3585.03/3597.02 v -x1011 x997 x1002 x1007 x1012 -x998 -x1003 -x1008 -x1013 x995 x1000 x1005 x1010 x1015 x1016 x1021 x1026 x1031 -x1017 -x1022 -x1027
3585.03/3597.02 v -x1032 x1018 x1023 x1028 x1033 x1019 x1024 -x1029 x1034 x1036 x1041 x1046 x1051 -x1037 -x1042 -x1047 -x1052 -x1038 -x1043 x1048
3585.03/3597.02 v -x1053 x1039 x1044 x1049 x1054 x1058 x1063 x1068 x1055 x1060 x1065 x1070 x1056 x1061 -x1066 x1071 -x1057 -x1062 -x1067 -x1072 -x1075
3585.03/3597.02 v -x1080 -x1085 x1076 x1081 x1086 -x1073 -x1078 x1083 -x1088 x1074 x1079 x1084 x1089 -x1091 -x1096 -x1101 x1092 x1097 x1102 -x1093
3585.03/3597.02 v -x1098 -x1103 x1090 x1095 x1100 x1105 x1106 x1111 x1116 -x1107 -x1112 -x1117 x1108 x1113 x1118 x1109 -x1114 x1119 x1121 x1126 x1131
3585.03/3597.02 v -x1122 -x1127 -x1132 -x1123 x1128 -x1133 x1124 x1129 x1134 x1138 x1143 x1135 x1140 x1145 x1136 -x1141 x1146 -x1137 -x1142 -x1147
3585.03/3597.02 v -x1150 -x1155 x1151 x1156 -x1148 x1153 -x1158 x1149 x1154 x1159 -x1161 -x1166 x1162 x1167 -x1163 -x1168 x1160 x1165 x1170 x1171
3585.03/3597.02 v x1176 -x1172 -x1177 x1173 x1178 -x1174 x1179 x1181 x1186 -x1182 -x1187 x1183 -x1188 x1184 x1189 x1193 x1190 x1195 -x1191 x1196 -x1192
3585.03/3597.02 v -x1197 -x1200 x1201 x1198 -x1203 x1199 x1204 x1206 -x1207 x1208 -x1205 -x1210 x1211 -x1212 x1213 x1214 x1216 -x1217 -x1218 x1219
3585.03/3597.02 v x1220 x1221 -x1222 -x1223 x1224 x1225 -x5 -x54 -x10 -x59 -x15 -x64 -x20 -x69 -x25 -x74 -x30 -x79 -x35 -x84 -x40 -x89 -x45 -x94 -x102
3585.03/3597.02 v -x107 -x112 -x117 -x122 -x127 -x132 -x137 -x142 x149 x154 -x159 x164 -x169 -x174 -x179 x184 -x189 -x195 -x200 -x205 -x210 -x215
3585.03/3597.02 v -x220 -x225 -x230 -x235 -x240 -x245 -x250 -x255 -x260 -x265 -x270 -x275 -x284 -x289 -x294 -x299 -x304 -x309 -x314 -x319 -x327 -x332
3585.03/3597.02 v -x337 -x342 -x347 -x352 -x357 -x362 -x369 x374 -x379 x384 x389 x394 -x399 x404 -x410 -x415 -x420 -x425 -x430 -x435 -x440 -x445 -x450
3585.03/3597.02 v -x455 -x460 -x465 -x470 -x475 -x480 -x489 -x494 -x499 -x504 -x509 -x514 -x519 -x527 -x532 -x537 -x542 -x547 -x552 -x557 x564 -x569
3585.03/3597.02 v x574 x579 x584 -x589 x594 -x600 -x605 -x610 -x615 -x620 -x625 -x630 -x635 -x640 -x645 -x650 -x655 -x660 -x669 -x674 -x679 -x684
3585.03/3597.02 v -x689 -x694 -x702 -x707 -x712 -x717 -x722 -x727 x734 -x739 -x744 -x749 x754 -x759 -x765 -x770 -x775 -x780 -x785 -x790 -x795 -x800
3585.03/3597.02 v -x805 -x810 -x815 -x824 -x829 -x834 -x839 -x844 -x852 -x857 -x862 -x867 -x872 x879 x884 x889 -x894 x899 -x905 -x910 -x915 -x920
3585.03/3597.02 v -x925 -x930 -x935 -x940 -x945 -x954 -x959 -x964 -x969 -x977 -x982 -x987 -x992 -x999 -x1004 x1009 -x1014 -x1020 -x1025 -x1030 -x1035
3585.03/3597.02 v -x1040 -x1045 -x1050 -x1059 -x1064 -x1069 -x1077 -x1082 -x1087 -x1094 x1099 -x1104 -x1110 -x1115 -x1120 -x1125 -x1130 -x1139 -x1144
3585.03/3597.02 v -x1152 -x1157 x1164 -x1169 -x1175 -x1180 -x1185 -x1194 -x1202 x1209 -x1215
3585.03/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3585.03/3597.02 c Total Time : 3597.00
3585.03/3597.02 c solving : 3597.00
3585.03/3597.02 c presolving : 3.35 (included in solving)
3585.03/3597.02 c reading : 0.20 (included in solving)
3585.03/3597.02 c copying : 0.09 (1 #copies) (minimal 0.09, maximal 0.09, average 0.09)
3585.03/3597.02 c Original Problem :
3585.03/3597.02 c Problem name : HOME/instance-4521273-1751556599.opb
3585.03/3597.02 c Variables : 1225 (1225 binary, 0 integer, 0 continuous)
3585.03/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.03/3597.02 c Constraints : 78400 initial, 78400 maximal
3585.03/3597.02 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3585.03/3597.02 c Presolved Problem :
3585.03/3597.02 c Problem name : t_HOME/instance-4521273-1751556599.opb
3585.03/3597.02 c Variables : 1225 (1225 binary, 0 integer, 0 continuous)
3585.03/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.03/3597.02 c Constraints : 78400 initial, 78549 maximal
3585.03/3597.02 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3585.03/3597.02 c Nonzeros : 235200 constraint, 0 clique table
3585.03/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.03/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c domcol : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c dualsparsify : 0.71 0.00 1 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c milp : 0.17 0.00 1 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c sparsify : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c symmetry : 1.76 0.00 1 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c linear : 0.26 0.03 2 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c logicor : 0.25 0.02 3 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c root node : - - - 1 - - 1 - - - - -
3585.03/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.03/3597.02 c integral : 0 0 0 0 211 0 0 23 0 0 252 0 0 86 402
3585.03/3597.02 c knapsack : 0+ 1 0 2343 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c linear : 0+ 52 0 4172 0 0 0 3 3 5 0 0 0 0 0
3585.03/3597.02 c logicor : 78400+ 78496 11 6607 1 0 0 17 1872 17 5646 0 0 0 0
3585.03/3597.02 c fixedvar : 0 0 0 0 1 0 0 8 0 0 0 0 0 0 0
3585.03/3597.02 c countsols : 0 0 0 0 1 0 0 8 0 0 0 0 0 0 0
3585.03/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.03/3597.02 c integral : 1193.15 0.00 0.00 0.00 1193.15 0.00 0.00 0.00 0.00 0.00
3585.03/3597.02 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.03/3597.02 c linear : 0.04 0.03 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
3585.03/3597.02 c logicor : 1.60 0.02 0.24 0.87 0.01 0.00 0.00 0.03 0.00 0.43
3585.03/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.03/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.03/3597.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.03/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.03/3597.02 c dualfix : 2 0 0 0
3585.03/3597.02 c genvbounds : 0 0 0 0
3585.03/3597.02 c nlobbt : 0 0 0 0
3585.03/3597.02 c obbt : 0 0 0 0
3585.03/3597.02 c probing : 0 0 0 0
3585.03/3597.02 c pseudoobj : 1127 0 1 0
3585.03/3597.02 c redcost : 14 0 0 0
3585.03/3597.02 c rootredcost : 0 0 0 0
3585.03/3597.02 c symmetry : 5771 0 1 6258
3585.03/3597.02 c vbounds : 0 0 0 0
3585.03/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.03/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.03/3597.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.03/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.03/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.03/3597.02 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3585.03/3597.02 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3585.03/3597.02 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.03/3597.02 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.03/3597.02 c symmetry : 2.06 0.00 1.76 0.20 0.00 0.09
3585.03/3597.02 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.03/3597.02 c Symmetry :
3585.03/3597.02 c #affected vars : 1225 (1225 bin, 0 int, 0 cont)
3585.03/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.03/3597.02 c orbital reduction: 6251 reductions applied, 0 cutoffs
3585.03/3597.02 c lexicographic red: 79 reductions applied, 1 cutoffs
3585.03/3597.02 c shadow tree time : 0.00 s
3585.03/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.03/3597.02 c propagation : 0.00 18 12 - 48 59.4 0 0.0 - - -
3585.03/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.03/3597.02 c bound exceed. LP : 0.54 57 53 - 148 72.9 0 0.0 53 120.3 360
3585.03/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.03/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.03/3597.02 c applied globally : 0.00 - - 0 113 65.9 - - 53 - -
3585.03/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.03/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.03/3597.02 c cut pool : 0.83 - 210 20 - - 6762 9276 - - - - - (maximal pool size: 5510)
3585.03/3597.02 c aggregation : 2.14 0.00 106 11 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.03/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.03/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.03/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c gomory : 4.85 0.00 105 10 0 0 6762 9276 0 106 106 0 0
3585.03/3597.02 c > gomorymi : - - - - - - - 5126 0 43 43 0 -
3585.03/3597.02 c > strongcg : - - - - - - - 4150 0 63 63 0 -
3585.03/3597.02 c impliedbounds : 0.00 0.00 106 11 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c mcf : 0.03 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c multilinear : 0.00 0.00 20 11 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c zerohalf : 7.40 0.00 106 11 0 0 0 0 0 0 0 0 0
3585.03/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.03/3597.02 c hybrid : 0.12 0.00 106 11 106 0 9170 11 0 3006
3585.03/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3585.03/3597.02 c problem variables: 0.00 - 0 0
3585.03/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.03/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c relpscost : 1193.15 0.00 210 0 0 0 252 0 86 402
3585.03/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.03/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.03/3597.02 c LP solutions : 0.00 - - 1 1
3585.03/3597.02 c relax solutions : 0.00 - - 0 0
3585.03/3597.02 c pseudo solutions : 0.00 - - 0 0
3585.03/3597.02 c strong branching : 0.00 - - 0 0
3585.03/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3585.03/3597.02 c adaptivediving : 34.86 0.00 4 0 0
3585.03/3597.02 c alns : 0.26 0.00 1 0 0
3585.03/3597.02 c bound : 0.00 0.00 0 0 0
3585.03/3597.02 c clique : 0.00 0.00 0 0 0
3585.03/3597.02 c coefdiving : 0.00 0.00 0 0 0
3585.03/3597.02 c completesol : 0.00 0.00 0 0 0
3585.03/3597.02 c conflictdiving : 40.30 0.00 3 0 0
3585.03/3597.02 c crossover : 0.00 0.00 0 0 0
3585.03/3597.02 c dins : 0.00 0.00 0 0 0
3585.03/3597.02 c distributiondivin: 14.50 0.00 2 0 0
3585.03/3597.02 c dks : 0.00 0.00 0 0 0
3585.03/3597.02 c dps : 0.00 0.00 0 0 0
3585.03/3597.02 c dualval : 0.00 0.00 0 0 0
3585.03/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3585.03/3597.02 c feaspump : 14.23 0.00 1 0 0
3585.03/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3585.03/3597.02 c fracdiving : 29.45 0.00 2 0 0
3585.03/3597.02 c gins : 0.01 0.00 0 0 0
3585.03/3597.02 c guideddiving : 25.63 0.00 3 0 0
3585.03/3597.02 c indicator : 0.00 0.00 0 0 0
3585.03/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3585.03/3597.02 c intdiving : 0.00 0.00 0 0 0
3585.03/3597.02 c intshifting : 0.00 0.00 0 0 0
3585.03/3597.02 c linesearchdiving : 20.16 0.00 2 0 0
3585.03/3597.02 c localbranching : 0.00 0.00 0 0 0
3585.03/3597.02 c locks : 0.16 0.00 1 1 1
3585.03/3597.02 c lpface : 0.00 0.00 0 0 0
3585.03/3597.02 c mpec : 0.00 0.00 0 0 0
3585.03/3597.02 c multistart : 0.00 0.00 0 0 0
3585.03/3597.02 c mutation : 0.00 0.00 0 0 0
3585.03/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3585.03/3597.02 c objpscostdiving : 51.78 0.00 2 0 0
3585.03/3597.02 c octane : 0.00 0.00 0 0 0
3585.03/3597.02 c ofins : 0.00 0.00 0 0 0
3585.03/3597.02 c oneopt : 0.02 0.00 3 0 0
3585.03/3597.02 c padm : 0.00 0.00 0 0 0
3585.03/3597.02 c proximity : 0.00 0.00 0 0 0
3585.03/3597.02 c pscostdiving : 13.13 0.00 2 1 1
3585.03/3597.02 c randrounding : 0.57 0.00 12 0 0
3585.03/3597.02 c rens : 0.00 0.00 0 0 0
3585.03/3597.02 c reoptsols : 0.00 0.00 0 0 0
3585.03/3597.02 c repair : 0.00 0.00 0 0 0
3585.03/3597.02 c rins : 0.00 0.00 0 0 0
3585.03/3597.02 c rootsoldiving : 163.81 0.00 2 1 0
3585.03/3597.02 c rounding : 2.00 0.00 194 0 0
3585.03/3597.02 c scheduler : 0.00 0.00 0 0 0
3585.03/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3585.03/3597.02 c shifting : 2.75 0.00 143 1 0
3585.03/3597.02 c simplerounding : 0.00 0.00 0 0 0
3585.03/3597.02 c subnlp : 0.00 0.00 0 0 0
3585.03/3597.02 c trivial : 0.01 0.00 2 1 1
3585.03/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3585.03/3597.02 c trustregion : 0.00 0.00 0 0 0
3585.03/3597.02 c trysol : 0.00 0.00 0 0 0
3585.03/3597.02 c twoopt : 0.00 0.00 0 0 0
3585.03/3597.02 c undercover : 0.00 0.00 0 0 0
3585.03/3597.02 c vbounds : 0.00 0.00 0 0 0
3585.03/3597.02 c veclendiving : 33.11 0.00 2 0 0
3585.03/3597.02 c zeroobj : 0.00 0.00 0 0 0
3585.03/3597.02 c zirounding : 1.25 0.00 201 0 0
3585.03/3597.02 c other solutions : - - - 0 -
3585.03/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.03/3597.02 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
3585.03/3597.02 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
3585.03/3597.02 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
3585.03/3597.02 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
3585.03/3597.02 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
3585.03/3597.02 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
3585.03/3597.02 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
3585.03/3597.02 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
3585.03/3597.02 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
3585.03/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.03/3597.02 c primal LP : 0.21 23 0 0.00 0.00 0.21 23
3585.03/3597.02 c dual LP : 1933.17 458 1914598 4180.34 990.40 0.00 0
3585.03/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3585.03/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.03/3597.02 c resolve instable : 0.00 0 0 0.00 -
3585.03/3597.02 c diving/probing LP: 448.77 141 360653 2557.82 803.65
3585.03/3597.02 c strong branching : 1178.34 1184 1077845 910.34 914.72 - - 2170
3585.03/3597.02 c (at root node) : - 21 20009 952.81 -
3585.03/3597.02 c conflict analysis: 0.47 36 360 10.00 771.40
3585.03/3597.02 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3585.03/3597.02 c benders : 0.00 0 0 0 0.00 0 0 0
3585.03/3597.02 c B&B Tree :
3585.03/3597.02 c number of runs : 1
3585.03/3597.02 c nodes : 348 (201 internal, 147 leaves)
3585.03/3597.02 c feasible leaves : 1
3585.03/3597.02 c infeas. leaves : 5
3585.03/3597.02 c objective leaves : 140
3585.03/3597.02 c nodes (total) : 348 (201 internal, 147 leaves)
3585.03/3597.02 c nodes left : 53
3585.03/3597.02 c max depth : 15
3585.03/3597.02 c max depth (total): 15
3585.03/3597.02 c backtracks : 124 (35.6%)
3585.03/3597.02 c early backtracks : 0 (0.0%)
3585.03/3597.02 c nodes exc. ref. : 0 (0.0%)
3585.03/3597.02 c delayed cutoffs : 0
3585.03/3597.02 c repropagations : 1 (4 domain reductions, 0 cutoffs)
3585.03/3597.02 c avg switch length: 3.42
3585.03/3597.02 c switching time : 0.45
3585.03/3597.02 c Root Node :
3585.03/3597.02 c First LP value : -6.66666666666667e+02
3585.03/3597.02 c First LP Iters : 12310 (856.24 Iter/sec)
3585.03/3597.02 c First LP Time : 14.38
3585.03/3597.02 c Final Dual Bound : -6.66268640259116e+02
3585.03/3597.02 c Final Root Iters : 12463
3585.03/3597.02 c Root LP Estimate : -2.11597052390527e+02
3585.03/3597.02 c Solution :
3585.03/3597.02 c Solutions found : 6 (4 improvements)
3585.03/3597.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.32 seconds, depth 0, found by <trivial>)
3585.03/3597.02 c Gap First Sol. : infinite
3585.03/3597.02 c Gap Last Sol. : 9.89 %
3585.03/3597.02 c Primal Bound : -6.00000000000000e+02 (in run 1, after 348 nodes, 3597.00 seconds, depth 10, found by <relaxation>)
3585.03/3597.02 c Dual Bound : -6.30666666666667e+02
3585.03/3597.02 c Gap : 5.11 %
3585.03/3597.02 c Integrals : Total Avg%
3585.03/3597.02 c primal-dual : 26977.62 7.50
3585.03/3597.02 c primal-ref : - - (not evaluated)
3585.03/3597.02 c dual-ref : - - (not evaluated)
3585.32/3597.38 c Time complete (sec): 3585.404
OK -600
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: 63837 MiB (57492 MiB free)
memory of node 1: 64465 MiB (60580 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521273-1751556599/watcher-4521273-1751556599 -o /tmp/evaluation-result-4521273-1751556599/solver-4521273-1751556599 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751547548-78153 --watchdog 3760 pbsolver -f HOME/instance-4521273-1751556599.opb -t 3600 -m 31000
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
Current StackSize limit: 8192 KiB
solver pid=80935, runsolver pid=80932
[startup+0.100071 s]*
/proc/loadavg: 4.45 4.30 4.21 5/250 80936
/proc/meminfo: memFree=120903452/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=37064 memory=26880 CPUtime=0.1 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 4795 0 0 0 9 1 0 0 20 0 1 0 71339314 37953536 6720 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 9266 6720 2176 2575 0 6173 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37064 KiB
Current children cumulated memory: 26880 KiB
[startup+0.213085 s]*
/proc/loadavg: 4.45 4.30 4.21 5/250 80936
/proc/meminfo: memFree=120871448/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=75220 memory=65796 CPUtime=0.21 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 14709 0 0 0 19 2 0 0 20 0 1 0 71339314 77025280 16449 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 18805 16449 2368 2575 0 15712 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 65796 KiB
[startup+0.31313 s]*
/proc/loadavg: 4.45 4.30 4.21 5/250 80936
/proc/meminfo: memFree=120815504/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=135012 memory=123752 CPUtime=0.31 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 29690 0 0 0 26 5 0 0 20 0 1 0 71339314 138252288 30938 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 33753 30938 2400 2575 0 30660 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 135012 KiB
Current children cumulated memory: 123752 KiB
[startup+0.700321 s]
/proc/loadavg: 4.45 4.30 4.21 5/250 80936
/proc/meminfo: memFree=120759052/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=168264 memory=156320 CPUtime=0.68 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 46455 0 0 0 60 8 0 0 20 0 1 0 71339314 172302336 39080 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 42066 39080 2496 2575 0 38973 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 168264 KiB
Current children cumulated memory: 156320 KiB
[startup+1.50033 s]
/proc/loadavg: 4.45 4.30 4.21 5/250 80936
/proc/meminfo: memFree=120735364/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=335000 memory=304492 CPUtime=1.49 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 59219 0 0 0 136 13 0 0 20 0 1 0 71339314 343040000 76123 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 83750 76123 2560 2575 0 80657 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 335000 KiB
Current children cumulated memory: 304492 KiB
[startup+3.11284 s]
/proc/loadavg: 4.45 4.30 4.21 5/250 80936
/proc/meminfo: memFree=120494984/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=464180 memory=426268 CPUtime=3.09 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 75882 0 0 0 293 16 0 0 20 0 1 0 71339314 475320320 106567 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 116045 106567 2560 2575 0 112952 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 464180 KiB
Current children cumulated memory: 426268 KiB
[startup+6.30031 s]
/proc/loadavg: 4.42 4.29 4.21 5/249 80936
/proc/meminfo: memFree=120455292/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=485168 memory=453828 CPUtime=6.26 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 83202 0 0 0 609 17 0 0 20 0 1 0 71339314 496812032 113457 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 121292 113457 2656 2575 0 118199 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 485168 KiB
Current children cumulated memory: 453828 KiB
[startup+12.7003 s]
/proc/loadavg: 4.38 4.29 4.21 5/249 80937
/proc/meminfo: memFree=120446772/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=485580 memory=454084 CPUtime=12.65 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 83274 0 0 0 1247 18 0 0 20 0 1 0 71339314 497233920 113521 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 121395 113521 2656 2575 0 118302 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 485580 KiB
Current children cumulated memory: 454084 KiB
[startup+25.5003 s]
/proc/loadavg: 4.37 4.29 4.21 5/249 80937
/proc/meminfo: memFree=120262008/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=768480 memory=649760 CPUtime=25.39 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 131145 0 0 0 2513 26 0 0 20 0 1 0 71339314 786923520 162440 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 192120 162440 2688 2575 0 189027 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 768480 KiB
Current children cumulated memory: 649760 KiB
[startup+51.1129 s]
/proc/loadavg: 4.24 4.26 4.20 5/249 80938
/proc/meminfo: memFree=120262504/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=768480 memory=649760 CPUtime=50.92 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 131221 0 0 0 5065 27 0 0 20 0 1 0 71339314 786923520 162440 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 192120 162440 2688 2575 0 189027 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 768480 KiB
Current children cumulated memory: 649760 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.24 4.19 5/249 80940
/proc/meminfo: memFree=120185952/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=853436 memory=733600 CPUtime=101.92 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 152272 0 0 0 10161 31 0 0 20 0 1 0 71339314 873918464 183400 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 213359 183400 2688 2575 0 210266 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 853436 KiB
Current children cumulated memory: 733600 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.21 4.18 5/250 80945
/proc/meminfo: memFree=120185512/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=853436 memory=733600 CPUtime=161.71 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 152272 0 0 0 16140 31 0 0 20 0 1 0 71339314 873918464 183400 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 213359 183400 2688 2575 0 210266 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 853436 KiB
Current children cumulated memory: 733600 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.18 4.17 5/251 80948
/proc/meminfo: memFree=120169452/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=853436 memory=733600 CPUtime=221.49 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 152280 0 0 0 22118 31 0 0 20 0 1 0 71339314 873918464 183400 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 213359 183400 2688 2575 0 210266 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 853436 KiB
Current children cumulated memory: 733600 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/251 80950
/proc/meminfo: memFree=120173920/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=853436 memory=733600 CPUtime=281.28 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 152280 0 0 0 28096 32 0 0 20 0 1 0 71339314 873918464 183400 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 213359 183400 2688 2575 0 210266 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 853436 KiB
Current children cumulated memory: 733600 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.14 4.16 5/251 80956
/proc/meminfo: memFree=120163884/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=853436 memory=733984 CPUtime=341.07 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 152400 0 0 0 34075 32 0 0 20 0 1 0 71339314 873918464 183496 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 213359 183496 2688 2575 0 210266 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 853436 KiB
Current children cumulated memory: 733984 KiB
[startup+402.3 s]
/proc/loadavg: 4.74 4.32 4.22 5/251 80958
/proc/meminfo: memFree=120161652/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=853436 memory=733984 CPUtime=400.86 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 152400 0 0 0 40054 32 0 0 20 0 1 0 71339314 873918464 183496 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 213359 183496 2688 2575 0 210266 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 853436 KiB
Current children cumulated memory: 733984 KiB
[startup+462.3 s]
/proc/loadavg: 4.40 4.30 4.22 5/251 80960
/proc/meminfo: memFree=120165488/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=853436 memory=733984 CPUtime=460.64 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 152400 0 0 0 46032 32 0 0 20 0 1 0 71339314 873918464 183496 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 213359 183496 2688 2575 0 210266 0
Current children cumulated CPU time: 460.64 s
################
# More data... #
################
/proc/loadavg: 1.10 1.14 1.81 2/231 81190
/proc/meminfo: memFree=125548860/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3211.48 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206071 0 0 0 321094 54 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3211.48 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 1.13 1.76 2/232 81193
/proc/meminfo: memFree=125548940/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3271.29 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206172 0 0 0 327075 54 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3271.29 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
[startup+3342.3 s]
/proc/loadavg: 1.13 1.13 1.72 2/232 81195
/proc/meminfo: memFree=125549416/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3331.11 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206389 0 0 0 333057 54 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3331.11 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
[startup+3402.3 s]
/proc/loadavg: 1.04 1.11 1.67 2/233 81202
/proc/meminfo: memFree=125549668/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3390.92 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206518 0 0 0 339038 54 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3390.92 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 1.12 1.64 2/233 81204
/proc/meminfo: memFree=125549748/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3450.74 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206730 0 0 0 345019 55 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3450.74 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
[startup+3522.3 s]
/proc/loadavg: 1.10 1.11 1.60 2/233 81206
/proc/meminfo: memFree=125549748/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3510.55 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206735 0 0 0 351000 55 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3510.55 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.10 1.57 2/232 81208
/proc/meminfo: memFree=125550000/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3570.36 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206736 0 0 0 356981 55 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3570.36 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
[startup+3597.38 s]
# the end of solver process 80935 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.84 s, system=0.57109 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.08 1.10 1.57 2/232 81208
/proc/meminfo: memFree=125550000/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3572.07 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206736 0 0 0 357152 55 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3572.07 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
[startup+3590.4 s]
/proc/loadavg: 1.07 1.10 1.56 2/232 81208
/proc/meminfo: memFree=125550000/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3578.44 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206736 0 0 0 357789 55 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3578.44 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
[startup+3593.6 s]
/proc/loadavg: 1.07 1.10 1.56 2/232 81208
/proc/meminfo: memFree=125550000/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3581.62 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206736 0 0 0 358107 55 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3581.62 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
[startup+3595.2 s]
/proc/loadavg: 1.07 1.10 1.56 2/232 81208
/proc/meminfo: memFree=125550000/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3583.23 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206736 0 0 0 358267 56 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3583.23 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
[startup+3596 s]*
/proc/loadavg: 1.06 1.10 1.56 2/232 81208
/proc/meminfo: memFree=125550000/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3584.04 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206736 0 0 0 358348 56 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3584.04 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
[startup+3596.8 s]
/proc/loadavg: 1.06 1.10 1.56 2/232 81208
/proc/meminfo: memFree=125550000/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3584.82 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206736 0 0 0 358426 56 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3584.82 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
[startup+3597.2 s]
/proc/loadavg: 1.06 1.10 1.56 2/232 81208
/proc/meminfo: memFree=125550000/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3585.22 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206774 0 0 0 358466 56 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3585.22 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
[startup+3597.3 s]
/proc/loadavg: 1.06 1.10 1.56 2/232 81208
/proc/meminfo: memFree=125550000/131382116 swapFree=33009904/33010684
[pid=80935] ppid=80932 vsize=1067768 memory=982816 CPUtime=3585.32 cores=1,3
/proc/80935/stat : 80935 (pbsolver) R 80932 80935 78141 0 -1 4194304 206775 0 0 0 358476 56 0 0 20 0 1 0 71339314 1093394432 245704 18446744073709551615 4198400 14743177 140727580494992 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30478336 140727580498314 140727580498410 140727580498410 140727580504012 0
/proc/80935/statm: 266942 245704 2688 2575 0 263849 0
Current children cumulated CPU time: 3585.32 s
Current children cumulated vsize: 1067768 KiB
Current children cumulated memory: 982816 KiB
Child status: 0
Real time (s): 3597.38
CPU time (s): 3585.41
CPU user time (s): 3584.84
CPU system time (s): 0.57109
CPU usage (%): 99.6672
Max. virtual memory (cumulated for all children) (KiB): 1067768
Max. memory (cumulated for all children) (KiB): 982816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.84
system time used= 0.57109
maximum resident set size= 982816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206803
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= 33
involuntary context switches= 18583
# summary of solver processes directly reported to runsolver:
# pid: 80935
# total CPU time (s): 3585.41
# total CPU user time (s): 3584.84
# total CPU system time (s): 0.57109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.941 second user time and 33.9516 second system time
The end
Begin job on nodeC010 at 2025-07-03 17:29:59 IDJOB=4521273 IDBENCH=178251 IDSOLVER=3366 FILE ID=nodeC010/4521273-1751556599 RUNJOBID= nodeC010-1751547548-78153 SLURM_JOB_ID= 9598719 Free space on /tmp= 429920 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521273-1751556599/watcher-4521273-1751556599 -o /tmp/evaluation-result-4521273-1751556599/solver-4521273-1751556599 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751547548-78153 --watchdog 3760 pbsolver -f HOME/instance-4521273-1751556599.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 68c73bc206439bbe0d5a467b2a25edac RANDOM SEED=2095071501 nodeC010 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 : 0xb00001f cpu MHz : 3691.207 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 3491.804 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.147 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 3691.185 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 3664.286 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.360 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.944 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 120907548 kB MemAvailable: 124284752 kB Buffers: 2128 kB Cached: 4175936 kB SwapCached: 24 kB Active: 6262940 kB Inactive: 3589984 kB Active(anon): 5686460 kB Inactive(anon): 6336 kB Active(file): 576480 kB Inactive(file): 3583648 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 17396 kB Writeback: 4 kB AnonPages: 5673808 kB Mapped: 136560 kB Shmem: 17936 kB KReclaimable: 113408 kB Slab: 197988 kB SReclaimable: 113408 kB SUnreclaim: 84580 kB KernelStack: 4048 kB PageTables: 14332 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 6423876 kB VmallocTotal: 34359738367 kB VmallocUsed: 149416 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1701888 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: 205640 kB DirectMap2M: 12279808 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 429980 MiB End job on nodeC010 at 2025-07-03 18:29:57