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 | -23 | 3587.66 | 3597.04 |
| Name | PB24/normalized-PB11/OPT-LIN/ heinz/normalized-protfold.opb |
| MD5SUM | 7d697abe2607c9e2486f4e4c4676f6ab |
| 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 | -31 |
| Best CPU time to get the best result obtained on this benchmark | 72000.6 |
| 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 | 1835 |
| Total number of constraints | 2112 |
| Number of constraints which are clauses | 1906 |
| Number of constraints which are cardinality constraints (but not clauses) | 86 |
| Number of constraints which are nor clauses,nor cardinality constraints | 120 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 882 |
| Number of terms in the objective function | 120 |
| 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 | 120 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 18 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 900 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4502427-1751414303.opb>
0.00/0.01 c original problem has 1835 variables (1835 bin, 0 int, 0 cont) and 2112 constraints
0.00/0.01 c problem read in 0.008 seconds
0.00/0.01 c presolving:
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver found nothing
0.00/0.04 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2110 upgd conss, 0 impls, 84 clqs
0.00/0.09 c (0.1s) sparsify finished: 1715/23491 (7.3%) nonzeros canceled - in total 1715 canceled nonzeros, 1715 changed coefficients, 0 added nonzeros
0.00/0.09 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1715 chg coeffs, 2110 upgd conss, 0 impls, 84 clqs
0.00/0.09 c (round 3, fast) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1715 chg coeffs, 2110 upgd conss, 0 impls, 84 clqs
0.09/0.11 c (0.1s) probing: 51/1835 (2.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.12 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.13 c (0.1s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.60) (symcode time: 0.01)
0.09/0.14 c dynamic symmetry handling statistics:
0.09/0.14 c orbitopal reduction: no components
0.09/0.14 c orbital reduction: 1 components of sizes 2
0.09/0.14 c lexicographic reduction: 2 permutations with support sizes 1584, 1584
0.09/0.14 c handled 1 out of 1 symmetry components
0.09/0.14 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
0.09/0.14 c 0 deleted vars, 2 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1715 changed coefficients
0.09/0.14 c 0 implications, 84 cliques
0.09/0.14 c presolved problem has 1835 variables (1835 bin, 0 int, 0 cont) and 2110 constraints
0.09/0.14 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.09/0.14 c 120 constraints of type <knapsack>
0.09/0.14 c 84 constraints of type <setppc>
0.09/0.14 c 1906 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.13
0.09/0.14 c
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c
0.09/0.14 c # SCIP version 10.0.0
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.14 c limits/time = 3596.999004
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.14 c limits/memory = 27900
0.09/0.14 c
0.09/0.14 c # belongs reading time to solving time?
0.09/0.14 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c timing/reading = TRUE
0.09/0.14 c
0.09/0.14 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.09/0.14 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.09/0.14 c reading/opbreader/maxintsize = 47
0.09/0.14 c
0.09/0.14 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.09/0.14 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.09/0.14 c propagating/genvbounds/timingmask = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c
0.09/0.16 o -15
0.09/0.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.16 c p 0.2s| 1 | 0 | 0 | - | vbounds| 0 |1835 |2146 |2110 | 0 | 0 | 36 | 0 |-1.200000e+02 |-1.500000e+01 | 700.00%| unknown
1.38/1.43 c 1.4s| 1 | 0 | 10133 | - | 45M | 0 |1835 |2181 |2110 | 0 | 0 | 78 | 0 |-4.195745e+01 |-1.500000e+01 | 179.72%| unknown
2.18/2.26 o -18
2.18/2.26 c * 2.3s| 1 | 0 | 10133 | - | LP | 0 |1835 |2183 |2110 | 0 | 0 | 80 | 0 |-4.195745e+01 |-1.800000e+01 | 133.10%| unknown
2.68/2.77 c 2.8s| 1 | 0 | 13066 | - | 49M | 0 |1835 |2383 |2115 | 5 | 1 | 80 | 0 |-4.131915e+01 |-1.800000e+01 | 129.55%| unknown
3.47/3.59 c 3.6s| 1 | 0 | 17075 | - | 51M | 0 |1835 |2386 |2118 | 8 | 2 | 83 | 0 |-4.113205e+01 |-1.800000e+01 | 128.51%| unknown
5.97/6.04 c 6.0s| 1 | 0 | 29311 | - | 52M | 0 |1835 |2387 |2121 | 11 | 3 | 84 | 0 |-4.074917e+01 |-1.800000e+01 | 126.38%| unknown
8.07/8.16 c 8.2s| 1 | 0 | 40113 | - | 58M | 0 |1835 |2389 |2123 | 13 | 4 | 86 | 0 |-4.041093e+01 |-1.800000e+01 | 124.51%| unknown
9.26/9.39 c 9.4s| 1 | 0 | 46160 | - | 64M | 0 |1835 |2390 |2128 | 18 | 5 | 87 | 0 |-4.041093e+01 |-1.800000e+01 | 124.51%| unknown
11.86/12.00 c 12.0s| 1 | 0 | 58242 | - | 66M | 0 |1835 |2391 |2132 | 22 | 6 | 88 | 0 |-4.004641e+01 |-1.800000e+01 | 122.48%| unknown
12.36/12.49 c 12.5s| 1 | 0 | 59645 | - | 67M | 0 |1835 |2390 |2135 | 25 | 7 | 90 | 0 |-4.004180e+01 |-1.800000e+01 | 122.45%| unknown
13.55/13.63 c 13.6s| 1 | 0 | 65109 | - | 73M | 0 |1835 |2389 |2140 | 30 | 8 | 91 | 0 |-4.001254e+01 |-1.800000e+01 | 122.29%| unknown
14.06/14.15 c 14.2s| 1 | 0 | 66877 | - | 75M | 0 |1835 |2391 |2145 | 35 | 9 | 93 | 0 |-4.001084e+01 |-1.800000e+01 | 122.28%| unknown
14.85/14.91 c 14.9s| 1 | 0 | 69958 | - | 78M | 0 |1835 |2391 |2147 | 37 | 10 | 96 | 0 |-4.001084e+01 |-1.800000e+01 | 122.28%| unknown
17.74/17.85 c 17.9s| 1 | 0 | 83438 | - | 80M | 0 |1835 |2392 |2150 | 40 | 11 | 97 | 0 |-3.989644e+01 |-1.800000e+01 | 121.65%| unknown
18.34/18.43 c 18.4s| 1 | 0 | 86176 | - | 80M | 0 |1835 |2392 |2153 | 43 | 12 | 99 | 0 |-3.989644e+01 |-1.800000e+01 | 121.65%| unknown
18.94/19.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.94/19.05 c 19.0s| 1 | 0 | 89201 | - | 81M | 0 |1835 |2390 |2157 | 47 | 13 | 100 | 0 |-3.989644e+01 |-1.800000e+01 | 121.65%| unknown
19.33/19.49 c 19.5s| 1 | 0 | 91222 | - | 82M | 0 |1835 |2390 |2161 | 51 | 14 | 101 | 0 |-3.989644e+01 |-1.800000e+01 | 121.65%| unknown
19.83/19.94 c 19.9s| 1 | 0 | 93267 | - | 82M | 0 |1835 |2392 |2164 | 54 | 15 | 103 | 0 |-3.989626e+01 |-1.800000e+01 | 121.65%| unknown
20.33/20.44 c 20.4s| 1 | 0 | 95509 | - | 83M | 0 |1835 |2394 |2167 | 57 | 16 | 107 | 0 |-3.989626e+01 |-1.800000e+01 | 121.65%| unknown
20.63/20.76 c 20.8s| 1 | 0 | 96819 | - | 83M | 0 |1835 |2395 |2159 | 58 | 17 | 108 | 0 |-3.989626e+01 |-1.800000e+01 | 121.65%| unknown
21.24/21.38 c 21.4s| 1 | 0 | 99640 | - | 83M | 0 |1835 |2399 |2162 | 61 | 18 | 112 | 0 |-3.989626e+01 |-1.800000e+01 | 121.65%| unknown
22.33/22.45 c 22.5s| 1 | 0 |104968 | - | 84M | 0 |1835 |2401 |2164 | 63 | 19 | 114 | 0 |-3.989043e+01 |-1.800000e+01 | 121.61%| unknown
22.63/22.79 c 22.8s| 1 | 0 |106360 | - | 84M | 0 |1835 |2402 |2167 | 66 | 20 | 116 | 0 |-3.989041e+01 |-1.800000e+01 | 121.61%| unknown
22.83/22.94 c 22.9s| 1 | 0 |106890 | - | 84M | 0 |1835 |2411 |2168 | 67 | 21 | 125 | 0 |-3.988777e+01 |-1.800000e+01 | 121.60%| unknown
22.94/23.05 c 23.1s| 1 | 0 |107211 | - | 84M | 0 |1835 |2411 |2169 | 68 | 22 | 126 | 0 |-3.988711e+01 |-1.800000e+01 | 121.60%| unknown
23.13/23.26 c 23.3s| 1 | 0 |107961 | - | 84M | 0 |1835 |2411 |2153 | 69 | 23 | 128 | 0 |-3.988695e+01 |-1.800000e+01 | 121.59%| unknown
33.50/33.61 c 33.6s| 1 | 2 |147385 | - | 84M | 0 |1835 |2418 |2153 | 69 | 24 | 138 | 17 |-3.988695e+01 |-1.800000e+01 | 121.59%| unknown
72.61/72.81 o -19
72.61/72.81 c *72.8s| 18 | 17 |334093 |13301.9 | LP | 5 |1835 |2414 |2131 | 69 | 0 | 140 | 54 |-3.940546e+01 |-1.900000e+01 | 107.40%| unknown
383.90/384.94 c 385s| 100 | 101 | 1766k|16752.0 | 86M | 9 |1835 |2553 |2131 | 69 | 1 | 547 | 609 |-3.840818e+01 |-1.900000e+01 | 102.15%| unknown
560.15/561.68 c 562s| 200 | 191 | 2548k|12263.9 | 105M | 28 |1835 |2482 |2142 | 118 | 1 | 671 |1047 |-3.840818e+01 |-1.900000e+01 | 102.15%| unknown
693.31/695.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
693.31/695.16 c 695s| 300 | 263 | 3167k|10233.9 | 120M | 38 |1835 |2502 |2142 | 133 | 1 | 788 |1396 |-3.830745e+01 |-1.900000e+01 | 101.62%| unknown
799.63/801.71 c 802s| 400 | 339 | 3664k|8913.6 | 121M | 38 |1835 |2562 |2144 | 148 | 1 | 991 |1677 |-3.830745e+01 |-1.900000e+01 | 101.62%| unknown
867.26/869.59 c 870s| 500 | 403 | 4084k|7968.6 | 123M | 38 |1835 |2707 |2147 | 211 | 1 |1214 |1737 |-3.830745e+01 |-1.900000e+01 | 101.62%| unknown
949.56/952.02 c 952s| 600 | 481 | 4600k|7500.2 | 122M | 39 |1835 |2746 |2144 | 251 | 1 |1432 |1828 |-3.830745e+01 |-1.900000e+01 | 101.62%| unknown
1103.76/1106.61 c 1107s| 700 | 559 | 5357k|7509.4 | 125M | 39 |1835 |2721 |2143 | 417 | 1 |1836 |2205 |-3.830538e+01 |-1.900000e+01 | 101.61%| unknown
1219.87/1223.01 c 1223s| 800 | 629 | 5951k|7313.4 | 127M | 39 |1835 |2664 |2147 | 538 | 1 |2065 |2503 |-3.830538e+01 |-1.900000e+01 | 101.61%| unknown
1330.98/1334.40 c 1334s| 900 | 687 | 6481k|7090.1 | 139M | 39 |1835 |2599 |2141 | 742 | 1 |2254 |2811 |-3.830538e+01 |-1.900000e+01 | 101.61%| unknown
1420.95/1424.66 c 1425s| 1000 | 737 | 6952k|6851.8 | 145M | 39 |1835 |2752 |2147 | 862 | 0 |2702 |3070 |-3.797285e+01 |-1.900000e+01 | 99.86%| 2.94%
1521.58/1525.57 c 1526s| 1100 | 803 | 7486k|6714.1 | 150M | 39 |1835 |2802 |2151 |1109 | 2 |3019 |3340 |-3.793206e+01 |-1.900000e+01 | 99.64%| 3.02%
1601.48/1605.62 c 1606s| 1200 | 859 | 7929k|6523.6 | 157M | 39 |1835 |2754 |2168 |1269 | 1 |3243 |3508 |-3.793206e+01 |-1.900000e+01 | 99.64%| 3.02%
1702.03/1706.47 c 1706s| 1300 | 927 | 8539k|6490.6 | 159M | 39 |1835 |2831 |2143 |1415 | 1 |3598 |3611 |-3.783510e+01 |-1.900000e+01 | 99.13%| 3.08%
1712.90/1717.37 o -23
1712.90/1717.37 c d1717s| 1308 | 935 | 8608k|6503.6 |linesear| 39 |1835 |2825 |2154 | 0 | 2 |3607 |3619 |-3.783510e+01 |-2.300000e+01 | 64.50%| 3.08%
1727.75/1732.23 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1727.75/1732.23 c (run 1, node 1338) performing user restart
1727.75/1732.23 c
1727.75/1732.23 c (restart) converted 22 cuts from the global cut pool into linear constraints
1727.75/1732.23 c
1727.85/1732.32 c presolving:
1727.85/1732.33 c (round 1, fast) 0 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 216 clqs
1727.85/1732.34 c (round 2, exhaustive) 0 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 117 upgd conss, 0 impls, 216 clqs
1727.85/1732.34 c (round 3, medium) 0 del vars, 6 del conss, 0 add conss, 0 chg bounds, 26 chg sides, 26 chg coeffs, 117 upgd conss, 0 impls, 216 clqs
1727.85/1732.37 c (round 4, exhaustive) 0 del vars, 43 del conss, 0 add conss, 0 chg bounds, 26 chg sides, 357 chg coeffs, 117 upgd conss, 0 impls, 216 clqs
1727.85/1732.39 c (round 5, exhaustive) 0 del vars, 43 del conss, 0 add conss, 0 chg bounds, 26 chg sides, 464 chg coeffs, 117 upgd conss, 0 impls, 216 clqs
1727.95/1732.42 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
1727.95/1732.42 c 0 deleted vars, 45 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 26 changed sides, 464 changed coefficients
1727.95/1732.42 c 0 implications, 216 cliques
1727.95/1732.42 c presolved problem has 1835 variables (1835 bin, 0 int, 0 cont) and 2761 constraints
1727.95/1732.42 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1727.95/1732.42 c 137 constraints of type <knapsack>
1727.95/1732.42 c 216 constraints of type <setppc>
1727.95/1732.42 c 10 constraints of type <linear>
1727.95/1732.42 c 2398 constraints of type <logicor>
1727.95/1732.42 c transformed objective value is always integral (scale: 1)
1727.95/1732.42 c Presolving Time: 0.23
1727.95/1732.42 c transformed 4/4 original solutions to the transformed problem space
1727.95/1732.43 c
1730.14/1734.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1730.14/1734.67 c 1735s| 1 | 0 | 8716k| - | 155M | 0 |1835 |2761 |2132 | 0 | 0 |3640 |3626 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
1731.14/1735.60 c 1736s| 1 | 0 | 8718k| - | 156M | 0 |1835 |2762 |2135 | 3 | 1 |3641 |3626 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
1734.23/1738.71 c 1739s| 1 | 0 | 8731k| - | 156M | 0 |1835 |2763 |2139 | 7 | 2 |3642 |3626 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
1735.12/1739.67 c 1740s| 1 | 0 | 8734k| - | 157M | 0 |1835 |2764 |2142 | 10 | 3 |3643 |3626 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
1736.22/1740.75 c 1741s| 1 | 0 | 8738k| - | 157M | 0 |1835 |2764 |2145 | 13 | 4 |3644 |3626 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
1737.12/1741.66 c 1742s| 1 | 0 | 8740k| - | 157M | 0 |1835 |2765 |2149 | 17 | 5 |3645 |3626 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
1738.01/1742.56 c 1743s| 1 | 0 | 8743k| - | 157M | 0 |1835 |2766 |2151 | 19 | 6 |3646 |3626 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
1738.91/1743.43 c 1743s| 1 | 0 | 8745k| - | 157M | 0 |1835 |2774 |2154 | 22 | 7 |3655 |3626 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
1739.91/1744.41 c 1744s| 1 | 0 | 8749k| - | 157M | 0 |1835 |2774 |2157 | 25 | 8 |3656 |3626 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
1740.81/1745.34 c 1745s| 1 | 0 | 8751k| - | 157M | 0 |1835 |2772 |2160 | 28 | 9 |3657 |3626 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
1743.90/1748.45 c 1748s| 1 | 0 | 8763k| - | 157M | 0 |1835 |2772 |2162 | 30 | 10 |3663 |3626 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
1746.79/1751.33 c 1751s| 1 | 0 | 8775k| - | 157M | 0 |1835 |2771 |2166 | 34 | 11 |3665 |3626 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
1747.68/1752.25 c 1752s| 1 | 0 | 8779k| - | 157M | 0 |1835 |2770 |2170 | 38 | 12 |3666 |3626 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
1755.46/1760.06 c 1760s| 1 | 2 | 8803k| - | 157M | 0 |1835 |2773 |2170 | 38 | 12 |3682 |3645 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
1957.16/1962.38 c 1962s| 100 | 83 | 9605k|6555.0 | 158M | 29 |1835 |2884 |2146 | 56 | 1 |4023 |4248 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2079.22/2084.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2079.22/2084.74 c 2085s| 200 | 161 | 10131k|6471.3 | 162M | 39 |1835 |3119 |2146 | 102 | 1 |4649 |4719 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2131.39/2137.04 c 2137s| 300 | 193 | 10319k|6190.8 | 164M | 44 |1835 |3224 |2152 | 147 | 4 |4883 |5045 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2191.42/2197.23 c 2197s| 400 | 237 | 10643k|6020.8 | 172M | 44 |1835 |3124 |2146 | 299 | 1 |4974 |5137 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2241.49/2247.41 c 2247s| 500 | 303 | 10976k|5874.2 | 172M | 44 |1835 |3055 |2162 | 406 | 4 |5120 |5197 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2315.10/2321.28 c 2321s| 600 | 393 | 11461k|5821.4 | 175M | 53 |1835 |3048 |2170 | 580 | 1 |5218 |5257 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2357.59/2363.80 c 2364s| 700 | 449 | 11707k|5656.2 | 175M | 66 |1835 |3153 |2168 | 639 | 2 |5394 |5390 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2408.55/2414.97 c 2415s| 800 | 507 | 11969k|5514.0 | 176M | 66 |1835 |2988 |2157 | 727 | 0 |5479 |5558 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2445.76/2452.26 c 2452s| 900 | 537 | 12161k|5353.5 | 176M | 66 |1835 |3050 |2168 | 791 | 1 |5577 |5656 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2532.93/2539.67 c 2540s| 1000 | 573 | 12555k|5293.3 | 177M | 66 |1835 |2987 |2163 | 879 | 2 |5705 |5959 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2579.41/2586.28 c 2586s| 1100 | 611 | 12820k|5184.7 | 179M | 66 |1835 |3028 |2175 | 949 | 1 |5799 |6054 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2628.78/2635.77 c 2636s| 1200 | 649 | 13060k|5074.7 | 181M | 77 |1835 |3097 |2169 | 977 | 2 |5909 |6190 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2670.87/2677.95 c 2678s| 1300 | 681 | 13257k|4957.1 | 182M | 77 |1835 |3039 |2176 |1010 | 0 |6125 |6345 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2706.68/2713.81 c 2714s| 1400 | 713 | 13453k|4847.6 | 184M | 89 |1835 |3076 |2168 |1081 | 1 |6240 |6409 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2745.48/2752.70 c 2753s| 1500 | 753 | 13717k|4769.7 | 185M | 89 |1835 |3102 |2180 |1317 | 0 |6299 |6434 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2823.07/2830.57 c 2831s| 1600 | 803 | 14142k|4752.3 | 189M | 89 |1835 |2981 |2188 |1455 | 0 |6356 |6518 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2865.27/2872.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2865.27/2872.86 c 2873s| 1700 | 847 | 14380k|4674.0 | 189M | 89 |1835 |2977 |2184 |1489 | 0 |6449 |6621 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2927.71/2935.42 c 2935s| 1800 | 899 | 14744k|4641.0 | 190M | 89 |1835 |2987 |2192 |1560 | 1 |6559 |6709 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2950.85/2958.69 c 2959s| 1900 | 935 | 14902k|4546.4 | 191M | 89 |1835 |3022 |2197 |1639 | 1 |6635 |6731 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
2974.89/2982.76 c 2983s| 2000 | 965 | 15063k|4458.5 | 192M | 89 |1835 |3063 |2197 |1692 | 1 |6733 |6757 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
3019.68/3027.60 c 3028s| 2100 | 1003 | 15306k|4399.3 | 192M | 89 |1835 |3066 |2206 |1779 | 1 |6821 |6802 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
3063.97/3072.08 c 3072s| 2200 | 1033 | 15562k|4347.5 | 192M | 89 |1835 |3029 |2196 |1837 | 1 |6891 |6852 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
3102.27/3110.43 c 3110s| 2300 | 1067 | 15789k|4290.5 | 195M | 89 |1835 |3025 |2176 |1951 | 0 |6994 |6890 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
3149.94/3158.22 c 3158s| 2400 | 1117 | 16104k|4259.9 | 197M | 89 |1835 |2987 |2182 |2083 | 1 |7027 |6913 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
3192.93/3201.32 c 3201s| 2500 | 1157 | 16392k|4223.9 | 197M | 89 |1835 |3049 |2200 |2156 | 1 |7094 |6923 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
3223.76/3232.29 c 3232s| 2600 | 1203 | 16580k|4164.2 | 198M | 89 |1835 |3132 |2211 |2224 | 2 |7213 |6934 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
3281.81/3290.44 c 3290s| 2700 | 1239 | 16831k|4123.3 | 199M | 89 |1835 |3131 |2219 |2307 | 1 |7274 |6999 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
3335.17/3343.91 c 3344s| 2800 | 1273 | 17050k|4076.5 | 199M | 89 |1835 |3086 |2223 |2323 | 0 |7320 |7085 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
3396.81/3405.75 c 3406s| 2900 | 1315 | 17303k|4040.0 | 200M | 89 |1835 |3043 |2223 |2331 | 0 |7378 |7222 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
3430.13/3439.15 c 3439s| 3000 | 1353 | 17480k|3987.9 | 200M | 89 |1835 |3103 |2187 |2403 | 1 |7493 |7262 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
3469.82/3478.91 c 3479s| 3100 | 1401 | 17685k|3944.1 | 201M | 89 |1835 |3054 |2212 |2487 | 1 |7569 |7346 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
3535.35/3544.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3535.35/3544.68 c 3545s| 3200 | 1445 | 18001k|3926.8 | 202M | 89 |1835 |3172 |2231 |2524 | 1 |7838 |7495 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
3560.18/3569.57 c 3570s| 3300 | 1473 | 18117k|3867.1 | 202M | 95 |1835 |3149 |2164 |2616 | 1 |7940 |7549 |-3.783510e+01 |-2.300000e+01 | 64.50%| unknown
3587.50/3597.00 c
3587.50/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.50/3597.00 c Solving Time (sec) : 3597.00
3587.50/3597.00 c Solving Nodes : 3357 (total of 4695 nodes in 2 runs)
3587.50/3597.00 c Primal Bound : -2.30000000000000e+01 (4 solutions)
3587.50/3597.00 c Dual Bound : -3.78351021662901e+01
3587.50/3597.00 c Gap : 64.50 %
3587.50/3597.00 s SATISFIABLE
3587.50/3597.00 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 -x13 x14 x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29
3587.50/3597.00 v x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 x48 -x49 -x50 -x51 x52 x53 -x54 x55 x56
3587.50/3597.00 v -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82
3587.50/3597.00 v -x83 -x84 -x85 -x86 x87 x88 -x89 -x90 -x91 x92 -x93 -x94 x95 -x96 -x97 x98 x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
3587.50/3597.00 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
3587.50/3597.00 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152
3587.50/3597.00 v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174
3587.50/3597.00 v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196
3587.50/3597.00 v -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218
3587.50/3597.00 v -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
3587.50/3597.00 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262
3587.50/3597.00 v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284
3587.50/3597.00 v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306
3587.50/3597.00 v x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328
3587.50/3597.00 v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
3587.50/3597.00 v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372
3587.50/3597.00 v -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394
3587.50/3597.00 v -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416
3587.50/3597.00 v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
3587.50/3597.00 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460
3587.50/3597.00 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
3587.50/3597.00 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504
3587.50/3597.00 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526
3587.50/3597.00 v -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548
3587.50/3597.00 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
3587.50/3597.00 v -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592
3587.50/3597.00 v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614
3587.50/3597.00 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636
3587.50/3597.00 v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658
3587.50/3597.00 v -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
3587.50/3597.00 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702
3587.50/3597.00 v -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724
3587.50/3597.00 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746
3587.50/3597.00 v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768
3587.50/3597.00 v -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
3587.50/3597.00 v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812
3587.50/3597.00 v -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834
3587.50/3597.00 v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856
3587.50/3597.00 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
3587.50/3597.00 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
3587.50/3597.00 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922
3587.50/3597.00 v -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
3587.50/3597.00 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966
3587.50/3597.00 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988
3587.50/3597.00 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008
3587.50/3597.00 v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027
3587.50/3597.00 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046
3587.50/3597.00 v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065
3587.50/3597.00 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084
3587.50/3597.00 v x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103
3587.50/3597.00 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122
3587.50/3597.00 v -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
3587.50/3597.00 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
3587.50/3597.00 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179
3587.50/3597.00 v -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198
3587.50/3597.00 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217
3587.50/3597.00 v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
3587.50/3597.00 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255
3587.50/3597.00 v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274
3587.50/3597.00 v -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293
3587.50/3597.00 v -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312
3587.50/3597.00 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331
3587.50/3597.00 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
3587.50/3597.00 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369
3587.50/3597.00 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388
3587.50/3597.00 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407
3587.50/3597.00 v -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426
3587.50/3597.00 v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445
3587.50/3597.00 v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464
3587.50/3597.00 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483
3587.50/3597.00 v x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502
3587.50/3597.00 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521
3587.50/3597.00 v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
3587.50/3597.00 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559
3587.50/3597.00 v -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578
3587.50/3597.00 v x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597
3587.50/3597.00 v -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616
3587.50/3597.00 v -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635
3587.50/3597.00 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654
3587.50/3597.00 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673
3587.50/3597.00 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692
3587.50/3597.00 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711
3587.50/3597.00 v -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
3587.50/3597.00 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749
3587.50/3597.00 v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768
3587.50/3597.00 v -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787
3587.50/3597.00 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806
3587.50/3597.00 v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825
3587.50/3597.00 v -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835
3587.50/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.50/3597.00 c Total Time : 3597.00
3587.50/3597.00 c solving : 3597.00
3587.50/3597.00 c presolving : 0.23 (included in solving)
3587.50/3597.00 c reading : 0.01 (included in solving)
3587.50/3597.00 c copying : 0.43 (66 #copies) (minimal 0.00, maximal 0.01, average 0.01)
3587.50/3597.00 c Original Problem :
3587.50/3597.00 c Problem name : HOME/instance-4502427-1751414303.opb
3587.50/3597.00 c Variables : 1835 (1835 binary, 0 integer, 0 continuous)
3587.50/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.50/3597.00 c Constraints : 2112 initial, 2112 maximal
3587.50/3597.00 c Objective : minimize, 120 non-zeros (abs.min = 1, abs.max = 1)
3587.50/3597.00 c Presolved Problem :
3587.50/3597.00 c Problem name : t_HOME/instance-4502427-1751414303.opb
3587.50/3597.00 c Variables : 1835 (1835 binary, 0 integer, 0 continuous)
3587.50/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.50/3597.00 c Constraints : 2761 initial, 3341 maximal
3587.50/3597.00 c Objective : minimize, 120 non-zeros (abs.min = 1, abs.max = 1)
3587.50/3597.00 c Nonzeros : 44801 constraint, 3876 clique table
3587.50/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.50/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c domcol : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c gateextraction : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c sparsify : 0.04 0.00 2 0 0 0 0 0 0 0 0 1715
3587.50/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c trivial : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c dualfix : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c knapsack : 0.02 0.00 22 0 0 0 0 0 0 0 26 26
3587.50/3597.00 c setppc : 0.00 0.00 22 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c linear : 0.02 0.00 15 0 0 0 0 0 2 0 0 0
3587.50/3597.00 c logicor : 0.08 0.00 21 0 0 0 0 0 45 0 0 438
3587.50/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.50/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.61/3597.00 c integral : 0 0 0 0 4125 0 0 640 0 0 1193 0 0 1585 7150
3587.61/3597.00 c knapsack : 137+ 143 36 110434 0 0 0 633 76430 20 22111 0 0 0 0
3587.61/3597.00 c setppc : 216+ 311 36 110417 0 0 0 28 229212 144 70727 0 0 0 0
3587.61/3597.00 c linear : 10+ 23 36 109567 0 0 0 3 4460 13 1971 12 6 0 0
3587.61/3597.00 c logicor : 2398+ 2954 36 88634 0 0 0 11 465236 769 137882 9 5 0 0
3587.61/3597.00 c fixedvar : 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0
3587.61/3597.00 c countsols : 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0
3587.61/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.61/3597.00 c integral : 834.00 0.00 0.00 0.00 834.00 0.00 0.00 0.00 0.00 0.00
3587.61/3597.00 c knapsack : 2.52 0.00 0.80 0.66 0.00 0.00 0.00 0.01 0.03 1.02
3587.61/3597.00 c setppc : 1.28 0.00 0.00 0.32 0.00 0.00 0.00 0.00 0.03 0.92
3587.61/3597.00 c linear : 1.69 0.00 1.53 0.06 0.00 0.00 0.00 0.00 0.01 0.09
3587.61/3597.00 c logicor : 3.36 0.00 0.01 0.90 0.00 0.00 0.00 0.00 0.18 2.27
3587.61/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.61/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.61/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.61/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.61/3597.00 c dualfix : 3 0 0 0
3587.61/3597.00 c genvbounds : 0 0 0 0
3587.61/3597.00 c nlobbt : 0 0 0 0
3587.61/3597.00 c obbt : 0 0 0 0
3587.61/3597.00 c probing : 0 0 0 0
3587.61/3597.00 c pseudoobj : 22834 0 0 0
3587.61/3597.00 c redcost : 2071 0 0 36485
3587.61/3597.00 c rootredcost : 4 0 0 0
3587.61/3597.00 c symmetry : 52963 0 0 25
3587.61/3597.00 c vbounds : 15773 0 0 0
3587.61/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.61/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.61/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.61/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.61/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.61/3597.00 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
3587.61/3597.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.01
3587.61/3597.00 c redcost : 0.16 0.00 0.00 0.15 0.00 0.01
3587.61/3597.00 c rootredcost : 0.02 0.00 0.00 0.01 0.00 0.01
3587.61/3597.00 c symmetry : 0.53 0.00 0.02 0.26 0.00 0.25
3587.61/3597.00 c vbounds : 0.06 0.00 0.00 0.05 0.00 0.02
3587.61/3597.00 c Symmetry :
3587.61/3597.00 c #affected vars : 1800 (1800 bin, 0 int, 0 cont)
3587.61/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.61/3597.00 c orbital reduction: 17 reductions applied, 0 cutoffs
3587.61/3597.00 c lexicographic red: 50 reductions applied, 0 cutoffs
3587.61/3597.00 c shadow tree time : 0.01 s
3587.61/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.61/3597.00 c propagation : 0.12 925 887 - 4894 63.4 110 24.6 - - -
3587.61/3597.00 c infeasible LP : 1.05 1103 1059 - 9446 182.2 23 17.0 153 151.2 0
3587.61/3597.00 c bound exceed. LP : 1.25 628 151 - 1548 239.8 7 25.3 8 140.1 4970
3587.61/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.61/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.61/3597.00 c applied globally : 0.27 - - 0 7814 70.2 - - 161 - -
3587.61/3597.00 c applied locally : - - - 0 3 286.3 - - 0 - -
3587.61/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.61/3597.00 c cut pool : 1.76 - 1680 66 - - 8767 22640 - - - - - (maximal pool size: 1403)
3587.61/3597.00 c aggregation : 9.22 0.00 613 36 0 0 5 11 0 2 2 0 0
3587.61/3597.00 c > cmir : - - - - - - - 11 0 2 2 0 -
3587.61/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.61/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.61/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c clique : 0.05 0.00 36 36 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c gomory : 30.96 0.00 480 20 0 0 7656 17385 24 454 454 0 0
3587.61/3597.00 c > gomorymi : - - - - - - - 10053 14 269 269 0 -
3587.61/3597.00 c > strongcg : - - - - - - - 7332 10 185 185 0 -
3587.61/3597.00 c impliedbounds : 0.03 0.00 613 36 0 0 1 1 0 1 1 0 0
3587.61/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c multilinear : 0.00 0.00 171 36 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c rapidlearning : 32.67 0.00 49 2 0 7606 0 0 0 0 0 0 530
3587.61/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3587.61/3597.00 c zerohalf : 5.72 0.00 492 32 0 0 1225 5243 96 3615 3537 78 0
3587.61/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.61/3597.00 c hybrid : 0.12 0.00 996 35 4086 0 18681 107 0 1056
3587.61/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.61/3597.00 c problem variables: 0.00 - 0 0
3587.61/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.61/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c relpscost : 834.00 0.00 4125 0 0 0 1193 0 2273 7150
3587.61/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.61/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.61/3597.00 c LP solutions : 0.00 - - 0 0
3587.61/3597.00 c relax solutions : 0.00 - - 0 0
3587.61/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.61/3597.00 c strong branching : 0.02 - - 0 0
3587.61/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.61/3597.00 c adaptivediving : 13.95 0.00 15 0 0
3587.61/3597.00 c alns : 0.07 0.00 5 0 0
3587.61/3597.00 c bound : 0.00 0.00 0 0 0
3587.61/3597.00 c clique : 0.01 0.00 1 0 0
3587.61/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.61/3597.00 c completesol : 0.00 0.00 0 0 0
3587.61/3597.00 c conflictdiving : 22.67 0.00 29 0 0
3587.61/3597.00 c crossover : 0.10 0.00 4 0 0
3587.61/3597.00 c dins : 0.00 0.00 0 0 0
3587.61/3597.00 c distributiondivin: 35.00 0.00 28 0 0
3587.61/3597.00 c dks : 0.00 0.00 0 0 0
3587.61/3597.00 c dps : 0.00 0.00 0 0 0
3587.61/3597.00 c dualval : 0.00 0.00 0 0 0
3587.61/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.61/3597.00 c feaspump : 34.84 0.00 14 0 0
3587.61/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.61/3597.00 c fracdiving : 26.43 0.00 29 0 0
3587.61/3597.00 c gins : 0.01 0.00 0 0 0
3587.61/3597.00 c guideddiving : 28.57 0.00 29 0 0
3587.61/3597.00 c indicator : 0.00 0.00 0 0 0
3587.61/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.61/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.61/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.61/3597.00 c linesearchdiving : 28.85 0.00 29 1 1
3587.61/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.61/3597.00 c locks : 0.00 0.00 1 0 0
3587.61/3597.00 c lpface : 0.00 0.00 0 0 0
3587.61/3597.00 c mpec : 0.00 0.00 0 0 0
3587.61/3597.00 c multistart : 0.00 0.00 0 0 0
3587.61/3597.00 c mutation : 0.00 0.00 0 0 0
3587.61/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.61/3597.00 c objpscostdiving : 76.30 0.00 4 0 0
3587.61/3597.00 c octane : 0.00 0.00 0 0 0
3587.61/3597.00 c ofins : 0.00 0.00 0 0 0
3587.61/3597.00 c oneopt : 0.00 0.00 4 0 0
3587.61/3597.00 c padm : 0.00 0.00 0 0 0
3587.61/3597.00 c proximity : 0.00 0.00 0 0 0
3587.61/3597.00 c pscostdiving : 31.47 0.00 29 0 0
3587.61/3597.00 c randrounding : 0.17 0.00 650 0 0
3587.61/3597.00 c rens : 0.06 0.00 2 0 0
3587.61/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.61/3597.00 c repair : 0.00 0.00 0 0 0
3587.61/3597.00 c rins : 0.15 0.00 6 0 0
3587.61/3597.00 c rootsoldiving : 36.31 0.00 13 0 0
3587.61/3597.00 c rounding : 0.19 0.00 997 0 0
3587.61/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.61/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3587.61/3597.00 c shifting : 0.32 0.00 465 0 0
3587.61/3597.00 c simplerounding : 0.00 0.00 0 0 0
3587.61/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.61/3597.00 c trivial : 0.00 0.00 4 0 0
3587.61/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.61/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.61/3597.00 c trysol : 0.00 0.00 0 0 0
3587.61/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.61/3597.00 c undercover : 0.00 0.00 0 0 0
3587.61/3597.00 c vbounds : 0.01 0.00 2 1 1
3587.61/3597.00 c veclendiving : 58.85 0.00 29 0 0
3587.61/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.61/3597.00 c zirounding : 0.07 0.00 1000 0 0
3587.61/3597.00 c other solutions : - - - 0 -
3587.61/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.61/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.61/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.61/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.61/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.61/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.61/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.61/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.61/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.61/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.61/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.61/3597.00 c primal LP : 1.16 575 25 6.25 21.54 1.14 571
3587.61/3597.00 c dual LP : 2277.59 6884 15464340 2492.64 6789.78 0.68 680
3587.61/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.61/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.61/3597.00 c resolve instable : 1.22 2 10290 5145.00 8415.36
3587.61/3597.00 c diving/probing LP: 392.98 3196 2801327 876.51 7128.33
3587.61/3597.00 c strong branching : 816.94 7590 5228131 688.82 6399.65 - - 8484
3587.61/3597.00 c (at root node) : - 36 35279 979.97 -
3587.61/3597.00 c conflict analysis: 0.82 520 4970 9.56 6043.08
3587.61/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.61/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3587.61/3597.00 c B&B Tree :
3587.61/3597.00 c number of runs : 2
3587.61/3597.00 c nodes : 3357 (2430 internal, 927 leaves)
3587.61/3597.00 c feasible leaves : 0
3587.61/3597.00 c infeas. leaves : 423
3587.61/3597.00 c objective leaves : 503
3587.61/3597.00 c nodes (total) : 4695 (3575 internal, 1120 leaves)
3587.61/3597.00 c nodes left : 1505
3587.61/3597.00 c max depth : 95
3587.61/3597.00 c max depth (total): 95
3587.61/3597.00 c backtracks : 406 (12.1%)
3587.61/3597.00 c early backtracks : 0 (0.0%)
3587.61/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.61/3597.00 c delayed cutoffs : 0
3587.61/3597.00 c repropagations : 2040 (881 domain reductions, 0 cutoffs)
3587.61/3597.00 c avg switch length: 4.79
3587.61/3597.00 c switching time : 2.11
3587.61/3597.00 c Root Node :
3587.61/3597.00 c First LP value : -4.19574468085106e+01
3587.61/3597.00 c First LP Iters : 10133 (8062.53 Iter/sec)
3587.61/3597.00 c First LP Time : 1.26
3587.61/3597.00 c Final Dual Bound : -3.78351021662901e+01
3587.61/3597.00 c Final Root Iters : 185555
3587.61/3597.00 c Root LP Estimate : -1.52550390778167e+01
3587.61/3597.00 c Solution :
3587.61/3597.00 c Solutions found : 4 (4 improvements)
3587.61/3597.00 c First Solution : -1.50000000000000e+01 (in run 1, after 1 nodes, 0.16 seconds, depth 171, found by <vbounds>)
3587.61/3597.00 c Gap First Sol. : 700.00 %
3587.61/3597.00 c Gap Last Sol. : 64.50 %
3587.61/3597.00 c Primal Bound : -2.30000000000000e+01 (in run 1, after 1308 nodes, 1717.38 seconds, depth 69, found by <linesearchdiving>)
3587.61/3597.00 c Dual Bound : -3.78351021662901e+01
3587.61/3597.00 c Gap : 64.50 %
3587.61/3597.00 c Integrals : Total Avg%
3587.61/3597.00 c primal-dual : 160575.07 44.64
3587.61/3597.00 c primal-ref : - - (not evaluated)
3587.61/3597.00 c dual-ref : - - (not evaluated)
3587.61/3597.04 c Time complete (sec): 3587.657
OK -23
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 (61746 MiB free)
memory of node 1: 64507 MiB (55712 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502427-1751414303/watcher-4502427-1751414303 -o /tmp/evaluation-result-4502427-1751414303/solver-4502427-1751414303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751406326-62870 --watchdog 3760 pbsolver -f HOME/instance-4502427-1751414303.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=65931, runsolver pid=65928
[startup+0.10006 s]*
/proc/loadavg: 4.21 4.17 4.11 5/267 65932
/proc/meminfo: memFree=120253924/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=43040 memory=33256 CPUtime=0.09 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 6665 0 0 0 9 0 0 0 20 0 1 0 57108256 44072960 8314 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 10760 8314 2560 2575 0 7667 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43040 KiB
Current children cumulated memory: 33256 KiB
[startup+0.205367 s]*
/proc/loadavg: 4.21 4.17 4.11 5/267 65932
/proc/meminfo: memFree=120236032/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=68096 memory=52636 CPUtime=0.2 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 11873 0 0 0 19 1 0 0 20 0 1 0 57108256 69730304 13159 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 17024 13159 2656 2575 0 13931 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68096 KiB
Current children cumulated memory: 52636 KiB
[startup+0.30544 s]*
/proc/loadavg: 4.21 4.17 4.11 5/267 65932
/proc/meminfo: memFree=120236336/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=68096 memory=52636 CPUtime=0.3 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 11884 0 0 0 29 1 0 0 20 0 1 0 57108256 69730304 13159 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 17024 13159 2656 2575 0 13931 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 68096 KiB
Current children cumulated memory: 52636 KiB
[startup+0.700096 s]
/proc/loadavg: 4.21 4.17 4.11 5/267 65932
/proc/meminfo: memFree=120236336/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=68952 memory=53404 CPUtime=0.68 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 12076 0 0 0 67 1 0 0 20 0 1 0 57108256 70606848 13351 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 17238 13351 2656 2575 0 14145 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68952 KiB
Current children cumulated memory: 53404 KiB
[startup+1.50009 s]
/proc/loadavg: 4.21 4.17 4.11 5/267 65932
/proc/meminfo: memFree=120236336/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=69484 memory=54300 CPUtime=1.48 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 12239 0 0 0 147 1 0 0 20 0 1 0 57108256 71151616 13575 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 17371 13575 2688 2575 0 14278 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69484 KiB
Current children cumulated memory: 54300 KiB
[startup+3.10532 s]
/proc/loadavg: 4.27 4.18 4.11 5/267 65932
/proc/meminfo: memFree=120204196/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=95652 memory=79072 CPUtime=3.08 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 20340 0 0 0 306 2 0 0 20 0 1 0 57108256 97947648 19768 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 23913 19768 2688 2575 0 20820 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 95652 KiB
Current children cumulated memory: 79072 KiB
[startup+6.3001 s]
/proc/loadavg: 4.27 4.18 4.11 5/266 65932
/proc/meminfo: memFree=120204356/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=95652 memory=79200 CPUtime=6.27 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 20369 0 0 0 625 2 0 0 20 0 1 0 57108256 97947648 19800 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 23913 19800 2688 2575 0 20820 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 95652 KiB
Current children cumulated memory: 79200 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.17 4.11 5/266 65932
/proc/meminfo: memFree=120204356/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=102440 memory=86368 CPUtime=12.66 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 22167 0 0 0 1263 3 0 0 20 0 1 0 57108256 104898560 21592 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 25610 21592 2688 2575 0 22517 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 102440 KiB
Current children cumulated memory: 86368 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.17 4.11 5/266 65933
/proc/meminfo: memFree=120188480/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=117156 memory=100192 CPUtime=25.43 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 25625 0 0 0 2539 4 0 0 20 0 1 0 57108256 119967744 25048 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 29289 25048 2688 2575 0 26196 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 117156 KiB
Current children cumulated memory: 100192 KiB
[startup+51.1054 s]
/proc/loadavg: 4.21 4.17 4.11 5/266 65933
/proc/meminfo: memFree=120180432/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=123488 memory=105440 CPUtime=50.96 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 26945 0 0 0 5092 4 0 0 20 0 1 0 57108256 126451712 26360 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 30872 26360 2688 2575 0 27779 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 123488 KiB
Current children cumulated memory: 105440 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/266 65937
/proc/meminfo: memFree=120132196/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=139612 memory=122732 CPUtime=102.02 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 35702 0 0 0 10196 6 0 0 20 0 1 0 57108256 142962688 30683 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 34903 30683 2688 2575 0 31810 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 139612 KiB
Current children cumulated memory: 122732 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/265 65954
/proc/meminfo: memFree=120029824/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=139472 memory=122740 CPUtime=161.86 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 36553 0 0 0 16180 6 0 0 20 0 1 0 57108256 142819328 30685 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 34868 30685 2688 2575 0 31775 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 139472 KiB
Current children cumulated memory: 122740 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/265 65956
/proc/meminfo: memFree=119966664/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=140400 memory=123636 CPUtime=221.71 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 36766 0 0 0 22165 6 0 0 20 0 1 0 57108256 143769600 30909 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 35100 30909 2688 2575 0 32007 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 140400 KiB
Current children cumulated memory: 123636 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/265 65958
/proc/meminfo: memFree=119821264/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=140400 memory=123636 CPUtime=281.56 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 36767 0 0 0 28150 6 0 0 20 0 1 0 57108256 143769600 30909 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 35100 30909 2688 2575 0 32007 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 140400 KiB
Current children cumulated memory: 123636 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 65967
/proc/meminfo: memFree=119784928/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=140400 memory=123636 CPUtime=341.41 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 36767 0 0 0 34135 6 0 0 20 0 1 0 57108256 143769600 30909 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 35100 30909 2688 2575 0 32007 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 140400 KiB
Current children cumulated memory: 123636 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 65970
/proc/meminfo: memFree=119796940/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=141232 memory=124532 CPUtime=401.26 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 36984 0 0 0 40120 6 0 0 20 0 1 0 57108256 144621568 31133 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 35308 31133 2688 2575 0 32215 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 141232 KiB
Current children cumulated memory: 124532 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 65973
/proc/meminfo: memFree=119802588/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=141232 memory=124532 CPUtime=461.1 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 36988 0 0 0 46104 6 0 0 20 0 1 0 57108256 144621568 31133 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 35308 31133 2688 2575 0 32215 0
################
# More data... #
################
/proc/loadavg: 3.12 3.48 3.81 4/259 66183
/proc/meminfo: memFree=120171292/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=232060 memory=223028 CPUtime=3154.03 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 87625 0 0 0 315388 15 0 0 20 0 1 0 57108256 237629440 55757 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 58015 55757 2976 2575 0 54922 0
Current children cumulated CPU time: 3154.03 s
Current children cumulated vsize: 232060 KiB
Current children cumulated memory: 223028 KiB
[startup+3222.3 s]
/proc/loadavg: 3.09 3.40 3.77 4/258 66185
/proc/meminfo: memFree=120099080/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=230944 memory=221912 CPUtime=3213.88 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 87626 0 0 0 321373 15 0 0 20 0 1 0 57108256 236486656 55478 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 57736 55478 2976 2575 0 54643 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 230944 KiB
Current children cumulated memory: 221912 KiB
[startup+3282.3 s]
/proc/loadavg: 3.14 3.36 3.73 4/258 66187
/proc/meminfo: memFree=120105088/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=230944 memory=221912 CPUtime=3273.73 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 87626 0 0 0 327358 15 0 0 20 0 1 0 57108256 236486656 55478 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 57736 55478 2976 2575 0 54643 0
Current children cumulated CPU time: 3273.73 s
Current children cumulated vsize: 230944 KiB
Current children cumulated memory: 221912 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.31 3.68 4/258 66189
/proc/meminfo: memFree=120000324/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=230944 memory=222944 CPUtime=3333.57 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 89049 0 0 0 333342 15 0 0 20 0 1 0 57108256 236486656 55736 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 57736 55736 2976 2575 0 54643 0
Current children cumulated CPU time: 3333.57 s
Current children cumulated vsize: 230944 KiB
Current children cumulated memory: 222944 KiB
[startup+3402.3 s]
/proc/loadavg: 3.16 3.28 3.65 4/259 66198
/proc/meminfo: memFree=119978332/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=245960 memory=237604 CPUtime=3393.42 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 94214 0 0 0 339326 16 0 0 20 0 1 0 57108256 251863040 59401 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 61490 59401 2976 2575 0 58397 0
Current children cumulated CPU time: 3393.42 s
Current children cumulated vsize: 245960 KiB
Current children cumulated memory: 237604 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.24 3.61 4/259 66200
/proc/meminfo: memFree=119854536/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=245960 memory=237604 CPUtime=3453.27 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 94214 0 0 0 345311 16 0 0 20 0 1 0 57108256 251863040 59401 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 61490 59401 2976 2575 0 58397 0
Current children cumulated CPU time: 3453.27 s
Current children cumulated vsize: 245960 KiB
Current children cumulated memory: 237604 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.21 3.58 4/259 66202
/proc/meminfo: memFree=119781880/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=246032 memory=238056 CPUtime=3513.11 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 98436 0 0 0 351294 17 0 0 20 0 1 0 57108256 251936768 59514 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 61508 59514 2976 2575 0 58415 0
Current children cumulated CPU time: 3513.11 s
Current children cumulated vsize: 246032 KiB
Current children cumulated memory: 238056 KiB
[startup+3582.3 s]
/proc/loadavg: 2.99 3.17 3.54 3/253 66235
/proc/meminfo: memFree=120716328/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=246032 memory=238056 CPUtime=3572.95 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 98506 0 0 0 357278 17 0 0 20 0 1 0 57108256 251936768 59514 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 61508 59514 2976 2575 0 58415 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 246032 KiB
Current children cumulated memory: 238056 KiB
[startup+3597.04 s]
# the end of solver process 65931 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.48 s, system=0.183462 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.91 3.15 3.53 3/253 66235
/proc/meminfo: memFree=120716328/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=247460 memory=239336 CPUtime=3574.65 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 98851 0 0 0 357448 17 0 0 20 0 1 0 57108256 253399040 59834 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 61865 59834 2976 2575 0 58772 0
Current children cumulated CPU time: 3574.65 s
Current children cumulated vsize: 247460 KiB
Current children cumulated memory: 239336 KiB
[startup+3590.4 s]
/proc/loadavg: 2.84 3.13 3.52 3/253 66236
/proc/meminfo: memFree=120708264/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=246032 memory=238056 CPUtime=3581.02 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 100075 0 0 0 358085 17 0 0 20 0 1 0 57108256 251936768 59514 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 61508 59514 2976 2575 0 58415 0
Current children cumulated CPU time: 3581.02 s
Current children cumulated vsize: 246032 KiB
Current children cumulated memory: 238056 KiB
[startup+3593.6 s]
/proc/loadavg: 2.77 3.11 3.51 3/253 66236
/proc/meminfo: memFree=120700200/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=246032 memory=238056 CPUtime=3584.22 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 100075 0 0 0 358405 17 0 0 20 0 1 0 57108256 251936768 59514 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 61508 59514 2976 2575 0 58415 0
Current children cumulated CPU time: 3584.22 s
Current children cumulated vsize: 246032 KiB
Current children cumulated memory: 238056 KiB
[startup+3595.2 s]
/proc/loadavg: 2.77 3.11 3.51 3/253 66236
/proc/meminfo: memFree=120700200/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=246032 memory=238056 CPUtime=3585.81 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 100075 0 0 0 358564 17 0 0 20 0 1 0 57108256 251936768 59514 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 61508 59514 2976 2575 0 58415 0
Current children cumulated CPU time: 3585.81 s
Current children cumulated vsize: 246032 KiB
Current children cumulated memory: 238056 KiB
[startup+3596 s]*
/proc/loadavg: 2.77 3.11 3.51 3/253 66236
/proc/meminfo: memFree=120700200/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=252600 memory=244456 CPUtime=3586.61 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 101700 0 0 0 358644 17 0 0 20 0 1 0 57108256 258662400 61114 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 63150 61114 2976 2575 0 60057 0
Current children cumulated CPU time: 3586.61 s
Current children cumulated vsize: 252600 KiB
Current children cumulated memory: 244456 KiB
[startup+3596.8 s]
/proc/loadavg: 2.77 3.11 3.51 3/253 66236
/proc/meminfo: memFree=120700200/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=246032 memory=238056 CPUtime=3587.4 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 101756 0 0 0 358723 17 0 0 20 0 1 0 57108256 251936768 59514 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 61508 59514 2976 2575 0 58415 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 246032 KiB
Current children cumulated memory: 238056 KiB
[startup+3597 s]*
/proc/loadavg: 2.77 3.11 3.51 3/253 66236
/proc/meminfo: memFree=120700200/131249996 swapFree=33010684/33010684
[pid=65931] ppid=65928 vsize=246032 memory=238056 CPUtime=3587.61 cores=5,7
/proc/65931/stat : 65931 (pbsolver) R 65928 65931 62857 0 -1 4194304 101756 0 0 0 358744 17 0 0 20 0 1 0 57108256 251936768 59514 18446744073709551615 4198400 14743177 140732531714080 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32391168 140732531718538 140732531718634 140732531718634 140732531724236 0
/proc/65931/statm: 61508 59514 2976 2575 0 58415 0
Current children cumulated CPU time: 3587.61 s
Current children cumulated vsize: 246032 KiB
Current children cumulated memory: 238056 KiB
Child status: 0
Real time (s): 3597.04
CPU time (s): 3587.66
CPU user time (s): 3587.48
CPU system time (s): 0.183462
CPU usage (%): 99.7392
Max. virtual memory (cumulated for all children) (KiB): 255604
Max. memory (cumulated for all children) (KiB): 247460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.48
system time used= 0.183462
maximum resident set size= 247588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101761
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= 30
involuntary context switches= 1519
# summary of solver processes directly reported to runsolver:
# pid: 65931
# total CPU time (s): 3587.66
# total CPU user time (s): 3587.48
# total CPU system time (s): 0.183462
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82626 second user time and 15.0689 second system time
The end
Begin job on nodeC024 at 2025-07-02 01:58:24 IDJOB=4502427 IDBENCH=155330 IDSOLVER=3366 FILE ID=nodeC024/4502427-1751414303 RUNJOBID= nodeC024-1751406326-62870 SLURM_JOB_ID= 9598297 Free space on /tmp= 432924 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-protfold.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502427-1751414303/watcher-4502427-1751414303 -o /tmp/evaluation-result-4502427-1751414303/solver-4502427-1751414303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751406326-62870 --watchdog 3760 pbsolver -f HOME/instance-4502427-1751414303.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7d697abe2607c9e2486f4e4c4676f6ab RANDOM SEED=1444393828 nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.709 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.670 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.634 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.465 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3602.774 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 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 : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.653 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 120277376 kB MemAvailable: 127016372 kB Buffers: 3280 kB Cached: 7507600 kB SwapCached: 0 kB Active: 3023420 kB Inactive: 7250452 kB Active(anon): 2781056 kB Inactive(anon): 0 kB Active(file): 242364 kB Inactive(file): 7250452 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 25844 kB Writeback: 16 kB AnonPages: 2766076 kB Mapped: 136076 kB Shmem: 18064 kB KReclaimable: 170436 kB Slab: 261444 kB SReclaimable: 170436 kB SUnreclaim: 91008 kB KernelStack: 4272 kB PageTables: 8632 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 3479708 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 1251328 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432944 MiB End job on nodeC024 at 2025-07-02 02:58:21