Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | SAT | -71 | 3587.44 | 3597.21 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_500_25_5.opb |
| MD5SUM | ad730d72a9718c13a4974a6db9713293 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -78 |
| Best CPU time to get the best result obtained on this benchmark | 3600.09 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 47 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 15706 |
| Sum of products size (including duplicates) | 31412 |
| Number of different products | 7853 |
| Sum of products size | 15706 |
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-4498114-1751268243.opb>
0.00/0.02 c original problem has 8353 variables (500 bin, 0 int, 7853 cont) and 8853 constraints
0.00/0.02 c original problem has 7853 implied integral variables (0 bin, 0 int, 7853 cont)
0.00/0.02 c problem read in 0.023 seconds
0.00/0.05 o 0
0.00/0.05 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.00/0.05 c presolving:
0.00/0.07 c (round 1, fast) 7853 del vars, 500 del conss, 0 add conss, 7853 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.08 c (round 2, fast) 7853 del vars, 500 del conss, 0 add conss, 7853 chg bounds, 0 chg sides, 0 chg coeffs, 7853 upgd conss, 0 impls, 0 clqs
0.09/0.10 c (round 3, medium) 7853 del vars, 8853 del conss, 0 add conss, 7853 chg bounds, 0 chg sides, 0 chg coeffs, 7853 upgd conss, 0 impls, 7852 clqs
0.09/0.13 c (0.1s) probing: 51/500 (10.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.13 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.13 c (0.1s) no symmetry present (symcode time: 0.00)
0.09/0.13 c presolving (4 rounds: 4 fast, 2 medium, 1 exhaustive):
0.09/0.13 c 7853 deleted vars, 8853 deleted constraints, 0 added constraints, 7853 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.13 c 0 implications, 7852 cliques
0.09/0.13 c presolved problem has 500 variables (500 bin, 0 int, 0 cont) and 7853 constraints
0.09/0.13 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.09/0.13 c 7853 constraints of type <setppc>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.09
0.09/0.13 c
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c
0.09/0.13 c # SCIP version 10.0.0
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.13 c limits/time = 3596.998012
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.13 c limits/memory = 27900
0.09/0.13 c
0.09/0.13 c # belongs reading time to solving time?
0.09/0.13 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c timing/reading = TRUE
0.09/0.13 c
0.09/0.13 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.09/0.13 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.09/0.13 c reading/opbreader/maxintsize = 47
0.09/0.13 c
0.09/0.13 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.09/0.13 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.09/0.13 c propagating/genvbounds/timingmask = 0
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.14 c transformed 1/1 original solutions to the transformed problem space
0.09/0.14 c
0.09/0.15 o -44
0.09/0.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.15 c p 0.2s| 1 | 0 | 0 | - | clique| 0 | 500 |7853 |7853 | 0 | 0 | 0 | 0 |-5.000000e+02 |-4.400000e+01 |1036.36%| unknown
0.09/0.16 o -62
0.09/0.16 c p 0.2s| 1 | 0 | 0 | - | locks| 0 | 500 |7853 |7853 | 0 | 0 | 0 | 0 |-5.000000e+02 |-6.200000e+01 | 706.45%| unknown
0.09/0.18 o -64
0.09/0.18 c i 0.2s| 1 | 0 | 128 | - | oneopt| 0 | 500 |7853 |7853 | 0 | 0 | 0 | 0 |-5.000000e+02 |-6.400000e+01 | 681.25%| unknown
0.09/0.19 c 0.2s| 1 | 0 | 657 | - | 50M | 0 | 500 |7853 |7853 | 0 | 0 | 0 | 0 |-2.500000e+02 |-6.400000e+01 | 290.62%| unknown
0.19/0.29 c 0.3s| 1 | 0 | 1095 | - | 52M | 0 | 500 |7853 |7886 | 33 | 1 | 0 | 0 |-2.325000e+02 |-6.400000e+01 | 263.28%| unknown
0.39/0.41 c 0.4s| 1 | 0 | 1473 | - | 53M | 0 | 500 |7853 |7919 | 66 | 2 | 0 | 0 |-2.245000e+02 |-6.400000e+01 | 250.78%| unknown
0.49/0.59 c 0.6s| 1 | 0 | 2145 | - | 54M | 0 | 500 |7853 |7956 | 103 | 3 | 0 | 0 |-2.155000e+02 |-6.400000e+01 | 236.72%| unknown
0.68/0.77 c 0.8s| 1 | 0 | 2967 | - | 57M | 0 | 500 |7853 |7992 | 139 | 4 | 0 | 0 |-2.060000e+02 |-6.400000e+01 | 221.88%| unknown
0.98/1.06 c 1.1s| 1 | 0 | 3551 | - | 58M | 0 | 500 |7853 |8020 | 167 | 5 | 0 | 0 |-2.015000e+02 |-6.400000e+01 | 214.84%| unknown
1.18/1.20 c 1.2s| 1 | 0 | 4249 | - | 65M | 0 | 500 |7853 |8050 | 197 | 6 | 0 | 0 |-1.985000e+02 |-6.400000e+01 | 210.16%| unknown
1.38/1.44 c 1.4s| 1 | 0 | 5669 | - | 69M | 0 | 500 |7853 |8077 | 224 | 7 | 0 | 0 |-1.953750e+02 |-6.400000e+01 | 205.27%| unknown
1.78/1.86 c 1.9s| 1 | 0 | 6368 | - | 72M | 0 | 500 |7853 |8100 | 247 | 8 | 0 | 0 |-1.921250e+02 |-6.400000e+01 | 200.20%| unknown
2.08/2.12 c 2.1s| 1 | 0 | 7795 | - | 75M | 0 | 500 |7853 |8128 | 275 | 9 | 0 | 0 |-1.889537e+02 |-6.400000e+01 | 195.24%| unknown
2.47/2.54 c 2.5s| 1 | 0 | 9120 | - | 81M | 0 | 500 |7853 |8156 | 303 | 10 | 0 | 0 |-1.848333e+02 |-6.400000e+01 | 188.80%| unknown
2.67/2.77 c 2.8s| 1 | 0 | 10486 | - | 81M | 0 | 500 |7853 |8185 | 332 | 11 | 0 | 0 |-1.822467e+02 |-6.400000e+01 | 184.76%| unknown
2.87/2.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.87/2.92 c 2.9s| 1 | 0 | 11278 | - | 82M | 0 | 500 |7853 |8205 | 352 | 12 | 0 | 0 |-1.808603e+02 |-6.400000e+01 | 182.59%| unknown
3.08/3.10 c 3.1s| 1 | 0 | 12265 | - | 84M | 0 | 500 |7853 |8226 | 373 | 13 | 0 | 0 |-1.786808e+02 |-6.400000e+01 | 179.19%| unknown
3.27/3.32 c 3.3s| 1 | 0 | 13391 | - | 84M | 0 | 500 |7853 |8254 | 401 | 14 | 0 | 0 |-1.763894e+02 |-6.400000e+01 | 175.61%| unknown
3.47/3.59 c 3.6s| 1 | 0 | 14927 | - | 85M | 0 | 500 |7853 |8279 | 426 | 15 | 0 | 0 |-1.740969e+02 |-6.400000e+01 | 172.03%| unknown
3.67/3.76 c 3.8s| 1 | 0 | 15802 | - | 86M | 0 | 500 |7853 |8286 | 445 | 16 | 0 | 0 |-1.728891e+02 |-6.400000e+01 | 170.14%| unknown
3.87/3.97 c 4.0s| 1 | 0 | 16893 | - | 87M | 0 | 500 |7853 |8303 | 462 | 17 | 0 | 0 |-1.714188e+02 |-6.400000e+01 | 167.84%| unknown
4.07/4.16 c 4.2s| 1 | 0 | 17919 | - | 88M | 0 | 500 |7853 |8323 | 482 | 18 | 0 | 0 |-1.701229e+02 |-6.400000e+01 | 165.82%| unknown
4.27/4.30 c 4.3s| 1 | 0 | 18619 | - | 89M | 0 | 500 |7853 |8336 | 495 | 19 | 0 | 0 |-1.690392e+02 |-6.400000e+01 | 164.12%| unknown
4.38/4.45 c 4.4s| 1 | 0 | 19330 | - | 90M | 0 | 500 |7853 |8351 | 510 | 20 | 0 | 0 |-1.677767e+02 |-6.400000e+01 | 162.15%| unknown
4.48/4.57 c 4.6s| 1 | 0 | 19969 | - | 90M | 0 | 500 |7853 |8369 | 528 | 21 | 0 | 0 |-1.669702e+02 |-6.400000e+01 | 160.89%| unknown
4.58/4.68 c 4.7s| 1 | 0 | 20546 | - | 90M | 0 | 500 |7853 |8364 | 537 | 22 | 0 | 0 |-1.665180e+02 |-6.400000e+01 | 160.18%| unknown
4.77/4.82 c 4.8s| 1 | 0 | 21280 | - | 90M | 0 | 500 |7853 |8370 | 543 | 23 | 0 | 0 |-1.658808e+02 |-6.400000e+01 | 159.19%| unknown
4.87/4.95 c 5.0s| 1 | 0 | 21942 | - | 90M | 0 | 500 |7853 |8378 | 551 | 24 | 0 | 0 |-1.652039e+02 |-6.400000e+01 | 158.13%| unknown
4.98/5.06 c 5.1s| 1 | 0 | 22511 | - | 90M | 0 | 500 |7853 |8390 | 563 | 25 | 0 | 0 |-1.646441e+02 |-6.400000e+01 | 157.26%| unknown
5.08/5.16 c 5.2s| 1 | 0 | 23053 | - | 90M | 0 | 500 |7853 |8400 | 573 | 26 | 0 | 0 |-1.642281e+02 |-6.400000e+01 | 156.61%| unknown
5.17/5.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.17/5.26 c 5.3s| 1 | 0 | 23522 | - | 90M | 0 | 500 |7853 |8412 | 585 | 27 | 0 | 0 |-1.637798e+02 |-6.400000e+01 | 155.91%| unknown
5.27/5.39 c 5.4s| 1 | 0 | 24262 | - | 90M | 0 | 500 |7853 |8388 | 594 | 28 | 0 | 0 |-1.629965e+02 |-6.400000e+01 | 154.68%| unknown
5.47/5.55 c 5.6s| 1 | 0 | 25122 | - | 90M | 0 | 500 |7853 |8398 | 604 | 29 | 0 | 0 |-1.620123e+02 |-6.400000e+01 | 153.14%| unknown
5.57/5.64 c 5.6s| 1 | 0 | 25616 | - | 91M | 0 | 500 |7853 |8409 | 615 | 30 | 0 | 0 |-1.616377e+02 |-6.400000e+01 | 152.56%| unknown
5.67/5.76 c 5.8s| 1 | 0 | 26251 | - | 91M | 0 | 500 |7853 |8419 | 625 | 31 | 0 | 0 |-1.612735e+02 |-6.400000e+01 | 151.99%| unknown
5.77/5.86 c 5.9s| 1 | 0 | 26795 | - | 91M | 0 | 500 |7853 |8431 | 637 | 32 | 0 | 0 |-1.609721e+02 |-6.400000e+01 | 151.52%| unknown
5.87/5.94 c 5.9s| 1 | 0 | 27122 | - | 91M | 0 | 500 |7853 |8442 | 648 | 33 | 0 | 0 |-1.606992e+02 |-6.400000e+01 | 151.09%| unknown
5.98/6.09 c 6.1s| 1 | 0 | 27812 | - | 91M | 0 | 500 |7853 |8410 | 657 | 34 | 0 | 0 |-1.600188e+02 |-6.400000e+01 | 150.03%| unknown
6.08/6.17 c 6.2s| 1 | 0 | 28170 | - | 91M | 0 | 500 |7853 |8421 | 668 | 35 | 0 | 0 |-1.596292e+02 |-6.400000e+01 | 149.42%| unknown
6.17/6.26 c 6.3s| 1 | 0 | 28535 | - | 91M | 0 | 500 |7853 |8432 | 679 | 36 | 0 | 0 |-1.592382e+02 |-6.400000e+01 | 148.81%| unknown
6.27/6.35 c 6.3s| 1 | 0 | 28940 | - | 91M | 0 | 500 |7853 |8441 | 688 | 37 | 0 | 0 |-1.588728e+02 |-6.400000e+01 | 148.24%| unknown
6.37/6.46 c 6.5s| 1 | 0 | 29479 | - | 91M | 0 | 500 |7853 |8451 | 698 | 38 | 0 | 0 |-1.585266e+02 |-6.400000e+01 | 147.70%| unknown
6.47/6.55 c 6.6s| 1 | 0 | 29867 | - | 91M | 0 | 500 |7853 |8460 | 707 | 39 | 0 | 0 |-1.580868e+02 |-6.400000e+01 | 147.01%| unknown
6.57/6.62 c 6.6s| 1 | 0 | 30171 | - | 91M | 0 | 500 |7853 |8436 | 716 | 40 | 0 | 0 |-1.577541e+02 |-6.400000e+01 | 146.49%| unknown
6.57/6.66 c 6.7s| 1 | 0 | 30284 | - | 91M | 0 | 500 |7853 |8443 | 723 | 41 | 0 | 0 |-1.576818e+02 |-6.400000e+01 | 146.38%| unknown
6.67/6.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.67/6.73 c 6.7s| 1 | 0 | 30530 | - | 91M | 0 | 500 |7853 |8454 | 734 | 42 | 0 | 0 |-1.574768e+02 |-6.400000e+01 | 146.06%| unknown
6.77/6.81 c 6.8s| 1 | 0 | 30890 | - | 91M | 0 | 500 |7853 |8471 | 751 | 43 | 0 | 0 |-1.570193e+02 |-6.400000e+01 | 145.34%| unknown
6.87/6.91 c 6.9s| 1 | 0 | 31361 | - | 91M | 0 | 500 |7853 |8484 | 764 | 44 | 0 | 0 |-1.565376e+02 |-6.400000e+01 | 144.59%| unknown
6.87/7.00 c 7.0s| 1 | 0 | 31730 | - | 91M | 0 | 500 |7853 |8497 | 777 | 45 | 0 | 0 |-1.560950e+02 |-6.400000e+01 | 143.90%| unknown
6.97/7.08 c 7.1s| 1 | 0 | 32118 | - | 92M | 0 | 500 |7853 |8484 | 789 | 46 | 0 | 0 |-1.556935e+02 |-6.400000e+01 | 143.27%| unknown
7.07/7.14 c 7.1s| 1 | 0 | 32374 | - | 92M | 0 | 500 |7853 |8498 | 803 | 47 | 0 | 0 |-1.554496e+02 |-6.400000e+01 | 142.89%| unknown
7.17/7.21 c 7.2s| 1 | 0 | 32678 | - | 92M | 0 | 500 |7853 |8514 | 819 | 48 | 0 | 0 |-1.552289e+02 |-6.400000e+01 | 142.55%| unknown
7.27/7.30 c 7.3s| 1 | 0 | 33103 | - | 92M | 0 | 500 |7853 |8534 | 839 | 49 | 0 | 0 |-1.548194e+02 |-6.400000e+01 | 141.91%| unknown
7.27/7.39 c 7.4s| 1 | 0 | 33521 | - | 92M | 0 | 500 |7853 |8548 | 853 | 50 | 0 | 0 |-1.545035e+02 |-6.400000e+01 | 141.41%| unknown
7.37/7.45 c 7.4s| 1 | 0 | 33731 | - | 92M | 0 | 500 |7853 |8563 | 868 | 51 | 0 | 0 |-1.543718e+02 |-6.400000e+01 | 141.21%| unknown
7.46/7.51 c 7.5s| 1 | 0 | 33999 | - | 92M | 0 | 500 |7853 |8546 | 878 | 52 | 0 | 0 |-1.541506e+02 |-6.400000e+01 | 140.86%| unknown
7.46/7.59 c 7.6s| 1 | 0 | 34348 | - | 92M | 0 | 500 |7853 |8554 | 886 | 53 | 0 | 0 |-1.539323e+02 |-6.400000e+01 | 140.52%| unknown
7.56/7.67 c 7.7s| 1 | 0 | 34710 | - | 92M | 0 | 500 |7853 |8564 | 896 | 54 | 0 | 0 |-1.537351e+02 |-6.400000e+01 | 140.21%| unknown
7.66/7.72 c 7.7s| 1 | 0 | 34943 | - | 92M | 0 | 500 |7853 |8576 | 908 | 55 | 0 | 0 |-1.535680e+02 |-6.400000e+01 | 139.95%| unknown
7.76/7.81 c 7.8s| 1 | 0 | 35310 | - | 92M | 0 | 500 |7853 |8589 | 921 | 56 | 0 | 0 |-1.531869e+02 |-6.400000e+01 | 139.35%| unknown
7.76/7.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.76/7.87 c 7.9s| 1 | 0 | 35548 | - | 92M | 0 | 500 |7853 |8598 | 930 | 57 | 0 | 0 |-1.530060e+02 |-6.400000e+01 | 139.07%| unknown
7.86/7.93 c 7.9s| 1 | 0 | 35783 | - | 92M | 0 | 500 |7853 |8575 | 939 | 58 | 0 | 0 |-1.528511e+02 |-6.400000e+01 | 138.83%| unknown
7.97/8.01 c 8.0s| 1 | 0 | 36093 | - | 92M | 0 | 500 |7853 |8589 | 953 | 59 | 0 | 0 |-1.525773e+02 |-6.400000e+01 | 138.40%| unknown
7.97/8.10 c 8.1s| 1 | 0 | 36504 | - | 92M | 0 | 500 |7853 |8605 | 969 | 60 | 0 | 0 |-1.522224e+02 |-6.400000e+01 | 137.85%| unknown
8.07/8.15 c 8.1s| 1 | 0 | 36700 | - | 92M | 0 | 500 |7853 |8620 | 984 | 61 | 0 | 0 |-1.521042e+02 |-6.400000e+01 | 137.66%| unknown
8.16/8.20 c 8.2s| 1 | 0 | 36909 | - | 92M | 0 | 500 |7853 |8630 | 994 | 62 | 0 | 0 |-1.520253e+02 |-6.400000e+01 | 137.54%| unknown
8.16/8.27 c 8.3s| 1 | 0 | 37229 | - | 92M | 0 | 500 |7853 |8640 |1004 | 63 | 0 | 0 |-1.518112e+02 |-6.400000e+01 | 137.21%| unknown
8.26/8.34 c 8.3s| 1 | 0 | 37487 | - | 93M | 0 | 500 |7853 |8595 |1011 | 64 | 0 | 0 |-1.516646e+02 |-6.400000e+01 | 136.98%| unknown
8.36/8.43 c 8.4s| 1 | 0 | 37924 | - | 93M | 0 | 500 |7853 |8608 |1024 | 65 | 0 | 0 |-1.513754e+02 |-6.400000e+01 | 136.52%| unknown
8.46/8.51 c 8.5s| 1 | 0 | 38312 | - | 93M | 0 | 500 |7853 |8625 |1041 | 66 | 0 | 0 |-1.511124e+02 |-6.400000e+01 | 136.11%| unknown
8.46/8.57 c 8.6s| 1 | 0 | 38541 | - | 93M | 0 | 500 |7853 |8640 |1056 | 67 | 0 | 0 |-1.509931e+02 |-6.400000e+01 | 135.93%| unknown
8.56/8.62 c 8.6s| 1 | 0 | 38742 | - | 93M | 0 | 500 |7853 |8650 |1066 | 68 | 0 | 0 |-1.509032e+02 |-6.400000e+01 | 135.79%| unknown
8.56/8.68 c 8.7s| 1 | 0 | 38994 | - | 93M | 0 | 500 |7853 |8660 |1076 | 69 | 0 | 0 |-1.507806e+02 |-6.400000e+01 | 135.59%| unknown
8.66/8.73 c 8.7s| 1 | 0 | 39191 | - | 93M | 0 | 500 |7853 |8616 |1089 | 70 | 0 | 0 |-1.506681e+02 |-6.400000e+01 | 135.42%| unknown
8.66/8.79 c 8.8s| 1 | 0 | 39441 | - | 93M | 0 | 500 |7853 |8624 |1097 | 71 | 0 | 0 |-1.504806e+02 |-6.400000e+01 | 135.13%| unknown
8.76/8.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.76/8.84 c 8.8s| 1 | 0 | 39626 | - | 93M | 0 | 500 |7853 |8639 |1112 | 72 | 0 | 0 |-1.503753e+02 |-6.400000e+01 | 134.96%| unknown
8.86/8.91 c 8.9s| 1 | 0 | 39936 | - | 93M | 0 | 500 |7853 |8655 |1128 | 73 | 0 | 0 |-1.502140e+02 |-6.400000e+01 | 134.71%| unknown
8.86/8.96 c 9.0s| 1 | 0 | 40179 | - | 93M | 0 | 500 |7853 |8668 |1141 | 74 | 0 | 0 |-1.500829e+02 |-6.400000e+01 | 134.50%| unknown
8.97/9.01 c 9.0s| 1 | 0 | 40385 | - | 93M | 0 | 500 |7853 |8683 |1156 | 75 | 0 | 0 |-1.500153e+02 |-6.400000e+01 | 134.40%| unknown
8.97/9.06 c 9.1s| 1 | 0 | 40573 | - | 93M | 0 | 500 |7853 |8643 |1169 | 76 | 0 | 0 |-1.499067e+02 |-6.400000e+01 | 134.23%| unknown
9.07/9.12 c 9.1s| 1 | 0 | 40787 | - | 93M | 0 | 500 |7853 |8654 |1180 | 77 | 0 | 0 |-1.498177e+02 |-6.400000e+01 | 134.09%| unknown
9.07/9.18 c 9.2s| 1 | 0 | 41059 | - | 93M | 0 | 500 |7853 |8664 |1190 | 78 | 0 | 0 |-1.497187e+02 |-6.400000e+01 | 133.94%| unknown
9.16/9.22 c 9.2s| 1 | 0 | 41246 | - | 93M | 0 | 500 |7853 |8676 |1202 | 79 | 0 | 0 |-1.496460e+02 |-6.400000e+01 | 133.82%| unknown
9.16/9.27 c 9.3s| 1 | 0 | 41429 | - | 94M | 0 | 500 |7853 |8690 |1216 | 80 | 0 | 0 |-1.495782e+02 |-6.400000e+01 | 133.72%| unknown
9.26/9.31 c 9.3s| 1 | 0 | 41606 | - | 94M | 0 | 500 |7853 |8703 |1229 | 81 | 0 | 0 |-1.495265e+02 |-6.400000e+01 | 133.64%| unknown
9.26/9.36 c 9.4s| 1 | 0 | 41809 | - | 94M | 0 | 500 |7853 |8654 |1243 | 82 | 0 | 0 |-1.494616e+02 |-6.400000e+01 | 133.53%| unknown
9.36/9.40 c 9.4s| 1 | 0 | 41978 | - | 94M | 0 | 500 |7853 |8663 |1252 | 83 | 0 | 0 |-1.494096e+02 |-6.400000e+01 | 133.45%| unknown
9.36/9.45 c 9.5s| 1 | 0 | 42162 | - | 94M | 0 | 500 |7853 |8677 |1266 | 84 | 0 | 0 |-1.493626e+02 |-6.400000e+01 | 133.38%| unknown
9.36/9.49 c 9.5s| 1 | 0 | 42346 | - | 94M | 0 | 500 |7853 |8691 |1280 | 85 | 0 | 0 |-1.493107e+02 |-6.400000e+01 | 133.30%| unknown
9.46/9.54 c 9.5s| 1 | 0 | 42553 | - | 94M | 0 | 500 |7853 |8701 |1290 | 86 | 0 | 0 |-1.492299e+02 |-6.400000e+01 | 133.17%| unknown
9.46/9.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.46/9.59 c 9.6s| 1 | 0 | 42724 | - | 94M | 0 | 500 |7853 |8712 |1301 | 87 | 0 | 0 |-1.492118e+02 |-6.400000e+01 | 133.14%| unknown
9.56/9.64 c 9.6s| 1 | 0 | 42904 | - | 94M | 0 | 500 |7853 |8650 |1315 | 88 | 0 | 0 |-1.491665e+02 |-6.400000e+01 | 133.07%| unknown
9.56/9.69 c 9.7s| 1 | 0 | 43083 | - | 94M | 0 | 500 |7853 |8664 |1329 | 89 | 0 | 0 |-1.491359e+02 |-6.400000e+01 | 133.02%| unknown
9.66/9.74 c 9.7s| 1 | 0 | 43312 | - | 94M | 0 | 500 |7853 |8679 |1344 | 90 | 0 | 0 |-1.490935e+02 |-6.400000e+01 | 132.96%| unknown
9.66/9.78 c 9.8s| 1 | 0 | 43477 | - | 94M | 0 | 500 |7853 |8689 |1354 | 91 | 0 | 0 |-1.490468e+02 |-6.400000e+01 | 132.89%| unknown
9.76/9.82 c 9.8s| 1 | 0 | 43619 | - | 94M | 0 | 500 |7853 |8699 |1364 | 92 | 0 | 0 |-1.490284e+02 |-6.400000e+01 | 132.86%| unknown
9.76/9.86 c 9.9s| 1 | 0 | 43793 | - | 94M | 0 | 500 |7853 |8708 |1373 | 93 | 0 | 0 |-1.490064e+02 |-6.400000e+01 | 132.82%| unknown
9.86/9.91 c 9.9s| 1 | 0 | 44041 | - | 95M | 0 | 500 |7853 |8665 |1387 | 94 | 0 | 0 |-1.489837e+02 |-6.400000e+01 | 132.79%| unknown
9.86/9.95 c 10.0s| 1 | 0 | 44167 | - | 95M | 0 | 500 |7853 |8680 |1402 | 95 | 0 | 0 |-1.489697e+02 |-6.400000e+01 | 132.77%| unknown
9.96/10.00 c 10.0s| 1 | 0 | 44415 | - | 95M | 0 | 500 |7853 |8696 |1418 | 96 | 0 | 0 |-1.489356e+02 |-6.400000e+01 | 132.71%| unknown
9.96/10.03 c 10.0s| 1 | 0 | 44525 | - | 95M | 0 | 500 |7853 |8703 |1425 | 97 | 0 | 0 |-1.489318e+02 |-6.400000e+01 | 132.71%| unknown
9.96/10.07 c 10.1s| 1 | 0 | 44642 | - | 95M | 0 | 500 |7853 |8714 |1436 | 98 | 0 | 0 |-1.489235e+02 |-6.400000e+01 | 132.69%| unknown
10.06/10.12 c 10.1s| 1 | 0 | 44835 | - | 95M | 0 | 500 |7853 |8725 |1447 | 99 | 0 | 0 |-1.489012e+02 |-6.400000e+01 | 132.66%| unknown
10.06/10.16 c 10.2s| 1 | 0 | 44973 | - | 95M | 0 | 500 |7853 |8662 |1455 |100 | 0 | 0 |-1.488852e+02 |-6.400000e+01 | 132.63%| unknown
10.06/10.19 c 10.2s| 1 | 0 | 45141 | - | 95M | 0 | 500 |7853 |8674 |1467 |101 | 0 | 0 |-1.488703e+02 |-6.400000e+01 | 132.61%| unknown
10.16/10.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.16/10.23 c 10.2s| 1 | 0 | 45375 | - | 95M | 0 | 500 |7853 |8689 |1482 |102 | 0 | 0 |-1.488352e+02 |-6.400000e+01 | 132.56%| unknown
10.16/10.26 c 10.3s| 1 | 0 | 45539 | - | 95M | 0 | 500 |7853 |8703 |1496 |103 | 0 | 0 |-1.488213e+02 |-6.400000e+01 | 132.53%| unknown
10.26/10.31 c 10.3s| 1 | 0 | 45798 | - | 95M | 0 | 500 |7853 |8716 |1509 |104 | 0 | 0 |-1.488020e+02 |-6.400000e+01 | 132.50%| unknown
10.26/10.34 c 10.3s| 1 | 0 | 45981 | - | 95M | 0 | 500 |7853 |8731 |1524 |105 | 0 | 0 |-1.487873e+02 |-6.400000e+01 | 132.48%| unknown
10.26/10.38 c 10.4s| 1 | 0 | 46133 | - | 95M | 0 | 500 |7853 |8692 |1534 |106 | 0 | 0 |-1.487783e+02 |-6.400000e+01 | 132.47%| unknown
10.26/10.39 c 10.4s| 1 | 0 | 46137 | - | 95M | 0 | 500 |7853 |8701 |1543 |107 | 0 | 0 |-1.487778e+02 |-6.400000e+01 | 132.47%| unknown
10.36/10.40 c 10.4s| 1 | 0 | 46138 | - | 95M | 0 | 500 |7853 |8702 |1544 |108 | 0 | 0 |-1.487778e+02 |-6.400000e+01 | 132.47%| unknown
14.55/14.63 c 14.6s| 1 | 2 | 46151 | - | 95M | 0 | 500 |7853 |8702 |1544 |109 | 0 | 32 |-1.484268e+02 |-6.400000e+01 | 131.92%| unknown
63.92/64.15 c 64.2s| 100 | 101 |227881 |1837.1 | 215M | 17 | 500 |7853 |8485 |4474 | 1 | 0 | 284 |-1.467765e+02 |-6.400000e+01 | 129.34%| unknown
87.26/87.53 o -66
87.26/87.53 c d87.5s| 182 | 183 |342516 |1638.2 |pscostdi| 19 | 500 |7853 |8383 | 0 | 1 | 0 | 330 |-1.452191e+02 |-6.600000e+01 | 120.03%| unknown
97.54/97.85 c 97.9s| 200 | 201 |381867 |1687.7 | 283M | 19 | 500 |7853 |8548 |7186 | 1 | 0 | 353 |-1.451971e+02 |-6.600000e+01 | 120.00%| unknown
143.13/143.50 c 143s| 300 | 301 |586625 |1808.1 | 324M | 24 | 500 |7853 |8680 | 10k| 1 | 0 | 461 |-1.444781e+02 |-6.600000e+01 | 118.91%| unknown
164.17/164.65 o -68
164.17/164.65 c L 165s| 382 | 383 |699069 |1714.1 |crossove| 27 | 500 |7853 |8685 | 11k| 1 | 0 | 508 |-1.440666e+02 |-6.800000e+01 | 111.86%| unknown
168.27/168.77 c 169s| 400 | 401 |722247 |1694.8 | 328M | 27 | 500 |7853 |8536 | 11k| 1 | 0 | 517 |-1.440666e+02 |-6.800000e+01 | 111.86%| unknown
193.01/193.57 c 194s| 500 | 501 |848671 |1608.5 | 331M | 31 | 500 |7853 |8463 | 11k| 1 | 0 | 575 |-1.437747e+02 |-6.800000e+01 | 111.43%| unknown
214.56/215.13 o -69
214.56/215.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
214.56/215.13 c L 215s| 582 | 583 |948047 |1552.6 |crossove| 31 | 500 |7853 |8561 | 12k| 1 | 0 | 634 |-1.437747e+02 |-6.900000e+01 | 108.37%| unknown
214.65/215.28 o -71
214.65/215.28 c i 215s| 583 | 584 |948812 |1551.2 | oneopt| 31 | 500 |7853 |8561 | 12k| 1 | 0 | 635 |-1.437747e+02 |-7.100000e+01 | 102.50%| unknown
218.14/218.78 c 219s| 600 | 601 |966815 |1537.2 | 340M | 31 | 500 |7853 |8687 | 12k| 1 | 0 | 646 |-1.437747e+02 |-7.100000e+01 | 102.50%| unknown
240.58/241.20 c 241s| 700 | 701 | 1090k|1493.6 | 344M | 32 | 500 |7853 |8537 | 13k| 1 | 0 | 687 |-1.437747e+02 |-7.100000e+01 | 102.50%| unknown
264.53/265.24 c 265s| 800 | 801 | 1236k|1490.2 | 356M | 32 | 500 |7853 |8826 | 14k| 3 | 0 | 689 |-1.437747e+02 |-7.100000e+01 | 102.50%| unknown
287.28/288.04 c 288s| 900 | 901 | 1386k|1491.1 | 366M | 37 | 500 |7853 |8752 | 16k| 1 | 0 | 689 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
306.23/307.09 c 307s| 1000 | 1001 | 1491k|1447.2 | 369M | 38 | 500 |7853 |8609 | 16k| 1 | 0 | 730 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
320.40/321.24 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
320.40/321.24 c (run 1, node 1049) performing user restart
320.40/321.24 c
320.40/321.24 c (restart) converted 596 cuts from the global cut pool into linear constraints
320.40/321.24 c
320.50/321.34 c presolving:
320.50/321.35 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 596 upgd conss, 0 impls, 8444 clqs
320.50/321.36 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
320.50/321.36 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
320.50/321.36 c 0 implications, 8445 cliques
320.50/321.36 c presolved problem has 500 variables (500 bin, 0 int, 0 cont) and 8449 constraints
320.50/321.36 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
320.50/321.36 c 4 constraints of type <knapsack>
320.50/321.36 c 8445 constraints of type <setppc>
320.50/321.36 c transformed objective value is always integral (scale: 1)
320.50/321.36 c Presolving Time: 0.16
320.59/321.43 c transformed 100/100 original solutions to the transformed problem space
320.59/321.43 c
321.20/322.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
321.20/322.10 c 322s| 1 | 0 | 1562k| - | 375M | 0 | 500 |8449 |8449 | 0 | 0 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
321.30/322.19 c 322s| 1 | 0 | 1562k| - | 379M | 0 | 500 |8449 |8455 | 6 | 1 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
321.39/322.28 c 322s| 1 | 0 | 1562k| - | 376M | 0 | 500 |8449 |8461 | 12 | 2 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
321.49/322.37 c 322s| 1 | 0 | 1562k| - | 384M | 0 | 500 |8449 |8470 | 21 | 3 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
321.59/322.46 c 322s| 1 | 0 | 1562k| - | 387M | 0 | 500 |8449 |8478 | 29 | 4 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
321.69/322.57 c 323s| 1 | 0 | 1563k| - | 390M | 0 | 500 |8449 |8485 | 36 | 5 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
321.79/322.67 c 323s| 1 | 0 | 1563k| - | 396M | 0 | 500 |8449 |8491 | 42 | 6 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
321.89/322.79 c 323s| 1 | 0 | 1563k| - | 400M | 0 | 500 |8449 |8501 | 52 | 7 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
322.09/322.93 c 323s| 1 | 0 | 1563k| - | 403M | 0 | 500 |8449 |8512 | 63 | 8 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
322.19/323.06 c 323s| 1 | 0 | 1563k| - | 412M | 0 | 500 |8449 |8517 | 68 | 9 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
322.39/323.22 c 323s| 1 | 0 | 1564k| - | 421M | 0 | 500 |8449 |8523 | 74 | 10 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
322.39/323.29 c 323s| 1 | 0 | 1564k| - | 421M | 0 | 500 |8449 |8485 | 84 | 11 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
322.49/323.37 c 323s| 1 | 0 | 1564k| - | 421M | 0 | 500 |8449 |8492 | 91 | 12 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
322.59/323.46 c 323s| 1 | 0 | 1564k| - | 421M | 0 | 500 |8449 |8501 | 100 | 13 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
322.69/323.55 c 324s| 1 | 0 | 1564k| - | 421M | 0 | 500 |8449 |8514 | 113 | 14 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
322.79/323.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
322.79/323.64 c 324s| 1 | 0 | 1564k| - | 421M | 0 | 500 |8449 |8523 | 122 | 15 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
322.88/323.74 c 324s| 1 | 0 | 1564k| - | 421M | 0 | 500 |8449 |8532 | 131 | 16 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
322.98/323.85 c 324s| 1 | 0 | 1564k| - | 421M | 0 | 500 |8449 |8507 | 143 | 17 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
323.08/323.95 c 324s| 1 | 0 | 1565k| - | 421M | 0 | 500 |8449 |8517 | 153 | 18 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
323.19/324.06 c 324s| 1 | 0 | 1565k| - | 421M | 0 | 500 |8449 |8527 | 163 | 19 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
323.29/324.18 c 324s| 1 | 0 | 1565k| - | 421M | 0 | 500 |8449 |8540 | 176 | 20 | 0 | 767 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
331.27/332.14 c 332s| 1 | 2 | 1565k| - | 421M | 0 | 500 |8449 |8540 | 176 | 20 | 0 | 816 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
371.07/372.07 c 372s| 100 | 101 | 1676k|1412.4 | 425M | 32 | 500 |8449 |8389 | 295 | 2 | 0 |1092 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
382.34/383.32 c 383s| 200 | 201 | 1745k|1354.4 | 426M | 35 | 500 |8449 |8390 | 331 | 1 | 0 |1166 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
397.31/398.36 c 398s| 300 | 301 | 1818k|1308.0 | 440M | 42 | 500 |8449 |8391 | 891 | 1 | 0 |1217 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
414.07/415.18 c 415s| 400 | 401 | 1900k|1274.2 | 450M | 43 | 500 |8449 |8537 |1667 | 6 | 0 |1285 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
428.24/429.36 c 429s| 500 | 501 | 1988k|1248.9 | 454M | 43 | 500 |8449 |8491 |2751 | 1 | 0 |1329 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
443.01/444.11 c 444s| 600 | 601 | 2094k|1237.4 | 455M | 43 | 500 |8449 |8549 |3751 | 1 | 0 |1357 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
457.57/458.70 c 459s| 700 | 701 | 2189k|1221.1 | 464M | 44 | 500 |8449 |8487 |4944 | 7 | 0 |1375 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
470.73/471.95 c 472s| 800 | 801 | 2272k|1200.2 | 464M | 44 | 500 |8449 |8501 |5973 | 6 | 0 |1408 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
486.90/488.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
486.90/488.15 c 488s| 900 | 901 | 2370k|1188.8 | 467M | 44 | 500 |8449 |8546 |7083 | 7 | 0 |1431 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
498.27/499.58 c 500s| 1000 | 1001 | 2453k|1171.4 | 472M | 44 | 500 |8449 |8385 |8283 | 1 | 0 |1434 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
512.84/514.18 c 514s| 1100 | 1101 | 2537k|1155.8 | 477M | 44 | 500 |8449 |8421 |9759 | 1 | 0 |1438 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
527.99/529.34 c 529s| 1200 | 1201 | 2623k|1142.5 | 480M | 44 | 500 |8449 |8395 | 11k| 1 | 0 |1481 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
539.07/540.48 c 540s| 1300 | 1301 | 2706k|1129.5 | 486M | 44 | 500 |8449 |8440 | 12k| 1 | 0 |1523 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
550.14/551.59 c 552s| 1400 | 1401 | 2780k|1113.5 | 487M | 44 | 500 |8449 |8411 | 14k| 1 | 0 |1536 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
564.20/565.64 c 566s| 1500 | 1501 | 2865k|1103.1 | 490M | 44 | 500 |8449 |8585 | 15k| 1 | 0 |1543 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
578.98/580.49 c 580s| 1600 | 1601 | 2959k|1096.8 | 503M | 44 | 500 |8449 |8535 | 17k| 6 | 0 |1559 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
592.44/593.93 c 594s| 1700 | 1701 | 3044k|1088.0 | 504M | 44 | 500 |8449 |8479 | 19k| 1 | 0 |1574 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
605.51/607.03 c 607s| 1800 | 1801 | 3122k|1077.0 | 507M | 44 | 500 |8449 |8513 | 21k| 1 | 0 |1590 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
617.48/619.08 c 619s| 1900 | 1901 | 3203k|1068.0 | 508M | 44 | 500 |8449 |8421 | 23k| 1 | 0 |1601 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
630.64/632.22 c 632s| 2000 | 2001 | 3285k|1059.8 | 515M | 44 | 500 |8449 |8407 | 24k| 1 | 0 |1612 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
645.11/646.76 c 647s| 2100 | 2101 | 3363k|1051.1 | 523M | 44 | 500 |8449 |8526 | 26k| 1 | 0 |1686 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
658.68/660.33 c 660s| 2200 | 2201 | 3444k|1043.7 | 526M | 44 | 500 |8449 |8551 | 28k| 7 | 0 |1711 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
671.95/673.64 c 674s| 2300 | 2301 | 3530k|1038.1 | 528M | 45 | 500 |8449 |8507 | 30k| 1 | 0 |1735 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
686.21/687.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
686.21/687.93 c 688s| 2400 | 2401 | 3620k|1034.0 | 534M | 45 | 500 |8449 |8519 | 32k| 1 | 0 |1738 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
698.78/700.59 c 701s| 2500 | 2501 | 3707k|1029.4 | 540M | 45 | 500 |8449 |8548 | 34k| 6 | 0 |1760 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
710.65/712.47 c 712s| 2600 | 2601 | 3782k|1021.8 | 542M | 45 | 500 |8449 |8530 | 36k| 1 | 0 |1769 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
722.34/724.18 c 724s| 2700 | 2701 | 3861k|1015.7 | 544M | 45 | 500 |8449 |8490 | 38k| 1 | 0 |1769 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
734.31/736.19 c 736s| 2800 | 2801 | 3941k|1010.0 | 544M | 45 | 500 |8449 |8502 | 40k| 1 | 0 |1771 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
747.47/749.37 c 749s| 2900 | 2901 | 4018k|1004.0 | 545M | 45 | 500 |8449 |8502 | 42k| 7 | 0 |1784 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
760.44/762.30 c 762s| 3000 | 3001 | 4098k| 998.9 | 546M | 45 | 500 |8449 |8399 | 43k| 1 | 0 |1805 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
771.01/773.00 c 773s| 3100 | 3101 | 4170k| 992.3 | 546M | 45 | 500 |8449 |8497 | 45k| 6 | 0 |1865 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
789.36/791.35 c 791s| 3200 | 3201 | 4253k| 988.4 | 557M | 45 | 500 |8449 |8586 | 47k| 1 | 0 |1919 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
803.32/805.33 c 805s| 3300 | 3301 | 4339k| 985.5 | 559M | 45 | 500 |8449 |8571 | 49k| 8 | 0 |1938 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
820.38/822.44 c 822s| 3400 | 3401 | 4427k| 983.1 | 566M | 46 | 500 |8449 |8516 | 51k| 1 | 0 |1940 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
832.26/834.30 c 834s| 3500 | 3501 | 4506k| 978.8 | 577M | 46 | 500 |8449 |8454 | 53k| 1 | 0 |1941 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
842.63/844.70 c 845s| 3600 | 3601 | 4575k| 972.6 | 579M | 46 | 500 |8449 |8411 | 54k| 1 | 0 |1942 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
855.00/857.15 c 857s| 3700 | 3701 | 4653k| 968.5 | 580M | 46 | 500 |8449 |8386 | 56k| 1 | 0 |1943 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
866.67/868.88 c 869s| 3800 | 3801 | 4730k| 964.3 | 581M | 46 | 500 |8449 |8417 | 58k| 1 | 0 |1943 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
877.55/879.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
877.55/879.72 c 880s| 3900 | 3901 | 4801k| 959.3 | 581M | 46 | 500 |8449 |8448 | 60k| 1 | 0 |1943 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
892.21/894.42 c 894s| 4000 | 4001 | 4888k| 957.5 | 586M | 46 | 500 |8449 |8494 | 61k| 1 | 0 |1943 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
901.39/903.68 c 904s| 4100 | 4101 | 4948k| 950.6 | 586M | 46 | 500 |8449 |8406 | 62k| 1 | 0 |1943 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
914.76/917.05 c 917s| 4200 | 4201 | 5026k| 947.4 | 595M | 46 | 500 |8449 |8559 | 64k| 7 | 0 |1944 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
923.53/925.83 c 926s| 4300 | 4301 | 5101k| 943.6 | 596M | 46 | 500 |8449 |8394 | 66k| 1 | 0 |1944 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
932.60/934.91 c 935s| 4400 | 4401 | 5162k| 937.5 | 596M | 47 | 500 |8449 |8508 | 67k| 1 | 0 |1945 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
948.77/951.13 c 951s| 4500 | 4501 | 5241k| 934.8 | 598M | 47 | 500 |8449 |8512 | 69k| 1 | 0 |1946 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
957.64/960.02 c 960s| 4600 | 4601 | 5297k| 928.3 | 600M | 47 | 500 |8449 |8584 | 70k| 1 | 0 |1959 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
971.91/974.30 c 974s| 4700 | 4701 | 5380k| 926.4 | 607M | 47 | 500 |8449 |8419 | 71k| 1 | 0 |1985 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
983.58/986.05 c 986s| 4800 | 4801 | 5451k| 922.9 | 620M | 47 | 500 |8449 |8511 | 73k| 1 | 0 |2008 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
991.86/994.37 c 994s| 4900 | 4901 | 5504k| 916.3 | 620M | 47 | 500 |8449 |8393 | 74k| 1 | 0 |2033 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1001.43/1003.97 c 1004s| 5000 | 5001 | 5565k| 911.2 | 620M | 47 | 500 |8449 |8454 | 76k| 1 | 0 |2034 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1013.70/1016.24 c 1016s| 5100 | 5101 | 5635k| 907.7 | 624M | 47 | 500 |8449 |8516 | 77k| 1 | 0 |2034 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1029.86/1032.44 c 1032s| 5200 | 5201 | 5705k| 904.3 | 625M | 47 | 500 |8449 |8516 | 79k| 7 | 0 |2034 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1039.34/1041.90 c 1042s| 5300 | 5301 | 5776k| 901.3 | 625M | 47 | 500 |8449 |8489 | 80k| 1 | 0 |2043 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1051.41/1054.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1051.41/1054.09 c 1054s| 5400 | 5401 | 5831k| 895.9 | 632M | 47 | 500 |8449 |8508 | 82k| 1 | 0 |2043 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1062.48/1065.16 c 1065s| 5500 | 5501 | 5899k| 892.6 | 632M | 47 | 500 |8449 |8530 | 83k| 7 | 0 |2043 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1072.65/1075.31 c 1075s| 5600 | 5601 | 5952k| 887.2 | 645M | 48 | 500 |8449 |8602 | 84k| 1 | 0 |2044 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1086.43/1089.11 c 1089s| 5700 | 5701 | 6016k| 883.5 | 647M | 48 | 500 |8449 |8539 | 86k| 1 | 0 |2045 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1101.48/1104.23 c 1104s| 5800 | 5801 | 6083k| 880.3 | 647M | 48 | 500 |8449 |8517 | 88k| 1 | 0 |2095 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1111.86/1114.68 c 1115s| 5900 | 5901 | 6149k| 877.2 | 649M | 48 | 500 |8449 |8422 | 89k| 1 | 0 |2099 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1119.44/1122.29 c 1122s| 6000 | 6001 | 6201k| 872.1 | 649M | 48 | 500 |8449 |8487 | 91k| 1 | 0 |2113 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1131.61/1134.40 c 1134s| 6100 | 6101 | 6267k| 869.1 | 660M | 48 | 500 |8449 |8497 | 92k| 1 | 0 |2115 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1143.38/1146.21 c 1146s| 6200 | 6201 | 6330k| 865.8 | 660M | 48 | 500 |8449 |8549 | 94k| 1 | 0 |2117 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1152.65/1155.57 c 1156s| 6300 | 6301 | 6392k| 862.5 | 676M | 48 | 500 |8449 |8467 | 95k| 1 | 0 |2121 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1165.02/1167.95 c 1168s| 6400 | 6401 | 6450k| 858.7 | 678M | 48 | 500 |8449 |8414 | 96k| 1 | 0 |2124 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1173.70/1176.67 c 1177s| 6500 | 6501 | 6502k| 854.2 | 679M | 48 | 500 |8449 |8396 | 97k| 1 | 0 |2144 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1184.97/1187.99 c 1188s| 6600 | 6601 | 6573k| 852.3 | 679M | 48 | 500 |8449 |8459 | 99k| 1 | 0 |2145 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1197.44/1200.47 c 1200s| 6700 | 6701 | 6640k| 849.9 | 679M | 48 | 500 |8449 |8508 | 100k| 1 | 0 |2145 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1208.91/1211.96 c 1212s| 6800 | 6801 | 6704k| 847.2 | 679M | 48 | 500 |8449 |8506 | 102k| 1 | 0 |2145 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1221.78/1224.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1221.78/1224.86 c 1225s| 6900 | 6901 | 6774k| 845.4 | 680M | 48 | 500 |8449 |8546 | 103k| 1 | 0 |2170 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1234.34/1237.45 c 1237s| 7000 | 7001 | 6839k| 843.1 | 680M | 48 | 500 |8449 |8531 | 105k| 1 | 0 |2229 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1245.92/1249.00 c 1249s| 7100 | 7101 | 6898k| 839.9 | 680M | 48 | 500 |8449 |8527 | 106k| 1 | 0 |2268 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1256.79/1259.95 c 1260s| 7200 | 7201 | 6964k| 837.7 | 690M | 48 | 500 |8449 |8547 | 108k| 1 | 0 |2299 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1265.37/1268.57 c 1269s| 7300 | 7301 | 7014k| 833.6 | 691M | 48 | 500 |8449 |8529 | 109k| 1 | 0 |2326 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1276.54/1279.71 c 1280s| 7400 | 7399 | 7072k| 830.7 | 711M | 48 | 500 |8449 |8433 | 110k| 1 | 0 |2385 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1285.72/1288.95 c 1289s| 7500 | 7499 | 7124k| 827.0 | 711M | 48 | 500 |8449 |8554 | 111k| 7 | 0 |2398 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1295.99/1299.26 c 1299s| 7600 | 7599 | 7191k| 825.2 | 713M | 49 | 500 |8449 |8542 | 112k| 1 | 0 |2401 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1308.46/1311.70 c 1312s| 7700 | 7699 | 7258k| 823.4 | 713M | 49 | 500 |8449 |8512 | 114k| 1 | 0 |2424 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1319.03/1322.39 c 1322s| 7800 | 7799 | 7320k| 821.2 | 714M | 49 | 500 |8449 |8512 | 115k| 1 | 0 |2424 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1329.61/1332.94 c 1333s| 7900 | 7899 | 7382k| 818.8 | 714M | 49 | 500 |8449 |8508 | 117k| 1 | 0 |2428 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1342.68/1346.01 c 1346s| 8000 | 7999 | 7458k| 818.2 | 714M | 49 | 500 |8449 |8508 | 118k| 1 | 0 |2428 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1355.84/1359.29 c 1359s| 8100 | 8099 | 7518k| 815.9 | 716M | 49 | 500 |8449 |8530 | 119k| 1 | 0 |2455 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1371.70/1375.16 c 1375s| 8200 | 8199 | 7586k| 814.3 | 717M | 49 | 500 |8449 |8468 | 121k| 1 | 0 |2463 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1386.27/1389.79 c 1390s| 8300 | 8299 | 7659k| 813.5 | 729M | 49 | 500 |8449 |8567 | 123k| 1 | 0 |2466 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1399.14/1402.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1399.14/1402.64 c 1403s| 8400 | 8399 | 7727k| 812.1 | 729M | 49 | 500 |8449 |8488 | 124k| 1 | 0 |2468 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1409.01/1412.56 c 1413s| 8500 | 8499 | 7778k| 808.9 | 753M | 49 | 500 |8449 |8571 | 126k| 1 | 0 |2470 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1422.37/1425.97 c 1426s| 8600 | 8599 | 7844k| 807.4 | 754M | 49 | 500 |8449 |8495 | 128k| 1 | 0 |2474 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1438.93/1442.56 c 1443s| 8700 | 8699 | 7915k| 806.4 | 755M | 49 | 500 |8449 |8533 | 129k| 1 | 0 |2544 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1451.90/1455.53 c 1456s| 8800 | 8799 | 7992k| 806.0 | 755M | 49 | 500 |8449 |8476 | 131k| 6 | 0 |2552 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1459.77/1463.43 c 1463s| 8900 | 8899 | 8043k| 803.0 | 755M | 49 | 500 |8449 |8502 | 132k| 1 | 0 |2585 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1468.85/1472.51 c 1473s| 9000 | 8999 | 8104k| 801.1 | 755M | 49 | 500 |8449 |8512 | 133k| 1 | 0 |2604 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1481.52/1485.26 c 1485s| 9100 | 9099 | 8167k| 799.4 | 756M | 49 | 500 |8449 |8536 | 135k| 1 | 0 |2616 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1494.79/1498.53 c 1499s| 9200 | 9199 | 8227k| 797.5 | 757M | 49 | 500 |8449 |8518 | 136k| 1 | 0 |2620 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1509.25/1513.08 c 1513s| 9300 | 9299 | 8295k| 796.4 | 760M | 49 | 500 |8449 |8577 | 138k| 1 | 0 |2621 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1519.52/1523.37 c 1523s| 9400 | 9399 | 8353k| 794.3 | 774M | 49 | 500 |8449 |8427 | 139k| 1 | 0 |2623 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1533.40/1537.29 c 1537s| 9500 | 9499 | 8418k| 792.9 | 774M | 49 | 500 |8449 |8514 | 140k| 1 | 0 |2624 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1545.07/1548.93 c 1549s| 9600 | 9599 | 8480k| 791.3 | 776M | 49 | 500 |8449 |8503 | 142k| 1 | 0 |2628 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1558.14/1562.07 c 1562s| 9700 | 9699 | 8540k| 789.5 | 802M | 49 | 500 |8449 |8527 | 143k| 1 | 0 |2628 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1570.21/1574.17 c 1574s| 9800 | 9797 | 8607k| 788.4 | 803M | 49 | 500 |8449 |8522 | 144k| 1 | 0 |2630 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1582.87/1586.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1582.87/1586.88 c 1587s| 9900 | 9897 | 8670k| 786.9 | 804M | 49 | 500 |8449 |8498 | 146k| 1 | 0 |2630 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1596.23/1600.23 c 1600s| 10000 | 9997 | 8738k| 786.0 | 805M | 49 | 500 |8449 |8506 | 147k| 1 | 0 |2631 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1609.10/1613.14 c 1613s| 10100 | 10097 | 8803k| 784.7 | 806M | 49 | 500 |8449 |8392 | 149k| 1 | 0 |2701 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1621.67/1625.73 c 1626s| 10200 | 10197 | 8866k| 783.4 | 807M | 49 | 500 |8449 |8572 | 150k| 1 | 0 |2712 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1635.14/1639.27 c 1639s| 10300 | 10297 | 8938k| 782.8 | 807M | 49 | 500 |8449 |8493 | 152k| 8 | 0 |2722 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1644.42/1648.53 c 1649s| 10400 | 10397 | 8998k| 781.2 | 807M | 49 | 500 |8449 |8549 | 153k| 6 | 0 |2724 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1658.98/1663.11 c 1663s| 10500 | 10497 | 9064k| 780.1 | 808M | 49 | 500 |8449 |8520 | 155k| 1 | 0 |2735 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1673.14/1677.32 c 1677s| 10600 | 10597 | 9142k| 780.2 | 809M | 49 | 500 |8449 |8583 | 157k| 1 | 0 |2741 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1684.92/1689.16 c 1689s| 10700 | 10697 | 9209k| 779.3 | 809M | 49 | 500 |8449 |8519 | 159k| 1 | 0 |2771 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1698.08/1702.36 c 1702s| 10800 | 10797 | 9281k| 778.7 | 826M | 49 | 500 |8449 |8509 | 161k| 1 | 0 |2774 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1711.34/1715.62 c 1716s| 10900 | 10897 | 9358k| 778.7 | 827M | 49 | 500 |8449 |8569 | 162k| 1 | 0 |2784 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1725.51/1729.84 c 1730s| 11000 | 10997 | 9422k| 777.5 | 862M | 49 | 500 |8449 |8397 | 164k| 1 | 0 |2786 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1741.77/1746.15 c 1746s| 11100 | 11097 | 9494k| 777.0 | 864M | 49 | 500 |8449 |8469 | 165k| 1 | 0 |2786 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1752.24/1756.69 c 1757s| 11200 | 11197 | 9551k| 775.3 | 864M | 49 | 500 |8449 |8584 | 166k| 1 | 0 |2787 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1762.11/1766.53 c 1767s| 11300 | 11297 | 9608k| 773.7 | 865M | 49 | 500 |8449 |8498 | 168k| 9 | 0 |2787 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1775.28/1779.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1775.28/1779.72 c 1780s| 11400 | 11397 | 9677k| 773.0 | 865M | 49 | 500 |8449 |8502 | 169k| 1 | 0 |2795 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1786.86/1791.38 c 1791s| 11500 | 11497 | 9740k| 771.9 | 865M | 49 | 500 |8449 |8472 | 170k| 1 | 0 |2838 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1799.23/1803.75 c 1804s| 11600 | 11595 | 9799k| 770.4 | 866M | 49 | 500 |8449 |8546 | 171k| 1 | 0 |2887 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1808.30/1812.84 c 1813s| 11700 | 11695 | 9852k| 768.5 | 867M | 49 | 500 |8449 |8537 | 172k| 1 | 0 |2898 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1817.78/1822.33 c 1822s| 11800 | 11795 | 9910k| 767.1 | 868M | 49 | 500 |8449 |8622 | 173k| 1 | 0 |2927 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1829.45/1834.01 c 1834s| 11900 | 11895 | 9975k| 766.2 | 868M | 49 | 500 |8449 |8422 | 175k| 1 | 0 |2941 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1845.71/1850.33 c 1850s| 12000 | 11995 | 10048k| 765.9 | 868M | 49 | 500 |8449 |8540 | 177k| 6 | 0 |2942 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1859.07/1863.77 c 1864s| 12100 | 12095 | 10120k| 765.6 | 871M | 49 | 500 |8449 |8542 | 178k| 1 | 0 |2962 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1870.64/1875.34 c 1875s| 12200 | 12195 | 10175k| 764.0 | 871M | 49 | 500 |8449 |8442 | 179k| 1 | 0 |2965 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1885.81/1890.58 c 1891s| 12300 | 12295 | 10241k| 763.1 | 891M | 49 | 500 |8449 |8419 | 181k| 1 | 0 |2967 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1896.78/1901.57 c 1902s| 12400 | 12395 | 10293k| 761.3 | 892M | 49 | 500 |8449 |8542 | 182k| 1 | 0 |2969 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1908.55/1913.33 c 1913s| 12500 | 12495 | 10353k| 760.1 | 892M | 49 | 500 |8449 |8470 | 183k| 1 | 0 |2991 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1925.01/1929.83 c 1930s| 12600 | 12595 | 10425k| 759.9 | 933M | 49 | 500 |8449 |8515 | 185k| 1 | 0 |2996 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1935.08/1939.92 c 1940s| 12700 | 12695 | 10479k| 758.2 | 933M | 49 | 500 |8449 |8502 | 186k| 1 | 0 |3000 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1946.95/1951.81 c 1952s| 12800 | 12795 | 10543k| 757.4 | 933M | 49 | 500 |8449 |8510 | 187k| 1 | 0 |3007 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1958.82/1963.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1958.82/1963.77 c 1964s| 12900 | 12895 | 10606k| 756.5 | 934M | 49 | 500 |8449 |8512 | 189k| 1 | 0 |3017 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1969.10/1974.04 c 1974s| 13000 | 12995 | 10672k| 755.8 | 935M | 49 | 500 |8449 |8486 | 190k| 7 | 0 |3019 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1984.06/1989.05 c 1989s| 13100 | 13095 | 10732k| 754.7 | 935M | 49 | 500 |8449 |8437 | 191k| 1 | 0 |3019 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
1995.83/2000.88 c 2001s| 13200 | 13195 | 10791k| 753.6 | 935M | 49 | 500 |8449 |8459 | 193k| 1 | 0 |3042 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2008.60/2013.66 c 2014s| 13300 | 13295 | 10847k| 752.2 | 937M | 49 | 500 |8449 |8511 | 194k| 1 | 0 |3072 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2017.28/2022.37 c 2022s| 13400 | 13395 | 10898k| 750.5 | 939M | 49 | 500 |8449 |8541 | 195k| 1 | 0 |3077 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2030.35/2035.41 c 2035s| 13500 | 13491 | 10953k| 749.2 | 939M | 49 | 500 |8449 |8555 | 197k| 7 | 0 |3102 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2040.52/2045.60 c 2046s| 13600 | 13591 | 11017k| 748.4 | 939M | 49 | 500 |8449 |8523 | 198k| 1 | 0 |3118 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2052.09/2057.22 c 2057s| 13700 | 13691 | 11078k| 747.5 | 939M | 49 | 500 |8449 |8471 | 200k| 1 | 0 |3121 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2059.17/2064.32 c 2064s| 13800 | 13791 | 11123k| 745.4 | 939M | 49 | 500 |8449 |8548 | 201k| 1 | 0 |3122 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2069.54/2074.72 c 2075s| 13900 | 13891 | 11171k| 743.7 | 939M | 49 | 500 |8449 |8498 | 202k| 1 | 0 |3122 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2081.71/2086.98 c 2087s| 14000 | 13991 | 11238k| 743.2 | 939M | 49 | 500 |8449 |8526 | 203k| 8 | 0 |3124 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2092.19/2097.43 c 2097s| 14100 | 14091 | 11309k| 743.0 | 941M | 49 | 500 |8449 |8462 | 204k| 4 | 0 |3124 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2102.26/2107.51 c 2108s| 14200 | 14191 | 11368k| 742.0 | 963M | 49 | 500 |8449 |8590 | 206k| 1 | 0 |3124 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2115.93/2121.25 c 2121s| 14300 | 14291 | 11430k| 741.2 | 964M | 49 | 500 |8449 |8524 | 207k| 1 | 0 |3127 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2130.09/2135.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2130.09/2135.45 c 2135s| 14400 | 14391 | 11496k| 740.7 | 964M | 49 | 500 |8449 |8530 | 208k| 1 | 0 |3128 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2139.07/2144.48 c 2144s| 14500 | 14487 | 11546k| 739.1 | 964M | 49 | 500 |8449 |8521 | 209k| 1 | 0 |3130 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2154.04/2159.43 c 2159s| 14600 | 14585 | 11616k| 738.9 | 966M | 49 | 500 |8449 |8571 | 211k| 8 | 0 |3135 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2163.81/2169.22 c 2169s| 14700 | 14683 | 11666k| 737.3 | 1012M | 49 | 500 |8449 |8430 | 212k| 1 | 0 |3136 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2173.69/2179.15 c 2179s| 14800 | 14783 | 11721k| 736.1 | 1013M | 49 | 500 |8449 |8510 | 213k| 1 | 0 |3152 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2188.15/2193.69 c 2194s| 14900 | 14881 | 11782k| 735.4 | 1014M | 49 | 500 |8449 |8536 | 215k| 1 | 0 |3164 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2198.82/2204.36 c 2204s| 15000 | 14979 | 11832k| 733.9 | 1015M | 51 | 500 |8449 |8467 | 216k| 1 | 0 |3174 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2209.50/2215.02 c 2215s| 15100 | 15077 | 11877k| 732.1 | 1015M | 51 | 500 |8449 |8524 | 217k| 1 | 0 |3208 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2223.66/2229.20 c 2229s| 15200 | 15173 | 11929k| 730.8 | 1017M | 51 | 500 |8449 |8510 | 218k| 1 | 0 |3250 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2240.92/2246.53 c 2247s| 15300 | 15265 | 12000k| 730.7 | 1018M | 51 | 500 |8449 |8585 | 220k| 1 | 0 |3254 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2252.88/2258.56 c 2259s| 15400 | 15363 | 12054k| 729.5 | 1018M | 51 | 500 |8449 |8608 | 221k| 1 | 0 |3281 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2265.85/2271.59 c 2272s| 15500 | 15457 | 12107k| 728.3 | 1021M | 51 | 500 |8449 |8574 | 223k| 0 | 0 |3297 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2279.72/2285.41 c 2285s| 15600 | 15555 | 12185k| 728.6 | 1021M | 51 | 500 |8449 |8522 | 224k| 1 | 0 |3298 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2292.18/2297.99 c 2298s| 15700 | 15653 | 12250k| 728.2 | 1025M | 51 | 500 |8449 |8399 | 225k| 1 | 0 |3310 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2302.96/2308.79 c 2309s| 15800 | 15753 | 12321k| 728.1 | 1026M | 51 | 500 |8449 |8543 | 227k| 1 | 0 |3315 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2317.23/2323.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2317.23/2323.08 c 2323s| 15900 | 15853 | 12398k| 728.3 | 1028M | 51 | 500 |8449 |8531 | 228k| 1 | 0 |3317 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2335.38/2341.23 c 2341s| 16000 | 15945 | 12469k| 728.2 | 1030M | 51 | 500 |8449 |8586 | 230k| 8 | 0 |3330 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2345.15/2351.04 c 2351s| 16100 | 16041 | 12511k| 726.4 | 1031M | 51 | 500 |8449 |8482 | 231k| 1 | 0 |3330 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2353.82/2359.71 c 2360s| 16200 | 16135 | 12553k| 724.7 | 1031M | 51 | 500 |8449 |8466 | 231k| 1 | 0 |3330 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2364.20/2370.18 c 2370s| 16300 | 16235 | 12599k| 723.1 | 1058M | 51 | 500 |8449 |8457 | 232k| 1 | 0 |3330 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2376.66/2382.64 c 2383s| 16400 | 16331 | 12654k| 722.1 | 1059M | 51 | 500 |8449 |8560 | 234k| 1 | 0 |3334 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2392.90/2398.90 c 2399s| 16500 | 16431 | 12716k| 721.6 | 1062M | 51 | 500 |8449 |8540 | 235k| 1 | 0 |3335 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2403.27/2409.38 c 2409s| 16600 | 16531 | 12786k| 721.4 | 1062M | 51 | 500 |8449 |8603 | 236k| 1 | 0 |3335 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2417.03/2423.16 c 2423s| 16700 | 16625 | 12846k| 720.7 | 1064M | 51 | 500 |8449 |8540 | 237k| 1 | 0 |3356 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2426.20/2432.33 c 2432s| 16800 | 16721 | 12890k| 719.1 | 1119M | 51 | 500 |8449 |8459 | 238k| 1 | 0 |3366 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2435.57/2441.70 c 2442s| 16900 | 16813 | 12928k| 717.3 | 1119M | 51 | 500 |8449 |8484 | 239k| 1 | 0 |3419 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2448.53/2454.75 c 2455s| 17000 | 16911 | 12977k| 716.0 | 1120M | 51 | 500 |8449 |8431 | 240k| 1 | 0 |3421 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2457.60/2463.80 c 2464s| 17100 | 17005 | 13020k| 714.4 | 1121M | 51 | 500 |8449 |8564 | 241k| 1 | 0 |3437 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2473.85/2480.18 c 2480s| 17200 | 17099 | 13076k| 713.6 | 1123M | 51 | 500 |8449 |8474 | 242k| 1 | 0 |3455 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2481.52/2487.86 c 2488s| 17300 | 17199 | 13123k| 712.3 | 1124M | 51 | 500 |8449 |8613 | 243k| 1 | 0 |3455 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2488.99/2495.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2488.99/2495.37 c 2495s| 17400 | 17299 | 13168k| 710.9 | 1126M | 51 | 500 |8449 |8442 | 244k| 1 | 0 |3456 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2498.67/2505.01 c 2505s| 17500 | 17395 | 13217k| 709.6 | 1126M | 51 | 500 |8449 |8512 | 245k| 1 | 0 |3456 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2509.53/2515.92 c 2516s| 17600 | 17493 | 13269k| 708.6 | 1127M | 51 | 500 |8449 |8507 | 245k| 1 | 0 |3460 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2520.20/2526.65 c 2527s| 17700 | 17591 | 13331k| 708.2 | 1128M | 51 | 500 |8449 |8424 | 246k| 1 | 0 |3467 |-1.436423e+02 |-7.100000e+01 | 102.31%| unknown
2537.04/2543.52 c 2544s| 17800 | 17689 | 13403k| 708.2 | 1128M | 51 | 500 |8449 |8568 | 248k| 1 | 0 |3470 |-1.434934e+02 |-7.100000e+01 | 102.10%| unknown
2547.91/2554.49 c 2554s| 17900 | 17789 | 13459k| 707.5 | 1130M | 51 | 500 |8449 |8512 | 249k| 1 | 0 |3470 |-1.433832e+02 |-7.100000e+01 | 101.95%| unknown
2561.96/2568.56 c 2569s| 18000 | 17889 | 13527k| 707.3 | 1132M | 51 | 500 |8449 |8534 | 250k| 8 | 0 |3480 |-1.432274e+02 |-7.100000e+01 | 101.73%| unknown
2574.42/2581.03 c 2581s| 18100 | 17987 | 13589k| 706.9 | 1132M | 51 | 500 |8449 |8613 | 251k| 1 | 0 |3502 |-1.428380e+02 |-7.100000e+01 | 101.18%| unknown
2585.59/2592.22 c 2592s| 18200 | 18085 | 13651k| 706.4 | 1134M | 51 | 500 |8449 |8550 | 252k| 7 | 0 |3504 |-1.427449e+02 |-7.100000e+01 | 101.05%| unknown
2599.74/2606.40 c 2606s| 18300 | 18183 | 13717k| 706.2 | 1138M | 51 | 500 |8449 |8483 | 253k| 1 | 0 |3506 |-1.425763e+02 |-7.100000e+01 | 100.81%| unknown
2611.80/2618.52 c 2619s| 18400 | 18281 | 13769k| 705.2 | 1140M | 51 | 500 |8449 |8555 | 254k| 1 | 0 |3525 |-1.425763e+02 |-7.100000e+01 | 100.81%| unknown
2617.39/2624.12 c 2624s| 18500 | 18377 | 13811k| 703.8 | 1141M | 51 | 500 |8449 |8412 | 255k| 1 | 0 |3538 |-1.425763e+02 |-7.100000e+01 | 100.81%| unknown
2627.45/2634.24 c 2634s| 18600 | 18473 | 13856k| 702.5 | 1142M | 51 | 500 |8449 |8499 | 256k| 7 | 0 |3539 |-1.425763e+02 |-7.100000e+01 | 100.81%| unknown
2646.20/2653.08 c 2653s| 18700 | 18573 | 13919k| 702.1 | 1147M | 51 | 500 |8449 |8464 | 257k| 1 | 0 |3582 |-1.422824e+02 |-7.100000e+01 | 100.40%| unknown
2657.95/2664.80 c 2665s| 18800 | 18669 | 13973k| 701.3 | 1148M | 51 | 500 |8449 |8396 | 258k| 1 | 0 |3586 |-1.420796e+02 |-7.100000e+01 | 100.11%| unknown
2670.61/2677.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2670.61/2677.52 c 2678s| 18900 | 18761 | 14033k| 700.7 | 1151M | 51 | 500 |8449 |8553 | 259k| 1 | 0 |3597 |-1.419405e+02 |-7.100000e+01 | 99.92%| unknown
2685.07/2692.07 c 2692s| 19000 | 18859 | 14098k| 700.5 | 1187M | 51 | 500 |8449 |8446 | 260k| 1 | 0 |3620 |-1.416855e+02 |-7.100000e+01 | 99.56%| unknown
2699.72/2706.76 c 2707s| 19100 | 18953 | 14154k| 699.8 | 1187M | 51 | 500 |8449 |8442 | 262k| 1 | 0 |3623 |-1.415669e+02 |-7.100000e+01 | 99.39%| unknown
2707.01/2714.01 c 2714s| 19200 | 19051 | 14187k| 698.0 | 1188M | 51 | 500 |8449 |8408 | 262k| 1 | 0 |3624 |-1.415669e+02 |-7.100000e+01 | 99.39%| unknown
2720.76/2727.80 c 2728s| 19300 | 19151 | 14242k| 697.3 | 1188M | 51 | 500 |8449 |8568 | 264k| 8 | 0 |3624 |-1.415669e+02 |-7.100000e+01 | 99.39%| unknown
2727.94/2735.07 c 2735s| 19400 | 19245 | 14287k| 696.0 | 1188M | 51 | 500 |8449 |8437 | 264k| 1 | 0 |3625 |-1.415669e+02 |-7.100000e+01 | 99.39%| unknown
2741.29/2748.46 c 2748s| 19500 | 19337 | 14325k| 694.5 | 1189M | 51 | 500 |8449 |8480 | 265k| 1 | 0 |3626 |-1.415669e+02 |-7.100000e+01 | 99.39%| unknown
2757.73/2764.93 c 2765s| 19600 | 19435 | 14379k| 693.8 | 1260M | 51 | 500 |8449 |8683 | 267k| 1 | 0 |3652 |-1.415669e+02 |-7.100000e+01 | 99.39%| unknown
2789.04/2796.34 c 2796s| 19700 | 19535 | 14478k| 695.2 | 1262M | 59 | 500 |8449 |8706 | 267k| 1 | 0 |3863 |-1.415669e+02 |-7.100000e+01 | 99.39%| unknown
2804.69/2812.06 c 2812s| 19800 | 19635 | 14556k| 695.6 | 1265M | 66 | 500 |8449 |8725 | 267k| 1 | 0 |3933 |-1.415575e+02 |-7.100000e+01 | 99.38%| unknown
2821.34/2828.70 c 2829s| 19900 | 19735 | 14634k| 696.0 | 1266M | 76 | 500 |8449 |8706 | 267k| 1 | 0 |4023 |-1.414309e+02 |-7.100000e+01 | 99.20%| unknown
2831.91/2839.38 c 2839s| 20000 | 19835 | 14706k| 696.1 | 1267M | 76 | 500 |8449 |8727 | 268k| 1 | 0 |4045 |-1.413642e+02 |-7.100000e+01 | 99.10%| unknown
2845.17/2852.69 c 2853s| 20100 | 19935 | 14782k| 696.4 | 1268M | 76 | 500 |8449 |8727 | 268k| 1 | 0 |4082 |-1.413066e+02 |-7.100000e+01 | 99.02%| unknown
2854.44/2861.91 c 2862s| 20200 | 20035 | 14845k| 696.1 | 1268M | 77 | 500 |8449 |8718 | 268k| 1 | 0 |4100 |-1.412412e+02 |-7.100000e+01 | 98.93%| unknown
2865.01/2872.54 c 2873s| 20300 | 20135 | 14920k| 696.3 | 1269M | 77 | 500 |8449 |8715 | 269k| 1 | 0 |4101 |-1.411420e+02 |-7.100000e+01 | 98.79%| unknown
2872.68/2880.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2872.68/2880.26 c 2880s| 20400 | 20231 | 14977k| 695.7 | 1269M | 77 | 500 |8449 |8450 | 269k| 1 | 0 |4101 |-1.410951e+02 |-7.100000e+01 | 98.73%| unknown
2881.25/2888.87 c 2889s| 20500 | 20315 | 15010k| 694.1 | 1269M | 77 | 500 |8449 |8481 | 270k| 1 | 0 |4101 |-1.410951e+02 |-7.100000e+01 | 98.73%| unknown
2888.03/2895.63 c 2896s| 20600 | 20399 | 15043k| 692.4 | 1269M | 77 | 500 |8449 |8450 | 270k| 1 | 0 |4101 |-1.410857e+02 |-7.100000e+01 | 98.71%| unknown
2897.71/2905.36 c 2905s| 20700 | 20485 | 15088k| 691.3 | 1269M | 77 | 500 |8449 |8436 | 271k| 1 | 0 |4101 |-1.410271e+02 |-7.100000e+01 | 98.63%| unknown
2906.39/2914.03 c 2914s| 20800 | 20571 | 15129k| 690.0 | 1272M | 77 | 500 |8449 |8720 | 271k| 4 | 0 |4105 |-1.409736e+02 |-7.100000e+01 | 98.55%| unknown
2911.56/2919.22 c 2919s| 20900 | 20661 | 15163k| 688.4 | 1272M | 77 | 500 |8449 |8566 | 272k| 1 | 0 |4106 |-1.409635e+02 |-7.100000e+01 | 98.54%| unknown
2918.04/2925.76 c 2926s| 21000 | 20755 | 15207k| 687.3 | 1276M | 77 | 500 |8449 |8570 | 272k| 0 | 0 |4108 |-1.409311e+02 |-7.100000e+01 | 98.49%| unknown
2928.41/2936.19 c 2936s| 21100 | 20851 | 15281k| 687.5 | 1276M | 77 | 500 |8449 |8568 | 273k| 1 | 0 |4118 |-1.408895e+02 |-7.100000e+01 | 98.44%| unknown
2935.29/2943.05 c 2943s| 21200 | 20933 | 15318k| 686.1 | 1277M | 77 | 500 |8449 |8726 | 273k| 1 | 0 |4118 |-1.408895e+02 |-7.100000e+01 | 98.44%| unknown
2944.66/2952.43 c 2952s| 21300 | 21027 | 15370k| 685.3 | 1277M | 77 | 500 |8449 |8438 | 273k| 4 | 0 |4118 |-1.408662e+02 |-7.100000e+01 | 98.40%| unknown
2952.74/2960.60 c 2961s| 21400 | 21109 | 15412k| 684.1 | 1278M | 77 | 500 |8449 |8435 | 274k| 1 | 0 |4118 |-1.408484e+02 |-7.100000e+01 | 98.38%| unknown
2958.32/2966.10 c 2966s| 21500 | 21197 | 15444k| 682.5 | 1278M | 77 | 500 |8449 |8473 | 274k| 1 | 0 |4118 |-1.408484e+02 |-7.100000e+01 | 98.38%| unknown
2967.79/2975.62 c 2976s| 21600 | 21283 | 15478k| 681.0 | 1279M | 77 | 500 |8449 |8432 | 275k| 1 | 0 |4120 |-1.408473e+02 |-7.100000e+01 | 98.38%| unknown
2977.46/2985.30 c 2985s| 21700 | 21369 | 15517k| 679.7 | 1281M | 77 | 500 |8449 |8418 | 276k| 1 | 0 |4120 |-1.408473e+02 |-7.100000e+01 | 98.38%| unknown
2984.93/2992.88 c 2993s| 21800 | 21449 | 15548k| 678.1 | 1281M | 77 | 500 |8449 |8478 | 276k| 1 | 0 |4120 |-1.408473e+02 |-7.100000e+01 | 98.38%| unknown
2994.20/3002.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2994.20/3002.13 c 3002s| 21900 | 21527 | 15583k| 676.7 | 1282M | 77 | 500 |8449 |8754 | 277k| 1 | 0 |4123 |-1.408382e+02 |-7.100000e+01 | 98.36%| unknown
3002.97/3010.97 c 3011s| 22000 | 21613 | 15626k| 675.6 | 1283M | 77 | 500 |8449 |8463 | 277k| 0 | 0 |4123 |-1.407771e+02 |-7.100000e+01 | 98.28%| unknown
3009.05/3017.04 c 3017s| 22100 | 21701 | 15661k| 674.2 | 1283M | 77 | 500 |8449 |8518 | 277k| 0 | 0 |4123 |-1.407528e+02 |-7.100000e+01 | 98.24%| unknown
3016.63/3024.61 c 3025s| 22200 | 21795 | 15710k| 673.4 | 1285M | 77 | 500 |8449 |8725 | 278k| 4 | 0 |4123 |-1.406998e+02 |-7.100000e+01 | 98.17%| unknown
3028.29/3036.37 c 3036s| 22300 | 21891 | 15765k| 672.9 | 1285M | 77 | 500 |8449 |8736 | 278k| 1 | 0 |4123 |-1.406770e+02 |-7.100000e+01 | 98.14%| unknown
3037.16/3045.28 c 3045s| 22400 | 21981 | 15806k| 671.8 | 1286M | 77 | 500 |8449 |8434 | 279k| 1 | 0 |4124 |-1.406446e+02 |-7.100000e+01 | 98.09%| unknown
3047.04/3055.18 c 3055s| 22500 | 22061 | 15847k| 670.6 | 1288M | 77 | 500 |8449 |8575 | 280k| 1 | 0 |4124 |-1.406344e+02 |-7.100000e+01 | 98.08%| unknown
3050.82/3058.91 c 3059s| 22600 | 22145 | 15877k| 669.1 | 1289M | 77 | 500 |8449 |8518 | 280k| 1 | 0 |4124 |-1.406038e+02 |-7.100000e+01 | 98.03%| unknown
3056.01/3064.12 c 3064s| 22700 | 22227 | 15903k| 667.4 | 1289M | 77 | 500 |8449 |8465 | 281k| 5 | 0 |4125 |-1.406022e+02 |-7.100000e+01 | 98.03%| unknown
3061.19/3069.33 c 3069s| 22800 | 22319 | 15939k| 666.1 | 1289M | 77 | 500 |8449 |8436 | 281k| 1 | 0 |4125 |-1.405470e+02 |-7.100000e+01 | 97.95%| unknown
3066.87/3075.09 c 3075s| 22900 | 22411 | 15980k| 665.0 | 1289M | 77 | 500 |8449 |8491 | 282k| 1 | 0 |4125 |-1.405470e+02 |-7.100000e+01 | 97.95%| unknown
3073.55/3081.76 c 3082s| 23000 | 22491 | 16022k| 664.0 | 1290M | 77 | 500 |8449 |8758 | 282k| 1 | 0 |4125 |-1.405205e+02 |-7.100000e+01 | 97.92%| unknown
3086.91/3095.15 c 3095s| 23100 | 22573 | 16068k| 663.1 | 1290M | 78 | 500 |8449 |8726 | 283k| 1 | 0 |4139 |-1.404529e+02 |-7.100000e+01 | 97.82%| unknown
3093.28/3101.58 c 3102s| 23200 | 22663 | 16105k| 661.9 | 1290M | 78 | 500 |8449 |8557 | 283k| 1 | 0 |4139 |-1.404529e+02 |-7.100000e+01 | 97.82%| unknown
3100.76/3109.06 c 3109s| 23300 | 22755 | 16141k| 660.7 | 1291M | 78 | 500 |8449 |8541 | 284k| 1 | 0 |4141 |-1.404529e+02 |-7.100000e+01 | 97.82%| unknown
3108.93/3117.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3108.93/3117.25 c 3117s| 23400 | 22839 | 16184k| 659.8 | 1291M | 78 | 500 |8449 |8487 | 284k| 1 | 0 |4144 |-1.404105e+02 |-7.100000e+01 | 97.76%| unknown
3113.92/3122.23 c 3122s| 23500 | 22923 | 16220k| 658.5 | 1291M | 78 | 500 |8449 |8605 | 285k| 1 | 0 |4149 |-1.404086e+02 |-7.100000e+01 | 97.76%| unknown
3121.70/3130.01 c 3130s| 23600 | 23015 | 16263k| 657.6 | 1291M | 78 | 500 |8449 |8469 | 285k| 1 | 0 |4149 |-1.403880e+02 |-7.100000e+01 | 97.73%| unknown
3131.56/3139.92 c 3140s| 23700 | 23089 | 16307k| 656.7 | 1292M | 78 | 500 |8449 |8728 | 286k| 1 | 0 |4150 |-1.403295e+02 |-7.100000e+01 | 97.65%| unknown
3139.63/3148.09 c 3148s| 23800 | 23165 | 16335k| 655.2 | 1293M | 78 | 500 |8449 |8415 | 287k| 1 | 0 |4150 |-1.403295e+02 |-7.100000e+01 | 97.65%| unknown
3145.82/3154.22 c 3154s| 23900 | 23255 | 16379k| 654.3 | 1293M | 78 | 500 |8449 |8594 | 288k| 1 | 0 |4150 |-1.403249e+02 |-7.100000e+01 | 97.64%| unknown
3154.49/3162.93 c 3163s| 24000 | 23341 | 16417k| 653.2 | 1331M | 78 | 500 |8449 |8552 | 288k| 1 | 0 |4150 |-1.403190e+02 |-7.100000e+01 | 97.63%| unknown
3165.05/3173.58 c 3174s| 24100 | 23431 | 16455k| 652.2 | 1333M | 78 | 500 |8449 |8530 | 289k| 1 | 0 |4151 |-1.402914e+02 |-7.100000e+01 | 97.59%| unknown
3174.82/3183.36 c 3183s| 24200 | 23527 | 16513k| 651.9 | 1333M | 78 | 500 |8449 |8540 | 290k| 1 | 0 |4157 |-1.402467e+02 |-7.100000e+01 | 97.53%| unknown
3181.51/3190.03 c 3190s| 24300 | 23615 | 16557k| 651.0 | 1333M | 78 | 500 |8449 |8716 | 290k| 1 | 0 |4158 |-1.402131e+02 |-7.100000e+01 | 97.48%| unknown
3190.37/3198.99 c 3199s| 24400 | 23705 | 16604k| 650.3 | 1335M | 78 | 500 |8449 |8470 | 291k| 1 | 0 |4158 |-1.401761e+02 |-7.100000e+01 | 97.43%| unknown
3196.65/3205.20 c 3205s| 24500 | 23799 | 16639k| 649.2 | 1335M | 78 | 500 |8449 |8525 | 291k| 1 | 0 |4158 |-1.401761e+02 |-7.100000e+01 | 97.43%| unknown
3205.12/3213.76 c 3214s| 24600 | 23881 | 16676k| 648.1 | 1336M | 78 | 500 |8449 |8424 | 292k| 1 | 0 |4160 |-1.401617e+02 |-7.100000e+01 | 97.41%| unknown
3211.20/3219.87 c 3220s| 24700 | 23955 | 16707k| 646.8 | 1336M | 78 | 500 |8449 |8447 | 293k| 0 | 0 |4160 |-1.401116e+02 |-7.100000e+01 | 97.34%| unknown
3218.88/3227.58 c 3228s| 24800 | 24043 | 16751k| 645.9 | 1337M | 78 | 500 |8449 |8483 | 293k| 3 | 0 |4160 |-1.400687e+02 |-7.100000e+01 | 97.28%| unknown
3225.96/3234.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3225.96/3234.63 c 3235s| 24900 | 24125 | 16784k| 644.7 | 1337M | 78 | 500 |8449 |8418 | 294k| 1 | 0 |4160 |-1.400580e+02 |-7.100000e+01 | 97.26%| unknown
3234.23/3242.95 c 3243s| 25000 | 24197 | 16811k| 643.3 | 1337M | 78 | 500 |8449 |8466 | 294k| 1 | 0 |4160 |-1.400484e+02 |-7.100000e+01 | 97.25%| unknown
3243.50/3252.23 c 3252s| 25100 | 24273 | 16853k| 642.4 | 1340M | 78 | 500 |8449 |8481 | 295k| 1 | 0 |4160 |-1.400389e+02 |-7.100000e+01 | 97.24%| unknown
3250.68/3259.40 c 3259s| 25200 | 24365 | 16898k| 641.7 | 1421M | 78 | 500 |8449 |8465 | 296k| 1 | 0 |4160 |-1.400104e+02 |-7.100000e+01 | 97.20%| unknown
3259.36/3268.13 c 3268s| 25300 | 24451 | 16943k| 641.0 | 1421M | 78 | 500 |8449 |8488 | 296k| 1 | 0 |4161 |-1.399629e+02 |-7.100000e+01 | 97.13%| unknown
3266.93/3275.71 c 3276s| 25400 | 24545 | 16993k| 640.5 | 1421M | 78 | 500 |8449 |8486 | 297k| 1 | 0 |4164 |-1.399517e+02 |-7.100000e+01 | 97.12%| unknown
3278.99/3287.89 c 3288s| 25500 | 24635 | 17044k| 639.9 | 1422M | 78 | 500 |8449 |8585 | 298k| 6 | 0 |4164 |-1.399337e+02 |-7.100000e+01 | 97.09%| unknown
3287.56/3296.42 c 3296s| 25600 | 24727 | 17094k| 639.4 | 1422M | 78 | 500 |8449 |8516 | 298k| 1 | 0 |4167 |-1.398931e+02 |-7.100000e+01 | 97.03%| unknown
3295.94/3304.84 c 3305s| 25700 | 24817 | 17142k| 638.8 | 1422M | 78 | 500 |8449 |8473 | 299k| 1 | 0 |4169 |-1.398652e+02 |-7.100000e+01 | 96.99%| unknown
3304.31/3313.25 c 3313s| 25800 | 24897 | 17184k| 638.0 | 1422M | 78 | 500 |8449 |8528 | 300k| 1 | 0 |4183 |-1.398358e+02 |-7.100000e+01 | 96.95%| unknown
3316.47/3325.48 c 3325s| 25900 | 24987 | 17238k| 637.6 | 1422M | 78 | 500 |8449 |8477 | 300k| 1 | 0 |4216 |-1.398291e+02 |-7.100000e+01 | 96.94%| unknown
3326.63/3335.61 c 3336s| 26000 | 25079 | 17282k| 636.9 | 1422M | 78 | 500 |8449 |8544 | 301k| 1 | 0 |4216 |-1.398291e+02 |-7.100000e+01 | 96.94%| unknown
3335.12/3344.12 c 3344s| 26100 | 25173 | 17321k| 636.0 | 1422M | 78 | 500 |8449 |8515 | 301k| 1 | 0 |4222 |-1.398291e+02 |-7.100000e+01 | 96.94%| unknown
3343.99/3353.04 c 3353s| 26200 | 25263 | 17369k| 635.4 | 1425M | 78 | 500 |8449 |8559 | 302k| 1 | 0 |4229 |-1.398175e+02 |-7.100000e+01 | 96.93%| unknown
3352.06/3361.13 c 3361s| 26300 | 25351 | 17414k| 634.8 | 1426M | 78 | 500 |8449 |8448 | 303k| 1 | 0 |4256 |-1.398064e+02 |-7.100000e+01 | 96.91%| unknown
3359.04/3368.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3359.04/3368.18 c 3368s| 26400 | 25437 | 17448k| 633.7 | 1426M | 78 | 500 |8449 |8461 | 303k| 1 | 0 |4273 |-1.398064e+02 |-7.100000e+01 | 96.91%| unknown
3368.41/3377.56 c 3378s| 26500 | 25521 | 17496k| 633.1 | 1427M | 78 | 500 |8449 |8494 | 304k| 1 | 0 |4275 |-1.398048e+02 |-7.100000e+01 | 96.91%| unknown
3378.67/3387.86 c 3388s| 26600 | 25617 | 17569k| 633.5 | 1429M | 78 | 500 |8449 |8493 | 304k| 0 | 0 |4278 |-1.397835e+02 |-7.100000e+01 | 96.88%| unknown
3386.45/3395.63 c 3396s| 26700 | 25709 | 17620k| 633.0 | 1429M | 78 | 500 |8449 |8729 | 305k| 1 | 0 |4279 |-1.397159e+02 |-7.100000e+01 | 96.78%| unknown
3394.72/3403.92 c 3404s| 26800 | 25795 | 17666k| 632.4 | 1430M | 79 | 500 |8449 |8491 | 305k| 9 | 0 |4280 |-1.396754e+02 |-7.100000e+01 | 96.73%| unknown
3404.89/3414.14 c 3414s| 26900 | 25875 | 17711k| 631.8 | 1432M | 79 | 500 |8449 |8534 | 306k| 1 | 0 |4282 |-1.396557e+02 |-7.100000e+01 | 96.70%| unknown
3412.27/3421.52 c 3422s| 27000 | 25959 | 17753k| 631.0 | 1434M | 79 | 500 |8449 |8757 | 306k| 1 | 0 |4284 |-1.396557e+02 |-7.100000e+01 | 96.70%| unknown
3418.75/3428.06 c 3428s| 27100 | 26051 | 17786k| 629.9 | 1436M | 79 | 500 |8449 |8503 | 307k| 1 | 0 |4284 |-1.396557e+02 |-7.100000e+01 | 96.70%| unknown
3427.22/3436.57 c 3437s| 27200 | 26127 | 17822k| 629.0 | 1436M | 79 | 500 |8449 |8737 | 307k| 1 | 0 |4284 |-1.396398e+02 |-7.100000e+01 | 96.68%| unknown
3439.87/3449.24 c 3449s| 27300 | 26213 | 17862k| 628.2 | 1436M | 79 | 500 |8449 |8455 | 308k| 1 | 0 |4285 |-1.396381e+02 |-7.100000e+01 | 96.67%| unknown
3445.95/3455.35 c 3455s| 27400 | 26305 | 17900k| 627.3 | 1436M | 79 | 500 |8449 |8476 | 308k| 0 | 0 |4285 |-1.396381e+02 |-7.100000e+01 | 96.67%| unknown
3454.93/3464.37 c 3464s| 27500 | 26401 | 17960k| 627.2 | 1436M | 79 | 500 |8449 |8583 | 309k| 1 | 0 |4303 |-1.396213e+02 |-7.100000e+01 | 96.65%| unknown
3466.50/3475.97 c 3476s| 27600 | 26493 | 18013k| 626.9 | 1437M | 79 | 500 |8449 |8471 | 310k| 1 | 0 |4303 |-1.395915e+02 |-7.100000e+01 | 96.61%| unknown
3471.48/3480.93 c 3481s| 27700 | 26587 | 18039k| 625.6 | 1437M | 79 | 500 |8449 |8737 | 310k| 1 | 0 |4319 |-1.395777e+02 |-7.100000e+01 | 96.59%| unknown
3471.69/3481.16 c 3481s| 27800 | 26583 | 18041k| 623.5 | 1437M | 85 | 500 |8449 |8737 | 310k| 0 | 0 |4327 |-1.395777e+02 |-7.100000e+01 | 96.59%| unknown
3474.07/3483.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3474.07/3483.57 c 3484s| 27900 | 26597 | 18051k| 621.7 | 1438M | 86 | 500 |8449 |8737 | 310k| 0 | 0 |4328 |-1.395583e+02 |-7.100000e+01 | 96.56%| unknown
3477.26/3486.71 c 3487s| 28000 | 26615 | 18069k| 620.2 | 1438M | 87 | 500 |8449 |8737 | 310k| 1 | 0 |4329 |-1.395500e+02 |-7.100000e+01 | 96.55%| unknown
3478.56/3488.10 c 3488s| 28100 | 26623 | 18078k| 618.3 | 1438M | 88 | 500 |8449 |8737 | 310k| 0 | 0 |4337 |-1.395337e+02 |-7.100000e+01 | 96.53%| unknown
3479.65/3489.13 c 3489s| 28200 | 26631 | 18086k| 616.5 | 1439M | 92 | 500 |8449 |8737 | 310k| 0 | 0 |4344 |-1.395328e+02 |-7.100000e+01 | 96.53%| unknown
3488.42/3497.93 c 3498s| 28300 | 26711 | 18147k| 616.5 | 1440M | 92 | 500 |8449 |8533 | 311k| 1 | 0 |4348 |-1.394572e+02 |-7.100000e+01 | 96.42%| unknown
3499.19/3508.77 c 3509s| 28400 | 26811 | 18227k| 617.1 | 1440M | 92 | 500 |8449 |8556 | 311k| 1 | 0 |4349 |-1.393550e+02 |-7.100000e+01 | 96.27%| unknown
3510.05/3519.62 c 3520s| 28500 | 26911 | 18304k| 617.6 | 1443M | 92 | 500 |8449 |8534 | 312k| 1 | 0 |4349 |-1.392636e+02 |-7.100000e+01 | 96.15%| unknown
3523.02/3532.62 c 3533s| 28600 | 27011 | 18387k| 618.4 | 1451M | 92 | 500 |8449 |8485 | 313k| 1 | 0 |4351 |-1.391419e+02 |-7.100000e+01 | 95.97%| unknown
3534.19/3543.83 c 3544s| 28700 | 27111 | 18464k| 618.9 | 1452M | 92 | 500 |8449 |8479 | 314k| 1 | 0 |4353 |-1.390794e+02 |-7.100000e+01 | 95.89%| unknown
3546.65/3556.30 c 3556s| 28800 | 27211 | 18545k| 619.5 | 1454M | 92 | 500 |8449 |8536 | 315k| 1 | 0 |4358 |-1.389932e+02 |-7.100000e+01 | 95.77%| unknown
3561.01/3570.73 c 3571s| 28900 | 27311 | 18628k| 620.2 | 1457M | 92 | 500 |8449 |8752 | 316k| 2 | 0 |4376 |-1.389388e+02 |-7.100000e+01 | 95.69%| unknown
3573.27/3583.04 c 3583s| 29000 | 27411 | 18707k| 620.8 | 1458M | 92 | 500 |8449 |8593 | 317k| 1 | 0 |4383 |-1.388473e+02 |-7.100000e+01 | 95.56%| unknown
3585.83/3595.69 c 3596s| 29100 | 27511 | 18794k| 621.6 | 1459M | 92 | 500 |8449 |8633 | 318k| 1 | 0 |4387 |-1.387732e+02 |-7.100000e+01 | 95.46%| unknown
3587.12/3597.00 c
3587.12/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.12/3597.00 c Solving Time (sec) : 3597.00
3587.12/3597.00 c Solving Nodes : 29113 (total of 30162 nodes in 2 runs)
3587.12/3597.00 c Primal Bound : -7.10000000000000e+01 (446 solutions)
3587.12/3597.00 c Dual Bound : -1.38767506397921e+02
3587.12/3597.00 c Gap : 95.45 %
3587.23/3597.00 s SATISFIABLE
3587.23/3597.00 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28
3587.23/3597.00 v -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
3587.23/3597.00 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
3587.23/3597.00 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
3587.23/3597.00 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
3587.23/3597.00 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149
3587.23/3597.00 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
3587.23/3597.00 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193
3587.23/3597.00 v -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215
3587.23/3597.00 v -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237
3587.23/3597.00 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259
3587.23/3597.00 v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 x274 -x275 x276 -x277 -x278 -x279 -x280 -x281
3587.23/3597.00 v -x282 -x283 -x284 x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 x303
3587.23/3597.00 v -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325
3587.23/3597.00 v -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 x337 x338 x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348
3587.23/3597.00 v -x349 -x350 -x351 -x352 -x353 x354 x355 x356 -x357 -x358 -x359 x360 -x361 x362 x363 -x364 -x365 -x366 x367 -x368 x369 x370 -x371
3587.23/3597.00 v -x372 x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 x387 -x388 x389 -x390 -x391 x392 x393 -x394
3587.23/3597.00 v -x395 -x396 -x397 -x398 x399 x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
3587.23/3597.00 v x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 x429 x430 -x431 x432 -x433 -x434 x435 -x436 x437 -x438 -x439 -x440
3587.23/3597.00 v -x441 x442 -x443 x444 -x445 -x446 -x447 x448 -x449 -x450 x451 x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 x460 x461 -x462 -x463
3587.23/3597.00 v x464 -x465 -x466 x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 x484 -x485 -x486
3587.23/3597.00 v x487 -x488 x489 x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
3587.23/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.23/3597.00 c Total Time : 3597.00
3587.23/3597.00 c solving : 3597.00
3587.23/3597.00 c presolving : 0.16 (included in solving)
3587.23/3597.00 c reading : 0.02 (included in solving)
3587.23/3597.00 c copying : 0.23 (26 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3587.23/3597.00 c Original Problem :
3587.23/3597.00 c Problem name : HOME/instance-4498114-1751268243.opb
3587.23/3597.00 c Variables : 8353 (500 binary, 0 integer, 7853 continuous)
3587.23/3597.00 c implied integral : 7853 (0 binary, 0 integer, 7853 continuous)
3587.23/3597.00 c Constraints : 8853 initial, 8853 maximal
3587.23/3597.00 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3587.23/3597.00 c Presolved Problem :
3587.23/3597.00 c Problem name : t_HOME/instance-4498114-1751268243.opb
3587.23/3597.00 c Variables : 500 (500 binary, 0 integer, 0 continuous)
3587.23/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.23/3597.00 c Constraints : 8449 initial, 8449 maximal
3587.23/3597.00 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3587.23/3597.00 c Nonzeros : 17625 constraint, 17595 clique table
3587.23/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.23/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c dualfix : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c setppc : 0.02 0.00 11 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c and : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c linear : 0.02 0.00 3 7853 0 0 7853 0 500 0 0 0
3587.23/3597.00 c pseudoboolean : 0.01 0.00 1 0 0 0 0 0 8353 0 0 0
3587.23/3597.00 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.23/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.23/3597.00 c integral : 0 0 0 0 29385 0 0 12847 0 0 30 0 0 0 58732
3587.23/3597.00 c knapsack : 4 4 20 209808 0 0 0 0 0 0 2 0 0 0 0
3587.23/3597.00 c setppc : 8445 8445 129 280966 0 0 0 12840 0 0 523249 22 14 0 0
3587.23/3597.00 c fixedvar : 0 0 0 0 0 0 0 803 0 0 0 0 0 0 0
3587.23/3597.00 c countsols : 0 0 0 0 0 0 0 803 0 0 0 0 0 0 0
3587.23/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.23/3597.00 c integral : 238.07 0.00 0.00 0.00 238.06 0.00 0.00 0.01 0.00 0.00
3587.23/3597.00 c knapsack : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3587.23/3597.00 c setppc : 4.23 0.00 0.02 3.44 0.00 0.00 0.00 0.45 0.00 0.32
3587.23/3597.00 c fixedvar : 0.25 0.00 0.00 0.00 0.00 0.00 0.00 0.25 0.00 0.00
3587.23/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.23/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.23/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.23/3597.00 c dualfix : 3 0 0 0
3587.23/3597.00 c genvbounds : 0 0 0 0
3587.23/3597.00 c nlobbt : 0 0 0 0
3587.23/3597.00 c obbt : 0 0 0 0
3587.23/3597.00 c probing : 0 0 0 0
3587.23/3597.00 c pseudoobj : 87935 0 0 0
3587.23/3597.00 c redcost : 1526 0 0 150
3587.23/3597.00 c rootredcost : 6 0 0 0
3587.23/3597.00 c symmetry : 0 0 0 0
3587.23/3597.00 c vbounds : 82378 0 0 0
3587.23/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.23/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.23/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.23/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.23/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.23/3597.00 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3587.23/3597.00 c pseudoobj : 0.18 0.00 0.00 0.18 0.00 0.00
3587.23/3597.00 c redcost : 0.10 0.00 0.00 0.10 0.00 0.00
3587.23/3597.00 c rootredcost : 0.04 0.00 0.00 0.04 0.00 0.00
3587.23/3597.00 c symmetry : 0.06 0.00 0.00 0.05 0.00 0.00
3587.23/3597.00 c vbounds : 0.07 0.00 0.00 0.06 0.00 0.00
3587.23/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
3587.23/3597.00 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.23/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.23/3597.00 c bound exceed. LP : 3.97 12917 0 - 0 0.0 0 0.0 0 0.0 29863
3587.23/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.23/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.23/3597.00 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
3587.23/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.23/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.23/3597.00 c cut pool : 21.82 - 28913 254 - - 351541 1078606 - - - - - (maximal pool size: 4398)
3587.23/3597.00 c aggregation : 145.13 0.00 10931 129 0 0 1 1 0 0 0 0 0
3587.23/3597.00 c > cmir : - - - - - - - 1 0 0 0 0 -
3587.23/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.23/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.23/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c clique : 0.45 0.00 129 129 0 0 1154 25733 0 11404 11404 0 0
3587.23/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c gomory : 895.15 0.00 6839 20 0 0 314045 407657 150 29313 29313 0 0
3587.23/3597.00 c > gomorymi : - - - - - - - 146398 75 1086 1086 0 -
3587.23/3597.00 c > strongcg : - - - - - - - 261259 75 28227 28227 0 -
3587.23/3597.00 c impliedbounds : 2.28 0.00 10931 129 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c multilinear : 0.00 0.00 464 129 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c rapidlearning : 0.15 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3587.23/3597.00 c zerohalf : 20.62 0.00 6859 40 0 0 36499 645215 8 295445 295443 2 0
3587.23/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.23/3597.00 c hybrid : 1.29 0.00 21543 128 336176 0 742610 1720 0 7843
3587.23/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.23/3597.00 c problem variables: 0.00 - 0 0
3587.23/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.23/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c relpscost : 238.04 0.00 29385 0 0 0 30 0 0 58732
3587.23/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.23/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.23/3597.00 c LP solutions : 0.00 - - 0 0
3587.23/3597.00 c relax solutions : 0.00 - - 0 0
3587.23/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.23/3597.00 c strong branching : 0.20 - - 0 0
3587.23/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.23/3597.00 c adaptivediving : 3.77 0.00 50 0 0
3587.23/3597.00 c alns : 0.15 0.00 6 0 0
3587.23/3597.00 c bound : 0.00 0.00 0 0 0
3587.23/3597.00 c clique : 0.02 0.00 1 1 1
3587.23/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.23/3597.00 c completesol : 0.00 0.00 0 0 0
3587.23/3597.00 c conflictdiving : 0.00 0.00 0 0 0
3587.23/3597.00 c crossover : 0.31 0.00 9 4 2
3587.23/3597.00 c dins : 0.00 0.00 0 0 0
3587.23/3597.00 c distributiondivin: 107.17 0.00 647 0 0
3587.23/3597.00 c dks : 0.00 0.00 0 0 0
3587.23/3597.00 c dps : 0.00 0.00 0 0 0
3587.23/3597.00 c dualval : 0.00 0.00 0 0 0
3587.23/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.23/3597.00 c feaspump : 0.00 0.00 0 0 0
3587.23/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.23/3597.00 c fracdiving : 33.46 0.00 647 0 0
3587.23/3597.00 c gins : 0.02 0.00 0 0 0
3587.23/3597.00 c guideddiving : 29.64 0.00 647 1 0
3587.23/3597.00 c indicator : 0.00 0.00 0 0 0
3587.23/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.23/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.23/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.23/3597.00 c linesearchdiving : 31.21 0.00 647 0 0
3587.23/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.23/3597.00 c locks : 0.00 0.00 1 1 1
3587.23/3597.00 c lpface : 0.01 0.00 0 0 0
3587.23/3597.00 c mpec : 0.00 0.00 0 0 0
3587.23/3597.00 c multistart : 0.00 0.00 0 0 0
3587.23/3597.00 c mutation : 0.00 0.00 0 0 0
3587.23/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.23/3597.00 c objpscostdiving : 73.53 0.00 324 226 0
3587.23/3597.00 c octane : 0.00 0.00 0 0 0
3587.23/3597.00 c ofins : 0.00 0.00 0 0 0
3587.23/3597.00 c oneopt : 0.02 0.00 4 2 2
3587.23/3597.00 c padm : 0.00 0.00 0 0 0
3587.23/3597.00 c proximity : 0.00 0.00 0 0 0
3587.23/3597.00 c pscostdiving : 32.03 0.00 647 6 1
3587.23/3597.00 c randrounding : 1.19 0.00 12174 109 0
3587.23/3597.00 c rens : 0.00 0.00 0 0 0
3587.23/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.23/3597.00 c repair : 0.00 0.00 0 0 0
3587.23/3597.00 c rins : 5.71 0.00 11 3 0
3587.23/3597.00 c rootsoldiving : 21.89 0.00 324 91 0
3587.23/3597.00 c rounding : 3.20 0.00 3084 0 0
3587.23/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.23/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3587.23/3597.00 c shifting : 2.58 0.00 2063 0 0
3587.23/3597.00 c simplerounding : 0.79 0.00 50927 0 0
3587.23/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.23/3597.00 c trivial : 0.00 0.00 4 1 1
3587.23/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.23/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.23/3597.00 c trysol : 0.01 0.00 0 0 0
3587.23/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.23/3597.00 c undercover : 0.00 0.00 0 0 0
3587.23/3597.00 c vbounds : 0.02 0.00 2 1 0
3587.23/3597.00 c veclendiving : 22.24 0.00 647 0 0
3587.23/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.23/3597.00 c zirounding : 0.47 0.00 1000 0 0
3587.23/3597.00 c other solutions : - - - 0 -
3587.23/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.23/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.23/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.23/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.23/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.23/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.23/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.23/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.23/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.23/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.23/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.23/3597.00 c primal LP : 5.54 7593 0 0.00 0.00 5.54 7593
3587.23/3597.00 c dual LP : 1859.56 51838 16001338 309.40 8604.88 0.09 120
3587.23/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.23/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.23/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.23/3597.00 c diving/probing LP: 269.98 33563 2802672 83.50 10381.17
3587.23/3597.00 c strong branching : 226.32 4387 1763967 402.09 7794.27 - - 1626
3587.23/3597.00 c (at root node) : - 81 71016 876.74 -
3587.23/3597.00 c conflict analysis: 2.16 3014 29863 9.91 13796.13
3587.23/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.23/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3587.23/3597.00 c B&B Tree :
3587.23/3597.00 c number of runs : 2
3587.23/3597.00 c nodes : 29113 (28317 internal, 796 leaves)
3587.23/3597.00 c feasible leaves : 0
3587.23/3597.00 c infeas. leaves : 0
3587.23/3597.00 c objective leaves : 795
3587.23/3597.00 c nodes (total) : 30162 (29366 internal, 796 leaves)
3587.23/3597.00 c nodes left : 27523
3587.23/3597.00 c max depth : 92
3587.23/3597.00 c max depth (total): 92
3587.23/3597.00 c backtracks : 4912 (16.9%)
3587.23/3597.00 c early backtracks : 0 (0.0%)
3587.23/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.23/3597.00 c delayed cutoffs : 0
3587.23/3597.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.23/3597.00 c avg switch length: 7.19
3587.23/3597.00 c switching time : 12.08
3587.23/3597.00 c Root Node :
3587.23/3597.00 c First LP value : -2.50000000000000e+02
3587.23/3597.00 c First LP Iters : 529 (39548.44 Iter/sec)
3587.23/3597.00 c First LP Time : 0.01
3587.23/3597.00 c Final Dual Bound : -1.43642262039283e+02
3587.23/3597.00 c Final Root Iters : 54953
3587.23/3597.00 c Root LP Estimate : -2.65533018391262e+01
3587.23/3597.00 c Solution :
3587.23/3597.00 c Solutions found : 446 (8 improvements)
3587.23/3597.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
3587.23/3597.00 c Gap First Sol. : infinite
3587.23/3597.00 c Gap Last Sol. : 102.50 %
3587.23/3597.00 c Primal Bound : -7.10000000000000e+01 (in run 1, after 583 nodes, 215.28 seconds, depth 18, found by <oneopt>)
3587.23/3597.00 c Dual Bound : -1.38767506397921e+02
3587.23/3597.00 c Gap : 95.45 %
3587.23/3597.00 c Integrals : Total Avg%
3587.23/3597.00 c primal-dual : 181797.79 50.54
3587.23/3597.00 c primal-ref : - - (not evaluated)
3587.23/3597.00 c dual-ref : - - (not evaluated)
3587.42/3597.20 c Time complete (sec): 3587.434
OK -71
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62924 MiB free)
memory of node 1: 64465 MiB (63725 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498114-1751268243/watcher-4498114-1751268243 -o /tmp/evaluation-result-4498114-1751268243/solver-4498114-1751268243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751268232-36904 --watchdog 3760 pbsolver -f HOME/instance-4498114-1751268243.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=37088, runsolver pid=37081
[startup+0.100065 s]*
/proc/loadavg: 0.73 0.22 0.13 3/259 37094
/proc/meminfo: memFree=129649488/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=63476 memory=52732 CPUtime=0.09 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 11069 0 0 0 8 1 0 0 20 0 1 0 42502932 64999424 13183 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 15869 13183 2432 2575 0 12776 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63476 KiB
Current children cumulated memory: 52732 KiB
[startup+0.205478 s]*
/proc/loadavg: 0.73 0.22 0.13 4/264 37106
/proc/meminfo: memFree=129633548/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=74412 memory=63064 CPUtime=0.19 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 13997 0 0 0 17 2 0 0 20 0 1 0 42502932 76197888 15766 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 18603 15766 2624 2575 0 15510 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74412 KiB
Current children cumulated memory: 63064 KiB
[startup+0.305628 s]*
/proc/loadavg: 0.73 0.22 0.13 4/261 37106
/proc/meminfo: memFree=129630272/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=78192 memory=65808 CPUtime=0.29 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 14786 0 0 0 27 2 0 0 20 0 1 0 42502932 80068608 16452 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 19548 16452 2624 2575 0 16455 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 78192 KiB
Current children cumulated memory: 65808 KiB
[startup+0.70015 s]
/proc/loadavg: 0.73 0.22 0.13 4/261 37106
/proc/meminfo: memFree=129621984/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=82576 memory=68112 CPUtime=0.68 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 15352 0 0 0 66 2 0 0 20 0 1 0 42502932 84557824 17028 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 20644 17028 2624 2575 0 17551 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 82576 KiB
Current children cumulated memory: 68112 KiB
[startup+1.50012 s]
/proc/loadavg: 0.99 0.28 0.15 5/261 37106
/proc/meminfo: memFree=129619968/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=94600 memory=77712 CPUtime=1.48 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 17750 0 0 0 145 3 0 0 20 0 1 0 42502932 96870400 19428 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 23650 19428 2624 2575 0 20557 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 94600 KiB
Current children cumulated memory: 77712 KiB
[startup+3.10446 s]
/proc/loadavg: 0.99 0.28 0.15 5/261 37106
/proc/meminfo: memFree=129583756/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=108700 memory=86544 CPUtime=3.08 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 19958 0 0 0 305 3 0 0 20 0 1 0 42502932 111308800 21636 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 27175 21636 2624 2575 0 24082 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 108700 KiB
Current children cumulated memory: 86544 KiB
[startup+6.30012 s]
/proc/loadavg: 1.39 0.38 0.19 5/256 37171
/proc/meminfo: memFree=129621516/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=116160 memory=88848 CPUtime=6.27 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 20540 0 0 0 623 4 0 0 20 0 1 0 42502932 118947840 22212 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 29040 22212 2624 2575 0 25947 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 116160 KiB
Current children cumulated memory: 88848 KiB
[startup+12.7001 s]
/proc/loadavg: 1.68 0.46 0.21 6/265 37233
/proc/meminfo: memFree=129367040/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=127276 memory=100096 CPUtime=12.65 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 24208 0 0 0 1261 4 0 0 20 0 1 0 42502932 130330624 25024 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 31819 25024 2624 2575 0 28726 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 127276 KiB
Current children cumulated memory: 100096 KiB
[startup+25.5001 s]
/proc/loadavg: 2.19 0.61 0.26 6/265 37233
/proc/meminfo: memFree=129302876/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=127276 memory=100096 CPUtime=25.42 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 24208 0 0 0 2538 4 0 0 20 0 1 0 42502932 130330624 25024 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 31819 25024 2624 2575 0 28726 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 127276 KiB
Current children cumulated memory: 100096 KiB
[startup+51.1045 s]
/proc/loadavg: 2.97 0.95 0.39 6/266 37235
/proc/meminfo: memFree=129212896/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=198732 memory=137856 CPUtime=50.96 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 33705 0 0 0 5090 6 0 0 20 0 1 0 42502932 203501568 34464 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 49683 34464 2624 2575 0 46590 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 198732 KiB
Current children cumulated memory: 137856 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 1.44 0.59 6/267 37238
/proc/meminfo: memFree=129016076/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=311572 memory=198144 CPUtime=102.02 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 48787 0 0 0 10193 9 0 0 20 0 1 0 42502932 319049728 49536 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 77893 49536 2624 2575 0 74800 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 311572 KiB
Current children cumulated memory: 198144 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.92 0.81 6/267 37240
/proc/meminfo: memFree=128903244/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=351668 memory=216700 CPUtime=161.88 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 54055 0 0 0 16178 10 0 0 20 0 1 0 42502932 360108032 54175 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 87917 54175 2624 2575 0 84824 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 351668 KiB
Current children cumulated memory: 216700 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.32 1.02 6/267 37242
/proc/meminfo: memFree=128834128/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=369816 memory=261328 CPUtime=221.73 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 59019 0 0 0 22162 11 0 0 20 0 1 0 42502932 378691584 65332 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 92454 65332 2656 2575 0 89361 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 369816 KiB
Current children cumulated memory: 261328 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.64 1.21 6/267 37244
/proc/meminfo: memFree=128735864/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=397284 memory=325456 CPUtime=281.59 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 64854 0 0 0 28147 12 0 0 20 0 1 0 42502932 406818816 81364 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 99321 81364 2656 2575 0 96228 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 397284 KiB
Current children cumulated memory: 325456 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 2.91 1.39 6/263 37246
/proc/meminfo: memFree=128622820/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=456904 memory=436700 CPUtime=341.44 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 80662 0 0 0 34129 15 0 0 20 0 1 0 42502932 467869696 109175 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 114226 109175 2656 2575 0 111133 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 456904 KiB
Current children cumulated memory: 436700 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.14 1.57 6/264 37248
/proc/meminfo: memFree=128593168/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=471460 memory=448860 CPUtime=401.3 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 81619 0 0 0 40115 15 0 0 20 0 1 0 42502932 482775040 112215 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 117865 112215 2656 2575 0 114772 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 471460 KiB
Current children cumulated memory: 448860 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.31 1.73 6/263 37250
/proc/meminfo: memFree=128559080/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=492520 memory=478044 CPUtime=461.16 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 83722 0 0 0 46100 16 0 0 20 0 1 0 42502932 504340480 119511 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 123130 119511 2944 2575 0 120037 0
################
# More data... #
################
/proc/loadavg: 4.10 4.09 4.01 6/263 37392
/proc/meminfo: memFree=127009092/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=1336280 memory=1281764 CPUtime=3153.89 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 179887 0 0 0 315348 41 0 0 20 0 1 0 42502932 1368350720 320441 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 334070 320441 2944 2575 0 330977 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 1336280 KiB
Current children cumulated memory: 1281764 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.01 6/263 37394
/proc/meminfo: memFree=126982724/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=1338296 memory=1297104 CPUtime=3213.7 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 180906 0 0 0 321329 41 0 0 20 0 1 0 42502932 1370415104 324276 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 334574 324276 2944 2575 0 331481 0
Current children cumulated CPU time: 3213.7 s
Current children cumulated vsize: 1338296 KiB
Current children cumulated memory: 1297104 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.08 4.01 6/263 37396
/proc/meminfo: memFree=126946520/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=1421620 memory=1315828 CPUtime=3273.51 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 183368 0 0 0 327309 42 0 0 20 0 1 0 42502932 1455738880 328957 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 355405 328957 2944 2575 0 352312 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 1421620 KiB
Current children cumulated memory: 1315828 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.01 6/264 37399
/proc/meminfo: memFree=126909988/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=1421612 memory=1336760 CPUtime=3333.32 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 185825 0 0 0 333289 43 0 0 20 0 1 0 42502932 1455730688 334190 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 355403 334190 2944 2575 0 352310 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 1421612 KiB
Current children cumulated memory: 1336760 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.01 6/263 37401
/proc/meminfo: memFree=126878248/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=1429680 memory=1348080 CPUtime=3393.13 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 187411 0 0 0 339270 43 0 0 20 0 1 0 42502932 1463992320 337020 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 357420 337020 2944 2575 0 354327 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 1429680 KiB
Current children cumulated memory: 1348080 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.01 6/263 37403
/proc/meminfo: memFree=126826860/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=1435300 memory=1371476 CPUtime=3452.93 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 191582 0 0 0 345249 44 0 0 20 0 1 0 42502932 1469747200 342869 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 358825 342869 2944 2575 0 355732 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 1435300 KiB
Current children cumulated memory: 1371476 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.01 6/263 37405
/proc/meminfo: memFree=126794416/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=1449284 memory=1389676 CPUtime=3512.75 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 194729 0 0 0 351230 45 0 0 20 0 1 0 42502932 1484066816 347419 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 362321 347419 2944 2575 0 359228 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 1449284 KiB
Current children cumulated memory: 1389676 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.02 6/263 37407
/proc/meminfo: memFree=126777976/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=1456308 memory=1398740 CPUtime=3572.57 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 196904 0 0 0 357211 46 0 0 20 0 1 0 42502932 1491259392 349685 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 364077 349685 2944 2575 0 360984 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 1456308 KiB
Current children cumulated memory: 1398740 KiB
[startup+3597.21 s]
# the end of solver process 37088 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.96 s, system=0.474587 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.10 4.02 6/263 37407
/proc/meminfo: memFree=126777976/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=1456308 memory=1400808 CPUtime=3574.27 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 196906 0 0 0 357381 46 0 0 20 0 1 0 42502932 1491259392 350202 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 364077 350202 2944 2575 0 360984 0
Current children cumulated CPU time: 3574.27 s
Current children cumulated vsize: 1456308 KiB
Current children cumulated memory: 1400808 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.10 4.02 5/263 37452
/proc/meminfo: memFree=126914544/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=1456308 memory=1400808 CPUtime=3580.64 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 196915 0 0 0 358018 46 0 0 20 0 1 0 42502932 1491259392 350202 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 364077 350202 2944 2575 0 360984 0
Current children cumulated CPU time: 3580.64 s
Current children cumulated vsize: 1456308 KiB
Current children cumulated memory: 1400808 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.09 4.02 5/263 37452
/proc/meminfo: memFree=126850536/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=1456308 memory=1400808 CPUtime=3583.83 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 196918 0 0 0 358337 46 0 0 20 0 1 0 42502932 1491259392 350202 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 364077 350202 2944 2575 0 360984 0
Current children cumulated CPU time: 3583.83 s
Current children cumulated vsize: 1456308 KiB
Current children cumulated memory: 1400808 KiB
[startup+3595.2 s]
/proc/loadavg: 4.11 4.09 4.02 5/263 37452
/proc/meminfo: memFree=126834344/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=1456308 memory=1400808 CPUtime=3585.43 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 196919 0 0 0 358497 46 0 0 20 0 1 0 42502932 1491259392 350202 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 364077 350202 2944 2575 0 360984 0
Current children cumulated CPU time: 3585.43 s
Current children cumulated vsize: 1456308 KiB
Current children cumulated memory: 1400808 KiB
[startup+3596 s]*
/proc/loadavg: 4.11 4.09 4.02 5/263 37452
/proc/meminfo: memFree=126834344/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=1457332 memory=1401832 CPUtime=3586.23 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 197175 0 0 0 358577 46 0 0 20 0 1 0 42502932 1492307968 350458 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 364333 350458 2944 2575 0 361240 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 1457332 KiB
Current children cumulated memory: 1401832 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.09 4.02 5/263 37452
/proc/meminfo: memFree=126834344/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=1457332 memory=1401832 CPUtime=3587.02 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 197177 0 0 0 358656 46 0 0 20 0 1 0 42502932 1492307968 350458 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 364333 350458 2944 2575 0 361240 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 1457332 KiB
Current children cumulated memory: 1401832 KiB
[startup+3597.2 s]
/proc/loadavg: 4.10 4.09 4.02 5/263 37452
/proc/meminfo: memFree=126810452/131249988 swapFree=33010684/33010684
[pid=37088] ppid=37081 vsize=746740 memory=730416 CPUtime=3587.42 cores=1,3
/proc/37088/stat : 37088 (pbsolver) R 37081 37088 36885 0 -1 4194304 197195 0 0 0 358696 46 0 0 20 0 1 0 42502932 764661760 182604 18446744073709551615 4198400 14743177 140726499716688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37752832 140726499719562 140726499719658 140726499719658 140726499725260 0
/proc/37088/statm: 186685 182604 2944 2575 0 183592 0
Current children cumulated CPU time: 3587.42 s
Current children cumulated vsize: 746740 KiB
Current children cumulated memory: 730416 KiB
Child status: 0
Real time (s): 3597.21
CPU time (s): 3587.44
CPU user time (s): 3586.96
CPU system time (s): 0.474587
CPU usage (%): 99.7285
Max. virtual memory (cumulated for all children) (KiB): 1457332
Max. memory (cumulated for all children) (KiB): 1401832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.96
system time used= 0.474587
maximum resident set size= 1401832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197210
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= 3385
# summary of solver processes directly reported to runsolver:
# pid: 37088
# total CPU time (s): 3587.44
# total CPU user time (s): 3586.96
# total CPU system time (s): 0.474587
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15318 second user time and 11.3736 second system time
The end
Begin job on nodeC031 at 2025-06-30 09:24:04 IDJOB=4498114 IDBENCH=148524 IDSOLVER=3366 FILE ID=nodeC031/4498114-1751268243 RUNJOBID= nodeC031-1751268232-36904 SLURM_JOB_ID= 9594198 Free space on /tmp= 433044 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_5.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498114-1751268243/watcher-4498114-1751268243 -o /tmp/evaluation-result-4498114-1751268243/solver-4498114-1751268243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751268232-36904 --watchdog 3760 pbsolver -f HOME/instance-4498114-1751268243.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ad730d72a9718c13a4974a6db9713293 RANDOM SEED=1449179163 nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.195 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3535.635 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.911 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.871 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.342 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.879 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.808 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3610.179 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 129709204 kB MemAvailable: 129649768 kB Buffers: 3280 kB Cached: 748724 kB SwapCached: 0 kB Active: 477532 kB Inactive: 493968 kB Active(anon): 237564 kB Inactive(anon): 0 kB Active(file): 239968 kB Inactive(file): 493968 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 30100 kB Writeback: 4 kB AnonPages: 222692 kB Mapped: 113904 kB Shmem: 18064 kB KReclaimable: 91736 kB Slab: 178056 kB SReclaimable: 91736 kB SUnreclaim: 86320 kB KernelStack: 4160 kB PageTables: 3252 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 516460 kB VmallocTotal: 34359738367 kB VmallocUsed: 150408 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 28672 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: 191188 kB DirectMap2M: 9017344 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433000 MiB End job on nodeC031 at 2025-06-30 10:24:01