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 | -142 | 3586.32 | 3597.18 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/bsg/normalized-bsg_500_10_4.opb |
| MD5SUM | 08873ac12267207049f5888e334cf105 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -152 |
| Best CPU time to get the best result obtained on this benchmark | 72000.3 |
| 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 | 1000 |
| Total number of constraints | 1501 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 12652 |
| Sum of products size (including duplicates) | 25304 |
| Number of different products | 6326 |
| Sum of products size | 12652 |
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-4498439-1751271833.opb>
0.00/0.02 c original problem has 7326 variables (1000 bin, 0 int, 6326 cont) and 8827 constraints
0.00/0.02 c original problem has 6326 implied integral variables (0 bin, 0 int, 6326 cont)
0.00/0.02 c problem read in 0.021 seconds
0.00/0.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.04 c presolving:
0.00/0.07 c (round 1, medium) 0 del vars, 8326 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 500 clqs
0.00/0.08 c (round 2, fast) 6326 del vars, 8326 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 500 clqs
0.00/0.09 c (round 3, exhaustive) 6326 del vars, 8326 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 0 impls, 500 clqs
0.09/0.12 c (0.1s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12 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) no symmetry present (symcode time: 0.00)
0.09/0.13 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.09/0.13 c 6326 deleted vars, 8326 deleted constraints, 1000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.13 c 0 implications, 500 cliques
0.09/0.13 c presolved problem has 1000 variables (1000 bin, 0 int, 0 cont) and 1501 constraints
0.09/0.13 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.09/0.13 c 1000 constraints of type <knapsack>
0.09/0.13 c 500 constraints of type <setppc>
0.09/0.13 c 1 constraints of type <linear>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.09
0.09/0.13 c
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c
0.09/0.13 c # SCIP version 10.0.0
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.13 c limits/time = 3596.998389
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.13 c limits/memory = 27900
0.09/0.13 c
0.09/0.13 c # belongs reading time to solving time?
0.09/0.13 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c timing/reading = TRUE
0.09/0.13 c
0.09/0.13 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.09/0.13 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.09/0.13 c reading/opbreader/maxintsize = 47
0.09/0.13 c
0.09/0.13 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.09/0.13 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.09/0.13 c propagating/genvbounds/timingmask = 0
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c transformed 1/1 original solutions to the transformed problem space
0.09/0.13 c
0.69/0.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.69/0.76 c 0.8s| 1 | 0 | 3609 | - | 43M | 0 |1000 |1503 |1501 | 0 | 0 | 2 | 0 |-2.500000e+02 | 0.000000e+00 | Inf | unknown
0.69/0.78 o -1
0.69/0.78 c r 0.8s| 1 | 0 | 3609 | - |rounding| 0 |1000 |1503 |1501 | 0 | 0 | 2 | 0 |-2.500000e+02 |-1.000000e+00 | Large | unknown
2.39/2.43 c 2.4s| 1 | 0 | 5510 | - | 80M | 0 |1000 |1503 |1583 | 82 | 1 | 2 | 0 |-2.490681e+02 |-1.000000e+00 | Large | unknown
2.39/2.43 o -90
2.39/2.43 c r 2.4s| 1 | 0 | 5510 | - |randroun| 0 |1000 |1503 |1583 | 0 | 1 | 2 | 0 |-2.490681e+02 |-9.000000e+01 | 176.74%| unknown
6.67/6.74 c 6.7s| 1 | 0 | 7924 | - | 103M | 0 |1000 |1503 |1671 | 170 | 2 | 2 | 0 |-2.445305e+02 |-9.000000e+01 | 171.70%| unknown
11.26/11.30 c 11.3s| 1 | 0 | 8754 | - | 130M | 0 |1000 |1503 |1758 | 257 | 3 | 2 | 0 |-2.442215e+02 |-9.000000e+01 | 171.36%| unknown
15.94/16.05 c 16.1s| 1 | 0 | 9529 | - | 159M | 0 |1000 |1503 |1852 | 351 | 4 | 2 | 0 |-2.441073e+02 |-9.000000e+01 | 171.23%| unknown
20.63/20.71 c 20.7s| 1 | 0 | 10269 | - | 175M | 0 |1000 |1503 |1950 | 449 | 5 | 2 | 0 |-2.440745e+02 |-9.000000e+01 | 171.19%| unknown
25.61/25.79 c 25.8s| 1 | 0 | 11261 | - | 205M | 0 |1000 |1503 |2049 | 548 | 6 | 2 | 0 |-2.440294e+02 |-9.000000e+01 | 171.14%| unknown
30.70/30.81 c 30.8s| 1 | 0 | 12205 | - | 217M | 0 |1000 |1503 |2156 | 655 | 7 | 2 | 0 |-2.439838e+02 |-9.000000e+01 | 171.09%| unknown
35.98/36.19 c 36.2s| 1 | 0 | 13338 | - | 223M | 0 |1000 |1503 |2260 | 759 | 8 | 2 | 0 |-2.439103e+02 |-9.000000e+01 | 171.01%| unknown
41.97/42.19 c 42.2s| 1 | 0 | 14913 | - | 239M | 0 |1000 |1503 |2361 | 860 | 9 | 2 | 0 |-2.438781e+02 |-9.000000e+01 | 170.98%| unknown
47.55/47.71 c 47.7s| 1 | 0 | 16000 | - | 258M | 0 |1000 |1503 |2465 | 964 | 10 | 2 | 0 |-2.438183e+02 |-9.000000e+01 | 170.91%| unknown
52.94/53.17 c 53.2s| 1 | 0 | 17207 | - | 260M | 0 |1000 |1503 |2559 |1068 | 11 | 2 | 0 |-2.437753e+02 |-9.000000e+01 | 170.86%| unknown
58.92/59.15 c 59.2s| 1 | 0 | 18868 | - | 261M | 0 |1000 |1503 |2651 |1160 | 12 | 2 | 0 |-2.437157e+02 |-9.000000e+01 | 170.80%| unknown
64.50/64.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
64.50/64.75 c 64.7s| 1 | 0 | 20230 | - | 262M | 0 |1000 |1503 |2754 |1263 | 13 | 2 | 0 |-2.436877e+02 |-9.000000e+01 | 170.76%| unknown
64.50/64.75 o -91
64.50/64.75 c r64.8s| 1 | 0 | 20230 | - |randroun| 0 |1000 |1503 |2754 | 0 | 13 | 2 | 0 |-2.436877e+02 |-9.100000e+01 | 167.79%| unknown
70.19/70.40 c 70.4s| 1 | 0 | 21290 | - | 262M | 0 |1000 |1503 |2858 |1367 | 14 | 2 | 0 |-2.436731e+02 |-9.100000e+01 | 167.77%| unknown
76.17/76.49 c 76.5s| 1 | 0 | 22915 | - | 262M | 0 |1000 |1503 |2949 |1458 | 15 | 2 | 0 |-2.436258e+02 |-9.100000e+01 | 167.72%| unknown
81.86/82.16 c 82.2s| 1 | 0 | 24110 | - | 262M | 0 |1000 |1503 |3043 |1552 | 16 | 2 | 0 |-2.436154e+02 |-9.100000e+01 | 167.71%| unknown
88.04/88.35 c 88.4s| 1 | 0 | 25633 | - | 263M | 0 |1000 |1503 |2884 |1636 | 17 | 2 | 0 |-2.435936e+02 |-9.100000e+01 | 167.69%| unknown
93.22/93.58 c 93.6s| 1 | 0 | 26610 | - | 263M | 0 |1000 |1503 |2968 |1720 | 18 | 2 | 0 |-2.435866e+02 |-9.100000e+01 | 167.68%| unknown
98.41/98.78 c 98.8s| 1 | 0 | 27553 | - | 263M | 0 |1000 |1503 |3036 |1788 | 19 | 2 | 0 |-2.435812e+02 |-9.100000e+01 | 167.67%| unknown
103.50/103.88 c 104s| 1 | 0 | 28290 | - | 264M | 0 |1000 |1503 |3107 |1859 | 20 | 2 | 0 |-2.435764e+02 |-9.100000e+01 | 167.67%| unknown
108.39/108.76 c 109s| 1 | 0 | 28811 | - | 264M | 0 |1000 |1503 |3167 |1919 | 21 | 2 | 0 |-2.435752e+02 |-9.100000e+01 | 167.67%| unknown
113.17/113.58 c 114s| 1 | 0 | 29345 | - | 264M | 0 |1000 |1503 |3215 |1967 | 22 | 2 | 0 |-2.435742e+02 |-9.100000e+01 | 167.66%| unknown
117.46/117.90 c 118s| 1 | 0 | 29488 | - | 264M | 0 |1000 |1503 |2784 |1991 | 23 | 2 | 0 |-2.435741e+02 |-9.100000e+01 | 167.66%| unknown
117.56/117.90 o -94
117.56/117.90 c r 118s| 1 | 0 | 29488 | - |randroun| 0 |1000 |1503 |2784 | 0 | 23 | 2 | 0 |-2.435741e+02 |-9.400000e+01 | 159.12%| unknown
121.95/122.35 c 122s| 1 | 0 | 29602 | - | 264M | 0 |1000 |1503 |2807 |2014 | 24 | 2 | 0 |-2.435741e+02 |-9.400000e+01 | 159.12%| unknown
126.14/126.52 c 127s| 1 | 0 | 29674 | - | 264M | 0 |1000 |1503 |2812 |2019 | 25 | 2 | 0 |-2.435741e+02 |-9.400000e+01 | 159.12%| unknown
128.83/129.23 o -96
128.83/129.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
128.83/129.23 c d 129s| 1 | 0 | 36212 | - |conflict| 0 |1000 |1503 |2812 | 0 | 25 | 2 | 0 |-2.435741e+02 |-9.600000e+01 | 153.72%| unknown
129.03/129.45 c 129s| 1 | 0 | 36212 | - | 264M | 0 |1000 |1503 |2812 |2019 | 25 | 2 | 0 |-2.435741e+02 |-9.600000e+01 | 153.72%| unknown
133.12/133.51 c 134s| 1 | 0 | 36221 | - | 264M | 0 |1000 |1503 |2815 |2022 | 26 | 2 | 0 |-2.435741e+02 |-9.600000e+01 | 153.72%| unknown
133.53/133.94 c 134s| 1 | 0 | 36225 | - | 264M | 0 |1000 |1503 |2816 |2023 | 27 | 2 | 0 |-2.435741e+02 |-9.600000e+01 | 153.72%| unknown
171.80/172.39 c 172s| 1 | 2 | 36225 | - | 264M | 0 |1000 |1503 |2816 |2023 | 27 | 2 | 27 |-2.434904e+02 |-9.600000e+01 | 153.64%| unknown
403.13/404.40 o -130
403.13/404.40 c d 404s| 15 | 16 | 49557 |1419.3 |pscostdi| 14 |1000 |1503 |2226 | 0 | 1 | 2 | 200 |-2.434904e+02 |-1.300000e+02 | 87.30%| unknown
441.89/443.38 o -137
441.89/443.38 c d 443s| 39 | 40 | 73568 |1154.8 |fracdivi| 15 |1000 |1515 |2277 | 0 | 1 | 18 | 216 |-2.434904e+02 |-1.370000e+02 | 77.73%| unknown
572.52/574.43 o -140
572.52/574.43 c d 574s| 100 | 101 |161245 |1328.9 |fracdivi| 18 |1000 |1515 |2230 | 0 | 1 | 18 | 243 |-2.433931e+02 |-1.400000e+02 | 73.85%| unknown
672.67/674.92 o -142
672.67/674.92 c d 675s| 142 | 143 |288674 |1836.8 |fracdivi| 18 |1000 |1515 |2076 | 0 | 1 | 18 | 260 |-2.430630e+02 |-1.420000e+02 | 71.17%| unknown
750.11/752.64 c 753s| 200 | 201 |395105 |1836.3 | 383M | 21 |1000 |1515 |2246 |7337 | 1 | 18 | 288 |-2.429732e+02 |-1.420000e+02 | 71.11%| unknown
883.25/886.23 c 886s| 300 | 301 |520705 |1642.2 | 387M | 21 |1000 |1515 |2194 |9356 | 1 | 18 | 332 |-2.428569e+02 |-1.420000e+02 | 71.03%| unknown
1026.36/1029.84 c 1030s| 400 | 401 |632097 |1509.8 | 393M | 21 |1000 |1515 |2229 | 11k| 1 | 18 | 383 |-2.428001e+02 |-1.420000e+02 | 70.99%| unknown
1092.46/1096.14 c 1096s| 500 | 501 |700419 |1344.2 | 395M | 24 |1000 |1514 |2348 | 12k| 1 | 18 | 397 |-2.427466e+02 |-1.420000e+02 | 70.95%| unknown
1132.24/1136.09 c 1136s| 600 | 581 |722918 |1157.3 | 397M | 101 |1000 |1514 |2639 | 12k| 0 | 18 | 399 |-2.427407e+02 |-1.420000e+02 | 70.94%| unknown
1159.17/1163.08 c 1163s| 700 | 607 |748783 |1028.7 | 399M | 110 |1000 |1514 |2640 | 13k| 1 | 20 | 401 |-2.427242e+02 |-1.420000e+02 | 70.93%| unknown
1160.36/1164.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1160.36/1164.22 c 1164s| 800 | 619 |752952 | 905.2 | 399M | 110 |1000 |1518 |2640 | 13k| 1 | 24 | 401 |-2.427242e+02 |-1.420000e+02 | 70.93%| unknown
1172.92/1176.86 c 1177s| 900 | 631 |767320 | 820.5 | 399M | 111 |1000 |1518 |2641 | 13k| 1 | 24 | 401 |-2.427198e+02 |-1.420000e+02 | 70.93%| unknown
1188.19/1192.11 c 1192s| 1000 | 643 |780559 | 751.6 | 399M | 119 |1000 |1518 |2643 | 13k| 1 | 24 | 402 |-2.427143e+02 |-1.420000e+02 | 70.93%| unknown
1215.21/1219.25 c 1219s| 1100 | 667 |805665 | 706.1 | 400M | 119 |1000 |1516 |2643 | 14k| 2 | 24 | 402 |-2.426662e+02 |-1.420000e+02 | 70.89%| unknown
1248.42/1252.56 c 1253s| 1200 | 703 |843777 | 679.0 | 400M | 119 |1000 |1515 |2125 | 14k| 1 | 24 | 402 |-2.426370e+02 |-1.420000e+02 | 70.87%| unknown
1280.83/1285.06 c 1285s| 1300 | 735 |880613 | 655.1 | 402M | 120 |1000 |1515 |2643 | 14k| 0 | 24 | 402 |-2.425881e+02 |-1.420000e+02 | 70.84%| unknown
1319.12/1323.41 c 1323s| 1400 | 763 |904057 | 625.0 | 403M | 127 |1000 |1515 |2645 | 15k| 2 | 24 | 424 |-2.425768e+02 |-1.420000e+02 | 70.83%| unknown
1328.00/1332.38 c 1332s| 1500 | 781 |916606 | 591.7 | 403M | 127 |1000 |1513 |2642 | 15k| 0 | 24 | 426 |-2.425762e+02 |-1.420000e+02 | 70.83%| unknown
1353.93/1358.34 c 1358s| 1600 | 811 |946100 | 573.1 | 404M | 127 |1000 |1513 |2642 | 15k| 1 | 24 | 426 |-2.425661e+02 |-1.420000e+02 | 70.82%| unknown
1368.59/1373.02 c 1373s| 1700 | 833 |957799 | 546.3 | 406M | 127 |1000 |1512 |2643 | 15k| 1 | 24 | 433 |-2.425593e+02 |-1.420000e+02 | 70.82%| unknown
1369.69/1374.12 c 1374s| 1800 | 837 |961459 | 517.9 | 406M | 127 |1000 |1514 |2642 | 15k| 1 | 26 | 443 |-2.425593e+02 |-1.420000e+02 | 70.82%| unknown
1370.69/1375.15 c 1375s| 1900 | 835 |964940 | 492.5 | 406M | 127 |1000 |1514 |2643 | 15k| 0 | 26 | 446 |-2.425593e+02 |-1.420000e+02 | 70.82%| unknown
1388.03/1392.52 c 1393s| 2000 | 851 |973955 | 472.4 | 406M | 127 |1000 |1514 |2194 | 15k| 2 | 26 | 465 |-2.425545e+02 |-1.420000e+02 | 70.81%| unknown
1413.96/1418.50 c 1418s| 2100 | 883 | 1004k| 464.6 | 406M | 127 |1000 |1514 |2644 | 15k| 2 | 26 | 466 |-2.425414e+02 |-1.420000e+02 | 70.80%| unknown
1425.73/1430.37 c 1430s| 2200 | 897 | 1018k| 449.6 | 406M | 127 |1000 |1516 |2642 | 16k| 1 | 28 | 466 |-2.425106e+02 |-1.420000e+02 | 70.78%| unknown
1451.66/1456.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1451.66/1456.34 c 1456s| 2300 | 921 | 1039k| 439.2 | 408M | 127 |1000 |1515 |2644 | 16k| 0 | 28 | 469 |-2.424998e+02 |-1.420000e+02 | 70.77%| unknown
1477.59/1482.38 c 1482s| 2400 | 965 | 1072k| 434.8 | 409M | 127 |1000 |1515 |2645 | 16k| 0 | 28 | 469 |-2.424478e+02 |-1.420000e+02 | 70.74%| unknown
1511.30/1516.12 c 1516s| 2500 | 1009 | 1103k| 429.6 | 411M | 127 |1000 |1515 |2642 | 16k| 1 | 28 | 469 |-2.424330e+02 |-1.420000e+02 | 70.73%| unknown
1512.20/1517.03 c 1517s| 2600 | 1015 | 1106k| 414.2 | 411M | 127 |1000 |1517 |2643 | 16k| 1 | 30 | 469 |-2.424330e+02 |-1.420000e+02 | 70.73%| unknown
1537.52/1542.40 c 1542s| 2700 | 1033 | 1138k| 410.7 | 411M | 127 |1000 |1515 |2642 | 17k| 1 | 30 | 469 |-2.424035e+02 |-1.420000e+02 | 70.71%| unknown
1551.99/1556.96 c 1557s| 2800 | 1051 | 1152k| 401.3 | 412M | 127 |1000 |1515 |2643 | 17k| 1 | 30 | 469 |-2.423917e+02 |-1.420000e+02 | 70.70%| unknown
1574.13/1579.18 c 1579s| 2900 | 1077 | 1173k| 394.5 | 413M | 127 |1000 |1513 |2131 | 17k| 1 | 30 | 469 |-2.423843e+02 |-1.420000e+02 | 70.69%| unknown
1576.92/1581.98 c 1582s| 3000 | 1077 | 1180k| 383.6 | 413M | 127 |1000 |1513 |2642 | 17k| 1 | 30 | 469 |-2.423843e+02 |-1.420000e+02 | 70.69%| unknown
1606.84/1611.99 c 1612s| 3100 | 1123 | 1207k| 379.9 | 414M | 127 |1000 |1513 |2111 | 17k| 1 | 30 | 469 |-2.423723e+02 |-1.420000e+02 | 70.68%| unknown
1616.71/1621.88 c 1622s| 3200 | 1147 | 1224k| 373.6 | 414M | 127 |1000 |1513 |2643 | 17k| 0 | 30 | 469 |-2.423689e+02 |-1.420000e+02 | 70.68%| unknown
1633.46/1638.63 c 1639s| 3300 | 1159 | 1238k| 366.5 | 414M | 127 |1000 |1513 |2642 | 18k| 1 | 30 | 474 |-2.423650e+02 |-1.420000e+02 | 70.68%| unknown
1651.31/1656.54 c 1657s| 3400 | 1179 | 1258k| 361.6 | 414M | 127 |1000 |1512 |2648 | 18k| 0 | 30 | 481 |-2.423454e+02 |-1.420000e+02 | 70.67%| unknown
1673.76/1679.09 c 1679s| 3500 | 1205 | 1279k| 357.2 | 415M | 127 |1000 |1512 |2643 | 18k| 1 | 30 | 491 |-2.423421e+02 |-1.420000e+02 | 70.66%| unknown
1703.27/1708.69 c 1709s| 3600 | 1241 | 1308k| 355.3 | 415M | 127 |1000 |1512 |2644 | 18k| 1 | 31 | 504 |-2.423270e+02 |-1.420000e+02 | 70.65%| unknown
1704.17/1709.56 c 1710s| 3700 | 1253 | 1311k| 346.4 | 415M | 127 |1000 |1512 |2644 | 18k| 1 | 31 | 509 |-2.423270e+02 |-1.420000e+02 | 70.65%| unknown
1712.65/1718.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1712.65/1718.05 c 1718s| 3800 | 1267 | 1321k| 340.1 | 415M | 127 |1000 |1512 |2645 | 18k| 0 | 31 | 511 |-2.423250e+02 |-1.420000e+02 | 70.65%| unknown
1770.59/1776.12 c 1776s| 3900 | 1317 | 1375k| 345.1 | 416M | 127 |1000 |1512 |2124 | 19k| 1 | 31 | 521 |-2.423163e+02 |-1.420000e+02 | 70.65%| unknown
1783.75/1789.38 c 1789s| 4000 | 1333 | 1392k| 340.8 | 417M | 127 |1000 |1513 |2646 | 19k| 1 | 34 | 521 |-2.423148e+02 |-1.420000e+02 | 70.64%| unknown
1801.40/1807.07 c 1807s| 4100 | 1355 | 1414k| 337.7 | 417M | 127 |1000 |1512 |2642 | 19k| 0 | 34 | 522 |-2.423023e+02 |-1.420000e+02 | 70.64%| unknown
1813.37/1819.09 c 1819s| 4200 | 1373 | 1425k| 332.5 | 417M | 127 |1000 |1511 |2644 | 19k| 1 | 34 | 522 |-2.422982e+02 |-1.420000e+02 | 70.63%| unknown
1840.09/1845.83 c 1846s| 4300 | 1411 | 1457k| 332.0 | 419M | 127 |1000 |1511 |2645 | 19k| 1 | 34 | 522 |-2.422737e+02 |-1.420000e+02 | 70.62%| unknown
1847.17/1853.00 c 1853s| 4400 | 1421 | 1470k| 327.5 | 419M | 127 |1000 |1514 |2644 | 19k| 1 | 37 | 522 |-2.422589e+02 |-1.420000e+02 | 70.60%| unknown
1865.82/1871.65 c 1872s| 4500 | 1425 | 1488k| 324.2 | 419M | 127 |1000 |1515 |2643 | 19k| 0 | 40 | 522 |-2.422517e+02 |-1.420000e+02 | 70.60%| unknown
1887.76/1893.62 c 1894s| 4600 | 1447 | 1510k| 322.1 | 419M | 127 |1000 |1514 |2644 | 20k| 1 | 40 | 522 |-2.422500e+02 |-1.420000e+02 | 70.60%| unknown
1905.91/1911.89 c 1912s| 4700 | 1463 | 1532k| 319.7 | 420M | 127 |1000 |1514 |2644 | 20k| 0 | 40 | 522 |-2.422179e+02 |-1.420000e+02 | 70.58%| unknown
1915.98/1921.96 c 1922s| 4800 | 1475 | 1542k| 315.3 | 420M | 127 |1000 |1514 |2645 | 20k| 1 | 40 | 522 |-2.422164e+02 |-1.420000e+02 | 70.57%| unknown
1916.88/1922.86 c 1923s| 4900 | 1469 | 1545k| 309.5 | 420M | 127 |1000 |1514 |2646 | 20k| 1 | 40 | 522 |-2.422164e+02 |-1.420000e+02 | 70.57%| unknown
1935.33/1941.35 c 1941s| 5000 | 1491 | 1567k| 307.6 | 420M | 127 |1000 |1518 |2639 | 20k| 1 | 44 | 522 |-2.422065e+02 |-1.420000e+02 | 70.57%| unknown
1941.71/1947.74 c 1948s| 5100 | 1507 | 1578k| 303.8 | 420M | 127 |1000 |1518 |2640 | 20k| 1 | 44 | 522 |-2.422031e+02 |-1.420000e+02 | 70.57%| unknown
1979.38/1985.54 c 1986s| 5200 | 1547 | 1612k| 304.5 | 422M | 127 |1000 |1517 |2641 | 20k| 2 | 44 | 533 |-2.421906e+02 |-1.420000e+02 | 70.56%| unknown
1997.12/2003.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1997.12/2003.35 c 2003s| 5300 | 1553 | 1631k| 302.3 | 422M | 127 |1000 |1517 |2646 | 21k| 2 | 44 | 533 |-2.421871e+02 |-1.420000e+02 | 70.55%| unknown
2034.49/2040.80 c 2041s| 5400 | 1585 | 1662k| 302.3 | 423M | 127 |1000 |1516 |2641 | 21k| 1 | 44 | 546 |-2.421827e+02 |-1.420000e+02 | 70.55%| unknown
2063.20/2069.63 c 2070s| 5500 | 1613 | 1686k| 301.3 | 424M | 127 |1000 |1514 |2644 | 21k| 2 | 44 | 551 |-2.421791e+02 |-1.420000e+02 | 70.55%| unknown
2073.86/2080.32 c 2080s| 5600 | 1637 | 1702k| 298.7 | 424M | 127 |1000 |1513 |2285 | 21k| 3 | 44 | 552 |-2.421701e+02 |-1.420000e+02 | 70.54%| unknown
2094.99/2101.53 c 2102s| 5700 | 1673 | 1730k| 298.4 | 424M | 127 |1000 |1512 |2643 | 21k| 0 | 44 | 553 |-2.421697e+02 |-1.420000e+02 | 70.54%| unknown
2115.42/2122.02 c 2122s| 5800 | 1703 | 1755k| 297.6 | 424M | 127 |1000 |1512 |2643 | 21k| 1 | 44 | 553 |-2.421504e+02 |-1.420000e+02 | 70.53%| unknown
2131.27/2137.98 c 2138s| 5900 | 1717 | 1768k| 294.8 | 424M | 127 |1000 |1515 |2643 | 22k| 1 | 47 | 554 |-2.421492e+02 |-1.420000e+02 | 70.53%| unknown
2132.16/2138.89 c 2139s| 6000 | 1729 | 1772k| 290.5 | 424M | 127 |1000 |1515 |2643 | 22k| 1 | 47 | 554 |-2.421492e+02 |-1.420000e+02 | 70.53%| unknown
2154.69/2161.45 c 2161s| 6100 | 1743 | 1789k| 288.6 | 425M | 127 |1000 |1515 |2644 | 22k| 1 | 47 | 554 |-2.421485e+02 |-1.420000e+02 | 70.53%| unknown
2170.53/2177.37 c 2177s| 6200 | 1767 | 1805k| 286.5 | 425M | 127 |1000 |1514 |2130 | 22k| 1 | 47 | 556 |-2.421356e+02 |-1.420000e+02 | 70.52%| unknown
2173.62/2180.47 c 2180s| 6300 | 1781 | 1814k| 283.3 | 425M | 127 |1000 |1514 |2644 | 22k| 1 | 48 | 556 |-2.421356e+02 |-1.420000e+02 | 70.52%| unknown
2180.50/2187.30 c 2187s| 6400 | 1797 | 1826k| 280.8 | 425M | 127 |1000 |1514 |2645 | 22k| 1 | 48 | 556 |-2.421247e+02 |-1.420000e+02 | 70.51%| unknown
2194.26/2201.11 c 2201s| 6500 | 1823 | 1849k| 279.9 | 425M | 127 |1000 |1514 |2643 | 22k| 1 | 50 | 557 |-2.421235e+02 |-1.420000e+02 | 70.51%| unknown
2199.03/2205.95 c 2206s| 6600 | 1823 | 1855k| 276.7 | 425M | 127 |1000 |1517 |2123 | 22k| 1 | 53 | 557 |-2.421160e+02 |-1.420000e+02 | 70.50%| unknown
2202.02/2208.93 c 2209s| 6700 | 1831 | 1863k| 273.7 | 425M | 127 |1000 |1517 |2643 | 22k| 0 | 53 | 557 |-2.421160e+02 |-1.420000e+02 | 70.50%| unknown
2214.09/2221.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2214.09/2221.01 c 2221s| 6800 | 1861 | 1882k| 272.5 | 425M | 127 |1000 |1517 |2643 | 22k| 1 | 53 | 557 |-2.421150e+02 |-1.420000e+02 | 70.50%| unknown
2215.08/2222.04 c 2222s| 6900 | 1861 | 1885k| 269.0 | 425M | 127 |1000 |1519 |2644 | 22k| 1 | 55 | 557 |-2.421150e+02 |-1.420000e+02 | 70.50%| unknown
2215.98/2222.99 c 2223s| 7000 | 1861 | 1888k| 265.7 | 425M | 127 |1000 |1525 |2644 | 22k| 1 | 61 | 557 |-2.421150e+02 |-1.420000e+02 | 70.50%| unknown
2231.62/2238.69 c 2239s| 7100 | 1871 | 1905k| 264.3 | 426M | 127 |1000 |1525 |2125 | 22k| 1 | 61 | 557 |-2.421052e+02 |-1.420000e+02 | 70.50%| unknown
2250.86/2257.99 c 2258s| 7200 | 1889 | 1928k| 263.8 | 426M | 127 |1000 |1525 |2643 | 22k| 1 | 61 | 558 |-2.421046e+02 |-1.420000e+02 | 70.50%| unknown
2264.31/2271.43 c 2271s| 7300 | 1897 | 1944k| 262.3 | 426M | 127 |1000 |1525 |2644 | 22k| 1 | 61 | 558 |-2.421032e+02 |-1.420000e+02 | 70.50%| unknown
2276.67/2283.80 c 2284s| 7400 | 1919 | 1964k| 261.5 | 426M | 127 |1000 |1524 |2645 | 22k| 0 | 61 | 558 |-2.420943e+02 |-1.420000e+02 | 70.49%| unknown
2294.31/2301.56 c 2302s| 7500 | 1931 | 1983k| 260.5 | 426M | 127 |1000 |1524 |2644 | 22k| 1 | 61 | 559 |-2.420861e+02 |-1.420000e+02 | 70.48%| unknown
2308.46/2315.74 c 2316s| 7600 | 1939 | 1997k| 259.0 | 427M | 127 |1000 |1527 |2638 | 23k| 1 | 64 | 559 |-2.420809e+02 |-1.420000e+02 | 70.48%| unknown
2315.14/2322.43 c 2322s| 7700 | 1977 | 2006k| 256.7 | 427M | 127 |1000 |1527 |2072 | 23k| 1 | 64 | 559 |-2.420808e+02 |-1.420000e+02 | 70.48%| unknown
2323.72/2331.05 c 2331s| 7800 | 1999 | 2022k| 255.5 | 427M | 127 |1000 |1526 |2638 | 23k| 1 | 64 | 559 |-2.420756e+02 |-1.420000e+02 | 70.48%| unknown
2330.39/2337.72 c 2338s| 7900 | 2021 | 2034k| 253.8 | 427M | 127 |1000 |1525 |2638 | 23k| 0 | 64 | 559 |-2.420754e+02 |-1.420000e+02 | 70.48%| unknown
2331.19/2338.51 c 2339s| 8000 | 2031 | 2037k| 251.1 | 427M | 127 |1000 |1525 |2638 | 23k| 0 | 64 | 559 |-2.420754e+02 |-1.420000e+02 | 70.48%| unknown
2369.46/2376.91 c 2377s| 8100 | 2063 | 2071k| 252.1 | 427M | 127 |1000 |1524 |2638 | 23k| 1 | 64 | 559 |-2.420669e+02 |-1.420000e+02 | 70.47%| unknown
2383.01/2390.53 c 2391s| 8200 | 2089 | 2084k| 250.6 | 427M | 127 |1000 |1527 |2638 | 23k| 1 | 67 | 559 |-2.420651e+02 |-1.420000e+02 | 70.47%| unknown
2389.20/2396.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2389.20/2396.72 c 2397s| 8300 | 2103 | 2095k| 248.9 | 427M | 127 |1000 |1527 |2638 | 23k| 0 | 67 | 559 |-2.420630e+02 |-1.420000e+02 | 70.47%| unknown
2390.09/2397.60 c 2398s| 8400 | 2123 | 2099k| 246.4 | 427M | 127 |1000 |1527 |2638 | 23k| 1 | 67 | 559 |-2.420630e+02 |-1.420000e+02 | 70.47%| unknown
2401.86/2409.49 c 2409s| 8500 | 2157 | 2118k| 245.8 | 427M | 127 |1000 |1530 |2639 | 23k| 1 | 71 | 559 |-2.420524e+02 |-1.420000e+02 | 70.46%| unknown
2412.93/2420.53 c 2421s| 8600 | 2191 | 2136k| 245.0 | 428M | 127 |1000 |1528 |2641 | 23k| 1 | 71 | 559 |-2.420478e+02 |-1.420000e+02 | 70.46%| unknown
2413.83/2421.45 c 2421s| 8700 | 2185 | 2139k| 242.6 | 428M | 127 |1000 |1531 |2638 | 23k| 1 | 74 | 559 |-2.420478e+02 |-1.420000e+02 | 70.46%| unknown
2426.69/2434.38 c 2434s| 8800 | 2219 | 2160k| 242.1 | 428M | 127 |1000 |1533 |2640 | 23k| 1 | 77 | 559 |-2.420416e+02 |-1.420000e+02 | 70.45%| unknown
2427.59/2435.23 c 2435s| 8900 | 2219 | 2163k| 239.7 | 428M | 127 |1000 |1533 |2640 | 23k| 0 | 77 | 559 |-2.420416e+02 |-1.420000e+02 | 70.45%| unknown
2449.92/2457.60 c 2458s| 9000 | 2243 | 2190k| 240.1 | 428M | 127 |1000 |1533 |2640 | 23k| 1 | 77 | 559 |-2.420377e+02 |-1.420000e+02 | 70.45%| unknown
2461.89/2469.60 c 2470s| 9100 | 2265 | 2209k| 239.6 | 428M | 127 |1000 |1532 |2639 | 23k| 0 | 77 | 559 |-2.420335e+02 |-1.420000e+02 | 70.45%| unknown
2468.38/2476.12 c 2476s| 9200 | 2281 | 2221k| 238.3 | 428M | 127 |1000 |1531 |2639 | 23k| 1 | 77 | 559 |-2.420222e+02 |-1.420000e+02 | 70.44%| unknown
2477.75/2485.59 c 2486s| 9300 | 2289 | 2228k| 236.5 | 428M | 127 |1000 |1531 |2090 | 24k| 1 | 77 | 559 |-2.420195e+02 |-1.420000e+02 | 70.44%| unknown
2500.69/2508.53 c 2509s| 9400 | 2311 | 2255k| 236.9 | 428M | 127 |1000 |1531 |2097 | 24k| 1 | 77 | 559 |-2.420176e+02 |-1.420000e+02 | 70.43%| unknown
2513.95/2521.86 c 2522s| 9500 | 2337 | 2277k| 236.7 | 428M | 127 |1000 |1531 |2639 | 24k| 0 | 77 | 559 |-2.420090e+02 |-1.420000e+02 | 70.43%| unknown
2532.10/2540.07 c 2540s| 9600 | 2367 | 2308k| 237.4 | 428M | 127 |1000 |1533 |2639 | 24k| 1 | 80 | 559 |-2.419900e+02 |-1.420000e+02 | 70.42%| unknown
2545.56/2553.58 c 2554s| 9700 | 2383 | 2324k| 236.6 | 428M | 127 |1000 |1536 |2639 | 24k| 1 | 83 | 559 |-2.419840e+02 |-1.420000e+02 | 70.41%| unknown
2563.21/2571.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2563.21/2571.22 c 2571s| 9800 | 2407 | 2343k| 236.2 | 428M | 127 |1000 |1536 |2639 | 24k| 1 | 83 | 559 |-2.419785e+02 |-1.420000e+02 | 70.41%| unknown
2577.08/2585.17 c 2585s| 9900 | 2445 | 2362k| 235.6 | 428M | 127 |1000 |1536 |2638 | 24k| 0 | 83 | 564 |-2.419712e+02 |-1.420000e+02 | 70.40%| unknown
2591.63/2599.77 c 2600s| 10000 | 2461 | 2374k| 234.5 | 429M | 127 |1000 |1536 |2639 | 24k| 1 | 83 | 567 |-2.419712e+02 |-1.420000e+02 | 70.40%| unknown
2609.49/2617.66 c 2618s| 10100 | 2495 | 2393k| 234.1 | 429M | 127 |1000 |1535 |2638 | 24k| 0 | 83 | 570 |-2.419657e+02 |-1.420000e+02 | 70.40%| unknown
2613.67/2621.84 c 2622s| 10200 | 2507 | 2400k| 232.4 | 429M | 127 |1000 |1535 |2153 | 24k| 1 | 83 | 570 |-2.419656e+02 |-1.420000e+02 | 70.40%| unknown
2622.25/2630.42 c 2630s| 10300 | 2517 | 2416k| 231.7 | 429M | 127 |1000 |1534 |2638 | 24k| 1 | 83 | 572 |-2.419613e+02 |-1.420000e+02 | 70.40%| unknown
2628.84/2637.02 c 2637s| 10400 | 2523 | 2428k| 230.7 | 429M | 128 |1000 |1534 |2640 | 24k| 1 | 83 | 573 |-2.419590e+02 |-1.420000e+02 | 70.39%| unknown
2642.90/2651.18 c 2651s| 10500 | 2549 | 2447k| 230.3 | 429M | 128 |1000 |1533 |2638 | 24k| 1 | 83 | 573 |-2.419577e+02 |-1.420000e+02 | 70.39%| unknown
2657.36/2665.63 c 2666s| 10600 | 2575 | 2463k| 229.7 | 430M | 128 |1000 |1532 |2075 | 24k| 1 | 83 | 573 |-2.419405e+02 |-1.420000e+02 | 70.38%| unknown
2681.09/2689.45 c 2689s| 10700 | 2605 | 2492k| 230.2 | 430M | 128 |1000 |1529 |2638 | 25k| 1 | 83 | 573 |-2.419381e+02 |-1.420000e+02 | 70.38%| unknown
2682.19/2690.52 c 2691s| 10800 | 2613 | 2496k| 228.5 | 430M | 128 |1000 |1532 |2639 | 25k| 2 | 87 | 573 |-2.419381e+02 |-1.420000e+02 | 70.38%| unknown
2705.13/2713.57 c 2714s| 10900 | 2641 | 2520k| 228.5 | 430M | 128 |1000 |1530 |2639 | 25k| 1 | 87 | 573 |-2.419335e+02 |-1.420000e+02 | 70.38%| unknown
2722.08/2730.58 c 2731s| 11000 | 2675 | 2541k| 228.4 | 430M | 128 |1000 |1532 |2639 | 25k| 1 | 97 | 573 |-2.419276e+02 |-1.420000e+02 | 70.37%| unknown
2754.89/2763.47 c 2763s| 11100 | 2719 | 2585k| 230.3 | 430M | 128 |1000 |1527 |2639 | 25k| 1 | 97 | 576 |-2.419161e+02 |-1.420000e+02 | 70.36%| unknown
2766.36/2774.98 c 2775s| 11200 | 2755 | 2604k| 230.0 | 430M | 128 |1000 |1530 |2639 | 25k| 0 | 100 | 576 |-2.419064e+02 |-1.420000e+02 | 70.36%| unknown
2788.00/2796.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2788.00/2796.62 c 2797s| 11300 | 2785 | 2631k| 230.3 | 430M | 128 |1000 |1528 |2639 | 25k| 2 | 100 | 576 |-2.419050e+02 |-1.420000e+02 | 70.36%| unknown
2798.67/2807.31 c 2807s| 11400 | 2799 | 2645k| 229.4 | 430M | 128 |1000 |1527 |2639 | 25k| 1 | 100 | 576 |-2.419031e+02 |-1.420000e+02 | 70.35%| unknown
2804.75/2813.46 c 2813s| 11500 | 2825 | 2655k| 228.4 | 430M | 128 |1000 |1530 |2639 | 25k| 1 | 103 | 576 |-2.419025e+02 |-1.420000e+02 | 70.35%| unknown
2810.44/2819.11 c 2819s| 11600 | 2841 | 2666k| 227.4 | 430M | 128 |1000 |1528 |2638 | 25k| 0 | 106 | 576 |-2.418973e+02 |-1.420000e+02 | 70.35%| unknown
2812.03/2820.74 c 2821s| 11700 | 2851 | 2670k| 225.7 | 430M | 128 |1000 |1528 |2638 | 25k| 1 | 106 | 576 |-2.418973e+02 |-1.420000e+02 | 70.35%| unknown
2812.73/2821.49 c 2821s| 11800 | 2863 | 2672k| 224.0 | 430M | 131 |1000 |1528 |2638 | 25k| 1 | 106 | 576 |-2.418973e+02 |-1.420000e+02 | 70.35%| unknown
2823.20/2831.93 c 2832s| 11900 | 2875 | 2683k| 223.0 | 431M | 131 |1000 |1527 |2638 | 25k| 1 | 106 | 583 |-2.418916e+02 |-1.420000e+02 | 70.35%| unknown
2835.07/2843.88 c 2844s| 12000 | 2905 | 2701k| 222.6 | 431M | 133 |1000 |1525 |2638 | 25k| 0 | 106 | 585 |-2.418913e+02 |-1.420000e+02 | 70.35%| unknown
2835.86/2844.64 c 2845s| 12100 | 2905 | 2703k| 221.0 | 431M | 136 |1000 |1524 |2638 | 25k| 1 | 106 | 585 |-2.418913e+02 |-1.420000e+02 | 70.35%| unknown
2849.82/2858.63 c 2859s| 12200 | 2949 | 2721k| 220.7 | 431M | 136 |1000 |1523 |2223 | 25k| 1 | 109 | 588 |-2.418865e+02 |-1.420000e+02 | 70.34%| unknown
2857.60/2866.44 c 2866s| 12300 | 2969 | 2736k| 220.1 | 431M | 136 |1000 |1522 |2638 | 25k| 1 | 109 | 588 |-2.418865e+02 |-1.420000e+02 | 70.34%| unknown
2858.50/2867.31 c 2867s| 12400 | 2977 | 2740k| 218.6 | 431M | 136 |1000 |1522 |2638 | 25k| 1 | 109 | 588 |-2.418865e+02 |-1.420000e+02 | 70.34%| unknown
2859.40/2868.23 c 2868s| 12500 | 2987 | 2744k| 217.2 | 431M | 136 |1000 |1522 |2638 | 25k| 1 | 109 | 588 |-2.418865e+02 |-1.420000e+02 | 70.34%| unknown
2860.20/2869.05 c 2869s| 12600 | 2993 | 2747k| 215.7 | 431M | 136 |1000 |1522 |2638 | 25k| 0 | 109 | 588 |-2.418865e+02 |-1.420000e+02 | 70.34%| unknown
2861.09/2869.96 c 2870s| 12700 | 2989 | 2750k| 214.3 | 431M | 136 |1000 |1522 |2638 | 25k| 1 | 109 | 588 |-2.418865e+02 |-1.420000e+02 | 70.34%| unknown
2867.07/2875.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2867.07/2875.95 c 2876s| 12800 | 2999 | 2762k| 213.5 | 431M | 136 |1000 |1520 |2639 | 25k| 1 | 109 | 588 |-2.418865e+02 |-1.420000e+02 | 70.34%| unknown
2878.94/2887.89 c 2888s| 12900 | 3017 | 2781k| 213.4 | 431M | 136 |1000 |1520 |2638 | 25k| 2 | 123 | 588 |-2.418775e+02 |-1.420000e+02 | 70.34%| unknown
2913.55/2922.55 c 2923s| 13000 | 3053 | 2813k| 214.2 | 431M | 136 |1000 |1517 |2638 | 26k| 0 | 123 | 588 |-2.418702e+02 |-1.420000e+02 | 70.33%| unknown
2920.13/2929.18 c 2929s| 13100 | 3069 | 2825k| 213.4 | 431M | 136 |1000 |1517 |2638 | 26k| 0 | 123 | 588 |-2.418698e+02 |-1.420000e+02 | 70.33%| unknown
2932.20/2941.26 c 2941s| 13200 | 3085 | 2845k| 213.3 | 431M | 136 |1000 |1516 |2638 | 26k| 0 | 123 | 588 |-2.418669e+02 |-1.420000e+02 | 70.33%| unknown
2938.08/2947.13 c 2947s| 13300 | 3105 | 2856k| 212.5 | 431M | 136 |1000 |1516 |2638 | 26k| 1 | 127 | 588 |-2.418628e+02 |-1.420000e+02 | 70.33%| unknown
2950.24/2959.39 c 2959s| 13400 | 3131 | 2873k| 212.2 | 432M | 136 |1000 |1516 |2638 | 26k| 0 | 127 | 588 |-2.418558e+02 |-1.420000e+02 | 70.32%| unknown
2951.24/2960.32 c 2960s| 13500 | 3149 | 2877k| 211.0 | 432M | 136 |1000 |1516 |2639 | 26k| 1 | 127 | 588 |-2.418558e+02 |-1.420000e+02 | 70.32%| unknown
2952.14/2961.28 c 2961s| 13600 | 3163 | 2881k| 209.7 | 432M | 136 |1000 |1516 |2638 | 26k| 1 | 127 | 588 |-2.418558e+02 |-1.420000e+02 | 70.32%| unknown
2958.52/2967.64 c 2968s| 13700 | 3177 | 2893k| 209.1 | 432M | 136 |1000 |1519 |2639 | 26k| 1 | 130 | 588 |-2.418555e+02 |-1.420000e+02 | 70.32%| unknown
2979.56/2988.77 c 2989s| 13800 | 3211 | 2916k| 209.2 | 432M | 136 |1000 |1519 |2638 | 26k| 1 | 130 | 588 |-2.418516e+02 |-1.420000e+02 | 70.32%| unknown
2989.53/2998.73 c 2999s| 13900 | 3219 | 2929k| 208.6 | 432M | 136 |1000 |1519 |2638 | 26k| 1 | 130 | 588 |-2.418495e+02 |-1.420000e+02 | 70.32%| unknown
2990.43/2999.69 c 3000s| 14000 | 3219 | 2933k| 207.4 | 432M | 136 |1000 |1519 |2639 | 26k| 1 | 130 | 588 |-2.418495e+02 |-1.420000e+02 | 70.32%| unknown
3008.09/3017.38 c 3017s| 14100 | 3251 | 2952k| 207.3 | 433M | 136 |1000 |1523 |2639 | 26k| 1 | 135 | 589 |-2.418436e+02 |-1.420000e+02 | 70.31%| unknown
3021.85/3031.19 c 3031s| 14200 | 3277 | 2972k| 207.3 | 433M | 136 |1000 |1523 |2639 | 26k| 0 | 139 | 594 |-2.418398e+02 |-1.420000e+02 | 70.31%| unknown
3040.70/3050.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3040.70/3050.09 c 3050s| 14300 | 3301 | 2993k| 207.3 | 433M | 136 |1000 |1522 |2638 | 26k| 1 | 139 | 597 |-2.418361e+02 |-1.420000e+02 | 70.31%| unknown
3045.48/3054.85 c 3055s| 14400 | 3311 | 3000k| 206.3 | 433M | 136 |1000 |1522 |2144 | 26k| 1 | 139 | 598 |-2.418337e+02 |-1.420000e+02 | 70.31%| unknown
3053.26/3062.66 c 3063s| 14500 | 3339 | 3015k| 205.9 | 433M | 136 |1000 |1522 |2639 | 26k| 1 | 139 | 599 |-2.418318e+02 |-1.420000e+02 | 70.30%| unknown
3080.88/3090.39 c 3090s| 14600 | 3363 | 3040k| 206.2 | 433M | 136 |1000 |1520 |2639 | 26k| 1 | 139 | 600 |-2.418200e+02 |-1.420000e+02 | 70.30%| unknown
3091.06/3100.53 c 3101s| 14700 | 3371 | 3057k| 206.0 | 433M | 136 |1000 |1518 |2140 | 26k| 1 | 139 | 600 |-2.418151e+02 |-1.420000e+02 | 70.29%| unknown
3093.35/3102.89 c 3103s| 14800 | 3375 | 3064k| 205.0 | 433M | 136 |1000 |1517 |2638 | 26k| 1 | 139 | 600 |-2.418151e+02 |-1.420000e+02 | 70.29%| unknown
3104.52/3114.04 c 3114s| 14900 | 3407 | 3081k| 204.8 | 433M | 136 |1000 |1517 |2639 | 26k| 0 | 139 | 601 |-2.418151e+02 |-1.420000e+02 | 70.29%| unknown
3119.48/3129.03 c 3129s| 15000 | 3437 | 3103k| 204.9 | 433M | 136 |1000 |1516 |2162 | 26k| 1 | 139 | 603 |-2.418131e+02 |-1.420000e+02 | 70.29%| unknown
3138.23/3147.82 c 3148s| 15100 | 3463 | 3127k| 205.1 | 433M | 136 |1000 |1516 |2144 | 27k| 1 | 139 | 604 |-2.418110e+02 |-1.420000e+02 | 70.29%| unknown
3165.45/3175.14 c 3175s| 15200 | 3503 | 3167k| 206.4 | 433M | 136 |1000 |1515 |2638 | 27k| 1 | 139 | 604 |-2.418047e+02 |-1.420000e+02 | 70.29%| unknown
3171.13/3180.86 c 3181s| 15300 | 3515 | 3177k| 205.8 | 433M | 136 |1000 |1513 |2639 | 27k| 1 | 139 | 604 |-2.418035e+02 |-1.420000e+02 | 70.28%| unknown
3178.01/3187.71 c 3188s| 15400 | 3521 | 3190k| 205.2 | 434M | 136 |1000 |1511 |2639 | 27k| 1 | 149 | 604 |-2.418031e+02 |-1.420000e+02 | 70.28%| unknown
3178.81/3188.55 c 3189s| 15500 | 3531 | 3193k| 204.1 | 434M | 136 |1000 |1509 |2638 | 27k| 1 | 149 | 604 |-2.418031e+02 |-1.420000e+02 | 70.28%| unknown
3185.30/3195.06 c 3195s| 15600 | 3549 | 3205k| 203.6 | 434M | 136 |1000 |1509 |2638 | 27k| 1 | 149 | 604 |-2.418007e+02 |-1.420000e+02 | 70.28%| unknown
3186.19/3195.99 c 3196s| 15700 | 3565 | 3210k| 202.6 | 434M | 136 |1000 |1509 |2638 | 27k| 1 | 149 | 604 |-2.418007e+02 |-1.420000e+02 | 70.28%| unknown
3192.28/3202.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3192.28/3202.09 c 3202s| 15800 | 3583 | 3219k| 201.9 | 434M | 136 |1000 |1509 |2639 | 27k| 0 | 149 | 604 |-2.417992e+02 |-1.420000e+02 | 70.28%| unknown
3197.96/3207.75 c 3208s| 15900 | 3603 | 3230k| 201.3 | 434M | 136 |1000 |1512 |2639 | 27k| 1 | 152 | 604 |-2.417976e+02 |-1.420000e+02 | 70.28%| unknown
3209.02/3218.88 c 3219s| 16000 | 3631 | 3247k| 201.1 | 434M | 136 |1000 |1511 |2638 | 27k| 1 | 152 | 604 |-2.417968e+02 |-1.420000e+02 | 70.28%| unknown
3209.92/3219.78 c 3220s| 16100 | 3635 | 3251k| 200.1 | 434M | 136 |1000 |1515 |2638 | 27k| 0 | 156 | 604 |-2.417968e+02 |-1.420000e+02 | 70.28%| unknown
3226.98/3236.87 c 3237s| 16200 | 3671 | 3272k| 200.2 | 434M | 136 |1000 |1514 |2638 | 27k| 1 | 156 | 605 |-2.417957e+02 |-1.420000e+02 | 70.28%| unknown
3232.56/3242.47 c 3242s| 16300 | 3685 | 3279k| 199.4 | 434M | 136 |1000 |1514 |2163 | 27k| 1 | 156 | 607 |-2.417941e+02 |-1.420000e+02 | 70.28%| unknown
3235.16/3245.03 c 3245s| 16400 | 3701 | 3287k| 198.7 | 434M | 136 |1000 |1514 |2638 | 27k| 1 | 156 | 607 |-2.417941e+02 |-1.420000e+02 | 70.28%| unknown
3241.24/3251.10 c 3251s| 16500 | 3723 | 3298k| 198.1 | 434M | 136 |1000 |1514 |2639 | 27k| 2 | 156 | 608 |-2.417926e+02 |-1.420000e+02 | 70.28%| unknown
3264.27/3274.27 c 3274s| 16600 | 3749 | 3326k| 198.6 | 434M | 136 |1000 |1514 |2638 | 27k| 1 | 156 | 612 |-2.417880e+02 |-1.420000e+02 | 70.27%| unknown
3273.15/3283.17 c 3283s| 16700 | 3775 | 3337k| 198.1 | 434M | 136 |1000 |1513 |2639 | 27k| 1 | 156 | 612 |-2.417855e+02 |-1.420000e+02 | 70.27%| unknown
3294.99/3305.09 c 3305s| 16800 | 3805 | 3364k| 198.5 | 434M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 614 |-2.417840e+02 |-1.420000e+02 | 70.27%| unknown
3312.34/3322.44 c 3322s| 16900 | 3845 | 3385k| 198.6 | 434M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 615 |-2.417815e+02 |-1.420000e+02 | 70.27%| unknown
3313.24/3323.30 c 3323s| 17000 | 3853 | 3388k| 197.6 | 434M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 615 |-2.417815e+02 |-1.420000e+02 | 70.27%| unknown
3314.04/3324.14 c 3324s| 17100 | 3863 | 3391k| 196.6 | 434M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 615 |-2.417815e+02 |-1.420000e+02 | 70.27%| unknown
3320.11/3330.21 c 3330s| 17200 | 3885 | 3402k| 196.1 | 434M | 136 |1000 |1516 |2638 | 27k| 0 | 159 | 615 |-2.417814e+02 |-1.420000e+02 | 70.27%| unknown
3327.00/3337.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3327.00/3337.18 c 3337s| 17300 | 3903 | 3415k| 195.7 | 434M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 615 |-2.417807e+02 |-1.420000e+02 | 70.27%| unknown
3327.79/3337.95 c 3338s| 17400 | 3921 | 3417k| 194.7 | 434M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 615 |-2.417807e+02 |-1.420000e+02 | 70.27%| unknown
3328.49/3338.67 c 3339s| 17500 | 3925 | 3420k| 193.8 | 434M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 615 |-2.417807e+02 |-1.420000e+02 | 70.27%| unknown
3338.66/3348.89 c 3349s| 17600 | 3945 | 3432k| 193.4 | 434M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 615 |-2.417790e+02 |-1.420000e+02 | 70.27%| unknown
3344.95/3355.18 c 3355s| 17700 | 3953 | 3443k| 192.9 | 434M | 136 |1000 |1516 |2638 | 27k| 1 | 163 | 615 |-2.417789e+02 |-1.420000e+02 | 70.27%| unknown
3351.03/3361.23 c 3361s| 17800 | 3965 | 3455k| 192.5 | 434M | 136 |1000 |1516 |2638 | 28k| 1 | 163 | 615 |-2.417787e+02 |-1.420000e+02 | 70.27%| unknown
3371.27/3381.51 c 3382s| 17900 | 3993 | 3478k| 192.7 | 434M | 136 |1000 |1515 |2638 | 28k| 1 | 163 | 615 |-2.417780e+02 |-1.420000e+02 | 70.27%| unknown
3383.04/3393.31 c 3393s| 18000 | 4013 | 3498k| 192.7 | 434M | 136 |1000 |1515 |2638 | 28k| 0 | 163 | 616 |-2.417774e+02 |-1.420000e+02 | 70.27%| unknown
3411.56/3421.94 c 3422s| 18100 | 4053 | 3535k| 193.7 | 435M | 136 |1000 |1515 |2078 | 28k| 1 | 165 | 616 |-2.417765e+02 |-1.420000e+02 | 70.27%| unknown
3430.11/3440.50 c 3441s| 18200 | 4071 | 3558k| 193.9 | 435M | 136 |1000 |1516 |2639 | 28k| 1 | 166 | 616 |-2.417695e+02 |-1.420000e+02 | 70.26%| unknown
3440.08/3450.54 c 3451s| 18300 | 4093 | 3574k| 193.7 | 435M | 136 |1000 |1516 |2638 | 28k| 0 | 166 | 616 |-2.417632e+02 |-1.420000e+02 | 70.26%| unknown
3451.85/3462.39 c 3462s| 18400 | 4133 | 3592k| 193.6 | 435M | 136 |1000 |1516 |2638 | 28k| 1 | 167 | 616 |-2.417580e+02 |-1.420000e+02 | 70.25%| unknown
3473.99/3484.57 c 3485s| 18500 | 4151 | 3609k| 193.5 | 435M | 136 |1000 |1518 |2638 | 28k| 1 | 170 | 620 |-2.417554e+02 |-1.420000e+02 | 70.25%| unknown
3481.97/3492.54 c 3493s| 18600 | 4177 | 3620k| 193.1 | 435M | 136 |1000 |1518 |2638 | 28k| 1 | 170 | 625 |-2.417549e+02 |-1.420000e+02 | 70.25%| unknown
3488.95/3499.57 c 3500s| 18700 | 4205 | 3630k| 192.6 | 435M | 136 |1000 |1519 |2638 | 28k| 0 | 172 | 631 |-2.417542e+02 |-1.420000e+02 | 70.25%| unknown
3502.21/3512.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3502.21/3512.88 c 3513s| 18800 | 4233 | 3644k| 192.3 | 435M | 136 |1000 |1518 |2638 | 28k| 0 | 177 | 633 |-2.417519e+02 |-1.420000e+02 | 70.25%| unknown
3515.08/3525.76 c 3526s| 18900 | 4253 | 3657k| 191.9 | 436M | 136 |1000 |1516 |2638 | 28k| 0 | 177 | 635 |-2.417485e+02 |-1.420000e+02 | 70.25%| unknown
3521.76/3532.44 c 3532s| 19000 | 4273 | 3670k| 191.6 | 436M | 136 |1000 |1516 |2638 | 28k| 1 | 177 | 636 |-2.417482e+02 |-1.420000e+02 | 70.25%| unknown
3533.82/3544.57 c 3545s| 19100 | 4285 | 3683k| 191.3 | 436M | 136 |1000 |1516 |2638 | 28k| 1 | 177 | 637 |-2.417447e+02 |-1.420000e+02 | 70.24%| unknown
3546.57/3557.36 c 3557s| 19200 | 4317 | 3702k| 191.3 | 436M | 136 |1000 |1516 |2638 | 28k| 2 | 177 | 640 |-2.417409e+02 |-1.420000e+02 | 70.24%| unknown
3547.37/3558.13 c 3558s| 19300 | 4329 | 3705k| 190.5 | 436M | 136 |1000 |1516 |2638 | 28k| 1 | 177 | 641 |-2.417409e+02 |-1.420000e+02 | 70.24%| unknown
3569.39/3580.20 c 3580s| 19400 | 4361 | 3731k| 190.8 | 436M | 136 |1000 |1516 |2638 | 28k| 0 | 177 | 643 |-2.417347e+02 |-1.420000e+02 | 70.24%| unknown
3574.97/3585.88 c 3586s| 19500 | 4381 | 3741k| 190.3 | 436M | 136 |1000 |1516 |2638 | 28k| 1 | 177 | 643 |-2.417332e+02 |-1.420000e+02 | 70.23%| unknown
3585.64/3596.53 c 3597s| 19600 | 4411 | 3760k| 190.3 | 436M | 136 |1000 |1516 |2638 | 28k| 0 | 177 | 644 |-2.417322e+02 |-1.420000e+02 | 70.23%| unknown
3586.14/3597.02 c
3586.14/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3586.14/3597.02 c Solving Time (sec) : 3597.03
3586.14/3597.02 c Solving Nodes : 19602
3586.14/3597.02 c Primal Bound : -1.42000000000000e+02 (418 solutions)
3586.14/3597.02 c Dual Bound : -2.41732132678494e+02
3586.14/3597.02 c Gap : 70.23 %
3586.14/3597.03 s SATISFIABLE
3586.14/3597.03 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
3586.14/3597.03 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 -x57
3586.14/3597.03 v -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 -x83 x84
3586.14/3597.03 v -x85 x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 x96 -x97 -x98 x99 -x100 -x101 -x102 x103 x104 -x105 x106 -x107 -x108 -x109
3586.14/3597.03 v -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131
3586.14/3597.03 v x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154
3586.14/3597.03 v -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176
3586.14/3597.03 v -x177 -x178 x179 -x180 -x181 -x182 x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 -x193 -x194 x195 -x196 x197 -x198 -x199
3586.14/3597.03 v -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 x217 -x218 -x219 -x220 -x221
3586.14/3597.03 v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243
3586.14/3597.03 v x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 x252 x253 x254 x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266
3586.14/3597.03 v -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 x288
3586.14/3597.03 v -x289 x290 x291 -x292 x293 x294 -x295 -x296 x297 x298 -x299 -x300 -x301 -x302 -x303 x304 x305 -x306 x307 x308 -x309 -x310 x311 -x312
3586.14/3597.03 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 x328 x329 -x330 x331 x332 x333 x334 -x335
3586.14/3597.03 v -x336 -x337 -x338 x339 -x340 x341 x342 -x343 -x344 x345 x346 x347 -x348 -x349 x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 x358
3586.14/3597.03 v -x359 -x360 -x361 x362 -x363 -x364 -x365 x366 -x367 -x368 x369 x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 x378 -x379 -x380 x381
3586.14/3597.03 v -x382 x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 x393 -x394 x395 -x396 -x397 x398 x399 x400 x401 x402 -x403 -x404
3586.14/3597.03 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426
3586.14/3597.03 v x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 x435 -x436 x437 -x438 -x439 x440 x441 x442 -x443 -x444 -x445 -x446 -x447 x448 -x449
3586.14/3597.03 v -x450 -x451 x452 x453 x454 -x455 x456 -x457 x458 -x459 -x460 x461 x462 x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472
3586.14/3597.03 v x473 x474 -x475 -x476 -x477 -x478 x479 -x480 x481 x482 x483 -x484 x485 x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495
3586.14/3597.03 v -x496 x497 -x498 x499 -x500 -x802 -x584 -x775 -x827 -x864 -x538 -x526 -x529 -x886 -x545 -x510 -x541 -x555 -x623 -x811 -x982 -x501
3586.14/3597.03 v -x955 -x715 x965 x904 -x915 x903 -x942 -x902 -x650 -x718 -x519 -x597 -x648 x741 -x769 x894 -x961 -x502 -x605 -x969 -x780 x574 x719
3586.14/3597.03 v x823 -x883 -x721 -x821 -x631 x557 -x635 -x688 -x848 x503 x874 x905 x757 -x700 -x620 x795 -x725 -x984 -x962 x570 x595 x601 -x613
3586.14/3597.03 v x784 x801 x926 x504 -x880 -x777 -x676 -x845 -x532 -x943 -x599 -x973 -x844 -x748 -x517 -x560 -x701 -x963 -x972 -x505 -x690 -x948
3586.14/3597.03 v -x568 -x822 -x873 x787 x996 -x755 -x507 -x817 x509 -x633 -x999 -x506 -x738 -x732 -x573 -x994 x932 -x692 -x640 -x508 -x527 -x575
3586.14/3597.03 v -x628 -x783 -x966 x970 -x907 -x591 -x997 -x603 -x974 -x939 -x569 -x612 -x752 -x754 -x778 -x807 x947 -x634 -x800 x988 x933 x868 -x661
3586.14/3597.03 v x806 -x657 -x524 -x528 -x705 -x746 x889 x990 x912 -x825 x749 -x847 -x878 -x940 -x986 x609 -x671 x681 x967 x707 x742 -x703 -x544
3586.14/3597.03 v -x699 -x763 x810 x816 -x511 x879 -x513 -x627 -x678 -x853 -x897 x865 -x717 x776 -x808 x819 -x954 -x512 -x521 x980 -x765 -x697 -x981
3586.14/3597.03 v -x712 x945 -x589 -x571 -x668 -x695 -x756 -x766 x920 -x949 -x983 -x885 x664 x826 -x884 -x927 -x556 -x632 x670 -x711 x727 -x815 -x842
3586.14/3597.03 v x882 -x950 -x514 x771 x910 -x660 x987 -x852 x598 -x515 -x537 -x724 -x869 x921 -x849 x638 -x542 -x602 x645 -x745 -x854 -x893 -x516
3586.14/3597.03 v -x578 x655 -x639 -x577 x608 -x785 -x682 -x860 -x770 -x679 -x803 -x590 -x587 -x641 -x653 x731 -x798 -x518 -x979 -x896 -x730 -x674
3586.14/3597.03 v -x547 -x663 -x592 -x647 -x708 -x773 -x992 -x866 -x614 -x758 -x610 x764 x938 -x520 -x530 -x563 -x794 -x922 -x813 -x543 -x843 -x820
3586.14/3597.03 v -x985 -x781 x539 x768 -x702 -x553 -x714 x716 x522 -x559 -x956 -x596 -x566 x629 x792 -x523 x976 x696 -x888 x871 -x616 -x667 x890
3586.14/3597.03 v -x855 x959 x669 -x549 -x579 x689 -x704 x525 -x739 -x685 -x841 -x928 -x551 -x586 -x625 -x805 -x585 -x531 -x622 x892 -x762 x989 -x779
3586.14/3597.03 v -x899 -x607 -x665 x693 x934 x642 x930 -x887 -x991 -x644 x975 -x606 x836 -x554 -x824 -x617 -x687 -x593 -x600 -x953 x540 -x799 -x916
3586.14/3597.03 v -x833 -x604 x977 x720 x856 -x908 x909 -x941 x951 -x533 -x968 x809 x957 -x536 -x858 -x898 -x534 -x851 x840 -x747 -x832 -x786 x649
3586.14/3597.03 v -x535 -x850 -x637 x581 -x546 -x900 x630 -x919 -x548 -x935 -x750 -x918 -x790 x1000 x624 x978 x837 x877 -x924 -x673 -x675 -x561 -x588
3586.14/3597.03 v -x767 -x791 -x839 -x550 x863 -x651 -x652 -x881 -x937 -x672 -x788 -x876 -x772 -x751 -x958 -x872 -x710 -x793 x857 -x662 -x621 x618
3586.14/3597.03 v -x782 x911 -x564 -x875 -x960 -x619 -x654 -x913 -x834 -x796 -x582 -x936 x583 x552 -x734 x759 x677 -x891 -x952 -x709 -x694 x925 -x862
3586.14/3597.03 v -x666 -x691 -x558 -x814 x838 x760 -x658 -x686 -x789 x929 -x565 x722 x728 x867 x562 -x626 x698 -x706 -x646 -x901 x740 -x895 x656
3586.14/3597.03 v -x576 -x680 x971 x861 -x567 -x835 -x931 x998 x736 -x743 -x831 -x572 -x870 -x944 -x744 x995 x594 -x611 -x828 -x659 x580 -x846 x859
3586.14/3597.03 v -x797 -x615 -x804 -x726 -x829 -x723 -x735 -x761 x643 -x713 -x683 x733 -x917 -x964 x993 x946 -x684 -x729 x923 x737 x906 x812 -x636
3586.14/3597.03 v x818 -x753 -x914 x830 -x774
3586.14/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3586.14/3597.03 c Total Time : 3597.03
3586.14/3597.03 c solving : 3597.03
3586.14/3597.03 c presolving : 0.09 (included in solving)
3586.14/3597.03 c reading : 0.02 (included in solving)
3586.14/3597.03 c copying : 0.07 (19 #copies) (minimal 0.00, maximal 0.00, average 0.00)
3586.14/3597.03 c Original Problem :
3586.14/3597.03 c Problem name : HOME/instance-4498439-1751271833.opb
3586.14/3597.03 c Variables : 7326 (1000 binary, 0 integer, 6326 continuous)
3586.14/3597.03 c implied integral : 6326 (0 binary, 0 integer, 6326 continuous)
3586.14/3597.03 c Constraints : 8827 initial, 8827 maximal
3586.14/3597.03 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3586.14/3597.03 c Presolved Problem :
3586.14/3597.03 c Problem name : t_HOME/instance-4498439-1751271833.opb
3586.14/3597.03 c Variables : 1000 (1000 binary, 0 integer, 0 continuous)
3586.14/3597.03 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.14/3597.03 c Constraints : 1501 initial, 1536 maximal
3586.14/3597.03 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3586.14/3597.03 c Nonzeros : 15652 constraint, 1000 clique table
3586.14/3597.03 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.14/3597.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c dualfix : 0.00 0.00 4 6326 0 0 0 0 0 0 0 0
3586.14/3597.03 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c knapsack : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c setppc : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c linear : 0.01 0.00 6 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c pseudoboolean : 0.02 0.00 1 0 0 0 0 0 8326 1000 0 0
3586.14/3597.03 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c root node : - - - 0 - - 0 - - - - -
3586.14/3597.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.14/3597.03 c integral : 0 0 0 0 12024 0 0 1719 0 0 18 0 0 0 24012
3586.14/3597.03 c knapsack : 1000 1000 26 187103 0 0 0 1713 27681 69 221318 0 0 0 0
3586.14/3597.03 c setppc : 500 500 26 183130 0 0 0 424 2426 0 22601 0 0 0 0
3586.14/3597.03 c linear : 1 1 26 187060 0 0 0 423 138 108 0 0 0 0 0
3586.14/3597.03 c logicor : 0+ 35 26 4500 0 0 0 0 0 0 1 0 0 0 0
3586.14/3597.03 c fixedvar : 0 0 0 0 0 0 0 422 0 0 0 0 0 0 0
3586.14/3597.03 c countsols : 0 0 0 0 0 0 0 422 0 0 0 0 0 0 0
3586.14/3597.03 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.14/3597.03 c integral : 523.58 0.00 0.00 0.00 523.58 0.00 0.00 0.00 0.00 0.00
3586.14/3597.03 c knapsack : 1.88 0.00 0.08 1.62 0.00 0.00 0.00 0.16 0.01 0.01
3586.14/3597.03 c setppc : 0.17 0.00 0.00 0.12 0.00 0.00 0.00 0.04 0.00 0.00
3586.14/3597.03 c linear : 1.16 0.00 0.75 0.40 0.00 0.00 0.00 0.01 0.01 0.00
3586.14/3597.03 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.03 c fixedvar : 0.15 0.00 0.00 0.00 0.00 0.00 0.00 0.15 0.00 0.00
3586.14/3597.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.03 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.14/3597.03 c dualfix : 2 0 0 0
3586.14/3597.03 c genvbounds : 0 0 0 0
3586.14/3597.03 c nlobbt : 0 0 0 0
3586.14/3597.03 c obbt : 0 0 0 0
3586.14/3597.03 c probing : 0 0 0 0
3586.14/3597.03 c pseudoobj : 53901 0 0 0
3586.14/3597.03 c redcost : 10820 0 0 163795
3586.14/3597.03 c rootredcost : 5 0 0 0
3586.14/3597.03 c symmetry : 0 0 0 0
3586.14/3597.03 c vbounds : 69246 0 0 0
3586.14/3597.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.14/3597.03 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.03 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.03 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.03 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.03 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3586.14/3597.03 c pseudoobj : 0.05 0.00 0.00 0.05 0.00 0.00
3586.14/3597.03 c redcost : 0.55 0.00 0.00 0.55 0.00 0.00
3586.14/3597.03 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.14/3597.03 c symmetry : 0.03 0.00 0.00 0.02 0.00 0.00
3586.14/3597.03 c vbounds : 0.06 0.00 0.00 0.06 0.00 0.00
3586.14/3597.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.14/3597.03 c propagation : 0.21 69 69 - 8398 376.1 0 0.0 - - -
3586.14/3597.03 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.14/3597.03 c bound exceed. LP : 7.82 3967 36 - 2089 200.4 0 0.0 0 0.0 38980
3586.14/3597.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.14/3597.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.14/3597.03 c applied globally : 0.00 - - 0 113 122.8 - - 0 - -
3586.14/3597.03 c applied locally : - - - 0 64 208.3 - - 0 - -
3586.14/3597.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.14/3597.03 c cut pool : 9.37 - 3505 42 - - 38453 128761 - - - - - (maximal pool size: 11056)
3586.14/3597.03 c aggregation : 397.54 0.00 726 26 0 0 7486 71757 0 25960 25960 0 0
3586.14/3597.03 c > cmir : - - - - - - - 71757 0 25960 25960 0 -
3586.14/3597.03 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.14/3597.03 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.14/3597.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c clique : 0.09 0.00 26 26 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c gomory : 44.20 0.00 587 10 0 0 30852 54752 0 1594 1594 0 0
3586.14/3597.03 c > gomorymi : - - - - - - - 54627 0 1594 1594 0 -
3586.14/3597.03 c > strongcg : - - - - - - - 125 0 0 0 0 -
3586.14/3597.03 c impliedbounds : 0.03 0.00 726 26 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c multilinear : 0.00 0.00 277 26 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c rapidlearning : 0.02 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.14/3597.03 c zerohalf : 58.35 0.00 597 20 0 0 115 2252 0 1440 1440 0 0
3586.14/3597.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.14/3597.03 c hybrid : 0.98 0.00 1794 27 28994 0 99767 2023 0 19163
3586.14/3597.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c Pricers : ExecTime SetupTime Calls Vars
3586.14/3597.03 c problem variables: 0.00 - 0 0
3586.14/3597.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.14/3597.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c relpscost : 523.57 0.00 12024 0 0 0 18 0 0 24012
3586.14/3597.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.14/3597.03 c LP solutions : 0.00 - - 0 0
3586.14/3597.03 c relax solutions : 0.00 - - 0 0
3586.14/3597.03 c pseudo solutions : 0.00 - - 0 0
3586.14/3597.03 c strong branching : 0.00 - - 0 0
3586.14/3597.03 c actconsdiving : 0.00 0.00 0 0 0
3586.14/3597.03 c adaptivediving : 23.41 0.00 7 0 0
3586.14/3597.03 c alns : 0.07 0.00 7 0 0
3586.14/3597.03 c bound : 0.00 0.00 0 0 0
3586.14/3597.03 c clique : 0.01 0.00 1 0 0
3586.14/3597.03 c coefdiving : 0.00 0.00 0 0 0
3586.14/3597.03 c completesol : 0.00 0.00 0 0 0
3586.14/3597.03 c conflictdiving : 99.18 0.00 61 1 1
3586.14/3597.03 c crossover : 0.07 0.00 3 0 0
3586.14/3597.03 c dins : 0.00 0.00 0 0 0
3586.14/3597.03 c distributiondivin: 73.07 0.00 34 0 0
3586.14/3597.03 c dks : 0.00 0.00 0 0 0
3586.14/3597.03 c dps : 0.00 0.00 0 0 0
3586.14/3597.03 c dualval : 0.00 0.00 0 0 0
3586.14/3597.03 c farkasdiving : 0.00 0.00 0 0 0
3586.14/3597.03 c feaspump : 0.00 0.00 0 0 0
3586.14/3597.03 c fixandinfer : 0.00 0.00 0 0 0
3586.14/3597.03 c fracdiving : 74.04 0.00 51 3 3
3586.14/3597.03 c gins : 0.01 0.00 0 0 0
3586.14/3597.03 c guideddiving : 51.61 0.00 36 0 0
3586.14/3597.03 c indicator : 0.00 0.00 0 0 0
3586.14/3597.03 c indicatordiving : 0.00 0.00 0 0 0
3586.14/3597.03 c intdiving : 0.00 0.00 0 0 0
3586.14/3597.03 c intshifting : 0.00 0.00 0 0 0
3586.14/3597.03 c linesearchdiving : 51.72 0.00 37 0 0
3586.14/3597.03 c localbranching : 0.00 0.00 0 0 0
3586.14/3597.03 c locks : 0.01 0.00 1 0 0
3586.14/3597.03 c lpface : 0.00 0.00 0 0 0
3586.14/3597.03 c mpec : 0.00 0.00 0 0 0
3586.14/3597.03 c multistart : 0.00 0.00 0 0 0
3586.14/3597.03 c mutation : 0.00 0.00 0 0 0
3586.14/3597.03 c nlpdiving : 0.00 0.00 0 0 0
3586.14/3597.03 c objpscostdiving : 289.61 0.00 24 24 0
3586.14/3597.03 c octane : 0.00 0.00 0 0 0
3586.14/3597.03 c ofins : 0.00 0.00 0 0 0
3586.14/3597.03 c oneopt : 0.02 0.00 10 0 0
3586.14/3597.03 c padm : 0.00 0.00 0 0 0
3586.14/3597.03 c proximity : 0.00 0.00 0 0 0
3586.14/3597.03 c pscostdiving : 59.70 0.00 52 1 1
3586.14/3597.03 c randrounding : 0.85 0.00 1310 12 3
3586.14/3597.03 c rens : 0.00 0.00 0 0 0
3586.14/3597.03 c reoptsols : 0.00 0.00 0 0 0
3586.14/3597.03 c repair : 0.00 0.00 0 0 0
3586.14/3597.03 c rins : 27.24 0.00 9 9 0
3586.14/3597.03 c rootsoldiving : 14.72 0.00 11 0 0
3586.14/3597.03 c rounding : 29.46 0.00 5858 1 1
3586.14/3597.03 c scheduler : 0.00 0.00 0 0 0
3586.14/3597.03 c shiftandpropagate: 0.00 0.00 0 0 0
3586.14/3597.03 c shifting : 44.97 0.00 3327 366 0
3586.14/3597.03 c simplerounding : 0.01 0.00 0 0 0
3586.14/3597.03 c subnlp : 0.00 0.00 0 0 0
3586.14/3597.03 c trivial : 0.00 0.00 2 1 1
3586.14/3597.03 c trivialnegation : 0.00 0.00 0 0 0
3586.14/3597.03 c trustregion : 0.00 0.00 0 0 0
3586.14/3597.03 c trysol : 0.00 0.00 0 0 0
3586.14/3597.03 c twoopt : 0.00 0.00 0 0 0
3586.14/3597.03 c undercover : 0.00 0.00 0 0 0
3586.14/3597.03 c vbounds : 0.02 0.00 1 0 0
3586.14/3597.03 c veclendiving : 44.51 0.00 27 0 0
3586.14/3597.03 c zeroobj : 0.00 0.00 0 0 0
3586.14/3597.03 c zirounding : 0.36 0.00 1000 0 0
3586.14/3597.03 c other solutions : - - - 0 -
3586.14/3597.03 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.14/3597.03 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.14/3597.03 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.14/3597.03 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.14/3597.03 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.14/3597.03 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.14/3597.03 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.14/3597.03 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.14/3597.03 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.14/3597.03 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.14/3597.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.14/3597.03 c primal LP : 2.49 1224 1 1.00 0.40 2.43 1223
3586.14/3597.03 c dual LP : 1646.48 28533 2179064 89.08 1323.47 5.14 4071
3586.14/3597.03 c lex dual LP : 0.00 0 0 0.00 -
3586.14/3597.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.14/3597.03 c resolve instable : 0.00 0 0 0.00 -
3586.14/3597.03 c diving/probing LP: 753.20 23059 1581540 68.59 2099.76
3586.14/3597.03 c strong branching : 498.79 644 352893 547.97 707.50 - - 423
3586.14/3597.03 c (at root node) : - 27 27000 1000.00 -
3586.14/3597.03 c conflict analysis: 6.50 3930 38980 9.92 5999.54
3586.14/3597.03 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.14/3597.03 c benders : 0.00 0 0 0 0.00 0 0 0
3586.14/3597.03 c B&B Tree :
3586.14/3597.03 c number of runs : 1
3586.14/3597.03 c nodes : 19602 (12006 internal, 7596 leaves)
3586.14/3597.03 c feasible leaves : 0
3586.14/3597.03 c infeas. leaves : 0
3586.14/3597.03 c objective leaves : 7595
3586.14/3597.03 c nodes (total) : 19602 (12006 internal, 7596 leaves)
3586.14/3597.03 c nodes left : 4412
3586.14/3597.03 c max depth : 136
3586.14/3597.03 c max depth (total): 136
3586.14/3597.03 c backtracks : 2929 (14.9%)
3586.14/3597.03 c early backtracks : 0 (0.0%)
3586.14/3597.03 c nodes exc. ref. : 0 (0.0%)
3586.14/3597.03 c delayed cutoffs : 0
3586.14/3597.03 c repropagations : 1 (1 domain reductions, 0 cutoffs)
3586.14/3597.03 c avg switch length: 6.09
3586.14/3597.03 c switching time : 4.29
3586.14/3597.03 c Root Node :
3586.14/3597.03 c First LP value : -2.50000000000000e+02
3586.14/3597.03 c First LP Iters : 3609 (5986.28 Iter/sec)
3586.14/3597.03 c First LP Time : 0.60
3586.14/3597.03 c Final Dual Bound : -2.43490371504218e+02
3586.14/3597.03 c Final Root Iters : 29687
3586.14/3597.03 c Root LP Estimate : +1.42379147244715e+02
3586.14/3597.03 c Solution :
3586.14/3597.03 c Solutions found : 418 (10 improvements)
3586.14/3597.03 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
3586.14/3597.03 c Gap First Sol. : infinite
3586.14/3597.03 c Gap Last Sol. : 71.17 %
3586.14/3597.03 c Primal Bound : -1.42000000000000e+02 (in run 1, after 142 nodes, 674.93 seconds, depth 357, found by <fracdiving>)
3586.14/3597.03 c Dual Bound : -2.41732132678494e+02
3586.14/3597.03 c Gap : 70.23 %
3586.14/3597.03 c Integrals : Total Avg%
3586.14/3597.03 c primal-dual : 157592.13 43.81
3586.14/3597.03 c primal-ref : - - (not evaluated)
3586.14/3597.03 c dual-ref : - - (not evaluated)
3586.24/3597.17 c Time complete (sec): 3586.320
OK -142
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61488 MiB free)
memory of node 1: 64465 MiB (62499 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498439-1751271833/watcher-4498439-1751271833 -o /tmp/evaluation-result-4498439-1751271833/solver-4498439-1751271833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751268232-36905 --watchdog 3760 pbsolver -f HOME/instance-4498439-1751271833.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=37451, runsolver pid=37448
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.12 4.10 4.02 5/263 37452
/proc/meminfo: memFree=126923944/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=56976 memory=47360 CPUtime=0.09 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 9606 0 0 0 8 1 0 0 20 0 1 0 42861847 58343424 11840 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 14244 11840 2496 2575 0 11151 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56976 KiB
Current children cumulated memory: 47360 KiB
[startup+0.205466 s]*
/proc/loadavg: 4.12 4.10 4.02 5/263 37452
/proc/meminfo: memFree=126919912/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=65796 memory=54632 CPUtime=0.19 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 11491 0 0 0 18 1 0 0 20 0 1 0 42861847 67375104 13658 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 16449 13658 2624 2575 0 13356 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65796 KiB
Current children cumulated memory: 54632 KiB
[startup+0.305323 s]*
/proc/loadavg: 4.12 4.10 4.02 5/263 37452
/proc/meminfo: memFree=126919912/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=66096 memory=54888 CPUtime=0.29 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 11544 0 0 0 28 1 0 0 20 0 1 0 42861847 67682304 13722 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 16524 13722 2624 2575 0 13431 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 66096 KiB
Current children cumulated memory: 54888 KiB
[startup+0.700184 s]
/proc/loadavg: 4.12 4.10 4.02 5/263 37452
/proc/meminfo: memFree=126914544/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=74508 memory=61564 CPUtime=0.69 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 14024 0 0 0 67 2 0 0 20 0 1 0 42861847 76296192 15391 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 18627 15391 2624 2575 0 15534 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 74508 KiB
Current children cumulated memory: 61564 KiB
[startup+1.50016 s]
/proc/loadavg: 4.12 4.10 4.02 5/263 37452
/proc/meminfo: memFree=126874476/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=116508 memory=103068 CPUtime=1.48 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 24538 0 0 0 145 3 0 0 20 0 1 0 42861847 119304192 25767 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 29127 25767 2624 2575 0 26034 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 116508 KiB
Current children cumulated memory: 103068 KiB
[startup+3.10523 s]
/proc/loadavg: 4.11 4.09 4.02 5/263 37452
/proc/meminfo: memFree=126850536/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=138576 memory=126236 CPUtime=3.09 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 30315 0 0 0 304 5 0 0 20 0 1 0 42861847 141901824 31559 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 34644 31559 2624 2575 0 31551 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 138576 KiB
Current children cumulated memory: 126236 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.09 4.02 5/263 37452
/proc/meminfo: memFree=126834344/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=156368 memory=143484 CPUtime=6.27 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 35073 0 0 0 621 6 0 0 20 0 1 0 42861847 160120832 35871 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 39092 35871 2624 2575 0 35999 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 156368 KiB
Current children cumulated memory: 143484 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.09 4.02 4/259 37506
/proc/meminfo: memFree=128159868/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=209980 memory=196468 CPUtime=12.65 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 48957 0 0 0 1257 8 0 0 20 0 1 0 42861847 215019520 49117 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 52495 49117 2624 2575 0 49402 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 209980 KiB
Current children cumulated memory: 196468 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.02 4/259 37693
/proc/meminfo: memFree=129335812/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=259948 memory=246004 CPUtime=25.41 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 61325 0 0 0 2530 11 0 0 20 0 1 0 42861847 266186752 61501 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 64987 61501 2624 2575 0 61894 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 259948 KiB
Current children cumulated memory: 246004 KiB
[startup+51.1048 s]
/proc/loadavg: 4.31 4.14 4.04 5/263 37730
/proc/meminfo: memFree=129026404/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=321144 memory=308072 CPUtime=50.94 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 74997 0 0 0 5080 14 0 0 20 0 1 0 42861847 328851456 77018 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 80286 77018 2624 2575 0 77193 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 321144 KiB
Current children cumulated memory: 308072 KiB
[startup+102.3 s]
/proc/loadavg: 4.36 4.20 4.06 5/263 37732
/proc/meminfo: memFree=128942584/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=323944 memory=311356 CPUtime=102 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 75733 0 0 0 10186 14 0 0 20 0 1 0 42861847 331718656 77839 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 80986 77839 2624 2575 0 77893 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 323944 KiB
Current children cumulated memory: 311356 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.19 4.07 5/265 37736
/proc/meminfo: memFree=128562556/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=326732 memory=315428 CPUtime=161.83 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 98289 0 0 0 16164 19 0 0 20 0 1 0 42861847 334573568 78857 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 81683 78857 2624 2575 0 78590 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 326732 KiB
Current children cumulated memory: 315428 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.17 4.07 5/265 37738
/proc/meminfo: memFree=128564688/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=326732 memory=318372 CPUtime=221.65 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 102104 0 0 0 22145 20 0 0 20 0 1 0 42861847 334573568 79593 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 81683 79593 2624 2575 0 78590 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 326732 KiB
Current children cumulated memory: 318372 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.15 4.07 4/261 37748
/proc/meminfo: memFree=128947780/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=326732 memory=318372 CPUtime=281.48 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 102230 0 0 0 28128 20 0 0 20 0 1 0 42861847 334573568 79593 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 81683 79593 2624 2575 0 78590 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 326732 KiB
Current children cumulated memory: 318372 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.14 4.07 5/265 37831
/proc/meminfo: memFree=128824360/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=326732 memory=318372 CPUtime=341.25 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 102324 0 0 0 34105 20 0 0 20 0 1 0 42861847 334573568 79593 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 81683 79593 2624 2575 0 78590 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 326732 KiB
Current children cumulated memory: 318372 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.07 5/264 37833
/proc/meminfo: memFree=128771812/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=326732 memory=318372 CPUtime=401.04 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 102373 0 0 0 40084 20 0 0 20 0 1 0 42861847 334573568 79593 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 81683 79593 2624 2575 0 78590 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 326732 KiB
Current children cumulated memory: 318372 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.07 5/263 37836
/proc/meminfo: memFree=128684528/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=367240 memory=358620 CPUtime=460.82 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 116632 0 0 0 46059 23 0 0 20 0 1 0 42861847 376053760 89655 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 91810 89655 2624 2575 0 88717 0
Current children cumulated CPU time: 460.82 s
################
# More data... #
################
/proc/loadavg: 4.11 4.09 4.09 5/263 37978
/proc/meminfo: memFree=127704088/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3212.51 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161087 0 0 0 321220 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3212.51 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 37980
/proc/meminfo: memFree=127696168/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3272.35 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161087 0 0 0 327204 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3272.35 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 37982
/proc/meminfo: memFree=127687492/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3332.18 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161313 0 0 0 333187 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3332.18 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 37996
/proc/meminfo: memFree=127686856/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3392.01 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161314 0 0 0 339170 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 38000
/proc/meminfo: memFree=127688256/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3451.85 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161541 0 0 0 345154 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3451.85 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
[startup+3522.3 s]
/proc/loadavg: 4.45 4.17 4.12 5/265 38002
/proc/meminfo: memFree=127667692/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3511.69 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161542 0 0 0 351138 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3511.69 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.16 4.11 5/265 38004
/proc/meminfo: memFree=127674028/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3571.48 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161770 0 0 0 357117 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3571.48 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
[startup+3597.18 s]
# the end of solver process 37451 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586 s, system=0.319779 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.20 4.15 4.11 5/265 38004
/proc/meminfo: memFree=127674028/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3573.18 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161770 0 0 0 357287 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
[startup+3590.4 s]
/proc/loadavg: 4.19 4.15 4.11 5/265 38004
/proc/meminfo: memFree=127673788/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3579.56 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161770 0 0 0 357925 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3579.56 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
[startup+3593.6 s]
/proc/loadavg: 4.19 4.15 4.11 5/265 38005
/proc/meminfo: memFree=127674192/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3582.75 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161770 0 0 0 358244 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3582.75 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
[startup+3595.2 s]
/proc/loadavg: 4.25 4.16 4.12 5/265 38005
/proc/meminfo: memFree=127674192/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3584.34 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161770 0 0 0 358403 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3584.34 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
[startup+3596 s]*
/proc/loadavg: 4.25 4.16 4.12 5/265 38005
/proc/meminfo: memFree=127674192/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3585.14 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161770 0 0 0 358483 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3585.14 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
[startup+3596.8 s]
/proc/loadavg: 4.25 4.16 4.12 5/265 38005
/proc/meminfo: memFree=127674192/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3585.94 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161771 0 0 0 358563 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3585.94 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
[startup+3597 s]*
/proc/loadavg: 4.25 4.16 4.12 5/265 38005
/proc/meminfo: memFree=127674192/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3586.14 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161771 0 0 0 358583 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3586.14 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
[startup+3597.11 s]
/proc/loadavg: 4.25 4.16 4.12 5/265 38005
/proc/meminfo: memFree=127674192/131249988 swapFree=33010684/33010684
[pid=37451] ppid=37448 vsize=513152 memory=505088 CPUtime=3586.24 cores=5,7
/proc/37451/stat : 37451 (pbsolver) R 37448 37451 36885 0 -1 4194304 161771 0 0 0 358593 31 0 0 20 0 1 0 42861847 525467648 126272 18446744073709551615 4198400 14743177 140726686178624 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43802624 140726686181770 140726686181866 140726686181866 140726686187468 0
/proc/37451/statm: 128288 126272 2688 2575 0 125195 0
Current children cumulated CPU time: 3586.24 s
Current children cumulated vsize: 513152 KiB
Current children cumulated memory: 505088 KiB
Child status: 0
Real time (s): 3597.18
CPU time (s): 3586.32
CPU user time (s): 3586
CPU system time (s): 0.319779
CPU usage (%): 99.6983
Max. virtual memory (cumulated for all children) (KiB): 513152
Max. memory (cumulated for all children) (KiB): 505088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586
system time used= 0.319779
maximum resident set size= 505088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161780
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= 39
involuntary context switches= 20066
# summary of solver processes directly reported to runsolver:
# pid: 37451
# total CPU time (s): 3586.32
# total CPU user time (s): 3586
# total CPU system time (s): 0.319779
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4597 second user time and 14.9411 second system time
The end
Begin job on nodeC031 at 2025-06-30 10:23:53 IDJOB=4498439 IDBENCH=148672 IDSOLVER=3366 FILE ID=nodeC031/4498439-1751271833 RUNJOBID= nodeC031-1751268232-36905 SLURM_JOB_ID= 9594198 Free space on /tmp= 433012 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_4.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498439-1751271833/watcher-4498439-1751271833 -o /tmp/evaluation-result-4498439-1751271833/solver-4498439-1751271833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751268232-36905 --watchdog 3760 pbsolver -f HOME/instance-4498439-1751271833.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 08873ac12267207049f5888e334cf105 RANDOM SEED=1449179163 nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.879 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.931 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.051 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.375 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.894 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.144 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3682.548 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.863 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 126963712 kB MemAvailable: 126922716 kB Buffers: 3280 kB Cached: 766676 kB SwapCached: 0 kB Active: 3153908 kB Inactive: 511924 kB Active(anon): 2913940 kB Inactive(anon): 0 kB Active(file): 239968 kB Inactive(file): 511924 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15120 kB Writeback: 16 kB AnonPages: 2896904 kB Mapped: 136548 kB Shmem: 18064 kB KReclaimable: 92700 kB Slab: 179196 kB SReclaimable: 92700 kB SUnreclaim: 86496 kB KernelStack: 4272 kB PageTables: 8656 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 3294456 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 2287616 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191188 kB DirectMap2M: 9017344 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433000 MiB End job on nodeC031 at 2025-06-30 11:23:50