| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.22 | 3597.4 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K165.opb |
| MD5SUM | 75fbe782de7ac9ce41dec078153ff02c |
| 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 | 179.209 |
| 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 | 19635 |
| Total number of constraints | 19967 |
| Number of constraints which are clauses | 19802 |
| Number of constraints which are cardinality constraints (but not clauses) | 165 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 165 |
| 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 | 166 |
| 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-4446675-1721335611.opb>
0.00/0.07 c original problem has 19635 variables (19635 bin, 0 int, 0 impl, 0 cont) and 19967 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.10/0.14 c presolving:
0.10/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, 2269 clqs
0.10/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, 2253 clqs
0.10/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, 2274 clqs
0.10/0.19 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, 2305 clqs
0.10/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, 2328 clqs
0.10/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, 2338 clqs
0.21/0.25 c (0.2s) running MILP presolver
0.42/0.43 c (0.4s) MILP presolver (4 rounds): 0 aggregations, 169 fixings, 0 bound changes
0.42/0.44 c (round 7, medium) 1351 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2348 clqs
0.42/0.45 c (round 8, fast) 1351 del vars, 804 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2354 clqs
0.42/0.48 c (round 9, exhaustive) 1351 del vars, 967 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2354 clqs
0.51/0.56 c (round 10, exhaustive) 1351 del vars, 967 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 19000 upgd conss, 0 impls, 2354 clqs
0.68/0.72 c (round 11, exhaustive) 1458 del vars, 967 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 19000 upgd conss, 0 impls, 2342 clqs
0.68/0.73 c (round 12, fast) 1565 del vars, 1074 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 19000 upgd conss, 0 impls, 2342 clqs
2.18/2.24 c (round 13, exhaustive) 1590 del vars, 1075 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 19000 upgd conss, 0 impls, 119229 clqs
2.18/2.24 c (round 14, fast) 1590 del vars, 1100 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 161 chg coeffs, 19000 upgd conss, 0 impls, 119240 clqs
3.17/3.26 c (round 15, exhaustive) 1615 del vars, 1100 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 161 chg coeffs, 19000 upgd conss, 0 impls, 119238 clqs
3.17/3.26 c (round 16, fast) 1615 del vars, 1125 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 212 chg coeffs, 19000 upgd conss, 0 impls, 119247 clqs
4.08/4.17 c (round 17, exhaustive) 1640 del vars, 1125 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 212 chg coeffs, 19000 upgd conss, 0 impls, 119243 clqs
4.08/4.18 c (round 18, fast) 1640 del vars, 1150 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 275 chg coeffs, 19000 upgd conss, 0 impls, 119258 clqs
4.87/4.97 c (round 19, exhaustive) 1666 del vars, 1150 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 275 chg coeffs, 19000 upgd conss, 0 impls, 119251 clqs
4.87/4.98 c (round 20, fast) 1669 del vars, 1177 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 346 chg coeffs, 19000 upgd conss, 0 impls, 119265 clqs
5.17/5.23 c (round 21, exhaustive) 1695 del vars, 1178 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 350 chg coeffs, 19000 upgd conss, 0 impls, 119259 clqs
5.17/5.24 c (round 22, fast) 1695 del vars, 1203 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 414 chg coeffs, 19000 upgd conss, 0 impls, 119274 clqs
5.56/5.62 c (5.6s) probing: 1000/18617 (5.4%) - 135 fixings, 0 aggregations, 1088756 implications, 0 bound changes
5.86/5.90 c (round 23, exhaustive) 1723 del vars, 1203 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 414 chg coeffs, 19000 upgd conss, 0 impls, 119277 clqs
5.86/5.91 c (round 24, fast) 1723 del vars, 1231 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 482 chg coeffs, 19000 upgd conss, 0 impls, 119288 clqs
6.16/6.22 c (round 25, exhaustive) 1748 del vars, 1231 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 482 chg coeffs, 19000 upgd conss, 0 impls, 119306 clqs
6.16/6.23 c (round 26, fast) 1748 del vars, 1256 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 535 chg coeffs, 19000 upgd conss, 0 impls, 119312 clqs
6.98/7.04 c (round 27, exhaustive) 1773 del vars, 1256 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 535 chg coeffs, 19000 upgd conss, 0 impls, 119304 clqs
6.98/7.05 c (round 28, fast) 1773 del vars, 1281 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 595 chg coeffs, 19000 upgd conss, 0 impls, 119317 clqs
7.37/7.46 c (round 29, exhaustive) 1800 del vars, 1281 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 595 chg coeffs, 19000 upgd conss, 0 impls, 119075 clqs
7.37/7.47 c (round 30, fast) 1800 del vars, 1308 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 652 chg coeffs, 19000 upgd conss, 0 impls, 119085 clqs
8.26/8.39 c (round 31, exhaustive) 1825 del vars, 1308 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 652 chg coeffs, 19000 upgd conss, 0 impls, 116780 clqs
8.36/8.40 c (round 32, fast) 1825 del vars, 1333 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 744 chg coeffs, 19000 upgd conss, 0 impls, 116799 clqs
12.15/12.28 c (round 33, exhaustive) 1850 del vars, 1333 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 744 chg coeffs, 19000 upgd conss, 0 impls, 119312 clqs
12.15/12.29 c (round 34, fast) 1850 del vars, 1358 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 784 chg coeffs, 19000 upgd conss, 0 impls, 119315 clqs
12.45/12.58 c (round 35, exhaustive) 1875 del vars, 1358 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 784 chg coeffs, 19000 upgd conss, 0 impls, 119341 clqs
12.45/12.59 c (round 36, fast) 1875 del vars, 1383 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 830 chg coeffs, 19000 upgd conss, 0 impls, 119348 clqs
12.75/12.82 c (round 37, exhaustive) 1900 del vars, 1383 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 831 chg coeffs, 19000 upgd conss, 0 impls, 119220 clqs
12.75/12.83 c (round 38, fast) 1900 del vars, 1408 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 855 chg coeffs, 19000 upgd conss, 0 impls, 119220 clqs
12.96/13.06 c (round 39, exhaustive) 1925 del vars, 1408 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 855 chg coeffs, 19000 upgd conss, 0 impls, 119114 clqs
12.96/13.07 c (round 40, fast) 1925 del vars, 1433 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 879 chg coeffs, 19000 upgd conss, 0 impls, 119114 clqs
13.14/13.29 c (13.3s) probing: 2000/18617 (10.7%) - 357 fixings, 0 aggregations, 2844313 implications, 0 bound changes
13.24/13.30 c (round 41, exhaustive) 1950 del vars, 1433 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 879 chg coeffs, 19000 upgd conss, 0 impls, 119005 clqs
13.24/13.31 c (round 42, fast) 1950 del vars, 1458 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 904 chg coeffs, 19000 upgd conss, 0 impls, 119005 clqs
13.54/13.65 c (round 43, exhaustive) 1976 del vars, 1458 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 904 chg coeffs, 19000 upgd conss, 0 impls, 119417 clqs
13.54/13.66 c (round 44, fast) 1977 del vars, 1484 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 937 chg coeffs, 19000 upgd conss, 0 impls, 119417 clqs
13.74/13.89 c (round 45, exhaustive) 2002 del vars, 1484 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 937 chg coeffs, 19000 upgd conss, 0 impls, 119347 clqs
13.74/13.89 c (round 46, fast) 2002 del vars, 1509 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 962 chg coeffs, 19000 upgd conss, 0 impls, 119347 clqs
17.43/17.53 c (17.5s) probing: 3000/18617 (16.1%) - 439 fixings, 0 aggregations, 3975862 implications, 0 bound changes
21.11/21.23 c (21.2s) probing: 4000/18617 (21.5%) - 442 fixings, 0 aggregations, 5219377 implications, 0 bound changes
24.10/24.26 c (24.3s) probing: 5000/18617 (26.9%) - 452 fixings, 0 aggregations, 6176374 implications, 0 bound changes
27.09/27.26 c (27.3s) probing: 6000/18617 (32.2%) - 454 fixings, 0 aggregations, 7119006 implications, 0 bound changes
27.19/27.30 c (round 47, exhaustive) 2027 del vars, 1509 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 962 chg coeffs, 19000 upgd conss, 0 impls, 119432 clqs
27.19/27.30 c (round 48, fast) 2027 del vars, 1534 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1006 chg coeffs, 19000 upgd conss, 0 impls, 119443 clqs
27.39/27.54 c (round 49, exhaustive) 2052 del vars, 1534 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1006 chg coeffs, 19000 upgd conss, 0 impls, 119426 clqs
27.39/27.55 c (round 50, fast) 2052 del vars, 1559 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1040 chg coeffs, 19000 upgd conss, 0 impls, 119427 clqs
30.38/30.51 c (30.5s) probing: 7000/18617 (37.6%) - 499 fixings, 0 aggregations, 7983851 implications, 0 bound changes
33.37/33.53 c (33.5s) probing: 8000/18617 (43.0%) - 503 fixings, 0 aggregations, 8939689 implications, 0 bound changes
35.47/35.67 c (35.7s) probing: 8717/18617 (46.8%) - 503 fixings, 0 aggregations, 9616153 implications, 0 bound changes
35.47/35.67 c (35.7s) probing aborted: 1000/1000 successive useless probings
35.47/35.67 c (round 51, exhaustive) 2075 del vars, 1559 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1040 chg coeffs, 19000 upgd conss, 0 impls, 119459 clqs
35.47/35.68 c (round 52, fast) 2075 del vars, 1582 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1072 chg coeffs, 19000 upgd conss, 0 impls, 119462 clqs
36.47/36.66 c (36.7s) probing: 9000/18617 (48.3%) - 518 fixings, 0 aggregations, 9854670 implications, 0 bound changes
39.25/39.40 c (39.4s) probing: 9930/18617 (53.3%) - 518 fixings, 0 aggregations, 10723271 implications, 0 bound changes
39.25/39.40 c (39.4s) probing aborted: 1000/1000 successive useless probings
39.25/39.40 c (round 53, exhaustive) 2090 del vars, 1582 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1072 chg coeffs, 19000 upgd conss, 0 impls, 119499 clqs
39.25/39.41 c (round 54, fast) 2090 del vars, 1597 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1094 chg coeffs, 19000 upgd conss, 0 impls, 119499 clqs
39.65/39.83 c (39.8s) probing: 10000/18617 (53.7%) - 518 fixings, 0 aggregations, 10785585 implications, 0 bound changes
39.75/39.92 c (39.9s) probing: 10030/18617 (53.9%) - 518 fixings, 0 aggregations, 10812590 implications, 0 bound changes
39.75/39.92 c (39.9s) probing aborted: 1000/1000 successive useless probings
39.75/39.96 c (40.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
39.86/40.05 c (40.1s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
39.86/40.05 c dynamic symmetry handling statistics:
39.86/40.05 c orbitopal reduction: no components
39.86/40.05 c orbital reduction: no components
39.86/40.05 c lexicographic reduction: 3 permutations with support sizes 1532, 636, 306
39.86/40.05 c handled 4 out of 4 symmetry components
39.86/40.08 c presolving (55 rounds: 55 fast, 26 medium, 25 exhaustive):
39.86/40.08 c 2093 deleted vars, 1597 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1094 changed coefficients
39.86/40.08 c 0 implications, 119535 cliques
39.86/40.08 c presolved problem has 18092 variables (18092 bin, 0 int, 0 impl, 0 cont) and 18371 constraints
39.86/40.08 c 2242 constraints of type <setppc>
39.86/40.08 c 1 constraints of type <orbitope>
39.86/40.08 c 16128 constraints of type <logicor>
39.86/40.08 c transformed objective value is always integral (scale: 1)
39.86/40.08 c Presolving Time: 39.95
39.86/40.08 c - non default parameters ----------------------------------------------------------------------
39.86/40.08 c # SCIP version 10.0.0
39.86/40.08 c
39.86/40.08 c # maximal time in seconds to run
39.86/40.08 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
39.86/40.08 c limits/time = 3596.997012
39.86/40.08 c
39.86/40.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
39.86/40.08 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
39.86/40.08 c limits/memory = 27900
39.86/40.08 c
39.86/40.08 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
39.86/40.08 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
39.86/40.08 c limits/solutions = 1
39.86/40.08 c
39.86/40.08 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.
39.86/40.08 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
39.86/40.08 c misc/usesymmetry = 3
39.86/40.08 c
39.86/40.08 c # belongs reading time to solving time?
39.86/40.08 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
39.86/40.08 c timing/reading = TRUE
39.86/40.08 c
39.86/40.08 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
39.86/40.08 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
39.86/40.08 c propagating/symmetry/detectdoublelex = FALSE
39.86/40.08 c
39.86/40.08 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
39.86/40.08 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
39.86/40.08 c propagating/symmetry/detectsubgroups = FALSE
39.86/40.08 c
39.86/40.08 c # Type of symmetries that shall be computed?
39.86/40.08 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
39.86/40.08 c propagating/symmetry/symtype = 1
39.86/40.08 c
39.86/40.08 c # Should components consisting of a single full reflection be handled?
39.86/40.08 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
39.86/40.08 c propagating/symmetry/usesimplesgncomp = FALSE
39.86/40.08 c
39.86/40.08 c -----------------------------------------------------------------------------------------------
39.86/40.08 c start solving
39.86/40.08 c
61.08/61.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
61.08/61.34 c 61.3s| 1 | 0 | 17608 | - | 241M | 0 | 18k| 18k| 18k| 0 | 0 | 266 | 0 | 0.000000e+00 | -- | Inf | unknown
269.53/270.52 c 271s| 1 | 0 |111330 | - | 268M | 0 | 18k| 18k| 18k| 13 | 1 | 272 | 0 | 0.000000e+00 | -- | Inf | unknown
299.33/300.47 c 300s| 1 | 0 |124108 | - | 278M | 0 | 18k| 18k| 18k| 29 | 2 | 280 | 0 | 0.000000e+00 | -- | Inf | unknown
327.86/329.06 c 329s| 1 | 0 |136032 | - | 280M | 0 | 18k| 18k| 18k| 40 | 3 | 287 | 0 | 0.000000e+00 | -- | Inf | unknown
359.76/361.06 c 361s| 1 | 0 |148683 | - | 285M | 0 | 18k| 18k| 18k| 52 | 4 | 296 | 0 | 0.000000e+00 | -- | Inf | unknown
391.84/393.29 c 393s| 1 | 0 |161471 | - | 288M | 0 | 18k| 18k| 18k| 66 | 5 | 298 | 0 | 0.000000e+00 | -- | Inf | unknown
424.25/425.72 c 426s| 1 | 0 |173810 | - | 290M | 0 | 18k| 18k| 18k| 80 | 6 | 304 | 0 | 0.000000e+00 | -- | Inf | unknown
457.46/459.04 c 459s| 1 | 0 |186658 | - | 294M | 0 | 18k| 18k| 18k| 87 | 7 | 310 | 0 | 0.000000e+00 | -- | Inf | unknown
490.55/492.20 c 492s| 1 | 0 |199743 | - | 297M | 0 | 18k| 18k| 18k| 96 | 8 | 319 | 0 | 0.000000e+00 | -- | Inf | unknown
535.41/537.20 c 537s| 1 | 0 |215994 | - | 299M | 0 | 18k| 18k| 18k| 110 | 9 | 322 | 0 | 0.000000e+00 | -- | Inf | unknown
572.39/574.33 c 574s| 1 | 0 |229227 | - | 303M | 0 | 18k| 18k| 18k| 123 | 10 | 324 | 0 | 0.000000e+00 | -- | Inf | unknown
605.39/607.47 c 607s| 1 | 0 |241823 | - | 307M | 0 | 18k| 18k| 18k| 133 | 11 | 327 | 0 | 0.000000e+00 | -- | Inf | unknown
882.73/885.68 c 886s| 1 | 2 |301708 | - | 310M | 0 | 18k| 18k| 18k| 133 | 11 | 342 | 27 | 0.000000e+00 | -- | Inf | unknown
3587.01/3597.28 c
3587.01/3597.28 c SCIP Status : solving was interrupted [time limit reached]
3587.01/3597.28 c Solving Time (sec) : 3597.28
3587.01/3597.28 c Solving Nodes : 18
3587.01/3597.28 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.01/3597.28 c Dual Bound : +0.00000000000000e+00
3587.01/3597.28 c Gap : infinite
3587.01/3597.28 s UNKNOWN
3587.01/3597.28 c SCIP Status : solving was interrupted [time limit reached]
3587.01/3597.28 c Total Time : 3597.28
3587.01/3597.28 c solving : 3597.28
3587.01/3597.28 c presolving : 39.95 (included in solving)
3587.01/3597.28 c reading : 0.07 (included in solving)
3587.01/3597.28 c copying : 0.05 (1 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3587.01/3597.28 c Original Problem :
3587.01/3597.28 c Problem name : HOME/instance-4446675-1721335611.opb
3587.01/3597.28 c Variables : 19635 (19635 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.01/3597.28 c Constraints : 19967 initial, 19967 maximal
3587.01/3597.28 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.01/3597.28 c Presolved Problem :
3587.01/3597.28 c Problem name : t_HOME/instance-4446675-1721335611.opb
3587.01/3597.28 c Variables : 18092 (18092 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.01/3597.28 c Constraints : 18371 initial, 18774 maximal
3587.01/3597.28 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.01/3597.28 c Nonzeros : 100547 constraint, 256836 clique table
3587.01/3597.28 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.01/3597.28 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c domcol : 1.09 0.00 22 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c gateextraction : 0.23 0.00 23 0 0 0 0 0 1 0 0 0
3587.01/3597.28 c implics : 0.00 0.00 26 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c milp : 0.24 0.00 1 169 0 0 0 0 0 0 0 0
3587.01/3597.28 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c sparsify : 0.45 0.00 4 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c trivial : 0.02 0.00 55 550 0 0 0 0 0 0 0 0
3587.01/3597.28 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c dualfix : 0.02 0.00 55 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c probing : 33.77 0.00 22 518 0 0 0 0 0 0 0 0
3587.01/3597.28 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c symmetry : 0.10 0.00 1 3 0 0 0 0 0 1 0 0
3587.01/3597.28 c vbounds : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c setppc : 0.16 0.00 91 0 0 0 0 0 112 0 0 0
3587.01/3597.28 c linear : 0.15 0.01 12 302 0 0 302 0 967 0 0 0
3587.01/3597.28 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c logicor : 3.61 0.01 91 108 0 0 0 0 517 0 0 1094
3587.01/3597.28 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c root node : - - - 0 - - 0 - - - - -
3587.01/3597.28 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.01/3597.28 c benderslp : 0 0 0 0 18 0 0 7 0 0 0 0 0 0 0
3587.01/3597.28 c integral : 0 0 0 0 18 0 0 7 0 0 0 0 0 0 36
3587.01/3597.28 c setppc : 2242+ 2328 11 556899 0 0 0 3 52675 354 1022 0 0 0 0
3587.01/3597.28 c linear : 0+ 1 0 292 0 0 0 3 0 1 0 0 0 0 0
3587.01/3597.28 c orbitope : 1 1 0 27640 0 0 0 0 222 0 0 0 0 0 0
3587.01/3597.28 c logicor : 16128+ 16444 11 168904 0 0 0 0 134531 122 2664 53 25 0 0
3587.01/3597.28 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.01/3597.28 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.01/3597.28 c integral : 53.14 0.00 0.00 0.00 53.14 0.00 0.00 0.00 0.00 0.00
3587.01/3597.28 c setppc : 3.68 0.00 0.01 3.59 0.00 0.00 0.00 0.00 0.01 0.07
3587.01/3597.28 c linear : 0.02 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.01/3597.28 c orbitope : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3587.01/3597.28 c logicor : 12.24 0.01 0.04 12.10 0.00 0.00 0.00 0.00 0.05 0.04
3587.01/3597.28 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.01/3597.28 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.01/3597.28 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.01/3597.28 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.01/3597.28 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.01/3597.28 c dualfix : 1 0 0 0
3587.01/3597.28 c genvbounds : 0 0 0 0
3587.01/3597.28 c nlobbt : 0 0 0 0
3587.01/3597.28 c obbt : 0 0 0 0
3587.01/3597.28 c probing : 0 0 0 0
3587.01/3597.28 c pseudoobj : 0 0 0 0
3587.01/3597.28 c redcost : 0 0 0 0
3587.01/3597.28 c rootredcost : 0 0 0 0
3587.01/3597.28 c symmetry : 0 0 0 0
3587.01/3597.28 c vbounds : 8415 0 0 0
3587.01/3597.28 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.01/3597.28 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3587.01/3597.28 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.01/3597.28 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.01/3597.28 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.01/3597.28 c probing : 33.77 0.00 33.77 0.00 0.00 0.00
3587.01/3597.28 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.01/3597.28 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.01/3597.28 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.01/3597.28 c symmetry : 0.12 0.00 0.10 0.03 0.00 0.00
3587.01/3597.28 c vbounds : 0.05 0.00 0.02 0.03 0.00 0.00
3587.01/3597.28 c Symmetry :
3587.01/3597.28 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.01/3597.28 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.01/3597.28 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.01/3597.28 c shadow tree time : 0.00 s
3587.01/3597.28 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.01/3597.28 c propagation : 0.05 474 145 - 1671 150.4 16 33.2 - - -
3587.01/3597.28 c infeasible LP : 0.35 18 17 - 538 2281.2 6 3.8 1 416.0 0
3587.01/3597.28 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.01/3597.28 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.01/3597.28 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.01/3597.28 c applied globally : 0.02 - - 0 591 453.1 - - 1 - -
3587.01/3597.28 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.01/3597.28 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.01/3597.28 c cut pool : 0.00 - 21 21 - - 194 296 - - - - - (maximal pool size: 194)
3587.01/3597.28 c aggregation : 0.06 0.00 11 11 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.01/3597.28 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.01/3597.28 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.01/3597.28 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c clique : 1.97 0.00 11 11 0 0 86 163 0 35 35 0 0
3587.01/3597.28 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c gomory : 19.44 0.00 10 10 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3587.01/3597.28 c > strongcg : - - - - - - - 0 0 0 0 0 -
3587.01/3597.28 c impliedbounds : 0.07 0.00 11 11 0 0 45 56 0 13 13 0 0
3587.01/3597.28 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c multilinear : 0.00 0.00 13 11 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3587.01/3597.28 c zerohalf : 13.52 0.00 11 11 0 0 63 77 0 60 60 0 0
3587.01/3597.28 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.01/3597.28 c hybrid : 0.00 0.00 11 11 133 0 216 133 0 216
3587.01/3597.28 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c Pricers : ExecTime SetupTime Calls Vars
3587.01/3597.28 c problem variables: 0.00 - 0 0
3587.01/3597.28 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.01/3597.28 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c relpscost : 53.14 0.00 18 0 0 0 0 0 0 36
3587.01/3597.28 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.01/3597.28 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.01/3597.28 c LP solutions : 0.00 - - 0 0
3587.01/3597.28 c relax solutions : 0.00 - - 0 0
3587.01/3597.28 c pseudo solutions : 0.00 - - 0 0
3587.01/3597.28 c strong branching : 0.00 - - 0 0
3587.01/3597.28 c actconsdiving : 0.00 0.00 0 0 0
3587.01/3597.28 c adaptivediving : 131.03 0.00 1 0 0
3587.01/3597.28 c alns : 0.00 0.00 0 0 0
3587.01/3597.28 c bound : 0.00 0.00 0 0 0
3587.01/3597.28 c clique : 0.05 0.00 1 0 0
3587.01/3597.28 c coefdiving : 0.00 0.00 0 0 0
3587.01/3597.28 c completesol : 0.00 0.00 0 0 0
3587.01/3597.28 c conflictdiving : 224.68 0.00 1 0 0
3587.01/3597.28 c crossover : 0.00 0.00 0 0 0
3587.01/3597.28 c dins : 0.00 0.00 0 0 0
3587.01/3597.28 c distributiondivin: 247.63 0.00 1 0 0
3587.01/3597.28 c dps : 0.00 0.00 0 0 0
3587.01/3597.28 c dualval : 0.00 0.00 0 0 0
3587.01/3597.28 c farkasdiving : 0.00 0.00 0 0 0
3587.01/3597.28 c feasjump : 0.05 0.00 1 0 0
3587.01/3597.28 c feaspump : 184.40 0.00 1 0 0
3587.01/3597.28 c fixandinfer : 0.00 0.00 0 0 0
3587.01/3597.28 c fracdiving : 222.40 0.00 1 0 0
3587.01/3597.28 c gins : 0.00 0.00 0 0 0
3587.01/3597.28 c guideddiving : 0.00 0.00 0 0 0
3587.01/3597.28 c indcoefdiving : 0.00 0.00 0 0 0
3587.01/3597.28 c indicator : 0.00 0.00 0 0 0
3587.01/3597.28 c indicatordiving : 0.00 0.00 0 0 0
3587.01/3597.28 c indoneopt : 0.00 0.00 0 0 0
3587.01/3597.28 c indrounding : 0.00 0.00 0 0 0
3587.01/3597.28 c indtwoopt : 0.00 0.00 0 0 0
3587.01/3597.28 c intdiving : 0.00 0.00 0 0 0
3587.01/3597.28 c intshifting : 0.00 0.00 0 0 0
3587.01/3597.28 c linesearchdiving : 0.00 0.00 0 0 0
3587.01/3597.28 c localbranching : 0.00 0.00 0 0 0
3587.01/3597.28 c locks : 0.07 0.00 1 0 0
3587.01/3597.28 c lpface : 0.00 0.00 0 0 0
3587.01/3597.28 c mpec : 0.00 0.00 0 0 0
3587.01/3597.28 c multistart : 0.00 0.00 0 0 0
3587.01/3597.28 c mutation : 0.00 0.00 0 0 0
3587.01/3597.28 c nlpdiving : 0.00 0.00 0 0 0
3587.01/3597.28 c objpscostdiving : 1612.39 0.00 1 0 0
3587.01/3597.28 c octane : 0.00 0.00 0 0 0
3587.01/3597.28 c ofins : 0.00 0.00 0 0 0
3587.01/3597.28 c oneopt : 0.00 0.00 0 0 0
3587.01/3597.28 c padm : 0.00 0.00 0 0 0
3587.01/3597.28 c proximity : 0.00 0.00 0 0 0
3587.01/3597.28 c pscostdiving : 102.64 0.00 1 0 0
3587.01/3597.28 c randrounding : 0.20 0.00 12 0 0
3587.01/3597.28 c rens : 0.38 0.00 1 0 0
3587.01/3597.28 c reoptsols : 0.00 0.00 0 0 0
3587.01/3597.28 c repair : 0.00 0.00 0 0 0
3587.01/3597.28 c rins : 0.00 0.00 0 0 0
3587.01/3597.28 c rootsoldiving : 0.00 0.00 0 0 0
3587.01/3597.28 c rounding : 0.04 0.00 29 0 0
3587.01/3597.28 c scheduler : 0.00 0.00 0 0 0
3587.01/3597.28 c shiftandpropagate: 0.09 0.00 1 0 0
3587.01/3597.28 c shifting : 0.15 0.00 12 0 0
3587.01/3597.28 c simplerounding : 0.00 0.00 0 0 0
3587.01/3597.28 c smallcard : 0.00 0.00 0 0 0
3587.01/3597.28 c subnlp : 0.00 0.00 0 0 0
3587.01/3597.28 c trivial : 0.01 0.00 2 0 0
3587.01/3597.28 c trivialnegation : 0.00 0.00 0 0 0
3587.01/3597.28 c trustregion : 0.00 0.00 0 0 0
3587.01/3597.28 c trysol : 0.00 0.00 0 0 0
3587.01/3597.28 c twoopt : 0.00 0.00 0 0 0
3587.01/3597.28 c undercover : 0.00 0.00 0 0 0
3587.01/3597.28 c vbounds : 0.12 0.00 1 0 0
3587.01/3597.28 c veclendiving : 124.22 0.00 1 0 0
3587.01/3597.28 c zeroobj : 0.00 0.00 0 0 0
3587.01/3597.28 c zirounding : 0.01 0.00 17 0 0
3587.01/3597.28 c other solutions : - - - 0 -
3587.01/3597.28 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.01/3597.28 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
3587.01/3597.28 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
3587.01/3597.28 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
3587.01/3597.28 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
3587.01/3597.28 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
3587.01/3597.28 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
3587.01/3597.28 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
3587.01/3597.28 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
3587.01/3597.28 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.01/3597.28 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.01/3597.28 c primal LP : 0.03 1 0 0.00 0.00 0.03 1
3587.01/3597.28 c dual LP : 618.24 29 305861 10546.93 494.73 0.00 0
3587.01/3597.28 c lex dual LP : 0.00 0 0 0.00 -
3587.01/3597.28 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.01/3597.28 c resolve instable : 88.80 48 4601 95.85 51.82
3587.01/3597.28 c diving/probing LP: 2854.03 915 606585 662.93 212.54
3587.01/3597.28 c strong branching : 43.19 27 23717 878.41 549.08 - - 43
3587.01/3597.28 c (at root node) : - 27 23717 878.41 -
3587.01/3597.28 c conflict analysis: 0.00 0 0 0.00 -
3587.01/3597.28 c B&B Tree :
3587.01/3597.28 c number of runs : 1
3587.01/3597.28 c nodes : 18 (18 internal, 0 leaves)
3587.01/3597.28 c feasible leaves : 0
3587.01/3597.28 c infeas. leaves : 0
3587.01/3597.28 c objective leaves : 0
3587.01/3597.28 c nodes (total) : 18 (18 internal, 0 leaves)
3587.01/3597.28 c nodes left : 19
3587.01/3597.28 c max depth : 9
3587.01/3597.28 c max depth (total): 9
3587.01/3597.28 c backtracks : 5 (27.8%)
3587.01/3597.28 c early backtracks : 0 (0.0%)
3587.01/3597.28 c nodes exc. ref. : 0 (0.0%)
3587.01/3597.28 c delayed cutoffs : 0
3587.01/3597.28 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.01/3597.28 c avg switch length: 1.78
3587.01/3597.28 c switching time : 0.04
3587.01/3597.28 c Root Node :
3587.01/3597.28 c First LP value : +0.00000000000000e+00
3587.01/3597.28 c First LP Iters : 17608 (843.46 Iter/sec)
3587.01/3597.28 c First LP Time : 20.88
3587.01/3597.28 c Final Dual Bound : +0.00000000000000e+00
3587.01/3597.28 c Final Root Iters : 241823
3587.01/3597.28 c Root LP Estimate : +2.02192578235177e-03
3587.01/3597.28 c Solution :
3587.01/3597.28 c Solutions found : 0 (0 improvements)
3587.01/3597.28 c Primal Bound : -
3587.01/3597.28 c Dual Bound : +0.00000000000000e+00
3587.01/3597.28 c Gap : infinite
3587.01/3597.28 c Integrals : Total Avg%
3587.01/3597.28 c primal-dual : 359728.10 100.00
3587.01/3597.28 c primal-ref : - - (not evaluated)
3587.01/3597.28 c dual-ref : - - (not evaluated)
3587.21/3597.40 c Time complete: 3587.22.
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 (62304 MiB free)
memory of node 1: 64510 MiB (60649 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446675-1721335611/watcher-4446675-1721335611 -o /tmp/evaluation-result-4446675-1721335611/solver-4446675-1721335611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721327100-963756 --watchdog 3760 pbscip -f HOME/instance-4446675-1721335611.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=969440, runsolver pid=969437
[startup+0.100104 s]*
/proc/loadavg: 4.11 4.16 4.16 5/245 969441
/proc/meminfo: memFree=125846456/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=120228 memory=80520 CPUtime=0.1 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 17062 0 0 0 8 2 0 0 20 0 1 0 185717786 123113472 20130 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 30057 20130 3498 3540 0 18314 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 120228 KiB
Current children cumulated memory: 80520 KiB
[startup+0.213337 s]*
/proc/loadavg: 4.11 4.16 4.16 5/245 969441
/proc/meminfo: memFree=125816692/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=149248 memory=105836 CPUtime=0.21 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 22840 0 0 0 19 2 0 0 20 0 1 0 185717786 152829952 26459 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 37312 26459 3546 3540 0 25569 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 149248 KiB
Current children cumulated memory: 105836 KiB
[startup+0.313511 s]*
/proc/loadavg: 4.11 4.16 4.16 5/245 969441
/proc/meminfo: memFree=125796892/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=163948 memory=121644 CPUtime=0.32 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 29115 0 0 0 28 4 0 0 20 0 1 0 185717786 167882752 30411 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 40987 30411 3609 3540 0 29244 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 163948 KiB
Current children cumulated memory: 121644 KiB
[startup+0.700299 s]
/proc/loadavg: 4.11 4.16 4.16 5/245 969441
/proc/meminfo: memFree=125803868/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=177896 memory=134952 CPUtime=0.68 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 35000 0 0 0 64 4 0 0 20 0 1 0 185717786 182165504 33738 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 44474 33738 3673 3540 0 32731 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 177896 KiB
Current children cumulated memory: 134952 KiB
[startup+1.5003 s]
/proc/loadavg: 4.11 4.16 4.16 6/246 969442
/proc/meminfo: memFree=125758336/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=217764 memory=172564 CPUtime=1.48 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 42511 0 0 0 143 5 0 0 20 0 1 0 185717786 222990336 43141 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 54441 43141 3721 3540 0 42698 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 217764 KiB
Current children cumulated memory: 172564 KiB
[startup+3.11278 s]
/proc/loadavg: 4.11 4.16 4.16 5/245 969443
/proc/meminfo: memFree=125743784/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=218236 memory=173092 CPUtime=3.09 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 42628 0 0 0 304 5 0 0 20 0 1 0 185717786 223473664 43273 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 54559 43273 3721 3540 0 42816 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 218236 KiB
Current children cumulated memory: 173092 KiB
[startup+6.30028 s]
/proc/loadavg: 4.10 4.16 4.16 5/245 969443
/proc/meminfo: memFree=125740396/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=221640 memory=176776 CPUtime=6.26 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 43504 0 0 0 621 5 0 0 20 0 1 0 185717786 226959360 44194 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 55410 44194 3721 3540 0 43667 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 221640 KiB
Current children cumulated memory: 176776 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.15 4.16 5/245 969444
/proc/meminfo: memFree=125734712/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=227592 memory=182628 CPUtime=12.65 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 45024 0 0 0 1259 6 0 0 20 0 1 0 185717786 233054208 45657 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 56898 45657 3721 3540 0 45155 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 227592 KiB
Current children cumulated memory: 182628 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.14 4.16 5/245 969446
/proc/meminfo: memFree=125731124/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=227764 memory=182900 CPUtime=25.4 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 45227 0 0 0 2534 6 0 0 20 0 1 0 185717786 233230336 45725 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 56941 45725 3721 3540 0 45198 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 227764 KiB
Current children cumulated memory: 182900 KiB
[startup+51.1129 s]
/proc/loadavg: 4.11 4.15 4.16 5/245 969450
/proc/meminfo: memFree=125654160/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=329360 memory=256484 CPUtime=50.92 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 66124 0 0 0 5082 10 0 0 20 0 1 0 185717786 337264640 64121 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 82340 64121 3929 3540 0 70597 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 329360 KiB
Current children cumulated memory: 256484 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/245 969459
/proc/meminfo: memFree=125645732/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=335036 memory=261816 CPUtime=101.93 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 67417 0 0 0 10182 11 0 0 20 0 1 0 185717786 343076864 65454 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 83759 65454 3945 3540 0 72016 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 335036 KiB
Current children cumulated memory: 261816 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/243 969470
/proc/meminfo: memFree=125631328/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=335036 memory=261816 CPUtime=161.71 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 67429 0 0 0 16159 12 0 0 20 0 1 0 185717786 343076864 65454 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 83759 65454 3945 3540 0 72016 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 335036 KiB
Current children cumulated memory: 261816 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/245 969485
/proc/meminfo: memFree=125623512/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=337480 memory=269232 CPUtime=221.5 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 67674 0 0 0 22137 13 0 0 20 0 1 0 185717786 345579520 67308 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 84370 67308 3945 3540 0 72627 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 337480 KiB
Current children cumulated memory: 269232 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/246 969496
/proc/meminfo: memFree=125534028/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=425328 memory=359244 CPUtime=281.29 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 76846 0 0 0 28113 16 0 0 20 0 1 0 185717786 435535872 89811 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 106332 89811 3961 3540 0 94589 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 425328 KiB
Current children cumulated memory: 359244 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/246 969507
/proc/meminfo: memFree=125518376/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=434436 memory=373728 CPUtime=341.1 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 78971 0 0 0 34094 16 0 0 20 0 1 0 185717786 444862464 93432 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 108609 93432 3961 3540 0 96866 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 434436 KiB
Current children cumulated memory: 373728 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/246 969517
/proc/meminfo: memFree=125515696/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=438084 memory=376248 CPUtime=400.92 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 79710 0 0 0 40075 17 0 0 20 0 1 0 185717786 448598016 94062 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 109521 94062 3961 3540 0 97778 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 438084 KiB
Current children cumulated memory: 376248 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/246 969527
/proc/meminfo: memFree=125512316/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=443028 memory=379272 CPUtime=460.74 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 80583 0 0 0 46057 17 0 0 20 0 1 0 185717786 453660672 94818 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 110757 94818 3961 3540 0 99014 0
################
# More data... #
################
/proc/loadavg: 1.11 1.30 2.29 2/221 971288
/proc/meminfo: memFree=126711640/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=525448 memory=466656 CPUtime=3153.17 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 104173 0 0 0 315297 20 0 0 20 0 1 0 185717786 538058752 116664 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 131362 116664 4012 3540 0 119619 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 525448 KiB
Current children cumulated memory: 466656 KiB
[startup+3222.3 s]
/proc/loadavg: 1.11 1.26 2.21 2/223 971302
/proc/meminfo: memFree=126711484/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=525448 memory=466656 CPUtime=3213.02 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 104297 0 0 0 321282 20 0 0 20 0 1 0 185717786 538058752 116664 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 131362 116664 4012 3540 0 119619 0
Current children cumulated CPU time: 3213.02 s
Current children cumulated vsize: 525448 KiB
Current children cumulated memory: 466656 KiB
[startup+3282.3 s]
/proc/loadavg: 1.10 1.23 2.14 2/223 971312
/proc/meminfo: memFree=126711136/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=525448 memory=466656 CPUtime=3272.88 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 104410 0 0 0 327268 20 0 0 20 0 1 0 185717786 538058752 116664 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 131362 116664 4012 3540 0 119619 0
Current children cumulated CPU time: 3272.88 s
Current children cumulated vsize: 525448 KiB
Current children cumulated memory: 466656 KiB
[startup+3342.3 s]
/proc/loadavg: 1.08 1.20 2.07 2/223 971323
/proc/meminfo: memFree=126710796/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=525448 memory=466656 CPUtime=3332.73 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 104527 0 0 0 333253 20 0 0 20 0 1 0 185717786 538058752 116664 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 131362 116664 4012 3540 0 119619 0
Current children cumulated CPU time: 3332.73 s
Current children cumulated vsize: 525448 KiB
Current children cumulated memory: 466656 KiB
[startup+3402.3 s]
/proc/loadavg: 1.06 1.17 2.00 2/223 971333
/proc/meminfo: memFree=126710584/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=525448 memory=466656 CPUtime=3392.59 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 104639 0 0 0 339239 20 0 0 20 0 1 0 185717786 538058752 116664 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 131362 116664 4012 3540 0 119619 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 525448 KiB
Current children cumulated memory: 466656 KiB
[startup+3462.3 s]
/proc/loadavg: 1.07 1.16 1.94 2/223 971343
/proc/meminfo: memFree=126710264/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=525448 memory=466656 CPUtime=3452.44 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 104752 0 0 0 345224 20 0 0 20 0 1 0 185717786 538058752 116664 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 131362 116664 4012 3540 0 119619 0
Current children cumulated CPU time: 3452.44 s
Current children cumulated vsize: 525448 KiB
Current children cumulated memory: 466656 KiB
[startup+3522.3 s]
/proc/loadavg: 1.18 1.17 1.90 2/223 971354
/proc/meminfo: memFree=126710020/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=525448 memory=466656 CPUtime=3512.29 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 104863 0 0 0 351209 20 0 0 20 0 1 0 185717786 538058752 116664 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 131362 116664 4012 3540 0 119619 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 525448 KiB
Current children cumulated memory: 466656 KiB
[startup+3582.3 s]
/proc/loadavg: 1.13 1.15 1.85 2/221 971365
/proc/meminfo: memFree=126709772/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=525448 memory=466656 CPUtime=3572.14 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 104967 0 0 0 357194 20 0 0 20 0 1 0 185717786 538058752 116664 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 131362 116664 4012 3540 0 119619 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 525448 KiB
Current children cumulated memory: 466656 KiB
[startup+3597.4 s]
# the end of solver process 969440 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.01 s, system=0.211277 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.13 1.15 1.85 2/221 971365
/proc/meminfo: memFree=126709772/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=525448 memory=466656 CPUtime=3573.85 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 104968 0 0 0 357365 20 0 0 20 0 1 0 185717786 538058752 116664 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 131362 116664 4012 3540 0 119619 0
Current children cumulated CPU time: 3573.85 s
Current children cumulated vsize: 525448 KiB
Current children cumulated memory: 466656 KiB
[startup+3590.4 s]
/proc/loadavg: 1.11 1.15 1.84 2/221 971365
/proc/meminfo: memFree=126709772/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=525448 memory=466656 CPUtime=3580.22 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 104975 0 0 0 358002 20 0 0 20 0 1 0 185717786 538058752 116664 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 131362 116664 4012 3540 0 119619 0
Current children cumulated CPU time: 3580.22 s
Current children cumulated vsize: 525448 KiB
Current children cumulated memory: 466656 KiB
[startup+3593.6 s]
/proc/loadavg: 1.11 1.15 1.84 2/221 971367
/proc/meminfo: memFree=126709768/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=525448 memory=466656 CPUtime=3583.42 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 104975 0 0 0 358322 20 0 0 20 0 1 0 185717786 538058752 116664 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 131362 116664 4012 3540 0 119619 0
Current children cumulated CPU time: 3583.42 s
Current children cumulated vsize: 525448 KiB
Current children cumulated memory: 466656 KiB
[startup+3595.2 s]
/proc/loadavg: 1.10 1.14 1.83 2/221 971367
/proc/meminfo: memFree=126709768/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=525448 memory=466656 CPUtime=3585.01 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 104975 0 0 0 358481 20 0 0 20 0 1 0 185717786 538058752 116664 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 131362 116664 4012 3540 0 119619 0
Current children cumulated CPU time: 3585.01 s
Current children cumulated vsize: 525448 KiB
Current children cumulated memory: 466656 KiB
[startup+3596.8 s]
/proc/loadavg: 1.10 1.14 1.83 2/221 971367
/proc/meminfo: memFree=126709736/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=525448 memory=466656 CPUtime=3586.61 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 104975 0 0 0 358641 20 0 0 20 0 1 0 185717786 538058752 116664 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 131362 116664 4012 3540 0 119619 0
Current children cumulated CPU time: 3586.61 s
Current children cumulated vsize: 525448 KiB
Current children cumulated memory: 466656 KiB
[startup+3597.2 s]
/proc/loadavg: 1.10 1.14 1.83 2/221 971367
/proc/meminfo: memFree=126709760/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=525448 memory=466656 CPUtime=3587.01 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 104975 0 0 0 358681 20 0 0 20 0 1 0 185717786 538058752 116664 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 131362 116664 4012 3540 0 119619 0
Current children cumulated CPU time: 3587.01 s
Current children cumulated vsize: 525448 KiB
Current children cumulated memory: 466656 KiB
[startup+3597.4 s]
/proc/loadavg: 1.10 1.14 1.83 2/221 971367
/proc/meminfo: memFree=126709760/131655788 swapFree=131071996/131071996
[pid=969440] ppid=969437 vsize=371332 memory=334216 CPUtime=3587.21 cores=0,2
/proc/969440/stat : 969440 (pbscip) R 969437 969440 963708 0 -1 4194304 105034 0 0 0 358701 20 0 0 20 0 1 0 185717786 380243968 83684 134679101440 4194304 18693293 140726105001296 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29605888 140726105007107 140726105007206 140726105007206 140726105014222 0
/proc/969440/statm: 92639 83619 4012 3540 0 80896 0
Current children cumulated CPU time: 3587.21 s
Current children cumulated vsize: 371332 KiB
Current children cumulated memory: 334216 KiB
Child status: 0
Real time (s): 3597.4
CPU time (s): 3587.22
CPU user time (s): 3587.01
CPU system time (s): 0.211277
CPU usage (%): 99.717
Max. virtual memory (cumulated for all children) (KiB): 525448
Max. memory (cumulated for all children) (KiB): 466656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.01
system time used= 0.211277
maximum resident set size= 466656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105040
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= 33
involuntary context switches= 25085
# summary of solver processes directly reported to runsolver:
# pid: 969440
# total CPU time (s): 3587.22
# total CPU user time (s): 3587.01
# total CPU system time (s): 0.211277
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3251 second user time and 31.905 second system time
The end
Begin job on nodeC007 at 2024-07-18 22:47:04 IDJOB=4446675 IDBENCH=158290 IDSOLVER=3059 FILE ID=nodeC007/4446675-1721335611 RUNJOBID= nodeC007-1721327100-963756 SLURM_JOB_ID= 7542682 Free space on /tmp= 723724 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K165.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-4446675-1721335611/watcher-4446675-1721335611 -o /tmp/evaluation-result-4446675-1721335611/solver-4446675-1721335611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721327100-963756 --watchdog 3760 pbscip -f HOME/instance-4446675-1721335611.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 75fbe782de7ac9ce41dec078153ff02c RANDOM SEED=1468707878 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 : 3602.057 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 : 3669.537 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.131 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.272 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 : 3668.410 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 : 3670.834 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.277 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.183 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: 125905580 kB MemAvailable: 128712668 kB Buffers: 508800 kB Cached: 3128916 kB SwapCached: 0 kB Active: 1059144 kB Inactive: 4126052 kB Active(anon): 1460 kB Inactive(anon): 1583728 kB Active(file): 1057684 kB Inactive(file): 2542324 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20152 kB Writeback: 0 kB AnonPages: 1545992 kB Mapped: 141980 kB Shmem: 37704 kB KReclaimable: 94224 kB Slab: 196160 kB SReclaimable: 94224 kB SUnreclaim: 101936 kB KernelStack: 3936 kB PageTables: 12492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2014152 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 58304 kB HardwareCorrupted: 0 kB AnonHugePages: 1101824 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= 723764 MiB End job on nodeC007 at 2024-07-18 23:47:01