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 | -49 | 3586.37 | 3597.32 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb |
| MD5SUM | 71e47456366b2ddac308424c74922847 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -56 |
| Best CPU time to get the best result obtained on this benchmark | 3587 |
| 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 | 1400 |
| Total number of constraints | 110038 |
| Number of constraints which are clauses | 110038 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1400 |
| 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 | 1400 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1400 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4484733-1751301697.opb>
0.10/0.15 c original problem has 1400 variables (1400 bin, 0 int, 0 cont) and 110038 constraints
0.10/0.15 c problem read in 0.155 seconds
0.20/0.28 o 0
0.20/0.28 c feasible solution found by trivial heuristic after 0.3 seconds, objective value 0.000000e+00
0.20/0.28 c presolving:
0.50/0.52 c (0.5s) running MILP presolver
0.59/0.69 c (0.7s) MILP presolver found nothing
0.78/0.88 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 110038 upgd conss, 0 impls, 110038 clqs
1.58/1.61 c (1.6s) probing: 51/1400 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.58/1.61 c (1.6s) probing aborted: 50/50 successive totally useless probings
2.18/2.28 c (2.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.28/2.33 c (2.3s) no symmetry present (symcode time: 0.02)
2.28/2.36 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
2.28/2.36 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.28/2.36 c 0 implications, 110038 cliques
2.28/2.36 c presolved problem has 1400 variables (1400 bin, 0 int, 0 cont) and 110038 constraints
2.28/2.36 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
2.28/2.36 c 110038 constraints of type <setppc>
2.28/2.36 c transformed objective value is always integral (scale: 1)
2.28/2.36 c Presolving Time: 2.08
2.28/2.36 c
2.28/2.36 c - non default parameters ----------------------------------------------------------------------
2.28/2.36 c
2.28/2.36 c # SCIP version 10.0.0
2.28/2.36 c
2.28/2.36 c # maximal time in seconds to run
2.28/2.36 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.28/2.36 c limits/time = 3596.998106
2.28/2.36 c
2.28/2.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.28/2.36 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.28/2.36 c limits/memory = 27900
2.28/2.36 c
2.28/2.36 c # belongs reading time to solving time?
2.28/2.36 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.28/2.36 c timing/reading = TRUE
2.28/2.36 c
2.28/2.36 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
2.28/2.36 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
2.28/2.36 c reading/opbreader/maxintsize = 47
2.28/2.36 c
2.28/2.36 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
2.28/2.36 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
2.28/2.36 c propagating/genvbounds/timingmask = 0
2.28/2.36 c
2.28/2.36 c -----------------------------------------------------------------------------------------------
2.28/2.36 c transformed 1/1 original solutions to the transformed problem space
2.28/2.36 c
2.57/2.61 o -38
2.57/2.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.57/2.61 c p 2.6s| 1 | 0 | 0 | - | clique| 0 |1400 | 110k| 110k| 0 | 0 | 0 | 0 |-1.400000e+03 |-3.800000e+01 |3584.21%| unknown
3.98/4.01 c 4.0s| 1 | 0 | 1824 | - | 494M | 0 |1400 | 110k| 110k| 0 | 0 | 0 | 0 |-7.000000e+02 |-3.800000e+01 |1742.11%| unknown
5.57/5.67 c 5.7s| 1 | 0 | 2011 | - | 521M | 0 |1400 | 110k| 110k| 8 | 1 | 0 | 0 |-6.635000e+02 |-3.800000e+01 |1646.05%| unknown
9.07/9.19 c 9.2s| 1 | 0 | 2356 | - | 534M | 0 |1400 | 110k| 110k| 25 | 2 | 0 | 0 |-6.350000e+02 |-3.800000e+01 |1571.05%| unknown
13.95/14.07 c 14.1s| 1 | 0 | 2727 | - | 545M | 0 |1400 | 110k| 110k| 69 | 3 | 0 | 0 |-5.940000e+02 |-3.800000e+01 |1463.16%| unknown
20.53/20.64 c 20.6s| 1 | 0 | 2963 | - | 558M | 0 |1400 | 110k| 110k| 91 | 4 | 0 | 0 |-5.655000e+02 |-3.800000e+01 |1388.16%| unknown
22.62/22.70 c 22.7s| 1 | 0 | 3235 | - | 571M | 0 |1400 | 110k| 110k| 116 | 5 | 0 | 0 |-5.360000e+02 |-3.800000e+01 |1310.53%| unknown
23.62/23.74 c 23.7s| 1 | 0 | 3551 | - | 583M | 0 |1400 | 110k| 110k| 141 | 6 | 0 | 0 |-5.196667e+02 |-3.800000e+01 |1267.54%| unknown
24.72/24.83 c 24.8s| 1 | 0 | 4305 | - | 595M | 0 |1400 | 110k| 110k| 184 | 7 | 0 | 0 |-4.985000e+02 |-3.800000e+01 |1211.84%| unknown
26.02/26.17 c 26.2s| 1 | 0 | 4922 | - | 607M | 0 |1400 | 110k| 110k| 223 | 8 | 0 | 0 |-4.685000e+02 |-3.800000e+01 |1132.89%| unknown
26.92/27.05 c 27.0s| 1 | 0 | 5399 | - | 619M | 0 |1400 | 110k| 110k| 255 | 9 | 0 | 0 |-4.390000e+02 |-3.800000e+01 |1055.26%| unknown
28.61/28.70 c 28.7s| 1 | 0 | 6722 | - | 631M | 0 |1400 | 110k| 110k| 286 | 10 | 0 | 0 |-4.025000e+02 |-3.800000e+01 | 959.21%| unknown
29.51/29.60 c 29.6s| 1 | 0 | 7931 | - | 641M | 0 |1400 | 110k| 110k| 303 | 11 | 0 | 0 |-3.822500e+02 |-3.800000e+01 | 905.92%| unknown
30.70/30.87 c 30.9s| 1 | 0 | 9707 | - | 652M | 0 |1400 | 110k| 110k| 325 | 12 | 0 | 0 |-3.615000e+02 |-3.800000e+01 | 851.32%| unknown
32.50/32.64 c 32.6s| 1 | 0 | 12132 | - | 663M | 0 |1400 | 110k| 110k| 353 | 13 | 0 | 0 |-3.265000e+02 |-3.800000e+01 | 759.21%| unknown
33.50/33.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
33.50/33.68 c 33.7s| 1 | 0 | 13828 | - | 674M | 0 |1400 | 110k| 110k| 378 | 14 | 0 | 0 |-3.004167e+02 |-3.800000e+01 | 690.57%| unknown
34.49/34.62 c 34.6s| 1 | 0 | 15274 | - | 685M | 0 |1400 | 110k| 110k| 400 | 15 | 0 | 0 |-2.700000e+02 |-3.800000e+01 | 610.53%| unknown
35.09/35.25 c 35.3s| 1 | 0 | 16180 | - | 696M | 0 |1400 | 110k| 110k| 413 | 16 | 0 | 0 |-2.495000e+02 |-3.800000e+01 | 556.58%| unknown
35.79/35.91 c 35.9s| 1 | 0 | 17130 | - | 707M | 0 |1400 | 110k| 110k| 436 | 17 | 0 | 0 |-2.292500e+02 |-3.800000e+01 | 503.29%| unknown
36.89/37.07 c 37.1s| 1 | 0 | 19392 | - | 717M | 0 |1400 | 110k| 110k| 463 | 18 | 0 | 0 |-1.910000e+02 |-3.800000e+01 | 402.63%| unknown
38.18/38.34 c 38.3s| 1 | 0 | 22260 | - | 728M | 0 |1400 | 110k| 110k| 497 | 19 | 0 | 0 |-1.700000e+02 |-3.800000e+01 | 347.37%| unknown
38.48/38.67 c 38.7s| 1 | 0 | 22674 | - | 740M | 0 |1400 | 110k| 110k| 520 | 20 | 0 | 0 |-1.593333e+02 |-3.800000e+01 | 319.30%| unknown
38.89/39.02 c 39.0s| 1 | 0 | 23372 | - | 741M | 0 |1400 | 110k| 110k| 523 | 21 | 0 | 0 |-1.520000e+02 |-3.800000e+01 | 300.00%| unknown
39.48/39.63 c 39.6s| 1 | 0 | 24530 | - | 741M | 0 |1400 | 110k| 110k| 526 | 22 | 0 | 0 |-1.428750e+02 |-3.800000e+01 | 275.99%| unknown
39.98/40.14 c 40.1s| 1 | 0 | 25679 | - | 741M | 0 |1400 | 110k| 110k| 530 | 23 | 0 | 0 |-1.350000e+02 |-3.800000e+01 | 255.26%| unknown
40.28/40.48 c 40.5s| 1 | 0 | 26191 | - | 741M | 0 |1400 | 110k| 110k| 534 | 24 | 0 | 0 |-1.160000e+02 |-3.800000e+01 | 205.26%| unknown
40.58/40.73 c 40.7s| 1 | 0 | 26693 | - | 741M | 0 |1400 | 110k| 110k| 540 | 25 | 0 | 0 |-1.075000e+02 |-3.800000e+01 | 182.89%| unknown
40.67/40.89 c 40.9s| 1 | 0 | 26825 | - | 741M | 0 |1400 | 110k| 110k| 541 | 26 | 0 | 0 |-9.850000e+01 |-3.800000e+01 | 159.21%| unknown
41.07/41.28 c 41.3s| 1 | 0 | 27825 | - | 742M | 0 |1400 | 110k| 110k| 544 | 27 | 0 | 0 |-8.150000e+01 |-3.800000e+01 | 114.47%| unknown
41.37/41.54 c 41.5s| 1 | 0 | 28218 | - | 742M | 0 |1400 | 110k| 110k| 547 | 28 | 0 | 0 |-6.450000e+01 |-3.800000e+01 | 69.74%| unknown
41.47/41.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
41.47/41.69 c 41.7s| 1 | 0 | 28358 | - | 742M | 0 |1400 | 110k| 110k| 550 | 29 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown
41.67/41.81 c 41.8s| 1 | 0 | 28408 | - | 742M | 0 |1400 | 110k| 110k| 555 | 30 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown
41.77/41.92 c 41.9s| 1 | 0 | 28445 | - | 743M | 0 |1400 | 110k| 110k| 561 | 31 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown
41.88/42.05 c 42.0s| 1 | 0 | 28501 | - | 744M | 0 |1400 | 110k| 110k| 567 | 32 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown
41.98/42.18 c 42.2s| 1 | 0 | 28551 | - | 745M | 0 |1400 | 110k| 110k| 571 | 33 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown
42.17/42.32 c 42.3s| 1 | 0 | 28612 | - | 746M | 0 |1400 | 110k| 110k| 577 | 34 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown
42.27/42.45 c 42.5s| 1 | 0 | 28672 | - | 746M | 0 |1400 | 110k| 110k| 586 | 35 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown
42.37/42.57 c 42.6s| 1 | 0 | 28701 | - | 747M | 0 |1400 | 110k| 110k| 593 | 36 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown
42.57/42.70 c 42.7s| 1 | 0 | 28743 | - | 748M | 0 |1400 | 110k| 110k| 600 | 37 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown
42.67/42.84 c 42.8s| 1 | 0 | 28801 | - | 749M | 0 |1400 | 110k| 110k| 605 | 38 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown
42.77/42.99 c 43.0s| 1 | 0 | 28862 | - | 750M | 0 |1400 | 110k| 110k| 613 | 39 | 0 | 0 |-5.650000e+01 |-3.800000e+01 | 48.68%| unknown
47.16/47.36 c 47.4s| 1 | 2 | 28879 | - | 751M | 0 |1400 | 110k| 110k| 613 | 39 | 0 | 20 |-5.600000e+01 |-3.800000e+01 | 47.37%| unknown
62.61/62.82 o -41
62.61/62.82 c d62.8s| 35 | 36 | 31113 | 78.7 |pscostdi| 26 |1400 | 110k| 110k| 0 | 1 | 0 | 239 |-5.600000e+01 |-4.100000e+01 | 36.59%| unknown
62.61/62.86 o -42
62.61/62.86 c i62.9s| 36 | 35 | 31135 | 77.1 | oneopt| 26 |1400 | 110k| 110k| 634 | 0 | 0 | 239 |-5.600000e+01 |-4.200000e+01 | 33.33%| unknown
96.40/96.79 o -44
96.40/96.79 c *96.8s| 97 | 96 | 38333 | 103.1 |strongbr| 39 |1400 | 110k| 110k| 658 | 1 | 8 | 834 |-5.600000e+01 |-4.400000e+01 | 27.27%| unknown
98.19/98.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
98.19/98.53 c 98.5s| 100 | 97 | 38495 | 101.6 | 793M | 39 |1400 | 110k| 110k| 658 | 1 | 8 | 871 |-5.600000e+01 |-4.400000e+01 | 27.27%| unknown
121.63/122.03 o -45
121.63/122.03 c * 122s| 165 | 141 | 43649 | 92.8 |strongbr| 40 |1400 | 110k| 110k| 675 | 1 | 8 |1243 |-5.600000e+01 |-4.500000e+01 | 24.44%| unknown
123.81/124.28 c 124s| 200 | 158 | 45202 | 84.2 | 810M | 40 |1400 | 110k| 110k| 678 | 0 | 8 |1265 |-5.600000e+01 |-4.500000e+01 | 24.44%| unknown
128.80/129.25 o -46
128.80/129.25 c * 129s| 249 | 174 | 47551 | 77.1 | LP | 40 |1400 | 110k| 110k| 690 | 4 | 8 |1280 |-5.600000e+01 |-4.600000e+01 | 21.74%| unknown
133.88/134.30 c 134s| 300 | 205 | 50625 | 74.2 | 836M | 40 |1400 | 110k| 110k| 697 | 1 | 8 |1348 |-5.600000e+01 |-4.600000e+01 | 21.74%| unknown
151.03/151.56 o -47
151.03/151.56 c o 152s| 364 | 243 | 53658 | 69.5 |objpscos| 40 |1400 | 110k| 110k| 727 | 1 | 18 |1534 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
151.03/151.58 o -48
151.03/151.58 c o 152s| 364 | 243 | 53671 | 69.5 |objpscos| 40 |1400 | 110k| 110k| 727 | 1 | 18 |1534 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
152.33/152.86 c 153s| 400 | 217 | 54569 | 65.5 | 874M | 40 |1400 | 110k| 110k| 727 | 1 | 18 |1543 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
169.58/170.13 c 170s| 500 | 283 | 59014 | 61.3 | 899M | 40 |1400 | 110k| 110k| 766 | 1 | 23 |1566 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
174.86/175.41 c 175s| 600 | 335 | 62120 | 56.2 | 902M | 40 |1400 | 110k| 110k| 780 | 1 | 23 |1601 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
181.45/182.09 c 182s| 700 | 385 | 65561 | 53.1 | 915M | 40 |1400 | 110k| 110k| 801 | 1 | 31 |1630 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
185.13/185.74 c 186s| 800 | 423 | 68939 | 50.7 | 918M | 40 |1400 | 110k| 110k| 810 | 0 | 36 |1654 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
188.82/189.50 c 189s| 900 | 470 | 72321 | 48.8 | 918M | 40 |1400 | 110k| 110k| 816 | 1 | 41 |1677 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
195.19/195.84 c 196s| 1000 | 532 | 77949 | 49.6 | 944M | 40 |1400 | 110k| 110k| 843 | 1 | 76 |1709 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
201.97/202.67 c 203s| 1100 | 630 | 85109 | 51.6 | 948M | 40 |1400 | 110k| 110k| 866 | 1 | 176 |1753 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
207.85/208.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
207.85/208.52 c 209s| 1200 | 728 | 91739 | 52.8 | 951M | 40 |1400 | 110k| 110k| 883 | 1 | 235 |1780 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
215.53/216.20 c 216s| 1300 | 824 | 98713 | 54.1 | 955M | 40 |1400 | 110k| 110k| 895 | 2 | 303 |1846 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
222.31/223.06 c 223s| 1400 | 918 |105602 | 55.2 | 958M | 40 |1400 | 110k| 110k| 918 | 1 | 371 |1891 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
229.08/229.84 c 230s| 1500 | 1010 |112422 | 56.0 | 961M | 40 |1400 | 110k| 110k| 924 | 1 | 425 |1928 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
237.26/238.01 c 238s| 1600 | 1108 |121727 | 58.3 | 965M | 40 |1400 | 110k| 110k| 929 | 1 | 507 |1965 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
249.02/249.83 c 250s| 1700 | 1204 |129644 | 59.6 | 969M | 40 |1400 | 110k| 110k| 953 | 1 | 592 |2013 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
255.30/256.12 c 256s| 1800 | 1298 |137394 | 60.6 | 973M | 40 |1400 | 110k| 110k| 958 | 1 | 673 |2040 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
261.86/262.70 c 263s| 1900 | 1396 |144681 | 61.2 | 976M | 40 |1400 | 110k| 110k| 963 | 1 | 747 |2081 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
271.33/272.29 c 272s| 2000 | 1496 |158685 | 65.2 | 979M | 40 |1400 | 110k| 110k| 969 | 1 | 814 |2138 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
306.31/307.33 c 307s| 2100 | 1596 |173730 | 69.2 | 1058M | 40 |1400 | 110k| 110k|1124 | 1 | 899 |2198 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
342.20/343.30 c 343s| 2200 | 1694 |190522 | 73.7 | 1118M | 41 |1400 | 111k| 110k|1279 | 1 |1014 |2247 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
353.36/354.53 c 355s| 2300 | 1794 |204302 | 76.5 | 1124M | 41 |1400 | 111k| 110k|1331 | 1 |1122 |2287 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
367.41/368.61 c 369s| 2400 | 1894 |215376 | 77.9 | 1156M | 41 |1400 | 111k| 110k|1422 | 1 |1197 |2333 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
380.26/381.59 c 382s| 2500 | 1994 |227256 | 79.6 | 1160M | 41 |1400 | 111k| 110k|1465 | 1 |1258 |2367 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
394.62/395.95 c 396s| 2600 | 2094 |240476 | 81.6 | 1186M | 41 |1400 | 111k| 110k|1539 | 1 |1360 |2410 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
410.26/411.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
410.26/411.61 c 412s| 2700 | 2190 |251089 | 82.5 | 1201M | 42 |1400 | 111k| 110k|1593 | 1 |1399 |2448 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
442.35/443.85 c 444s| 2800 | 2290 |260737 | 83.0 | 1245M | 42 |1400 | 111k| 110k|1696 | 1 |1480 |2491 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
450.92/452.41 c 452s| 2900 | 2386 |272186 | 84.1 | 1249M | 42 |1400 | 111k| 110k|1713 | 1 |1567 |2532 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
465.76/467.37 c 467s| 3000 | 2486 |284184 | 85.3 | 1253M | 42 |1400 | 111k| 110k|1737 | 1 |1635 |2576 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
474.62/476.26 c 476s| 3100 | 2586 |295597 | 86.2 | 1255M | 42 |1400 | 111k| 110k|1743 | 1 |1755 |2614 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
496.75/498.44 c 498s| 3200 | 2682 |307153 | 87.1 | 1260M | 42 |1400 | 111k| 110k|1791 | 1 |1810 |2654 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
509.50/511.22 c 511s| 3300 | 2782 |320559 | 88.5 | 1281M | 42 |1400 | 111k| 110k|1827 | 1 |1910 |2692 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
533.41/535.21 c 535s| 3400 | 2882 |330476 | 88.9 | 1285M | 42 |1400 | 111k| 110k|1895 | 1 |1976 |2744 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
622.23/624.36 c 624s| 3500 | 2980 |343192 | 90.0 | 1451M | 44 |1400 | 112k| 110k|2337 | 1 |2049 |2753 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
687.43/689.78 c 690s| 3600 | 3072 |355020 | 90.7 | 1578M | 44 |1400 | 112k| 110k|2798 | 1 |2111 |2772 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
712.35/714.78 c 715s| 3700 | 3170 |366484 | 91.4 | 1596M | 44 |1400 | 112k| 110k|2999 | 1 |2164 |2793 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
726.99/729.42 c 729s| 3800 | 3270 |375537 | 91.4 | 1597M | 44 |1400 | 112k| 110k|3078 | 1 |2246 |2807 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
733.47/735.92 c 736s| 3900 | 3364 |384254 | 91.3 | 1603M | 44 |1400 | 112k| 110k|3079 | 1 |2346 |2821 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
744.03/746.50 c 747s| 4000 | 3458 |394237 | 91.5 | 1604M | 44 |1400 | 112k| 110k|3125 | 1 |2407 |2825 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
756.89/759.41 c 759s| 4100 | 3550 |402744 | 91.3 | 1624M | 44 |1400 | 112k| 110k|3159 | 2 |2475 |2847 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
763.96/766.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
763.96/766.52 c 767s| 4200 | 3646 |412021 | 91.4 | 1626M | 44 |1400 | 112k| 110k|3185 | 1 |2530 |2865 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
778.21/780.84 c 781s| 4300 | 3744 |422911 | 91.8 | 1631M | 44 |1400 | 112k| 110k|3232 | 1 |2628 |2882 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
786.88/789.57 c 790s| 4400 | 3838 |434516 | 92.3 | 1635M | 44 |1400 | 112k| 110k|3233 | 1 |2672 |2927 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
793.55/796.23 c 796s| 4500 | 3932 |444407 | 92.5 | 1638M | 44 |1400 | 112k| 110k|3268 | 0 |2765 |2938 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
810.99/813.74 c 814s| 4600 | 4022 |453694 | 92.5 | 1639M | 44 |1400 | 112k| 110k|3330 | 1 |2818 |2952 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
822.45/825.25 c 825s| 4700 | 4120 |462657 | 92.4 | 1646M | 45 |1400 | 112k| 110k|3371 | 1 |2878 |2958 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
846.77/849.60 c 850s| 4800 | 4214 |473029 | 92.6 | 1650M | 45 |1400 | 112k| 110k|3461 | 1 |2971 |2961 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
866.90/869.87 c 870s| 4900 | 4310 |483379 | 92.9 | 1656M | 45 |1400 | 113k| 110k|3561 | 2 |3023 |2966 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
872.68/875.69 c 876s| 5000 | 4400 |491332 | 92.6 | 1659M | 45 |1400 | 113k| 110k|3588 | 1 |3109 |2968 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
903.08/906.15 c 906s| 5100 | 4490 |502244 | 92.9 | 1684M | 45 |1400 | 113k| 110k|3723 | 1 |3219 |2973 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
923.10/926.22 c 926s| 5200 | 4584 |511931 | 93.0 | 1717M | 45 |1400 | 113k| 110k|3819 | 1 |3327 |2975 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
929.38/932.58 c 933s| 5300 | 4684 |521915 | 93.1 | 1720M | 45 |1400 | 113k| 110k|3839 | 1 |3401 |2980 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
935.86/939.04 c 939s| 5400 | 4780 |532805 | 93.4 | 1723M | 45 |1400 | 113k| 110k|3839 | 1 |3436 |2985 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
957.29/960.58 c 961s| 5500 | 4876 |546593 | 94.2 | 1727M | 45 |1400 | 113k| 110k|3941 | 1 |3573 |2993 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
971.33/974.65 c 975s| 5600 | 4968 |555526 | 94.1 | 1729M | 45 |1400 | 113k| 110k|4027 | 1 |3615 |2994 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
994.95/998.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
994.95/998.35 c 998s| 5700 | 5064 |566150 | 94.4 | 1745M | 45 |1400 | 113k| 110k|4117 | 1 |3711 |2996 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1005.92/1009.37 c 1009s| 5800 | 5160 |576263 | 94.5 | 1750M | 45 |1400 | 113k| 110k|4153 | 1 |3775 |3012 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1029.74/1033.27 c 1033s| 5900 | 5248 |586690 | 94.6 | 1753M | 45 |1400 | 113k| 110k|4233 | 0 |3849 |3062 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1044.49/1048.02 c 1048s| 6000 | 5338 |597343 | 94.8 | 1755M | 45 |1400 | 113k| 110k|4281 | 1 |3932 |3086 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1060.12/1063.77 c 1064s| 6100 | 5432 |605519 | 94.6 | 1765M | 45 |1400 | 113k| 110k|4353 | 1 |4013 |3120 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1071.77/1075.41 c 1075s| 6200 | 5524 |615350 | 94.7 | 1768M | 45 |1400 | 114k| 110k|4410 | 1 |4074 |3165 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1081.14/1084.86 c 1085s| 6300 | 5624 |628578 | 95.3 | 1771M | 45 |1400 | 114k| 110k|4415 | 1 |4142 |3202 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1089.32/1093.07 c 1093s| 6400 | 5716 |640619 | 95.7 | 1777M | 47 |1400 | 114k| 110k|4443 | 1 |4220 |3226 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1104.06/1107.84 c 1108s| 6500 | 5808 |650830 | 95.8 | 1798M | 47 |1400 | 114k| 110k|4533 | 1 |4274 |3263 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1118.51/1122.35 c 1122s| 6600 | 5904 |661409 | 95.9 | 1803M | 47 |1400 | 114k| 110k|4569 | 1 |4360 |3285 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1132.67/1136.52 c 1137s| 6700 | 6004 |672563 | 96.2 | 1806M | 47 |1400 | 114k| 110k|4604 | 2 |4434 |3333 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1146.62/1150.57 c 1151s| 6800 | 6092 |682872 | 96.3 | 1809M | 47 |1400 | 114k| 110k|4640 | 1 |4465 |3371 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1170.24/1174.22 c 1174s| 6900 | 6184 |694890 | 96.6 | 1811M | 47 |1400 | 114k| 110k|4725 | 1 |4541 |3383 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1192.86/1196.90 c 1197s| 7000 | 6280 |704824 | 96.6 | 1813M | 47 |1400 | 114k| 110k|4807 | 1 |4628 |3418 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1212.00/1216.14 c 1216s| 7100 | 6368 |716293 | 96.9 | 1815M | 47 |1400 | 114k| 110k|4871 | 5 |4693 |3452 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1234.12/1238.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1234.12/1238.36 c 1238s| 7200 | 6462 |727718 | 97.1 | 1831M | 47 |1400 | 114k| 110k|4930 | 2 |4755 |3495 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1256.35/1260.62 c 1261s| 7300 | 6560 |739141 | 97.4 | 1844M | 47 |1400 | 114k| 110k|4986 | 1 |4828 |3521 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1264.02/1268.36 c 1268s| 7400 | 6658 |750309 | 97.6 | 1846M | 47 |1400 | 114k| 110k|4998 | 1 |4889 |3544 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1270.49/1274.88 c 1275s| 7500 | 6748 |758499 | 97.4 | 1851M | 47 |1400 | 114k| 110k|5007 | 1 |4948 |3559 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1286.54/1290.99 c 1291s| 7600 | 6838 |767768 | 97.3 | 1871M | 47 |1400 | 114k| 110k|5047 | 0 |4993 |3576 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1301.19/1305.60 c 1306s| 7700 | 6934 |780944 | 97.7 | 1874M | 47 |1400 | 114k| 110k|5090 | 1 |5084 |3585 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1312.84/1317.36 c 1317s| 7800 | 7020 |791079 | 97.8 | 1878M | 47 |1400 | 114k| 110k|5122 | 1 |5132 |3589 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1325.10/1329.66 c 1330s| 7900 | 7116 |801717 | 97.9 | 1884M | 47 |1400 | 114k| 110k|5177 | 1 |5199 |3595 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1342.65/1347.20 c 1347s| 8000 | 7214 |811365 | 97.9 | 1885M | 47 |1400 | 114k| 110k|5272 | 2 |5246 |3600 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1349.02/1353.61 c 1354s| 8100 | 7312 |822745 | 98.1 | 1890M | 47 |1400 | 115k| 110k|5290 | 1 |5334 |3600 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1358.18/1362.88 c 1363s| 8200 | 7404 |833385 | 98.2 | 1893M | 47 |1400 | 115k| 110k|5322 | 1 |5409 |3621 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1365.06/1369.71 c 1370s| 8300 | 7498 |842483 | 98.1 | 1894M | 47 |1400 | 115k| 110k|5335 | 1 |5472 |3647 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1371.14/1375.87 c 1376s| 8400 | 7592 |852197 | 98.1 | 1898M | 47 |1400 | 115k| 110k|5358 | 1 |5523 |3652 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1391.27/1396.06 c 1396s| 8500 | 7688 |861009 | 98.0 | 1901M | 47 |1400 | 115k| 110k|5450 | 1 |5594 |3656 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1401.23/1406.02 c 1406s| 8600 | 7782 |872184 | 98.1 | 1906M | 47 |1400 | 115k| 110k|5482 | 2 |5700 |3660 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1415.58/1420.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1415.58/1420.43 c 1420s| 8700 | 7876 |883689 | 98.3 | 1909M | 47 |1400 | 115k| 110k|5511 | 1 |5781 |3661 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1426.15/1431.04 c 1431s| 8800 | 7968 |891886 | 98.1 | 1912M | 47 |1400 | 115k| 110k|5550 | 1 |5856 |3662 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1426.15/1431.09 o -49
1426.15/1431.09 c *1431s| 8802 | 7456 |891920 | 98.1 | LP | 47 |1400 | 115k| 110k|5550 | 1 |5856 |3662 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1430.92/1435.87 c 1436s| 8900 | 7536 |899424 | 97.9 | 1912M | 47 |1400 | 115k| 110k|5554 | 1 |5911 |3666 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1436.70/1441.60 c 1442s| 9000 | 7610 |908281 | 97.8 | 1913M | 47 |1400 | 115k| 110k|5556 | 1 |5992 |3669 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1449.75/1454.73 c 1455s| 9100 | 7702 |917067 | 97.7 | 1914M | 47 |1400 | 115k| 110k|5612 | 1 |6070 |3674 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1462.71/1467.70 c 1468s| 9200 | 7780 |926441 | 97.6 | 1917M | 47 |1400 | 115k| 110k|5665 | 1 |6143 |3674 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1471.28/1476.32 c 1476s| 9300 | 7858 |934337 | 97.4 | 1920M | 47 |1400 | 115k| 110k|5685 | 0 |6205 |3681 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1476.66/1481.71 c 1482s| 9400 | 7934 |942490 | 97.2 | 1922M | 47 |1400 | 115k| 110k|5697 | 1 |6264 |3687 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1482.83/1487.91 c 1488s| 9500 | 8030 |952778 | 97.3 | 1926M | 47 |1400 | 115k| 110k|5698 | 1 |6360 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1514.72/1519.91 c 1520s| 9600 | 8118 |963396 | 97.4 | 1930M | 47 |1400 | 115k| 110k|5800 | 2 |6423 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1532.66/1537.96 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1532.66/1537.96 c (run 1, node 9685) performing user restart
1532.66/1537.96 c
1532.66/1537.98 c (restart) converted 94 cuts from the global cut pool into linear constraints
1532.66/1537.98 c
1532.86/1538.16 c presolving:
1533.26/1538.58 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 94 upgd conss, 0 impls, 110132 clqs
1533.56/1538.82 c (round 2, exhaustive) 0 del vars, 213 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 37 chg coeffs, 94 upgd conss, 0 impls, 110132 clqs
1534.25/1539.50 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
1534.25/1539.50 c 0 deleted vars, 213 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 326 changed coefficients
1534.25/1539.50 c 0 implications, 110132 cliques
1534.25/1539.50 c presolved problem has 1400 variables (1400 bin, 0 int, 0 cont) and 115741 constraints
1534.25/1539.50 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1534.25/1539.50 c 1 constraints of type <knapsack>
1534.25/1539.50 c 110132 constraints of type <setppc>
1534.25/1539.50 c 5608 constraints of type <logicor>
1534.25/1539.50 c transformed objective value is always integral (scale: 1)
1534.25/1539.50 c Presolving Time: 3.44
1534.45/1539.79 c transformed 68/100 original solutions to the transformed problem space
1534.45/1539.79 c
1534.95/1540.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1534.95/1540.22 c 1540s| 1 | 0 |973358 | - | 1732M | 0 |1400 | 115k| 110k| 0 | 0 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1538.94/1544.24 c 1544s| 1 | 0 |973452 | - | 1732M | 0 |1400 | 115k| 110k| 11 | 1 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1542.23/1547.56 c 1548s| 1 | 0 |973520 | - | 1732M | 0 |1400 | 115k| 110k| 23 | 2 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1545.52/1550.81 c 1551s| 1 | 0 |973628 | - | 1732M | 0 |1400 | 115k| 110k| 36 | 3 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1552.80/1558.11 c 1558s| 1 | 0 |973708 | - | 1732M | 0 |1400 | 115k| 110k| 48 | 4 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1554.39/1559.70 c 1560s| 1 | 0 |973830 | - | 1732M | 0 |1400 | 115k| 110k| 58 | 5 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1556.28/1561.65 c 1562s| 1 | 0 |973923 | - | 1743M | 0 |1400 | 115k| 110k| 67 | 6 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1557.38/1562.75 c 1563s| 1 | 0 |974024 | - | 1744M | 0 |1400 | 115k| 110k| 76 | 7 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1558.38/1563.71 c 1564s| 1 | 0 |974101 | - | 1757M | 0 |1400 | 115k| 110k| 88 | 8 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1558.78/1564.14 c 1564s| 1 | 0 |974201 | - | 1769M | 0 |1400 | 115k| 110k| 100 | 9 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1561.07/1566.41 c 1566s| 1 | 0 |974267 | - | 1781M | 0 |1400 | 115k| 110k| 106 | 10 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1561.17/1566.57 c 1567s| 1 | 0 |974346 | - | 1793M | 0 |1400 | 115k| 110k| 117 | 11 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1561.37/1566.72 c 1567s| 1 | 0 |974413 | - | 1804M | 0 |1400 | 115k| 110k| 124 | 12 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1561.46/1566.89 c 1567s| 1 | 0 |974475 | - | 1816M | 0 |1400 | 115k| 110k| 133 | 13 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1561.67/1567.06 c 1567s| 1 | 0 |974534 | - | 1826M | 0 |1400 | 115k| 110k| 142 | 14 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1561.86/1567.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1561.86/1567.25 c 1567s| 1 | 0 |974614 | - | 1838M | 0 |1400 | 115k| 110k| 154 | 15 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1562.06/1567.45 c 1567s| 1 | 0 |974691 | - | 1849M | 0 |1400 | 115k| 110k| 164 | 16 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1562.26/1567.65 c 1568s| 1 | 0 |974781 | - | 1861M | 0 |1400 | 115k| 110k| 176 | 17 |6453 |3692 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1569.34/1574.74 c 1575s| 1 | 2 |975743 | - | 1862M | 0 |1400 | 115k| 110k| 176 | 17 |6469 |3716 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1621.05/1626.69 c 1627s| 100 | 101 |987564 | 97.7 | 1934M | 41 |1400 | 115k| 110k| 255 | 1 |6490 |4294 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1696.40/1702.23 c 1702s| 200 | 201 | 1000k| 98.0 | 2052M | 44 |1400 | 115k| 110k| 691 | 1 |6527 |4652 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1775.68/1781.72 c 1782s| 300 | 301 | 1015k| 98.6 | 2183M | 44 |1400 | 115k| 110k|1189 | 5 |6566 |4747 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1800.49/1806.69 c 1807s| 400 | 399 | 1027k| 98.8 | 2230M | 55 |1400 | 115k| 110k|1483 | 1 |6588 |4795 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1806.28/1812.46 c 1812s| 500 | 485 | 1035k| 98.6 | 2232M | 61 |1400 | 115k| 110k|1591 | 1 |6610 |4808 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1810.57/1816.76 c 1817s| 600 | 549 | 1041k| 98.2 | 2233M | 71 |1400 | 115k| 110k|1654 | 1 |6623 |4818 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1814.26/1820.43 c 1820s| 700 | 603 | 1046k| 97.8 | 2236M | 71 |1400 | 115k| 110k|1751 | 1 |6632 |4824 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1817.95/1824.11 c 1824s| 800 | 655 | 1051k| 97.3 | 2237M | 71 |1400 | 115k| 110k|1832 | 1 |6652 |4825 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1821.23/1827.40 c 1827s| 900 | 705 | 1055k| 96.8 | 2238M | 72 |1400 | 115k| 110k|1877 | 1 |6658 |4832 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1840.38/1846.67 c 1847s| 1000 | 777 | 1065k| 96.8 | 2240M | 72 |1400 | 115k| 110k|2001 | 1 |6671 |4848 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1853.85/1860.15 c 1860s| 1100 | 841 | 1072k| 96.6 | 2252M | 72 |1400 | 115k| 110k|2100 | 1 |6681 |4862 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1875.08/1881.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1875.08/1881.40 c 1881s| 1200 | 911 | 1080k| 96.4 | 2275M | 72 |1400 | 115k| 110k|2317 | 1 |6709 |4881 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1913.78/1920.28 c 1920s| 1300 | 983 | 1088k| 96.2 | 2313M | 72 |1400 | 115k| 110k|2485 | 1 |6716 |5149 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1933.82/1940.32 c 1940s| 1400 | 1041 | 1095k| 96.0 | 2315M | 72 |1400 | 115k| 110k|2518 | 1 |6782 |5228 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1970.52/1977.17 c 1977s| 1500 | 1089 | 1100k| 95.6 | 2327M | 72 |1400 | 115k| 110k|2641 | 1 |6799 |5267 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1990.26/1996.97 c 1997s| 1600 | 1143 | 1107k| 95.4 | 2351M | 72 |1400 | 116k| 110k|2826 | 1 |6817 |5289 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2033.84/2040.63 c 2041s| 1700 | 1203 | 1115k| 95.3 | 2363M | 72 |1400 | 116k| 110k|3012 | 3 |6842 |5300 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2054.58/2061.45 c 2061s| 1800 | 1265 | 1122k| 95.0 | 2366M | 72 |1400 | 116k| 110k|3136 | 2 |6864 |5375 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2086.98/2093.95 c 2094s| 1900 | 1359 | 1134k| 95.2 | 2426M | 72 |1400 | 116k| 110k|3232 | 1 |6896 |5656 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2093.95/2100.93 c 2101s| 2000 | 1457 | 1142k| 95.1 | 2429M | 72 |1400 | 116k| 110k|3238 | 1 |6941 |5698 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2099.44/2106.47 c 2106s| 2100 | 1541 | 1150k| 95.0 | 2432M | 72 |1400 | 116k| 110k|3241 | 1 |6974 |5730 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2106.12/2113.16 c 2113s| 2200 | 1623 | 1157k| 94.7 | 2434M | 72 |1400 | 116k| 110k|3250 | 1 |7002 |5789 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2157.07/2164.20 c 2164s| 2300 | 1683 | 1164k| 94.6 | 2435M | 72 |1400 | 116k| 110k|3476 | 1 |7007 |5796 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2170.22/2177.45 c 2177s| 2400 | 1767 | 1172k| 94.4 | 2441M | 72 |1400 | 116k| 110k|3575 | 1 |7017 |5842 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2223.08/2230.44 c 2230s| 2500 | 1857 | 1182k| 94.5 | 2486M | 72 |1400 | 116k| 110k|3793 | 1 |7049 |5848 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2270.76/2278.21 c 2278s| 2600 | 1933 | 1191k| 94.5 | 2521M | 72 |1400 | 116k| 110k|4130 | 1 |7061 |5871 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2276.94/2284.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2276.94/2284.48 c 2284s| 2700 | 2027 | 1201k| 94.5 | 2525M | 72 |1400 | 116k| 110k|4231 | 2 |7088 |5885 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2283.02/2290.54 c 2291s| 2800 | 2121 | 1211k| 94.6 | 2527M | 72 |1400 | 116k| 110k|4276 | 1 |7120 |5890 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2290.60/2298.12 c 2298s| 2900 | 2183 | 1218k| 94.4 | 2528M | 72 |1400 | 116k| 110k|4307 | 1 |7169 |5902 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2320.81/2328.46 c 2328s| 3000 | 2255 | 1226k| 94.3 | 2530M | 72 |1400 | 116k| 110k|4433 | 1 |7177 |5924 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2344.04/2351.70 c 2352s| 3100 | 2313 | 1235k| 94.2 | 2531M | 72 |1400 | 116k| 110k|4635 | 1 |7187 |5936 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2369.08/2376.84 c 2377s| 3200 | 2383 | 1242k| 94.0 | 2552M | 72 |1400 | 116k| 110k|4795 | 2 |7201 |5979 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2394.32/2402.17 c 2402s| 3300 | 2447 | 1251k| 94.0 | 2553M | 72 |1400 | 116k| 110k|4966 | 1 |7225 |5989 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2415.66/2423.54 c 2424s| 3400 | 2533 | 1261k| 94.0 | 2556M | 72 |1400 | 116k| 110k|5103 | 1 |7251 |6007 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2421.64/2429.57 c 2430s| 3500 | 2625 | 1271k| 94.1 | 2559M | 72 |1400 | 116k| 110k|5106 | 1 |7287 |6019 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2450.17/2458.19 c 2458s| 3600 | 2707 | 1284k| 94.3 | 2575M | 72 |1400 | 116k| 110k|5262 | 0 |7303 |6026 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2456.04/2464.02 c 2464s| 3700 | 2793 | 1293k| 94.3 | 2616M | 72 |1400 | 116k| 110k|5315 | 1 |7320 |6041 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2493.74/2501.81 c 2502s| 3800 | 2879 | 1304k| 94.4 | 2617M | 72 |1400 | 116k| 110k|5472 | 1 |7338 |6045 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2537.61/2545.81 c 2546s| 3900 | 2963 | 1314k| 94.5 | 2619M | 72 |1400 | 116k| 110k|5659 | 1 |7375 |6092 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2543.30/2551.54 c 2552s| 4000 | 3057 | 1322k| 94.3 | 2623M | 72 |1400 | 116k| 110k|5663 | 0 |7382 |6120 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2560.54/2568.82 c 2569s| 4100 | 3151 | 1329k| 94.2 | 2625M | 72 |1400 | 116k| 110k|5697 | 1 |7413 |6141 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2614.50/2622.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2614.50/2622.99 c 2623s| 4200 | 3237 | 1339k| 94.2 | 2650M | 72 |1400 | 116k| 110k|6117 | 2 |7434 |6147 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2645.62/2654.14 c 2654s| 4300 | 3323 | 1346k| 94.1 | 2655M | 72 |1400 | 116k| 110k|6403 | 1 |7456 |6147 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2675.24/2683.82 c 2684s| 4400 | 3407 | 1354k| 93.9 | 2660M | 72 |1400 | 116k| 110k|6703 | 1 |7487 |6147 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2689.21/2697.87 c 2698s| 4500 | 3483 | 1361k| 93.8 | 2683M | 72 |1400 | 116k| 110k|6897 | 1 |7509 |6152 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2694.59/2703.27 c 2703s| 4600 | 3569 | 1369k| 93.7 | 2685M | 72 |1400 | 116k| 110k|7027 | 1 |7541 |6167 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2707.86/2716.55 c 2717s| 4700 | 3653 | 1380k| 93.8 | 2687M | 72 |1400 | 116k| 110k|7153 | 1 |7554 |6167 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2753.94/2762.78 c 2763s| 4800 | 3735 | 1387k| 93.7 | 2712M | 72 |1400 | 116k| 110k|7336 | 1 |7595 |6167 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2771.30/2780.12 c 2780s| 4900 | 3803 | 1397k| 93.7 | 2715M | 72 |1400 | 116k| 110k|7471 | 1 |7598 |6181 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2809.79/2818.79 c 2819s| 5000 | 3865 | 1405k| 93.6 | 2717M | 72 |1400 | 116k| 110k|7722 | 1 |7609 |6212 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2825.16/2834.18 c 2834s| 5100 | 3947 | 1414k| 93.6 | 2765M | 72 |1400 | 116k| 110k|7812 | 0 |7613 |6255 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2836.62/2845.62 c 2846s| 5200 | 4033 | 1423k| 93.5 | 2767M | 72 |1400 | 116k| 110k|7890 | 1 |7635 |6285 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2867.15/2876.25 c 2876s| 5300 | 4113 | 1432k| 93.5 | 2769M | 72 |1400 | 116k| 110k|7955 | 1 |7640 |6319 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2903.05/2912.24 c 2912s| 5400 | 4193 | 1443k| 93.6 | 2771M | 72 |1400 | 116k| 110k|8121 | 2 |7673 |6364 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2926.19/2935.43 c 2935s| 5500 | 4273 | 1452k| 93.6 | 2778M | 72 |1400 | 116k| 110k|8214 | 1 |7693 |6413 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2932.68/2941.98 c 2942s| 5600 | 4359 | 1461k| 93.6 | 2780M | 72 |1400 | 116k| 110k|8220 | 2 |7713 |6441 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2939.26/2948.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2939.26/2948.50 c 2948s| 5700 | 4435 | 1470k| 93.6 | 2783M | 72 |1400 | 116k| 110k|8221 | 1 |7728 |6490 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2945.84/2955.15 c 2955s| 5800 | 4515 | 1478k| 93.5 | 2785M | 72 |1400 | 116k| 110k|8223 | 1 |7746 |6528 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2966.69/2976.07 c 2976s| 5900 | 4587 | 1489k| 93.6 | 2788M | 72 |1400 | 116k| 110k|8272 | 1 |7757 |6567 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2993.31/3002.77 c 3003s| 6000 | 4657 | 1497k| 93.5 | 2789M | 72 |1400 | 116k| 110k|8379 | 2 |7773 |6601 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3006.88/3016.35 c 3016s| 6100 | 4751 | 1507k| 93.5 | 2791M | 72 |1400 | 116k| 110k|8394 | 1 |7807 |6638 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3022.24/3031.71 c 3032s| 6200 | 4833 | 1515k| 93.4 | 2794M | 72 |1400 | 116k| 110k|8444 | 1 |7831 |6677 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3035.80/3045.39 c 3045s| 6300 | 4907 | 1522k| 93.3 | 2795M | 72 |1400 | 116k| 110k|8476 | 1 |7861 |6730 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3043.98/3053.52 c 3054s| 6400 | 4997 | 1533k| 93.4 | 2797M | 72 |1400 | 116k| 110k|8482 | 1 |7888 |6771 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3088.07/3097.75 c 3098s| 6500 | 5095 | 1547k| 93.7 | 2803M | 72 |1400 | 116k| 110k|8565 | 4 |7943 |6823 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3123.38/3133.12 c 3133s| 6600 | 5177 | 1558k| 93.8 | 2804M | 72 |1400 | 116k| 110k|8766 | 1 |7957 |6842 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3152.30/3162.11 c 3162s| 6700 | 5257 | 1568k| 93.8 | 2806M | 72 |1400 | 116k| 110k|8859 | 1 |7986 |6881 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3167.16/3177.03 c 3177s| 6800 | 5345 | 1579k| 93.9 | 2810M | 72 |1400 | 116k| 110k|9015 | 0 |8017 |6911 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3199.09/3209.08 c 3209s| 6900 | 5443 | 1593k| 94.2 | 2840M | 72 |1400 | 116k| 110k|9202 | 1 |8044 |6922 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3227.81/3237.81 c 3238s| 7000 | 5529 | 1606k| 94.4 | 2842M | 72 |1400 | 116k| 110k|9405 | 1 |8098 |6924 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3256.53/3266.64 c 3267s| 7100 | 5619 | 1617k| 94.5 | 2846M | 72 |1400 | 116k| 110k|9585 | 1 |8106 |6932 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3273.19/3283.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3273.19/3283.30 c 3283s| 7200 | 5685 | 1626k| 94.5 | 2850M | 72 |1400 | 116k| 110k|9734 | 0 |8112 |6943 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3299.72/3309.95 c 3310s| 7300 | 5769 | 1638k| 94.7 | 2852M | 72 |1400 | 116k| 110k|9954 | 1 |8128 |6950 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3315.38/3325.64 c 3326s| 7400 | 5851 | 1647k| 94.6 | 2857M | 72 |1400 | 116k| 110k| 10k| 1 |8158 |6958 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3347.68/3358.03 c 3358s| 7500 | 5933 | 1659k| 94.7 | 2861M | 72 |1400 | 116k| 110k| 10k| 2 |8176 |6969 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3366.02/3376.49 c 3376s| 7600 | 6011 | 1671k| 94.9 | 2930M | 72 |1400 | 116k| 110k| 10k| 3 |8189 |6971 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3389.05/3399.59 c 3400s| 7700 | 6079 | 1680k| 94.9 | 2932M | 72 |1400 | 116k| 110k| 10k| 1 |8189 |6971 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3413.88/3424.40 c 3424s| 7800 | 6165 | 1691k| 95.0 | 2934M | 72 |1400 | 116k| 110k| 10k| 1 |8206 |6975 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3450.99/3461.62 c 3462s| 7900 | 6249 | 1702k| 95.0 | 2937M | 72 |1400 | 116k| 110k| 10k| 1 |8221 |6978 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3469.45/3480.11 c 3480s| 8000 | 6333 | 1712k| 95.1 | 2939M | 72 |1400 | 116k| 110k| 11k| 0 |8247 |6978 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3521.81/3532.69 c 3533s| 8100 | 6425 | 1725k| 95.2 | 2954M | 72 |1400 | 116k| 110k| 11k| 1 |8272 |6981 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3569.69/3580.66 c 3581s| 8200 | 6497 | 1735k| 95.3 | 2977M | 72 |1400 | 116k| 110k| 11k| 1 |8293 |6982 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3585.95/3597.00 c
3585.95/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.95/3597.00 c Solving Time (sec) : 3597.00
3585.95/3597.00 c Solving Nodes : 8287 (total of 17972 nodes in 2 runs)
3585.95/3597.00 c Primal Bound : -4.90000000000000e+01 (881 solutions)
3585.95/3597.00 c Dual Bound : -5.60000000000000e+01
3585.95/3597.00 c Gap : 14.29 %
3586.05/3597.02 s SATISFIABLE
3586.05/3597.02 v -x1400 -x1399 -x1398 -x1397 -x1396 x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382
3586.05/3597.02 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363
3586.05/3597.02 v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344
3586.05/3597.02 v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325
3586.05/3597.02 v -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306
3586.05/3597.02 v x1305 -x1304 -x1303 -x1302 -x1301 -x1300 x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287
3586.05/3597.02 v -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268
3586.05/3597.02 v -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249
3586.05/3597.02 v -x1248 -x1247 x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230
3586.05/3597.02 v -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211
3586.05/3597.02 v -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192
3586.05/3597.02 v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173
3586.05/3597.02 v -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154
3586.05/3597.02 v -x1153 -x1152 x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135
3586.05/3597.02 v -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 x1119 -x1118 -x1117 -x1116
3586.05/3597.02 v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097
3586.05/3597.02 v -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078
3586.05/3597.02 v -x1077 -x1076 x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059
3586.05/3597.02 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040
3586.05/3597.02 v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021
3586.05/3597.02 v -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002
3586.05/3597.02 v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 x984 -x983 -x982 -x981 -x980
3586.05/3597.02 v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
3586.05/3597.02 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936
3586.05/3597.02 v -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914
3586.05/3597.02 v -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892
3586.05/3597.02 v -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870
3586.05/3597.02 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848
3586.05/3597.02 v -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826
3586.05/3597.02 v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804
3586.05/3597.02 v -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782
3586.05/3597.02 v -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760
3586.05/3597.02 v -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738
3586.05/3597.02 v -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716
3586.05/3597.02 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 x695 -x694
3586.05/3597.02 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672
3586.05/3597.02 v -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650
3586.05/3597.02 v -x649 -x648 -x647 -x646 x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628
3586.05/3597.02 v -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606
3586.05/3597.02 v -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584
3586.05/3597.02 v -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562
3586.05/3597.02 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
3586.05/3597.02 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518
3586.05/3597.02 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
3586.05/3597.02 v -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
3586.05/3597.02 v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452
3586.05/3597.02 v -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430
3586.05/3597.02 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408
3586.05/3597.02 v -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386
3586.05/3597.02 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364
3586.05/3597.02 v -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342
3586.05/3597.02 v x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
3586.05/3597.02 v -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298
3586.05/3597.02 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276
3586.05/3597.02 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254
3586.05/3597.02 v -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232
3586.05/3597.02 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
3586.05/3597.02 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188
3586.05/3597.02 v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166
3586.05/3597.02 v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144
3586.05/3597.02 v -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122
3586.05/3597.02 v -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100
3586.05/3597.02 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
3586.05/3597.02 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48
3586.05/3597.02 v -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22
3586.05/3597.02 v -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3586.05/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3586.05/3597.02 c Total Time : 3597.00
3586.05/3597.02 c solving : 3597.00
3586.05/3597.02 c presolving : 3.44 (included in solving)
3586.05/3597.02 c reading : 0.15 (included in solving)
3586.05/3597.02 c copying : 2.41 (22 #copies) (minimal 0.10, maximal 0.14, average 0.11)
3586.05/3597.02 c Original Problem :
3586.05/3597.02 c Problem name : HOME/instance-4484733-1751301697.opb
3586.05/3597.02 c Variables : 1400 (1400 binary, 0 integer, 0 continuous)
3586.05/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.05/3597.02 c Constraints : 110038 initial, 110038 maximal
3586.05/3597.02 c Objective : minimize, 1400 non-zeros (abs.min = 1, abs.max = 1)
3586.05/3597.02 c Presolved Problem :
3586.05/3597.02 c Problem name : t_HOME/instance-4484733-1751301697.opb
3586.05/3597.02 c Variables : 1400 (1400 binary, 0 integer, 0 continuous)
3586.05/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.05/3597.02 c Constraints : 115741 initial, 116773 maximal
3586.05/3597.02 c Objective : minimize, 1400 non-zeros (abs.min = 1, abs.max = 1)
3586.05/3597.02 c Nonzeros : 412097 constraint, 221771 clique table
3586.05/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.05/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c domcol : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c dualsparsify : 0.67 0.00 1 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c gateextraction : 0.14 0.00 3 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c milp : 0.26 0.00 1 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c sparsify : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c probing : 0.54 0.00 1 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c symmetry : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c knapsack : 0.01 0.00 9 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c setppc : 0.34 0.01 12 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c linear : 0.30 0.03 4 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c logicor : 0.84 0.06 8 0 0 0 0 0 213 0 0 326
3586.05/3597.02 c components : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c root node : - - - 0 - - 0 - - - - -
3586.05/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.05/3597.02 c integral : 0 0 0 0 16817 0 0 3704 0 2 287 0 0 455 33282
3586.05/3597.02 c knapsack : 1+ 5 0 9173 0 0 0 0 0 0 242 0 0 0 0
3586.05/3597.02 c setppc : 110132 110132 56 136261 2 0 0 3698 444688 0 485258 0 0 0 0
3586.05/3597.02 c logicor : 5608+ 6636 17 27491 0 0 0 0 46 236 46 0 0 0 0
3586.05/3597.02 c fixedvar : 0 0 0 0 2 0 0 1050 0 0 0 0 0 0 0
3586.05/3597.02 c countsols : 0 0 0 0 2 0 0 1050 0 0 0 0 0 0 0
3586.05/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.05/3597.02 c integral : 410.51 0.00 0.00 0.00 410.49 0.00 0.00 0.03 0.00 0.00
3586.05/3597.02 c knapsack : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.01
3586.05/3597.02 c setppc : 20.71 0.01 0.25 12.60 0.00 0.00 0.00 3.48 0.09 4.28
3586.05/3597.02 c logicor : 1.03 0.06 0.04 0.78 0.00 0.00 0.00 0.00 0.00 0.16
3586.05/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.05/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.05/3597.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.05/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.05/3597.02 c dualfix : 3 0 0 0
3586.05/3597.02 c genvbounds : 0 0 0 0
3586.05/3597.02 c nlobbt : 0 0 0 0
3586.05/3597.02 c obbt : 0 0 0 0
3586.05/3597.02 c probing : 0 0 0 0
3586.05/3597.02 c pseudoobj : 50911 0 0 0
3586.05/3597.02 c redcost : 11048 0 0 24
3586.05/3597.02 c rootredcost : 8 0 0 0
3586.05/3597.02 c symmetry : 0 0 0 0
3586.05/3597.02 c vbounds : 42319 0 0 0
3586.05/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.05/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.05/3597.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.05/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.05/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.05/3597.02 c probing : 0.54 0.00 0.54 0.00 0.00 0.00
3586.05/3597.02 c pseudoobj : 3.02 0.00 0.00 3.01 0.00 0.00
3586.05/3597.02 c redcost : 0.26 0.00 0.00 0.26 0.00 0.00
3586.05/3597.02 c rootredcost : 0.04 0.00 0.00 0.03 0.00 0.01
3586.05/3597.02 c symmetry : 0.08 0.00 0.05 0.03 0.00 0.01
3586.05/3597.02 c vbounds : 0.08 0.00 0.01 0.05 0.00 0.02
3586.05/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.05/3597.02 c propagation : 0.00 236 145 - 160 32.5 0 0.0 - - -
3586.05/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.05/3597.02 c bound exceed. LP : 8.26 2610 1423 - 25600 237.7 0 0.0 37 197.9 4661
3586.05/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.05/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.05/3597.02 c applied globally : 2.58 - - 0 8265 33.8 - - 37 - -
3586.05/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.05/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.05/3597.02 c cut pool : 2.43 - 5196 110 - - 75740 126563 - - - - - (maximal pool size: 5027)
3586.05/3597.02 c aggregation : 9.12 0.00 1535 56 0 0 9 16 0 1 1 0 0
3586.05/3597.02 c > cmir : - - - - - - - 9 0 1 1 0 -
3586.05/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.05/3597.02 c > knapsackcover : - - - - - - - 7 0 0 0 0 -
3586.05/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c clique : 0.96 0.00 56 56 0 0 509 1242 0 546 546 0 0
3586.05/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c gomory : 2180.36 0.00 1452 20 0 0 69759 99778 664 5408 5402 6 0
3586.05/3597.02 c > gomorymi : - - - - - - - 33229 332 411 407 4 -
3586.05/3597.02 c > strongcg : - - - - - - - 66549 332 4997 4995 2 -
3586.05/3597.02 c impliedbounds : 2.87 0.00 1536 56 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c mcf : 0.09 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c multilinear : 0.00 0.00 393 56 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.05/3597.02 c zerohalf : 12.03 0.00 1468 37 0 0 6329 25527 202 11607 11504 103 0
3586.05/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.05/3597.02 c hybrid : 0.08 0.00 2800 56 17562 0 109867 789 0 3760
3586.05/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3586.05/3597.02 c problem variables: 0.00 - 0 0
3586.05/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.05/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c relpscost : 410.46 0.00 16815 0 0 2 287 0 457 33282
3586.05/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.05/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.05/3597.02 c LP solutions : 0.01 - - 2 2
3586.05/3597.02 c relax solutions : 0.00 - - 0 0
3586.05/3597.02 c pseudo solutions : 0.00 - - 0 0
3586.05/3597.02 c strong branching : 1.97 - - 394 2
3586.05/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3586.05/3597.02 c adaptivediving : 3.25 0.00 65 0 0
3586.05/3597.02 c alns : 1.66 0.00 5 0 0
3586.05/3597.02 c bound : 0.00 0.00 0 0 0
3586.05/3597.02 c clique : 0.24 0.00 1 1 1
3586.05/3597.02 c coefdiving : 0.00 0.00 0 0 0
3586.05/3597.02 c completesol : 0.00 0.00 0 0 0
3586.05/3597.02 c conflictdiving : 13.02 0.00 231 0 0
3586.05/3597.02 c crossover : 2.84 0.00 8 4 0
3586.05/3597.02 c dins : 0.00 0.00 0 0 0
3586.05/3597.02 c distributiondivin: 30.45 0.00 230 0 0
3586.05/3597.02 c dks : 0.00 0.00 0 0 0
3586.05/3597.02 c dps : 0.00 0.00 0 0 0
3586.05/3597.02 c dualval : 0.00 0.00 0 0 0
3586.05/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3586.05/3597.02 c feaspump : 0.00 0.00 0 0 0
3586.05/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3586.05/3597.02 c fracdiving : 13.51 0.00 230 0 0
3586.05/3597.02 c gins : 0.14 0.00 0 0 0
3586.05/3597.02 c guideddiving : 11.05 0.00 230 0 0
3586.05/3597.02 c indicator : 0.00 0.00 0 0 0
3586.05/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3586.05/3597.02 c intdiving : 0.00 0.00 0 0 0
3586.05/3597.02 c intshifting : 0.00 0.00 0 0 0
3586.05/3597.02 c linesearchdiving : 13.57 0.00 230 0 0
3586.05/3597.02 c localbranching : 0.00 0.00 0 0 0
3586.05/3597.02 c locks : 0.12 0.00 1 0 0
3586.05/3597.02 c lpface : 0.03 0.00 0 0 0
3586.05/3597.02 c mpec : 0.00 0.00 0 0 0
3586.05/3597.02 c multistart : 0.00 0.00 0 0 0
3586.05/3597.02 c mutation : 0.00 0.00 0 0 0
3586.05/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3586.05/3597.02 c objpscostdiving : 39.03 0.00 116 170 2
3586.05/3597.02 c octane : 0.00 0.00 0 0 0
3586.05/3597.02 c ofins : 0.00 0.00 0 0 0
3586.05/3597.02 c oneopt : 0.06 0.00 7 1 1
3586.05/3597.02 c padm : 0.00 0.00 0 0 0
3586.05/3597.02 c proximity : 0.00 0.00 0 0 0
3586.05/3597.02 c pscostdiving : 24.67 0.00 231 7 1
3586.05/3597.02 c randrounding : 4.66 0.00 2744 40 0
3586.05/3597.02 c rens : 3.39 0.00 2 1 0
3586.05/3597.02 c reoptsols : 0.00 0.00 0 0 0
3586.05/3597.02 c repair : 0.00 0.00 0 0 0
3586.05/3597.02 c rins : 2.45 0.00 7 5 0
3586.05/3597.02 c rootsoldiving : 39.56 0.00 116 99 0
3586.05/3597.02 c rounding : 8.38 0.00 1979 0 0
3586.05/3597.02 c scheduler : 0.00 0.00 0 0 0
3586.05/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3586.05/3597.02 c shifting : 4.67 0.00 868 0 0
3586.05/3597.02 c simplerounding : 0.34 0.00 19617 33 0
3586.05/3597.02 c subnlp : 0.00 0.00 0 0 0
3586.05/3597.02 c trivial : 0.01 0.00 4 1 1
3586.05/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3586.05/3597.02 c trustregion : 0.00 0.00 0 0 0
3586.05/3597.02 c trysol : 0.01 0.00 0 0 0
3586.05/3597.02 c twoopt : 0.00 0.00 0 0 0
3586.05/3597.02 c undercover : 0.00 0.00 0 0 0
3586.05/3597.02 c vbounds : 0.47 0.00 2 1 0
3586.05/3597.02 c veclendiving : 12.14 0.00 230 0 0
3586.05/3597.02 c zeroobj : 0.00 0.00 0 0 0
3586.05/3597.02 c zirounding : 26.05 0.00 6101 122 0
3586.05/3597.02 c other solutions : - - - 0 -
3586.05/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.05/3597.02 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.05/3597.02 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.05/3597.02 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.05/3597.02 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.05/3597.02 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.05/3597.02 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.05/3597.02 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.05/3597.02 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.05/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.05/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.05/3597.02 c primal LP : 10.19 1356 0 0.00 0.00 10.19 1356
3586.05/3597.02 c dual LP : 475.34 20974 1352842 64.71 2846.05 0.63 69
3586.05/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3586.05/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.05/3597.02 c resolve instable : 0.00 0 0 0.00 -
3586.05/3597.02 c diving/probing LP: 158.59 9503 391546 41.20 2468.96
3586.05/3597.02 c strong branching : 232.59 6982 571505 81.85 2457.13 - - 2176
3586.05/3597.02 c (at root node) : - 44 7668 174.27 -
3586.05/3597.02 c conflict analysis: 2.56 471 4661 9.90 1822.03
3586.05/3597.02 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.05/3597.02 c benders : 0.00 0 0 0 0.00 0 0 0
3586.05/3597.02 c B&B Tree :
3586.05/3597.02 c number of runs : 2
3586.05/3597.02 c nodes : 8287 (7421 internal, 866 leaves)
3586.05/3597.02 c feasible leaves : 0
3586.05/3597.02 c infeas. leaves : 1
3586.05/3597.02 c objective leaves : 864
3586.05/3597.02 c nodes (total) : 17972 (16641 internal, 1331 leaves)
3586.05/3597.02 c nodes left : 6557
3586.05/3597.02 c max depth : 72
3586.05/3597.02 c max depth (total): 72
3586.05/3597.02 c backtracks : 1007 (12.2%)
3586.05/3597.02 c early backtracks : 0 (0.0%)
3586.05/3597.02 c nodes exc. ref. : 0 (0.0%)
3586.05/3597.02 c delayed cutoffs : 0
3586.05/3597.02 c repropagations : 32 (42 domain reductions, 0 cutoffs)
3586.05/3597.02 c avg switch length: 3.27
3586.05/3597.02 c switching time : 56.02
3586.05/3597.02 c Root Node :
3586.05/3597.02 c First LP value : -7.00000000000000e+02
3586.05/3597.02 c First LP Iters : 1400 (1793.19 Iter/sec)
3586.05/3597.02 c First LP Time : 0.78
3586.05/3597.02 c Final Dual Bound : -5.60000000000000e+01
3586.05/3597.02 c Final Root Iters : 31324
3586.05/3597.02 c Root LP Estimate : -4.88390362972285e+01
3586.05/3597.02 c Solution :
3586.05/3597.02 c Solutions found : 881 (10 improvements)
3586.05/3597.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.28 seconds, depth 0, found by <trivial>)
3586.05/3597.02 c Gap First Sol. : infinite
3586.05/3597.02 c Gap Last Sol. : 14.29 %
3586.05/3597.02 c Primal Bound : -4.90000000000000e+01 (in run 1, after 8802 nodes, 1431.09 seconds, depth 24, found by <relaxation>)
3586.05/3597.02 c Dual Bound : -5.60000000000000e+01
3586.05/3597.02 c Gap : 14.29 %
3586.05/3597.02 c Integrals : Total Avg%
3586.05/3597.02 c primal-dual : 51738.46 14.38
3586.05/3597.02 c primal-ref : - - (not evaluated)
3586.05/3597.02 c dual-ref : - - (not evaluated)
3586.35/3597.31 c Time complete (sec): 3586.368
OK -49
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (61269 MiB free)
memory of node 1: 64507 MiB (62103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484733-1751301697/watcher-4484733-1751301697 -o /tmp/evaluation-result-4484733-1751301697/solver-4484733-1751301697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751301413-37234 --watchdog 3760 pbsolver -f HOME/instance-4484733-1751301697.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=37926, runsolver pid=37923
[startup+0.100066 s]*
/proc/loadavg: 4.12 3.22 3.31 5/264 37927
/proc/meminfo: memFree=126294068/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=58864 memory=48000 CPUtime=0.1 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 10042 0 0 0 9 1 0 0 20 0 1 0 45849296 60276736 12000 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 14716 12000 2176 2575 0 11623 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58864 KiB
Current children cumulated memory: 48000 KiB
[startup+0.20547 s]*
/proc/loadavg: 4.12 3.22 3.31 5/264 37927
/proc/meminfo: memFree=126294068/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=110884 memory=101336 CPUtime=0.2 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 23571 0 0 0 17 3 0 0 20 0 1 0 45849296 113545216 25334 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 27721 25334 2368 2575 0 24628 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 110884 KiB
Current children cumulated memory: 101336 KiB
[startup+0.305481 s]*
/proc/loadavg: 4.12 3.22 3.31 5/264 37927
/proc/meminfo: memFree=126254000/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=154368 memory=143832 CPUtime=0.3 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 34170 0 0 0 25 5 0 0 20 0 1 0 45849296 158072832 35958 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 38592 35958 2400 2575 0 35499 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 154368 KiB
Current children cumulated memory: 143832 KiB
[startup+0.700182 s]
/proc/loadavg: 4.12 3.22 3.31 5/264 37927
/proc/meminfo: memFree=126221744/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=184436 memory=173376 CPUtime=0.68 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 50574 0 0 0 60 8 0 0 20 0 1 0 45849296 188862464 43344 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 46109 43344 2496 2575 0 43016 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 184436 KiB
Current children cumulated memory: 173376 KiB
[startup+1.5002 s]
/proc/loadavg: 4.12 3.22 3.31 5/264 37927
/proc/meminfo: memFree=126177768/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=194248 memory=182304 CPUtime=1.48 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 61164 0 0 0 138 10 0 0 20 0 1 0 45849296 198909952 45576 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 48562 45576 2528 2575 0 45469 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 194248 KiB
Current children cumulated memory: 182304 KiB
[startup+3.10533 s]
/proc/loadavg: 4.12 3.22 3.31 5/264 37927
/proc/meminfo: memFree=125889540/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=553812 memory=509472 CPUtime=3.08 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 101404 0 0 0 287 21 0 0 20 0 1 0 45849296 567103488 127368 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 138453 127368 2688 2575 0 135360 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 553812 KiB
Current children cumulated memory: 509472 KiB
[startup+6.30012 s]
/proc/loadavg: 4.11 3.23 3.31 5/264 37927
/proc/meminfo: memFree=125837200/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=607744 memory=547916 CPUtime=6.27 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 108994 0 0 0 604 23 0 0 20 0 1 0 45849296 622329856 136979 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 151936 136979 2688 2575 0 148843 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 607744 KiB
Current children cumulated memory: 547916 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 3.25 3.32 5/264 37927
/proc/meminfo: memFree=125828992/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=621072 memory=552724 CPUtime=12.65 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 109677 0 0 0 1242 23 0 0 20 0 1 0 45849296 635977728 138181 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 155268 138181 2688 2575 0 152175 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 621072 KiB
Current children cumulated memory: 552724 KiB
[startup+25.5001 s]
/proc/loadavg: 4.08 3.28 3.33 5/264 37928
/proc/meminfo: memFree=125817720/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=680376 memory=558812 CPUtime=25.41 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 110192 0 0 0 2518 23 0 0 20 0 1 0 45849296 696705024 139703 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 170094 139703 2688 2575 0 167001 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 680376 KiB
Current children cumulated memory: 558812 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 3.36 3.35 5/263 37928
/proc/meminfo: memFree=125657256/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=941736 memory=693260 CPUtime=50.95 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 142788 0 0 0 5066 29 0 0 20 0 1 0 45849296 964337664 173315 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 235434 173315 2688 2575 0 232341 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 941736 KiB
Current children cumulated memory: 693260 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 3.47 3.39 5/263 37930
/proc/meminfo: memFree=125590536/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=979828 memory=731020 CPUtime=101.98 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 152665 0 0 0 10167 31 0 0 20 0 1 0 45849296 1003343872 182755 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 244957 182755 2688 2575 0 241864 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 979828 KiB
Current children cumulated memory: 731020 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 3.59 3.44 5/263 37932
/proc/meminfo: memFree=125593868/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=1010700 memory=731020 CPUtime=161.8 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 152685 0 0 0 16149 31 0 0 20 0 1 0 45849296 1034956800 182755 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 252675 182755 2688 2575 0 249582 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1010700 KiB
Current children cumulated memory: 731020 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 3.70 3.49 5/263 37934
/proc/meminfo: memFree=125292972/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=1096748 memory=805396 CPUtime=221.61 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 170955 0 0 0 22128 33 0 0 20 0 1 0 45849296 1123069952 201349 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 274187 201349 2688 2575 0 271094 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 1096748 KiB
Current children cumulated memory: 805396 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.77 3.53 5/263 37936
/proc/meminfo: memFree=125234672/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=1147444 memory=857800 CPUtime=281.39 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 195219 0 0 0 28103 36 0 0 20 0 1 0 45849296 1174982656 214450 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 286861 214450 2944 2575 0 283768 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 1147444 KiB
Current children cumulated memory: 857800 KiB
[startup+342.3 s]
/proc/loadavg: 4.28 3.88 3.58 5/264 37987
/proc/meminfo: memFree=124838308/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=1224904 memory=864628 CPUtime=341.2 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 196503 0 0 0 34084 36 0 0 20 0 1 0 45849296 1254301696 216157 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 306226 216157 2944 2575 0 303133 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 1224904 KiB
Current children cumulated memory: 864628 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.92 3.62 5/264 37993
/proc/meminfo: memFree=124700608/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=1280044 memory=866932 CPUtime=401 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 197074 0 0 0 40063 37 0 0 20 0 1 0 45849296 1310765056 216733 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 320011 216733 2944 2575 0 316918 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 1280044 KiB
Current children cumulated memory: 866932 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.95 3.65 5/265 37996
/proc/meminfo: memFree=124682692/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=1329276 memory=885576 CPUtime=460.78 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 199701 0 0 0 46040 38 0 0 20 0 1 0 45849296 1361178624 221394 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 332319 221394 2944 2575 0 329226 0
Current children cumulated CPU time: 460.78 s
################
# More data... #
################
/proc/loadavg: 4.08 4.09 4.04 5/264 38139
/proc/meminfo: memFree=121022756/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=2899944 memory=1982932 CPUtime=3212.35 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 345572 0 0 0 321167 68 0 0 20 0 1 0 45849296 2969542656 495733 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 724986 495733 2944 2575 0 721893 0
Current children cumulated CPU time: 3212.35 s
Current children cumulated vsize: 2899944 KiB
Current children cumulated memory: 1982932 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/264 38141
/proc/meminfo: memFree=120997736/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=2899944 memory=1992376 CPUtime=3272.19 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 345878 0 0 0 327151 68 0 0 20 0 1 0 45849296 2969542656 498094 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 724986 498094 2944 2575 0 721893 0
Current children cumulated CPU time: 3272.19 s
Current children cumulated vsize: 2899944 KiB
Current children cumulated memory: 1992376 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/264 38232
/proc/meminfo: memFree=123639908/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=2906776 memory=1995064 CPUtime=3332.02 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 346562 0 0 0 333134 68 0 0 20 0 1 0 45849296 2976538624 498766 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 726694 498766 2944 2575 0 723601 0
Current children cumulated CPU time: 3332.02 s
Current children cumulated vsize: 2906776 KiB
Current children cumulated memory: 1995064 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.06 5/265 38237
/proc/meminfo: memFree=123341184/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=2976000 memory=2018948 CPUtime=3391.84 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 347935 0 0 0 339115 69 0 0 20 0 1 0 45849296 3047424000 504737 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 744000 504737 2944 2575 0 740907 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 2976000 KiB
Current children cumulated memory: 2018948 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/265 38243
/proc/meminfo: memFree=123308400/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=2981128 memory=2023428 CPUtime=3451.68 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 348995 0 0 0 345099 69 0 0 20 0 1 0 45849296 3052675072 505857 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 745282 505857 2944 2575 0 742189 0
Current children cumulated CPU time: 3451.68 s
Current children cumulated vsize: 2981128 KiB
Current children cumulated memory: 2023428 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/264 38245
/proc/meminfo: memFree=123119208/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=2986184 memory=2046900 CPUtime=3511.53 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 350607 0 0 0 351083 70 0 0 20 0 1 0 45849296 3057852416 511725 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 746546 511725 2944 2575 0 743453 0
Current children cumulated CPU time: 3511.53 s
Current children cumulated vsize: 2986184 KiB
Current children cumulated memory: 2046900 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.06 5/263 38247
/proc/meminfo: memFree=123060688/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=3020280 memory=2049972 CPUtime=3571.39 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 351422 0 0 0 357068 71 0 0 20 0 1 0 45849296 3092766720 512493 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 755070 512493 2944 2575 0 751977 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 3020280 KiB
Current children cumulated memory: 2049972 KiB
[startup+3597.32 s]
# the end of solver process 37926 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.65 s, system=0.726709 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.10 4.06 5/263 38247
/proc/meminfo: memFree=123052892/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=3020280 memory=2050100 CPUtime=3573.09 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 351462 0 0 0 357238 71 0 0 20 0 1 0 45849296 3092766720 512525 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 755070 512525 2944 2575 0 751977 0
Current children cumulated CPU time: 3573.09 s
Current children cumulated vsize: 3020280 KiB
Current children cumulated memory: 2050100 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.10 4.06 5/263 38247
/proc/meminfo: memFree=123040028/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=3022344 memory=2051636 CPUtime=3579.47 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 351839 0 0 0 357876 71 0 0 20 0 1 0 45849296 3094880256 512909 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 755586 512909 2944 2575 0 752493 0
Current children cumulated CPU time: 3579.47 s
Current children cumulated vsize: 3022344 KiB
Current children cumulated memory: 2051636 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.10 4.06 5/263 38247
/proc/meminfo: memFree=123040280/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=3022344 memory=2051636 CPUtime=3582.66 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 351868 0 0 0 358195 71 0 0 20 0 1 0 45849296 3094880256 512909 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 755586 512909 2944 2575 0 752493 0
Current children cumulated CPU time: 3582.66 s
Current children cumulated vsize: 3022344 KiB
Current children cumulated memory: 2051636 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.10 4.06 5/263 38247
/proc/meminfo: memFree=123038516/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=3022344 memory=2051636 CPUtime=3584.25 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 351868 0 0 0 358354 71 0 0 20 0 1 0 45849296 3094880256 512909 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 755586 512909 2944 2575 0 752493 0
Current children cumulated CPU time: 3584.25 s
Current children cumulated vsize: 3022344 KiB
Current children cumulated memory: 2051636 KiB
[startup+3596 s]*
/proc/loadavg: 4.08 4.10 4.06 5/263 38247
/proc/meminfo: memFree=123034672/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=3022344 memory=2051636 CPUtime=3585.06 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 351872 0 0 0 358435 71 0 0 20 0 1 0 45849296 3094880256 512909 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 755586 512909 2944 2575 0 752493 0
Current children cumulated CPU time: 3585.06 s
Current children cumulated vsize: 3022344 KiB
Current children cumulated memory: 2051636 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.10 4.06 5/263 38247
/proc/meminfo: memFree=123034672/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=3022344 memory=2051636 CPUtime=3585.85 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 351872 0 0 0 358514 71 0 0 20 0 1 0 45849296 3094880256 512909 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 755586 512909 2944 2575 0 752493 0
Current children cumulated CPU time: 3585.85 s
Current children cumulated vsize: 3022344 KiB
Current children cumulated memory: 2051636 KiB
[startup+3597.2 s]
/proc/loadavg: 4.08 4.10 4.06 5/263 38247
/proc/meminfo: memFree=123034672/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=3022344 memory=2052532 CPUtime=3586.25 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 352102 0 0 0 358554 71 0 0 20 0 1 0 45849296 3094880256 513133 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 755586 513133 2944 2575 0 752493 0
Current children cumulated CPU time: 3586.25 s
Current children cumulated vsize: 3022344 KiB
Current children cumulated memory: 2052532 KiB
[startup+3597.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/263 38247
/proc/meminfo: memFree=123034672/131249996 swapFree=33010416/33010684
[pid=37926] ppid=37923 vsize=2973376 memory=2003816 CPUtime=3586.35 cores=5,7
/proc/37926/stat : 37926 (pbsolver) R 37923 37926 37216 0 -1 4194304 352107 0 0 0 358564 71 0 0 20 0 1 0 45849296 3044737024 500954 18446744073709551615 4198400 14743177 140730000910896 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 51486720 140730000914826 140730000914922 140730000914922 140730000920524 0
/proc/37926/statm: 743344 500954 2944 2575 0 740251 0
Current children cumulated CPU time: 3586.35 s
Current children cumulated vsize: 2973376 KiB
Current children cumulated memory: 2003816 KiB
Child status: 0
Real time (s): 3597.32
CPU time (s): 3586.37
CPU user time (s): 3585.65
CPU system time (s): 0.726709
CPU usage (%): 99.6959
Max. virtual memory (cumulated for all children) (KiB): 3022344
Max. memory (cumulated for all children) (KiB): 2052532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.65
system time used= 0.726709
maximum resident set size= 2052532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352197
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= 85
involuntary context switches= 2152
# summary of solver processes directly reported to runsolver:
# pid: 37926
# total CPU time (s): 3586.37
# total CPU user time (s): 3585.65
# total CPU system time (s): 0.726709
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85953 second user time and 14.9108 second system time
The end
Begin job on nodeC030 at 2025-06-30 18:41:37 IDJOB=4484733 IDBENCH=146666 IDSOLVER=3366 FILE ID=nodeC030/4484733-1751301697 RUNJOBID= nodeC030-1751301413-37234 SLURM_JOB_ID= 9594278 Free space on /tmp= 432984 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484733-1751301697/watcher-4484733-1751301697 -o /tmp/evaluation-result-4484733-1751301697/solver-4484733-1751301697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751301413-37234 --watchdog 3760 pbsolver -f HOME/instance-4484733-1751301697.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 71e47456366b2ddac308424c74922847 RANDOM SEED=700532522 nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.321 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.322 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.319 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3608.419 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.196 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.004 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.570 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 126334580 kB MemAvailable: 127778072 kB Buffers: 2564 kB Cached: 2238240 kB SwapCached: 16 kB Active: 2258380 kB Inactive: 1937900 kB Active(anon): 1968864 kB Inactive(anon): 4660 kB Active(file): 289516 kB Inactive(file): 1933240 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 17564 kB Writeback: 0 kB AnonPages: 1958600 kB Mapped: 135564 kB Shmem: 18048 kB KReclaimable: 119552 kB Slab: 205904 kB SReclaimable: 119552 kB SUnreclaim: 86352 kB KernelStack: 4288 kB PageTables: 7052 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 2577572 kB VmallocTotal: 34359738367 kB VmallocUsed: 150584 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 540672 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 189140 kB DirectMap2M: 9019392 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432968 MiB End job on nodeC030 at 2025-06-30 19:41:35