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 | 15 | 3588.87 | 3597.36 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mds/normalized-mds_500_60_3.opb |
| MD5SUM | 473f4f01ea80639962d90e3c1fd9a037 |
| 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 | 14 |
| Best CPU time to get the best result obtained on this benchmark | 3588.18 |
| 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 | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 61 |
| Maximum length of a constraint | 111 |
| 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 | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 37460 |
| Sum of products size (including duplicates) | 74920 |
| Number of different products | 37460 |
| Sum of products size | 74920 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4459848-1721939463.opb>
0.09/0.10 c original problem has 37960 variables (500 bin, 0 int, 37460 impl, 0 cont) and 38460 constraints
0.09/0.10 c problem read in 0.10
0.20/0.22 c presolving:
0.30/0.36 c (round 1, medium) 0 del vars, 38460 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.30/0.38 c (round 2, fast) 37460 del vars, 38460 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.30/0.39 c (round 3, exhaustive) 37460 del vars, 38460 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 0 impls, 0 clqs
0.30/0.40 c (0.4s) probing: 51/500 (10.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.30/0.40 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.30/0.40 c (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.40/0.41 c (0.4s) no symmetry present (symcode time: 0.00)
0.40/0.41 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.40/0.41 c 37460 deleted vars, 38460 deleted constraints, 500 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.40/0.41 c 0 implications, 0 cliques
0.40/0.41 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.40/0.41 c 500 constraints of type <logicor>
0.40/0.41 c transformed objective value is always integral (scale: 1)
0.40/0.41 c Presolving Time: 0.21
0.40/0.41 c - non default parameters ----------------------------------------------------------------------
0.40/0.41 c # SCIP version 10.0.0
0.40/0.41 c
0.40/0.41 c # maximal time in seconds to run
0.40/0.41 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.40/0.41 c limits/time = 3596.998033
0.40/0.41 c
0.40/0.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.40/0.41 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.40/0.41 c limits/memory = 27900
0.40/0.41 c
0.40/0.41 c # belongs reading time to solving time?
0.40/0.41 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.40/0.41 c timing/reading = TRUE
0.40/0.41 c
0.40/0.41 c -----------------------------------------------------------------------------------------------
0.40/0.41 c start solving
0.40/0.41 c
0.40/0.42 o 500
0.40/0.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.40/0.42 c t 0.4s| 1 | 0 | 0 | - | trivial| 0 | 500 | 500 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.000000e+02 | Inf | unknown
0.40/0.43 o 15
0.40/0.43 c p 0.4s| 1 | 0 | 0 | - | locks| 0 | 500 | 500 | 500 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.500000e+01 | Inf | unknown
1.39/1.47 c 1.5s| 1 | 0 | 7587 | - | 156M | 0 | 500 | 500 | 500 | 0 | 0 | 0 | 0 | 6.555208e+00 | 1.500000e+01 | 128.83%| unknown
1.58/1.66 c 1.7s| 1 | 0 | 7829 | - | 170M | 0 | 500 | 500 | 501 | 1 | 1 | 0 | 0 | 6.563846e+00 | 1.500000e+01 | 128.52%| unknown
1.79/1.87 c 1.9s| 1 | 0 | 8129 | - | 181M | 0 | 500 | 500 | 502 | 2 | 2 | 0 | 0 | 6.567508e+00 | 1.500000e+01 | 128.40%| unknown
1.99/2.05 c 2.0s| 1 | 0 | 8320 | - | 196M | 0 | 500 | 500 | 503 | 3 | 3 | 0 | 0 | 6.569742e+00 | 1.500000e+01 | 128.32%| unknown
2.19/2.25 c 2.3s| 1 | 0 | 8617 | - | 200M | 0 | 500 | 500 | 504 | 4 | 4 | 0 | 0 | 6.571502e+00 | 1.500000e+01 | 128.26%| unknown
2.38/2.46 c 2.5s| 1 | 0 | 8833 | - | 210M | 0 | 500 | 500 | 505 | 5 | 5 | 0 | 0 | 6.573091e+00 | 1.500000e+01 | 128.20%| unknown
2.58/2.64 c 2.6s| 1 | 0 | 8939 | - | 223M | 0 | 500 | 500 | 506 | 6 | 6 | 0 | 0 | 6.573866e+00 | 1.500000e+01 | 128.18%| unknown
2.78/2.82 c 2.8s| 1 | 0 | 9129 | - | 237M | 0 | 500 | 500 | 507 | 7 | 7 | 0 | 0 | 6.574497e+00 | 1.500000e+01 | 128.15%| unknown
2.88/2.99 c 3.0s| 1 | 0 | 9165 | - | 248M | 0 | 500 | 500 | 508 | 8 | 8 | 0 | 0 | 6.574552e+00 | 1.500000e+01 | 128.15%| unknown
3.08/3.17 c 3.2s| 1 | 0 | 9276 | - | 258M | 0 | 500 | 500 | 509 | 9 | 9 | 0 | 0 | 6.575137e+00 | 1.500000e+01 | 128.13%| unknown
3.38/3.40 c 3.4s| 1 | 0 | 9509 | - | 278M | 0 | 500 | 500 | 510 | 10 | 10 | 0 | 0 | 6.576306e+00 | 1.500000e+01 | 128.09%| unknown
3.48/3.50 c 3.5s| 1 | 0 | 9628 | - | 278M | 0 | 500 | 500 | 511 | 11 | 11 | 0 | 0 | 6.576487e+00 | 1.500000e+01 | 128.09%| unknown
3.48/3.58 c 3.6s| 1 | 0 | 9686 | - | 278M | 0 | 500 | 500 | 512 | 12 | 12 | 0 | 0 | 6.576699e+00 | 1.500000e+01 | 128.08%| unknown
3.58/3.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.58/3.68 c 3.7s| 1 | 0 | 9808 | - | 278M | 0 | 500 | 500 | 513 | 13 | 13 | 0 | 0 | 6.577031e+00 | 1.500000e+01 | 128.07%| unknown
3.68/3.77 c 3.8s| 1 | 0 | 9822 | - | 278M | 0 | 500 | 500 | 514 | 14 | 14 | 0 | 0 | 6.577170e+00 | 1.500000e+01 | 128.06%| unknown
3.78/3.87 c 3.9s| 1 | 0 | 9972 | - | 278M | 0 | 500 | 500 | 515 | 15 | 15 | 0 | 0 | 6.578241e+00 | 1.500000e+01 | 128.02%| unknown
3.88/3.97 c 4.0s| 1 | 0 | 10012 | - | 278M | 0 | 500 | 500 | 516 | 16 | 16 | 0 | 0 | 6.578353e+00 | 1.500000e+01 | 128.02%| unknown
3.98/4.09 c 4.1s| 1 | 0 | 10131 | - | 278M | 0 | 500 | 500 | 517 | 17 | 17 | 0 | 0 | 6.578984e+00 | 1.500000e+01 | 128.00%| unknown
4.08/4.19 c 4.2s| 1 | 0 | 10205 | - | 278M | 0 | 500 | 500 | 518 | 18 | 18 | 0 | 0 | 6.579316e+00 | 1.500000e+01 | 127.99%| unknown
4.17/4.29 c 4.3s| 1 | 0 | 10211 | - | 279M | 0 | 500 | 500 | 519 | 19 | 19 | 0 | 0 | 6.579326e+00 | 1.500000e+01 | 127.99%| unknown
4.37/4.44 c 4.4s| 1 | 0 | 10444 | - | 279M | 0 | 500 | 500 | 520 | 20 | 20 | 0 | 0 | 6.581182e+00 | 1.500000e+01 | 127.92%| unknown
4.47/4.53 c 4.5s| 1 | 0 | 10487 | - | 279M | 0 | 500 | 500 | 521 | 21 | 21 | 0 | 0 | 6.581426e+00 | 1.500000e+01 | 127.91%| unknown
4.57/4.62 c 4.6s| 1 | 0 | 10502 | - | 279M | 0 | 500 | 500 | 522 | 22 | 22 | 0 | 0 | 6.581479e+00 | 1.500000e+01 | 127.91%| unknown
4.67/4.74 c 4.7s| 1 | 0 | 10523 | - | 279M | 0 | 500 | 500 | 522 | 23 | 23 | 0 | 0 | 6.581503e+00 | 1.500000e+01 | 127.91%| unknown
4.77/4.84 c 4.8s| 1 | 0 | 10543 | - | 279M | 0 | 500 | 500 | 523 | 24 | 24 | 0 | 0 | 6.581538e+00 | 1.500000e+01 | 127.91%| unknown
4.87/4.92 c 4.9s| 1 | 0 | 10555 | - | 279M | 0 | 500 | 500 | 524 | 25 | 25 | 0 | 0 | 6.581545e+00 | 1.500000e+01 | 127.91%| unknown
4.98/5.01 c 5.0s| 1 | 0 | 10569 | - | 279M | 0 | 500 | 500 | 525 | 26 | 26 | 0 | 0 | 6.581573e+00 | 1.500000e+01 | 127.91%| unknown
5.08/5.10 c 5.1s| 1 | 0 | 10600 | - | 279M | 0 | 500 | 500 | 526 | 27 | 27 | 0 | 0 | 6.581618e+00 | 1.500000e+01 | 127.91%| unknown
5.08/5.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.08/5.19 c 5.2s| 1 | 0 | 10619 | - | 279M | 0 | 500 | 500 | 527 | 28 | 28 | 0 | 0 | 6.581634e+00 | 1.500000e+01 | 127.91%| unknown
5.28/5.32 c 5.3s| 1 | 0 | 10649 | - | 279M | 0 | 500 | 500 | 523 | 29 | 29 | 0 | 0 | 6.581692e+00 | 1.500000e+01 | 127.90%| unknown
5.38/5.42 c 5.4s| 1 | 0 | 10664 | - | 279M | 0 | 500 | 500 | 524 | 30 | 30 | 0 | 0 | 6.581706e+00 | 1.500000e+01 | 127.90%| unknown
34.20/34.37 c 34.4s| 1 | 2 | 10664 | - | 279M | 0 | 500 | 500 | 524 | 30 | 30 | 0 | 20 | 6.596477e+00 | 1.500000e+01 | 127.39%| unknown
80.47/80.75 c 80.8s| 100 | 89 |133617 |1241.9 | 369M | 19 | 500 | 506 | 522 | 93 | 1 | 6 | 283 | 6.633019e+00 | 1.500000e+01 | 126.14%| unknown
109.18/109.59 c 110s| 200 | 189 |278732 |1347.1 | 369M | 31 | 500 | 510 | 522 | 100 | 1 | 10 | 328 | 6.741800e+00 | 1.500000e+01 | 122.49%| unknown
175.08/175.62 c 176s| 300 | 289 |556736 |1826.3 | 370M | 44 | 500 | 514 | 526 | 124 | 1 | 15 | 449 | 6.936552e+00 | 1.500000e+01 | 116.25%| unknown
211.97/212.65 c 213s| 400 | 389 |751599 |1857.0 | 370M | 62 | 500 | 517 | 526 | 124 | 1 | 18 | 542 | 7.079302e+00 | 1.500000e+01 | 111.89%| unknown
235.60/236.34 c 236s| 500 | 489 |884982 |1752.1 | 370M | 76 | 500 | 522 | 526 | 124 | 1 | 23 | 619 | 7.194479e+00 | 1.500000e+01 | 108.49%| unknown
253.35/254.18 c 254s| 600 | 589 |998536 |1649.2 | 370M | 86 | 500 | 525 | 516 | 148 | 1 | 26 | 662 | 7.250188e+00 | 1.500000e+01 | 106.89%| unknown
270.09/270.96 c 271s| 700 | 689 | 1112k|1575.6 | 370M | 92 | 500 | 526 | 526 | 187 | 1 | 28 | 686 | 7.333903e+00 | 1.500000e+01 | 104.53%| unknown
283.35/284.24 c 284s| 800 | 787 | 1203k|1493.3 | 370M | 95 | 500 | 531 | 522 | 208 | 1 | 33 | 706 | 7.365903e+00 | 1.500000e+01 | 103.64%| unknown
302.69/303.67 c 304s| 900 | 887 | 1305k|1440.6 | 370M | 97 | 500 | 534 | 521 | 256 | 1 | 36 | 757 | 7.380706e+00 | 1.500000e+01 | 103.23%| unknown
319.35/320.34 c 320s| 1000 | 987 | 1403k|1394.5 | 370M | 99 | 500 | 536 | 522 | 302 | 1 | 39 | 789 | 7.388792e+00 | 1.500000e+01 | 103.01%| unknown
337.19/338.24 c 338s| 1100 | 1087 | 1506k|1360.8 | 370M | 99 | 500 | 541 | 522 | 353 | 1 | 44 | 814 | 7.388792e+00 | 1.500000e+01 | 103.01%| unknown
350.95/352.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
350.95/352.00 c 352s| 1200 | 1181 | 1598k|1324.1 | 371M | 101 | 500 | 549 | 521 | 371 | 1 | 52 | 838 | 7.391177e+00 | 1.500000e+01 | 102.94%| unknown
363.51/364.62 c 365s| 1300 | 1275 | 1684k|1288.3 | 371M | 101 | 500 | 551 | 522 | 391 | 1 | 54 | 858 | 7.391177e+00 | 1.500000e+01 | 102.94%| unknown
377.27/378.43 c 378s| 1400 | 1369 | 1770k|1258.2 | 371M | 101 | 500 | 560 | 522 | 417 | 1 | 63 | 894 | 7.440133e+00 | 1.500000e+01 | 101.61%| unknown
387.84/389.10 c 389s| 1500 | 1455 | 1848k|1226.2 | 371M | 103 | 500 | 567 | 521 | 417 | 1 | 70 | 926 | 7.462065e+00 | 1.500000e+01 | 101.02%| unknown
392.32/393.55 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
392.32/393.55 c (run 1, node 1531) performing user restart
392.32/393.55 c
392.32/393.55 c (restart) converted 16 cuts from the global cut pool into linear constraints
392.32/393.55 c
393.32/394.54 c presolving:
393.32/394.55 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3 upgd conss, 0 impls, 0 clqs
393.32/394.59 c (round 2, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 6 chg coeffs, 3 upgd conss, 0 impls, 0 clqs
393.41/394.64 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
393.41/394.64 c 0 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 6 changed coefficients
393.41/394.64 c 0 implications, 0 cliques
393.41/394.64 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 585 constraints
393.41/394.64 c 3 constraints of type <knapsack>
393.41/394.64 c 13 constraints of type <linear>
393.41/394.64 c 569 constraints of type <logicor>
393.41/394.64 c transformed objective value is always integral (scale: 1)
393.41/394.64 c Presolving Time: 1.06
394.01/395.25 c transformed 92/100 original solutions to the transformed problem space
394.01/395.25 c
394.91/396.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
394.91/396.18 c 396s| 1 | 0 | 1884k| - | 373M | 0 | 500 | 585 | 516 | 0 | 0 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
395.31/396.58 c 397s| 1 | 0 | 1884k| - | 375M | 0 | 500 | 585 | 517 | 1 | 1 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
395.60/396.87 c 397s| 1 | 0 | 1885k| - | 381M | 0 | 500 | 585 | 518 | 2 | 2 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
395.92/397.19 c 397s| 1 | 0 | 1885k| - | 390M | 0 | 500 | 585 | 519 | 3 | 3 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
396.21/397.47 c 397s| 1 | 0 | 1885k| - | 395M | 0 | 500 | 585 | 520 | 4 | 4 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
396.50/397.75 c 398s| 1 | 0 | 1885k| - | 401M | 0 | 500 | 585 | 521 | 5 | 5 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
396.70/397.98 c 398s| 1 | 0 | 1886k| - | 406M | 0 | 500 | 585 | 522 | 6 | 6 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
397.01/398.21 c 398s| 1 | 0 | 1886k| - | 402M | 0 | 500 | 585 | 523 | 7 | 7 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
397.21/398.47 c 398s| 1 | 0 | 1886k| - | 398M | 0 | 500 | 585 | 524 | 8 | 8 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
397.51/398.73 c 399s| 1 | 0 | 1886k| - | 398M | 0 | 500 | 585 | 525 | 9 | 9 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
397.70/398.98 c 399s| 1 | 0 | 1886k| - | 398M | 0 | 500 | 585 | 526 | 10 | 10 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
397.91/399.16 c 399s| 1 | 0 | 1886k| - | 398M | 0 | 500 | 585 | 527 | 11 | 11 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
398.10/399.34 c 399s| 1 | 0 | 1887k| - | 398M | 0 | 500 | 585 | 517 | 12 | 12 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
398.20/399.47 c 399s| 1 | 0 | 1887k| - | 398M | 0 | 500 | 585 | 518 | 13 | 13 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
398.40/399.60 c 400s| 1 | 0 | 1887k| - | 398M | 0 | 500 | 585 | 519 | 14 | 14 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
398.50/399.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
398.50/399.79 c 400s| 1 | 0 | 1887k| - | 398M | 0 | 500 | 585 | 520 | 15 | 15 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
398.70/399.91 c 400s| 1 | 0 | 1887k| - | 398M | 0 | 500 | 585 | 521 | 16 | 16 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
398.81/400.05 c 400s| 1 | 0 | 1887k| - | 398M | 0 | 500 | 585 | 522 | 17 | 17 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
399.00/400.23 c 400s| 1 | 0 | 1887k| - | 398M | 0 | 500 | 585 | 517 | 18 | 18 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
399.10/400.36 c 400s| 1 | 0 | 1887k| - | 398M | 0 | 500 | 585 | 518 | 19 | 19 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
399.30/400.53 c 401s| 1 | 0 | 1887k| - | 398M | 0 | 500 | 585 | 519 | 20 | 20 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
399.40/400.64 c 401s| 1 | 0 | 1887k| - | 398M | 0 | 500 | 585 | 520 | 21 | 21 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
399.50/400.76 c 401s| 1 | 0 | 1887k| - | 398M | 0 | 500 | 585 | 521 | 22 | 22 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
399.60/400.87 c 401s| 1 | 0 | 1887k| - | 398M | 0 | 500 | 585 | 522 | 23 | 23 | 73 | 937 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
429.71/431.09 c 431s| 1 | 2 | 1905k| - | 398M | 0 | 500 | 585 | 522 | 23 | 24 | 73 | 953 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
483.36/484.85 c 485s| 100 | 101 | 2064k|1253.2 | 450M | 17 | 500 | 590 | 507 | 81 | 1 | 78 |1165 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
517.08/518.68 c 519s| 200 | 201 | 2194k|1255.7 | 449M | 20 | 500 | 594 | 514 | 129 | 1 | 82 |1265 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
547.41/549.03 c 549s| 300 | 301 | 2331k|1261.9 | 449M | 20 | 500 | 596 | 518 | 192 | 6 | 84 |1323 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
574.84/576.50 c 577s| 400 | 401 | 2446k|1256.2 | 449M | 22 | 500 | 599 | 507 | 236 | 1 | 88 |1384 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
598.18/599.90 c 600s| 500 | 501 | 2553k|1247.2 | 449M | 24 | 500 | 600 | 514 | 267 | 1 | 89 |1434 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
620.63/622.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
620.63/622.46 c 622s| 600 | 601 | 2674k|1245.3 | 449M | 24 | 500 | 603 | 513 | 298 | 1 | 92 |1462 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
642.28/644.17 c 644s| 700 | 701 | 2808k|1249.7 | 449M | 25 | 500 | 606 | 513 | 298 | 1 | 95 |1490 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
664.13/666.05 c 666s| 800 | 801 | 2946k|1255.3 | 448M | 27 | 500 | 608 | 513 | 298 | 1 | 97 |1512 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
695.26/697.28 c 697s| 900 | 901 | 3142k|1284.2 | 448M | 45 | 500 | 613 | 513 | 302 | 1 | 102 |1546 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
727.48/729.58 c 730s| 1000 | 1001 | 3349k|1315.2 | 448M | 49 | 500 | 621 | 513 | 332 | 1 | 110 |1583 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
757.52/759.61 c 760s| 1100 | 1101 | 3543k|1339.2 | 448M | 58 | 500 | 623 | 519 | 338 | 1 | 114 |1633 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
779.67/781.81 c 782s| 1200 | 1201 | 3695k|1345.6 | 448M | 65 | 500 | 626 | 519 | 353 | 1 | 117 |1670 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
797.43/799.65 c 800s| 1300 | 1301 | 3826k|1344.5 | 448M | 69 | 500 | 630 | 519 | 353 | 1 | 121 |1692 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
815.19/817.46 c 817s| 1400 | 1401 | 3954k|1342.2 | 448M | 76 | 500 | 631 | 519 | 353 | 1 | 122 |1716 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
829.16/831.40 c 831s| 1500 | 1501 | 4065k|1334.6 | 448M | 81 | 500 | 633 | 519 | 353 | 1 | 127 |1731 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
843.63/845.98 c 846s| 1600 | 1601 | 4173k|1326.5 | 448M | 86 | 500 | 635 | 513 | 366 | 1 | 129 |1749 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
856.40/858.75 c 859s| 1700 | 1701 | 4272k|1316.0 | 448M | 92 | 500 | 638 | 519 | 366 | 1 | 133 |1765 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
866.98/869.36 c 869s| 1800 | 1801 | 4359k|1302.6 | 449M | 95 | 500 | 644 | 513 | 366 | 1 | 139 |1776 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
877.45/879.88 c 880s| 1900 | 1901 | 4444k|1289.5 | 449M | 96 | 500 | 649 | 513 | 366 | 1 | 144 |1789 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
889.63/892.04 c 892s| 2000 | 2001 | 4534k|1278.3 | 449M | 97 | 500 | 651 | 513 | 366 | 1 | 148 |1807 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
900.40/902.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
900.40/902.80 c 903s| 2100 | 2101 | 4620k|1266.7 | 449M | 97 | 500 | 655 | 513 | 366 | 1 | 153 |1822 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
910.98/913.44 c 913s| 2200 | 2201 | 4707k|1256.1 | 449M | 97 | 500 | 656 | 519 | 366 | 1 | 154 |1834 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
922.35/924.81 c 925s| 2300 | 2299 | 4793k|1245.8 | 449M | 98 | 500 | 662 | 513 | 373 | 1 | 160 |1854 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
934.53/937.09 c 937s| 2400 | 2399 | 4891k|1239.0 | 450M | 99 | 500 | 666 | 513 | 373 | 1 | 165 |1866 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
944.71/947.21 c 947s| 2500 | 2499 | 4978k|1229.9 | 450M | 99 | 500 | 672 | 513 | 373 | 1 | 171 |1875 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
955.38/957.91 c 958s| 2600 | 2595 | 5063k|1220.7 | 450M | 101 | 500 | 674 | 513 | 373 | 1 | 174 |1887 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
965.16/967.75 c 968s| 2700 | 2693 | 5146k|1211.6 | 450M | 101 | 500 | 677 | 513 | 373 | 1 | 177 |1894 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
975.74/978.31 c 978s| 2800 | 2793 | 5232k|1203.5 | 450M | 102 | 500 | 680 | 513 | 379 | 1 | 180 |1904 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
985.92/988.50 c 988s| 2900 | 2893 | 5311k|1194.1 | 450M | 102 | 500 | 681 | 513 | 394 | 1 | 183 |1920 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
996.19/998.89 c 999s| 3000 | 2985 | 5396k|1186.5 | 450M | 103 | 500 | 681 | 513 | 402 | 1 | 183 |1933 | 7.470277e+00 | 1.500000e+01 | 100.80%| unknown
1006.07/1008.71 c 1009s| 3100 | 3081 | 5474k|1177.6 | 450M | 103 | 500 | 683 | 513 | 409 | 1 | 186 |1945 | 7.485059e+00 | 1.500000e+01 | 100.40%| unknown
1016.55/1019.22 c 1019s| 3200 | 3173 | 5557k|1170.4 | 450M | 104 | 500 | 686 | 513 | 416 | 1 | 190 |1953 | 7.489553e+00 | 1.500000e+01 | 100.28%| unknown
1027.02/1029.76 c 1030s| 3300 | 3271 | 5638k|1162.8 | 451M | 104 | 500 | 688 | 513 | 423 | 1 | 193 |1964 | 7.554795e+00 | 1.500000e+01 | 98.55%| unknown
1037.00/1039.80 c 1040s| 3400 | 3367 | 5720k|1155.9 | 451M | 104 | 500 | 689 | 519 | 423 | 1 | 195 |1977 | 7.555649e+00 | 1.500000e+01 | 98.53%| unknown
1046.58/1049.32 c 1049s| 3500 | 3461 | 5801k|1149.0 | 451M | 105 | 500 | 692 | 513 | 431 | 1 | 199 |1981 | 7.569621e+00 | 1.500000e+01 | 98.16%| unknown
1056.86/1059.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1056.86/1059.62 c 1060s| 3600 | 3555 | 5885k|1142.9 | 451M | 105 | 500 | 698 | 512 | 447 | 0 | 205 |1986 | 7.569621e+00 | 1.500000e+01 | 98.16%| unknown
1066.24/1069.05 c 1069s| 3700 | 3649 | 5964k|1136.2 | 451M | 105 | 500 | 695 | 513 | 447 | 1 | 207 |1989 | 7.570915e+00 | 1.500000e+01 | 98.13%| unknown
1076.22/1079.08 c 1079s| 3800 | 3745 | 6046k|1130.4 | 451M | 106 | 500 | 698 | 513 | 454 | 1 | 211 |1998 | 7.577142e+00 | 1.500000e+01 | 97.96%| unknown
1086.79/1089.69 c 1090s| 3900 | 3843 | 6129k|1124.8 | 452M | 106 | 500 | 701 | 513 | 467 | 1 | 215 |2005 | 7.593835e+00 | 1.500000e+01 | 97.53%| unknown
1096.77/1099.66 c 1100s| 4000 | 3933 | 6210k|1119.1 | 452M | 107 | 500 | 705 | 513 | 467 | 1 | 219 |2015 | 7.597938e+00 | 1.500000e+01 | 97.42%| unknown
1106.05/1108.98 c 1109s| 4100 | 4033 | 6286k|1112.8 | 452M | 107 | 500 | 707 | 512 | 487 | 1 | 222 |2019 | 7.617357e+00 | 1.500000e+01 | 96.92%| unknown
1116.83/1119.76 c 1120s| 4200 | 4131 | 6370k|1108.0 | 452M | 108 | 500 | 710 | 513 | 499 | 1 | 227 |2032 | 7.625911e+00 | 1.500000e+01 | 96.70%| unknown
1127.30/1130.24 c 1130s| 4300 | 4229 | 6452k|1103.1 | 453M | 108 | 500 | 715 | 513 | 505 | 1 | 233 |2044 | 7.626861e+00 | 1.500000e+01 | 96.67%| unknown
1138.78/1141.73 c 1142s| 4400 | 4327 | 6538k|1098.9 | 453M | 109 | 500 | 715 | 519 | 529 | 1 | 234 |2061 | 7.627767e+00 | 1.500000e+01 | 96.65%| unknown
1149.25/1152.27 c 1152s| 4500 | 4425 | 6620k|1094.3 | 453M | 109 | 500 | 720 | 513 | 550 | 1 | 240 |2068 | 7.631084e+00 | 1.500000e+01 | 96.56%| unknown
1159.23/1162.21 c 1162s| 4600 | 4521 | 6698k|1089.2 | 453M | 109 | 500 | 721 | 513 | 582 | 0 | 241 |2073 | 7.635855e+00 | 1.500000e+01 | 96.44%| unknown
1170.61/1173.60 c 1174s| 4700 | 4615 | 6783k|1085.3 | 453M | 109 | 500 | 725 | 513 | 617 | 1 | 246 |2083 | 7.635855e+00 | 1.500000e+01 | 96.44%| unknown
1180.78/1183.86 c 1184s| 4800 | 4713 | 6862k|1080.6 | 454M | 109 | 500 | 727 | 513 | 652 | 1 | 252 |2088 | 7.644767e+00 | 1.500000e+01 | 96.21%| unknown
1192.36/1195.44 c 1195s| 4900 | 4811 | 6952k|1077.8 | 454M | 109 | 500 | 729 | 513 | 669 | 1 | 256 |2099 | 7.646285e+00 | 1.500000e+01 | 96.17%| unknown
1202.34/1205.48 c 1205s| 5000 | 4905 | 7028k|1073.0 | 454M | 111 | 500 | 727 | 513 | 692 | 1 | 256 |2105 | 7.657205e+00 | 1.500000e+01 | 95.89%| unknown
1213.31/1216.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1213.31/1216.41 c 1216s| 5100 | 4993 | 7106k|1068.5 | 454M | 111 | 500 | 727 | 519 | 738 | 1 | 260 |2113 | 7.657205e+00 | 1.500000e+01 | 95.89%| unknown
1223.59/1226.78 c 1227s| 5200 | 5077 | 7182k|1063.9 | 454M | 112 | 500 | 728 | 512 | 782 | 1 | 262 |2119 | 7.659893e+00 | 1.500000e+01 | 95.83%| unknown
1233.57/1236.76 c 1237s| 5300 | 5157 | 7256k|1059.2 | 454M | 112 | 500 | 733 | 513 | 801 | 0 | 268 |2136 | 7.659893e+00 | 1.500000e+01 | 95.83%| unknown
1245.14/1248.34 c 1248s| 5400 | 5245 | 7338k|1055.9 | 455M | 113 | 500 | 740 | 513 | 844 | 1 | 275 |2149 | 7.673484e+00 | 1.500000e+01 | 95.48%| unknown
1254.92/1258.13 c 1258s| 5500 | 5331 | 7411k|1051.2 | 455M | 114 | 500 | 742 | 513 | 884 | 1 | 278 |2154 | 7.680509e+00 | 1.500000e+01 | 95.30%| unknown
1265.10/1268.38 c 1268s| 5600 | 5415 | 7485k|1046.8 | 455M | 114 | 500 | 745 | 513 | 933 | 1 | 282 |2164 | 7.691758e+00 | 1.500000e+01 | 95.01%| unknown
1275.78/1279.03 c 1279s| 5700 | 5505 | 7561k|1042.8 | 455M | 114 | 500 | 745 | 519 | 989 | 1 | 282 |2171 | 7.691758e+00 | 1.500000e+01 | 95.01%| unknown
1286.15/1289.43 c 1289s| 5800 | 5595 | 7637k|1038.9 | 455M | 114 | 500 | 748 | 527 |1039 | 13 | 285 |2174 | 7.691758e+00 | 1.500000e+01 | 95.01%| unknown
1297.32/1300.61 c 1301s| 5900 | 5681 | 7714k|1035.4 | 455M | 114 | 500 | 750 | 519 |1085 | 1 | 289 |2183 | 7.691758e+00 | 1.500000e+01 | 95.01%| unknown
1308.20/1311.52 c 1312s| 6000 | 5769 | 7793k|1032.1 | 455M | 114 | 500 | 750 | 513 |1140 | 1 | 289 |2185 | 7.691758e+00 | 1.500000e+01 | 95.01%| unknown
1319.78/1323.19 c 1323s| 6100 | 5853 | 7872k|1029.0 | 456M | 114 | 500 | 756 | 518 |1204 | 1 | 295 |2195 | 7.691758e+00 | 1.500000e+01 | 95.01%| unknown
1328.56/1331.94 c 1332s| 6200 | 5939 | 7939k|1024.3 | 456M | 114 | 500 | 763 | 513 |1225 | 1 | 302 |2205 | 7.693541e+00 | 1.500000e+01 | 94.97%| unknown
1339.44/1342.87 c 1343s| 6300 | 6027 | 8015k|1020.9 | 456M | 114 | 500 | 768 | 513 |1280 | 1 | 307 |2213 | 7.697224e+00 | 1.500000e+01 | 94.88%| unknown
1350.01/1353.40 c 1353s| 6400 | 6111 | 8090k|1017.5 | 456M | 115 | 500 | 769 | 513 |1330 | 1 | 308 |2218 | 7.700748e+00 | 1.500000e+01 | 94.79%| unknown
1359.89/1363.39 c 1363s| 6500 | 6195 | 8166k|1014.3 | 456M | 116 | 500 | 772 | 513 |1358 | 1 | 311 |2229 | 7.703171e+00 | 1.500000e+01 | 94.72%| unknown
1371.86/1375.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1371.86/1375.39 c 1375s| 6600 | 6289 | 8247k|1011.8 | 458M | 117 | 500 | 779 | 519 |1407 | 1 | 319 |2244 | 7.708655e+00 | 1.500000e+01 | 94.59%| unknown
1382.74/1386.26 c 1386s| 6700 | 6373 | 8324k|1008.8 | 461M | 117 | 500 | 785 | 519 |1437 | 1 | 325 |2258 | 7.715073e+00 | 1.500000e+01 | 94.42%| unknown
1395.31/1398.82 c 1399s| 6800 | 6465 | 8407k|1006.7 | 462M | 117 | 500 | 787 | 513 |1489 | 1 | 329 |2271 | 7.715073e+00 | 1.500000e+01 | 94.42%| unknown
1405.38/1408.94 c 1409s| 6900 | 6553 | 8483k|1003.8 | 462M | 117 | 500 | 790 | 513 |1529 | 1 | 332 |2277 | 7.715073e+00 | 1.500000e+01 | 94.42%| unknown
1416.76/1420.31 c 1420s| 7000 | 6643 | 8561k|1001.2 | 463M | 118 | 500 | 795 | 513 |1563 | 1 | 337 |2288 | 7.715115e+00 | 1.500000e+01 | 94.42%| unknown
1427.44/1431.08 c 1431s| 7100 | 6725 | 8637k| 998.4 | 463M | 118 | 500 | 794 | 519 |1604 | 1 | 337 |2294 | 7.717868e+00 | 1.500000e+01 | 94.35%| unknown
1439.21/1442.85 c 1443s| 7200 | 6821 | 8717k| 996.1 | 463M | 118 | 500 | 797 | 519 |1648 | 1 | 341 |2304 | 7.720250e+00 | 1.500000e+01 | 94.29%| unknown
1449.18/1452.85 c 1453s| 7300 | 6913 | 8791k| 993.1 | 464M | 118 | 500 | 800 | 519 |1685 | 0 | 344 |2306 | 7.720250e+00 | 1.500000e+01 | 94.29%| unknown
1460.96/1464.62 c 1465s| 7400 | 7005 | 8875k| 991.4 | 464M | 119 | 500 | 805 | 513 |1726 | 1 | 349 |2316 | 7.721957e+00 | 1.500000e+01 | 94.25%| unknown
1472.93/1476.68 c 1477s| 7500 | 7093 | 8958k| 989.6 | 464M | 119 | 500 | 806 | 519 |1784 | 1 | 350 |2320 | 7.722349e+00 | 1.500000e+01 | 94.24%| unknown
1484.00/1487.71 c 1488s| 7600 | 7193 | 9037k| 987.5 | 464M | 119 | 500 | 809 | 519 |1822 | 1 | 353 |2325 | 7.722349e+00 | 1.500000e+01 | 94.24%| unknown
1495.18/1498.99 c 1499s| 7700 | 7273 | 9119k| 985.6 | 465M | 119 | 500 | 811 | 521 |1865 | 1 | 355 |2334 | 7.726944e+00 | 1.500000e+01 | 94.13%| unknown
1506.85/1510.67 c 1511s| 7800 | 7359 | 9199k| 983.7 | 465M | 119 | 500 | 815 | 519 |1896 | 1 | 360 |2345 | 7.728672e+00 | 1.500000e+01 | 94.08%| unknown
1518.03/1521.86 c 1522s| 7900 | 7453 | 9280k| 981.8 | 466M | 119 | 500 | 816 | 513 |1929 | 1 | 361 |2354 | 7.728672e+00 | 1.500000e+01 | 94.08%| unknown
1528.31/1532.15 c 1532s| 8000 | 7543 | 9357k| 979.6 | 469M | 119 | 500 | 817 | 519 |1969 | 1 | 364 |2360 | 7.730574e+00 | 1.500000e+01 | 94.03%| unknown
1537.98/1541.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1537.98/1541.83 c 1542s| 8100 | 7635 | 9435k| 977.6 | 469M | 121 | 500 | 817 | 518 |1975 | 1 | 364 |2369 | 7.735499e+00 | 1.500000e+01 | 93.91%| unknown
1547.76/1551.60 c 1552s| 8200 | 7723 | 9504k| 974.5 | 469M | 121 | 500 | 819 | 519 |2011 | 1 | 366 |2372 | 7.735919e+00 | 1.500000e+01 | 93.90%| unknown
1558.83/1562.74 c 1563s| 8300 | 7809 | 9580k| 972.4 | 470M | 121 | 500 | 817 | 519 |2041 | 1 | 366 |2385 | 7.735919e+00 | 1.500000e+01 | 93.90%| unknown
1568.72/1572.64 c 1573s| 8400 | 7883 | 9646k| 969.3 | 520M | 121 | 500 | 818 | 519 |2086 | 1 | 367 |2387 | 7.735919e+00 | 1.500000e+01 | 93.90%| unknown
1577.89/1581.86 c 1582s| 8500 | 7967 | 9718k| 966.7 | 521M | 121 | 500 | 823 | 519 |2113 | 1 | 373 |2393 | 7.736154e+00 | 1.500000e+01 | 93.89%| unknown
1588.08/1592.03 c 1592s| 8600 | 8049 | 9786k| 963.9 | 522M | 121 | 500 | 823 | 519 |2146 | 1 | 374 |2400 | 7.738310e+00 | 1.500000e+01 | 93.84%| unknown
1597.35/1601.36 c 1601s| 8700 | 8137 | 9856k| 961.4 | 522M | 121 | 500 | 823 | 519 |2174 | 1 | 375 |2406 | 7.754214e+00 | 1.500000e+01 | 93.44%| unknown
1606.13/1610.19 c 1610s| 8800 | 8207 | 9921k| 958.3 | 522M | 123 | 500 | 824 | 519 |2195 | 1 | 378 |2412 | 7.756242e+00 | 1.500000e+01 | 93.39%| unknown
1615.61/1619.60 c 1620s| 8900 | 8289 | 9992k| 955.9 | 522M | 123 | 500 | 824 | 519 |2221 | 1 | 379 |2415 | 7.759127e+00 | 1.500000e+01 | 93.32%| unknown
1624.99/1629.03 c 1629s| 9000 | 8369 | 10061k| 953.4 | 522M | 123 | 500 | 824 | 519 |2242 | 1 | 379 |2417 | 7.759127e+00 | 1.500000e+01 | 93.32%| unknown
1634.17/1638.26 c 1638s| 9100 | 8447 | 10135k| 951.4 | 523M | 124 | 500 | 827 | 519 |2257 | 1 | 382 |2427 | 7.759869e+00 | 1.500000e+01 | 93.30%| unknown
1642.45/1646.53 c 1647s| 9200 | 8519 | 10196k| 948.3 | 523M | 124 | 500 | 831 | 519 |2275 | 1 | 386 |2433 | 7.764955e+00 | 1.500000e+01 | 93.18%| unknown
1654.72/1658.85 c 1659s| 9300 | 8613 | 10274k| 946.7 | 524M | 124 | 500 | 837 | 519 |2320 | 1 | 392 |2440 | 7.769631e+00 | 1.500000e+01 | 93.06%| unknown
1663.50/1667.65 c 1668s| 9400 | 8691 | 10344k| 944.5 | 530M | 125 | 500 | 840 | 519 |2331 | 1 | 395 |2446 | 7.772926e+00 | 1.500000e+01 | 92.98%| unknown
1672.48/1676.63 c 1677s| 9500 | 8765 | 10412k| 942.0 | 530M | 125 | 500 | 842 | 519 |2359 | 1 | 397 |2454 | 7.774924e+00 | 1.500000e+01 | 92.93%| unknown
1681.06/1685.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1681.06/1685.23 c 1685s| 9600 | 8845 | 10481k| 939.7 | 530M | 125 | 500 | 845 | 519 |2371 | 1 | 400 |2456 | 7.774924e+00 | 1.500000e+01 | 92.93%| unknown
1690.14/1694.31 c 1694s| 9700 | 8937 | 10551k| 937.6 | 530M | 125 | 500 | 847 | 517 |2377 | 1 | 402 |2463 | 7.774924e+00 | 1.500000e+01 | 92.93%| unknown
1699.22/1703.43 c 1703s| 9800 | 9023 | 10623k| 935.7 | 531M | 125 | 500 | 849 | 520 |2392 | 2 | 404 |2469 | 7.775405e+00 | 1.500000e+01 | 92.92%| unknown
1709.09/1713.34 c 1713s| 9900 | 9097 | 10693k| 933.6 | 531M | 126 | 500 | 852 | 520 |2416 | 1 | 407 |2480 | 7.777952e+00 | 1.500000e+01 | 92.85%| unknown
1718.27/1722.56 c 1723s| 10000 | 9181 | 10761k| 931.5 | 531M | 126 | 500 | 852 | 517 |2435 | 1 | 408 |2485 | 7.781958e+00 | 1.500000e+01 | 92.75%| unknown
1731.04/1735.33 c 1735s| 10100 | 9263 | 10835k| 929.8 | 532M | 126 | 500 | 855 | 519 |2457 | 1 | 411 |2493 | 7.781958e+00 | 1.500000e+01 | 92.75%| unknown
1738.73/1743.06 c 1743s| 10200 | 9343 | 10901k| 927.5 | 532M | 126 | 500 | 855 | 519 |2457 | 1 | 411 |2497 | 7.781958e+00 | 1.500000e+01 | 92.75%| unknown
1747.90/1752.26 c 1752s| 10300 | 9429 | 10972k| 925.7 | 532M | 126 | 500 | 861 | 520 |2472 | 1 | 417 |2507 | 7.782779e+00 | 1.500000e+01 | 92.73%| unknown
1757.38/1761.74 c 1762s| 10400 | 9509 | 11039k| 923.5 | 532M | 126 | 500 | 863 | 519 |2494 | 1 | 419 |2516 | 7.788001e+00 | 1.500000e+01 | 92.60%| unknown
1766.86/1771.21 c 1771s| 10500 | 9593 | 11110k| 921.8 | 532M | 126 | 500 | 864 | 519 |2500 | 1 | 420 |2524 | 7.788001e+00 | 1.500000e+01 | 92.60%| unknown
1776.04/1780.41 c 1780s| 10600 | 9681 | 11181k| 920.0 | 532M | 126 | 500 | 866 | 520 |2512 | 1 | 422 |2535 | 7.788001e+00 | 1.500000e+01 | 92.60%| unknown
1785.72/1790.17 c 1790s| 10700 | 9767 | 11251k| 918.2 | 532M | 126 | 500 | 867 | 519 |2546 | 1 | 423 |2540 | 7.790641e+00 | 1.500000e+01 | 92.54%| unknown
1793.70/1798.19 c 1798s| 10800 | 9845 | 11314k| 915.8 | 532M | 126 | 500 | 867 | 518 |2555 | 0 | 423 |2547 | 7.792093e+00 | 1.500000e+01 | 92.50%| unknown
1802.38/1806.84 c 1807s| 10900 | 9925 | 11380k| 913.8 | 532M | 126 | 500 | 867 | 519 |2572 | 1 | 423 |2555 | 7.793380e+00 | 1.500000e+01 | 92.47%| unknown
1811.56/1816.06 c 1816s| 11000 | 10005 | 11448k| 912.0 | 533M | 126 | 500 | 868 | 518 |2584 | 1 | 425 |2559 | 7.793380e+00 | 1.500000e+01 | 92.47%| unknown
1820.24/1824.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1820.24/1824.78 c 1825s| 11100 | 10093 | 11517k| 910.2 | 533M | 126 | 500 | 872 | 519 |2594 | 1 | 429 |2563 | 7.793380e+00 | 1.500000e+01 | 92.47%| unknown
1828.02/1832.54 c 1833s| 11200 | 10181 | 11582k| 908.1 | 533M | 126 | 500 | 874 | 520 |2594 | 1 | 431 |2570 | 7.793380e+00 | 1.500000e+01 | 92.47%| unknown
1836.40/1840.95 c 1841s| 11300 | 10261 | 11651k| 906.5 | 533M | 126 | 500 | 873 | 519 |2600 | 1 | 432 |2572 | 7.793380e+00 | 1.500000e+01 | 92.47%| unknown
1843.59/1848.15 c 1848s| 11400 | 10349 | 11715k| 904.3 | 533M | 126 | 500 | 875 | 517 |2600 | 1 | 434 |2575 | 7.797452e+00 | 1.500000e+01 | 92.37%| unknown
1852.66/1857.27 c 1857s| 11500 | 10435 | 11785k| 902.8 | 533M | 126 | 500 | 879 | 519 |2610 | 1 | 438 |2585 | 7.799433e+00 | 1.500000e+01 | 92.32%| unknown
1861.84/1866.44 c 1866s| 11600 | 10523 | 11855k| 901.3 | 534M | 128 | 500 | 881 | 519 |2622 | 1 | 440 |2594 | 7.799433e+00 | 1.500000e+01 | 92.32%| unknown
1870.13/1874.76 c 1875s| 11700 | 10605 | 11921k| 899.4 | 534M | 128 | 500 | 883 | 518 |2628 | 1 | 442 |2600 | 7.800247e+00 | 1.500000e+01 | 92.30%| unknown
1878.31/1882.99 c 1883s| 11800 | 10681 | 11989k| 897.8 | 534M | 128 | 500 | 884 | 519 |2634 | 1 | 443 |2603 | 7.800289e+00 | 1.500000e+01 | 92.30%| unknown
1887.29/1891.93 c 1892s| 11900 | 10759 | 12058k| 896.3 | 534M | 128 | 500 | 884 | 519 |2649 | 1 | 444 |2608 | 7.800528e+00 | 1.500000e+01 | 92.29%| unknown
1894.67/1899.38 c 1899s| 12000 | 10847 | 12118k| 894.1 | 534M | 128 | 500 | 885 | 518 |2662 | 5 | 445 |2612 | 7.800691e+00 | 1.500000e+01 | 92.29%| unknown
1902.55/1907.26 c 1907s| 12100 | 10931 | 12185k| 892.4 | 534M | 128 | 500 | 886 | 517 |2662 | 1 | 446 |2617 | 7.800691e+00 | 1.500000e+01 | 92.29%| unknown
1910.13/1914.88 c 1915s| 12200 | 11015 | 12250k| 890.6 | 534M | 128 | 500 | 889 | 518 |2662 | 1 | 449 |2621 | 7.800691e+00 | 1.500000e+01 | 92.29%| unknown
1919.81/1924.58 c 1925s| 12300 | 11095 | 12324k| 889.6 | 534M | 128 | 500 | 893 | 519 |2674 | 1 | 453 |2627 | 7.800733e+00 | 1.500000e+01 | 92.29%| unknown
1928.30/1933.07 c 1933s| 12400 | 11183 | 12394k| 888.2 | 534M | 129 | 500 | 898 | 519 |2683 | 1 | 458 |2633 | 7.803369e+00 | 1.500000e+01 | 92.22%| unknown
1937.38/1942.13 c 1942s| 12500 | 11267 | 12466k| 887.0 | 534M | 129 | 500 | 900 | 519 |2705 | 1 | 460 |2636 | 7.809142e+00 | 1.500000e+01 | 92.08%| unknown
1944.75/1949.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1944.75/1949.57 c 1950s| 12600 | 11345 | 12527k| 885.0 | 535M | 129 | 500 | 905 | 519 |2705 | 1 | 465 |2647 | 7.809142e+00 | 1.500000e+01 | 92.08%| unknown
1953.04/1957.87 c 1958s| 12700 | 11435 | 12596k| 883.7 | 535M | 129 | 500 | 905 | 519 |2705 | 1 | 465 |2653 | 7.809142e+00 | 1.500000e+01 | 92.08%| unknown
1960.92/1965.72 c 1966s| 12800 | 11517 | 12662k| 882.1 | 535M | 129 | 500 | 908 | 517 |2711 | 1 | 468 |2658 | 7.810304e+00 | 1.500000e+01 | 92.05%| unknown
1969.60/1974.45 c 1974s| 12900 | 11601 | 12734k| 881.0 | 535M | 129 | 500 | 908 | 519 |2719 | 1 | 468 |2663 | 7.811528e+00 | 1.500000e+01 | 92.02%| unknown
1977.29/1982.13 c 1982s| 13000 | 11691 | 12798k| 879.4 | 535M | 129 | 500 | 911 | 519 |2719 | 1 | 471 |2667 | 7.811528e+00 | 1.500000e+01 | 92.02%| unknown
1986.46/1991.32 c 1991s| 13100 | 11779 | 12872k| 878.3 | 535M | 129 | 500 | 910 | 520 |2733 | 1 | 471 |2672 | 7.812739e+00 | 1.500000e+01 | 91.99%| unknown
1995.84/2000.71 c 2001s| 13200 | 11867 | 12941k| 877.1 | 536M | 129 | 500 | 915 | 518 |2740 | 1 | 476 |2681 | 7.813180e+00 | 1.500000e+01 | 91.98%| unknown
2004.72/2009.65 c 2010s| 13300 | 11955 | 13017k| 876.3 | 536M | 129 | 500 | 916 | 517 |2746 | 1 | 478 |2687 | 7.814067e+00 | 1.500000e+01 | 91.96%| unknown
2013.10/2018.08 c 2018s| 13400 | 12045 | 13085k| 875.0 | 536M | 129 | 500 | 917 | 520 |2759 | 1 | 480 |2689 | 7.815401e+00 | 1.500000e+01 | 91.93%| unknown
2020.88/2025.87 c 2026s| 13500 | 12133 | 13150k| 873.5 | 536M | 129 | 500 | 919 | 518 |2767 | 0 | 483 |2692 | 7.820051e+00 | 1.500000e+01 | 91.81%| unknown
2029.66/2034.69 c 2035s| 13600 | 12217 | 13215k| 872.0 | 536M | 129 | 500 | 922 | 518 |2776 | 1 | 486 |2699 | 7.823408e+00 | 1.500000e+01 | 91.73%| unknown
2037.64/2042.61 c 2043s| 13700 | 12297 | 13280k| 870.6 | 536M | 129 | 500 | 924 | 519 |2793 | 1 | 488 |2702 | 7.827002e+00 | 1.500000e+01 | 91.64%| unknown
2046.52/2051.50 c 2051s| 13800 | 12385 | 13351k| 869.5 | 537M | 129 | 500 | 924 | 519 |2800 | 1 | 488 |2707 | 7.829838e+00 | 1.500000e+01 | 91.57%| unknown
2054.30/2059.36 c 2059s| 13900 | 12471 | 13417k| 868.2 | 537M | 132 | 500 | 926 | 519 |2800 | 1 | 490 |2715 | 7.829838e+00 | 1.500000e+01 | 91.57%| unknown
2063.18/2068.26 c 2068s| 14000 | 12547 | 13483k| 866.8 | 537M | 132 | 500 | 924 | 520 |2819 | 1 | 490 |2721 | 7.832892e+00 | 1.500000e+01 | 91.50%| unknown
2070.87/2075.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2070.87/2075.97 c 2076s| 14100 | 12637 | 13546k| 865.3 | 537M | 132 | 500 | 927 | 519 |2819 | 1 | 494 |2730 | 7.832892e+00 | 1.500000e+01 | 91.50%| unknown
2078.55/2083.65 c 2084s| 14200 | 12711 | 13609k| 863.8 | 537M | 132 | 500 | 928 | 519 |2825 | 1 | 495 |2739 | 7.832935e+00 | 1.500000e+01 | 91.50%| unknown
2085.64/2090.72 c 2091s| 14300 | 12791 | 13668k| 862.1 | 537M | 132 | 500 | 928 | 518 |2825 | 1 | 495 |2745 | 7.832935e+00 | 1.500000e+01 | 91.50%| unknown
2093.42/2098.54 c 2099s| 14400 | 12873 | 13732k| 860.7 | 537M | 132 | 500 | 928 | 518 |2825 | 1 | 495 |2754 | 7.832935e+00 | 1.500000e+01 | 91.50%| unknown
2102.50/2107.63 c 2108s| 14500 | 12949 | 13798k| 859.4 | 537M | 132 | 500 | 930 | 519 |2843 | 1 | 497 |2763 | 7.842355e+00 | 1.500000e+01 | 91.27%| unknown
2109.08/2114.29 c 2114s| 14600 | 13023 | 13855k| 857.6 | 537M | 132 | 500 | 931 | 519 |2843 | 1 | 498 |2765 | 7.843986e+00 | 1.500000e+01 | 91.23%| unknown
2116.66/2121.84 c 2122s| 14700 | 13113 | 13918k| 856.3 | 537M | 133 | 500 | 933 | 519 |2849 | 1 | 501 |2768 | 7.844202e+00 | 1.500000e+01 | 91.22%| unknown
2124.05/2129.21 c 2129s| 14800 | 13183 | 13977k| 854.6 | 537M | 133 | 500 | 936 | 519 |2857 | 1 | 505 |2774 | 7.846824e+00 | 1.500000e+01 | 91.16%| unknown
2132.73/2137.92 c 2138s| 14900 | 13265 | 14051k| 853.9 | 538M | 133 | 500 | 938 | 519 |2857 | 1 | 507 |2780 | 7.846824e+00 | 1.500000e+01 | 91.16%| unknown
2139.01/2144.24 c 2144s| 15000 | 13349 | 14106k| 852.1 | 538M | 133 | 500 | 939 | 519 |2857 | 1 | 509 |2784 | 7.848892e+00 | 1.500000e+01 | 91.11%| unknown
2145.60/2150.86 c 2151s| 15100 | 13421 | 14165k| 850.5 | 538M | 133 | 500 | 941 | 517 |2857 | 0 | 512 |2791 | 7.848892e+00 | 1.500000e+01 | 91.11%| unknown
2152.79/2158.07 c 2158s| 15200 | 13497 | 14226k| 849.0 | 538M | 133 | 500 | 941 | 517 |2857 | 1 | 512 |2795 | 7.849566e+00 | 1.500000e+01 | 91.09%| unknown
2160.87/2166.16 c 2166s| 15300 | 13585 | 14292k| 847.9 | 538M | 133 | 500 | 942 | 520 |2864 | 1 | 513 |2802 | 7.850148e+00 | 1.500000e+01 | 91.08%| unknown
2168.75/2174.07 c 2174s| 15400 | 13661 | 14356k| 846.7 | 538M | 133 | 500 | 943 | 518 |2870 | 1 | 514 |2806 | 7.850148e+00 | 1.500000e+01 | 91.08%| unknown
2176.83/2182.13 c 2182s| 15500 | 13747 | 14423k| 845.7 | 538M | 133 | 500 | 945 | 518 |2870 | 1 | 516 |2811 | 7.850148e+00 | 1.500000e+01 | 91.08%| unknown
2184.01/2189.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2184.01/2189.34 c 2189s| 15600 | 13823 | 14483k| 844.2 | 538M | 133 | 500 | 945 | 519 |2870 | 1 | 517 |2815 | 7.850148e+00 | 1.500000e+01 | 91.08%| unknown
2191.89/2197.23 c 2197s| 15700 | 13909 | 14548k| 843.1 | 538M | 133 | 500 | 944 | 519 |2876 | 1 | 517 |2820 | 7.851124e+00 | 1.500000e+01 | 91.06%| unknown
2198.28/2203.61 c 2204s| 15800 | 13985 | 14605k| 841.5 | 538M | 133 | 500 | 946 | 517 |2876 | 1 | 519 |2821 | 7.851124e+00 | 1.500000e+01 | 91.06%| unknown
2206.66/2212.01 c 2212s| 15900 | 14075 | 14674k| 840.7 | 538M | 133 | 500 | 948 | 518 |2876 | 1 | 522 |2829 | 7.851124e+00 | 1.500000e+01 | 91.06%| unknown
2214.54/2219.90 c 2220s| 16000 | 14157 | 14737k| 839.5 | 538M | 133 | 500 | 950 | 518 |2882 | 0 | 524 |2834 | 7.853534e+00 | 1.500000e+01 | 91.00%| unknown
2222.73/2228.10 c 2228s| 16100 | 14239 | 14804k| 838.5 | 538M | 134 | 500 | 952 | 519 |2888 | 1 | 526 |2843 | 7.856715e+00 | 1.500000e+01 | 90.92%| unknown
2230.50/2235.92 c 2236s| 16200 | 14313 | 14866k| 837.2 | 538M | 134 | 500 | 954 | 517 |2888 | 1 | 529 |2856 | 7.857295e+00 | 1.500000e+01 | 90.91%| unknown
2239.08/2244.51 c 2245s| 16300 | 14397 | 14934k| 836.4 | 538M | 134 | 500 | 958 | 518 |2895 | 1 | 533 |2870 | 7.858770e+00 | 1.500000e+01 | 90.87%| unknown
2246.27/2251.74 c 2252s| 16400 | 14481 | 14993k| 835.0 | 539M | 134 | 500 | 961 | 518 |2895 | 1 | 537 |2883 | 7.860064e+00 | 1.500000e+01 | 90.84%| unknown
2253.56/2259.09 c 2259s| 16500 | 14563 | 15055k| 833.8 | 539M | 134 | 500 | 962 | 519 |2901 | 1 | 538 |2888 | 7.860671e+00 | 1.500000e+01 | 90.82%| unknown
2261.83/2267.38 c 2267s| 16600 | 14649 | 15124k| 833.0 | 539M | 134 | 500 | 963 | 519 |2901 | 1 | 539 |2895 | 7.860671e+00 | 1.500000e+01 | 90.82%| unknown
2269.52/2275.05 c 2275s| 16700 | 14727 | 15184k| 831.7 | 539M | 134 | 500 | 963 | 517 |2907 | 1 | 539 |2900 | 7.860781e+00 | 1.500000e+01 | 90.82%| unknown
2276.40/2281.94 c 2282s| 16800 | 14805 | 15244k| 830.5 | 540M | 134 | 500 | 963 | 519 |2907 | 1 | 540 |2904 | 7.862294e+00 | 1.500000e+01 | 90.78%| unknown
2283.78/2289.35 c 2289s| 16900 | 14885 | 15304k| 829.2 | 540M | 134 | 500 | 963 | 519 |2907 | 1 | 541 |2910 | 7.862294e+00 | 1.500000e+01 | 90.78%| unknown
2290.57/2296.15 c 2296s| 17000 | 14957 | 15364k| 828.0 | 540M | 134 | 500 | 966 | 519 |2907 | 1 | 544 |2915 | 7.862294e+00 | 1.500000e+01 | 90.78%| unknown
2297.15/2302.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2297.15/2302.75 c 2303s| 17100 | 15029 | 15423k| 826.7 | 540M | 135 | 500 | 968 | 519 |2907 | 0 | 546 |2920 | 7.862294e+00 | 1.500000e+01 | 90.78%| unknown
2304.74/2310.37 c 2310s| 17200 | 15123 | 15488k| 825.8 | 540M | 135 | 500 | 970 | 518 |2907 | 1 | 548 |2925 | 7.863939e+00 | 1.500000e+01 | 90.74%| unknown
2312.02/2317.63 c 2318s| 17300 | 15205 | 15550k| 824.7 | 540M | 135 | 500 | 976 | 519 |2907 | 1 | 554 |2933 | 7.865343e+00 | 1.500000e+01 | 90.71%| unknown
2318.80/2324.44 c 2324s| 17400 | 15281 | 15609k| 823.5 | 540M | 135 | 500 | 978 | 519 |2907 | 1 | 556 |2936 | 7.867689e+00 | 1.500000e+01 | 90.65%| unknown
2325.89/2331.50 c 2331s| 17500 | 15359 | 15669k| 822.3 | 540M | 135 | 500 | 979 | 520 |2907 | 1 | 557 |2940 | 7.867689e+00 | 1.500000e+01 | 90.65%| unknown
2333.37/2339.03 c 2339s| 17600 | 15447 | 15733k| 821.3 | 542M | 135 | 500 | 981 | 519 |2914 | 1 | 559 |2943 | 7.868719e+00 | 1.500000e+01 | 90.63%| unknown
2340.85/2346.52 c 2347s| 17700 | 15533 | 15796k| 820.3 | 542M | 136 | 500 | 981 | 519 |2914 | 1 | 560 |2948 | 7.868719e+00 | 1.500000e+01 | 90.63%| unknown
2347.14/2352.89 c 2353s| 17800 | 15611 | 15851k| 818.9 | 542M | 136 | 500 | 982 | 519 |2914 | 1 | 561 |2952 | 7.868719e+00 | 1.500000e+01 | 90.63%| unknown
2354.22/2359.92 c 2360s| 17900 | 15697 | 15912k| 817.8 | 542M | 136 | 500 | 983 | 519 |2914 | 1 | 562 |2954 | 7.870736e+00 | 1.500000e+01 | 90.58%| unknown
2361.11/2366.84 c 2367s| 18000 | 15783 | 15972k| 816.7 | 543M | 136 | 500 | 989 | 519 |2914 | 1 | 568 |2960 | 7.870764e+00 | 1.500000e+01 | 90.58%| unknown
2369.19/2374.99 c 2375s| 18100 | 15879 | 16031k| 815.6 | 543M | 136 | 500 | 993 | 519 |2914 | 1 | 572 |2971 | 7.870764e+00 | 1.500000e+01 | 90.58%| unknown
2376.77/2382.50 c 2382s| 18200 | 15963 | 16094k| 814.6 | 543M | 137 | 500 | 994 | 519 |2914 | 1 | 573 |2977 | 7.870764e+00 | 1.500000e+01 | 90.58%| unknown
2383.65/2389.46 c 2389s| 18300 | 16047 | 16153k| 813.5 | 543M | 137 | 500 | 994 | 519 |2914 | 1 | 573 |2983 | 7.870764e+00 | 1.500000e+01 | 90.58%| unknown
2390.84/2396.67 c 2397s| 18400 | 16133 | 16216k| 812.6 | 543M | 137 | 500 | 994 | 518 |2914 | 1 | 573 |2986 | 7.870764e+00 | 1.500000e+01 | 90.58%| unknown
2398.62/2404.46 c 2404s| 18500 | 16213 | 16283k| 811.8 | 543M | 137 | 500 | 998 | 516 |2920 | 1 | 577 |2988 | 7.871897e+00 | 1.500000e+01 | 90.55%| unknown
2406.00/2411.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2406.00/2411.89 c 2412s| 18600 | 16297 | 16343k| 810.8 | 543M | 137 | 500 |1000 | 519 |2920 | 1 | 579 |2997 | 7.871897e+00 | 1.500000e+01 | 90.55%| unknown
2413.79/2419.66 c 2420s| 18700 | 16373 | 16407k| 809.9 | 544M | 137 | 500 |1000 | 519 |2926 | 1 | 579 |3005 | 7.878609e+00 | 1.500000e+01 | 90.39%| unknown
2420.67/2426.58 c 2427s| 18800 | 16449 | 16467k| 809.0 | 544M | 138 | 500 |1000 | 519 |2926 | 1 | 579 |3007 | 7.878609e+00 | 1.500000e+01 | 90.39%| unknown
2428.45/2434.39 c 2434s| 18900 | 16537 | 16531k| 808.1 | 544M | 138 | 500 |1001 | 519 |2926 | 1 | 580 |3015 | 7.878609e+00 | 1.500000e+01 | 90.39%| unknown
2436.24/2442.12 c 2442s| 19000 | 16629 | 16594k| 807.2 | 544M | 138 | 500 |1002 | 518 |2932 | 1 | 581 |3021 | 7.878609e+00 | 1.500000e+01 | 90.39%| unknown
2444.02/2449.95 c 2450s| 19100 | 16713 | 16659k| 806.5 | 544M | 138 | 500 |1002 | 518 |2938 | 1 | 582 |3025 | 7.878730e+00 | 1.500000e+01 | 90.39%| unknown
2450.80/2456.75 c 2457s| 19200 | 16791 | 16717k| 805.4 | 544M | 138 | 500 |1001 | 519 |2938 | 1 | 582 |3028 | 7.881332e+00 | 1.500000e+01 | 90.32%| unknown
2458.28/2464.23 c 2464s| 19300 | 16879 | 16780k| 804.6 | 545M | 138 | 500 |1002 | 519 |2944 | 1 | 583 |3032 | 7.881939e+00 | 1.500000e+01 | 90.31%| unknown
2465.87/2471.88 c 2472s| 19400 | 16963 | 16844k| 803.8 | 545M | 138 | 500 |1002 | 519 |2950 | 1 | 584 |3038 | 7.883060e+00 | 1.500000e+01 | 90.28%| unknown
2473.55/2479.50 c 2479s| 19500 | 17043 | 16911k| 803.1 | 546M | 138 | 500 |1002 | 518 |2950 | 1 | 585 |3039 | 7.883355e+00 | 1.500000e+01 | 90.27%| unknown
2480.73/2486.75 c 2487s| 19600 | 17121 | 16974k| 802.3 | 546M | 138 | 500 |1003 | 520 |2950 | 1 | 587 |3040 | 7.883355e+00 | 1.500000e+01 | 90.27%| unknown
2488.21/2494.27 c 2494s| 19700 | 17207 | 17036k| 801.4 | 546M | 138 | 500 |1004 | 517 |2950 | 1 | 588 |3046 | 7.883355e+00 | 1.500000e+01 | 90.27%| unknown
2494.60/2500.69 c 2501s| 19800 | 17297 | 17095k| 800.4 | 546M | 138 | 500 |1009 | 519 |2950 | 1 | 594 |3048 | 7.883743e+00 | 1.500000e+01 | 90.26%| unknown
2501.18/2507.23 c 2507s| 19900 | 17381 | 17156k| 799.5 | 546M | 138 | 500 |1010 | 519 |2950 | 1 | 596 |3050 | 7.883743e+00 | 1.500000e+01 | 90.26%| unknown
2509.37/2515.42 c 2515s| 20000 | 17459 | 17219k| 798.8 | 547M | 138 | 500 |1012 | 519 |2965 | 1 | 598 |3057 | 7.884270e+00 | 1.500000e+01 | 90.25%| unknown
2516.96/2523.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2516.96/2523.01 c 2523s| 20100 | 17537 | 17278k| 797.8 | 547M | 138 | 500 |1013 | 519 |2972 | 1 | 599 |3059 | 7.885760e+00 | 1.500000e+01 | 90.22%| unknown
2524.94/2531.06 c 2531s| 20200 | 17629 | 17346k| 797.3 | 547M | 138 | 500 |1013 | 518 |2972 | 1 | 600 |3064 | 7.888700e+00 | 1.500000e+01 | 90.15%| unknown
2532.12/2538.25 c 2538s| 20300 | 17713 | 17408k| 796.4 | 547M | 138 | 500 |1013 | 519 |2979 | 1 | 600 |3067 | 7.888700e+00 | 1.500000e+01 | 90.15%| unknown
2539.11/2545.24 c 2545s| 20400 | 17803 | 17469k| 795.6 | 547M | 139 | 500 |1014 | 519 |2979 | 1 | 601 |3069 | 7.888700e+00 | 1.500000e+01 | 90.15%| unknown
2546.29/2552.45 c 2552s| 20500 | 17881 | 17532k| 794.9 | 547M | 139 | 500 |1015 | 518 |2979 | 1 | 602 |3070 | 7.888700e+00 | 1.500000e+01 | 90.15%| unknown
2552.98/2559.11 c 2559s| 20600 | 17953 | 17589k| 793.8 | 547M | 139 | 500 |1018 | 519 |2979 | 0 | 605 |3079 | 7.888700e+00 | 1.500000e+01 | 90.15%| unknown
2561.35/2567.50 c 2567s| 20700 | 18043 | 17653k| 793.2 | 547M | 139 | 500 |1019 | 519 |2979 | 1 | 606 |3093 | 7.888700e+00 | 1.500000e+01 | 90.15%| unknown
2568.64/2574.83 c 2575s| 20800 | 18123 | 17716k| 792.4 | 547M | 139 | 500 |1019 | 519 |2979 | 1 | 606 |3096 | 7.889186e+00 | 1.500000e+01 | 90.13%| unknown
2577.42/2583.60 c 2584s| 20900 | 18207 | 17779k| 791.7 | 547M | 139 | 500 |1021 | 519 |2979 | 1 | 608 |3105 | 7.889186e+00 | 1.500000e+01 | 90.13%| unknown
2584.40/2590.68 c 2591s| 21000 | 18295 | 17838k| 790.8 | 547M | 139 | 500 |1024 | 519 |2979 | 1 | 611 |3113 | 7.889186e+00 | 1.500000e+01 | 90.13%| unknown
2592.08/2598.30 c 2598s| 21100 | 18385 | 17901k| 790.1 | 547M | 141 | 500 |1025 | 519 |2979 | 0 | 613 |3120 | 7.889186e+00 | 1.500000e+01 | 90.13%| unknown
2599.17/2605.41 c 2605s| 21200 | 18465 | 17960k| 789.2 | 547M | 141 | 500 |1028 | 519 |2979 | 1 | 616 |3125 | 7.889935e+00 | 1.500000e+01 | 90.12%| unknown
2605.95/2612.27 c 2612s| 21300 | 18535 | 18017k| 788.3 | 548M | 141 | 500 |1028 | 518 |2985 | 1 | 616 |3128 | 7.891148e+00 | 1.500000e+01 | 90.09%| unknown
2612.34/2618.67 c 2619s| 21400 | 18607 | 18073k| 787.3 | 548M | 141 | 500 |1029 | 517 |2985 | 0 | 617 |3132 | 7.891440e+00 | 1.500000e+01 | 90.08%| unknown
2619.22/2625.59 c 2626s| 21500 | 18683 | 18135k| 786.5 | 548M | 141 | 500 |1030 | 520 |2985 | 1 | 618 |3132 | 7.891563e+00 | 1.500000e+01 | 90.08%| unknown
2626.71/2633.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2626.71/2633.04 c 2633s| 21600 | 18763 | 18196k| 785.8 | 548M | 141 | 500 |1030 | 519 |2991 | 1 | 618 |3133 | 7.893514e+00 | 1.500000e+01 | 90.03%| unknown
2632.29/2638.69 c 2639s| 21700 | 18833 | 18246k| 784.5 | 549M | 141 | 500 |1032 | 517 |2991 | 1 | 620 |3137 | 7.893514e+00 | 1.500000e+01 | 90.03%| unknown
2639.68/2646.03 c 2646s| 21800 | 18923 | 18308k| 783.8 | 549M | 141 | 500 |1033 | 519 |2998 | 1 | 621 |3143 | 7.894042e+00 | 1.500000e+01 | 90.02%| unknown
2646.66/2653.03 c 2653s| 21900 | 18997 | 18363k| 782.8 | 549M | 141 | 500 |1038 | 519 |2998 | 1 | 626 |3156 | 7.898511e+00 | 1.500000e+01 | 89.91%| unknown
2653.75/2660.17 c 2660s| 22000 | 19085 | 18423k| 782.1 | 549M | 141 | 500 |1041 | 519 |3004 | 1 | 629 |3160 | 7.900626e+00 | 1.500000e+01 | 89.86%| unknown
2661.82/2668.26 c 2668s| 22100 | 19169 | 18488k| 781.5 | 549M | 142 | 500 |1041 | 519 |3004 | 1 | 630 |3169 | 7.900626e+00 | 1.500000e+01 | 89.86%| unknown
2668.91/2675.36 c 2675s| 22200 | 19247 | 18550k| 780.8 | 549M | 142 | 500 |1040 | 519 |3004 | 1 | 630 |3172 | 7.900751e+00 | 1.500000e+01 | 89.86%| unknown
2674.99/2681.46 c 2681s| 22300 | 19315 | 18604k| 779.8 | 549M | 142 | 500 |1041 | 519 |3004 | 1 | 631 |3176 | 7.900915e+00 | 1.500000e+01 | 89.85%| unknown
2681.08/2687.56 c 2688s| 22400 | 19399 | 18658k| 778.8 | 549M | 142 | 500 |1043 | 518 |3004 | 1 | 634 |3181 | 7.900915e+00 | 1.500000e+01 | 89.85%| unknown
2687.26/2693.78 c 2694s| 22500 | 19475 | 18713k| 777.9 | 549M | 142 | 500 |1043 | 519 |3004 | 1 | 634 |3183 | 7.900915e+00 | 1.500000e+01 | 89.85%| unknown
2693.45/2699.90 c 2700s| 22600 | 19551 | 18768k| 776.9 | 549M | 142 | 500 |1044 | 519 |3004 | 1 | 635 |3186 | 7.903027e+00 | 1.500000e+01 | 89.80%| unknown
2699.34/2705.80 c 2706s| 22700 | 19621 | 18821k| 775.9 | 549M | 142 | 500 |1044 | 517 |3004 | 1 | 635 |3187 | 7.903027e+00 | 1.500000e+01 | 89.80%| unknown
2706.22/2712.73 c 2713s| 22800 | 19699 | 18881k| 775.1 | 549M | 142 | 500 |1043 | 519 |3010 | 1 | 635 |3190 | 7.903102e+00 | 1.500000e+01 | 89.80%| unknown
2712.51/2719.04 c 2719s| 22900 | 19779 | 18933k| 774.1 | 549M | 142 | 500 |1045 | 517 |3010 | 1 | 637 |3195 | 7.903102e+00 | 1.500000e+01 | 89.80%| unknown
2719.49/2726.04 c 2726s| 23000 | 19851 | 18991k| 773.3 | 550M | 142 | 500 |1046 | 519 |3010 | 1 | 638 |3201 | 7.908288e+00 | 1.500000e+01 | 89.67%| unknown
2726.58/2733.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2726.58/2733.15 c 2733s| 23100 | 19929 | 19051k| 772.6 | 550M | 142 | 500 |1046 | 519 |3010 | 1 | 638 |3202 | 7.909899e+00 | 1.500000e+01 | 89.64%| unknown
2732.66/2739.26 c 2739s| 23200 | 20009 | 19107k| 771.8 | 550M | 142 | 500 |1046 | 519 |3010 | 1 | 639 |3205 | 7.910383e+00 | 1.500000e+01 | 89.62%| unknown
2738.65/2745.22 c 2745s| 23300 | 20085 | 19157k| 770.7 | 551M | 142 | 500 |1047 | 512 |3010 | 1 | 641 |3213 | 7.913178e+00 | 1.500000e+01 | 89.56%| unknown
2745.13/2751.76 c 2752s| 23400 | 20163 | 19212k| 769.8 | 551M | 143 | 500 |1046 | 519 |3010 | 1 | 641 |3222 | 7.913178e+00 | 1.500000e+01 | 89.56%| unknown
2752.52/2759.14 c 2759s| 23500 | 20237 | 19274k| 769.2 | 551M | 143 | 500 |1046 | 519 |3017 | 1 | 641 |3226 | 7.915298e+00 | 1.500000e+01 | 89.51%| unknown
2758.30/2764.93 c 2765s| 23600 | 20311 | 19325k| 768.2 | 551M | 143 | 500 |1046 | 516 |3017 | 0 | 641 |3229 | 7.915298e+00 | 1.500000e+01 | 89.51%| unknown
2765.89/2772.56 c 2773s| 23700 | 20397 | 19388k| 767.6 | 551M | 143 | 500 |1047 | 519 |3017 | 1 | 642 |3233 | 7.915298e+00 | 1.500000e+01 | 89.51%| unknown
2772.07/2778.72 c 2779s| 23800 | 20467 | 19443k| 766.7 | 551M | 143 | 500 |1047 | 519 |3017 | 1 | 642 |3235 | 7.915327e+00 | 1.500000e+01 | 89.51%| unknown
2778.86/2785.59 c 2786s| 23900 | 20549 | 19503k| 766.1 | 551M | 143 | 500 |1048 | 519 |3017 | 1 | 643 |3239 | 7.915327e+00 | 1.500000e+01 | 89.51%| unknown
2785.04/2791.73 c 2792s| 24000 | 20623 | 19555k| 765.1 | 551M | 143 | 500 |1048 | 517 |3023 | 1 | 643 |3241 | 7.915327e+00 | 1.500000e+01 | 89.51%| unknown
2791.43/2798.16 c 2798s| 24100 | 20699 | 19608k| 764.2 | 552M | 143 | 500 |1049 | 519 |3029 | 1 | 644 |3246 | 7.916828e+00 | 1.500000e+01 | 89.47%| unknown
2797.61/2804.38 c 2804s| 24200 | 20779 | 19663k| 763.4 | 552M | 143 | 500 |1050 | 519 |3029 | 1 | 645 |3248 | 7.916828e+00 | 1.500000e+01 | 89.47%| unknown
2804.20/2811.00 c 2811s| 24300 | 20859 | 19720k| 762.6 | 552M | 143 | 500 |1053 | 520 |3029 | 1 | 648 |3254 | 7.916975e+00 | 1.500000e+01 | 89.47%| unknown
2810.48/2817.24 c 2817s| 24400 | 20929 | 19774k| 761.8 | 552M | 143 | 500 |1053 | 519 |3035 | 1 | 648 |3257 | 7.917006e+00 | 1.500000e+01 | 89.47%| unknown
2816.28/2823.08 c 2823s| 24500 | 21001 | 19825k| 760.8 | 552M | 143 | 500 |1052 | 518 |3035 | 1 | 648 |3261 | 7.917448e+00 | 1.500000e+01 | 89.45%| unknown
2822.76/2829.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2822.76/2829.54 c 2830s| 24600 | 21083 | 19882k| 760.1 | 552M | 143 | 500 |1053 | 517 |3035 | 1 | 649 |3264 | 7.920530e+00 | 1.500000e+01 | 89.38%| unknown
2829.84/2836.60 c 2837s| 24700 | 21173 | 19945k| 759.6 | 553M | 143 | 500 |1055 | 519 |3035 | 1 | 652 |3264 | 7.923488e+00 | 1.500000e+01 | 89.31%| unknown
2835.43/2842.25 c 2842s| 24800 | 21253 | 19995k| 758.6 | 553M | 143 | 500 |1058 | 518 |3035 | 1 | 655 |3268 | 7.923488e+00 | 1.500000e+01 | 89.31%| unknown
2841.61/2848.50 c 2848s| 24900 | 21329 | 20054k| 757.9 | 553M | 143 | 500 |1059 | 519 |3035 | 1 | 656 |3269 | 7.924062e+00 | 1.500000e+01 | 89.30%| unknown
2847.50/2854.35 c 2854s| 25000 | 21401 | 20107k| 757.1 | 553M | 143 | 500 |1060 | 519 |3035 | 1 | 657 |3272 | 7.924062e+00 | 1.500000e+01 | 89.30%| unknown
2854.58/2861.48 c 2861s| 25100 | 21479 | 20166k| 756.5 | 553M | 143 | 500 |1062 | 518 |3035 | 1 | 661 |3280 | 7.924062e+00 | 1.500000e+01 | 89.30%| unknown
2860.97/2867.86 c 2868s| 25200 | 21561 | 20222k| 755.7 | 553M | 143 | 500 |1064 | 513 |3041 | 1 | 663 |3284 | 7.924062e+00 | 1.500000e+01 | 89.30%| unknown
2866.76/2873.65 c 2874s| 25300 | 21637 | 20273k| 754.8 | 553M | 143 | 500 |1065 | 519 |3041 | 0 | 664 |3285 | 7.924062e+00 | 1.500000e+01 | 89.30%| unknown
2874.04/2880.97 c 2881s| 25400 | 21727 | 20332k| 754.2 | 553M | 143 | 500 |1064 | 519 |3041 | 1 | 666 |3290 | 7.927478e+00 | 1.500000e+01 | 89.22%| unknown
2880.42/2887.37 c 2887s| 25500 | 21797 | 20390k| 753.6 | 553M | 143 | 500 |1065 | 518 |3041 | 0 | 667 |3291 | 7.927478e+00 | 1.500000e+01 | 89.22%| unknown
2886.61/2893.57 c 2894s| 25600 | 21867 | 20442k| 752.7 | 553M | 143 | 500 |1067 | 519 |3041 | 1 | 669 |3297 | 7.927478e+00 | 1.500000e+01 | 89.22%| unknown
2893.00/2899.93 c 2900s| 25700 | 21949 | 20500k| 752.1 | 553M | 143 | 500 |1067 | 519 |3041 | 1 | 669 |3298 | 7.929990e+00 | 1.500000e+01 | 89.16%| unknown
2900.18/2907.16 c 2907s| 25800 | 22023 | 20557k| 751.4 | 553M | 143 | 500 |1068 | 519 |3047 | 1 | 670 |3303 | 7.931935e+00 | 1.500000e+01 | 89.11%| unknown
2906.67/2913.69 c 2914s| 25900 | 22089 | 20612k| 750.7 | 553M | 143 | 500 |1068 | 519 |3047 | 1 | 670 |3309 | 7.933081e+00 | 1.500000e+01 | 89.08%| unknown
2912.85/2919.82 c 2920s| 26000 | 22167 | 20664k| 749.8 | 554M | 143 | 500 |1070 | 519 |3047 | 1 | 672 |3321 | 7.933102e+00 | 1.500000e+01 | 89.08%| unknown
2919.34/2926.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2919.34/2926.34 c 2926s| 26100 | 22239 | 20720k| 749.1 | 554M | 143 | 500 |1071 | 518 |3047 | 0 | 673 |3326 | 7.933179e+00 | 1.500000e+01 | 89.08%| unknown
2926.02/2933.02 c 2933s| 26200 | 22321 | 20777k| 748.5 | 554M | 143 | 500 |1072 | 518 |3047 | 1 | 674 |3331 | 7.933179e+00 | 1.500000e+01 | 89.08%| unknown
2932.01/2939.02 c 2939s| 26300 | 22399 | 20828k| 747.6 | 554M | 143 | 500 |1073 | 517 |3047 | 0 | 675 |3336 | 7.934507e+00 | 1.500000e+01 | 89.05%| unknown
2938.59/2945.66 c 2946s| 26400 | 22481 | 20885k| 747.0 | 554M | 147 | 500 |1075 | 517 |3047 | 1 | 677 |3341 | 7.934507e+00 | 1.500000e+01 | 89.05%| unknown
2944.98/2952.00 c 2952s| 26500 | 22561 | 20939k| 746.3 | 554M | 147 | 500 |1077 | 519 |3047 | 1 | 679 |3348 | 7.935045e+00 | 1.500000e+01 | 89.03%| unknown
2951.36/2958.41 c 2958s| 26600 | 22641 | 20995k| 745.6 | 554M | 147 | 500 |1078 | 519 |3047 | 1 | 680 |3351 | 7.935045e+00 | 1.500000e+01 | 89.03%| unknown
2957.15/2964.30 c 2964s| 26700 | 22717 | 21049k| 744.9 | 555M | 147 | 500 |1078 | 520 |3047 | 1 | 680 |3352 | 7.937820e+00 | 1.500000e+01 | 88.97%| unknown
2962.63/2969.74 c 2970s| 26800 | 22791 | 21097k| 743.9 | 555M | 147 | 500 |1079 | 519 |3047 | 0 | 681 |3355 | 7.937820e+00 | 1.500000e+01 | 88.97%| unknown
2968.62/2975.73 c 2976s| 26900 | 22867 | 21148k| 743.1 | 555M | 147 | 500 |1081 | 519 |3047 | 1 | 683 |3357 | 7.943484e+00 | 1.500000e+01 | 88.83%| unknown
2974.81/2981.96 c 2982s| 27000 | 22945 | 21202k| 742.4 | 555M | 147 | 500 |1081 | 519 |3047 | 1 | 683 |3360 | 7.943484e+00 | 1.500000e+01 | 88.83%| unknown
2980.69/2987.85 c 2988s| 27100 | 23027 | 21255k| 741.7 | 555M | 147 | 500 |1082 | 517 |3047 | 1 | 684 |3362 | 7.945210e+00 | 1.500000e+01 | 88.79%| unknown
2986.98/2994.19 c 2994s| 27200 | 23109 | 21311k| 741.0 | 555M | 147 | 500 |1083 | 514 |3054 | 1 | 685 |3363 | 7.946172e+00 | 1.500000e+01 | 88.77%| unknown
2992.27/2999.43 c 2999s| 27300 | 23179 | 21356k| 740.0 | 555M | 147 | 500 |1085 | 517 |3054 | 1 | 687 |3367 | 7.946172e+00 | 1.500000e+01 | 88.77%| unknown
2998.55/3005.79 c 3006s| 27400 | 23261 | 21412k| 739.4 | 555M | 147 | 500 |1087 | 519 |3054 | 0 | 689 |3371 | 7.948417e+00 | 1.500000e+01 | 88.72%| unknown
3005.04/3012.21 c 3012s| 27500 | 23337 | 21469k| 738.8 | 555M | 147 | 500 |1087 | 519 |3060 | 1 | 689 |3371 | 7.948417e+00 | 1.500000e+01 | 88.72%| unknown
3011.62/3018.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3011.62/3018.88 c 3019s| 27600 | 23421 | 21526k| 738.2 | 556M | 147 | 500 |1087 | 517 |3060 | 0 | 689 |3376 | 7.949834e+00 | 1.500000e+01 | 88.68%| unknown
3016.81/3024.01 c 3024s| 27700 | 23497 | 21572k| 737.3 | 556M | 147 | 500 |1088 | 518 |3060 | 1 | 692 |3377 | 7.950365e+00 | 1.500000e+01 | 88.67%| unknown
3023.49/3030.75 c 3031s| 27800 | 23577 | 21631k| 736.8 | 557M | 147 | 500 |1089 | 519 |3060 | 1 | 694 |3380 | 7.950741e+00 | 1.500000e+01 | 88.66%| unknown
3029.28/3036.57 c 3037s| 27900 | 23645 | 21683k| 736.1 | 557M | 147 | 500 |1089 | 519 |3060 | 1 | 694 |3384 | 7.950741e+00 | 1.500000e+01 | 88.66%| unknown
3035.07/3042.32 c 3042s| 28000 | 23717 | 21734k| 735.3 | 557M | 147 | 500 |1089 | 519 |3060 | 1 | 694 |3386 | 7.956427e+00 | 1.500000e+01 | 88.53%| unknown
3041.05/3048.33 c 3048s| 28100 | 23799 | 21786k| 734.5 | 557M | 147 | 500 |1090 | 519 |3060 | 1 | 696 |3389 | 7.956427e+00 | 1.500000e+01 | 88.53%| unknown
3047.44/3054.73 c 3055s| 28200 | 23885 | 21840k| 733.9 | 558M | 147 | 500 |1092 | 519 |3060 | 1 | 698 |3393 | 7.958039e+00 | 1.500000e+01 | 88.49%| unknown
3053.63/3060.95 c 3061s| 28300 | 23957 | 21896k| 733.3 | 558M | 147 | 500 |1092 | 520 |3060 | 1 | 699 |3393 | 7.961013e+00 | 1.500000e+01 | 88.42%| unknown
3059.61/3066.99 c 3067s| 28400 | 24033 | 21950k| 732.7 | 558M | 147 | 500 |1094 | 516 |3060 | 1 | 701 |3397 | 7.962507e+00 | 1.500000e+01 | 88.38%| unknown
3065.60/3072.99 c 3073s| 28500 | 24103 | 22004k| 732.0 | 558M | 147 | 500 |1096 | 519 |3060 | 1 | 704 |3400 | 7.962507e+00 | 1.500000e+01 | 88.38%| unknown
3072.08/3079.41 c 3079s| 28600 | 24183 | 22057k| 731.4 | 558M | 147 | 500 |1097 | 519 |3060 | 1 | 706 |3407 | 7.962507e+00 | 1.500000e+01 | 88.38%| unknown
3078.37/3085.80 c 3086s| 28700 | 24263 | 22111k| 730.7 | 558M | 147 | 500 |1095 | 517 |3066 | 2 | 708 |3411 | 7.962541e+00 | 1.500000e+01 | 88.38%| unknown
3085.05/3092.42 c 3092s| 28800 | 24343 | 22164k| 730.0 | 558M | 147 | 500 |1095 | 513 |3066 | 1 | 708 |3419 | 7.962541e+00 | 1.500000e+01 | 88.38%| unknown
3091.34/3098.75 c 3099s| 28900 | 24423 | 22220k| 729.5 | 558M | 147 | 500 |1096 | 518 |3066 | 1 | 712 |3429 | 7.963598e+00 | 1.500000e+01 | 88.36%| unknown
3097.33/3104.75 c 3105s| 29000 | 24501 | 22272k| 728.8 | 559M | 147 | 500 |1096 | 514 |3066 | 1 | 713 |3433 | 7.963598e+00 | 1.500000e+01 | 88.36%| unknown
3104.01/3111.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3104.01/3111.41 c 3111s| 29100 | 24593 | 22332k| 728.4 | 559M | 149 | 500 |1097 | 519 |3066 | 1 | 715 |3437 | 7.963598e+00 | 1.500000e+01 | 88.36%| unknown
3110.00/3117.47 c 3117s| 29200 | 24665 | 22385k| 727.8 | 559M | 149 | 500 |1097 | 519 |3066 | 1 | 715 |3442 | 7.963598e+00 | 1.500000e+01 | 88.36%| unknown
3116.48/3123.94 c 3124s| 29300 | 24741 | 22442k| 727.2 | 559M | 149 | 500 |1094 | 513 |3066 | 1 | 715 |3445 | 7.964136e+00 | 1.500000e+01 | 88.34%| unknown
3122.97/3130.45 c 3130s| 29400 | 24815 | 22499k| 726.7 | 559M | 149 | 500 |1096 | 513 |3066 | 1 | 717 |3450 | 7.966248e+00 | 1.500000e+01 | 88.29%| unknown
3129.05/3136.54 c 3137s| 29500 | 24899 | 22554k| 726.2 | 559M | 149 | 500 |1097 | 520 |3066 | 1 | 718 |3454 | 7.967563e+00 | 1.500000e+01 | 88.26%| unknown
3134.44/3141.96 c 3142s| 29600 | 24969 | 22604k| 725.4 | 559M | 149 | 500 |1097 | 519 |3066 | 0 | 718 |3457 | 7.968417e+00 | 1.500000e+01 | 88.24%| unknown
3139.93/3147.49 c 3147s| 29700 | 25035 | 22652k| 724.6 | 559M | 149 | 500 |1097 | 519 |3072 | 0 | 720 |3459 | 7.968513e+00 | 1.500000e+01 | 88.24%| unknown
3145.81/3153.38 c 3153s| 29800 | 25109 | 22703k| 724.0 | 560M | 149 | 500 |1097 | 513 |3072 | 1 | 721 |3462 | 7.969040e+00 | 1.500000e+01 | 88.23%| unknown
3152.20/3159.76 c 3160s| 29900 | 25199 | 22759k| 723.4 | 560M | 149 | 500 |1097 | 513 |3072 | 1 | 722 |3465 | 7.969040e+00 | 1.500000e+01 | 88.23%| unknown
3157.89/3165.44 c 3165s| 30000 | 25271 | 22810k| 722.8 | 560M | 149 | 500 |1096 | 513 |3072 | 1 | 723 |3466 | 7.969040e+00 | 1.500000e+01 | 88.23%| unknown
3163.97/3171.56 c 3172s| 30100 | 25349 | 22869k| 722.3 | 561M | 149 | 500 |1096 | 519 |3072 | 1 | 723 |3468 | 7.969322e+00 | 1.500000e+01 | 88.22%| unknown
3169.06/3176.62 c 3177s| 30200 | 25409 | 22916k| 721.5 | 561M | 149 | 500 |1098 | 519 |3072 | 0 | 725 |3470 | 7.969322e+00 | 1.500000e+01 | 88.22%| unknown
3175.85/3183.49 c 3183s| 30300 | 25485 | 22973k| 721.1 | 562M | 149 | 500 |1098 | 513 |3072 | 1 | 726 |3476 | 7.969322e+00 | 1.500000e+01 | 88.22%| unknown
3182.44/3190.03 c 3190s| 30400 | 25567 | 23029k| 720.6 | 562M | 149 | 500 |1100 | 519 |3072 | 1 | 728 |3479 | 7.969322e+00 | 1.500000e+01 | 88.22%| unknown
3187.92/3195.55 c 3196s| 30500 | 25639 | 23081k| 719.9 | 562M | 149 | 500 |1101 | 520 |3072 | 0 | 729 |3482 | 7.969322e+00 | 1.500000e+01 | 88.22%| unknown
3193.51/3201.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3193.51/3201.11 c 3201s| 30600 | 25707 | 23129k| 719.2 | 562M | 149 | 500 |1099 | 519 |3072 | 1 | 729 |3486 | 7.969322e+00 | 1.500000e+01 | 88.22%| unknown
3199.19/3206.88 c 3207s| 30700 | 25785 | 23181k| 718.6 | 562M | 149 | 500 |1098 | 519 |3072 | 1 | 729 |3487 | 7.969322e+00 | 1.500000e+01 | 88.22%| unknown
3205.18/3212.86 c 3213s| 30800 | 25857 | 23233k| 718.0 | 562M | 149 | 500 |1098 | 519 |3072 | 1 | 730 |3490 | 7.969433e+00 | 1.500000e+01 | 88.22%| unknown
3210.67/3218.32 c 3218s| 30900 | 25937 | 23284k| 717.3 | 562M | 149 | 500 |1099 | 520 |3072 | 1 | 733 |3491 | 7.969433e+00 | 1.500000e+01 | 88.22%| unknown
3217.65/3225.30 c 3225s| 31000 | 26015 | 23341k| 716.9 | 562M | 149 | 500 |1100 | 519 |3072 | 1 | 735 |3499 | 7.970470e+00 | 1.500000e+01 | 88.19%| unknown
3223.14/3230.81 c 3231s| 31100 | 26085 | 23391k| 716.2 | 562M | 149 | 500 |1104 | 519 |3072 | 1 | 739 |3503 | 7.970470e+00 | 1.500000e+01 | 88.19%| unknown
3228.93/3236.65 c 3237s| 31200 | 26157 | 23445k| 715.7 | 562M | 149 | 500 |1103 | 519 |3072 | 1 | 739 |3504 | 7.971106e+00 | 1.500000e+01 | 88.18%| unknown
3234.32/3242.09 c 3242s| 31300 | 26227 | 23493k| 714.9 | 562M | 149 | 500 |1105 | 519 |3072 | 1 | 742 |3507 | 7.971344e+00 | 1.500000e+01 | 88.17%| unknown
3241.30/3249.02 c 3249s| 31400 | 26307 | 23554k| 714.6 | 562M | 149 | 500 |1105 | 519 |3078 | 1 | 743 |3509 | 7.971922e+00 | 1.500000e+01 | 88.16%| unknown
3246.09/3253.88 c 3254s| 31500 | 26377 | 23599k| 713.8 | 562M | 149 | 500 |1103 | 519 |3078 | 1 | 744 |3510 | 7.971922e+00 | 1.500000e+01 | 88.16%| unknown
3252.28/3260.10 c 3260s| 31600 | 26457 | 23656k| 713.4 | 562M | 149 | 500 |1103 | 519 |3078 | 1 | 744 |3513 | 7.972987e+00 | 1.500000e+01 | 88.14%| unknown
3259.16/3266.92 c 3267s| 31700 | 26543 | 23712k| 712.9 | 563M | 149 | 500 |1101 | 514 |3085 | 1 | 744 |3518 | 7.973045e+00 | 1.500000e+01 | 88.13%| unknown
3264.84/3272.62 c 3273s| 31800 | 26621 | 23763k| 712.3 | 563M | 149 | 500 |1101 | 519 |3085 | 1 | 744 |3523 | 7.973209e+00 | 1.500000e+01 | 88.13%| unknown
3269.53/3277.34 c 3277s| 31900 | 26689 | 23807k| 711.5 | 563M | 149 | 500 |1102 | 512 |3085 | 1 | 745 |3528 | 7.973209e+00 | 1.500000e+01 | 88.13%| unknown
3276.62/3284.42 c 3284s| 32000 | 26771 | 23866k| 711.1 | 563M | 149 | 500 |1100 | 519 |3085 | 1 | 746 |3535 | 7.973209e+00 | 1.500000e+01 | 88.13%| unknown
3282.70/3290.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3282.70/3290.50 c 3291s| 32100 | 26853 | 23921k| 710.7 | 563M | 149 | 500 |1099 | 513 |3085 | 1 | 746 |3536 | 7.973209e+00 | 1.500000e+01 | 88.13%| unknown
3288.59/3296.45 c 3296s| 32200 | 26933 | 23974k| 710.1 | 563M | 149 | 500 |1097 | 513 |3085 | 1 | 746 |3538 | 7.973209e+00 | 1.500000e+01 | 88.13%| unknown
3294.28/3302.11 c 3302s| 32300 | 27005 | 24023k| 709.5 | 563M | 149 | 500 |1099 | 519 |3092 | 0 | 748 |3540 | 7.973209e+00 | 1.500000e+01 | 88.13%| unknown
3299.56/3307.46 c 3307s| 32400 | 27085 | 24069k| 708.8 | 563M | 149 | 500 |1097 | 519 |3092 | 0 | 749 |3544 | 7.973209e+00 | 1.500000e+01 | 88.13%| unknown
3306.55/3314.42 c 3314s| 32500 | 27169 | 24129k| 708.4 | 563M | 149 | 500 |1099 | 519 |3098 | 1 | 751 |3548 | 7.974690e+00 | 1.500000e+01 | 88.10%| unknown
3313.33/3321.24 c 3321s| 32600 | 27241 | 24189k| 708.1 | 563M | 149 | 500 |1100 | 519 |3098 | 1 | 753 |3550 | 7.976200e+00 | 1.500000e+01 | 88.06%| unknown
3319.12/3327.07 c 3327s| 32700 | 27311 | 24243k| 707.6 | 564M | 149 | 500 |1100 | 513 |3098 | 1 | 753 |3550 | 7.976998e+00 | 1.500000e+01 | 88.04%| unknown
3323.81/3331.76 c 3332s| 32800 | 27389 | 24286k| 706.8 | 564M | 149 | 500 |1100 | 519 |3098 | 1 | 753 |3550 | 7.976998e+00 | 1.500000e+01 | 88.04%| unknown
3330.20/3338.17 c 3338s| 32900 | 27477 | 24342k| 706.4 | 564M | 149 | 500 |1103 | 518 |3098 | 1 | 756 |3551 | 7.976998e+00 | 1.500000e+01 | 88.04%| unknown
3336.28/3344.29 c 3344s| 33000 | 27563 | 24397k| 705.9 | 564M | 149 | 500 |1101 | 519 |3104 | 1 | 757 |3552 | 7.976998e+00 | 1.500000e+01 | 88.04%| unknown
3342.36/3350.36 c 3350s| 33100 | 27639 | 24450k| 705.4 | 564M | 149 | 500 |1102 | 513 |3104 | 1 | 758 |3553 | 7.976998e+00 | 1.500000e+01 | 88.04%| unknown
3348.05/3356.05 c 3356s| 33200 | 27721 | 24503k| 704.9 | 565M | 149 | 500 |1100 | 513 |3104 | 1 | 759 |3555 | 7.978144e+00 | 1.500000e+01 | 88.01%| unknown
3352.94/3360.96 c 3361s| 33300 | 27793 | 24548k| 704.2 | 565M | 154 | 500 |1100 | 519 |3104 | 1 | 760 |3557 | 7.978562e+00 | 1.500000e+01 | 88.00%| unknown
3358.43/3366.40 c 3366s| 33400 | 27875 | 24597k| 703.6 | 565M | 154 | 500 |1099 | 517 |3104 | 1 | 760 |3560 | 7.979658e+00 | 1.500000e+01 | 87.98%| unknown
3363.22/3371.28 c 3371s| 33500 | 27937 | 24641k| 702.8 | 565M | 154 | 500 |1097 | 519 |3104 | 1 | 760 |3562 | 7.979728e+00 | 1.500000e+01 | 87.98%| unknown
3368.50/3376.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3368.50/3376.51 c 3377s| 33600 | 28015 | 24688k| 702.2 | 565M | 154 | 500 |1100 | 519 |3104 | 0 | 763 |3566 | 7.979728e+00 | 1.500000e+01 | 87.98%| unknown
3374.00/3382.01 c 3382s| 33700 | 28083 | 24739k| 701.6 | 566M | 154 | 500 |1101 | 518 |3112 | 1 | 764 |3568 | 7.980191e+00 | 1.500000e+01 | 87.97%| unknown
3379.28/3387.35 c 3387s| 33800 | 28157 | 24787k| 701.0 | 566M | 154 | 500 |1101 | 513 |3112 | 1 | 765 |3570 | 7.981482e+00 | 1.500000e+01 | 87.94%| unknown
3385.77/3393.85 c 3394s| 33900 | 28219 | 24833k| 700.3 | 566M | 154 | 500 |1100 | 519 |3112 | 1 | 765 |3571 | 7.981857e+00 | 1.500000e+01 | 87.93%| unknown
3391.26/3399.37 c 3399s| 34000 | 28287 | 24883k| 699.7 | 566M | 154 | 500 |1101 | 519 |3112 | 0 | 766 |3574 | 7.981857e+00 | 1.500000e+01 | 87.93%| unknown
3397.24/3405.36 c 3405s| 34100 | 28359 | 24935k| 699.2 | 566M | 154 | 500 |1104 | 512 |3112 | 1 | 769 |3578 | 7.982631e+00 | 1.500000e+01 | 87.91%| unknown
3403.23/3411.38 c 3411s| 34200 | 28427 | 24984k| 698.6 | 566M | 154 | 500 |1104 | 513 |3119 | 1 | 769 |3584 | 7.982631e+00 | 1.500000e+01 | 87.91%| unknown
3409.12/3417.26 c 3417s| 34300 | 28505 | 25037k| 698.2 | 566M | 154 | 500 |1106 | 519 |3119 | 1 | 771 |3588 | 7.982970e+00 | 1.500000e+01 | 87.90%| unknown
3414.70/3422.87 c 3423s| 34400 | 28569 | 25085k| 697.6 | 566M | 154 | 500 |1109 | 519 |3119 | 1 | 774 |3598 | 7.983749e+00 | 1.500000e+01 | 87.88%| unknown
3419.59/3427.72 c 3428s| 34500 | 28649 | 25126k| 696.8 | 566M | 154 | 500 |1109 | 514 |3119 | 1 | 776 |3605 | 7.983749e+00 | 1.500000e+01 | 87.88%| unknown
3425.28/3433.47 c 3433s| 34600 | 28737 | 25176k| 696.2 | 567M | 154 | 500 |1113 | 513 |3119 | 1 | 780 |3611 | 7.983749e+00 | 1.500000e+01 | 87.88%| unknown
3431.77/3439.96 c 3440s| 34700 | 28807 | 25235k| 695.9 | 567M | 154 | 500 |1117 | 519 |3119 | 1 | 784 |3616 | 7.983955e+00 | 1.500000e+01 | 87.88%| unknown
3437.75/3445.90 c 3446s| 34800 | 28877 | 25289k| 695.5 | 567M | 154 | 500 |1117 | 519 |3119 | 1 | 784 |3618 | 7.984892e+00 | 1.500000e+01 | 87.85%| unknown
3443.14/3451.32 c 3451s| 34900 | 28949 | 25339k| 695.0 | 567M | 154 | 500 |1119 | 513 |3119 | 1 | 786 |3622 | 7.986172e+00 | 1.500000e+01 | 87.82%| unknown
3449.03/3457.28 c 3457s| 35000 | 29025 | 25390k| 694.4 | 567M | 154 | 500 |1121 | 519 |3119 | 0 | 788 |3627 | 7.987866e+00 | 1.500000e+01 | 87.78%| unknown
3454.41/3462.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3454.41/3462.69 c 3463s| 35100 | 29095 | 25438k| 693.9 | 567M | 154 | 500 |1120 | 519 |3119 | 0 | 788 |3632 | 7.988033e+00 | 1.500000e+01 | 87.78%| unknown
3460.20/3468.49 c 3468s| 35200 | 29165 | 25489k| 693.4 | 567M | 154 | 500 |1120 | 519 |3119 | 1 | 788 |3635 | 7.988033e+00 | 1.500000e+01 | 87.78%| unknown
3465.69/3474.00 c 3474s| 35300 | 29229 | 25540k| 692.9 | 568M | 154 | 500 |1122 | 519 |3119 | 1 | 790 |3638 | 7.988033e+00 | 1.500000e+01 | 87.78%| unknown
3471.27/3479.57 c 3480s| 35400 | 29311 | 25589k| 692.3 | 568M | 156 | 500 |1122 | 519 |3119 | 1 | 790 |3641 | 7.988088e+00 | 1.500000e+01 | 87.78%| unknown
3476.56/3484.88 c 3485s| 35500 | 29383 | 25639k| 691.8 | 568M | 156 | 500 |1122 | 519 |3119 | 1 | 790 |3642 | 7.990197e+00 | 1.500000e+01 | 87.73%| unknown
3481.25/3489.55 c 3490s| 35600 | 29449 | 25682k| 691.1 | 568M | 156 | 500 |1123 | 513 |3119 | 1 | 791 |3643 | 7.990197e+00 | 1.500000e+01 | 87.73%| unknown
3485.94/3494.23 c 3494s| 35700 | 29525 | 25725k| 690.4 | 569M | 156 | 500 |1125 | 513 |3119 | 1 | 793 |3646 | 7.990326e+00 | 1.500000e+01 | 87.73%| unknown
3491.43/3499.71 c 3500s| 35800 | 29597 | 25774k| 689.9 | 569M | 156 | 500 |1127 | 517 |3119 | 1 | 795 |3647 | 7.990326e+00 | 1.500000e+01 | 87.73%| unknown
3497.41/3505.73 c 3506s| 35900 | 29669 | 25825k| 689.4 | 569M | 156 | 500 |1128 | 519 |3125 | 1 | 796 |3648 | 7.990326e+00 | 1.500000e+01 | 87.73%| unknown
3502.20/3510.56 c 3511s| 36000 | 29747 | 25870k| 688.8 | 569M | 156 | 500 |1129 | 519 |3125 | 1 | 797 |3650 | 7.990326e+00 | 1.500000e+01 | 87.73%| unknown
3506.39/3514.70 c 3515s| 36100 | 29813 | 25909k| 688.0 | 569M | 156 | 500 |1130 | 519 |3125 | 1 | 798 |3651 | 7.990446e+00 | 1.500000e+01 | 87.72%| unknown
3511.98/3520.36 c 3520s| 36200 | 29881 | 25961k| 687.5 | 569M | 156 | 500 |1133 | 518 |3125 | 0 | 801 |3656 | 7.990446e+00 | 1.500000e+01 | 87.72%| unknown
3518.27/3526.60 c 3527s| 36300 | 29955 | 26014k| 687.1 | 569M | 156 | 500 |1134 | 519 |3125 | 1 | 802 |3659 | 7.990446e+00 | 1.500000e+01 | 87.72%| unknown
3523.95/3532.36 c 3532s| 36400 | 30029 | 26066k| 686.6 | 570M | 156 | 500 |1136 | 513 |3133 | 1 | 804 |3661 | 7.990688e+00 | 1.500000e+01 | 87.72%| unknown
3528.94/3537.32 c 3537s| 36500 | 30093 | 26112k| 686.0 | 570M | 156 | 500 |1138 | 519 |3133 | 0 | 806 |3665 | 7.991562e+00 | 1.500000e+01 | 87.70%| unknown
3534.03/3542.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3534.03/3542.45 c 3542s| 36600 | 30171 | 26158k| 685.5 | 570M | 156 | 500 |1138 | 513 |3133 | 0 | 806 |3667 | 7.995186e+00 | 1.500000e+01 | 87.61%| unknown
3539.72/3548.14 c 3548s| 36700 | 30253 | 26207k| 684.9 | 570M | 156 | 500 |1139 | 513 |3133 | 1 | 807 |3673 | 7.996036e+00 | 1.500000e+01 | 87.59%| unknown
3545.00/3553.43 c 3553s| 36800 | 30319 | 26256k| 684.4 | 570M | 156 | 500 |1138 | 513 |3133 | 1 | 807 |3674 | 7.996036e+00 | 1.500000e+01 | 87.59%| unknown
3550.19/3558.67 c 3559s| 36900 | 30393 | 26303k| 683.9 | 570M | 156 | 500 |1139 | 513 |3133 | 1 | 808 |3676 | 7.996074e+00 | 1.500000e+01 | 87.59%| unknown
3555.68/3564.17 c 3564s| 37000 | 30457 | 26352k| 683.4 | 570M | 156 | 500 |1140 | 519 |3135 | 1 | 809 |3678 | 7.996105e+00 | 1.500000e+01 | 87.59%| unknown
3560.27/3568.73 c 3569s| 37100 | 30533 | 26396k| 682.8 | 570M | 156 | 500 |1141 | 513 |3135 | 1 | 810 |3679 | 7.996105e+00 | 1.500000e+01 | 87.59%| unknown
3565.36/3573.84 c 3574s| 37200 | 30605 | 26444k| 682.2 | 570M | 156 | 500 |1141 | 519 |3135 | 0 | 810 |3680 | 7.996105e+00 | 1.500000e+01 | 87.59%| unknown
3570.25/3578.79 c 3579s| 37300 | 30675 | 26490k| 681.6 | 570M | 156 | 500 |1141 | 519 |3135 | 1 | 810 |3681 | 7.996809e+00 | 1.500000e+01 | 87.57%| unknown
3574.64/3583.11 c 3583s| 37400 | 30743 | 26530k| 680.9 | 571M | 156 | 500 |1143 | 513 |3135 | 1 | 812 |3683 | 7.996809e+00 | 1.500000e+01 | 87.57%| unknown
3580.02/3588.59 c 3589s| 37500 | 30813 | 26581k| 680.5 | 571M | 156 | 500 |1143 | 520 |3135 | 1 | 812 |3684 | 7.997545e+00 | 1.500000e+01 | 87.56%| unknown
3585.52/3594.04 c 3594s| 37600 | 30885 | 26630k| 680.0 | 571M | 156 | 500 |1143 | 513 |3135 | 0 | 812 |3686 | 7.997545e+00 | 1.500000e+01 | 87.56%| unknown
3588.51/3597.00 c
3588.51/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.51/3597.00 c Solving Time (sec) : 3597.00
3588.51/3597.00 c Solving Nodes : 37652 (total of 39183 nodes in 2 runs)
3588.51/3597.00 c Primal Bound : +1.50000000000000e+01 (1088 solutions)
3588.51/3597.00 c Dual Bound : +7.99970423904624e+00
3588.51/3597.00 c Gap : 87.51 %
3588.51/3597.02 s SATISFIABLE
3588.51/3597.03 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
3588.51/3597.03 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459
3588.51/3597.03 v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438
3588.51/3597.03 v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417
3588.51/3597.03 v -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396
3588.51/3597.03 v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
3588.51/3597.03 v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354
3588.51/3597.03 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333
3588.51/3597.03 v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312
3588.51/3597.03 v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292
3588.51/3597.03 v -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271
3588.51/3597.03 v -x270 -x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250
3588.51/3597.03 v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
3588.51/3597.03 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208
3588.51/3597.03 v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187
3588.51/3597.03 v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166
3588.51/3597.03 v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145
3588.51/3597.03 v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124
3588.51/3597.03 v x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103
3588.51/3597.03 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
3588.51/3597.03 v -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54
3588.51/3597.03 v -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28
3588.51/3597.03 v -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
3588.51/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3588.51/3597.03 c Total Time : 3597.00
3588.51/3597.03 c solving : 3597.00
3588.51/3597.03 c presolving : 1.06 (included in solving)
3588.51/3597.03 c reading : 0.10 (included in solving)
3588.51/3597.03 c copying : 0.16 (27 #copies) (minimal 0.00, maximal 0.01, average 0.01)
3588.51/3597.03 c Original Problem :
3588.51/3597.03 c Problem name : HOME/instance-4459848-1721939463.opb
3588.51/3597.03 c Variables : 37960 (500 binary, 0 integer, 37460 implicit integer, 0 continuous)
3588.51/3597.03 c Constraints : 38460 initial, 38460 maximal
3588.51/3597.03 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.51/3597.03 c Presolved Problem :
3588.51/3597.03 c Problem name : t_HOME/instance-4459848-1721939463.opb
3588.51/3597.03 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.51/3597.03 c Constraints : 585 initial, 1145 maximal
3588.51/3597.03 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.51/3597.03 c Nonzeros : 47926 constraint, 0 clique table
3588.51/3597.03 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.51/3597.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c dualfix : 0.01 0.00 7 37460 0 0 0 0 0 0 0 0
3588.51/3597.03 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c knapsack : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c linear : 0.02 0.00 9 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c logicor : 0.09 0.01 13 0 0 0 0 0 1 0 0 6
3588.51/3597.03 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c pseudoboolean : 0.06 0.01 1 0 0 0 0 0 38460 500 0 0
3588.51/3597.03 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c root node : - - - 0 - - 0 - - - - -
3588.51/3597.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.51/3597.03 c benderslp : 0 0 0 0 36160 0 0 5909 0 0 0 0 0 0 0
3588.51/3597.03 c integral : 0 0 0 0 36160 0 0 5909 0 0 407 0 0 318 71580
3588.51/3597.03 c knapsack : 3 3 24 60344 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c linear : 13 13 24 61242 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c logicor : 569+ 1129 54 45467 0 0 0 5905 45 40 7 0 0 0 0
3588.51/3597.03 c benders : 0 0 0 0 0 0 0 1361 0 0 0 0 0 0 0
3588.51/3597.03 c fixedvar : 0 0 0 0 0 0 0 1359 0 0 0 0 0 0 0
3588.51/3597.03 c countsols : 0 0 0 0 0 0 0 1359 0 0 0 0 0 0 0
3588.51/3597.03 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.51/3597.03 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3588.51/3597.03 c integral : 322.57 0.00 0.00 0.00 322.56 0.00 0.00 0.02 0.00 0.00
3588.51/3597.03 c knapsack : 1.02 0.00 0.61 0.38 0.00 0.00 0.00 0.00 0.00 0.03
3588.51/3597.03 c linear : 0.49 0.00 0.29 0.20 0.00 0.00 0.00 0.00 0.00 0.01
3588.51/3597.03 c logicor : 1.05 0.01 0.01 0.93 0.00 0.00 0.00 0.08 0.00 0.01
3588.51/3597.03 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.51/3597.03 c fixedvar : 2.92 0.00 0.00 0.00 0.00 0.00 0.00 2.92 0.00 0.00
3588.51/3597.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.51/3597.03 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3588.51/3597.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.51/3597.03 c dualfix : 3 0 0 0
3588.51/3597.03 c genvbounds : 0 0 0 0
3588.51/3597.03 c nlobbt : 0 0 0 0
3588.51/3597.03 c obbt : 0 0 0 0
3588.51/3597.03 c probing : 0 0 0 0
3588.51/3597.03 c pseudoobj : 82361 0 0 0
3588.51/3597.03 c redcost : 37855 0 0 695638
3588.51/3597.03 c rootredcost : 2 0 0 0
3588.51/3597.03 c symmetry : 0 0 0 0
3588.51/3597.03 c vbounds : 0 0 0 0
3588.51/3597.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.51/3597.03 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
3588.51/3597.03 c genvbounds : 0.03 0.00 0.00 0.02 0.00 0.00
3588.51/3597.03 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.51/3597.03 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.51/3597.03 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
3588.51/3597.03 c pseudoobj : 0.08 0.00 0.00 0.08 0.00 0.00
3588.51/3597.03 c redcost : 2.55 0.00 0.00 2.55 0.00 0.00
3588.51/3597.03 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3588.51/3597.03 c symmetry : 0.04 0.00 0.00 0.03 0.00 0.00
3588.51/3597.03 c vbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3588.51/3597.03 c Symmetry :
3588.51/3597.03 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.51/3597.03 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.51/3597.03 c lexicographic red: 0 reductions applied, 0 cutoffs
3588.51/3597.03 c shadow tree time : 0.00 s
3588.51/3597.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.51/3597.03 c propagation : 0.00 40 0 - 0 0.0 0 0.0 - - -
3588.51/3597.03 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.51/3597.03 c bound exceed. LP : 0.82 1583 801 - 815 32.1 0 0.0 0 0.0 7639
3588.51/3597.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.51/3597.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.51/3597.03 c applied globally : 0.00 - - 0 802 31.2 - - 0 - -
3588.51/3597.03 c applied locally : - - - 0 12 91.2 - - 0 - -
3588.51/3597.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.51/3597.03 c cut pool : 21.59 - 9411 83 - - 135173 321189 - - - - - (maximal pool size: 4282)
3588.51/3597.03 c aggregation : 55.17 0.00 3560 54 0 0 483 587 0 182 182 0 0
3588.51/3597.03 c > cmir : - - - - - - - 587 0 182 182 0 -
3588.51/3597.03 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.51/3597.03 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3588.51/3597.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c gomory : 41.92 0.00 2595 20 0 0 133089 316356 0 3356 3356 0 0
3588.51/3597.03 c > gomorymi : - - - - - - - 220552 0 2732 2732 0 -
3588.51/3597.03 c > strongcg : - - - - - - - 95804 0 624 624 0 -
3588.51/3597.03 c impliedbounds : 0.05 0.00 3560 54 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c multilinear : 0.00 0.00 894 54 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c rapidlearning : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c rlt : 0.00 0.00 543 20 0 0 0 0 0 0 0 0 0
3588.51/3597.03 c zerohalf : 19.11 0.00 2615 40 0 0 1602 4246 1 20 20 0 0
3588.51/3597.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.51/3597.03 c hybrid : 1.39 0.00 3558 53 3558 0 317632 53 0 12340
3588.51/3597.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c Pricers : ExecTime SetupTime Calls Vars
3588.51/3597.03 c problem variables: 0.00 - 0 0
3588.51/3597.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.51/3597.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c relpscost : 322.53 0.00 36160 0 0 0 407 0 318 71580
3588.51/3597.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.51/3597.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.51/3597.03 c LP solutions : 0.00 - - 0 0
3588.51/3597.03 c relax solutions : 0.00 - - 0 0
3588.51/3597.03 c pseudo solutions : 0.00 - - 0 0
3588.51/3597.03 c strong branching : 0.76 - - 259 0
3588.51/3597.03 c actconsdiving : 0.00 0.00 0 0 0
3588.51/3597.03 c adaptivediving : 4.57 0.00 60 0 0
3588.51/3597.03 c alns : 3.25 0.00 6 0 0
3588.51/3597.03 c bound : 0.00 0.00 0 0 0
3588.51/3597.03 c clique : 0.00 0.00 0 0 0
3588.51/3597.03 c coefdiving : 0.00 0.00 0 0 0
3588.51/3597.03 c completesol : 0.00 0.00 0 0 0
3588.51/3597.03 c conflictdiving : 24.83 0.00 177 0 0
3588.51/3597.03 c crossover : 1.44 0.00 7 7 0
3588.51/3597.03 c dins : 0.00 0.00 0 0 0
3588.51/3597.03 c distributiondivin: 32.79 0.00 176 0 0
3588.51/3597.03 c dps : 0.00 0.00 0 0 0
3588.51/3597.03 c dualval : 0.00 0.00 0 0 0
3588.51/3597.03 c farkasdiving : 0.00 0.00 0 0 0
3588.51/3597.03 c feasjump : 0.00 0.00 0 0 0
3588.51/3597.03 c feaspump : 0.00 0.00 0 0 0
3588.51/3597.03 c fixandinfer : 0.00 0.00 0 0 0
3588.51/3597.03 c fracdiving : 19.41 0.00 176 0 0
3588.51/3597.03 c gins : 0.02 0.00 0 0 0
3588.51/3597.03 c guideddiving : 19.30 0.00 176 0 0
3588.51/3597.03 c indcoefdiving : 0.00 0.00 0 0 0
3588.51/3597.03 c indicator : 0.01 0.00 0 0 0
3588.51/3597.03 c indicatordiving : 0.00 0.00 0 0 0
3588.51/3597.03 c indoneopt : 0.01 0.00 0 0 0
3588.51/3597.03 c indrounding : 0.00 0.00 0 0 0
3588.51/3597.03 c indtwoopt : 0.00 0.00 0 0 0
3588.51/3597.03 c intdiving : 0.00 0.00 0 0 0
3588.51/3597.03 c intshifting : 0.00 0.00 0 0 0
3588.51/3597.03 c linesearchdiving : 6.62 0.00 176 0 0
3588.51/3597.03 c localbranching : 0.00 0.00 0 0 0
3588.51/3597.03 c locks : 0.01 0.00 1 1 1
3588.51/3597.03 c lpface : 0.01 0.00 0 0 0
3588.51/3597.03 c mpec : 0.00 0.00 0 0 0
3588.51/3597.03 c multistart : 0.00 0.00 0 0 0
3588.51/3597.03 c mutation : 0.00 0.00 0 0 0
3588.51/3597.03 c nlpdiving : 0.00 0.00 0 0 0
3588.51/3597.03 c objpscostdiving : 18.71 0.00 89 55 0
3588.51/3597.03 c octane : 0.00 0.00 0 0 0
3588.51/3597.03 c ofins : 0.01 0.00 0 0 0
3588.51/3597.03 c oneopt : 0.02 0.00 1 0 0
3588.51/3597.03 c padm : 0.00 0.00 0 0 0
3588.51/3597.03 c proximity : 0.00 0.00 0 0 0
3588.51/3597.03 c pscostdiving : 16.64 0.00 176 0 0
3588.51/3597.03 c randrounding : 0.24 0.00 4558 2 0
3588.51/3597.03 c rens : 48.76 0.00 2 2 0
3588.51/3597.03 c reoptsols : 0.00 0.00 0 0 0
3588.51/3597.03 c repair : 0.00 0.00 0 0 0
3588.51/3597.03 c rins : 12.46 0.00 12 9 0
3588.51/3597.03 c rootsoldiving : 2.12 0.00 89 0 0
3588.51/3597.03 c rounding : 0.13 0.00 2755 0 0
3588.51/3597.03 c scheduler : 0.00 0.00 0 0 0
3588.51/3597.03 c shiftandpropagate: 0.00 0.00 0 0 0
3588.51/3597.03 c shifting : 0.13 0.00 1141 0 0
3588.51/3597.03 c simplerounding : 0.63 0.00 39718 63 0
3588.51/3597.03 c smallcard : 0.00 0.00 0 0 0
3588.51/3597.03 c subnlp : 0.02 0.00 0 0 0
3588.51/3597.03 c trivial : 0.01 0.00 4 1 1
3588.51/3597.03 c trivialnegation : 0.00 0.00 0 0 0
3588.51/3597.03 c trustregion : 0.00 0.00 0 0 0
3588.51/3597.03 c trysol : 0.01 0.00 0 0 0
3588.51/3597.03 c twoopt : 0.00 0.00 0 0 0
3588.51/3597.03 c undercover : 0.00 0.00 0 0 0
3588.51/3597.03 c vbounds : 0.00 0.00 0 0 0
3588.51/3597.03 c veclendiving : 4.18 0.00 176 0 0
3588.51/3597.03 c zeroobj : 0.00 0.00 0 0 0
3588.51/3597.03 c zirounding : 7.21 0.00 34451 689 0
3588.51/3597.03 c other solutions : - - - 0 -
3588.51/3597.03 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.51/3597.03 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.51/3597.03 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.51/3597.03 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.51/3597.03 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.51/3597.03 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.51/3597.03 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.51/3597.03 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.51/3597.03 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.51/3597.03 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3588.51/3597.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.51/3597.03 c primal LP : 1.80 209 0 0.00 0.00 1.80 209
3588.51/3597.03 c dual LP : 2885.93 49963 25273759 586.25 8757.57 2.86 6852
3588.51/3597.03 c lex dual LP : 0.00 0 0 0.00 -
3588.51/3597.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.51/3597.03 c resolve instable : 0.00 0 0 0.00 -
3588.51/3597.03 c diving/probing LP: 157.01 9432 1381869 146.51 8801.08
3588.51/3597.03 c strong branching : 296.48 3692 2099618 568.69 7081.75 - - 2565
3588.51/3597.03 c (at root node) : - 36 30288 841.33 -
3588.51/3597.03 c conflict analysis: 0.59 768 7639 9.95 12860.94
3588.51/3597.03 c B&B Tree :
3588.51/3597.03 c number of runs : 2
3588.51/3597.03 c nodes : 37652 (34284 internal, 3368 leaves)
3588.51/3597.03 c feasible leaves : 0
3588.51/3597.03 c infeas. leaves : 0
3588.51/3597.03 c objective leaves : 3367
3588.51/3597.03 c nodes (total) : 39183 (35790 internal, 3393 leaves)
3588.51/3597.03 c nodes left : 30918
3588.51/3597.03 c max depth : 156
3588.51/3597.03 c max depth (total): 156
3588.51/3597.03 c backtracks : 2730 (7.3%)
3588.51/3597.03 c early backtracks : 0 (0.0%)
3588.51/3597.03 c nodes exc. ref. : 0 (0.0%)
3588.51/3597.03 c delayed cutoffs : 0
3588.51/3597.03 c repropagations : 15 (7 domain reductions, 0 cutoffs)
3588.51/3597.03 c avg switch length: 6.51
3588.51/3597.03 c switching time : 4.10
3588.51/3597.03 c Root Node :
3588.51/3597.03 c First LP value : +6.55520830100807e+00
3588.51/3597.03 c First LP Iters : 7587 (7318.87 Iter/sec)
3588.51/3597.03 c First LP Time : 1.04
3588.51/3597.03 c Final Dual Bound : +7.47027707828102e+00
3588.51/3597.03 c Final Root Iters : 21884
3588.51/3597.03 c Root LP Estimate : +7.40410038150555e+00
3588.51/3597.03 c Solution :
3588.51/3597.03 c Solutions found : 1088 (2 improvements)
3588.51/3597.03 c First Solution : +5.00000000000000e+02 (in run 1, after 1 nodes, 0.41 seconds, depth 0, found by <trivial>)
3588.51/3597.03 c Gap First Sol. : infinite
3588.51/3597.03 c Gap Last Sol. : infinite
3588.51/3597.03 c Primal Bound : +1.50000000000000e+01 (in run 1, after 1 nodes, 0.43 seconds, depth 2, found by <locks>)
3588.51/3597.03 c Dual Bound : +7.99970423904624e+00
3588.51/3597.03 c Gap : 87.51 %
3588.51/3597.03 c Integrals : Total Avg%
3588.51/3597.03 c primal-dual : 175392.57 48.76
3588.51/3597.03 c primal-ref : - - (not evaluated)
3588.51/3597.03 c dual-ref : - - (not evaluated)
3588.80/3597.35 c Time complete: 3588.86.
OK 15
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: 63968 MiB (62258 MiB free)
memory of node 1: 64473 MiB (63091 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459848-1721939463/watcher-4459848-1721939463 -o /tmp/evaluation-result-4459848-1721939463/solver-4459848-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721939462-306250 --watchdog 3760 pbscip -f HOME/instance-4459848-1721939463.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=306295, runsolver pid=306292
[startup+0.100095 s]*
/proc/loadavg: 0.17 0.11 0.19 4/254 306296
/proc/meminfo: memFree=128282316/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=114384 memory=72908 CPUtime=0.09 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 15171 0 0 0 8 1 0 0 20 0 1 0 30469135 117129216 18227 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 28596 18227 3346 3540 0 16853 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 114384 KiB
Current children cumulated memory: 72908 KiB
[startup+0.205619 s]*
/proc/loadavg: 0.17 0.11 0.19 4/254 306296
/proc/meminfo: memFree=128210016/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=178568 memory=140312 CPUtime=0.2 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 32232 0 0 0 17 3 0 0 20 0 1 0 30469135 182853632 35078 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 44642 35078 3665 3540 0 32899 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 178568 KiB
Current children cumulated memory: 140312 KiB
[startup+0.305529 s]*
/proc/loadavg: 0.17 0.11 0.19 5/255 306301
/proc/meminfo: memFree=128160272/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=209980 memory=166832 CPUtime=0.3 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 38918 0 0 0 26 4 0 0 20 0 1 0 30469135 215019520 41708 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 52495 41708 3665 3540 0 40752 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 209980 KiB
Current children cumulated memory: 166832 KiB
[startup+0.700215 s]
/proc/loadavg: 0.17 0.11 0.19 5/260 306311
/proc/meminfo: memFree=128129392/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=218632 memory=175600 CPUtime=0.68 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 41096 0 0 0 64 4 0 0 20 0 1 0 30469135 223879168 43900 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 54658 43900 3905 3540 0 42915 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 218632 KiB
Current children cumulated memory: 175600 KiB
[startup+1.50023 s]
/proc/loadavg: 0.17 0.11 0.19 5/260 306311
/proc/meminfo: memFree=128095672/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=220544 memory=177032 CPUtime=1.49 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 41866 0 0 0 144 5 0 0 20 0 1 0 30469135 225837056 44258 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 55136 44258 3921 3540 0 43393 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 220544 KiB
Current children cumulated memory: 177032 KiB
[startup+3.10542 s]
/proc/loadavg: 0.17 0.11 0.19 5/260 306357
/proc/meminfo: memFree=127797244/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=319952 memory=275320 CPUtime=3.08 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 67182 0 0 0 299 9 0 0 20 0 1 0 30469135 327630848 68830 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 79988 68830 3921 3540 0 68245 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 319952 KiB
Current children cumulated memory: 275320 KiB
[startup+6.30015 s]
/proc/loadavg: 0.48 0.17 0.21 5/260 306359
/proc/meminfo: memFree=127735504/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=357952 memory=312088 CPUtime=6.27 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 76280 0 0 0 616 11 0 0 20 0 1 0 30469135 366542848 78022 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 89488 78022 4016 3540 0 77745 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 357952 KiB
Current children cumulated memory: 312088 KiB
[startup+12.7002 s]
/proc/loadavg: 0.76 0.23 0.23 5/260 306359
/proc/meminfo: memFree=127729384/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=358988 memory=313144 CPUtime=12.66 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 76572 0 0 0 1253 13 0 0 20 0 1 0 30469135 367603712 78286 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 89747 78286 4016 3540 0 78004 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 358988 KiB
Current children cumulated memory: 313144 KiB
[startup+25.5002 s]
/proc/loadavg: 1.48 0.42 0.29 5/260 306362
/proc/meminfo: memFree=127175668/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=359268 memory=313468 CPUtime=25.43 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 76587 0 0 0 2528 15 0 0 20 0 1 0 30469135 367890432 78367 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 89817 78367 4032 3540 0 78074 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 359268 KiB
Current children cumulated memory: 313468 KiB
[startup+51.1054 s]
/proc/loadavg: 2.40 0.72 0.39 5/260 306365
/proc/meminfo: memFree=127133544/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=359268 memory=313720 CPUtime=50.97 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 76735 0 0 0 5079 18 0 0 20 0 1 0 30469135 367890432 78430 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 89817 78430 4048 3540 0 78074 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 359268 KiB
Current children cumulated memory: 313720 KiB
[startup+102.3 s]
/proc/loadavg: 3.36 1.25 0.59 5/260 306375
/proc/meminfo: memFree=126984928/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=445820 memory=400880 CPUtime=102 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 98612 0 0 0 10177 23 0 0 20 0 1 0 30469135 456519680 100220 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 111455 100220 4048 3540 0 99712 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 445820 KiB
Current children cumulated memory: 400880 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 1.78 0.82 5/260 306386
/proc/meminfo: memFree=126871596/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=446892 memory=401808 CPUtime=161.82 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 98861 0 0 0 16158 24 0 0 20 0 1 0 30469135 457617408 100452 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 111723 100452 4048 3540 0 99980 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 446892 KiB
Current children cumulated memory: 401808 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.22 1.03 5/258 306396
/proc/meminfo: memFree=126739488/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=446892 memory=401808 CPUtime=221.64 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 98864 0 0 0 22139 25 0 0 20 0 1 0 30469135 457617408 100452 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 111723 100452 4048 3540 0 99980 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 446892 KiB
Current children cumulated memory: 401808 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.57 1.23 5/258 306406
/proc/meminfo: memFree=125828372/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=446892 memory=401808 CPUtime=281.46 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 98879 0 0 0 28121 25 0 0 20 0 1 0 30469135 457617408 100452 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 111723 100452 4048 3540 0 99980 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 446892 KiB
Current children cumulated memory: 401808 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 2.87 1.42 5/255 306416
/proc/meminfo: memFree=124642248/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=446892 memory=401808 CPUtime=341.28 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 98886 0 0 0 34102 26 0 0 20 0 1 0 30469135 457617408 100452 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 111723 100452 4048 3540 0 99980 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 446892 KiB
Current children cumulated memory: 401808 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 3.07 1.58 5/255 306427
/proc/meminfo: memFree=124357544/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=484604 memory=439956 CPUtime=401.09 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 108899 0 0 0 40081 28 0 0 20 0 1 0 30469135 496234496 109989 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 121151 109989 4048 3540 0 109408 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 484604 KiB
Current children cumulated memory: 439956 KiB
[startup+462.3 s]
/proc/loadavg: 4.02 3.26 1.74 4/248 306469
/proc/meminfo: memFree=124415868/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=496784 memory=452128 CPUtime=460.92 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 111920 0 0 0 46063 29 0 0 20 0 1 0 30469135 508706816 113032 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 124196 113032 4048 3540 0 112453 0
################
# More data... #
################
/proc/loadavg: 3.11 3.11 3.06 4/251 307540
/proc/meminfo: memFree=122694788/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=619800 memory=579516 CPUtime=3214.66 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 149568 0 0 0 321432 34 0 0 20 0 1 0 30469135 634675200 144879 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 154950 144879 4048 3540 0 143207 0
Current children cumulated CPU time: 3214.66 s
Current children cumulated vsize: 619800 KiB
Current children cumulated memory: 579516 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.11 3.06 4/251 307932
/proc/meminfo: memFree=122691412/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=620132 memory=579956 CPUtime=3274.52 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 149853 0 0 0 327418 34 0 0 20 0 1 0 30469135 635015168 144989 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 155033 144989 4048 3540 0 143290 0
Current children cumulated CPU time: 3274.52 s
Current children cumulated vsize: 620132 KiB
Current children cumulated memory: 579956 KiB
[startup+3342.3 s]
/proc/loadavg: 3.07 3.10 3.06 4/250 307943
/proc/meminfo: memFree=122689508/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=621504 memory=581244 CPUtime=3334.38 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 150354 0 0 0 333404 34 0 0 20 0 1 0 30469135 636420096 145311 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 155376 145311 4048 3540 0 143633 0
Current children cumulated CPU time: 3334.38 s
Current children cumulated vsize: 621504 KiB
Current children cumulated memory: 581244 KiB
[startup+3402.3 s]
/proc/loadavg: 3.12 3.11 3.07 4/250 307954
/proc/meminfo: memFree=122669344/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=635968 memory=595068 CPUtime=3394.25 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 154005 0 0 0 339390 35 0 0 20 0 1 0 30469135 651231232 148767 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 158992 148767 4048 3540 0 147249 0
Current children cumulated CPU time: 3394.25 s
Current children cumulated vsize: 635968 KiB
Current children cumulated memory: 595068 KiB
[startup+3462.3 s]
/proc/loadavg: 3.04 3.09 3.06 4/252 308134
/proc/meminfo: memFree=122667624/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=635968 memory=595760 CPUtime=3454.11 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 154333 0 0 0 345376 35 0 0 20 0 1 0 30469135 651231232 148940 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 158992 148940 4048 3540 0 147249 0
Current children cumulated CPU time: 3454.11 s
Current children cumulated vsize: 635968 KiB
Current children cumulated memory: 595760 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.10 3.07 4/252 308144
/proc/meminfo: memFree=122667948/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=635968 memory=595772 CPUtime=3513.98 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 154526 0 0 0 351363 35 0 0 20 0 1 0 30469135 651231232 148943 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 158992 148943 4048 3540 0 147249 0
Current children cumulated CPU time: 3513.98 s
Current children cumulated vsize: 635968 KiB
Current children cumulated memory: 595772 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.09 3.07 4/253 308212
/proc/meminfo: memFree=122666432/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=635968 memory=595796 CPUtime=3573.84 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 154690 0 0 0 357349 35 0 0 20 0 1 0 30469135 651231232 148949 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 158992 148949 4048 3540 0 147249 0
Current children cumulated CPU time: 3573.84 s
Current children cumulated vsize: 635968 KiB
Current children cumulated memory: 595796 KiB
[startup+3597.36 s]
# the end of solver process 306295 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.5 s, system=0.368951 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.10 3.09 3.07 4/253 308213
/proc/meminfo: memFree=122666336/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=635968 memory=595796 CPUtime=3575.54 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 154692 0 0 0 357519 35 0 0 20 0 1 0 30469135 651231232 148949 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 158992 148949 4048 3540 0 147249 0
Current children cumulated CPU time: 3575.54 s
Current children cumulated vsize: 635968 KiB
Current children cumulated memory: 595796 KiB
[startup+3590.4 s]
/proc/loadavg: 3.09 3.09 3.07 4/253 308213
/proc/meminfo: memFree=122666388/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=635968 memory=595796 CPUtime=3581.92 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 154695 0 0 0 358157 35 0 0 20 0 1 0 30469135 651231232 148949 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 158992 148949 4048 3540 0 147249 0
Current children cumulated CPU time: 3581.92 s
Current children cumulated vsize: 635968 KiB
Current children cumulated memory: 595796 KiB
[startup+3593.6 s]
/proc/loadavg: 3.08 3.09 3.07 4/253 308213
/proc/meminfo: memFree=122666384/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=635968 memory=595796 CPUtime=3585.11 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 154698 0 0 0 358476 35 0 0 20 0 1 0 30469135 651231232 148949 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 158992 148949 4048 3540 0 147249 0
Current children cumulated CPU time: 3585.11 s
Current children cumulated vsize: 635968 KiB
Current children cumulated memory: 595796 KiB
[startup+3595.2 s]
/proc/loadavg: 3.08 3.09 3.07 4/253 308215
/proc/meminfo: memFree=122666344/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=635968 memory=595796 CPUtime=3586.71 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 154698 0 0 0 358636 35 0 0 20 0 1 0 30469135 651231232 148949 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 158992 148949 4048 3540 0 147249 0
Current children cumulated CPU time: 3586.71 s
Current children cumulated vsize: 635968 KiB
Current children cumulated memory: 595796 KiB
[startup+3596 s]*
/proc/loadavg: 3.08 3.09 3.07 4/252 308215
/proc/meminfo: memFree=122666028/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=635968 memory=595796 CPUtime=3587.51 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 154698 0 0 0 358716 35 0 0 20 0 1 0 30469135 651231232 148949 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 158992 148949 4048 3540 0 147249 0
Current children cumulated CPU time: 3587.51 s
Current children cumulated vsize: 635968 KiB
Current children cumulated memory: 595796 KiB
[startup+3596.8 s]
/proc/loadavg: 3.08 3.09 3.07 4/252 308215
/proc/meminfo: memFree=122666028/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=635968 memory=595796 CPUtime=3588.3 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 154698 0 0 0 358795 35 0 0 20 0 1 0 30469135 651231232 148949 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 158992 148949 4048 3540 0 147249 0
Current children cumulated CPU time: 3588.3 s
Current children cumulated vsize: 635968 KiB
Current children cumulated memory: 595796 KiB
[startup+3597.2 s]
/proc/loadavg: 3.08 3.09 3.07 3/250 308215
/proc/meminfo: memFree=123907432/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=635968 memory=595804 CPUtime=3588.7 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 154733 0 0 0 358835 35 0 0 20 0 1 0 30469135 651231232 148951 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 158992 148951 4048 3540 0 147249 0
Current children cumulated CPU time: 3588.7 s
Current children cumulated vsize: 635968 KiB
Current children cumulated memory: 595804 KiB
[startup+3597.3 s]
/proc/loadavg: 3.08 3.09 3.07 3/250 308215
/proc/meminfo: memFree=123907432/131524600 swapFree=131056028/131071996
[pid=306295] ppid=306292 vsize=635968 memory=595804 CPUtime=3588.8 cores=1,3
/proc/306295/stat : 306295 (pbscip) R 306292 306295 306238 0 -1 4194304 154740 0 0 0 358845 35 0 0 20 0 1 0 30469135 651231232 148951 134679101440 4194304 18693293 140724139122448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33132544 140724139127811 140724139127910 140724139127910 140724139134926 0
/proc/306295/statm: 158992 148951 4048 3540 0 147249 0
Current children cumulated CPU time: 3588.8 s
Current children cumulated vsize: 635968 KiB
Current children cumulated memory: 595804 KiB
Child status: 0
Real time (s): 3597.36
CPU time (s): 3588.87
CPU user time (s): 3588.5
CPU system time (s): 0.368951
CPU usage (%): 99.764
Max. virtual memory (cumulated for all children) (KiB): 635968
Max. memory (cumulated for all children) (KiB): 595804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.5
system time used= 0.368951
maximum resident set size= 595804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154776
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= 37
involuntary context switches= 1511
# summary of solver processes directly reported to runsolver:
# pid: 306295
# total CPU time (s): 3588.87
# total CPU user time (s): 3588.5
# total CPU system time (s): 0.368951
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.33486 second user time and 14.8559 second system time
The end
Begin job on nodeC015 at 2024-07-25 22:31:03 IDJOB=4459848 IDBENCH=148610 IDSOLVER=3059 FILE ID=nodeC015/4459848-1721939463 RUNJOBID= nodeC015-1721939462-306250 SLURM_JOB_ID= 8247237 Free space on /tmp= 890044 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_3.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459848-1721939463/watcher-4459848-1721939463 -o /tmp/evaluation-result-4459848-1721939463/solver-4459848-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721939462-306250 --watchdog 3760 pbscip -f HOME/instance-4459848-1721939463.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 473f4f01ea80639962d90e3c1fd9a037 RANDOM SEED=1195961217 nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3625.913 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 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 : 3667.190 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 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 : 3642.999 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 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 : 3650.214 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 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 : 3691.406 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 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 : 3677.322 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 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 : 3670.473 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.659 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128361856 kB MemAvailable: 129497732 kB Buffers: 343284 kB Cached: 1457100 kB SwapCached: 312 kB Active: 1232076 kB Inactive: 1004240 kB Active(anon): 4312 kB Inactive(anon): 483820 kB Active(file): 1227764 kB Inactive(file): 520420 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056028 kB Dirty: 56620 kB Writeback: 0 kB AnonPages: 435128 kB Mapped: 116036 kB Shmem: 52524 kB KReclaimable: 449100 kB Slab: 573224 kB SReclaimable: 449100 kB SUnreclaim: 124124 kB KernelStack: 4040 kB PageTables: 10452 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 748252 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16224 kB HardwareCorrupted: 0 kB AnonHugePages: 200704 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 367316 kB DirectMap2M: 43446272 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890044 MiB End job on nodeC015 at 2024-07-25 23:31:00