Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIP 2024-07-07 | ? | 3588.11 | 3597.16 |
Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K196.opb |
MD5SUM | 8df9702f370312ff59707c84e3b82f3b |
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 | 77.5563 |
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 | 23324 |
Total number of constraints | 23718 |
Number of constraints which are clauses | 23522 |
Number of constraints which are cardinality constraints (but not clauses) | 196 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 196 |
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 | 197 |
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-4446885-1721336898.opb> 0.00/0.09 c original problem has 23324 variables (23324 bin, 0 int, 0 impl, 0 cont) and 23718 constraints 0.00/0.09 c problem read in 0.08 0.00/0.09 c No objective function, only one solution is needed. 0.10/0.17 c presolving: 0.10/0.22 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, 2703 clqs 0.21/0.23 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, 2687 clqs 0.21/0.23 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, 2708 clqs 0.21/0.24 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, 2739 clqs 0.21/0.24 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, 2762 clqs 0.21/0.24 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, 2772 clqs 0.21/0.31 c (0.3s) running MILP presolver 0.52/0.55 c (0.6s) MILP presolver (4 rounds): 0 aggregations, 197 fixings, 0 bound changes 0.52/0.57 c (round 7, medium) 1379 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2781 clqs 0.52/0.58 c (round 8, fast) 1379 del vars, 832 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2784 clqs 0.60/0.61 c (round 9, exhaustive) 1379 del vars, 1026 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2784 clqs 0.69/0.73 c (round 10, exhaustive) 1379 del vars, 1026 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 22692 upgd conss, 0 impls, 2784 clqs 0.89/0.95 c (round 11, exhaustive) 1487 del vars, 1026 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22692 upgd conss, 0 impls, 2772 clqs 0.89/0.96 c (round 12, fast) 1595 del vars, 1134 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22692 upgd conss, 0 impls, 2772 clqs 3.28/3.34 c (round 13, exhaustive) 1621 del vars, 1135 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22692 upgd conss, 0 impls, 141646 clqs 3.28/3.35 c (round 14, fast) 1622 del vars, 1161 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 162 chg coeffs, 22692 upgd conss, 0 impls, 141658 clqs 5.67/5.71 c (round 15, exhaustive) 1647 del vars, 1161 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 162 chg coeffs, 22692 upgd conss, 0 impls, 141639 clqs 5.67/5.72 c (round 16, fast) 1647 del vars, 1186 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 215 chg coeffs, 22692 upgd conss, 0 impls, 141650 clqs 6.87/6.93 c (round 17, exhaustive) 1673 del vars, 1186 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 215 chg coeffs, 22692 upgd conss, 0 impls, 141651 clqs 6.87/6.94 c (round 18, fast) 1674 del vars, 1212 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 283 chg coeffs, 22692 upgd conss, 0 impls, 141668 clqs 7.76/7.87 c (7.9s) probing: 1000/22277 (4.5%) - 96 fixings, 0 aggregations, 1116594 implications, 0 bound changes 7.86/7.98 c (round 19, exhaustive) 1700 del vars, 1212 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 283 chg coeffs, 22692 upgd conss, 0 impls, 141662 clqs 7.86/7.99 c (round 20, fast) 1701 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 342 chg coeffs, 22692 upgd conss, 0 impls, 141674 clqs 8.56/8.65 c (round 21, exhaustive) 1730 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 342 chg coeffs, 22692 upgd conss, 0 impls, 141667 clqs 8.56/8.66 c (round 22, fast) 1730 del vars, 1267 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 418 chg coeffs, 22692 upgd conss, 0 impls, 141683 clqs 9.56/9.62 c (round 23, exhaustive) 1756 del vars, 1267 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 418 chg coeffs, 22692 upgd conss, 0 impls, 141677 clqs 9.56/9.62 c (round 24, fast) 1757 del vars, 1293 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 478 chg coeffs, 22692 upgd conss, 0 impls, 141689 clqs 9.86/9.97 c (round 25, exhaustive) 1782 del vars, 1293 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 478 chg coeffs, 22692 upgd conss, 0 impls, 141704 clqs 9.86/9.98 c (round 26, fast) 1782 del vars, 1318 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 536 chg coeffs, 22692 upgd conss, 0 impls, 141715 clqs 11.86/11.97 c (round 27, exhaustive) 1809 del vars, 1318 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 536 chg coeffs, 22692 upgd conss, 0 impls, 140392 clqs 11.86/11.98 c (round 28, fast) 1809 del vars, 1345 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 616 chg coeffs, 22692 upgd conss, 0 impls, 140414 clqs 12.46/12.51 c (round 29, exhaustive) 1836 del vars, 1345 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 616 chg coeffs, 22692 upgd conss, 0 impls, 141707 clqs 12.46/12.52 c (round 30, fast) 1838 del vars, 1372 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 675 chg coeffs, 22692 upgd conss, 0 impls, 141716 clqs 14.15/14.24 c (round 31, exhaustive) 1864 del vars, 1372 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 675 chg coeffs, 22692 upgd conss, 0 impls, 140021 clqs 14.15/14.25 c (round 32, fast) 1864 del vars, 1398 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 755 chg coeffs, 22692 upgd conss, 0 impls, 140037 clqs 18.24/18.35 c (round 33, exhaustive) 1890 del vars, 1398 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 756 chg coeffs, 22692 upgd conss, 0 impls, 141448 clqs 18.24/18.36 c (round 34, fast) 1891 del vars, 1424 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 820 chg coeffs, 22692 upgd conss, 0 impls, 141460 clqs 19.14/19.22 c (19.2s) probing: 2000/22277 (9.0%) - 293 fixings, 1 aggregations, 3335044 implications, 0 bound changes 20.83/20.97 c (round 35, exhaustive) 1916 del vars, 1424 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 821 chg coeffs, 22692 upgd conss, 0 impls, 141698 clqs 20.83/20.98 c (round 36, fast) 1916 del vars, 1449 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 868 chg coeffs, 22692 upgd conss, 0 impls, 141704 clqs 21.23/21.31 c (round 37, exhaustive) 1941 del vars, 1449 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 868 chg coeffs, 22692 upgd conss, 0 impls, 141677 clqs 21.23/21.32 c (round 38, fast) 1941 del vars, 1474 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 900 chg coeffs, 22692 upgd conss, 0 impls, 141680 clqs 21.53/21.64 c (round 39, exhaustive) 1966 del vars, 1474 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 901 chg coeffs, 22692 upgd conss, 0 impls, 141442 clqs 21.53/21.65 c (round 40, fast) 1966 del vars, 1499 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 925 chg coeffs, 22692 upgd conss, 0 impls, 141443 clqs 21.83/21.98 c (round 41, exhaustive) 1991 del vars, 1499 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 925 chg coeffs, 22692 upgd conss, 0 impls, 141163 clqs 21.83/21.99 c (round 42, fast) 1991 del vars, 1524 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 948 chg coeffs, 22692 upgd conss, 0 impls, 141163 clqs 26.11/26.20 c (26.2s) probing: 3000/22277 (13.5%) - 401 fixings, 1 aggregations, 4584511 implications, 0 bound changes 31.80/31.91 c (31.9s) probing: 4000/22277 (18.0%) - 405 fixings, 1 aggregations, 5846604 implications, 0 bound changes 32.20/32.35 c (round 43, exhaustive) 2016 del vars, 1524 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 948 chg coeffs, 22692 upgd conss, 0 impls, 141699 clqs 32.20/32.36 c (round 44, fast) 2016 del vars, 1549 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 974 chg coeffs, 22692 upgd conss, 0 impls, 141699 clqs 32.50/32.68 c (round 45, exhaustive) 2042 del vars, 1549 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 974 chg coeffs, 22692 upgd conss, 0 impls, 141500 clqs 32.50/32.69 c (round 46, fast) 2043 del vars, 1575 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1004 chg coeffs, 22692 upgd conss, 0 impls, 141500 clqs 37.68/37.85 c (37.8s) probing: 5000/22277 (22.4%) - 452 fixings, 1 aggregations, 6988786 implications, 0 bound changes 42.07/42.23 c (round 47, exhaustive) 2068 del vars, 1575 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1004 chg coeffs, 22692 upgd conss, 0 impls, 141736 clqs 42.07/42.23 c (round 48, fast) 2068 del vars, 1600 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1038 chg coeffs, 22692 upgd conss, 0 impls, 141738 clqs 42.37/42.56 c (round 49, exhaustive) 2093 del vars, 1600 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1038 chg coeffs, 22692 upgd conss, 0 impls, 141709 clqs 42.37/42.57 c (round 50, fast) 2093 del vars, 1625 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1063 chg coeffs, 22692 upgd conss, 0 impls, 141709 clqs 42.88/43.02 c (43.0s) probing: 6000/22277 (26.9%) - 491 fixings, 1 aggregations, 7898608 implications, 0 bound changes 47.55/47.78 c (47.8s) probing: 7000/22277 (31.4%) - 492 fixings, 1 aggregations, 8859222 implications, 0 bound changes 52.34/52.51 c (52.5s) probing: 8000/22277 (35.9%) - 498 fixings, 1 aggregations, 9814730 implications, 0 bound changes 56.62/56.81 c (56.8s) probing: 9000/22277 (40.4%) - 500 fixings, 1 aggregations, 10780258 implications, 0 bound changes 60.61/60.82 c (60.8s) probing: 10000/22277 (44.9%) - 504 fixings, 1 aggregations, 11747965 implications, 0 bound changes 63.50/63.71 c (round 51, exhaustive) 2118 del vars, 1625 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1063 chg coeffs, 22692 upgd conss, 0 impls, 141715 clqs 63.50/63.72 c (round 52, fast) 2118 del vars, 1650 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1099 chg coeffs, 22692 upgd conss, 0 impls, 141716 clqs 65.49/65.75 c (65.8s) probing: 11000/22277 (49.4%) - 516 fixings, 1 aggregations, 12688280 implications, 0 bound changes 68.58/68.89 c (68.9s) probing: 11644/22277 (52.3%) - 516 fixings, 1 aggregations, 13307058 implications, 0 bound changes 68.58/68.89 c (68.9s) probing aborted: 1000/1000 successive useless probings 68.68/68.93 c (68.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 68.80/69.06 c (69.1s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.05) 68.80/69.06 c dynamic symmetry handling statistics: 68.80/69.06 c orbitopal reduction: no components 68.80/69.06 c orbital reduction: no components 68.80/69.06 c lexicographic reduction: 3 permutations with support sizes 1842, 760, 368 68.80/69.06 c handled 4 out of 4 symmetry components 68.80/69.09 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive): 68.80/69.09 c 2131 deleted vars, 1660 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1112 changed coefficients 68.80/69.09 c 0 implications, 141850 cliques 68.80/69.09 c presolved problem has 21749 variables (21749 bin, 0 int, 0 impl, 0 cont) and 22059 constraints 68.80/69.09 c 2676 constraints of type <setppc> 68.80/69.09 c 1 constraints of type <orbitope> 68.80/69.09 c 19382 constraints of type <logicor> 68.80/69.09 c transformed objective value is always integral (scale: 1) 68.80/69.09 c Presolving Time: 68.93 68.80/69.09 c - non default parameters ---------------------------------------------------------------------- 68.80/69.09 c # SCIP version 10.0.0 68.80/69.09 c 68.80/69.09 c # maximal time in seconds to run 68.80/69.09 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20] 68.80/69.09 c limits/time = 3596.998011 68.80/69.09 c 68.80/69.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 68.80/69.09 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207] 68.80/69.09 c limits/memory = 27900 68.80/69.09 c 68.80/69.09 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit) 68.80/69.09 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1] 68.80/69.09 c limits/solutions = 1 68.80/69.09 c 68.80/69.09 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. 68.80/69.09 c # [type: int, advanced: FALSE, range: [0,7], default: 7] 68.80/69.09 c misc/usesymmetry = 3 68.80/69.09 c 68.80/69.09 c # belongs reading time to solving time? 68.80/69.09 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE] 68.80/69.09 c timing/reading = TRUE 68.80/69.09 c 68.80/69.09 c # Should we check whether the components of the symmetry group can be handled by double lex matrices? 68.80/69.09 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 68.80/69.09 c propagating/symmetry/detectdoublelex = FALSE 68.80/69.09 c 68.80/69.09 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables? 68.80/69.09 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 68.80/69.09 c propagating/symmetry/detectsubgroups = FALSE 68.80/69.09 c 68.80/69.09 c # Type of symmetries that shall be computed? 68.80/69.09 c # [type: int, advanced: TRUE, range: [0,1], default: 0] 68.80/69.09 c propagating/symmetry/symtype = 1 68.80/69.09 c 68.80/69.09 c # Should components consisting of a single full reflection be handled? 68.80/69.09 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 68.80/69.09 c propagating/symmetry/usesimplesgncomp = FALSE 68.80/69.09 c 68.80/69.09 c ----------------------------------------------------------------------------------------------- 68.80/69.09 c start solving 68.80/69.09 c 97.59/97.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 97.59/97.95 c 98.0s| 1 | 0 | 18596 | - | 283M | 0 | 21k| 22k| 22k| 0 | 0 | 160 | 0 | 0.000000e+00 | -- | Inf | unknown 342.62/343.73 c 344s| 1 | 0 |117414 | - | 312M | 0 | 21k| 22k| 22k| 12 | 1 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown 377.42/378.65 c 379s| 1 | 0 |129202 | - | 320M | 0 | 21k| 22k| 22k| 28 | 2 | 162 | 0 | 0.000000e+00 | -- | Inf | unknown 414.11/415.45 c 415s| 1 | 0 |140727 | - | 327M | 0 | 21k| 22k| 22k| 32 | 3 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown 455.09/456.54 c 457s| 1 | 0 |153404 | - | 331M | 0 | 21k| 22k| 22k| 42 | 4 | 181 | 0 | 0.000000e+00 | -- | Inf | unknown 495.68/497.21 c 497s| 1 | 0 |165985 | - | 334M | 0 | 21k| 22k| 22k| 60 | 5 | 190 | 0 | 0.000000e+00 | -- | Inf | unknown 542.94/544.66 c 545s| 1 | 0 |180035 | - | 338M | 0 | 21k| 22k| 22k| 88 | 6 | 192 | 0 | 0.000000e+00 | -- | Inf | unknown 590.80/592.61 c 593s| 1 | 0 |193853 | - | 341M | 0 | 21k| 22k| 22k| 109 | 7 | 193 | 0 | 0.000000e+00 | -- | Inf | unknown 633.29/635.25 c 635s| 1 | 0 |205996 | - | 349M | 0 | 21k| 22k| 22k| 119 | 8 | 194 | 0 | 0.000000e+00 | -- | Inf | unknown 677.98/680.09 c 680s| 1 | 0 |218601 | - | 353M | 0 | 21k| 22k| 22k| 129 | 9 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown 727.33/729.54 c 730s| 1 | 0 |232799 | - | 356M | 0 | 21k| 22k| 22k| 152 | 10 | 197 | 0 | 0.000000e+00 | -- | Inf | unknown 767.92/770.25 c 770s| 1 | 0 |245332 | - | 360M | 0 | 21k| 22k| 22k| 161 | 11 | 204 | 0 | 0.000000e+00 | -- | Inf | unknown 1340.73/1344.42 c 1344s| 1 | 2 |443425 | - | 369M | 0 | 21k| 22k| 22k| 161 | 11 | 210 | 23 | 0.000000e+00 | -- | Inf | unknown 2452.57/2459.11 c 2459s| 100 | 29 | 1045k|8079.0 | 383M | 40 | 21k| 22k| 22k| 230 | 0 | 240 | 23 | 0.000000e+00 | -- | Inf | unknown 3528.87/3537.81 c 3538s| 200 | 39 | 1683k|7228.5 | 401M | 55 | 21k| 22k| 0 | 268 | 0 | 292 | 23 | 0.000000e+00 | -- | Inf | unknown 3587.83/3597.00 c 3587.83/3597.00 c SCIP Status : solving was interrupted [time limit reached] 3587.83/3597.00 c Solving Time (sec) : 3597.00 3587.83/3597.00 c Solving Nodes : 236 3587.83/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions) 3587.83/3597.00 c Dual Bound : +0.00000000000000e+00 3587.83/3597.00 c Gap : infinite 3587.83/3597.00 s UNKNOWN 3587.83/3597.00 c SCIP Status : solving was interrupted [time limit reached] 3587.83/3597.00 c Total Time : 3597.00 3587.83/3597.00 c solving : 3597.00 3587.83/3597.00 c presolving : 68.93 (included in solving) 3587.83/3597.00 c reading : 0.08 (included in solving) 3587.83/3597.00 c copying : 0.22 (4 #copies) (minimal 0.05, maximal 0.06, average 0.05) 3587.83/3597.00 c Original Problem : 3587.83/3597.00 c Problem name : HOME/instance-4446885-1721336898.opb 3587.83/3597.00 c Variables : 23324 (23324 binary, 0 integer, 0 implicit integer, 0 continuous) 3587.83/3597.00 c Constraints : 23718 initial, 23718 maximal 3587.94/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20) 3587.94/3597.01 c Presolved Problem : 3587.94/3597.01 c Problem name : t_HOME/instance-4446885-1721336898.opb 3587.94/3597.01 c Variables : 21749 (21749 binary, 0 integer, 0 implicit integer, 0 continuous) 3587.94/3597.01 c Constraints : 22059 initial, 22314 maximal 3587.94/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20) 3587.94/3597.01 c Nonzeros : 120912 constraint, 305062 clique table 3587.94/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs 3587.94/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c domcol : 1.32 0.00 21 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c dualsparsify : 0.05 0.00 1 0 0 0 0 0 10 0 0 13 3587.94/3597.01 c gateextraction : 0.30 0.00 22 0 0 0 0 0 1 0 0 0 3587.94/3597.01 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c milp : 0.31 0.00 1 197 0 0 0 0 0 0 0 0 3587.94/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c sparsify : 0.75 0.00 4 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c trivial : 0.03 0.00 53 556 0 0 0 0 0 0 0 0 3587.94/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c dualfix : 0.03 0.00 53 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c probing : 60.48 0.00 21 516 1 0 0 0 0 0 0 0 3587.94/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c symmetry : 0.13 0.00 1 3 0 0 0 0 0 1 0 0 3587.94/3597.01 c vbounds : 0.04 0.00 2 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c setppc : 0.25 0.00 87 0 0 0 0 0 108 0 0 0 3587.94/3597.01 c linear : 0.19 0.02 12 302 0 0 302 0 1026 0 0 0 3587.94/3597.01 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c logicor : 4.97 0.01 87 108 0 0 0 0 515 0 0 1099 3587.94/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c root node : - - - 0 - - 0 - - - - - 3587.94/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children 3587.94/3597.01 c benderslp : 0 0 0 0 136 0 0 20 0 0 0 0 0 0 0 3587.94/3597.01 c integral : 0 0 0 0 136 0 0 20 0 0 0 0 0 0 272 3587.94/3597.01 c setppc : 2676+ 2806 11 812139 0 0 0 16 21941 339 29187 0 0 0 0 3587.94/3597.01 c linear : 0+ 1 0 959 0 0 0 3 0 1 0 0 0 0 0 3587.94/3597.01 c orbitope : 1 1 0 22289 0 0 0 0 2 0 18 0 0 0 0 3587.94/3597.01 c logicor : 19382+ 19506 11 197932 0 0 0 0 65004 169 43816 41 11 0 0 3587.94/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop 3587.94/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3587.94/3597.01 c integral : 62.76 0.00 0.00 0.00 62.76 0.00 0.00 0.00 0.00 0.00 3587.94/3597.01 c setppc : 5.86 0.00 0.01 5.76 0.00 0.00 0.00 0.00 0.01 0.08 3587.94/3597.01 c linear : 0.02 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3587.94/3597.01 c orbitope : 0.05 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00 3587.94/3597.01 c logicor : 16.10 0.01 0.04 15.99 0.00 0.00 0.00 0.00 0.03 0.03 3587.94/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3587.94/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3587.94/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3587.94/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3587.94/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds 3587.94/3597.01 c dualfix : 1 0 0 0 3587.94/3597.01 c genvbounds : 0 0 0 0 3587.94/3597.01 c nlobbt : 0 0 0 0 3587.94/3597.01 c obbt : 0 0 0 0 3587.94/3597.01 c probing : 0 0 0 0 3587.94/3597.01 c pseudoobj : 0 0 0 0 3587.94/3597.01 c redcost : 0 0 0 0 3587.94/3597.01 c rootredcost : 0 0 0 0 3587.94/3597.01 c symmetry : 1768 0 0 5 3587.94/3597.01 c vbounds : 9174 0 0 0 3587.94/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop 3587.94/3597.01 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00 3587.94/3597.01 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00 3587.94/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00 3587.94/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00 3587.94/3597.01 c probing : 60.48 0.00 60.48 0.00 0.00 0.00 3587.94/3597.01 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00 3587.94/3597.01 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00 3587.94/3597.01 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00 3587.94/3597.01 c symmetry : 0.17 0.00 0.13 0.04 0.00 0.00 3587.94/3597.01 c vbounds : 0.38 0.00 0.04 0.33 0.00 0.00 3587.94/3597.01 c Symmetry : 3587.94/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs 3587.94/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs 3587.94/3597.01 c lexicographic red: 5 reductions applied, 0 cutoffs 3587.94/3597.01 c shadow tree time : 0.00 s 3587.94/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000]) 3587.94/3597.01 c propagation : 0.04 506 169 - 591 86.2 9 11.1 - - - 3587.94/3597.01 c infeasible LP : 0.62 62 4 - 152 2179.1 9 9.7 1 935.0 0 3587.94/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0 3587.94/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0 3587.94/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - - 3587.94/3597.01 c applied globally : 0.01 - - 0 314 44.3 - - 1 - - 3587.94/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - - 3587.94/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss 3587.94/3597.01 c cut pool : 0.01 - 56 21 - - 478 1007 - - - - - (maximal pool size: 478) 3587.94/3597.01 c aggregation : 0.12 0.00 22 11 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 - 3587.94/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 - 3587.94/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 - 3587.94/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c clique : 2.68 0.00 11 11 0 0 80 117 0 51 51 0 0 3587.94/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c gomory : 34.37 0.00 21 10 0 0 277 700 26 40 37 3 0 3587.94/3597.01 c > gomorymi : - - - - - - - 308 13 28 25 3 - 3587.94/3597.01 c > strongcg : - - - - - - - 392 13 12 12 0 - 3587.94/3597.01 c impliedbounds : 0.17 0.00 22 11 0 0 44 65 0 34 34 0 0 3587.94/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c multilinear : 0.00 0.00 16 11 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c rlt : 0.00 0.00 17 10 0 0 0 0 0 0 0 0 0 3587.94/3597.01 c zerohalf : 18.42 0.00 22 11 0 0 128 125 25 139 116 23 0 3587.94/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt 3587.94/3597.01 c hybrid : 0.00 0.00 32 11 275 0 824 161 0 114 3587.94/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c Pricers : ExecTime SetupTime Calls Vars 3587.94/3597.01 c problem variables: 0.00 - 0 0 3587.94/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children 3587.94/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c relpscost : 62.76 0.00 136 0 0 0 0 0 0 272 3587.94/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0 3587.94/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best 3587.94/3597.01 c LP solutions : 0.00 - - 0 0 3587.94/3597.01 c relax solutions : 0.00 - - 0 0 3587.94/3597.01 c pseudo solutions : 0.00 - - 0 0 3587.94/3597.01 c strong branching : 0.00 - - 0 0 3587.94/3597.01 c actconsdiving : 0.00 0.00 0 0 0 3587.94/3597.01 c adaptivediving : 0.00 0.00 0 0 0 3587.94/3597.01 c alns : 1.00 0.00 4 0 0 3587.94/3597.01 c bound : 0.00 0.00 0 0 0 3587.94/3597.01 c clique : 0.09 0.00 1 0 0 3587.94/3597.01 c coefdiving : 0.00 0.00 0 0 0 3587.94/3597.01 c completesol : 0.00 0.00 0 0 0 3587.94/3597.01 c conflictdiving : 510.95 0.00 1 0 0 3587.94/3597.01 c crossover : 0.00 0.00 0 0 0 3587.94/3597.01 c dins : 0.00 0.00 0 0 0 3587.94/3597.01 c distributiondivin: 0.04 0.00 0 0 0 3587.94/3597.01 c dps : 0.00 0.00 0 0 0 3587.94/3597.01 c dualval : 0.00 0.00 0 0 0 3587.94/3597.01 c farkasdiving : 0.00 0.00 0 0 0 3587.94/3597.01 c feasjump : 0.04 0.00 1 0 0 3587.94/3597.01 c feaspump : 210.53 0.00 1 0 0 3587.94/3597.01 c fixandinfer : 0.00 0.00 0 0 0 3587.94/3597.01 c fracdiving : 0.00 0.00 0 0 0 3587.94/3597.01 c gins : 0.00 0.00 0 0 0 3587.94/3597.01 c guideddiving : 0.00 0.00 0 0 0 3587.94/3597.01 c indcoefdiving : 0.00 0.00 0 0 0 3587.94/3597.01 c indicator : 0.00 0.00 0 0 0 3587.94/3597.01 c indicatordiving : 0.00 0.00 0 0 0 3587.94/3597.01 c indoneopt : 0.00 0.00 0 0 0 3587.94/3597.01 c indrounding : 0.00 0.00 0 0 0 3587.94/3597.01 c indtwoopt : 0.00 0.00 0 0 0 3587.94/3597.01 c intdiving : 0.00 0.00 0 0 0 3587.94/3597.01 c intshifting : 0.00 0.00 0 0 0 3587.94/3597.01 c linesearchdiving : 0.00 0.00 0 0 0 3587.94/3597.01 c localbranching : 0.00 0.00 0 0 0 3587.94/3597.01 c locks : 0.09 0.00 1 0 0 3587.94/3597.01 c lpface : 0.01 0.00 0 0 0 3587.94/3597.01 c mpec : 0.00 0.00 0 0 0 3587.94/3597.01 c multistart : 0.00 0.00 0 0 0 3587.94/3597.01 c mutation : 0.00 0.00 0 0 0 3587.94/3597.01 c nlpdiving : 0.00 0.00 0 0 0 3587.94/3597.01 c objpscostdiving : 0.00 0.00 0 0 0 3587.94/3597.01 c octane : 0.00 0.00 0 0 0 3587.94/3597.01 c ofins : 0.00 0.00 0 0 0 3587.94/3597.01 c oneopt : 0.00 0.00 0 0 0 3587.94/3597.01 c padm : 0.00 0.00 0 0 0 3587.94/3597.01 c proximity : 0.00 0.00 0 0 0 3587.94/3597.01 c pscostdiving : 340.50 0.00 1 0 0 3587.94/3597.01 c randrounding : 0.26 0.00 25 0 0 3587.94/3597.01 c rens : 0.44 0.00 1 0 0 3587.94/3597.01 c reoptsols : 0.00 0.00 0 0 0 3587.94/3597.01 c repair : 0.00 0.00 0 0 0 3587.94/3597.01 c rins : 0.00 0.00 0 0 0 3587.94/3597.01 c rootsoldiving : 0.00 0.00 0 0 0 3587.94/3597.01 c rounding : 0.14 0.00 128 0 0 3587.94/3597.01 c scheduler : 0.00 0.00 0 0 0 3587.94/3597.01 c shiftandpropagate: 0.02 0.00 1 0 0 3587.94/3597.01 c shifting : 0.37 0.00 43 0 0 3587.94/3597.01 c simplerounding : 0.00 0.00 0 0 0 3587.94/3597.01 c smallcard : 0.00 0.00 0 0 0 3587.94/3597.01 c subnlp : 0.00 0.00 0 0 0 3587.94/3597.01 c trivial : 0.02 0.00 2 0 0 3587.94/3597.01 c trivialnegation : 0.00 0.00 0 0 0 3587.94/3597.01 c trustregion : 0.00 0.00 0 0 0 3587.94/3597.01 c trysol : 0.00 0.00 0 0 0 3587.94/3597.01 c twoopt : 0.00 0.00 0 0 0 3587.94/3597.01 c undercover : 0.00 0.00 0 0 0 3587.94/3597.01 c vbounds : 0.20 0.00 1 0 0 3587.94/3597.01 c veclendiving : 0.00 0.00 0 0 0 3587.94/3597.01 c zeroobj : 0.00 0.00 0 0 0 3587.94/3597.01 c zirounding : 0.03 0.00 136 0 0 3587.94/3597.01 c other solutions : - - - 0 - 3587.94/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv 3587.94/3597.01 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.94/3597.01 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.94/3597.01 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.94/3597.01 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.94/3597.01 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.94/3597.01 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.94/3597.01 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.94/3597.01 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.94/3597.01 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.94/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit 3587.94/3597.01 c primal LP : 0.15 7 0 0.00 0.00 0.15 7 3587.94/3597.01 c dual LP : 2342.07 227 1323568 5908.79 565.13 0.01 3 3587.94/3597.01 c lex dual LP : 0.00 0 0 0.00 - 3587.94/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0 3587.94/3597.01 c resolve instable : 9.40 1 13103 13103.00 1394.45 3587.94/3597.01 c diving/probing LP: 1074.57 35 419394 11982.69 390.29 3587.94/3597.01 c strong branching : 49.23 23 22765 989.78 462.41 - - 45 3587.94/3597.01 c (at root node) : - 23 22765 989.78 - 3587.94/3597.01 c conflict analysis: 0.00 0 0 0.00 - 3587.94/3597.01 c B&B Tree : 3587.94/3597.01 c number of runs : 1 3587.94/3597.01 c nodes : 236 (136 internal, 100 leaves) 3587.94/3597.01 c feasible leaves : 0 3587.94/3597.01 c infeas. leaves : 99 3587.94/3597.01 c objective leaves : 0 3587.94/3597.01 c nodes (total) : 236 (136 internal, 100 leaves) 3587.94/3597.01 c nodes left : 38 3587.94/3597.01 c max depth : 62 3587.94/3597.01 c max depth (total): 62 3587.94/3597.01 c backtracks : 16 (6.8%) 3587.94/3597.01 c early backtracks : 0 (0.0%) 3587.94/3597.01 c nodes exc. ref. : 0 (0.0%) 3587.94/3597.01 c delayed cutoffs : 0 3587.94/3597.01 c repropagations : 889 (155 domain reductions, 0 cutoffs) 3587.94/3597.01 c avg switch length: 8.97 3587.94/3597.01 c switching time : 0.59 3587.94/3597.01 c Root Node : 3587.94/3597.01 c First LP value : +0.00000000000000e+00 3587.94/3597.01 c First LP Iters : 18596 (655.06 Iter/sec) 3587.94/3597.01 c First LP Time : 28.39 3587.94/3597.01 c Final Dual Bound : +0.00000000000000e+00 3587.94/3597.01 c Final Root Iters : 245332 3587.94/3597.01 c Root LP Estimate : +1.42402598534319e-03 3587.94/3597.01 c Solution : 3587.94/3597.01 c Solutions found : 0 (0 improvements) 3587.94/3597.01 c Primal Bound : - 3587.94/3597.01 c Dual Bound : +0.00000000000000e+00 3587.94/3597.01 c Gap : infinite 3587.94/3597.01 c Integrals : Total Avg% 3587.94/3597.01 c primal-dual : 359699.94 100.00 3587.94/3597.01 c primal-ref : - - (not evaluated) 3587.94/3597.01 c dual-ref : - - (not evaluated) 3588.04/3597.16 c Time complete: 3588.1.
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 (61479 MiB free) memory of node 1: 64510 MiB (60190 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446885-1721336898/watcher-4446885-1721336898 -o /tmp/evaluation-result-4446885-1721336898/solver-4446885-1721336898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721329708-966736 --watchdog 3760 pbscip -f HOME/instance-4446885-1721336898.opb -t 3600 -j 2 -m 31000 running on 2 cores: 1,3 CPU governors: performance: 1 3 Enforcing FSIZE limit: 104857600 KiB Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 4.18.0-301.1.el8.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=970822, runsolver pid=970819 [startup+0.100123 s]* /proc/loadavg: 4.10 4.15 4.17 5/241 970823 /proc/meminfo: memFree=124507376/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=117896 memory=77860 CPUtime=0.1 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 16385 0 0 0 8 2 0 0 20 0 1 0 185848971 120725504 19465 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 29474 19465 3489 3540 0 17731 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 117896 KiB Current children cumulated memory: 77860 KiB [startup+0.213189 s]* /proc/loadavg: 4.10 4.15 4.17 5/241 970823 /proc/meminfo: memFree=124434532/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=153548 memory=110776 CPUtime=0.21 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 24581 0 0 0 18 3 0 0 20 0 1 0 185848971 157233152 27694 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 38387 27694 3537 3540 0 26644 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 153548 KiB Current children cumulated memory: 110776 KiB [startup+0.313292 s]* /proc/loadavg: 4.10 4.15 4.17 5/241 970823 /proc/meminfo: memFree=124387900/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=183140 memory=140644 CPUtime=0.32 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 33346 0 0 0 27 5 0 0 20 0 1 0 185848971 187535360 35161 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 45785 35161 3616 3540 0 34042 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 183140 KiB Current children cumulated memory: 140644 KiB [startup+0.70036 s] /proc/loadavg: 4.10 4.15 4.17 5/241 970823 /proc/meminfo: memFree=124391020/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=192260 memory=150344 CPUtime=0.69 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 37999 0 0 0 64 5 0 0 20 0 1 0 185848971 196874240 37586 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 48065 37586 3680 3540 0 36322 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 192260 KiB Current children cumulated memory: 150344 KiB [startup+1.50034 s] /proc/loadavg: 4.10 4.15 4.17 5/241 970823 /proc/meminfo: memFree=124353180/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=233496 memory=188860 CPUtime=1.48 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 45271 0 0 0 142 6 0 0 20 0 1 0 185848971 239099904 47215 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 58374 47215 3728 3540 0 46631 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 233496 KiB Current children cumulated memory: 188860 KiB [startup+3.11285 s] /proc/loadavg: 4.09 4.15 4.17 5/241 970824 /proc/meminfo: memFree=124268164/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=247984 memory=202840 CPUtime=3.09 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 48810 0 0 0 302 7 0 0 20 0 1 0 185848971 253935616 50710 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 61996 50710 3728 3540 0 50253 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 247984 KiB Current children cumulated memory: 202840 KiB [startup+6.30032 s] /proc/loadavg: 4.09 4.15 4.17 5/241 970824 /proc/meminfo: memFree=124254364/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=248552 memory=203368 CPUtime=6.27 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 48952 0 0 0 620 7 0 0 20 0 1 0 185848971 254517248 50842 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 62138 50842 3728 3540 0 50395 0 Current children cumulated CPU time: 6.27 s Current children cumulated vsize: 248552 KiB Current children cumulated memory: 203368 KiB [startup+12.7003 s] /proc/loadavg: 4.15 4.16 4.17 5/241 970826 /proc/meminfo: memFree=124237400/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=257420 memory=212200 CPUtime=12.66 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 52249 0 0 0 1258 8 0 0 20 0 1 0 185848971 263598080 53050 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 64355 53050 3728 3540 0 52612 0 Current children cumulated CPU time: 12.66 s Current children cumulated vsize: 257420 KiB Current children cumulated memory: 212200 KiB [startup+25.5003 s] /proc/loadavg: 4.13 4.16 4.17 5/241 970828 /proc/meminfo: memFree=124232172/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=258928 memory=214008 CPUtime=25.42 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 52655 0 0 0 2534 8 0 0 20 0 1 0 185848971 265142272 53502 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 64732 53502 3728 3540 0 52989 0 Current children cumulated CPU time: 25.42 s Current children cumulated vsize: 258928 KiB Current children cumulated memory: 214008 KiB [startup+51.1129 s] /proc/loadavg: 4.08 4.14 4.16 5/241 970832 /proc/meminfo: memFree=124089392/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=260044 memory=215032 CPUtime=50.95 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 52921 0 0 0 5087 8 0 0 20 0 1 0 185848971 266285056 53758 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 65011 53758 3728 3540 0 53268 0 Current children cumulated CPU time: 50.95 s Current children cumulated vsize: 260044 KiB Current children cumulated memory: 215032 KiB [startup+102.3 s] /proc/loadavg: 4.10 4.13 4.16 5/241 970842 /proc/meminfo: memFree=123912252/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=383404 memory=308192 CPUtime=101.98 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 76548 0 0 0 10185 13 0 0 20 0 1 0 185848971 392605696 77048 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 95851 77048 3952 3540 0 84108 0 Current children cumulated CPU time: 101.98 s Current children cumulated vsize: 383404 KiB Current children cumulated memory: 308192 KiB [startup+162.3 s] /proc/loadavg: 4.09 4.12 4.15 5/243 970856 /proc/meminfo: memFree=123854560/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=385480 memory=308980 CPUtime=161.79 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 76784 0 0 0 16166 13 0 0 20 0 1 0 185848971 394731520 77245 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 96370 77245 3952 3540 0 84627 0 Current children cumulated CPU time: 161.79 s Current children cumulated vsize: 385480 KiB Current children cumulated memory: 308980 KiB [startup+222.3 s] /proc/loadavg: 4.29 4.16 4.17 5/243 970866 /proc/meminfo: memFree=123828480/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=385480 memory=308980 CPUtime=221.59 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 76787 0 0 0 22146 13 0 0 20 0 1 0 185848971 394731520 77245 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 96370 77245 3952 3540 0 84627 0 Current children cumulated CPU time: 221.59 s Current children cumulated vsize: 385480 KiB Current children cumulated memory: 308980 KiB [startup+282.3 s] /proc/loadavg: 4.68 4.31 4.22 5/243 970877 /proc/meminfo: memFree=123660508/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=386756 memory=309756 CPUtime=281.4 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 76983 0 0 0 28127 13 0 0 20 0 1 0 185848971 396038144 77439 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 96689 77439 3952 3540 0 84946 0 Current children cumulated CPU time: 281.4 s Current children cumulated vsize: 386756 KiB Current children cumulated memory: 309756 KiB [startup+342.3 s] /proc/loadavg: 4.77 4.38 4.25 5/243 970888 /proc/meminfo: memFree=123523928/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=486612 memory=406228 CPUtime=341.22 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 84228 0 0 0 34106 16 0 0 20 0 1 0 185848971 498290688 101557 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 121653 101557 3952 3540 0 109910 0 Current children cumulated CPU time: 341.22 s Current children cumulated vsize: 486612 KiB Current children cumulated memory: 406228 KiB [startup+402.3 s] /proc/loadavg: 4.68 4.45 4.28 5/243 970898 /proc/meminfo: memFree=123491840/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=502968 memory=419548 CPUtime=401.04 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 87598 0 0 0 40087 17 0 0 20 0 1 0 185848971 515039232 104887 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 125742 104887 3952 3540 0 113999 0 Current children cumulated CPU time: 401.04 s Current children cumulated vsize: 502968 KiB Current children cumulated memory: 419548 KiB [startup+462.3 s] /proc/loadavg: 4.41 4.40 4.27 5/241 970910 /proc/meminfo: memFree=123464248/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=509880 memory=424144 CPUtime=460.88 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 88767 0 0 0 46070 18 0 0 20 0 1 0 185848971 522117120 106036 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 127470 106036 3952 3540 0 115727 0 ################ # More data... # ################ /proc/loadavg: 4.16 4.12 4.15 5/244 972591 /proc/meminfo: memFree=123002460/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=651452 memory=586856 CPUtime=3214.07 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 129507 0 0 0 321383 24 0 0 20 0 1 0 185848971 667086848 146714 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 162863 146714 3999 3540 0 151120 0 Current children cumulated CPU time: 3214.07 s Current children cumulated vsize: 651452 KiB Current children cumulated memory: 586856 KiB [startup+3282.3 s] /proc/loadavg: 4.10 4.11 4.14 5/244 972601 /proc/meminfo: memFree=123002104/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=651452 memory=586856 CPUtime=3273.94 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 129731 0 0 0 327370 24 0 0 20 0 1 0 185848971 667086848 146714 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 162863 146714 3999 3540 0 151120 0 Current children cumulated CPU time: 3273.94 s Current children cumulated vsize: 651452 KiB Current children cumulated memory: 586856 KiB [startup+3342.3 s] /proc/loadavg: 4.07 4.10 4.14 5/243 972613 /proc/meminfo: memFree=123001880/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=651452 memory=587620 CPUtime=3333.81 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 130025 0 0 0 333357 24 0 0 20 0 1 0 185848971 667086848 146905 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 162863 146905 4190 3540 0 151120 0 Current children cumulated CPU time: 3333.81 s Current children cumulated vsize: 651452 KiB Current children cumulated memory: 587620 KiB [startup+3402.3 s] /proc/loadavg: 4.07 4.10 4.13 5/243 972623 /proc/meminfo: memFree=123001628/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=651452 memory=587620 CPUtime=3393.67 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 130251 0 0 0 339343 24 0 0 20 0 1 0 185848971 667086848 146905 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 162863 146905 4190 3540 0 151120 0 Current children cumulated CPU time: 3393.67 s Current children cumulated vsize: 651452 KiB Current children cumulated memory: 587620 KiB [startup+3462.3 s] /proc/loadavg: 4.13 4.11 4.13 5/241 972633 /proc/meminfo: memFree=123001332/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=651452 memory=587620 CPUtime=3453.54 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 130536 0 0 0 345330 24 0 0 20 0 1 0 185848971 667086848 146905 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 162863 146905 4190 3540 0 151120 0 Current children cumulated CPU time: 3453.54 s Current children cumulated vsize: 651452 KiB Current children cumulated memory: 587620 KiB [startup+3522.3 s] /proc/loadavg: 4.10 4.10 4.13 5/241 972643 /proc/meminfo: memFree=123001108/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=651452 memory=590240 CPUtime=3513.4 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 130763 0 0 0 351316 24 0 0 20 0 1 0 185848971 667086848 147560 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 162863 147560 4190 3540 0 151120 0 Current children cumulated CPU time: 3513.4 s Current children cumulated vsize: 651452 KiB Current children cumulated memory: 590240 KiB [startup+3582.3 s] /proc/loadavg: 4.12 4.10 4.12 5/243 972668 /proc/meminfo: memFree=122987684/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3573.27 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133224 0 0 0 357302 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 165384 149980 4190 3540 0 153641 0 Current children cumulated CPU time: 3573.27 s Current children cumulated vsize: 661536 KiB Current children cumulated memory: 599920 KiB [startup+3597.16 s] # the end of solver process 970822 was just reported to runsolver # Child status: 0 # cumulated CPU time of all completed processes: user=3587.85 s, system=0.260175 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3584 s]* /proc/loadavg: 4.11 4.10 4.12 5/243 972668 /proc/meminfo: memFree=122987688/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3574.98 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133226 0 0 0 357473 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 165384 149980 4190 3540 0 153641 0 Current children cumulated CPU time: 3574.98 s Current children cumulated vsize: 661536 KiB Current children cumulated memory: 599920 KiB [startup+3590.4 s] /proc/loadavg: 4.10 4.09 4.12 5/243 972668 /proc/meminfo: memFree=122987756/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3581.35 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133291 0 0 0 358110 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 165384 149980 4190 3540 0 153641 0 Current children cumulated CPU time: 3581.35 s Current children cumulated vsize: 661536 KiB Current children cumulated memory: 599920 KiB [startup+3593.6 s] /proc/loadavg: 4.09 4.09 4.12 5/243 972670 /proc/meminfo: memFree=122987700/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3584.54 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133292 0 0 0 358429 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 165384 149980 4190 3540 0 153641 0 Current children cumulated CPU time: 3584.54 s Current children cumulated vsize: 661536 KiB Current children cumulated memory: 599920 KiB [startup+3595.2 s] /proc/loadavg: 4.09 4.09 4.12 4/234 972701 /proc/meminfo: memFree=123902076/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3586.14 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133292 0 0 0 358589 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 165384 149980 4190 3540 0 153641 0 Current children cumulated CPU time: 3586.14 s Current children cumulated vsize: 661536 KiB Current children cumulated memory: 599920 KiB [startup+3596 s]* /proc/loadavg: 4.09 4.09 4.12 3/229 972732 /proc/meminfo: memFree=123924312/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3586.95 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133292 0 0 0 358670 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 165384 149980 4190 3540 0 153641 0 Current children cumulated CPU time: 3586.95 s Current children cumulated vsize: 661536 KiB Current children cumulated memory: 599920 KiB [startup+3596.8 s] /proc/loadavg: 4.09 4.09 4.12 3/229 972732 /proc/meminfo: memFree=123924312/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3587.73 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133292 0 0 0 358748 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 165384 149980 4190 3540 0 153641 0 Current children cumulated CPU time: 3587.73 s Current children cumulated vsize: 661536 KiB Current children cumulated memory: 599920 KiB [startup+3597 s]* /proc/loadavg: 4.09 4.09 4.12 3/229 972732 /proc/meminfo: memFree=123924376/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3587.94 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133292 0 0 0 358769 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 165384 149980 4190 3540 0 153641 0 Current children cumulated CPU time: 3587.94 s Current children cumulated vsize: 661536 KiB Current children cumulated memory: 599920 KiB [startup+3597.11 s] /proc/loadavg: 4.09 4.09 4.12 3/229 972732 /proc/meminfo: memFree=123924376/131655788 swapFree=131071996/131071996 [pid=970822] ppid=970819 vsize=588172 memory=526556 CPUtime=3588.04 cores=1,3 /proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133298 0 0 0 358779 25 0 0 20 0 1 0 185848971 602288128 131639 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0 /proc/970822/statm: 147043 131639 4190 3540 0 135300 0 Current children cumulated CPU time: 3588.04 s Current children cumulated vsize: 588172 KiB Current children cumulated memory: 526556 KiB Child status: 0 Real time (s): 3597.16 CPU time (s): 3588.11 CPU user time (s): 3587.85 CPU system time (s): 0.260175 CPU usage (%): 99.7482 Max. virtual memory (cumulated for all children) (KiB): 661536 Max. memory (cumulated for all children) (KiB): 599920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3587.85 system time used= 0.260175 maximum resident set size= 599920 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133317 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= 34 involuntary context switches= 1433 # summary of solver processes directly reported to runsolver: # pid: 970822 # total CPU time (s): 3588.11 # total CPU user time (s): 3587.85 # total CPU system time (s): 0.260175 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 17.9785 second user time and 32.4026 second system time The end
Begin job on nodeC010 at 2024-07-18 23:08:29 IDJOB=4446885 IDBENCH=158326 IDSOLVER=3059 FILE ID=nodeC010/4446885-1721336898 RUNJOBID= nodeC010-1721329708-966736 SLURM_JOB_ID= 7542700 Free space on /tmp= 723724 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.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-4446885-1721336898/watcher-4446885-1721336898 -o /tmp/evaluation-result-4446885-1721336898/solver-4446885-1721336898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721329708-966736 --watchdog 3760 pbscip -f HOME/instance-4446885-1721336898.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b RANDOM SEED=284713794 nodeC010.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 : 3491.754 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.51 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 : 3491.761 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.31 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.184 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.51 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.180 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.31 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 : 3491.754 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.51 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.841 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.31 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.338 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.51 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.173 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124600376 kB MemAvailable: 129546692 kB Buffers: 508140 kB Cached: 5218416 kB SwapCached: 0 kB Active: 1017684 kB Inactive: 5360900 kB Active(anon): 1464 kB Inactive(anon): 687976 kB Active(file): 1016220 kB Inactive(file): 4672924 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 79856 kB Writeback: 0 kB AnonPages: 651692 kB Mapped: 136616 kB Shmem: 37704 kB KReclaimable: 194408 kB Slab: 309640 kB SReclaimable: 194408 kB SUnreclaim: 115232 kB KernelStack: 3884 kB PageTables: 10424 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1049072 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 58752 kB HardwareCorrupted: 0 kB AnonHugePages: 448512 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: 295752 kB DirectMap2M: 35260416 kB DirectMap1G: 100663296 kB Free space on /tmp at the end= 723744 MiB End job on nodeC010 at 2024-07-19 00:08:26