| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3591.55 | 3601.36 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K157.opb |
| MD5SUM | 1aa29222329f307e3e004dcb472df849 |
| 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 | 2164.15 |
| 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 | 18683 |
| Total number of constraints | 18999 |
| Number of constraints which are clauses | 18842 |
| Number of constraints which are cardinality constraints (but not clauses) | 157 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 157 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 158 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4446615-1721334296.opb>
0.00/0.07 c original problem has 18683 variables (18683 bin, 0 int, 0 impl, 0 cont) and 18999 constraints
0.00/0.07 c problem read in 0.07
0.00/0.07 c No objective function, only one solution is needed.
0.11/0.14 c presolving:
0.11/0.17 c (round 1, fast) 250 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2157 clqs
0.11/0.18 c (round 2, fast) 682 del vars, 262 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2141 clqs
0.11/0.18 c (round 3, fast) 900 del vars, 412 del conss, 0 add conss, 206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2162 clqs
0.11/0.18 c (round 4, fast) 1055 del vars, 535 del conss, 0 add conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2193 clqs
0.11/0.19 c (round 5, fast) 1131 del vars, 591 del conss, 0 add conss, 285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2216 clqs
0.11/0.19 c (round 6, fast) 1172 del vars, 625 del conss, 0 add conss, 299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2226 clqs
0.21/0.24 c (0.2s) running MILP presolver
0.42/0.45 c (0.5s) MILP presolver (4 rounds): 0 aggregations, 156 fixings, 0 bound changes
0.42/0.46 c (round 7, medium) 1338 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2237 clqs
0.42/0.48 c (round 8, fast) 1338 del vars, 791 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2239 clqs
0.42/0.50 c (round 9, exhaustive) 1338 del vars, 946 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2239 clqs
0.52/0.59 c (round 10, exhaustive) 1338 del vars, 946 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 18053 upgd conss, 0 impls, 2239 clqs
0.69/0.76 c (round 11, exhaustive) 1447 del vars, 946 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18053 upgd conss, 0 impls, 2226 clqs
0.69/0.77 c (round 12, fast) 1556 del vars, 1055 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18053 upgd conss, 0 impls, 2226 clqs
2.18/2.27 c (round 13, exhaustive) 1581 del vars, 1056 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18053 upgd conss, 0 impls, 113428 clqs
2.18/2.27 c (round 14, fast) 1581 del vars, 1081 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 161 chg coeffs, 18053 upgd conss, 0 impls, 113441 clqs
3.77/3.84 c (round 15, exhaustive) 1607 del vars, 1081 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 161 chg coeffs, 18053 upgd conss, 0 impls, 113406 clqs
3.77/3.85 c (round 16, fast) 1607 del vars, 1107 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 216 chg coeffs, 18053 upgd conss, 0 impls, 113416 clqs
4.27/4.33 c (round 17, exhaustive) 1633 del vars, 1107 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 216 chg coeffs, 18053 upgd conss, 0 impls, 113389 clqs
4.27/4.33 c (round 18, fast) 1634 del vars, 1133 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 278 chg coeffs, 18053 upgd conss, 0 impls, 113401 clqs
6.27/6.31 c (round 19, exhaustive) 1660 del vars, 1133 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 278 chg coeffs, 18053 upgd conss, 0 impls, 113417 clqs
6.27/6.32 c (round 20, fast) 1661 del vars, 1159 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 339 chg coeffs, 18053 upgd conss, 0 impls, 113431 clqs
6.47/6.58 c (6.6s) probing: 1000/17676 (5.7%) - 121 fixings, 0 aggregations, 1097490 implications, 0 bound changes
6.67/6.76 c (round 21, exhaustive) 1687 del vars, 1159 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 339 chg coeffs, 18053 upgd conss, 0 impls, 113456 clqs
6.67/6.77 c (round 22, fast) 1689 del vars, 1186 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 404 chg coeffs, 18053 upgd conss, 0 impls, 113462 clqs
7.57/7.61 c (round 23, exhaustive) 1729 del vars, 1186 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 405 chg coeffs, 18053 upgd conss, 0 impls, 111351 clqs
7.57/7.62 c (round 24, fast) 1729 del vars, 1226 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 528 chg coeffs, 18053 upgd conss, 0 impls, 111387 clqs
7.77/7.87 c (round 25, exhaustive) 1754 del vars, 1226 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 528 chg coeffs, 18053 upgd conss, 0 impls, 113481 clqs
7.77/7.88 c (round 26, fast) 1754 del vars, 1251 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 583 chg coeffs, 18053 upgd conss, 0 impls, 113489 clqs
8.08/8.17 c (round 27, exhaustive) 1781 del vars, 1251 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 583 chg coeffs, 18053 upgd conss, 0 impls, 113458 clqs
8.08/8.18 c (round 28, fast) 1783 del vars, 1278 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 647 chg coeffs, 18053 upgd conss, 0 impls, 113469 clqs
11.56/11.64 c (round 29, exhaustive) 1808 del vars, 1278 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 648 chg coeffs, 18053 upgd conss, 0 impls, 112954 clqs
11.56/11.64 c (round 30, fast) 1808 del vars, 1303 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 718 chg coeffs, 18053 upgd conss, 0 impls, 112968 clqs
11.86/11.91 c (round 31, exhaustive) 1835 del vars, 1303 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 719 chg coeffs, 18053 upgd conss, 0 impls, 113486 clqs
11.86/11.92 c (round 32, fast) 1835 del vars, 1330 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 775 chg coeffs, 18053 upgd conss, 0 impls, 113492 clqs
13.55/13.69 c (round 33, exhaustive) 1860 del vars, 1330 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 775 chg coeffs, 18053 upgd conss, 0 impls, 113489 clqs
13.65/13.70 c (round 34, fast) 1860 del vars, 1355 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 819 chg coeffs, 18053 upgd conss, 0 impls, 113495 clqs
13.85/13.95 c (round 35, exhaustive) 1888 del vars, 1355 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 819 chg coeffs, 18053 upgd conss, 0 impls, 113465 clqs
13.85/13.95 c (round 36, fast) 1892 del vars, 1384 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 867 chg coeffs, 18053 upgd conss, 0 impls, 113467 clqs
14.06/14.20 c (round 37, exhaustive) 1917 del vars, 1384 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 868 chg coeffs, 18053 upgd conss, 0 impls, 113263 clqs
14.15/14.20 c (round 38, fast) 1917 del vars, 1409 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 892 chg coeffs, 18053 upgd conss, 0 impls, 113263 clqs
14.35/14.45 c (round 39, exhaustive) 1942 del vars, 1409 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 892 chg coeffs, 18053 upgd conss, 0 impls, 113063 clqs
14.35/14.45 c (round 40, fast) 1942 del vars, 1434 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 917 chg coeffs, 18053 upgd conss, 0 impls, 113063 clqs
14.96/15.02 c (15.0s) probing: 2000/17676 (11.3%) - 386 fixings, 1 aggregations, 2705755 implications, 0 bound changes
18.73/18.89 c (round 41, exhaustive) 1967 del vars, 1434 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 917 chg coeffs, 18053 upgd conss, 0 impls, 113516 clqs
18.83/18.90 c (round 42, fast) 1967 del vars, 1459 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 944 chg coeffs, 18053 upgd conss, 0 impls, 113516 clqs
19.13/19.26 c (round 43, exhaustive) 1992 del vars, 1459 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 944 chg coeffs, 18053 upgd conss, 0 impls, 113517 clqs
19.13/19.27 c (round 44, fast) 1992 del vars, 1484 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 971 chg coeffs, 18053 upgd conss, 0 impls, 113517 clqs
19.73/19.87 c (round 45, exhaustive) 2017 del vars, 1484 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 971 chg coeffs, 18053 upgd conss, 0 impls, 113590 clqs
19.73/19.88 c (round 46, fast) 2017 del vars, 1509 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 996 chg coeffs, 18053 upgd conss, 0 impls, 113590 clqs
20.04/20.12 c (round 47, exhaustive) 2042 del vars, 1509 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 996 chg coeffs, 18053 upgd conss, 0 impls, 113452 clqs
20.04/20.13 c (round 48, fast) 2042 del vars, 1534 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1021 chg coeffs, 18053 upgd conss, 0 impls, 113452 clqs
20.73/20.80 c (20.8s) probing: 3000/17676 (17.0%) - 476 fixings, 1 aggregations, 3837442 implications, 0 bound changes
25.61/25.70 c (25.7s) probing: 4000/17676 (22.6%) - 478 fixings, 1 aggregations, 5026764 implications, 0 bound changes
29.60/29.71 c (29.7s) probing: 5000/17676 (28.3%) - 483 fixings, 1 aggregations, 5972383 implications, 0 bound changes
33.59/33.74 c (33.7s) probing: 6000/17676 (33.9%) - 487 fixings, 1 aggregations, 6911782 implications, 0 bound changes
37.59/37.79 c (37.8s) probing: 7000/17676 (39.6%) - 491 fixings, 1 aggregations, 7849777 implications, 0 bound changes
40.28/40.46 c (round 49, exhaustive) 2067 del vars, 1534 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1021 chg coeffs, 18053 upgd conss, 0 impls, 113599 clqs
40.28/40.47 c (round 50, fast) 2068 del vars, 1560 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1064 chg coeffs, 18053 upgd conss, 0 impls, 113594 clqs
41.77/41.92 c (41.9s) probing: 8000/17676 (45.3%) - 508 fixings, 1 aggregations, 8744055 implications, 0 bound changes
44.47/44.68 c (44.7s) probing: 8689/17676 (49.2%) - 508 fixings, 1 aggregations, 9381915 implications, 0 bound changes
44.47/44.68 c (44.7s) probing aborted: 1000/1000 successive useless probings
44.47/44.68 c (round 51, exhaustive) 2084 del vars, 1560 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1065 chg coeffs, 18053 upgd conss, 0 impls, 113650 clqs
44.47/44.69 c (round 52, fast) 2084 del vars, 1576 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1081 chg coeffs, 18053 upgd conss, 0 impls, 113650 clqs
45.76/45.91 c (45.9s) probing: 9000/17676 (50.9%) - 513 fixings, 1 aggregations, 9661595 implications, 0 bound changes
48.16/48.36 c (48.4s) probing: 9694/17676 (54.8%) - 513 fixings, 1 aggregations, 10321308 implications, 0 bound changes
48.16/48.36 c (48.4s) probing aborted: 1000/1000 successive useless probings
48.16/48.40 c (48.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
48.26/48.49 c (48.5s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
48.26/48.49 c dynamic symmetry handling statistics:
48.26/48.49 c orbitopal reduction: no components
48.26/48.49 c orbital reduction: no components
48.26/48.49 c lexicographic reduction: 3 permutations with support sizes 1452, 604, 290
48.26/48.49 c handled 4 out of 4 symmetry components
48.36/48.51 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
48.36/48.51 c 2092 deleted vars, 1581 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1086 changed coefficients
48.36/48.51 c 0 implications, 113706 cliques
48.36/48.51 c presolved problem has 17148 variables (17148 bin, 0 int, 0 impl, 0 cont) and 17419 constraints
48.36/48.51 c 2130 constraints of type <setppc>
48.36/48.51 c 1 constraints of type <orbitope>
48.36/48.51 c 15288 constraints of type <logicor>
48.36/48.51 c transformed objective value is always integral (scale: 1)
48.36/48.51 c Presolving Time: 48.38
48.36/48.51 c - non default parameters ----------------------------------------------------------------------
48.36/48.51 c # SCIP version 10.0.0
48.36/48.51 c
48.36/48.51 c # maximal time in seconds to run
48.36/48.51 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
48.36/48.51 c limits/time = 3596.997035
48.36/48.51 c
48.36/48.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
48.36/48.51 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
48.36/48.51 c limits/memory = 27900
48.36/48.51 c
48.36/48.51 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
48.36/48.51 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
48.36/48.51 c limits/solutions = 1
48.36/48.51 c
48.36/48.51 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.
48.36/48.51 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
48.36/48.51 c misc/usesymmetry = 3
48.36/48.51 c
48.36/48.51 c # belongs reading time to solving time?
48.36/48.51 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
48.36/48.51 c timing/reading = TRUE
48.36/48.51 c
48.36/48.51 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
48.36/48.51 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
48.36/48.51 c propagating/symmetry/detectdoublelex = FALSE
48.36/48.51 c
48.36/48.51 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
48.36/48.51 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
48.36/48.51 c propagating/symmetry/detectsubgroups = FALSE
48.36/48.51 c
48.36/48.51 c # Type of symmetries that shall be computed?
48.36/48.51 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
48.36/48.51 c propagating/symmetry/symtype = 1
48.36/48.51 c
48.36/48.51 c # Should components consisting of a single full reflection be handled?
48.36/48.51 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
48.36/48.51 c propagating/symmetry/usesimplesgncomp = FALSE
48.36/48.51 c
48.36/48.51 c -----------------------------------------------------------------------------------------------
48.36/48.51 c start solving
48.36/48.51 c
66.60/66.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
66.60/66.89 c 66.9s| 1 | 0 | 17445 | - | 230M | 0 | 17k| 17k| 17k| 0 | 0 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown
249.21/249.98 c 250s| 1 | 0 |110604 | - | 253M | 0 | 17k| 17k| 17k| 14 | 1 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
274.83/275.64 c 276s| 1 | 0 |122846 | - | 260M | 0 | 17k| 17k| 17k| 22 | 2 | 187 | 0 | 0.000000e+00 | -- | Inf | unknown
300.18/301.09 c 301s| 1 | 0 |134494 | - | 263M | 0 | 17k| 17k| 17k| 39 | 3 | 197 | 0 | 0.000000e+00 | -- | Inf | unknown
325.90/326.89 c 327s| 1 | 0 |145804 | - | 270M | 0 | 17k| 17k| 17k| 47 | 4 | 198 | 0 | 0.000000e+00 | -- | Inf | unknown
356.22/357.23 c 357s| 1 | 0 |158568 | - | 275M | 0 | 17k| 17k| 17k| 62 | 5 | 199 | 0 | 0.000000e+00 | -- | Inf | unknown
379.55/380.64 c 381s| 1 | 0 |168719 | - | 277M | 0 | 17k| 17k| 17k| 67 | 6 | 203 | 0 | 0.000000e+00 | -- | Inf | unknown
409.47/410.65 c 411s| 1 | 0 |180844 | - | 280M | 0 | 17k| 17k| 17k| 78 | 7 | 213 | 0 | 0.000000e+00 | -- | Inf | unknown
452.77/454.07 c 454s| 1 | 0 |198104 | - | 282M | 0 | 17k| 17k| 17k| 91 | 8 | 214 | 0 | 0.000000e+00 | -- | Inf | unknown
480.19/481.55 c 482s| 1 | 0 |209496 | - | 285M | 0 | 17k| 17k| 17k| 95 | 9 | 217 | 0 | 0.000000e+00 | -- | Inf | unknown
514.60/516.11 c 516s| 1 | 0 |223446 | - | 287M | 0 | 17k| 17k| 17k| 107 | 10 | 221 | 0 | 0.000000e+00 | -- | Inf | unknown
547.80/549.36 c 549s| 1 | 0 |237312 | - | 288M | 0 | 17k| 17k| 17k| 122 | 11 | 223 | 0 | 0.000000e+00 | -- | Inf | unknown
1337.89/1341.65 c 1342s| 1 | 2 |632938 | - | 293M | 0 | 17k| 17k| 17k| 122 | 11 | 240 | 19 | 0.000000e+00 | -- | Inf | unknown
3591.38/3601.25 c
3591.38/3601.25 c SCIP Status : solving was interrupted [time limit reached]
3591.38/3601.25 c Solving Time (sec) : 3601.25
3591.38/3601.25 c Solving Nodes : 13
3591.38/3601.25 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3591.38/3601.25 c Dual Bound : +0.00000000000000e+00
3591.38/3601.25 c Gap : infinite
3591.38/3601.25 s UNKNOWN
3591.38/3601.25 c SCIP Status : solving was interrupted [time limit reached]
3591.38/3601.25 c Total Time : 3601.25
3591.38/3601.25 c solving : 3601.25
3591.38/3601.25 c presolving : 48.38 (included in solving)
3591.38/3601.25 c reading : 0.07 (included in solving)
3591.38/3601.25 c copying : 0.09 (2 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3591.38/3601.25 c Original Problem :
3591.38/3601.25 c Problem name : HOME/instance-4446615-1721334296.opb
3591.38/3601.25 c Variables : 18683 (18683 binary, 0 integer, 0 implicit integer, 0 continuous)
3591.38/3601.25 c Constraints : 18999 initial, 18999 maximal
3591.38/3601.25 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3591.38/3601.25 c Presolved Problem :
3591.38/3601.25 c Problem name : t_HOME/instance-4446615-1721334296.opb
3591.38/3601.25 c Variables : 17148 (17148 binary, 0 integer, 0 implicit integer, 0 continuous)
3591.38/3601.25 c Constraints : 17419 initial, 17688 maximal
3591.38/3601.25 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3591.38/3601.25 c Nonzeros : 95294 constraint, 244251 clique table
3591.38/3601.25 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3591.38/3601.25 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c domcol : 1.02 0.00 21 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 5 0 0 5
3591.38/3601.25 c gateextraction : 0.24 0.00 22 0 0 0 0 0 1 0 0 0
3591.38/3601.25 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c milp : 0.26 0.00 1 156 0 0 0 0 0 0 0 0
3591.38/3601.25 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c sparsify : 0.48 0.00 4 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c trivial : 0.02 0.00 53 557 0 0 0 0 0 0 0 0
3591.38/3601.25 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c dualfix : 0.02 0.00 53 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c probing : 42.22 0.00 21 513 1 0 0 0 0 0 0 0
3591.38/3601.25 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c symmetry : 0.09 0.00 1 3 0 0 0 0 0 1 0 0
3591.38/3601.25 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c setppc : 0.16 0.00 87 0 0 0 0 0 109 0 0 0
3591.38/3601.25 c linear : 0.15 0.01 12 302 0 0 302 0 946 0 0 0
3591.38/3601.25 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c logicor : 3.59 0.01 87 112 0 0 0 0 520 0 0 1081
3591.38/3601.25 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c root node : - - - 0 - - 0 - - - - -
3591.38/3601.25 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3591.38/3601.25 c benderslp : 0 0 0 0 13 0 0 7 0 0 0 0 0 0 0
3591.38/3601.25 c integral : 0 0 0 0 13 0 0 7 0 0 0 0 0 0 26
3591.38/3601.25 c setppc : 2130+ 2235 11 507042 0 0 0 3 29009 347 312 0 0 0 0
3591.38/3601.25 c orbitope : 1 1 0 13145 0 0 0 0 88 0 6 0 0 0 0
3591.38/3601.25 c logicor : 15288+ 15452 11 156020 0 0 0 0 78946 129 547 11 5 0 0
3591.38/3601.25 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3591.38/3601.25 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3591.38/3601.25 c integral : 36.05 0.00 0.00 0.00 36.05 0.00 0.00 0.00 0.00 0.00
3591.38/3601.25 c setppc : 3.81 0.00 0.01 3.73 0.00 0.00 0.00 0.00 0.01 0.07
3591.38/3601.25 c orbitope : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3591.38/3601.25 c logicor : 12.55 0.01 0.03 12.45 0.00 0.00 0.00 0.00 0.03 0.03
3591.38/3601.25 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3591.38/3601.25 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3591.38/3601.25 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3591.38/3601.25 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3591.38/3601.25 c Propagators : #Propagate #ResProp Cutoffs DomReds
3591.38/3601.25 c dualfix : 1 0 0 0
3591.38/3601.25 c genvbounds : 0 0 0 0
3591.38/3601.25 c nlobbt : 0 0 0 0
3591.38/3601.25 c obbt : 0 0 0 0
3591.38/3601.25 c probing : 0 0 0 0
3591.38/3601.25 c pseudoobj : 0 0 0 0
3591.38/3601.25 c redcost : 0 0 0 0
3591.38/3601.25 c rootredcost : 0 0 0 0
3591.38/3601.25 c symmetry : 0 0 0 0
3591.38/3601.25 c vbounds : 5792 0 0 0
3591.38/3601.25 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3591.38/3601.25 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3591.38/3601.25 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3591.38/3601.25 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3591.38/3601.25 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3591.38/3601.25 c probing : 42.22 0.00 42.22 0.00 0.00 0.00
3591.38/3601.25 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3591.38/3601.25 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3591.38/3601.25 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3591.38/3601.25 c symmetry : 0.11 0.00 0.09 0.02 0.00 0.00
3591.38/3601.25 c vbounds : 0.05 0.00 0.03 0.03 0.00 0.00
3591.38/3601.25 c Symmetry :
3591.38/3601.25 c orbitopal red. : 0 reductions applied, 0 cutoffs
3591.38/3601.25 c orbital reduction: 0 reductions applied, 0 cutoffs
3591.38/3601.25 c lexicographic red: 0 reductions applied, 0 cutoffs
3591.38/3601.25 c shadow tree time : 0.00 s
3591.38/3601.25 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3591.38/3601.25 c propagation : 0.03 473 129 - 680 131.9 1 13.0 - - -
3591.38/3601.25 c infeasible LP : 0.22 10 9 - 258 2850.1 1 13.0 0 0.0 0
3591.38/3601.25 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3591.38/3601.25 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3591.38/3601.25 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3591.38/3601.25 c applied globally : 0.01 - - 0 321 251.0 - - 0 - -
3591.38/3601.25 c applied locally : - - - 0 0 0.0 - - 0 - -
3591.38/3601.25 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3591.38/3601.25 c cut pool : 0.00 - 21 21 - - 181 224 - - - - - (maximal pool size: 181)
3591.38/3601.25 c aggregation : 0.05 0.00 11 11 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c > cmir : - - - - - - - 0 0 0 0 0 -
3591.38/3601.25 c > flowcover : - - - - - - - 0 0 0 0 0 -
3591.38/3601.25 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3591.38/3601.25 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c clique : 1.74 0.00 11 11 0 0 82 113 0 34 34 0 0
3591.38/3601.25 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c gomory : 17.84 0.00 10 10 0 0 3 4 0 1 1 0 0
3591.38/3601.25 c > gomorymi : - - - - - - - 2 0 0 0 0 -
3591.38/3601.25 c > strongcg : - - - - - - - 2 0 1 1 0 -
3591.38/3601.25 c impliedbounds : 0.06 0.00 11 11 0 0 26 36 0 12 12 0 0
3591.38/3601.25 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c multilinear : 0.00 0.00 16 11 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.38/3601.25 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3591.38/3601.26 c zerohalf : 12.13 0.00 11 11 0 0 70 71 0 70 70 0 0
3591.38/3601.26 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3591.38/3601.26 c hybrid : 0.00 0.00 11 11 122 0 113 122 0 113
3591.38/3601.26 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c Pricers : ExecTime SetupTime Calls Vars
3591.38/3601.26 c problem variables: 0.00 - 0 0
3591.38/3601.26 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3591.38/3601.26 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c relpscost : 36.05 0.00 13 0 0 0 0 0 0 26
3591.38/3601.26 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3591.38/3601.26 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3591.38/3601.26 c LP solutions : 0.00 - - 0 0
3591.38/3601.26 c relax solutions : 0.00 - - 0 0
3591.38/3601.26 c pseudo solutions : 0.00 - - 0 0
3591.38/3601.26 c strong branching : 0.00 - - 0 0
3591.38/3601.26 c actconsdiving : 0.00 0.00 0 0 0
3591.38/3601.26 c adaptivediving : 146.35 0.00 1 0 0
3591.38/3601.26 c alns : 0.11 0.00 1 0 0
3591.38/3601.26 c bound : 0.00 0.00 0 0 0
3591.38/3601.26 c clique : 0.07 0.00 1 0 0
3591.38/3601.26 c coefdiving : 0.00 0.00 0 0 0
3591.38/3601.26 c completesol : 0.00 0.00 0 0 0
3591.38/3601.26 c conflictdiving : 755.60 0.00 1 0 0
3591.38/3601.26 c crossover : 0.00 0.00 0 0 0
3591.38/3601.26 c dins : 0.00 0.00 0 0 0
3591.38/3601.26 c distributiondivin: 245.35 0.00 1 0 0
3591.38/3601.26 c dps : 0.00 0.00 0 0 0
3591.38/3601.26 c dualval : 0.00 0.00 0 0 0
3591.38/3601.26 c farkasdiving : 0.00 0.00 0 0 0
3591.38/3601.26 c feasjump : 0.03 0.00 1 0 0
3591.38/3601.26 c feaspump : 159.47 0.00 1 0 0
3591.38/3601.26 c fixandinfer : 0.00 0.00 0 0 0
3591.38/3601.26 c fracdiving : 175.26 0.00 1 0 0
3591.38/3601.26 c gins : 0.00 0.00 0 0 0
3591.38/3601.26 c guideddiving : 0.00 0.00 0 0 0
3591.38/3601.26 c indcoefdiving : 0.00 0.00 0 0 0
3591.38/3601.26 c indicator : 0.00 0.00 0 0 0
3591.38/3601.26 c indicatordiving : 0.00 0.00 0 0 0
3591.38/3601.26 c indoneopt : 0.00 0.00 0 0 0
3591.38/3601.26 c indrounding : 0.00 0.00 0 0 0
3591.38/3601.26 c indtwoopt : 0.00 0.00 0 0 0
3591.38/3601.26 c intdiving : 0.00 0.00 0 0 0
3591.38/3601.26 c intshifting : 0.00 0.00 0 0 0
3591.38/3601.26 c linesearchdiving : 0.00 0.00 0 0 0
3591.38/3601.26 c localbranching : 0.00 0.00 0 0 0
3591.38/3601.26 c locks : 0.07 0.00 1 0 0
3591.38/3601.26 c lpface : 0.00 0.00 0 0 0
3591.38/3601.26 c mpec : 0.00 0.00 0 0 0
3591.38/3601.26 c multistart : 0.00 0.00 0 0 0
3591.38/3601.26 c mutation : 0.00 0.00 0 0 0
3591.38/3601.26 c nlpdiving : 0.00 0.00 0 0 0
3591.38/3601.26 c objpscostdiving : 957.70 0.00 1 0 0
3591.38/3601.26 c octane : 0.00 0.00 0 0 0
3591.38/3601.26 c ofins : 0.00 0.00 0 0 0
3591.38/3601.26 c oneopt : 0.00 0.00 0 0 0
3591.38/3601.26 c padm : 0.00 0.00 0 0 0
3591.38/3601.26 c proximity : 0.00 0.00 0 0 0
3591.38/3601.26 c pscostdiving : 248.13 0.00 1 0 0
3591.38/3601.26 c randrounding : 0.17 0.00 12 0 0
3591.38/3601.26 c rens : 0.51 0.00 1 0 0
3591.38/3601.26 c reoptsols : 0.00 0.00 0 0 0
3591.38/3601.26 c repair : 0.00 0.00 0 0 0
3591.38/3601.26 c rins : 0.00 0.00 0 0 0
3591.38/3601.26 c rootsoldiving : 0.00 0.00 0 0 0
3591.38/3601.26 c rounding : 0.03 0.00 24 0 0
3591.38/3601.26 c scheduler : 0.00 0.00 0 0 0
3591.38/3601.26 c shiftandpropagate: 0.03 0.00 1 0 0
3591.38/3601.26 c shifting : 0.14 0.00 12 0 0
3591.38/3601.26 c simplerounding : 0.00 0.00 0 0 0
3591.38/3601.26 c smallcard : 0.00 0.00 0 0 0
3591.38/3601.26 c subnlp : 0.00 0.00 0 0 0
3591.38/3601.26 c trivial : 0.01 0.00 2 0 0
3591.38/3601.26 c trivialnegation : 0.00 0.00 0 0 0
3591.38/3601.26 c trustregion : 0.00 0.00 0 0 0
3591.38/3601.26 c trysol : 0.00 0.00 0 0 0
3591.38/3601.26 c twoopt : 0.00 0.00 0 0 0
3591.38/3601.26 c undercover : 0.00 0.00 0 0 0
3591.38/3601.26 c vbounds : 0.04 0.00 1 0 0
3591.38/3601.26 c veclendiving : 277.96 0.00 1 0 0
3591.38/3601.26 c zeroobj : 0.00 0.00 0 0 0
3591.38/3601.26 c zirounding : 0.01 0.00 12 0 0
3591.38/3601.26 c other solutions : - - - 0 -
3591.38/3601.26 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3591.38/3601.26 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
3591.38/3601.26 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
3591.38/3601.26 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
3591.38/3601.26 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
3591.38/3601.26 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
3591.38/3601.26 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
3591.38/3601.26 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
3591.38/3601.26 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
3591.38/3601.26 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
3591.38/3601.26 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3591.38/3601.26 c primal LP : 0.03 1 0 0.00 0.00 0.03 1
3591.38/3601.26 c dual LP : 517.63 24 273053 11377.21 527.51 0.00 0
3591.38/3601.26 c lex dual LP : 0.00 0 0 0.00 -
3591.38/3601.26 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3591.38/3601.26 c resolve instable : 122.07 26 2770 106.54 22.69
3591.38/3601.26 c diving/probing LP: 2969.36 268 883338 3296.04 297.48
3591.38/3601.26 c strong branching : 30.20 19 18414 969.16 609.65 - - 36
3591.38/3601.26 c (at root node) : - 19 18414 969.16 -
3591.38/3601.26 c conflict analysis: 0.00 0 0 0.00 -
3591.38/3601.26 c B&B Tree :
3591.38/3601.26 c number of runs : 1
3591.38/3601.26 c nodes : 13 (13 internal, 0 leaves)
3591.38/3601.26 c feasible leaves : 0
3591.38/3601.26 c infeas. leaves : 0
3591.38/3601.26 c objective leaves : 0
3591.38/3601.26 c nodes (total) : 13 (13 internal, 0 leaves)
3591.38/3601.26 c nodes left : 14
3591.38/3601.26 c max depth : 6
3591.38/3601.26 c max depth (total): 6
3591.38/3601.26 c backtracks : 5 (38.5%)
3591.38/3601.26 c early backtracks : 0 (0.0%)
3591.38/3601.26 c nodes exc. ref. : 0 (0.0%)
3591.38/3601.26 c delayed cutoffs : 0
3591.38/3601.26 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3591.38/3601.26 c avg switch length: 1.92
3591.38/3601.26 c switching time : 0.03
3591.38/3601.26 c Root Node :
3591.38/3601.26 c First LP value : +0.00000000000000e+00
3591.38/3601.26 c First LP Iters : 17445 (962.88 Iter/sec)
3591.38/3601.26 c First LP Time : 18.12
3591.38/3601.26 c Final Dual Bound : +0.00000000000000e+00
3591.38/3601.26 c Final Root Iters : 237312
3591.38/3601.26 c Root LP Estimate : +1.29207028198982e-03
3591.38/3601.26 c Solution :
3591.38/3601.26 c Solutions found : 0 (0 improvements)
3591.38/3601.26 c Primal Bound : -
3591.38/3601.26 c Dual Bound : +0.00000000000000e+00
3591.38/3601.26 c Gap : infinite
3591.38/3601.26 c Integrals : Total Avg%
3591.38/3601.26 c primal-dual : 360125.24 100.00
3591.38/3601.26 c primal-ref : - - (not evaluated)
3591.38/3601.26 c dual-ref : - - (not evaluated)
3591.48/3601.35 c Time complete: 3591.55.
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: 64059 MiB (61078 MiB free)
memory of node 1: 64510 MiB (55296 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446615-1721334296/watcher-4446615-1721334296 -o /tmp/evaluation-result-4446615-1721334296/solver-4446615-1721334296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721327100-963759 --watchdog 3760 pbscip -f HOME/instance-4446615-1721334296.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=968502, runsolver pid=968499
[startup+0.100108 s]*
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=119109268/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=118276 memory=78840 CPUtime=0.11 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 16571 0 0 0 9 2 0 0 20 0 1 0 185586255 121114624 19710 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 29569 19710 3536 3540 0 17826 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 118276 KiB
Current children cumulated memory: 78840 KiB
[startup+0.213313 s]*
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=119080640/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=145016 memory=101316 CPUtime=0.21 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 22198 0 0 0 19 2 0 0 20 0 1 0 185586255 148496384 25329 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 36254 25329 3584 3540 0 24511 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 145016 KiB
Current children cumulated memory: 101316 KiB
[startup+0.313168 s]*
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=119072720/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=158936 memory=117012 CPUtime=0.32 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 27704 0 0 0 28 4 0 0 20 0 1 0 185586255 162750464 29253 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 39734 29253 3663 3540 0 27991 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 158936 KiB
Current children cumulated memory: 117012 KiB
[startup+0.700347 s]
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=119451676/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=172856 memory=129928 CPUtime=0.69 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 33756 0 0 0 64 5 0 0 20 0 1 0 185586255 177004544 32482 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 43214 32482 3711 3540 0 31471 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 172856 KiB
Current children cumulated memory: 129928 KiB
[startup+1.50031 s]
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=123843348/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=212596 memory=167244 CPUtime=1.48 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 40543 0 0 0 142 6 0 0 20 0 1 0 185586255 217698304 41811 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 53149 41811 3759 3540 0 41406 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 212596 KiB
Current children cumulated memory: 167244 KiB
[startup+3.11299 s]
/proc/loadavg: 4.15 4.13 4.15 5/244 968549
/proc/meminfo: memFree=125157920/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=212596 memory=167244 CPUtime=3.09 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 40548 0 0 0 303 6 0 0 20 0 1 0 185586255 217698304 41811 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 53149 41811 3759 3540 0 41406 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 212596 KiB
Current children cumulated memory: 167244 KiB
[startup+6.30029 s]
/proc/loadavg: 4.14 4.13 4.15 5/244 968549
/proc/meminfo: memFree=125149376/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=214716 memory=168804 CPUtime=6.27 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 40983 0 0 0 621 6 0 0 20 0 1 0 185586255 219869184 42201 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 53679 42201 3759 3540 0 41936 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 214716 KiB
Current children cumulated memory: 168804 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.13 4.15 5/244 968550
/proc/meminfo: memFree=125139040/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=219604 memory=173596 CPUtime=12.65 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 42209 0 0 0 1258 7 0 0 20 0 1 0 185586255 224874496 43399 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 54901 43399 3759 3540 0 43158 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 219604 KiB
Current children cumulated memory: 173596 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.14 4.15 5/244 968935
/proc/meminfo: memFree=125135284/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=220880 memory=174908 CPUtime=25.42 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 42548 0 0 0 2535 7 0 0 20 0 1 0 185586255 226181120 43727 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 55220 43727 3759 3540 0 43477 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 220880 KiB
Current children cumulated memory: 174908 KiB
[startup+51.1128 s]
/proc/loadavg: 4.11 4.12 4.15 5/244 968940
/proc/meminfo: memFree=124953108/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=311872 memory=242404 CPUtime=50.96 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 61381 0 0 0 5086 10 0 0 20 0 1 0 185586255 319356928 60601 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 77968 60601 3967 3540 0 66225 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 311872 KiB
Current children cumulated memory: 242404 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/244 968949
/proc/meminfo: memFree=124928060/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=319800 memory=249832 CPUtime=102 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 63196 0 0 0 10188 12 0 0 20 0 1 0 185586255 327475200 62458 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 79950 62458 3983 3540 0 68207 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 319800 KiB
Current children cumulated memory: 249832 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 968959
/proc/meminfo: memFree=124917404/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=321320 memory=251664 CPUtime=161.85 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 63684 0 0 0 16172 13 0 0 20 0 1 0 185586255 329031680 62916 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 80330 62916 3983 3540 0 68587 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 321320 KiB
Current children cumulated memory: 251664 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/246 969139
/proc/meminfo: memFree=124786780/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=321320 memory=251664 CPUtime=221.68 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 63684 0 0 0 22155 13 0 0 20 0 1 0 185586255 329031680 62916 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 80330 62916 3983 3540 0 68587 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 321320 KiB
Current children cumulated memory: 251664 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.15 4.15 5/246 969150
/proc/meminfo: memFree=124676976/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=401320 memory=326852 CPUtime=281.52 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 72913 0 0 0 28137 15 0 0 20 0 1 0 185586255 410951680 81713 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 100330 81713 3983 3540 0 88587 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 401320 KiB
Current children cumulated memory: 326852 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/246 969217
/proc/meminfo: memFree=124647724/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=418168 memory=340248 CPUtime=341.36 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 75297 0 0 0 34120 16 0 0 20 0 1 0 185586255 428204032 85062 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 104542 85062 3983 3540 0 92799 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 418168 KiB
Current children cumulated memory: 340248 KiB
[startup+402.3 s]
/proc/loadavg: 4.32 4.19 4.16 5/246 969227
/proc/meminfo: memFree=124625960/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=423704 memory=344284 CPUtime=401.19 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 76327 0 0 0 40103 16 0 0 20 0 1 0 185586255 433872896 86071 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 105926 86071 3983 3540 0 94183 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 423704 KiB
Current children cumulated memory: 344284 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.17 4.15 5/246 969238
/proc/meminfo: memFree=124601840/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=429300 memory=349156 CPUtime=461.04 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 77607 0 0 0 46087 17 0 0 20 0 1 0 185586255 439603200 87289 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 107325 87289 3983 3540 0 95582 0
################
# More data... #
################
/proc/loadavg: 4.16 4.13 4.11 5/243 970356
/proc/meminfo: memFree=125371164/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3213.45 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 98952 0 0 0 321314 31 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/243 970367
/proc/meminfo: memFree=125370892/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3273.29 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99052 0 0 0 327298 31 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/246 970382
/proc/meminfo: memFree=125370420/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3333.14 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99153 0 0 0 333283 31 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/246 970392
/proc/meminfo: memFree=125370168/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3392.98 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99252 0 0 0 339267 31 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3392.98 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/245 970403
/proc/meminfo: memFree=125369920/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3452.84 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99349 0 0 0 345252 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/246 970414
/proc/meminfo: memFree=125369640/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3512.68 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99454 0 0 0 351236 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/246 970425
/proc/meminfo: memFree=125369276/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3572.52 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99553 0 0 0 357220 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB
[startup+3601.36 s]
# the end of solver process 968502 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.22 s, system=0.332227 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.09 5/246 970426
/proc/meminfo: memFree=125369304/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3574.23 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99553 0 0 0 357391 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3574.23 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/246 970427
/proc/meminfo: memFree=125369304/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3580.6 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99573 0 0 0 358028 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3580.6 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.12 4.09 4/239 970458
/proc/meminfo: memFree=125806216/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3586.99 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99573 0 0 0 358667 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3586.99 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB
[startup+3598.4 s]
/proc/loadavg: 4.14 4.12 4.09 4/239 970460
/proc/meminfo: memFree=125806232/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3588.58 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99574 0 0 0 358826 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3588.58 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB
[startup+3600 s]*
/proc/loadavg: 3.97 4.08 4.08 3/232 970491
/proc/meminfo: memFree=126262416/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3590.19 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99574 0 0 0 358987 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3590.19 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB
[startup+3600.8 s]
/proc/loadavg: 3.97 4.08 4.08 3/232 970491
/proc/meminfo: memFree=126262416/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3590.98 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99574 0 0 0 359066 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3590.98 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB
[startup+3601.2 s]
/proc/loadavg: 3.97 4.08 4.08 4/232 970491
/proc/meminfo: memFree=126262444/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3591.38 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99574 0 0 0 359106 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3591.38 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB
[startup+3601.3 s]
/proc/loadavg: 3.97 4.08 4.08 4/232 970491
/proc/meminfo: memFree=126262444/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=458616 memory=401928 CPUtime=3591.48 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99606 0 0 0 359116 32 0 0 20 0 1 0 185586255 469622784 100482 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 114654 100482 4198 3540 0 102911 0
Current children cumulated CPU time: 3591.48 s
Current children cumulated vsize: 458616 KiB
Current children cumulated memory: 401928 KiB
Child status: 0
Real time (s): 3601.36
CPU time (s): 3591.55
CPU user time (s): 3591.22
CPU system time (s): 0.332227
CPU usage (%): 99.7276
Max. virtual memory (cumulated for all children) (KiB): 501832
Max. memory (cumulated for all children) (KiB): 445144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.22
system time used= 0.332227
maximum resident set size= 445144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36
involuntary context switches= 1280
# summary of solver processes directly reported to runsolver:
# pid: 968502
# total CPU time (s): 3591.55
# total CPU user time (s): 3591.22
# total CPU system time (s): 0.332227
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1023 second user time and 34.1733 second system time
The end
Begin job on nodeC007 at 2024-07-18 22:25:08 IDJOB=4446615 IDBENCH=158283 IDSOLVER=3059 FILE ID=nodeC007/4446615-1721334296 RUNJOBID= nodeC007-1721327100-963759 SLURM_JOB_ID= 7542682 Free space on /tmp= 723660 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K157.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446615-1721334296/watcher-4446615-1721334296 -o /tmp/evaluation-result-4446615-1721334296/solver-4446615-1721334296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721327100-963759 --watchdog 3760 pbscip -f HOME/instance-4446615-1721334296.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1aa29222329f307e3e004dcb472df849 RANDOM SEED=888604757 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3671.481 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 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 : 3494.020 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 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.291 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 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.263 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 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 : 3536.915 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 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 : 3491.652 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 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.384 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 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 : 1197.130 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 119168328 kB MemAvailable: 122032344 kB Buffers: 507956 kB Cached: 3186712 kB SwapCached: 0 kB Active: 1122312 kB Inactive: 10786340 kB Active(anon): 1460 kB Inactive(anon): 8250252 kB Active(file): 1120852 kB Inactive(file): 2536088 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19844 kB Writeback: 24 kB AnonPages: 8214028 kB Mapped: 139808 kB Shmem: 37704 kB KReclaimable: 94216 kB Slab: 196356 kB SReclaimable: 94216 kB SUnreclaim: 102140 kB KernelStack: 3888 kB PageTables: 26036 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 10321340 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 58272 kB HardwareCorrupted: 0 kB AnonHugePages: 3155968 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 279368 kB DirectMap2M: 27936768 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723744 MiB End job on nodeC007 at 2024-07-18 23:25:10