| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3586.72 | 3597.04 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K75.opb |
| MD5SUM | 20bd7084da444bf6829119f4b61cf926 |
| 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 | 0.539647 |
| 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 | 4125 |
| Total number of constraints | 4277 |
| Number of constraints which are clauses | 4202 |
| Number of constraints which are cardinality constraints (but not clauses) | 75 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 75 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 76 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-4507635-1751193166.opb>
0.00/0.04 c original problem has 4125 variables (4125 bin, 0 int, 0 cont) and 4277 constraints
0.00/0.04 c problem read in 0.037 seconds
0.00/0.04 c problem without objective
0.00/0.07 c presolving:
0.00/0.09 c (round 1, fast) 174 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 782 clqs
0.00/0.09 c (round 2, fast) 434 del vars, 190 del conss, 0 add conss, 60 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 769 clqs
0.00/0.09 c (round 3, fast) 551 del vars, 276 del conss, 0 add conss, 116 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 766 clqs
0.00/0.10 c (round 4, fast) 644 del vars, 346 del conss, 0 add conss, 154 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 777 clqs
0.00/0.10 c (round 5, fast) 701 del vars, 391 del conss, 0 add conss, 176 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 799 clqs
0.00/0.10 c (round 6, fast) 723 del vars, 410 del conss, 0 add conss, 183 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 817 clqs
0.00/0.10 c (round 7, fast) 727 del vars, 414 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 826 clqs
0.11/0.12 c (0.1s) running MILP presolver
0.60/0.69 c (0.7s) MILP presolver (22 rounds): 5 aggregations, 174 fixings, 0 bound changes
0.60/0.69 c (round 8, medium) 906 del vars, 414 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 707 clqs
0.60/0.69 c (round 9, fast) 906 del vars, 594 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 711 clqs
0.68/0.70 c (round 10, exhaustive) 906 del vars, 664 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 711 clqs
0.68/0.73 c (round 11, exhaustive) 906 del vars, 664 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 3613 upgd conss, 0 impls, 711 clqs
0.68/0.76 c (round 12, exhaustive) 933 del vars, 665 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 32 chg coeffs, 3613 upgd conss, 0 impls, 711 clqs
0.68/0.77 c (round 13, fast) 960 del vars, 691 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 32 chg coeffs, 3613 upgd conss, 0 impls, 713 clqs
1.49/1.52 c (round 14, exhaustive) 985 del vars, 692 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 32 chg coeffs, 3613 upgd conss, 0 impls, 23592 clqs
1.49/1.52 c (round 15, fast) 985 del vars, 717 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 57 chg coeffs, 3613 upgd conss, 0 impls, 23593 clqs
1.49/1.53 c (round 16, exhaustive) 985 del vars, 721 del conss, 1 add conss, 184 chg bounds, 0 chg sides, 57 chg coeffs, 3613 upgd conss, 0 impls, 23593 clqs
1.49/1.56 c (round 17, exhaustive) 1010 del vars, 722 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 57 chg coeffs, 3613 upgd conss, 0 impls, 23590 clqs
1.49/1.56 c (round 18, fast) 1010 del vars, 747 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 85 chg coeffs, 3613 upgd conss, 0 impls, 23590 clqs
1.88/2.00 c (2.0s) probing: 1000/3463 (28.9%) - 68 fixings, 2 aggregations, 377043 implications, 0 bound changes
2.10/2.15 c (round 19, exhaustive) 1035 del vars, 747 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 85 chg coeffs, 3613 upgd conss, 0 impls, 24036 clqs
2.10/2.15 c (round 20, fast) 1035 del vars, 772 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 127 chg coeffs, 3613 upgd conss, 0 impls, 24044 clqs
2.18/2.20 c (round 21, exhaustive) 1060 del vars, 772 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 127 chg coeffs, 3613 upgd conss, 0 impls, 24040 clqs
2.18/2.20 c (round 22, fast) 1060 del vars, 797 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 164 chg coeffs, 3613 upgd conss, 0 impls, 24040 clqs
2.68/2.79 c (2.8s) probing: 2000/3463 (57.8%) - 119 fixings, 2 aggregations, 697851 implications, 0 bound changes
2.88/2.93 c (round 23, exhaustive) 1085 del vars, 797 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 164 chg coeffs, 3613 upgd conss, 0 impls, 24058 clqs
2.88/2.93 c (round 24, fast) 1085 del vars, 822 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 207 chg coeffs, 3613 upgd conss, 0 impls, 24063 clqs
3.48/3.52 c (3.5s) probing: 3000/3463 (86.6%) - 138 fixings, 2 aggregations, 1024675 implications, 0 bound changes
3.58/3.65 c (3.7s) probing: 3223/3463 (93.1%) - 138 fixings, 2 aggregations, 1088120 implications, 0 bound changes
3.58/3.65 c (3.7s) probing aborted: 1000/1000 successive useless probings
3.58/3.65 c (round 25, exhaustive) 1100 del vars, 822 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 207 chg coeffs, 3613 upgd conss, 0 impls, 24076 clqs
3.58/3.65 c (round 26, fast) 1100 del vars, 837 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 230 chg coeffs, 3613 upgd conss, 0 impls, 24076 clqs
3.68/3.74 c (3.7s) probing: 3323/3463 (96.0%) - 138 fixings, 2 aggregations, 1116963 implications, 0 bound changes
3.68/3.74 c (3.7s) probing aborted: 1000/1000 successive useless probings
3.68/3.74 c (3.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.68/3.75 c (3.7s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.90) (symcode time: 0.00)
3.68/3.75 c dynamic symmetry handling statistics:
3.68/3.75 c orbitopal reduction: no components
3.68/3.75 c orbital reduction: no components
3.68/3.75 c lexicographic reduction: 3 permutations with support sizes 336, 130, 124
3.68/3.75 c handled 3 out of 3 symmetry components
3.68/3.76 c presolving (27 rounds: 27 fast, 12 medium, 11 exhaustive):
3.68/3.76 c 1100 deleted vars, 837 deleted constraints, 2 added constraints, 184 tightened bounds, 0 added holes, 0 changed sides, 230 changed coefficients
3.68/3.76 c 0 implications, 24102 cliques
3.68/3.76 c presolved problem has 3323 variables (3323 bin, 0 int, 0 cont) and 3442 constraints
3.68/3.76 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
3.68/3.76 c 701 constraints of type <setppc>
3.68/3.76 c 2741 constraints of type <logicor>
3.68/3.76 c transformed objective value is always integral (scale: 1)
3.68/3.76 c Presolving Time: 3.69
3.68/3.76 c
3.68/3.76 c - non default parameters ----------------------------------------------------------------------
3.68/3.76 c
3.68/3.76 c # SCIP version 10.0.0
3.68/3.76 c
3.68/3.76 c # maximal time in seconds to run
3.68/3.76 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.68/3.76 c limits/time = 3596.995056
3.68/3.76 c
3.68/3.76 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.68/3.76 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.68/3.76 c limits/memory = 27900
3.68/3.76 c
3.68/3.76 c # belongs reading time to solving time?
3.68/3.76 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.68/3.76 c timing/reading = TRUE
3.68/3.76 c
3.68/3.76 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
3.68/3.76 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
3.68/3.76 c reading/opbreader/maxintsize = 47
3.68/3.76 c
3.68/3.76 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
3.68/3.76 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
3.68/3.76 c propagating/genvbounds/timingmask = 0
3.68/3.76 c
3.68/3.76 c -----------------------------------------------------------------------------------------------
3.68/3.76 c
5.27/5.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.27/5.33 c 5.3s| 1 | 0 | 7678 | - | 76M | 0 |3323 |3596 |3442 | 0 | 0 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
16.44/16.59 c 16.6s| 1 | 0 | 41000 | - | 83M | 0 |3323 |3796 |3448 | 6 | 1 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
17.06/17.14 c 17.1s| 1 | 0 | 42343 | - | 84M | 0 |3323 |3805 |3456 | 14 | 2 | 181 | 0 | 0.000000e+00 | -- | Inf | unknown
17.84/17.93 c 17.9s| 1 | 0 | 44527 | - | 85M | 0 |3323 |3806 |3468 | 26 | 3 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
18.44/18.55 c 18.5s| 1 | 0 | 45852 | - | 87M | 0 |3323 |3816 |3473 | 31 | 4 | 192 | 0 | 0.000000e+00 | -- | Inf | unknown
19.34/19.46 c 19.5s| 1 | 0 | 48295 | - | 88M | 0 |3323 |3818 |3486 | 44 | 5 | 194 | 0 | 0.000000e+00 | -- | Inf | unknown
20.24/20.31 c 20.3s| 1 | 0 | 50315 | - | 89M | 0 |3323 |3821 |3494 | 52 | 6 | 197 | 0 | 0.000000e+00 | -- | Inf | unknown
21.05/21.11 c 21.1s| 1 | 0 | 52184 | - | 89M | 0 |3323 |3821 |3504 | 62 | 7 | 199 | 0 | 0.000000e+00 | -- | Inf | unknown
22.23/22.33 c 22.3s| 1 | 0 | 55376 | - | 90M | 0 |3323 |3820 |3510 | 68 | 8 | 200 | 0 | 0.000000e+00 | -- | Inf | unknown
23.43/23.53 c 23.5s| 1 | 0 | 58379 | - | 91M | 0 |3323 |3820 |3525 | 83 | 9 | 204 | 0 | 0.000000e+00 | -- | Inf | unknown
24.32/24.47 c 24.5s| 1 | 0 | 60509 | - | 92M | 0 |3323 |3815 |3534 | 92 | 10 | 208 | 0 | 0.000000e+00 | -- | Inf | unknown
25.52/25.64 c 25.6s| 1 | 0 | 64203 | - | 92M | 0 |3323 |3805 |3545 | 103 | 11 | 218 | 0 | 0.000000e+00 | -- | Inf | unknown
39.68/39.85 c 39.8s| 1 | 2 |101761 | - | 92M | 0 |3323 |3769 |3545 | 103 | 11 | 226 | 11 | 0.000000e+00 | -- | Inf | unknown
91.76/92.07 c 92.1s| 100 | 31 |270789 |2086.7 | 103M | 25 |3323 |3836 |3512 | 143 | 1 | 342 | 11 | 0.000000e+00 | -- | Inf | unknown
219.08/219.73 c 220s| 200 | 81 |779822 |3596.1 | 113M | 25 |3323 |3954 |3516 | 240 | 0 | 614 | 11 | 0.000000e+00 | -- | Inf | 1.14%
255.56/256.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
255.56/256.34 c 256s| 300 | 115 |932663 |2904.5 | 116M | 25 |3323 |3975 |3494 | 294 | 1 | 813 | 11 | 0.000000e+00 | -- | Inf | 2.95%
281.19/282.05 c 282s| 400 | 136 | 1044k|2457.8 | 118M | 34 |3323 |3993 | 0 | 321 | 0 | 917 | 11 | 0.000000e+00 | -- | Inf | 3.21%
292.05/292.95 c 293s| 500 | 138 | 1098k|2072.5 | 120M | 40 |3323 |3994 | 0 | 360 | 0 | 954 | 11 | 0.000000e+00 | -- | Inf | 3.23%
304.61/305.55 c 306s| 600 | 142 | 1158k|1826.8 | 121M | 40 |3323 |4000 |3503 | 397 | 0 | 985 | 11 | 0.000000e+00 | -- | Inf | 3.43%
315.87/316.88 c 317s| 700 | 140 | 1211k|1641.5 | 122M | 40 |3323 |4056 |3504 | 421 | 0 |1067 | 11 | 0.000000e+00 | -- | Inf | 3.46%
328.23/329.28 c 329s| 800 | 140 | 1268k|1507.5 | 122M | 40 |3323 |4080 |3504 | 469 | 1 |1118 | 11 | 0.000000e+00 | -- | Inf | 3.47%
338.20/339.21 c 339s| 900 | 144 | 1316k|1392.5 | 123M | 40 |3323 |4084 |3500 | 497 | 0 |1195 | 11 | 0.000000e+00 | -- | Inf | 3.52%
345.68/346.79 c 347s| 1000 | 144 | 1355k|1292.9 | 124M | 40 |3323 |4122 |3501 | 500 | 0 |1240 | 11 | 0.000000e+00 | -- | Inf | 3.52%
353.97/355.04 c 355s| 1100 | 144 | 1399k|1214.8 | 124M | 40 |3323 |4167 |3500 | 506 | 1 |1308 | 11 | 0.000000e+00 | -- | Inf | 3.52%
362.53/363.70 c 364s| 1200 | 147 | 1443k|1150.8 | 125M | 40 |3323 |4214 |3500 | 514 | 1 |1367 | 11 | 0.000000e+00 | -- | Inf | 3.52%
369.21/370.35 c 370s| 1300 | 147 | 1479k|1089.4 | 125M | 40 |3323 |4278 |3500 | 516 | 0 |1431 | 11 | 0.000000e+00 | -- | Inf | 3.52%
376.29/377.43 c 377s| 1400 | 143 | 1515k|1037.7 | 126M | 40 |3323 |4339 |3503 | 519 | 1 |1492 | 11 | 0.000000e+00 | -- | Inf | 3.52%
383.17/384.38 c 384s| 1500 | 145 | 1552k| 992.9 | 126M | 40 |3323 |4368 | 0 | 538 | 0 |1553 | 11 | 0.000000e+00 | -- | Inf | 3.53%
393.24/394.48 c 394s| 1600 | 145 | 1604k| 963.0 | 127M | 40 |3323 |4346 |3499 | 541 | 1 |1595 | 11 | 0.000000e+00 | -- | Inf | 3.56%
404.81/406.05 c 406s| 1700 | 141 | 1661k| 940.1 | 127M | 40 |3323 |4366 |3500 | 549 | 0 |1641 | 11 | 0.000000e+00 | -- | Inf | 3.58%
414.27/415.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
414.27/415.53 c 416s| 1800 | 141 | 1710k| 915.0 | 127M | 40 |3323 |4409 |3505 | 556 | 0 |1695 | 11 | 0.000000e+00 | -- | Inf | 3.59%
426.43/427.78 c 428s| 1900 | 149 | 1770k| 898.3 | 127M | 40 |3323 |4386 |3500 | 581 | 0 |1733 | 11 | 0.000000e+00 | -- | Inf | 3.60%
428.84/430.15 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
428.92/430.21 c (run 1, node 1927) performing user restart
428.92/430.21 c
428.92/430.21 c (restart) converted 50 cuts from the global cut pool into linear constraints
428.92/430.21 c
428.92/430.22 c presolving:
428.92/430.23 c (round 1, fast) 0 del vars, 22 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 24102 clqs
428.92/430.24 c (round 2, exhaustive) 0 del vars, 24 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 24102 clqs
428.92/430.24 c (round 3, exhaustive) 0 del vars, 24 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 241 upgd conss, 0 impls, 24102 clqs
428.92/430.25 c (round 4, medium) 0 del vars, 30 del conss, 13 add conss, 0 chg bounds, 24 chg sides, 43 chg coeffs, 241 upgd conss, 0 impls, 24102 clqs
428.92/430.25 c (round 5, exhaustive) 0 del vars, 45 del conss, 13 add conss, 0 chg bounds, 24 chg sides, 74 chg coeffs, 241 upgd conss, 0 impls, 24102 clqs
429.02/430.32 c (round 6, exhaustive) 0 del vars, 120 del conss, 13 add conss, 0 chg bounds, 24 chg sides, 1702 chg coeffs, 241 upgd conss, 0 impls, 24102 clqs
429.12/430.40 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
429.12/430.40 c 0 deleted vars, 120 deleted constraints, 13 added constraints, 0 tightened bounds, 0 added holes, 24 changed sides, 1718 changed coefficients
429.12/430.40 c 0 implications, 24102 cliques
429.12/430.40 c presolved problem has 3323 variables (3323 bin, 0 int, 0 cont) and 4326 constraints
429.12/430.40 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
429.12/430.40 c 38 constraints of type <knapsack>
429.12/430.40 c 855 constraints of type <setppc>
429.12/430.40 c 1 constraints of type <linear>
429.12/430.40 c 3432 constraints of type <logicor>
429.12/430.40 c transformed objective value is always integral (scale: 1)
429.12/430.40 c Presolving Time: 3.88
429.12/430.40 c
431.22/432.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
431.22/432.57 c 433s| 1 | 0 | 1792k| - | 129M | 0 |3323 |4341 |3485 | 0 | 0 |1749 | 11 | 0.000000e+00 | -- | Inf | unknown
432.02/433.39 c 433s| 1 | 0 | 1794k| - | 131M | 0 |3323 |4338 |3490 | 5 | 1 |1750 | 11 | 0.000000e+00 | -- | Inf | unknown
433.11/434.40 c 434s| 1 | 0 | 1797k| - | 132M | 0 |3323 |4339 |3505 | 20 | 2 |1752 | 11 | 0.000000e+00 | -- | Inf | unknown
434.31/435.69 c 436s| 1 | 0 | 1801k| - | 132M | 0 |3323 |4337 |3520 | 35 | 3 |1754 | 11 | 0.000000e+00 | -- | Inf | unknown
435.72/437.09 c 437s| 1 | 0 | 1805k| - | 132M | 0 |3323 |4334 |3533 | 48 | 4 |1757 | 11 | 0.000000e+00 | -- | Inf | unknown
436.81/438.17 c 438s| 1 | 0 | 1808k| - | 134M | 0 |3323 |4330 |3546 | 61 | 5 |1758 | 11 | 0.000000e+00 | -- | Inf | unknown
437.71/439.03 c 439s| 1 | 0 | 1809k| - | 134M | 0 |3323 |4328 |3551 | 66 | 6 |1763 | 11 | 0.000000e+00 | -- | Inf | unknown
439.39/440.71 c 441s| 1 | 0 | 1814k| - | 135M | 0 |3323 |4323 |3562 | 77 | 7 |1764 | 11 | 0.000000e+00 | -- | Inf | unknown
441.19/442.50 c 442s| 1 | 0 | 1819k| - | 135M | 0 |3323 |4321 |3574 | 89 | 8 |1774 | 11 | 0.000000e+00 | -- | Inf | unknown
443.18/444.50 c 444s| 1 | 0 | 1824k| - | 135M | 0 |3323 |4282 |3585 | 100 | 9 |1775 | 11 | 0.000000e+00 | -- | Inf | unknown
445.28/446.61 c 447s| 1 | 0 | 1830k| - | 136M | 0 |3323 |4245 |3558 | 111 | 10 |1777 | 11 | 0.000000e+00 | -- | Inf | unknown
447.47/448.81 c 449s| 1 | 0 | 1837k| - | 136M | 0 |3323 |4215 |3569 | 122 | 11 |1783 | 11 | 0.000000e+00 | -- | Inf | unknown
462.33/463.76 c 464s| 1 | 2 | 1867k| - | 136M | 0 |3323 |4072 |3569 | 122 | 11 |1799 | 30 | 0.000000e+00 | -- | Inf | unknown
491.14/492.65 c 493s| 100 | 21 | 1984k| 920.9 | 137M | 40 |3323 |4110 |3535 | 153 | 0 |1856 | 30 | 0.000000e+00 | -- | Inf | unknown
502.41/503.99 c 504s| 200 | 21 | 2038k| 902.7 | 138M | 40 |3323 |4165 |3533 | 155 | 0 |1927 | 30 | 0.000000e+00 | -- | Inf | unknown
525.84/527.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
525.84/527.47 c 527s| 300 | 25 | 2137k| 906.8 | 138M | 40 |3323 |4199 |3533 | 164 | 1 |1973 | 30 | 0.000000e+00 | -- | Inf | 1.56%
538.60/540.22 c 540s| 400 | 25 | 2198k| 894.0 | 139M | 40 |3323 |4248 |3533 | 175 | 1 |2039 | 30 | 0.000000e+00 | -- | Inf | 1.56%
552.25/553.90 c 554s| 500 | 27 | 2263k| 883.8 | 139M | 40 |3323 |4291 |3535 | 184 | 0 |2093 | 30 | 0.000000e+00 | -- | Inf | 2.25%
564.91/566.62 c 567s| 600 | 31 | 2321k| 872.0 | 141M | 40 |3323 |4340 |3533 | 213 | 1 |2157 | 30 | 0.000000e+00 | -- | Inf | 2.34%
576.29/578.07 c 578s| 700 | 31 | 2376k| 859.5 | 141M | 40 |3323 |4378 |3538 | 228 | 1 |2199 | 30 | 0.000000e+00 | -- | Inf | 2.34%
588.44/590.23 c 590s| 800 | 30 | 2433k| 849.2 | 143M | 40 |3323 |4428 |3533 | 248 | 1 |2252 | 30 | 0.000000e+00 | -- | Inf | 2.34%
600.10/601.96 c 602s| 900 | 29 | 2489k| 838.7 | 143M | 40 |3323 |4469 |3535 | 263 | 0 |2300 | 30 | 0.000000e+00 | -- | Inf | 2.34%
612.18/614.01 c 614s| 1000 | 29 | 2545k| 829.3 | 144M | 40 |3323 |4517 |3534 | 291 | 0 |2357 | 30 | 0.000000e+00 | -- | Inf | 2.34%
625.02/626.97 c 627s| 1100 | 27 | 2606k| 822.1 | 145M | 40 |3323 |4566 |3543 | 317 | 0 |2409 | 30 | 0.000000e+00 | -- | Inf | 2.34%
639.88/641.88 c 642s| 1200 | 26 | 2677k| 818.4 | 147M | 40 |3323 |4616 |3545 | 361 | 0 |2463 | 30 | 0.000000e+00 | -- | Inf | 2.34%
655.14/657.16 c 657s| 1300 | 25 | 2748k| 815.0 | 148M | 40 |3323 |4669 |3540 | 386 | 1 |2522 | 30 | 0.000000e+00 | -- | Inf | 2.35%
668.89/670.92 c 671s| 1400 | 25 | 2812k| 809.7 | 150M | 72 |3323 |4692 |3546 | 405 | 0 |2549 | 30 | 0.000000e+00 | -- | Inf | 2.35%
686.14/688.25 c 688s| 1500 | 25 | 2893k| 809.9 | 150M | 72 |3323 |4722 |3547 | 433 | 1 |2580 | 30 | 0.000000e+00 | -- | Inf | 2.35%
699.51/701.61 c 702s| 1600 | 31 | 2956k| 804.7 | 150M | 72 |3323 |4732 |3536 | 458 | 1 |2612 | 30 | 0.000000e+00 | -- | Inf | 2.36%
713.37/715.50 c 715s| 1700 | 31 | 3021k| 800.6 | 151M | 72 |3323 |4781 |3540 | 487 | 1 |2664 | 30 | 0.000000e+00 | -- | Inf | 2.36%
730.83/733.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
730.83/733.03 c 733s| 1800 | 29 | 3103k| 800.9 | 151M | 72 |3323 |4815 |3535 | 517 | 0 |2707 | 30 | 0.000000e+00 | -- | Inf | 2.36%
746.98/749.22 c 749s| 1900 | 29 | 3180k| 800.2 | 152M | 72 |3323 |4857 |3553 | 560 | 0 |2753 | 30 | 0.000000e+00 | -- | Inf | 2.36%
765.03/767.36 c 767s| 2000 | 31 | 3265k| 801.4 | 153M | 72 |3323 |4873 |3547 | 583 | 1 |2776 | 30 | 0.000000e+00 | -- | Inf | 2.36%
778.71/781.04 c 781s| 2100 | 27 | 3329k| 797.5 | 153M | 72 |3323 |4909 |3528 | 604 | 1 |2830 | 30 | 0.000000e+00 | -- | Inf | 2.37%
789.78/792.19 c 792s| 2200 | 25 | 3381k| 790.7 | 154M | 72 |3323 |4933 |3538 | 638 | 0 |2874 | 30 | 0.000000e+00 | -- | Inf | 2.39%
803.64/806.05 c 806s| 2300 | 27 | 3447k| 787.7 | 154M | 72 |3323 |4973 |3539 | 669 | 1 |2937 | 30 | 0.000000e+00 | -- | Inf | 2.40%
819.29/821.77 c 822s| 2400 | 29 | 3522k| 786.8 | 155M | 72 |3323 |4985 |3539 | 708 | 1 |2977 | 30 | 0.000000e+00 | -- | Inf | 2.42%
833.15/835.62 c 836s| 2500 | 29 | 3588k| 783.8 | 155M | 72 |3323 |4990 |3546 | 737 | 0 |3023 | 30 | 0.000000e+00 | -- | Inf | 2.42%
850.21/852.75 c 853s| 2600 | 29 | 3669k| 784.4 | 156M | 72 |3323 |5040 |3546 | 764 | 1 |3077 | 30 | 0.000000e+00 | -- | Inf | 2.42%
866.27/868.87 c 869s| 2700 | 29 | 3743k| 783.5 | 156M | 72 |3323 |5077 |3549 | 822 | 1 |3126 | 30 | 0.000000e+00 | -- | Inf | 2.44%
874.74/877.39 c 877s| 2800 | 31 | 3783k| 775.4 | 156M | 72 |3323 |5103 |3545 | 844 | 1 |3170 | 30 | 0.000000e+00 | -- | Inf | 2.46%
883.72/886.34 c 886s| 2900 | 29 | 3827k| 768.4 | 157M | 72 |3323 |5136 |3535 | 860 | 1 |3216 | 30 | 0.000000e+00 | -- | Inf | 2.47%
900.39/903.03 c 903s| 3000 | 31 | 3911k| 769.9 | 157M | 72 |3323 |5168 |3549 | 884 | 1 |3256 | 30 | 0.000000e+00 | -- | Inf | 2.47%
919.82/922.52 c 923s| 3100 | 29 | 4009k| 774.1 | 157M | 72 |3323 |5198 |3557 | 914 | 0 |3292 | 30 | 0.000000e+00 | -- | Inf | 2.47%
933.40/936.18 c 936s| 3200 | 27 | 4076k| 772.1 | 157M | 72 |3323 |5231 |3541 | 936 | 0 |3343 | 30 | 0.000000e+00 | -- | Inf | 2.47%
949.94/952.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
949.94/952.76 c 953s| 3300 | 31 | 4158k| 772.9 | 157M | 72 |3323 |5271 |3558 | 971 | 1 |3396 | 30 | 0.000000e+00 | -- | Inf | 2.47%
966.31/969.18 c 969s| 3400 | 29 | 4241k| 774.1 | 157M | 72 |3323 |5301 |3556 | 996 | 0 |3440 | 30 | 0.000000e+00 | -- | Inf | 2.47%
986.85/989.78 c 990s| 3500 | 33 | 4340k| 777.9 | 158M | 72 |3323 |5419 |3547 |1033 | 1 |3571 | 30 | 0.000000e+00 | -- | Inf | 2.47%
1008.99/1011.99 c 1012s| 3600 | 32 | 4450k| 783.9 | 158M | 72 |3323 |5464 | 0 |1064 | 0 |3626 | 30 | 0.000000e+00 | -- | Inf | 2.47%
1021.56/1024.58 c 1025s| 3700 | 28 | 4511k| 780.7 | 158M | 72 |3323 |5480 |3542 |1097 | 0 |3697 | 30 | 0.000000e+00 | -- | Inf | 2.47%
1035.42/1038.47 c 1038s| 3800 | 28 | 4581k| 779.4 | 159M | 72 |3323 |5503 |3539 |1115 | 0 |3746 | 30 | 0.000000e+00 | -- | Inf | 2.47%
1053.77/1056.89 c 1057s| 3900 | 30 | 4677k| 782.4 | 159M | 72 |3323 |5542 |3541 |1136 | 1 |3802 | 30 | 0.000000e+00 | -- | Inf | 2.47%
1072.82/1075.91 c 1076s| 4000 | 30 | 4774k| 785.7 | 159M | 72 |3323 |5569 |3547 |1150 | 1 |3847 | 30 | 0.000000e+00 | -- | Inf | 2.47%
1091.57/1094.72 c 1095s| 4100 | 28 | 4867k| 788.0 | 159M | 72 |3323 |5605 |3545 |1166 | 1 |3905 | 30 | 0.000000e+00 | -- | Inf | 2.47%
1109.93/1113.16 c 1113s| 4200 | 30 | 4959k| 790.2 | 159M | 72 |3323 |5655 |3543 |1190 | 1 |3963 | 30 | 0.000000e+00 | -- | Inf | 2.47%
1123.80/1127.08 c 1127s| 4300 | 30 | 5026k| 788.2 | 159M | 72 |3323 |5695 |3540 |1199 | 1 |4013 | 30 | 0.000000e+00 | -- | Inf | 2.47%
1137.55/1140.82 c 1141s| 4400 | 30 | 5090k| 785.9 | 159M | 72 |3323 |5752 |3549 |1243 | 0 |4094 | 30 | 0.000000e+00 | -- | Inf | 2.47%
1153.82/1157.18 c 1157s| 4500 | 28 | 5166k| 785.5 | 159M | 72 |3323 |5796 |3540 |1277 | 0 |4154 | 30 | 0.000000e+00 | -- | Inf | 2.47%
1168.47/1171.87 c 1172s| 4600 | 27 | 5236k| 784.2 | 159M | 72 |3323 |5844 |3542 |1302 | 0 |4250 | 30 | 0.000000e+00 | -- | Inf | 2.47%
1191.41/1194.88 c 1195s| 4700 | 27 | 5348k| 789.3 | 160M | 72 |3323 |5868 |3546 |1346 | 1 |4299 | 30 | 0.000000e+00 | -- | Inf | 2.47%
1208.57/1212.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1208.57/1212.01 c 1212s| 4800 | 29 | 5433k| 790.1 | 160M | 72 |3323 |5869 |3539 |1370 | 0 |4363 | 30 | 0.000000e+00 | -- | Inf | 2.48%
1221.13/1224.63 c 1225s| 4900 | 31 | 5492k| 787.2 | 161M | 72 |3323 |5874 |3539 |1390 | 1 |4426 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1234.19/1237.70 c 1238s| 5000 | 31 | 5554k| 784.8 | 161M | 80 |3323 |5873 |3544 |1399 | 0 |4446 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1244.37/1247.93 c 1248s| 5100 | 32 | 5602k| 780.5 | 161M | 94 |3323 |5908 |3542 |1422 | 0 |4502 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1256.03/1259.67 c 1260s| 5200 | 30 | 5657k| 777.3 | 161M | 94 |3323 |5926 |3550 |1447 | 1 |4552 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1270.79/1274.44 c 1274s| 5300 | 32 | 5728k| 776.3 | 161M | 94 |3323 |5961 |3550 |1461 | 0 |4609 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1283.16/1286.85 c 1287s| 5400 | 32 | 5789k| 774.0 | 161M | 94 |3323 |5966 |3554 |1473 | 0 |4617 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1293.63/1297.31 c 1297s| 5500 | 30 | 5838k| 770.2 | 162M | 94 |3323 |5986 |3555 |1494 | 0 |4644 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1305.80/1309.55 c 1310s| 5600 | 30 | 5897k| 767.8 | 162M | 94 |3323 |5990 |3563 |1509 | 1 |4653 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1326.05/1329.86 c 1330s| 5700 | 32 | 5991k| 770.1 | 162M | 94 |3323 |6000 |3564 |1535 | 1 |4678 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1343.40/1347.29 c 1347s| 5800 | 32 | 6076k| 771.1 | 162M | 94 |3323 |6008 |3564 |1566 | 0 |4697 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1353.48/1357.36 c 1357s| 5900 | 32 | 6125k| 767.5 | 162M | 94 |3323 |6028 |3564 |1573 | 1 |4718 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1367.43/1371.32 c 1371s| 6000 | 30 | 6191k| 766.1 | 163M | 99 |3323 |6067 |3563 |1592 | 1 |4760 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1382.10/1386.03 c 1386s| 6100 | 30 | 6261k| 765.3 | 163M | 99 |3323 |6083 |3565 |1597 | 1 |4779 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1394.45/1398.42 c 1398s| 6200 | 30 | 6319k| 763.0 | 163M | 99 |3323 |6106 |3555 |1610 | 1 |4805 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1414.39/1418.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1414.39/1418.43 c 1418s| 6300 | 30 | 6413k| 765.2 | 163M | 99 |3323 |6137 |3560 |1661 | 1 |4845 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1430.44/1434.58 c 1435s| 6400 | 28 | 6489k| 765.2 | 163M | 99 |3323 |6159 |3567 |1673 | 0 |4869 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1447.39/1451.57 c 1452s| 6500 | 30 | 6570k| 765.7 | 163M | 99 |3323 |6183 |3565 |1678 | 1 |4896 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1463.44/1467.64 c 1468s| 6600 | 30 | 6647k| 765.7 | 164M | 99 |3323 |6210 |3559 |1693 | 1 |4930 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1474.71/1478.96 c 1479s| 6700 | 28 | 6700k| 763.0 | 164M | 99 |3323 |6217 |3562 |1708 | 0 |4945 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1487.78/1492.07 c 1492s| 6800 | 32 | 6765k| 761.6 | 165M | 99 |3323 |6232 |3555 |1729 | 1 |4974 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1501.74/1506.05 c 1506s| 6900 | 30 | 6834k| 760.8 | 165M | 99 |3323 |6264 |3550 |1742 | 1 |5012 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1512.39/1516.70 c 1517s| 7000 | 30 | 6885k| 758.1 | 165M | 99 |3323 |6297 |3538 |1748 | 1 |5056 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1526.66/1531.05 c 1531s| 7100 | 30 | 6952k| 757.1 | 165M | 99 |3323 |6274 |3536 |1775 | 1 |5092 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1540.91/1545.34 c 1545s| 7200 | 30 | 7020k| 756.2 | 165M | 99 |3323 |6253 |3541 |1794 | 0 |5140 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1551.97/1556.43 c 1556s| 7300 | 32 | 7072k| 753.7 | 165M | 99 |3323 |6223 |3545 |1802 | 1 |5162 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1569.22/1573.74 c 1574s| 7400 | 30 | 7154k| 754.4 | 165M | 99 |3323 |6185 |3569 |1811 | 0 |5179 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1586.17/1590.73 c 1591s| 7500 | 30 | 7235k| 754.9 | 165M | 99 |3323 |6209 |3573 |1827 | 1 |5205 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1597.63/1602.21 c 1602s| 7600 | 28 | 7289k| 752.8 | 165M | 99 |3323 |6236 |3546 |1840 | 0 |5242 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1610.50/1615.18 c 1615s| 7700 | 30 | 7352k| 751.4 | 165M | 99 |3323 |6257 |3553 |1857 | 1 |5287 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1621.06/1625.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1621.06/1625.71 c 1626s| 7800 | 30 | 7403k| 748.9 | 165M | 99 |3323 |6257 |3546 |1875 | 1 |5330 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1636.11/1640.84 c 1641s| 7900 | 30 | 7475k| 748.7 | 165M | 99 |3323 |6261 |3554 |1910 | 0 |5358 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1649.67/1654.43 c 1654s| 8000 | 28 | 7542k| 747.9 | 165M | 99 |3323 |6288 |3553 |1919 | 1 |5393 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1662.03/1666.80 c 1667s| 8100 | 30 | 7602k| 746.4 | 165M | 99 |3323 |6328 |3557 |1929 | 1 |5434 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1674.79/1679.61 c 1680s| 8200 | 26 | 7664k| 745.2 | 165M | 99 |3323 |6365 |3554 |1935 | 0 |5480 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1687.75/1692.67 c 1693s| 8300 | 28 | 7726k| 743.9 | 165M | 99 |3323 |6372 |3550 |1951 | 1 |5517 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1703.51/1708.42 c 1708s| 8400 | 26 | 7803k| 744.2 | 165M | 99 |3323 |6380 |3547 |1971 | 0 |5544 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1715.58/1720.59 c 1721s| 8500 | 26 | 7861k| 742.6 | 165M | 99 |3323 |6403 |3542 |1980 | 0 |5570 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1728.65/1733.69 c 1734s| 8600 | 26 | 7922k| 741.3 | 165M | 99 |3323 |6425 |3552 |2003 | 0 |5593 | 30 | 0.000000e+00 | -- | Inf | 2.49%
1741.41/1746.41 c 1746s| 8700 | 28 | 7981k| 740.0 | 165M | 99 |3323 |6349 |3541 |2025 | 0 |5629 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1752.28/1757.30 c 1757s| 8800 | 28 | 8033k| 737.8 | 165M | 99 |3323 |6276 |3541 |2047 | 1 |5658 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1767.06/1772.16 c 1772s| 8900 | 28 | 8102k| 737.5 | 165M | 99 |3323 |6277 | 0 |2108 | 0 |5700 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1785.50/1790.60 c 1791s| 9000 | 28 | 8191k| 738.9 | 166M | 99 |3323 |6279 |3556 |2145 | 0 |5726 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1804.24/1809.45 c 1809s| 9100 | 27 | 8283k| 740.5 | 166M | 99 |3323 |6317 |3560 |2160 | 0 |5771 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1821.09/1826.30 c 1826s| 9200 | 27 | 8363k| 741.0 | 166M | 99 |3323 |6275 | 0 |2212 | 0 |5846 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1833.05/1838.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1833.05/1838.32 c 1838s| 9300 | 29 | 8418k| 739.3 | 166M | 99 |3323 |6208 |3542 |2246 | 0 |5901 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1847.71/1853.04 c 1853s| 9400 | 31 | 8487k| 738.9 | 166M | 99 |3323 |6014 |3543 |2278 | 1 |5938 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1859.17/1864.55 c 1865s| 9500 | 27 | 8541k| 737.2 | 166M | 99 |3323 |5981 |3544 |2297 | 0 |6001 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1870.13/1875.51 c 1876s| 9600 | 28 | 8593k| 735.3 | 166M | 99 |3323 |6007 |3543 |2314 | 1 |6053 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1880.71/1886.14 c 1886s| 9700 | 32 | 8644k| 733.4 | 166M | 99 |3323 |6032 |3538 |2329 | 1 |6099 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1889.87/1895.30 c 1895s| 9800 | 28 | 8690k| 731.0 | 166M | 99 |3323 |6083 |3544 |2349 | 0 |6159 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1902.73/1908.20 c 1908s| 9900 | 30 | 8752k| 730.1 | 166M | 99 |3323 |6124 |3541 |2358 | 0 |6213 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1914.70/1920.27 c 1920s| 10000 | 28 | 8809k| 728.7 | 166M | 99 |3323 |6166 |3538 |2374 | 0 |6262 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1928.15/1933.72 c 1934s| 10100 | 28 | 8873k| 728.0 | 166M | 99 |3323 |6214 |3541 |2389 | 1 |6318 | 30 | 0.000000e+00 | -- | Inf | 2.50%
1938.12/1943.77 c 1944s| 10200 | 26 | 8921k| 725.9 | 166M | 99 |3323 |6203 |3528 |2402 | 0 |6375 | 30 | 0.000000e+00 | -- | Inf | 2.53%
1950.78/1956.43 c 1956s| 10300 | 26 | 8981k| 724.9 | 167M | 99 |3323 |6208 |3544 |2414 | 0 |6436 | 30 | 0.000000e+00 | -- | Inf | 2.54%
1965.14/1970.89 c 1971s| 10400 | 26 | 9047k| 724.3 | 167M | 99 |3323 |6230 |3539 |2429 | 0 |6512 | 30 | 0.000000e+00 | -- | Inf | 2.54%
1978.49/1984.27 c 1984s| 10500 | 30 | 9110k| 723.6 | 167M | 99 |3323 |6248 | 0 |2455 | 0 |6598 | 30 | 0.000000e+00 | -- | Inf | 2.54%
1991.06/1996.83 c 1997s| 10600 | 32 | 9170k| 722.6 | 167M | 99 |3323 |6262 |3552 |2494 | 0 |6632 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2004.12/2009.93 c 2010s| 10700 | 32 | 9232k| 721.8 | 167M | 99 |3323 |6298 |3544 |2533 | 1 |6686 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2017.87/2023.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2017.87/2023.73 c 2024s| 10800 | 32 | 9297k| 721.2 | 167M | 99 |3323 |6333 |3544 |2574 | 0 |6745 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2035.32/2041.30 c 2041s| 10900 | 32 | 9379k| 722.0 | 167M | 99 |3323 |6353 |3556 |2613 | 1 |6777 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2046.48/2052.48 c 2052s| 11000 | 32 | 9432k| 720.5 | 167M | 99 |3323 |6362 |3558 |2620 | 0 |6788 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2059.06/2065.08 c 2065s| 11100 | 30 | 9491k| 719.5 | 167M | 99 |3323 |6385 |3548 |2628 | 0 |6812 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2074.01/2080.04 c 2080s| 11200 | 30 | 9561k| 719.3 | 168M | 99 |3323 |6460 |3559 |2681 | 0 |6896 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2086.07/2092.17 c 2092s| 11300 | 30 | 9618k| 718.3 | 168M | 99 |3323 |6480 |3559 |2707 | 1 |6924 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2106.20/2112.37 c 2112s| 11400 | 30 | 9715k| 720.1 | 168M | 99 |3323 |6485 |3566 |2719 | 1 |6930 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2124.44/2130.67 c 2131s| 11500 | 32 | 9800k| 721.1 | 168M | 99 |3323 |6511 |3544 |2760 | 1 |6982 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2142.90/2149.17 c 2149s| 11600 | 34 | 9887k| 722.2 | 168M | 99 |3323 |6525 |3561 |2811 | 1 |7012 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2162.73/2169.06 c 2169s| 11700 | 34 | 9980k| 723.7 | 170M | 99 |3323 |6520 |3561 |2873 | 1 |7021 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2173.19/2179.56 c 2180s| 11800 | 30 | 10029k| 722.0 | 170M | 99 |3323 |6557 |3559 |2901 | 1 |7067 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2187.24/2193.68 c 2194s| 11900 | 28 | 10094k| 721.5 | 170M | 99 |3323 |6591 | 0 |2904 | 0 |7103 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2205.60/2212.11 c 2212s| 12000 | 28 | 10181k| 722.5 | 170M | 99 |3323 |6601 |3564 |2927 | 1 |7119 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2221.14/2227.61 c 2228s| 12100 | 28 | 10254k| 722.6 | 170M | 99 |3323 |6639 |3559 |2938 | 1 |7165 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2245.17/2251.70 c 2252s| 12200 | 28 | 10368k| 725.6 | 170M | 99 |3323 |6643 |3563 |2961 | 1 |7178 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2263.12/2269.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2263.12/2269.74 c 2270s| 12300 | 28 | 10453k| 726.5 | 170M | 99 |3323 |6573 |3563 |2970 | 1 |7236 | 30 | 0.000000e+00 | -- | Inf | 2.54%
2280.77/2287.49 c 2287s| 12400 | 27 | 10537k| 727.2 | 170M | 99 |3323 |6516 |3554 |2990 | 2 |7273 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2293.94/2300.65 c 2301s| 12500 | 27 | 10599k| 726.5 | 170M | 99 |3323 |6560 |3545 |3018 | 1 |7367 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2308.90/2315.65 c 2316s| 12600 | 27 | 10669k| 726.4 | 170M | 99 |3323 |6538 |3548 |3039 | 1 |7414 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2327.95/2334.77 c 2335s| 12700 | 27 | 10760k| 727.6 | 170M | 99 |3323 |6530 |3546 |3055 | 1 |7437 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2344.32/2351.12 c 2351s| 12800 | 27 | 10837k| 727.9 | 170M | 99 |3323 |6556 |3556 |3069 | 1 |7482 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2357.07/2363.93 c 2364s| 12900 | 30 | 10898k| 727.1 | 170M | 99 |3323 |6527 |3545 |3085 | 1 |7524 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2370.93/2377.81 c 2378s| 13000 | 30 | 10963k| 726.5 | 170M | 99 |3323 |6481 |3540 |3135 | 0 |7571 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2385.39/2392.30 c 2392s| 13100 | 32 | 11031k| 726.2 | 170M | 99 |3323 |6490 |3557 |3170 | 1 |7614 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2396.08/2403.06 c 2403s| 13200 | 32 | 11081k| 724.8 | 171M | 99 |3323 |6503 | 0 |3193 | 0 |7643 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2402.35/2409.32 c 2409s| 13300 | 34 | 11112k| 722.0 | 171M | 99 |3323 |6576 | 0 |3194 | 0 |7725 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2412.72/2419.79 c 2420s| 13400 | 34 | 11163k| 720.7 | 171M | 99 |3323 |6600 |3564 |3200 | 1 |7788 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2421.80/2428.84 c 2429s| 13500 | 32 | 11206k| 718.8 | 171M | 99 |3323 |6627 |3553 |3208 | 1 |7842 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2438.55/2445.64 c 2446s| 13600 | 32 | 11285k| 719.2 | 171M | 99 |3323 |6644 |3563 |3231 | 1 |7873 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2450.03/2457.19 c 2457s| 13700 | 27 | 11339k| 718.1 | 171M | 99 |3323 |6657 |3546 |3257 | 0 |7913 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2461.39/2468.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2461.39/2468.51 c 2469s| 13800 | 28 | 11392k| 716.9 | 171M | 99 |3323 |6666 |3541 |3278 | 1 |7968 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2472.46/2479.66 c 2480s| 13900 | 30 | 11445k| 715.7 | 171M | 99 |3323 |6615 |3554 |3299 | 1 |8018 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2485.23/2492.48 c 2492s| 14000 | 28 | 11506k| 715.0 | 171M | 99 |3323 |6629 |3541 |3326 | 0 |8054 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2497.39/2504.64 c 2505s| 14100 | 32 | 11563k| 714.1 | 171M | 99 |3323 |6654 |3545 |3356 | 1 |8097 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2515.76/2523.11 c 2523s| 14200 | 28 | 11651k| 715.1 | 172M | 99 |3323 |6682 |3553 |3384 | 0 |8139 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2531.60/2539.01 c 2539s| 14300 | 28 | 11726k| 715.3 | 172M | 99 |3323 |6684 |3540 |3405 | 1 |8175 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2548.77/2556.17 c 2556s| 14400 | 28 | 11806k| 715.9 | 173M | 99 |3323 |6725 |3545 |3439 | 1 |8231 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2564.62/2572.06 c 2572s| 14500 | 28 | 11880k| 716.0 | 173M | 99 |3323 |6759 |3550 |3460 | 1 |8274 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2578.88/2586.33 c 2586s| 14600 | 26 | 11945k| 715.7 | 173M | 99 |3323 |6799 |3544 |3487 | 1 |8324 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2593.24/2600.79 c 2601s| 14700 | 26 | 12013k| 715.4 | 173M | 99 |3323 |6836 | 0 |3496 | 0 |8365 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2605.90/2613.49 c 2613s| 14800 | 26 | 12073k| 714.7 | 173M | 99 |3323 |6868 |3550 |3519 | 0 |8402 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2622.66/2630.27 c 2630s| 14900 | 28 | 12151k| 715.1 | 173M | 99 |3323 |6883 |3551 |3545 | 1 |8428 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2636.54/2644.14 c 2644s| 15000 | 30 | 12216k| 714.7 | 173M | 99 |3323 |6909 |3549 |3572 | 0 |8470 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2652.58/2660.28 c 2660s| 15100 | 28 | 12290k| 714.9 | 173M | 99 |3323 |6936 |3559 |3591 | 1 |8516 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2664.05/2671.77 c 2672s| 15200 | 26 | 12344k| 713.9 | 173M | 99 |3323 |6965 |3561 |3613 | 1 |8558 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2678.81/2686.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2678.81/2686.54 c 2687s| 15300 | 30 | 12413k| 713.7 | 173M | 99 |3323 |6865 |3550 |3664 | 2 |8640 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2693.17/2700.99 c 2701s| 15400 | 30 | 12482k| 713.6 | 173M | 99 |3323 |6862 |3548 |3702 | 2 |8674 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2706.44/2714.25 c 2714s| 15500 | 30 | 12546k| 713.2 | 173M | 99 |3323 |6901 |3556 |3748 | 0 |8729 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2721.40/2729.26 c 2729s| 15600 | 31 | 12617k| 713.1 | 173M | 99 |3323 |6947 |3562 |3799 | 0 |8790 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2737.06/2744.98 c 2745s| 15700 | 31 | 12691k| 713.3 | 173M | 99 |3323 |6982 |3555 |3828 | 0 |8829 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2756.41/2764.32 c 2764s| 15800 | 31 | 12780k| 714.3 | 174M | 99 |3323 |7008 |3563 |3893 | 1 |8860 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2774.36/2782.31 c 2782s| 15900 | 29 | 12864k| 715.0 | 174M | 99 |3323 |7051 |3558 |3950 | 0 |8917 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2794.02/2802.02 c 2802s| 16000 | 29 | 12955k| 716.1 | 175M | 99 |3323 |7071 |3569 |3991 | 0 |8947 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2818.74/2826.84 c 2827s| 16100 | 29 | 13077k| 718.9 | 175M | 99 |3323 |7103 |3577 |4012 | 0 |8988 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2835.01/2843.19 c 2843s| 16200 | 29 | 13157k| 719.4 | 175M | 99 |3323 |7139 | 0 |4026 | 0 |9028 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2856.24/2864.42 c 2864s| 16300 | 29 | 13262k| 721.1 | 175M | 99 |3323 |7158 |3576 |4059 | 2 |9075 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2872.91/2881.17 c 2881s| 16400 | 31 | 13340k| 721.5 | 175M | 99 |3323 |7179 |3573 |4078 | 1 |9131 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2885.66/2893.99 c 2894s| 16500 | 33 | 13401k| 720.8 | 175M | 99 |3323 |7212 |3546 |4113 | 0 |9180 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2899.84/2908.19 c 2908s| 16600 | 30 | 13468k| 720.6 | 175M | 99 |3323 |7255 |3570 |4165 | 1 |9236 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2914.09/2922.44 c 2922s| 16700 | 28 | 13534k| 720.3 | 175M | 99 |3323 |7237 |3542 |4207 | 0 |9298 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2928.95/2937.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2928.95/2937.33 c 2937s| 16800 | 28 | 13603k| 720.1 | 175M | 99 |3323 |7191 |3555 |4259 | 0 |9353 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2944.91/2953.31 c 2953s| 16900 | 30 | 13676k| 720.2 | 176M | 99 |3323 |7193 |3557 |4315 | 0 |9379 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2958.77/2967.26 c 2967s| 17000 | 27 | 13742k| 719.8 | 176M | 99 |3323 |7210 |3551 |4359 | 0 |9410 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2977.22/2985.71 c 2986s| 17100 | 27 | 13829k| 720.6 | 176M | 99 |3323 |7246 |3561 |4403 | 0 |9458 | 30 | 0.000000e+00 | -- | Inf | 2.55%
2993.49/3002.07 c 3002s| 17200 | 29 | 13906k| 720.9 | 178M | 99 |3323 |7272 |3556 |4447 | 0 |9488 | 30 | 0.000000e+00 | -- | Inf | 2.55%
3013.44/3022.08 c 3022s| 17300 | 31 | 13999k| 722.0 | 178M | 99 |3323 |7300 |3571 |4500 | 1 |9519 | 30 | 0.000000e+00 | -- | Inf | 2.55%
3029.98/3038.61 c 3039s| 17400 | 29 | 14080k| 722.4 | 178M | 99 |3323 |7318 |3549 |4524 | 1 |9542 | 30 | 0.000000e+00 | -- | Inf | 2.55%
3044.84/3053.58 c 3054s| 17500 | 27 | 14151k| 722.3 | 178M | 99 |3323 |7311 |3564 |4574 | 0 |9556 | 30 | 0.000000e+00 | -- | Inf | 2.55%
3062.79/3071.59 c 3072s| 17600 | 27 | 14235k| 723.0 | 178M | 99 |3323 |7308 |3558 |4620 | 0 |9567 | 30 | 0.000000e+00 | -- | Inf | 2.55%
3084.23/3093.04 c 3093s| 17700 | 29 | 14336k| 724.4 | 179M | 99 |3323 |7326 |3564 |4689 | 0 |9591 | 30 | 0.000000e+00 | -- | Inf | 2.55%
3102.37/3111.22 c 3111s| 17800 | 27 | 14423k| 725.1 | 179M | 99 |3323 |7336 |3563 |4713 | 0 |9603 | 30 | 0.000000e+00 | -- | Inf | 2.55%
3118.23/3127.17 c 3127s| 17900 | 27 | 14500k| 725.4 | 179M | 99 |3323 |7352 |3549 |4730 | 0 |9622 | 30 | 0.000000e+00 | -- | Inf | 2.55%
3136.36/3145.38 c 3145s| 18000 | 30 | 14585k| 726.0 | 179M | 99 |3323 |7338 |3540 |4776 | 0 |9661 | 30 | 0.000000e+00 | -- | Inf | 2.55%
3147.73/3156.79 c 3157s| 18100 | 34 | 14639k| 725.1 | 179M | 99 |3323 |7294 |3546 |4797 | 1 |9739 | 30 | 0.000000e+00 | -- | Inf | 2.55%
3162.38/3171.44 c 3171s| 18200 | 30 | 14707k| 724.9 | 179M | 99 |3323 |7230 |3545 |4850 | 0 |9795 | 30 | 0.000000e+00 | -- | Inf | 2.55%
3180.32/3189.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3180.32/3189.47 c 3189s| 18300 | 30 | 14791k| 725.4 | 180M | 99 |3323 |7217 | 0 |4894 | 0 |9832 | 30 | 0.000000e+00 | -- | Inf | 2.55%
3194.38/3203.56 c 3204s| 18400 | 32 | 14857k| 725.1 | 180M | 99 |3323 |7240 |3551 |4927 | 1 |9886 | 30 | 0.000000e+00 | -- | Inf | 2.55%
3208.04/3217.22 c 3217s| 18500 | 30 | 14920k| 724.6 | 180M | 99 |3323 |7302 |3562 |4959 | 0 |9956 | 30 | 0.000000e+00 | -- | Inf | 2.55%
3223.69/3232.90 c 3233s| 18600 | 30 | 14993k| 724.7 | 180M | 99 |3323 |7334 |3551 |4976 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3241.04/3250.39 c 3250s| 18700 | 28 | 15075k| 725.1 | 180M | 99 |3323 |7324 | 0 |5013 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3258.58/3267.90 c 3268s| 18800 | 28 | 15158k| 725.6 | 180M | 99 |3323 |7322 |3543 |5050 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3279.02/3288.47 c 3288s| 18900 | 28 | 15253k| 726.7 | 180M | 99 |3323 |7311 |3541 |5098 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3298.16/3307.66 c 3308s| 19000 | 30 | 15346k| 727.7 | 180M | 99 |3323 |7258 | 0 |5152 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3318.30/3327.81 c 3328s| 19100 | 28 | 15443k| 728.9 | 180M | 99 |3323 |7263 | 0 |5178 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3336.04/3345.60 c 3346s| 19200 | 30 | 15529k| 729.5 | 180M | 99 |3323 |7205 |3553 |5236 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3353.50/3363.16 c 3363s| 19300 | 32 | 15614k| 730.0 | 180M | 99 |3323 |7175 |3569 |5276 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3371.03/3380.79 c 3381s| 19400 | 30 | 15700k| 730.7 | 180M | 99 |3323 |7175 |3553 |5312 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3389.07/3398.86 c 3399s| 19500 | 30 | 15786k| 731.2 | 180M | 99 |3323 |7142 |3557 |5370 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3409.11/3418.97 c 3419s| 19600 | 30 | 15881k| 732.3 | 181M | 99 |3323 |7140 |3564 |5404 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3426.46/3436.38 c 3436s| 19700 | 30 | 15966k| 732.8 | 181M | 99 |3323 |7172 |3570 |5428 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3441.23/3451.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3441.23/3451.13 c 3451s| 19800 | 30 | 16037k| 732.7 | 181M | 99 |3323 |7194 |3566 |5439 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3455.57/3465.58 c 3466s| 19900 | 30 | 16107k| 732.5 | 181M | 99 |3323 |7218 |3572 |5452 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3470.52/3480.52 c 3481s| 20000 | 30 | 16180k| 732.5 | 181M | 99 |3323 |7237 |3570 |5475 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3486.47/3496.56 c 3497s| 20100 | 28 | 16257k| 732.7 | 181M | 99 |3323 |7251 |3572 |5497 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3508.31/3518.43 c 3518s| 20200 | 30 | 16362k| 734.2 | 181M | 99 |3323 |7279 |3578 |5537 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3527.65/3537.89 c 3538s| 20300 | 28 | 16455k| 735.0 | 181M | 99 |3323 |7311 |3549 |5545 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3541.82/3552.09 c 3552s| 20400 | 28 | 16520k| 734.6 | 181M | 99 |3323 |7252 |3560 |5616 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3558.45/3568.76 c 3569s| 20500 | 32 | 16599k| 734.9 | 181M | 99 |3323 |7231 |3563 |5642 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3573.71/3584.08 c 3584s| 20600 | 32 | 16674k| 734.9 | 181M | 99 |3323 |7239 |3564 |5653 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 2.55%
3586.56/3597.00 c
3586.56/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.56/3597.00 c Solving Time (sec) : 3597.00
3586.56/3597.00 c Solving Nodes : 20669 (total of 22596 nodes in 2 runs)
3586.56/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.56/3597.00 c Dual Bound : +0.00000000000000e+00
3586.56/3597.00 c Gap : infinite
3586.56/3597.00 s UNKNOWN
3586.56/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.56/3597.00 c Total Time : 3597.00
3586.56/3597.00 c solving : 3597.00
3586.56/3597.00 c presolving : 3.88 (included in solving)
3586.56/3597.00 c reading : 0.04 (included in solving)
3586.56/3597.00 c copying : 0.92 (107 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3586.56/3597.00 c Original Problem :
3586.56/3597.00 c Problem name : HOME/instance-4507635-1751193166.opb
3586.56/3597.00 c Variables : 4125 (4125 binary, 0 integer, 0 continuous)
3586.56/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.56/3597.00 c Constraints : 4277 initial, 4277 maximal
3586.56/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.56/3597.00 c Presolved Problem :
3586.56/3597.00 c Problem name : t_HOME/instance-4507635-1751193166.opb
3586.56/3597.00 c Variables : 3323 (3323 binary, 0 integer, 0 continuous)
3586.56/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.56/3597.00 c Constraints : 4326 initial, 7374 maximal
3586.56/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.56/3597.00 c Nonzeros : 61970 constraint, 51751 clique table
3586.56/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.56/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c domcol : 0.05 0.00 8 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c gateextraction : 0.02 0.00 14 0 0 0 0 0 5 1 0 0
3586.56/3597.00 c implics : 0.00 0.00 18 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c milp : 0.59 0.00 1 174 5 0 0 0 0 0 0 0
3586.56/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c sparsify : 0.07 0.00 2 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c trivial : 0.00 0.00 34 298 0 0 0 0 0 0 0 0
3586.56/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c dualfix : 0.00 0.00 34 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c probing : 2.70 0.00 7 138 2 0 0 0 0 0 0 0
3586.56/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c knapsack : 0.01 0.00 11 0 0 0 0 0 0 13 22 99
3586.56/3597.00 c setppc : 0.03 0.00 51 0 0 0 0 0 32 0 0 0
3586.56/3597.00 c and : 0.00 0.00 2 0 0 0 0 0 1 1 0 0
3586.56/3597.00 c linear : 0.07 0.01 24 184 1 0 184 0 666 0 2 0
3586.56/3597.00 c logicor : 0.28 0.01 48 27 0 0 0 0 253 0 0 1849
3586.56/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.56/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.56/3597.00 c integral : 0 0 0 0 11400 0 0 1332 0 0 0 0 0 0 22800
3586.56/3597.00 c knapsack : 38+ 40 11 159027 0 0 0 0 256481 3 85498 0 0 0 0
3586.56/3597.00 c setppc : 855+ 1038 22 233877 0 0 0 1327 4138494 318 827443 0 0 0 0
3586.56/3597.00 c linear : 1+ 3 11 58491 0 0 0 3 1930 9 731 2 2 0 0
3586.56/3597.00 c logicor : 3432+ 6313 22 182575 0 0 0 0 8045393 1314 1903378 41 20 0 0
3586.56/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.56/3597.00 c integral : 10.69 0.00 0.00 0.00 10.69 0.00 0.00 0.00 0.00 0.00
3586.56/3597.00 c knapsack : 0.87 0.00 0.04 0.73 0.00 0.00 0.00 0.00 0.10 0.00
3586.56/3597.00 c setppc : 2.82 0.00 0.00 1.78 0.00 0.00 0.00 0.04 1.00 0.01
3586.56/3597.00 c linear : 0.05 0.01 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3586.56/3597.00 c logicor : 8.20 0.01 0.01 5.26 0.00 0.00 0.00 0.00 2.90 0.02
3586.56/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.56/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.56/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.56/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.56/3597.00 c dualfix : 2 0 0 0
3586.56/3597.00 c genvbounds : 0 0 0 0
3586.56/3597.00 c nlobbt : 0 0 0 0
3586.56/3597.00 c obbt : 0 0 0 0
3586.56/3597.00 c probing : 0 0 0 0
3586.56/3597.00 c pseudoobj : 0 0 0 0
3586.56/3597.00 c redcost : 0 0 0 0
3586.56/3597.00 c rootredcost : 0 0 0 0
3586.56/3597.00 c symmetry : 21615 0 0 35
3586.56/3597.00 c vbounds : 143294 0 0 0
3586.56/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.56/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.56/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.56/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.56/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.56/3597.00 c probing : 2.70 0.00 2.70 0.00 0.00 0.00
3586.56/3597.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3586.56/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.56/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.56/3597.00 c symmetry : 0.08 0.00 0.01 0.06 0.00 0.00
3586.56/3597.00 c vbounds : 2.29 0.00 0.01 2.28 0.00 0.00
3586.56/3597.00 c Symmetry :
3586.56/3597.00 c #affected vars : 590 (590 bin, 0 int, 0 cont)
3586.56/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.56/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.56/3597.00 c lexicographic red: 35 reductions applied, 0 cutoffs
3586.56/3597.00 c shadow tree time : 0.04 s
3586.56/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.56/3597.00 c propagation : 0.43 1635 1509 - 8643 73.9 147 35.4 - - -
3586.56/3597.00 c infeasible LP : 22.78 9887 5673 - 124264 596.3 27 10.1 25 234.6 0
3586.56/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.56/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.56/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.56/3597.00 c applied globally : 0.40 - - 0 10651 57.3 - - 21 - -
3586.56/3597.00 c applied locally : - - - 0 29 705.8 - - 4 - -
3586.56/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.56/3597.00 c cut pool : 0.61 - 2501 42 - - 4815 40884 - - - - - (maximal pool size: 724)
3586.56/3597.00 c aggregation : 0.36 0.00 588 22 0 0 3 27 0 9 9 0 0
3586.56/3597.00 c > cmir : - - - - - - - 24 0 8 8 0 -
3586.56/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.56/3597.00 c > knapsackcover : - - - - - - - 3 0 1 1 0 -
3586.56/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c clique : 0.34 0.00 22 22 0 0 146 821 0 258 258 0 0
3586.56/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c gomory : 19.67 0.00 586 20 0 0 5481 38576 1128 3759 3717 42 0
3586.56/3597.00 c > gomorymi : - - - - - - - 17757 564 1834 1805 29 -
3586.56/3597.00 c > strongcg : - - - - - - - 20819 564 1925 1912 13 -
3586.56/3597.00 c impliedbounds : 0.52 0.00 588 22 0 0 41 76 0 33 33 0 0
3586.56/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c multilinear : 0.00 0.00 240 22 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c rapidlearning : 19.81 0.00 100 1 0 20582 0 0 0 0 0 0 541
3586.56/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.56/3597.00 c zerohalf : 7.93 0.00 588 22 0 0 1514 1384 1242 2185 989 1196 0
3586.56/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.56/3597.00 c hybrid : 0.07 0.00 1765 22 6276 6 36838 225 0 281
3586.56/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.56/3597.00 c problem variables: 0.00 - 0 0
3586.56/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.56/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c relpscost : 10.67 0.00 11400 0 0 0 0 0 0 22800
3586.56/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.56/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.56/3597.00 c LP solutions : 0.00 - - 0 0
3586.56/3597.00 c relax solutions : 0.00 - - 0 0
3586.56/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.56/3597.00 c strong branching : 0.00 - - 0 0
3586.56/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.56/3597.00 c adaptivediving : 6.80 0.00 8 0 0
3586.56/3597.00 c alns : 1.67 0.00 5 0 0
3586.56/3597.00 c bound : 0.00 0.00 0 0 0
3586.56/3597.00 c clique : 0.01 0.00 1 0 0
3586.56/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.56/3597.00 c completesol : 0.00 0.00 0 0 0
3586.56/3597.00 c conflictdiving : 24.40 0.00 6 0 0
3586.56/3597.00 c crossover : 0.01 0.00 0 0 0
3586.56/3597.00 c dins : 0.00 0.00 0 0 0
3586.56/3597.00 c distributiondivin: 7.59 0.00 4 0 0
3586.56/3597.00 c dks : 0.00 0.00 0 0 0
3586.56/3597.00 c dps : 0.00 0.00 0 0 0
3586.56/3597.00 c dualval : 0.00 0.00 0 0 0
3586.56/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.56/3597.00 c feaspump : 10.60 0.00 4 0 0
3586.56/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.56/3597.00 c fracdiving : 7.33 0.00 5 0 0
3586.56/3597.00 c gins : 0.00 0.00 0 0 0
3586.56/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.56/3597.00 c indicator : 0.00 0.00 0 0 0
3586.56/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.56/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.56/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.56/3597.00 c linesearchdiving : 7.75 0.00 6 0 0
3586.56/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.56/3597.00 c locks : 0.00 0.00 1 0 0
3586.56/3597.00 c lpface : 0.06 0.00 0 0 0
3586.56/3597.00 c mpec : 0.00 0.00 0 0 0
3586.56/3597.00 c multistart : 0.00 0.00 0 0 0
3586.56/3597.00 c mutation : 0.00 0.00 0 0 0
3586.56/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.56/3597.00 c objpscostdiving : 21.08 0.00 3 0 0
3586.56/3597.00 c octane : 0.00 0.00 0 0 0
3586.56/3597.00 c ofins : 0.00 0.00 0 0 0
3586.56/3597.00 c oneopt : 0.01 0.00 0 0 0
3586.56/3597.00 c padm : 0.00 0.00 0 0 0
3586.56/3597.00 c proximity : 0.00 0.00 0 0 0
3586.56/3597.00 c pscostdiving : 10.27 0.00 5 0 0
3586.56/3597.00 c randrounding : 0.31 0.00 1342 0 0
3586.56/3597.00 c rens : 0.15 0.00 2 0 0
3586.56/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.56/3597.00 c repair : 0.00 0.00 0 0 0
3586.56/3597.00 c rins : 0.01 0.00 0 0 0
3586.56/3597.00 c rootsoldiving : 8.05 0.00 2 0 0
3586.56/3597.00 c rounding : 0.22 0.00 1584 0 0
3586.56/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.56/3597.00 c shiftandpropagate: 0.06 0.00 2 0 0
3586.56/3597.00 c shifting : 0.51 0.00 692 0 0
3586.56/3597.00 c simplerounding : 0.01 0.00 0 0 0
3586.56/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.56/3597.00 c trivial : 0.01 0.00 4 0 0
3586.56/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.56/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.56/3597.00 c trysol : 0.00 0.00 0 0 0
3586.56/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.56/3597.00 c undercover : 0.00 0.00 0 0 0
3586.56/3597.00 c vbounds : 0.02 0.00 2 0 0
3586.56/3597.00 c veclendiving : 12.10 0.00 5 0 0
3586.56/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.56/3597.00 c zirounding : 0.05 0.00 1000 0 0
3586.56/3597.00 c other solutions : - - - 0 -
3586.56/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
3586.56/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
3586.56/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
3586.56/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
3586.56/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
3586.56/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
3586.56/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
3586.56/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
3586.56/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
3586.56/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
3586.56/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.56/3597.00 c primal LP : 1.41 779 0 0.00 0.00 1.41 779
3586.56/3597.00 c dual LP : 3359.62 23075 16275431 705.48 4844.43 0.10 5
3586.56/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.56/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.56/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.56/3597.00 c diving/probing LP: 115.07 647 461734 713.65 4012.71
3586.56/3597.00 c strong branching : 8.22 30 23049 768.30 2803.25 - - 40
3586.56/3597.00 c (at root node) : - 30 23049 768.30 -
3586.56/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.56/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.56/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.56/3597.00 c B&B Tree :
3586.56/3597.00 c number of runs : 2
3586.56/3597.00 c nodes : 20669 (10362 internal, 10307 leaves)
3586.56/3597.00 c feasible leaves : 0
3586.56/3597.00 c infeas. leaves : 10306
3586.56/3597.00 c objective leaves : 0
3586.56/3597.00 c nodes (total) : 22596 (11400 internal, 11196 leaves)
3586.56/3597.00 c nodes left : 30
3586.56/3597.00 c max depth : 99
3586.56/3597.00 c max depth (total): 99
3586.56/3597.00 c backtracks : 1404 (6.8%)
3586.56/3597.00 c early backtracks : 0 (0.0%)
3586.56/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.56/3597.00 c delayed cutoffs : 27
3586.56/3597.00 c repropagations : 25415 (59267 domain reductions, 22 cutoffs)
3586.56/3597.00 c avg switch length: 4.23
3586.56/3597.00 c switching time : 6.68
3586.56/3597.00 c Root Node :
3586.56/3597.00 c First LP value : +0.00000000000000e+00
3586.56/3597.00 c First LP Iters : 7678 (5117.07 Iter/sec)
3586.56/3597.00 c First LP Time : 1.50
3586.56/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.56/3597.00 c Final Root Iters : 118980
3586.56/3597.00 c Root LP Estimate : +2.61706439680612e-02
3586.56/3597.00 c Solution :
3586.56/3597.00 c Solutions found : 0 (0 improvements)
3586.56/3597.00 c Primal Bound : -
3586.56/3597.00 c Dual Bound : +0.00000000000000e+00
3586.56/3597.00 c Gap : infinite
3586.56/3597.00 c Integrals : Total Avg%
3586.56/3597.00 c primal-dual : 359699.54 100.00
3586.56/3597.00 c primal-ref : - - (not evaluated)
3586.56/3597.00 c dual-ref : - - (not evaluated)
3586.67/3597.04 c Time complete (sec): 3586.715
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: 63794 MiB (63235 MiB free)
memory of node 1: 64507 MiB (63941 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507635-1751193166/watcher-4507635-1751193166 -o /tmp/evaluation-result-4507635-1751193166/solver-4507635-1751193166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751193166-24235 --watchdog 3760 pbsolver -f HOME/instance-4507635-1751193166.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
Starting watchdog thread
solver pid=24285, runsolver pid=24276
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 1.05 1.08 1.41 6/251 24294
/proc/meminfo: memFree=130185128/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=41492 memory=31232 CPUtime=0.11 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 5653 0 0 0 9 2 0 0 20 0 1 0 34996388 42487808 7808 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 10373 7808 2432 2575 0 7280 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 41492 KiB
Current children cumulated memory: 31232 KiB
[startup+0.214013 s]*
/proc/loadavg: 1.05 1.08 1.41 6/251 24294
/proc/meminfo: memFree=130173040/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=44428 memory=34968 CPUtime=0.21 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 6951 0 0 0 19 2 0 0 20 0 1 0 34996388 45494272 8742 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 11107 8742 2496 2575 0 8014 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44428 KiB
Current children cumulated memory: 34968 KiB
[startup+0.313514 s]*
/proc/loadavg: 1.05 1.08 1.41 6/251 24294
/proc/meminfo: memFree=130172792/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=44428 memory=34968 CPUtime=0.31 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 6951 0 0 0 29 2 0 0 20 0 1 0 34996388 45494272 8742 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 11107 8742 2496 2575 0 8014 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44428 KiB
Current children cumulated memory: 34968 KiB
[startup+0.700221 s]
/proc/loadavg: 1.05 1.08 1.41 6/251 24294
/proc/meminfo: memFree=130169012/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=43480 memory=34140 CPUtime=0.68 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 6951 0 0 0 66 2 0 0 20 0 1 0 34996388 44523520 8535 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 10870 8535 2496 2575 0 7777 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43480 KiB
Current children cumulated memory: 34140 KiB
[startup+1.50033 s]
/proc/loadavg: 1.05 1.08 1.41 6/251 24294
/proc/meminfo: memFree=130114584/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=60964 memory=50268 CPUtime=1.49 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 10981 0 0 0 145 4 0 0 20 0 1 0 34996388 62427136 12567 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 15241 12567 2560 2575 0 12148 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 60964 KiB
Current children cumulated memory: 50268 KiB
[startup+3.11291 s]
/proc/loadavg: 1.29 1.12 1.42 6/251 24294
/proc/meminfo: memFree=130115004/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=61728 memory=50908 CPUtime=3.09 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 11138 0 0 0 305 4 0 0 20 0 1 0 34996388 63209472 12727 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 15432 12727 2560 2575 0 12339 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61728 KiB
Current children cumulated memory: 50908 KiB
[startup+6.30028 s]
/proc/loadavg: 1.29 1.12 1.42 6/251 24294
/proc/meminfo: memFree=129986392/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=103132 memory=81372 CPUtime=6.27 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 18661 0 0 0 622 5 0 0 20 0 1 0 34996388 105607168 20343 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 25783 20343 2688 2575 0 22690 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 103132 KiB
Current children cumulated memory: 81372 KiB
[startup+12.7002 s]
/proc/loadavg: 1.71 1.22 1.45 6/251 24294
/proc/meminfo: memFree=129986656/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=104284 memory=82140 CPUtime=12.65 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 18866 0 0 0 1260 5 0 0 20 0 1 0 34996388 106786816 20535 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 26071 20535 2688 2575 0 22978 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 104284 KiB
Current children cumulated memory: 82140 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 1.31 1.48 6/251 24294
/proc/meminfo: memFree=129785008/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=133588 memory=109444 CPUtime=25.42 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 32859 0 0 0 2534 8 0 0 20 0 1 0 34996388 136794112 27361 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 33397 27361 2688 2575 0 30304 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 133588 KiB
Current children cumulated memory: 109444 KiB
[startup+51.1125 s]
/proc/loadavg: 2.80 1.54 1.55 6/251 24295
/proc/meminfo: memFree=129766672/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=144392 memory=120784 CPUtime=50.96 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 40533 0 0 0 5087 9 0 0 20 0 1 0 34996388 147857408 30196 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 36098 30196 2688 2575 0 33005 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 144392 KiB
Current children cumulated memory: 120784 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 1.98 1.70 6/253 24299
/proc/meminfo: memFree=129764760/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=155084 memory=132444 CPUtime=102.01 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 55871 0 0 0 10188 13 0 0 20 0 1 0 34996388 158806016 33111 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 38771 33111 2688 2575 0 35678 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 155084 KiB
Current children cumulated memory: 132444 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 2.35 1.85 6/253 24301
/proc/meminfo: memFree=129713200/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=158896 memory=137952 CPUtime=161.84 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 59960 0 0 0 16170 14 0 0 20 0 1 0 34996388 162709504 34488 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 39724 34488 2688 2575 0 36631 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 158896 KiB
Current children cumulated memory: 137952 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.68 2.00 6/253 24306
/proc/meminfo: memFree=129639776/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=161908 memory=152268 CPUtime=221.67 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 65365 0 0 0 22151 16 0 0 20 0 1 0 34996388 165793792 38067 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 40477 38067 2688 2575 0 37384 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 152268 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.94 2.13 6/253 24308
/proc/meminfo: memFree=129632796/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=175472 memory=165616 CPUtime=281.48 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 75630 0 0 0 28131 17 0 0 20 0 1 0 34996388 179683328 41404 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 43868 41404 2688 2575 0 40775 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 175472 KiB
Current children cumulated memory: 165616 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.15 2.25 6/252 24314
/proc/meminfo: memFree=129622292/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=175472 memory=165616 CPUtime=341.29 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 75673 0 0 0 34112 17 0 0 20 0 1 0 34996388 179683328 41404 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 43868 41404 2688 2575 0 40775 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 175472 KiB
Current children cumulated memory: 165616 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.32 2.37 6/250 24316
/proc/meminfo: memFree=129589552/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=175472 memory=165616 CPUtime=401.11 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 75674 0 0 0 40094 17 0 0 20 0 1 0 34996388 179683328 41404 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 43868 41404 2688 2575 0 40775 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 175472 KiB
Current children cumulated memory: 165616 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.46 2.48 6/250 24317
/proc/meminfo: memFree=129564876/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=185816 memory=174500 CPUtime=460.93 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 78637 0 0 0 46075 18 0 0 20 0 1 0 34996388 190275584 43625 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 46454 43625 2688 2575 0 43361 0
Current children cumulated CPU time: 460.93 s
################
# More data... #
################
/proc/loadavg: 4.10 4.09 4.01 6/252 24462
/proc/meminfo: memFree=129390104/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3153.31 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88763 0 0 0 315311 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.01 6/252 24466
/proc/meminfo: memFree=129395900/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3213.12 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88843 0 0 0 321292 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.01 6/251 24468
/proc/meminfo: memFree=129394944/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3272.94 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88843 0 0 0 327274 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.01 6/251 24475
/proc/meminfo: memFree=129410104/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3332.75 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88843 0 0 0 333255 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.01 6/252 24478
/proc/meminfo: memFree=129410052/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3392.56 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88843 0 0 0 339236 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.01 6/251 24480
/proc/meminfo: memFree=129409596/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3452.38 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88843 0 0 0 345218 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.01 6/252 24483
/proc/meminfo: memFree=129409136/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3512.2 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88843 0 0 0 351200 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3512.2 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.02 6/252 24485
/proc/meminfo: memFree=129393868/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3572.01 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88914 0 0 0 357181 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
[startup+3597.04 s]
# the end of solver process 24285 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.51 s, system=0.210234 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.09 4.02 6/252 24485
/proc/meminfo: memFree=129393884/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3573.71 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88914 0 0 0 357351 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3573.71 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.09 4.02 6/252 24485
/proc/meminfo: memFree=129378260/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3580.08 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88914 0 0 0 357988 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3580.08 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.09 4.02 6/252 24485
/proc/meminfo: memFree=129378528/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3583.27 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88914 0 0 0 358307 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3583.27 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.09 4.02 6/252 24485
/proc/meminfo: memFree=129378532/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3584.87 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88914 0 0 0 358467 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3584.87 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
[startup+3596 s]*
/proc/loadavg: 4.10 4.09 4.02 6/252 24486
/proc/meminfo: memFree=129378532/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3585.68 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88914 0 0 0 358548 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3585.68 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.09 4.02 6/252 24486
/proc/meminfo: memFree=129378532/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3586.46 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88914 0 0 0 358626 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3586.46 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
[startup+3597 s]*
/proc/loadavg: 4.10 4.09 4.01 7/252 24486
/proc/meminfo: memFree=129378532/131382116 swapFree=33010684/33010684
[pid=24285] ppid=24276 vsize=225604 memory=215716 CPUtime=3586.67 cores=4,6
/proc/24285/stat : 24285 (pbsolver) R 24276 24285 24224 0 -1 4194304 88914 0 0 0 358647 20 0 0 20 0 1 0 34996388 231018496 53929 18446744073709551615 4198400 14743177 140732009906320 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 35192832 140732009912714 140732009912810 140732009912810 140732009918412 0
/proc/24285/statm: 56401 53929 2688 2575 0 53308 0
Current children cumulated CPU time: 3586.67 s
Current children cumulated vsize: 225604 KiB
Current children cumulated memory: 215716 KiB
Child status: 0
Real time (s): 3597.04
CPU time (s): 3586.72
CPU user time (s): 3586.51
CPU system time (s): 0.210234
CPU usage (%): 99.7129
Max. virtual memory (cumulated for all children) (KiB): 225604
Max. memory (cumulated for all children) (KiB): 215716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.51
system time used= 0.210234
maximum resident set size= 215716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88923
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= 44
involuntary context switches= 2108
# summary of solver processes directly reported to runsolver:
# pid: 24285
# total CPU time (s): 3586.72
# total CPU user time (s): 3586.51
# total CPU system time (s): 0.210234
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3186 second user time and 32.9329 second system time
The end
Begin job on nodeC011 at 2025-06-29 12:32:47 IDJOB=4507635 IDBENCH=158373 IDSOLVER=3366 FILE ID=nodeC011/4507635-1751193166 RUNJOBID= nodeC011-1751193166-24235 SLURM_JOB_ID= 9587587 Free space on /tmp= 433056 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K75.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507635-1751193166/watcher-4507635-1751193166 -o /tmp/evaluation-result-4507635-1751193166/solver-4507635-1751193166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751193166-24235 --watchdog 3760 pbsolver -f HOME/instance-4507635-1751193166.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 20bd7084da444bf6829119f4b61cf926 RANDOM SEED=1500985455 nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.206 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.291 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.301 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.295 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.295 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 130211444 kB MemAvailable: 129919852 kB Buffers: 3280 kB Cached: 519908 kB SwapCached: 0 kB Active: 318980 kB Inactive: 271796 kB Active(anon): 85872 kB Inactive(anon): 0 kB Active(file): 233108 kB Inactive(file): 271796 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 59948 kB Writeback: 0 kB AnonPages: 71072 kB Mapped: 101680 kB Shmem: 17960 kB KReclaimable: 85876 kB Slab: 165148 kB SReclaimable: 85876 kB SUnreclaim: 79272 kB KernelStack: 3800 kB PageTables: 2356 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 332636 kB VmallocTotal: 34359738367 kB VmallocUsed: 149256 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432996 MiB End job on nodeC011 at 2025-06-29 13:32:44