| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3587.55 | 3597.07 |
| Name | PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j605_7-sat.opb |
| MD5SUM | 0cdbb1fc299265025d38c8df62ac854d |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1.43976 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9272 |
| Total number of constraints | 29130 |
| Number of constraints which are clauses | 28830 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 300 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 32 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-4501769-1751153513.opb>
0.00/0.05 c original problem has 9272 variables (9272 bin, 0 int, 0 cont) and 29130 constraints
0.00/0.05 c problem read in 0.055 seconds
0.00/0.05 c problem without objective
0.10/0.10 c presolving:
0.10/0.17 c (round 1, fast) 4974 del vars, 5652 del conss, 0 add conss, 1375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 10642 clqs
0.10/0.20 c (round 2, fast) 8302 del vars, 17823 del conss, 0 add conss, 1375 chg bounds, 16 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 10376 clqs
0.20/0.21 c (round 3, fast) 8302 del vars, 18259 del conss, 0 add conss, 1375 chg bounds, 16 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 10619 clqs
0.20/0.22 c (0.2s) running MILP presolver
0.40/0.48 c (0.5s) MILP presolver (14 rounds): 77 aggregations, 116 fixings, 0 bound changes
0.40/0.48 c (round 4, medium) 8495 del vars, 18259 del conss, 0 add conss, 1375 chg bounds, 16 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 9534 clqs
0.40/0.49 c (round 5, fast) 8500 del vars, 19213 del conss, 0 add conss, 1375 chg bounds, 16 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 9539 clqs
0.50/0.51 c (round 6, exhaustive) 8500 del vars, 19218 del conss, 0 add conss, 1375 chg bounds, 16 chg sides, 10 chg coeffs, 9912 upgd conss, 0 impls, 9543 clqs
0.50/0.52 c (round 7, medium) 8500 del vars, 19218 del conss, 7 add conss, 1375 chg bounds, 29 chg sides, 44 chg coeffs, 9912 upgd conss, 0 impls, 9560 clqs
0.50/0.54 c (round 8, exhaustive) 8500 del vars, 24437 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9560 clqs
0.50/0.54 c (round 9, fast) 8502 del vars, 24447 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9679 clqs
0.50/0.54 c (round 10, fast) 8505 del vars, 24490 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9634 clqs
0.50/0.54 c (round 11, fast) 8507 del vars, 24530 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9592 clqs
0.50/0.54 c (round 12, fast) 8509 del vars, 24567 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9556 clqs
0.50/0.55 c (round 13, fast) 8511 del vars, 24597 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9522 clqs
0.50/0.55 c (round 14, fast) 8513 del vars, 24628 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9490 clqs
0.50/0.55 c (round 15, fast) 8515 del vars, 24656 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9461 clqs
0.50/0.55 c (round 16, fast) 8516 del vars, 24679 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9460 clqs
0.50/0.55 c (round 17, fast) 8517 del vars, 24697 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9433 clqs
0.50/0.55 c (round 18, fast) 8519 del vars, 24713 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9407 clqs
0.50/0.55 c (round 19, fast) 8521 del vars, 24731 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9381 clqs
0.50/0.55 c (round 20, fast) 8522 del vars, 24750 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9380 clqs
0.50/0.56 c (round 21, fast) 8523 del vars, 24761 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9359 clqs
0.50/0.56 c (round 22, fast) 8525 del vars, 24775 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9339 clqs
0.50/0.56 c (round 23, fast) 8527 del vars, 24792 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9322 clqs
0.50/0.56 c (round 24, fast) 8529 del vars, 24803 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9308 clqs
0.50/0.56 c (round 25, fast) 8531 del vars, 24812 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9299 clqs
0.50/0.56 c (round 26, fast) 8532 del vars, 24818 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9298 clqs
0.50/0.56 c (round 27, fast) 8533 del vars, 24827 del conss, 1691 add conss, 1375 chg bounds, 32 chg sides, 57 chg coeffs, 9912 upgd conss, 0 impls, 9289 clqs
0.50/0.57 c (round 28, exhaustive) 8536 del vars, 24827 del conss, 1691 add conss, 1375 chg bounds, 34 chg sides, 68 chg coeffs, 9912 upgd conss, 0 impls, 9280 clqs
0.50/0.58 c (round 29, medium) 8541 del vars, 24833 del conss, 1693 add conss, 1375 chg bounds, 35 chg sides, 70 chg coeffs, 9912 upgd conss, 0 impls, 9273 clqs
0.50/0.58 c (round 30, medium) 8543 del vars, 24835 del conss, 1694 add conss, 1375 chg bounds, 39 chg sides, 84 chg coeffs, 9912 upgd conss, 0 impls, 9269 clqs
0.50/0.59 c (round 31, exhaustive) 8546 del vars, 24836 del conss, 1695 add conss, 1375 chg bounds, 41 chg sides, 93 chg coeffs, 9912 upgd conss, 0 impls, 9262 clqs
0.50/0.59 c (round 32, medium) 8549 del vars, 24838 del conss, 1695 add conss, 1375 chg bounds, 43 chg sides, 102 chg coeffs, 9912 upgd conss, 0 impls, 9257 clqs
0.50/0.59 c (round 33, exhaustive) 8552 del vars, 24839 del conss, 1695 add conss, 1375 chg bounds, 45 chg sides, 112 chg coeffs, 9912 upgd conss, 0 impls, 9250 clqs
0.50/0.60 c (round 34, medium) 8555 del vars, 24841 del conss, 1695 add conss, 1375 chg bounds, 47 chg sides, 121 chg coeffs, 9912 upgd conss, 0 impls, 9245 clqs
0.60/0.60 c (round 35, exhaustive) 8558 del vars, 24842 del conss, 1695 add conss, 1375 chg bounds, 49 chg sides, 130 chg coeffs, 9912 upgd conss, 0 impls, 9238 clqs
0.60/0.61 c (round 36, medium) 8561 del vars, 24844 del conss, 1695 add conss, 1375 chg bounds, 49 chg sides, 130 chg coeffs, 9912 upgd conss, 0 impls, 9233 clqs
0.60/0.61 c (round 37, exhaustive) 8564 del vars, 24845 del conss, 1695 add conss, 1375 chg bounds, 49 chg sides, 130 chg coeffs, 9912 upgd conss, 0 impls, 9226 clqs
0.60/0.62 c (round 38, medium) 8567 del vars, 24847 del conss, 1695 add conss, 1375 chg bounds, 49 chg sides, 130 chg coeffs, 9912 upgd conss, 0 impls, 9221 clqs
0.60/0.62 c (round 39, exhaustive) 8570 del vars, 24848 del conss, 1695 add conss, 1375 chg bounds, 49 chg sides, 130 chg coeffs, 9912 upgd conss, 0 impls, 9214 clqs
0.60/0.63 c (round 40, medium) 8574 del vars, 24913 del conss, 1695 add conss, 1375 chg bounds, 49 chg sides, 130 chg coeffs, 9912 upgd conss, 0 impls, 9146 clqs
1.78/1.83 c (1.8s) probing: 1000/3589 (27.9%) - 4 fixings, 2 aggregations, 222752 implications, 0 bound changes
3.08/3.19 c (3.2s) probing: 2000/3589 (55.7%) - 16 fixings, 6 aggregations, 521203 implications, 0 bound changes
3.48/3.53 c (round 41, exhaustive) 8599 del vars, 24913 del conss, 1695 add conss, 1375 chg bounds, 49 chg sides, 130 chg coeffs, 9912 upgd conss, 0 impls, 67140 clqs
3.48/3.53 c (round 42, fast) 8606 del vars, 24981 del conss, 1695 add conss, 1375 chg bounds, 55 chg sides, 172 chg coeffs, 9912 upgd conss, 0 impls, 66889 clqs
3.48/3.56 c (round 43, exhaustive) 8606 del vars, 25225 del conss, 1939 add conss, 1375 chg bounds, 55 chg sides, 194 chg coeffs, 9912 upgd conss, 0 impls, 66889 clqs
4.27/4.35 c (4.4s) probing: 3000/3589 (83.6%) - 16 fixings, 9 aggregations, 709337 implications, 0 bound changes
4.67/4.71 c (4.7s) probing: 3313/3589 (92.3%) - 16 fixings, 9 aggregations, 773625 implications, 0 bound changes
4.67/4.71 c (4.7s) probing aborted: 1000/1000 successive useless probings
4.67/4.71 c (4.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.67/4.73 c (4.7s) no symmetry present (symcode time: 0.00)
4.67/4.73 c presolving (44 rounds: 44 fast, 20 medium, 11 exhaustive):
4.67/4.73 c 8606 deleted vars, 25225 deleted constraints, 1939 added constraints, 1375 tightened bounds, 0 added holes, 55 changed sides, 198 changed coefficients
4.67/4.73 c 0 implications, 68601 cliques
4.67/4.73 c presolved problem has 3557 variables (3557 bin, 0 int, 0 cont) and 5844 constraints
4.67/4.73 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
4.67/4.73 c 262 constraints of type <knapsack>
4.67/4.73 c 4322 constraints of type <setppc>
4.67/4.73 c 1257 constraints of type <and>
4.67/4.73 c 3 constraints of type <logicor>
4.67/4.73 c transformed objective value is always integral (scale: 1)
4.67/4.73 c Presolving Time: 4.63
4.67/4.73 c
4.67/4.73 c - non default parameters ----------------------------------------------------------------------
4.67/4.73 c
4.67/4.73 c # SCIP version 10.0.0
4.67/4.73 c
4.67/4.73 c # maximal time in seconds to run
4.67/4.73 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.67/4.73 c limits/time = 3596.998008
4.67/4.73 c
4.67/4.73 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.67/4.73 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.67/4.73 c limits/memory = 27900
4.67/4.73 c
4.67/4.73 c # belongs reading time to solving time?
4.67/4.73 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.67/4.73 c timing/reading = TRUE
4.67/4.73 c
4.67/4.73 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
4.67/4.73 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
4.67/4.73 c reading/opbreader/maxintsize = 47
4.67/4.73 c
4.67/4.73 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
4.67/4.73 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
4.67/4.73 c propagating/genvbounds/timingmask = 0
4.67/4.73 c
4.67/4.73 c -----------------------------------------------------------------------------------------------
4.67/4.73 c
5.77/5.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.77/5.89 c 5.9s| 1 | 0 | 5291 | - | 93M | 0 |3557 |5876 |7101 | 0 | 0 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
14.84/15.00 c 15.0s| 1 | 0 | 27493 | - | 102M | 0 |3557 |6086 |7200 | 99 | 1 | 41 | 0 | 0.000000e+00 | -- | Inf | unknown
16.23/16.32 c 16.3s| 1 | 0 | 29186 | - | 104M | 0 |3557 |6087 |7283 | 182 | 2 | 42 | 0 | 0.000000e+00 | -- | Inf | unknown
17.53/17.67 c 17.7s| 1 | 0 | 30855 | - | 105M | 0 |3557 |6088 |7409 | 308 | 3 | 43 | 0 | 0.000000e+00 | -- | Inf | unknown
18.93/19.01 c 19.0s| 1 | 0 | 32048 | - | 106M | 0 |3557 |6090 |7451 | 350 | 4 | 45 | 0 | 0.000000e+00 | -- | Inf | unknown
20.22/20.35 c 20.4s| 1 | 0 | 33308 | - | 107M | 0 |3557 |6093 |7476 | 375 | 5 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
21.52/21.69 c 21.7s| 1 | 0 | 34380 | - | 108M | 0 |3557 |6094 |7503 | 402 | 6 | 49 | 0 | 0.000000e+00 | -- | Inf | unknown
23.02/23.11 c 23.1s| 1 | 0 | 35682 | - | 109M | 0 |3557 |6095 |7525 | 424 | 7 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
24.31/24.46 c 24.5s| 1 | 0 | 36643 | - | 110M | 0 |3557 |6096 |7546 | 445 | 8 | 51 | 0 | 0.000000e+00 | -- | Inf | unknown
25.70/25.83 c 25.8s| 1 | 0 | 37583 | - | 111M | 0 |3557 |6097 |7565 | 464 | 9 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
26.90/27.04 c 27.0s| 1 | 0 | 37895 | - | 112M | 0 |3557 |6099 |7574 | 473 | 10 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
27.40/27.52 c 27.5s| 1 | 0 | 38797 | - | 112M | 0 |3557 |6100 |7552 | 482 | 11 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
35.98/36.13 c 36.1s| 1 | 2 | 45990 | - | 113M | 0 |3557 |6116 |7552 | 482 | 11 | 71 | 11 | 0.000000e+00 | -- | Inf | unknown
69.77/70.03 c 70.0s| 100 | 30 |135212 | 973.9 | 118M | 20 |3557 |6395 |7570 |1020 | 2 | 350 | 11 | 0.000000e+00 | -- | Inf | unknown
89.20/89.57 c 89.6s| 200 | 29 |205176 | 836.1 | 123M | 20 |3557 |6676 |7599 |1480 | 2 | 632 | 11 | 0.000000e+00 | -- | Inf | unknown
114.23/114.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
114.23/114.64 c 115s| 300 | 45 |272692 | 782.3 | 132M | 20 |3557 |6949 |7574 |2115 | 2 | 908 | 11 | 0.000000e+00 | -- | Inf | unknown
148.53/149.05 c 149s| 400 | 66 |368417 | 826.1 | 137M | 20 |3557 |7196 |7559 |2848 | 2 |1165 | 11 | 0.000000e+00 | -- | Inf | unknown
159.50/160.06 c 160s| 500 | 67 |413580 | 751.1 | 139M | 20 |3557 |7467 |7598 |3281 | 2 |1454 | 11 | 0.000000e+00 | -- | Inf | 0.52%
227.48/228.26 c 228s| 600 | 100 |534160 | 827.0 | 145M | 20 |3557 |7787 |7398 |4136 | 2 |1825 | 11 | 0.000000e+00 | -- | Inf | 0.58%
268.86/269.75 c 270s| 700 | 121 |630868 | 847.0 | 156M | 20 |3557 |7958 |7552 |5180 | 2 |2102 | 11 | 0.000000e+00 | -- | Inf | 0.83%
278.54/279.44 c 279s| 800 | 120 |670847 | 791.1 | 158M | 20 |3557 |8084 | 0 |5429 | 0 |2308 | 11 | 0.000000e+00 | -- | Inf | 0.88%
294.80/295.73 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
295.00/295.96 c (run 1, node 895) performing user restart
295.00/295.96 c
295.00/295.97 c (restart) converted 113 cuts from the global cut pool into linear constraints
295.00/295.97 c
295.00/295.98 c presolving:
295.00/295.99 c (round 1, fast) 0 del vars, 73 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 68601 clqs
295.10/296.03 c (round 2, exhaustive) 0 del vars, 74 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 1 chg coeffs, 312 upgd conss, 0 impls, 68601 clqs
295.10/296.06 c (round 3, exhaustive) 0 del vars, 227 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 42 chg coeffs, 312 upgd conss, 0 impls, 68601 clqs
295.20/296.11 c (round 4, exhaustive) 0 del vars, 231 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 359 chg coeffs, 312 upgd conss, 0 impls, 68601 clqs
295.20/296.15 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
295.20/296.15 c 0 deleted vars, 231 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 359 changed coefficients
295.20/296.15 c 0 implications, 68601 cliques
295.20/296.15 c presolved problem has 3557 variables (3557 bin, 0 int, 0 cont) and 8093 constraints
295.20/296.15 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
295.20/296.15 c 308 constraints of type <knapsack>
295.20/296.15 c 4453 constraints of type <setppc>
295.20/296.15 c 1257 constraints of type <and>
295.20/296.15 c 14 constraints of type <linear>
295.20/296.15 c 2061 constraints of type <logicor>
295.20/296.15 c transformed objective value is always integral (scale: 1)
295.20/296.15 c Presolving Time: 4.80
295.20/296.15 c
296.20/297.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
296.20/297.16 c 297s| 1 | 0 |724890 | - | 162M | 0 |3557 |8105 |7214 | 0 | 0 |2614 | 11 | 0.000000e+00 | -- | Inf | unknown
297.69/298.68 c 299s| 1 | 0 |726584 | - | 163M | 0 |3557 |8107 |7302 | 88 | 1 |2616 | 11 | 0.000000e+00 | -- | Inf | unknown
298.99/300.00 c 300s| 1 | 0 |728006 | - | 164M | 0 |3557 |8108 |7356 | 142 | 2 |2617 | 11 | 0.000000e+00 | -- | Inf | unknown
300.39/301.31 c 301s| 1 | 0 |729221 | - | 165M | 0 |3557 |8109 |7406 | 192 | 3 |2618 | 11 | 0.000000e+00 | -- | Inf | unknown
301.58/302.59 c 303s| 1 | 0 |730283 | - | 166M | 0 |3557 |8110 |7433 | 219 | 4 |2619 | 11 | 0.000000e+00 | -- | Inf | unknown
302.78/303.78 c 304s| 1 | 0 |731151 | - | 167M | 0 |3557 |8111 |7452 | 238 | 5 |2620 | 11 | 0.000000e+00 | -- | Inf | unknown
303.98/304.96 c 305s| 1 | 0 |731804 | - | 168M | 0 |3557 |8112 |7463 | 249 | 6 |2621 | 11 | 0.000000e+00 | -- | Inf | unknown
305.28/306.28 c 306s| 1 | 0 |732790 | - | 169M | 0 |3557 |8113 |7479 | 265 | 7 |2622 | 11 | 0.000000e+00 | -- | Inf | unknown
306.67/307.63 c 308s| 1 | 0 |733850 | - | 169M | 0 |3557 |8114 |7493 | 279 | 8 |2623 | 11 | 0.000000e+00 | -- | Inf | unknown
307.97/308.98 c 309s| 1 | 0 |734955 | - | 170M | 0 |3557 |8118 |7511 | 297 | 9 |2627 | 11 | 0.000000e+00 | -- | Inf | unknown
309.26/310.25 c 310s| 1 | 0 |735697 | - | 171M | 0 |3557 |8121 |7529 | 315 | 10 |2630 | 11 | 0.000000e+00 | -- | Inf | unknown
309.56/310.55 c 311s| 1 | 0 |736101 | - | 171M | 0 |3557 |8121 |7539 | 325 | 11 |2631 | 11 | 0.000000e+00 | -- | Inf | unknown
318.54/319.54 c 320s| 1 | 2 |742881 | - | 171M | 0 |3557 |8142 |7539 | 325 | 11 |2661 | 22 | 0.000000e+00 | -- | Inf | unknown
348.67/349.73 c 350s| 100 | 29 |830427 | 779.9 | 173M | 20 |3557 |8238 |7629 |1085 | 2 |2824 | 22 | 0.000000e+00 | -- | Inf | unknown
363.34/364.42 c 364s| 200 | 32 |876515 | 750.7 | 175M | 20 |3557 |8334 | 0 |1499 | 0 |3030 | 22 | 0.000000e+00 | -- | Inf | unknown
371.52/372.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
371.52/372.68 c 373s| 300 | 28 |902212 | 709.4 | 179M | 20 |3557 |8540 | 0 |1752 | 0 |3366 | 22 | 0.000000e+00 | -- | Inf | 0.74%
383.68/384.88 c 385s| 400 | 39 |933299 | 678.6 | 182M | 25 |3557 |8627 |7629 |2010 | 2 |3641 | 22 | 0.000000e+00 | -- | Inf | 0.87%
387.77/388.98 c 389s| 500 | 37 |951939 | 643.3 | 184M | 25 |3557 |8927 |7604 |2167 | 2 |4024 | 22 | 0.000000e+00 | -- | Inf | 0.92%
399.95/401.13 c 401s| 600 | 33 |982485 | 620.7 | 186M | 25 |3557 |9101 |7625 |2355 | 2 |4337 | 22 | 0.000000e+00 | -- | Inf | 1.11%
404.23/405.44 c 405s| 700 | 38 | 1000k| 593.3 | 187M | 25 |3557 |9416 |7631 |2550 | 1 |4724 | 22 | 0.000000e+00 | -- | Inf | 1.16%
408.72/409.90 c 410s| 800 | 35 | 1017k| 567.9 | 188M | 26 |3557 |9733 | 0 |2707 | 0 |5126 | 22 | 0.000000e+00 | -- | Inf | 1.18%
411.72/412.97 c 413s| 900 | 33 | 1034k| 546.1 | 189M | 26 |3557 | 10k|7583 |2797 | 2 |5468 | 22 | 0.000000e+00 | -- | Inf | 1.22%
421.90/423.12 c 423s| 1000 | 38 | 1070k| 536.0 | 192M | 26 |3557 | 10k| 0 |3075 | 0 |5793 | 22 | 0.000000e+00 | -- | Inf | 1.34%
427.08/428.36 c 428s| 1100 | 33 | 1093k| 521.0 | 193M | 26 |3557 | 10k| 0 |3225 | 0 |6192 | 22 | 0.000000e+00 | -- | Inf | 1.42%
431.67/432.97 c 433s| 1200 | 37 | 1113k| 505.3 | 193M | 26 |3557 | 10k|7620 |3368 | 1 |6656 | 22 | 0.000000e+00 | -- | Inf | 1.44%
434.86/436.14 c 436s| 1300 | 34 | 1127k| 488.7 | 194M | 27 |3557 | 11k|7618 |3517 | 2 |7045 | 22 | 0.000000e+00 | -- | Inf | 1.45%
438.45/439.72 c 440s| 1400 | 31 | 1143k| 474.5 | 195M | 28 |3557 | 11k| 0 |3705 | 0 |7407 | 22 | 0.000000e+00 | -- | Inf | 1.47%
443.24/444.56 c 445s| 1500 | 33 | 1165k| 463.8 | 196M | 28 |3557 | 11k|7617 |3889 | 1 |7844 | 22 | 0.000000e+00 | -- | Inf | 1.52%
447.63/448.91 c 449s| 1600 | 35 | 1185k| 453.3 | 197M | 28 |3557 | 11k|7610 |4083 | 1 |8169 | 22 | 0.000000e+00 | -- | Inf | 1.56%
458.20/459.55 c 460s| 1700 | 35 | 1215k| 447.2 | 206M | 28 |3557 | 11k|7600 |4504 | 1 |8431 | 22 | 0.000000e+00 | -- | Inf | 2.37%
462.39/463.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
462.39/463.78 c 464s| 1800 | 37 | 1229k| 435.7 | 206M | 28 |3557 | 11k| 0 |4584 | 0 |8708 | 22 | 0.000000e+00 | -- | Inf | 2.39%
474.56/475.90 c 476s| 1900 | 42 | 1263k| 432.4 | 210M | 28 |3557 | 11k|7609 |4982 | 2 |9024 | 22 | 0.000000e+00 | -- | Inf | 2.73%
485.84/487.29 c 487s| 2000 | 38 | 1294k| 428.3 | 216M | 28 |3557 | 10k|7617 |5308 | 2 |9297 | 22 | 0.000000e+00 | -- | Inf | 3.42%
492.13/493.57 c 494s| 2100 | 38 | 1319k| 422.4 | 217M | 28 |3557 | 11k| 0 |5538 | 0 |9561 | 22 | 0.000000e+00 | -- | Inf | 3.49%
497.41/498.84 c 499s| 2200 | 36 | 1344k| 416.8 | 218M | 28 |3557 | 11k| 0 |5729 | 0 |9880 | 22 | 0.000000e+00 | -- | Inf | 3.76%
505.49/507.00 c 507s| 2300 | 38 | 1369k| 411.5 | 219M | 28 |3557 | 11k|7614 |6027 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 4.14%
510.28/511.75 c 512s| 2400 | 36 | 1386k| 404.2 | 221M | 28 |3557 | 11k|7631 |6278 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 4.44%
513.58/515.07 c 515s| 2500 | 32 | 1401k| 396.7 | 221M | 28 |3557 | 11k| 0 |6432 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 4.59%
527.34/528.81 c 529s| 2600 | 33 | 1442k| 397.1 | 224M | 38 |3557 | 10k|7622 |6877 | 2 | 11k| 22 | 0.000000e+00 | -- | Inf | 5.69%
535.62/537.14 c 537s| 2700 | 34 | 1482k| 397.0 | 224M | 38 |3557 | 11k|7625 |7211 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 5.69%
540.30/541.80 c 542s| 2800 | 36 | 1502k| 391.9 | 224M | 38 |3557 | 11k|7656 |7363 | 2 | 11k| 22 | 0.000000e+00 | -- | Inf | 5.69%
549.48/551.01 c 551s| 2900 | 34 | 1540k| 391.6 | 224M | 38 |3557 | 11k| 0 |7662 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 5.69%
555.36/556.92 c 557s| 3000 | 32 | 1568k| 388.5 | 225M | 38 |3557 | 11k|7633 |7849 | 2 | 12k| 22 | 0.000000e+00 | -- | Inf | 5.69%
567.83/569.46 c 569s| 3100 | 32 | 1608k| 388.9 | 225M | 38 |3557 | 11k|7656 |8132 | 2 | 12k| 22 | 0.000000e+00 | -- | Inf | 5.69%
576.31/577.97 c 578s| 3200 | 31 | 1644k| 388.2 | 225M | 38 |3557 | 11k|7667 |8496 | 2 | 12k| 22 | 0.000000e+00 | -- | Inf | 5.69%
585.19/586.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
585.19/586.82 c 587s| 3300 | 29 | 1681k| 387.7 | 226M | 38 |3557 | 11k|7612 |8824 | 2 | 12k| 22 | 0.000000e+00 | -- | Inf | 5.69%
593.86/595.58 c 596s| 3400 | 29 | 1715k| 386.6 | 227M | 38 |3557 | 11k|7637 |9213 | 2 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.90%
604.24/605.94 c 606s| 3500 | 26 | 1766k| 389.5 | 227M | 38 |3557 | 11k|7599 |9558 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.90%
614.71/616.48 c 616s| 3600 | 26 | 1815k| 391.7 | 228M | 38 |3557 | 11k|7632 | 10k| 2 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.91%
639.83/641.69 c 642s| 3700 | 25 | 1872k| 395.6 | 228M | 38 |3557 | 11k|7597 | 10k| 2 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.91%
652.99/654.89 c 655s| 3800 | 28 | 1929k| 399.4 | 228M | 38 |3557 | 11k|7623 | 11k| 2 | 13k| 22 | 0.000000e+00 | -- | Inf | 6.30%
662.46/664.39 c 664s| 3900 | 24 | 1970k| 399.5 | 229M | 38 |3557 | 11k|7589 | 11k| 2 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.31%
675.62/677.52 c 678s| 4000 | 22 | 2022k| 402.0 | 230M | 38 |3557 | 11k|7623 | 12k| 2 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.33%
689.38/691.38 c 691s| 4100 | 20 | 2084k| 406.4 | 230M | 38 |3557 | 11k|7578 | 12k| 2 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.33%
705.53/707.55 c 708s| 4200 | 24 | 2145k| 410.3 | 232M | 38 |3557 | 11k|7642 | 13k| 2 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.35%
716.19/718.23 c 718s| 4300 | 19 | 2187k| 410.4 | 232M | 38 |3557 | 11k|7588 | 13k| 2 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.36%
733.44/735.52 c 736s| 4400 | 28 | 2242k| 413.2 | 234M | 38 |3557 | 11k|7599 | 14k| 2 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.46%
739.12/741.25 c 741s| 4500 | 29 | 2268k| 410.3 | 235M | 38 |3557 | 11k|7615 | 14k| 2 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.55%
744.60/746.75 c 747s| 4600 | 25 | 2292k| 407.3 | 235M | 38 |3557 | 11k|7601 | 14k| 2 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.56%
750.08/752.27 c 752s| 4700 | 26 | 2317k| 404.5 | 236M | 38 |3557 | 11k| 0 | 14k| 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.56%
755.97/758.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
755.97/758.12 c 758s| 4800 | 27 | 2341k| 401.5 | 236M | 38 |3557 | 12k| 0 | 15k| 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 6.60%
761.95/764.11 c 764s| 4900 | 24 | 2361k| 398.1 | 237M | 38 |3557 | 12k|7587 | 15k| 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 6.74%
766.63/768.89 c 769s| 5000 | 21 | 2384k| 395.1 | 238M | 38 |3557 | 12k|7617 | 15k| 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 6.86%
780.19/782.40 c 782s| 5100 | 30 | 2428k| 396.0 | 240M | 38 |3557 | 12k|7627 | 16k| 2 | 16k| 22 | 0.000000e+00 | -- | Inf | 6.88%
790.96/793.21 c 793s| 5200 | 25 | 2473k| 396.8 | 241M | 38 |3557 | 12k| 0 | 16k| 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 6.93%
805.42/807.78 c 808s| 5300 | 31 | 2535k| 400.4 | 242M | 38 |3557 | 12k|7624 | 17k| 2 | 17k| 22 | 0.000000e+00 | -- | Inf | 6.95%
819.68/822.01 c 822s| 5400 | 20 | 2588k| 402.5 | 242M | 38 |3557 | 12k|7594 | 18k| 2 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.08%
834.03/836.41 c 836s| 5500 | 35 | 2627k| 402.3 | 243M | 38 |3557 | 12k|7667 | 18k| 2 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.11%
841.61/844.09 c 844s| 5600 | 40 | 2662k| 401.5 | 243M | 38 |3557 | 12k|7678 | 18k| 2 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.11%
863.84/866.35 c 866s| 5700 | 37 | 2704k| 401.8 | 243M | 38 |3557 | 12k| 0 | 19k| 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 7.11%
871.62/874.17 c 874s| 5800 | 40 | 2738k| 400.8 | 243M | 38 |3557 | 12k|7651 | 19k| 2 | 18k| 22 | 0.000000e+00 | -- | Inf | 7.12%
880.09/882.63 c 883s| 5900 | 32 | 2773k| 400.0 | 244M | 38 |3557 | 12k|7640 | 19k| 2 | 18k| 22 | 0.000000e+00 | -- | Inf | 7.12%
887.97/890.55 c 891s| 6000 | 31 | 2806k| 399.1 | 244M | 38 |3557 | 12k|7653 | 20k| 2 | 18k| 22 | 0.000000e+00 | -- | Inf | 7.12%
896.84/899.45 c 899s| 6100 | 28 | 2842k| 398.6 | 244M | 38 |3557 | 12k|7601 | 20k| 2 | 19k| 22 | 0.000000e+00 | -- | Inf | 7.14%
905.71/908.35 c 908s| 6200 | 26 | 2882k| 398.5 | 245M | 38 |3557 | 13k| 0 | 20k| 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 7.16%
915.78/918.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
915.78/918.42 c 918s| 6300 | 35 | 2921k| 398.5 | 245M | 38 |3557 | 13k|7678 | 21k| 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 7.17%
919.37/922.03 c 922s| 6400 | 34 | 2938k| 395.3 | 245M | 38 |3557 | 13k|7681 | 21k| 2 | 19k| 22 | 0.000000e+00 | -- | Inf | 7.17%
925.25/927.94 c 928s| 6500 | 35 | 2963k| 393.4 | 246M | 38 |3557 | 13k|7679 | 21k| 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 7.17%
929.45/932.15 c 932s| 6600 | 37 | 2982k| 390.6 | 246M | 38 |3557 | 13k|7677 | 21k| 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 7.17%
933.73/936.46 c 936s| 6700 | 34 | 3000k| 387.8 | 247M | 38 |3557 | 13k|7686 | 22k| 2 | 20k| 22 | 0.000000e+00 | -- | Inf | 7.17%
938.21/940.90 c 941s| 6800 | 36 | 3019k| 385.2 | 247M | 38 |3557 | 14k| 0 | 22k| 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 7.17%
942.40/945.19 c 945s| 6900 | 36 | 3037k| 382.7 | 248M | 38 |3557 | 14k|7683 | 22k| 2 | 21k| 22 | 0.000000e+00 | -- | Inf | 7.17%
948.88/951.60 c 952s| 7000 | 35 | 3065k| 381.4 | 248M | 38 |3557 | 14k|7667 | 22k| 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 7.17%
952.37/955.17 c 955s| 7100 | 35 | 3084k| 378.9 | 248M | 38 |3557 | 14k|7666 | 22k| 2 | 21k| 22 | 0.000000e+00 | -- | Inf | 7.17%
955.56/958.31 c 958s| 7200 | 31 | 3098k| 376.0 | 248M | 38 |3557 | 14k| 0 | 23k| 0 | 21k| 22 | 0.000000e+00 | -- | Inf | 7.17%
958.55/961.30 c 961s| 7300 | 32 | 3111k| 373.0 | 248M | 38 |3557 | 15k| 0 | 23k| 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 7.17%
961.04/963.86 c 964s| 7400 | 27 | 3123k| 369.9 | 248M | 38 |3557 | 15k| 0 | 23k| 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 7.17%
964.53/967.36 c 967s| 7500 | 34 | 3139k| 367.4 | 248M | 38 |3557 | 15k| 0 | 23k| 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 7.17%
968.12/970.92 c 971s| 7600 | 34 | 3154k| 364.9 | 248M | 38 |3557 | 15k| 0 | 23k| 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 7.17%
971.71/974.51 c 975s| 7700 | 33 | 3170k| 362.5 | 249M | 38 |3557 | 15k|7683 | 23k| 2 | 23k| 22 | 0.000000e+00 | -- | Inf | 7.17%
977.19/980.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
977.19/980.01 c 980s| 7800 | 30 | 3195k| 361.3 | 249M | 38 |3557 | 15k|7667 | 24k| 2 | 23k| 22 | 0.000000e+00 | -- | Inf | 7.17%
982.67/985.54 c 986s| 7900 | 33 | 3219k| 359.8 | 250M | 38 |3557 | 15k|7691 | 24k| 3 | 23k| 22 | 0.000000e+00 | -- | Inf | 7.17%
987.66/990.53 c 991s| 8000 | 28 | 3241k| 358.3 | 250M | 38 |3557 | 15k|7676 | 24k| 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 7.17%
999.82/1002.71 c 1003s| 8100 | 33 | 3283k| 359.0 | 251M | 38 |3557 | 15k|7649 | 25k| 2 | 24k| 22 | 0.000000e+00 | -- | Inf | 7.17%
1012.98/1015.99 c 1016s| 8200 | 34 | 3339k| 361.2 | 251M | 38 |3557 | 15k|7654 | 25k| 2 | 24k| 22 | 0.000000e+00 | -- | Inf | 7.19%
1028.33/1031.30 c 1031s| 8300 | 28 | 3396k| 363.4 | 252M | 38 |3557 | 15k|7637 | 25k| 2 | 24k| 22 | 0.000000e+00 | -- | Inf | 7.20%
1042.49/1045.59 c 1046s| 8400 | 25 | 3459k| 366.3 | 252M | 38 |3557 | 15k| 0 | 26k| 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 7.21%
1056.64/1059.71 c 1060s| 8500 | 37 | 3512k| 368.1 | 253M | 38 |3557 | 14k|7618 | 26k| 2 | 24k| 22 | 0.000000e+00 | -- | Inf | 7.24%
1063.22/1066.38 c 1066s| 8600 | 34 | 3541k| 367.2 | 254M | 38 |3557 | 14k|7629 | 27k| 2 | 25k| 22 | 0.000000e+00 | -- | Inf | 7.25%
1069.01/1072.18 c 1072s| 8700 | 31 | 3568k| 366.2 | 254M | 38 |3557 | 14k|7592 | 27k| 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 7.26%
1082.47/1085.69 c 1086s| 8800 | 35 | 3616k| 367.3 | 257M | 38 |3557 | 13k|7626 | 27k| 2 | 25k| 22 | 0.000000e+00 | -- | Inf | 7.44%
1091.25/1094.42 c 1094s| 8900 | 35 | 3653k| 367.4 | 257M | 38 |3557 | 13k|7651 | 28k| 2 | 25k| 22 | 0.000000e+00 | -- | Inf | 7.45%
1098.42/1101.67 c 1102s| 9000 | 29 | 3682k| 366.6 | 258M | 38 |3557 | 13k|7618 | 28k| 2 | 25k| 22 | 0.000000e+00 | -- | Inf | 7.46%
1108.59/1111.82 c 1112s| 9100 | 43 | 3727k| 367.4 | 258M | 39 |3557 | 13k| 0 | 28k| 0 | 26k| 22 | 0.000000e+00 | -- | Inf | 7.46%
1118.36/1121.68 c 1122s| 9200 | 26 | 3765k| 367.6 | 260M | 42 |3557 | 13k|7580 | 29k| 2 | 26k| 22 | 0.000000e+00 | -- | Inf | 7.46%
1125.85/1129.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1125.85/1129.13 c 1129s| 9300 | 30 | 3795k| 366.9 | 261M | 42 |3557 | 13k|7614 | 29k| 2 | 26k| 22 | 0.000000e+00 | -- | Inf | 7.60%
1130.33/1133.62 c 1134s| 9400 | 34 | 3815k| 365.3 | 261M | 42 |3557 | 14k| 0 | 29k| 0 | 26k| 22 | 0.000000e+00 | -- | Inf | 7.67%
1133.72/1137.01 c 1137s| 9500 | 30 | 3830k| 363.2 | 261M | 42 |3557 | 14k| 0 | 30k| 0 | 27k| 22 | 0.000000e+00 | -- | Inf | 7.68%
1138.40/1141.73 c 1142s| 9600 | 31 | 3852k| 361.8 | 261M | 42 |3557 | 14k| 0 | 30k| 0 | 27k| 22 | 0.000000e+00 | -- | Inf | 7.68%
1142.99/1146.39 c 1146s| 9700 | 30 | 3873k| 360.4 | 262M | 42 |3557 | 14k|7655 | 30k| 2 | 27k| 22 | 0.000000e+00 | -- | Inf | 7.69%
1147.27/1150.63 c 1151s| 9800 | 25 | 3893k| 358.9 | 262M | 42 |3557 | 14k|7624 | 30k| 2 | 27k| 22 | 0.000000e+00 | -- | Inf | 7.70%
1152.46/1155.85 c 1156s| 9900 | 33 | 3911k| 357.3 | 263M | 42 |3557 | 14k| 0 | 30k| 0 | 27k| 22 | 0.000000e+00 | -- | Inf | 7.72%
1155.55/1158.98 c 1159s| 10000 | 31 | 3924k| 355.2 | 263M | 42 |3557 | 14k| 0 | 31k| 0 | 28k| 22 | 0.000000e+00 | -- | Inf | 7.73%
1158.74/1162.19 c 1162s| 10100 | 35 | 3939k| 353.3 | 264M | 42 |3557 | 15k|7623 | 31k| 1 | 28k| 22 | 0.000000e+00 | -- | Inf | 7.74%
1161.83/1165.23 c 1165s| 10200 | 31 | 3953k| 351.3 | 264M | 42 |3557 | 15k|7615 | 31k| 2 | 28k| 22 | 0.000000e+00 | -- | Inf | 7.74%
1168.41/1171.88 c 1172s| 10300 | 40 | 3981k| 350.7 | 264M | 42 |3557 | 15k|7614 | 31k| 2 | 29k| 22 | 0.000000e+00 | -- | Inf | 7.77%
1169.90/1173.38 c 1173s| 10400 | 49 | 3987k| 348.2 | 264M | 42 |3557 | 15k|7619 | 31k| 1 | 29k| 22 | 0.000000e+00 | -- | Inf | 7.77%
1171.60/1175.00 c 1175s| 10500 | 42 | 3995k| 345.8 | 264M | 42 |3557 | 15k| 0 | 31k| 0 | 29k| 22 | 0.000000e+00 | -- | Inf | 7.77%
1173.70/1177.11 c 1177s| 10600 | 39 | 4004k| 343.6 | 265M | 42 |3557 | 15k|7621 | 31k| 2 | 30k| 22 | 0.000000e+00 | -- | Inf | 7.78%
1176.88/1180.36 c 1180s| 10700 | 37 | 4019k| 341.9 | 265M | 42 |3557 | 15k| 0 | 31k| 0 | 30k| 22 | 0.000000e+00 | -- | Inf | 7.79%
1181.67/1185.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1181.67/1185.15 c 1185s| 10800 | 34 | 4041k| 340.9 | 265M | 42 |3557 | 15k|7613 | 32k| 2 | 30k| 22 | 0.000000e+00 | -- | Inf | 7.80%
1186.35/1189.85 c 1190s| 10900 | 29 | 4062k| 339.7 | 265M | 42 |3557 | 15k| 0 | 32k| 0 | 31k| 22 | 0.000000e+00 | -- | Inf | 7.83%
1191.74/1195.27 c 1195s| 11000 | 30 | 4087k| 339.0 | 265M | 42 |3557 | 15k| 0 | 32k| 0 | 31k| 22 | 0.000000e+00 | -- | Inf | 7.90%
1196.42/1199.93 c 1200s| 11100 | 43 | 4104k| 337.6 | 265M | 42 |3557 | 15k|7617 | 32k| 1 | 31k| 22 | 0.000000e+00 | -- | Inf | 7.91%
1198.41/1201.99 c 1202s| 11200 | 42 | 4114k| 335.7 | 265M | 42 |3557 | 15k|7633 | 32k| 0 | 32k| 22 | 0.000000e+00 | -- | Inf | 7.91%
1200.41/1203.93 c 1204s| 11300 | 39 | 4123k| 333.6 | 265M | 42 |3557 | 15k|7618 | 32k| 1 | 32k| 22 | 0.000000e+00 | -- | Inf | 7.92%
1204.00/1207.50 c 1208s| 11400 | 36 | 4139k| 332.2 | 266M | 42 |3557 | 15k|7620 | 32k| 2 | 32k| 22 | 0.000000e+00 | -- | Inf | 7.94%
1208.78/1212.33 c 1212s| 11500 | 34 | 4156k| 330.9 | 266M | 42 |3557 | 15k| 0 | 33k| 0 | 33k| 22 | 0.000000e+00 | -- | Inf | 8.00%
1211.87/1215.48 c 1215s| 11600 | 30 | 4171k| 329.4 | 266M | 42 |3557 | 15k|7615 | 33k| 2 | 33k| 22 | 0.000000e+00 | -- | Inf | 8.01%
1217.06/1220.68 c 1221s| 11700 | 27 | 4194k| 328.7 | 266M | 42 |3557 | 15k|7789 | 33k| 2 | 33k| 22 | 0.000000e+00 | -- | Inf | 8.03%
1253.95/1257.63 c 1258s| 11800 | 32 | 4345k| 337.9 | 266M | 42 |3557 | 15k| 0 | 35k| 0 | 33k| 22 | 0.000000e+00 | -- | Inf | 8.06%
1280.07/1283.81 c 1284s| 11900 | 33 | 4455k| 344.0 | 266M | 42 |3557 | 15k|8131 | 36k| 2 | 34k| 22 | 0.000000e+00 | -- | Inf | 8.07%
1320.65/1324.52 c 1325s| 12000 | 35 | 4619k| 354.0 | 268M | 42 |3557 | 15k|8096 | 38k| 2 | 34k| 22 | 0.000000e+00 | -- | Inf | 8.10%
1367.71/1371.77 c 1372s| 12100 | 24 | 4809k| 365.9 | 268M | 42 |3557 | 15k|8040 | 40k| 2 | 34k| 22 | 0.000000e+00 | -- | Inf | 8.24%
1496.79/1501.14 c 1501s| 12200 | 45 | 5199k| 392.9 | 271M | 42 |3557 | 15k|8262 | 44k| 2 | 34k| 22 | 0.000000e+00 | -- | Inf | 8.38%
1564.42/1568.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1564.42/1568.99 c 1569s| 12300 | 48 | 5453k| 409.1 | 272M | 42 |3557 | 15k| 0 | 46k| 0 | 34k| 22 | 0.000000e+00 | -- | Inf | 8.52%
1654.31/1659.01 c 1659s| 12400 | 53 | 5755k| 428.8 | 273M | 42 |3557 | 14k|8121 | 50k| 2 | 35k| 22 | 0.000000e+00 | -- | Inf | 8.52%
1712.87/1717.73 c 1718s| 12500 | 50 | 5967k| 441.4 | 275M | 42 |3557 | 14k|8248 | 52k| 2 | 35k| 22 | 0.000000e+00 | -- | Inf | 8.62%
1778.32/1783.30 c 1783s| 12600 | 45 | 6201k| 455.5 | 276M | 42 |3557 | 14k|7675 | 55k| 2 | 35k| 22 | 0.000000e+00 | -- | Inf | 9.01%
1899.44/1904.76 c 1905s| 12700 | 51 | 6550k| 477.8 | 277M | 42 |3557 | 14k|8109 | 57k| 2 | 35k| 22 | 0.000000e+00 | -- | Inf | 9.30%
2026.94/2032.53 c 2033s| 12800 | 71 | 6946k| 503.2 | 280M | 42 |3557 | 13k|7957 | 62k| 2 | 36k| 22 | 0.000000e+00 | -- | Inf | 9.50%
2088.79/2094.57 c 2095s| 12900 | 73 | 7166k| 515.5 | 280M | 42 |3557 | 13k| 0 | 64k| 0 | 36k| 22 | 0.000000e+00 | -- | Inf | 9.61%
2153.04/2158.96 c 2159s| 13000 | 72 | 7399k| 528.6 | 280M | 42 |3557 | 13k|8320 | 65k| 2 | 36k| 22 | 0.000000e+00 | -- | Inf | 9.67%
2189.95/2195.98 c 2196s| 13100 | 76 | 7556k| 536.0 | 280M | 42 |3557 | 13k| 0 | 66k| 0 | 36k| 22 | 0.000000e+00 | -- | Inf | 9.67%
2315.24/2321.50 c 2321s| 13200 | 71 | 7972k| 561.8 | 280M | 42 |3557 | 13k| 0 | 69k| 0 | 37k| 22 | 0.000000e+00 | -- | Inf | 9.70%
2408.07/2414.68 c 2415s| 13300 | 73 | 8284k| 579.8 | 280M | 42 |3557 | 13k| 0 | 73k| 0 | 37k| 22 | 0.000000e+00 | -- | Inf | 9.73%
2521.04/2527.91 c 2528s| 13400 | 84 | 8613k| 598.7 | 282M | 42 |3557 | 13k|8308 | 75k| 2 | 37k| 22 | 0.000000e+00 | -- | Inf | 9.84%
2610.58/2617.74 c 2618s| 13500 | 86 | 8943k| 617.5 | 282M | 42 |3557 | 13k|8334 | 77k| 2 | 37k| 22 | 0.000000e+00 | -- | Inf | 9.90%
2674.39/2681.70 c 2682s| 13600 | 86 | 9191k| 630.4 | 283M | 42 |3557 | 13k|8386 | 78k| 2 | 37k| 22 | 0.000000e+00 | -- | Inf | 10.05%
2740.21/2747.79 c 2748s| 13700 | 82 | 9435k| 642.8 | 283M | 42 |3557 | 13k| 0 | 80k| 0 | 38k| 22 | 0.000000e+00 | -- | Inf | 10.08%
2864.01/2871.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2864.01/2871.89 c 2872s| 13800 | 86 | 9810k| 663.9 | 283M | 42 |3557 | 12k|7817 | 83k| 2 | 38k| 22 | 0.000000e+00 | -- | Inf | 10.23%
2928.85/2936.83 c 2937s| 13900 | 91 | 10049k| 675.6 | 284M | 42 |3557 | 12k| 0 | 85k| 0 | 38k| 22 | 0.000000e+00 | -- | Inf | 10.38%
3015.25/3023.47 c 3023s| 14000 | 87 | 10352k| 691.4 | 284M | 42 |3557 | 12k|8377 | 88k| 2 | 38k| 22 | 0.000000e+00 | -- | Inf | 10.63%
3076.90/3085.29 c 3085s| 14100 | 92 | 10561k| 700.7 | 285M | 42 |3557 | 12k| 0 | 90k| 0 | 38k| 22 | 0.000000e+00 | -- | Inf | 10.64%
3147.13/3155.69 c 3156s| 14200 | 90 | 10802k| 712.0 | 285M | 42 |3557 | 12k|8324 | 92k| 2 | 39k| 22 | 0.000000e+00 | -- | Inf | 10.66%
3284.40/3293.26 c 3293s| 14300 | 97 | 11157k| 730.7 | 286M | 42 |3557 | 12k|8256 | 95k| 0 | 39k| 22 | 0.000000e+00 | -- | Inf | 10.83%
3359.13/3368.12 c 3368s| 14400 | 91 | 11422k| 743.2 | 290M | 42 |3557 | 12k|8289 | 97k| 2 | 39k| 22 | 0.000000e+00 | -- | Inf | 11.07%
3393.34/3402.48 c 3402s| 14500 | 89 | 11564k| 747.6 | 290M | 42 |3557 | 12k|8367 | 99k| 0 | 39k| 22 | 0.000000e+00 | -- | Inf | 11.07%
3415.99/3425.13 c 3425s| 14600 | 98 | 11663k| 749.2 | 290M | 42 |3557 | 12k| 0 | 99k| 0 | 40k| 22 | 0.000000e+00 | -- | Inf | 11.07%
3449.10/3458.35 c 3458s| 14700 | 102 | 11796k| 753.0 | 290M | 42 |3557 | 12k|8421 | 100k| 2 | 40k| 22 | 0.000000e+00 | -- | Inf | 11.17%
3470.25/3479.54 c 3480s| 14800 | 96 | 11893k| 754.3 | 290M | 42 |3557 | 13k|8370 | 101k| 2 | 40k| 22 | 0.000000e+00 | -- | Inf | 11.18%
3529.01/3538.42 c 3538s| 14900 | 100 | 12116k| 763.7 | 290M | 42 |3557 | 13k|8405 | 104k| 2 | 41k| 22 | 0.000000e+00 | -- | Inf | 11.36%
3587.37/3597.00 c
3587.37/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.37/3597.00 c Solving Time (sec) : 3597.00
3587.37/3597.00 c Solving Nodes : 14982 (total of 15877 nodes in 2 runs)
3587.37/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.37/3597.00 c Dual Bound : +0.00000000000000e+00
3587.37/3597.00 c Gap : infinite
3587.37/3597.00 s UNKNOWN
3587.37/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.37/3597.00 c Total Time : 3597.00
3587.37/3597.00 c solving : 3597.00
3587.37/3597.00 c presolving : 4.80 (included in solving)
3587.37/3597.00 c reading : 0.05 (included in solving)
3587.37/3597.00 c copying : 1.37 (101 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3587.37/3597.00 c Original Problem :
3587.37/3597.00 c Problem name : HOME/instance-4501769-1751153513.opb
3587.37/3597.00 c Variables : 9272 (9272 binary, 0 integer, 0 continuous)
3587.37/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.37/3597.00 c Constraints : 29130 initial, 29130 maximal
3587.37/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.37/3597.00 c Presolved Problem :
3587.37/3597.00 c Problem name : t_HOME/instance-4501769-1751153513.opb
3587.37/3597.00 c Variables : 3557 (3557 binary, 0 integer, 0 continuous)
3587.37/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.37/3597.00 c Constraints : 8093 initial, 15940 maximal
3587.37/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.37/3597.00 c Nonzeros : 61824 constraint, 141439 clique table
3587.37/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.37/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c domcol : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c gateextraction : 0.03 0.00 14 0 0 0 0 0 5219 1684 0 0
3587.37/3597.00 c implics : 0.00 0.00 24 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c milp : 0.27 0.00 1 116 77 0 0 0 0 0 0 0
3587.37/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c trivial : 0.01 0.00 49 2891 0 0 0 0 0 0 0 0
3587.37/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c dualfix : 0.00 0.00 49 1 0 0 0 0 0 0 0 0
3587.37/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c probing : 4.04 0.00 2 16 9 0 0 0 0 0 0 0
3587.37/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c knapsack : 0.03 0.00 78 0 0 0 0 0 1 11 37 171
3587.37/3597.00 c setppc : 0.11 0.00 78 36 37 0 0 0 546 0 2 2
3587.37/3597.00 c and : 0.04 0.00 48 0 7 0 0 0 260 244 0 16
3587.37/3597.00 c linear : 0.10 0.01 16 1375 1150 0 1375 0 19219 0 17 10
3587.37/3597.00 c logicor : 0.09 0.01 70 0 0 0 0 0 211 0 0 358
3587.37/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.37/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.37/3597.00 c integral : 0 0 0 0 10742 0 0 1966 0 0 0 0 0 0 21484
3587.37/3597.00 c knapsack : 308+ 314 22 302531 0 0 0 1961 466591 1710 1258905 850 298 0 0
3587.37/3597.00 c setppc : 4453+ 4517 22 300821 0 0 0 3 1500798 3867 1678604 12 7 0 0
3587.37/3597.00 c and : 1257 1257 19448 296954 0 0 0 0 504263 2788 1359665 92330 85411 0 0
3587.37/3597.00 c linear : 14+ 32 11 239920 0 0 0 3 2219 77 11562 6 3 0 0
3587.37/3597.00 c logicor : 2061+ 9862 22 138550 0 0 0 0 156964 1104 109591 3 2 0 0
3587.37/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.37/3597.00 c integral : 12.02 0.00 0.00 0.00 12.02 0.00 0.00 0.00 0.00 0.00
3587.37/3597.00 c knapsack : 3.06 0.00 0.03 2.86 0.00 0.00 0.00 0.01 0.17 0.00
3587.37/3597.00 c setppc : 5.50 0.00 0.01 5.02 0.00 0.00 0.00 0.00 0.47 0.01
3587.37/3597.00 c and : 9.25 0.00 3.14 5.87 0.00 0.00 0.00 0.00 0.22 0.01
3587.37/3597.00 c linear : 0.22 0.01 0.00 0.20 0.00 0.00 0.00 0.00 0.01 0.00
3587.37/3597.00 c logicor : 2.14 0.01 0.00 1.96 0.00 0.00 0.00 0.00 0.17 0.00
3587.37/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.37/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.37/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.37/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.37/3597.00 c dualfix : 2 0 0 0
3587.37/3597.00 c genvbounds : 0 0 0 0
3587.37/3597.00 c nlobbt : 0 0 0 0
3587.37/3597.00 c obbt : 0 0 0 0
3587.37/3597.00 c probing : 0 0 0 0
3587.37/3597.00 c pseudoobj : 0 0 0 0
3587.37/3597.00 c redcost : 0 0 0 0
3587.37/3597.00 c rootredcost : 0 0 0 0
3587.37/3597.00 c symmetry : 0 0 0 0
3587.37/3597.00 c vbounds : 237207 0 0 0
3587.37/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.37/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.37/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.37/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.37/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.37/3597.00 c probing : 4.04 0.00 4.04 0.00 0.00 0.00
3587.37/3597.00 c pseudoobj : 0.04 0.00 0.00 0.04 0.00 0.00
3587.37/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.37/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.37/3597.00 c symmetry : 0.05 0.00 0.01 0.03 0.00 0.00
3587.37/3597.00 c vbounds : 10.86 0.00 0.01 10.84 0.00 0.00
3587.37/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.37/3597.00 c propagation : 1.87 9475 8968 - 111240 51.4 1165 19.0 - - -
3587.37/3597.00 c infeasible LP : 0.75 460 457 - 6710 102.3 20 14.9 394 219.6 0
3587.37/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.37/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.37/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.37/3597.00 c applied globally : 1.59 - - 0 40914 35.7 - - 391 - -
3587.37/3597.00 c applied locally : - - - 0 0 0.0 - - 3 - -
3587.37/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.37/3597.00 c cut pool : 0.21 - 2348 42 - - 9708 67408 - - - - - (maximal pool size: 2591)
3587.37/3597.00 c aggregation : 0.33 0.00 217 22 0 0 175 3531 2 1696 1695 1 0
3587.37/3597.00 c > cmir : - - - - - - - 3046 0 1376 1376 0 -
3587.37/3597.00 c > flowcover : - - - - - - - 263 0 172 172 0 -
3587.37/3597.00 c > knapsackcover : - - - - - - - 222 2 148 147 1 -
3587.37/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c clique : 2.15 0.00 22 22 0 0 172 277 0 93 93 0 0
3587.37/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c gomory : 107.94 0.00 215 20 0 0 1887 31212 86 10133 10131 2 0
3587.37/3597.00 c > gomorymi : - - - - - - - 3837 43 841 839 2 -
3587.37/3597.00 c > strongcg : - - - - - - - 27375 43 9292 9292 0 -
3587.37/3597.00 c impliedbounds : 0.58 0.00 217 22 0 0 6957 16385 0 5813 5813 0 0
3587.37/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c multilinear : 0.00 0.00 1405 22 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.37/3597.00 c rapidlearning : 16.40 0.00 100 2 0 54597 0 0 0 0 0 0 332
3587.48/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c zerohalf : 4.78 0.00 217 22 0 0 922 16003 317 8098 7875 223 0
3587.48/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.48/3597.00 c hybrid : 0.11 0.00 12959 22 111575 0 48478 807 0 2824
3587.48/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.48/3597.00 c problem variables: 0.00 - 0 0
3587.48/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.48/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c relpscost : 12.01 0.00 10742 0 0 0 0 0 0 21484
3587.48/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.48/3597.00 c LP solutions : 0.00 - - 0 0
3587.48/3597.00 c relax solutions : 0.00 - - 0 0
3587.48/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.48/3597.00 c strong branching : 0.00 - - 0 0
3587.48/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.48/3597.00 c adaptivediving : 32.24 0.00 21 0 0
3587.48/3597.00 c alns : 0.03 0.00 4 0 0
3587.48/3597.00 c bound : 0.00 0.00 0 0 0
3587.48/3597.00 c clique : 0.02 0.00 1 0 0
3587.48/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.48/3597.00 c completesol : 0.00 0.00 0 0 0
3587.48/3597.00 c conflictdiving : 23.36 0.00 36 0 0
3587.48/3597.00 c crossover : 0.00 0.00 0 0 0
3587.48/3597.00 c dins : 0.00 0.00 0 0 0
3587.48/3597.00 c distributiondivin: 23.89 0.00 35 0 0
3587.48/3597.00 c dks : 0.00 0.00 0 0 0
3587.48/3597.00 c dps : 0.00 0.00 0 0 0
3587.48/3597.00 c dualval : 0.00 0.00 0 0 0
3587.48/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.48/3597.00 c feaspump : 22.46 0.00 14 0 0
3587.48/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.48/3597.00 c fracdiving : 17.89 0.00 35 0 0
3587.48/3597.00 c gins : 0.00 0.00 0 0 0
3587.48/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.48/3597.00 c indicator : 0.00 0.00 0 0 0
3587.48/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.48/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.48/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.48/3597.00 c linesearchdiving : 18.47 0.00 36 0 0
3587.48/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.48/3597.00 c locks : 0.01 0.00 1 0 0
3587.48/3597.00 c lpface : 0.08 0.00 0 0 0
3587.48/3597.00 c mpec : 0.00 0.00 0 0 0
3587.48/3597.00 c multistart : 0.00 0.00 0 0 0
3587.48/3597.00 c mutation : 0.00 0.00 0 0 0
3587.48/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.48/3597.00 c objpscostdiving : 185.76 0.00 12 0 0
3587.48/3597.00 c octane : 0.00 0.00 0 0 0
3587.48/3597.00 c ofins : 0.00 0.00 0 0 0
3587.48/3597.00 c oneopt : 0.01 0.00 0 0 0
3587.48/3597.00 c padm : 0.00 0.00 0 0 0
3587.48/3597.00 c proximity : 0.00 0.00 0 0 0
3587.48/3597.00 c pscostdiving : 24.43 0.00 36 0 0
3587.48/3597.00 c randrounding : 0.51 0.00 1976 0 0
3587.48/3597.00 c rens : 0.00 0.00 0 0 0
3587.48/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.48/3597.00 c repair : 0.00 0.00 0 0 0
3587.48/3597.00 c rins : 0.00 0.00 0 0 0
3587.48/3597.00 c rootsoldiving : 32.30 0.00 15 0 0
3587.48/3597.00 c rounding : 0.70 0.00 2129 0 0
3587.48/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.48/3597.00 c shiftandpropagate: 0.04 0.00 2 0 0
3587.48/3597.00 c shifting : 1.42 0.00 718 0 0
3587.48/3597.00 c simplerounding : 0.01 0.00 0 0 0
3587.48/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.48/3597.00 c trivial : 0.00 0.00 4 0 0
3587.48/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.48/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.48/3597.00 c trysol : 0.00 0.00 0 0 0
3587.48/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.48/3597.00 c undercover : 1.22 0.00 1 0 0
3587.48/3597.00 c vbounds : 0.03 0.00 2 0 0
3587.48/3597.00 c veclendiving : 18.35 0.00 35 0 0
3587.48/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.48/3597.00 c zirounding : 0.16 0.00 1000 0 0
3587.48/3597.00 c other solutions : - - - 0 -
3587.48/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.48/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.48/3597.00 c zeroobjective : 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
3587.48/3597.00 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
3587.48/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.48/3597.00 c primal LP : 0.71 624 0 0.00 0.00 0.71 624
3587.48/3597.00 c dual LP : 2977.53 24242 11443535 472.07 3843.29 0.00 1
3587.48/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.48/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.48/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.48/3597.00 c diving/probing LP: 397.41 1924 873716 454.11 2198.54
3587.48/3597.00 c strong branching : 7.67 22 22000 1000.00 2870.15 - - 44
3587.48/3597.00 c (at root node) : - 22 22000 1000.00 -
3587.48/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.48/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.48/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3587.48/3597.00 c B&B Tree :
3587.48/3597.00 c number of runs : 2
3587.48/3597.00 c nodes : 14982 (10138 internal, 4844 leaves)
3587.48/3597.00 c feasible leaves : 0
3587.48/3597.00 c infeas. leaves : 4843
3587.48/3597.00 c objective leaves : 0
3587.48/3597.00 c nodes (total) : 15877 (10742 internal, 5135 leaves)
3587.48/3597.00 c nodes left : 107
3587.48/3597.00 c max depth : 42
3587.48/3597.00 c max depth (total): 42
3587.48/3597.00 c backtracks : 4755 (31.7%)
3587.48/3597.00 c early backtracks : 0 (0.0%)
3587.48/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.48/3597.00 c delayed cutoffs : 5189
3587.48/3597.00 c repropagations : 13483 (1761657 domain reductions, 4068 cutoffs)
3587.48/3597.00 c avg switch length: 3.45
3587.48/3597.00 c switching time : 8.03
3587.48/3597.00 c Root Node :
3587.48/3597.00 c First LP value : +0.00000000000000e+00
3587.48/3597.00 c First LP Iters : 5291 (4840.78 Iter/sec)
3587.48/3597.00 c First LP Time : 1.09
3587.48/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.48/3597.00 c Final Root Iters : 55207
3587.48/3597.00 c Root LP Estimate : +1.65904049349423e-01
3587.48/3597.00 c Solution :
3587.48/3597.00 c Solutions found : 0 (0 improvements)
3587.48/3597.00 c Primal Bound : -
3587.48/3597.00 c Dual Bound : +0.00000000000000e+00
3587.48/3597.00 c Gap : infinite
3587.48/3597.00 c Integrals : Total Avg%
3587.48/3597.00 c primal-dual : 359700.12 100.00
3587.48/3597.00 c primal-ref : - - (not evaluated)
3587.48/3597.00 c dual-ref : - - (not evaluated)
3587.48/3597.06 c Time complete (sec): 3587.552
ERROR: no interpretation found !
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 (61578 MiB free)
memory of node 1: 64507 MiB (58999 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4501769-1751153513/watcher-4501769-1751153513 -o /tmp/evaluation-result-4501769-1751153513/solver-4501769-1751153513 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751146306-16115 --watchdog 3760 pbsolver -f HOME/instance-4501769-1751153513.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=18958, runsolver pid=18955
[startup+0.100065 s]*
/proc/loadavg: 4.16 4.14 4.10 5/264 18959
/proc/meminfo: memFree=123416204/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=77332 memory=67072 CPUtime=0.1 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 14645 0 0 0 8 2 0 0 20 0 1 0 31029097 79187968 16768 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 19333 16768 2400 2575 0 16240 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77332 KiB
Current children cumulated memory: 67072 KiB
[startup+0.205576 s]*
/proc/loadavg: 4.16 4.14 4.10 5/264 18959
/proc/meminfo: memFree=123416204/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=83764 memory=72832 CPUtime=0.2 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 16054 0 0 0 18 2 0 0 20 0 1 0 31029097 85774336 18208 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 20941 18208 2432 2575 0 17848 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 83764 KiB
Current children cumulated memory: 72832 KiB
[startup+0.305573 s]*
/proc/loadavg: 4.16 4.14 4.10 5/264 18959
/proc/meminfo: memFree=123416204/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=91580 memory=80932 CPUtime=0.3 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 18758 0 0 0 27 3 0 0 20 0 1 0 31029097 93777920 20233 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 22895 20233 2496 2575 0 19802 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 91580 KiB
Current children cumulated memory: 80932 KiB
[startup+0.700169 s]
/proc/loadavg: 4.16 4.14 4.10 5/262 18962
/proc/meminfo: memFree=124839988/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=91024 memory=80388 CPUtime=0.69 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 19867 0 0 0 66 3 0 0 20 0 1 0 31029097 93208576 20097 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 22756 20097 2624 2575 0 19663 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 91024 KiB
Current children cumulated memory: 80388 KiB
[startup+1.50015 s]
/proc/loadavg: 4.16 4.14 4.10 4/260 18967
/proc/meminfo: memFree=124839280/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=99536 memory=88580 CPUtime=1.48 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 21887 0 0 0 145 3 0 0 20 0 1 0 31029097 101924864 22145 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 24884 22145 2624 2575 0 21791 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 99536 KiB
Current children cumulated memory: 88580 KiB
[startup+3.10533 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 19004
/proc/meminfo: memFree=124788396/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=99536 memory=88580 CPUtime=3.08 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 21887 0 0 0 305 3 0 0 20 0 1 0 31029097 101924864 22145 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 24884 22145 2624 2575 0 21791 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 99536 KiB
Current children cumulated memory: 88580 KiB
[startup+6.30014 s]
/proc/loadavg: 4.07 4.12 4.09 6/264 19049
/proc/meminfo: memFree=128805740/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=122452 memory=105928 CPUtime=6.26 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 26949 0 0 0 622 4 0 0 20 0 1 0 31029097 125390848 26482 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 30613 26482 2688 2575 0 27520 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 122452 KiB
Current children cumulated memory: 105928 KiB
[startup+12.7001 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 19049
/proc/meminfo: memFree=128621908/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=182648 memory=164036 CPUtime=12.64 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 41751 0 0 0 1257 7 0 0 20 0 1 0 31029097 187031552 41009 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 45662 41009 2688 2575 0 42569 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 182648 KiB
Current children cumulated memory: 164036 KiB
[startup+25.5001 s]
/proc/loadavg: 4.05 4.11 4.09 5/264 19094
/proc/meminfo: memFree=128431200/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=194036 memory=175812 CPUtime=25.4 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 44711 0 0 0 2532 8 0 0 20 0 1 0 31029097 198692864 43953 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 48509 43953 2688 2575 0 45416 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 194036 KiB
Current children cumulated memory: 175812 KiB
[startup+51.1053 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 19094
/proc/meminfo: memFree=128370336/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=194036 memory=177732 CPUtime=50.93 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 45196 0 0 0 5085 8 0 0 20 0 1 0 31029097 198692864 44433 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 48509 44433 2688 2575 0 45416 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 194036 KiB
Current children cumulated memory: 177732 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 19096
/proc/meminfo: memFree=128361296/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=194036 memory=177860 CPUtime=101.97 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 45213 0 0 0 10189 8 0 0 20 0 1 0 31029097 198692864 44465 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 48509 44465 2688 2575 0 45416 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 194036 KiB
Current children cumulated memory: 177860 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 19099
/proc/meminfo: memFree=128227956/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=200296 memory=183748 CPUtime=161.78 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 46690 0 0 0 16170 8 0 0 20 0 1 0 31029097 205103104 45937 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 50074 45937 2688 2575 0 46981 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 200296 KiB
Current children cumulated memory: 183748 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 19145
/proc/meminfo: memFree=128763844/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=219668 memory=203600 CPUtime=221.59 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 56600 0 0 0 22148 11 0 0 20 0 1 0 31029097 224940032 50900 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 54917 50900 2688 2575 0 51824 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 219668 KiB
Current children cumulated memory: 203600 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 19147
/proc/meminfo: memFree=128744980/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=221760 memory=206976 CPUtime=281.43 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 57792 0 0 0 28132 11 0 0 20 0 1 0 31029097 227082240 51744 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 55440 51744 2688 2575 0 52347 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 221760 KiB
Current children cumulated memory: 206976 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 19149
/proc/meminfo: memFree=128696956/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=241808 memory=233444 CPUtime=341.29 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 63269 0 0 0 34117 12 0 0 20 0 1 0 31029097 247611392 58361 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 60452 58361 2688 2575 0 57359 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 241808 KiB
Current children cumulated memory: 233444 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 19151
/proc/meminfo: memFree=128551188/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=243140 memory=234792 CPUtime=401.14 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 66433 0 0 0 40101 13 0 0 20 0 1 0 31029097 248975360 58698 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 60785 58698 2688 2575 0 57692 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 243140 KiB
Current children cumulated memory: 234792 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 19158
/proc/meminfo: memFree=128542444/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=243140 memory=234792 CPUtime=461 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 66521 0 0 0 46087 13 0 0 20 0 1 0 31029097 248975360 58698 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 60785 58698 2688 2575 0 57692 0
################
# More data... #
################
/proc/loadavg: 4.09 4.11 4.09 5/263 19300
/proc/meminfo: memFree=128069520/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=322684 memory=313128 CPUtime=3153.81 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 82196 0 0 0 315362 19 0 0 20 0 1 0 31029097 330428416 78282 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 80671 78282 2688 2575 0 77578 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 322684 KiB
Current children cumulated memory: 313128 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 19303
/proc/meminfo: memFree=128071452/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=322816 memory=313256 CPUtime=3213.67 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 82243 0 0 0 321348 19 0 0 20 0 1 0 31029097 330563584 78314 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 80704 78314 2688 2575 0 77611 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 322816 KiB
Current children cumulated memory: 313256 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 19305
/proc/meminfo: memFree=128072836/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=323412 memory=313256 CPUtime=3273.53 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 82244 0 0 0 327334 19 0 0 20 0 1 0 31029097 331173888 78314 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 80853 78314 2688 2575 0 77760 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 323412 KiB
Current children cumulated memory: 313256 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 19307
/proc/meminfo: memFree=128074176/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=323676 memory=313512 CPUtime=3333.38 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 82429 0 0 0 333319 19 0 0 20 0 1 0 31029097 331444224 78378 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 80919 78378 2688 2575 0 77826 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 323676 KiB
Current children cumulated memory: 313512 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 19309
/proc/meminfo: memFree=128075772/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=327420 memory=315944 CPUtime=3393.24 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 83031 0 0 0 339305 19 0 0 20 0 1 0 31029097 335278080 78986 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 81855 78986 2688 2575 0 78762 0
Current children cumulated CPU time: 3393.24 s
Current children cumulated vsize: 327420 KiB
Current children cumulated memory: 315944 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 19315
/proc/meminfo: memFree=128075340/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=327420 memory=315944 CPUtime=3453.09 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 83051 0 0 0 345290 19 0 0 20 0 1 0 31029097 335278080 78986 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 81855 78986 2688 2575 0 78762 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 327420 KiB
Current children cumulated memory: 315944 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 19320
/proc/meminfo: memFree=128075264/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=327420 memory=315944 CPUtime=3512.95 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 83053 0 0 0 351276 19 0 0 20 0 1 0 31029097 335278080 78986 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 81855 78986 2688 2575 0 78762 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 327420 KiB
Current children cumulated memory: 315944 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 19323
/proc/meminfo: memFree=128071632/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=327420 memory=316072 CPUtime=3572.81 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 83071 0 0 0 357262 19 0 0 20 0 1 0 31029097 335278080 79018 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 81855 79018 2688 2575 0 78762 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 327420 KiB
Current children cumulated memory: 316072 KiB
[startup+3597.07 s]
# the end of solver process 18958 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.35 s, system=0.200678 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.09 5/263 19323
/proc/meminfo: memFree=128071640/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=327420 memory=316072 CPUtime=3574.51 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 83071 0 0 0 357432 19 0 0 20 0 1 0 31029097 335278080 79018 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 81855 79018 2688 2575 0 78762 0
Current children cumulated CPU time: 3574.51 s
Current children cumulated vsize: 327420 KiB
Current children cumulated memory: 316072 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 19323
/proc/meminfo: memFree=128071640/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=327420 memory=316072 CPUtime=3580.89 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 83071 0 0 0 358070 19 0 0 20 0 1 0 31029097 335278080 79018 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 81855 79018 2688 2575 0 78762 0
Current children cumulated CPU time: 3580.89 s
Current children cumulated vsize: 327420 KiB
Current children cumulated memory: 316072 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 19323
/proc/meminfo: memFree=128071640/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=327420 memory=316072 CPUtime=3584.08 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 83071 0 0 0 358389 19 0 0 20 0 1 0 31029097 335278080 79018 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 81855 79018 2688 2575 0 78762 0
Current children cumulated CPU time: 3584.08 s
Current children cumulated vsize: 327420 KiB
Current children cumulated memory: 316072 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 19323
/proc/meminfo: memFree=128071640/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=327420 memory=316072 CPUtime=3585.68 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 83071 0 0 0 358549 19 0 0 20 0 1 0 31029097 335278080 79018 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 81855 79018 2688 2575 0 78762 0
Current children cumulated CPU time: 3585.68 s
Current children cumulated vsize: 327420 KiB
Current children cumulated memory: 316072 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.10 4.09 5/263 19323
/proc/meminfo: memFree=128071640/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=327420 memory=316072 CPUtime=3586.48 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 83071 0 0 0 358629 19 0 0 20 0 1 0 31029097 335278080 79018 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 81855 79018 2688 2575 0 78762 0
Current children cumulated CPU time: 3586.48 s
Current children cumulated vsize: 327420 KiB
Current children cumulated memory: 316072 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 19323
/proc/meminfo: memFree=128071640/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=327420 memory=316072 CPUtime=3587.27 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 83071 0 0 0 358708 19 0 0 20 0 1 0 31029097 335278080 79018 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 81855 79018 2688 2575 0 78762 0
Current children cumulated CPU time: 3587.27 s
Current children cumulated vsize: 327420 KiB
Current children cumulated memory: 316072 KiB
[startup+3597 s]*
/proc/loadavg: 4.08 4.10 4.09 5/263 19323
/proc/meminfo: memFree=128071640/131249996 swapFree=33010684/33010684
[pid=18958] ppid=18955 vsize=327420 memory=316072 CPUtime=3587.48 cores=4,6
/proc/18958/stat : 18958 (pbsolver) R 18955 18958 16104 0 -1 4194304 83071 0 0 0 358729 19 0 0 20 0 1 0 31029097 335278080 79018 18446744073709551615 4198400 14743177 140728599656560 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24526848 140728599665034 140728599665130 140728599665130 140728599670732 0
/proc/18958/statm: 81855 79018 2688 2575 0 78762 0
Current children cumulated CPU time: 3587.48 s
Current children cumulated vsize: 327420 KiB
Current children cumulated memory: 316072 KiB
Child status: 0
Real time (s): 3597.07
CPU time (s): 3587.55
CPU user time (s): 3587.35
CPU system time (s): 0.200678
CPU usage (%): 99.7354
Max. virtual memory (cumulated for all children) (KiB): 327420
Max. memory (cumulated for all children) (KiB): 316072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.35
system time used= 0.200678
maximum resident set size= 316072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83077
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= 40
involuntary context switches= 2170
# summary of solver processes directly reported to runsolver:
# pid: 18958
# total CPU time (s): 3587.55
# total CPU user time (s): 3587.35
# total CPU system time (s): 0.200678
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18338 second user time and 14.3046 second system time
The end
Begin job on nodeC017 at 2025-06-29 01:31:53 IDJOB=4501769 IDBENCH=151618 IDSOLVER=3366 FILE ID=nodeC017/4501769-1751153513 RUNJOBID= nodeC017-1751146306-16115 SLURM_JOB_ID= 9587458 Free space on /tmp= 432912 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j60/normalized-j605_7-sat.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4501769-1751153513/watcher-4501769-1751153513 -o /tmp/evaluation-result-4501769-1751153513/solver-4501769-1751153513 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751146306-16115 --watchdog 3760 pbsolver -f HOME/instance-4501769-1751153513.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0cdbb1fc299265025d38c8df62ac854d RANDOM SEED=1524327991 nodeC017 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.060 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.12 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.065 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.12 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 : 3519.571 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.12 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 : 3700.000 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.12 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.077 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.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.054 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.12 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 : 3600.887 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.12 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 : 3547.569 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.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 123471584 kB MemAvailable: 123239808 kB Buffers: 3280 kB Cached: 579096 kB SwapCached: 0 kB Active: 6739064 kB Inactive: 360100 kB Active(anon): 6534872 kB Inactive(anon): 0 kB Active(file): 204192 kB Inactive(file): 360100 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15884 kB Writeback: 0 kB AnonPages: 6518864 kB Mapped: 134932 kB Shmem: 18080 kB KReclaimable: 85944 kB Slab: 169128 kB SReclaimable: 85944 kB SUnreclaim: 83184 kB KernelStack: 4320 kB PageTables: 16096 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 7278696 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3518464 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: 176852 kB DirectMap2M: 6934528 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432948 MiB End job on nodeC017 at 2025-06-29 02:31:51