| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3585.41 | 3597.13 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K162.opb |
| MD5SUM | 3691972eca5819945d0aaf6ae8165cd0 |
| 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 | 3001.01 |
| 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 | 19278 |
| Total number of constraints | 19604 |
| Number of constraints which are clauses | 19442 |
| Number of constraints which are cardinality constraints (but not clauses) | 162 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 162 |
| 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 | 163 |
| 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-4446705-1721335962.opb>
0.00/0.07 c original problem has 19278 variables (19278 bin, 0 int, 0 impl, 0 cont) and 19604 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.09/0.14 c presolving:
0.09/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, 2227 clqs
0.09/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, 2211 clqs
0.09/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, 2232 clqs
0.09/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, 2263 clqs
0.09/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, 2286 clqs
0.09/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, 2296 clqs
0.20/0.25 c (0.2s) running MILP presolver
0.40/0.43 c (0.4s) MILP presolver (4 rounds): 0 aggregations, 167 fixings, 0 bound changes
0.40/0.44 c (round 7, medium) 1349 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2305 clqs
0.40/0.45 c (round 8, fast) 1349 del vars, 802 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2312 clqs
0.40/0.47 c (round 9, exhaustive) 1349 del vars, 962 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2312 clqs
0.50/0.56 c (round 10, exhaustive) 1349 del vars, 962 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 18642 upgd conss, 0 impls, 2312 clqs
0.69/0.73 c (round 11, exhaustive) 1457 del vars, 962 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18642 upgd conss, 0 impls, 2299 clqs
0.69/0.74 c (round 12, fast) 1565 del vars, 1070 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18642 upgd conss, 0 impls, 2299 clqs
2.47/2.52 c (round 13, exhaustive) 1591 del vars, 1071 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18642 upgd conss, 0 impls, 117053 clqs
2.47/2.53 c (round 14, fast) 1592 del vars, 1097 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 167 chg coeffs, 18642 upgd conss, 0 impls, 117068 clqs
3.88/3.92 c (round 15, exhaustive) 1618 del vars, 1097 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 167 chg coeffs, 18642 upgd conss, 0 impls, 117050 clqs
3.88/3.93 c (round 16, fast) 1619 del vars, 1123 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 221 chg coeffs, 18642 upgd conss, 0 impls, 117061 clqs
4.87/4.95 c (round 17, exhaustive) 1645 del vars, 1123 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 221 chg coeffs, 18642 upgd conss, 0 impls, 117050 clqs
4.87/4.96 c (round 18, fast) 1646 del vars, 1149 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 284 chg coeffs, 18642 upgd conss, 0 impls, 117066 clqs
5.77/5.83 c (round 19, exhaustive) 1671 del vars, 1149 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 284 chg coeffs, 18642 upgd conss, 0 impls, 117082 clqs
5.77/5.83 c (round 20, fast) 1671 del vars, 1174 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 343 chg coeffs, 18642 upgd conss, 0 impls, 117093 clqs
6.26/6.36 c (round 21, exhaustive) 1697 del vars, 1174 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 343 chg coeffs, 18642 upgd conss, 0 impls, 116365 clqs
6.26/6.37 c (round 22, fast) 1698 del vars, 1200 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 412 chg coeffs, 18642 upgd conss, 0 impls, 116378 clqs
6.86/6.98 c (7.0s) probing: 1000/18261 (5.5%) - 132 fixings, 0 aggregations, 1089739 implications, 0 bound changes
7.36/7.43 c (round 23, exhaustive) 1724 del vars, 1200 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 412 chg coeffs, 18642 upgd conss, 0 impls, 117084 clqs
7.36/7.44 c (round 24, fast) 1725 del vars, 1226 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 473 chg coeffs, 18642 upgd conss, 0 impls, 117098 clqs
7.66/7.70 c (round 25, exhaustive) 1751 del vars, 1226 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 473 chg coeffs, 18642 upgd conss, 0 impls, 117118 clqs
7.66/7.71 c (round 26, fast) 1752 del vars, 1252 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 524 chg coeffs, 18642 upgd conss, 0 impls, 117121 clqs
8.36/8.42 c (round 27, exhaustive) 1778 del vars, 1252 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 524 chg coeffs, 18642 upgd conss, 0 impls, 117117 clqs
8.36/8.43 c (round 28, fast) 1778 del vars, 1278 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 587 chg coeffs, 18642 upgd conss, 0 impls, 117133 clqs
8.76/8.81 c (round 29, exhaustive) 1805 del vars, 1278 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 587 chg coeffs, 18642 upgd conss, 0 impls, 117151 clqs
8.76/8.82 c (round 30, fast) 1808 del vars, 1306 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 647 chg coeffs, 18642 upgd conss, 0 impls, 117156 clqs
10.95/11.04 c (round 31, exhaustive) 1833 del vars, 1306 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 648 chg coeffs, 18642 upgd conss, 0 impls, 115626 clqs
10.95/11.04 c (round 32, fast) 1833 del vars, 1331 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 726 chg coeffs, 18642 upgd conss, 0 impls, 115646 clqs
11.44/11.51 c (round 33, exhaustive) 1859 del vars, 1331 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 727 chg coeffs, 18642 upgd conss, 0 impls, 117158 clqs
11.44/11.51 c (round 34, fast) 1859 del vars, 1357 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 785 chg coeffs, 18642 upgd conss, 0 impls, 117166 clqs
14.43/14.53 c (round 35, exhaustive) 1884 del vars, 1357 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 787 chg coeffs, 18642 upgd conss, 0 impls, 116676 clqs
14.43/14.54 c (round 36, fast) 1884 del vars, 1382 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 848 chg coeffs, 18642 upgd conss, 0 impls, 116686 clqs
14.73/14.81 c (round 37, exhaustive) 1910 del vars, 1382 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 848 chg coeffs, 18642 upgd conss, 0 impls, 117095 clqs
14.73/14.82 c (round 38, fast) 1912 del vars, 1409 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 899 chg coeffs, 18642 upgd conss, 0 impls, 117095 clqs
14.94/15.06 c (round 39, exhaustive) 1937 del vars, 1409 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 900 chg coeffs, 18642 upgd conss, 0 impls, 116878 clqs
14.94/15.07 c (round 40, fast) 1937 del vars, 1434 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 923 chg coeffs, 18642 upgd conss, 0 impls, 116878 clqs
15.24/15.33 c (round 41, exhaustive) 1962 del vars, 1434 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 923 chg coeffs, 18642 upgd conss, 0 impls, 116686 clqs
15.24/15.33 c (round 42, fast) 1962 del vars, 1459 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 947 chg coeffs, 18642 upgd conss, 0 impls, 116686 clqs
15.54/15.69 c (round 43, exhaustive) 1987 del vars, 1459 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 947 chg coeffs, 18642 upgd conss, 0 impls, 116511 clqs
15.64/15.70 c (round 44, fast) 1987 del vars, 1484 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 972 chg coeffs, 18642 upgd conss, 0 impls, 116511 clqs
15.84/15.94 c (15.9s) probing: 2000/18261 (11.0%) - 402 fixings, 1 aggregations, 2761777 implications, 0 bound changes
15.84/15.96 c (round 45, exhaustive) 2013 del vars, 1484 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 972 chg coeffs, 18642 upgd conss, 0 impls, 117180 clqs
15.84/15.97 c (round 46, fast) 2014 del vars, 1510 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1001 chg coeffs, 18642 upgd conss, 0 impls, 117181 clqs
20.62/20.73 c (20.7s) probing: 3000/18261 (16.4%) - 447 fixings, 1 aggregations, 3942262 implications, 0 bound changes
24.90/25.05 c (round 47, exhaustive) 2039 del vars, 1510 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1001 chg coeffs, 18642 upgd conss, 0 impls, 117209 clqs
24.90/25.05 c (round 48, fast) 2039 del vars, 1535 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1028 chg coeffs, 18642 upgd conss, 0 impls, 117209 clqs
25.20/25.31 c (round 49, exhaustive) 2064 del vars, 1535 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1028 chg coeffs, 18642 upgd conss, 0 impls, 117041 clqs
25.20/25.31 c (round 50, fast) 2064 del vars, 1560 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1053 chg coeffs, 18642 upgd conss, 0 impls, 117041 clqs
25.70/25.83 c (25.8s) probing: 4000/18261 (21.9%) - 482 fixings, 1 aggregations, 5132694 implications, 0 bound changes
29.48/29.64 c (29.6s) probing: 5000/18261 (27.4%) - 485 fixings, 1 aggregations, 6067093 implications, 0 bound changes
32.97/33.17 c (33.2s) probing: 6000/18261 (32.9%) - 487 fixings, 1 aggregations, 6999677 implications, 0 bound changes
33.67/33.82 c (33.8s) probing: 6174/18261 (33.8%) - 487 fixings, 1 aggregations, 7164008 implications, 0 bound changes
33.67/33.82 c (33.8s) probing aborted: 1000/1000 successive useless probings
33.67/33.86 c (33.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
33.77/33.95 c (34.0s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
33.77/33.96 c dynamic symmetry handling statistics:
33.77/33.96 c orbitopal reduction: no components
33.77/33.96 c orbital reduction: no components
33.77/33.96 c lexicographic reduction: 3 permutations with support sizes 1502, 624, 302
33.77/33.96 c handled 4 out of 4 symmetry components
33.77/33.98 c presolving (51 rounds: 51 fast, 24 medium, 23 exhaustive):
33.77/33.98 c 2078 deleted vars, 1571 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1067 changed coefficients
33.77/33.98 c 0 implications, 117269 cliques
33.77/33.98 c presolved problem has 17758 variables (17758 bin, 0 int, 0 impl, 0 cont) and 18034 constraints
33.77/33.98 c 2200 constraints of type <setppc>
33.77/33.98 c 1 constraints of type <orbitope>
33.77/33.98 c 15833 constraints of type <logicor>
33.77/33.98 c transformed objective value is always integral (scale: 1)
33.77/33.98 c Presolving Time: 33.85
33.77/33.98 c - non default parameters ----------------------------------------------------------------------
33.77/33.98 c # SCIP version 10.0.0
33.77/33.98 c
33.77/33.98 c # maximal time in seconds to run
33.77/33.98 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
33.77/33.98 c limits/time = 3596.997053
33.77/33.98 c
33.77/33.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
33.77/33.98 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
33.77/33.98 c limits/memory = 27900
33.77/33.98 c
33.77/33.98 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
33.77/33.98 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
33.77/33.98 c limits/solutions = 1
33.77/33.98 c
33.77/33.98 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.
33.77/33.98 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
33.77/33.98 c misc/usesymmetry = 3
33.77/33.98 c
33.77/33.98 c # belongs reading time to solving time?
33.77/33.98 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
33.77/33.98 c timing/reading = TRUE
33.77/33.98 c
33.77/33.98 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
33.77/33.98 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
33.77/33.98 c propagating/symmetry/detectdoublelex = FALSE
33.77/33.98 c
33.77/33.98 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
33.77/33.98 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
33.77/33.98 c propagating/symmetry/detectsubgroups = FALSE
33.77/33.98 c
33.77/33.98 c # Type of symmetries that shall be computed?
33.77/33.98 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
33.77/33.98 c propagating/symmetry/symtype = 1
33.77/33.98 c
33.77/33.98 c # Should components consisting of a single full reflection be handled?
33.77/33.98 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
33.77/33.98 c propagating/symmetry/usesimplesgncomp = FALSE
33.77/33.98 c
33.77/33.98 c -----------------------------------------------------------------------------------------------
33.77/33.98 c start solving
33.77/33.98 c
53.69/53.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
53.69/53.91 c 53.9s| 1 | 0 | 16558 | - | 236M | 0 | 17k| 18k| 18k| 0 | 0 | 132 | 0 | 0.000000e+00 | -- | Inf | unknown
242.50/243.40 c 243s| 1 | 0 |106220 | - | 264M | 0 | 17k| 18k| 18k| 8 | 1 | 133 | 0 | 0.000000e+00 | -- | Inf | unknown
276.89/277.91 c 278s| 1 | 0 |120965 | - | 267M | 0 | 17k| 18k| 18k| 26 | 2 | 135 | 0 | 0.000000e+00 | -- | Inf | unknown
303.19/304.38 c 304s| 1 | 0 |132048 | - | 276M | 0 | 17k| 18k| 18k| 30 | 3 | 143 | 0 | 0.000000e+00 | -- | Inf | unknown
321.84/323.02 c 323s| 1 | 0 |139633 | - | 280M | 0 | 17k| 18k| 18k| 35 | 4 | 146 | 0 | 0.000000e+00 | -- | Inf | unknown
349.63/350.91 c 351s| 1 | 0 |152582 | - | 283M | 0 | 17k| 18k| 18k| 47 | 5 | 156 | 0 | 0.000000e+00 | -- | Inf | unknown
376.65/378.10 c 378s| 1 | 0 |164075 | - | 285M | 0 | 17k| 18k| 18k| 51 | 6 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown
410.64/412.11 c 412s| 1 | 0 |177415 | - | 289M | 0 | 17k| 18k| 18k| 64 | 7 | 170 | 0 | 0.000000e+00 | -- | Inf | unknown
442.63/444.20 c 444s| 1 | 0 |189759 | - | 290M | 0 | 17k| 18k| 18k| 72 | 8 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
470.43/472.13 c 472s| 1 | 0 |200578 | - | 292M | 0 | 17k| 18k| 18k| 77 | 9 | 174 | 0 | 0.000000e+00 | -- | Inf | unknown
505.32/507.15 c 507s| 1 | 0 |213752 | - | 296M | 0 | 17k| 18k| 18k| 94 | 10 | 177 | 0 | 0.000000e+00 | -- | Inf | unknown
537.31/539.21 c 539s| 1 | 0 |226324 | - | 299M | 0 | 17k| 18k| 18k| 101 | 11 | 187 | 0 | 0.000000e+00 | -- | Inf | unknown
1321.41/1326.24 c 1326s| 1 | 2 |607127 | - | 306M | 0 | 17k| 18k| 18k| 101 | 11 | 209 | 19 | 0.000000e+00 | -- | Inf | unknown
3585.27/3597.01 c
3585.27/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3585.27/3597.01 c Solving Time (sec) : 3597.00
3585.27/3597.01 c Solving Nodes : 19
3585.27/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.27/3597.01 c Dual Bound : +0.00000000000000e+00
3585.27/3597.01 c Gap : infinite
3585.27/3597.01 s UNKNOWN
3585.27/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3585.27/3597.01 c Total Time : 3597.00
3585.27/3597.01 c solving : 3597.00
3585.27/3597.01 c presolving : 33.85 (included in solving)
3585.27/3597.01 c reading : 0.07 (included in solving)
3585.27/3597.01 c copying : 0.10 (2 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3585.27/3597.01 c Original Problem :
3585.27/3597.01 c Problem name : HOME/instance-4446705-1721335962.opb
3585.27/3597.01 c Variables : 19278 (19278 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.27/3597.01 c Constraints : 19604 initial, 19604 maximal
3585.27/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.27/3597.01 c Presolved Problem :
3585.27/3597.01 c Problem name : t_HOME/instance-4446705-1721335962.opb
3585.27/3597.01 c Variables : 17758 (17758 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.27/3597.01 c Constraints : 18034 initial, 18331 maximal
3585.27/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.27/3597.01 c Nonzeros : 98683 constraint, 251977 clique table
3585.27/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.27/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c domcol : 1.01 0.00 20 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 11 0 0 14
3585.27/3597.01 c gateextraction : 0.23 0.00 21 0 0 0 0 0 1 0 0 0
3585.27/3597.01 c implics : 0.00 0.00 24 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c milp : 0.23 0.00 1 167 0 0 0 0 0 0 0 0
3585.27/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c sparsify : 0.48 0.00 4 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c trivial : 0.03 0.00 51 558 0 0 0 0 0 0 0 0
3585.27/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c dualfix : 0.02 0.00 51 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c probing : 27.77 0.00 20 487 1 0 0 0 0 0 0 0
3585.27/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c symmetry : 0.10 0.00 1 3 0 0 0 0 0 1 0 0
3585.27/3597.01 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c setppc : 0.18 0.00 83 0 0 0 0 0 112 0 0 0
3585.27/3597.01 c linear : 0.15 0.01 12 302 0 0 302 0 962 0 0 0
3585.27/3597.01 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c logicor : 3.53 0.01 83 110 0 0 0 0 485 0 0 1053
3585.27/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c root node : - - - 0 - - 0 - - - - -
3585.27/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.27/3597.01 c benderslp : 0 0 0 0 19 0 0 7 0 0 0 0 0 0 0
3585.27/3597.01 c integral : 0 0 0 0 19 0 0 7 0 0 0 0 0 0 38
3585.27/3597.01 c setppc : 2200+ 2294 11 365699 0 0 0 3 27837 316 1506 1 1 0 0
3585.27/3597.01 c orbitope : 1 1 0 25108 0 0 0 0 3 0 3 0 0 0 0
3585.27/3597.01 c logicor : 15833+ 16036 11 114856 0 0 0 0 87349 126 5255 4 3 0 0
3585.27/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.27/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.27/3597.01 c integral : 38.48 0.00 0.00 0.00 38.48 0.00 0.00 0.00 0.00 0.00
3585.27/3597.01 c setppc : 3.00 0.00 0.01 2.98 0.00 0.00 0.00 0.00 0.01 0.01
3585.27/3597.01 c orbitope : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3585.27/3597.01 c logicor : 8.27 0.01 0.04 8.17 0.00 0.00 0.00 0.00 0.04 0.02
3585.27/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.27/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.27/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.27/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.27/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.27/3597.01 c dualfix : 1 0 0 0
3585.27/3597.01 c genvbounds : 0 0 0 0
3585.27/3597.01 c nlobbt : 0 0 0 0
3585.27/3597.01 c obbt : 0 0 0 0
3585.27/3597.01 c probing : 0 0 0 0
3585.27/3597.01 c pseudoobj : 0 0 0 0
3585.27/3597.01 c redcost : 0 0 0 0
3585.27/3597.01 c rootredcost : 0 0 0 0
3585.27/3597.01 c symmetry : 0 0 0 0
3585.27/3597.01 c vbounds : 6997 0 0 0
3585.27/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.27/3597.01 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3585.27/3597.01 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3585.27/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.27/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.27/3597.01 c probing : 27.77 0.00 27.77 0.00 0.00 0.00
3585.27/3597.01 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3585.27/3597.01 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.27/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.27/3597.01 c symmetry : 0.12 0.00 0.10 0.02 0.00 0.00
3585.27/3597.01 c vbounds : 0.05 0.00 0.03 0.02 0.00 0.00
3585.27/3597.01 c Symmetry :
3585.27/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.27/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.27/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.27/3597.01 c shadow tree time : 0.00 s
3585.27/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.27/3597.01 c propagation : 0.04 440 132 - 637 127.9 26 12.1 - - -
3585.27/3597.01 c infeasible LP : 0.32 14 7 - 238 2718.0 1 10.0 0 0.0 0
3585.27/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.27/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.27/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.27/3597.01 c applied globally : 0.02 - - 0 363 205.0 - - 0 - -
3585.27/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.27/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.27/3597.01 c cut pool : 0.00 - 21 21 - - 169 236 - - - - - (maximal pool size: 169)
3585.27/3597.01 c aggregation : 0.06 0.00 11 11 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.27/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.27/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.27/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c clique : 1.83 0.00 11 11 0 0 89 149 0 32 32 0 0
3585.27/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c gomory : 17.67 0.00 10 10 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3585.27/3597.01 c > strongcg : - - - - - - - 0 0 0 0 0 -
3585.27/3597.01 c impliedbounds : 0.07 0.00 11 11 0 0 26 31 0 12 12 0 0
3585.27/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c multilinear : 0.00 0.00 14 11 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3585.27/3597.01 c zerohalf : 12.47 0.00 11 11 0 0 54 56 0 53 53 0 0
3585.27/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.27/3597.01 c hybrid : 0.00 0.00 11 11 101 0 140 101 0 140
3585.27/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3585.27/3597.01 c problem variables: 0.00 - 0 0
3585.27/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.27/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c relpscost : 38.48 0.00 19 0 0 0 0 0 0 38
3585.27/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.27/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.27/3597.01 c LP solutions : 0.00 - - 0 0
3585.27/3597.01 c relax solutions : 0.00 - - 0 0
3585.27/3597.01 c pseudo solutions : 0.00 - - 0 0
3585.27/3597.01 c strong branching : 0.00 - - 0 0
3585.27/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3585.27/3597.01 c adaptivediving : 113.61 0.00 1 0 0
3585.27/3597.01 c alns : 0.12 0.00 1 0 0
3585.27/3597.01 c bound : 0.00 0.00 0 0 0
3585.27/3597.01 c clique : 0.06 0.00 1 0 0
3585.27/3597.01 c coefdiving : 0.00 0.00 0 0 0
3585.27/3597.01 c completesol : 0.00 0.00 0 0 0
3585.27/3597.01 c conflictdiving : 748.16 0.00 1 0 0
3585.27/3597.01 c crossover : 0.00 0.00 0 0 0
3585.27/3597.01 c dins : 0.00 0.00 0 0 0
3585.27/3597.01 c distributiondivin: 221.29 0.00 1 0 0
3585.27/3597.01 c dps : 0.00 0.00 0 0 0
3585.27/3597.01 c dualval : 0.00 0.00 0 0 0
3585.27/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3585.27/3597.01 c feasjump : 0.05 0.00 1 0 0
3585.27/3597.01 c feaspump : 163.17 0.00 1 0 0
3585.27/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3585.27/3597.01 c fracdiving : 135.92 0.00 1 0 0
3585.27/3597.01 c gins : 0.00 0.00 0 0 0
3585.27/3597.01 c guideddiving : 0.00 0.00 0 0 0
3585.27/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3585.27/3597.01 c indicator : 0.00 0.00 0 0 0
3585.27/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3585.27/3597.01 c indoneopt : 0.00 0.00 0 0 0
3585.27/3597.01 c indrounding : 0.00 0.00 0 0 0
3585.27/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3585.27/3597.01 c intdiving : 0.00 0.00 0 0 0
3585.27/3597.01 c intshifting : 0.00 0.00 0 0 0
3585.27/3597.01 c linesearchdiving : 0.00 0.00 0 0 0
3585.27/3597.01 c localbranching : 0.00 0.00 0 0 0
3585.27/3597.01 c locks : 0.07 0.00 1 0 0
3585.27/3597.01 c lpface : 0.00 0.00 0 0 0
3585.27/3597.01 c mpec : 0.00 0.00 0 0 0
3585.27/3597.01 c multistart : 0.00 0.00 0 0 0
3585.27/3597.01 c mutation : 0.00 0.00 0 0 0
3585.27/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3585.27/3597.01 c objpscostdiving : 1091.44 0.00 1 0 0
3585.27/3597.01 c octane : 0.00 0.00 0 0 0
3585.27/3597.01 c ofins : 0.00 0.00 0 0 0
3585.27/3597.01 c oneopt : 0.00 0.00 0 0 0
3585.27/3597.01 c padm : 0.00 0.00 0 0 0
3585.27/3597.01 c proximity : 0.00 0.00 0 0 0
3585.27/3597.01 c pscostdiving : 268.60 0.00 1 0 0
3585.27/3597.01 c randrounding : 0.21 0.00 12 0 0
3585.27/3597.01 c rens : 0.27 0.00 1 0 0
3585.27/3597.01 c reoptsols : 0.00 0.00 0 0 0
3585.27/3597.01 c repair : 0.00 0.00 0 0 0
3585.27/3597.01 c rins : 0.00 0.00 0 0 0
3585.27/3597.01 c rootsoldiving : 0.00 0.00 0 0 0
3585.27/3597.01 c rounding : 0.04 0.00 30 0 0
3585.27/3597.01 c scheduler : 0.00 0.00 0 0 0
3585.27/3597.01 c shiftandpropagate: 0.02 0.00 1 0 0
3585.27/3597.01 c shifting : 0.14 0.00 12 0 0
3585.27/3597.01 c simplerounding : 0.00 0.00 0 0 0
3585.27/3597.01 c smallcard : 0.00 0.00 0 0 0
3585.27/3597.01 c subnlp : 0.00 0.00 0 0 0
3585.27/3597.01 c trivial : 0.01 0.00 2 0 0
3585.27/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3585.27/3597.01 c trustregion : 0.00 0.00 0 0 0
3585.27/3597.01 c trysol : 0.00 0.00 0 0 0
3585.27/3597.01 c twoopt : 0.00 0.00 0 0 0
3585.27/3597.01 c undercover : 0.00 0.00 0 0 0
3585.27/3597.01 c vbounds : 0.11 0.00 1 0 0
3585.27/3597.01 c veclendiving : 165.34 0.00 1 0 0
3585.27/3597.01 c zeroobj : 0.00 0.00 0 0 0
3585.27/3597.01 c zirounding : 0.01 0.00 18 0 0
3585.27/3597.01 c other solutions : - - - 0 -
3585.27/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
3585.27/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
3585.27/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
3585.27/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
3585.27/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
3585.27/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
3585.27/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
3585.27/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
3585.27/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
3585.27/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
3585.27/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.27/3597.01 c primal LP : 0.03 1 0 0.00 0.00 0.03 1
3585.27/3597.01 c dual LP : 583.56 30 299625 9987.50 513.44 0.00 0
3585.27/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3585.27/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.27/3597.01 c resolve instable : 49.21 19 1647 86.68 33.47
3585.27/3597.01 c diving/probing LP: 2910.56 452 976229 2159.80 335.41
3585.27/3597.01 c strong branching : 32.17 19 18147 955.11 564.07 - - 36
3585.27/3597.01 c (at root node) : - 19 18147 955.11 -
3585.27/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3585.27/3597.01 c B&B Tree :
3585.27/3597.01 c number of runs : 1
3585.27/3597.01 c nodes : 19 (19 internal, 0 leaves)
3585.27/3597.01 c feasible leaves : 0
3585.27/3597.01 c infeas. leaves : 0
3585.27/3597.01 c objective leaves : 0
3585.27/3597.01 c nodes (total) : 19 (19 internal, 0 leaves)
3585.27/3597.01 c nodes left : 20
3585.27/3597.01 c max depth : 8
3585.27/3597.01 c max depth (total): 8
3585.27/3597.01 c backtracks : 5 (26.3%)
3585.27/3597.01 c early backtracks : 0 (0.0%)
3585.27/3597.01 c nodes exc. ref. : 0 (0.0%)
3585.27/3597.01 c delayed cutoffs : 0
3585.27/3597.01 c repropagations : 7 (3 domain reductions, 0 cutoffs)
3585.27/3597.01 c avg switch length: 2.58
3585.27/3597.01 c switching time : 0.05
3585.27/3597.01 c Root Node :
3585.27/3597.01 c First LP value : +0.00000000000000e+00
3585.27/3597.01 c First LP Iters : 16558 (844.47 Iter/sec)
3585.27/3597.01 c First LP Time : 19.61
3585.27/3597.01 c Final Dual Bound : +0.00000000000000e+00
3585.27/3597.01 c Final Root Iters : 226324
3585.27/3597.01 c Root LP Estimate : +2.71548271524056e-03
3585.27/3597.01 c Solution :
3585.27/3597.01 c Solutions found : 0 (0 improvements)
3585.27/3597.01 c Primal Bound : -
3585.27/3597.01 c Dual Bound : +0.00000000000000e+00
3585.27/3597.01 c Gap : infinite
3585.27/3597.01 c Integrals : Total Avg%
3585.27/3597.01 c primal-dual : 359700.44 100.00
3585.27/3597.01 c primal-ref : - - (not evaluated)
3585.27/3597.01 c dual-ref : - - (not evaluated)
3585.37/3597.12 c Time complete: 3585.4.
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: 63931 MiB (57674 MiB free)
memory of node 1: 64510 MiB (61701 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446705-1721335962/watcher-4446705-1721335962 -o /tmp/evaluation-result-4446705-1721335962/solver-4446705-1721335962 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973105 --watchdog 3760 pbscip -f HOME/instance-4446705-1721335962.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=977312, runsolver pid=977309
[startup+0.100064 s]*
/proc/loadavg: 4.40 4.17 4.11 5/256 977313
/proc/meminfo: memFree=122182072/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=113400 memory=74612 CPUtime=0.09 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 15511 0 0 0 7 2 0 0 20 0 1 0 185756375 116121600 18653 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 28350 18653 3533 3540 0 16607 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 113400 KiB
Current children cumulated memory: 74612 KiB
[startup+0.205588 s]*
/proc/loadavg: 4.40 4.17 4.11 5/256 977313
/proc/meminfo: memFree=122159384/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=140684 memory=96032 CPUtime=0.2 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 20882 0 0 0 17 3 0 0 20 0 1 0 185756375 144060416 24008 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 35171 24008 3581 3540 0 23428 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 140684 KiB
Current children cumulated memory: 96032 KiB
[startup+0.305557 s]*
/proc/loadavg: 4.40 4.17 4.11 5/256 977313
/proc/meminfo: memFree=122136812/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=159988 memory=117724 CPUtime=0.3 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 28045 0 0 0 26 4 0 0 20 0 1 0 185756375 163827712 29431 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 39997 29431 3644 3540 0 28254 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 159988 KiB
Current children cumulated memory: 117724 KiB
[startup+0.700232 s]
/proc/loadavg: 4.40 4.17 4.11 5/256 977313
/proc/meminfo: memFree=122143292/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=175556 memory=132476 CPUtime=0.69 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 34558 0 0 0 64 5 0 0 20 0 1 0 185756375 179769344 33119 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 43889 33119 3708 3540 0 32146 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 175556 KiB
Current children cumulated memory: 132476 KiB
[startup+1.50023 s]
/proc/loadavg: 4.40 4.17 4.11 5/256 977313
/proc/meminfo: memFree=122099276/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=214004 memory=168120 CPUtime=1.48 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 42557 0 0 0 142 6 0 0 20 0 1 0 185756375 219140096 42030 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 53501 42030 3756 3540 0 41758 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 214004 KiB
Current children cumulated memory: 168120 KiB
[startup+3.10564 s]
/proc/loadavg: 4.45 4.19 4.12 5/256 977313
/proc/meminfo: memFree=122143576/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=215864 memory=169968 CPUtime=3.09 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 42984 0 0 0 302 7 0 0 20 0 1 0 185756375 221044736 42492 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 53966 42492 3756 3540 0 42223 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 215864 KiB
Current children cumulated memory: 169968 KiB
[startup+6.30021 s]
/proc/loadavg: 4.45 4.19 4.12 5/256 977359
/proc/meminfo: memFree=126520296/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=221772 memory=175364 CPUtime=6.26 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 44349 0 0 0 619 7 0 0 20 0 1 0 185756375 227094528 43841 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 55443 43841 3756 3540 0 43700 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 221772 KiB
Current children cumulated memory: 175364 KiB
[startup+12.7002 s]
/proc/loadavg: 4.49 4.20 4.12 5/256 977361
/proc/meminfo: memFree=126510936/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=222904 memory=176624 CPUtime=12.64 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 44678 0 0 0 1257 7 0 0 20 0 1 0 185756375 228253696 44156 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 55726 44156 3756 3540 0 43983 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 222904 KiB
Current children cumulated memory: 176624 KiB
[startup+25.5002 s]
/proc/loadavg: 4.38 4.19 4.12 5/257 977363
/proc/meminfo: memFree=126503356/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=224344 memory=177940 CPUtime=25.4 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 45033 0 0 0 2532 8 0 0 20 0 1 0 185756375 229728256 44485 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 56086 44485 3756 3540 0 44343 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 224344 KiB
Current children cumulated memory: 177940 KiB
[startup+51.1057 s]
/proc/loadavg: 4.25 4.17 4.12 5/257 977414
/proc/meminfo: memFree=127289788/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=324304 memory=251020 CPUtime=50.9 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 66180 0 0 0 5078 12 0 0 20 0 1 0 185756375 332087296 62755 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 81076 62755 3964 3540 0 69333 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 324304 KiB
Current children cumulated memory: 251020 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/257 977424
/proc/meminfo: memFree=127194644/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=329812 memory=255828 CPUtime=101.91 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 67350 0 0 0 10177 14 0 0 20 0 1 0 185756375 337727488 63957 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 82453 63957 3980 3540 0 70710 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 329812 KiB
Current children cumulated memory: 255828 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/257 977818
/proc/meminfo: memFree=127179128/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=329812 memory=256092 CPUtime=161.69 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 67429 0 0 0 16153 16 0 0 20 0 1 0 185756375 337727488 64023 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 82453 64023 3980 3540 0 70710 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 329812 KiB
Current children cumulated memory: 256092 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/257 977828
/proc/meminfo: memFree=127088920/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=402192 memory=325608 CPUtime=221.48 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 73582 0 0 0 22128 20 0 0 20 0 1 0 185756375 411844608 81402 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 100548 81402 3980 3540 0 88805 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 402192 KiB
Current children cumulated memory: 325608 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/257 977840
/proc/meminfo: memFree=126883932/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=420860 memory=342972 CPUtime=281.27 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 77445 0 0 0 28105 22 0 0 20 0 1 0 185756375 430960640 85743 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 105215 85743 3980 3540 0 93472 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 420860 KiB
Current children cumulated memory: 342972 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/256 978018
/proc/meminfo: memFree=126848292/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=430420 memory=352032 CPUtime=341.06 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 79805 0 0 0 34083 23 0 0 20 0 1 0 185756375 440750080 88008 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 107605 88008 3980 3540 0 95862 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 430420 KiB
Current children cumulated memory: 352032 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 978029
/proc/meminfo: memFree=126827368/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=438592 memory=361176 CPUtime=400.87 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 81470 0 0 0 40064 23 0 0 20 0 1 0 185756375 449118208 90294 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 109648 90294 3980 3540 0 97905 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 438592 KiB
Current children cumulated memory: 361176 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/257 978044
/proc/meminfo: memFree=126813496/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=439632 memory=365096 CPUtime=460.66 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 81841 0 0 0 46043 23 0 0 20 0 1 0 185756375 450183168 91274 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 109908 91274 3980 3540 0 98165 0
################
# More data... #
################
/proc/loadavg: 4.14 4.16 4.16 5/254 979222
/proc/meminfo: memFree=126831992/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3211.63 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 105980 0 0 0 321135 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3211.63 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/254 979233
/proc/meminfo: memFree=126824312/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3271.46 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106079 0 0 0 327118 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3271.46 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/254 979243
/proc/meminfo: memFree=126823660/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3331.29 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106180 0 0 0 333101 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3331.29 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/254 979253
/proc/meminfo: memFree=126823088/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3391.12 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106280 0 0 0 339084 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3391.12 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/257 979268
/proc/meminfo: memFree=126812192/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3450.95 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106381 0 0 0 345067 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3450.95 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/258 979281
/proc/meminfo: memFree=126810904/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3510.78 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106480 0 0 0 351050 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3510.78 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/258 979292
/proc/meminfo: memFree=126804344/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3570.61 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106579 0 0 0 357033 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3570.61 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB
[startup+3597.13 s]
# the end of solver process 977312 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.12 s, system=0.286536 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.13 4.15 5/258 979293
/proc/meminfo: memFree=126804240/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3572.31 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106579 0 0 0 357203 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.14 4.15 5/258 979294
/proc/meminfo: memFree=126804232/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3578.69 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106597 0 0 0 357841 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3578.69 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.14 4.15 5/258 979294
/proc/meminfo: memFree=126804276/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3581.88 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106597 0 0 0 358160 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3581.88 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB
[startup+3595.2 s]
/proc/loadavg: 4.22 4.15 4.16 5/258 979294
/proc/meminfo: memFree=126804236/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3583.47 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106597 0 0 0 358319 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3583.47 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB
[startup+3596 s]*
/proc/loadavg: 4.22 4.15 4.16 5/258 979294
/proc/meminfo: memFree=126804276/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3584.28 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106597 0 0 0 358400 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3584.28 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB
[startup+3596.8 s]
/proc/loadavg: 4.22 4.15 4.16 5/258 979294
/proc/meminfo: memFree=126804276/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3585.07 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106597 0 0 0 358479 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3585.07 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB
[startup+3597 s]*
/proc/loadavg: 4.22 4.15 4.16 5/258 979294
/proc/meminfo: memFree=126804292/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3585.27 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106597 0 0 0 358499 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3585.27 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB
[startup+3597.11 s]
/proc/loadavg: 4.22 4.15 4.16 5/258 979294
/proc/meminfo: memFree=126804292/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=472776 memory=414376 CPUtime=3585.37 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106636 0 0 0 358509 28 0 0 20 0 1 0 185756375 484122624 103594 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 118194 103594 4224 3540 0 106451 0
Current children cumulated CPU time: 3585.37 s
Current children cumulated vsize: 472776 KiB
Current children cumulated memory: 414376 KiB
Child status: 0
Real time (s): 3597.13
CPU time (s): 3585.41
CPU user time (s): 3585.12
CPU system time (s): 0.286536
CPU usage (%): 99.6741
Max. virtual memory (cumulated for all children) (KiB): 520128
Max. memory (cumulated for all children) (KiB): 461728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.12
system time used= 0.286536
maximum resident set size= 461728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106655
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= 24564
# summary of solver processes directly reported to runsolver:
# pid: 977312
# total CPU time (s): 3585.41
# total CPU user time (s): 3585.12
# total CPU system time (s): 0.286536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62716 second user time and 15.6448 second system time
The end
Begin job on nodeC015 at 2024-07-18 22:52:54 IDJOB=4446705 IDBENCH=158293 IDSOLVER=3059 FILE ID=nodeC015/4446705-1721335962 RUNJOBID= nodeC015-1721328778-973105 SLURM_JOB_ID= 7542690 Free space on /tmp= 889984 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K162.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-4446705-1721335962/watcher-4446705-1721335962 -o /tmp/evaluation-result-4446705-1721335962/solver-4446705-1721335962 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973105 --watchdog 3760 pbscip -f HOME/instance-4446705-1721335962.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3691972eca5819945d0aaf6ae8165cd0 RANDOM SEED=1583078636 nodeC015.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 : 0xb00002a cpu MHz : 3663.048 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.61 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 : 0xb00002a cpu MHz : 3686.277 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25 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 : 0xb00002a cpu MHz : 3652.713 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.61 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 : 0xb00002a cpu MHz : 3600.011 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25 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 : 0xb00002a cpu MHz : 3660.499 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.61 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 : 0xb00002a cpu MHz : 3686.286 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25 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 : 0xb00002a cpu MHz : 3604.182 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.61 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 : 0xb00002a cpu MHz : 3599.958 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122240972 kB MemAvailable: 123448744 kB Buffers: 504188 kB Cached: 1530236 kB SwapCached: 0 kB Active: 1655036 kB Inactive: 6982364 kB Active(anon): 1572 kB Inactive(anon): 6638792 kB Active(file): 1653464 kB Inactive(file): 343572 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19784 kB Writeback: 0 kB AnonPages: 6600936 kB Mapped: 141568 kB Shmem: 37720 kB KReclaimable: 100768 kB Slab: 213212 kB SReclaimable: 100768 kB SUnreclaim: 112444 kB KernelStack: 4124 kB PageTables: 22504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 8527836 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 68224 kB HardwareCorrupted: 0 kB AnonHugePages: 3872768 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: 291540 kB DirectMap2M: 38279168 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890004 MiB End job on nodeC015 at 2024-07-18 23:52:51