Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | -142 | 3587.7 | 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4498438-1751271833.opb>
0.00/0.03 c original problem has 7326 variables (1000 bin, 0 int, 6326 impl, 0 cont) and 8827 constraints
0.00/0.03 c problem read in 0.02
0.00/0.05 o 0
0.00/0.05 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.05 c presolving:
0.00/0.08 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.09 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.10 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.13 c (0.1s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.13 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.14 c (0.1s) no symmetry present (symcode time: 0.00)
0.09/0.14 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.09/0.14 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.14 c 0 implications, 500 cliques
0.09/0.14 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1501 constraints
0.09/0.14 c 1000 constraints of type <knapsack>
0.09/0.14 c 500 constraints of type <setppc>
0.09/0.14 c 1 constraints of type <linear>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.09
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 10.0.0
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.14 c limits/time = 3596.997011
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.14 c limits/memory = 27900
0.09/0.14 c
0.09/0.14 c # belongs reading time to solving time?
0.09/0.14 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c timing/reading = TRUE
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c transformed 1/1 original solutions to the transformed problem space
0.09/0.14 c
0.68/0.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.68/0.79 c 0.8s| 1 | 0 | 3609 | - | 42M | 0 |1000 |1503 |1501 | 0 | 0 | 2 | 0 |-2.500000e+02 | 0.000000e+00 | Inf | unknown
0.78/0.81 o -1
0.78/0.81 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.48/2.53 c 2.5s| 1 | 0 | 5510 | - | 79M | 0 |1000 |1503 |1583 | 82 | 1 | 2 | 0 |-2.490681e+02 |-1.000000e+00 | Large | unknown
2.48/2.53 o -90
2.48/2.53 c r 2.5s| 1 | 0 | 5510 | - |randroun| 0 |1000 |1503 |1583 | 0 | 1 | 2 | 0 |-2.490681e+02 |-9.000000e+01 | 176.74%| unknown
6.97/7.04 c 7.0s| 1 | 0 | 7924 | - | 101M | 0 |1000 |1503 |1671 | 170 | 2 | 2 | 0 |-2.445305e+02 |-9.000000e+01 | 171.70%| unknown
11.65/11.76 c 11.8s| 1 | 0 | 8754 | - | 129M | 0 |1000 |1503 |1758 | 257 | 3 | 2 | 0 |-2.442215e+02 |-9.000000e+01 | 171.36%| unknown
16.64/16.70 c 16.7s| 1 | 0 | 9529 | - | 158M | 0 |1000 |1503 |1852 | 351 | 4 | 2 | 0 |-2.441073e+02 |-9.000000e+01 | 171.23%| unknown
21.43/21.55 c 21.5s| 1 | 0 | 10269 | - | 173M | 0 |1000 |1503 |1950 | 449 | 5 | 2 | 0 |-2.440745e+02 |-9.000000e+01 | 171.19%| unknown
26.61/26.77 c 26.8s| 1 | 0 | 11261 | - | 203M | 0 |1000 |1503 |2049 | 548 | 6 | 2 | 0 |-2.440294e+02 |-9.000000e+01 | 171.14%| unknown
31.80/31.98 c 32.0s| 1 | 0 | 12205 | - | 215M | 0 |1000 |1503 |2156 | 655 | 7 | 2 | 0 |-2.439838e+02 |-9.000000e+01 | 171.09%| unknown
37.38/37.50 c 37.5s| 1 | 0 | 13338 | - | 222M | 0 |1000 |1503 |2260 | 759 | 8 | 2 | 0 |-2.439103e+02 |-9.000000e+01 | 171.01%| unknown
43.36/43.55 c 43.5s| 1 | 0 | 14913 | - | 238M | 0 |1000 |1503 |2361 | 860 | 9 | 2 | 0 |-2.438781e+02 |-9.000000e+01 | 170.98%| unknown
48.95/49.19 c 49.2s| 1 | 0 | 16000 | - | 257M | 0 |1000 |1503 |2465 | 964 | 10 | 2 | 0 |-2.438183e+02 |-9.000000e+01 | 170.91%| unknown
54.63/54.81 c 54.8s| 1 | 0 | 17207 | - | 259M | 0 |1000 |1503 |2559 |1068 | 11 | 2 | 0 |-2.437753e+02 |-9.000000e+01 | 170.86%| unknown
60.71/60.96 c 61.0s| 1 | 0 | 18868 | - | 259M | 0 |1000 |1503 |2651 |1160 | 12 | 2 | 0 |-2.437157e+02 |-9.000000e+01 | 170.80%| unknown
66.50/66.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
66.50/66.71 c 66.7s| 1 | 0 | 20230 | - | 260M | 0 |1000 |1503 |2754 |1263 | 13 | 2 | 0 |-2.436877e+02 |-9.000000e+01 | 170.76%| unknown
66.50/66.71 o -91
66.50/66.71 c r66.7s| 1 | 0 | 20230 | - |randroun| 0 |1000 |1503 |2754 | 0 | 13 | 2 | 0 |-2.436877e+02 |-9.100000e+01 | 167.79%| unknown
72.19/72.44 c 72.4s| 1 | 0 | 21290 | - | 261M | 0 |1000 |1503 |2858 |1367 | 14 | 2 | 0 |-2.436731e+02 |-9.100000e+01 | 167.77%| unknown
78.37/78.62 c 78.6s| 1 | 0 | 22915 | - | 261M | 0 |1000 |1503 |2949 |1458 | 15 | 2 | 0 |-2.436258e+02 |-9.100000e+01 | 167.72%| unknown
84.06/84.35 c 84.3s| 1 | 0 | 24110 | - | 262M | 0 |1000 |1503 |3043 |1552 | 16 | 2 | 0 |-2.436154e+02 |-9.100000e+01 | 167.71%| unknown
90.34/90.68 c 90.7s| 1 | 0 | 25633 | - | 262M | 0 |1000 |1503 |2884 |1636 | 17 | 2 | 0 |-2.435936e+02 |-9.100000e+01 | 167.69%| unknown
95.63/95.96 c 96.0s| 1 | 0 | 26610 | - | 262M | 0 |1000 |1503 |2968 |1720 | 18 | 2 | 0 |-2.435866e+02 |-9.100000e+01 | 167.68%| unknown
100.91/101.27 c 101s| 1 | 0 | 27553 | - | 262M | 0 |1000 |1503 |3036 |1788 | 19 | 2 | 0 |-2.435812e+02 |-9.100000e+01 | 167.67%| unknown
106.10/106.47 c 106s| 1 | 0 | 28290 | - | 263M | 0 |1000 |1503 |3107 |1859 | 20 | 2 | 0 |-2.435764e+02 |-9.100000e+01 | 167.67%| unknown
110.99/111.38 c 111s| 1 | 0 | 28811 | - | 263M | 0 |1000 |1503 |3167 |1919 | 21 | 2 | 0 |-2.435752e+02 |-9.100000e+01 | 167.67%| unknown
115.88/116.23 c 116s| 1 | 0 | 29345 | - | 263M | 0 |1000 |1503 |3215 |1967 | 22 | 2 | 0 |-2.435742e+02 |-9.100000e+01 | 167.66%| unknown
120.17/120.58 c 121s| 1 | 0 | 29488 | - | 263M | 0 |1000 |1503 |2784 |1991 | 23 | 2 | 0 |-2.435741e+02 |-9.100000e+01 | 167.66%| unknown
120.17/120.59 o -94
120.17/120.59 c r 121s| 1 | 0 | 29488 | - |randroun| 0 |1000 |1503 |2784 | 0 | 23 | 2 | 0 |-2.435741e+02 |-9.400000e+01 | 159.12%| unknown
124.66/125.08 c 125s| 1 | 0 | 29602 | - | 263M | 0 |1000 |1503 |2807 |2014 | 24 | 2 | 0 |-2.435741e+02 |-9.400000e+01 | 159.12%| unknown
128.85/129.29 c 129s| 1 | 0 | 29674 | - | 263M | 0 |1000 |1503 |2812 |2019 | 25 | 2 | 0 |-2.435741e+02 |-9.400000e+01 | 159.12%| unknown
131.64/132.07 o -96
131.64/132.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
131.64/132.07 c d 132s| 1 | 0 | 36212 | - |conflict| 0 |1000 |1503 |2812 | 0 | 25 | 2 | 0 |-2.435741e+02 |-9.600000e+01 | 153.72%| unknown
131.84/132.28 c 132s| 1 | 0 | 36212 | - | 263M | 0 |1000 |1503 |2812 |2019 | 25 | 2 | 0 |-2.435741e+02 |-9.600000e+01 | 153.72%| unknown
135.93/136.38 c 136s| 1 | 0 | 36221 | - | 263M | 0 |1000 |1503 |2815 |2022 | 26 | 2 | 0 |-2.435741e+02 |-9.600000e+01 | 153.72%| unknown
136.43/136.81 c 137s| 1 | 0 | 36225 | - | 263M | 0 |1000 |1503 |2816 |2023 | 27 | 2 | 0 |-2.435741e+02 |-9.600000e+01 | 153.72%| unknown
174.91/175.43 c 175s| 1 | 2 | 36225 | - | 263M | 0 |1000 |1503 |2816 |2023 | 27 | 2 | 27 |-2.434904e+02 |-9.600000e+01 | 153.64%| unknown
415.89/417.27 o -130
415.89/417.27 c d 417s| 15 | 16 | 49557 |1419.3 |pscostdi| 14 |1000 |1503 |2226 | 0 | 1 | 2 | 200 |-2.434904e+02 |-1.300000e+02 | 87.30%| unknown
456.46/457.93 o -137
456.46/457.93 c d 458s| 39 | 40 | 73568 |1154.8 |fracdivi| 15 |1000 |1515 |2277 | 0 | 1 | 18 | 216 |-2.434904e+02 |-1.370000e+02 | 77.73%| unknown
591.73/593.62 o -140
591.73/593.62 c d 594s| 100 | 101 |161245 |1328.9 |fracdivi| 18 |1000 |1515 |2230 | 0 | 1 | 18 | 243 |-2.433931e+02 |-1.400000e+02 | 73.85%| unknown
696.01/698.22 o -142
696.01/698.22 c d 698s| 142 | 143 |288674 |1836.8 |fracdivi| 18 |1000 |1515 |2076 | 0 | 1 | 18 | 260 |-2.430630e+02 |-1.420000e+02 | 71.17%| unknown
776.07/778.59 c 779s| 200 | 201 |395105 |1836.3 | 382M | 21 |1000 |1515 |2246 |7337 | 1 | 18 | 288 |-2.429732e+02 |-1.420000e+02 | 71.11%| unknown
912.69/915.56 c 916s| 300 | 301 |520705 |1642.2 | 386M | 21 |1000 |1515 |2194 |9356 | 1 | 18 | 332 |-2.428569e+02 |-1.420000e+02 | 71.03%| unknown
1058.79/1062.09 c 1062s| 400 | 401 |632097 |1509.8 | 392M | 21 |1000 |1515 |2229 | 11k| 1 | 18 | 383 |-2.428001e+02 |-1.420000e+02 | 70.99%| unknown
1126.30/1129.70 c 1130s| 500 | 501 |700419 |1344.2 | 394M | 24 |1000 |1514 |2348 | 12k| 1 | 18 | 397 |-2.427466e+02 |-1.420000e+02 | 70.95%| unknown
1166.79/1170.36 c 1170s| 600 | 581 |722918 |1157.3 | 396M | 101 |1000 |1514 |2639 | 12k| 0 | 18 | 399 |-2.427407e+02 |-1.420000e+02 | 70.94%| unknown
1194.81/1198.46 c 1198s| 700 | 607 |748783 |1028.7 | 398M | 110 |1000 |1514 |2640 | 13k| 1 | 20 | 401 |-2.427242e+02 |-1.420000e+02 | 70.93%| unknown
1196.01/1199.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1196.01/1199.61 c 1200s| 800 | 619 |752952 | 905.2 | 398M | 110 |1000 |1518 |2640 | 13k| 1 | 24 | 401 |-2.427242e+02 |-1.420000e+02 | 70.93%| unknown
1209.07/1212.75 c 1213s| 900 | 631 |767320 | 820.5 | 398M | 111 |1000 |1518 |2641 | 13k| 1 | 24 | 401 |-2.427198e+02 |-1.420000e+02 | 70.93%| unknown
1224.53/1228.29 c 1228s| 1000 | 643 |780559 | 751.6 | 398M | 119 |1000 |1518 |2643 | 13k| 1 | 24 | 402 |-2.427143e+02 |-1.420000e+02 | 70.93%| unknown
1252.74/1256.51 c 1257s| 1100 | 667 |805665 | 706.1 | 399M | 119 |1000 |1516 |2643 | 14k| 2 | 24 | 402 |-2.426662e+02 |-1.420000e+02 | 70.89%| unknown
1287.14/1291.08 c 1291s| 1200 | 703 |843777 | 679.0 | 399M | 119 |1000 |1515 |2125 | 14k| 1 | 24 | 402 |-2.426370e+02 |-1.420000e+02 | 70.87%| unknown
1320.64/1324.62 c 1325s| 1300 | 735 |880613 | 655.1 | 401M | 120 |1000 |1515 |2643 | 14k| 0 | 24 | 402 |-2.425881e+02 |-1.420000e+02 | 70.84%| unknown
1360.92/1365.02 c 1365s| 1400 | 763 |904057 | 625.0 | 402M | 127 |1000 |1515 |2645 | 15k| 2 | 24 | 424 |-2.425768e+02 |-1.420000e+02 | 70.83%| unknown
1369.59/1373.79 c 1374s| 1500 | 781 |916606 | 591.7 | 402M | 127 |1000 |1513 |2642 | 15k| 0 | 24 | 426 |-2.425762e+02 |-1.420000e+02 | 70.83%| unknown
1395.51/1399.79 c 1400s| 1600 | 811 |946100 | 573.1 | 403M | 127 |1000 |1513 |2642 | 15k| 1 | 24 | 426 |-2.425661e+02 |-1.420000e+02 | 70.82%| unknown
1410.17/1414.44 c 1414s| 1700 | 833 |957799 | 546.3 | 404M | 127 |1000 |1512 |2643 | 15k| 1 | 24 | 433 |-2.425593e+02 |-1.420000e+02 | 70.82%| unknown
1411.17/1415.46 c 1415s| 1800 | 837 |961459 | 517.9 | 405M | 127 |1000 |1514 |2642 | 15k| 1 | 26 | 443 |-2.425593e+02 |-1.420000e+02 | 70.82%| unknown
1412.16/1416.42 c 1416s| 1900 | 835 |964940 | 492.5 | 405M | 127 |1000 |1514 |2643 | 15k| 0 | 26 | 446 |-2.425593e+02 |-1.420000e+02 | 70.82%| unknown
1429.11/1433.48 c 1433s| 2000 | 851 |973955 | 472.4 | 405M | 127 |1000 |1514 |2194 | 15k| 2 | 26 | 465 |-2.425545e+02 |-1.420000e+02 | 70.81%| unknown
1454.83/1459.22 c 1459s| 2100 | 883 | 1004k| 464.6 | 405M | 127 |1000 |1514 |2644 | 15k| 2 | 26 | 466 |-2.425414e+02 |-1.420000e+02 | 70.80%| unknown
1466.70/1471.11 c 1471s| 2200 | 897 | 1018k| 449.6 | 405M | 127 |1000 |1516 |2642 | 16k| 1 | 28 | 466 |-2.425106e+02 |-1.420000e+02 | 70.78%| unknown
1492.42/1496.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1492.42/1496.95 c 1497s| 2300 | 921 | 1039k| 439.2 | 407M | 127 |1000 |1515 |2644 | 16k| 0 | 28 | 469 |-2.424998e+02 |-1.420000e+02 | 70.77%| unknown
1518.34/1522.97 c 1523s| 2400 | 965 | 1072k| 434.8 | 408M | 127 |1000 |1515 |2645 | 16k| 0 | 28 | 469 |-2.424478e+02 |-1.420000e+02 | 70.74%| unknown
1551.94/1556.68 c 1557s| 2500 | 1009 | 1103k| 429.6 | 410M | 127 |1000 |1515 |2642 | 16k| 1 | 28 | 469 |-2.424330e+02 |-1.420000e+02 | 70.73%| unknown
1552.84/1557.53 c 1558s| 2600 | 1015 | 1106k| 414.2 | 410M | 127 |1000 |1517 |2643 | 16k| 1 | 30 | 469 |-2.424330e+02 |-1.420000e+02 | 70.73%| unknown
1577.76/1582.52 c 1583s| 2700 | 1033 | 1138k| 410.7 | 410M | 127 |1000 |1515 |2642 | 17k| 1 | 30 | 469 |-2.424035e+02 |-1.420000e+02 | 70.71%| unknown
1592.22/1597.05 c 1597s| 2800 | 1051 | 1152k| 401.3 | 411M | 127 |1000 |1515 |2643 | 17k| 1 | 30 | 469 |-2.423917e+02 |-1.420000e+02 | 70.70%| unknown
1614.25/1619.15 c 1619s| 2900 | 1077 | 1173k| 394.5 | 412M | 127 |1000 |1513 |2131 | 17k| 1 | 30 | 469 |-2.423843e+02 |-1.420000e+02 | 70.69%| unknown
1616.94/1621.86 c 1622s| 3000 | 1077 | 1180k| 383.6 | 412M | 127 |1000 |1513 |2642 | 17k| 1 | 30 | 469 |-2.423843e+02 |-1.420000e+02 | 70.69%| unknown
1646.86/1651.84 c 1652s| 3100 | 1123 | 1207k| 379.9 | 413M | 127 |1000 |1513 |2111 | 17k| 1 | 30 | 469 |-2.423723e+02 |-1.420000e+02 | 70.68%| unknown
1656.64/1661.66 c 1662s| 3200 | 1147 | 1224k| 373.6 | 413M | 127 |1000 |1513 |2643 | 17k| 0 | 30 | 469 |-2.423689e+02 |-1.420000e+02 | 70.68%| unknown
1673.40/1678.40 c 1678s| 3300 | 1159 | 1238k| 366.5 | 413M | 127 |1000 |1513 |2642 | 18k| 1 | 30 | 474 |-2.423650e+02 |-1.420000e+02 | 70.68%| unknown
1691.45/1696.58 c 1697s| 3400 | 1179 | 1258k| 361.6 | 413M | 127 |1000 |1512 |2648 | 18k| 0 | 30 | 481 |-2.423454e+02 |-1.420000e+02 | 70.67%| unknown
1713.91/1719.05 c 1719s| 3500 | 1205 | 1279k| 357.2 | 414M | 127 |1000 |1512 |2643 | 18k| 1 | 30 | 491 |-2.423421e+02 |-1.420000e+02 | 70.66%| unknown
1743.43/1748.65 c 1749s| 3600 | 1241 | 1308k| 355.3 | 414M | 127 |1000 |1512 |2644 | 18k| 1 | 31 | 504 |-2.423270e+02 |-1.420000e+02 | 70.65%| unknown
1744.23/1749.45 c 1749s| 3700 | 1253 | 1311k| 346.4 | 414M | 127 |1000 |1512 |2644 | 18k| 1 | 31 | 509 |-2.423270e+02 |-1.420000e+02 | 70.65%| unknown
1752.61/1757.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1752.61/1757.89 c 1758s| 3800 | 1267 | 1321k| 340.1 | 414M | 127 |1000 |1512 |2645 | 18k| 0 | 31 | 511 |-2.423250e+02 |-1.420000e+02 | 70.65%| unknown
1810.57/1815.93 c 1816s| 3900 | 1317 | 1375k| 345.1 | 415M | 127 |1000 |1512 |2124 | 19k| 1 | 31 | 521 |-2.423163e+02 |-1.420000e+02 | 70.65%| unknown
1823.75/1829.11 c 1829s| 4000 | 1333 | 1392k| 340.8 | 415M | 127 |1000 |1513 |2646 | 19k| 1 | 34 | 521 |-2.423148e+02 |-1.420000e+02 | 70.64%| unknown
1841.30/1846.71 c 1847s| 4100 | 1355 | 1414k| 337.7 | 416M | 127 |1000 |1512 |2642 | 19k| 0 | 34 | 522 |-2.423023e+02 |-1.420000e+02 | 70.64%| unknown
1853.18/1858.63 c 1859s| 4200 | 1373 | 1425k| 332.5 | 416M | 127 |1000 |1511 |2644 | 19k| 1 | 34 | 522 |-2.422982e+02 |-1.420000e+02 | 70.63%| unknown
1879.81/1885.35 c 1885s| 4300 | 1411 | 1457k| 332.0 | 417M | 127 |1000 |1511 |2645 | 19k| 1 | 34 | 522 |-2.422737e+02 |-1.420000e+02 | 70.62%| unknown
1887.00/1892.54 c 1893s| 4400 | 1421 | 1470k| 327.5 | 417M | 127 |1000 |1514 |2644 | 19k| 1 | 37 | 522 |-2.422589e+02 |-1.420000e+02 | 70.60%| unknown
1905.05/1910.63 c 1911s| 4500 | 1425 | 1488k| 324.2 | 417M | 127 |1000 |1515 |2643 | 19k| 0 | 40 | 522 |-2.422517e+02 |-1.420000e+02 | 70.60%| unknown
1926.80/1932.47 c 1932s| 4600 | 1447 | 1510k| 322.1 | 418M | 127 |1000 |1514 |2644 | 20k| 1 | 40 | 522 |-2.422500e+02 |-1.420000e+02 | 70.60%| unknown
1944.96/1950.64 c 1951s| 4700 | 1463 | 1532k| 319.7 | 418M | 127 |1000 |1514 |2644 | 20k| 0 | 40 | 522 |-2.422179e+02 |-1.420000e+02 | 70.58%| unknown
1954.94/1960.66 c 1961s| 4800 | 1475 | 1542k| 315.3 | 418M | 127 |1000 |1514 |2645 | 20k| 1 | 40 | 522 |-2.422164e+02 |-1.420000e+02 | 70.57%| unknown
1955.74/1961.46 c 1961s| 4900 | 1469 | 1545k| 309.5 | 418M | 127 |1000 |1514 |2646 | 20k| 1 | 40 | 522 |-2.422164e+02 |-1.420000e+02 | 70.57%| unknown
1974.40/1980.13 c 1980s| 5000 | 1491 | 1567k| 307.6 | 419M | 127 |1000 |1518 |2639 | 20k| 1 | 44 | 522 |-2.422065e+02 |-1.420000e+02 | 70.57%| unknown
1980.78/1986.51 c 1987s| 5100 | 1507 | 1578k| 303.8 | 419M | 127 |1000 |1518 |2640 | 20k| 1 | 44 | 522 |-2.422031e+02 |-1.420000e+02 | 70.57%| unknown
2018.20/2024.06 c 2024s| 5200 | 1547 | 1612k| 304.5 | 420M | 127 |1000 |1517 |2641 | 20k| 2 | 44 | 533 |-2.421906e+02 |-1.420000e+02 | 70.56%| unknown
2035.65/2041.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2035.65/2041.56 c 2042s| 5300 | 1553 | 1631k| 302.3 | 420M | 127 |1000 |1517 |2646 | 21k| 2 | 44 | 533 |-2.421871e+02 |-1.420000e+02 | 70.55%| unknown
2072.96/2079.00 c 2079s| 5400 | 1585 | 1662k| 302.3 | 421M | 127 |1000 |1516 |2641 | 21k| 1 | 44 | 546 |-2.421827e+02 |-1.420000e+02 | 70.55%| unknown
2102.00/2108.01 c 2108s| 5500 | 1613 | 1686k| 301.3 | 422M | 127 |1000 |1514 |2644 | 21k| 2 | 44 | 551 |-2.421791e+02 |-1.420000e+02 | 70.55%| unknown
2112.57/2118.61 c 2119s| 5600 | 1637 | 1702k| 298.7 | 422M | 127 |1000 |1513 |2285 | 21k| 3 | 44 | 552 |-2.421701e+02 |-1.420000e+02 | 70.54%| unknown
2133.62/2139.72 c 2140s| 5700 | 1673 | 1730k| 298.4 | 422M | 127 |1000 |1512 |2643 | 21k| 0 | 44 | 553 |-2.421697e+02 |-1.420000e+02 | 70.54%| unknown
2154.18/2160.30 c 2160s| 5800 | 1703 | 1755k| 297.6 | 422M | 127 |1000 |1512 |2643 | 21k| 1 | 44 | 553 |-2.421504e+02 |-1.420000e+02 | 70.53%| unknown
2170.24/2176.41 c 2176s| 5900 | 1717 | 1768k| 294.8 | 422M | 127 |1000 |1515 |2643 | 22k| 1 | 47 | 554 |-2.421492e+02 |-1.420000e+02 | 70.53%| unknown
2171.04/2177.26 c 2177s| 6000 | 1729 | 1772k| 290.5 | 422M | 127 |1000 |1515 |2643 | 22k| 1 | 47 | 554 |-2.421492e+02 |-1.420000e+02 | 70.53%| unknown
2193.09/2199.36 c 2199s| 6100 | 1743 | 1789k| 288.6 | 422M | 127 |1000 |1515 |2644 | 22k| 1 | 47 | 554 |-2.421485e+02 |-1.420000e+02 | 70.53%| unknown
2209.05/2215.39 c 2215s| 6200 | 1767 | 1805k| 286.5 | 423M | 127 |1000 |1514 |2130 | 22k| 1 | 47 | 556 |-2.421356e+02 |-1.420000e+02 | 70.52%| unknown
2212.14/2218.43 c 2218s| 6300 | 1781 | 1814k| 283.3 | 423M | 127 |1000 |1514 |2644 | 22k| 1 | 48 | 556 |-2.421356e+02 |-1.420000e+02 | 70.52%| unknown
2218.92/2225.27 c 2225s| 6400 | 1797 | 1826k| 280.8 | 423M | 127 |1000 |1514 |2645 | 22k| 1 | 48 | 556 |-2.421247e+02 |-1.420000e+02 | 70.51%| unknown
2232.70/2239.08 c 2239s| 6500 | 1823 | 1849k| 279.9 | 423M | 127 |1000 |1514 |2643 | 22k| 1 | 50 | 557 |-2.421235e+02 |-1.420000e+02 | 70.51%| unknown
2237.38/2243.79 c 2244s| 6600 | 1823 | 1855k| 276.7 | 423M | 127 |1000 |1517 |2123 | 22k| 1 | 53 | 557 |-2.421160e+02 |-1.420000e+02 | 70.50%| unknown
2240.37/2246.73 c 2247s| 6700 | 1831 | 1863k| 273.7 | 423M | 127 |1000 |1517 |2643 | 22k| 0 | 53 | 557 |-2.421160e+02 |-1.420000e+02 | 70.50%| unknown
2252.54/2258.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2252.54/2258.94 c 2259s| 6800 | 1861 | 1882k| 272.5 | 423M | 127 |1000 |1517 |2643 | 22k| 1 | 53 | 557 |-2.421150e+02 |-1.420000e+02 | 70.50%| unknown
2253.44/2259.89 c 2260s| 6900 | 1861 | 1885k| 269.0 | 423M | 127 |1000 |1519 |2644 | 22k| 1 | 55 | 557 |-2.421150e+02 |-1.420000e+02 | 70.50%| unknown
2254.34/2260.78 c 2261s| 7000 | 1861 | 1888k| 265.7 | 423M | 127 |1000 |1525 |2644 | 22k| 1 | 61 | 557 |-2.421150e+02 |-1.420000e+02 | 70.50%| unknown
2270.20/2276.60 c 2277s| 7100 | 1871 | 1905k| 264.3 | 424M | 127 |1000 |1525 |2125 | 22k| 1 | 61 | 557 |-2.421052e+02 |-1.420000e+02 | 70.50%| unknown
2289.16/2295.66 c 2296s| 7200 | 1889 | 1928k| 263.8 | 424M | 127 |1000 |1525 |2643 | 22k| 1 | 61 | 558 |-2.421046e+02 |-1.420000e+02 | 70.50%| unknown
2302.53/2309.07 c 2309s| 7300 | 1897 | 1944k| 262.3 | 424M | 127 |1000 |1525 |2644 | 22k| 1 | 61 | 558 |-2.421032e+02 |-1.420000e+02 | 70.50%| unknown
2315.00/2321.51 c 2322s| 7400 | 1919 | 1964k| 261.5 | 424M | 127 |1000 |1524 |2645 | 22k| 0 | 61 | 558 |-2.420943e+02 |-1.420000e+02 | 70.49%| unknown
2332.76/2339.37 c 2339s| 7500 | 1931 | 1983k| 260.5 | 424M | 127 |1000 |1524 |2644 | 22k| 1 | 61 | 559 |-2.420861e+02 |-1.420000e+02 | 70.48%| unknown
2346.92/2353.58 c 2354s| 7600 | 1939 | 1997k| 259.0 | 425M | 127 |1000 |1527 |2638 | 23k| 1 | 64 | 559 |-2.420809e+02 |-1.420000e+02 | 70.48%| unknown
2353.51/2360.16 c 2360s| 7700 | 1977 | 2006k| 256.7 | 425M | 127 |1000 |1527 |2072 | 23k| 1 | 64 | 559 |-2.420808e+02 |-1.420000e+02 | 70.48%| unknown
2362.08/2368.75 c 2369s| 7800 | 1999 | 2022k| 255.5 | 425M | 127 |1000 |1526 |2638 | 23k| 1 | 64 | 559 |-2.420756e+02 |-1.420000e+02 | 70.48%| unknown
2368.77/2375.44 c 2375s| 7900 | 2021 | 2034k| 253.8 | 425M | 127 |1000 |1525 |2638 | 23k| 0 | 64 | 559 |-2.420754e+02 |-1.420000e+02 | 70.48%| unknown
2369.47/2376.18 c 2376s| 8000 | 2031 | 2037k| 251.1 | 425M | 127 |1000 |1525 |2638 | 23k| 0 | 64 | 559 |-2.420754e+02 |-1.420000e+02 | 70.48%| unknown
2407.67/2414.40 c 2414s| 8100 | 2063 | 2071k| 252.1 | 425M | 127 |1000 |1524 |2638 | 23k| 1 | 64 | 559 |-2.420669e+02 |-1.420000e+02 | 70.47%| unknown
2421.25/2428.02 c 2428s| 8200 | 2089 | 2084k| 250.6 | 425M | 127 |1000 |1527 |2638 | 23k| 1 | 67 | 559 |-2.420651e+02 |-1.420000e+02 | 70.47%| unknown
2427.43/2434.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2427.43/2434.26 c 2434s| 8300 | 2103 | 2095k| 248.9 | 425M | 127 |1000 |1527 |2638 | 23k| 0 | 67 | 559 |-2.420630e+02 |-1.420000e+02 | 70.47%| unknown
2428.23/2435.09 c 2435s| 8400 | 2123 | 2099k| 246.4 | 425M | 127 |1000 |1527 |2638 | 23k| 1 | 67 | 559 |-2.420630e+02 |-1.420000e+02 | 70.47%| unknown
2440.20/2447.04 c 2447s| 8500 | 2157 | 2118k| 245.8 | 425M | 127 |1000 |1530 |2639 | 23k| 1 | 71 | 559 |-2.420524e+02 |-1.420000e+02 | 70.46%| unknown
2451.37/2458.23 c 2458s| 8600 | 2191 | 2136k| 245.0 | 426M | 127 |1000 |1528 |2641 | 23k| 1 | 71 | 559 |-2.420478e+02 |-1.420000e+02 | 70.46%| unknown
2452.17/2459.07 c 2459s| 8700 | 2185 | 2139k| 242.6 | 426M | 127 |1000 |1531 |2638 | 23k| 1 | 74 | 559 |-2.420478e+02 |-1.420000e+02 | 70.46%| unknown
2465.04/2471.98 c 2472s| 8800 | 2219 | 2160k| 242.1 | 426M | 127 |1000 |1533 |2640 | 23k| 1 | 77 | 559 |-2.420416e+02 |-1.420000e+02 | 70.45%| unknown
2465.83/2472.73 c 2473s| 8900 | 2219 | 2163k| 239.7 | 426M | 127 |1000 |1533 |2640 | 23k| 0 | 77 | 559 |-2.420416e+02 |-1.420000e+02 | 70.45%| unknown
2487.88/2494.80 c 2495s| 9000 | 2243 | 2190k| 240.1 | 426M | 127 |1000 |1533 |2640 | 23k| 1 | 77 | 559 |-2.420377e+02 |-1.420000e+02 | 70.45%| unknown
2499.95/2506.93 c 2507s| 9100 | 2265 | 2209k| 239.6 | 426M | 127 |1000 |1532 |2639 | 23k| 0 | 77 | 559 |-2.420335e+02 |-1.420000e+02 | 70.45%| unknown
2506.43/2513.43 c 2513s| 9200 | 2281 | 2221k| 238.3 | 426M | 127 |1000 |1531 |2639 | 23k| 1 | 77 | 559 |-2.420222e+02 |-1.420000e+02 | 70.44%| unknown
2515.91/2522.93 c 2523s| 9300 | 2289 | 2228k| 236.5 | 427M | 127 |1000 |1531 |2090 | 24k| 1 | 77 | 559 |-2.420195e+02 |-1.420000e+02 | 70.44%| unknown
2539.06/2546.17 c 2546s| 9400 | 2311 | 2255k| 236.9 | 427M | 127 |1000 |1531 |2097 | 24k| 1 | 77 | 559 |-2.420176e+02 |-1.420000e+02 | 70.43%| unknown
2552.53/2559.65 c 2560s| 9500 | 2337 | 2277k| 236.7 | 427M | 127 |1000 |1531 |2639 | 24k| 0 | 77 | 559 |-2.420090e+02 |-1.420000e+02 | 70.43%| unknown
2570.68/2577.84 c 2578s| 9600 | 2367 | 2308k| 237.4 | 427M | 127 |1000 |1533 |2639 | 24k| 1 | 80 | 559 |-2.419900e+02 |-1.420000e+02 | 70.42%| unknown
2584.25/2591.44 c 2591s| 9700 | 2383 | 2324k| 236.6 | 428M | 127 |1000 |1536 |2639 | 24k| 1 | 83 | 559 |-2.419840e+02 |-1.420000e+02 | 70.41%| unknown
2601.51/2608.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2601.51/2608.79 c 2609s| 9800 | 2407 | 2343k| 236.2 | 428M | 127 |1000 |1536 |2639 | 24k| 1 | 83 | 559 |-2.419785e+02 |-1.420000e+02 | 70.41%| unknown
2615.48/2622.75 c 2623s| 9900 | 2445 | 2362k| 235.6 | 428M | 127 |1000 |1536 |2638 | 24k| 0 | 83 | 564 |-2.419712e+02 |-1.420000e+02 | 70.40%| unknown
2629.94/2637.22 c 2637s| 10000 | 2461 | 2374k| 234.5 | 428M | 127 |1000 |1536 |2639 | 24k| 1 | 83 | 567 |-2.419712e+02 |-1.420000e+02 | 70.40%| unknown
2647.90/2655.28 c 2655s| 10100 | 2495 | 2393k| 234.1 | 428M | 127 |1000 |1535 |2638 | 24k| 0 | 83 | 570 |-2.419657e+02 |-1.420000e+02 | 70.40%| unknown
2652.09/2659.48 c 2659s| 10200 | 2507 | 2400k| 232.4 | 428M | 127 |1000 |1535 |2153 | 24k| 1 | 83 | 570 |-2.419656e+02 |-1.420000e+02 | 70.40%| unknown
2660.77/2668.10 c 2668s| 10300 | 2517 | 2416k| 231.7 | 428M | 127 |1000 |1534 |2638 | 24k| 1 | 83 | 572 |-2.419613e+02 |-1.420000e+02 | 70.40%| unknown
2667.35/2674.72 c 2675s| 10400 | 2523 | 2428k| 230.7 | 428M | 128 |1000 |1534 |2640 | 24k| 1 | 83 | 573 |-2.419590e+02 |-1.420000e+02 | 70.39%| unknown
2681.52/2688.90 c 2689s| 10500 | 2549 | 2447k| 230.3 | 428M | 128 |1000 |1533 |2638 | 24k| 1 | 83 | 573 |-2.419577e+02 |-1.420000e+02 | 70.39%| unknown
2695.98/2703.40 c 2703s| 10600 | 2575 | 2463k| 229.7 | 429M | 128 |1000 |1532 |2075 | 24k| 1 | 83 | 573 |-2.419405e+02 |-1.420000e+02 | 70.38%| unknown
2719.13/2726.67 c 2727s| 10700 | 2605 | 2492k| 230.2 | 429M | 128 |1000 |1529 |2638 | 25k| 1 | 83 | 573 |-2.419381e+02 |-1.420000e+02 | 70.38%| unknown
2720.12/2727.65 c 2728s| 10800 | 2613 | 2496k| 228.5 | 429M | 128 |1000 |1532 |2639 | 25k| 2 | 87 | 573 |-2.419381e+02 |-1.420000e+02 | 70.38%| unknown
2743.17/2750.77 c 2751s| 10900 | 2641 | 2520k| 228.5 | 429M | 128 |1000 |1530 |2639 | 25k| 1 | 87 | 573 |-2.419335e+02 |-1.420000e+02 | 70.38%| unknown
2760.33/2767.90 c 2768s| 11000 | 2675 | 2541k| 228.4 | 429M | 128 |1000 |1532 |2639 | 25k| 1 | 97 | 573 |-2.419276e+02 |-1.420000e+02 | 70.37%| unknown
2793.15/2800.82 c 2801s| 11100 | 2719 | 2585k| 230.3 | 429M | 128 |1000 |1527 |2639 | 25k| 1 | 97 | 576 |-2.419161e+02 |-1.420000e+02 | 70.36%| unknown
2804.53/2812.29 c 2812s| 11200 | 2755 | 2604k| 230.0 | 429M | 128 |1000 |1530 |2639 | 25k| 0 | 100 | 576 |-2.419064e+02 |-1.420000e+02 | 70.36%| unknown
2825.68/2833.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2825.68/2833.42 c 2833s| 11300 | 2785 | 2631k| 230.3 | 429M | 128 |1000 |1528 |2639 | 25k| 2 | 100 | 576 |-2.419050e+02 |-1.420000e+02 | 70.36%| unknown
2836.36/2844.17 c 2844s| 11400 | 2799 | 2645k| 229.4 | 429M | 128 |1000 |1527 |2639 | 25k| 1 | 100 | 576 |-2.419031e+02 |-1.420000e+02 | 70.35%| unknown
2842.44/2850.27 c 2850s| 11500 | 2825 | 2655k| 228.4 | 429M | 128 |1000 |1530 |2639 | 25k| 1 | 103 | 576 |-2.419025e+02 |-1.420000e+02 | 70.35%| unknown
2848.12/2855.91 c 2856s| 11600 | 2841 | 2666k| 227.4 | 429M | 128 |1000 |1528 |2638 | 25k| 0 | 106 | 576 |-2.418973e+02 |-1.420000e+02 | 70.35%| unknown
2849.62/2857.47 c 2857s| 11700 | 2851 | 2670k| 225.7 | 429M | 128 |1000 |1528 |2638 | 25k| 1 | 106 | 576 |-2.418973e+02 |-1.420000e+02 | 70.35%| unknown
2850.33/2858.16 c 2858s| 11800 | 2863 | 2672k| 224.0 | 429M | 131 |1000 |1528 |2638 | 25k| 1 | 106 | 576 |-2.418973e+02 |-1.420000e+02 | 70.35%| unknown
2860.80/2868.60 c 2869s| 11900 | 2875 | 2683k| 223.0 | 430M | 131 |1000 |1527 |2638 | 25k| 1 | 106 | 583 |-2.418916e+02 |-1.420000e+02 | 70.35%| unknown
2872.77/2880.63 c 2881s| 12000 | 2905 | 2701k| 222.6 | 430M | 133 |1000 |1525 |2638 | 25k| 0 | 106 | 585 |-2.418913e+02 |-1.420000e+02 | 70.35%| unknown
2873.47/2881.30 c 2881s| 12100 | 2905 | 2703k| 221.0 | 430M | 136 |1000 |1524 |2638 | 25k| 1 | 106 | 585 |-2.418913e+02 |-1.420000e+02 | 70.35%| unknown
2887.33/2895.24 c 2895s| 12200 | 2949 | 2721k| 220.7 | 430M | 136 |1000 |1523 |2223 | 25k| 1 | 109 | 588 |-2.418865e+02 |-1.420000e+02 | 70.34%| unknown
2895.12/2903.04 c 2903s| 12300 | 2969 | 2736k| 220.1 | 430M | 136 |1000 |1522 |2638 | 25k| 1 | 109 | 588 |-2.418865e+02 |-1.420000e+02 | 70.34%| unknown
2895.91/2903.84 c 2904s| 12400 | 2977 | 2740k| 218.6 | 430M | 136 |1000 |1522 |2638 | 25k| 1 | 109 | 588 |-2.418865e+02 |-1.420000e+02 | 70.34%| unknown
2896.81/2904.70 c 2905s| 12500 | 2987 | 2744k| 217.2 | 430M | 136 |1000 |1522 |2638 | 25k| 1 | 109 | 588 |-2.418865e+02 |-1.420000e+02 | 70.34%| unknown
2897.51/2905.46 c 2905s| 12600 | 2993 | 2747k| 215.7 | 430M | 136 |1000 |1522 |2638 | 25k| 0 | 109 | 588 |-2.418865e+02 |-1.420000e+02 | 70.34%| unknown
2898.30/2906.29 c 2906s| 12700 | 2989 | 2750k| 214.3 | 430M | 136 |1000 |1522 |2638 | 25k| 1 | 109 | 588 |-2.418865e+02 |-1.420000e+02 | 70.34%| unknown
2904.29/2912.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2904.29/2912.25 c 2912s| 12800 | 2999 | 2762k| 213.5 | 430M | 136 |1000 |1520 |2639 | 25k| 1 | 109 | 588 |-2.418865e+02 |-1.420000e+02 | 70.34%| unknown
2916.26/2924.26 c 2924s| 12900 | 3017 | 2781k| 213.4 | 430M | 136 |1000 |1520 |2638 | 25k| 2 | 123 | 588 |-2.418775e+02 |-1.420000e+02 | 70.34%| unknown
2950.48/2958.54 c 2959s| 13000 | 3053 | 2813k| 214.2 | 430M | 136 |1000 |1517 |2638 | 26k| 0 | 123 | 588 |-2.418702e+02 |-1.420000e+02 | 70.33%| unknown
2957.07/2965.18 c 2965s| 13100 | 3069 | 2825k| 213.4 | 430M | 136 |1000 |1517 |2638 | 26k| 0 | 123 | 588 |-2.418698e+02 |-1.420000e+02 | 70.33%| unknown
2969.24/2977.31 c 2977s| 13200 | 3085 | 2845k| 213.3 | 430M | 136 |1000 |1516 |2638 | 26k| 0 | 123 | 588 |-2.418669e+02 |-1.420000e+02 | 70.33%| unknown
2975.12/2983.22 c 2983s| 13300 | 3105 | 2856k| 212.5 | 430M | 136 |1000 |1516 |2638 | 26k| 1 | 127 | 588 |-2.418628e+02 |-1.420000e+02 | 70.33%| unknown
2987.39/2995.56 c 2996s| 13400 | 3131 | 2873k| 212.2 | 430M | 136 |1000 |1516 |2638 | 26k| 0 | 127 | 588 |-2.418558e+02 |-1.420000e+02 | 70.32%| unknown
2988.29/2996.42 c 2996s| 13500 | 3149 | 2877k| 211.0 | 430M | 136 |1000 |1516 |2639 | 26k| 1 | 127 | 588 |-2.418558e+02 |-1.420000e+02 | 70.32%| unknown
2989.19/2997.32 c 2997s| 13600 | 3163 | 2881k| 209.7 | 430M | 136 |1000 |1516 |2638 | 26k| 1 | 127 | 588 |-2.418558e+02 |-1.420000e+02 | 70.32%| unknown
2995.47/3003.66 c 3004s| 13700 | 3177 | 2893k| 209.1 | 430M | 136 |1000 |1519 |2639 | 26k| 1 | 130 | 588 |-2.418555e+02 |-1.420000e+02 | 70.32%| unknown
3016.22/3024.47 c 3024s| 13800 | 3211 | 2916k| 209.2 | 430M | 136 |1000 |1519 |2638 | 26k| 1 | 130 | 588 |-2.418516e+02 |-1.420000e+02 | 70.32%| unknown
3026.20/3034.42 c 3034s| 13900 | 3219 | 2929k| 208.6 | 431M | 136 |1000 |1519 |2638 | 26k| 1 | 130 | 588 |-2.418495e+02 |-1.420000e+02 | 70.32%| unknown
3027.00/3035.30 c 3035s| 14000 | 3219 | 2933k| 207.4 | 431M | 136 |1000 |1519 |2639 | 26k| 1 | 130 | 588 |-2.418495e+02 |-1.420000e+02 | 70.32%| unknown
3044.96/3053.22 c 3053s| 14100 | 3251 | 2952k| 207.3 | 431M | 136 |1000 |1523 |2639 | 26k| 1 | 135 | 589 |-2.418436e+02 |-1.420000e+02 | 70.31%| unknown
3058.73/3067.05 c 3067s| 14200 | 3277 | 2972k| 207.3 | 431M | 136 |1000 |1523 |2639 | 26k| 0 | 139 | 594 |-2.418398e+02 |-1.420000e+02 | 70.31%| unknown
3077.69/3086.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3077.69/3086.07 c 3086s| 14300 | 3301 | 2993k| 207.3 | 431M | 136 |1000 |1522 |2638 | 26k| 1 | 139 | 597 |-2.418361e+02 |-1.420000e+02 | 70.31%| unknown
3082.47/3090.82 c 3091s| 14400 | 3311 | 3000k| 206.3 | 431M | 136 |1000 |1522 |2144 | 26k| 1 | 139 | 598 |-2.418337e+02 |-1.420000e+02 | 70.31%| unknown
3090.25/3098.69 c 3099s| 14500 | 3339 | 3015k| 205.9 | 431M | 136 |1000 |1522 |2639 | 26k| 1 | 139 | 599 |-2.418318e+02 |-1.420000e+02 | 70.30%| unknown
3117.29/3125.79 c 3126s| 14600 | 3363 | 3040k| 206.2 | 431M | 136 |1000 |1520 |2639 | 26k| 1 | 139 | 600 |-2.418200e+02 |-1.420000e+02 | 70.30%| unknown
3127.46/3135.95 c 3136s| 14700 | 3371 | 3057k| 206.0 | 431M | 136 |1000 |1518 |2140 | 26k| 1 | 139 | 600 |-2.418151e+02 |-1.420000e+02 | 70.29%| unknown
3129.76/3138.27 c 3138s| 14800 | 3375 | 3064k| 205.0 | 431M | 136 |1000 |1517 |2638 | 26k| 1 | 139 | 600 |-2.418151e+02 |-1.420000e+02 | 70.29%| unknown
3140.93/3149.44 c 3149s| 14900 | 3407 | 3081k| 204.8 | 431M | 136 |1000 |1517 |2639 | 26k| 0 | 139 | 601 |-2.418151e+02 |-1.420000e+02 | 70.29%| unknown
3155.99/3164.53 c 3165s| 15000 | 3437 | 3103k| 204.9 | 431M | 136 |1000 |1516 |2162 | 26k| 1 | 139 | 603 |-2.418131e+02 |-1.420000e+02 | 70.29%| unknown
3174.56/3183.18 c 3183s| 15100 | 3463 | 3127k| 205.1 | 431M | 136 |1000 |1516 |2144 | 27k| 1 | 139 | 604 |-2.418110e+02 |-1.420000e+02 | 70.29%| unknown
3201.59/3210.28 c 3210s| 15200 | 3503 | 3167k| 206.4 | 431M | 136 |1000 |1515 |2638 | 27k| 1 | 139 | 604 |-2.418047e+02 |-1.420000e+02 | 70.29%| unknown
3207.27/3215.97 c 3216s| 15300 | 3515 | 3177k| 205.8 | 431M | 136 |1000 |1513 |2639 | 27k| 1 | 139 | 604 |-2.418035e+02 |-1.420000e+02 | 70.28%| unknown
3214.06/3222.70 c 3223s| 15400 | 3521 | 3190k| 205.2 | 431M | 136 |1000 |1511 |2639 | 27k| 1 | 149 | 604 |-2.418031e+02 |-1.420000e+02 | 70.28%| unknown
3214.75/3223.44 c 3223s| 15500 | 3531 | 3193k| 204.1 | 431M | 136 |1000 |1509 |2638 | 27k| 1 | 149 | 604 |-2.418031e+02 |-1.420000e+02 | 70.28%| unknown
3221.14/3229.86 c 3230s| 15600 | 3549 | 3205k| 203.6 | 431M | 136 |1000 |1509 |2638 | 27k| 1 | 149 | 604 |-2.418007e+02 |-1.420000e+02 | 70.28%| unknown
3222.04/3230.73 c 3231s| 15700 | 3565 | 3210k| 202.6 | 431M | 136 |1000 |1509 |2638 | 27k| 1 | 149 | 604 |-2.418007e+02 |-1.420000e+02 | 70.28%| unknown
3228.02/3236.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3228.02/3236.79 c 3237s| 15800 | 3583 | 3219k| 201.9 | 431M | 136 |1000 |1509 |2639 | 27k| 0 | 149 | 604 |-2.417992e+02 |-1.420000e+02 | 70.28%| unknown
3233.71/3242.45 c 3242s| 15900 | 3603 | 3230k| 201.3 | 431M | 136 |1000 |1512 |2639 | 27k| 1 | 152 | 604 |-2.417976e+02 |-1.420000e+02 | 70.28%| unknown
3244.88/3253.63 c 3254s| 16000 | 3631 | 3247k| 201.1 | 431M | 136 |1000 |1511 |2638 | 27k| 1 | 152 | 604 |-2.417968e+02 |-1.420000e+02 | 70.28%| unknown
3245.68/3254.46 c 3254s| 16100 | 3635 | 3251k| 200.1 | 431M | 136 |1000 |1515 |2638 | 27k| 0 | 156 | 604 |-2.417968e+02 |-1.420000e+02 | 70.28%| unknown
3262.84/3271.62 c 3272s| 16200 | 3671 | 3272k| 200.2 | 431M | 136 |1000 |1514 |2638 | 27k| 1 | 156 | 605 |-2.417957e+02 |-1.420000e+02 | 70.28%| unknown
3268.33/3277.19 c 3277s| 16300 | 3685 | 3279k| 199.4 | 431M | 136 |1000 |1514 |2163 | 27k| 1 | 156 | 607 |-2.417941e+02 |-1.420000e+02 | 70.28%| unknown
3270.82/3279.69 c 3280s| 16400 | 3701 | 3287k| 198.7 | 431M | 136 |1000 |1514 |2638 | 27k| 1 | 156 | 607 |-2.417941e+02 |-1.420000e+02 | 70.28%| unknown
3276.90/3285.79 c 3286s| 16500 | 3723 | 3298k| 198.1 | 431M | 136 |1000 |1514 |2639 | 27k| 2 | 156 | 608 |-2.417926e+02 |-1.420000e+02 | 70.28%| unknown
3299.65/3308.56 c 3309s| 16600 | 3749 | 3326k| 198.6 | 431M | 136 |1000 |1514 |2638 | 27k| 1 | 156 | 612 |-2.417880e+02 |-1.420000e+02 | 70.27%| unknown
3308.63/3317.51 c 3318s| 16700 | 3775 | 3337k| 198.1 | 431M | 136 |1000 |1513 |2639 | 27k| 1 | 156 | 612 |-2.417855e+02 |-1.420000e+02 | 70.27%| unknown
3330.49/3339.47 c 3339s| 16800 | 3805 | 3364k| 198.5 | 432M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 614 |-2.417840e+02 |-1.420000e+02 | 70.27%| unknown
3347.75/3356.73 c 3357s| 16900 | 3845 | 3385k| 198.6 | 432M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 615 |-2.417815e+02 |-1.420000e+02 | 70.27%| unknown
3348.45/3357.48 c 3357s| 17000 | 3853 | 3388k| 197.6 | 432M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 615 |-2.417815e+02 |-1.420000e+02 | 70.27%| unknown
3349.24/3358.22 c 3358s| 17100 | 3863 | 3391k| 196.6 | 432M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 615 |-2.417815e+02 |-1.420000e+02 | 70.27%| unknown
3355.14/3364.16 c 3364s| 17200 | 3885 | 3402k| 196.1 | 432M | 136 |1000 |1516 |2638 | 27k| 0 | 159 | 615 |-2.417814e+02 |-1.420000e+02 | 70.27%| unknown
3362.02/3371.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3362.02/3371.05 c 3371s| 17300 | 3903 | 3415k| 195.7 | 432M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 615 |-2.417807e+02 |-1.420000e+02 | 70.27%| unknown
3362.71/3371.75 c 3372s| 17400 | 3921 | 3417k| 194.7 | 432M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 615 |-2.417807e+02 |-1.420000e+02 | 70.27%| unknown
3363.41/3372.40 c 3372s| 17500 | 3925 | 3420k| 193.8 | 432M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 615 |-2.417807e+02 |-1.420000e+02 | 70.27%| unknown
3373.69/3382.70 c 3383s| 17600 | 3945 | 3432k| 193.4 | 432M | 136 |1000 |1516 |2638 | 27k| 1 | 159 | 615 |-2.417790e+02 |-1.420000e+02 | 70.27%| unknown
3379.98/3389.04 c 3389s| 17700 | 3953 | 3443k| 192.9 | 432M | 136 |1000 |1516 |2638 | 27k| 1 | 163 | 615 |-2.417789e+02 |-1.420000e+02 | 70.27%| unknown
3385.96/3395.07 c 3395s| 17800 | 3965 | 3455k| 192.5 | 432M | 136 |1000 |1516 |2638 | 28k| 1 | 163 | 615 |-2.417787e+02 |-1.420000e+02 | 70.27%| unknown
3405.92/3415.07 c 3415s| 17900 | 3993 | 3478k| 192.7 | 432M | 136 |1000 |1515 |2638 | 28k| 1 | 163 | 615 |-2.417780e+02 |-1.420000e+02 | 70.27%| unknown
3417.69/3426.82 c 3427s| 18000 | 4013 | 3498k| 192.7 | 432M | 136 |1000 |1515 |2638 | 28k| 0 | 163 | 616 |-2.417774e+02 |-1.420000e+02 | 70.27%| unknown
3446.53/3455.75 c 3456s| 18100 | 4053 | 3535k| 193.7 | 433M | 136 |1000 |1515 |2078 | 28k| 1 | 165 | 616 |-2.417765e+02 |-1.420000e+02 | 70.27%| unknown
3465.19/3474.47 c 3474s| 18200 | 4071 | 3558k| 193.9 | 433M | 136 |1000 |1516 |2639 | 28k| 1 | 166 | 616 |-2.417695e+02 |-1.420000e+02 | 70.26%| unknown
3475.26/3484.52 c 3485s| 18300 | 4093 | 3574k| 193.7 | 433M | 136 |1000 |1516 |2638 | 28k| 0 | 166 | 616 |-2.417632e+02 |-1.420000e+02 | 70.26%| unknown
3487.04/3496.38 c 3496s| 18400 | 4133 | 3592k| 193.6 | 433M | 136 |1000 |1516 |2638 | 28k| 1 | 167 | 616 |-2.417580e+02 |-1.420000e+02 | 70.25%| unknown
3508.69/3518.07 c 3518s| 18500 | 4151 | 3609k| 193.5 | 433M | 136 |1000 |1518 |2638 | 28k| 1 | 170 | 620 |-2.417554e+02 |-1.420000e+02 | 70.25%| unknown
3516.68/3526.01 c 3526s| 18600 | 4177 | 3620k| 193.1 | 433M | 136 |1000 |1518 |2638 | 28k| 1 | 170 | 625 |-2.417549e+02 |-1.420000e+02 | 70.25%| unknown
3523.66/3533.02 c 3533s| 18700 | 4205 | 3630k| 192.6 | 433M | 136 |1000 |1519 |2638 | 28k| 0 | 172 | 631 |-2.417542e+02 |-1.420000e+02 | 70.25%| unknown
3536.93/3546.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3536.93/3546.37 c 3546s| 18800 | 4233 | 3644k| 192.3 | 433M | 136 |1000 |1518 |2638 | 28k| 0 | 177 | 633 |-2.417519e+02 |-1.420000e+02 | 70.25%| unknown
3549.80/3559.25 c 3559s| 18900 | 4253 | 3657k| 191.9 | 434M | 136 |1000 |1516 |2638 | 28k| 0 | 177 | 635 |-2.417485e+02 |-1.420000e+02 | 70.25%| unknown
3556.49/3565.90 c 3566s| 19000 | 4273 | 3670k| 191.6 | 434M | 136 |1000 |1516 |2638 | 28k| 1 | 177 | 636 |-2.417482e+02 |-1.420000e+02 | 70.25%| unknown
3568.36/3577.85 c 3578s| 19100 | 4285 | 3683k| 191.3 | 434M | 136 |1000 |1516 |2638 | 28k| 1 | 177 | 637 |-2.417447e+02 |-1.420000e+02 | 70.24%| unknown
3581.13/3590.65 c 3591s| 19200 | 4317 | 3702k| 191.3 | 434M | 136 |1000 |1516 |2638 | 28k| 2 | 177 | 640 |-2.417409e+02 |-1.420000e+02 | 70.24%| unknown
3581.83/3591.36 c 3591s| 19300 | 4329 | 3705k| 190.5 | 434M | 136 |1000 |1516 |2638 | 28k| 1 | 177 | 641 |-2.417409e+02 |-1.420000e+02 | 70.24%| unknown
3587.52/3597.01 c
3587.52/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.52/3597.01 c Solving Time (sec) : 3597.00
3587.52/3597.01 c Solving Nodes : 19314
3587.52/3597.01 c Primal Bound : -1.42000000000000e+02 (416 solutions)
3587.52/3597.01 c Dual Bound : -2.41734814894087e+02
3587.52/3597.01 c Gap : 70.24 %
3587.52/3597.01 s SATISFIABLE
3587.52/3597.01 v -x774 x830 -x914 -x753 x818 -x636 x812 x906 x737 x923 -x729 -x684 x946 x993 -x964 -x917 x733 -x683 -x713 x643 -x761 -x735 -x723
3587.52/3597.01 v -x829 -x726 -x804 -x615 -x797 x859 -x846 x580 -x659 -x828 -x611 x594 x995 -x744 -x944 -x870 -x572 -x831 -x743 x736 x998 -x931
3587.52/3597.01 v -x835 -x567 x861 x971 -x680 -x576 x656 -x895 x740 -x901 -x646 -x706 x698 -x626 x562 x867 x728 x722 -x565 x929 -x789 -x686 -x658
3587.52/3597.01 v x760 x838 -x814 -x558 -x691 -x666 -x862 x925 -x694 -x709 -x952 -x891 x677 x759 -x734 x552 x583 -x936 -x582 -x796 -x834 -x913
3587.52/3597.01 v -x654 -x619 -x960 -x875 -x564 x911 -x782 x618 -x621 -x662 x857 -x793 -x710 -x872 -x958 -x751 -x772 -x876 -x788 -x672 -x937
3587.52/3597.01 v -x881 -x652 -x651 x863 -x550 -x839 -x791 -x767 -x588 -x561 -x675 -x673 -x924 x877 x837 x978 x624 x1000 -x790 -x918 -x750 -x935
3587.52/3597.01 v -x548 -x919 x630 -x900 -x546 x581 -x637 -x850 -x535 x649 -x786 -x832 -x747 x840 -x851 -x534 -x898 -x858 -x536 x957 x809
3587.52/3597.01 v -x968 -x533 x951 -x941 x909 -x908 x856 x720 x977 -x604 -x833 -x916 -x799 x540 -x953 -x600 -x593 -x687 -x617 -x824 -x554 x836
3587.52/3597.01 v -x606 x975 -x644 -x991 -x887 x930 x642 x934 x693 -x665 -x607 -x899 -x779 x989 -x762 x892 -x622 -x531 -x585 -x805 -x625 -x586
3587.52/3597.01 v -x551 -x928 -x841 -x685 -x739 x525 -x704 x689 -x579 -x549 x669 x959 -x855 x890 -x667 -x616 x871 -x888 x696 x976 -x523 x792 x629
3587.52/3597.01 v -x566 -x596 -x956 -x559 x522 x716 -x714 -x553 -x702 x768 x539 -x781 -x985 -x820 -x843 -x543 -x813 -x922 -x794 -x563 -x530
3587.52/3597.01 v -x520 x938 x764 -x610 -x758 -x614 -x866 -x992 -x773 -x708 -x647 -x592 -x663 -x547 -x674 -x730 -x896 -x979 -x518 -x798 x731 -x653
3587.52/3597.01 v -x641 -x587 -x590 -x803 -x679 -x770 -x860 -x682 -x785 x608 -x577 -x639 x655 -x578 -x516 -x893 -x854 -x745 x645 -x602 -x542
3587.52/3597.01 v x638 -x849 x921 -x869 -x724 -x537 -x515 x598 -x852 x987 -x660 x910 x771 -x514 -x950 x882 -x842 -x815 x727 -x711 x670 -x632
3587.52/3597.01 v -x556 -x927 -x884 x826 x664 -x885 -x983 -x949 x920 -x766 -x756 -x695 -x668 -x571 -x589 x945 -x712 -x981 -x697 -x765 x980 -x521
3587.52/3597.01 v -x512 -x954 x819 -x808 x776 -x717 x865 -x897 -x853 -x678 -x627 -x513 x879 -x511 x816 x810 -x763 -x699 -x544 -x703 x742 x707
3587.52/3597.01 v x967 x681 -x671 x609 -x986 -x940 -x878 -x847 x749 -x825 x912 x990 x889 -x746 -x705 -x528 -x524 -x657 x806 -x661 x868 x933 x988
3587.52/3597.01 v -x800 -x634 x947 -x807 -x778 -x754 -x752 -x612 -x569 -x939 -x974 -x603 -x997 -x591 -x907 x970 -x966 -x783 -x628 -x575 -x527
3587.52/3597.01 v -x508 -x640 -x692 x932 -x994 -x573 -x732 -x738 -x506 -x999 -x633 x509 -x817 -x507 -x755 x996 x787 -x873 -x822 -x568 -x948 -x690
3587.52/3597.01 v -x505 -x972 -x963 -x701 -x560 -x517 -x748 -x844 -x973 -x599 -x943 -x532 -x845 -x676 -x777 -x880 x504 x926 x801 x784 -x613
3587.52/3597.01 v x601 x595 x570 -x962 -x984 -x725 x795 -x620 -x700 x757 x905 x874 x503 -x848 -x688 -x635 x557 -x631 -x821 -x721 -x883 x823 x719
3587.52/3597.01 v x574 -x780 -x969 -x605 -x502 -x961 x894 -x769 x741 -x648 -x597 -x519 -x718 -x650 -x902 -x942 x903 -x915 x904 x965 -x715 -x955
3587.52/3597.01 v -x501 -x982 -x811 -x623 -x555 -x541 -x510 -x545 -x886 -x529 -x526 -x538 -x864 -x827 -x775 -x584 -x802 -x500 x499 -x498 x497
3587.52/3597.01 v -x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 -x488 -x487 x486 x485 -x484 x483 x482 x481 -x480 x479 -x478 -x477 -x476 -x475
3587.52/3597.01 v x474 x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 x463 x462 x461 -x460 -x459 x458 -x457 x456 -x455 x454 x453
3587.52/3597.01 v x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 x442 x441 x440 -x439 -x438 x437 -x436 x435 -x434 -x433 -x432 x431
3587.52/3597.01 v -x430 -x429 -x428 x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 x416 -x415 x414 -x413 -x412 -x411 -x410 -x409
3587.52/3597.01 v -x408 -x407 -x406 -x405 -x404 -x403 x402 x401 x400 x399 x398 -x397 -x396 x395 -x394 x393 -x392 x391 -x390 -x389 -x388 -x387
3587.52/3597.01 v -x386 -x385 x384 x383 -x382 x381 -x380 -x379 x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 x370 x369 -x368 -x367 x366 -x365
3587.52/3597.01 v -x364 -x363 x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 x350 -x349 -x348 x347 x346 x345 -x344 -x343
3587.52/3597.01 v x342 x341 -x340 x339 -x338 -x337 -x336 -x335 x334 x333 x332 x331 -x330 x329 x328 x327 -x326 -x325 -x324 -x323 -x322 -x321 x320
3587.52/3597.01 v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 x308 x307 -x306 x305 x304 -x303 -x302 -x301 -x300 -x299 x298
3587.52/3597.01 v x297 -x296 -x295 x294 x293 -x292 x291 x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 x279 -x278 -x277 -x276
3587.52/3597.01 v -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 x255 x254
3587.52/3597.01 v x253 x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 -x233
3587.52/3597.01 v x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 x215 -x214 -x213 -x212 -x211
3587.52/3597.01 v -x210 -x209 x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 x195 -x194 -x193 x192 x191 -x190 -x189
3587.52/3597.01 v -x188 -x187 -x186 -x185 x184 x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
3587.52/3597.01 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146
3587.52/3597.01 v -x145 x144 -x143 -x142 -x141 x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
3587.52/3597.01 v -x124 -x123 x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 x104 x103
3587.52/3597.01 v -x102 -x101 -x100 x99 -x98 -x97 x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78
3587.52/3597.01 v x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 x56 x55 -x54 -x53 -x52
3587.52/3597.01 v x51 x50 -x49 -x48 x47 -x46 x45 x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 x26 -x25
3587.52/3597.01 v -x24 -x23 -x22 x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 x7 -x6 x5 -x4 -x3 -x2 x1
3587.52/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.52/3597.01 c Total Time : 3597.00
3587.52/3597.01 c solving : 3597.00
3587.52/3597.01 c presolving : 0.09 (included in solving)
3587.52/3597.01 c reading : 0.02 (included in solving)
3587.52/3597.01 c copying : 0.09 (19 #copies) (minimal 0.00, maximal 0.01, average 0.00)
3587.52/3597.01 c Original Problem :
3587.52/3597.01 c Problem name : HOME/instance-4498438-1751271833.opb
3587.52/3597.01 c Variables : 7326 (1000 binary, 0 integer, 6326 implicit integer, 0 continuous)
3587.52/3597.01 c Constraints : 8827 initial, 8827 maximal
3587.52/3597.01 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3587.52/3597.01 c Presolved Problem :
3587.52/3597.01 c Problem name : t_HOME/instance-4498438-1751271833.opb
3587.52/3597.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.52/3597.01 c Constraints : 1501 initial, 1536 maximal
3587.52/3597.01 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3587.52/3597.01 c Nonzeros : 15652 constraint, 1000 clique table
3587.52/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.52/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c dualfix : 0.00 0.00 4 6326 0 0 0 0 0 0 0 0
3587.52/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c knapsack : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c setppc : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c linear : 0.01 0.00 6 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c pseudoboolean : 0.02 0.00 1 0 0 0 0 0 8326 1000 0 0
3587.52/3597.01 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.52/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.52/3597.01 c benderslp : 0 0 0 0 11845 0 0 1714 0 0 0 0 0 0 0
3587.52/3597.01 c integral : 0 0 0 0 11845 0 0 1714 0 0 17 0 0 0 23656
3587.52/3597.01 c knapsack : 1000 1000 26 184587 0 0 0 1708 27681 69 217997 0 0 0 0
3587.52/3597.01 c setppc : 500 500 26 180692 0 0 0 422 2426 0 22290 0 0 0 0
3587.52/3597.01 c linear : 1 1 26 184546 0 0 0 421 138 105 0 0 0 0 0
3587.52/3597.01 c logicor : 0+ 35 26 4438 0 0 0 0 0 0 1 0 0 0 0
3587.52/3597.01 c benders : 0 0 0 0 0 0 0 420 0 0 0 0 0 0 0
3587.52/3597.01 c fixedvar : 0 0 0 0 0 0 0 420 0 0 0 0 0 0 0
3587.52/3597.01 c countsols : 0 0 0 0 0 0 0 420 0 0 0 0 0 0 0
3587.52/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.52/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.01 c integral : 538.30 0.00 0.00 0.00 538.30 0.00 0.00 0.00 0.00 0.00
3587.52/3597.01 c knapsack : 1.71 0.00 0.08 1.46 0.00 0.00 0.00 0.15 0.01 0.01
3587.52/3597.01 c setppc : 0.15 0.00 0.00 0.11 0.00 0.00 0.00 0.04 0.00 0.00
3587.52/3597.01 c linear : 1.16 0.00 0.78 0.37 0.00 0.00 0.00 0.01 0.01 0.00
3587.52/3597.01 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.01 c fixedvar : 0.15 0.00 0.00 0.00 0.00 0.00 0.00 0.15 0.00 0.00
3587.52/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.01 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.52/3597.01 c dualfix : 2 0 0 0
3587.52/3597.01 c genvbounds : 0 0 0 0
3587.52/3597.01 c nlobbt : 0 0 0 0
3587.52/3597.01 c obbt : 0 0 0 0
3587.52/3597.01 c probing : 0 0 0 0
3587.52/3597.01 c pseudoobj : 52456 0 0 0
3587.52/3597.01 c redcost : 10671 0 0 161382
3587.52/3597.01 c rootredcost : 5 0 0 0
3587.52/3597.01 c symmetry : 0 0 0 0
3587.52/3597.01 c vbounds : 68335 0 0 0
3587.52/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.52/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.01 c genvbounds : 0.02 0.00 0.00 0.01 0.00 0.00
3587.52/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.01 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.52/3597.01 c pseudoobj : 0.04 0.00 0.00 0.04 0.00 0.00
3587.52/3597.01 c redcost : 0.45 0.00 0.00 0.45 0.00 0.00
3587.52/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.52/3597.01 c symmetry : 0.03 0.00 0.00 0.02 0.00 0.00
3587.52/3597.01 c vbounds : 0.06 0.00 0.00 0.05 0.00 0.00
3587.52/3597.01 c Symmetry :
3587.52/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.52/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.52/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.52/3597.01 c shadow tree time : 0.00 s
3587.52/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.52/3597.01 c propagation : 0.22 69 69 - 8398 376.1 0 0.0 - - -
3587.52/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.52/3597.01 c bound exceed. LP : 7.73 3917 36 - 2089 200.4 0 0.0 0 0.0 38476
3587.52/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.52/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.52/3597.01 c applied globally : 0.00 - - 0 113 122.8 - - 0 - -
3587.52/3597.01 c applied locally : - - - 0 64 208.3 - - 0 - -
3587.52/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.52/3597.01 c cut pool : 7.99 - 3481 42 - - 38453 128646 - - - - - (maximal pool size: 11056)
3587.52/3597.01 c aggregation : 402.58 0.00 726 26 0 0 7486 71657 0 25878 25878 0 0
3587.52/3597.01 c > cmir : - - - - - - - 71657 0 25878 25878 0 -
3587.52/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.52/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.52/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c clique : 0.11 0.00 26 26 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c gomory : 44.18 0.00 587 10 0 0 30852 54752 0 1593 1593 0 0
3587.52/3597.01 c > gomorymi : - - - - - - - 54627 0 1593 1593 0 -
3587.52/3597.01 c > strongcg : - - - - - - - 125 0 0 0 0 -
3587.52/3597.01 c impliedbounds : 0.03 0.00 726 26 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c multilinear : 0.00 0.00 277 26 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c rapidlearning : 0.02 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c rlt : 0.00 0.00 142 10 0 0 0 0 0 0 0 0 0
3587.52/3597.01 c zerohalf : 58.76 0.00 597 20 0 0 115 2237 0 1427 1427 0 0
3587.52/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.52/3597.01 c hybrid : 1.02 0.00 1783 27 28898 0 99748 2023 0 19163
3587.52/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.52/3597.01 c problem variables: 0.00 - 0 0
3587.52/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.52/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c relpscost : 538.30 0.00 11845 0 0 0 17 0 0 23656
3587.52/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.52/3597.01 c LP solutions : 0.00 - - 0 0
3587.52/3597.01 c relax solutions : 0.00 - - 0 0
3587.52/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.52/3597.01 c strong branching : 0.00 - - 0 0
3587.52/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.52/3597.01 c adaptivediving : 23.60 0.00 7 0 0
3587.52/3597.01 c alns : 0.08 0.00 7 0 0
3587.52/3597.01 c bound : 0.00 0.00 0 0 0
3587.52/3597.01 c clique : 0.01 0.00 1 0 0
3587.52/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.52/3597.01 c completesol : 0.00 0.00 0 0 0
3587.52/3597.01 c conflictdiving : 100.24 0.00 61 1 1
3587.52/3597.01 c crossover : 0.06 0.00 3 0 0
3587.52/3597.01 c dins : 0.00 0.00 0 0 0
3587.52/3597.01 c distributiondivin: 74.16 0.00 34 0 0
3587.52/3597.01 c dps : 0.00 0.00 0 0 0
3587.52/3597.01 c dualval : 0.00 0.00 0 0 0
3587.52/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.52/3597.01 c feasjump : 0.00 0.00 0 0 0
3587.52/3597.01 c feaspump : 0.00 0.00 0 0 0
3587.52/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.52/3597.01 c fracdiving : 73.82 0.00 50 3 3
3587.52/3597.01 c gins : 0.01 0.00 0 0 0
3587.52/3597.01 c guideddiving : 51.05 0.00 35 0 0
3587.52/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.52/3597.01 c indicator : 0.00 0.00 0 0 0
3587.52/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.52/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.52/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.52/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.52/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.52/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.52/3597.01 c linesearchdiving : 52.36 0.00 37 0 0
3587.52/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.52/3597.01 c locks : 0.01 0.00 1 0 0
3587.52/3597.01 c lpface : 0.00 0.00 0 0 0
3587.52/3597.01 c mpec : 0.00 0.00 0 0 0
3587.52/3597.01 c multistart : 0.00 0.00 0 0 0
3587.52/3597.01 c mutation : 0.00 0.00 0 0 0
3587.52/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.52/3597.01 c objpscostdiving : 274.53 0.00 24 23 0
3587.52/3597.01 c octane : 0.00 0.00 0 0 0
3587.52/3597.01 c ofins : 0.00 0.00 0 0 0
3587.52/3597.01 c oneopt : 0.03 0.00 10 0 0
3587.52/3597.01 c padm : 0.00 0.00 0 0 0
3587.52/3597.01 c proximity : 0.00 0.00 0 0 0
3587.52/3597.01 c pscostdiving : 59.29 0.00 51 1 1
3587.52/3597.01 c randrounding : 0.86 0.00 1307 12 3
3587.52/3597.01 c rens : 0.00 0.00 0 0 0
3587.52/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.52/3597.01 c repair : 0.00 0.00 0 0 0
3587.52/3597.01 c rins : 27.63 0.00 9 9 0
3587.52/3597.01 c rootsoldiving : 14.91 0.00 11 0 0
3587.52/3597.01 c rounding : 28.65 0.00 5810 1 1
3587.52/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.52/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3587.52/3597.01 c shifting : 43.75 0.00 3298 365 0
3587.52/3597.01 c simplerounding : 0.01 0.00 0 0 0
3587.52/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.52/3597.01 c subnlp : 0.01 0.00 0 0 0
3587.52/3597.01 c trivial : 0.00 0.00 2 1 1
3587.52/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.52/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.52/3597.01 c trysol : 0.00 0.00 0 0 0
3587.52/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.52/3597.01 c undercover : 0.00 0.00 0 0 0
3587.52/3597.01 c vbounds : 0.02 0.00 1 0 0
3587.52/3597.01 c veclendiving : 43.27 0.00 26 0 0
3587.52/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.52/3597.01 c zirounding : 0.40 0.00 1000 0 0
3587.52/3597.01 c other solutions : - - - 0 -
3587.52/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.52/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.52/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.52/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.52/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.52/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.52/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.52/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.52/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.52/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.52/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.52/3597.01 c primal LP : 2.40 1212 1 1.00 0.42 2.34 1211
3587.52/3597.01 c dual LP : 1647.60 28135 2154641 89.33 1307.75 4.71 4015
3587.52/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.52/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.52/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.52/3597.01 c diving/probing LP: 740.94 22194 1555810 70.10 2099.77
3587.52/3597.01 c strong branching : 514.17 642 352545 549.14 685.66 - - 422
3587.52/3597.01 c (at root node) : - 27 27000 1000.00 -
3587.52/3597.01 c conflict analysis: 6.54 3880 38476 9.92 5881.20
3587.52/3597.01 c B&B Tree :
3587.52/3597.01 c number of runs : 1
3587.52/3597.01 c nodes : 19314 (11828 internal, 7486 leaves)
3587.52/3597.01 c feasible leaves : 0
3587.52/3597.01 c infeas. leaves : 0
3587.52/3597.01 c objective leaves : 7486
3587.52/3597.01 c nodes (total) : 19314 (11828 internal, 7486 leaves)
3587.52/3597.01 c nodes left : 4343
3587.52/3597.01 c max depth : 136
3587.52/3597.01 c max depth (total): 136
3587.52/3597.01 c backtracks : 2890 (15.0%)
3587.52/3597.01 c early backtracks : 0 (0.0%)
3587.52/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.52/3597.01 c delayed cutoffs : 0
3587.52/3597.01 c repropagations : 1 (1 domain reductions, 0 cutoffs)
3587.52/3597.01 c avg switch length: 6.07
3587.52/3597.01 c switching time : 3.98
3587.52/3597.01 c Root Node :
3587.52/3597.01 c First LP value : -2.50000000000000e+02
3587.52/3597.01 c First LP Iters : 3609 (5834.15 Iter/sec)
3587.52/3597.01 c First LP Time : 0.62
3587.52/3597.01 c Final Dual Bound : -2.43490371504218e+02
3587.52/3597.01 c Final Root Iters : 29687
3587.52/3597.01 c Root LP Estimate : +1.42268391580741e+02
3587.52/3597.01 c Solution :
3587.52/3597.01 c Solutions found : 416 (10 improvements)
3587.52/3597.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
3587.52/3597.01 c Gap First Sol. : infinite
3587.52/3597.01 c Gap Last Sol. : 71.17 %
3587.52/3597.01 c Primal Bound : -1.42000000000000e+02 (in run 1, after 142 nodes, 698.22 seconds, depth 357, found by <fracdiving>)
3587.52/3597.01 c Dual Bound : -2.41734814894087e+02
3587.52/3597.01 c Gap : 70.24 %
3587.52/3597.01 c Integrals : Total Avg%
3587.52/3597.01 c primal-dual : 157879.07 43.89
3587.52/3597.01 c primal-ref : - - (not evaluated)
3587.52/3597.01 c dual-ref : - - (not evaluated)
3587.62/3597.17 c Time complete: 3587.7.
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: 63665 MiB (62493 MiB free)
memory of node 1: 64507 MiB (62687 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498438-1751271833/watcher-4498438-1751271833 -o /tmp/evaluation-result-4498438-1751271833/solver-4498438-1751271833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751268232-38742 --watchdog 3760 pbscip -f HOME/instance-4498438-1751271833.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=39437, runsolver pid=39434
Current StackSize limit: 8192 KiB
[startup+0.100011 s]*
/proc/loadavg: 4.11 4.11 4.04 5/264 39438
/proc/meminfo: memFree=128149520/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=78448 memory=51712 CPUtime=0.09 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 9622 0 0 0 7 2 0 0 20 0 1 0 42860986 80330752 12928 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 19612 12928 3648 3530 0 11063 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 78448 KiB
Current children cumulated memory: 51712 KiB
[startup+0.205519 s]*
/proc/loadavg: 4.11 4.11 4.04 5/264 39438
/proc/meminfo: memFree=128141456/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=86948 memory=59132 CPUtime=0.2 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 11678 0 0 0 18 2 0 0 20 0 1 0 42860986 89034752 14783 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 21737 14783 3872 3530 0 13188 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86948 KiB
Current children cumulated memory: 59132 KiB
[startup+0.305428 s]*
/proc/loadavg: 4.11 4.11 4.04 5/264 39438
/proc/meminfo: memFree=128140700/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=87872 memory=59900 CPUtime=0.29 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 11863 0 0 0 27 2 0 0 20 0 1 0 42860986 89980928 14975 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 21968 14975 3872 3530 0 13419 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 87872 KiB
Current children cumulated memory: 59900 KiB
[startup+0.700176 s]
/proc/loadavg: 4.11 4.11 4.04 5/264 39438
/proc/meminfo: memFree=128138936/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=96432 memory=66192 CPUtime=0.68 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 14953 0 0 0 66 2 0 0 20 0 1 0 42860986 98746368 16548 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 24108 16548 3872 3530 0 15559 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 96432 KiB
Current children cumulated memory: 66192 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.11 4.04 5/264 39438
/proc/meminfo: memFree=128101136/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=139620 memory=109572 CPUtime=1.48 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 25759 0 0 0 143 5 0 0 20 0 1 0 42860986 142970880 27393 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 34905 27393 3872 3530 0 26356 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 139620 KiB
Current children cumulated memory: 109572 KiB
[startup+3.10536 s]
/proc/loadavg: 4.10 4.11 4.04 5/264 39438
/proc/meminfo: memFree=128067368/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=160400 memory=131756 CPUtime=3.08 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 32197 0 0 0 302 6 0 0 20 0 1 0 42860986 164249600 32939 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 40100 32939 3872 3530 0 31551 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 160400 KiB
Current children cumulated memory: 131756 KiB
[startup+6.30018 s]
/proc/loadavg: 4.17 4.12 4.05 5/264 39438
/proc/meminfo: memFree=128059304/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=177836 memory=145412 CPUtime=6.27 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 36576 0 0 0 620 7 0 0 20 0 1 0 42860986 182104064 36353 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 44459 36353 3872 3530 0 35910 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 177836 KiB
Current children cumulated memory: 145412 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.04 5/264 39438
/proc/meminfo: memFree=128015140/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=232440 memory=201940 CPUtime=12.65 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 50789 0 0 0 1256 9 0 0 20 0 1 0 42860986 238018560 50485 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 58110 50485 3872 3530 0 49561 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 232440 KiB
Current children cumulated memory: 201940 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.04 5/265 39440
/proc/meminfo: memFree=127954652/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=276228 memory=245204 CPUtime=25.41 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 61615 0 0 0 2530 11 0 0 20 0 1 0 42860986 282857472 61301 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 69057 61301 3872 3530 0 60508 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 276228 KiB
Current children cumulated memory: 245204 KiB
[startup+51.1053 s]
/proc/loadavg: 4.13 4.12 4.05 5/265 39485
/proc/meminfo: memFree=128241272/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=341560 memory=310600 CPUtime=50.95 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 75922 0 0 0 5082 13 0 0 20 0 1 0 42860986 349757440 77650 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 85390 77650 3872 3530 0 76841 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 341560 KiB
Current children cumulated memory: 310600 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.10 4.04 5/265 39487
/proc/meminfo: memFree=128127112/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=354036 memory=323176 CPUtime=102.01 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 81837 0 0 0 10186 15 0 0 20 0 1 0 42860986 362532864 80794 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 88509 80794 3872 3530 0 79960 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 354036 KiB
Current children cumulated memory: 323176 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/265 39496
/proc/meminfo: memFree=128032668/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=354312 memory=322232 CPUtime=161.85 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 115915 0 0 0 16164 21 0 0 20 0 1 0 42860986 362815488 80558 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 88578 80558 3872 3530 0 80029 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 354312 KiB
Current children cumulated memory: 322232 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 39498
/proc/meminfo: memFree=127983192/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=348428 memory=316696 CPUtime=221.63 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 139902 0 0 0 22138 25 0 0 20 0 1 0 42860986 356790272 79174 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 87107 79174 3872 3530 0 78558 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 348428 KiB
Current children cumulated memory: 316696 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.05 5/264 39500
/proc/meminfo: memFree=127916312/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=345900 memory=315344 CPUtime=281.43 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 157282 0 0 0 28114 29 0 0 20 0 1 0 42860986 354201600 78836 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 86475 78836 3872 3530 0 77926 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 345900 KiB
Current children cumulated memory: 315344 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/263 39502
/proc/meminfo: memFree=127899984/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=345900 memory=315344 CPUtime=341.23 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 157291 0 0 0 34094 29 0 0 20 0 1 0 42860986 354201600 78836 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 86475 78836 3872 3530 0 77926 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 345900 KiB
Current children cumulated memory: 315344 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/263 39593
/proc/meminfo: memFree=128203796/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=345900 memory=315344 CPUtime=401.03 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 157291 0 0 0 40074 29 0 0 20 0 1 0 42860986 354201600 78836 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 86475 78836 3872 3530 0 77926 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 345900 KiB
Current children cumulated memory: 315344 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.12 4.06 5/263 39597
/proc/meminfo: memFree=128143640/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=386132 memory=355544 CPUtime=460.84 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 168560 0 0 0 46052 32 0 0 20 0 1 0 42860986 395399168 88886 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 96533 88886 3872 3530 0 87984 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
/proc/loadavg: 3.10 3.09 3.22 4/258 39823
/proc/meminfo: memFree=127736652/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=529396 memory=503772 CPUtime=3213.66 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 228360 0 0 0 321323 43 0 0 20 0 1 0 42860986 542101504 125943 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 132349 125943 3968 3530 0 123800 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 529396 KiB
Current children cumulated memory: 503772 KiB
[startup+3282.3 s]
/proc/loadavg: 2.93 3.05 3.20 3/252 39855
/proc/meminfo: memFree=128696312/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=532844 memory=507356 CPUtime=3273.51 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 229263 0 0 0 327308 43 0 0 20 0 1 0 42860986 545632256 126839 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 133211 126839 3968 3530 0 124662 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 532844 KiB
Current children cumulated memory: 507356 KiB
[startup+3342.3 s]
/proc/loadavg: 2.38 2.87 3.12 3/252 39857
/proc/meminfo: memFree=128696184/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=532844 memory=507356 CPUtime=3333.38 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 229263 0 0 0 333295 43 0 0 20 0 1 0 42860986 545632256 126839 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 133211 126839 3968 3530 0 124662 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 532844 KiB
Current children cumulated memory: 507356 KiB
[startup+3402.3 s]
/proc/loadavg: 2.19 2.73 3.06 3/252 39859
/proc/meminfo: memFree=128687912/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=532844 memory=507356 CPUtime=3393.24 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 229263 0 0 0 339281 43 0 0 20 0 1 0 42860986 545632256 126839 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 133211 126839 3968 3530 0 124662 0
Current children cumulated CPU time: 3393.24 s
Current children cumulated vsize: 532844 KiB
Current children cumulated memory: 507356 KiB
[startup+3462.3 s]
/proc/loadavg: 2.11 2.61 2.99 3/253 39875
/proc/meminfo: memFree=128688240/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=532844 memory=507356 CPUtime=3453.11 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 229263 0 0 0 345268 43 0 0 20 0 1 0 42860986 545632256 126839 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 133211 126839 3968 3530 0 124662 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 532844 KiB
Current children cumulated memory: 507356 KiB
[startup+3522.3 s]
/proc/loadavg: 2.14 2.52 2.94 3/253 39877
/proc/meminfo: memFree=128667632/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=532844 memory=507356 CPUtime=3512.98 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 229263 0 0 0 351255 43 0 0 20 0 1 0 42860986 545632256 126839 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 133211 126839 3968 3530 0 124662 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 532844 KiB
Current children cumulated memory: 507356 KiB
[startup+3582.3 s]
/proc/loadavg: 2.05 2.43 2.88 3/252 39879
/proc/meminfo: memFree=128667804/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=532844 memory=507356 CPUtime=3572.85 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 229263 0 0 0 357242 43 0 0 20 0 1 0 42860986 545632256 126839 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 133211 126839 3968 3530 0 124662 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 532844 KiB
Current children cumulated memory: 507356 KiB
[startup+3597.18 s]
# the end of solver process 39437 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.27 s, system=0.436173 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.05 2.43 2.88 3/252 39879
/proc/meminfo: memFree=128667804/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=532844 memory=507356 CPUtime=3574.55 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 229263 0 0 0 357412 43 0 0 20 0 1 0 42860986 545632256 126839 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 133211 126839 3968 3530 0 124662 0
Current children cumulated CPU time: 3574.55 s
Current children cumulated vsize: 532844 KiB
Current children cumulated memory: 507356 KiB
[startup+3590.4 s]
/proc/loadavg: 2.04 2.42 2.87 3/252 39879
/proc/meminfo: memFree=128667804/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=532844 memory=507356 CPUtime=3580.93 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 229263 0 0 0 358050 43 0 0 20 0 1 0 42860986 545632256 126839 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 133211 126839 3968 3530 0 124662 0
Current children cumulated CPU time: 3580.93 s
Current children cumulated vsize: 532844 KiB
Current children cumulated memory: 507356 KiB
[startup+3593.6 s]
/proc/loadavg: 2.12 2.43 2.87 3/252 39879
/proc/meminfo: memFree=128667804/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=532844 memory=507356 CPUtime=3584.12 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 229263 0 0 0 358369 43 0 0 20 0 1 0 42860986 545632256 126839 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 133211 126839 3968 3530 0 124662 0
Current children cumulated CPU time: 3584.12 s
Current children cumulated vsize: 532844 KiB
Current children cumulated memory: 507356 KiB
[startup+3595.2 s]
/proc/loadavg: 2.12 2.43 2.87 3/252 39879
/proc/meminfo: memFree=128667804/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=532844 memory=507356 CPUtime=3585.72 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 229263 0 0 0 358529 43 0 0 20 0 1 0 42860986 545632256 126839 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 133211 126839 3968 3530 0 124662 0
Current children cumulated CPU time: 3585.72 s
Current children cumulated vsize: 532844 KiB
Current children cumulated memory: 507356 KiB
[startup+3596 s]*
/proc/loadavg: 2.12 2.43 2.87 3/252 39879
/proc/meminfo: memFree=128667804/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=532844 memory=507356 CPUtime=3586.52 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 229263 0 0 0 358609 43 0 0 20 0 1 0 42860986 545632256 126839 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 133211 126839 3968 3530 0 124662 0
Current children cumulated CPU time: 3586.52 s
Current children cumulated vsize: 532844 KiB
Current children cumulated memory: 507356 KiB
[startup+3596.8 s]
/proc/loadavg: 2.12 2.43 2.87 3/252 39879
/proc/meminfo: memFree=128667804/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=532844 memory=507356 CPUtime=3587.32 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 229263 0 0 0 358689 43 0 0 20 0 1 0 42860986 545632256 126839 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 133211 126839 3968 3530 0 124662 0
Current children cumulated CPU time: 3587.32 s
Current children cumulated vsize: 532844 KiB
Current children cumulated memory: 507356 KiB
[startup+3597 s]*
/proc/loadavg: 2.11 2.42 2.87 3/252 39879
/proc/meminfo: memFree=128667804/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=532844 memory=507356 CPUtime=3587.52 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 229263 0 0 0 358709 43 0 0 20 0 1 0 42860986 545632256 126839 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 133211 126839 3968 3530 0 124662 0
Current children cumulated CPU time: 3587.52 s
Current children cumulated vsize: 532844 KiB
Current children cumulated memory: 507356 KiB
[startup+3597.1 s]
/proc/loadavg: 2.11 2.42 2.87 3/252 39879
/proc/meminfo: memFree=128667804/131249996 swapFree=33010684/33010684
[pid=39437] ppid=39434 vsize=532844 memory=507356 CPUtime=3587.62 cores=0,2
/proc/39437/stat : 39437 (pbscip) R 39434 39437 38726 0 -1 4194304 229263 0 0 0 358719 43 0 0 20 0 1 0 42860986 545632256 126839 18446744073709551615 4235264 18693293 140729034067504 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53391360 140729034074505 140729034074604 140729034074604 140729034080206 0
/proc/39437/statm: 133211 126839 3968 3530 0 124662 0
Current children cumulated CPU time: 3587.62 s
Current children cumulated vsize: 532844 KiB
Current children cumulated memory: 507356 KiB
Child status: 0
Real time (s): 3597.18
CPU time (s): 3587.7
CPU user time (s): 3587.27
CPU system time (s): 0.436173
CPU usage (%): 99.7365
Max. virtual memory (cumulated for all children) (KiB): 532844
Max. memory (cumulated for all children) (KiB): 507356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.27
system time used= 0.436173
maximum resident set size= 507356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229281
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= 110
involuntary context switches= 4586
# summary of solver processes directly reported to runsolver:
# pid: 39437
# total CPU time (s): 3587.7
# total CPU user time (s): 3587.27
# total CPU system time (s): 0.436173
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4836 second user time and 14.9033 second system time
The end
Begin job on nodeC021 at 2025-06-30 10:23:53 IDJOB=4498438 IDBENCH=148672 IDSOLVER=3365 FILE ID=nodeC021/4498438-1751271833 RUNJOBID= nodeC021-1751268232-38742 SLURM_JOB_ID= 9594188 Free space on /tmp= 433004 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_4.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498438-1751271833/watcher-4498438-1751271833 -o /tmp/evaluation-result-4498438-1751271833/solver-4498438-1751271833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751268232-38742 --watchdog 3760 pbscip -f HOME/instance-4498438-1751271833.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 08873ac12267207049f5888e334cf105 RANDOM SEED=1449179163 nodeC021 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.907 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.56 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.817 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.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.784 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.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 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.798 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.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.784 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.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.161 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.56 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 : 3615.430 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.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128185608 kB MemAvailable: 128285184 kB Buffers: 3280 kB Cached: 906980 kB SwapCached: 0 kB Active: 1797292 kB Inactive: 649624 kB Active(anon): 1554716 kB Inactive(anon): 0 kB Active(file): 242576 kB Inactive(file): 649624 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18884 kB Writeback: 0 kB AnonPages: 1539724 kB Mapped: 138572 kB Shmem: 18060 kB KReclaimable: 92832 kB Slab: 179228 kB SReclaimable: 92832 kB SUnreclaim: 86396 kB KernelStack: 4304 kB PageTables: 6252 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1911640 kB VmallocTotal: 34359738367 kB VmallocUsed: 150632 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 1306624 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433028 MiB End job on nodeC021 at 2025-06-30 11:23:50