| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | ? | 3588.14 | 3597.26 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sctap3.opb |
| MD5SUM | ae9069a7e4a4f60423faee038f49f7b2 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2511766 |
| Best CPU time to get the best result obtained on this benchmark | 3600.01 |
| 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 | 74400 |
| Total number of constraints | 1408 |
| 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 | 1408 |
| Minimum length of a constraint | 90 |
| Maximum length of a constraint | 930 |
| Number of terms in the objective function | 55800 |
| Biggest coefficient in the objective function | 42949672960 |
| Number of bits for the biggest coefficient in the objective function | 36 |
| Sum of the numbers in the objective function | 31374736068060 |
| Number of bits of the sum of numbers in the objective function | 45 |
| Biggest number in a constraint | 42949672960 |
| Number of bits of the biggest number in a constraint | 36 |
| Biggest sum of numbers in a constraint | 31374736068060 |
| Number of bits of the biggest sum of numbers | 45 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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-4432560-1721067025.opb>
0.09/0.15 c original problem has 74400 variables (74400 bin, 0 int, 0 impl, 0 cont) and 1408 constraints
0.09/0.15 c problem read in 0.15
0.29/0.31 c presolving:
0.39/0.43 c (round 1, fast) 36270 del vars, 0 del conss, 620 add conss, 35340 chg bounds, 0 chg sides, 1889 chg coeffs, 0 upgd conss, 0 impls, 18600 clqs
0.39/0.50 c (0.5s) running MILP presolver
0.49/0.55 c (0.6s) MILP presolver (3 rounds): 0 aggregations, 93 fixings, 0 bound changes
0.49/0.57 c (round 2, medium) 36371 del vars, 0 del conss, 620 add conss, 35340 chg bounds, 0 chg sides, 2484 chg coeffs, 0 upgd conss, 0 impls, 18600 clqs
0.49/0.57 c (round 3, fast) 36371 del vars, 0 del conss, 682 add conss, 35340 chg bounds, 0 chg sides, 3553 chg coeffs, 0 upgd conss, 0 impls, 18600 clqs
0.49/0.58 c (round 4, exhaustive) 36371 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 0 chg sides, 3553 chg coeffs, 0 upgd conss, 0 impls, 18600 clqs
0.59/0.65 c (round 5, exhaustive) 36371 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 0 chg sides, 3553 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.68/0.72 c (round 6, medium) 36371 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 386 chg sides, 3939 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.68/0.79 c (round 7, exhaustive) 36870 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 386 chg sides, 3939 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.80 c (round 8, fast) 36870 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 431 chg sides, 4804 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.82 c (round 9, medium) 36870 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 761 chg sides, 5134 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.86 c (round 10, exhaustive) 36922 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 761 chg sides, 5134 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.87 c (round 11, fast) 36922 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 768 chg sides, 5228 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
0.78/0.87 c (round 12, medium) 36922 del vars, 62 del conss, 682 add conss, 35340 chg bounds, 862 chg sides, 5322 chg coeffs, 1408 upgd conss, 0 impls, 18600 clqs
1.18/1.28 c (1.3s) probing: 51/37478 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.18/1.28 c (1.3s) probing aborted: 50/50 successive totally useless probings
1.28/1.32 c (1.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.28/1.38 c (1.4s) no symmetry present (symcode time: 0.02)
1.38/1.41 c presolving (13 rounds: 13 fast, 9 medium, 5 exhaustive):
1.38/1.41 c 36922 deleted vars, 62 deleted constraints, 682 added constraints, 35340 tightened bounds, 0 added holes, 862 changed sides, 5322 changed coefficients
1.38/1.41 c 0 implications, 18600 cliques
1.38/1.41 c presolved problem has 37478 variables (37478 bin, 0 int, 0 impl, 0 cont) and 2028 constraints
1.38/1.41 c 788 constraints of type <knapsack>
1.38/1.41 c 620 constraints of type <linear>
1.38/1.41 c 620 constraints of type <logicor>
1.38/1.41 c transformed objective value is always integral (scale: 1)
1.38/1.41 c Presolving Time: 1.13
1.38/1.41 c - non default parameters ----------------------------------------------------------------------
1.38/1.41 c # SCIP version 10.0.0
1.38/1.41 c
1.38/1.41 c # maximal time in seconds to run
1.38/1.41 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.38/1.41 c limits/time = 3596.997029
1.38/1.41 c
1.38/1.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.38/1.41 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.38/1.41 c limits/memory = 27900
1.38/1.41 c
1.38/1.41 c # belongs reading time to solving time?
1.38/1.41 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.38/1.41 c timing/reading = TRUE
1.38/1.41 c
1.38/1.41 c -----------------------------------------------------------------------------------------------
1.38/1.41 c start solving
1.38/1.42 c
2.57/2.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.57/2.65 c 2.7s| 1 | 0 | 7066 | - | 413M | 0 | 37k|2031 |2028 | 0 | 0 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
4.57/4.68 c 4.7s| 1 | 0 | 12219 | - | 438M | 0 | 37k|2031 |2395 | 367 | 1 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
5.27/5.36 c 5.4s| 1 | 0 | 13066 | - | 439M | 0 | 37k|2031 |2735 | 707 | 2 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
6.97/7.07 c 7.1s| 1 | 0 | 22402 | - | 443M | 0 | 37k|2031 |3028 |1000 | 3 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
7.46/7.55 c 7.5s| 1 | 0 | 23125 | - | 445M | 0 | 37k|2031 |3253 |1225 | 4 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
9.16/9.25 c 9.3s| 1 | 0 | 35269 | - | 450M | 0 | 37k|2031 |3460 |1432 | 5 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
9.66/9.77 c 9.8s| 1 | 0 | 36027 | - | 452M | 0 | 37k|2031 |3691 |1663 | 6 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
10.16/10.26 c 10.3s| 1 | 0 | 36811 | - | 454M | 0 | 37k|2031 |3894 |1866 | 7 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
19.83/19.91 c 19.9s| 1 | 0 | 98550 | - | 457M | 0 | 37k|2031 |4083 |2055 | 8 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
20.53/20.69 c 20.7s| 1 | 0 | 99688 | - | 459M | 0 | 37k|2031 |4428 |2400 | 9 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
21.43/21.59 c 21.6s| 1 | 0 |101506 | - | 461M | 0 | 37k|2031 |4702 |2674 | 10 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
26.81/26.95 c (node 1) unresolved numerical troubles in LP 49 -- using pseudo solution instead (loop 1)
26.81/26.96 c 27.0s| 1 | 2 |136018 | - | 462M | 0 | 37k|2031 |4104 |2921 | 11 | 3 | 0 | 1.458176e+06 | -- | Inf | unknown
241.89/242.55 c (node 70) numerical troubles in LP 229 -- unresolved
289.87/290.60 c 291s| 100 | 101 | 1579k|14580.7 | 467M | 21 | 37k|2031 |4342 |4554 | 1 | 3 | 0 | 1.458180e+06 | -- | Inf | unknown
349.73/350.66 c (node 129) numerical troubles in LP 406 -- unresolved
461.56/462.70 c 463s| 200 | 201 | 2778k|13278.5 | 470M | 39 | 37k|2031 |4484 |6162 | 1 | 3 | 0 | 1.458185e+06 | -- | Inf | unknown
593.73/595.27 c 595s| 300 | 301 | 3691k|11890.2 | 474M | 41 | 37k|2031 |4304 |7396 | 1 | 3 | 0 | 1.458185e+06 | -- | Inf | unknown
626.65/628.22 c (node 340) numerical troubles in LP 961 -- unresolved
681.21/682.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
681.21/682.92 c 683s| 400 | 401 | 4263k|10344.7 | 474M | 41 | 37k|2031 |4449 |8575 | 1 | 3 | 0 | 1.458191e+06 | -- | Inf | unknown
921.09/923.33 c 923s| 500 | 501 | 4927k|9603.1 | 478M | 41 | 37k|2031 |4274 | 10k| 1 | 3 | 0 | 1.458193e+06 | -- | Inf | unknown
1053.19/1055.79 c 1056s| 600 | 601 | 5844k|9530.7 | 479M | 41 | 37k|2031 |4370 | 11k| 1 | 3 | 0 | 1.458193e+06 | -- | Inf | unknown
1192.23/1195.12 c 1195s| 700 | 701 | 6741k|9450.1 | 481M | 43 | 37k|2032 |4433 | 13k| 1 | 4 | 0 | 1.458193e+06 | -- | Inf | unknown
1247.10/1250.15 c (node 765) numerical troubles in LP 2033 -- unresolved
1295.19/1298.37 c (node 788) numerical troubles in LP 2093 -- unresolved
1302.97/1306.11 c 1306s| 800 | 801 | 7524k|9246.9 | 482M | 43 | 37k|2032 |4439 | 14k| 1 | 4 | 0 | 1.458193e+06 | -- | Inf | unknown
1413.19/1416.64 c 1417s| 900 | 901 | 8190k|8959.4 | 483M | 43 | 37k|2032 |4368 | 16k| 1 | 4 | 0 | 1.458193e+06 | -- | Inf | unknown
1510.66/1514.31 c (node 995) numerical troubles in LP 2566 -- unresolved
1521.73/1525.44 c 1525s| 1000 | 1001 | 8952k|8825.1 | 484M | 43 | 37k|2032 |4331 | 17k| 1 | 4 | 0 | 1.458193e+06 | -- | Inf | unknown
1564.13/1567.96 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1564.13/1567.96 c (run 1, node 1049) performing user restart
1564.13/1567.96 c
1564.13/1567.97 c (restart) converted 2136 cuts from the global cut pool into linear constraints
1564.13/1567.97 c
1564.24/1568.05 c presolving:
1564.24/1568.09 c (round 1, fast) 0 del vars, 0 del conss, 620 add conss, 0 chg bounds, 52 chg sides, 3749 chg coeffs, 0 upgd conss, 0 impls, 21310 clqs
1564.34/1568.14 c (round 2, exhaustive) 0 del vars, 7 del conss, 620 add conss, 0 chg bounds, 59 chg sides, 3749 chg coeffs, 0 upgd conss, 0 impls, 21310 clqs
1564.34/1568.16 c (round 3, exhaustive) 0 del vars, 7 del conss, 620 add conss, 0 chg bounds, 59 chg sides, 3749 chg coeffs, 2578 upgd conss, 0 impls, 21310 clqs
1564.34/1568.17 c (round 4, fast) 0 del vars, 627 del conss, 620 add conss, 0 chg bounds, 70 chg sides, 5743 chg coeffs, 2578 upgd conss, 0 impls, 21310 clqs
1564.43/1568.21 c (round 5, medium) 0 del vars, 2425 del conss, 4066 add conss, 0 chg bounds, 745 chg sides, 6658 chg coeffs, 2578 upgd conss, 0 impls, 21311 clqs
1564.43/1568.21 c (round 6, fast) 0 del vars, 2434 del conss, 4071 add conss, 0 chg bounds, 746 chg sides, 6660 chg coeffs, 2578 upgd conss, 0 impls, 21311 clqs
1564.43/1568.25 c (round 7, exhaustive) 0 del vars, 2459 del conss, 4071 add conss, 0 chg bounds, 746 chg sides, 6930 chg coeffs, 2578 upgd conss, 0 impls, 21311 clqs
1564.43/1568.29 c (round 8, exhaustive) 0 del vars, 2461 del conss, 4071 add conss, 0 chg bounds, 750 chg sides, 7203 chg coeffs, 2578 upgd conss, 0 impls, 22266 clqs
1564.53/1568.30 c (round 9, fast) 0 del vars, 2461 del conss, 4071 add conss, 0 chg bounds, 757 chg sides, 7273 chg coeffs, 2578 upgd conss, 0 impls, 22266 clqs
1564.53/1568.31 c (round 10, medium) 0 del vars, 2464 del conss, 4071 add conss, 0 chg bounds, 759 chg sides, 7281 chg coeffs, 2578 upgd conss, 0 impls, 22684 clqs
1564.53/1568.34 c (round 11, exhaustive) 0 del vars, 2509 del conss, 4071 add conss, 0 chg bounds, 759 chg sides, 7400 chg coeffs, 2578 upgd conss, 0 impls, 22684 clqs
1564.63/1568.44 c presolving (12 rounds: 12 fast, 8 medium, 6 exhaustive):
1564.63/1568.44 c 0 deleted vars, 2512 deleted constraints, 4071 added constraints, 0 tightened bounds, 0 added holes, 759 changed sides, 7457 changed coefficients
1564.63/1568.44 c 0 implications, 22684 cliques
1564.63/1568.44 c presolved problem has 37478 variables (37478 bin, 0 int, 0 impl, 0 cont) and 5727 constraints
1564.63/1568.44 c 1548 constraints of type <knapsack>
1564.63/1568.44 c 2656 constraints of type <setppc>
1564.63/1568.44 c 791 constraints of type <linear>
1564.63/1568.44 c 732 constraints of type <logicor>
1564.63/1568.44 c transformed objective value is always integral (scale: 1)
1564.63/1568.44 c Presolving Time: 1.54
1564.63/1568.45 c
1569.82/1573.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1569.82/1573.60 c 1574s| 1 | 0 | 9252k| - | 488M | 0 | 37k|5728 |5723 | 0 | 0 | 5 | 0 | 1.458194e+06 | -- | Inf | unknown
1570.92/1574.71 c 1575s| 1 | 0 | 9254k| - | 490M | 0 | 37k|5728 |5915 | 192 | 1 | 5 | 0 | 1.458194e+06 | -- | Inf | unknown
1571.61/1575.49 c 1575s| 1 | 0 | 9256k| - | 491M | 0 | 37k|5728 |6114 | 391 | 2 | 5 | 0 | 1.458194e+06 | -- | Inf | unknown
1574.91/1578.78 c 1579s| 1 | 0 | 9276k| - | 492M | 0 | 37k|5728 |6302 | 579 | 3 | 5 | 0 | 1.458194e+06 | -- | Inf | unknown
1578.30/1582.18 c 1582s| 1 | 0 | 9292k| - | 494M | 0 | 37k|5728 |6493 | 770 | 4 | 5 | 0 | 1.458196e+06 | -- | Inf | unknown
1582.30/1586.16 c (node 1) unresolved numerical troubles in LP 2707 -- using pseudo solution instead (loop 1)
1582.30/1586.17 c 1586s| 1 | 2 | 9312k| - | 495M | 0 | 37k|5728 |6688 | 965 | 5 | 5 | 0 | 1.458196e+06 | -- | Inf | unknown
1724.76/1728.96 c 1729s| 100 | 101 | 10130k|8623.6 | 499M | 63 | 37k|5730 |7039 |1693 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1754.30/1758.58 c 1759s| 200 | 201 | 10278k|8051.4 | 499M | 152 | 37k|5730 |7211 |1888 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1788.42/1792.77 c 1793s| 300 | 301 | 10445k|7577.4 | 502M | 195 | 37k|5730 |7252 |2117 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1845.98/1850.48 c (node 395) numerical troubles in LP 3394 -- unresolved
1846.08/1850.58 c 1851s| 400 | 401 | 10692k|7225.2 | 504M | 277 | 37k|5730 |7253 |2247 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1853.27/1857.74 c 1858s| 500 | 501 | 10732k|6783.9 | 505M | 286 | 37k|5730 |7311 |2309 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1860.85/1865.30 c 1865s| 600 | 601 | 10767k|6393.5 | 506M | 386 | 37k|5730 |7333 |2332 | 0 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1875.31/1879.85 c 1880s| 700 | 701 | 10880k|6092.4 | 507M | 485 | 37k|5730 |7342 |2376 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1881.30/1885.88 c 1886s| 800 | 801 | 10919k|5783.7 | 508M | 549 | 37k|5730 |7370 |2406 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1884.59/1889.16 c 1889s| 900 | 901 | 10937k|5496.2 | 511M | 649 | 37k|5730 |7420 |2461 | 1 | 7 | 0 | 1.458196e+06 | -- | Inf | unknown
1888.08/1892.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1888.08/1892.68 c 1893s| 1000 | 999 | 10952k|5235.1 | 512M | 748 | 37k|5733 |7439 |2481 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1890.58/1895.13 c 1895s| 1100 | 1099 | 10958k|4994.4 | 513M | 848 | 37k|5733 |7441 |2483 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1893.57/1898.10 c 1898s| 1200 | 1199 | 10969k|4777.1 | 515M | 948 | 37k|5733 |7444 |2486 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1896.06/1900.65 c 1901s| 1300 | 1299 | 10975k|4576.2 | 516M |1048 | 37k|5733 |7447 |2489 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1897.75/1902.39 c 1902s| 1400 | 1399 | 10976k|4389.7 | 517M |1148 | 37k|5733 |7447 |2489 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1899.94/1904.54 c 1905s| 1500 | 1499 | 10982k|4219.8 | 519M |1248 | 37k|5733 |7447 |2489 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1902.64/1907.28 c 1907s| 1600 | 1599 | 10992k|4064.0 | 520M |1261 | 37k|5733 |7444 |2489 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1904.83/1909.45 c 1909s| 1700 | 1699 | 10995k|3917.3 | 520M |1261 | 37k|5733 |7445 |2490 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1907.82/1912.44 c 1912s| 1800 | 1795 | 11006k|3783.7 | 521M |1261 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1910.42/1915.06 c 1915s| 1900 | 1895 | 11016k|3658.6 | 522M |1261 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1912.91/1917.51 c 1918s| 2000 | 1995 | 11021k|3540.3 | 524M |1271 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1914.70/1919.38 c 1919s| 2100 | 2095 | 11022k|3428.2 | 525M |1371 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1916.30/1920.91 c 1921s| 2200 | 2195 | 11022k|3322.7 | 527M |1471 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1917.50/1922.16 c 1922s| 2300 | 2295 | 11023k|3223.5 | 529M |1571 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1918.79/1923.41 c 1923s| 2400 | 2395 | 11023k|3130.1 | 530M |1671 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1920.09/1924.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1920.09/1924.73 c 1925s| 2500 | 2495 | 11023k|3041.9 | 532M |1771 | 37k|5733 |7445 |2491 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1922.39/1927.01 c 1927s| 2600 | 2593 | 11030k|2960.4 | 532M |1815 | 37k|5733 |7445 |2492 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1923.98/1928.61 c 1929s| 2700 | 2693 | 11031k|2881.9 | 533M |1815 | 37k|5733 |7445 |2492 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1925.38/1930.02 c 1930s| 2800 | 2793 | 11032k|2807.1 | 534M |1815 | 37k|5733 |7445 |2492 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1926.87/1931.59 c 1932s| 2900 | 2893 | 11034k|2736.5 | 535M |1815 | 37k|5733 |7445 |2492 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1929.47/1934.15 c 1934s| 3000 | 2989 | 11039k|2670.2 | 536M |1815 | 37k|5733 |7445 |2493 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1931.86/1936.51 c 1937s| 3100 | 3085 | 11045k|2607.2 | 538M |1815 | 37k|5733 |7445 |2494 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1934.05/1938.76 c 1939s| 3200 | 3185 | 11049k|2546.7 | 539M |1815 | 37k|5733 |7445 |2494 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1935.45/1940.18 c 1940s| 3300 | 3285 | 11049k|2488.2 | 540M |1815 | 37k|5733 |7445 |2494 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1936.94/1941.64 c 1942s| 3400 | 3385 | 11050k|2432.6 | 541M |1815 | 37k|5733 |7445 |2494 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1938.34/1943.09 c 1943s| 3500 | 3485 | 11052k|2379.4 | 542M |1815 | 37k|5733 |7445 |2494 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1939.83/1944.58 c 1945s| 3600 | 3585 | 11052k|2328.2 | 542M |1815 | 37k|5733 |7445 |2494 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1941.53/1946.21 c 1946s| 3700 | 3685 | 11052k|2279.3 | 544M |1815 | 37k|5733 |7445 |2494 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1943.33/1948.02 c 1948s| 3800 | 3783 | 11056k|2233.0 | 546M |1815 | 37k|5733 |7445 |2495 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1945.71/1950.49 c 1950s| 3900 | 3879 | 11063k|2189.4 | 547M |1815 | 37k|5733 |7445 |2496 | 1 | 10 | 0 | 1.458196e+06 | -- | Inf | unknown
1948.21/1952.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1948.21/1952.90 c 1953s| 4000 | 3977 | 11073k|2148.0 | 548M |1815 | 37k|5734 |7445 |2496 | 1 | 11 | 0 | 1.458196e+06 | -- | Inf | unknown
1986.62/1991.47 c 1991s| 4100 | 4073 | 11265k|2143.5 | 550M |1815 | 37k|5734 |6861 |2795 | 1 | 11 | 0 | 1.458196e+06 | -- | Inf | unknown
2031.62/2036.54 c 2037s| 4200 | 4173 | 11538k|2154.6 | 553M |1815 | 37k|5734 |7185 |3134 | 1 | 11 | 0 | 1.458196e+06 | -- | Inf | unknown
2035.91/2040.82 c 2041s| 4300 | 4273 | 11565k|2119.5 | 555M |1815 | 37k|5734 |7325 |3277 | 1 | 11 | 0 | 1.458196e+06 | -- | Inf | unknown
2037.70/2042.69 c 2043s| 4400 | 4373 | 11570k|2081.4 | 556M |1815 | 37k|5734 |7329 |3282 | 1 | 11 | 0 | 1.458196e+06 | -- | Inf | unknown
2042.19/2047.14 c 2047s| 4500 | 4473 | 11586k|2046.8 | 558M |1815 | 37k|5738 |7444 |3285 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2044.88/2049.89 c 2050s| 4600 | 4569 | 11595k|2012.2 | 559M |1815 | 37k|5738 |7449 |3295 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2047.18/2052.13 c 2052s| 4700 | 4661 | 11600k|1978.0 | 561M |1815 | 37k|5738 |7446 |3298 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2050.37/2055.34 c 2055s| 4800 | 4753 | 11612k|1946.2 | 562M |1815 | 37k|5738 |7446 |3305 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2052.86/2057.89 c 2058s| 4900 | 4837 | 11618k|1914.5 | 563M |1815 | 37k|5738 |7448 |3309 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2055.95/2060.93 c 2061s| 5000 | 4929 | 11630k|1884.9 | 563M |1815 | 37k|5738 |7445 |3310 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2094.07/2099.10 c 2099s| 5100 | 5021 | 11864k|1892.3 | 565M |1815 | 37k|5738 |7099 |3771 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2109.03/2114.17 c 2114s| 5200 | 5121 | 11956k|1876.7 | 566M |1815 | 37k|5738 |7198 |3895 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2122.60/2127.78 c 2128s| 5300 | 5221 | 12080k|1866.7 | 570M |1815 | 37k|5738 |7275 |3982 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2124.49/2129.66 c 2130s| 5400 | 5321 | 12081k|1838.0 | 572M |1815 | 37k|5738 |7275 |3982 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2126.19/2131.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2126.19/2131.38 c 2131s| 5500 | 5421 | 12083k|1810.1 | 573M |1815 | 37k|5738 |7275 |3982 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2128.38/2133.54 c 2134s| 5600 | 5521 | 12086k|1783.3 | 574M |1815 | 37k|5738 |7277 |3984 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2130.18/2135.36 c 2135s| 5700 | 5621 | 12087k|1757.1 | 577M |1815 | 37k|5738 |7305 |4017 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2132.17/2137.32 c 2137s| 5800 | 5721 | 12088k|1731.6 | 577M |1815 | 37k|5738 |7318 |4031 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2133.67/2138.80 c 2139s| 5900 | 5821 | 12089k|1706.7 | 578M |1815 | 37k|5738 |7318 |4031 | 1 | 15 | 0 | 1.458196e+06 | -- | Inf | unknown
2136.16/2141.34 c 2141s| 6000 | 5921 | 12101k|1684.2 | 581M |1815 | 37k|5745 |7457 |4043 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2138.65/2143.86 c 2144s| 6100 | 6001 | 12107k|1661.6 | 582M |1815 | 37k|5745 |7445 |4076 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2140.35/2145.50 c 2146s| 6200 | 6065 | 12108k|1638.7 | 582M |1815 | 37k|5745 |7451 |4136 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2233.04/2238.46 c 2238s| 6300 | 6153 | 12546k|1676.1 | 587M |1815 | 37k|5745 |7093 |4715 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2251.50/2256.90 c 2257s| 6400 | 6253 | 12665k|1669.5 | 589M |1815 | 37k|5745 |7259 |4898 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2257.88/2263.38 c 2263s| 6500 | 6353 | 12711k|1653.5 | 591M |1815 | 37k|5745 |7289 |4928 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2260.17/2265.64 c 2266s| 6600 | 6453 | 12720k|1633.1 | 592M |1815 | 37k|5745 |7298 |4938 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2261.57/2267.07 c 2267s| 6700 | 6553 | 12721k|1612.1 | 593M |1815 | 37k|5745 |7302 |4942 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2263.16/2268.68 c 2269s| 6800 | 6653 | 12723k|1591.8 | 594M |1815 | 37k|5745 |7302 |4942 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2265.06/2270.52 c 2271s| 6900 | 6753 | 12725k|1572.0 | 596M |1815 | 37k|5745 |7373 |5023 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2266.35/2271.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2266.35/2271.88 c 2272s| 7000 | 6853 | 12725k|1552.6 | 596M |1815 | 37k|5745 |7374 |5024 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2267.85/2273.39 c 2273s| 7100 | 6953 | 12726k|1533.6 | 598M |1815 | 37k|5745 |7374 |5024 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2270.34/2275.82 c 2276s| 7200 | 7037 | 12730k|1515.5 | 600M |1815 | 37k|5745 |7452 |5059 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2271.94/2277.48 c 2277s| 7300 | 7093 | 12731k|1497.4 | 601M |1815 | 37k|5745 | 0 |5094 | 0 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2307.06/2312.60 c 2313s| 7400 | 7193 | 12927k|1503.0 | 603M |1815 | 37k|5745 |7121 |5626 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2313.45/2319.01 c 2319s| 7500 | 7293 | 12969k|1490.3 | 605M |1815 | 37k|5745 |7224 |5734 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2315.24/2320.84 c 2321s| 7600 | 7393 | 12974k|1473.6 | 606M |1815 | 37k|5745 |7226 |5736 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2317.23/2322.83 c 2323s| 7700 | 7493 | 12978k|1457.2 | 608M |1815 | 37k|5745 |7234 |5744 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2319.12/2324.71 c 2325s| 7800 | 7593 | 12981k|1441.0 | 609M |1815 | 37k|5745 |7235 |5745 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2320.62/2326.27 c 2326s| 7900 | 7693 | 12982k|1425.1 | 611M |1815 | 37k|5745 |7236 |5746 | 1 | 22 | 0 | 1.458196e+06 | -- | Inf | unknown
2322.22/2327.82 c 2328s| 8000 | 7791 | 12983k|1409.4 | 613M |1815 | 37k|5751 |7281 |5796 | 1 | 28 | 0 | 1.458196e+06 | -- | Inf | unknown
2323.71/2329.35 c 2329s| 8100 | 7891 | 12983k|1394.0 | 614M |1815 | 37k|5751 |7281 |5796 | 1 | 28 | 0 | 1.458196e+06 | -- | Inf | unknown
2325.01/2330.64 c 2331s| 8200 | 7989 | 12983k|1379.0 | 616M |1815 | 37k|5752 |7281 |5796 | 1 | 29 | 0 | 1.458196e+06 | -- | Inf | unknown
2343.86/2349.52 c 2350s| 8300 | 8073 | 13073k|1373.8 | 618M |1815 | 37k|5755 |6839 |5986 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2392.25/2398.09 c 2398s| 8400 | 8173 | 13348k|1388.5 | 622M |1815 | 37k|5755 |7143 |6302 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2400.13/2405.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2400.13/2405.90 c 2406s| 8500 | 8273 | 13396k|1378.9 | 624M |1815 | 37k|5755 |7218 |6387 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2403.12/2408.99 c 2409s| 8600 | 8373 | 13417k|1366.8 | 625M |1815 | 37k|5755 |7221 |6390 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2404.71/2410.56 c 2411s| 8700 | 8473 | 13418k|1352.9 | 627M |1815 | 37k|5755 |7222 |6391 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2406.61/2412.44 c 2412s| 8800 | 8573 | 13421k|1339.5 | 628M |1815 | 37k|5755 |7226 |6395 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2408.10/2413.92 c 2414s| 8900 | 8673 | 13423k|1326.1 | 629M |1815 | 37k|5755 |7227 |6396 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2409.60/2415.45 c 2415s| 9000 | 8773 | 13424k|1313.0 | 632M |1815 | 37k|5755 |7324 |6501 | 1 | 32 | 0 | 1.458196e+06 | -- | Inf | unknown
2411.60/2417.40 c 2417s| 9100 | 8857 | 13425k|1300.2 | 632M |1815 | 37k|5757 | 0 |6546 | 0 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2413.59/2419.48 c 2419s| 9200 | 8935 | 13427k|1287.7 | 633M |1815 | 37k|5757 |7461 |6614 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2415.98/2421.85 c 2422s| 9300 | 9007 | 13432k|1275.8 | 634M |1815 | 37k|5757 |7462 |6666 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2478.74/2484.71 c 2485s| 9400 | 9091 | 13789k|1297.7 | 635M |1815 | 37k|5757 |6837 |6971 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2505.08/2511.11 c 2511s| 9500 | 9191 | 13967k|1302.3 | 637M |1815 | 37k|5757 |7057 |7196 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2511.06/2517.19 c 2517s| 9600 | 9291 | 14003k|1293.5 | 640M |1815 | 37k|5757 |7150 |7312 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2513.65/2519.71 c 2520s| 9700 | 9391 | 14014k|1282.4 | 641M |1815 | 37k|5757 |7157 |7319 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2515.45/2521.50 c 2521s| 9800 | 9491 | 14019k|1271.0 | 643M |1815 | 37k|5757 |7159 |7321 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2517.24/2523.34 c 2523s| 9900 | 9591 | 14020k|1259.6 | 645M |1815 | 37k|5757 |7161 |7323 | 1 | 34 | 0 | 1.458196e+06 | -- | Inf | unknown
2519.23/2525.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2519.23/2525.37 c 2525s| 10000 | 9689 | 14023k|1248.5 | 646M |1815 | 37k|5760 |7447 |7324 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2521.44/2527.59 c 2528s| 10100 | 9757 | 14025k|1237.4 | 647M |1815 | 37k|5760 |7454 |7401 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2627.30/2633.67 c 2634s| 10200 | 9849 | 14597k|1277.3 | 651M |1815 | 37k|5760 |7150 |7887 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2647.65/2654.08 c 2654s| 10300 | 9949 | 14730k|1277.8 | 652M |1815 | 37k|5760 |7290 |8044 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2654.33/2660.72 c 2661s| 10400 | 10049 | 14788k|1271.6 | 653M |1815 | 37k|5760 |7314 |8071 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2656.03/2662.44 c 2662s| 10500 | 10149 | 14789k|1260.7 | 656M |1815 | 37k|5760 |7319 |8076 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2658.63/2665.09 c 2665s| 10600 | 10249 | 14794k|1250.3 | 657M |1815 | 37k|5760 |7325 |8083 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2661.21/2667.65 c 2668s| 10700 | 10349 | 14797k|1239.9 | 657M |1815 | 37k|5760 |7327 |8085 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2663.71/2670.12 c 2670s| 10800 | 10449 | 14797k|1229.5 | 659M |1815 | 37k|5760 |7412 |8175 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2665.50/2671.91 c 2672s| 10900 | 10549 | 14799k|1219.4 | 662M |1815 | 37k|5760 |7413 |8176 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2673.08/2679.58 c 2680s| 11000 | 10649 | 14867k|1214.8 | 663M |1815 | 37k|5760 |7413 |8176 | 0 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2677.77/2684.21 c 2684s| 11100 | 10717 | 14898k|1207.4 | 663M |1815 | 37k|5760 |7460 |8253 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2729.34/2735.90 c 2736s| 11200 | 10805 | 15191k|1221.4 | 665M |1815 | 37k|5760 |6950 |8644 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2736.91/2743.51 c 2744s| 11300 | 10905 | 15254k|1216.7 | 667M |1815 | 37k|5760 |7168 |8869 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2741.40/2748.03 c 2748s| 11400 | 11005 | 15282k|1209.1 | 669M |1815 | 37k|5760 |7200 |8906 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2743.09/2749.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2743.09/2749.77 c 2750s| 11500 | 11105 | 15283k|1199.6 | 670M |1815 | 37k|5760 |7202 |8908 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2745.88/2752.51 c 2753s| 11600 | 11205 | 15301k|1191.5 | 671M |1815 | 37k|5760 |7214 |8920 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2747.38/2754.08 c 2754s| 11700 | 11305 | 15302k|1182.3 | 671M |1815 | 37k|5760 |7214 |8920 | 1 | 37 | 0 | 1.458196e+06 | -- | Inf | unknown
2749.17/2755.88 c 2756s| 11800 | 11403 | 15303k|1173.2 | 674M |1815 | 37k|5761 |7254 |8965 | 1 | 38 | 0 | 1.458196e+06 | -- | Inf | unknown
2750.57/2757.29 c 2757s| 11900 | 11499 | 15305k|1164.2 | 676M |1815 | 37k|5763 |7254 |8965 | 1 | 40 | 0 | 1.458196e+06 | -- | Inf | unknown
2752.37/2759.08 c 2759s| 12000 | 11599 | 15307k|1155.5 | 678M |1815 | 37k|5763 |7254 |8965 | 1 | 40 | 0 | 1.458196e+06 | -- | Inf | unknown
2755.75/2762.47 c 2762s| 12100 | 11691 | 15311k|1147.0 | 679M |1815 | 37k|5767 |7458 |9005 | 1 | 44 | 0 | 1.458196e+06 | -- | Inf | unknown
2824.45/2831.37 c 2831s| 12200 | 11775 | 15632k|1162.6 | 680M |1815 | 37k|5767 |7023 |9449 | 0 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
2884.18/2891.23 c 2891s| 12300 | 11875 | 15937k|1176.7 | 682M |1815 | 37k|5767 |7189 |9634 | 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
2891.45/2898.57 c 2899s| 12400 | 11975 | 15975k|1170.8 | 684M |1815 | 37k|5767 |7272 |9726 | 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
2893.64/2900.72 c 2901s| 12500 | 12075 | 15978k|1162.4 | 685M |1815 | 37k|5767 |7274 |9728 | 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
2895.24/2902.36 c 2902s| 12600 | 12175 | 15980k|1154.0 | 686M |1815 | 37k|5767 |7276 |9730 | 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
2897.13/2904.24 c 2904s| 12700 | 12275 | 15983k|1145.8 | 687M |1815 | 37k|5767 |7276 |9730 | 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
2898.83/2905.90 c 2906s| 12800 | 12375 | 15984k|1137.6 | 688M |1815 | 37k|5767 |7277 |9731 | 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
2989.77/2997.14 c 2997s| 12900 | 12459 | 16418k|1160.6 | 692M |1815 | 37k|5767 |7003 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3066.84/3074.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3066.84/3074.47 c 3074s| 13000 | 12559 | 16862k|1183.9 | 694M |1815 | 37k|5767 |7223 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3071.43/3079.07 c 3079s| 13100 | 12659 | 16886k|1177.3 | 696M |1815 | 37k|5767 |7295 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3073.52/3081.14 c 3081s| 13200 | 12759 | 16888k|1169.1 | 697M |1815 | 37k|5767 |7295 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3076.11/3083.72 c 3084s| 13300 | 12859 | 16894k|1161.4 | 699M |1815 | 37k|5767 |7302 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3078.30/3085.94 c 3086s| 13400 | 12959 | 16898k|1153.6 | 700M |1815 | 37k|5767 |7308 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3080.09/3087.70 c 3088s| 13500 | 13059 | 16901k|1145.9 | 705M |1815 | 37k|5767 |7349 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3082.99/3090.64 c 3091s| 13600 | 13159 | 16908k|1138.5 | 706M |1815 | 37k|5767 |7363 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3084.49/3092.15 c 3092s| 13700 | 13259 | 16908k|1130.9 | 706M |1815 | 37k|5767 |7363 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3087.48/3095.12 c 3095s| 13800 | 13359 | 16918k|1123.9 | 708M |1815 | 37k|5767 |7457 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3090.56/3098.29 c 3098s| 13900 | 13435 | 16934k|1117.4 | 709M |1815 | 37k|5767 |7460 | 10k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3163.45/3171.35 c 3171s| 14000 | 13531 | 17280k|1133.1 | 713M |1815 | 37k|5767 |7198 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3201.94/3209.96 c 3210s| 14100 | 13631 | 17451k|1136.8 | 715M |1815 | 37k|5767 |7294 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3204.14/3212.17 c 3212s| 14200 | 13731 | 17457k|1129.8 | 716M |1815 | 37k|5767 |7308 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3206.62/3214.68 c 3215s| 14300 | 13831 | 17461k|1122.6 | 717M |1815 | 37k|5767 |7312 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3208.82/3216.82 c 3217s| 14400 | 13931 | 17464k|1115.6 | 717M |1815 | 37k|5767 |7313 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3210.51/3218.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3210.51/3218.53 c 3219s| 14500 | 14031 | 17469k|1108.7 | 718M |1815 | 37k|5767 |7317 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3212.50/3220.54 c 3221s| 14600 | 14131 | 17474k|1102.0 | 721M |1815 | 37k|5767 |7383 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3214.00/3222.06 c 3222s| 14700 | 14231 | 17475k|1095.0 | 722M |1815 | 37k|5767 |7383 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3215.49/3223.51 c 3224s| 14800 | 14331 | 17475k|1088.1 | 723M |1815 | 37k|5767 |7384 | 11k| 1 | 44 | 0 | 1.458199e+06 | -- | Inf | unknown
3220.48/3228.50 c 3228s| 14900 | 14421 | 17492k|1082.4 | 725M |1815 | 37k|5785 |7465 | 11k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3223.57/3231.65 c 3232s| 15000 | 14501 | 17500k|1076.1 | 726M |1815 | 37k|5785 |7462 | 11k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3283.29/3291.55 c 3292s| 15100 | 14589 | 17871k|1092.5 | 728M |1815 | 37k|5785 |6990 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3291.07/3299.32 c 3299s| 15200 | 14689 | 17931k|1089.4 | 730M |1815 | 37k|5785 |7149 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3297.85/3306.12 c 3306s| 15300 | 14789 | 17989k|1086.3 | 731M |1815 | 37k|5785 |7310 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3299.94/3308.27 c 3308s| 15400 | 14889 | 17993k|1079.9 | 733M |1815 | 37k|5785 |7315 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3301.84/3310.16 c 3310s| 15500 | 14989 | 17994k|1073.5 | 734M |1815 | 37k|5785 |7315 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3303.23/3311.59 c 3312s| 15600 | 15089 | 17995k|1067.1 | 736M |1815 | 37k|5785 |7316 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3304.83/3313.15 c 3313s| 15700 | 15189 | 17996k|1060.8 | 739M |1815 | 37k|5785 |7383 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3306.22/3314.50 c 3314s| 15800 | 15289 | 17997k|1054.5 | 740M |1815 | 37k|5785 |7383 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3307.82/3316.18 c 3316s| 15900 | 15389 | 17997k|1048.3 | 741M |1815 | 37k|5785 |7383 | 12k| 1 | 62 | 0 | 1.458199e+06 | -- | Inf | unknown
3313.20/3321.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3313.20/3321.59 c 3322s| 16000 | 15485 | 18012k|1043.0 | 743M |1815 | 37k|5796 |7464 | 12k| 1 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3357.57/3366.01 c 3366s| 16100 | 15569 | 18235k|1050.0 | 746M |1815 | 37k|5796 |7022 | 13k| 0 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3433.55/3442.28 c 3442s| 16200 | 15669 | 18665k|1068.8 | 748M |1815 | 37k|5796 |7244 | 13k| 1 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3440.33/3449.02 c 3449s| 16300 | 15769 | 18707k|1065.1 | 751M |1815 | 37k|5796 |7349 | 13k| 1 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3442.21/3450.94 c 3451s| 16400 | 15869 | 18712k|1059.2 | 752M |1815 | 37k|5796 |7353 | 13k| 1 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3444.00/3452.70 c 3453s| 16500 | 15969 | 18715k|1053.4 | 752M |1815 | 37k|5796 |7357 | 13k| 1 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3445.51/3454.26 c 3454s| 16600 | 16069 | 18716k|1047.5 | 755M |1815 | 37k|5796 |7357 | 13k| 1 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3446.90/3455.61 c 3456s| 16700 | 16169 | 18717k|1041.6 | 756M |1815 | 37k|5796 |7357 | 13k| 1 | 73 | 0 | 1.458199e+06 | -- | Inf | unknown
3449.99/3458.78 c 3459s| 16800 | 16247 | 18726k|1036.3 | 758M |1815 | 37k|5797 |7448 | 13k| 1 | 74 | 0 | 1.458199e+06 | -- | Inf | unknown
3531.06/3540.08 c 3540s| 16900 | 16335 | 19151k|1054.2 | 761M |1815 | 37k|5797 |7123 | 14k| 1 | 74 | 0 | 1.458199e+06 | -- | Inf | unknown
3542.71/3551.77 c 3552s| 17000 | 16435 | 19243k|1053.4 | 762M |1815 | 37k|5797 |7239 | 14k| 0 | 74 | 0 | 1.458199e+06 | -- | Inf | unknown
3546.70/3555.72 c 3556s| 17100 | 16535 | 19273k|1049.3 | 762M |1815 | 37k|5797 |7328 | 14k| 1 | 74 | 0 | 1.458199e+06 | -- | Inf | unknown
3548.60/3557.68 c 3558s| 17200 | 16635 | 19276k|1043.7 | 764M |1815 | 37k|5797 |7335 | 14k| 1 | 74 | 0 | 1.458199e+06 | -- | Inf | unknown
3550.59/3559.64 c 3560s| 17300 | 16735 | 19280k|1038.3 | 765M |1815 | 37k|5797 |7335 | 14k| 1 | 74 | 0 | 1.458199e+06 | -- | Inf | unknown
3552.19/3561.25 c 3561s| 17400 | 16835 | 19282k|1032.7 | 766M |1815 | 37k|5797 |7336 | 14k| 1 | 74 | 0 | 1.458199e+06 | -- | Inf | unknown
3554.68/3563.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3554.68/3563.71 c 3564s| 17500 | 16935 | 19290k|1027.6 | 769M |1815 | 37k|5805 |7465 | 14k| 1 | 82 | 0 | 1.458199e+06 | -- | Inf | unknown
3557.77/3566.87 c 3567s| 17600 | 17011 | 19299k|1022.6 | 770M |1815 | 37k|5805 |7451 | 14k| 1 | 82 | 0 | 1.458199e+06 | -- | Inf | unknown
3559.76/3568.82 c 3569s| 17700 | 17079 | 19301k|1017.2 | 771M |1815 | 37k|5805 |7463 | 14k| 1 | 82 | 0 | 1.458199e+06 | -- | Inf | unknown
3587.78/3597.00 c
3587.78/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.78/3597.00 c Solving Time (sec) : 3597.00
3587.78/3597.00 c Solving Nodes : 17785 (total of 18834 nodes in 2 runs)
3587.78/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.78/3597.00 c Dual Bound : +1.45819875257449e+06
3587.78/3597.00 c Gap : infinite
3587.78/3597.00 s UNKNOWN
3587.78/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.78/3597.00 c Total Time : 3597.00
3587.78/3597.00 c solving : 3597.00
3587.78/3597.00 c presolving : 1.54 (included in solving)
3587.78/3597.00 c reading : 0.15 (included in solving)
3587.78/3597.00 c copying : 0.30 (5 #copies) (minimal 0.05, maximal 0.07, average 0.06)
3587.78/3597.00 c Original Problem :
3587.78/3597.00 c Problem name : HOME/instance-4432560-1721067025.opb
3587.78/3597.00 c Variables : 74400 (74400 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.78/3597.00 c Constraints : 1408 initial, 1408 maximal
3587.88/3597.00 c Objective : minimize, 55800 non-zeros (abs.min = 1, abs.max = 4.29497e+10)
3587.88/3597.00 c Presolved Problem :
3587.88/3597.00 c Problem name : t_HOME/instance-4432560-1721067025.opb
3587.88/3597.00 c Variables : 37478 (37478 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.88/3597.00 c Constraints : 5727 initial, 5805 maximal
3587.88/3597.00 c Objective : minimize, 30658 non-zeros (abs.min = 1, abs.max = 5.36871e+08)
3587.88/3597.00 c Nonzeros : 198587 constraint, 80681 clique table
3587.88/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.88/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c domcol : 0.15 0.00 4 551 0 0 0 0 0 0 0 0
3587.88/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c gateextraction : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c implics : 0.01 0.00 17 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c milp : 0.10 0.00 1 93 0 0 0 0 0 0 0 0
3587.88/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c sparsify : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c trivial : 0.03 0.00 25 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c dualfix : 0.03 0.00 25 938 0 0 0 0 0 0 0 0
3587.88/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c probing : 0.28 0.00 1 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c pseudoobj : 0.00 0.01 1 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c symmetry : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c vbounds : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c knapsack : 0.27 0.02 43 0 0 0 0 0 614 3451 1562 5439
3587.88/3597.00 c setppc : 0.04 0.00 19 0 0 0 0 0 1269 0 0 0
3587.88/3597.00 c linear : 0.27 0.03 34 35340 0 0 35340 0 69 1302 59 7302
3587.88/3597.00 c logicor : 0.01 0.00 39 0 0 0 0 0 622 0 0 38
3587.88/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c components : 0.06 0.00 2 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.88/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.88/3597.00 c benderslp : 0 0 0 0 18200 0 308 1547 0 0 0 0 0 0 0
3587.88/3597.00 c integral : 0 0 0 0 18200 0 0 1547 0 0 0 0 0 0 36400
3587.88/3597.00 c knapsack : 1548+ 1552 16 117015 0 0 308 1542 427 25 26947 3214 940 0 0
3587.88/3597.00 c setppc : 2656+ 2657 5 58754 0 0 0 0 3 0 4393 0 0 0 0
3587.88/3597.00 c linear : 791+ 798 16 116989 0 0 13 3 337 321 159083 324 22 0 0
3587.88/3597.00 c logicor : 732+ 798 16 2423 0 0 308 0 2 1 39 0 0 0 0
3587.88/3597.00 c benders : 0 0 0 0 0 0 308 0 0 0 0 0 0 0 0
3587.88/3597.00 c fixedvar : 0 0 0 0 0 0 308 0 0 0 0 0 0 0 0
3587.88/3597.00 c countsols : 0 0 0 0 0 0 308 0 0 0 0 0 0 0 0
3587.88/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.88/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c integral : 14.31 0.00 0.00 0.00 14.30 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c knapsack : 3.79 0.02 2.29 1.28 0.00 0.02 0.00 0.17 0.00 0.00
3587.88/3597.00 c setppc : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c linear : 0.75 0.03 0.03 0.68 0.00 0.00 0.00 0.01 0.00 0.00
3587.88/3597.00 c logicor : 0.04 0.00 0.00 0.01 0.00 0.03 0.00 0.00 0.00 0.00
3587.88/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c fixedvar : 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.88/3597.00 c dualfix : 2 0 0 0
3587.88/3597.00 c genvbounds : 0 0 0 0
3587.88/3597.00 c nlobbt : 0 0 0 0
3587.88/3597.00 c obbt : 0 0 0 0
3587.88/3597.00 c probing : 0 0 0 0
3587.88/3597.00 c pseudoobj : 51611 0 0 0
3587.88/3597.00 c redcost : 16 0 0 0
3587.88/3597.00 c rootredcost : 0 0 0 0
3587.88/3597.00 c symmetry : 0 0 0 0
3587.88/3597.00 c vbounds : 42043 0 0 0
3587.88/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.88/3597.00 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3587.88/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.88/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.88/3597.00 c probing : 0.28 0.00 0.28 0.00 0.00 0.00
3587.88/3597.00 c pseudoobj : 0.32 0.01 0.00 0.30 0.00 0.00
3587.88/3597.00 c redcost : 0.08 0.00 0.00 0.08 0.00 0.00
3587.88/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.88/3597.00 c symmetry : 0.09 0.00 0.06 0.03 0.00 0.00
3587.88/3597.00 c vbounds : 0.22 0.00 0.02 0.19 0.00 0.00
3587.88/3597.00 c Symmetry :
3587.88/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.88/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.88/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.88/3597.00 c shadow tree time : 0.00 s
3587.88/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.88/3597.00 c propagation : 0.00 26 25 - 59 27.5 1 5.0 - - -
3587.88/3597.00 c infeasible LP : 0.04 11 11 - 45 50.2 0 0.0 11 175.5 0
3587.88/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.88/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.88/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.88/3597.00 c applied globally : 0.00 - - 0 71 26.4 - - 11 - -
3587.88/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.88/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.88/3597.00 c cut pool : 0.79 - 2704 30 - - 20371 118898 - - - - - (maximal pool size: 8273)
3587.88/3597.00 c aggregation : 3.92 0.00 121 16 0 0 9757 74058 0 18699 18699 0 0
3587.88/3597.00 c > cmir : - - - - - - - 50694 0 10994 10994 0 -
3587.88/3597.00 c > flowcover : - - - - - - - 17938 0 6006 6006 0 -
3587.88/3597.00 c > knapsackcover : - - - - - - - 5426 0 1699 1699 0 -
3587.88/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c clique : 0.98 0.00 16 16 0 0 91 484 0 227 227 0 0
3587.88/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c gomory : 4.60 0.00 120 15 0 0 8298 32378 0 8370 8370 0 0
3587.88/3597.00 c > gomorymi : - - - - - - - 19566 0 5140 5140 0 -
3587.88/3597.00 c > strongcg : - - - - - - - 12812 0 3230 3230 0 -
3587.88/3597.00 c impliedbounds : 0.18 0.00 121 16 0 0 1843 9300 0 4407 4407 0 0
3587.88/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c multilinear : 0.00 0.00 111 16 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c rlt : 0.00 0.00 74 15 0 0 0 0 0 0 0 0 0
3587.88/3597.00 c zerohalf : 1.15 0.00 121 16 0 0 381 2678 1 762 761 1 0
3587.88/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.88/3597.00 c hybrid : 0.38 0.00 1264 16 33427 0 89010 3886 0 17747
3587.88/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.88/3597.00 c problem variables: 0.00 - 0 0
3587.88/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.88/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c inference : 1.91 0.00 0 0 308 0 0 0 0 616
3587.88/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c relpscost : 14.28 0.00 18200 0 0 0 0 0 0 36400
3587.88/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.88/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.88/3597.00 c LP solutions : 0.00 - - 0 0
3587.88/3597.00 c relax solutions : 0.00 - - 0 0
3587.88/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.88/3597.00 c strong branching : 0.00 - - 0 0
3587.88/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.88/3597.00 c adaptivediving : 31.54 0.00 12 0 0
3587.88/3597.00 c alns : 3.79 0.00 5 0 0
3587.88/3597.00 c bound : 0.00 0.00 0 0 0
3587.88/3597.00 c clique : 0.29 0.00 1 0 0
3587.88/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.88/3597.00 c completesol : 0.00 0.00 0 0 0
3587.88/3597.00 c conflictdiving : 57.63 0.00 8 0 0
3587.88/3597.00 c crossover : 0.00 0.00 0 0 0
3587.88/3597.00 c dins : 0.00 0.00 0 0 0
3587.88/3597.00 c distributiondivin: 188.21 0.00 7 0 0
3587.88/3597.00 c dps : 0.00 0.00 0 0 0
3587.88/3597.00 c dualval : 0.00 0.00 0 0 0
3587.88/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.88/3597.00 c feasjump : 0.13 0.00 2 0 0
3587.88/3597.00 c feaspump : 5.86 0.00 4 0 0
3587.88/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.88/3597.00 c fracdiving : 152.82 0.00 8 0 0
3587.88/3597.00 c gins : 0.00 0.00 0 0 0
3587.88/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.88/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3587.88/3597.00 c indicator : 0.01 0.00 0 0 0
3587.88/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.88/3597.00 c indoneopt : 0.01 0.00 0 0 0
3587.88/3597.00 c indrounding : 0.00 0.00 0 0 0
3587.88/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3587.88/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.88/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.88/3597.00 c linesearchdiving : 57.76 0.00 7 0 0
3587.88/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.88/3597.00 c locks : 0.48 0.00 1 0 0
3587.88/3597.00 c lpface : 0.01 0.00 0 0 0
3587.88/3597.00 c mpec : 0.00 0.00 0 0 0
3587.88/3597.00 c multistart : 0.00 0.00 0 0 0
3587.88/3597.00 c mutation : 0.00 0.00 0 0 0
3587.88/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.88/3597.00 c objpscostdiving : 32.76 0.00 4 0 0
3587.88/3597.00 c octane : 0.00 0.00 0 0 0
3587.88/3597.00 c ofins : 0.00 0.00 0 0 0
3587.88/3597.00 c oneopt : 0.01 0.00 0 0 0
3587.88/3597.00 c padm : 0.00 0.00 0 0 0
3587.88/3597.00 c proximity : 0.00 0.00 0 0 0
3587.88/3597.00 c pscostdiving : 53.11 0.00 8 0 0
3587.88/3597.00 c randrounding : 3.43 0.00 1529 0 0
3587.88/3597.00 c rens : 0.00 0.00 0 0 0
3587.88/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.88/3597.00 c repair : 0.00 0.00 0 0 0
3587.88/3597.00 c rins : 0.00 0.00 0 0 0
3587.88/3597.00 c rootsoldiving : 75.23 0.00 4 0 0
3587.88/3597.00 c rounding : 0.54 0.00 1824 0 0
3587.88/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.88/3597.00 c shiftandpropagate: 0.26 0.00 2 0 0
3587.88/3597.00 c shifting : 49.30 0.00 637 0 0
3587.88/3597.00 c simplerounding : 0.04 0.00 17981 0 0
3587.88/3597.00 c smallcard : 0.00 0.00 0 0 0
3587.88/3597.00 c subnlp : 0.02 0.00 0 0 0
3587.88/3597.00 c trivial : 0.08 0.00 4 0 0
3587.88/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.88/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.88/3597.00 c trysol : 0.01 0.00 0 0 0
3587.88/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.88/3597.00 c undercover : 0.00 0.00 0 0 0
3587.88/3597.00 c vbounds : 0.01 0.00 0 0 0
3587.88/3597.00 c veclendiving : 75.30 0.00 7 0 0
3587.88/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.88/3597.00 c zirounding : 0.21 0.00 1000 0 0
3587.88/3597.00 c other solutions : - - - 0 -
3587.88/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.88/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.88/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.88/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.88/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.88/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.88/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.88/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.88/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.88/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.88/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.88/3597.00 c primal LP : 87.26 400 604422 3801.40 6926.60 1.34 241
3587.88/3597.00 c dual LP : 2569.60 23307 15589046 716.28 6066.72 10.76 1543
3587.88/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.88/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.88/3597.00 c resolve instable : 840.97 1063 4709840 4430.71 5600.46
3587.88/3597.00 c diving/probing LP: 701.96 905 3251488 3592.80 4632.04
3587.88/3597.00 c strong branching : 0.00 0 0 0.00 - - - 0
3587.88/3597.00 c (at root node) : - 0 0 0.00 -
3587.88/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.88/3597.00 c B&B Tree :
3587.88/3597.00 c number of runs : 2
3587.88/3597.00 c nodes : 17785 (17459 internal, 326 leaves)
3587.88/3597.00 c feasible leaves : 0
3587.88/3597.00 c infeas. leaves : 325
3587.88/3597.00 c objective leaves : 0
3587.88/3597.00 c nodes (total) : 18834 (18508 internal, 326 leaves)
3587.88/3597.00 c nodes left : 17135
3587.88/3597.00 c max depth : 1815
3587.88/3597.00 c max depth (total): 1815
3587.88/3597.00 c backtracks : 182 (1.0%)
3587.88/3597.00 c early backtracks : 0 (0.0%)
3587.88/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.88/3597.00 c delayed cutoffs : 0
3587.88/3597.00 c repropagations : 614 (67 domain reductions, 0 cutoffs)
3587.88/3597.00 c avg switch length: 3.76
3587.88/3597.00 c switching time : 70.51
3587.88/3597.00 c Root Node :
3587.88/3597.00 c First LP value : +1.45817600000000e+06
3587.88/3597.00 c First LP Iters : 7066 (41889.97 Iter/sec)
3587.88/3597.00 c First LP Time : 0.17
3587.88/3597.00 c Final Dual Bound : +1.45819648590781e+06
3587.88/3597.00 c Final Root Iters : 230791
3587.88/3597.00 c Root LP Estimate : -
3587.88/3597.00 c Solution :
3587.88/3597.00 c Solutions found : 0 (0 improvements)
3587.88/3597.00 c Primal Bound : -
3587.88/3597.00 c Dual Bound : +1.45819875257449e+06
3587.88/3597.00 c Gap : infinite
3587.88/3597.00 c Integrals : Total Avg%
3587.88/3597.00 c primal-dual : 359699.78 100.00
3587.88/3597.00 c primal-ref : - - (not evaluated)
3587.88/3597.00 c dual-ref : - - (not evaluated)
3588.08/3597.24 c Time complete: 3588.13.
ERROR: no interpretation found !
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 (61682 MiB free)
memory of node 1: 64473 MiB (62650 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432560-1721067025/watcher-4432560-1721067025 -o /tmp/evaluation-result-4432560-1721067025/solver-4432560-1721067025 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721061647-814087 --watchdog 3760 pbscip -f HOME/instance-4432560-1721067025.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=817318, runsolver pid=817315
[startup+0.100323 s]*
/proc/loadavg: 4.17 4.17 4.13 5/257 817319
/proc/meminfo: memFree=127237604/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=135728 memory=91768 CPUtime=0.09 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 19988 0 0 0 7 2 0 0 20 0 1 0 158868670 138985472 22942 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 33932 22942 3262 3540 0 22189 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 135728 KiB
Current children cumulated memory: 91768 KiB
[startup+0.205593 s]*
/proc/loadavg: 4.17 4.17 4.13 5/257 817319
/proc/meminfo: memFree=127183760/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=192444 memory=152372 CPUtime=0.2 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 37553 0 0 0 15 5 0 0 20 0 1 0 158868670 197062656 38093 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 48111 38093 3566 3540 0 36368 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 192444 KiB
Current children cumulated memory: 152372 KiB
[startup+0.305651 s]*
/proc/loadavg: 4.17 4.17 4.13 5/257 817319
/proc/meminfo: memFree=127115076/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=262548 memory=214796 CPUtime=0.29 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 53147 0 0 0 22 7 0 0 20 0 1 0 158868670 268849152 53699 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 65637 53699 3598 3540 0 53894 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 262548 KiB
Current children cumulated memory: 214796 KiB
[startup+0.700229 s]
/proc/loadavg: 4.17 4.17 4.13 5/257 817319
/proc/meminfo: memFree=127083956/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=320956 memory=273116 CPUtime=0.68 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 73734 0 0 0 58 10 0 0 20 0 1 0 158868670 328658944 68279 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 80239 68279 3805 3540 0 68496 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 320956 KiB
Current children cumulated memory: 273116 KiB
[startup+1.50024 s]
/proc/loadavg: 4.15 4.17 4.13 5/257 817319
/proc/meminfo: memFree=127030104/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=427148 memory=321708 CPUtime=1.48 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 84185 0 0 0 136 12 0 0 20 0 1 0 158868670 437399552 80427 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 106787 80427 3837 3540 0 95044 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 427148 KiB
Current children cumulated memory: 321708 KiB
[startup+3.10573 s]
/proc/loadavg: 4.15 4.17 4.13 5/257 817319
/proc/meminfo: memFree=126944240/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=495128 memory=388436 CPUtime=3.09 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 101687 0 0 0 294 15 0 0 20 0 1 0 158868670 507011072 97109 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 123782 97109 3981 3540 0 112039 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 495128 KiB
Current children cumulated memory: 388436 KiB
[startup+6.30016 s]
/proc/loadavg: 4.14 4.16 4.13 5/258 817320
/proc/meminfo: memFree=126848412/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=590296 memory=482672 CPUtime=6.27 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 111926 0 0 0 610 17 0 0 20 0 1 0 158868670 604463104 120668 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 147574 120668 4111 3540 0 135831 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 590296 KiB
Current children cumulated memory: 482672 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.16 4.13 5/258 817322
/proc/meminfo: memFree=126824796/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=614324 memory=506664 CPUtime=12.65 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 115308 0 0 0 1247 18 0 0 20 0 1 0 158868670 629067776 126666 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 153581 126666 4175 3540 0 141838 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 614324 KiB
Current children cumulated memory: 506664 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.16 4.13 5/258 817324
/proc/meminfo: memFree=126824092/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=614804 memory=507096 CPUtime=25.42 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 115484 0 0 0 2524 18 0 0 20 0 1 0 158868670 629559296 126774 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 153701 126774 4191 3540 0 141958 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 614804 KiB
Current children cumulated memory: 507096 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.16 4.13 5/258 817329
/proc/meminfo: memFree=126814204/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=614804 memory=507568 CPUtime=50.96 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 115579 0 0 0 5078 18 0 0 20 0 1 0 158868670 629559296 126892 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 153701 126892 4191 3540 0 141958 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 614804 KiB
Current children cumulated memory: 507568 KiB
[startup+102.3 s]
/proc/loadavg: 4.35 4.20 4.14 5/258 817337
/proc/meminfo: memFree=126793060/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=621656 memory=513944 CPUtime=102.03 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 116992 0 0 0 10185 18 0 0 20 0 1 0 158868670 636575744 128486 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 155414 128486 4191 3540 0 143671 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 621656 KiB
Current children cumulated memory: 513944 KiB
[startup+162.3 s]
/proc/loadavg: 4.35 4.23 4.16 5/258 817349
/proc/meminfo: memFree=126760832/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=621656 memory=513944 CPUtime=161.88 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 117013 0 0 0 16170 18 0 0 20 0 1 0 158868670 636575744 128486 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 155414 128486 4191 3540 0 143671 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 621656 KiB
Current children cumulated memory: 513944 KiB
[startup+222.3 s]
/proc/loadavg: 4.56 4.33 4.20 5/258 817360
/proc/meminfo: memFree=126748688/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=621656 memory=513944 CPUtime=221.74 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 117022 0 0 0 22156 18 0 0 20 0 1 0 158868670 636575744 128486 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 155414 128486 4191 3540 0 143671 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 621656 KiB
Current children cumulated memory: 513944 KiB
[startup+282.3 s]
/proc/loadavg: 4.30 4.29 4.19 5/255 817371
/proc/meminfo: memFree=126722084/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=621656 memory=513944 CPUtime=281.59 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 117033 0 0 0 28141 18 0 0 20 0 1 0 158868670 636575744 128486 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 155414 128486 4191 3540 0 143671 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 621656 KiB
Current children cumulated memory: 513944 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.25 4.18 5/254 817382
/proc/meminfo: memFree=126680764/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=622864 memory=514796 CPUtime=341.45 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 117261 0 0 0 34127 18 0 0 20 0 1 0 158868670 637812736 128699 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 155716 128699 4191 3540 0 143973 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 622864 KiB
Current children cumulated memory: 514796 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.24 4.18 5/254 817392
/proc/meminfo: memFree=126640344/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=647208 memory=539448 CPUtime=401.3 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 140869 0 0 0 40108 22 0 0 20 0 1 0 158868670 662740992 134862 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 161802 134862 4207 3540 0 150059 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 647208 KiB
Current children cumulated memory: 539448 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.21 4.17 5/254 817404
/proc/meminfo: memFree=126622468/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=647208 memory=539448 CPUtime=461.16 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 140885 0 0 0 46094 22 0 0 20 0 1 0 158868670 662740992 134862 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 161802 134862 4207 3540 0 150059 0
################
# More data... #
################
/proc/loadavg: 4.10 4.33 4.67 5/255 819673
/proc/meminfo: memFree=126868012/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=905268 memory=810772 CPUtime=3154.47 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 217815 0 0 0 315411 36 0 0 20 0 1 0 158868670 926994432 202693 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 226317 202693 4244 3540 0 214574 0
Current children cumulated CPU time: 3154.47 s
Current children cumulated vsize: 905268 KiB
Current children cumulated memory: 810772 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.28 4.63 5/254 819684
/proc/meminfo: memFree=126835408/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=905268 memory=810772 CPUtime=3214.3 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 218101 0 0 0 321394 36 0 0 20 0 1 0 158868670 926994432 202693 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 226317 202693 4244 3540 0 214574 0
Current children cumulated CPU time: 3214.3 s
Current children cumulated vsize: 905268 KiB
Current children cumulated memory: 810772 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.24 4.59 5/254 819695
/proc/meminfo: memFree=126831664/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=905268 memory=811968 CPUtime=3274.12 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 218738 0 0 0 327376 36 0 0 20 0 1 0 158868670 926994432 202992 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 226317 202992 4244 3540 0 214574 0
Current children cumulated CPU time: 3274.12 s
Current children cumulated vsize: 905268 KiB
Current children cumulated memory: 811968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.21 4.56 5/254 819705
/proc/meminfo: memFree=126828160/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=905700 memory=814332 CPUtime=3333.94 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 219608 0 0 0 333357 37 0 0 20 0 1 0 158868670 927436800 203583 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 226425 203583 4244 3540 0 214682 0
Current children cumulated CPU time: 3333.94 s
Current children cumulated vsize: 905700 KiB
Current children cumulated memory: 814332 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.20 4.53 5/254 819715
/proc/meminfo: memFree=126826004/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=908000 memory=815720 CPUtime=3393.77 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 220278 0 0 0 339340 37 0 0 20 0 1 0 158868670 929792000 203930 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 227000 203930 4244 3540 0 215257 0
Current children cumulated CPU time: 3393.77 s
Current children cumulated vsize: 908000 KiB
Current children cumulated memory: 815720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.19 4.51 5/254 819726
/proc/meminfo: memFree=126803400/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=918692 memory=823608 CPUtime=3453.58 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 222671 0 0 0 345320 38 0 0 20 0 1 0 158868670 940740608 205902 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 229673 205902 4244 3540 0 217930 0
Current children cumulated CPU time: 3453.58 s
Current children cumulated vsize: 918692 KiB
Current children cumulated memory: 823608 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.15 4.47 5/254 819736
/proc/meminfo: memFree=126800196/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=921644 memory=825924 CPUtime=3513.4 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 223505 0 0 0 351302 38 0 0 20 0 1 0 158868670 943763456 206481 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 230411 206481 4244 3540 0 218668 0
Current children cumulated CPU time: 3513.4 s
Current children cumulated vsize: 921644 KiB
Current children cumulated memory: 825924 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.45 5/257 819751
/proc/meminfo: memFree=126702812/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=1013044 memory=914900 CPUtime=3573.22 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 251984 0 0 0 357279 43 0 0 20 0 1 0 158868670 1037357056 228725 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 253261 228725 4244 3540 0 241518 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 1013044 KiB
Current children cumulated memory: 914900 KiB
[startup+3597.26 s]
# the end of solver process 817318 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.69 s, system=0.448676 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.15 4.45 5/257 819751
/proc/meminfo: memFree=126702812/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=1013044 memory=915000 CPUtime=3574.92 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 252019 0 0 0 357449 43 0 0 20 0 1 0 158868670 1037357056 228750 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 253261 228750 4244 3540 0 241518 0
Current children cumulated CPU time: 3574.92 s
Current children cumulated vsize: 1013044 KiB
Current children cumulated memory: 915000 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.15 4.45 5/257 819753
/proc/meminfo: memFree=126702856/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=1013044 memory=915000 CPUtime=3581.3 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 252030 0 0 0 358087 43 0 0 20 0 1 0 158868670 1037357056 228750 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 253261 228750 4244 3540 0 241518 0
Current children cumulated CPU time: 3581.3 s
Current children cumulated vsize: 1013044 KiB
Current children cumulated memory: 915000 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.15 4.45 5/257 819753
/proc/meminfo: memFree=126702832/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=1013044 memory=915000 CPUtime=3584.49 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 252030 0 0 0 358406 43 0 0 20 0 1 0 158868670 1037357056 228750 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 253261 228750 4244 3540 0 241518 0
Current children cumulated CPU time: 3584.49 s
Current children cumulated vsize: 1013044 KiB
Current children cumulated memory: 915000 KiB
[startup+3595.2 s]
/proc/loadavg: 4.11 4.15 4.45 5/257 819753
/proc/meminfo: memFree=126702840/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=1013044 memory=915000 CPUtime=3586.08 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 252030 0 0 0 358565 43 0 0 20 0 1 0 158868670 1037357056 228750 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 253261 228750 4244 3540 0 241518 0
Current children cumulated CPU time: 3586.08 s
Current children cumulated vsize: 1013044 KiB
Current children cumulated memory: 915000 KiB
[startup+3596 s]*
/proc/loadavg: 4.11 4.15 4.45 5/257 819753
/proc/meminfo: memFree=126702840/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=1013044 memory=915000 CPUtime=3586.88 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 252063 0 0 0 358645 43 0 0 20 0 1 0 158868670 1037357056 228750 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 253261 228750 4244 3540 0 241518 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 1013044 KiB
Current children cumulated memory: 915000 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.15 4.45 5/257 819753
/proc/meminfo: memFree=126702840/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=1013044 memory=915000 CPUtime=3587.68 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 252063 0 0 0 358725 43 0 0 20 0 1 0 158868670 1037357056 228750 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 253261 228750 4244 3540 0 241518 0
Current children cumulated CPU time: 3587.68 s
Current children cumulated vsize: 1013044 KiB
Current children cumulated memory: 915000 KiB
[startup+3597.2 s]
/proc/loadavg: 4.10 4.15 4.44 5/257 819753
/proc/meminfo: memFree=126702840/131524600 swapFree=131071996/131071996
[pid=817318] ppid=817315 vsize=955180 memory=857136 CPUtime=3588.08 cores=1,3
/proc/817318/stat : 817318 (pbscip) R 817315 817318 814075 0 -1 4194304 252182 0 0 0 358765 43 0 0 20 0 1 0 158868670 978104320 214284 134679101440 4194304 18693293 140726992545648 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28139520 140726992552964 140726992553063 140726992553063 140726992560078 0
/proc/817318/statm: 238795 214284 4244 3540 0 227052 0
Current children cumulated CPU time: 3588.08 s
Current children cumulated vsize: 955180 KiB
Current children cumulated memory: 857136 KiB
Child status: 0
Real time (s): 3597.26
CPU time (s): 3588.14
CPU user time (s): 3587.69
CPU system time (s): 0.448676
CPU usage (%): 99.7466
Max. virtual memory (cumulated for all children) (KiB): 1046428
Max. memory (cumulated for all children) (KiB): 938684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.69
system time used= 0.448676
maximum resident set size= 938684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252205
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= 44
involuntary context switches= 1394
# summary of solver processes directly reported to runsolver:
# pid: 817318
# total CPU time (s): 3588.14
# total CPU user time (s): 3587.69
# total CPU system time (s): 0.448676
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74255 second user time and 15.5827 second system time
The end
Begin job on nodeC026 at 2024-07-15 20:10:38 IDJOB=4432560 IDBENCH=146841 IDSOLVER=3059 FILE ID=nodeC026/4432560-1721067025 RUNJOBID= nodeC026-1721061647-814087 SLURM_JOB_ID= 7505513 Free space on /tmp= 890020 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap3.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-4432560-1721067025/watcher-4432560-1721067025 -o /tmp/evaluation-result-4432560-1721067025/solver-4432560-1721067025 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721061647-814087 --watchdog 3760 pbscip -f HOME/instance-4432560-1721067025.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ae9069a7e4a4f60423faee038f49f7b2 RANDOM SEED=991615341 nodeC026.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 : 3673.183 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.74 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 : 3672.110 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.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.122 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.74 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 : 3662.684 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.45 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 : 3673.168 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.74 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 : 3676.355 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.45 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 : 3600.072 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.74 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 : 3619.546 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.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127316600 kB MemAvailable: 128172388 kB Buffers: 370548 kB Cached: 1320212 kB SwapCached: 0 kB Active: 644596 kB Inactive: 2965832 kB Active(anon): 1580 kB Inactive(anon): 1955528 kB Active(file): 643016 kB Inactive(file): 1010304 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 22804 kB Writeback: 20 kB AnonPages: 1915932 kB Mapped: 139656 kB Shmem: 37720 kB KReclaimable: 84584 kB Slab: 189340 kB SReclaimable: 84584 kB SUnreclaim: 104756 kB KernelStack: 4160 kB PageTables: 13164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2360656 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61088 kB HardwareCorrupted: 0 kB AnonHugePages: 1484800 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: 232148 kB DirectMap2M: 20512768 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 890000 MiB End job on nodeC026 at 2024-07-15 21:10:35