0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4515212-1751232049.opb>
0.00/0.09 c original problem has 36630 variables (36630 bin, 0 int, 0 impl, 0 cont) and 339 constraints
0.00/0.09 c problem read in 0.08
0.00/0.09 c No objective function, only one solution is needed.
0.09/0.20 c presolving:
0.30/0.36 c (0.3s) running MILP presolver
1.09/1.13 c (1.1s) MILP presolver (2 rounds): 0 aggregations, 30049 fixings, 0 bound changes
1.09/1.15 c (round 1, medium) 30049 del vars, 339 del conss, 339 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 338 clqs
1.18/1.21 c (round 2, exhaustive) 30049 del vars, 339 del conss, 339 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 339 upgd conss, 0 impls, 338 clqs
1.38/1.40 c (1.4s) probing: 51/6581 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.38/1.40 c (1.4s) probing aborted: 50/50 successive totally useless probings
1.38/1.41 c (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.38/1.43 c (1.4s) no symmetry present (symcode time: 0.00)
1.38/1.44 c presolving (3 rounds: 3 fast, 3 medium, 2 exhaustive):
1.38/1.44 c 30049 deleted vars, 339 deleted constraints, 339 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.38/1.44 c 0 implications, 338 cliques
1.38/1.44 c presolved problem has 6581 variables (6581 bin, 0 int, 0 impl, 0 cont) and 339 constraints
1.38/1.44 c 1 constraints of type <knapsack>
1.38/1.44 c 338 constraints of type <setppc>
1.38/1.44 c transformed objective value is always integral (scale: 1)
1.38/1.44 c Presolving Time: 1.25
1.38/1.44 c - non default parameters ----------------------------------------------------------------------
1.38/1.44 c # SCIP version 10.0.0
1.38/1.44 c
1.38/1.44 c # maximal time in seconds to run
1.38/1.44 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.38/1.44 c limits/time = 3596.997013
1.38/1.44 c
1.38/1.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.38/1.44 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.38/1.44 c limits/memory = 27900
1.38/1.44 c
1.38/1.44 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
1.38/1.44 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
1.38/1.44 c limits/solutions = 1
1.38/1.44 c
1.38/1.44 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
1.38/1.44 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
1.38/1.44 c misc/usesymmetry = 3
1.38/1.44 c
1.38/1.44 c # belongs reading time to solving time?
1.38/1.44 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.38/1.44 c timing/reading = TRUE
1.38/1.44 c
1.38/1.44 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
1.38/1.44 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1.38/1.44 c propagating/symmetry/detectdoublelex = FALSE
1.38/1.44 c
1.38/1.44 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
1.38/1.44 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1.38/1.44 c propagating/symmetry/detectsubgroups = FALSE
1.38/1.44 c
1.38/1.44 c # Type of symmetries that shall be computed?
1.38/1.44 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
1.38/1.44 c propagating/symmetry/symtype = 1
1.38/1.44 c
1.38/1.44 c # Should components consisting of a single full reflection be handled?
1.38/1.44 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1.38/1.44 c propagating/symmetry/usesimplesgncomp = FALSE
1.38/1.44 c
1.38/1.44 c -----------------------------------------------------------------------------------------------
1.38/1.44 c start solving
1.38/1.44 c
4.47/4.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.47/4.57 c 4.6s| 1 | 0 | 12085 | - | 221M | 0 |6581 | 559 | 339 | 0 | 0 | 219 | 0 | 0.000000e+00 | -- | Inf | unknown
6.37/6.48 c 6.5s| 1 | 0 | 21655 | - | 228M | 0 |6581 | 559 | 346 | 7 | 1 | 219 | 0 | 0.000000e+00 | -- | Inf | unknown
6.57/6.66 c 6.7s| 1 | 0 | 21774 | - | 228M | 0 |6581 | 559 | 356 | 17 | 2 | 219 | 0 | 0.000000e+00 | -- | Inf | unknown
6.77/6.84 c 6.8s| 1 | 0 | 21874 | - | 229M | 0 |6581 | 559 | 364 | 25 | 3 | 219 | 0 | 0.000000e+00 | -- | Inf | unknown
6.97/7.03 c 7.0s| 1 | 0 | 22024 | - | 229M | 0 |6581 | 569 | 373 | 34 | 4 | 229 | 0 | 0.000000e+00 | -- | Inf | unknown
7.17/7.21 c 7.2s| 1 | 0 | 22103 | - | 229M | 0 |6581 | 569 | 381 | 42 | 5 | 229 | 0 | 0.000000e+00 | -- | Inf | unknown
7.27/7.38 c 7.4s| 1 | 0 | 22138 | - | 229M | 0 |6581 | 569 | 390 | 51 | 6 | 229 | 0 | 0.000000e+00 | -- | Inf | unknown
7.47/7.55 c 7.5s| 1 | 0 | 22167 | - | 229M | 0 |6581 | 577 | 396 | 57 | 7 | 237 | 0 | 0.000000e+00 | -- | Inf | unknown
7.67/7.75 c 7.7s| 1 | 0 | 22232 | - | 230M | 0 |6581 | 587 | 403 | 64 | 8 | 247 | 0 | 0.000000e+00 | -- | Inf | unknown
7.86/7.94 c 7.9s| 1 | 0 | 22300 | - | 230M | 0 |6581 | 597 | 411 | 72 | 9 | 257 | 0 | 0.000000e+00 | -- | Inf | unknown
8.07/8.12 c 8.1s| 1 | 0 | 22336 | - | 230M | 0 |6581 | 602 | 418 | 79 | 10 | 267 | 0 | 0.000000e+00 | -- | Inf | unknown
8.16/8.28 c 8.3s| 1 | 0 | 22394 | - | 230M | 0 |6581 | 608 | 425 | 86 | 11 | 276 | 0 | 0.000000e+00 | -- | Inf | unknown
23.62/23.73 c 23.7s| 1 | 2 | 65851 | - | 230M | 0 |6581 | 616 | 425 | 86 | 11 | 287 | 19 | 0.000000e+00 | -- | Inf | unknown
93.56/93.80 c 93.8s| 100 | 23 |299184 |2795.9 | 239M | 40 |6581 | 691 | 416 | 93 | 1 | 362 | 19 | 0.000000e+00 | -- | Inf | unknown
120.69/121.02 c 121s| 200 | 31 |374611 |1769.9 | 241M | 40 |6581 | 774 | 413 | 93 | 1 | 446 | 19 | 0.000000e+00 | -- | Inf | unknown
132.26/132.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
132.26/132.68 c 133s| 300 | 31 |434172 |1377.2 | 243M | 40 |6581 | 858 | 413 | 94 | 1 | 536 | 19 | 0.000000e+00 | -- | Inf | unknown
140.93/141.34 c 141s| 400 | 29 |477765 |1141.3 | 244M | 46 |6581 | 911 | 414 | 100 | 1 | 591 | 19 | 0.000000e+00 | -- | Inf | unknown
159.97/160.47 c 160s| 500 | 37 |572028 |1101.5 | 244M | 46 |6581 | 967 | 414 | 105 | 0 | 649 | 19 | 0.000000e+00 | -- | Inf | unknown
178.54/179.09 c 179s| 600 | 47 |667389 |1076.8 | 248M | 46 |6581 | 992 | 414 | 106 | 0 | 678 | 19 | 0.000000e+00 | -- | Inf | unknown
195.59/196.16 c 196s| 700 | 61 |752483 |1044.5 | 252M | 46 |6581 |1033 | 414 | 113 | 1 | 723 | 19 | 0.000000e+00 | -- | Inf | unknown
206.16/206.75 c 207s| 800 | 65 |806716 | 981.6 | 252M | 46 |6581 |1039 | 414 | 115 | 1 | 734 | 19 | 0.000000e+00 | -- | Inf | unknown
214.84/215.49 c 215s| 900 | 67 |852161 | 923.0 | 253M | 46 |6581 |1048 | 414 | 117 | 0 | 743 | 19 | 0.000000e+00 | -- | Inf | unknown
223.52/224.15 c 224s| 1000 | 71 |897163 | 875.6 | 254M | 58 |6581 |1051 | 414 | 120 | 1 | 746 | 19 | 0.000000e+00 | -- | Inf | unknown
234.88/235.52 c 236s| 1100 | 71 |955634 | 849.2 | 254M | 58 |6581 |1049 | 414 | 122 | 1 | 750 | 19 | 0.000000e+00 | -- | Inf | unknown
246.25/246.95 c 247s| 1200 | 73 | 1013k| 826.2 | 255M | 58 |6581 |1077 | 414 | 130 | 1 | 778 | 19 | 0.000000e+00 | -- | Inf | unknown
258.22/259.00 c 259s| 1300 | 71 | 1076k| 811.5 | 256M | 58 |6581 |1103 | 414 | 134 | 1 | 804 | 19 | 0.000000e+00 | -- | Inf | unknown
269.09/269.83 c 270s| 1400 | 71 | 1133k| 794.4 | 257M | 58 |6581 |1120 | 414 | 135 | 0 | 823 | 19 | 0.000000e+00 | -- | Inf | unknown
279.96/280.75 c 281s| 1500 | 69 | 1191k| 780.0 | 257M | 58 |6581 |1120 | 414 | 137 | 1 | 823 | 19 | 0.000000e+00 | -- | Inf | unknown
291.34/292.14 c 292s| 1600 | 79 | 1249k| 767.3 | 258M | 58 |6581 |1152 | 414 | 139 | 0 | 857 | 19 | 0.000000e+00 | -- | Inf | unknown
301.51/302.35 c 302s| 1700 | 77 | 1303k| 753.8 | 260M | 58 |6581 |1168 | 414 | 141 | 0 | 873 | 19 | 0.000000e+00 | -- | Inf | unknown
314.37/315.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
314.37/315.26 c 315s| 1800 | 81 | 1368k| 748.2 | 261M | 58 |6581 |1209 | 414 | 146 | 0 | 917 | 19 | 0.000000e+00 | -- | Inf | unknown
324.35/325.28 c 325s| 1900 | 79 | 1419k| 735.5 | 261M | 58 |6581 |1237 | 414 | 153 | 1 | 950 | 19 | 0.000000e+00 | -- | Inf | unknown
333.52/334.48 c 334s| 2000 | 81 | 1465k| 721.9 | 262M | 58 |6581 |1282 | 415 | 158 | 0 | 997 | 19 | 0.000000e+00 | -- | Inf | unknown
344.29/345.20 c 345s| 2100 | 79 | 1521k| 714.1 | 263M | 58 |6581 |1315 | 417 | 160 | 0 |1030 | 19 | 0.000000e+00 | -- | Inf | unknown
350.88/351.83 c 352s| 2200 | 75 | 1555k| 697.3 | 263M | 58 |6581 |1340 | 414 | 160 | 0 |1059 | 19 | 0.000000e+00 | -- | Inf | unknown
357.76/358.77 c 359s| 2300 | 77 | 1592k| 682.9 | 263M | 58 |6581 |1355 | 414 | 160 | 1 |1075 | 19 | 0.000000e+00 | -- | Inf | unknown
368.23/369.23 c 369s| 2400 | 69 | 1646k| 676.8 | 263M | 58 |6581 |1380 | 414 | 160 | 1 |1113 | 19 | 0.000000e+00 | -- | Inf | unknown
377.20/378.29 c 378s| 2500 | 77 | 1694k| 669.0 | 264M | 58 |6581 |1407 | 414 | 160 | 1 |1142 | 19 | 0.000000e+00 | -- | Inf | unknown
385.38/386.41 c 386s| 2600 | 73 | 1736k| 659.6 | 264M | 58 |6581 |1423 | 414 | 160 | 0 |1161 | 19 | 0.000000e+00 | -- | Inf | unknown
395.15/396.21 c 396s| 2700 | 75 | 1787k| 654.1 | 264M | 58 |6581 |1461 | 414 | 160 | 0 |1201 | 19 | 0.000000e+00 | -- | Inf | unknown
402.73/403.83 c 404s| 2800 | 75 | 1828k| 645.1 | 264M | 58 |6581 |1482 | 414 | 160 | 0 |1223 | 19 | 0.000000e+00 | -- | Inf | unknown
410.81/412.00 c 412s| 2900 | 75 | 1870k| 637.6 | 265M | 58 |6581 |1522 | 414 | 160 | 0 |1264 | 19 | 0.000000e+00 | -- | Inf | unknown
419.89/421.04 c 421s| 3000 | 71 | 1918k| 632.4 | 265M | 58 |6581 |1552 | 414 | 160 | 1 |1295 | 19 | 0.000000e+00 | -- | Inf | unknown
430.46/431.68 c 432s| 3100 | 71 | 1973k| 629.5 | 265M | 58 |6581 |1564 | 414 | 160 | 0 |1316 | 19 | 0.000000e+00 | -- | Inf | unknown
442.33/443.57 c 444s| 3200 | 71 | 2035k| 629.3 | 265M | 58 |6581 |1565 | 414 | 160 | 1 |1326 | 19 | 0.000000e+00 | -- | Inf | unknown
452.00/453.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
452.00/453.25 c 453s| 3300 | 65 | 2084k| 625.1 | 265M | 58 |6581 |1567 | 414 | 160 | 0 |1346 | 19 | 0.000000e+00 | -- | Inf | unknown
454.10/455.34 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
454.10/455.34 c (run 1, node 3310) performing user restart
454.10/455.34 c
454.10/455.34 c (restart) converted 72 cuts from the global cut pool into linear constraints
454.10/455.34 c
454.10/455.38 c presolving:
454.20/455.42 c (round 1, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 72 upgd conss, 0 impls, 404 clqs
454.50/455.79 c (round 2, exhaustive) 0 del vars, 237 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 316 chg coeffs, 72 upgd conss, 0 impls, 404 clqs
454.90/456.13 c (round 3, exhaustive) 0 del vars, 267 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 317 chg coeffs, 72 upgd conss, 0 impls, 404 clqs
455.40/456.61 c presolving (4 rounds: 4 fast, 4 medium, 4 exhaustive):
455.40/456.61 c 0 deleted vars, 267 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 317 changed coefficients
455.40/456.61 c 0 implications, 404 cliques
455.40/456.61 c presolved problem has 6581 variables (6581 bin, 0 int, 0 impl, 0 cont) and 1375 constraints
455.40/456.61 c 7 constraints of type <knapsack>
455.40/456.61 c 404 constraints of type <setppc>
455.40/456.61 c 964 constraints of type <logicor>
455.40/456.61 c transformed objective value is always integral (scale: 1)
455.40/456.61 c Presolving Time: 2.51
455.40/456.61 c
458.19/459.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
458.19/459.48 c 459s| 1 | 0 | 2107k| - | 301M | 0 |6581 |1379 | 411 | 0 | 0 |1354 | 19 | 0.000000e+00 | -- | Inf | unknown
458.89/460.15 c 460s| 1 | 0 | 2107k| - | 301M | 0 |6581 |1389 | 418 | 7 | 1 |1364 | 19 | 0.000000e+00 | -- | Inf | unknown
459.09/460.32 c 460s| 1 | 0 | 2107k| - | 301M | 0 |6581 |1399 | 426 | 15 | 2 |1374 | 19 | 0.000000e+00 | -- | Inf | unknown
459.19/460.49 c 460s| 1 | 0 | 2108k| - | 301M | 0 |6581 |1405 | 431 | 20 | 3 |1384 | 19 | 0.000000e+00 | -- | Inf | unknown
459.39/460.68 c 461s| 1 | 0 | 2108k| - | 301M | 0 |6581 |1398 | 441 | 30 | 4 |1394 | 19 | 0.000000e+00 | -- | Inf | unknown
459.58/460.85 c 461s| 1 | 0 | 2108k| - | 301M | 0 |6581 |1293 | 447 | 36 | 5 |1403 | 19 | 0.000000e+00 | -- | Inf | unknown
459.79/461.03 c 461s| 1 | 0 | 2108k| - | 301M | 0 |6581 |1273 | 452 | 41 | 6 |1413 | 19 | 0.000000e+00 | -- | Inf | unknown
459.98/461.21 c 461s| 1 | 0 | 2108k| - | 301M | 0 |6581 |1272 | 459 | 48 | 7 |1423 | 19 | 0.000000e+00 | -- | Inf | unknown
460.08/461.38 c 461s| 1 | 0 | 2108k| - | 301M | 0 |6581 |1262 | 467 | 56 | 8 |1423 | 19 | 0.000000e+00 | -- | Inf | unknown
460.28/461.55 c 462s| 1 | 0 | 2108k| - | 301M | 0 |6581 |1239 | 475 | 64 | 9 |1433 | 19 | 0.000000e+00 | -- | Inf | unknown
460.48/461.75 c 462s| 1 | 0 | 2108k| - | 301M | 0 |6581 |1203 | 483 | 72 | 10 |1443 | 19 | 0.000000e+00 | -- | Inf | unknown
460.68/461.90 c 462s| 1 | 0 | 2108k| - | 301M | 0 |6581 |1181 | 429 | 80 | 11 |1451 | 19 | 0.000000e+00 | -- | Inf | unknown
476.35/477.68 c 478s| 1 | 2 | 2158k| - | 302M | 0 |6581 |1075 | 429 | 80 | 11 |1463 | 38 | 0.000000e+00 | -- | Inf | unknown
501.28/502.64 c 503s| 100 | 35 | 2268k| 655.1 | 304M | 37 |6581 |1146 | 403 | 87 | 0 |1534 | 38 | 0.000000e+00 | -- | Inf | unknown
547.27/548.79 c 549s| 200 | 41 | 2504k| 703.7 | 308M | 40 |6581 |1462 | 403 | 97 | 1 |1877 | 38 | 0.000000e+00 | -- | Inf | unknown
564.53/566.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
564.53/566.03 c 566s| 300 | 47 | 2590k| 708.1 | 309M | 50 |6581 |1508 | 405 | 103 | 0 |1931 | 38 | 0.000000e+00 | -- | Inf | unknown
573.20/574.76 c 575s| 400 | 49 | 2636k| 701.3 | 309M | 52 |6581 |1533 | 401 | 106 | 1 |1966 | 38 | 0.000000e+00 | -- | Inf | unknown
583.37/584.92 c 585s| 500 | 45 | 2687k| 696.2 | 309M | 52 |6581 |1553 | 406 | 118 | 1 |2011 | 38 | 0.000000e+00 | -- | Inf | unknown
591.75/593.34 c 593s| 600 | 47 | 2727k| 688.7 | 309M | 52 |6581 |1576 | 399 | 132 | 1 |2037 | 38 | 0.000000e+00 | -- | Inf | unknown
604.72/606.32 c 606s| 700 | 57 | 2791k| 687.6 | 311M | 52 |6581 |1623 | 399 | 132 | 1 |2091 | 38 | 0.000000e+00 | -- | Inf | unknown
611.00/612.61 c 613s| 800 | 61 | 2824k| 678.8 | 311M | 52 |6581 |1650 | 399 | 132 | 1 |2139 | 38 | 0.000000e+00 | -- | Inf | unknown
617.59/619.28 c 619s| 900 | 55 | 2859k| 670.9 | 311M | 52 |6581 |1698 | 399 | 134 | 0 |2200 | 38 | 0.000000e+00 | -- | Inf | unknown
623.67/625.30 c 625s| 1000 | 57 | 2889k| 662.4 | 311M | 52 |6581 |1740 | 399 | 135 | 1 |2252 | 38 | 0.000000e+00 | -- | Inf | unknown
630.55/632.26 c 632s| 1100 | 59 | 2926k| 655.7 | 312M | 52 |6581 |1809 | 399 | 135 | 1 |2326 | 38 | 0.000000e+00 | -- | Inf | unknown
639.73/641.41 c 641s| 1200 | 63 | 2973k| 651.7 | 313M | 52 |6581 |1856 | 399 | 138 | 1 |2378 | 38 | 0.000000e+00 | -- | Inf | unknown
647.32/649.03 c 649s| 1300 | 71 | 3013k| 646.2 | 313M | 52 |6581 |1897 | 399 | 140 | 1 |2422 | 38 | 0.000000e+00 | -- | Inf | unknown
654.49/656.22 c 656s| 1400 | 63 | 3050k| 640.3 | 313M | 52 |6581 |1942 | 399 | 141 | 0 |2469 | 38 | 0.000000e+00 | -- | Inf | unknown
661.08/662.86 c 663s| 1500 | 59 | 3084k| 634.1 | 313M | 52 |6581 |1991 | 399 | 143 | 0 |2520 | 38 | 0.000000e+00 | -- | Inf | unknown
671.05/672.87 c 673s| 1600 | 67 | 3136k| 631.7 | 314M | 52 |6581 |2035 | 403 | 147 | 1 |2565 | 38 | 0.000000e+00 | -- | Inf | unknown
680.63/682.48 c 682s| 1700 | 65 | 3184k| 628.8 | 314M | 52 |6581 |2089 | 399 | 156 | 0 |2621 | 38 | 0.000000e+00 | -- | Inf | unknown
689.11/690.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
689.11/690.93 c 691s| 1800 | 63 | 3229k| 625.1 | 314M | 52 |6581 |2145 | 400 | 159 | 1 |2679 | 38 | 0.000000e+00 | -- | Inf | unknown
697.78/699.62 c 700s| 1900 | 63 | 3274k| 621.9 | 314M | 52 |6581 |2199 | 399 | 161 | 1 |2735 | 38 | 0.000000e+00 | -- | Inf | unknown
705.27/707.15 c 707s| 2000 | 63 | 3313k| 617.4 | 315M | 52 |6581 |2259 | 399 | 168 | 1 |2797 | 38 | 0.000000e+00 | -- | Inf | unknown
713.94/715.82 c 716s| 2100 | 61 | 3359k| 614.5 | 315M | 52 |6581 |2321 | 400 | 169 | 1 |2867 | 38 | 0.000000e+00 | -- | Inf | unknown
720.82/722.78 c 723s| 2200 | 61 | 3394k| 609.8 | 315M | 52 |6581 |2365 | 400 | 175 | 0 |2916 | 38 | 0.000000e+00 | -- | Inf | unknown
729.00/730.91 c 731s| 2300 | 63 | 3435k| 606.3 | 316M | 52 |6581 |2405 | 399 | 180 | 1 |2967 | 38 | 0.000000e+00 | -- | Inf | unknown
735.99/737.91 c 738s| 2400 | 65 | 3472k| 602.0 | 316M | 52 |6581 |2452 | 399 | 182 | 1 |3016 | 38 | 0.000000e+00 | -- | Inf | unknown
750.85/752.83 c 753s| 2500 | 67 | 3549k| 605.0 | 316M | 55 |6581 |2486 | 401 | 195 | 0 |3053 | 38 | 0.000000e+00 | -- | Inf | unknown
762.32/764.37 c 764s| 2600 | 73 | 3608k| 604.8 | 316M | 64 |6581 |2522 | 400 | 204 | 1 |3090 | 38 | 0.000000e+00 | -- | Inf | unknown
772.60/774.64 c 775s| 2700 | 75 | 3662k| 603.6 | 317M | 74 |6581 |2564 | 402 | 208 | 0 |3133 | 38 | 0.000000e+00 | -- | Inf | unknown
782.08/784.20 c 784s| 2800 | 67 | 3711k| 601.8 | 317M | 74 |6581 |2592 | 399 | 217 | 0 |3166 | 38 | 0.000000e+00 | -- | Inf | unknown
790.75/792.88 c 793s| 2900 | 65 | 3756k| 599.3 | 317M | 74 |6581 |2647 | 399 | 225 | 0 |3221 | 38 | 0.000000e+00 | -- | Inf | unknown
797.63/799.79 c 800s| 3000 | 63 | 3792k| 595.5 | 317M | 74 |6581 |2708 | 399 | 226 | 0 |3285 | 38 | 0.000000e+00 | -- | Inf | unknown
803.22/805.39 c 805s| 3100 | 67 | 3821k| 590.7 | 318M | 74 |6581 |2756 | 399 | 226 | 0 |3352 | 38 | 0.000000e+00 | -- | Inf | unknown
809.50/811.67 c 812s| 3200 | 67 | 3853k| 586.7 | 318M | 74 |6581 |2813 | 399 | 227 | 1 |3422 | 38 | 0.000000e+00 | -- | Inf | unknown
818.28/820.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
818.28/820.49 c 820s| 3300 | 69 | 3899k| 584.8 | 318M | 74 |6581 |2872 | 399 | 230 | 1 |3484 | 38 | 0.000000e+00 | -- | Inf | unknown
826.26/828.44 c 828s| 3400 | 67 | 3941k| 582.2 | 318M | 74 |6581 |2925 | 399 | 235 | 0 |3547 | 38 | 0.000000e+00 | -- | Inf | unknown
834.24/836.41 c 836s| 3500 | 65 | 3981k| 579.5 | 318M | 74 |6581 |2927 | 399 | 243 | 1 |3597 | 38 | 0.000000e+00 | -- | Inf | unknown
840.33/842.53 c 843s| 3600 | 67 | 4012k| 575.6 | 318M | 74 |6581 |2982 | 399 | 245 | 0 |3655 | 38 | 0.000000e+00 | -- | Inf | unknown
846.71/848.99 c 849s| 3700 | 65 | 4044k| 572.1 | 318M | 74 |6581 |3025 | 399 | 249 | 1 |3704 | 38 | 0.000000e+00 | -- | Inf | unknown
854.59/856.86 c 857s| 3800 | 61 | 4086k| 569.9 | 319M | 74 |6581 |3079 | 399 | 249 | 0 |3759 | 38 | 0.000000e+00 | -- | Inf | unknown
862.87/865.15 c 865s| 3900 | 59 | 4128k| 567.8 | 320M | 74 |6581 |3125 | 399 | 252 | 0 |3807 | 38 | 0.000000e+00 | -- | Inf | unknown
873.75/876.09 c 876s| 4000 | 59 | 4184k| 567.8 | 320M | 74 |6581 |3182 | 399 | 261 | 1 |3864 | 38 | 0.000000e+00 | -- | Inf | unknown
884.72/887.03 c 887s| 4100 | 57 | 4241k| 567.7 | 321M | 74 |6581 |3211 | 399 | 269 | 0 |3912 | 38 | 0.000000e+00 | -- | Inf | unknown
891.60/893.99 c 894s| 4200 | 51 | 4276k| 564.9 | 321M | 74 |6581 |3251 | 400 | 270 | 0 |3962 | 38 | 0.000000e+00 | -- | Inf | unknown
898.58/900.93 c 901s| 4300 | 49 | 4312k| 562.1 | 321M | 74 |6581 |3284 | 399 | 270 | 1 |4013 | 38 | 0.000000e+00 | -- | Inf | unknown
904.96/907.34 c 907s| 4400 | 49 | 4345k| 559.1 | 321M | 74 |6581 |3331 | 399 | 270 | 0 |4063 | 38 | 0.000000e+00 | -- | Inf | unknown
918.43/920.89 c 921s| 4500 | 55 | 4413k| 560.7 | 322M | 74 |6581 |3306 | 399 | 270 | 0 |4119 | 38 | 0.000000e+00 | -- | Inf | unknown
927.81/930.23 c 930s| 4600 | 55 | 4460k| 559.6 | 322M | 74 |6581 |3355 | 399 | 271 | 1 |4176 | 38 | 0.000000e+00 | -- | Inf | unknown
935.49/937.97 c 938s| 4700 | 55 | 4500k| 557.5 | 322M | 74 |6581 |3369 | 399 | 276 | 1 |4191 | 38 | 0.000000e+00 | -- | Inf | unknown
944.46/946.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
944.46/946.92 c 947s| 4800 | 57 | 4546k| 556.3 | 322M | 74 |6581 |3422 | 399 | 276 | 0 |4252 | 38 | 0.000000e+00 | -- | Inf | unknown
950.25/952.75 c 953s| 4900 | 57 | 4575k| 553.1 | 322M | 74 |6581 |3469 | 399 | 276 | 0 |4301 | 38 | 0.000000e+00 | -- | Inf | unknown
957.43/959.95 c 960s| 5000 | 57 | 4612k| 550.9 | 322M | 74 |6581 |3511 | 399 | 279 | 1 |4346 | 38 | 0.000000e+00 | -- | Inf | unknown
964.71/967.20 c 967s| 5100 | 57 | 4649k| 548.7 | 323M | 74 |6581 |3551 | 399 | 281 | 0 |4397 | 38 | 0.000000e+00 | -- | Inf | unknown
975.39/977.91 c 978s| 5200 | 59 | 4705k| 548.9 | 323M | 74 |6581 |3613 | 399 | 284 | 0 |4463 | 38 | 0.000000e+00 | -- | Inf | unknown
986.16/988.77 c 989s| 5300 | 59 | 4762k| 549.2 | 323M | 74 |6581 |3660 | 399 | 286 | 1 |4518 | 38 | 0.000000e+00 | -- | Inf | unknown
996.93/999.56 c 1000s| 5400 | 61 | 4819k| 549.3 | 323M | 74 |6581 |3719 | 399 | 289 | 0 |4587 | 38 | 0.000000e+00 | -- | Inf | unknown
1006.01/1008.67 c 1009s| 5500 | 63 | 4867k| 548.6 | 323M | 74 |6581 |3757 | 399 | 289 | 1 |4635 | 38 | 0.000000e+00 | -- | Inf | unknown
1015.59/1018.22 c 1018s| 5600 | 61 | 4918k| 548.1 | 323M | 74 |6581 |3804 | 399 | 289 | 0 |4683 | 38 | 0.000000e+00 | -- | Inf | unknown
1022.57/1025.29 c 1025s| 5700 | 63 | 4955k| 546.1 | 323M | 74 |6581 |3846 | 399 | 289 | 1 |4747 | 38 | 0.000000e+00 | -- | Inf | unknown
1031.25/1033.94 c 1034s| 5800 | 65 | 5001k| 545.2 | 323M | 74 |6581 |3894 | 399 | 289 | 1 |4804 | 38 | 0.000000e+00 | -- | Inf | unknown
1040.72/1043.45 c 1043s| 5900 | 69 | 5051k| 544.7 | 323M | 74 |6581 |3948 | 399 | 289 | 1 |4865 | 38 | 0.000000e+00 | -- | Inf | unknown
1049.50/1052.23 c 1052s| 6000 | 71 | 5097k| 543.8 | 323M | 74 |6581 |3992 | 399 | 289 | 1 |4921 | 38 | 0.000000e+00 | -- | Inf | unknown
1059.58/1062.36 c 1062s| 6100 | 65 | 5151k| 543.8 | 323M | 74 |6581 |4036 | 399 | 289 | 1 |4985 | 38 | 0.000000e+00 | -- | Inf | unknown
1067.96/1070.77 c 1071s| 6200 | 63 | 5195k| 542.7 | 324M | 74 |6581 |4074 | 399 | 289 | 0 |5035 | 38 | 0.000000e+00 | -- | Inf | unknown
1076.03/1078.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1076.03/1078.84 c 1079s| 6300 | 61 | 5238k| 541.5 | 324M | 74 |6581 |4126 | 399 | 289 | 0 |5088 | 38 | 0.000000e+00 | -- | Inf | unknown
1085.81/1088.65 c 1089s| 6400 | 55 | 5289k| 541.2 | 324M | 74 |6581 |4171 | 399 | 289 | 1 |5146 | 38 | 0.000000e+00 | -- | Inf | unknown
1097.58/1100.48 c 1100s| 6500 | 57 | 5350k| 541.8 | 324M | 74 |6581 |4127 | 399 | 289 | 0 |5203 | 38 | 0.000000e+00 | -- | Inf | unknown
1109.26/1112.13 c 1112s| 6600 | 59 | 5408k| 542.3 | 324M | 74 |6581 |4131 | 402 | 295 | 1 |5247 | 38 | 0.000000e+00 | -- | Inf | unknown
1123.12/1126.04 c 1126s| 6700 | 57 | 5480k| 544.1 | 324M | 74 |6581 |4122 | 399 | 297 | 1 |5264 | 38 | 0.000000e+00 | -- | Inf | unknown
1130.50/1133.48 c 1133s| 6800 | 59 | 5519k| 542.5 | 324M | 74 |6581 |4160 | 399 | 297 | 0 |5322 | 38 | 0.000000e+00 | -- | Inf | unknown
1140.57/1143.54 c 1144s| 6900 | 59 | 5570k| 542.2 | 324M | 74 |6581 |4200 | 399 | 300 | 0 |5371 | 38 | 0.000000e+00 | -- | Inf | unknown
1152.64/1155.61 c 1156s| 7000 | 57 | 5630k| 542.8 | 325M | 74 |6581 |4212 | 401 | 307 | 0 |5424 | 38 | 0.000000e+00 | -- | Inf | unknown
1166.81/1169.86 c 1170s| 7100 | 59 | 5703k| 544.5 | 325M | 74 |6581 |4166 | 402 | 313 | 0 |5454 | 38 | 0.000000e+00 | -- | Inf | unknown
1174.00/1177.10 c 1177s| 7200 | 61 | 5740k| 542.9 | 325M | 74 |6581 |4182 | 399 | 313 | 1 |5507 | 38 | 0.000000e+00 | -- | Inf | unknown
1183.27/1186.30 c 1186s| 7300 | 63 | 5787k| 542.2 | 325M | 74 |6581 |4219 | 399 | 320 | 1 |5575 | 38 | 0.000000e+00 | -- | Inf | unknown
1195.24/1198.36 c 1198s| 7400 | 61 | 5848k| 542.8 | 325M | 74 |6581 |4236 | 399 | 325 | 1 |5622 | 38 | 0.000000e+00 | -- | Inf | unknown
1206.51/1209.67 c 1210s| 7500 | 59 | 5906k| 543.2 | 325M | 74 |6581 |4286 | 399 | 329 | 0 |5675 | 38 | 0.000000e+00 | -- | Inf | unknown
1217.28/1220.49 c 1220s| 7600 | 61 | 5961k| 543.3 | 325M | 74 |6581 |4315 | 399 | 331 | 0 |5726 | 38 | 0.000000e+00 | -- | Inf | unknown
1232.25/1235.47 c 1235s| 7700 | 61 | 6039k| 545.4 | 325M | 74 |6581 |4355 | 399 | 333 | 1 |5780 | 38 | 0.000000e+00 | -- | Inf | unknown
1242.93/1246.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1242.93/1246.12 c 1246s| 7800 | 61 | 6095k| 545.5 | 325M | 88 |6581 |4358 | 402 | 336 | 0 |5783 | 38 | 0.000000e+00 | -- | Inf | unknown
1255.29/1258.56 c 1259s| 7900 | 61 | 6158k| 546.3 | 325M | 91 |6581 |4395 | 399 | 344 | 1 |5830 | 38 | 0.000000e+00 | -- | Inf | unknown
1269.36/1272.67 c 1273s| 8000 | 61 | 6229k| 547.7 | 325M | 91 |6581 |4436 | 402 | 356 | 1 |5874 | 38 | 0.000000e+00 | -- | Inf | unknown
1281.53/1284.89 c 1285s| 8100 | 59 | 6291k| 548.4 | 325M | 91 |6581 |4478 | 402 | 359 | 0 |5921 | 38 | 0.000000e+00 | -- | Inf | unknown
1290.71/1294.01 c 1294s| 8200 | 57 | 6338k| 547.7 | 325M | 91 |6581 |4495 | 403 | 361 | 0 |5948 | 38 | 0.000000e+00 | -- | Inf | unknown
1301.08/1304.49 c 1304s| 8300 | 63 | 6392k| 547.6 | 325M | 91 |6581 |4419 | 399 | 361 | 0 |5986 | 38 | 0.000000e+00 | -- | Inf | unknown
1311.76/1315.16 c 1315s| 8400 | 65 | 6448k| 547.7 | 325M | 91 |6581 |4438 | 399 | 361 | 1 |6045 | 38 | 0.000000e+00 | -- | Inf | unknown
1323.32/1326.76 c 1327s| 8500 | 67 | 6509k| 548.3 | 325M | 91 |6581 |4469 | 399 | 361 | 0 |6122 | 38 | 0.000000e+00 | -- | Inf | unknown
1336.09/1339.51 c 1340s| 8600 | 73 | 6576k| 549.2 | 326M | 91 |6581 |4474 | 399 | 363 | 0 |6181 | 38 | 0.000000e+00 | -- | Inf | unknown
1345.57/1349.04 c 1349s| 8700 | 71 | 6626k| 548.9 | 326M | 91 |6581 |4471 | 399 | 363 | 0 |6237 | 38 | 0.000000e+00 | -- | Inf | unknown
1355.65/1359.14 c 1359s| 8800 | 69 | 6679k| 548.7 | 326M | 91 |6581 |4482 | 399 | 363 | 0 |6297 | 38 | 0.000000e+00 | -- | Inf | unknown
1366.71/1370.25 c 1370s| 8900 | 75 | 6735k| 548.8 | 326M | 91 |6581 |4519 | 399 | 364 | 1 |6361 | 38 | 0.000000e+00 | -- | Inf | unknown
1378.58/1382.13 c 1382s| 9000 | 81 | 6796k| 549.3 | 326M | 91 |6581 |4537 | 401 | 368 | 1 |6387 | 38 | 0.000000e+00 | -- | Inf | unknown
1386.66/1390.25 c 1390s| 9100 | 79 | 6840k| 548.4 | 326M | 91 |6581 |4548 | 401 | 368 | 0 |6398 | 38 | 0.000000e+00 | -- | Inf | unknown
1392.74/1396.35 c 1396s| 9200 | 79 | 6872k| 546.6 | 326M | 98 |6581 |4560 | 401 | 368 | 1 |6410 | 38 | 0.000000e+00 | -- | Inf | unknown
1402.22/1405.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1402.22/1405.88 c 1406s| 9300 | 83 | 6920k| 546.1 | 327M | 105 |6581 |4573 | 403 | 379 | 1 |6425 | 38 | 0.000000e+00 | -- | Inf | unknown
1411.70/1415.36 c 1415s| 9400 | 83 | 6970k| 545.7 | 327M | 105 |6581 |4598 | 403 | 379 | 1 |6450 | 38 | 0.000000e+00 | -- | Inf | unknown
1418.49/1422.19 c 1422s| 9500 | 81 | 7006k| 544.3 | 328M | 111 |6581 |4611 | 403 | 379 | 0 |6464 | 38 | 0.000000e+00 | -- | Inf | unknown
1425.86/1429.55 c 1430s| 9600 | 81 | 7043k| 542.9 | 328M | 144 |6581 |4621 | 401 | 384 | 0 |6474 | 38 | 0.000000e+00 | -- | Inf | unknown
1441.33/1445.03 c 1445s| 9700 | 83 | 7124k| 545.0 | 328M | 144 |6581 |4645 | 402 | 388 | 1 |6499 | 38 | 0.000000e+00 | -- | Inf | unknown
1455.89/1459.61 c 1460s| 9800 | 81 | 7202k| 546.7 | 328M | 144 |6581 |4665 | 401 | 388 | 1 |6521 | 38 | 0.000000e+00 | -- | Inf | unknown
1464.87/1468.68 c 1469s| 9900 | 81 | 7249k| 546.1 | 328M | 175 |6581 |4692 | 403 | 391 | 1 |6548 | 38 | 0.000000e+00 | -- | Inf | unknown
1476.94/1480.79 c 1481s| 10000 | 79 | 7311k| 546.7 | 328M | 177 |6581 |4727 | 401 | 400 | 1 |6589 | 38 | 0.000000e+00 | -- | Inf | unknown
1486.42/1490.24 c 1490s| 10100 | 77 | 7361k| 546.4 | 328M | 177 |6581 |4755 | 402 | 400 | 0 |6618 | 38 | 0.000000e+00 | -- | Inf | unknown
1493.90/1497.78 c 1498s| 10200 | 79 | 7400k| 545.2 | 328M | 179 |6581 |4772 | 399 | 402 | 0 |6655 | 38 | 0.000000e+00 | -- | Inf | unknown
1505.37/1509.23 c 1509s| 10300 | 81 | 7458k| 545.5 | 328M | 179 |6581 |4823 | 401 | 409 | 0 |6714 | 38 | 0.000000e+00 | -- | Inf | unknown
1516.35/1520.22 c 1520s| 10400 | 79 | 7515k| 545.7 | 328M | 179 |6581 |4841 | 400 | 413 | 1 |6740 | 38 | 0.000000e+00 | -- | Inf | unknown
1523.03/1526.96 c 1527s| 10500 | 77 | 7550k| 544.2 | 329M | 179 |6581 |4881 | 399 | 413 | 0 |6795 | 38 | 0.000000e+00 | -- | Inf | unknown
1533.30/1537.24 c 1537s| 10600 | 75 | 7604k| 544.2 | 329M | 179 |6581 |4923 | 399 | 417 | 0 |6856 | 38 | 0.000000e+00 | -- | Inf | unknown
1549.66/1553.66 c 1554s| 10700 | 79 | 7689k| 546.4 | 329M | 179 |6581 |4953 | 399 | 423 | 0 |6899 | 38 | 0.000000e+00 | -- | Inf | unknown
1563.63/1567.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1563.63/1567.61 c 1568s| 10800 | 79 | 7759k| 547.5 | 329M | 179 |6581 |4983 | 402 | 434 | 0 |6929 | 38 | 0.000000e+00 | -- | Inf | unknown
1573.40/1577.44 c 1577s| 10900 | 73 | 7810k| 547.2 | 329M | 179 |6581 |5007 | 399 | 440 | 1 |6980 | 38 | 0.000000e+00 | -- | Inf | unknown
1581.18/1585.20 c 1585s| 11000 | 79 | 7850k| 546.2 | 329M | 179 |6581 |5012 | 399 | 440 | 0 |7025 | 38 | 0.000000e+00 | -- | Inf | unknown
1590.36/1594.41 c 1594s| 11100 | 81 | 7898k| 545.7 | 330M | 179 |6581 |5038 | 399 | 440 | 0 |7083 | 38 | 0.000000e+00 | -- | Inf | unknown
1602.63/1606.75 c 1607s| 11200 | 83 | 7964k| 546.5 | 330M | 179 |6581 |5052 | 399 | 442 | 0 |7133 | 38 | 0.000000e+00 | -- | Inf | unknown
1609.81/1613.92 c 1614s| 11300 | 85 | 8000k| 545.3 | 330M | 179 |6581 |5077 | 401 | 444 | 1 |7159 | 38 | 0.000000e+00 | -- | Inf | unknown
1618.49/1622.66 c 1623s| 11400 | 83 | 8046k| 544.6 | 331M | 179 |6581 |5111 | 399 | 445 | 1 |7197 | 38 | 0.000000e+00 | -- | Inf | unknown
1635.45/1639.65 c 1640s| 11500 | 85 | 8136k| 547.0 | 331M | 179 |6581 |5138 | 401 | 447 | 0 |7224 | 38 | 0.000000e+00 | -- | Inf | unknown
1645.63/1649.80 c 1650s| 11600 | 85 | 8188k| 546.9 | 331M | 179 |6581 |5157 | 401 | 450 | 1 |7259 | 38 | 0.000000e+00 | -- | Inf | unknown
1655.31/1659.51 c 1660s| 11700 | 81 | 8239k| 546.6 | 331M | 179 |6581 |5182 | 401 | 452 | 1 |7285 | 38 | 0.000000e+00 | -- | Inf | unknown
1662.89/1667.19 c 1667s| 11800 | 81 | 8278k| 545.6 | 331M | 179 |6581 |5211 | 399 | 455 | 0 |7319 | 38 | 0.000000e+00 | -- | Inf | unknown
1671.87/1676.14 c 1676s| 11900 | 83 | 8322k| 544.9 | 332M | 179 |6581 |5250 | 401 | 464 | 1 |7360 | 38 | 0.000000e+00 | -- | Inf | unknown
1681.45/1685.70 c 1686s| 12000 | 79 | 8371k| 544.5 | 332M | 179 |6581 |5286 | 401 | 470 | 0 |7397 | 38 | 0.000000e+00 | -- | Inf | unknown
1689.33/1693.60 c 1694s| 12100 | 79 | 8411k| 543.6 | 332M | 179 |6581 |5313 | 403 | 477 | 0 |7432 | 38 | 0.000000e+00 | -- | Inf | unknown
1700.20/1704.52 c 1705s| 12200 | 81 | 8467k| 543.7 | 332M | 179 |6581 |5362 | 401 | 482 | 1 |7493 | 38 | 0.000000e+00 | -- | Inf | unknown
1710.88/1715.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1710.88/1715.21 c 1715s| 12300 | 77 | 8523k| 543.8 | 332M | 179 |6581 |5381 | 399 | 485 | 1 |7535 | 38 | 0.000000e+00 | -- | Inf | unknown
1719.26/1723.60 c 1724s| 12400 | 77 | 8566k| 543.1 | 332M | 179 |6581 |5427 | 399 | 488 | 1 |7598 | 38 | 0.000000e+00 | -- | Inf | unknown
1728.53/1732.91 c 1733s| 12500 | 77 | 8614k| 542.7 | 333M | 179 |6581 |5457 | 399 | 500 | 0 |7672 | 38 | 0.000000e+00 | -- | Inf | unknown
1737.31/1741.74 c 1742s| 12600 | 81 | 8659k| 542.1 | 334M | 179 |6581 |5496 | 403 | 504 | 0 |7725 | 38 | 0.000000e+00 | -- | Inf | unknown
1746.19/1750.68 c 1751s| 12700 | 83 | 8705k| 541.6 | 334M | 179 |6581 |5540 | 399 | 509 | 1 |7770 | 38 | 0.000000e+00 | -- | Inf | unknown
1754.07/1758.51 c 1759s| 12800 | 79 | 8745k| 540.7 | 334M | 179 |6581 |5582 | 399 | 512 | 0 |7812 | 38 | 0.000000e+00 | -- | Inf | unknown
1759.86/1764.32 c 1764s| 12900 | 77 | 8775k| 539.2 | 334M | 179 |6581 |5624 | 399 | 514 | 0 |7855 | 38 | 0.000000e+00 | -- | Inf | unknown
1767.74/1772.25 c 1772s| 13000 | 81 | 8814k| 538.3 | 335M | 179 |6581 |5671 | 399 | 518 | 1 |7914 | 38 | 0.000000e+00 | -- | Inf | unknown
1777.62/1782.10 c 1782s| 13100 | 79 | 8865k| 538.1 | 335M | 179 |6581 |5717 | 401 | 527 | 0 |7960 | 38 | 0.000000e+00 | -- | Inf | unknown
1787.60/1792.10 c 1792s| 13200 | 81 | 8916k| 538.0 | 335M | 179 |6581 |5749 | 400 | 531 | 1 |7999 | 38 | 0.000000e+00 | -- | Inf | unknown
1795.08/1799.68 c 1800s| 13300 | 81 | 8956k| 537.1 | 336M | 179 |6581 |5783 | 400 | 531 | 1 |8033 | 38 | 0.000000e+00 | -- | Inf | unknown
1802.06/1806.62 c 1807s| 13400 | 79 | 8992k| 536.1 | 336M | 179 |6581 |5814 | 400 | 533 | 0 |8065 | 38 | 0.000000e+00 | -- | Inf | unknown
1809.94/1814.58 c 1815s| 13500 | 77 | 9033k| 535.3 | 336M | 179 |6581 |5828 | 401 | 537 | 0 |8079 | 38 | 0.000000e+00 | -- | Inf | unknown
1819.52/1824.11 c 1824s| 13600 | 79 | 9082k| 535.0 | 336M | 179 |6581 |5878 | 401 | 542 | 0 |8134 | 38 | 0.000000e+00 | -- | Inf | unknown
1828.70/1833.36 c 1833s| 13700 | 81 | 9130k| 534.7 | 336M | 179 |6581 |5927 | 403 | 546 | 0 |8183 | 38 | 0.000000e+00 | -- | Inf | unknown
1840.87/1845.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1840.87/1845.51 c 1846s| 13800 | 85 | 9192k| 535.3 | 336M | 179 |6581 |5963 | 401 | 551 | 1 |8230 | 38 | 0.000000e+00 | -- | Inf | unknown
1848.05/1852.76 c 1853s| 13900 | 83 | 9230k| 534.3 | 336M | 179 |6581 |5998 | 401 | 551 | 0 |8265 | 38 | 0.000000e+00 | -- | Inf | unknown
1855.14/1859.81 c 1860s| 14000 | 81 | 9266k| 533.3 | 336M | 179 |6581 |6031 | 402 | 554 | 0 |8303 | 38 | 0.000000e+00 | -- | Inf | unknown
1867.41/1872.17 c 1872s| 14100 | 83 | 9329k| 533.9 | 337M | 179 |6581 |6057 | 401 | 563 | 1 |8330 | 38 | 0.000000e+00 | -- | Inf | unknown
1876.79/1881.53 c 1882s| 14200 | 81 | 9377k| 533.6 | 337M | 179 |6581 |6091 | 400 | 566 | 0 |8364 | 38 | 0.000000e+00 | -- | Inf | unknown
1884.47/1889.22 c 1889s| 14300 | 81 | 9415k| 532.7 | 337M | 179 |6581 |6122 | 399 | 575 | 0 |8408 | 38 | 0.000000e+00 | -- | Inf | unknown
1894.14/1898.97 c 1899s| 14400 | 81 | 9464k| 532.4 | 337M | 179 |6581 |6159 | 401 | 586 | 1 |8448 | 38 | 0.000000e+00 | -- | Inf | unknown
1903.33/1908.18 c 1908s| 14500 | 83 | 9511k| 532.1 | 337M | 179 |6581 |6209 | 399 | 589 | 1 |8500 | 38 | 0.000000e+00 | -- | Inf | unknown
1913.70/1918.53 c 1919s| 14600 | 81 | 9562k| 532.0 | 337M | 179 |6581 |6237 | 401 | 601 | 2 |8531 | 38 | 0.000000e+00 | -- | Inf | unknown
1922.08/1926.97 c 1927s| 14700 | 81 | 9604k| 531.4 | 337M | 179 |6581 |6277 | 399 | 604 | 1 |8577 | 38 | 0.000000e+00 | -- | Inf | unknown
1933.05/1937.91 c 1938s| 14800 | 79 | 9658k| 531.4 | 337M | 179 |6581 |6280 | 400 | 616 | 0 |8616 | 38 | 0.000000e+00 | -- | Inf | unknown
1943.53/1948.44 c 1948s| 14900 | 79 | 9712k| 531.5 | 337M | 179 |6581 |6309 | 402 | 627 | 1 |8647 | 38 | 0.000000e+00 | -- | Inf | unknown
1954.30/1959.21 c 1959s| 15000 | 77 | 9768k| 531.6 | 338M | 179 |6581 |6355 | 401 | 631 | 0 |8697 | 38 | 0.000000e+00 | -- | Inf | unknown
1974.16/1979.14 c 1979s| 15100 | 83 | 9810k| 531.0 | 338M | 179 |6581 |6314 | 401 | 641 | 2 |8746 | 38 | 0.000000e+00 | -- | Inf | unknown
1982.24/1987.27 c 1987s| 15200 | 83 | 9851k| 530.3 | 338M | 179 |6581 |6296 | 401 | 648 | 1 |8791 | 38 | 0.000000e+00 | -- | Inf | unknown
1991.61/1996.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1991.61/1996.65 c 1997s| 15300 | 83 | 9898k| 530.0 | 338M | 179 |6581 |6317 | 399 | 652 | 0 |8837 | 38 | 0.000000e+00 | -- | Inf | unknown
2001.89/2006.92 c 2007s| 15400 | 81 | 9951k| 530.0 | 338M | 179 |6581 |6330 | 399 | 657 | 0 |8878 | 38 | 0.000000e+00 | -- | Inf | unknown
2010.37/2015.46 c 2015s| 15500 | 81 | 9993k| 529.4 | 339M | 179 |6581 |6339 | 401 | 668 | 0 |8915 | 38 | 0.000000e+00 | -- | Inf | unknown
2022.64/2027.79 c 2028s| 15600 | 81 | 10057k| 530.0 | 339M | 179 |6581 |6360 | 403 | 675 | 1 |8942 | 38 | 0.000000e+00 | -- | Inf | unknown
2030.72/2035.84 c 2036s| 15700 | 77 | 10099k| 529.4 | 339M | 179 |6581 |6389 | 399 | 677 | 0 |8972 | 38 | 0.000000e+00 | -- | Inf | unknown
2040.20/2045.30 c 2045s| 15800 | 81 | 10147k| 529.2 | 339M | 179 |6581 |6408 | 401 | 681 | 1 |9006 | 38 | 0.000000e+00 | -- | Inf | unknown
2046.78/2051.91 c 2052s| 15900 | 79 | 10181k| 528.2 | 339M | 179 |6581 |6431 | 401 | 681 | 1 |9044 | 38 | 0.000000e+00 | -- | Inf | unknown
2057.56/2062.70 c 2063s| 16000 | 77 | 10237k| 528.4 | 339M | 179 |6581 |6460 | 399 | 684 | 0 |9073 | 38 | 0.000000e+00 | -- | Inf | unknown
2067.94/2073.16 c 2073s| 16100 | 81 | 10289k| 528.3 | 340M | 179 |6581 |6432 | 400 | 695 | 1 |9112 | 38 | 0.000000e+00 | -- | Inf | unknown
2077.71/2082.94 c 2083s| 16200 | 81 | 10339k| 528.2 | 340M | 179 |6581 |6399 | 401 | 699 | 1 |9154 | 38 | 0.000000e+00 | -- | Inf | unknown
2086.69/2092.00 c 2092s| 16300 | 81 | 10386k| 527.9 | 340M | 179 |6581 |6357 | 399 | 701 | 1 |9189 | 38 | 0.000000e+00 | -- | Inf | unknown
2093.78/2099.02 c 2099s| 16400 | 83 | 10421k| 527.0 | 340M | 179 |6581 |6377 | 399 | 706 | 1 |9232 | 38 | 0.000000e+00 | -- | Inf | unknown
2102.95/2108.22 c 2108s| 16500 | 85 | 10468k| 526.7 | 340M | 179 |6581 |6385 | 401 | 712 | 1 |9279 | 38 | 0.000000e+00 | -- | Inf | unknown
2112.33/2117.60 c 2118s| 16600 | 85 | 10517k| 526.5 | 341M | 179 |6581 |6397 | 399 | 715 | 1 |9319 | 38 | 0.000000e+00 | -- | Inf | unknown
2123.81/2129.19 c 2129s| 16700 | 87 | 10576k| 526.8 | 341M | 179 |6581 |6401 | 399 | 722 | 1 |9358 | 38 | 0.000000e+00 | -- | Inf | unknown
2132.18/2137.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2132.18/2137.55 c 2138s| 16800 | 85 | 10618k| 526.3 | 341M | 179 |6581 |6438 | 401 | 726 | 0 |9397 | 38 | 0.000000e+00 | -- | Inf | unknown
2141.16/2146.59 c 2147s| 16900 | 89 | 10664k| 526.0 | 341M | 179 |6581 |6473 | 400 | 736 | 1 |9440 | 38 | 0.000000e+00 | -- | Inf | unknown
2150.33/2155.70 c 2156s| 17000 | 87 | 10710k| 525.6 | 341M | 179 |6581 |6505 | 402 | 740 | 1 |9476 | 38 | 0.000000e+00 | -- | Inf | unknown
2161.61/2167.00 c 2167s| 17100 | 85 | 10767k| 525.9 | 341M | 179 |6581 |6524 | 402 | 750 | 1 |9509 | 38 | 0.000000e+00 | -- | Inf | unknown
2170.48/2175.98 c 2176s| 17200 | 85 | 10813k| 525.5 | 341M | 179 |6581 |6529 | 399 | 753 | 0 |9535 | 38 | 0.000000e+00 | -- | Inf | unknown
2177.96/2183.41 c 2183s| 17300 | 85 | 10851k| 524.8 | 341M | 179 |6581 |6576 | 399 | 753 | 1 |9582 | 38 | 0.000000e+00 | -- | Inf | unknown
2187.04/2192.57 c 2193s| 17400 | 83 | 10899k| 524.6 | 341M | 179 |6581 |6618 | 399 | 753 | 0 |9633 | 38 | 0.000000e+00 | -- | Inf | unknown
2195.12/2200.69 c 2201s| 17500 | 81 | 10942k| 524.2 | 341M | 179 |6581 |6656 | 399 | 753 | 1 |9682 | 38 | 0.000000e+00 | -- | Inf | unknown
2203.61/2209.15 c 2209s| 17600 | 81 | 10985k| 523.7 | 341M | 179 |6581 |6674 | 399 | 755 | 1 |9749 | 38 | 0.000000e+00 | -- | Inf | unknown
2215.67/2221.22 c 2221s| 17700 | 83 | 11045k| 524.1 | 342M | 179 |6581 |6708 | 400 | 765 | 1 |9798 | 38 | 0.000000e+00 | -- | Inf | unknown
2225.95/2231.51 c 2232s| 17800 | 83 | 11095k| 524.0 | 342M | 179 |6581 |6730 | 400 | 777 | 0 |9847 | 38 | 0.000000e+00 | -- | Inf | unknown
2236.22/2241.81 c 2242s| 17900 | 79 | 11147k| 523.9 | 343M | 179 |6581 |6733 | 399 | 785 | 1 |9883 | 38 | 0.000000e+00 | -- | Inf | unknown
2244.00/2249.69 c 2250s| 18000 | 81 | 11187k| 523.3 | 343M | 179 |6581 |6655 | 399 | 790 | 1 |9936 | 38 | 0.000000e+00 | -- | Inf | unknown
2252.98/2258.65 c 2259s| 18100 | 83 | 11231k| 523.0 | 343M | 179 |6581 |6652 | 399 | 797 | 1 |9996 | 38 | 0.000000e+00 | -- | Inf | unknown
2260.96/2266.67 c 2267s| 18200 | 81 | 11272k| 522.4 | 343M | 179 |6581 |6628 | 399 | 802 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2269.24/2274.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2269.24/2274.96 c 2275s| 18300 | 81 | 11315k| 522.0 | 343M | 179 |6581 |6646 | 399 | 802 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2277.32/2283.04 c 2283s| 18400 | 81 | 11354k| 521.4 | 343M | 179 |6581 |6664 | 399 | 811 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2288.30/2294.02 c 2294s| 18500 | 81 | 11409k| 521.5 | 343M | 179 |6581 |6674 | 402 | 821 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2299.46/2305.20 c 2305s| 18600 | 79 | 11465k| 521.7 | 343M | 179 |6581 |6697 | 401 | 826 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2308.14/2313.90 c 2314s| 18700 | 77 | 11508k| 521.3 | 343M | 179 |6581 |6636 | 399 | 838 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2318.02/2323.83 c 2324s| 18800 | 75 | 11557k| 521.1 | 343M | 179 |6581 |6648 | 402 | 844 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2328.49/2334.36 c 2334s| 18900 | 77 | 11611k| 521.3 | 346M | 179 |6581 |6642 | 399 | 848 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2337.97/2343.84 c 2344s| 19000 | 81 | 11659k| 521.1 | 347M | 179 |6581 |6663 | 400 | 853 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2348.25/2354.11 c 2354s| 19100 | 79 | 11712k| 521.1 | 347M | 179 |6581 |6703 | 399 | 855 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2357.72/2363.63 c 2364s| 19200 | 77 | 11759k| 520.9 | 347M | 179 |6581 |6751 | 403 | 865 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2367.29/2373.25 c 2373s| 19300 | 77 | 11809k| 520.8 | 347M | 179 |6581 |6774 | 402 | 870 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2378.47/2384.40 c 2384s| 19400 | 79 | 11866k| 521.0 | 347M | 179 |6581 |6788 | 399 | 876 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2391.23/2397.21 c 2397s| 19500 | 79 | 11934k| 521.7 | 347M | 179 |6581 |6794 | 402 | 876 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2399.71/2405.79 c 2406s| 19600 | 81 | 11977k| 521.3 | 347M | 179 |6581 |6827 | 399 | 881 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2412.09/2418.13 c 2418s| 19700 | 81 | 12041k| 521.8 | 347M | 179 |6581 |6869 | 399 | 882 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2422.07/2428.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2422.07/2428.17 c 2428s| 19800 | 81 | 12094k| 521.9 | 347M | 179 |6581 |6889 | 402 | 882 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2429.54/2435.60 c 2436s| 19900 | 77 | 12133k| 521.3 | 347M | 179 |6581 |6898 | 400 | 882 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2437.93/2444.06 c 2444s| 20000 | 79 | 12177k| 520.9 | 347M | 179 |6581 |6907 | 399 | 882 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2448.80/2454.97 c 2455s| 20100 | 77 | 12232k| 521.0 | 348M | 179 |6581 |6938 | 400 | 891 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2457.78/2463.91 c 2464s| 20200 | 81 | 12278k| 520.8 | 349M | 179 |6581 |6964 | 399 | 891 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2469.05/2475.22 c 2475s| 20300 | 77 | 12337k| 521.1 | 349M | 179 |6581 |7002 | 402 | 894 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2478.33/2484.53 c 2485s| 20400 | 79 | 12385k| 520.9 | 349M | 179 |6581 |7040 | 399 | 901 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2487.51/2493.78 c 2494s| 20500 | 79 | 12432k| 520.7 | 349M | 179 |6581 |7081 | 399 | 911 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2499.27/2505.53 c 2506s| 20600 | 77 | 12492k| 521.0 | 349M | 179 |6581 |7121 | 399 | 920 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
2509.55/2515.86 c 2516s| 20700 | 77 | 12543k| 521.0 | 349M | 179 |6581 |7164 | 399 | 931 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2518.33/2524.65 c 2525s| 20800 | 79 | 12588k| 520.7 | 349M | 179 |6581 |7192 | 399 | 935 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2529.50/2535.89 c 2536s| 20900 | 77 | 12644k| 520.9 | 349M | 179 |6581 |7219 | 401 | 945 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2543.36/2549.76 c 2550s| 21000 | 79 | 12717k| 521.7 | 349M | 179 |6581 |7255 | 401 | 949 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2551.54/2557.99 c 2558s| 21100 | 79 | 12760k| 521.3 | 349M | 179 |6581 |7277 | 402 | 952 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2560.62/2567.04 c 2567s| 21200 | 77 | 12807k| 521.1 | 349M | 179 |6581 |7313 | 401 | 954 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2569.40/2575.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2569.40/2575.90 c 2576s| 21300 | 79 | 12851k| 520.8 | 349M | 179 |6581 |7327 | 400 | 965 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2580.47/2586.93 c 2587s| 21400 | 79 | 12907k| 520.9 | 349M | 179 |6581 |7346 | 401 | 975 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2590.84/2597.35 c 2597s| 21500 | 77 | 12959k| 521.0 | 350M | 179 |6581 |7372 | 399 | 987 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2605.51/2612.01 c 2612s| 21600 | 79 | 13037k| 522.0 | 350M | 179 |6581 |7415 | 402 | 990 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2615.08/2621.60 c 2622s| 21700 | 79 | 13088k| 521.9 | 350M | 179 |6581 |7463 | 402 | 990 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2621.77/2628.35 c 2628s| 21800 | 79 | 13122k| 521.2 | 351M | 179 |6581 |7496 | 399 | 992 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2631.34/2637.96 c 2638s| 21900 | 79 | 13171k| 521.1 | 351M | 179 |6581 |7514 | 401 | 997 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2643.11/2649.75 c 2650s| 22000 | 77 | 13233k| 521.5 | 351M | 179 |6581 |7532 | 401 |1001 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2652.49/2659.16 c 2659s| 22100 | 79 | 13282k| 521.4 | 351M | 179 |6581 |7557 | 401 |1001 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2659.67/2666.36 c 2666s| 22200 | 79 | 13320k| 520.8 | 351M | 179 |6581 |7576 | 401 |1001 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2668.55/2675.22 c 2675s| 22300 | 75 | 13366k| 520.6 | 351M | 179 |6581 |7597 | 401 |1004 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2679.52/2686.28 c 2686s| 22400 | 75 | 13425k| 520.8 | 351M | 179 |6581 |7616 | 401 |1004 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2689.20/2695.92 c 2696s| 22500 | 81 | 13474k| 520.7 | 351M | 179 |6581 |7654 | 402 |1009 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2698.48/2705.23 c 2705s| 22600 | 77 | 13519k| 520.4 | 351M | 179 |6581 |7668 | 401 |1024 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2711.65/2718.48 c 2718s| 22700 | 79 | 13588k| 521.1 | 351M | 179 |6581 |7696 | 402 |1027 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2718.43/2725.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2718.43/2725.20 c 2725s| 22800 | 79 | 13623k| 520.4 | 351M | 179 |6581 |7723 | 402 |1027 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2726.01/2732.87 c 2733s| 22900 | 79 | 13663k| 520.0 | 351M | 179 |6581 |7743 | 402 |1027 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2735.69/2742.53 c 2743s| 23000 | 77 | 13713k| 519.9 | 351M | 179 |6581 |7776 | 402 |1027 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2745.46/2752.30 c 2752s| 23100 | 79 | 13764k| 519.9 | 351M | 179 |6581 |7803 | 402 |1027 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2755.54/2762.44 c 2762s| 23200 | 79 | 13815k| 519.9 | 351M | 179 |6581 |7838 | 402 |1030 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2762.32/2769.28 c 2769s| 23300 | 79 | 13848k| 519.1 | 351M | 179 |6581 |7860 | 399 |1041 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2770.40/2777.37 c 2777s| 23400 | 77 | 13885k| 518.6 | 351M | 179 |6581 |7874 | 401 |1061 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2777.88/2784.84 c 2785s| 23500 | 77 | 13923k| 518.1 | 351M | 179 |6581 |7876 | 401 |1064 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2785.96/2793.00 c 2793s| 23600 | 79 | 13963k| 517.6 | 351M | 179 |6581 |7914 | 401 |1073 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2794.64/2801.69 c 2802s| 23700 | 77 | 14005k| 517.2 | 351M | 179 |6581 |7952 | 399 |1086 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
2804.71/2811.71 c 2812s| 23800 | 77 | 14055k| 517.2 | 351M | 179 |6581 |7987 | 401 |1097 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2811.79/2818.81 c 2819s| 23900 | 77 | 14091k| 516.6 | 351M | 179 |6581 |7956 | 402 |1103 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2819.68/2826.72 c 2827s| 24000 | 77 | 14130k| 516.1 | 351M | 179 |6581 |7911 | 399 |1113 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2827.86/2834.95 c 2835s| 24100 | 77 | 14172k| 515.8 | 352M | 179 |6581 |7907 | 399 |1115 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2836.63/2843.75 c 2844s| 24200 | 81 | 14216k| 515.5 | 352M | 179 |6581 |7836 | 399 |1123 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2848.50/2855.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2848.50/2855.68 c 2856s| 24300 | 79 | 14277k| 515.8 | 352M | 179 |6581 |7766 | 400 |1134 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2856.68/2863.85 c 2864s| 24400 | 79 | 14318k| 515.5 | 352M | 179 |6581 |7750 | 399 |1141 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2865.26/2872.45 c 2872s| 24500 | 79 | 14361k| 515.2 | 352M | 179 |6581 |7577 | 401 |1147 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2874.34/2881.56 c 2882s| 24600 | 81 | 14408k| 515.0 | 352M | 179 |6581 |7535 | 399 |1152 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2882.32/2889.53 c 2890s| 24700 | 83 | 14448k| 514.6 | 352M | 179 |6581 |7547 | 399 |1156 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2892.49/2899.70 c 2900s| 24800 | 83 | 14499k| 514.6 | 352M | 179 |6581 |7528 | 402 |1164 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2905.46/2912.75 c 2913s| 24900 | 83 | 14565k| 515.1 | 352M | 179 |6581 |7534 | 402 |1182 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2919.63/2926.98 c 2927s| 25000 | 83 | 14636k| 515.8 | 352M | 179 |6581 |7567 | 401 |1197 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2930.20/2937.51 c 2938s| 25100 | 81 | 14690k| 515.9 | 352M | 179 |6581 |7594 | 402 |1202 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2940.58/2947.98 c 2948s| 25200 | 79 | 14744k| 515.9 | 352M | 179 |6581 |7639 | 399 |1206 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2952.35/2959.77 c 2960s| 25300 | 79 | 14805k| 516.3 | 352M | 179 |6581 |7670 | 399 |1209 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2963.93/2971.36 c 2971s| 25400 | 79 | 14866k| 516.6 | 352M | 179 |6581 |7686 | 401 |1211 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2975.90/2983.35 c 2983s| 25500 | 77 | 14929k| 517.0 | 352M | 179 |6581 |7724 | 401 |1211 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
2986.87/2994.38 c 2994s| 25600 | 77 | 14986k| 517.2 | 352M | 179 |6581 |7737 | 399 |1214 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
3000.34/3007.82 c 3008s| 25700 | 81 | 15054k| 517.7 | 352M | 179 |6581 |7725 | 402 |1223 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
3008.53/3016.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3008.53/3016.04 c 3016s| 25800 | 79 | 15096k| 517.4 | 352M | 179 |6581 |7748 | 399 |1229 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
3021.89/3029.43 c 3029s| 25900 | 79 | 15166k| 518.0 | 352M | 179 |6581 |7790 | 400 |1235 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
3033.06/3040.66 c 3041s| 26000 | 79 | 15224k| 518.2 | 353M | 179 |6581 |7819 | 400 |1243 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
3045.23/3052.88 c 3053s| 26100 | 79 | 15288k| 518.7 | 353M | 179 |6581 |7782 | 399 |1246 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
3055.61/3063.26 c 3063s| 26200 | 75 | 15341k| 518.7 | 353M | 179 |6581 |7704 | 399 |1255 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
3064.69/3072.34 c 3072s| 26300 | 79 | 15386k| 518.5 | 353M | 179 |6581 |7607 | 399 |1262 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3074.17/3081.83 c 3082s| 26400 | 79 | 15434k| 518.3 | 353M | 179 |6581 |7563 | 404 |1273 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3084.54/3092.27 c 3092s| 26500 | 77 | 15485k| 518.3 | 353M | 179 |6581 |7547 | 399 |1285 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3101.80/3109.55 c 3110s| 26600 | 77 | 15571k| 519.4 | 353M | 179 |6581 |7575 | 402 |1303 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3112.97/3120.73 c 3121s| 26700 | 79 | 15628k| 519.6 | 353M | 179 |6581 |7611 | 401 |1308 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3123.36/3131.19 c 3131s| 26800 | 79 | 15682k| 519.7 | 353M | 179 |6581 |7629 | 402 |1317 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3137.72/3145.51 c 3146s| 26900 | 79 | 15755k| 520.4 | 353M | 179 |6581 |7632 | 399 |1324 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3151.48/3159.30 c 3159s| 27000 | 77 | 15827k| 521.0 | 353M | 179 |6581 |7626 | 399 |1330 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3158.47/3166.33 c 3166s| 27100 | 79 | 15862k| 520.5 | 353M | 179 |6581 |7404 | 399 |1333 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3166.65/3174.57 c 3175s| 27200 | 77 | 15905k| 520.2 | 353M | 179 |6581 |7368 | 399 |1336 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3189.29/3197.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3189.29/3197.26 c 3197s| 27300 | 79 | 15970k| 520.6 | 353M | 179 |6581 |7166 | 399 |1343 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3202.26/3210.28 c 3210s| 27400 | 77 | 16037k| 521.1 | 353M | 179 |6581 |7066 | 401 |1348 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3210.75/3218.71 c 3219s| 27500 | 79 | 16080k| 520.8 | 353M | 179 |6581 |7060 | 399 |1354 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3221.62/3229.68 c 3230s| 27600 | 79 | 16134k| 520.9 | 353M | 179 |6581 |6924 | 399 |1364 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3235.49/3243.55 c 3244s| 27700 | 79 | 16205k| 521.5 | 353M | 179 |6581 |6798 | 399 |1371 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3245.97/3254.02 c 3254s| 27800 | 81 | 16259k| 521.5 | 353M | 179 |6581 |6798 | 399 |1375 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3256.94/3265.06 c 3265s| 27900 | 83 | 16316k| 521.7 | 353M | 179 |6581 |6788 | 399 |1381 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3267.02/3275.17 c 3275s| 28000 | 81 | 16367k| 521.7 | 353M | 179 |6581 |6810 | 400 |1387 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3277.89/3286.10 c 3286s| 28100 | 79 | 16423k| 521.8 | 353M | 179 |6581 |6717 | 399 |1397 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3287.17/3295.34 c 3295s| 28200 | 79 | 16470k| 521.6 | 353M | 179 |6581 |6683 | 399 |1402 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3297.74/3305.99 c 3306s| 28300 | 81 | 16525k| 521.7 | 353M | 179 |6581 |6661 | 399 |1405 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3306.22/3314.48 c 3314s| 28400 | 83 | 16569k| 521.4 | 353M | 179 |6581 |6702 | 399 |1407 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3319.79/3328.01 c 3328s| 28500 | 85 | 16639k| 522.0 | 353M | 179 |6581 |6753 | 399 |1408 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
3328.77/3337.03 c 3337s| 28600 | 81 | 16686k| 521.8 | 353M | 179 |6581 |6771 | 399 |1410 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3339.54/3347.84 c 3348s| 28700 | 81 | 16741k| 521.9 | 353M | 179 |6581 |6799 | 401 |1414 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3349.22/3357.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3349.22/3357.53 c 3358s| 28800 | 79 | 16791k| 521.8 | 353M | 179 |6581 |6816 | 401 |1425 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3358.80/3367.18 c 3367s| 28900 | 79 | 16840k| 521.8 | 353M | 179 |6581 |6832 | 401 |1432 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3372.46/3380.81 c 3381s| 29000 | 81 | 16909k| 522.3 | 353M | 179 |6581 |6853 | 403 |1447 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3383.54/3391.94 c 3392s| 29100 | 81 | 16967k| 522.5 | 353M | 179 |6581 |6865 | 401 |1451 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3397.61/3406.09 c 3406s| 29200 | 81 | 17040k| 523.1 | 353M | 179 |6581 |6877 | 401 |1459 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3412.57/3421.06 c 3421s| 29300 | 79 | 17119k| 523.9 | 353M | 179 |6581 |6902 | 402 |1459 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3424.04/3432.50 c 3432s| 29400 | 79 | 17178k| 524.1 | 353M | 179 |6581 |6942 | 399 |1459 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3435.22/3443.75 c 3444s| 29500 | 79 | 17237k| 524.3 | 353M | 179 |6581 |6929 | 402 |1461 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3443.40/3451.99 c 3452s| 29600 | 77 | 17280k| 524.0 | 353M | 179 |6581 |6879 | 399 |1461 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3454.67/3463.20 c 3463s| 29700 | 81 | 17338k| 524.2 | 353M | 179 |6581 |6838 | 399 |1464 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3465.94/3474.58 c 3475s| 29800 | 81 | 17397k| 524.4 | 353M | 179 |6581 |6734 | 399 |1470 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3475.12/3483.75 c 3484s| 29900 | 81 | 17443k| 524.2 | 353M | 179 |6581 |6662 | 399 |1479 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3489.09/3497.73 c 3498s| 30000 | 81 | 17517k| 524.8 | 353M | 179 |6581 |6616 | 399 |1481 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3500.26/3508.91 c 3509s| 30100 | 85 | 17575k| 525.0 | 353M | 179 |6581 |6568 | 402 |1484 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3510.54/3519.22 c 3519s| 30200 | 83 | 17630k| 525.1 | 353M | 179 |6581 |6550 | 399 |1484 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3526.20/3534.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3526.20/3534.90 c 3535s| 30300 | 83 | 17711k| 525.9 | 353M | 179 |6581 |6522 | 399 |1488 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3539.07/3547.82 c 3548s| 30400 | 81 | 17778k| 526.4 | 353M | 179 |6581 |6524 | 399 |1493 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3549.45/3558.25 c 3558s| 30500 | 85 | 17832k| 526.4 | 353M | 179 |6581 |6550 | 403 |1497 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3563.02/3571.82 c 3572s| 30600 | 85 | 17902k| 526.9 | 353M | 179 |6581 |6588 | 402 |1503 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3575.29/3584.11 c 3584s| 30700 | 85 | 17965k| 527.2 | 353M | 179 |6581 |6575 | 401 |1510 | 2 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3587.46/3596.37 c 3596s| 30800 | 82 | 18029k| 527.6 | 353M | 179 |6581 |6553 | 402 |1515 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | unknown
3588.16/3597.00 c
3588.16/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.16/3597.00 c Solving Time (sec) : 3597.00
3588.16/3597.00 c Solving Nodes : 30805 (total of 34115 nodes in 2 runs)
3588.16/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3588.16/3597.00 c Dual Bound : +0.00000000000000e+00
3588.16/3597.00 c Gap : infinite
3588.16/3597.00 s UNKNOWN
3588.16/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.16/3597.00 c Total Time : 3597.00
3588.16/3597.00 c solving : 3597.00
3588.16/3597.00 c presolving : 2.51 (included in solving)
3588.16/3597.00 c reading : 0.08 (included in solving)
3588.16/3597.00 c copying : 2.69 (100 #copies) (minimal 0.01, maximal 0.06, average 0.03)
3588.16/3597.00 c Original Problem :
3588.16/3597.00 c Problem name : HOME/instance-4515212-1751232049.opb
3588.16/3597.00 c Variables : 36630 (36630 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.16/3597.00 c Constraints : 339 initial, 339 maximal
3588.16/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.16/3597.00 c Presolved Problem :
3588.16/3597.00 c Problem name : t_HOME/instance-4515212-1751232049.opb
3588.16/3597.00 c Variables : 6581 (6581 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.16/3597.00 c Constraints : 1375 initial, 7992 maximal
3588.16/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.16/3597.00 c Nonzeros : 342591 constraint, 37501 clique table
3588.16/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.16/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c domcol : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c gateextraction : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c milp : 0.87 0.00 1 30049 0 0 0 0 339 339 0 0
3588.16/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c sparsify : 0.15 0.00 1 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c vbounds : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c knapsack : 0.01 0.00 15 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c setppc : 0.02 0.00 15 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c linear : 0.12 0.04 5 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c logicor : 1.10 0.08 11 0 0 0 0 0 267 0 0 317
3588.16/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c components : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c root node : - - - 0 - - 0 - - - - -
3588.16/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.16/3597.00 c benderslp : 0 0 0 0 17131 0 0 1766 0 0 0 0 0 0 0
3588.16/3597.00 c integral : 0 0 0 0 17131 0 0 1766 0 0 0 0 0 0 34262
3588.16/3597.00 c knapsack : 7 7 22 122642 0 0 0 1762 218884 1 6662 0 0 0 0
3588.16/3597.00 c setppc : 404 404 22 122641 0 0 0 911 16209456 60 3028875 0 0 0 0
3588.16/3597.00 c logicor : 964+ 7581 22 26409 0 0 0 0 85748 6 11554 1 0 0 0
3588.16/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.16/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3588.16/3597.00 c integral : 11.33 0.00 0.00 0.00 11.33 0.00 0.00 0.00 0.00 0.00
3588.16/3597.00 c knapsack : 0.56 0.00 0.15 0.10 0.00 0.00 0.00 0.23 0.08 0.00
3588.16/3597.00 c setppc : 8.20 0.00 0.01 4.14 0.00 0.00 0.00 0.00 4.03 0.02
3588.16/3597.00 c logicor : 1.09 0.08 0.01 0.77 0.00 0.00 0.00 0.00 0.24 0.00
3588.16/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.16/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.16/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.16/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3588.16/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.16/3597.00 c dualfix : 2 0 0 0
3588.16/3597.00 c genvbounds : 0 0 0 0
3588.16/3597.00 c nlobbt : 0 0 0 0
3588.16/3597.00 c obbt : 0 0 0 0
3588.16/3597.00 c probing : 0 0 0 0
3588.16/3597.00 c pseudoobj : 0 0 0 0
3588.16/3597.00 c redcost : 0 0 0 0
3588.16/3597.00 c rootredcost : 0 0 0 0
3588.16/3597.00 c symmetry : 0 0 0 0
3588.16/3597.00 c vbounds : 76970 0 0 0
3588.16/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.16/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3588.16/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3588.16/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.16/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.16/3597.00 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3588.16/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3588.16/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3588.16/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3588.16/3597.00 c symmetry : 0.06 0.00 0.02 0.04 0.00 0.00
3588.16/3597.00 c vbounds : 2.77 0.00 0.02 2.75 0.00 0.00
3588.16/3597.00 c Symmetry :
3588.16/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.16/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.16/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3588.16/3597.00 c shadow tree time : 0.00 s
3588.16/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.16/3597.00 c propagation : 0.03 64 62 - 855 297.5 3 93.0 - - -
3588.16/3597.00 c infeasible LP : 72.66 17109 11599 - 252865 953.1 1 107.0 0 0.0 0
3588.16/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.16/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.16/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.16/3597.00 c applied globally : 1.61 - - 0 14877 126.4 - - 0 - -
3588.16/3597.00 c applied locally : - - - 0 4 1407.0 - - 0 - -
3588.16/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.16/3597.00 c cut pool : 0.01 - 2318 42 - - 184 274 - - - - - (maximal pool size: 96)
3588.16/3597.00 c aggregation : 46.24 0.00 1199 22 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3588.16/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.16/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3588.16/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c clique : 0.19 0.00 22 22 0 0 168 255 0 205 205 0 0
3588.16/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c gomory : 23.33 0.00 1197 20 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3588.16/3597.00 c > strongcg : - - - - - - - 0 0 0 0 0 -
3588.16/3597.00 c impliedbounds : 0.07 0.00 1199 22 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c multilinear : 0.00 0.00 107 22 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c rapidlearning : 9.11 0.00 91 2 0 138 0 0 0 0 0 0 0
3588.16/3597.00 c rlt : 0.00 0.00 690 20 0 0 0 0 0 0 0 0 0
3588.16/3597.00 c zerohalf : 8.50 0.00 1199 22 0 0 1473 19 1457 1470 14 1456 0
3588.16/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.16/3597.00 c hybrid : 0.01 0.00 1115 22 1675 0 57 166 0 54
3588.16/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3588.16/3597.00 c problem variables: 0.00 - 0 0
3588.16/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.16/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c relpscost : 11.31 0.00 17131 0 0 0 0 0 0 34262
3588.16/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.16/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.16/3597.00 c LP solutions : 0.00 - - 0 0
3588.16/3597.00 c relax solutions : 0.00 - - 0 0
3588.16/3597.00 c pseudo solutions : 0.00 - - 0 0
3588.16/3597.00 c strong branching : 0.00 - - 0 0
3588.16/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3588.16/3597.00 c adaptivediving : 5.90 0.00 4 0 0
3588.16/3597.00 c alns : 49.62 0.00 7 0 0
3588.16/3597.00 c bound : 0.00 0.00 0 0 0
3588.16/3597.00 c clique : 0.03 0.00 1 0 0
3588.16/3597.00 c coefdiving : 0.00 0.00 0 0 0
3588.16/3597.00 c completesol : 0.00 0.00 0 0 0
3588.16/3597.00 c conflictdiving : 22.65 0.00 3 0 0
3588.16/3597.00 c crossover : 0.01 0.00 0 0 0
3588.16/3597.00 c dins : 0.00 0.00 0 0 0
3588.16/3597.00 c distributiondivin: 11.36 0.00 3 0 0
3588.16/3597.00 c dps : 0.00 0.00 0 0 0
3588.16/3597.00 c dualval : 0.00 0.00 0 0 0
3588.16/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3588.16/3597.00 c feasjump : 0.63 0.00 2 0 0
3588.16/3597.00 c feaspump : 2.49 0.00 2 0 0
3588.16/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3588.16/3597.00 c fracdiving : 5.86 0.00 3 0 0
3588.16/3597.00 c gins : 0.01 0.00 0 0 0
3588.16/3597.00 c guideddiving : 0.00 0.00 0 0 0
3588.16/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3588.16/3597.00 c indicator : 0.01 0.00 0 0 0
3588.16/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3588.16/3597.00 c indoneopt : 0.01 0.00 0 0 0
3588.16/3597.00 c indrounding : 0.00 0.00 0 0 0
3588.16/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3588.16/3597.00 c intdiving : 0.00 0.00 0 0 0
3588.16/3597.00 c intshifting : 0.00 0.00 0 0 0
3588.16/3597.00 c linesearchdiving : 21.32 0.00 2 0 0
3588.16/3597.00 c localbranching : 0.00 0.00 0 0 0
3588.16/3597.00 c locks : 0.05 0.00 1 0 0
3588.16/3597.00 c lpface : 0.18 0.00 0 0 0
3588.16/3597.00 c mpec : 0.00 0.00 0 0 0
3588.16/3597.00 c multistart : 0.00 0.00 0 0 0
3588.16/3597.00 c mutation : 0.00 0.00 0 0 0
3588.16/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3588.16/3597.00 c objpscostdiving : 0.14 0.00 2 0 0
3588.16/3597.00 c octane : 0.00 0.00 0 0 0
3588.16/3597.00 c ofins : 0.01 0.00 0 0 0
3588.16/3597.00 c oneopt : 0.01 0.00 0 0 0
3588.16/3597.00 c padm : 0.00 0.00 0 0 0
3588.16/3597.00 c proximity : 0.00 0.00 0 0 0
3588.16/3597.00 c pscostdiving : 1.04 0.00 3 0 0
3588.16/3597.00 c randrounding : 1.10 0.00 1773 0 0
3588.16/3597.00 c rens : 0.40 0.00 2 0 0
3588.16/3597.00 c reoptsols : 0.00 0.00 0 0 0
3588.16/3597.00 c repair : 0.00 0.00 0 0 0
3588.16/3597.00 c rins : 0.01 0.00 0 0 0
3588.16/3597.00 c rootsoldiving : 4.39 0.00 2 0 0
3588.16/3597.00 c rounding : 1.12 0.00 1883 0 0
3588.16/3597.00 c scheduler : 0.00 0.00 0 0 0
3588.16/3597.00 c shiftandpropagate: 0.12 0.00 2 0 0
3588.16/3597.00 c shifting : 1.25 0.00 690 0 0
3588.16/3597.00 c simplerounding : 0.01 0.00 0 0 0
3588.16/3597.00 c smallcard : 0.00 0.00 0 0 0
3588.16/3597.00 c subnlp : 0.02 0.00 0 0 0
3588.16/3597.00 c trivial : 0.02 0.00 4 0 0
3588.16/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3588.16/3597.00 c trustregion : 0.00 0.00 0 0 0
3588.16/3597.00 c trysol : 0.01 0.00 0 0 0
3588.16/3597.00 c twoopt : 0.00 0.00 0 0 0
3588.16/3597.00 c undercover : 0.00 0.00 0 0 0
3588.16/3597.00 c vbounds : 0.08 0.00 2 0 0
3588.16/3597.00 c veclendiving : 24.24 0.00 2 0 0
3588.16/3597.00 c zeroobj : 0.00 0.00 0 0 0
3588.16/3597.00 c zirounding : 0.05 0.00 1000 0 0
3588.16/3597.00 c other solutions : - - - 0 -
3588.16/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
3588.16/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.16/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.16/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.16/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.16/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.16/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.16/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.16/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3588.16/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
3588.16/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.16/3597.00 c primal LP : 0.32 110 0 0.00 0.00 0.32 110
3588.16/3597.00 c dual LP : 3231.38 35226 17565520 498.72 5435.92 0.01 5
3588.16/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3588.16/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.16/3597.00 c resolve instable : 0.00 0 0 0.00 -
3588.16/3597.00 c diving/probing LP: 94.81 256 467629 1826.68 4932.25
3588.16/3597.00 c strong branching : 9.06 38 25718 676.79 2839.24 - - 38
3588.16/3597.00 c (at root node) : - 38 25718 676.79 -
3588.16/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3588.16/3597.00 c B&B Tree :
3588.16/3597.00 c number of runs : 2
3588.16/3597.00 c nodes : 30805 (15443 internal, 15362 leaves)
3588.16/3597.00 c feasible leaves : 0
3588.16/3597.00 c infeas. leaves : 15361
3588.16/3597.00 c objective leaves : 0
3588.16/3597.00 c nodes (total) : 34115 (17131 internal, 16984 leaves)
3588.16/3597.00 c nodes left : 82
3588.16/3597.00 c max depth : 179
3588.16/3597.00 c max depth (total): 179
3588.16/3597.00 c backtracks : 2245 (7.3%)
3588.16/3597.00 c early backtracks : 0 (0.0%)
3588.16/3597.00 c nodes exc. ref. : 0 (0.0%)
3588.16/3597.00 c delayed cutoffs : 1
3588.16/3597.00 c repropagations : 44538 (25194 domain reductions, 1 cutoffs)
3588.16/3597.00 c avg switch length: 4.52
3588.16/3597.00 c switching time : 5.83
3588.16/3597.00 c Root Node :
3588.16/3597.00 c First LP value : +0.00000000000000e+00
3588.16/3597.00 c First LP Iters : 12085 (4676.65 Iter/sec)
3588.16/3597.00 c First LP Time : 2.58
3588.16/3597.00 c Final Dual Bound : +0.00000000000000e+00
3588.16/3597.00 c Final Root Iters : 35216
3588.16/3597.00 c Root LP Estimate : +1.34825751730225e-02
3588.16/3597.00 c Solution :
3588.16/3597.00 c Solutions found : 0 (0 improvements)
3588.16/3597.00 c Primal Bound : -
3588.16/3597.00 c Dual Bound : +0.00000000000000e+00
3588.16/3597.00 c Gap : infinite
3588.16/3597.00 c Integrals : Total Avg%
3588.16/3597.00 c primal-dual : 359699.73 100.00
3588.16/3597.00 c primal-ref : - - (not evaluated)
3588.16/3597.00 c dual-ref : - - (not evaluated)
3588.16/3597.09 c Time complete: 3588.26.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62443 MiB free)
memory of node 1: 64507 MiB (37449 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515212-1751232049/watcher-4515212-1751232049 -o /tmp/evaluation-result-4515212-1751232049/solver-4515212-1751232049 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751227488-29474 --watchdog 3760 pbscip -f HOME/instance-4515212-1751232049.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=30671, runsolver pid=30668
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.16 4.15 4.06 5/264 30672
/proc/meminfo: memFree=102242140/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=97572 memory=71204 CPUtime=0.09 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 15989 0 0 0 7 2 0 0 20 0 1 0 38883751 99913728 17801 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 24393 17801 3520 3530 0 15844 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97572 KiB
Current children cumulated memory: 71204 KiB
[startup+0.20573 s]*
/proc/loadavg: 4.16 4.15 4.06 5/264 30672
/proc/meminfo: memFree=102194008/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=146504 memory=117028 CPUtime=0.2 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 27438 0 0 0 16 4 0 0 20 0 1 0 38883751 150020096 29257 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 36626 29257 3552 3530 0 28077 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 146504 KiB
Current children cumulated memory: 117028 KiB
[startup+0.30574 s]*
/proc/loadavg: 4.16 4.15 4.06 5/264 30672
/proc/meminfo: memFree=102178232/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=168700 memory=132924 CPUtime=0.3 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 30336 0 0 0 25 5 0 0 20 0 1 0 38883751 172748800 33231 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 42175 33231 3584 3530 0 33626 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 168700 KiB
Current children cumulated memory: 132924 KiB
[startup+0.700184 s]
/proc/loadavg: 4.15 4.15 4.06 5/264 30672
/proc/meminfo: memFree=102154052/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=215572 memory=170088 CPUtime=0.69 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 39171 0 0 0 62 7 0 0 20 0 1 0 38883751 220745728 42522 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 53893 42522 3712 3530 0 45344 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 215572 KiB
Current children cumulated memory: 170088 KiB
[startup+1.50019 s]
/proc/loadavg: 4.15 4.15 4.06 5/264 30672
/proc/meminfo: memFree=101988956/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=257600 memory=213776 CPUtime=1.48 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 52748 0 0 0 134 14 0 0 20 0 1 0 38883751 263782400 53444 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 64400 53444 3840 3530 0 55851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 257600 KiB
Current children cumulated memory: 213776 KiB
[startup+3.10527 s]
/proc/loadavg: 4.15 4.15 4.06 5/264 30672
/proc/meminfo: memFree=101985688/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=266552 memory=221968 CPUtime=3.08 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 54703 0 0 0 294 14 0 0 20 0 1 0 38883751 272949248 55492 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 66638 55492 3936 3530 0 58089 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 266552 KiB
Current children cumulated memory: 221968 KiB
[startup+6.30017 s]
/proc/loadavg: 4.22 4.16 4.07 5/264 30672
/proc/meminfo: memFree=101980144/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=314944 memory=265292 CPUtime=6.27 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 65009 0 0 0 611 16 0 0 20 0 1 0 38883751 322502656 66323 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 78736 66323 3968 3530 0 70187 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 314944 KiB
Current children cumulated memory: 265292 KiB
[startup+12.7001 s]
/proc/loadavg: 4.20 4.16 4.06 5/264 30672
/proc/meminfo: memFree=101933844/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=322308 memory=272844 CPUtime=12.65 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 66914 0 0 0 1249 16 0 0 20 0 1 0 38883751 330043392 68211 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 80577 68211 3968 3530 0 72028 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 322308 KiB
Current children cumulated memory: 272844 KiB
[startup+25.5001 s]
/proc/loadavg: 4.17 4.15 4.06 5/264 30672
/proc/meminfo: memFree=101946672/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=322308 memory=274508 CPUtime=25.42 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 67328 0 0 0 2526 16 0 0 20 0 1 0 38883751 330043392 68627 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 80577 68627 3968 3530 0 72028 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 322308 KiB
Current children cumulated memory: 274508 KiB
[startup+51.1054 s]
/proc/loadavg: 4.18 4.16 4.07 5/264 30673
/proc/meminfo: memFree=101921508/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=322544 memory=276044 CPUtime=50.97 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 67719 0 0 0 5080 17 0 0 20 0 1 0 38883751 330285056 69011 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 80636 69011 3968 3530 0 72087 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 322544 KiB
Current children cumulated memory: 276044 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.07 5/265 30676
/proc/meminfo: memFree=101558728/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=322544 memory=276812 CPUtime=102.04 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 67902 0 0 0 10187 17 0 0 20 0 1 0 38883751 330285056 69203 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 80636 69203 3968 3530 0 72087 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 322544 KiB
Current children cumulated memory: 276812 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.07 5/265 30678
/proc/meminfo: memFree=101454608/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=334256 memory=288204 CPUtime=161.87 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 70747 0 0 0 16170 17 0 0 20 0 1 0 38883751 342278144 72051 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 83564 72051 3968 3530 0 75015 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 334256 KiB
Current children cumulated memory: 288204 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.07 5/265 30679
/proc/meminfo: memFree=101443960/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=347836 memory=301772 CPUtime=221.72 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 74162 0 0 0 22154 18 0 0 20 0 1 0 38883751 356184064 75443 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 86959 75443 3968 3530 0 78410 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 347836 KiB
Current children cumulated memory: 301772 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.07 5/264 30683
/proc/meminfo: memFree=101411416/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=347836 memory=301772 CPUtime=281.56 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 74163 0 0 0 28138 18 0 0 20 0 1 0 38883751 356184064 75443 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 86959 75443 3968 3530 0 78410 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 347836 KiB
Current children cumulated memory: 301772 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/263 30685
/proc/meminfo: memFree=101405460/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=347836 memory=301900 CPUtime=341.4 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 74173 0 0 0 34122 18 0 0 20 0 1 0 38883751 356184064 75475 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 86959 75475 3968 3530 0 78410 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 347836 KiB
Current children cumulated memory: 301900 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/263 30687
/proc/meminfo: memFree=101374364/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=354612 memory=308684 CPUtime=401.24 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 75874 0 0 0 40106 18 0 0 20 0 1 0 38883751 363122688 77171 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 88653 77171 3968 3530 0 80104 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 354612 KiB
Current children cumulated memory: 308684 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/262 30733
/proc/meminfo: memFree=101269884/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=402764 CPUtime=461.08 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 99421 0 0 0 46086 22 0 0 20 0 1 0 38883751 463761408 100691 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 100691 3968 3530 0 104674 0
Current children cumulated CPU time: 461.08 s
################
# More data... #
################
/proc/loadavg: 4.06 4.08 4.09 5/263 31073
/proc/meminfo: memFree=124334708/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3154.48 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100397 0 0 0 315425 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3154.48 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 31075
/proc/meminfo: memFree=124335408/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3214.34 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100400 0 0 0 321411 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3214.34 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/262 31079
/proc/meminfo: memFree=124326488/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3274.2 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100509 0 0 0 327397 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3274.2 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 31082
/proc/meminfo: memFree=124325556/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3334.05 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100544 0 0 0 333382 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3334.05 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/263 31084
/proc/meminfo: memFree=124324096/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3393.91 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100544 0 0 0 339368 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3393.91 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 31086
/proc/meminfo: memFree=124321148/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3453.77 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100552 0 0 0 345354 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3453.77 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
[startup+3522.3 s]
/proc/loadavg: 4.38 4.17 4.12 5/264 31089
/proc/meminfo: memFree=124322320/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3513.63 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100552 0 0 0 351340 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
[startup+3582.3 s]
/proc/loadavg: 4.26 4.17 4.12 5/265 31096
/proc/meminfo: memFree=124323328/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3573.49 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100552 0 0 0 357326 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3573.49 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
[startup+3597.1 s]
# the end of solver process 30671 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.02 s, system=0.241186 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.26 4.17 4.12 5/265 31096
/proc/meminfo: memFree=124323328/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3575.19 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100552 0 0 0 357496 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3575.19 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
[startup+3590.4 s]
/proc/loadavg: 4.24 4.17 4.12 5/265 31096
/proc/meminfo: memFree=124323076/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3581.57 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100552 0 0 0 358134 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3581.57 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
[startup+3593.6 s]
/proc/loadavg: 4.22 4.16 4.11 5/265 31096
/proc/meminfo: memFree=124323076/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3584.77 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100552 0 0 0 358454 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3584.77 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
[startup+3595.2 s]
/proc/loadavg: 4.22 4.16 4.11 5/265 31096
/proc/meminfo: memFree=124323076/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3586.36 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100552 0 0 0 358613 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3586.36 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
[startup+3596 s]*
/proc/loadavg: 4.22 4.16 4.11 5/265 31096
/proc/meminfo: memFree=124323076/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3587.17 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100552 0 0 0 358694 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3587.17 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
[startup+3596.8 s]
/proc/loadavg: 4.22 4.16 4.11 5/265 31096
/proc/meminfo: memFree=124323076/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3587.96 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100552 0 0 0 358773 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3587.96 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
[startup+3597 s]*
/proc/loadavg: 4.20 4.16 4.11 5/265 31096
/proc/meminfo: memFree=124323076/131249988 swapFree=33010684/33010684
[pid=30671] ppid=30668 vsize=452892 memory=416332 CPUtime=3588.16 cores=1,3
/proc/30671/stat : 30671 (pbscip) R 30668 30671 29462 0 -1 4194304 100552 0 0 0 358793 23 0 0 20 0 1 0 38883751 463761408 104083 18446744073709551615 4235264 18693293 140725414204800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38748160 140725414214025 140725414214124 140725414214124 140725414219726 0
/proc/30671/statm: 113223 104083 3968 3530 0 104674 0
Current children cumulated CPU time: 3588.16 s
Current children cumulated vsize: 452892 KiB
Current children cumulated memory: 416332 KiB
Child status: 0
Real time (s): 3597.1
CPU time (s): 3588.26
CPU user time (s): 3588.02
CPU system time (s): 0.241186
CPU usage (%): 99.7545
Max. virtual memory (cumulated for all children) (KiB): 452892
Max. memory (cumulated for all children) (KiB): 416332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.02
system time used= 0.241186
maximum resident set size= 416332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110
involuntary context switches= 1168
# summary of solver processes directly reported to runsolver:
# pid: 30671
# total CPU time (s): 3588.26
# total CPU user time (s): 3588.02
# total CPU system time (s): 0.241186
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63782 second user time and 14.48 second system time
The end