Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | OPTIMUM | 0.98247 | 0.987417 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-geom30a-5_wcsp.wbo |
| MD5SUM | 5821ab8ff6a6257c3649066fd92bc505 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.040603 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 150 |
| Total number of constraints | 435 |
| Number of soft constraints | 405 |
| Number of constraints which are clauses | 405 |
| Number of constraints which are cardinality constraints (but not clauses) | 30 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 5 |
| Top cost | 82 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 405 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 6 |
| Number of bits of the biggest sum of numbers | 3 |
| 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-4425186-1720893679.wbo>
0.00/0.00 c original problem has 555 variables (555 bin, 0 int, 0 impl, 0 cont) and 841 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 c presolving:
0.00/0.01 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 435 clqs
0.00/0.01 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 435 clqs
0.00/0.01 c (round 3, exhaustive) 25 del vars, 0 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 410 clqs
0.00/0.02 c (round 4, exhaustive) 50 del vars, 0 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 385 clqs
0.00/0.02 c (round 5, fast) 50 del vars, 25 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 385 clqs
0.00/0.02 c (round 6, exhaustive) 75 del vars, 25 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 360 clqs
0.00/0.02 c (round 7, fast) 75 del vars, 50 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 360 clqs
0.00/0.03 c (round 8, exhaustive) 100 del vars, 50 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 335 clqs
0.00/0.03 c (round 9, fast) 100 del vars, 75 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 335 clqs
0.00/0.03 c (round 10, exhaustive) 125 del vars, 75 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 310 clqs
0.00/0.03 c (round 11, fast) 125 del vars, 100 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 310 clqs
0.00/0.03 c (round 12, exhaustive) 150 del vars, 100 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 285 clqs
0.00/0.03 c (round 13, fast) 150 del vars, 125 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 285 clqs
0.00/0.04 c (round 14, exhaustive) 175 del vars, 125 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 260 clqs
0.00/0.04 c (round 15, fast) 175 del vars, 150 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 260 clqs
0.00/0.04 c (round 16, exhaustive) 200 del vars, 150 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 235 clqs
0.00/0.04 c (round 17, fast) 200 del vars, 175 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 235 clqs
0.00/0.05 c (round 18, exhaustive) 225 del vars, 175 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 210 clqs
0.00/0.05 c (round 19, fast) 225 del vars, 200 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 210 clqs
0.00/0.05 c (round 20, exhaustive) 250 del vars, 200 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 185 clqs
0.00/0.05 c (round 21, fast) 250 del vars, 225 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 185 clqs
0.00/0.05 c (round 22, exhaustive) 275 del vars, 225 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 160 clqs
0.00/0.05 c (round 23, fast) 275 del vars, 250 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 160 clqs
0.00/0.06 c (round 24, exhaustive) 300 del vars, 250 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 135 clqs
0.00/0.06 c (round 25, fast) 300 del vars, 275 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 135 clqs
0.00/0.06 c (round 26, exhaustive) 325 del vars, 275 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 110 clqs
0.00/0.06 c (round 27, fast) 325 del vars, 300 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 110 clqs
0.00/0.06 c (round 28, exhaustive) 350 del vars, 300 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 85 clqs
0.00/0.06 c (round 29, fast) 350 del vars, 325 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 85 clqs
0.00/0.07 c (round 30, exhaustive) 375 del vars, 325 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 60 clqs
0.00/0.07 c (round 31, fast) 375 del vars, 350 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 60 clqs
0.00/0.07 c (round 32, exhaustive) 400 del vars, 350 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 35 clqs
0.00/0.07 c (round 33, fast) 400 del vars, 375 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 35 clqs
0.00/0.07 c (0.1s) probing: 857/960 (89.3%) - 0 fixings, 405 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.07 c (round 34, exhaustive) 405 del vars, 375 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 30 clqs
0.00/0.07 c (round 35, fast) 405 del vars, 400 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 0 impls, 30 clqs
0.00/0.07 c (0.1s) probing: 862/960 (89.8%) - 0 fixings, 405 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.07 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.07 c (0.1s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.08 c dynamic symmetry handling statistics:
0.00/0.08 c orbitopal reduction: no components
0.00/0.08 c orbital reduction: 1 components of sizes 3
0.00/0.08 c lexicographic reduction: 3 permutations with support sizes 30, 50, 222
0.00/0.08 c handled 1 out of 1 symmetry components
0.00/0.08 c presolving (36 rounds: 36 fast, 19 medium, 19 exhaustive):
0.00/0.08 c 405 deleted vars, 400 deleted constraints, 0 added constraints, 405 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08 c 0 implications, 30 cliques
0.00/0.08 c presolved problem has 555 variables (555 bin, 0 int, 0 impl, 0 cont) and 441 constraints
0.00/0.08 c 1 constraints of type <knapsack>
0.00/0.08 c 30 constraints of type <setppc>
0.00/0.08 c 405 constraints of type <linear>
0.00/0.08 c 5 constraints of type <indicator>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.07
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 10.0.0
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.08 c limits/time = 3596.997043
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.08 c limits/memory = 27900
0.00/0.08 c
0.00/0.08 c # belongs reading time to solving time?
0.00/0.08 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c timing/reading = TRUE
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c
0.00/0.08 o 81
0.00/0.08 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.08 c p 0.1s| 1 | 0 | 0 | - | clique| 0 | 555 | 441 | 435 | 0 | 0 | 0 | 0 | 0.000000e+00 | 8.100000e+01 | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 61 | - | 12M | 0 | 555 | 450 | 435 | 0 | 0 | 9 | 0 | 0.000000e+00 | 8.100000e+01 | Inf | unknown
0.00/0.09 o 39
0.00/0.09 c r 0.1s| 1 | 0 | 61 | - |shifting| 0 | 555 | 441 | 435 | 0 | 0 | 9 | 0 | 0.000000e+00 | 3.900000e+01 | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 86 | - | 12M | 0 | 555 | 441 | 444 | 9 | 1 | 9 | 0 | 0.000000e+00 | 3.900000e+01 | Inf | unknown
0.00/0.09 o 33
0.00/0.09 c r 0.1s| 1 | 0 | 86 | - |shifting| 0 | 555 | 441 | 444 | 9 | 1 | 9 | 0 | 0.000000e+00 | 3.300000e+01 | Inf | unknown
0.00/0.09 o 32
0.00/0.09 c i 0.1s| 1 | 0 | 86 | - | oneopt| 0 | 555 | 441 | 444 | 9 | 1 | 9 | 0 | 0.000000e+00 | 3.200000e+01 | Inf | unknown
0.00/0.10 c 0.1s| 1 | 0 | 125 | - | 12M | 0 | 555 | 441 | 452 | 17 | 2 | 9 | 0 | 0.000000e+00 | 3.200000e+01 | Inf | unknown
0.00/0.11 o 19
0.00/0.11 c r 0.1s| 1 | 0 | 125 | - |shifting| 0 | 555 | 441 | 452 | 17 | 2 | 9 | 0 | 0.000000e+00 | 1.900000e+01 | Inf | unknown
0.00/0.11 c 0.1s| 1 | 0 | 134 | - | 12M | 0 | 555 | 441 | 459 | 24 | 3 | 9 | 0 | 0.000000e+00 | 1.900000e+01 | Inf | unknown
0.00/0.11 o 18
0.00/0.11 c r 0.1s| 1 | 0 | 134 | - |shifting| 0 | 555 | 441 | 459 | 24 | 3 | 9 | 0 | 0.000000e+00 | 1.800000e+01 | Inf | unknown
0.10/0.11 c 0.1s| 1 | 0 | 161 | - | 12M | 0 | 555 | 441 | 464 | 29 | 4 | 9 | 0 | 0.000000e+00 | 1.800000e+01 | Inf | unknown
0.10/0.12 c 0.1s| 1 | 0 | 181 | - | 13M | 0 | 555 | 441 | 472 | 37 | 5 | 9 | 0 | 0.000000e+00 | 1.800000e+01 | Inf | unknown
0.10/0.13 o 15
0.10/0.13 c r 0.1s| 1 | 0 | 181 | - |shifting| 0 | 555 | 441 | 472 | 37 | 5 | 9 | 0 | 0.000000e+00 | 1.500000e+01 | Inf | unknown
0.10/0.14 c 0.1s| 1 | 0 | 205 | - | 14M | 0 | 555 | 441 | 480 | 45 | 6 | 9 | 0 | 0.000000e+00 | 1.500000e+01 | Inf | unknown
0.10/0.16 c 0.2s| 1 | 0 | 221 | - | 16M | 0 | 555 | 441 | 484 | 49 | 7 | 9 | 0 | 0.000000e+00 | 1.500000e+01 | Inf | unknown
0.10/0.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.10/0.18 c 0.2s| 1 | 0 | 240 | - | 17M | 0 | 555 | 441 | 488 | 53 | 8 | 9 | 0 | 0.000000e+00 | 1.500000e+01 | Inf | unknown
0.10/0.21 c 0.2s| 1 | 0 | 259 | - | 18M | 0 | 555 | 441 | 492 | 57 | 9 | 9 | 0 | 0.000000e+00 | 1.500000e+01 | Inf | unknown
0.21/0.25 c 0.3s| 1 | 0 | 272 | - | 22M | 0 | 555 | 441 | 495 | 60 | 10 | 9 | 0 | 0.000000e+00 | 1.500000e+01 | Inf | unknown
0.21/0.25 o 10
0.21/0.25 c r 0.3s| 1 | 0 | 272 | - |shifting| 0 | 555 | 441 | 495 | 60 | 10 | 9 | 0 | 0.000000e+00 | 1.000000e+01 | Inf | unknown
0.21/0.26 c 0.3s| 1 | 0 | 285 | - | 23M | 0 | 555 | 441 | 493 | 64 | 11 | 9 | 0 | 0.000000e+00 | 1.000000e+01 | Inf | unknown
0.21/0.26 o 9
0.21/0.26 c i 0.3s| 1 | 0 | 285 | - | oneopt| 0 | 555 | 441 | 493 | 64 | 11 | 9 | 0 | 0.000000e+00 | 9.000000e+00 | Inf | unknown
0.21/0.26 c 0.3s| 1 | 0 | 308 | - | 23M | 0 | 555 | 441 | 497 | 68 | 12 | 9 | 0 | 0.000000e+00 | 9.000000e+00 | Inf | unknown
0.21/0.27 c 0.3s| 1 | 0 | 311 | - | 23M | 0 | 555 | 441 | 499 | 70 | 13 | 9 | 0 | 0.000000e+00 | 9.000000e+00 | Inf | unknown
0.21/0.28 o 8
0.21/0.28 c L 0.3s| 1 | 0 | 320 | - | alns| 0 | 555 | 441 | 499 | 70 | 13 | 9 | 0 | 0.000000e+00 | 8.000000e+00 | Inf | unknown
0.21/0.28 c 0.3s| 1 | 0 | 320 | - | 23M | 0 | 555 | 441 | 499 | 70 | 13 | 9 | 0 | 0.000000e+00 | 8.000000e+00 | Inf | unknown
0.21/0.28 o 7
0.21/0.28 c i 0.3s| 1 | 0 | 320 | - | oneopt| 0 | 555 | 441 | 499 | 70 | 13 | 9 | 0 | 0.000000e+00 | 7.000000e+00 | Inf | unknown
0.21/0.29 c 0.3s| 1 | 0 | 327 | - | 23M | 0 | 555 | 441 | 485 | 72 | 14 | 9 | 0 | 0.000000e+00 | 7.000000e+00 | Inf | unknown
0.21/0.32 c 0.3s| 1 | 2 | 333 | - | 23M | 0 | 555 | 441 | 485 | 72 | 15 | 9 | 25 | 0.000000e+00 | 7.000000e+00 | Inf | unknown
0.31/0.39 o 3
0.31/0.39 c r 0.4s| 11 | 10 | 534 | 21.6 |shifting| 10 | 555 | 441 | 451 | 72 | 0 | 9 | 128 | 0.000000e+00 | 3.000000e+00 | Inf | unknown
0.31/0.39 o 2
0.31/0.39 c * 0.4s| 11 | 5 | 540 | 22.2 | LP | 10 | 555 | 441 | 453 | 74 | 3 | 9 | 128 | 0.000000e+00 | 2.000000e+00 | Inf | 5.48%
0.51/0.53 o 1
0.51/0.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.51/0.53 c r 0.5s| 21 | 6 | 734 | 20.8 |rounding| 10 | 555 | 459 | 451 | 74 | 0 | 27 | 241 | 0.000000e+00 | 1.000000e+00 | Inf | 7.77%
0.69/0.79 c 0.8s| 100 | 15 | 1713 | 14.1 | 23M | 15 | 555 | 691 | 451 | 126 | 1 | 264 | 557 | 0.000000e+00 | 1.000000e+00 | Inf | 59.71%
0.88/0.96 c 1.0s| 200 | 4 | 2748 | 12.2 | 25M | 15 | 555 | 705 | 451 | 267 | 1 | 347 | 639 | 0.000000e+00 | 1.000000e+00 | Inf | 85.30%
0.88/0.97 c
0.88/0.97 c SCIP Status : problem is solved [optimal solution found]
0.88/0.97 c Solving Time (sec) : 0.97
0.88/0.97 c Solving Nodes : 210
0.88/0.97 c Primal Bound : +1.00000000000000e+00 (22 solutions)
0.88/0.97 c Dual Bound : +1.00000000000000e+00
0.88/0.97 c Gap : 0.00 %
0.88/0.97 s OPTIMUM FOUND
0.88/0.97 v x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 x136 x135 -x134 -x133 -x132 -x131 -x130 -x129
0.88/0.97 v x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 x107
0.88/0.97 v -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83
0.88/0.97 v x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 x59 -x58 -x57
0.88/0.97 v -x56 -x55 -x54 -x53 -x52 x51 -x50 x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 x34 -x33 -x32 -x31
0.88/0.97 v -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3
0.88/0.97 v -x2 x1
0.88/0.97 c SCIP Status : problem is solved [optimal solution found]
0.88/0.97 c Total Time : 0.97
0.88/0.97 c solving : 0.97
0.88/0.97 c presolving : 0.07 (included in solving)
0.88/0.97 c reading : 0.00 (included in solving)
0.88/0.97 c copying : 0.01 (2 #copies) (minimal 0.00, maximal 0.00, average 0.00)
0.88/0.97 c Original Problem :
0.88/0.97 c Problem name : HOME/instance-4425186-1720893679.wbo
0.88/0.97 c Variables : 555 (555 binary, 0 integer, 0 implicit integer, 0 continuous)
0.88/0.97 c Constraints : 841 initial, 841 maximal
0.88/0.97 c Objective : minimize, 405 non-zeros (abs.min = 1, abs.max = 1)
0.88/0.97 c Presolved Problem :
0.88/0.97 c Problem name : t_HOME/instance-4425186-1720893679.wbo
0.88/0.97 c Variables : 555 (555 binary, 0 integer, 0 implicit integer, 0 continuous)
0.88/0.97 c Constraints : 441 initial, 744 maximal
0.88/0.97 c Objective : minimize, 405 non-zeros (abs.min = 1, abs.max = 1)
0.88/0.97 c Nonzeros : 1795 constraint, 156 clique table
0.88/0.97 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
0.88/0.97 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c domcol : 0.00 0.00 18 0 0 0 0 0 0 0 0 0
0.88/0.97 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.88/0.97 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c implics : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
0.88/0.97 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.88/0.97 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c trivial : 0.00 0.00 36 0 0 0 0 0 0 0 0 0
0.88/0.97 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c dualfix : 0.00 0.00 36 0 0 0 0 0 0 0 0 0
0.88/0.97 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c probing : 0.05 0.00 18 0 405 0 0 0 0 0 0 0
0.88/0.97 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.88/0.97 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.88/0.97 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.88/0.97 c knapsack : 0.00 0.00 70 0 0 0 0 0 0 0 0 0
0.88/0.97 c setppc : 0.00 0.00 70 0 0 0 0 0 0 0 0 0
0.88/0.97 c linear : 0.01 0.00 55 0 0 0 405 0 0 0 0 0
0.88/0.97 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c indicator : 0.00 0.00 18 0 0 0 0 0 400 0 0 0
0.88/0.97 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.88/0.97 c root node : - - - 440 - - 440 - - - - -
0.88/0.97 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
0.88/0.97 c benderslp : 0 0 0 0 158 0 0 272 0 0 0 0 0 0 0
0.88/0.97 c integral : 0 0 0 0 158 0 0 272 0 0 158 0 0 230 222
0.88/0.97 c knapsack : 1+ 14 0 5653 0 0 0 266 6 1 10 0 0 0 0
0.88/0.97 c setppc : 30+ 31 14 5804 1 0 0 264 405 23 449 0 0 0 0
0.88/0.97 c linear : 405+ 406 14 5780 1 0 0 250 1250 96 1232 0 0 0 0
0.88/0.97 c logicor : 0+ 330 0 960 0 0 0 0 272 31 284 0 0 0 0
0.88/0.97 c benders : 0 0 0 0 1 0 0 23 0 0 0 0 0 0 0
0.88/0.97 c indicator : 5 5 16 3847 0 0 0 21 0 0 0 0 0 0 0
0.88/0.97 c fixedvar : 0 0 0 0 1 0 0 23 0 0 0 0 0 0 0
0.88/0.97 c countsols : 0 0 0 0 1 0 0 23 0 0 0 0 0 0 0
0.88/0.97 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
0.88/0.97 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c integral : 0.41 0.00 0.00 0.00 0.41 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c setppc : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c linear : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
0.88/0.97 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c indicator : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c Propagators : #Propagate #ResProp Cutoffs DomReds
0.88/0.97 c dualfix : 3 0 0 0
0.88/0.97 c genvbounds : 0 0 0 0
0.88/0.97 c nlobbt : 0 0 0 0
0.88/0.97 c obbt : 0 0 0 0
0.88/0.97 c probing : 0 0 0 0
0.88/0.97 c pseudoobj : 749 0 0 14
0.88/0.97 c redcost : 365 0 0 778
0.88/0.97 c rootredcost : 4 0 0 405
0.88/0.97 c symmetry : 1917 0 33 190
0.88/0.97 c vbounds : 1565 0 0 0
0.88/0.97 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
0.88/0.97 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
0.88/0.97 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c symmetry : 0.01 0.00 0.00 0.01 0.00 0.00
0.88/0.97 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.88/0.97 c Symmetry :
0.88/0.97 c orbitopal red. : 0 reductions applied, 0 cutoffs
0.88/0.97 c orbital reduction: 190 reductions applied, 33 cutoffs
0.88/0.97 c lexicographic red: 0 reductions applied, 0 cutoffs
0.88/0.97 c shadow tree time : 0.00 s
0.88/0.97 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
0.88/0.97 c propagation : 0.00 151 148 - 318 8.0 3 11.0 - - -
0.88/0.97 c infeasible LP : 0.00 29 29 - 91 8.1 1 7.0 29 10.7 0
0.88/0.97 c bound exceed. LP : 0.00 6 1 - 20 70.0 0 0.0 0 0.0 40
0.88/0.97 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
0.88/0.97 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.88/0.97 c applied globally : 0.00 - - 0 329 9.1 - - 29 - -
0.88/0.97 c applied locally : - - - 0 0 0.0 - - 0 - -
0.88/0.97 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
0.88/0.97 c cut pool : 0.01 - 99 28 - - 1928 3827 - - - - - (maximal pool size: 1928)
0.88/0.97 c aggregation : 0.02 0.00 49 14 0 0 1 1 0 0 0 0 0
0.88/0.97 c > cmir : - - - - - - - 1 0 0 0 0 -
0.88/0.97 c > flowcover : - - - - - - - 0 0 0 0 0 -
0.88/0.97 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
0.88/0.97 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c clique : 0.00 0.00 14 14 0 0 0 0 0 0 0 0 0
0.88/0.97 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c gomory : 0.21 0.00 45 10 0 0 1851 3473 36 115 115 0 0
0.88/0.97 c > gomorymi : - - - - - - - 1371 18 26 26 0 -
0.88/0.97 c > strongcg : - - - - - - - 2102 18 89 89 0 -
0.88/0.97 c impliedbounds : 0.00 0.00 49 14 0 0 0 0 0 0 0 0 0
0.88/0.97 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
0.88/0.97 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c multilinear : 0.00 0.00 32 14 0 0 0 0 0 0 0 0 0
0.88/0.97 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.88/0.97 c rlt : 0.00 0.00 26 10 0 0 0 0 0 0 0 0 0
0.88/0.97 c zerohalf : 0.02 0.00 49 14 0 0 144 353 32 152 149 3 0
0.88/0.97 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
0.88/0.97 c hybrid : 0.00 0.00 49 14 267 0 3628 72 0 1990
0.88/0.97 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c Pricers : ExecTime SetupTime Calls Vars
0.88/0.97 c problem variables: 0.00 - 0 0
0.88/0.97 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
0.88/0.97 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c random : 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c relpscost : 0.41 0.00 157 0 0 0 158 0 230 222
0.88/0.97 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
0.88/0.97 c Primal Heuristics : ExecTime SetupTime Calls Found Best
0.88/0.97 c LP solutions : 0.00 - - 1 1
0.88/0.97 c relax solutions : 0.00 - - 0 0
0.88/0.97 c pseudo solutions : 0.00 - - 0 0
0.88/0.97 c strong branching : 0.00 - - 0 0
0.88/0.97 c actconsdiving : 0.00 0.00 0 0 0
0.88/0.97 c adaptivediving : 0.00 0.00 0 0 0
0.88/0.97 c alns : 0.01 0.00 1 1 1
0.88/0.97 c bound : 0.00 0.00 0 0 0
0.88/0.97 c clique : 0.00 0.00 1 1 1
0.88/0.97 c coefdiving : 0.00 0.00 0 0 0
0.88/0.97 c completesol : 0.00 0.00 0 0 0
0.88/0.97 c conflictdiving : 0.00 0.00 1 0 0
0.88/0.97 c crossover : 0.00 0.00 0 0 0
0.88/0.97 c dins : 0.00 0.00 0 0 0
0.88/0.97 c distributiondivin: 0.00 0.00 0 0 0
0.88/0.97 c dps : 0.00 0.00 0 0 0
0.88/0.97 c dualval : 0.00 0.00 0 0 0
0.88/0.97 c farkasdiving : 0.00 0.00 0 0 0
0.88/0.97 c feasjump : 0.00 0.00 0 0 0
0.88/0.97 c feaspump : 0.00 0.00 0 0 0
0.88/0.97 c fixandinfer : 0.00 0.00 0 0 0
0.88/0.97 c fracdiving : 0.00 0.00 0 0 0
0.88/0.97 c gins : 0.00 0.00 0 0 0
0.88/0.97 c guideddiving : 0.00 0.00 0 0 0
0.88/0.97 c indcoefdiving : 0.00 0.00 0 0 0
0.88/0.97 c indicator : 0.00 0.00 0 0 0
0.88/0.97 c indicatordiving : 0.00 0.00 0 0 0
0.88/0.97 c indoneopt : 0.01 0.00 11 0 0
0.88/0.97 c indrounding : 0.00 0.00 0 0 0
0.88/0.97 c indtwoopt : 0.00 0.00 0 0 0
0.88/0.97 c intdiving : 0.00 0.00 0 0 0
0.88/0.97 c intshifting : 0.00 0.00 0 0 0
0.88/0.97 c linesearchdiving : 0.00 0.00 0 0 0
0.88/0.97 c localbranching : 0.00 0.00 0 0 0
0.88/0.97 c locks : 0.00 0.00 1 0 0
0.88/0.97 c lpface : 0.06 0.00 1 0 0
0.88/0.97 c mpec : 0.00 0.00 0 0 0
0.88/0.97 c multistart : 0.00 0.00 0 0 0
0.88/0.97 c mutation : 0.00 0.00 0 0 0
0.88/0.97 c nlpdiving : 0.00 0.00 0 0 0
0.88/0.97 c objpscostdiving : 0.00 0.00 0 0 0
0.88/0.97 c octane : 0.00 0.00 0 0 0
0.88/0.97 c ofins : 0.00 0.00 0 0 0
0.88/0.97 c oneopt : 0.00 0.00 11 3 3
0.88/0.97 c padm : 0.00 0.00 0 0 0
0.88/0.97 c proximity : 0.00 0.00 0 0 0
0.88/0.97 c pscostdiving : 0.00 0.00 0 0 0
0.88/0.97 c randrounding : 0.01 0.00 16 0 0
0.88/0.97 c rens : 0.01 0.00 1 0 0
0.88/0.97 c reoptsols : 0.00 0.00 0 0 0
0.88/0.97 c repair : 0.00 0.00 0 0 0
0.88/0.97 c rins : 0.00 0.00 0 0 0
0.88/0.97 c rootsoldiving : 0.00 0.00 0 0 0
0.88/0.97 c rounding : 0.00 0.00 207 1 1
0.88/0.97 c scheduler : 0.00 0.00 0 0 0
0.88/0.97 c shiftandpropagate: 0.00 0.00 0 0 0
0.88/0.97 c shifting : 0.01 0.00 64 15 7
0.88/0.97 c simplerounding : 0.00 0.00 0 0 0
0.88/0.97 c smallcard : 0.00 0.00 0 0 0
0.88/0.97 c subnlp : 0.00 0.00 0 0 0
0.88/0.97 c trivial : 0.00 0.00 2 0 0
0.88/0.97 c trivialnegation : 0.00 0.00 0 0 0
0.88/0.97 c trustregion : 0.00 0.00 0 0 0
0.88/0.97 c trysol : 0.00 0.00 0 0 0
0.88/0.97 c twoopt : 0.00 0.00 0 0 0
0.88/0.97 c undercover : 0.00 0.00 0 0 0
0.88/0.97 c vbounds : 0.00 0.00 0 0 0
0.88/0.97 c veclendiving : 0.00 0.00 0 0 0
0.88/0.97 c zeroobj : 0.00 0.00 0 0 0
0.88/0.97 c zirounding : 0.00 0.00 110 0 0
0.88/0.97 c other solutions : - - - 0 -
0.88/0.97 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
0.88/0.97 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
0.88/0.97 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
0.88/0.97 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
0.88/0.97 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
0.88/0.97 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
0.88/0.97 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
0.88/0.97 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
0.88/0.97 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
0.88/0.97 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
0.88/0.97 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
0.88/0.97 c primal LP : 0.00 16 0 0.00 - 0.00 16
0.88/0.97 c dual LP : 0.06 226 2170 10.09 34308.84 0.00 11
0.88/0.97 c lex dual LP : 0.00 0 0 0.00 -
0.88/0.97 c barrier LP : 0.00 0 0 0.00 - 0.00 0
0.88/0.97 c resolve instable : 0.00 0 0 0.00 -
0.88/0.97 c diving/probing LP: 0.04 102 645 6.32 17269.08
0.88/0.97 c strong branching : 0.27 648 6810 10.51 24960.05 - - 25
0.88/0.97 c (at root node) : - 25 429 17.16 -
0.88/0.97 c conflict analysis: 0.00 5 40 8.00 -
0.88/0.97 c B&B Tree :
0.88/0.97 c number of runs : 1
0.88/0.97 c nodes : 210 (111 internal, 99 leaves)
0.88/0.97 c feasible leaves : 1
0.88/0.97 c infeas. leaves : 97
0.88/0.97 c objective leaves : 1
0.88/0.97 c nodes (total) : 210 (111 internal, 99 leaves)
0.88/0.97 c nodes left : 0
0.88/0.97 c max depth : 15
0.88/0.97 c max depth (total): 15
0.88/0.97 c backtracks : 39 (18.6%)
0.88/0.97 c early backtracks : 0 (0.0%)
0.88/0.97 c nodes exc. ref. : 0 (0.0%)
0.88/0.97 c delayed cutoffs : 3
0.88/0.97 c repropagations : 34 (85 domain reductions, 3 cutoffs)
0.88/0.97 c avg switch length: 2.85
0.88/0.97 c switching time : 0.01
0.88/0.97 c Root Node :
0.88/0.97 c First LP value : +0.00000000000000e+00
0.88/0.97 c First LP Iters : 61 (101836.39 Iter/sec)
0.88/0.97 c First LP Time : 0.00
0.88/0.97 c Final Dual Bound : +0.00000000000000e+00
0.88/0.97 c Final Root Iters : 318
0.88/0.97 c Root LP Estimate : +1.33418539054440e-01
0.88/0.97 c Solution :
0.88/0.97 c Solutions found : 22 (14 improvements)
0.88/0.97 c First Solution : +8.10000000000000e+01 (in run 1, after 1 nodes, 0.08 seconds, depth 32, found by <clique>)
0.88/0.97 c Gap First Sol. : infinite
0.88/0.97 c Gap Last Sol. : infinite
0.88/0.97 c Primal Bound : +1.00000000000000e+00 (in run 1, after 21 nodes, 0.53 seconds, depth 10, found by <rounding>)
0.88/0.97 c Dual Bound : +1.00000000000000e+00
0.88/0.97 c Gap : 0.00 %
0.88/0.97 c Integrals : Total Avg%
0.88/0.97 c primal-dual : 97.07 100.00
0.88/0.97 c primal-ref : - - (not evaluated)
0.88/0.97 c dual-ref : - - (not evaluated)
0.88/0.98 c Time complete: 0.977753.
OK 1
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: 64096 MiB (62080 MiB free)
memory of node 1: 64473 MiB (62255 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425186-1720893679/watcher-4425186-1720893679 -o /tmp/evaluation-result-4425186-1720893679/solver-4425186-1720893679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703900 --watchdog 3760 pbscip -f HOME/instance-4425186-1720893679.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=712849, runsolver pid=712846
[startup+0.1001 s]*
/proc/loadavg: 4.12 4.23 4.17 5/245 712850
/proc/meminfo: memFree=127307708/131655788 swapFree=131071996/131071996
[pid=712849] ppid=712846 vsize=68288 memory=27648 CPUtime=0.1 cores=0,2
/proc/712849/stat : 712849 (pbscip) R 712846 712849 703890 0 -1 4194304 3393 0 0 0 10 0 0 0 20 0 1 0 141525050 69926912 6912 134679101440 4194304 18693293 140723070133248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38612992 140723070141432 140723070141531 140723070141531 140723070148558 0
/proc/712849/statm: 17072 6912 3887 3540 0 5329 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 68288 KiB
Current children cumulated memory: 27648 KiB
[startup+0.213205 s]*
/proc/loadavg: 4.12 4.23 4.17 5/245 712850
/proc/meminfo: memFree=127301464/131655788 swapFree=131071996/131071996
[pid=712849] ppid=712846 vsize=75016 memory=33976 CPUtime=0.21 cores=0,2
/proc/712849/stat : 712849 (pbscip) R 712846 712849 703890 0 -1 4194304 4970 0 0 0 21 0 0 0 20 0 1 0 141525050 76816384 8494 134679101440 4194304 18693293 140723070133248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38612992 140723070141432 140723070141531 140723070141531 140723070148558 0
/proc/712849/statm: 18754 8494 3887 3540 0 7011 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 75016 KiB
Current children cumulated memory: 33976 KiB
[startup+0.313269 s]*
/proc/loadavg: 4.12 4.23 4.17 5/245 712850
/proc/meminfo: memFree=127293084/131655788 swapFree=131071996/131071996
[pid=712849] ppid=712846 vsize=83776 memory=42044 CPUtime=0.31 cores=0,2
/proc/712849/stat : 712849 (pbscip) R 712846 712849 703890 0 -1 4194304 6861 0 0 0 30 1 0 0 20 0 1 0 141525050 85786624 10511 134679101440 4194304 18693293 140723070133248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38612992 140723070141432 140723070141531 140723070141531 140723070148558 0
/proc/712849/statm: 20944 10511 3998 3540 0 9201 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 83776 KiB
Current children cumulated memory: 42044 KiB
[startup+0.700296 s]
/proc/loadavg: 4.12 4.23 4.17 5/245 712850
/proc/meminfo: memFree=127287592/131655788 swapFree=131071996/131071996
[pid=712849] ppid=712846 vsize=89744 memory=47100 CPUtime=0.69 cores=0,2
/proc/712849/stat : 712849 (pbscip) R 712846 712849 703890 0 -1 4194304 8123 0 0 0 68 1 0 0 20 0 1 0 141525050 91897856 11775 134679101440 4194304 18693293 140723070133248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38612992 140723070141432 140723070141531 140723070141531 140723070148558 0
/proc/712849/statm: 22436 11775 4009 3540 0 10693 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 89744 KiB
Current children cumulated memory: 47100 KiB
[startup+0.987363 s]
# the end of solver process 712849 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=0.963532 s, system=0.018938 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800346 s]
/proc/loadavg: 4.12 4.23 4.17 5/245 712850
/proc/meminfo: memFree=127287592/131655788 swapFree=131071996/131071996
[pid=712849] ppid=712846 vsize=89744 memory=47100 CPUtime=0.79 cores=0,2
/proc/712849/stat : 712849 (pbscip) R 712846 712849 703890 0 -1 4194304 8127 0 0 0 78 1 0 0 20 0 1 0 141525050 91897856 11775 134679101440 4194304 18693293 140723070133248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38612992 140723070141432 140723070141531 140723070141531 140723070148558 0
/proc/712849/statm: 22436 11775 4009 3540 0 10693 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 89744 KiB
Current children cumulated memory: 47100 KiB
[startup+0.900239 s]
/proc/loadavg: 4.12 4.23 4.17 5/245 712850
/proc/meminfo: memFree=127287592/131655788 swapFree=131071996/131071996
[pid=712849] ppid=712846 vsize=89744 memory=47100 CPUtime=0.88 cores=0,2
/proc/712849/stat : 712849 (pbscip) R 712846 712849 703890 0 -1 4194304 8133 0 0 0 87 1 0 0 20 0 1 0 141525050 91897856 11775 134679101440 4194304 18693293 140723070133248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38612992 140723070141432 140723070141531 140723070141531 140723070148558 0
/proc/712849/statm: 22436 11775 4009 3540 0 10693 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 89744 KiB
Current children cumulated memory: 47100 KiB
Child status: 0
Real time (s): 0.987417
CPU time (s): 0.98247
CPU user time (s): 0.963532
CPU system time (s): 0.018938
CPU usage (%): 99.499
Max. virtual memory (cumulated for all children) (KiB): 89744
Max. memory (cumulated for all children) (KiB): 47100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.963532
system time used= 0.018938
maximum resident set size= 47100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8139
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= 7
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 712849
# total CPU time (s): 0.98247
# total CPU user time (s): 0.963532
# total CPU system time (s): 0.018938
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039557 second user time and 0.063457 second system time
The end
Begin job on nodeC011 at 2024-07-13 20:01:31 IDJOB=4425186 IDBENCH=144124 IDSOLVER=3038 FILE ID=nodeC011/4425186-1720893679 RUNJOBID= nodeC011-1720885247-703900 SLURM_JOB_ID= 7485791 Free space on /tmp= 723728 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-geom30a-5_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425186-1720893679/watcher-4425186-1720893679 -o /tmp/evaluation-result-4425186-1720893679/solver-4425186-1720893679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703900 --watchdog 3760 pbscip -f HOME/instance-4425186-1720893679.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5821ab8ff6a6257c3649066fd92bc505 RANDOM SEED=1263816664 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3292.112 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3656.676 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.122 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.256 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3667.547 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.418 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.275 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.379 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127320328 kB MemAvailable: 128550764 kB Buffers: 339320 kB Cached: 1722404 kB SwapCached: 0 kB Active: 518788 kB Inactive: 3275880 kB Active(anon): 1428 kB Inactive(anon): 1769280 kB Active(file): 517360 kB Inactive(file): 1506600 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18832 kB Writeback: 8 kB AnonPages: 1733036 kB Mapped: 136200 kB Shmem: 37704 kB KReclaimable: 93352 kB Slab: 188300 kB SReclaimable: 93352 kB SUnreclaim: 94948 kB KernelStack: 3920 kB PageTables: 12640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2243192 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 46176 kB HardwareCorrupted: 0 kB AnonHugePages: 276480 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: 185160 kB DirectMap2M: 17545216 kB DirectMap1G: 118489088 kB Free space on /tmp at the end= 723708 MiB End job on nodeC011 at 2024-07-13 20:01:33