Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | 3 | 2.6517 | 2.6648 |
| Name | PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.opb |
| MD5SUM | ad55eb05599a6ea41980b44e9f9ded8a |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.042201 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 144 |
| Total number of constraints | 13 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 13 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 384 |
| Sum of products size (including duplicates) | 768 |
| Number of different products | 384 |
| Sum of products size | 768 |
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-4459688-1721939462.opb>
0.00/0.00 c original problem has 528 variables (144 bin, 0 int, 384 impl, 0 cont) and 403 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c presolving:
0.00/0.00 c (round 1, fast) 19 del vars, 0 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 42 chg coeffs, 0 upgd conss, 0 impls, 672 clqs
0.00/0.00 c (round 2, fast) 117 del vars, 86 del conss, 12 add conss, 0 chg bounds, 0 chg sides, 127 chg coeffs, 0 upgd conss, 0 impls, 586 clqs
0.00/0.00 c (round 3, exhaustive) 118 del vars, 86 del conss, 12 add conss, 0 chg bounds, 0 chg sides, 127 chg coeffs, 0 upgd conss, 0 impls, 584 clqs
0.00/0.00 c (round 4, fast) 118 del vars, 88 del conss, 13 add conss, 0 chg bounds, 0 chg sides, 127 chg coeffs, 1 upgd conss, 0 impls, 584 clqs
0.00/0.00 c (round 5, fast) 118 del vars, 89 del conss, 13 add conss, 0 chg bounds, 0 chg sides, 127 chg coeffs, 1 upgd conss, 0 impls, 584 clqs
0.00/0.01 c (round 6, exhaustive) 118 del vars, 95 del conss, 13 add conss, 0 chg bounds, 0 chg sides, 127 chg coeffs, 1 upgd conss, 0 impls, 584 clqs
0.00/0.01 c (round 7, exhaustive) 118 del vars, 95 del conss, 13 add conss, 0 chg bounds, 0 chg sides, 127 chg coeffs, 14 upgd conss, 0 impls, 584 clqs
0.00/0.01 c (0.0s) probing: 51/422 (12.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.01 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.01 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.01 c presolving (8 rounds: 8 fast, 4 medium, 4 exhaustive):
0.00/0.01 c 118 deleted vars, 95 deleted constraints, 13 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 128 changed coefficients
0.00/0.01 c 0 implications, 584 cliques
0.00/0.01 c presolved problem has 422 variables (130 bin, 0 int, 292 impl, 0 cont) and 317 constraints
0.00/0.01 c 292 constraints of type <and>
0.00/0.01 c 6 constraints of type <linear>
0.00/0.01 c 13 constraints of type <logicor>
0.00/0.01 c 6 constraints of type <pseudoboolean>
0.00/0.01 c transformed objective value is always integral (scale: 2)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 10.0.0
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.01 c limits/time = 3596.997009
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.01 c limits/memory = 27900
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 o 129
0.00/0.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.01 c p 0.0s| 1 | 0 | 0 | - | vbounds| 0 | 422 | 318 | 603 | 0 | 0 | 0 | 0 | 1.000000e+00 | 1.290000e+02 | Large | unknown
0.00/0.02 c 0.0s| 1 | 0 | 14 | - | 6883k | 0 | 422 | 320 | 604 | 0 | 0 | 10 | 0 | 3.000000e+00 | 1.290000e+02 |4200.00%| unknown
0.00/0.03 o 37
0.00/0.03 c L 0.0s| 1 | 0 | 14 | - |undercov| 0 | 422 | 327 | 604 | 0 | 0 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.00/0.04 c 0.0s| 1 | 0 | 27 | - | 7166k | 0 | 422 | 327 | 582 | 6 | 1 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.00/0.05 c 0.1s| 1 | 0 | 46 | - | 7401k | 0 | 422 | 327 | 592 | 16 | 2 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.00/0.07 c 0.1s| 1 | 0 | 66 | - | 7823k | 0 | 422 | 327 | 599 | 23 | 3 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.00/0.08 c 0.1s| 1 | 0 | 96 | - | 8000k | 0 | 422 | 327 | 612 | 36 | 4 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.00/0.10 c 0.1s| 1 | 0 | 113 | - | 8638k | 0 | 422 | 327 | 620 | 44 | 5 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.09/0.13 c 0.1s| 1 | 0 | 137 | - | 9600k | 0 | 422 | 327 | 632 | 56 | 6 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.09/0.16 c 0.2s| 1 | 0 | 161 | - | 10M | 0 | 422 | 327 | 640 | 64 | 7 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.20/0.22 c 0.2s| 1 | 0 | 177 | - | 13M | 0 | 422 | 327 | 651 | 75 | 8 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.20/0.27 c 0.3s| 1 | 0 | 212 | - | 14M | 0 | 422 | 327 | 659 | 83 | 9 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.29/0.31 c 0.3s| 1 | 0 | 246 | - | 15M | 0 | 422 | 326 | 124 | 96 | 10 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.29/0.32 c 0.3s| 1 | 0 | 246 | - | 15M | 0 | 422 | 326 | 124 | 96 | 10 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.29/0.33 c 0.3s| 1 | 0 | 259 | - | 15M | 0 | 422 | 325 | 130 | 102 | 11 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.29/0.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.29/0.33 c 0.3s| 1 | 0 | 259 | - | 15M | 0 | 422 | 320 | 132 | 102 | 11 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.29/0.33 c 0.3s| 1 | 0 | 279 | - | 15M | 0 | 422 | 320 | 143 | 113 | 12 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.29/0.34 c 0.3s| 1 | 0 | 309 | - | 16M | 0 | 422 | 320 | 153 | 123 | 13 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.29/0.35 c 0.4s| 1 | 0 | 348 | - | 16M | 0 | 422 | 320 | 169 | 139 | 14 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.29/0.36 c 0.4s| 1 | 0 | 381 | - | 16M | 0 | 422 | 320 | 181 | 151 | 15 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.29/0.37 c 0.4s| 1 | 0 | 404 | - | 16M | 0 | 422 | 320 | 141 | 159 | 16 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.29/0.37 c 0.4s| 1 | 0 | 404 | - | 16M | 0 | 422 | 320 | 141 | 159 | 16 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.29/0.39 c 0.4s| 1 | 0 | 418 | - | 16M | 0 | 422 | 320 | 148 | 166 | 17 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.29/0.40 c 0.4s| 1 | 0 | 438 | - | 16M | 0 | 422 | 320 | 157 | 175 | 18 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.40/0.41 c 0.4s| 1 | 0 | 472 | - | 16M | 0 | 422 | 320 | 169 | 187 | 19 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.40/0.42 c 0.4s| 1 | 0 | 498 | - | 17M | 0 | 422 | 320 | 178 | 196 | 20 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.40/0.44 c 0.4s| 1 | 0 | 531 | - | 17M | 0 | 422 | 320 | 188 | 206 | 21 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.40/0.45 c 0.4s| 1 | 0 | 579 | - | 17M | 0 | 422 | 320 | 150 | 219 | 22 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.40/0.45 c 0.4s| 1 | 0 | 579 | - | 17M | 0 | 422 | 320 | 150 | 219 | 22 | 17 | 0 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.40/0.48 c 0.5s| 1 | 2 | 1460 | - | 17M | 0 | 422 | 322 | 150 | 219 | 22 | 19 | 3 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.40/0.48 c (run 1, node 1) restarting after 18 global fixings of integer variables
0.40/0.48 c
0.40/0.49 c (restart) converted 115 cuts from the global cut pool into linear constraints
0.40/0.49 c
0.40/0.49 c presolving:
0.40/0.49 c (round 1, fast) 18 del vars, 1 del conss, 6 add conss, 0 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 0 impls, 558 clqs
0.40/0.49 c (round 2, exhaustive) 18 del vars, 12 del conss, 6 add conss, 0 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 0 impls, 558 clqs
0.40/0.49 c (round 3, exhaustive) 18 del vars, 12 del conss, 6 add conss, 0 chg bounds, 4 chg sides, 8 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.40/0.49 c (round 4, fast) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 4 chg sides, 50 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.40/0.49 c (round 5, medium) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 59 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.40/0.50 c (round 6, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 139 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.40/0.50 c (round 7, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 201 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.40/0.50 c (round 8, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 272 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.40/0.50 c (round 9, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 346 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.40/0.50 c (round 10, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 420 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.40/0.50 c (round 11, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 483 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.40/0.50 c (round 12, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 531 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.40/0.50 c (round 13, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 586 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 14, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 635 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 15, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 687 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 16, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 742 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 17, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 790 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 18, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 844 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 19, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 906 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 20, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 951 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 21, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 993 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 22, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 1032 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 23, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 1069 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 24, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 1107 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 25, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 1135 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 26, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 1163 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 27, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 1192 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 28, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 1225 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.51 c (round 29, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 1250 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.52 c (round 30, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 1269 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.52 c (round 31, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 1284 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.52 c (round 32, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 1294 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.52 c (round 33, exhaustive) 18 del vars, 17 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 1300 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.52 c (round 34, exhaustive) 18 del vars, 19 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 1304 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.52 c (round 35, exhaustive) 18 del vars, 19 del conss, 6 add conss, 0 chg bounds, 13 chg sides, 1404 chg coeffs, 111 upgd conss, 0 impls, 558 clqs
0.49/0.52 c presolving (36 rounds: 36 fast, 34 medium, 33 exhaustive):
0.49/0.52 c 18 deleted vars, 19 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 13 changed sides, 1404 changed coefficients
0.49/0.52 c 0 implications, 558 cliques
0.49/0.52 c presolved problem has 404 variables (126 bin, 0 int, 278 impl, 0 cont) and 424 constraints
0.49/0.52 c 39 constraints of type <knapsack>
0.49/0.52 c 28 constraints of type <setppc>
0.49/0.52 c 278 constraints of type <and>
0.49/0.52 c 8 constraints of type <linear>
0.49/0.52 c 65 constraints of type <logicor>
0.49/0.52 c 6 constraints of type <pseudoboolean>
0.49/0.52 c transformed objective value is always integral (scale: 2)
0.49/0.52 c Presolving Time: 0.03
0.49/0.52 c transformed 1/2 original solutions to the transformed problem space
0.49/0.52 c
0.49/0.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.49/0.52 c 0.5s| 1 | 0 | 1496 | - | 18M | 0 | 404 | 424 | 682 | 0 | 0 | 19 | 3 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.49/0.55 c 0.5s| 1 | 0 | 1519 | - | 18M | 0 | 404 | 424 | 695 | 13 | 1 | 19 | 3 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.49/0.56 c 0.6s| 1 | 0 | 1541 | - | 18M | 0 | 404 | 424 | 706 | 24 | 2 | 19 | 3 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.49/0.60 c 0.6s| 1 | 0 | 1568 | - | 18M | 0 | 404 | 424 | 718 | 36 | 3 | 19 | 3 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.60/0.63 c 0.6s| 1 | 0 | 1602 | - | 19M | 0 | 404 | 424 | 732 | 50 | 4 | 19 | 3 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.60/0.69 c 0.7s| 1 | 0 | 1621 | - | 19M | 0 | 404 | 424 | 747 | 65 | 5 | 19 | 3 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.69/0.72 c 0.7s| 1 | 0 | 1637 | - | 20M | 0 | 404 | 424 | 757 | 75 | 6 | 19 | 3 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.69/0.75 c 0.8s| 1 | 0 | 1664 | - | 22M | 0 | 404 | 424 | 768 | 86 | 7 | 19 | 3 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.79/0.82 c 0.8s| 1 | 0 | 1699 | - | 23M | 0 | 404 | 424 | 781 | 99 | 8 | 19 | 3 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.79/0.86 c 0.9s| 1 | 0 | 1733 | - | 27M | 0 | 404 | 424 | 795 | 113 | 9 | 19 | 3 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.89/0.92 c 0.9s| 1 | 0 | 1761 | - | 31M | 0 | 404 | 424 | 810 | 128 | 10 | 19 | 3 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.89/0.96 c 1.0s| 1 | 0 | 1790 | - | 32M | 0 | 404 | 424 | 825 | 143 | 11 | 19 | 3 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
0.99/1.01 c 1.0s| 1 | 2 | 2379 | - | 32M | 0 | 404 | 427 | 825 | 143 | 11 | 22 | 4 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
1.09/1.15 c 1.1s| 100 | 82 | 3177 | 22.7 | 33M | 53 | 404 | 435 | 154 | 419 | 1 | 30 | 5 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
1.18/1.25 c 1.3s| 200 | 156 | 4249 | 16.7 | 33M | 56 | 404 | 459 | 208 | 701 | 3 | 54 | 57 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
1.28/1.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.28/1.33 c 1.3s| 300 | 167 | 4570 | 12.2 | 35M | 56 | 404 | 478 | 0 | 793 | 0 | 73 | 57 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
1.38/1.48 c 1.5s| 400 | 240 | 5411 | 11.3 | 37M | 59 | 404 | 485 | 190 |1107 | 2 | 80 | 62 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
1.48/1.58 c 1.6s| 500 | 279 | 6320 | 10.8 | 37M | 59 | 404 | 520 | 212 |1378 | 3 | 115 | 94 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
1.58/1.65 c 1.6s| 600 | 314 | 6878 | 9.9 | 37M | 60 | 404 | 537 | 204 |1560 | 2 | 132 | 106 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
1.69/1.79 c 1.8s| 700 | 374 | 7559 | 9.5 | 37M | 60 | 404 | 552 | 0 |1817 | 0 | 147 | 114 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
1.88/1.92 c 1.9s| 800 | 423 | 8238 | 9.2 | 37M | 62 | 404 | 564 | 175 |2039 | 2 | 159 | 114 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
1.88/1.97 c 2.0s| 900 | 432 | 8705 | 8.7 | 37M | 62 | 404 | 608 | 0 |2187 | 0 | 203 | 118 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
2.09/2.10 c 2.1s| 1000 | 491 | 9704 | 8.8 | 38M | 62 | 404 | 620 | 0 |2518 | 0 | 215 | 161 | 3.000000e+00 | 3.700000e+01 |1133.33%| unknown
2.09/2.13 o 7
2.09/2.13 c L 2.1s| 1018 | 476 | 9753 | 8.7 | alns| 62 | 404 | 618 | 0 |2542 | 0 | 217 | 161 | 3.000000e+00 | 7.000000e+00 | 133.33%| unknown
2.18/2.25 c 2.2s| 1100 | 493 | 10593 | 8.8 | 38M | 62 | 404 | 604 | 0 |2791 | 0 | 227 | 161 | 3.000000e+00 | 7.000000e+00 | 133.33%| unknown
2.28/2.32 c 2.3s| 1200 | 522 | 11248 | 8.6 | 38M | 62 | 404 | 639 | 162 |2970 | 2 | 262 | 163 | 3.000000e+00 | 7.000000e+00 | 133.33%| unknown
2.38/2.40 c 2.4s| 1300 | 550 | 12128 | 8.6 | 38M | 62 | 404 | 676 | 212 |3257 | 5 | 299 | 188 | 3.000000e+00 | 7.000000e+00 | 133.33%| unknown
2.38/2.45 c 2.5s| 1400 | 583 | 12580 | 8.3 | 38M | 62 | 404 | 719 | 186 |3443 | 2 | 342 | 198 | 3.000000e+00 | 7.000000e+00 | 133.33%| unknown
2.38/2.49 c 2.5s| 1500 | 598 | 12827 | 7.9 | 38M | 62 | 404 | 731 | 0 |3541 | 0 | 354 | 198 | 3.000000e+00 | 7.000000e+00 | 133.33%| unknown
2.48/2.57 c 2.6s| 1600 | 624 | 13648 | 8.0 | 38M | 62 | 404 | 765 | 178 |3795 | 2 | 388 | 223 | 3.000000e+00 | 7.000000e+00 | 133.33%| unknown
2.58/2.65 o 3
2.58/2.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.58/2.65 c * 2.7s| 1699 | 0 | 14585 | 8.0 | LP | 62 | 404 | 803 | 193 |4077 | 1 | 432 | 253 | 3.000000e+00 | 3.000000e+00 | 0.00%| 100.00%
2.58/2.65 c
2.58/2.65 c SCIP Status : problem is solved [optimal solution found]
2.58/2.65 c Solving Time (sec) : 2.65
2.58/2.65 c Solving Nodes : 1699 (total of 1700 nodes in 2 runs)
2.58/2.65 c Primal Bound : +3.00000000000000e+00 (4 solutions)
2.58/2.65 c Dual Bound : +3.00000000000000e+00
2.58/2.65 c Gap : 0.00 %
2.58/2.65 s OPTIMUM FOUND
2.58/2.65 v -x144 -x143 -x142 -x141 -x140 -x139 x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x96 -x95 -x94 x93 -x92 x91 x90 x89
2.58/2.65 v -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x88 -x87 -x86 -x85 -x84 -x83 x82 x81 -x120 -x119 x118 -x117 -x116 x115 x114
2.58/2.65 v -x113 -x80 -x79 -x78 -x77 -x76 x75 x74 x73 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x72 -x71 x70 x69 x68 -x67 x66 x65
2.58/2.65 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x64 -x63 -x62 x61 -x60 x59 -x58 x57 -x56 -x55 x54 -x53 -x52 -x51 x50 x49 -x48
2.58/2.65 v x47 -x46 x45 x44 x43 -x42 x41 -x40 -x39 x38 -x37 -x36 x35 -x34 x33 x32 -x31 x30 -x29 -x28 x27 -x26 x25 -x24 -x23 -x22 -x21 x20
2.58/2.65 v x19 x18 x17 -x16 -x15 -x14 -x13 -x12 x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
2.58/2.65 c SCIP Status : problem is solved [optimal solution found]
2.58/2.65 c Total Time : 2.65
2.58/2.65 c solving : 2.65
2.58/2.65 c presolving : 0.03 (included in solving)
2.58/2.65 c reading : 0.00 (included in solving)
2.58/2.65 c copying : 0.08 (30 #copies) (minimal 0.00, maximal 0.00, average 0.00)
2.58/2.65 c Original Problem :
2.58/2.65 c Problem name : HOME/instance-4459688-1721939462.opb
2.58/2.65 c Variables : 528 (144 binary, 0 integer, 384 implicit integer, 0 continuous)
2.58/2.65 c Constraints : 403 initial, 403 maximal
2.58/2.65 c Objective : minimize, 8 non-zeros (abs.min = 1, abs.max = 128)
2.58/2.65 c Presolved Problem :
2.58/2.65 c Problem name : t_HOME/instance-4459688-1721939462.opb
2.58/2.65 c Variables : 404 (126 binary, 0 integer, 278 implicit integer, 0 continuous)
2.58/2.65 c Constraints : 424 initial, 809 maximal
2.58/2.65 c Objective : minimize, 5 non-zeros (abs.min = 1, abs.max = 16)
2.58/2.65 c Nonzeros : 4812 constraint, 1041 clique table
2.58/2.65 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
2.58/2.65 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
2.58/2.65 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2.58/2.65 c gateextraction : 0.00 0.00 33 0 0 0 0 0 0 0 0 0
2.58/2.65 c implics : 0.00 0.00 38 0 0 0 0 0 0 0 0 0
2.58/2.65 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2.58/2.65 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c trivial : 0.00 0.00 44 30 0 0 0 0 0 0 0 0
2.58/2.65 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c dualfix : 0.00 0.00 44 0 0 0 0 0 0 0 0 0
2.58/2.65 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2.58/2.65 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2.58/2.65 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
2.58/2.65 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
2.58/2.65 c knapsack : 0.02 0.00 96 0 0 0 0 0 0 0 9 1293
2.58/2.65 c setppc : 0.00 0.00 78 0 0 0 0 0 3 0 0 0
2.58/2.65 c and : 0.00 0.00 53 1 85 0 0 0 85 0 0 85
2.58/2.65 c linear : 0.00 0.00 52 1 7 0 0 0 18 19 4 44
2.58/2.65 c logicor : 0.00 0.00 76 0 0 0 0 0 8 0 0 110
2.58/2.65 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c pseudoboolean : 0.00 0.00 38 0 0 0 0 0 0 0 0 0
2.58/2.65 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
2.58/2.65 c root node : - - - 43 - - 43 - - - - -
2.58/2.65 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
2.58/2.65 c benderslp : 0 0 0 0 1286 0 0 203 0 0 0 0 0 0 0
2.58/2.65 c integral : 0 0 0 0 1286 0 0 203 0 0 362 0 0 89 2426
2.58/2.65 c knapsack : 39+ 41 11 5507 0 0 0 0 103 4 147 298 17 0 0
2.58/2.65 c setppc : 28+ 42 11 5361 0 0 0 0 134 9 226 1 0 0 0
2.58/2.65 c and : 278 278 2260 7281 0 0 0 0 9658 122 6737 3841 3014 0 0
2.58/2.65 c linear : 8+ 23 33 7158 0 0 0 199 2466 565 2830 0 0 0 0
2.58/2.65 c logicor : 65+ 450 33 2541 1 0 0 32 211 21 242 16 4 0 0
2.58/2.65 c benders : 0 0 0 0 1 0 0 34 0 0 0 0 0 0 0
2.58/2.65 c pseudoboolean : 6 6 0 0 1 0 0 32 0 0 0 0 0 0 0
2.58/2.65 c fixedvar : 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0
2.58/2.65 c countsols : 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0
2.58/2.65 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
2.58/2.65 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c integral : 0.10 0.00 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c knapsack : 0.02 0.00 0.02 0.01 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c and : 0.05 0.00 0.02 0.03 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c linear : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c logicor : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c Propagators : #Propagate #ResProp Cutoffs DomReds
2.58/2.65 c dualfix : 5 0 0 0
2.58/2.65 c genvbounds : 0 0 0 0
2.58/2.65 c nlobbt : 0 0 0 0
2.58/2.65 c obbt : 0 0 0 0
2.58/2.65 c probing : 0 0 0 0
2.58/2.65 c pseudoobj : 5315 2 0 16
2.58/2.65 c redcost : 4133 0 0 7
2.58/2.65 c rootredcost : 2 0 0 24
2.58/2.65 c symmetry : 0 0 0 0
2.58/2.65 c vbounds : 4046 0 0 0
2.58/2.65 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
2.58/2.65 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
2.58/2.65 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c vbounds : 0.01 0.00 0.00 0.00 0.00 0.00
2.58/2.65 c Symmetry :
2.58/2.65 c orbitopal red. : 0 reductions applied, 0 cutoffs
2.58/2.65 c orbital reduction: 0 reductions applied, 0 cutoffs
2.58/2.65 c lexicographic red: 0 reductions applied, 0 cutoffs
2.58/2.65 c shadow tree time : 0.00 s
2.58/2.65 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
2.58/2.65 c propagation : 0.01 179 178 - 1865 52.4 82 36.5 - - -
2.58/2.65 c infeasible LP : 0.00 5 5 - 60 42.9 2 9.0 5 25.8 0
2.58/2.65 c bound exceed. LP : 0.00 3 3 - 10 16.6 0 0.0 3 28.7 12
2.58/2.65 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
2.58/2.65 c pseudo solution : 0.00 7 7 - 7 1.9 0 0.0 - - -
2.58/2.65 c applied globally : 0.00 - - 0 425 18.8 - - 8 - -
2.58/2.65 c applied locally : - - - 0 0 0.0 - - 0 - -
2.58/2.65 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
2.58/2.65 c cut pool : 0.10 - 433 64 - - 4941 15477 - - - - - (maximal pool size: 2708)
2.58/2.65 c aggregation : 0.36 0.00 105 33 0 0 2749 8023 704 758 588 170 0
2.58/2.65 c > cmir : - - - - - - - 6574 93 430 416 14 -
2.58/2.65 c > flowcover : - - - - - - - 1400 526 284 162 122 -
2.58/2.65 c > knapsackcover : - - - - - - - 49 85 44 10 34 -
2.58/2.65 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c clique : 0.00 0.00 33 33 0 0 0 0 0 0 0 0 0
2.58/2.65 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c gomory : 0.49 0.00 92 20 0 0 3607 6936 973 235 203 32 0
2.58/2.65 c > gomorymi : - - - - - - - 3672 502 154 129 25 -
2.58/2.65 c > strongcg : - - - - - - - 3264 471 81 74 7 -
2.58/2.65 c impliedbounds : 0.00 0.00 105 33 0 0 172 293 0 211 211 0 0
2.58/2.65 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
2.58/2.65 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c mixing : 0.00 0.00 105 33 0 0 0 0 0 0 0 0 0
2.58/2.65 c multilinear : 0.00 0.00 55 33 0 0 0 0 0 0 0 0 0
2.58/2.65 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
2.58/2.65 c rapidlearning : 0.28 0.00 15 2 0 62 0 0 0 0 0 0 20
2.58/2.65 c rlt : 0.03 0.00 55 20 0 0 47 79 7 36 33 3 0
2.58/2.65 c zerohalf : 0.01 0.00 103 31 0 0 79 146 30 21 14 7 0
2.58/2.65 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
2.58/2.65 c hybrid : 0.02 0.00 1550 33 4298 0 17049 362 0 5443
2.58/2.65 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c Pricers : ExecTime SetupTime Calls Vars
2.58/2.65 c problem variables: 0.00 - 0 0
2.58/2.65 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
2.58/2.65 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c random : 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c relpscost : 0.10 0.00 1285 0 0 0 362 0 89 2426
2.58/2.65 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
2.58/2.65 c Primal Heuristics : ExecTime SetupTime Calls Found Best
2.58/2.65 c LP solutions : 0.00 - - 1 1
2.58/2.65 c relax solutions : 0.00 - - 0 0
2.58/2.65 c pseudo solutions : 0.00 - - 0 0
2.58/2.65 c strong branching : 0.00 - - 0 0
2.58/2.65 c actconsdiving : 0.00 0.00 0 0 0
2.58/2.65 c adaptivediving : 0.00 0.00 2 0 0
2.58/2.65 c alns : 0.04 0.00 5 1 1
2.58/2.65 c bound : 0.00 0.00 0 0 0
2.58/2.65 c clique : 0.00 0.00 1 0 0
2.58/2.65 c coefdiving : 0.00 0.00 0 0 0
2.58/2.65 c completesol : 0.00 0.00 0 0 0
2.58/2.65 c conflictdiving : 0.01 0.00 2 0 0
2.58/2.65 c crossover : 0.01 0.00 1 0 0
2.58/2.65 c dins : 0.00 0.00 0 0 0
2.58/2.65 c distributiondivin: 0.01 0.00 1 0 0
2.58/2.65 c dps : 0.00 0.00 0 0 0
2.58/2.65 c dualval : 0.00 0.00 0 0 0
2.58/2.65 c farkasdiving : 0.05 0.00 2 0 0
2.58/2.65 c feasjump : 0.00 0.00 0 0 0
2.58/2.65 c feaspump : 0.00 0.00 1 0 0
2.58/2.65 c fixandinfer : 0.00 0.00 0 0 0
2.58/2.65 c fracdiving : 0.00 0.00 2 0 0
2.58/2.65 c gins : 0.00 0.00 0 0 0
2.58/2.65 c guideddiving : 0.00 0.00 1 0 0
2.58/2.65 c indcoefdiving : 0.00 0.00 0 0 0
2.58/2.65 c indicator : 0.00 0.00 0 0 0
2.58/2.65 c indicatordiving : 0.00 0.00 0 0 0
2.58/2.65 c indoneopt : 0.00 0.00 0 0 0
2.58/2.65 c indrounding : 0.00 0.00 0 0 0
2.58/2.65 c indtwoopt : 0.00 0.00 0 0 0
2.58/2.65 c intdiving : 0.00 0.00 0 0 0
2.58/2.65 c intshifting : 0.00 0.00 0 0 0
2.58/2.65 c linesearchdiving : 0.00 0.00 1 0 0
2.58/2.65 c localbranching : 0.00 0.00 0 0 0
2.58/2.65 c locks : 0.00 0.00 1 0 0
2.58/2.65 c lpface : 0.00 0.00 0 0 0
2.58/2.65 c mpec : 0.00 0.00 0 0 0
2.58/2.65 c multistart : 0.00 0.00 0 0 0
2.58/2.65 c mutation : 0.00 0.00 0 0 0
2.58/2.65 c nlpdiving : 0.00 0.00 0 0 0
2.58/2.65 c objpscostdiving : 0.00 0.00 1 0 0
2.58/2.65 c octane : 0.00 0.00 0 0 0
2.58/2.65 c ofins : 0.00 0.00 0 0 0
2.58/2.65 c oneopt : 0.00 0.00 3 0 0
2.58/2.65 c padm : 0.00 0.00 0 0 0
2.58/2.65 c proximity : 0.00 0.00 0 0 0
2.58/2.65 c pscostdiving : 0.00 0.00 2 0 0
2.58/2.65 c randrounding : 0.01 0.00 157 0 0
2.58/2.65 c rens : 0.01 0.00 2 0 0
2.58/2.65 c reoptsols : 0.00 0.00 0 0 0
2.58/2.65 c repair : 0.00 0.00 0 0 0
2.58/2.65 c rins : 0.04 0.00 6 0 0
2.58/2.65 c rootsoldiving : 0.00 0.00 1 0 0
2.58/2.65 c rounding : 0.00 0.00 671 0 0
2.58/2.65 c scheduler : 0.00 0.00 0 0 0
2.58/2.65 c shiftandpropagate: 0.00 0.00 0 0 0
2.58/2.65 c shifting : 0.06 0.00 242 0 0
2.58/2.65 c simplerounding : 0.00 0.00 17 0 0
2.58/2.65 c smallcard : 0.00 0.00 0 0 0
2.58/2.65 c subnlp : 0.00 0.00 0 0 0
2.58/2.65 c trivial : 0.00 0.00 4 0 0
2.58/2.65 c trivialnegation : 0.00 0.00 0 0 0
2.58/2.65 c trustregion : 0.00 0.00 0 0 0
2.58/2.65 c trysol : 0.00 0.00 0 0 0
2.58/2.65 c twoopt : 0.00 0.00 0 0 0
2.58/2.65 c undercover : 0.02 0.00 1 1 1
2.58/2.65 c vbounds : 0.00 0.00 2 1 1
2.58/2.65 c veclendiving : 0.00 0.00 1 0 0
2.58/2.65 c zeroobj : 0.00 0.00 0 0 0
2.58/2.65 c zirounding : 0.00 0.00 1000 0 0
2.58/2.65 c other solutions : - - - 0 -
2.58/2.65 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
2.58/2.65 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.58/2.65 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.58/2.65 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.58/2.65 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.58/2.65 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.58/2.65 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.58/2.65 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.58/2.65 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
2.58/2.65 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
2.58/2.65 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
2.58/2.65 c primal LP : 0.03 280 0 0.00 0.00 0.03 280
2.58/2.65 c dual LP : 0.49 2858 10376 3.67 21388.13 0.00 31
2.58/2.65 c lex dual LP : 0.00 0 0 0.00 -
2.58/2.65 c barrier LP : 0.00 0 0 0.00 - 0.00 0
2.58/2.65 c resolve instable : 0.00 0 0 0.00 -
2.58/2.65 c diving/probing LP: 0.08 308 4209 13.67 53620.57
2.58/2.65 c strong branching : 0.04 253 935 3.70 24334.38 - - 18
2.58/2.65 c (at root node) : - 4 51 12.75 -
2.58/2.65 c conflict analysis: 0.00 2 12 6.00 -
2.58/2.65 c B&B Tree :
2.58/2.65 c number of runs : 2
2.58/2.65 c nodes : 1699 (1212 internal, 487 leaves)
2.58/2.65 c feasible leaves : 1
2.58/2.65 c infeas. leaves : 486
2.58/2.65 c objective leaves : 0
2.58/2.65 c nodes (total) : 1700 (1213 internal, 487 leaves)
2.58/2.65 c nodes left : 0
2.58/2.65 c max depth : 62
2.58/2.65 c max depth (total): 62
2.58/2.65 c backtracks : 253 (14.9%)
2.58/2.65 c early backtracks : 0 (0.0%)
2.58/2.65 c nodes exc. ref. : 0 (0.0%)
2.58/2.65 c delayed cutoffs : 53
2.58/2.65 c repropagations : 323 (728 domain reductions, 47 cutoffs)
2.58/2.65 c avg switch length: 4.99
2.58/2.65 c switching time : 0.07
2.58/2.65 c Root Node :
2.58/2.65 c First LP value : +3.00000000000000e+00
2.58/2.65 c First LP Iters : 14 (36939.31 Iter/sec)
2.58/2.65 c First LP Time : 0.00
2.58/2.65 c Final Dual Bound : +3.00000000000000e+00
2.58/2.65 c Final Root Iters : 909
2.58/2.65 c Root LP Estimate : +3.54378952405730e+00
2.58/2.65 c Solution :
2.58/2.65 c Solutions found : 4 (4 improvements)
2.58/2.65 c First Solution : +1.29000000000000e+02 (in run 1, after 1 nodes, 0.01 seconds, depth 84, found by <vbounds>)
2.58/2.65 c Gap First Sol. : 12800.00 %
2.58/2.65 c Gap Last Sol. : 0.00 %
2.58/2.65 c Primal Bound : +3.00000000000000e+00 (in run 2, after 1699 nodes, 2.65 seconds, depth 53, found by <relaxation>)
2.58/2.65 c Dual Bound : +3.00000000000000e+00
2.58/2.65 c Gap : 0.00 %
2.58/2.65 c Integrals : Total Avg%
2.58/2.65 c primal-dual : 225.87 85.16
2.58/2.65 c primal-ref : - - (not evaluated)
2.58/2.65 c dual-ref : - - (not evaluated)
2.58/2.66 c Time complete: 2.64668.
OK 3
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: 63968 MiB (59407 MiB free)
memory of node 1: 64473 MiB (60336 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459688-1721939462/watcher-4459688-1721939462 -o /tmp/evaluation-result-4459688-1721939462/solver-4459688-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721939462-253744 --watchdog 3760 pbscip -f HOME/instance-4459688-1721939462.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=253774, runsolver pid=253771
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 0.08 0.10 0.17 3/241 253778
/proc/meminfo: memFree=122603252/131524600 swapFree=131060368/131071996
[pid=253774] ppid=253771 vsize=69904 memory=30796 CPUtime=0.09 cores=1,3
/proc/253774/stat : 253774 (pbscip) R 253771 253774 253732 0 -1 4194304 4084 0 0 0 9 0 0 0 20 0 1 0 30474121 71581696 7699 134679101440 4194304 18693293 140737367225152 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55578624 140737367233543 140737367233642 140737367233642 140737367240654 0
/proc/253774/statm: 17476 7699 3995 3540 0 5733 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69904 KiB
Current children cumulated memory: 30796 KiB
[startup+0.205522 s]*
/proc/loadavg: 0.08 0.10 0.17 2/241 253794
/proc/meminfo: memFree=122583760/131524600 swapFree=131060368/131071996
[pid=253774] ppid=253771 vsize=70800 memory=32236 CPUtime=0.2 cores=1,3
/proc/253774/stat : 253774 (pbscip) R 253771 253774 253732 0 -1 4194304 4417 0 0 0 20 0 0 0 20 0 1 0 30474121 72499200 8059 134679101440 4194304 18693293 140737367225152 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55578624 140737367233543 140737367233642 140737367233642 140737367240654 0
/proc/253774/statm: 17700 8059 4027 3540 0 5957 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 70800 KiB
Current children cumulated memory: 32236 KiB
[startup+0.305375 s]*
/proc/loadavg: 0.08 0.10 0.17 3/245 253798
/proc/meminfo: memFree=122536040/131524600 swapFree=131060368/131071996
[pid=253774] ppid=253771 vsize=73572 memory=35140 CPUtime=0.29 cores=1,3
/proc/253774/stat : 253774 (pbscip) R 253771 253774 253732 0 -1 4194304 5098 0 0 0 29 0 0 0 20 0 1 0 30474121 75337728 8785 134679101440 4194304 18693293 140737367225152 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55578624 140737367233543 140737367233642 140737367233642 140737367240654 0
/proc/253774/statm: 18393 8785 4027 3540 0 6650 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73572 KiB
Current children cumulated memory: 35140 KiB
[startup+0.700208 s]
/proc/loadavg: 0.08 0.10 0.17 4/250 253813
/proc/meminfo: memFree=122491224/131524600 swapFree=131060368/131071996
[pid=253774] ppid=253771 vsize=80332 memory=41212 CPUtime=0.69 cores=1,3
/proc/253774/stat : 253774 (pbscip) R 253771 253774 253732 0 -1 4194304 6717 0 0 0 68 1 0 0 20 0 1 0 30474121 82259968 10303 134679101440 4194304 18693293 140737367225152 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55578624 140737367233543 140737367233642 140737367233642 140737367240654 0
/proc/253774/statm: 20083 10303 4027 3540 0 8340 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 80332 KiB
Current children cumulated memory: 41212 KiB
[startup+1.50022 s]
/proc/loadavg: 0.08 0.10 0.17 4/250 253836
/proc/meminfo: memFree=122471344/131524600 swapFree=131060368/131071996
[pid=253774] ppid=253771 vsize=98360 memory=58160 CPUtime=1.48 cores=1,3
/proc/253774/stat : 253774 (pbscip) R 253771 253774 253732 0 -1 4194304 11015 0 0 0 147 1 0 0 20 0 1 0 30474121 100720640 14540 134679101440 4194304 18693293 140737367225152 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55578624 140737367233543 140737367233642 140737367233642 140737367240654 0
/proc/253774/statm: 24590 14540 4027 3540 0 12847 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 98360 KiB
Current children cumulated memory: 58160 KiB
[startup+2.66478 s]
# the end of solver process 253774 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2.62681 s, system=0.024897 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60022 s]
/proc/loadavg: 0.08 0.10 0.17 4/250 253836
/proc/meminfo: memFree=122471344/131524600 swapFree=131060368/131071996
[pid=253774] ppid=253771 vsize=98360 memory=58160 CPUtime=1.58 cores=1,3
/proc/253774/stat : 253774 (pbscip) R 253771 253774 253732 0 -1 4194304 11016 0 0 0 157 1 0 0 20 0 1 0 30474121 100720640 14540 134679101440 4194304 18693293 140737367225152 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55578624 140737367233543 140737367233642 140737367233642 140737367240654 0
/proc/253774/statm: 24590 14540 4027 3540 0 12847 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 98360 KiB
Current children cumulated memory: 58160 KiB
[startup+2.40019 s]
/proc/loadavg: 0.08 0.10 0.17 5/256 253851
/proc/meminfo: memFree=122267836/131524600 swapFree=131060368/131071996
[pid=253774] ppid=253771 vsize=99736 memory=59944 CPUtime=2.38 cores=1,3
/proc/253774/stat : 253774 (pbscip) R 253771 253774 253732 0 -1 4194304 11506 0 0 0 236 2 0 0 20 0 1 0 30474121 102129664 14986 134679101440 4194304 18693293 140737367225152 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55578624 140737367233543 140737367233642 140737367233642 140737367240654 0
/proc/253774/statm: 24934 14986 4027 3540 0 13191 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 99736 KiB
Current children cumulated memory: 59944 KiB
[startup+2.60016 s]
/proc/loadavg: 0.08 0.10 0.17 5/256 253851
/proc/meminfo: memFree=122267836/131524600 swapFree=131060368/131071996
[pid=253774] ppid=253771 vsize=99736 memory=59944 CPUtime=2.58 cores=1,3
/proc/253774/stat : 253774 (pbscip) R 253771 253774 253732 0 -1 4194304 11507 0 0 0 256 2 0 0 20 0 1 0 30474121 102129664 14986 134679101440 4194304 18693293 140737367225152 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55578624 140737367233543 140737367233642 140737367233642 140737367240654 0
/proc/253774/statm: 24934 14986 4027 3540 0 13191 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 99736 KiB
Current children cumulated memory: 59944 KiB
Child status: 0
Real time (s): 2.6648
CPU time (s): 2.6517
CPU user time (s): 2.62681
CPU system time (s): 0.024897
CPU usage (%): 99.5084
Max. virtual memory (cumulated for all children) (KiB): 99736
Max. memory (cumulated for all children) (KiB): 59944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.62681
system time used= 0.024897
maximum resident set size= 59944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11512
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= 8
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 253774
# total CPU time (s): 2.6517
# total CPU user time (s): 2.62681
# total CPU system time (s): 0.024897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017671 second user time and 0.03946 second system time
The end
Begin job on nodeC014 at 2024-07-25 22:31:02 IDJOB=4459688 IDBENCH=148376 IDSOLVER=3059 FILE ID=nodeC014/4459688-1721939462 RUNJOBID= nodeC014-1721939462-253744 SLURM_JOB_ID= 8247236 Free space on /tmp= 890020 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.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-4459688-1721939462/watcher-4459688-1721939462 -o /tmp/evaluation-result-4459688-1721939462/solver-4459688-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721939462-253744 --watchdog 3760 pbscip -f HOME/instance-4459688-1721939462.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ad55eb05599a6ea41980b44e9f9ded8a RANDOM SEED=1503976896 nodeC014.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 : 3590.860 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.45 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 : 3681.211 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 : 7005.48 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 : 3594.650 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.45 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 : 3692.673 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 : 7005.48 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 : 3590.920 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.45 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 : 3600.434 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 : 7005.48 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 : 3061.193 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.45 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 : 3614.528 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 : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122617308 kB MemAvailable: 129789528 kB Buffers: 332168 kB Cached: 7632584 kB SwapCached: 140 kB Active: 757348 kB Inactive: 7482472 kB Active(anon): 2056 kB Inactive(anon): 325996 kB Active(file): 755292 kB Inactive(file): 7156476 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060368 kB Dirty: 37008 kB Writeback: 0 kB AnonPages: 272272 kB Mapped: 97924 kB Shmem: 52988 kB KReclaimable: 200552 kB Slab: 323564 kB SReclaimable: 200552 kB SUnreclaim: 123012 kB KernelStack: 3876 kB PageTables: 9432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 656824 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 12800 kB HardwareCorrupted: 0 kB AnonHugePages: 157696 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: 393940 kB DirectMap2M: 46565376 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 889964 MiB End job on nodeC014 at 2024-07-25 22:31:05