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 | OPT | -167 | 653.883 | 655.81 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament26.lin.opb |
| MD5SUM | 21e597bc04bc5fa012b59bdeb9fb9987 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -167 |
| Best CPU time to get the best result obtained on this benchmark | 455.13 |
| 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 | 949 |
| Total number of constraints | 1248 |
| Number of constraints which are clauses | 624 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 624 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 852 |
| Biggest coefficient in the objective function | 2 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 920 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 920 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4508882-1751509680.opb>
0.00/0.01 c original problem has 949 variables (949 bin, 0 int, 0 impl, 0 cont) and 1248 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.01 c presolving:
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.02 c (0.0s) MILP presolver found nothing
0.00/0.02 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 624 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1248 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 3, medium) 0 del vars, 624 del conss, 1248 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1248 upgd conss, 0 impls, 1248 clqs
0.00/0.04 c (round 4, exhaustive) 0 del vars, 2496 del conss, 1872 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1248 upgd conss, 0 impls, 1248 clqs
0.00/0.04 c (0.0s) probing: 51/949 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.04 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.04 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.04 c presolving (5 rounds: 5 fast, 5 medium, 4 exhaustive):
0.00/0.04 c 0 deleted vars, 2496 deleted constraints, 1872 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 1248 cliques
0.00/0.04 c presolved problem has 949 variables (949 bin, 0 int, 0 impl, 0 cont) and 624 constraints
0.00/0.04 c 624 constraints of type <and>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 10.0.0
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.04 c limits/time = 3596.997027
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.04 c limits/memory = 27900
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c transformed 2/2 original solutions to the transformed problem space
0.00/0.04 c
0.00/0.05 o -48
0.00/0.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.05 c p 0.0s| 1 | 0 | 0 | - | clique| 0 | 949 | 624 |1248 | 0 | 0 | 0 | 0 |-4.600000e+02 |-4.800000e+01 | 858.33%| unknown
0.00/0.06 o -122
0.00/0.06 c p 0.1s| 1 | 0 | 0 | - | vbounds| 0 | 949 | 624 |1248 | 0 | 0 | 0 | 0 |-4.600000e+02 |-1.220000e+02 | 277.05%| unknown
0.00/0.09 c 0.1s| 1 | 0 | 817 | - | 13M | 0 | 949 | 624 |1248 | 0 | 0 | 0 | 0 |-2.110000e+02 |-1.220000e+02 | 72.95%| unknown
0.09/0.14 c 0.1s| 1 | 0 | 914 | - | 14M | 0 | 949 | 624 |1433 | 185 | 1 | 0 | 0 |-2.100000e+02 |-1.220000e+02 | 72.13%| unknown
0.09/0.15 o -143
0.09/0.15 c r 0.1s| 1 | 0 | 914 | - |shifting| 0 | 949 | 624 |1433 | 185 | 1 | 0 | 0 |-2.100000e+02 |-1.430000e+02 | 46.85%| unknown
0.19/0.24 c 0.2s| 1 | 0 | 1375 | - | 17M | 0 | 949 | 624 |1559 | 311 | 2 | 0 | 0 |-1.925000e+02 |-1.430000e+02 | 34.62%| unknown
0.19/0.24 o -144
0.19/0.24 c i 0.2s| 1 | 0 | 1375 | - | oneopt| 0 | 949 | 624 |1559 | 311 | 2 | 0 | 0 |-1.925000e+02 |-1.440000e+02 | 33.68%| unknown
0.29/0.34 c 0.3s| 1 | 0 | 1748 | - | 19M | 0 | 949 | 624 |1598 | 350 | 3 | 0 | 0 |-1.900000e+02 |-1.440000e+02 | 31.94%| unknown
0.39/0.43 c 0.4s| 1 | 0 | 1994 | - | 20M | 0 | 949 | 624 |1625 | 377 | 4 | 0 | 0 |-1.872500e+02 |-1.440000e+02 | 30.03%| unknown
0.49/0.53 c 0.5s| 1 | 0 | 2561 | - | 22M | 0 | 949 | 624 |1651 | 403 | 5 | 0 | 0 |-1.862500e+02 |-1.440000e+02 | 29.34%| unknown
0.59/0.63 c 0.6s| 1 | 0 | 2983 | - | 24M | 0 | 949 | 624 |1681 | 433 | 6 | 0 | 0 |-1.849115e+02 |-1.440000e+02 | 28.41%| unknown
0.68/0.78 c 0.8s| 1 | 0 | 3405 | - | 26M | 0 | 949 | 624 |1709 | 461 | 7 | 0 | 0 |-1.829375e+02 |-1.440000e+02 | 27.04%| unknown
0.88/0.92 c 0.9s| 1 | 0 | 3833 | - | 30M | 0 | 949 | 624 |1737 | 489 | 8 | 0 | 0 |-1.814281e+02 |-1.440000e+02 | 25.99%| unknown
1.08/1.11 c 1.1s| 1 | 0 | 4562 | - | 35M | 0 | 949 | 624 |1761 | 513 | 9 | 0 | 0 |-1.799211e+02 |-1.440000e+02 | 24.95%| unknown
1.17/1.29 c 1.3s| 1 | 0 | 5037 | - | 39M | 0 | 949 | 624 |1782 | 534 | 10 | 0 | 0 |-1.787737e+02 |-1.440000e+02 | 24.15%| unknown
1.28/1.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.28/1.36 c 1.3s| 1 | 0 | 5578 | - | 39M | 0 | 949 | 624 |1803 | 555 | 11 | 0 | 0 |-1.780002e+02 |-1.440000e+02 | 23.61%| unknown
1.38/1.42 c 1.4s| 1 | 0 | 6092 | - | 40M | 0 | 949 | 624 |1821 | 573 | 12 | 0 | 0 |-1.772181e+02 |-1.440000e+02 | 23.07%| unknown
1.48/1.50 c 1.5s| 1 | 0 | 6710 | - | 40M | 0 | 949 | 624 |1840 | 592 | 13 | 0 | 0 |-1.765470e+02 |-1.440000e+02 | 22.60%| unknown
1.58/1.60 c 1.6s| 1 | 0 | 7573 | - | 41M | 0 | 949 | 624 |1860 | 612 | 14 | 0 | 0 |-1.757949e+02 |-1.440000e+02 | 22.08%| unknown
1.58/1.68 c 1.7s| 1 | 0 | 8128 | - | 41M | 0 | 949 | 625 |1828 | 629 | 15 | 1 | 0 |-1.755305e+02 |-1.440000e+02 | 21.90%| unknown
1.68/1.74 c 1.7s| 1 | 0 | 8508 | - | 42M | 0 | 949 | 625 |1848 | 649 | 16 | 1 | 0 |-1.753953e+02 |-1.440000e+02 | 21.80%| unknown
1.78/1.82 c 1.8s| 1 | 0 | 9096 | - | 42M | 0 | 949 | 625 |1860 | 661 | 17 | 1 | 0 |-1.751086e+02 |-1.440000e+02 | 21.60%| unknown
1.78/1.88 c 1.9s| 1 | 0 | 9447 | - | 42M | 0 | 949 | 625 |1873 | 674 | 18 | 1 | 0 |-1.749772e+02 |-1.440000e+02 | 21.51%| unknown
1.88/1.93 c 1.9s| 1 | 0 | 9595 | - | 42M | 0 | 949 | 625 |1880 | 681 | 19 | 1 | 0 |-1.749491e+02 |-1.440000e+02 | 21.49%| unknown
1.88/1.98 c 2.0s| 1 | 0 | 9848 | - | 42M | 0 | 949 | 625 |1890 | 691 | 20 | 1 | 0 |-1.749040e+02 |-1.440000e+02 | 21.46%| unknown
1.98/2.01 c 2.0s| 1 | 0 | 10020 | - | 42M | 0 | 949 | 626 |1846 | 697 | 21 | 2 | 0 |-1.748896e+02 |-1.440000e+02 | 21.45%| unknown
1.98/2.02 c 2.0s| 1 | 0 | 10087 | - | 42M | 0 | 949 | 626 |1853 | 704 | 22 | 2 | 0 |-1.748870e+02 |-1.440000e+02 | 21.45%| unknown
1.98/2.04 c 2.0s| 1 | 0 | 10123 | - | 42M | 0 | 949 | 626 |1858 | 709 | 23 | 2 | 0 |-1.748858e+02 |-1.440000e+02 | 21.45%| unknown
1.98/2.06 c 2.0s| 1 | 0 | 10127 | - | 42M | 0 | 949 | 626 |1860 | 711 | 24 | 2 | 0 |-1.748858e+02 |-1.440000e+02 | 21.45%| unknown
3.17/3.23 o -151
3.17/3.23 c d 3.2s| 1 | 0 | 23175 | - |farkasdi| 0 | 949 | 626 |1860 | 0 | 25 | 2 | 0 |-1.748858e+02 |-1.510000e+02 | 15.82%| unknown
3.77/3.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.77/3.87 c 3.9s| 1 | 0 | 31477 | - | 43M | 0 | 949 | 626 |1860 | 711 | 25 | 2 | 0 |-1.748858e+02 |-1.510000e+02 | 15.82%| unknown
3.77/3.88 c 3.9s| 1 | 0 | 31478 | - | 43M | 0 | 949 | 626 |1861 | 712 | 26 | 2 | 0 |-1.748858e+02 |-1.510000e+02 | 15.82%| unknown
6.36/6.47 c 6.5s| 1 | 2 | 31479 | - | 43M | 0 | 949 | 626 |1861 | 712 | 27 | 2 | 26 |-1.745577e+02 |-1.510000e+02 | 15.60%| unknown
19.52/19.69 o -162
19.52/19.69 c *19.7s| 35 | 30 | 44660 |1015.7 | LP | 34 | 949 | 626 |1915 | 932 | 1 | 2 | 178 |-1.745577e+02 |-1.620000e+02 | 7.75%| unknown
20.22/20.36 c 20.4s| 100 | 33 | 51434 | 417.3 | 52M | 34 | 949 | 626 |1916 | 990 | 2 | 2 | 178 |-1.745577e+02 |-1.620000e+02 | 7.75%| unknown
25.60/25.73 c 25.7s| 200 | 57 | 81032 | 356.3 | 80M | 34 | 949 | 634 |1923 |1283 | 2 | 10 | 192 |-1.741254e+02 |-1.620000e+02 | 7.48%| unknown
27.30/27.42 o -163
27.30/27.42 c L27.4s| 235 | 58 | 87680 | 331.4 | rins| 34 | 949 | 694 |1919 |1320 | 2 | 70 | 229 |-1.741254e+02 |-1.630000e+02 | 6.83%| unknown
31.09/31.29 o -164
31.09/31.29 c *31.3s| 280 | 84 |107272 | 348.2 | LP | 34 | 949 | 710 |1933 |1505 | 1 | 86 | 237 |-1.739817e+02 |-1.640000e+02 | 6.09%| unknown
33.98/34.13 c 34.1s| 300 | 98 |117840 | 360.3 | 150M | 34 | 949 | 710 |1938 |1606 | 2 | 86 | 246 |-1.739482e+02 |-1.640000e+02 | 6.07%| unknown
34.08/34.26 o -165
34.08/34.26 c *34.2s| 312 | 104 |118958 | 349.9 | LP | 34 | 949 | 710 |1949 |1619 | 1 | 86 | 246 |-1.739482e+02 |-1.650000e+02 | 5.42%| unknown
34.08/34.27 o -166
34.08/34.27 c *34.3s| 316 | 91 |119076 | 345.9 | LP | 34 | 949 | 710 |1949 |1620 | 1 | 86 | 246 |-1.739482e+02 |-1.660000e+02 | 4.79%| unknown
37.37/37.52 o -167
37.37/37.52 c *37.5s| 354 | 79 |148019 | 390.6 | LP | 34 | 949 | 710 |1939 |1692 | 2 | 86 | 256 |-1.735602e+02 |-1.670000e+02 | 3.93%| unknown
38.56/38.71 c 38.7s| 400 | 87 |157891 | 370.3 | 155M | 34 | 949 | 710 |1928 |1728 | 0 | 86 | 256 |-1.735602e+02 |-1.670000e+02 | 3.93%| unknown
44.55/44.79 c 44.8s| 500 | 113 |193654 | 367.8 | 221M | 34 | 949 | 728 |1935 |1912 | 2 | 104 | 283 |-1.733298e+02 |-1.670000e+02 | 3.79%| unknown
49.93/50.11 c 50.1s| 600 | 115 |218126 | 347.2 | 254M | 34 | 949 | 746 |1940 |2000 | 0 | 122 | 314 |-1.733298e+02 |-1.670000e+02 | 3.79%| unknown
54.02/54.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
54.02/54.25 c 54.2s| 700 | 129 |248518 | 341.0 | 272M | 34 | 949 | 778 |1940 |2090 | 1 | 154 | 339 |-1.731209e+02 |-1.670000e+02 | 3.67%| unknown
60.91/61.15 c 61.1s| 800 | 139 |281795 | 340.0 | 328M | 34 | 949 | 784 |1940 |2213 | 5 | 160 | 366 |-1.730019e+02 |-1.670000e+02 | 3.59%| 13.46%
64.39/64.62 c 64.6s| 900 | 139 |308024 | 331.4 | 328M | 34 | 949 | 791 |1939 |2259 | 0 | 167 | 386 |-1.729617e+02 |-1.670000e+02 | 3.57%| 13.64%
68.28/68.52 c 68.5s| 1000 | 133 |329310 | 319.5 | 332M | 34 | 949 | 802 |1975 |2300 | 2 | 178 | 408 |-1.729617e+02 |-1.670000e+02 | 3.57%| 13.74%
73.66/73.96 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
73.66/73.98 c (run 1, node 1087) performing user restart
73.66/73.98 c
73.66/73.98 c (restart) converted 494 cuts from the global cut pool into linear constraints
73.66/73.98 c
74.26/74.59 c presolving:
74.26/74.59 c (round 1, fast) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1248 clqs
74.26/74.59 c (round 2, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 492 upgd conss, 0 impls, 1248 clqs
74.36/74.61 c (round 3, exhaustive) 0 del vars, 16 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 24 chg coeffs, 492 upgd conss, 0 impls, 1248 clqs
74.36/74.61 c (round 4, exhaustive) 0 del vars, 18 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 25 chg coeffs, 492 upgd conss, 0 impls, 1248 clqs
74.36/74.61 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
74.36/74.61 c 0 deleted vars, 18 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 25 changed coefficients
74.36/74.61 c 0 implications, 1248 cliques
74.36/74.61 c presolved problem has 949 variables (949 bin, 0 int, 0 impl, 0 cont) and 1278 constraints
74.36/74.61 c 305 constraints of type <knapsack>
74.36/74.61 c 184 constraints of type <setppc>
74.36/74.61 c 624 constraints of type <and>
74.36/74.61 c 2 constraints of type <linear>
74.36/74.61 c 163 constraints of type <logicor>
74.36/74.61 c transformed objective value is always integral (scale: 1)
74.36/74.61 c Presolving Time: 0.06
74.36/74.62 c transformed 26/26 original solutions to the transformed problem space
74.36/74.62 c
74.86/75.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
74.86/75.14 c 75.1s| 1 | 0 |373676 | - | 257M | 0 | 949 |1278 |1742 | 0 | 0 | 178 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
75.25/75.55 c 75.5s| 1 | 0 |374096 | - | 270M | 0 | 949 |1278 |1782 | 40 | 1 | 178 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
75.56/75.88 c 75.9s| 1 | 0 |374626 | - | 283M | 0 | 949 |1278 |1810 | 68 | 2 | 178 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
75.95/76.26 c 76.2s| 1 | 0 |375167 | - | 302M | 0 | 949 |1278 |1838 | 96 | 3 | 178 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
76.56/76.88 c 76.9s| 1 | 0 |375393 | - | 305M | 0 | 949 |1278 |1852 | 110 | 4 | 178 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
77.16/77.42 c 77.4s| 1 | 0 |376241 | - | 304M | 0 | 949 |1278 |1867 | 125 | 5 | 178 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
77.76/78.03 c 78.0s| 1 | 0 |376668 | - | 312M | 0 | 949 |1278 |1882 | 140 | 6 | 178 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
78.45/78.73 c 78.7s| 1 | 0 |377069 | - | 314M | 0 | 949 |1279 |1889 | 147 | 7 | 179 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
79.15/79.40 c 79.4s| 1 | 0 |377360 | - | 309M | 0 | 949 |1279 |1897 | 155 | 8 | 179 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
79.75/80.05 c 80.0s| 1 | 0 |378121 | - | 309M | 0 | 949 |1279 |1905 | 163 | 9 | 179 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
80.54/80.86 c 80.8s| 1 | 0 |378392 | - | 315M | 0 | 949 |1279 |1912 | 170 | 10 | 179 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
80.85/81.12 c 81.1s| 1 | 0 |378749 | - | 315M | 0 | 949 |1279 |1920 | 178 | 11 | 179 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
81.04/81.37 c 81.4s| 1 | 0 |378887 | - | 315M | 0 | 949 |1279 |1926 | 184 | 12 | 179 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
81.34/81.60 c 81.6s| 1 | 0 |379026 | - | 315M | 0 | 949 |1279 |1930 | 188 | 13 | 179 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
81.54/81.89 c 81.9s| 1 | 0 |379443 | - | 315M | 0 | 949 |1280 |1870 | 199 | 14 | 180 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
81.84/82.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
81.84/82.14 c 82.1s| 1 | 0 |379863 | - | 315M | 0 | 949 |1280 |1878 | 207 | 15 | 180 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
82.04/82.37 c 82.4s| 1 | 0 |380079 | - | 315M | 0 | 949 |1280 |1890 | 219 | 16 | 180 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
82.24/82.58 c 82.6s| 1 | 0 |380151 | - | 315M | 0 | 949 |1280 |1895 | 224 | 17 | 180 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
82.43/82.79 c 82.8s| 1 | 0 |380282 | - | 315M | 0 | 949 |1280 |1898 | 227 | 18 | 180 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
82.63/82.99 c 83.0s| 1 | 0 |380305 | - | 315M | 0 | 949 |1280 |1900 | 229 | 19 | 180 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
82.93/83.20 c 83.2s| 1 | 0 |380418 | - | 315M | 0 | 949 |1280 |1859 | 230 | 20 | 180 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
83.03/83.32 c 83.3s| 1 | 0 |380420 | - | 315M | 0 | 949 |1280 |1861 | 232 | 21 | 180 | 421 |-1.729314e+02 |-1.670000e+02 | 3.55%| unknown
86.12/86.47 c 86.5s| 1 | 2 |389678 | - | 315M | 0 | 949 |1284 |1861 | 232 | 22 | 184 | 439 |-1.727864e+02 |-1.670000e+02 | 3.46%| unknown
92.61/92.96 c 92.9s| 100 | 21 |425642 | 339.9 | 338M | 20 | 949 |1295 |1927 | 553 | 0 | 195 | 465 |-1.724981e+02 |-1.670000e+02 | 3.29%| unknown
101.69/102.07 c 102s| 200 | 39 |473569 | 350.7 | 398M | 20 | 949 |1325 |1925 | 750 | 2 | 225 | 503 |-1.720994e+02 |-1.670000e+02 | 3.05%| unknown
107.17/107.53 c 108s| 300 | 51 |503248 | 346.8 | 435M | 20 | 949 |1349 |1928 | 890 | 1 | 249 | 534 |-1.718670e+02 |-1.670000e+02 | 2.91%| unknown
113.04/113.46 c 113s| 400 | 57 |534860 | 344.8 | 469M | 20 | 949 |1384 |1942 | 989 | 0 | 284 | 568 |-1.718050e+02 |-1.670000e+02 | 2.88%| 10.90%
122.42/122.81 c 123s| 500 | 77 |601651 | 365.1 | 543M | 20 | 949 |1440 |1951 |1086 | 1 | 340 | 617 |-1.717675e+02 |-1.670000e+02 | 2.85%| 11.17%
132.80/133.22 c 133s| 600 | 97 |642717 | 367.8 | 541M | 20 | 949 |1475 |1958 |1190 | 3 | 375 | 657 |-1.715766e+02 |-1.670000e+02 | 2.74%| 13.33%
140.17/140.67 c 141s| 700 | 97 |686053 | 371.5 | 549M | 20 | 949 |1562 |1949 |1286 | 1 | 462 | 725 |-1.715603e+02 |-1.670000e+02 | 2.73%| 13.92%
146.56/147.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
146.56/147.05 c 147s| 800 | 103 |725397 | 372.7 | 549M | 20 | 949 |1664 |1965 |1367 | 1 | 564 | 798 |-1.714632e+02 |-1.670000e+02 | 2.67%| 14.84%
153.93/154.45 c 154s| 900 | 113 |761438 | 372.0 | 550M | 20 | 949 |1777 |1944 |1473 | 0 | 677 | 874 |-1.714359e+02 |-1.670000e+02 | 2.66%| 15.48%
159.31/159.80 c 160s| 1000 | 129 |792777 | 369.2 | 552M | 20 | 949 |1803 |1930 |1571 | 2 | 703 | 898 |-1.713352e+02 |-1.670000e+02 | 2.60%| 16.42%
166.89/167.41 c 167s| 1100 | 131 |828616 | 368.7 | 552M | 20 | 949 |1865 |1971 |1727 | 0 | 766 | 954 |-1.712988e+02 |-1.670000e+02 | 2.57%| 16.88%
175.07/175.68 c 176s| 1200 | 147 |894209 | 381.3 | 553M | 20 | 949 |1978 |1961 |1790 | 1 | 879 |1012 |-1.712121e+02 |-1.670000e+02 | 2.52%| 18.09%
181.05/181.64 c 182s| 1300 | 151 |925395 | 378.4 | 553M | 20 | 949 |2015 |1958 |1891 | 1 | 916 |1043 |-1.712121e+02 |-1.670000e+02 | 2.52%| 18.16%
190.32/190.96 c 191s| 1400 | 165 |967252 | 380.0 | 557M | 20 | 949 |2109 |1982 |2072 | 1 |1013 |1108 |-1.711524e+02 |-1.670000e+02 | 2.49%| 18.77%
199.59/200.26 c 200s| 1500 | 179 | 1013k| 383.3 | 557M | 20 | 949 |2217 |1959 |2286 | 2 |1121 |1174 |-1.710771e+02 |-1.670000e+02 | 2.44%| 19.77%
207.37/208.09 c 208s| 1600 | 191 | 1054k| 384.1 | 564M | 20 | 949 |2298 |1971 |2401 | 2 |1202 |1239 |-1.710445e+02 |-1.670000e+02 | 2.42%| 20.25%
216.94/217.61 c 218s| 1700 | 195 | 1092k| 384.2 | 565M | 20 | 949 |2372 |1975 |2588 | 0 |1276 |1309 |-1.710291e+02 |-1.670000e+02 | 2.41%| 20.51%
224.91/225.64 c 226s| 1800 | 203 | 1146k| 389.3 | 566M | 20 | 949 |2429 |1965 |2737 | 0 |1333 |1341 |-1.709961e+02 |-1.670000e+02 | 2.39%| 20.91%
235.39/236.14 c 236s| 1900 | 227 | 1196k| 393.0 | 574M | 20 | 949 |2526 |1974 |2963 | 0 |1430 |1391 |-1.709725e+02 |-1.670000e+02 | 2.38%| 21.33%
250.14/250.98 c 251s| 2000 | 225 | 1248k| 397.4 | 574M | 20 | 949 |2637 |1998 |3301 | 1 |1541 |1454 |-1.709725e+02 |-1.670000e+02 | 2.38%| 21.76%
262.22/263.08 c 263s| 2100 | 237 | 1305k| 402.6 | 576M | 20 | 949 |2808 |1987 |3557 | 0 |1714 |1527 |-1.709557e+02 |-1.670000e+02 | 2.37%| 22.06%
270.58/271.42 c 271s| 2200 | 245 | 1350k| 404.1 | 591M | 20 | 949 |2874 |1978 |3702 | 2 |1785 |1563 |-1.709324e+02 |-1.670000e+02 | 2.35%| 22.67%
278.86/279.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
278.86/279.77 c 280s| 2300 | 261 | 1391k| 404.3 | 592M | 20 | 949 |2972 |2010 |3870 | 1 |1886 |1633 |-1.708844e+02 |-1.670000e+02 | 2.33%| 23.10%
291.62/292.54 c 293s| 2400 | 281 | 1451k| 410.0 | 597M | 20 | 949 |3049 |1990 |4135 | 1 |1966 |1663 |-1.708667e+02 |-1.670000e+02 | 2.32%| 23.45%
300.10/301.02 c 301s| 2500 | 293 | 1497k| 411.3 | 597M | 20 | 949 |3144 |1994 |4350 | 5 |2062 |1696 |-1.708585e+02 |-1.670000e+02 | 2.31%| 23.85%
309.97/310.93 c 311s| 2600 | 303 | 1545k| 413.2 | 598M | 20 | 949 |3165 |1973 |4579 | 1 |2088 |1708 |-1.708553e+02 |-1.670000e+02 | 2.31%| 24.15%
318.15/319.17 c 319s| 2700 | 313 | 1590k| 414.0 | 608M | 20 | 949 |3246 |1981 |4785 | 1 |2171 |1738 |-1.707542e+02 |-1.670000e+02 | 2.25%| 25.40%
329.50/330.55 c 331s| 2800 | 315 | 1641k| 416.6 | 610M | 20 | 949 |3305 |1998 |5072 | 2 |2231 |1767 |-1.707336e+02 |-1.670000e+02 | 2.24%| 26.25%
338.08/339.16 c 339s| 2900 | 313 | 1683k| 416.8 | 610M | 20 | 949 |3310 |2031 |5344 | 3 |2236 |1775 |-1.707336e+02 |-1.670000e+02 | 2.24%| 26.53%
352.34/353.45 c 353s| 3000 | 307 | 1736k| 419.5 | 610M | 20 | 949 |3338 |1984 |5789 | 2 |2266 |1803 |-1.707190e+02 |-1.670000e+02 | 2.23%| 27.18%
364.11/365.27 c 365s| 3100 | 313 | 1788k| 422.0 | 636M | 20 | 949 |3436 |1992 |6040 | 2 |2366 |1885 |-1.706768e+02 |-1.670000e+02 | 2.20%| 27.91%
380.25/381.42 c 381s| 3200 | 311 | 1860k| 428.8 | 646M | 20 | 949 |3507 |1998 |6564 | 2 |2439 |1920 |-1.706592e+02 |-1.670000e+02 | 2.19%| 29.24%
396.11/397.31 c 397s| 3300 | 317 | 1931k| 435.3 | 651M | 20 | 949 |3630 |2001 |6915 | 0 |2572 |2003 |-1.705733e+02 |-1.670000e+02 | 2.14%| 30.52%
409.58/410.84 c 411s| 3400 | 309 | 1986k| 437.9 | 651M | 20 | 949 |3705 |2021 |7264 | 0 |2650 |2065 |-1.705682e+02 |-1.670000e+02 | 2.14%| 31.21%
422.33/423.64 c 424s| 3500 | 305 | 2039k| 439.8 | 671M | 20 | 949 |3792 |2066 |7575 | 0 |2749 |2136 |-1.705426e+02 |-1.670000e+02 | 2.12%| 31.89%
438.19/439.52 c 440s| 3600 | 299 | 2106k| 444.7 | 671M | 20 | 949 |3843 |2031 |8074 | 1 |2803 |2165 |-1.705259e+02 |-1.670000e+02 | 2.11%| 33.17%
447.86/449.22 c 449s| 3700 | 297 | 2161k| 446.9 | 671M | 20 | 949 |3866 |1986 |8379 | 2 |2834 |2174 |-1.705062e+02 |-1.670000e+02 | 2.10%| 33.91%
462.02/463.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
462.02/463.49 c 463s| 3800 | 275 | 2220k| 449.7 | 672M | 20 | 949 |3931 |1995 |8790 | 0 |2911 |2220 |-1.704910e+02 |-1.670000e+02 | 2.09%| 35.09%
478.87/480.34 c 480s| 3900 | 271 | 2288k| 454.5 | 673M | 20 | 949 |3956 |2028 |9279 | 1 |2952 |2244 |-1.704605e+02 |-1.670000e+02 | 2.07%| 36.68%
495.43/496.94 c 497s| 4000 | 257 | 2358k| 459.2 | 673M | 20 | 949 |4036 |2024 |9730 | 1 |3054 |2298 |-1.703811e+02 |-1.670000e+02 | 2.02%| 38.53%
513.58/515.14 c 515s| 4100 | 243 | 2426k| 463.5 | 672M | 20 | 949 |4066 |2012 | 10k| 0 |3102 |2332 |-1.703553e+02 |-1.670000e+02 | 2.01%| 39.98%
526.73/528.37 c 528s| 4200 | 225 | 2489k| 466.7 | 673M | 20 | 949 |4069 |2032 | 10k| 0 |3118 |2342 |-1.703113e+02 |-1.670000e+02 | 1.98%| 41.92%
539.60/541.26 c 541s| 4300 | 205 | 2549k| 469.2 | 673M | 20 | 949 |4088 |2089 | 10k| 0 |3148 |2378 |-1.702806e+02 |-1.670000e+02 | 1.96%| 43.97%
556.45/558.18 c 558s| 4400 | 195 | 2618k| 473.2 | 721M | 20 | 949 |4083 |2029 | 11k| 6 |3163 |2386 |-1.701318e+02 |-1.670000e+02 | 1.88%| 46.68%
567.71/569.48 c 569s| 4500 | 181 | 2677k| 475.3 | 722M | 20 | 949 |4090 |2030 | 11k| 0 |3188 |2399 |-1.700995e+02 |-1.670000e+02 | 1.86%| 48.69%
585.06/586.85 c 587s| 4600 | 155 | 2748k| 479.3 | 722M | 20 | 949 |4147 |2029 | 12k| 0 |3267 |2438 |-1.700632e+02 |-1.670000e+02 | 1.83%| 51.61%
602.51/604.33 c 604s| 4700 | 123 | 2821k| 483.7 | 722M | 20 | 949 |4226 |2039 | 12k| 0 |3380 |2501 |-1.699585e+02 |-1.670000e+02 | 1.77%| 54.58%
616.37/618.22 c 618s| 4800 | 97 | 2887k| 486.8 | 723M | 20 | 949 |4237 |2007 | 13k| 0 |3411 |2520 |-1.698182e+02 |-1.670000e+02 | 1.69%| 59.20%
628.54/630.41 c 630s| 4900 | 73 | 2943k| 488.0 | 724M | 20 | 949 |4241 |2055 | 13k| 0 |3447 |2534 |-1.696499e+02 |-1.670000e+02 | 1.59%| 62.75%
642.60/644.50 c 644s| 5000 | 45 | 3005k| 490.1 | 722M | 20 | 949 |4245 |2027 | 13k| 1 |3465 |2544 |-1.695154e+02 |-1.670000e+02 | 1.51%| 67.67%
652.17/654.18 c 654s| 5100 | 5 | 3059k| 491.0 | 721M | 20 | 949 |4236 |2006 | 13k| 0 |3483 |2549 |-1.689816e+02 |-1.670000e+02 | 1.19%| 78.02%
652.77/654.73 c
652.77/654.73 c SCIP Status : problem is solved [optimal solution found]
652.77/654.73 c Solving Time (sec) : 654.73
652.77/654.73 c Solving Nodes : 5113 (total of 6200 nodes in 2 runs)
652.77/654.73 c Primal Bound : -1.67000000000000e+02 (39 solutions)
652.77/654.73 c Dual Bound : -1.67000000000000e+02
652.77/654.73 c Gap : 0.00 %
652.77/654.73 s OPTIMUM FOUND
652.77/654.73 v -x238 x325 -x324 x280 x319 -x301 -x313 -x312 x297 x322 -x311 x317 -x323 x298 x293 -x302 x258 x276 x306 -x239 x321 -x279 x308 -x265
652.77/654.73 v -x320 -x287 -x263 -x309 x318 -x286 x304 -x246 -x307 x316 x315 x314 -x253 x244 x271 -x266 -x300 -x242 -x310 x269 -x259 x250
652.77/654.73 v x247 x231 -x270 -x268 x290 x296 -x264 -x251 -x234 -x305 -x289 x254 x303 x274 x229 -x292 x267 -x272 x230 x285 -x237 -x299 -x294
652.77/654.73 v x278 -x257 x295 -x291 -x282 -x284 -x288 x281 -x277 -x273 -x283 x245 x241 -x252 x275 -x249 -x235 -x262 x261 -x240 -x248 -x256
652.77/654.73 v x255 -x260 x243 x233 x236 x232 -x949 -x948 x947 x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 -x934
652.77/654.73 v -x933 -x932 -x931 -x930 x929 x928 -x927 x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 x917 -x916 x915 -x914 x913 x912
652.77/654.73 v x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890
652.77/654.73 v -x889 x888 -x887 x886 x885 x884 -x883 x882 -x881 -x880 -x879 -x878 -x225 -x877 -x876 x875 x874 -x873 -x872 -x871 -x870 x221
652.77/654.73 v x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 x855 x854 x210 x853 -x852 -x851 x209 -x850
652.77/654.73 v -x849 -x208 -x848 -x847 -x846 -x845 x207 -x844 -x843 x842 -x841 -x840 -x839 -x838 -x837 x836 -x202 -x835 x834 -x833 x832
652.77/654.73 v x831 -x830 -x829 x828 -x827 -x826 x825 x195 -x824 x823 -x822 -x821 -x820 x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
652.77/654.73 v -x810 -x809 -x808 x189 -x807 -x806 x217 -x805 -x804 -x803 -x186 -x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 x794 x793 x792
652.77/654.73 v -x791 -x790 -x789 -x788 -x179 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x175 -x780 -x779 -x778 -x176 -x777 -x776 x775 x774
652.77/654.73 v x773 -x772 -x771 -x770 -x170 -x769 -x768 x200 x767 x766 -x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 x167 -x165 -x757 -x756
652.77/654.73 v -x755 x224 x754 -x753 -x752 x751 x750 -x749 -x748 x161 -x747 x746 x184 x745 -x744 -x160 -x743 -x742 -x741 x159 -x740 x739 -x157
652.77/654.73 v -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 x728 x153 x727 -x726 -x725 -x724 x723 x722 -x721 -x205 -x720
652.77/654.73 v -x719 -x718 -x717 -x716 x150 x715 -x714 -x713 -x712 -x148 -x711 -x710 -x709 x146 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x143
652.77/654.73 v -x701 -x700 -x699 x698 -x139 -x697 x192 -x696 -x695 -x191 -x694 x164 x693 -x190 -x692 -x691 -x690 -x689 x688 -x187 -x687 -x686
652.77/654.73 v -x685 -x684 -x188 -x683 -x682 -x132 -x681 x218 -x680 -x679 -x678 -x677 -x676 x129 -x675 -x130 -x674 -x673 -x672 -x671 -x670
652.77/654.73 v -x669 -x213 -x126 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x125 -x124 -x661 -x660 -x206 -x659 -x658 -x657 -x151 -x656 -x655
652.77/654.73 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 x121 -x647 x646 -x119 -x645 -x644 -x643 x194 -x642 x641 -x640 -x117 -x639 -x638
652.77/654.73 v x637 -x115 -x636 x163 -x635 x138 -x634 -x162 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x110 -x624 -x623 x185 -x622
652.77/654.73 v -x621 -x108 -x620 -x619 -x618 x617 x616 -x615 x614 -x613 x612 x105 x104 x611 -x610 -x609 x174 -x608 -x607 x177 -x606 x147
652.77/654.73 v -x605 -x604 -x103 -x603 x173 -x602 -x144 -x601 -x600 -x599 x203 x598 x597 x99 -x596 x198 -x595 x118 -x594 x593 -x592 -x591
652.77/654.73 v -x590 x196 -x589 -x588 x227 x587 -x94 -x586 x135 -x585 x114 -x584 -x134 -x583 -x582 x581 -x580 -x579 x578 x577 x88 x576 x222
652.77/654.73 v x575 x574 -x573 -x219 -x572 -x571 -x570 x87 -x569 -x183 -x568 x158 -x567 -x566 -x565 -x84 -x564 -x563 -x562 -x561 -x82 -x560
652.77/654.73 v x559 -x120 -x558 -x557 -x556 x81 -x555 x168 x554 -x553 -x552 -x98 -x551 -x550 -x549 -x548 -x547 -x77 -x546 x141 -x545 -x544 -x193
652.77/654.73 v -x543 -x75 -x542 x112 -x541 x93 -x540 -x539 -x111 -x538 -x537 -x536 -x535 -x534 -x71 -x533 -x532 -x531 -x215 -x530 x131
652.77/654.73 v -x529 -x528 -x527 -x69 -x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 -x178 -x518 -x102 -x517 -x67 x65 -x516 -x515 -x514 -x100
652.77/654.73 v -x513 x64 -x512 -x511 -x510 -x509 -x80 -x508 -x507 -x506 -x505 -x61 -x504 -x503 -x166 -x502 x140 -x501 x116 -x500 -x499 -x226
652.77/654.73 v -x498 -x58 -x497 x91 -x496 x74 -x495 x90 -x494 -x493 x492 -x491 -x223 -x490 x54 -x489 -x488 -x487 -x486 -x485 -x109 -x484
652.77/654.73 v x52 -x483 x482 x481 -x214 -x480 x51 -x479 x478 -x154 -x477 -x476 -x475 -x474 -x473 -x472 x50 -x471 x152 x470 -x469 -x49 -x468
652.77/654.73 v x467 -x466 x465 x46 -x464 -x463 -x95 x45 -x462 -x461 -x137 -x460 -x44 -x459 x72 -x458 x57 -x457 -x456 -x455 -x454 x41 -x453
652.77/654.73 v -x452 x86 -x451 -x450 -x449 -x85 -x448 x39 x447 -x446 -x212 -x445 -x182 -x444 x38 -x443 x123 x442 x66 x441 -x48 -x440 -x439 x101
652.77/654.73 v -x438 x47 -x437 x37 -x36 -x436 -x142 -x435 x96 -x434 x433 -x432 -x431 -x113 -x430 -x33 -x429 -x428 -x55 -x427 x43 x426 -x425
652.77/654.73 v x220 x424 -x216 -x423 -x422 -x421 x70 -x420 -x29 -x419 -x418 x181 -x417 x156 -x416 -x28 -x415 x32 -x414 -x413 -x92 -x412
652.77/654.73 v -x27 -x411 -x410 -x409 -x53 -x408 x25 -x407 x406 -x155 -x405 -x128 -x404 x24 x403 x26 -x402 -x73 -x401 x31 x400 -x23 -x399 -x398
652.77/654.73 v x68 x397 -x40 -x396 x30 x21 x395 -x394 -x211 -x393 x127 x392 -x107 x20 -x391 -x390 -x389 -x388 -x197 -x19 -x387 x22 -x386
652.77/654.73 v -x56 -x385 -x42 -x384 -x18 -x383 -x382 x180 x381 -x106 -x380 x83 x16 x379 x378 -x377 -x376 -x60 -x375 -x374 x228 -x373 x17 -x13
652.77/654.73 v -x372 x371 x204 x370 x171 x369 -x122 x12 -x368 x367 -x97 -x366 -x365 -x364 x172 -x363 x149 -x362 -x145 -x10 -x361 -x360 x199
652.77/654.73 v x359 x79 x358 -x63 x9 -x357 -x356 -x355 x15 -x354 x11 -x8 -x353 -x352 -x351 x169 x350 -x62 x7 -x349 -x348 x347 -x346 x6 -x345
652.77/654.73 v -x344 -x76 -x343 -x35 -x342 x34 x5 x341 -x340 x339 -x201 -x338 -x78 x4 -x337 -x336 x335 -x59 -x334 -x14 x3 -x333 x332 x133
652.77/654.73 v x331 -x89 -x330 -x329 -x328 x136 -x327 x2 -x1 -x326
652.77/654.73 c SCIP Status : problem is solved [optimal solution found]
652.77/654.73 c Total Time : 654.73
652.77/654.73 c solving : 654.73
652.77/654.73 c presolving : 0.06 (included in solving)
652.77/654.73 c reading : 0.00 (included in solving)
652.77/654.73 c copying : 0.12 (23 #copies) (minimal 0.00, maximal 0.01, average 0.01)
652.77/654.73 c Original Problem :
652.77/654.73 c Problem name : HOME/instance-4508882-1751509680.opb
652.77/654.73 c Variables : 949 (949 binary, 0 integer, 0 implicit integer, 0 continuous)
652.77/654.73 c Constraints : 1248 initial, 1248 maximal
652.77/654.73 c Objective : minimize, 852 non-zeros (abs.min = 1, abs.max = 2)
652.77/654.73 c Presolved Problem :
652.77/654.73 c Problem name : t_HOME/instance-4508882-1751509680.opb
652.77/654.73 c Variables : 949 (949 binary, 0 integer, 0 implicit integer, 0 continuous)
652.77/654.73 c Constraints : 1278 initial, 4250 maximal
652.77/654.73 c Objective : minimize, 852 non-zeros (abs.min = 1, abs.max = 2)
652.77/654.73 c Nonzeros : 14522 constraint, 2496 clique table
652.77/654.73 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
652.77/654.73 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
652.77/654.73 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
652.77/654.73 c gateextraction : 0.00 0.00 4 0 0 0 0 0 1872 624 0 0
652.77/654.73 c implics : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
652.77/654.73 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
652.77/654.73 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
652.77/654.73 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c trivial : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
652.77/654.73 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c dualfix : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
652.77/654.73 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
652.77/654.73 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
652.77/654.73 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
652.77/654.73 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
652.77/654.73 c knapsack : 0.01 0.00 11 0 0 0 0 0 624 1248 0 0
652.77/654.73 c setppc : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
652.77/654.73 c and : 0.01 0.00 11 0 0 0 0 0 0 0 0 0
652.77/654.73 c linear : 0.02 0.00 13 0 0 0 0 0 0 0 0 0
652.77/654.73 c logicor : 0.01 0.00 18 0 0 0 0 0 18 0 0 25
652.77/654.73 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
652.77/654.73 c root node : - - - 94 - - 94 - - - - -
652.77/654.73 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
652.77/654.73 c benderslp : 0 0 0 0 3757 0 0 136 0 0 0 0 0 0 0
652.77/654.73 c integral : 0 0 0 0 3757 0 0 136 0 0 1750 0 0 3131 6390
652.77/654.73 c knapsack : 305 305 22 41159 0 0 0 0 324 0 4938 3 3 0 0
652.77/654.73 c setppc : 184+ 238 22 40977 0 0 0 0 4905 1 3441 6 0 0 0
652.77/654.73 c and : 624 624 7164 61205 5 0 0 129 6373 7 11163 5471 3653 0 0
652.77/654.73 c linear : 2+ 4 22 39537 0 0 0 3 2 0 1 0 0 0 0
652.77/654.73 c logicor : 163+ 3135 34 10771 0 0 0 0 953 213 240 0 0 0 0
652.77/654.73 c benders : 0 0 0 0 5 0 0 64 0 0 0 0 0 0 0
652.77/654.73 c fixedvar : 0 0 0 0 5 0 0 64 0 0 0 0 0 0 0
652.77/654.73 c countsols : 0 0 0 0 5 0 0 64 0 0 0 0 0 0 0
652.77/654.73 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
652.77/654.73 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
652.77/654.73 c integral : 93.94 0.00 0.00 0.00 93.94 0.00 0.00 0.00 0.00 0.00
652.77/654.73 c knapsack : 2.34 0.00 1.11 1.03 0.00 0.00 0.00 0.00 0.00 0.19
652.77/654.73 c setppc : 0.04 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.01
652.77/654.73 c and : 1.90 0.00 1.30 0.48 0.00 0.00 0.00 0.00 0.00 0.12
652.77/654.73 c linear : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
652.77/654.73 c logicor : 0.32 0.00 0.00 0.31 0.00 0.00 0.00 0.00 0.00 0.01
652.77/654.73 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
652.77/654.73 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
652.77/654.73 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
652.77/654.73 c components : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
652.77/654.73 c Propagators : #Propagate #ResProp Cutoffs DomReds
652.77/654.73 c dualfix : 4 0 0 0
652.77/654.73 c genvbounds : 0 0 0 0
652.77/654.73 c nlobbt : 0 0 0 0
652.77/654.73 c obbt : 0 0 0 0
652.77/654.73 c probing : 0 0 0 0
652.77/654.73 c pseudoobj : 19406 0 0 0
652.77/654.73 c redcost : 15431 0 0 144551
652.77/654.73 c rootredcost : 8 0 0 0
652.77/654.73 c symmetry : 0 0 0 0
652.77/654.73 c vbounds : 26463 0 0 0
652.77/654.73 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
652.77/654.73 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
652.77/654.73 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
652.77/654.73 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
652.77/654.73 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
652.77/654.73 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
652.77/654.73 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
652.77/654.73 c redcost : 0.57 0.00 0.00 0.57 0.00 0.00
652.77/654.73 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
652.77/654.73 c symmetry : 0.01 0.00 0.00 0.01 0.00 0.00
652.77/654.73 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.00
652.77/654.73 c Symmetry :
652.77/654.73 c orbitopal red. : 0 reductions applied, 0 cutoffs
652.77/654.73 c orbital reduction: 0 reductions applied, 0 cutoffs
652.77/654.73 c lexicographic red: 0 reductions applied, 0 cutoffs
652.77/654.73 c shadow tree time : 0.00 s
652.77/654.73 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
652.77/654.73 c propagation : 0.00 221 120 - 144 19.9 0 0.0 - - -
652.77/654.73 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
652.77/654.73 c bound exceed. LP : 1.09 2000 1233 - 5779 19.8 1 23.0 3 139.7 4372
652.77/654.73 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
652.77/654.73 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
652.77/654.73 c applied globally : 0.02 - - 0 3480 18.5 - - 3 - -
652.77/654.73 c applied locally : - - - 0 0 0.0 - - 0 - -
652.77/654.73 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
652.77/654.73 c cut pool : 32.69 - 3855 88 - - 95836 274806 - - - - - (maximal pool size: 5157)
652.77/654.73 c aggregation : 30.93 0.00 1987 48 0 0 1 4 0 1 1 0 0
652.77/654.73 c > cmir : - - - - - - - 4 0 1 1 0 -
652.77/654.73 c > flowcover : - - - - - - - 0 0 0 0 0 -
652.77/654.73 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
652.77/654.73 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c clique : 0.10 0.00 48 48 0 0 0 0 0 0 0 0 0
652.77/654.73 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c gomory : 112.16 0.00 1765 20 0 0 91906 133484 0 2575 2575 0 0
652.77/654.73 c > gomorymi : - - - - - - - 67278 0 902 902 0 -
652.77/654.73 c > strongcg : - - - - - - - 66206 0 1673 1673 0 -
652.77/654.73 c impliedbounds : 0.20 0.00 1987 48 0 0 749 1285 0 1086 1086 0 0
652.77/654.73 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
652.77/654.73 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c multilinear : 0.00 0.00 300 48 0 0 0 0 0 0 0 0 0
652.77/654.73 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c rapidlearning : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
652.77/654.73 c rlt : 43.03 0.00 507 20 0 0 297 516 0 334 334 0 0
652.77/654.73 c zerohalf : 21.72 0.00 1785 40 0 0 2882 139517 0 8696 8696 0 0
652.77/654.73 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
652.77/654.73 c hybrid : 1.58 0.00 3766 46 16348 0 263938 944 0 7064
652.77/654.73 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c Pricers : ExecTime SetupTime Calls Vars
652.77/654.73 c problem variables: 0.00 - 0 0
652.77/654.73 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
652.77/654.73 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c random : 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c relpscost : 93.94 0.00 3752 0 0 0 1750 0 3132 6390
652.77/654.73 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
652.77/654.73 c Primal Heuristics : ExecTime SetupTime Calls Found Best
652.77/654.73 c LP solutions : 0.00 - - 5 5
652.77/654.73 c relax solutions : 0.00 - - 0 0
652.77/654.73 c pseudo solutions : 0.00 - - 0 0
652.77/654.73 c strong branching : 0.01 - - 0 0
652.77/654.73 c actconsdiving : 0.00 0.00 0 0 0
652.77/654.73 c adaptivediving : 1.61 0.00 22 0 0
652.77/654.73 c alns : 0.04 0.00 5 0 0
652.77/654.73 c bound : 0.00 0.00 0 0 0
652.77/654.73 c clique : 0.01 0.00 1 1 1
652.77/654.73 c coefdiving : 0.00 0.00 0 0 0
652.77/654.73 c completesol : 0.00 0.00 0 0 0
652.77/654.73 c conflictdiving : 0.79 0.00 15 0 0
652.77/654.73 c crossover : 0.01 0.00 1 1 0
652.77/654.73 c dins : 0.00 0.00 0 0 0
652.77/654.73 c distributiondivin: 4.16 0.00 15 0 0
652.77/654.73 c dps : 0.00 0.00 0 0 0
652.77/654.73 c dualval : 0.00 0.00 0 0 0
652.77/654.73 c farkasdiving : 4.20 0.00 15 1 1
652.77/654.73 c feasjump : 0.00 0.00 0 0 0
652.77/654.73 c feaspump : 0.39 0.00 1 1 0
652.77/654.73 c fixandinfer : 0.00 0.00 0 0 0
652.77/654.73 c fracdiving : 1.13 0.00 15 0 0
652.77/654.73 c gins : 0.19 0.00 13 11 0
652.77/654.73 c guideddiving : 1.05 0.00 14 0 0
652.77/654.73 c indcoefdiving : 0.00 0.00 0 0 0
652.77/654.73 c indicator : 0.00 0.00 0 0 0
652.77/654.73 c indicatordiving : 0.00 0.00 0 0 0
652.77/654.73 c indoneopt : 0.00 0.00 0 0 0
652.77/654.73 c indrounding : 0.00 0.00 0 0 0
652.77/654.73 c indtwoopt : 0.00 0.00 0 0 0
652.77/654.73 c intdiving : 0.00 0.00 0 0 0
652.77/654.73 c intshifting : 0.00 0.00 0 0 0
652.77/654.73 c linesearchdiving : 0.98 0.00 14 0 0
652.77/654.73 c localbranching : 0.00 0.00 0 0 0
652.77/654.73 c locks : 0.00 0.00 1 0 0
652.77/654.73 c lpface : 0.00 0.00 0 0 0
652.77/654.73 c mpec : 0.00 0.00 0 0 0
652.77/654.73 c multistart : 0.00 0.00 0 0 0
652.77/654.73 c mutation : 0.00 0.00 0 0 0
652.77/654.73 c nlpdiving : 0.00 0.00 0 0 0
652.77/654.73 c objpscostdiving : 8.61 0.00 5 5 0
652.77/654.73 c octane : 0.00 0.00 0 0 0
652.77/654.73 c ofins : 0.00 0.00 0 0 0
652.77/654.73 c oneopt : 0.01 0.00 9 1 1
652.77/654.73 c padm : 0.00 0.00 0 0 0
652.77/654.73 c proximity : 0.00 0.00 0 0 0
652.77/654.73 c pscostdiving : 1.12 0.00 15 0 0
652.77/654.73 c randrounding : 0.34 0.00 70 0 0
652.77/654.73 c rens : 0.00 0.00 0 0 0
652.77/654.73 c reoptsols : 0.00 0.00 0 0 0
652.77/654.73 c repair : 0.00 0.00 0 0 0
652.77/654.73 c rins : 4.48 0.00 3 3 1
652.77/654.73 c rootsoldiving : 1.24 0.00 6 6 0
652.77/654.73 c rounding : 0.32 0.00 1127 0 0
652.77/654.73 c scheduler : 0.00 0.00 0 0 0
652.77/654.73 c shiftandpropagate: 0.00 0.00 0 0 0
652.77/654.73 c shifting : 1.91 0.00 1857 1 1
652.77/654.73 c simplerounding : 0.00 0.00 0 0 0
652.77/654.73 c smallcard : 0.00 0.00 0 0 0
652.77/654.73 c subnlp : 0.01 0.00 0 0 0
652.77/654.73 c trivial : 0.00 0.00 4 2 1
652.77/654.73 c trivialnegation : 0.00 0.00 0 0 0
652.77/654.73 c trustregion : 0.00 0.00 0 0 0
652.77/654.73 c trysol : 0.00 0.00 0 0 0
652.77/654.73 c twoopt : 0.00 0.00 0 0 0
652.77/654.73 c undercover : 0.03 0.00 1 0 0
652.77/654.73 c vbounds : 0.02 0.00 2 1 1
652.77/654.73 c veclendiving : 0.23 0.00 14 0 0
652.77/654.73 c zeroobj : 0.00 0.00 0 0 0
652.77/654.73 c zirounding : 0.37 0.00 1000 0 0
652.77/654.73 c other solutions : - - - 0 -
652.77/654.73 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
652.77/654.73 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
652.77/654.73 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
652.77/654.73 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
652.77/654.73 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
652.77/654.73 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
652.77/654.73 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
652.77/654.73 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
652.77/654.73 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
652.77/654.73 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
652.77/654.73 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
652.77/654.73 c primal LP : 0.70 993 0 0.00 0.00 0.70 993
652.77/654.73 c dual LP : 270.70 15011 2814279 270.63 10396.18 2.82 4612
652.77/654.73 c lex dual LP : 0.00 0 0 0.00 -
652.77/654.73 c barrier LP : 0.00 0 0 0.00 - 0.00 0
652.77/654.73 c resolve instable : 0.00 0 0 0.00 -
652.77/654.73 c diving/probing LP: 22.89 2562 250723 97.86 10954.80
652.77/654.73 c strong branching : 87.93 2549 931596 365.48 10594.86 - - 665
652.77/654.73 c (at root node) : - 44 42423 964.16 -
652.77/654.73 c conflict analysis: 0.43 438 4372 9.98 10221.02
652.77/654.73 c B&B Tree :
652.77/654.73 c number of runs : 2
652.77/654.73 c nodes : 5113 (2557 internal, 2556 leaves)
652.77/654.73 c feasible leaves : 0
652.77/654.73 c infeas. leaves : 89
652.77/654.73 c objective leaves : 2467
652.77/654.73 c nodes (total) : 6200 (3195 internal, 3005 leaves)
652.77/654.73 c nodes left : 0
652.77/654.73 c max depth : 20
652.77/654.73 c max depth (total): 34
652.77/654.73 c backtracks : 1723 (33.7%)
652.77/654.73 c early backtracks : 0 (0.0%)
652.77/654.73 c nodes exc. ref. : 0 (0.0%)
652.77/654.73 c delayed cutoffs : 2
652.77/654.73 c repropagations : 19 (70 domain reductions, 1 cutoffs)
652.77/654.73 c avg switch length: 4.86
652.77/654.73 c switching time : 1.68
652.77/654.73 c Root Node :
652.77/654.73 c First LP value : -2.11000000000000e+02
652.77/654.73 c First LP Iters : 814 (62504.80 Iter/sec)
652.77/654.73 c First LP Time : 0.01
652.77/654.73 c Final Dual Bound : -1.72786430809959e+02
652.77/654.73 c Final Root Iters : 22552
652.77/654.73 c Root LP Estimate : -1.06195606765307e+02
652.77/654.73 c Solution :
652.77/654.73 c Solutions found : 39 (12 improvements)
652.77/654.73 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
652.77/654.73 c Gap First Sol. : infinite
652.77/654.73 c Gap Last Sol. : 3.93 %
652.77/654.73 c Primal Bound : -1.67000000000000e+02 (in run 1, after 354 nodes, 37.51 seconds, depth 20, found by <relaxation>)
652.77/654.73 c Dual Bound : -1.67000000000000e+02
652.77/654.73 c Gap : 0.00 %
652.77/654.73 c Integrals : Total Avg%
652.77/654.73 c primal-dual : 1807.88 2.76
652.77/654.73 c primal-ref : - - (not evaluated)
652.77/654.73 c dual-ref : - - (not evaluated)
653.76/655.79 c Time complete: 653.862.
OK -167
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 (60964 MiB free)
memory of node 1: 64507 MiB (62372 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508882-1751509680/watcher-4508882-1751509680 -o /tmp/evaluation-result-4508882-1751509680/solver-4508882-1751509680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751506081-77371 --watchdog 3760 pbscip -f HOME/instance-4508882-1751509680.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=78298, runsolver pid=78295
[startup+0.10007 s]*
/proc/loadavg: 4.17 4.11 4.10 5/266 78299
/proc/meminfo: memFree=126297880/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=62360 memory=34176 CPUtime=0.09 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 5009 0 0 0 8 1 0 0 20 0 1 0 66645868 63856640 8544 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 15590 8544 3936 3530 0 7041 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62360 KiB
Current children cumulated memory: 34176 KiB
[startup+0.205784 s]*
/proc/loadavg: 4.17 4.11 4.10 5/266 78299
/proc/meminfo: memFree=126290068/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=67568 memory=39552 CPUtime=0.19 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 6322 0 0 0 18 1 0 0 20 0 1 0 66645868 69189632 9888 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 16892 9888 3968 3530 0 8343 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67568 KiB
Current children cumulated memory: 39552 KiB
[startup+0.305751 s]*
/proc/loadavg: 4.17 4.11 4.10 5/266 78299
/proc/meminfo: memFree=126290068/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=67568 memory=39680 CPUtime=0.29 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 6346 0 0 0 28 1 0 0 20 0 1 0 66645868 69189632 9920 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 16892 9920 3968 3530 0 8343 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67568 KiB
Current children cumulated memory: 39680 KiB
[startup+0.700203 s]
/proc/loadavg: 4.17 4.11 4.10 5/266 78299
/proc/meminfo: memFree=126273684/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=70132 memory=43264 CPUtime=0.68 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 7238 0 0 0 67 1 0 0 20 0 1 0 66645868 71815168 10816 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 17533 10816 3968 3530 0 8984 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70132 KiB
Current children cumulated memory: 43264 KiB
[startup+1.50018 s]
/proc/loadavg: 4.17 4.11 4.10 5/266 78299
/proc/meminfo: memFree=126265620/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=84892 memory=56576 CPUtime=1.48 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 10576 0 0 0 146 2 0 0 20 0 1 0 66645868 86929408 14144 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 21223 14144 3968 3530 0 12674 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 84892 KiB
Current children cumulated memory: 56576 KiB
[startup+3.10558 s]
/proc/loadavg: 4.17 4.11 4.10 5/261 78335
/proc/meminfo: memFree=126720760/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=88448 memory=58752 CPUtime=3.08 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 11125 0 0 0 306 2 0 0 20 0 1 0 66645868 90570752 14688 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 22112 14688 3968 3530 0 13563 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 88448 KiB
Current children cumulated memory: 58752 KiB
[startup+6.30017 s]
/proc/loadavg: 4.16 4.11 4.09 5/266 78344
/proc/meminfo: memFree=126601436/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=91392 memory=61872 CPUtime=6.26 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 12037 0 0 0 624 2 0 0 20 0 1 0 66645868 93585408 15468 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 22848 15468 3968 3530 0 14299 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 91392 KiB
Current children cumulated memory: 61872 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 78344
/proc/meminfo: memFree=126560808/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=91392 memory=61872 CPUtime=12.64 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 12038 0 0 0 1262 2 0 0 20 0 1 0 66645868 93585408 15468 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 22848 15468 3968 3530 0 14299 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 91392 KiB
Current children cumulated memory: 61872 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 78344
/proc/meminfo: memFree=126499224/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=126132 memory=95152 CPUtime=25.41 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 20373 0 0 0 2537 4 0 0 20 0 1 0 66645868 129159168 23788 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 31533 23788 3968 3530 0 22984 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 126132 KiB
Current children cumulated memory: 95152 KiB
[startup+51.1054 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 78345
/proc/meminfo: memFree=125608200/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=302936 memory=265820 CPUtime=50.94 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 65924 0 0 0 5082 12 0 0 20 0 1 0 66645868 310206464 66455 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 75734 66455 3968 3530 0 67185 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 302936 KiB
Current children cumulated memory: 265820 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 78348
/proc/meminfo: memFree=125385700/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=459292 memory=421484 CPUtime=101.98 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 127347 0 0 0 10175 23 0 0 20 0 1 0 66645868 470315008 105371 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 114823 105371 3968 3530 0 106274 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 459292 KiB
Current children cumulated memory: 421484 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 78350
/proc/meminfo: memFree=125137364/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=604208 memory=562668 CPUtime=161.8 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 163650 0 0 0 16152 28 0 0 20 0 1 0 66645868 618708992 140667 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 151052 140667 3968 3530 0 142503 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 604208 KiB
Current children cumulated memory: 562668 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 78355
/proc/meminfo: memFree=125133648/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=613928 memory=572864 CPUtime=221.62 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 165697 0 0 0 22134 28 0 0 20 0 1 0 66645868 628662272 143216 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 153482 143216 3968 3530 0 144933 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 613928 KiB
Current children cumulated memory: 572864 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 78362
/proc/meminfo: memFree=125109036/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=631040 memory=588340 CPUtime=281.45 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 167778 0 0 0 28116 29 0 0 20 0 1 0 66645868 646184960 147085 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 157760 147085 3968 3530 0 149211 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 631040 KiB
Current children cumulated memory: 588340 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 78364
/proc/meminfo: memFree=125055596/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=647704 memory=601732 CPUtime=341.27 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 170982 0 0 0 34098 29 0 0 20 0 1 0 66645868 663248896 150433 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 161926 150433 3968 3530 0 153377 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 647704 KiB
Current children cumulated memory: 601732 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 78367
/proc/meminfo: memFree=124825696/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=686768 memory=632312 CPUtime=401.1 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 177403 0 0 0 40079 31 0 0 20 0 1 0 66645868 703250432 158078 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 171692 158078 3968 3530 0 163143 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 686768 KiB
Current children cumulated memory: 632312 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 78369
/proc/meminfo: memFree=124766128/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=706956 memory=651416 CPUtime=460.92 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 181673 0 0 0 46061 31 0 0 20 0 1 0 66645868 723922944 162854 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 176739 162854 3968 3530 0 168190 0
Current children cumulated CPU time: 460.92 s
Current children cumulated vsize: 706956 KiB
Current children cumulated memory: 651416 KiB
[startup+522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 78372
/proc/meminfo: memFree=124772708/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=711272 memory=654772 CPUtime=520.75 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 183168 0 0 0 52043 32 0 0 20 0 1 0 66645868 728342528 163693 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 177818 163693 3968 3530 0 169269 0
Current children cumulated CPU time: 520.75 s
Current children cumulated vsize: 711272 KiB
Current children cumulated memory: 654772 KiB
[startup+582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 78374
/proc/meminfo: memFree=124702076/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=756448 memory=700016 CPUtime=580.58 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 187562 0 0 0 58025 33 0 0 20 0 1 0 66645868 774602752 175004 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 189112 175004 3968 3530 0 180563 0
Current children cumulated CPU time: 580.58 s
Current children cumulated vsize: 756448 KiB
Current children cumulated memory: 700016 KiB
[startup+642.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 78377
/proc/meminfo: memFree=124677752/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=756700 memory=700144 CPUtime=640.4 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 187616 0 0 0 64007 33 0 0 20 0 1 0 66645868 774860800 175036 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 189175 175036 3968 3530 0 180626 0
Current children cumulated CPU time: 640.4 s
Current children cumulated vsize: 756700 KiB
Current children cumulated memory: 700144 KiB
[startup+655.81 s]
# the end of solver process 78298 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=653.521 s, system=0.362713 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+646.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 78377
/proc/meminfo: memFree=124675272/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=756700 memory=700144 CPUtime=644.49 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 187616 0 0 0 64416 33 0 0 20 0 1 0 66645868 774860800 175036 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 189175 175036 3968 3530 0 180626 0
Current children cumulated CPU time: 644.49 s
Current children cumulated vsize: 756700 KiB
Current children cumulated memory: 700144 KiB
[startup+652.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 78377
/proc/meminfo: memFree=124675812/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=756700 memory=700144 CPUtime=650.87 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 187616 0 0 0 65054 33 0 0 20 0 1 0 66645868 774860800 175036 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 189175 175036 3968 3530 0 180626 0
Current children cumulated CPU time: 650.87 s
Current children cumulated vsize: 756700 KiB
Current children cumulated memory: 700144 KiB
[startup+654.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 78377
/proc/meminfo: memFree=124676064/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=756700 memory=700144 CPUtime=652.47 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 187616 0 0 0 65214 33 0 0 20 0 1 0 66645868 774860800 175036 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 189175 175036 3968 3530 0 180626 0
Current children cumulated CPU time: 652.47 s
Current children cumulated vsize: 756700 KiB
Current children cumulated memory: 700144 KiB
[startup+655.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 78377
/proc/meminfo: memFree=124676064/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=755676 memory=699208 CPUtime=653.26 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 187616 0 0 0 65293 33 0 0 20 0 1 0 66645868 773812224 174802 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 188919 174802 3968 3530 0 180370 0
Current children cumulated CPU time: 653.26 s
Current children cumulated vsize: 755676 KiB
Current children cumulated memory: 699208 KiB
[startup+655.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 78377
/proc/meminfo: memFree=124676064/131250000 swapFree=33010416/33010684
[pid=78298] ppid=78295 vsize=753628 memory=697160 CPUtime=653.66 cores=5,7
/proc/78298/stat : 78298 (pbscip) R 78295 78298 77358 0 -1 4194304 187616 0 0 0 65333 33 0 0 20 0 1 0 66645868 771715072 174290 18446744073709551615 4235264 18693293 140722191451664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56668160 140722191460745 140722191460844 140722191460844 140722191466446 0
/proc/78298/statm: 188407 174290 3968 3530 0 179858 0
Current children cumulated CPU time: 653.66 s
Current children cumulated vsize: 753628 KiB
Current children cumulated memory: 697160 KiB
[startup+655.8 s]*
/proc/loadavg: 4.10 4.09 4.09 5/266 78377
/proc/meminfo: memFree=125107276/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 655.81
CPU time (s): 653.883
CPU user time (s): 653.521
CPU system time (s): 0.362713
CPU usage (%): 99.7062
Max. virtual memory (cumulated for all children) (KiB): 760304
Max. memory (cumulated for all children) (KiB): 703764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 653.521
system time used= 0.362713
maximum resident set size= 704916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187622
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= 80
involuntary context switches= 536
# summary of solver processes directly reported to runsolver:
# pid: 78298
# total CPU time (s): 653.883
# total CPU user time (s): 653.521
# total CPU system time (s): 0.362713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2375 second user time and 2.96295 second system time
The end
Begin job on nodeC018 at 2025-07-03 04:28:00 IDJOB=4508882 IDBENCH=158516 IDSOLVER=3365 FILE ID=nodeC018/4508882-1751509680 RUNJOBID= nodeC018-1751506081-77371 SLURM_JOB_ID= 9598599 Free space on /tmp= 432852 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament26.lin.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508882-1751509680/watcher-4508882-1751509680 -o /tmp/evaluation-result-4508882-1751509680/solver-4508882-1751509680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751506081-77371 --watchdog 3760 pbscip -f HOME/instance-4508882-1751509680.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 21e597bc04bc5fa012b59bdeb9fb9987 RANDOM SEED=1940334294 nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.844 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.828 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3607.967 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.840 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.810 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.085 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.820 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 126297816 kB MemAvailable: 126313008 kB Buffers: 2128 kB Cached: 780632 kB SwapCached: 32 kB Active: 3723080 kB Inactive: 363804 kB Active(anon): 3321880 kB Inactive(anon): 288 kB Active(file): 401200 kB Inactive(file): 363516 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 45128 kB Writeback: 0 kB AnonPages: 3307188 kB Mapped: 137848 kB Shmem: 18044 kB KReclaimable: 179032 kB Slab: 269304 kB SReclaimable: 179032 kB SUnreclaim: 90272 kB KernelStack: 4304 kB PageTables: 9852 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 3773612 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 696320 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432832 MiB End job on nodeC018 at 2025-07-03 04:38:56