| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.07 | 3597.07 |
| Name | PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size96-round21-6.opb |
| MD5SUM | e56d8b84f5330dfdc9b5c04d06629bab |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 4.04258 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 3968 |
| Total number of constraints | 7872 |
| Number of constraints which are clauses | 6656 |
| Number of constraints which are cardinality constraints (but not clauses) | 384 |
| Number of constraints which are nor clauses,nor cardinality constraints | 832 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 10 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 4 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 14 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4513268-1751220588.opb>
0.00/0.07 c original problem has 3968 variables (3968 bin, 0 int, 0 impl, 0 cont) and 7872 constraints
0.00/0.07 c problem read in 0.05
0.00/0.07 c No objective function, only one solution is needed.
0.09/0.11 c presolving:
0.09/0.14 c (round 1, fast) 559 del vars, 972 del conss, 617 add conss, 488 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 347 clqs
0.09/0.15 c (round 2, fast) 820 del vars, 1372 del conss, 711 add conss, 590 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 438 clqs
0.09/0.15 c (round 3, fast) 821 del vars, 1406 del conss, 735 add conss, 591 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 456 clqs
0.09/0.18 c (0.2s) running MILP presolver
0.20/0.24 c (0.2s) MILP presolver (4 rounds): 60 aggregations, 2 fixings, 0 bound changes
0.20/0.24 c (round 4, medium) 883 del vars, 1406 del conss, 735 add conss, 591 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 333 clqs
0.20/0.24 c (round 5, fast) 883 del vars, 1531 del conss, 798 add conss, 591 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 350 clqs
0.20/0.26 c (round 6, exhaustive) 883 del vars, 2206 del conss, 798 add conss, 591 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 350 clqs
0.20/0.30 c (round 7, exhaustive) 883 del vars, 2206 del conss, 798 add conss, 591 chg bounds, 3 chg sides, 0 chg coeffs, 5162 upgd conss, 0 impls, 350 clqs
0.20/0.32 c (round 8, exhaustive) 883 del vars, 2329 del conss, 839 add conss, 591 chg bounds, 3 chg sides, 0 chg coeffs, 5162 upgd conss, 0 impls, 350 clqs
0.30/0.38 c (round 9, exhaustive) 883 del vars, 2329 del conss, 839 add conss, 591 chg bounds, 61 chg sides, 0 chg coeffs, 5162 upgd conss, 0 impls, 350 clqs
0.30/0.38 c (round 10, exhaustive) 883 del vars, 2329 del conss, 839 add conss, 591 chg bounds, 61 chg sides, 0 chg coeffs, 5220 upgd conss, 0 impls, 350 clqs
0.40/0.49 c (0.5s) probing: 332/3138 (10.6%) - 0 fixings, 0 aggregations, 106 implications, 0 bound changes
0.40/0.49 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.40/0.49 c (0.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.50/0.53 c (0.5s) no symmetry present (symcode time: 0.01)
0.50/0.54 c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.50/0.54 c 883 deleted vars, 2329 deleted constraints, 839 added constraints, 591 tightened bounds, 0 added holes, 61 changed sides, 42 changed coefficients
0.50/0.54 c 0 implications, 456 cliques
0.50/0.54 c presolved problem has 3138 variables (3138 bin, 0 int, 0 impl, 0 cont) and 6382 constraints
0.50/0.54 c 41 constraints of type <and>
0.50/0.54 c 1 constraints of type <xor>
0.50/0.54 c 1244 constraints of type <linear>
0.50/0.54 c 5096 constraints of type <logicor>
0.50/0.54 c transformed objective value is always integral (scale: 1)
0.50/0.54 c Presolving Time: 0.43
0.50/0.54 c - non default parameters ----------------------------------------------------------------------
0.50/0.54 c # SCIP version 10.0.0
0.50/0.54 c
0.50/0.54 c # maximal time in seconds to run
0.50/0.54 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.50/0.54 c limits/time = 3596.993123
0.50/0.54 c
0.50/0.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.50/0.54 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.50/0.54 c limits/memory = 27900
0.50/0.54 c
0.50/0.54 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.50/0.54 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.50/0.54 c limits/solutions = 1
0.50/0.54 c
0.50/0.54 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.
0.50/0.54 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.50/0.54 c misc/usesymmetry = 3
0.50/0.54 c
0.50/0.54 c # belongs reading time to solving time?
0.50/0.54 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.50/0.54 c timing/reading = TRUE
0.50/0.54 c
0.50/0.54 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.50/0.54 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.50/0.54 c propagating/symmetry/detectdoublelex = FALSE
0.50/0.54 c
0.50/0.54 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.50/0.54 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.50/0.54 c propagating/symmetry/detectsubgroups = FALSE
0.50/0.54 c
0.50/0.54 c # Type of symmetries that shall be computed?
0.50/0.54 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.50/0.54 c propagating/symmetry/symtype = 1
0.50/0.54 c
0.50/0.54 c # Should components consisting of a single full reflection be handled?
0.50/0.54 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.50/0.54 c propagating/symmetry/usesimplesgncomp = FALSE
0.50/0.54 c
0.50/0.54 c -----------------------------------------------------------------------------------------------
0.50/0.54 c start solving
0.50/0.55 c
0.67/0.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.67/0.72 c 0.7s| 1 | 0 | 826 | - | 48M | 0 |3138 |6413 |6427 | 0 | 0 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
1.37/1.40 c 1.4s| 1 | 0 | 2258 | - | 53M | 0 |3138 |6413 |6710 | 283 | 1 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
2.37/2.44 c 2.4s| 1 | 0 | 3964 | - | 58M | 0 |3138 |6413 |7027 | 600 | 2 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
4.26/4.35 c 4.3s| 1 | 0 | 7114 | - | 61M | 0 |3138 |6413 |7312 | 885 | 3 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
6.55/6.67 c 6.7s| 1 | 0 | 11233 | - | 65M | 0 |3138 |6413 |7583 |1156 | 4 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
8.54/8.68 c 8.7s| 1 | 0 | 14622 | - | 68M | 0 |3138 |6413 |7850 |1423 | 5 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
11.04/11.14 c 11.1s| 1 | 0 | 18695 | - | 70M | 0 |3138 |6413 |8119 |1692 | 6 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
13.82/13.93 c 13.9s| 1 | 0 | 23234 | - | 72M | 0 |3138 |6413 |8364 |1937 | 7 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
16.61/16.75 c 16.7s| 1 | 0 | 27700 | - | 73M | 0 |3138 |6413 |8501 |2074 | 8 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
19.20/19.32 c 19.3s| 1 | 0 | 31541 | - | 74M | 0 |3138 |6413 |8611 |2184 | 9 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
21.29/21.46 c 21.4s| 1 | 0 | 34306 | - | 77M | 0 |3138 |6415 |8708 |2281 | 10 | 33 | 0 | 0.000000e+00 | -- | Inf | unknown
22.69/22.86 c 22.8s| 1 | 0 | 37448 | - | 78M | 0 |3138 |6415 |8781 |2354 | 11 | 33 | 0 | 0.000000e+00 | -- | Inf | unknown
33.56/33.79 c 33.8s| 1 | 2 | 45686 | - | 78M | 0 |3138 |6414 |8781 |2354 | 11 | 33 | 11 | 0.000000e+00 | -- | Inf | unknown
224.13/224.99 c 225s| 100 | 101 |237626 |2022.0 | 79M | 25 |3138 |6412 |6592 |4094 | 1 | 45 | 11 | 0.000000e+00 | -- | Inf | unknown
247.16/248.04 c 248s| 200 | 201 |296183 |1300.2 | 80M | 29 |3138 |6421 |6897 |5061 | 1 | 57 | 11 | 0.000000e+00 | -- | Inf | unknown
274.85/275.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
274.85/275.82 c 276s| 300 | 301 |351696 |1051.0 | 80M | 29 |3138 |6430 |6749 |7130 | 1 | 76 | 11 | 0.000000e+00 | -- | Inf | unknown
294.88/295.92 c 296s| 400 | 401 |398037 | 903.7 | 81M | 33 |3138 |6431 |6872 |9091 | 1 | 80 | 11 | 0.000000e+00 | -- | Inf | unknown
313.03/314.15 c 314s| 500 | 501 |445597 | 817.9 | 81M | 33 |3138 |6442 |6865 | 11k| 1 | 93 | 11 | 0.000000e+00 | -- | Inf | unknown
336.95/338.12 c 338s| 600 | 601 |490667 | 756.6 | 81M | 33 |3138 |6439 |6866 | 13k| 1 | 95 | 11 | 0.000000e+00 | -- | Inf | unknown
362.25/363.52 c 363s| 700 | 701 |559193 | 746.4 | 84M | 33 |3138 |6448 |7062 | 15k| 2 | 106 | 11 | 0.000000e+00 | -- | Inf | unknown
390.67/392.03 c 392s| 800 | 801 |613594 | 721.1 | 84M | 37 |3138 |6459 |6865 | 17k| 1 | 121 | 11 | 0.000000e+00 | -- | Inf | unknown
415.86/417.32 c 417s| 900 | 901 |668215 | 701.6 | 86M | 41 |3138 |6462 |6745 | 20k| 1 | 128 | 11 | 0.000000e+00 | -- | Inf | unknown
437.88/439.47 c 439s| 1000 | 1001 |718489 | 681.7 | 87M | 41 |3138 |6473 |7035 | 22k| 2 | 144 | 11 | 0.000000e+00 | -- | Inf | unknown
465.08/466.73 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
465.08/466.73 c (run 1, node 1049) performing user restart
465.08/466.73 c
465.08/466.73 c (restart) converted 1019 cuts from the global cut pool into linear constraints
465.08/466.73 c
465.08/466.74 c presolving:
465.08/466.75 c (round 1, fast) 0 del vars, 0 del conss, 564 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 490 clqs
465.08/466.76 c (round 2, exhaustive) 0 del vars, 37 del conss, 564 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 490 clqs
465.08/466.77 c (round 3, exhaustive) 0 del vars, 37 del conss, 564 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1496 upgd conss, 0 impls, 490 clqs
465.08/466.77 c (round 4, fast) 0 del vars, 514 del conss, 564 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1496 upgd conss, 0 impls, 490 clqs
465.08/466.78 c (round 5, medium) 0 del vars, 516 del conss, 568 add conss, 0 chg bounds, 2 chg sides, 4 chg coeffs, 1496 upgd conss, 0 impls, 492 clqs
465.08/466.78 c (round 6, exhaustive) 0 del vars, 517 del conss, 569 add conss, 0 chg bounds, 52 chg sides, 4 chg coeffs, 1496 upgd conss, 0 impls, 492 clqs
465.08/466.79 c (round 7, exhaustive) 0 del vars, 517 del conss, 569 add conss, 0 chg bounds, 52 chg sides, 4 chg coeffs, 1546 upgd conss, 0 impls, 492 clqs
465.08/466.79 c (round 8, fast) 0 del vars, 567 del conss, 569 add conss, 0 chg bounds, 52 chg sides, 4 chg coeffs, 1546 upgd conss, 0 impls, 492 clqs
465.18/466.81 c presolving (9 rounds: 9 fast, 6 medium, 5 exhaustive):
465.18/466.81 c 0 deleted vars, 568 deleted constraints, 569 added constraints, 0 tightened bounds, 0 added holes, 52 changed sides, 8 changed coefficients
465.18/466.81 c 0 implications, 492 cliques
465.18/466.81 c presolved problem has 3138 variables (3138 bin, 0 int, 0 impl, 0 cont) and 7500 constraints
465.18/466.81 c 72 constraints of type <knapsack>
465.18/466.81 c 161 constraints of type <setppc>
465.18/466.81 c 41 constraints of type <and>
465.18/466.81 c 1 constraints of type <xor>
465.18/466.81 c 1246 constraints of type <linear>
465.18/466.81 c 5979 constraints of type <logicor>
465.18/466.81 c transformed objective value is always integral (scale: 1)
465.18/466.81 c Presolving Time: 0.50
465.18/466.81 c
465.28/467.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
465.28/467.00 c 467s| 1 | 0 |775974 | - | 88M | 0 |3138 |7500 |7448 | 0 | 0 | 156 | 11 | 0.000000e+00 | -- | Inf | unknown
467.49/469.18 c 469s| 1 | 0 |779712 | - | 90M | 0 |3138 |7500 |7728 | 280 | 1 | 156 | 11 | 0.000000e+00 | -- | Inf | unknown
470.38/472.11 c 472s| 1 | 0 |784682 | - | 91M | 0 |3138 |7500 |8000 | 552 | 2 | 156 | 11 | 0.000000e+00 | -- | Inf | unknown
472.76/474.49 c 474s| 1 | 0 |788521 | - | 92M | 0 |3138 |7500 |8274 | 826 | 3 | 156 | 11 | 0.000000e+00 | -- | Inf | unknown
475.46/477.16 c 477s| 1 | 0 |792469 | - | 93M | 0 |3138 |7500 |8539 |1091 | 4 | 156 | 11 | 0.000000e+00 | -- | Inf | unknown
478.54/480.28 c 480s| 1 | 0 |796799 | - | 95M | 0 |3138 |7500 |8700 |1252 | 5 | 156 | 11 | 0.000000e+00 | -- | Inf | unknown
482.03/483.73 c 484s| 1 | 0 |801501 | - | 96M | 0 |3138 |7500 |8912 |1464 | 6 | 156 | 11 | 0.000000e+00 | -- | Inf | unknown
485.61/487.30 c 487s| 1 | 0 |806427 | - | 97M | 0 |3138 |7500 |9022 |1574 | 7 | 156 | 11 | 0.000000e+00 | -- | Inf | unknown
489.00/490.79 c 491s| 1 | 0 |811423 | - | 99M | 0 |3138 |7500 |9192 |1744 | 8 | 156 | 11 | 0.000000e+00 | -- | Inf | unknown
492.30/494.03 c 494s| 1 | 0 |815865 | - | 100M | 0 |3138 |7500 |9283 |1835 | 9 | 156 | 11 | 0.000000e+00 | -- | Inf | unknown
494.98/496.78 c 497s| 1 | 0 |818995 | - | 101M | 0 |3138 |7500 |9359 |1911 | 10 | 156 | 11 | 0.000000e+00 | -- | Inf | unknown
497.17/498.92 c 499s| 1 | 0 |823002 | - | 102M | 0 |3138 |7500 |9421 |1973 | 11 | 156 | 11 | 0.000000e+00 | -- | Inf | unknown
508.34/510.14 c 510s| 1 | 2 |823290 | - | 102M | 0 |3138 |7504 |9421 |1973 | 11 | 160 | 29 | 0.000000e+00 | -- | Inf | unknown
557.46/559.48 c 559s| 100 | 101 |919825 | 726.4 | 105M | 58 |3138 |7535 |7271 |4184 | 1 | 194 | 29 | 0.000000e+00 | -- | Inf | unknown
562.05/564.05 c 564s| 200 | 201 |935541 | 680.8 | 105M | 113 |3138 |7535 |7392 |4467 | 2 | 194 | 29 | 0.000000e+00 | -- | Inf | unknown
564.53/566.55 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.55 c 567s| 300 | 287 |943254 | 636.0 | 107M | 187 |3138 |7535 | 0 |4836 | 0 | 194 | 29 | 0.000000e+00 | -- | Inf | unknown
572.70/574.79 c 575s| 400 | 339 |961976 | 605.0 | 108M | 200 |3138 |7543 |7565 |5232 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
574.59/576.63 c 577s| 500 | 367 |967831 | 569.7 | 108M | 203 |3138 |7543 |7576 |5550 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
576.18/578.30 c 578s| 600 | 391 |973250 | 538.4 | 108M | 203 |3138 |7543 |7579 |5790 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
577.58/579.64 c 580s| 700 | 409 |977727 | 510.2 | 108M | 207 |3138 |7541 |7582 |5823 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
578.47/580.52 c 581s| 800 | 407 |980592 | 484.1 | 108M | 214 |3138 |7541 | 0 |5838 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
579.37/581.41 c 581s| 900 | 401 |983414 | 460.7 | 108M | 214 |3138 |7541 |7585 |5850 | 2 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
580.27/582.31 c 582s| 1000 | 391 |986255 | 439.6 | 108M | 214 |3138 |7541 | 0 |5871 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
581.46/583.51 c 583s| 1100 | 419 |989825 | 420.8 | 108M | 214 |3138 |7541 |7574 |5971 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
583.07/585.12 c 585s| 1200 | 463 |995380 | 404.6 | 108M | 214 |3138 |7541 | 0 |6054 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
584.06/586.14 c 586s| 1300 | 469 |998576 | 388.7 | 108M | 214 |3138 |7541 | 0 |6092 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
585.25/587.38 c 587s| 1400 | 483 | 1002k| 374.4 | 108M | 214 |3138 |7541 |7575 |6133 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
586.24/588.31 c 588s| 1500 | 489 | 1005k| 360.8 | 108M | 214 |3138 |7540 | 0 |6157 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
587.54/589.60 c 590s| 1600 | 493 | 1009k| 348.8 | 108M | 214 |3138 |7540 |7581 |6177 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
589.23/591.35 c 591s| 1700 | 517 | 1015k| 338.3 | 108M | 214 |3138 |7540 |7581 |6275 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
590.23/592.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
590.23/592.31 c 592s| 1800 | 535 | 1018k| 327.5 | 108M | 216 |3138 |7539 |7591 |6297 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
590.83/592.94 c 593s| 1900 | 533 | 1020k| 317.0 | 108M | 218 |3138 |7539 | 0 |6305 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
591.42/593.58 c 594s| 2000 | 533 | 1022k| 307.3 | 108M | 218 |3138 |7539 |7592 |6309 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
592.12/594.25 c 594s| 2100 | 539 | 1024k| 298.2 | 108M | 219 |3138 |7538 | 0 |6309 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
592.93/595.05 c 595s| 2200 | 541 | 1027k| 289.8 | 108M | 220 |3138 |7538 | 0 |6314 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
593.51/595.68 c 596s| 2300 | 547 | 1028k| 281.7 | 108M | 220 |3138 |7538 |7592 |6317 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
594.31/596.46 c 596s| 2400 | 541 | 1031k| 274.3 | 108M | 220 |3138 |7538 | 0 |6317 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
595.11/597.22 c 597s| 2500 | 547 | 1033k| 267.2 | 108M | 221 |3138 |7538 | 0 |6321 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
595.71/597.84 c 598s| 2600 | 545 | 1035k| 260.4 | 108M | 221 |3138 |7538 | 0 |6322 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
596.30/598.45 c 598s| 2700 | 539 | 1037k| 253.9 | 108M | 221 |3138 |7538 | 0 |6323 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
597.10/599.27 c 599s| 2800 | 535 | 1040k| 248.1 | 108M | 221 |3138 |7538 |7591 |6327 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
597.91/600.10 c 600s| 2900 | 535 | 1043k| 242.5 | 108M | 221 |3138 |7538 |7592 |6335 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
598.59/600.72 c 601s| 3000 | 545 | 1044k| 236.9 | 108M | 221 |3138 |7538 |7592 |6339 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
599.19/601.34 c 601s| 3100 | 547 | 1046k| 231.6 | 108M | 221 |3138 |7538 | 0 |6348 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
599.79/601.98 c 602s| 3200 | 551 | 1048k| 226.6 | 108M | 221 |3138 |7538 |7592 |6353 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
600.49/602.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
600.49/602.68 c 603s| 3300 | 553 | 1050k| 221.9 | 108M | 221 |3138 |7538 | 0 |6357 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
601.08/603.28 c 603s| 3400 | 549 | 1052k| 217.3 | 108M | 221 |3138 |7538 |7592 |6358 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
601.78/603.99 c 604s| 3500 | 551 | 1054k| 212.9 | 108M | 221 |3138 |7537 | 0 |6364 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
602.48/604.65 c 605s| 3600 | 553 | 1056k| 208.8 | 108M | 221 |3138 |7537 | 0 |6365 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
603.77/605.95 c 606s| 3700 | 563 | 1060k| 205.3 | 108M | 221 |3138 |7537 |7572 |6415 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
605.57/607.70 c 608s| 3800 | 575 | 1066k| 202.3 | 108M | 221 |3138 |7537 |7578 |6463 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
606.76/608.91 c 609s| 3900 | 597 | 1070k| 199.1 | 109M | 221 |3138 |7537 | 0 |6475 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
607.97/610.16 c 610s| 4000 | 609 | 1075k| 196.0 | 109M | 221 |3138 |7537 |7583 |6495 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
609.15/611.32 c 611s| 4100 | 621 | 1079k| 193.0 | 109M | 221 |3138 |7537 |7581 |6517 | 2 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
609.75/612.00 c 612s| 4200 | 617 | 1081k| 189.7 | 109M | 221 |3138 |7537 |7580 |6525 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
610.45/612.63 c 613s| 4300 | 615 | 1083k| 186.5 | 109M | 221 |3138 |7537 | 0 |6550 | 0 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
611.24/613.41 c 613s| 4400 | 613 | 1085k| 183.5 | 109M | 221 |3138 |7537 |7580 |6556 | 1 | 203 | 29 | 0.000000e+00 | -- | Inf | unknown
620.51/622.77 c 623s| 4500 | 343 | 1108k| 184.3 | 109M | 221 |3138 |7549 |7455 |6881 | 1 | 215 | 29 | 0.000000e+00 | -- | Inf | unknown
631.88/634.11 c 634s| 4600 | 436 | 1136k| 186.0 | 111M | 221 |3138 |7586 |7468 |7360 | 1 | 253 | 29 | 0.000000e+00 | -- | Inf | unknown
708.20/710.72 c 711s| 4700 | 528 | 1230k| 199.1 | 116M | 221 |3138 |7586 |7588 |8177 | 1 | 254 | 29 | 0.000000e+00 | -- | Inf | unknown
731.22/733.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
731.22/733.81 c 734s| 4800 | 622 | 1306k| 208.7 | 123M | 221 |3138 |7599 |7648 |9630 | 1 | 267 | 29 | 0.000000e+00 | -- | Inf | unknown
744.49/747.19 c 747s| 4900 | 716 | 1343k| 211.5 | 123M | 221 |3138 |7626 |7743 | 10k| 1 | 295 | 29 | 0.000000e+00 | -- | Inf | unknown
759.44/762.15 c 762s| 5000 | 804 | 1386k| 215.0 | 127M | 221 |3138 |7628 |7741 | 12k| 1 | 297 | 29 | 0.000000e+00 | -- | Inf | unknown
778.56/781.31 c 781s| 5100 | 896 | 1435k| 219.5 | 127M | 221 |3138 |7628 | 0 | 14k| 0 | 302 | 29 | 0.000000e+00 | -- | Inf | unknown
793.72/796.50 c 796s| 5200 | 988 | 1476k| 222.6 | 129M | 221 |3138 |7628 |7580 | 15k| 1 | 302 | 29 | 0.000000e+00 | -- | Inf | unknown
805.98/808.83 c 809s| 5300 | 1078 | 1514k| 225.1 | 132M | 221 |3138 |7627 |7636 | 17k| 1 | 302 | 29 | 0.000000e+00 | -- | Inf | unknown
827.53/830.40 c 830s| 5400 | 1176 | 1578k| 231.5 | 135M | 221 |3138 |7619 |7691 | 18k| 1 | 314 | 29 | 0.000000e+00 | -- | Inf | unknown
851.96/854.97 c 855s| 5500 | 1276 | 1645k| 238.3 | 136M | 221 |3138 |7654 |7478 | 20k| 1 | 359 | 29 | 0.000000e+00 | -- | Inf | unknown
875.50/878.55 c 879s| 5600 | 1372 | 1714k| 245.0 | 138M | 221 |3138 |7697 |7602 | 22k| 1 | 410 | 29 | 0.000000e+00 | -- | Inf | unknown
899.24/902.30 c 902s| 5700 | 1471 | 1779k| 251.0 | 141M | 221 |3138 |7707 |7700 | 24k| 1 | 440 | 29 | 0.000000e+00 | -- | Inf | unknown
921.89/925.10 c 925s| 5800 | 1570 | 1841k| 256.3 | 144M | 221 |3138 |7697 |7961 | 26k| 1 | 451 | 29 | 0.000000e+00 | -- | Inf | unknown
947.82/951.09 c 951s| 5900 | 1664 | 1923k| 264.4 | 144M | 221 |3138 |7678 |7580 | 28k| 1 | 465 | 29 | 0.000000e+00 | -- | Inf | unknown
969.15/972.43 c 972s| 6000 | 1763 | 1985k| 269.5 | 145M | 221 |3138 |7672 |7641 | 30k| 1 | 488 | 29 | 0.000000e+00 | -- | Inf | unknown
996.58/999.99 c 1000s| 6100 | 1857 | 2056k| 275.7 | 147M | 221 |3138 |7686 |7973 | 32k| 1 | 512 | 29 | 0.000000e+00 | -- | Inf | unknown
1019.32/1022.77 c 1023s| 6200 | 1957 | 2119k| 280.6 | 147M | 221 |3138 |7664 |7690 | 34k| 2 | 514 | 29 | 0.000000e+00 | -- | Inf | unknown
1046.25/1049.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1046.25/1049.74 c 1050s| 6300 | 2057 | 2197k| 287.4 | 148M | 221 |3138 |7665 |7718 | 36k| 1 | 532 | 29 | 0.000000e+00 | -- | Inf | unknown
1072.08/1075.69 c 1076s| 6400 | 2157 | 2271k| 293.5 | 149M | 221 |3138 |7670 |7803 | 38k| 1 | 553 | 29 | 0.000000e+00 | -- | Inf | unknown
1097.71/1101.39 c 1101s| 6500 | 2253 | 2344k| 299.2 | 150M | 221 |3138 |7672 |7908 | 40k| 1 | 560 | 29 | 0.000000e+00 | -- | Inf | unknown
1121.56/1125.29 c 1125s| 6600 | 2352 | 2408k| 303.6 | 150M | 221 |3138 |7692 |7477 | 42k| 1 | 585 | 29 | 0.000000e+00 | -- | Inf | unknown
1143.80/1147.54 c 1148s| 6700 | 2452 | 2468k| 307.5 | 150M | 221 |3138 |7680 |7649 | 43k| 1 | 586 | 29 | 0.000000e+00 | -- | Inf | unknown
1168.13/1171.94 c 1172s| 6800 | 2548 | 2540k| 312.7 | 151M | 221 |3138 |7659 |7805 | 45k| 1 | 589 | 29 | 0.000000e+00 | -- | Inf | unknown
1196.66/1200.50 c 1200s| 6900 | 2642 | 2618k| 318.6 | 151M | 221 |3138 |7670 | 0 | 47k| 0 | 606 | 29 | 0.000000e+00 | -- | Inf | unknown
1223.48/1227.40 c 1227s| 7000 | 2739 | 2689k| 323.5 | 154M | 221 |3138 |7685 |7618 | 49k| 1 | 626 | 29 | 0.000000e+00 | -- | Inf | unknown
1244.92/1248.96 c 1249s| 7100 | 2833 | 2751k| 327.1 | 156M | 221 |3138 |7693 |7559 | 51k| 1 | 665 | 29 | 0.000000e+00 | -- | Inf | unknown
1265.67/1269.74 c 1270s| 7200 | 2926 | 2811k| 330.5 | 156M | 221 |3138 |7687 |7965 | 53k| 2 | 667 | 29 | 0.000000e+00 | -- | Inf | unknown
1289.21/1293.35 c 1293s| 7300 | 3022 | 2874k| 334.1 | 157M | 221 |3138 |7672 |7468 | 55k| 1 | 667 | 29 | 0.000000e+00 | -- | Inf | unknown
1305.87/1310.05 c 1310s| 7400 | 3114 | 2933k| 337.1 | 158M | 221 |3138 |7661 |7615 | 56k| 1 | 668 | 29 | 0.000000e+00 | -- | Inf | unknown
1322.61/1326.87 c 1327s| 7500 | 3208 | 2980k| 338.6 | 158M | 221 |3138 |7661 |7863 | 58k| 2 | 684 | 29 | 0.000000e+00 | -- | Inf | unknown
1343.56/1347.85 c 1348s| 7600 | 3295 | 3044k| 342.1 | 158M | 221 |3138 |7660 |7806 | 60k| 2 | 686 | 29 | 0.000000e+00 | -- | Inf | unknown
1367.00/1371.39 c 1371s| 7700 | 3386 | 3111k| 345.8 | 160M | 221 |3138 |7687 |7613 | 62k| 1 | 720 | 29 | 0.000000e+00 | -- | Inf | unknown
1391.33/1395.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1391.33/1395.73 c 1396s| 7800 | 3472 | 3180k| 349.8 | 162M | 221 |3138 |7714 |7773 | 64k| 1 | 753 | 29 | 0.000000e+00 | -- | Inf | unknown
1410.48/1414.95 c 1415s| 7900 | 3562 | 3237k| 352.2 | 163M | 221 |3138 |7725 |7492 | 66k| 1 | 781 | 29 | 0.000000e+00 | -- | Inf | unknown
1429.13/1433.66 c 1434s| 8000 | 3654 | 3290k| 354.2 | 164M | 221 |3138 |7710 |7639 | 68k| 1 | 789 | 29 | 0.000000e+00 | -- | Inf | unknown
1448.08/1452.69 c 1453s| 8100 | 3747 | 3346k| 356.4 | 165M | 221 |3138 |7714 |7610 | 70k| 1 | 810 | 29 | 0.000000e+00 | -- | Inf | unknown
1470.02/1474.64 c 1475s| 8200 | 3837 | 3406k| 359.1 | 165M | 221 |3138 |7753 |7773 | 72k| 1 | 862 | 29 | 0.000000e+00 | -- | Inf | unknown
1492.96/1497.67 c 1498s| 8300 | 3930 | 3472k| 362.3 | 165M | 221 |3138 |7783 | 0 | 73k| 0 | 897 | 29 | 0.000000e+00 | -- | Inf | unknown
1513.80/1518.52 c 1518s| 8400 | 4021 | 3533k| 364.9 | 166M | 221 |3138 |7823 |7731 | 75k| 1 | 953 | 29 | 0.000000e+00 | -- | Inf | unknown
1537.04/1541.88 c 1542s| 8500 | 4119 | 3598k| 367.9 | 166M | 221 |3138 |7830 |7647 | 77k| 1 | 975 | 29 | 0.000000e+00 | -- | Inf | unknown
1552.49/1557.35 c 1557s| 8600 | 4202 | 3645k| 368.9 | 167M | 221 |3138 |7833 |7694 | 79k| 1 | 994 | 29 | 0.000000e+00 | -- | Inf | unknown
1652.83/1657.95 c 1658s| 8700 | 4296 | 3774k| 378.4 | 168M | 221 |3138 |7841 |7553 | 80k| 1 |1007 | 29 | 0.000000e+00 | -- | Inf | unknown
1679.46/1684.60 c 1685s| 8800 | 4392 | 3839k| 381.2 | 168M | 221 |3138 |7810 |7467 | 82k| 1 |1018 | 29 | 0.000000e+00 | -- | Inf | unknown
1701.00/1706.20 c 1706s| 8900 | 4489 | 3907k| 384.2 | 168M | 221 |3138 |7814 |7615 | 84k| 1 |1041 | 29 | 0.000000e+00 | -- | Inf | unknown
1728.13/1733.45 c 1733s| 9000 | 4576 | 3995k| 389.1 | 171M | 221 |3138 |7814 |7815 | 86k| 1 |1061 | 29 | 0.000000e+00 | -- | Inf | unknown
1751.67/1757.06 c 1757s| 9100 | 4670 | 4065k| 392.1 | 171M | 221 |3138 |7807 |7767 | 88k| 1 |1094 | 29 | 0.000000e+00 | -- | Inf | unknown
1777.99/1783.44 c 1783s| 9200 | 4768 | 4137k| 395.4 | 172M | 221 |3138 |7824 |7893 | 90k| 2 |1127 | 29 | 0.000000e+00 | -- | Inf | unknown
1801.03/1806.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1801.03/1806.53 c 1807s| 9300 | 4857 | 4201k| 397.7 | 172M | 221 |3138 |7817 |7501 | 92k| 1 |1143 | 29 | 0.000000e+00 | -- | Inf | unknown
1820.49/1826.03 c 1826s| 9400 | 4953 | 4256k| 399.1 | 173M | 221 |3138 |7813 |7564 | 94k| 1 |1160 | 29 | 0.000000e+00 | -- | Inf | unknown
1837.23/1842.88 c 1843s| 9500 | 5045 | 4303k| 399.9 | 174M | 221 |3138 |7816 |7735 | 96k| 1 |1183 | 29 | 0.000000e+00 | -- | Inf | unknown
1859.97/1865.68 c 1866s| 9600 | 5143 | 4367k| 402.1 | 174M | 221 |3138 |7809 |7854 | 98k| 1 |1183 | 29 | 0.000000e+00 | -- | Inf | unknown
1890.18/1895.93 c 1896s| 9700 | 5239 | 4448k| 405.9 | 174M | 221 |3138 |7827 |7468 | 100k| 1 |1224 | 29 | 0.000000e+00 | -- | Inf | unknown
1906.64/1912.40 c 1912s| 9800 | 5335 | 4495k| 406.5 | 175M | 221 |3138 |7806 |7587 | 102k| 2 |1224 | 29 | 0.000000e+00 | -- | Inf | unknown
1925.89/1931.79 c 1932s| 9900 | 5431 | 4547k| 407.5 | 177M | 221 |3138 |7783 |7833 | 104k| 2 |1241 | 29 | 0.000000e+00 | -- | Inf | unknown
1947.93/1953.83 c 1954s| 10000 | 5524 | 4613k| 409.8 | 180M | 221 |3138 |7783 |7660 | 106k| 1 |1256 | 29 | 0.000000e+00 | -- | Inf | unknown
1974.37/1980.30 c 1980s| 10100 | 5616 | 4691k| 413.1 | 180M | 221 |3138 |7791 |7873 | 108k| 1 |1291 | 29 | 0.000000e+00 | -- | Inf | unknown
1995.91/2001.99 c 2002s| 10200 | 5713 | 4749k| 414.6 | 181M | 221 |3138 |7811 |7451 | 110k| 1 |1321 | 29 | 0.000000e+00 | -- | Inf | unknown
2019.85/2025.98 c 2026s| 10300 | 5804 | 4812k| 416.5 | 182M | 221 |3138 |7856 |7597 | 112k| 1 |1376 | 29 | 0.000000e+00 | -- | Inf | unknown
2037.70/2043.86 c 2044s| 10400 | 5904 | 4865k| 417.5 | 182M | 221 |3138 |7850 |7545 | 114k| 1 |1396 | 29 | 0.000000e+00 | -- | Inf | unknown
2064.64/2070.85 c 2071s| 10500 | 5998 | 4938k| 420.2 | 183M | 221 |3138 |7839 |7832 | 116k| 1 |1413 | 29 | 0.000000e+00 | -- | Inf | unknown
2090.47/2096.73 c 2097s| 10600 | 6092 | 5007k| 422.5 | 184M | 221 |3138 |7863 |7883 | 117k| 1 |1467 | 29 | 0.000000e+00 | -- | Inf | unknown
2106.74/2113.08 c 2113s| 10700 | 6181 | 5057k| 423.2 | 184M | 221 |3138 |7845 |7468 | 119k| 1 |1468 | 29 | 0.000000e+00 | -- | Inf | unknown
2127.48/2133.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2127.48/2133.85 c 2134s| 10800 | 6275 | 5115k| 424.5 | 184M | 221 |3138 |7839 |7737 | 121k| 1 |1474 | 29 | 0.000000e+00 | -- | Inf | unknown
2154.72/2161.15 c 2161s| 10900 | 6367 | 5200k| 428.0 | 185M | 221 |3138 |7837 |7750 | 123k| 2 |1488 | 29 | 0.000000e+00 | -- | Inf | unknown
2178.05/2184.50 c 2184s| 11000 | 6461 | 5264k| 429.8 | 186M | 221 |3138 |7853 |7846 | 125k| 1 |1519 | 29 | 0.000000e+00 | -- | Inf | unknown
2203.78/2210.32 c 2210s| 11100 | 6553 | 5331k| 431.8 | 186M | 221 |3138 |7849 | 0 | 127k| 0 |1545 | 29 | 0.000000e+00 | -- | Inf | unknown
2224.33/2230.92 c 2231s| 11200 | 6647 | 5389k| 433.0 | 187M | 221 |3138 |7845 |7540 | 129k| 1 |1554 | 29 | 0.000000e+00 | -- | Inf | unknown
2242.98/2249.65 c 2250s| 11300 | 6737 | 5448k| 434.3 | 188M | 221 |3138 |7851 |7623 | 130k| 1 |1579 | 29 | 0.000000e+00 | -- | Inf | unknown
2268.52/2275.24 c 2275s| 11400 | 6833 | 5521k| 436.6 | 188M | 221 |3138 |7853 |7909 | 132k| 1 |1586 | 29 | 0.000000e+00 | -- | Inf | unknown
2290.86/2297.69 c 2298s| 11500 | 6923 | 5590k| 438.7 | 188M | 221 |3138 |7852 |7911 | 134k| 1 |1614 | 29 | 0.000000e+00 | -- | Inf | unknown
2320.20/2327.08 c 2327s| 11600 | 7015 | 5675k| 442.0 | 189M | 221 |3138 |7854 |7875 | 136k| 1 |1627 | 29 | 0.000000e+00 | -- | Inf | unknown
2344.92/2351.85 c 2352s| 11700 | 7113 | 5741k| 443.7 | 189M | 221 |3138 |7878 |7831 | 138k| 2 |1662 | 29 | 0.000000e+00 | -- | Inf | unknown
2365.67/2372.65 c 2373s| 11800 | 7209 | 5805k| 445.1 | 189M | 221 |3138 |7873 |7751 | 140k| 1 |1666 | 29 | 0.000000e+00 | -- | Inf | unknown
2387.04/2394.05 c 2394s| 11900 | 7307 | 5862k| 446.2 | 189M | 221 |3138 |7895 |7664 | 142k| 1 |1707 | 29 | 0.000000e+00 | -- | Inf | unknown
2413.56/2420.60 c 2421s| 12000 | 7401 | 5932k| 448.1 | 190M | 221 |3138 |7887 |7631 | 144k| 2 |1739 | 29 | 0.000000e+00 | -- | Inf | unknown
2433.41/2440.54 c 2441s| 12100 | 7491 | 5985k| 448.7 | 190M | 221 |3138 |7890 |7890 | 146k| 1 |1757 | 29 | 0.000000e+00 | -- | Inf | unknown
2459.34/2466.55 c 2467s| 12200 | 7585 | 6056k| 450.7 | 191M | 221 |3138 |7916 |7888 | 147k| 1 |1798 | 29 | 0.000000e+00 | -- | Inf | unknown
2479.69/2486.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2479.69/2486.99 c 2487s| 12300 | 7679 | 6110k| 451.3 | 194M | 221 |3138 |7943 |7631 | 149k| 1 |1840 | 29 | 0.000000e+00 | -- | Inf | unknown
2505.83/2513.15 c 2513s| 12400 | 7775 | 6203k| 454.9 | 195M | 221 |3138 |7940 |7876 | 151k| 1 |1855 | 29 | 0.000000e+00 | -- | Inf | unknown
2528.96/2536.31 c 2536s| 12500 | 7869 | 6270k| 456.5 | 195M | 221 |3138 |7957 |7940 | 152k| 1 |1901 | 29 | 0.000000e+00 | -- | Inf | unknown
2559.29/2566.75 c 2567s| 12600 | 7969 | 6350k| 459.0 | 195M | 221 |3138 |7944 |7643 | 154k| 1 |1916 | 29 | 0.000000e+00 | -- | Inf | unknown
2583.72/2591.28 c 2591s| 12700 | 8064 | 6411k| 460.1 | 196M | 221 |3138 |7970 |7567 | 156k| 2 |1966 | 29 | 0.000000e+00 | -- | Inf | unknown
2600.08/2607.68 c 2608s| 12800 | 8162 | 6458k| 460.2 | 196M | 221 |3138 |7987 |7626 | 158k| 1 |2004 | 29 | 0.000000e+00 | -- | Inf | unknown
2623.32/2630.97 c 2631s| 12900 | 8259 | 6521k| 461.4 | 197M | 221 |3138 |7976 |7711 | 160k| 1 |2023 | 29 | 0.000000e+00 | -- | Inf | unknown
2641.97/2649.62 c 2650s| 13000 | 8350 | 6574k| 461.9 | 197M | 221 |3138 |7995 |8070 | 161k| 2 |2062 | 29 | 0.000000e+00 | -- | Inf | unknown
2674.59/2682.35 c 2682s| 13100 | 8440 | 6654k| 464.3 | 199M | 221 |3138 |7978 |7480 | 163k| 1 |2071 | 29 | 0.000000e+00 | -- | Inf | unknown
2695.63/2703.46 c 2703s| 13200 | 8532 | 6709k| 464.9 | 199M | 221 |3138 |7991 |7641 | 165k| 1 |2112 | 29 | 0.000000e+00 | -- | Inf | unknown
2719.37/2727.20 c 2727s| 13300 | 8630 | 6770k| 465.9 | 199M | 221 |3138 |7978 |7882 | 167k| 1 |2124 | 29 | 0.000000e+00 | -- | Inf | unknown
2737.62/2745.50 c 2745s| 13400 | 8720 | 6831k| 466.9 | 200M | 221 |3138 |7972 |7777 | 169k| 1 |2136 | 29 | 0.000000e+00 | -- | Inf | unknown
2759.27/2767.29 c 2767s| 13500 | 8812 | 6888k| 467.6 | 201M | 221 |3138 |7959 |7763 | 170k| 1 |2139 | 29 | 0.000000e+00 | -- | Inf | unknown
2778.22/2786.28 c 2786s| 13600 | 8908 | 6935k| 467.6 | 201M | 221 |3138 |7936 |7364 | 172k| 1 |2157 | 29 | 0.000000e+00 | -- | Inf | unknown
2804.45/2812.51 c 2812s| 13700 | 9003 | 7009k| 469.4 | 201M | 221 |3138 |7930 |7531 | 174k| 2 |2174 | 29 | 0.000000e+00 | -- | Inf | unknown
2825.51/2833.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2825.51/2833.65 c 2834s| 13800 | 9095 | 7069k| 470.4 | 203M | 221 |3138 |7916 |7514 | 176k| 1 |2177 | 29 | 0.000000e+00 | -- | Inf | unknown
2847.65/2855.80 c 2856s| 13900 | 9184 | 7129k| 471.2 | 204M | 221 |3138 |7928 |7697 | 178k| 2 |2213 | 29 | 0.000000e+00 | -- | Inf | unknown
2868.81/2877.04 c 2877s| 14000 | 9281 | 7190k| 472.1 | 204M | 221 |3138 |7949 |7729 | 180k| 1 |2265 | 29 | 0.000000e+00 | -- | Inf | unknown
2893.53/2901.88 c 2902s| 14100 | 9371 | 7263k| 473.8 | 204M | 221 |3138 |7934 |7489 | 182k| 1 |2271 | 29 | 0.000000e+00 | -- | Inf | unknown
2917.37/2925.74 c 2926s| 14200 | 9461 | 7328k| 475.0 | 204M | 221 |3138 |7953 |7743 | 183k| 1 |2311 | 29 | 0.000000e+00 | -- | Inf | unknown
2944.62/2953.07 c 2953s| 14300 | 9555 | 7410k| 477.2 | 204M | 221 |3138 |7975 |7532 | 185k| 1 |2339 | 29 | 0.000000e+00 | -- | Inf | unknown
2968.94/2977.41 c 2977s| 14400 | 9652 | 7476k| 478.4 | 205M | 221 |3138 |7963 |7644 | 187k| 1 |2344 | 29 | 0.000000e+00 | -- | Inf | unknown
3117.08/3125.94 c 3126s| 14500 | 9750 | 7702k| 489.9 | 205M | 221 |3138 |7973 |8021 | 189k| 1 |2362 | 29 | 0.000000e+00 | -- | Inf | unknown
3144.51/3153.46 c 3153s| 14600 | 9838 | 7778k| 491.6 | 206M | 221 |3138 |7962 |7318 | 190k| 1 |2370 | 29 | 0.000000e+00 | -- | Inf | unknown
3166.85/3175.84 c 3176s| 14700 | 9936 | 7839k| 492.3 | 206M | 221 |3138 |7932 |7522 | 192k| 1 |2371 | 29 | 0.000000e+00 | -- | Inf | unknown
3185.50/3194.57 c 3195s| 14800 | 10030 | 7889k| 492.4 | 207M | 221 |3138 |7914 |7652 | 194k| 1 |2384 | 29 | 0.000000e+00 | -- | Inf | unknown
3207.84/3216.99 c 3217s| 14900 | 10122 | 7952k| 493.3 | 207M | 221 |3138 |7915 |7519 | 195k| 1 |2403 | 29 | 0.000000e+00 | -- | Inf | unknown
3228.79/3237.99 c 3238s| 15000 | 10215 | 8009k| 493.8 | 207M | 221 |3138 |7908 |7762 | 197k| 1 |2415 | 29 | 0.000000e+00 | -- | Inf | unknown
3255.12/3264.37 c 3264s| 15100 | 10299 | 8093k| 495.9 | 208M | 221 |3138 |7909 |7859 | 199k| 2 |2425 | 29 | 0.000000e+00 | -- | Inf | unknown
3277.46/3286.73 c 3287s| 15200 | 10392 | 8159k| 496.9 | 208M | 221 |3138 |7920 |7711 | 200k| 1 |2451 | 29 | 0.000000e+00 | -- | Inf | unknown
3299.41/3308.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3299.41/3308.78 c 3309s| 15300 | 10476 | 8225k| 497.9 | 209M | 221 |3138 |7922 |7851 | 202k| 1 |2461 | 29 | 0.000000e+00 | -- | Inf | unknown
3323.55/3332.91 c 3333s| 15400 | 10568 | 8294k| 499.1 | 210M | 221 |3138 |7916 |7666 | 204k| 1 |2466 | 29 | 0.000000e+00 | -- | Inf | unknown
3346.19/3355.63 c 3356s| 15500 | 10658 | 8360k| 500.1 | 210M | 221 |3138 |7935 |7453 | 205k| 1 |2496 | 29 | 0.000000e+00 | -- | Inf | unknown
3368.83/3378.33 c 3378s| 15600 | 10744 | 8427k| 501.1 | 210M | 221 |3138 |7965 |7730 | 207k| 1 |2537 | 29 | 0.000000e+00 | -- | Inf | unknown
3388.88/3398.44 c 3398s| 15700 | 10836 | 8491k| 501.9 | 210M | 221 |3138 |7952 |7717 | 208k| 1 |2542 | 29 | 0.000000e+00 | -- | Inf | unknown
3411.23/3420.83 c 3421s| 15800 | 10930 | 8557k| 502.8 | 210M | 221 |3138 |7959 |7607 | 210k| 1 |2570 | 29 | 0.000000e+00 | -- | Inf | unknown
3434.38/3444.02 c 3444s| 15900 | 11018 | 8619k| 503.5 | 211M | 221 |3138 |7945 |7649 | 212k| 1 |2581 | 29 | 0.000000e+00 | -- | Inf | unknown
3460.00/3469.74 c 3470s| 16000 | 11102 | 8696k| 505.1 | 211M | 221 |3138 |7983 |7905 | 214k| 1 |2636 | 29 | 0.000000e+00 | -- | Inf | unknown
3483.54/3493.37 c 3493s| 16100 | 11190 | 8767k| 506.3 | 212M | 221 |3138 |7967 |7785 | 215k| 1 |2640 | 29 | 0.000000e+00 | -- | Inf | unknown
3509.08/3518.97 c 3519s| 16200 | 11284 | 8847k| 508.0 | 213M | 221 |3138 |7945 |7685 | 217k| 1 |2641 | 29 | 0.000000e+00 | -- | Inf | unknown
3535.12/3545.08 c 3545s| 16300 | 11372 | 8928k| 509.7 | 213M | 221 |3138 |7975 |7996 | 219k| 1 |2682 | 29 | 0.000000e+00 | -- | Inf | unknown
3556.56/3566.56 c 3567s| 16400 | 11464 | 8993k| 510.5 | 214M | 221 |3138 |7982 |7977 | 220k| 1 |2695 | 29 | 0.000000e+00 | -- | Inf | unknown
3586.99/3597.02 c
3586.99/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3586.99/3597.02 c Solving Time (sec) : 3596.99
3586.99/3597.02 c Solving Nodes : 16496 (total of 17545 nodes in 2 runs)
3586.99/3597.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.99/3597.02 c Dual Bound : +0.00000000000000e+00
3586.99/3597.02 c Gap : infinite
3586.99/3597.02 s UNKNOWN
3586.99/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3586.99/3597.02 c Total Time : 3596.99
3586.99/3597.02 c solving : 3596.99
3586.99/3597.02 c presolving : 0.50 (included in solving)
3586.99/3597.02 c reading : 0.05 (included in solving)
3586.99/3597.02 c copying : 0.72 (53 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3586.99/3597.02 c Original Problem :
3586.99/3597.02 c Problem name : HOME/instance-4513268-1751220588.opb
3586.99/3597.02 c Variables : 3968 (3968 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.99/3597.02 c Constraints : 7872 initial, 7872 maximal
3586.99/3597.02 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.99/3597.02 c Presolved Problem :
3586.99/3597.02 c Problem name : t_HOME/instance-4513268-1751220588.opb
3586.99/3597.02 c Variables : 3138 (3138 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.99/3597.02 c Constraints : 7500 initial, 8003 maximal
3586.99/3597.02 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.99/3597.02 c Nonzeros : 34590 constraint, 994 clique table
3586.99/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.99/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c gateextraction : 0.02 0.00 4 0 0 0 0 0 123 41 0 0
3586.99/3597.02 c implics : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c milp : 0.08 0.00 1 2 60 0 0 0 0 0 0 0
3586.99/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c trivial : 0.00 0.00 20 53 0 0 0 0 0 0 0 0
3586.99/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c dualfix : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c probing : 0.09 0.00 1 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c knapsack : 0.00 0.00 20 0 0 0 0 0 2 5 2 4
3586.99/3597.02 c setppc : 0.00 0.00 15 0 0 0 0 0 1 0 0 0
3586.99/3597.02 c and : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c xor : 0.00 0.00 31 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c linear : 0.17 0.01 30 591 124 0 591 0 2243 1362 111 0
3586.99/3597.02 c logicor : 0.06 0.01 25 0 0 0 0 0 528 0 0 46
3586.99/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c root node : - - - 0 - - 0 - - - - -
3586.99/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.99/3597.02 c benderslp : 0 0 0 0 15297 0 0 11989 0 0 0 0 0 0 0
3586.99/3597.02 c integral : 0 0 0 0 15297 0 0 11989 0 0 0 0 0 0 30594
3586.99/3597.02 c knapsack : 72+ 85 11 291849 0 0 0 0 434 47 5137 166 16 0 0
3586.99/3597.02 c setppc : 161+ 171 11 291185 0 0 0 0 1255 10 1095 0 0 0 0
3586.99/3597.02 c and : 41 41 15569 351475 0 0 0 11984 752 9 2233 806 743 0 0
3586.99/3597.02 c xor : 1 1 22 302797 0 0 0 59 8 1 18 0 0 0 0
3586.99/3597.02 c linear : 1246+ 1255 22 351871 0 0 0 48 35039 5049 90870 0 0 0 0
3586.99/3597.02 c logicor : 5979+ 6460 22 216816 0 0 0 0 8245 200 20118 6 2 0 0
3586.99/3597.02 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.99/3597.02 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3586.99/3597.02 c integral : 22.24 0.00 0.00 0.00 21.71 0.00 0.00 0.52 0.00 0.00
3586.99/3597.02 c knapsack : 0.09 0.00 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.00
3586.99/3597.02 c setppc : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3586.99/3597.02 c and : 0.23 0.00 0.11 0.10 0.00 0.00 0.00 0.02 0.00 0.00
3586.99/3597.02 c xor : 2.10 0.00 0.00 2.10 0.00 0.00 0.00 0.00 0.00 0.00
3586.99/3597.02 c linear : 1.42 0.01 0.01 1.38 0.00 0.00 0.00 0.00 0.02 0.00
3586.99/3597.02 c logicor : 1.08 0.01 0.02 1.05 0.00 0.00 0.00 0.00 0.01 0.00
3586.99/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.99/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.99/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.99/3597.02 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.99/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.99/3597.02 c dualfix : 2 0 0 0
3586.99/3597.02 c genvbounds : 0 0 0 0
3586.99/3597.02 c nlobbt : 0 0 0 0
3586.99/3597.02 c obbt : 0 0 0 0
3586.99/3597.02 c probing : 0 0 0 0
3586.99/3597.02 c pseudoobj : 0 0 0 0
3586.99/3597.02 c redcost : 0 0 0 0
3586.99/3597.02 c rootredcost : 0 0 0 0
3586.99/3597.02 c symmetry : 0 0 0 0
3586.99/3597.02 c vbounds : 62430 0 0 0
3586.99/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.99/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.99/3597.02 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3586.99/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.99/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.99/3597.02 c probing : 0.09 0.00 0.09 0.00 0.00 0.00
3586.99/3597.02 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3586.99/3597.02 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.99/3597.02 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.99/3597.02 c symmetry : 0.08 0.00 0.04 0.04 0.00 0.00
3586.99/3597.02 c vbounds : 0.08 0.00 0.00 0.08 0.00 0.00
3586.99/3597.02 c Symmetry :
3586.99/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.99/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.99/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.99/3597.02 c shadow tree time : 0.00 s
3586.99/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.99/3597.02 c propagation : 0.06 466 466 - 3891 98.0 303 8.9 - - -
3586.99/3597.02 c infeasible LP : 0.12 85 81 - 2842 244.2 62 5.8 69 120.4 0
3586.99/3597.02 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.99/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.99/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.99/3597.02 c applied globally : 0.01 - - 0 2654 54.9 - - 69 - -
3586.99/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.99/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.99/3597.02 c cut pool : 1.54 - 3269 42 - - 13934 1067525 - - - - - (maximal pool size: 4551)
3586.99/3597.02 c aggregation : 0.54 0.00 90 22 0 0 9063 501640 308 155331 155120 211 0
3586.99/3597.02 c > cmir : - - - - - - - 223138 0 43353 43353 0 -
3586.99/3597.02 c > flowcover : - - - - - - - 166407 0 62709 62709 0 -
3586.99/3597.02 c > knapsackcover : - - - - - - - 112095 308 49269 49058 211 -
3586.99/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c clique : 0.03 0.00 22 22 0 0 10 176 0 17 17 0 0
3586.99/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c gomory : 18.34 0.00 89 20 0 0 4086 405125 332 22344 22321 23 0
3586.99/3597.02 c > gomorymi : - - - - - - - 183841 166 13898 13878 20 -
3586.99/3597.02 c > strongcg : - - - - - - - 221284 166 8446 8443 3 -
3586.99/3597.02 c impliedbounds : 0.01 0.00 91 22 0 0 669 26471 0 14443 14443 0 0
3586.99/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c multilinear : 0.00 0.00 69 22 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.99/3597.02 c rapidlearning : 5.05 0.00 48 2 0 34 0 0 0 0 0 0 22
3586.99/3597.02 c rlt : 1.11 0.00 69 20 0 0 12 12 1 6 6 0 0
3586.99/3597.02 c zerohalf : 1.67 0.00 89 22 0 0 1115 134101 384 53814 53462 352 0
3586.99/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.99/3597.02 c hybrid : 2.52 0.00 3649 22 246716 0 822812 4327 0 6290
3586.99/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3586.99/3597.02 c problem variables: 0.00 - 0 0
3586.99/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.99/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c relpscost : 21.70 0.00 15297 0 0 0 0 0 0 30594
3586.99/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.99/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.99/3597.02 c LP solutions : 0.00 - - 0 0
3586.99/3597.02 c relax solutions : 0.00 - - 0 0
3586.99/3597.02 c pseudo solutions : 0.00 - - 0 0
3586.99/3597.02 c strong branching : 0.00 - - 0 0
3586.99/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3586.99/3597.02 c adaptivediving : 28.08 0.00 12 0 0
3586.99/3597.02 c alns : 0.16 0.00 5 0 0
3586.99/3597.02 c bound : 0.00 0.00 0 0 0
3586.99/3597.02 c clique : 0.03 0.00 1 0 0
3586.99/3597.02 c coefdiving : 0.00 0.00 0 0 0
3586.99/3597.02 c completesol : 0.00 0.00 0 0 0
3586.99/3597.02 c conflictdiving : 309.08 0.00 191 0 0
3586.99/3597.02 c crossover : 0.00 0.00 0 0 0
3586.99/3597.02 c dins : 0.00 0.00 0 0 0
3586.99/3597.02 c distributiondivin: 189.16 0.00 73 0 0
3586.99/3597.02 c dps : 0.00 0.00 0 0 0
3586.99/3597.02 c dualval : 0.00 0.00 0 0 0
3586.99/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3586.99/3597.02 c feasjump : 0.05 0.00 2 0 0
3586.99/3597.02 c feaspump : 38.25 0.00 11 0 0
3586.99/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3586.99/3597.02 c fracdiving : 192.79 0.00 70 0 0
3586.99/3597.02 c gins : 0.00 0.00 0 0 0
3586.99/3597.02 c guideddiving : 0.00 0.00 0 0 0
3586.99/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3586.99/3597.02 c indicator : 0.01 0.00 0 0 0
3586.99/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3586.99/3597.02 c indoneopt : 0.01 0.00 0 0 0
3586.99/3597.02 c indrounding : 0.00 0.00 0 0 0
3586.99/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3586.99/3597.02 c intdiving : 0.00 0.00 0 0 0
3586.99/3597.02 c intshifting : 0.00 0.00 0 0 0
3586.99/3597.02 c linesearchdiving : 188.28 0.00 71 0 0
3586.99/3597.02 c localbranching : 0.00 0.00 0 0 0
3586.99/3597.02 c locks : 0.03 0.00 1 0 0
3586.99/3597.02 c lpface : 0.07 0.00 0 0 0
3586.99/3597.02 c mpec : 0.00 0.00 0 0 0
3586.99/3597.02 c multistart : 0.00 0.00 0 0 0
3586.99/3597.02 c mutation : 0.00 0.00 0 0 0
3586.99/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3586.99/3597.02 c objpscostdiving : 377.83 0.00 4 0 0
3586.99/3597.02 c octane : 0.00 0.00 0 0 0
3586.99/3597.02 c ofins : 0.00 0.00 0 0 0
3586.99/3597.02 c oneopt : 0.01 0.00 0 0 0
3586.99/3597.02 c padm : 0.00 0.00 0 0 0
3586.99/3597.02 c proximity : 0.00 0.00 0 0 0
3586.99/3597.02 c pscostdiving : 204.96 0.00 44 0 0
3586.99/3597.02 c randrounding : 0.58 0.00 2206 0 0
3586.99/3597.02 c rens : 0.00 0.00 0 0 0
3586.99/3597.02 c reoptsols : 0.00 0.00 0 0 0
3586.99/3597.02 c repair : 0.00 0.00 0 0 0
3586.99/3597.02 c rins : 0.00 0.00 0 0 0
3586.99/3597.02 c rootsoldiving : 27.02 0.00 12 0 0
3586.99/3597.02 c rounding : 0.38 0.00 1884 0 0
3586.99/3597.02 c scheduler : 0.00 0.00 0 0 0
3586.99/3597.02 c shiftandpropagate: 0.04 0.00 2 0 0
3586.99/3597.02 c shifting : 1.12 0.00 906 0 0
3586.99/3597.02 c simplerounding : 0.01 0.00 0 0 0
3586.99/3597.02 c smallcard : 0.00 0.00 0 0 0
3586.99/3597.02 c subnlp : 0.01 0.00 0 0 0
3586.99/3597.02 c trivial : 0.01 0.00 4 0 0
3586.99/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3586.99/3597.02 c trustregion : 0.00 0.00 0 0 0
3586.99/3597.02 c trysol : 0.00 0.00 0 0 0
3586.99/3597.02 c twoopt : 0.00 0.00 0 0 0
3586.99/3597.02 c undercover : 0.00 0.00 1 0 0
3586.99/3597.02 c vbounds : 0.00 0.00 0 0 0
3586.99/3597.02 c veclendiving : 199.64 0.00 126 0 0
3586.99/3597.02 c zeroobj : 0.00 0.00 0 0 0
3586.99/3597.02 c zirounding : 0.24 0.00 1000 0 0
3586.99/3597.02 c other solutions : - - - 0 -
3586.99/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.99/3597.02 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
3586.99/3597.02 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
3586.99/3597.02 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
3586.99/3597.02 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
3586.99/3597.02 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
3586.99/3597.02 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
3586.99/3597.02 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
3586.99/3597.02 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
3586.99/3597.02 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
3586.99/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.99/3597.02 c primal LP : 1.56 1427 0 0.00 0.00 1.56 1427
3586.99/3597.02 c dual LP : 1757.19 18974 5982619 315.81 3404.65 0.05 30
3586.99/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3586.99/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.99/3597.02 c resolve instable : 0.00 0 0 0.00 -
3586.99/3597.02 c diving/probing LP: 1737.94 5118 3115961 608.82 1792.90
3586.99/3597.02 c strong branching : 14.63 29 27786 958.14 1898.79 - - 54
3586.99/3597.02 c (at root node) : - 29 27786 958.14 -
3586.99/3597.02 c conflict analysis: 0.00 0 0 0.00 -
3586.99/3597.02 c B&B Tree :
3586.99/3597.02 c number of runs : 2
3586.99/3597.02 c nodes : 16496 (14248 internal, 2248 leaves)
3586.99/3597.02 c feasible leaves : 0
3586.99/3597.02 c infeas. leaves : 2248
3586.99/3597.02 c objective leaves : 0
3586.99/3597.02 c nodes (total) : 17545 (15297 internal, 2248 leaves)
3586.99/3597.02 c nodes left : 11554
3586.99/3597.02 c max depth : 221
3586.99/3597.02 c max depth (total): 221
3586.99/3597.02 c backtracks : 1404 (8.5%)
3586.99/3597.02 c early backtracks : 0 (0.0%)
3586.99/3597.02 c nodes exc. ref. : 0 (0.0%)
3586.99/3597.02 c delayed cutoffs : 447
3586.99/3597.02 c repropagations : 1272 (274 domain reductions, 6 cutoffs)
3586.99/3597.02 c avg switch length: 3.53
3586.99/3597.02 c switching time : 3.71
3586.99/3597.02 c Root Node :
3586.99/3597.02 c First LP value : +0.00000000000000e+00
3586.99/3597.02 c First LP Iters : 826 (12436.39 Iter/sec)
3586.99/3597.02 c First LP Time : 0.07
3586.99/3597.02 c Final Dual Bound : +0.00000000000000e+00
3586.99/3597.02 c Final Root Iters : 85904
3586.99/3597.02 c Root LP Estimate : +3.17895243133932e-01
3586.99/3597.02 c Solution :
3586.99/3597.02 c Solutions found : 0 (0 improvements)
3586.99/3597.02 c Primal Bound : -
3586.99/3597.02 c Dual Bound : +0.00000000000000e+00
3586.99/3597.02 c Gap : infinite
3586.99/3597.02 c Integrals : Total Avg%
3586.99/3597.02 c primal-dual : 359699.48 100.00
3586.99/3597.02 c primal-ref : - - (not evaluated)
3586.99/3597.02 c dual-ref : - - (not evaluated)
3586.99/3597.07 c Time complete: 3587.06.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63182 MiB free)
memory of node 1: 64507 MiB (63920 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513268-1751220588/watcher-4513268-1751220588 -o /tmp/evaluation-result-4513268-1751220588/solver-4513268-1751220588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751220587-28485 --watchdog 3760 pbscip -f HOME/instance-4513268-1751220588.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=28539, runsolver pid=28527
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 0.50 1.49 2.35 7/250 28544
/proc/meminfo: memFree=130091820/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=63384 memory=37376 CPUtime=0.09 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 6145 0 0 0 7 2 0 0 20 0 1 0 37738490 64905216 9344 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 15846 9344 3520 3530 0 7297 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63384 KiB
Current children cumulated memory: 37376 KiB
[startup+0.213684 s]*
/proc/loadavg: 0.50 1.49 2.35 6/250 28544
/proc/meminfo: memFree=130059992/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=71704 memory=45148 CPUtime=0.2 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 8615 0 0 0 17 3 0 0 20 0 1 0 37738490 73424896 11287 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 17926 11287 3712 3530 0 9377 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71704 KiB
Current children cumulated memory: 45148 KiB
[startup+0.313202 s]*
/proc/loadavg: 0.50 1.49 2.35 7/250 28544
/proc/meminfo: memFree=130040084/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=73556 memory=46788 CPUtime=0.3 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 9457 0 0 0 27 3 0 0 20 0 1 0 37738490 75321344 11697 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 18389 11697 3712 3530 0 9840 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 73556 KiB
Current children cumulated memory: 46788 KiB
[startup+0.700306 s]
/proc/loadavg: 0.50 1.49 2.35 7/250 28544
/proc/meminfo: memFree=130036304/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=96188 memory=65888 CPUtime=0.67 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 14796 0 0 0 62 5 0 0 20 0 1 0 37738490 98496512 16472 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 24047 16472 3936 3530 0 15498 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 96188 KiB
Current children cumulated memory: 65888 KiB
[startup+1.50026 s]
/proc/loadavg: 0.78 1.54 2.36 7/250 28544
/proc/meminfo: memFree=129976404/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=116208 memory=83984 CPUtime=1.47 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 22853 0 0 0 139 8 0 0 20 0 1 0 37738490 118996992 20996 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 29052 20996 3968 3530 0 20503 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 116208 KiB
Current children cumulated memory: 83984 KiB
[startup+3.11225 s]
/proc/loadavg: 0.78 1.54 2.36 7/250 28544
/proc/meminfo: memFree=129900036/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=116208 memory=84496 CPUtime=3.08 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 22957 0 0 0 300 8 0 0 20 0 1 0 37738490 118996992 21124 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 29052 21124 3968 3530 0 20503 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 116208 KiB
Current children cumulated memory: 84496 KiB
[startup+6.30022 s]
/proc/loadavg: 1.12 1.59 2.37 7/250 28544
/proc/meminfo: memFree=129872156/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=118788 memory=87696 CPUtime=6.25 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 23764 0 0 0 617 8 0 0 20 0 1 0 37738490 121638912 21924 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 29697 21924 3968 3530 0 21148 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 118788 KiB
Current children cumulated memory: 87696 KiB
[startup+12.7002 s]
/proc/loadavg: 1.35 1.63 2.38 7/251 28545
/proc/meminfo: memFree=129848624/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=127604 memory=93584 CPUtime=12.63 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 25252 0 0 0 1255 8 0 0 20 0 1 0 37738490 130666496 23396 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 31901 23396 3968 3530 0 23352 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 127604 KiB
Current children cumulated memory: 93584 KiB
[startup+25.5002 s]
/proc/loadavg: 1.76 1.71 2.40 7/251 28546
/proc/meminfo: memFree=129805244/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=132804 memory=96272 CPUtime=25.38 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 25927 0 0 0 2530 8 0 0 20 0 1 0 37738490 135991296 24068 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 33201 24068 3968 3530 0 24652 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 132804 KiB
Current children cumulated memory: 96272 KiB
[startup+51.1128 s]
/proc/loadavg: 2.70 1.95 2.45 7/251 28546
/proc/meminfo: memFree=129712456/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=158440 memory=122176 CPUtime=50.91 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 38788 0 0 0 5081 10 0 0 20 0 1 0 37738490 162242560 30544 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 39610 30544 3968 3530 0 31061 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 158440 KiB
Current children cumulated memory: 122176 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 2.28 2.54 7/252 28549
/proc/meminfo: memFree=129602164/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=158440 memory=122176 CPUtime=101.93 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 38788 0 0 0 10183 10 0 0 20 0 1 0 37738490 162242560 30544 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 39610 30544 3968 3530 0 31061 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 158440 KiB
Current children cumulated memory: 122176 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.61 2.64 7/253 28554
/proc/meminfo: memFree=129478400/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=158440 memory=122176 CPUtime=161.73 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 38788 0 0 0 16163 10 0 0 20 0 1 0 37738490 162242560 30544 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 39610 30544 3968 3530 0 31061 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 158440 KiB
Current children cumulated memory: 122176 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.90 2.74 7/254 28557
/proc/meminfo: memFree=129384700/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=157888 memory=121796 CPUtime=221.54 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 42957 0 0 0 22143 11 0 0 20 0 1 0 37738490 161677312 30449 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 39472 30449 3968 3530 0 30923 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 157888 KiB
Current children cumulated memory: 121796 KiB
[startup+282.3 s]
/proc/loadavg: 4.02 3.10 2.82 7/254 28561
/proc/meminfo: memFree=129260016/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=160036 memory=123944 CPUtime=281.33 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 60471 0 0 0 28119 14 0 0 20 0 1 0 37738490 163876864 30986 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 40009 30986 3968 3530 0 31460 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 160036 KiB
Current children cumulated memory: 123944 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.30 2.91 7/252 28563
/proc/meminfo: memFree=129152256/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=160036 memory=123944 CPUtime=341.12 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 60474 0 0 0 34098 14 0 0 20 0 1 0 37738490 163876864 30986 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 40009 30986 3968 3530 0 31460 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 160036 KiB
Current children cumulated memory: 123944 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.47 3.00 7/251 28565
/proc/meminfo: memFree=129013028/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=164360 memory=128280 CPUtime=400.92 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 65450 0 0 0 40077 15 0 0 20 0 1 0 37738490 168304640 32070 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 41090 32070 3968 3530 0 32541 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 164360 KiB
Current children cumulated memory: 128280 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.59 3.07 7/250 28569
/proc/meminfo: memFree=128905764/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=167912 memory=131836 CPUtime=460.7 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 69811 0 0 0 46055 15 0 0 20 0 1 0 37738490 171941888 32959 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 41978 32959 3968 3530 0 33429 0
Current children cumulated CPU time: 460.7 s
################
# More data... #
################
/proc/loadavg: 4.08 4.11 4.12 7/251 28711
/proc/meminfo: memFree=125131032/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=288712 memory=261336 CPUtime=3153.38 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 104405 0 0 0 315316 22 0 0 20 0 1 0 37738490 295641088 65334 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 72178 65334 3968 3530 0 63629 0
Current children cumulated CPU time: 3153.38 s
Current children cumulated vsize: 288712 KiB
Current children cumulated memory: 261336 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.11 7/251 28713
/proc/meminfo: memFree=125072720/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=288712 memory=261336 CPUtime=3213.23 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 104406 0 0 0 321301 22 0 0 20 0 1 0 37738490 295641088 65334 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 72178 65334 3968 3530 0 63629 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 288712 KiB
Current children cumulated memory: 261336 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.11 7/252 28718
/proc/meminfo: memFree=124989100/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=289500 memory=263664 CPUtime=3273.08 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 105816 0 0 0 327286 22 0 0 20 0 1 0 37738490 296448000 65916 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 72375 65916 3968 3530 0 63826 0
Current children cumulated CPU time: 3273.08 s
Current children cumulated vsize: 289500 KiB
Current children cumulated memory: 263664 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.11 7/252 28720
/proc/meminfo: memFree=124919980/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=289500 memory=263664 CPUtime=3332.92 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 105816 0 0 0 333270 22 0 0 20 0 1 0 37738490 296448000 65916 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 72375 65916 3968 3530 0 63826 0
Current children cumulated CPU time: 3332.92 s
Current children cumulated vsize: 289500 KiB
Current children cumulated memory: 263664 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.13 4.11 7/251 28722
/proc/meminfo: memFree=124851484/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=289500 memory=263664 CPUtime=3392.77 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 105826 0 0 0 339255 22 0 0 20 0 1 0 37738490 296448000 65916 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 72375 65916 3968 3530 0 63826 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 289500 KiB
Current children cumulated memory: 263664 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.11 7/251 28726
/proc/meminfo: memFree=124814440/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=292932 memory=267284 CPUtime=3452.62 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 107409 0 0 0 345240 22 0 0 20 0 1 0 37738490 299962368 66821 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 73233 66821 3968 3530 0 64684 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 292932 KiB
Current children cumulated memory: 267284 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.10 7/251 28728
/proc/meminfo: memFree=124762112/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=292932 memory=267284 CPUtime=3512.47 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 107410 0 0 0 351225 22 0 0 20 0 1 0 37738490 299962368 66821 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 73233 66821 3968 3530 0 64684 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 292932 KiB
Current children cumulated memory: 267284 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.10 7/250 28730
/proc/meminfo: memFree=124699300/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=292932 memory=267284 CPUtime=3572.31 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 107410 0 0 0 357209 22 0 0 20 0 1 0 37738490 299962368 66821 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 73233 66821 3968 3530 0 64684 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 292932 KiB
Current children cumulated memory: 267284 KiB
[startup+3597.07 s]
# the end of solver process 28539 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.83 s, system=0.233921 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.10 4.10 7/250 28730
/proc/meminfo: memFree=124699552/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=292932 memory=267284 CPUtime=3574.02 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 107410 0 0 0 357380 22 0 0 20 0 1 0 37738490 299962368 66821 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 73233 66821 3968 3530 0 64684 0
Current children cumulated CPU time: 3574.02 s
Current children cumulated vsize: 292932 KiB
Current children cumulated memory: 267284 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.10 4.09 7/250 28730
/proc/meminfo: memFree=124683428/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=292932 memory=267284 CPUtime=3580.39 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 107410 0 0 0 358017 22 0 0 20 0 1 0 37738490 299962368 66821 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 73233 66821 3968 3530 0 64684 0
Current children cumulated CPU time: 3580.39 s
Current children cumulated vsize: 292932 KiB
Current children cumulated memory: 267284 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.10 4.09 7/250 28730
/proc/meminfo: memFree=124683680/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=292932 memory=267284 CPUtime=3583.59 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 107410 0 0 0 358337 22 0 0 20 0 1 0 37738490 299962368 66821 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 73233 66821 3968 3530 0 64684 0
Current children cumulated CPU time: 3583.59 s
Current children cumulated vsize: 292932 KiB
Current children cumulated memory: 267284 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.10 4.09 7/250 28730
/proc/meminfo: memFree=124683932/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=292932 memory=267284 CPUtime=3585.18 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 107410 0 0 0 358496 22 0 0 20 0 1 0 37738490 299962368 66821 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 73233 66821 3968 3530 0 64684 0
Current children cumulated CPU time: 3585.18 s
Current children cumulated vsize: 292932 KiB
Current children cumulated memory: 267284 KiB
[startup+3596 s]*
/proc/loadavg: 4.08 4.10 4.09 7/250 28730
/proc/meminfo: memFree=124673396/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=292932 memory=267284 CPUtime=3585.99 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 107410 0 0 0 358577 22 0 0 20 0 1 0 37738490 299962368 66821 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 73233 66821 3968 3530 0 64684 0
Current children cumulated CPU time: 3585.99 s
Current children cumulated vsize: 292932 KiB
Current children cumulated memory: 267284 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.10 4.09 7/250 28730
/proc/meminfo: memFree=124673396/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=292932 memory=267284 CPUtime=3586.78 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 107410 0 0 0 358656 22 0 0 20 0 1 0 37738490 299962368 66821 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 73233 66821 3968 3530 0 64684 0
Current children cumulated CPU time: 3586.78 s
Current children cumulated vsize: 292932 KiB
Current children cumulated memory: 267284 KiB
[startup+3597 s]*
/proc/loadavg: 4.08 4.10 4.09 7/250 28730
/proc/meminfo: memFree=124673904/131382112 swapFree=33010684/33010684
[pid=28539] ppid=28527 vsize=292932 memory=267284 CPUtime=3586.99 cores=4,6
/proc/28539/stat : 28539 (pbscip) R 28527 28539 28474 0 -1 4194304 107410 0 0 0 358677 22 0 0 20 0 1 0 37738490 299962368 66821 18446744073709551615 4235264 18693293 140723906811280 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 57401344 140723906820489 140723906820588 140723906820588 140723906826190 0
/proc/28539/statm: 73233 66821 3968 3530 0 64684 0
Current children cumulated CPU time: 3586.99 s
Current children cumulated vsize: 292932 KiB
Current children cumulated memory: 267284 KiB
Child status: 0
Real time (s): 3597.07
CPU time (s): 3587.07
CPU user time (s): 3586.83
CPU system time (s): 0.233921
CPU usage (%): 99.7218
Max. virtual memory (cumulated for all children) (KiB): 296196
Max. memory (cumulated for all children) (KiB): 269936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.83
system time used= 0.233921
maximum resident set size= 269936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107421
page faults= 1
swaps= 0
block input operations= 152
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130
involuntary context switches= 1758
# summary of solver processes directly reported to runsolver:
# pid: 28539
# total CPU time (s): 3587.07
# total CPU user time (s): 3586.83
# total CPU system time (s): 0.233921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2653 second user time and 31.9974 second system time
The end
Begin job on nodeC012 at 2025-06-29 20:09:48 IDJOB=4513268 IDBENCH=162307 IDSOLVER=3365 FILE ID=nodeC012/4513268-1751220588 RUNJOBID= nodeC012-1751220587-28485 SLURM_JOB_ID= 9587676 Free space on /tmp= 433060 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size96-round21-6.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513268-1751220588/watcher-4513268-1751220588 -o /tmp/evaluation-result-4513268-1751220588/solver-4513268-1751220588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751220587-28485 --watchdog 3760 pbscip -f HOME/instance-4513268-1751220588.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e56d8b84f5330dfdc9b5c04d06629bab RANDOM SEED=1775311981 nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.497 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.144 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.182 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.158 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.152 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 130151348 kB MemAvailable: 129973600 kB Buffers: 3280 kB Cached: 632872 kB SwapCached: 0 kB Active: 315216 kB Inactive: 384968 kB Active(anon): 81992 kB Inactive(anon): 0 kB Active(file): 233224 kB Inactive(file): 384968 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 75280 kB Writeback: 20 kB AnonPages: 67140 kB Mapped: 101568 kB Shmem: 17960 kB KReclaimable: 86992 kB Slab: 169224 kB SReclaimable: 86992 kB SUnreclaim: 82232 kB KernelStack: 3732 kB PageTables: 2880 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 329352 kB VmallocTotal: 34359738367 kB VmallocUsed: 149192 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432976 MiB End job on nodeC012 at 2025-06-29 21:09:45