| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.64 | 3597.14 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K179.opb |
| MD5SUM | 84aa92d361920570c4f42a7fa8308fed |
| 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 | 73.5881 |
| 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 | 21301 |
| Total number of constraints | 21661 |
| Number of constraints which are clauses | 21482 |
| Number of constraints which are cardinality constraints (but not clauses) | 179 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 179 |
| 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 | 180 |
| 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-4446735-1721335966.opb>
0.00/0.07 c original problem has 21301 variables (21301 bin, 0 int, 0 impl, 0 cont) and 21661 constraints
0.00/0.07 c problem read in 0.07
0.00/0.07 c No objective function, only one solution is needed.
0.10/0.15 c presolving:
0.10/0.18 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, 2465 clqs
0.10/0.19 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, 2449 clqs
0.10/0.20 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, 2470 clqs
0.10/0.20 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, 2501 clqs
0.20/0.21 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, 2524 clqs
0.20/0.21 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, 2534 clqs
0.20/0.27 c (0.3s) running MILP presolver
0.40/0.48 c (0.5s) MILP presolver (4 rounds): 0 aggregations, 181 fixings, 0 bound changes
0.40/0.50 c (round 7, medium) 1363 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2542 clqs
0.50/0.51 c (round 8, fast) 1363 del vars, 816 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2547 clqs
0.50/0.54 c (round 9, exhaustive) 1363 del vars, 993 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2547 clqs
0.59/0.64 c (round 10, exhaustive) 1363 del vars, 993 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 20668 upgd conss, 0 impls, 2547 clqs
0.79/0.84 c (round 11, exhaustive) 1471 del vars, 993 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20668 upgd conss, 0 impls, 2535 clqs
0.79/0.85 c (round 12, fast) 1579 del vars, 1101 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20668 upgd conss, 0 impls, 2535 clqs
2.68/2.73 c (round 13, exhaustive) 1605 del vars, 1102 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20668 upgd conss, 0 impls, 129298 clqs
2.68/2.74 c (round 14, fast) 1606 del vars, 1128 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 165 chg coeffs, 20668 upgd conss, 0 impls, 129308 clqs
4.18/4.23 c (round 15, exhaustive) 1631 del vars, 1128 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 165 chg coeffs, 20668 upgd conss, 0 impls, 129270 clqs
4.18/4.24 c (round 16, fast) 1631 del vars, 1153 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 218 chg coeffs, 20668 upgd conss, 0 impls, 129279 clqs
5.47/5.53 c (round 17, exhaustive) 1656 del vars, 1153 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 218 chg coeffs, 20668 upgd conss, 0 impls, 129270 clqs
5.47/5.54 c (round 18, fast) 1656 del vars, 1178 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 284 chg coeffs, 20668 upgd conss, 0 impls, 129286 clqs
6.37/6.43 c (round 19, exhaustive) 1682 del vars, 1178 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 284 chg coeffs, 20668 upgd conss, 0 impls, 129275 clqs
6.37/6.44 c (round 20, fast) 1683 del vars, 1204 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 350 chg coeffs, 20668 upgd conss, 0 impls, 129288 clqs
7.17/7.20 c (round 21, exhaustive) 1708 del vars, 1204 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 350 chg coeffs, 20668 upgd conss, 0 impls, 129289 clqs
7.17/7.21 c (round 22, fast) 1708 del vars, 1229 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 414 chg coeffs, 20668 upgd conss, 0 impls, 129304 clqs
7.47/7.52 c (7.5s) probing: 1000/20270 (4.9%) - 137 fixings, 0 aggregations, 1088283 implications, 0 bound changes
8.56/8.62 c (round 23, exhaustive) 1734 del vars, 1229 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 414 chg coeffs, 20668 upgd conss, 0 impls, 129311 clqs
8.56/8.63 c (round 24, fast) 1735 del vars, 1255 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 480 chg coeffs, 20668 upgd conss, 0 impls, 129327 clqs
8.86/8.92 c (round 25, exhaustive) 1761 del vars, 1255 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 480 chg coeffs, 20668 upgd conss, 0 impls, 129365 clqs
8.86/8.93 c (round 26, fast) 1761 del vars, 1281 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 540 chg coeffs, 20668 upgd conss, 0 impls, 129374 clqs
9.67/9.74 c (round 27, exhaustive) 1800 del vars, 1281 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 540 chg coeffs, 20668 upgd conss, 0 impls, 127566 clqs
9.67/9.75 c (round 28, fast) 1800 del vars, 1320 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 644 chg coeffs, 20668 upgd conss, 0 impls, 127585 clqs
11.07/11.19 c (round 29, exhaustive) 1827 del vars, 1320 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 644 chg coeffs, 20668 upgd conss, 0 impls, 128155 clqs
11.16/11.20 c (round 30, fast) 1827 del vars, 1347 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 726 chg coeffs, 20668 upgd conss, 0 impls, 128173 clqs
15.75/15.82 c (round 31, exhaustive) 1853 del vars, 1347 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 726 chg coeffs, 20668 upgd conss, 0 impls, 129359 clqs
15.75/15.83 c (round 32, fast) 1854 del vars, 1373 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 787 chg coeffs, 20668 upgd conss, 0 impls, 129366 clqs
16.64/16.76 c (16.8s) probing: 2000/20270 (9.9%) - 284 fixings, 0 aggregations, 3201650 implications, 0 bound changes
16.84/17.00 c (round 33, exhaustive) 1879 del vars, 1373 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 787 chg coeffs, 20668 upgd conss, 0 impls, 129336 clqs
16.95/17.00 c (round 34, fast) 1879 del vars, 1398 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 837 chg coeffs, 20668 upgd conss, 0 impls, 129344 clqs
17.24/17.30 c (round 35, exhaustive) 1904 del vars, 1398 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 837 chg coeffs, 20668 upgd conss, 0 impls, 129359 clqs
17.24/17.31 c (round 36, fast) 1904 del vars, 1423 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 881 chg coeffs, 20668 upgd conss, 0 impls, 129364 clqs
17.54/17.60 c (round 37, exhaustive) 1929 del vars, 1423 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 881 chg coeffs, 20668 upgd conss, 0 impls, 129050 clqs
17.54/17.61 c (round 38, fast) 1929 del vars, 1448 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 902 chg coeffs, 20668 upgd conss, 0 impls, 129050 clqs
17.74/17.89 c (round 39, exhaustive) 1954 del vars, 1448 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 902 chg coeffs, 20668 upgd conss, 0 impls, 128770 clqs
17.84/17.90 c (round 40, fast) 1954 del vars, 1473 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 927 chg coeffs, 20668 upgd conss, 0 impls, 128770 clqs
18.05/18.19 c (round 41, exhaustive) 1979 del vars, 1473 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 927 chg coeffs, 20668 upgd conss, 0 impls, 128530 clqs
18.14/18.20 c (round 42, fast) 1979 del vars, 1498 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 952 chg coeffs, 20668 upgd conss, 0 impls, 128530 clqs
18.54/18.63 c (round 43, exhaustive) 2004 del vars, 1498 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 952 chg coeffs, 20668 upgd conss, 0 impls, 128522 clqs
18.54/18.64 c (round 44, fast) 2004 del vars, 1523 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 979 chg coeffs, 20668 upgd conss, 0 impls, 128522 clqs
18.84/18.92 c (round 45, exhaustive) 2029 del vars, 1523 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 979 chg coeffs, 20668 upgd conss, 0 impls, 128317 clqs
18.84/18.93 c (round 46, fast) 2029 del vars, 1548 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1004 chg coeffs, 20668 upgd conss, 0 impls, 128317 clqs
23.23/23.31 c (23.3s) probing: 3000/20270 (14.8%) - 444 fixings, 0 aggregations, 4223467 implications, 0 bound changes
24.42/24.52 c (24.5s) probing: 3225/20270 (15.9%) - 444 fixings, 0 aggregations, 4507804 implications, 0 bound changes
24.42/24.52 c (24.5s) probing aborted: 1000/1000 successive useless probings
24.42/24.57 c (24.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
24.53/24.67 c (24.7s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
24.53/24.68 c dynamic symmetry handling statistics:
24.53/24.68 c orbitopal reduction: no components
24.53/24.68 c orbital reduction: no components
24.53/24.68 c lexicographic reduction: 3 permutations with support sizes 1672, 694, 338
24.53/24.68 c handled 4 out of 4 symmetry components
24.62/24.70 c presolving (47 rounds: 47 fast, 22 medium, 21 exhaustive):
24.62/24.70 c 2034 deleted vars, 1550 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1006 changed coefficients
24.62/24.70 c 0 implications, 129578 cliques
24.62/24.70 c presolved problem has 19819 variables (19819 bin, 0 int, 0 impl, 0 cont) and 20112 constraints
24.62/24.70 c 2439 constraints of type <setppc>
24.62/24.70 c 1 constraints of type <orbitope>
24.62/24.70 c 17672 constraints of type <logicor>
24.62/24.70 c transformed objective value is always integral (scale: 1)
24.62/24.70 c Presolving Time: 24.56
24.62/24.70 c - non default parameters ----------------------------------------------------------------------
24.62/24.70 c # SCIP version 10.0.0
24.62/24.70 c
24.62/24.70 c # maximal time in seconds to run
24.62/24.70 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
24.62/24.70 c limits/time = 3596.998007
24.62/24.70 c
24.62/24.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
24.62/24.70 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
24.62/24.70 c limits/memory = 27900
24.62/24.70 c
24.62/24.70 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
24.62/24.70 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
24.62/24.70 c limits/solutions = 1
24.62/24.70 c
24.62/24.70 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.
24.62/24.70 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
24.62/24.70 c misc/usesymmetry = 3
24.62/24.70 c
24.62/24.70 c # belongs reading time to solving time?
24.62/24.70 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
24.62/24.70 c timing/reading = TRUE
24.62/24.70 c
24.62/24.70 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
24.62/24.70 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
24.62/24.70 c propagating/symmetry/detectdoublelex = FALSE
24.62/24.70 c
24.62/24.70 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
24.62/24.70 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
24.62/24.70 c propagating/symmetry/detectsubgroups = FALSE
24.62/24.70 c
24.62/24.70 c # Type of symmetries that shall be computed?
24.62/24.70 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
24.62/24.70 c propagating/symmetry/symtype = 1
24.62/24.70 c
24.62/24.70 c # Should components consisting of a single full reflection be handled?
24.62/24.70 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
24.62/24.70 c propagating/symmetry/usesimplesgncomp = FALSE
24.62/24.70 c
24.62/24.70 c -----------------------------------------------------------------------------------------------
24.62/24.70 c start solving
24.62/24.71 c
49.25/49.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
49.25/49.43 c 49.4s| 1 | 0 | 18730 | - | 257M | 0 | 19k| 20k| 20k| 0 | 0 | 277 | 0 | 0.000000e+00 | -- | Inf | unknown
274.04/274.96 c 275s| 1 | 0 |118435 | - | 290M | 0 | 19k| 20k| 20k| 11 | 1 | 278 | 0 | 0.000000e+00 | -- | Inf | unknown
306.23/307.29 c 307s| 1 | 0 |130459 | - | 301M | 0 | 19k| 20k| 20k| 19 | 2 | 288 | 0 | 0.000000e+00 | -- | Inf | unknown
337.83/338.93 c 339s| 1 | 0 |141917 | - | 304M | 0 | 19k| 20k| 20k| 24 | 3 | 290 | 0 | 0.000000e+00 | -- | Inf | unknown
421.28/422.61 c 423s| 1 | 0 |161714 | - | 306M | 0 | 19k| 20k| 20k| 45 | 4 | 300 | 0 | 0.000000e+00 | -- | Inf | unknown
458.36/459.89 c 460s| 1 | 0 |175715 | - | 308M | 0 | 19k| 20k| 20k| 70 | 5 | 303 | 0 | 0.000000e+00 | -- | Inf | unknown
494.54/496.18 c 496s| 1 | 0 |188894 | - | 311M | 0 | 19k| 20k| 20k| 91 | 6 | 304 | 0 | 0.000000e+00 | -- | Inf | unknown
534.31/536.07 c 536s| 1 | 0 |202182 | - | 316M | 0 | 19k| 20k| 20k| 112 | 7 | 314 | 0 | 0.000000e+00 | -- | Inf | unknown
579.56/581.49 c 581s| 1 | 0 |216700 | - | 318M | 0 | 19k| 20k| 20k| 131 | 8 | 315 | 0 | 0.000000e+00 | -- | Inf | unknown
642.38/644.44 c 644s| 1 | 0 |237121 | - | 324M | 0 | 19k| 20k| 20k| 150 | 9 | 316 | 0 | 0.000000e+00 | -- | Inf | unknown
693.45/695.60 c 696s| 1 | 0 |254038 | - | 326M | 0 | 19k| 20k| 20k| 161 | 10 | 319 | 0 | 0.000000e+00 | -- | Inf | unknown
739.92/742.27 c 742s| 1 | 0 |269407 | - | 331M | 0 | 19k| 20k| 20k| 180 | 11 | 329 | 0 | 0.000000e+00 | -- | Inf | unknown
1091.21/1094.36 c 1094s| 1 | 2 |353066 | - | 349M | 0 | 19k| 20k| 20k| 180 | 11 | 350 | 19 | 0.000000e+00 | -- | Inf | unknown
3587.50/3597.00 c
3587.50/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.50/3597.00 c Solving Time (sec) : 3597.00
3587.50/3597.00 c Solving Nodes : 97
3587.50/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.50/3597.00 c Dual Bound : +0.00000000000000e+00
3587.50/3597.00 c Gap : infinite
3587.50/3597.00 s UNKNOWN
3587.50/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.50/3597.00 c Total Time : 3597.00
3587.50/3597.00 c solving : 3597.00
3587.50/3597.00 c presolving : 24.56 (included in solving)
3587.50/3597.00 c reading : 0.07 (included in solving)
3587.50/3597.00 c copying : 0.15 (3 #copies) (minimal 0.05, maximal 0.06, average 0.05)
3587.50/3597.00 c Original Problem :
3587.50/3597.00 c Problem name : HOME/instance-4446735-1721335966.opb
3587.50/3597.00 c Variables : 21301 (21301 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.50/3597.00 c Constraints : 21661 initial, 21661 maximal
3587.50/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.50/3597.00 c Presolved Problem :
3587.50/3597.00 c Problem name : t_HOME/instance-4446735-1721335966.opb
3587.50/3597.00 c Variables : 19819 (19819 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.50/3597.00 c Constraints : 20112 initial, 20398 maximal
3587.50/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.50/3597.00 c Nonzeros : 110148 constraint, 278106 clique table
3587.50/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.50/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c domcol : 1.01 0.00 18 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 2 0 0 2
3587.50/3597.00 c gateextraction : 0.23 0.00 19 0 0 0 0 0 1 0 0 0
3587.50/3597.00 c implics : 0.00 0.00 22 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c milp : 0.27 0.00 1 181 0 0 0 0 0 0 0 0
3587.50/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c sparsify : 0.54 0.00 4 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c trivial : 0.03 0.00 47 552 0 0 0 0 0 0 0 0
3587.50/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c dualfix : 0.02 0.00 47 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c probing : 18.08 0.00 18 444 0 0 0 0 0 0 0 0
3587.50/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c symmetry : 0.11 0.00 1 3 0 0 0 0 0 1 0 0
3587.50/3597.00 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c setppc : 0.20 0.00 75 0 0 0 0 0 108 0 0 0
3587.50/3597.00 c linear : 0.17 0.01 12 302 0 0 302 0 993 0 0 0
3587.50/3597.00 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c logicor : 3.76 0.01 75 108 0 0 0 0 446 0 0 1004
3587.50/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c root node : - - - 35 - - 35 - - - - -
3587.50/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.50/3597.00 c benderslp : 0 0 0 0 64 0 0 11 0 0 0 0 0 0 0
3587.50/3597.00 c integral : 0 0 0 0 64 0 0 11 0 0 0 0 0 0 128
3587.50/3597.00 c setppc : 2439+ 2530 11 215207 0 0 0 7 69103 272 23559 0 0 0 0
3587.50/3597.00 c linear : 0+ 1 0 1541 0 0 0 3 0 0 0 0 0 0 0
3587.50/3597.00 c orbitope : 1 1 0 7632 0 0 0 0 252 0 27 0 0 0 0
3587.50/3597.00 c logicor : 17672+ 17873 11 61263 0 0 0 0 127071 122 22823 5 3 0 0
3587.50/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.50/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.50/3597.00 c integral : 54.50 0.00 0.00 0.00 54.50 0.00 0.00 0.00 0.00 0.00
3587.50/3597.00 c setppc : 2.62 0.00 0.01 2.52 0.00 0.00 0.00 0.00 0.03 0.07
3587.50/3597.00 c linear : 0.02 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.50/3597.00 c orbitope : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.50/3597.00 c logicor : 4.86 0.01 0.04 4.73 0.00 0.00 0.00 0.00 0.05 0.03
3587.50/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.50/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.50/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.50/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.50/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.50/3597.00 c dualfix : 1 0 0 0
3587.50/3597.00 c genvbounds : 0 0 0 0
3587.50/3597.00 c nlobbt : 0 0 0 0
3587.50/3597.00 c obbt : 0 0 0 0
3587.50/3597.00 c probing : 0 0 0 0
3587.50/3597.00 c pseudoobj : 0 0 0 0
3587.50/3597.00 c redcost : 0 0 0 0
3587.50/3597.00 c rootredcost : 0 0 0 0
3587.50/3597.00 c symmetry : 0 0 0 0
3587.50/3597.00 c vbounds : 5764 0 0 0
3587.50/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.50/3597.00 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3587.50/3597.00 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3587.50/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.50/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.50/3597.00 c probing : 18.08 0.00 18.08 0.00 0.00 0.00
3587.50/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.50/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.50/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.50/3597.00 c symmetry : 0.12 0.00 0.11 0.01 0.00 0.00
3587.50/3597.00 c vbounds : 0.09 0.00 0.03 0.06 0.00 0.00
3587.50/3597.00 c Symmetry :
3587.50/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.50/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.50/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.50/3597.00 c shadow tree time : 0.00 s
3587.50/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.50/3597.00 c propagation : 0.04 389 134 - 1446 138.1 1 156.0 - - -
3587.50/3597.00 c infeasible LP : 0.53 28 18 - 424 2714.3 0 0.0 1 2042.0 0
3587.50/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.50/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.50/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.50/3597.00 c applied globally : 0.01 - - 0 411 174.0 - - 1 - -
3587.50/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.50/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.50/3597.00 c cut pool : 0.00 - 33 21 - - 400 606 - - - - - (maximal pool size: 400)
3587.50/3597.00 c aggregation : 0.07 0.00 14 11 0 0 5 5 0 1 1 0 0
3587.50/3597.00 c > cmir : - - - - - - - 5 0 1 1 0 -
3587.50/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.50/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.50/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c clique : 2.19 0.00 11 11 0 0 75 135 0 63 63 0 0
3587.50/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c gomory : 22.82 0.00 13 10 0 0 144 273 0 20 20 0 0
3587.50/3597.00 c > gomorymi : - - - - - - - 137 0 15 15 0 -
3587.50/3597.00 c > strongcg : - - - - - - - 136 0 5 5 0 -
3587.50/3597.00 c impliedbounds : 0.09 0.00 14 11 0 0 58 69 0 17 17 0 0
3587.50/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c multilinear : 0.00 0.00 17 11 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c rlt : 0.00 0.00 12 10 0 0 0 0 0 0 0 0 0
3587.50/3597.00 c zerohalf : 19.13 0.00 14 11 0 0 125 124 7 124 119 5 0
3587.50/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.50/3597.00 c hybrid : 0.00 0.00 19 11 228 0 390 180 0 124
3587.50/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.50/3597.00 c problem variables: 0.00 - 0 0
3587.50/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.50/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c relpscost : 54.50 0.00 64 0 0 0 0 0 0 128
3587.50/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.50/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.50/3597.00 c LP solutions : 0.00 - - 0 0
3587.50/3597.00 c relax solutions : 0.00 - - 0 0
3587.50/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.50/3597.00 c strong branching : 0.00 - - 0 0
3587.50/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.50/3597.00 c adaptivediving : 243.85 0.00 1 0 0
3587.50/3597.00 c alns : 0.43 0.00 2 0 0
3587.50/3597.00 c bound : 0.00 0.00 0 0 0
3587.50/3597.00 c clique : 0.09 0.00 1 0 0
3587.50/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.50/3597.00 c completesol : 0.00 0.00 0 0 0
3587.50/3597.00 c conflictdiving : 297.02 0.00 1 0 0
3587.50/3597.00 c crossover : 0.00 0.00 0 0 0
3587.50/3597.00 c dins : 0.00 0.00 0 0 0
3587.50/3597.00 c distributiondivin: 0.03 0.00 0 0 0
3587.50/3597.00 c dps : 0.00 0.00 0 0 0
3587.50/3597.00 c dualval : 0.00 0.00 0 0 0
3587.50/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.50/3597.00 c feasjump : 0.04 0.00 1 0 0
3587.50/3597.00 c feaspump : 194.14 0.00 1 0 0
3587.50/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.50/3597.00 c fracdiving : 0.00 0.00 0 0 0
3587.50/3597.00 c gins : 0.00 0.00 0 0 0
3587.50/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.50/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3587.50/3597.00 c indicator : 0.00 0.00 0 0 0
3587.50/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.50/3597.00 c indoneopt : 0.00 0.00 0 0 0
3587.50/3597.00 c indrounding : 0.00 0.00 0 0 0
3587.50/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3587.50/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.50/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.50/3597.00 c linesearchdiving : 0.00 0.00 0 0 0
3587.50/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.50/3597.00 c locks : 0.08 0.00 1 0 0
3587.50/3597.00 c lpface : 0.00 0.00 0 0 0
3587.50/3597.00 c mpec : 0.00 0.00 0 0 0
3587.50/3597.00 c multistart : 0.00 0.00 0 0 0
3587.50/3597.00 c mutation : 0.00 0.00 0 0 0
3587.50/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.50/3597.00 c objpscostdiving : 0.00 0.00 0 0 0
3587.50/3597.00 c octane : 0.00 0.00 0 0 0
3587.50/3597.00 c ofins : 0.00 0.00 0 0 0
3587.50/3597.00 c oneopt : 0.00 0.00 0 0 0
3587.50/3597.00 c padm : 0.00 0.00 0 0 0
3587.50/3597.00 c proximity : 0.00 0.00 0 0 0
3587.50/3597.00 c pscostdiving : 172.11 0.00 1 0 0
3587.50/3597.00 c randrounding : 54.23 0.00 16 0 0
3587.50/3597.00 c rens : 0.51 0.00 1 0 0
3587.50/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.50/3597.00 c repair : 0.00 0.00 0 0 0
3587.50/3597.00 c rins : 0.00 0.00 0 0 0
3587.50/3597.00 c rootsoldiving : 0.00 0.00 0 0 0
3587.50/3597.00 c rounding : 0.10 0.00 83 0 0
3587.50/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.50/3597.00 c shiftandpropagate: 0.10 0.00 1 0 0
3587.50/3597.00 c shifting : 0.26 0.00 24 0 0
3587.50/3597.00 c simplerounding : 0.00 0.00 0 0 0
3587.50/3597.00 c smallcard : 0.00 0.00 0 0 0
3587.50/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.50/3597.00 c trivial : 0.01 0.00 2 0 0
3587.50/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.50/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.50/3597.00 c trysol : 0.00 0.00 0 0 0
3587.50/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.50/3597.00 c undercover : 0.00 0.00 0 0 0
3587.50/3597.00 c vbounds : 0.04 0.00 1 0 0
3587.50/3597.00 c veclendiving : 0.00 0.00 0 0 0
3587.50/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.50/3597.00 c zirounding : 0.02 0.00 63 0 0
3587.50/3597.00 c other solutions : - - - 0 -
3587.50/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.50/3597.00 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.50/3597.00 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.50/3597.00 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.50/3597.00 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.50/3597.00 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.50/3597.00 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.50/3597.00 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.50/3597.00 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.50/3597.00 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.50/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.50/3597.00 c primal LP : 0.14 5 0 0.00 0.00 0.14 5
3587.50/3597.00 c dual LP : 2509.21 111 1418582 13135.02 565.35 0.01 3
3587.50/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.50/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.50/3597.00 c resolve instable : 15.02 1 17132 17132.00 1140.55
3587.50/3597.00 c diving/probing LP: 975.52 27 361796 13399.85 370.88
3587.50/3597.00 c strong branching : 39.46 19 18497 973.53 468.80 - - 36
3587.50/3597.00 c (at root node) : - 19 18497 973.53 -
3587.50/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.50/3597.00 c B&B Tree :
3587.50/3597.00 c number of runs : 1
3587.50/3597.00 c nodes : 97 (64 internal, 33 leaves)
3587.50/3597.00 c feasible leaves : 0
3587.50/3597.00 c infeas. leaves : 32
3587.50/3597.00 c objective leaves : 0
3587.50/3597.00 c nodes (total) : 97 (64 internal, 33 leaves)
3587.50/3597.00 c nodes left : 33
3587.50/3597.00 c max depth : 40
3587.50/3597.00 c max depth (total): 40
3587.50/3597.00 c backtracks : 9 (9.3%)
3587.50/3597.00 c early backtracks : 0 (0.0%)
3587.50/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.50/3597.00 c delayed cutoffs : 0
3587.50/3597.00 c repropagations : 115 (67 domain reductions, 0 cutoffs)
3587.50/3597.00 c avg switch length: 3.94
3587.50/3597.00 c switching time : 0.24
3587.50/3597.00 c Root Node :
3587.50/3597.00 c First LP value : +0.00000000000000e+00
3587.50/3597.00 c First LP Iters : 18730 (768.83 Iter/sec)
3587.50/3597.00 c First LP Time : 24.36
3587.50/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.50/3597.00 c Final Root Iters : 269407
3587.50/3597.00 c Root LP Estimate : +1.53891117660847e-03
3587.50/3597.00 c Solution :
3587.50/3597.00 c Solutions found : 0 (0 improvements)
3587.50/3597.00 c Primal Bound : -
3587.50/3597.00 c Dual Bound : +0.00000000000000e+00
3587.50/3597.00 c Gap : infinite
3587.50/3597.00 c Integrals : Total Avg%
3587.50/3597.00 c primal-dual : 359700.00 100.00
3587.50/3597.00 c primal-ref : - - (not evaluated)
3587.50/3597.00 c dual-ref : - - (not evaluated)
3587.60/3597.13 c Time complete: 3587.64.
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 (62023 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-4446735-1721335966/watcher-4446735-1721335966 -o /tmp/evaluation-result-4446735-1721335966/solver-4446735-1721335966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973106 --watchdog 3760 pbscip -f HOME/instance-4446735-1721335966.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=977358, runsolver pid=977355
[startup+0.100091 s]*
/proc/loadavg: 4.45 4.19 4.12 5/256 977359
/proc/meminfo: memFree=126633204/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=113284 memory=74552 CPUtime=0.1 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 15504 0 0 0 8 2 0 0 20 0 1 0 185756775 116002816 18638 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 28321 18638 3535 3540 0 16578 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 113284 KiB
Current children cumulated memory: 74552 KiB
[startup+0.205716 s]*
/proc/loadavg: 4.45 4.19 4.12 5/256 977359
/proc/meminfo: memFree=126605848/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=143588 memory=101396 CPUtime=0.2 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 22187 0 0 0 18 2 0 0 20 0 1 0 185756775 147034112 25349 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 35897 25349 3583 3540 0 24154 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 143588 KiB
Current children cumulated memory: 101396 KiB
[startup+0.305673 s]*
/proc/loadavg: 4.45 4.19 4.12 5/256 977359
/proc/meminfo: memFree=126578772/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=170924 memory=128524 CPUtime=0.3 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 29505 0 0 0 26 4 0 0 20 0 1 0 185756775 175026176 32131 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 42731 32131 3646 3540 0 30988 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 170924 KiB
Current children cumulated memory: 128524 KiB
[startup+0.700223 s]
/proc/loadavg: 4.45 4.19 4.12 5/256 977359
/proc/meminfo: memFree=126586632/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=182628 memory=139896 CPUtime=0.69 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 35355 0 0 0 64 5 0 0 20 0 1 0 185756775 187011072 34974 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 45657 34974 3710 3540 0 33914 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 182628 KiB
Current children cumulated memory: 139896 KiB
[startup+1.50024 s]
/proc/loadavg: 4.45 4.19 4.12 5/256 977359
/proc/meminfo: memFree=126564052/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=225068 memory=179164 CPUtime=1.48 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 42769 0 0 0 142 6 0 0 20 0 1 0 185756775 230469632 44791 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 56267 44791 3758 3540 0 44524 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 225068 KiB
Current children cumulated memory: 179164 KiB
[startup+3.10564 s]
/proc/loadavg: 4.45 4.19 4.12 6/256 977359
/proc/meminfo: memFree=126515132/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=231920 memory=186012 CPUtime=3.09 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 44469 0 0 0 302 7 0 0 20 0 1 0 185756775 237486080 46503 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 57980 46503 3758 3540 0 46237 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 231920 KiB
Current children cumulated memory: 186012 KiB
[startup+6.30021 s]
/proc/loadavg: 4.49 4.20 4.12 6/256 977361
/proc/meminfo: memFree=126511128/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=235344 memory=189424 CPUtime=6.27 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 45313 0 0 0 620 7 0 0 20 0 1 0 185756775 240992256 47356 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 58836 47356 3758 3540 0 47093 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 235344 KiB
Current children cumulated memory: 189424 KiB
[startup+12.7002 s]
/proc/loadavg: 4.45 4.20 4.12 5/256 977361
/proc/meminfo: memFree=126504888/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=241296 memory=195248 CPUtime=12.66 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 46846 0 0 0 1258 8 0 0 20 0 1 0 185756775 247087104 48812 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 60324 48812 3758 3540 0 48581 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 241296 KiB
Current children cumulated memory: 195248 KiB
[startup+25.5002 s]
/proc/loadavg: 4.35 4.19 4.12 5/257 977363
/proc/meminfo: memFree=126448316/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=341524 memory=267100 CPUtime=25.42 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 66626 0 0 0 2530 12 0 0 20 0 1 0 185756775 349720576 66775 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 85381 66775 3966 3540 0 73638 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 341524 KiB
Current children cumulated memory: 267100 KiB
[startup+51.1054 s]
/proc/loadavg: 4.23 4.17 4.11 5/257 977414
/proc/meminfo: memFree=127283012/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=351724 memory=278164 CPUtime=50.95 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 68878 0 0 0 5083 12 0 0 20 0 1 0 185756775 360165376 69541 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 87931 69541 3982 3540 0 76188 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 351724 KiB
Current children cumulated memory: 278164 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.19 4.12 5/257 977424
/proc/meminfo: memFree=127194600/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=353304 memory=279736 CPUtime=102 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 69265 0 0 0 10188 12 0 0 20 0 1 0 185756775 361783296 69934 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 88326 69934 3982 3540 0 76583 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 353304 KiB
Current children cumulated memory: 279736 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/257 977818
/proc/meminfo: memFree=127178120/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=353880 memory=280520 CPUtime=161.81 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 69525 0 0 0 16168 13 0 0 20 0 1 0 185756775 362373120 70130 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 88470 70130 3982 3540 0 76727 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 353880 KiB
Current children cumulated memory: 280520 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.15 4.11 6/257 977828
/proc/meminfo: memFree=127086836/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=357928 memory=284932 CPUtime=221.6 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 70060 0 0 0 22147 13 0 0 20 0 1 0 185756775 366518272 71233 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 89482 71233 3982 3540 0 77739 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 357928 KiB
Current children cumulated memory: 284932 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 977840
/proc/meminfo: memFree=126878896/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=459848 memory=381088 CPUtime=281.42 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 80404 0 0 0 28126 16 0 0 20 0 1 0 185756775 470884352 95272 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 114962 95272 3982 3540 0 103219 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 459848 KiB
Current children cumulated memory: 381088 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 978018
/proc/meminfo: memFree=126848336/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=463724 memory=385264 CPUtime=341.22 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 81411 0 0 0 34106 16 0 0 20 0 1 0 185756775 474853376 96316 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 115931 96316 3982 3540 0 104188 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 463724 KiB
Current children cumulated memory: 385264 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/256 978029
/proc/meminfo: memFree=126827260/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=466040 memory=387880 CPUtime=401.04 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 82122 0 0 0 40088 16 0 0 20 0 1 0 185756775 477224960 96970 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 116510 96970 3982 3540 0 104767 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 466040 KiB
Current children cumulated memory: 387880 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/257 978044
/proc/meminfo: memFree=126812476/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=472100 memory=391604 CPUtime=460.85 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 82556 0 0 0 46068 17 0 0 20 0 1 0 185756775 483430400 97901 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 118025 97901 3982 3540 0 106282 0
################
# More data... #
################
/proc/loadavg: 4.13 4.16 4.16 5/254 979223
/proc/meminfo: memFree=126831828/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3213.84 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 118263 0 0 0 321359 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3213.84 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/254 979234
/proc/meminfo: memFree=126824340/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3273.67 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 118447 0 0 0 327342 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/254 979244
/proc/meminfo: memFree=126823648/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3333.5 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 118725 0 0 0 333325 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/254 979254
/proc/meminfo: memFree=126822952/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3393.34 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 118979 0 0 0 339309 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/257 979269
/proc/meminfo: memFree=126812100/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3453.17 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119160 0 0 0 345292 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/258 979282
/proc/meminfo: memFree=126810764/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3513.01 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119330 0 0 0 351276 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/258 979293
/proc/meminfo: memFree=126804232/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3572.84 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119415 0 0 0 357259 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB
[startup+3597.14 s]
# the end of solver process 977358 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.39 s, system=0.258805 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=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3574.54 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119443 0 0 0 357429 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3574.54 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB
[startup+3590.4 s]
/proc/loadavg: 4.22 4.15 4.16 5/258 979294
/proc/meminfo: memFree=126804236/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3580.92 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119443 0 0 0 358067 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3580.92 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB
[startup+3593.6 s]
/proc/loadavg: 4.22 4.15 4.16 5/258 979294
/proc/meminfo: memFree=126804292/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3584.11 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119443 0 0 0 358386 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3584.11 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.14 4.15 4/251 979325
/proc/meminfo: memFree=127272168/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3585.7 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119443 0 0 0 358545 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3585.7 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.14 4.15 4/251 979327
/proc/meminfo: memFree=127272064/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3586.51 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119443 0 0 0 358626 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3586.51 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.14 4.15 4/251 979327
/proc/meminfo: memFree=127272064/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3587.3 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119443 0 0 0 358705 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3587.3 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB
[startup+3597 s]*
/proc/loadavg: 4.12 4.14 4.15 4/251 979327
/proc/meminfo: memFree=127272064/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3587.5 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119444 0 0 0 358725 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3587.5 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB
[startup+3597.11 s]
/proc/loadavg: 4.12 4.14 4.15 4/251 979327
/proc/meminfo: memFree=127272064/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=530788 memory=469848 CPUtime=3587.6 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119556 0 0 0 358735 25 0 0 20 0 1 0 185756775 543526912 117462 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 132697 117462 4208 3540 0 120954 0
Current children cumulated CPU time: 3587.6 s
Current children cumulated vsize: 530788 KiB
Current children cumulated memory: 469848 KiB
Child status: 0
Real time (s): 3597.14
CPU time (s): 3587.64
CPU user time (s): 3587.39
CPU system time (s): 0.258805
CPU usage (%): 99.7361
Max. virtual memory (cumulated for all children) (KiB): 590196
Max. memory (cumulated for all children) (KiB): 529256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.39
system time used= 0.258805
maximum resident set size= 529256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119577
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= 27
involuntary context switches= 1323
# summary of solver processes directly reported to runsolver:
# pid: 977358
# total CPU time (s): 3587.64
# total CPU user time (s): 3587.39
# total CPU system time (s): 0.258805
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.65372 second user time and 12.8802 second system time
The end
Begin job on nodeC015 at 2024-07-18 22:52:58 IDJOB=4446735 IDBENCH=158301 IDSOLVER=3059 FILE ID=nodeC015/4446735-1721335966 RUNJOBID= nodeC015-1721328778-973106 SLURM_JOB_ID= 7542690 Free space on /tmp= 890020 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K179.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-4446735-1721335966/watcher-4446735-1721335966 -o /tmp/evaluation-result-4446735-1721335966/solver-4446735-1721335966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973106 --watchdog 3760 pbscip -f HOME/instance-4446735-1721335966.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 84aa92d361920570c4f42a7fa8308fed 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 : 3664.721 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 : 3690.574 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 : 3600.025 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 : 3599.902 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 : 3656.797 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 : 3690.615 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 : 3667.740 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.924 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: 126694208 kB MemAvailable: 127866912 kB Buffers: 504188 kB Cached: 1495480 kB SwapCached: 0 kB Active: 1619684 kB Inactive: 2573680 kB Active(anon): 1548 kB Inactive(anon): 2229864 kB Active(file): 1618136 kB Inactive(file): 343816 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 40272 kB Writeback: 0 kB AnonPages: 2191976 kB Mapped: 140252 kB Shmem: 37720 kB KReclaimable: 100800 kB Slab: 213192 kB SReclaimable: 100800 kB SUnreclaim: 112392 kB KernelStack: 4112 kB PageTables: 13972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3229572 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 68224 kB HardwareCorrupted: 0 kB AnonHugePages: 563200 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= 890024 MiB End job on nodeC015 at 2024-07-18 23:52:55