Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | -24 | 3586.05 | 3597.06 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4502426-1751426867.opb>
0.00/0.01 c original problem has 1835 variables (1835 bin, 0 int, 0 impl, 0 cont) and 2112 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 c presolving:
0.00/0.03 c (0.0s) running MILP presolver
0.00/0.04 c (0.0s) MILP presolver found nothing
0.00/0.06 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.10 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.10 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.09/0.10 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.13 c (0.1s) probing: 51/1835 (2.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.13 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.14 c (0.1s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.09/0.15 c dynamic symmetry handling statistics:
0.09/0.15 c orbitopal reduction: no components
0.09/0.15 c orbital reduction: 1 components of sizes 2
0.09/0.15 c lexicographic reduction: 2 permutations with support sizes 1584, 1584
0.09/0.15 c handled 1 out of 1 symmetry components
0.09/0.15 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
0.09/0.15 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.15 c 0 implications, 84 cliques
0.09/0.15 c presolved problem has 1835 variables (1835 bin, 0 int, 0 impl, 0 cont) and 2110 constraints
0.09/0.15 c 120 constraints of type <knapsack>
0.09/0.15 c 84 constraints of type <setppc>
0.09/0.15 c 1906 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.13
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 10.0.0
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.15 c limits/time = 3596.998009
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.15 c limits/memory = 27900
0.09/0.15 c
0.09/0.15 c # belongs reading time to solving time?
0.09/0.15 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c timing/reading = TRUE
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.18 o -15
0.09/0.18 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.18 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.46 c 1.5s| 1 | 0 | 10133 | - | 44M | 0 |1835 |2181 |2110 | 0 | 0 | 78 | 0 |-4.195745e+01 |-1.500000e+01 | 179.72%| unknown
2.28/2.33 o -18
2.28/2.33 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.78/2.86 c 2.9s| 1 | 0 | 13066 | - | 49M | 0 |1835 |2383 |2115 | 5 | 1 | 80 | 0 |-4.131915e+01 |-1.800000e+01 | 129.55%| unknown
3.67/3.71 c 3.7s| 1 | 0 | 17075 | - | 50M | 0 |1835 |2386 |2118 | 8 | 2 | 83 | 0 |-4.113205e+01 |-1.800000e+01 | 128.51%| unknown
6.17/6.22 c 6.2s| 1 | 0 | 29311 | - | 52M | 0 |1835 |2387 |2121 | 11 | 3 | 84 | 0 |-4.074917e+01 |-1.800000e+01 | 126.38%| unknown
8.26/8.39 c 8.4s| 1 | 0 | 40113 | - | 59M | 0 |1835 |2389 |2123 | 13 | 4 | 86 | 0 |-4.041093e+01 |-1.800000e+01 | 124.51%| unknown
9.56/9.66 c 9.7s| 1 | 0 | 46160 | - | 65M | 0 |1835 |2390 |2128 | 18 | 5 | 87 | 0 |-4.041093e+01 |-1.800000e+01 | 124.51%| unknown
12.25/12.31 c 12.3s| 1 | 0 | 58242 | - | 66M | 0 |1835 |2391 |2132 | 22 | 6 | 88 | 0 |-4.004641e+01 |-1.800000e+01 | 122.48%| unknown
12.75/12.82 c 12.8s| 1 | 0 | 59645 | - | 68M | 0 |1835 |2390 |2135 | 25 | 7 | 90 | 0 |-4.004180e+01 |-1.800000e+01 | 122.45%| unknown
13.85/13.98 c 14.0s| 1 | 0 | 65109 | - | 72M | 0 |1835 |2389 |2140 | 30 | 8 | 91 | 0 |-4.001254e+01 |-1.800000e+01 | 122.29%| unknown
14.44/14.51 c 14.5s| 1 | 0 | 66877 | - | 75M | 0 |1835 |2391 |2145 | 35 | 9 | 93 | 0 |-4.001084e+01 |-1.800000e+01 | 122.28%| unknown
15.14/15.29 c 15.3s| 1 | 0 | 69958 | - | 78M | 0 |1835 |2391 |2147 | 37 | 10 | 96 | 0 |-4.001084e+01 |-1.800000e+01 | 122.28%| unknown
18.13/18.24 c 18.2s| 1 | 0 | 83438 | - | 79M | 0 |1835 |2392 |2150 | 40 | 11 | 97 | 0 |-3.989644e+01 |-1.800000e+01 | 121.65%| unknown
18.53/18.62 c 18.6s| 1 | 0 | 84944 | - | 79M | 0 |1835 |2392 |2153 | 43 | 12 | 99 | 0 |-3.989644e+01 |-1.800000e+01 | 121.65%| unknown
18.83/18.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.83/18.90 c 18.9s| 1 | 0 | 86055 | - | 80M | 0 |1835 |2395 |2155 | 45 | 13 | 102 | 0 |-3.989644e+01 |-1.800000e+01 | 121.65%| unknown
19.22/19.32 c 19.3s| 1 | 0 | 88011 | - | 80M | 0 |1835 |2393 |2159 | 49 | 14 | 103 | 0 |-3.989644e+01 |-1.800000e+01 | 121.65%| unknown
19.62/19.79 c 19.8s| 1 | 0 | 90190 | - | 81M | 0 |1835 |2393 |2161 | 51 | 15 | 105 | 0 |-3.989644e+01 |-1.800000e+01 | 121.65%| unknown
20.13/20.20 c 20.2s| 1 | 0 | 91940 | - | 82M | 0 |1835 |2393 |2163 | 53 | 16 | 106 | 0 |-3.989644e+01 |-1.800000e+01 | 121.65%| unknown
20.63/20.79 c 20.8s| 1 | 0 | 94525 | - | 82M | 0 |1835 |2395 |2154 | 55 | 17 | 108 | 0 |-3.989644e+01 |-1.800000e+01 | 121.65%| unknown
21.13/21.21 c 21.2s| 1 | 0 | 96300 | - | 82M | 0 |1835 |2395 |2156 | 57 | 18 | 109 | 0 |-3.989644e+01 |-1.800000e+01 | 121.65%| unknown
21.83/21.99 c 22.0s| 1 | 0 | 99836 | - | 83M | 0 |1835 |2398 |2158 | 59 | 19 | 113 | 0 |-3.989626e+01 |-1.800000e+01 | 121.65%| unknown
22.42/22.58 c 22.6s| 1 | 0 |102416 | - | 83M | 0 |1835 |2400 |2161 | 62 | 20 | 116 | 0 |-3.989626e+01 |-1.800000e+01 | 121.65%| unknown
22.93/23.09 c 23.1s| 1 | 0 |104740 | - | 83M | 0 |1835 |2409 |2162 | 63 | 21 | 125 | 0 |-3.989043e+01 |-1.800000e+01 | 121.61%| unknown
23.12/23.24 c 23.2s| 1 | 0 |105243 | - | 83M | 0 |1835 |2411 |2163 | 64 | 22 | 127 | 0 |-3.988816e+01 |-1.800000e+01 | 121.60%| unknown
23.32/23.49 c 23.5s| 1 | 0 |106166 | - | 83M | 0 |1835 |2411 |2144 | 65 | 23 | 128 | 0 |-3.988730e+01 |-1.800000e+01 | 121.60%| unknown
23.62/23.79 c 23.8s| 1 | 0 |107389 | - | 83M | 0 |1835 |2415 |2145 | 66 | 24 | 134 | 0 |-3.988711e+01 |-1.800000e+01 | 121.60%| unknown
23.82/23.99 c 24.0s| 1 | 0 |108123 | - | 83M | 0 |1835 |2417 |2147 | 68 | 25 | 136 | 0 |-3.988695e+01 |-1.800000e+01 | 121.59%| unknown
36.08/36.21 c 36.2s| 1 | 2 |165805 | - | 84M | 0 |1835 |2437 |2147 | 68 | 26 | 163 | 11 |-3.988695e+01 |-1.800000e+01 | 121.59%| unknown
129.30/129.73 o -19
129.30/129.73 c * 130s| 23 | 22 |501253 |17869.5 | LP | 5 |1835 |2516 |2135 | 68 | 0 | 274 | 207 |-3.988695e+01 |-1.900000e+01 | 109.93%| unknown
147.74/148.23 o -20
147.74/148.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
147.74/148.23 c * 148s| 27 | 26 |586255 |18389.7 | LP | 5 |1835 |2516 |2135 | 68 | 0 | 276 | 218 |-3.988695e+01 |-2.000000e+01 | 99.43%| unknown
360.04/361.22 c 361s| 100 | 99 | 1530k|14367.3 | 104M | 13 |1835 |2736 |2150 | 193 | 1 | 851 | 660 |-3.988695e+01 |-2.000000e+01 | 99.43%| unknown
542.43/544.27 c 544s| 200 | 193 | 2360k|11316.8 | 122M | 44 |1835 |2662 |2160 | 366 | 1 | 882 |1123 |-3.988695e+01 |-2.000000e+01 | 99.43%| unknown
640.31/642.45 o -24
640.31/642.45 c L 642s| 279 | 258 | 2808k|9712.8 | rins| 44 |1835 |2687 |2170 | 482 | 1 | 942 |1393 |-3.988695e+01 |-2.400000e+01 | 66.20%| unknown
659.34/661.58 c 662s| 300 | 277 | 2910k|9372.0 | 127M | 44 |1835 |2687 |2173 | 485 | 1 | 951 |1447 |-3.988695e+01 |-2.400000e+01 | 66.20%| unknown
772.37/774.92 c 775s| 400 | 347 | 3539k|8600.6 | 129M | 44 |1835 |2730 |2180 | 624 | 0 |1061 |1594 |-3.988695e+01 |-2.400000e+01 | 66.20%| unknown
881.22/884.15 c 884s| 500 | 419 | 4092k|7984.4 | 132M | 44 |1835 |2744 |2202 | 751 | 0 |1192 |1760 |-3.988695e+01 |-2.400000e+01 | 66.20%| unknown
1037.10/1040.55 c 1041s| 600 | 492 | 4818k|7863.2 | 138M | 46 |1835 |2710 |2181 |1151 | 1 |1341 |2135 |-3.988695e+01 |-2.400000e+01 | 66.20%| unknown
1185.01/1188.91 c 1189s| 700 | 574 | 5494k|7706.2 | 140M | 46 |1835 |2660 |2207 |1356 | 1 |1456 |2469 |-3.988695e+01 |-2.400000e+01 | 66.20%| unknown
1330.23/1334.65 c 1335s| 800 | 650 | 6199k|7624.3 | 141M | 47 |1835 |2714 |2168 |1543 | 0 |1662 |2861 |-3.988695e+01 |-2.400000e+01 | 66.20%| unknown
1464.40/1469.27 c 1469s| 900 | 730 | 6915k|7572.7 | 142M | 47 |1835 |2719 |2158 |1663 | 1 |1790 |3119 |-3.988695e+01 |-2.400000e+01 | 66.20%| unknown
1598.06/1603.34 c 1603s| 1000 | 806 | 7685k|7585.0 | 144M | 47 |1835 |2807 |2176 |2012 | 1 |1949 |3241 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1687.37/1692.99 c 1693s| 1100 | 866 | 8240k|7400.0 | 148M | 47 |1835 |2863 |2173 |2274 | 1 |2093 |3291 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1725.24/1730.91 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1725.24/1730.91 c (run 1, node 1129) performing user restart
1725.24/1730.91 c
1725.24/1730.91 c (restart) converted 24 cuts from the global cut pool into linear constraints
1725.24/1730.91 c
1725.24/1730.97 c presolving:
1725.24/1730.97 c (round 1, fast) 0 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 232 clqs
1725.24/1730.99 c (round 2, exhaustive) 0 del vars, 15 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 153 upgd conss, 0 impls, 232 clqs
1725.24/1730.99 c (round 3, medium) 0 del vars, 15 del conss, 0 add conss, 0 chg bounds, 10 chg sides, 9 chg coeffs, 153 upgd conss, 0 impls, 232 clqs
1725.35/1731.02 c (round 4, exhaustive) 0 del vars, 83 del conss, 0 add conss, 0 chg bounds, 10 chg sides, 482 chg coeffs, 153 upgd conss, 0 impls, 232 clqs
1725.35/1731.05 c (round 5, exhaustive) 0 del vars, 84 del conss, 0 add conss, 0 chg bounds, 10 chg sides, 525 chg coeffs, 153 upgd conss, 0 impls, 232 clqs
1725.35/1731.09 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
1725.35/1731.09 c 0 deleted vars, 84 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 10 changed sides, 525 changed coefficients
1725.35/1731.09 c 0 implications, 232 cliques
1725.35/1731.09 c presolved problem has 1835 variables (1835 bin, 0 int, 0 impl, 0 cont) and 2785 constraints
1725.35/1731.09 c 139 constraints of type <knapsack>
1725.35/1731.09 c 232 constraints of type <setppc>
1725.35/1731.09 c 13 constraints of type <linear>
1725.35/1731.09 c 2401 constraints of type <logicor>
1725.35/1731.09 c transformed objective value is always integral (scale: 1)
1725.35/1731.09 c Presolving Time: 0.25
1725.35/1731.09 c transformed 6/6 original solutions to the transformed problem space
1725.35/1731.09 c
1728.23/1733.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1728.23/1733.99 c 1734s| 1 | 0 | 8460k| - | 148M | 0 |1835 |2785 |2134 | 0 | 0 |2113 |3322 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1729.23/1734.99 c 1735s| 1 | 0 | 8462k| - | 149M | 0 |1835 |2786 |2137 | 3 | 1 |2114 |3322 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1733.11/1738.83 c 1739s| 1 | 0 | 8476k| - | 149M | 0 |1835 |2788 |2140 | 6 | 2 |2116 |3322 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1734.01/1739.74 c 1740s| 1 | 0 | 8478k| - | 149M | 0 |1835 |2797 |2145 | 11 | 3 |2125 |3322 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1735.01/1740.79 c 1741s| 1 | 0 | 8481k| - | 149M | 0 |1835 |2798 |2149 | 15 | 4 |2127 |3322 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1738.70/1744.45 c 1744s| 1 | 0 | 8495k| - | 149M | 0 |1835 |2801 |2152 | 18 | 5 |2130 |3322 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1739.59/1745.34 c 1745s| 1 | 0 | 8496k| - | 149M | 0 |1835 |2802 |2154 | 20 | 6 |2132 |3322 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1740.40/1746.15 c 1746s| 1 | 0 | 8498k| - | 149M | 0 |1835 |2811 |2157 | 23 | 7 |2141 |3322 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1741.19/1746.91 c 1747s| 1 | 0 | 8499k| - | 149M | 0 |1835 |2811 |2159 | 25 | 8 |2142 |3322 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1742.29/1748.01 c 1748s| 1 | 0 | 8503k| - | 149M | 0 |1835 |2809 |2162 | 28 | 9 |2146 |3322 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1743.29/1749.02 c 1749s| 1 | 0 | 8505k| - | 149M | 0 |1835 |2809 |2164 | 30 | 10 |2149 |3322 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1744.18/1749.97 c 1750s| 1 | 0 | 8508k| - | 149M | 0 |1835 |2810 |2159 | 33 | 11 |2152 |3322 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1751.55/1757.38 c 1757s| 1 | 2 | 8523k| - | 149M | 0 |1835 |2805 |2159 | 33 | 11 |2161 |3344 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
1947.51/1953.95 c 1954s| 100 | 99 | 9590k|7669.3 | 151M | 29 |1835 |3113 |2152 | 60 | 1 |2581 |3472 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
2076.59/2083.43 c 2083s| 200 | 165 | 10129k|7497.3 | 161M | 44 |1835 |2847 |2161 | 160 | 2 |2722 |3841 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
2156.56/2163.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2156.56/2163.67 c 2164s| 300 | 221 | 10511k|7240.2 | 170M | 44 |1835 |2835 |2177 | 222 | 1 |2940 |4050 |-3.950438e+01 |-2.400000e+01 | 64.60%| unknown
2246.41/2253.70 c 2254s| 400 | 287 | 10862k|6996.0 | 171M | 44 |1835 |2781 |2174 | 379 | 1 |3066 |4473 |-3.938100e+01 |-2.400000e+01 | 64.09%| unknown
2347.23/2354.81 c 2355s| 500 | 325 | 11127k|6728.6 | 172M | 44 |1835 |2853 |2167 | 518 | 1 |3391 |5173 |-3.938100e+01 |-2.400000e+01 | 64.09%| unknown
2411.95/2419.70 c 2420s| 600 | 395 | 11408k|6502.0 | 172M | 44 |1835 |2945 |2176 | 698 | 1 |3685 |5524 |-3.938100e+01 |-2.400000e+01 | 64.09%| unknown
2461.01/2468.93 c 2469s| 700 | 447 | 11707k|6310.1 | 174M | 44 |1835 |2976 |2187 | 842 | 4 |3855 |5659 |-3.938100e+01 |-2.400000e+01 | 64.09%| unknown
2507.30/2515.31 c 2515s| 800 | 501 | 11976k|6122.2 | 175M | 44 |1835 |3036 |2209 |1051 | 2 |4024 |5751 |-3.938100e+01 |-2.400000e+01 | 64.09%| unknown
2538.51/2546.66 c 2547s| 900 | 543 | 12176k|5919.1 | 176M | 45 |1835 |3062 |2162 |1151 | 1 |4130 |5796 |-3.938100e+01 |-2.400000e+01 | 64.09%| unknown
2588.07/2596.30 c 2596s| 1000 | 595 | 12489k|5788.0 | 177M | 45 |1835 |3070 |2205 |1501 | 0 |4269 |5857 |-3.938100e+01 |-2.400000e+01 | 64.09%| unknown
2613.40/2621.71 c 2622s| 1100 | 617 | 12631k|5592.1 | 178M | 56 |1835 |3103 |2231 |1632 | 0 |4362 |5894 |-3.938100e+01 |-2.400000e+01 | 64.09%| unknown
2638.13/2646.58 c 2647s| 1200 | 639 | 12789k|5419.3 | 178M | 65 |1835 |3043 |2173 |1801 | 1 |4401 |5912 |-3.938100e+01 |-2.400000e+01 | 64.09%| unknown
2703.85/2712.43 c 2712s| 1300 | 699 | 13153k|5346.2 | 179M | 65 |1835 |3001 |2204 |1984 | 2 |4482 |6012 |-3.938100e+01 |-2.400000e+01 | 64.09%| unknown
2751.02/2759.74 c 2760s| 1400 | 749 | 13395k|5230.4 | 180M | 65 |1835 |3015 |2188 |2093 | 1 |4565 |6106 |-3.935643e+01 |-2.400000e+01 | 63.99%| unknown
2811.55/2820.40 c 2820s| 1500 | 805 | 13734k|5160.5 | 182M | 65 |1835 |3076 |2231 |2323 | 7 |4708 |6176 |-3.935643e+01 |-2.400000e+01 | 63.99%| unknown
2886.95/2896.10 c 2896s| 1600 | 877 | 14177k|5133.6 | 184M | 65 |1835 |3092 |2241 |2494 | 1 |4801 |6196 |-3.928811e+01 |-2.400000e+01 | 63.70%| unknown
2927.43/2936.62 c 2937s| 1700 | 927 | 14424k|5039.6 | 186M | 65 |1835 |3115 |2263 |2730 | 1 |4870 |6206 |-3.928811e+01 |-2.400000e+01 | 63.70%| unknown
2968.51/2977.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2968.51/2977.81 c 2978s| 1800 | 971 | 14638k|4940.6 | 187M | 65 |1835 |3101 |2266 |2981 | 0 |4920 |6259 |-3.928811e+01 |-2.400000e+01 | 63.70%| unknown
3011.99/3021.49 c 3021s| 1900 | 1019 | 14849k|4847.1 | 190M | 65 |1835 |3086 |2212 |3246 | 1 |5022 |6376 |-3.928811e+01 |-2.400000e+01 | 63.70%| unknown
3036.82/3046.37 c 3046s| 2000 | 1035 | 14964k|4728.8 | 190M | 65 |1835 |3079 |2275 |3403 | 1 |5080 |6450 |-3.928811e+01 |-2.400000e+01 | 63.70%| unknown
3077.81/3087.40 c 3087s| 2100 | 1051 | 15161k|4643.3 | 191M | 65 |1835 |3048 |2209 |3705 | 0 |5163 |6565 |-3.928811e+01 |-2.400000e+01 | 63.70%| unknown
3120.99/3130.71 c 3131s| 2200 | 1087 | 15364k|4564.8 | 191M | 65 |1835 |3020 |2183 |3889 | 1 |5224 |6675 |-3.928811e+01 |-2.400000e+01 | 63.70%| unknown
3197.18/3207.10 c 3207s| 2300 | 1129 | 15760k|4547.2 | 193M | 65 |1835 |3052 |2249 |4321 | 4 |5324 |6781 |-3.913836e+01 |-2.400000e+01 | 63.08%| unknown
3238.06/3248.12 c 3248s| 2400 | 1153 | 15911k|4461.0 | 195M | 72 |1835 |3041 |2229 |4553 | 1 |5387 |6916 |-3.913836e+01 |-2.400000e+01 | 63.08%| unknown
3264.78/3274.94 c 3275s| 2500 | 1175 | 16036k|4372.5 | 196M | 74 |1835 |3055 |2269 |4764 | 0 |5449 |6991 |-3.913836e+01 |-2.400000e+01 | 63.08%| unknown
3330.80/3341.10 c 3341s| 2600 | 1219 | 16369k|4344.7 | 197M | 74 |1835 |3038 |2167 |5022 | 3 |5534 |7076 |-3.908238e+01 |-2.400000e+01 | 62.84%| unknown
3452.86/3463.50 c 3463s| 2700 | 1291 | 16973k|4389.0 | 197M | 74 |1835 |3027 |2163 |5074 | 1 |5666 |7322 |-3.899045e+01 |-2.400000e+01 | 62.46%| unknown
3569.04/3580.05 c 3580s| 2800 | 1335 | 17360k|4375.6 | 198M | 74 |1835 |3108 |2175 |5141 | 1 |6035 |7886 |-3.895028e+01 |-2.400000e+01 | 62.29%| unknown
3585.99/3597.00 c
3585.99/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.99/3597.00 c Solving Time (sec) : 3597.00
3585.99/3597.00 c Solving Nodes : 2828 (total of 3957 nodes in 2 runs)
3585.99/3597.00 c Primal Bound : -2.40000000000000e+01 (6 solutions)
3585.99/3597.00 c Dual Bound : -3.89502793074518e+01
3585.99/3597.00 c Gap : 62.29 %
3585.99/3597.01 s SATISFIABLE
3585.99/3597.01 v -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817
3585.99/3597.01 v -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799
3585.99/3597.01 v -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781
3585.99/3597.01 v -x1780 -x1779 -x1778 -x1777 -x1776 x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763
3585.99/3597.01 v -x1762 -x1761 -x1760 -x1759 x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745
3585.99/3597.01 v -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728
3585.99/3597.01 v -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710
3585.99/3597.01 v -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692
3585.99/3597.01 v -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674
3585.99/3597.01 v -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656
3585.99/3597.01 v -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 x1640 -x1639 -x1638
3585.99/3597.01 v -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620
3585.99/3597.01 v -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602
3585.99/3597.01 v -x1601 -x1600 -x1599 -x1598 x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584
3585.99/3597.01 v -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566
3585.99/3597.01 v -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548
3585.99/3597.01 v -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531
3585.99/3597.01 v -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513
3585.99/3597.01 v -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 x1495
3585.99/3597.01 v -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477
3585.99/3597.01 v -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459
3585.99/3597.01 v -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441
3585.99/3597.01 v -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 x1428 -x1427 -x1426 -x1425 -x1424 -x1423
3585.99/3597.01 v -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 x1407 -x1406 -x1405
3585.99/3597.01 v -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387
3585.99/3597.01 v -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369
3585.99/3597.01 v -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352
3585.99/3597.01 v -x1351 x1350 -x1349 -x1348 -x1347 x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333
3585.99/3597.01 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316
3585.99/3597.01 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298
3585.99/3597.01 v -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280
3585.99/3597.01 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262
3585.99/3597.01 v -x1261 -x1260 x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244
3585.99/3597.01 v -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226
3585.99/3597.01 v -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208
3585.99/3597.01 v -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190
3585.99/3597.01 v -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173
3585.99/3597.01 v -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 x1157 -x1156 -x1155
3585.99/3597.01 v -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137
3585.99/3597.01 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119
3585.99/3597.01 v -x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101
3585.99/3597.01 v -x1100 -x1099 -x1098 -x1097 -x1096 x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083
3585.99/3597.01 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065
3585.99/3597.01 v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047
3585.99/3597.01 v -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029
3585.99/3597.01 v -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011
3585.99/3597.01 v -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992
3585.99/3597.01 v -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972
3585.99/3597.01 v -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951
3585.99/3597.01 v -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930
3585.99/3597.01 v x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909
3585.99/3597.01 v -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888
3585.99/3597.01 v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867
3585.99/3597.01 v -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846
3585.99/3597.01 v -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826
3585.99/3597.01 v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 x809 -x808 -x807 -x806 -x805
3585.99/3597.01 v -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 -x785 -x784
3585.99/3597.01 v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763
3585.99/3597.01 v -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742
3585.99/3597.01 v -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721
3585.99/3597.01 v -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700
3585.99/3597.01 v -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679
3585.99/3597.01 v -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658
3585.99/3597.01 v -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637
3585.99/3597.01 v -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616
3585.99/3597.01 v -x615 -x614 -x613 -x612 -x611 -x610 x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595
3585.99/3597.01 v -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574
3585.99/3597.01 v -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553
3585.99/3597.01 v -x552 -x551 -x550 -x549 -x548 -x547 -x546 x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532
3585.99/3597.01 v -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 x512 -x511
3585.99/3597.01 v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490
3585.99/3597.01 v -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470
3585.99/3597.01 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449
3585.99/3597.01 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428
3585.99/3597.01 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407
3585.99/3597.01 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386
3585.99/3597.01 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
3585.99/3597.01 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344
3585.99/3597.01 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
3585.99/3597.01 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
3585.99/3597.01 v -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281
3585.99/3597.01 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260
3585.99/3597.01 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240
3585.99/3597.01 v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219
3585.99/3597.01 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
3585.99/3597.01 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
3585.99/3597.01 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
3585.99/3597.01 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
3585.99/3597.01 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115
3585.99/3597.01 v -x114 x113 -x112 -x111 x110 -x109 -x108 x107 x106 -x105 -x104 x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91
3585.99/3597.01 v -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 x69 -x68 -x67 x66 -x65
3585.99/3597.01 v -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40
3585.99/3597.01 v -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 x29 x28 -x27 x26 x25 -x24 -x23 x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13
3585.99/3597.01 v -x12 -x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3585.99/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3585.99/3597.01 c Total Time : 3597.00
3585.99/3597.01 c solving : 3597.00
3585.99/3597.01 c presolving : 0.25 (included in solving)
3585.99/3597.01 c reading : 0.01 (included in solving)
3585.99/3597.01 c copying : 0.51 (60 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3585.99/3597.01 c Original Problem :
3585.99/3597.01 c Problem name : HOME/instance-4502426-1751426867.opb
3585.99/3597.01 c Variables : 1835 (1835 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.99/3597.01 c Constraints : 2112 initial, 2112 maximal
3585.99/3597.01 c Objective : minimize, 120 non-zeros (abs.min = 1, abs.max = 1)
3585.99/3597.01 c Presolved Problem :
3585.99/3597.01 c Problem name : t_HOME/instance-4502426-1751426867.opb
3585.99/3597.01 c Variables : 1835 (1835 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.99/3597.01 c Constraints : 2785 initial, 3129 maximal
3585.99/3597.01 c Objective : minimize, 120 non-zeros (abs.min = 1, abs.max = 1)
3585.99/3597.01 c Nonzeros : 46078 constraint, 3888 clique table
3585.99/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.99/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c domcol : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c gateextraction : 0.01 0.00 6 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c sparsify : 0.04 0.00 2 0 0 0 0 0 0 0 0 1715
3585.99/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c trivial : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c dualfix : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c knapsack : 0.02 0.00 22 0 0 0 0 0 0 0 9 11
3585.99/3597.01 c setppc : 0.00 0.00 22 0 0 0 0 0 1 0 0 0
3585.99/3597.01 c linear : 0.02 0.00 15 0 0 0 0 0 3 0 1 0
3585.99/3597.01 c logicor : 0.09 0.01 21 0 0 0 0 0 82 0 0 514
3585.99/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c root node : - - - 0 - - 0 - - - - -
3585.99/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.99/3597.01 c benderslp : 0 0 0 0 3820 0 1 956 0 0 0 0 0 0 0
3585.99/3597.01 c integral : 0 0 0 0 3820 0 0 956 0 0 2066 0 0 1589 6202
3585.99/3597.01 c knapsack : 139+ 141 37 112269 0 0 1 949 27124 10 21084 0 0 0 0
3585.99/3597.01 c setppc : 232+ 318 37 112262 0 0 1 26 163685 205 53736 0 0 0 0
3585.99/3597.01 c linear : 13+ 21 37 111335 0 0 0 3 970 17 1433 8 5 0 0
3585.99/3597.01 c logicor : 2401+ 2737 37 90267 0 0 1 13 264024 816 103920 8 6 0 0
3585.99/3597.01 c benders : 0 0 0 0 0 0 1 15 0 0 0 0 0 0 0
3585.99/3597.01 c fixedvar : 0 0 0 0 0 0 1 15 0 0 0 0 0 0 0
3585.99/3597.01 c countsols : 0 0 0 0 0 0 1 15 0 0 0 0 0 0 0
3585.99/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.99/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.01 c integral : 846.72 0.00 0.00 0.00 846.72 0.00 0.00 0.00 0.00 0.00
3585.99/3597.01 c knapsack : 2.90 0.00 0.75 0.83 0.00 0.00 0.00 0.01 0.03 1.28
3585.99/3597.01 c setppc : 1.17 0.00 0.00 0.25 0.00 0.00 0.00 0.00 0.02 0.89
3585.99/3597.01 c linear : 2.35 0.00 2.17 0.07 0.00 0.00 0.00 0.00 0.00 0.10
3585.99/3597.01 c logicor : 3.10 0.01 0.01 0.75 0.00 0.00 0.00 0.00 0.12 2.21
3585.99/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.01 c components : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.01
3585.99/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.99/3597.01 c dualfix : 3 0 0 0
3585.99/3597.01 c genvbounds : 0 0 0 0
3585.99/3597.01 c nlobbt : 0 0 0 0
3585.99/3597.01 c obbt : 0 0 0 0
3585.99/3597.01 c probing : 0 0 0 0
3585.99/3597.01 c pseudoobj : 20042 0 0 0
3585.99/3597.01 c redcost : 3735 0 0 69341
3585.99/3597.01 c rootredcost : 5 0 0 0
3585.99/3597.01 c symmetry : 46957 0 0 150
3585.99/3597.01 c vbounds : 16427 0 0 0
3585.99/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.99/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.01 c genvbounds : 0.02 0.00 0.00 0.01 0.00 0.01
3585.99/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.01 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.01 c pseudoobj : 0.03 0.00 0.00 0.02 0.00 0.00
3585.99/3597.01 c redcost : 0.27 0.00 0.00 0.27 0.00 0.00
3585.99/3597.01 c rootredcost : 0.02 0.00 0.00 0.01 0.00 0.01
3585.99/3597.01 c symmetry : 0.64 0.00 0.01 0.31 0.00 0.31
3585.99/3597.01 c vbounds : 0.07 0.00 0.00 0.05 0.00 0.02
3585.99/3597.01 c Symmetry :
3585.99/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.99/3597.01 c orbital reduction: 150 reductions applied, 0 cutoffs
3585.99/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.99/3597.01 c shadow tree time : 0.01 s
3585.99/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.99/3597.01 c propagation : 0.13 1024 999 - 5183 61.5 126 15.3 - - -
3585.99/3597.01 c infeasible LP : 0.36 429 408 - 3294 190.5 9 11.7 103 139.9 0
3585.99/3597.01 c bound exceed. LP : 2.66 1155 248 - 2794 277.0 7 11.1 12 158.7 9297
3585.99/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.99/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.99/3597.01 c applied globally : 0.15 - - 0 5929 57.9 - - 115 - -
3585.99/3597.01 c applied locally : - - - 0 1 308.0 - - 0 - -
3585.99/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.99/3597.01 c cut pool : 0.89 - 2195 66 - - 6544 26926 - - - - - (maximal pool size: 1130)
3585.99/3597.01 c aggregation : 13.11 0.00 904 37 0 0 2 3 0 2 2 0 0
3585.99/3597.01 c > cmir : - - - - - - - 3 0 2 2 0 -
3585.99/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.99/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.99/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c clique : 0.06 0.00 37 37 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c gomory : 36.60 0.00 678 20 0 0 4896 11831 0 326 326 0 0
3585.99/3597.01 c > gomorymi : - - - - - - - 7063 0 203 203 0 -
3585.99/3597.01 c > strongcg : - - - - - - - 4768 0 123 123 0 -
3585.99/3597.01 c impliedbounds : 0.03 0.00 904 37 0 0 4 5 0 3 3 0 0
3585.99/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c multilinear : 0.00 0.00 112 37 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c rapidlearning : 22.49 0.00 42 2 0 4123 0 0 0 0 0 0 431
3585.99/3597.01 c rlt : 0.00 0.00 191 20 0 0 0 0 0 0 0 0 0
3585.99/3597.01 c zerohalf : 8.05 0.00 689 31 0 0 1648 15087 6 7127 7121 6 0
3585.99/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.99/3597.01 c hybrid : 0.09 0.00 1342 36 7473 0 19464 101 0 1137
3585.99/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3585.99/3597.01 c problem variables: 0.00 - 0 0
3585.99/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.99/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c inference : 0.00 0.00 0 0 1 0 0 0 0 2
3585.99/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c relpscost : 846.72 0.00 3820 0 0 0 2066 0 2237 6202
3585.99/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.99/3597.01 c LP solutions : 0.00 - - 0 0
3585.99/3597.01 c relax solutions : 0.00 - - 0 0
3585.99/3597.01 c pseudo solutions : 0.00 - - 0 0
3585.99/3597.01 c strong branching : 0.02 - - 0 0
3585.99/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3585.99/3597.01 c adaptivediving : 18.20 0.00 12 0 0
3585.99/3597.01 c alns : 0.10 0.00 5 0 0
3585.99/3597.01 c bound : 0.00 0.00 0 0 0
3585.99/3597.01 c clique : 0.01 0.00 1 0 0
3585.99/3597.01 c coefdiving : 0.00 0.00 0 0 0
3585.99/3597.01 c completesol : 0.00 0.00 0 0 0
3585.99/3597.01 c conflictdiving : 25.87 0.00 28 0 0
3585.99/3597.01 c crossover : 0.09 0.00 4 1 0
3585.99/3597.01 c dins : 0.00 0.00 0 0 0
3585.99/3597.01 c distributiondivin: 44.25 0.00 27 0 0
3585.99/3597.01 c dps : 0.00 0.00 0 0 0
3585.99/3597.01 c dualval : 0.00 0.00 0 0 0
3585.99/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3585.99/3597.01 c feasjump : 0.00 0.00 0 0 0
3585.99/3597.01 c feaspump : 51.91 0.00 14 0 0
3585.99/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3585.99/3597.01 c fracdiving : 29.85 0.00 28 0 0
3585.99/3597.01 c gins : 0.01 0.00 0 0 0
3585.99/3597.01 c guideddiving : 21.28 0.00 28 0 0
3585.99/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3585.99/3597.01 c indicator : 0.00 0.00 0 0 0
3585.99/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3585.99/3597.01 c indoneopt : 0.00 0.00 0 0 0
3585.99/3597.01 c indrounding : 0.00 0.00 0 0 0
3585.99/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3585.99/3597.01 c intdiving : 0.00 0.00 0 0 0
3585.99/3597.01 c intshifting : 0.00 0.00 0 0 0
3585.99/3597.01 c linesearchdiving : 21.83 0.00 27 0 0
3585.99/3597.01 c localbranching : 0.00 0.00 0 0 0
3585.99/3597.01 c locks : 0.00 0.00 1 0 0
3585.99/3597.01 c lpface : 0.00 0.00 0 0 0
3585.99/3597.01 c mpec : 0.00 0.00 0 0 0
3585.99/3597.01 c multistart : 0.00 0.00 0 0 0
3585.99/3597.01 c mutation : 0.00 0.00 0 0 0
3585.99/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3585.99/3597.01 c objpscostdiving : 49.57 0.00 7 0 0
3585.99/3597.01 c octane : 0.00 0.00 0 0 0
3585.99/3597.01 c ofins : 0.00 0.00 0 0 0
3585.99/3597.01 c oneopt : 0.01 0.00 5 0 0
3585.99/3597.01 c padm : 0.00 0.00 0 0 0
3585.99/3597.01 c proximity : 0.00 0.00 0 0 0
3585.99/3597.01 c pscostdiving : 46.65 0.00 28 0 0
3585.99/3597.01 c randrounding : 0.22 0.00 965 0 0
3585.99/3597.01 c rens : 0.08 0.00 2 0 0
3585.99/3597.01 c reoptsols : 0.00 0.00 0 0 0
3585.99/3597.01 c repair : 0.00 0.00 0 0 0
3585.99/3597.01 c rins : 0.20 0.00 7 1 1
3585.99/3597.01 c rootsoldiving : 35.55 0.00 13 0 0
3585.99/3597.01 c rounding : 0.21 0.00 1025 0 0
3585.99/3597.01 c scheduler : 0.00 0.00 0 0 0
3585.99/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3585.99/3597.01 c shifting : 0.39 0.00 582 0 0
3585.99/3597.01 c simplerounding : 0.00 0.00 0 0 0
3585.99/3597.01 c smallcard : 0.00 0.00 0 0 0
3585.99/3597.01 c subnlp : 0.00 0.00 0 0 0
3585.99/3597.01 c trivial : 0.00 0.00 4 0 0
3585.99/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3585.99/3597.01 c trustregion : 0.00 0.00 0 0 0
3585.99/3597.01 c trysol : 0.00 0.00 0 0 0
3585.99/3597.01 c twoopt : 0.00 0.00 0 0 0
3585.99/3597.01 c undercover : 0.00 0.00 0 0 0
3585.99/3597.01 c vbounds : 0.02 0.00 2 1 1
3585.99/3597.01 c veclendiving : 48.60 0.00 28 0 0
3585.99/3597.01 c zeroobj : 0.00 0.00 0 0 0
3585.99/3597.01 c zirounding : 0.07 0.00 1000 0 0
3585.99/3597.01 c other solutions : - - - 0 -
3585.99/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.99/3597.01 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
3585.99/3597.01 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
3585.99/3597.01 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
3585.99/3597.01 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
3585.99/3597.01 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
3585.99/3597.01 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
3585.99/3597.01 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
3585.99/3597.01 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
3585.99/3597.01 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
3585.99/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.99/3597.01 c primal LP : 1.15 681 102 51.00 88.46 1.13 679
3585.99/3597.01 c dual LP : 2263.13 7505 14713753 2426.01 6501.49 1.33 1440
3585.99/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3585.99/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.99/3597.01 c resolve instable : 0.12 1 1204 1204.00 10200.97
3585.99/3597.01 c diving/probing LP: 393.07 3176 2722063 857.07 6925.06
3585.99/3597.01 c strong branching : 827.99 7934 5221255 658.09 6305.97 - - 8510
3585.99/3597.01 c (at root node) : - 33 31052 940.97 -
3585.99/3597.01 c conflict analysis: 1.87 947 9297 9.82 4984.55
3585.99/3597.01 c B&B Tree :
3585.99/3597.01 c number of runs : 2
3585.99/3597.01 c nodes : 2828 (2090 internal, 738 leaves)
3585.99/3597.01 c feasible leaves : 0
3585.99/3597.01 c infeas. leaves : 165
3585.99/3597.01 c objective leaves : 572
3585.99/3597.01 c nodes (total) : 3957 (3102 internal, 855 leaves)
3585.99/3597.01 c nodes left : 1354
3585.99/3597.01 c max depth : 74
3585.99/3597.01 c max depth (total): 74
3585.99/3597.01 c backtracks : 421 (14.9%)
3585.99/3597.01 c early backtracks : 0 (0.0%)
3585.99/3597.01 c nodes exc. ref. : 0 (0.0%)
3585.99/3597.01 c delayed cutoffs : 0
3585.99/3597.01 c repropagations : 2462 (1540 domain reductions, 0 cutoffs)
3585.99/3597.01 c avg switch length: 4.92
3585.99/3597.01 c switching time : 1.92
3585.99/3597.01 c Root Node :
3585.99/3597.01 c First LP value : -4.19574468085106e+01
3585.99/3597.01 c First LP Iters : 10133 (7954.47 Iter/sec)
3585.99/3597.01 c First LP Time : 1.27
3585.99/3597.01 c Final Dual Bound : -3.95043844227482e+01
3585.99/3597.01 c Final Root Iters : 172806
3585.99/3597.01 c Root LP Estimate : -1.53274957135546e+01
3585.99/3597.01 c Solution :
3585.99/3597.01 c Solutions found : 6 (5 improvements)
3585.99/3597.01 c First Solution : -1.50000000000000e+01 (in run 1, after 1 nodes, 0.17 seconds, depth 171, found by <vbounds>)
3585.99/3597.01 c Gap First Sol. : 700.00 %
3585.99/3597.01 c Gap Last Sol. : 66.20 %
3585.99/3597.01 c Primal Bound : -2.40000000000000e+01 (in run 1, after 279 nodes, 642.44 seconds, depth 22, found by <rins>)
3585.99/3597.01 c Dual Bound : -3.89502793074518e+01
3585.99/3597.01 c Gap : 62.29 %
3585.99/3597.01 c Integrals : Total Avg%
3585.99/3597.01 c primal-dual : 148713.99 41.34
3585.99/3597.01 c primal-ref : - - (not evaluated)
3585.99/3597.01 c dual-ref : - - (not evaluated)
3585.99/3597.05 c Time complete: 3586.05.
OK -24
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 (54236 MiB free)
memory of node 1: 64507 MiB (63400 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502426-1751426867/watcher-4502426-1751426867 -o /tmp/evaluation-result-4502426-1751426867/solver-4502426-1751426867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751426802-65545 --watchdog 3760 pbscip -f HOME/instance-4502426-1751426867.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=65965, runsolver pid=65962
[startup+0.100069 s]*
/proc/loadavg: 2.91 1.60 1.75 5/266 65966
/proc/meminfo: memFree=120438980/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=65032 memory=38108 CPUtime=0.09 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 6390 0 0 0 8 1 0 0 20 0 1 0 58364520 66592768 9527 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 16258 9527 3744 3530 0 7709 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65032 KiB
Current children cumulated memory: 38108 KiB
[startup+0.20584 s]*
/proc/loadavg: 2.91 1.60 1.75 5/266 65966
/proc/meminfo: memFree=120423104/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=89344 memory=57308 CPUtime=0.19 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 11076 0 0 0 18 1 0 0 20 0 1 0 58364520 91488256 14327 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 22336 14327 3904 3530 0 13787 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 89344 KiB
Current children cumulated memory: 57308 KiB
[startup+0.305628 s]*
/proc/loadavg: 2.91 1.60 1.75 5/266 65966
/proc/meminfo: memFree=120423104/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=89476 memory=57436 CPUtime=0.29 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 11108 0 0 0 28 1 0 0 20 0 1 0 58364520 91623424 14359 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 22369 14359 3904 3530 0 13820 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 89476 KiB
Current children cumulated memory: 57436 KiB
[startup+0.700131 s]
/proc/loadavg: 2.91 1.60 1.75 5/262 65967
/proc/meminfo: memFree=120932308/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=90288 memory=58204 CPUtime=0.68 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 11307 0 0 0 67 1 0 0 20 0 1 0 58364520 92454912 14551 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 22572 14551 3904 3530 0 14023 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 90288 KiB
Current children cumulated memory: 58204 KiB
[startup+1.5001 s]
/proc/loadavg: 2.91 1.60 1.75 4/262 65974
/proc/meminfo: memFree=120934612/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=90704 memory=58844 CPUtime=1.48 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 11439 0 0 0 147 1 0 0 20 0 1 0 58364520 92880896 14711 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 22676 14711 3936 3530 0 14127 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90704 KiB
Current children cumulated memory: 58844 KiB
[startup+3.10561 s]
/proc/loadavg: 3.07 1.65 1.77 5/266 66011
/proc/meminfo: memFree=120779232/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=117476 memory=84340 CPUtime=3.08 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 18989 0 0 0 306 2 0 0 20 0 1 0 58364520 120295424 21085 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 29369 21085 3968 3530 0 20820 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 117476 KiB
Current children cumulated memory: 84340 KiB
[startup+6.30013 s]
/proc/loadavg: 3.07 1.65 1.77 5/266 66011
/proc/meminfo: memFree=120715228/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=117476 memory=84468 CPUtime=6.27 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 19008 0 0 0 625 2 0 0 20 0 1 0 58364520 120295424 21117 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 29369 21117 3968 3530 0 20820 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 117476 KiB
Current children cumulated memory: 84468 KiB
[startup+12.7001 s]
/proc/loadavg: 3.22 1.73 1.79 5/266 66011
/proc/meminfo: memFree=120715348/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=117476 memory=85748 CPUtime=12.65 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 19318 0 0 0 1263 2 0 0 20 0 1 0 58364520 120295424 21437 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 29369 21437 3968 3530 0 20820 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 117476 KiB
Current children cumulated memory: 85748 KiB
[startup+25.5002 s]
/proc/loadavg: 3.34 1.81 1.82 5/266 66056
/proc/meminfo: memFree=120946972/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=134924 memory=101876 CPUtime=25.42 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 23375 0 0 0 2539 3 0 0 20 0 1 0 58364520 138162176 25469 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 33731 25469 3968 3530 0 25182 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 134924 KiB
Current children cumulated memory: 101876 KiB
[startup+51.1055 s]
/proc/loadavg: 3.56 1.98 1.88 5/266 66057
/proc/meminfo: memFree=120402636/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=146012 memory=111476 CPUtime=50.94 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 25758 0 0 0 5091 3 0 0 20 0 1 0 58364520 149516288 27869 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 36503 27869 3968 3530 0 27954 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 146012 KiB
Current children cumulated memory: 111476 KiB
[startup+102.3 s]
/proc/loadavg: 3.89 2.34 2.01 5/265 66058
/proc/meminfo: memFree=120231444/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=149568 memory=115296 CPUtime=101.99 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 28681 0 0 0 10195 4 0 0 20 0 1 0 58364520 153157632 28824 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 37392 28824 3968 3530 0 28843 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 149568 KiB
Current children cumulated memory: 115296 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 2.68 2.15 5/265 66060
/proc/meminfo: memFree=119957556/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=157928 memory=130300 CPUtime=161.8 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 32956 0 0 0 16174 6 0 0 20 0 1 0 58364520 161718272 32575 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 39482 32575 3968 3530 0 30933 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 157928 KiB
Current children cumulated memory: 130300 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 2.95 2.28 5/266 66065
/proc/meminfo: memFree=119850820/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=159264 memory=133056 CPUtime=221.62 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 34647 0 0 0 22155 7 0 0 20 0 1 0 58364520 163086336 33264 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 39816 33264 3968 3530 0 31267 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 159264 KiB
Current children cumulated memory: 133056 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.14 2.39 5/265 66067
/proc/meminfo: memFree=119803532/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=157808 memory=131740 CPUtime=281.41 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 37196 0 0 0 28133 8 0 0 20 0 1 0 58364520 161595392 32935 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 39452 32935 3968 3530 0 30903 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 157808 KiB
Current children cumulated memory: 131740 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 3.35 2.51 5/264 66070
/proc/meminfo: memFree=119747344/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=159848 memory=133532 CPUtime=341.21 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 37711 0 0 0 34113 8 0 0 20 0 1 0 58364520 163684352 33383 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 39962 33383 3968 3530 0 31413 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 159848 KiB
Current children cumulated memory: 133532 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.49 2.61 5/265 66077
/proc/meminfo: memFree=119672548/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=165540 memory=138780 CPUtime=401 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 39011 0 0 0 40092 8 0 0 20 0 1 0 58364520 169512960 34695 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 41385 34695 3968 3530 0 32836 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 165540 KiB
Current children cumulated memory: 138780 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.60 2.70 5/265 66079
/proc/meminfo: memFree=119654516/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=173492 memory=146468 CPUtime=460.81 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 42483 0 0 0 46072 9 0 0 20 0 1 0 58364520 177655808 36617 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 43373 36617 3968 3530 0 34824 0
Current children cumulated CPU time: 460.81 s
################
# More data... #
################
/proc/loadavg: 4.11 4.12 4.06 5/263 66219
/proc/meminfo: memFree=117728068/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=256784 memory=231504 CPUtime=3152.5 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 83507 0 0 0 315230 20 0 0 20 0 1 0 58364520 262946816 57876 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 64196 57876 4160 3530 0 55647 0
Current children cumulated CPU time: 3152.5 s
Current children cumulated vsize: 256784 KiB
Current children cumulated memory: 231504 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.07 5/264 66224
/proc/meminfo: memFree=117723016/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=263044 memory=236764 CPUtime=3212.33 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 85554 0 0 0 321213 20 0 0 20 0 1 0 58364520 269357056 59191 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 65761 59191 4160 3530 0 57212 0
Current children cumulated CPU time: 3212.33 s
Current children cumulated vsize: 263044 KiB
Current children cumulated memory: 236764 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.07 5/264 66227
/proc/meminfo: memFree=117695908/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=263044 memory=236764 CPUtime=3272.16 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 85554 0 0 0 327196 20 0 0 20 0 1 0 58364520 269357056 59191 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 65761 59191 4160 3530 0 57212 0
Current children cumulated CPU time: 3272.16 s
Current children cumulated vsize: 263044 KiB
Current children cumulated memory: 236764 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/264 66229
/proc/meminfo: memFree=117687568/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=263044 memory=236764 CPUtime=3331.99 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 85634 0 0 0 333179 20 0 0 20 0 1 0 58364520 269357056 59191 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 65761 59191 4160 3530 0 57212 0
Current children cumulated CPU time: 3331.99 s
Current children cumulated vsize: 263044 KiB
Current children cumulated memory: 236764 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/264 66235
/proc/meminfo: memFree=117631888/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=263044 memory=236764 CPUtime=3391.83 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 85634 0 0 0 339163 20 0 0 20 0 1 0 58364520 269357056 59191 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 65761 59191 4160 3530 0 57212 0
Current children cumulated CPU time: 3391.83 s
Current children cumulated vsize: 263044 KiB
Current children cumulated memory: 236764 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/265 66238
/proc/meminfo: memFree=117598196/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=263044 memory=236764 CPUtime=3451.66 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 85634 0 0 0 345146 20 0 0 20 0 1 0 58364520 269357056 59191 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 65761 59191 4160 3530 0 57212 0
Current children cumulated CPU time: 3451.66 s
Current children cumulated vsize: 263044 KiB
Current children cumulated memory: 236764 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/265 66240
/proc/meminfo: memFree=117523048/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=263044 memory=236764 CPUtime=3511.49 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 85637 0 0 0 351129 20 0 0 20 0 1 0 58364520 269357056 59191 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 65761 59191 4160 3530 0 57212 0
Current children cumulated CPU time: 3511.49 s
Current children cumulated vsize: 263044 KiB
Current children cumulated memory: 236764 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.12 4.08 5/264 66288
/proc/meminfo: memFree=118282780/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=263044 memory=236764 CPUtime=3571.33 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 85637 0 0 0 357113 20 0 0 20 0 1 0 58364520 269357056 59191 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 65761 59191 4160 3530 0 57212 0
Current children cumulated CPU time: 3571.33 s
Current children cumulated vsize: 263044 KiB
Current children cumulated memory: 236764 KiB
[startup+3597.06 s]
# the end of solver process 65965 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.84 s, system=0.215151 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.12 4.08 5/264 66288
/proc/meminfo: memFree=118282780/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=263044 memory=236764 CPUtime=3573.03 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 85637 0 0 0 357283 20 0 0 20 0 1 0 58364520 269357056 59191 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 65761 59191 4160 3530 0 57212 0
Current children cumulated CPU time: 3573.03 s
Current children cumulated vsize: 263044 KiB
Current children cumulated memory: 236764 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.11 4.08 5/264 66288
/proc/meminfo: memFree=118282276/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=263044 memory=236764 CPUtime=3579.4 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 85637 0 0 0 357920 20 0 0 20 0 1 0 58364520 269357056 59191 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 65761 59191 4160 3530 0 57212 0
Current children cumulated CPU time: 3579.4 s
Current children cumulated vsize: 263044 KiB
Current children cumulated memory: 236764 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.11 4.08 5/264 66288
/proc/meminfo: memFree=118282780/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=263044 memory=236764 CPUtime=3582.59 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 85637 0 0 0 358239 20 0 0 20 0 1 0 58364520 269357056 59191 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 65761 59191 4160 3530 0 57212 0
Current children cumulated CPU time: 3582.59 s
Current children cumulated vsize: 263044 KiB
Current children cumulated memory: 236764 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.11 4.08 5/264 66288
/proc/meminfo: memFree=118266904/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=263044 memory=236764 CPUtime=3584.19 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 85637 0 0 0 358399 20 0 0 20 0 1 0 58364520 269357056 59191 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 65761 59191 4160 3530 0 57212 0
Current children cumulated CPU time: 3584.19 s
Current children cumulated vsize: 263044 KiB
Current children cumulated memory: 236764 KiB
[startup+3596 s]*
/proc/loadavg: 4.13 4.11 4.08 5/264 66288
/proc/meminfo: memFree=118266904/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=263044 memory=236764 CPUtime=3584.99 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 85637 0 0 0 358479 20 0 0 20 0 1 0 58364520 269357056 59191 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 65761 59191 4160 3530 0 57212 0
Current children cumulated CPU time: 3584.99 s
Current children cumulated vsize: 263044 KiB
Current children cumulated memory: 236764 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.11 4.08 5/264 66288
/proc/meminfo: memFree=118266904/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=263044 memory=236764 CPUtime=3585.79 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 85637 0 0 0 358559 20 0 0 20 0 1 0 58364520 269357056 59191 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 65761 59191 4160 3530 0 57212 0
Current children cumulated CPU time: 3585.79 s
Current children cumulated vsize: 263044 KiB
Current children cumulated memory: 236764 KiB
[startup+3597 s]*
/proc/loadavg: 4.13 4.11 4.08 5/264 66288
/proc/meminfo: memFree=118266904/131250000 swapFree=33010416/33010684
[pid=65965] ppid=65962 vsize=263044 memory=236764 CPUtime=3585.99 cores=1,3
/proc/65965/stat : 65965 (pbscip) R 65962 65965 65533 0 -1 4194304 85637 0 0 0 358579 20 0 0 20 0 1 0 58364520 269357056 59191 18446744073709551615 4235264 18693293 140726355047984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31805440 140726355057033 140726355057132 140726355057132 140726355062734 0
/proc/65965/statm: 65761 59191 4160 3530 0 57212 0
Current children cumulated CPU time: 3585.99 s
Current children cumulated vsize: 263044 KiB
Current children cumulated memory: 236764 KiB
Child status: 0
Real time (s): 3597.06
CPU time (s): 3586.05
CPU user time (s): 3585.84
CPU system time (s): 0.215151
CPU usage (%): 99.6942
Max. virtual memory (cumulated for all children) (KiB): 264140
Max. memory (cumulated for all children) (KiB): 237648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.84
system time used= 0.215151
maximum resident set size= 239696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85649
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= 118
involuntary context switches= 6339
# summary of solver processes directly reported to runsolver:
# pid: 65965
# total CPU time (s): 3586.05
# total CPU user time (s): 3585.84
# total CPU system time (s): 0.215151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.10184 second user time and 14.0181 second system time
The end
Begin job on nodeC018 at 2025-07-02 05:27:47 IDJOB=4502426 IDBENCH=155330 IDSOLVER=3365 FILE ID=nodeC018/4502426-1751426867 RUNJOBID= nodeC018-1751426802-65545 SLURM_JOB_ID= 9598360 Free space on /tmp= 432860 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-protfold.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502426-1751426867/watcher-4502426-1751426867 -o /tmp/evaluation-result-4502426-1751426867/solver-4502426-1751426867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751426802-65545 --watchdog 3760 pbscip -f HOME/instance-4502426-1751426867.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7d697abe2607c9e2486f4e4c4676f6ab RANDOM SEED=1269364660 nodeC018 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.821 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.66 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.909 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.66 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 : 3530.135 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.817 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.66 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.793 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.829 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.66 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 : 3529.375 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.290 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 120460320 kB MemAvailable: 128306532 kB Buffers: 2128 kB Cached: 8612684 kB SwapCached: 32 kB Active: 1779948 kB Inactive: 8276144 kB Active(anon): 1459036 kB Inactive(anon): 288 kB Active(file): 320912 kB Inactive(file): 8275856 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 37996 kB Writeback: 64 kB AnonPages: 1440672 kB Mapped: 138516 kB Shmem: 18044 kB KReclaimable: 176964 kB Slab: 267252 kB SReclaimable: 176964 kB SUnreclaim: 90288 kB KernelStack: 4272 kB PageTables: 6180 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1890660 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 182272 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432856 MiB End job on nodeC018 at 2025-07-02 06:27:44