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 | 1.83374 | 1.84321 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo |
| MD5SUM | 88b7c0c564c77620507551e3e8601c53 |
| 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 | 28 |
| Best CPU time to get the best result obtained on this benchmark | 0.658505 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 64 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 3426 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 3425 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1248 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-4425120-1720880794.wbo>
0.00/0.00 c original problem has 233 variables (233 bin, 0 int, 0 impl, 0 cont) and 166 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) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.00 c (round 2, fast) 0 del vars, 1 del conss, 0 add conss, 64 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.00 c (round 3, exhaustive) 0 del vars, 6 del conss, 0 add conss, 64 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.00 c (round 4, fast) 4 del vars, 8 del conss, 0 add conss, 64 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.00 c (round 5, exhaustive) 4 del vars, 8 del conss, 0 add conss, 64 chg bounds, 2 chg sides, 0 chg coeffs, 34 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (0.0s) probing: 131/254 (51.6%) - 0 fixings, 23 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 (round 6, exhaustive) 27 del vars, 8 del conss, 0 add conss, 64 chg bounds, 2 chg sides, 0 chg coeffs, 34 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (0.0s) probing: 136/254 (53.5%) - 0 fixings, 23 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 (7 rounds: 7 fast, 4 medium, 4 exhaustive):
0.00/0.01 c 27 deleted vars, 8 deleted constraints, 0 added constraints, 64 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.01 c 64 implications, 30 cliques
0.00/0.01 c presolved problem has 270 variables (231 bin, 0 int, 39 impl, 0 cont) and 158 constraints
0.00/0.01 c 30 constraints of type <setppc>
0.00/0.01 c 62 constraints of type <linear>
0.00/0.01 c 4 constraints of type <logicor>
0.00/0.01 c 62 constraints of type <indicator>
0.00/0.01 c transformed objective value is always integral (scale: 1)
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.997012
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 3276
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 | - | locks| 0 | 270 | 158 | 135 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.276000e+03 | Inf | unknown
0.00/0.01 o 1073
0.00/0.01 c i 0.0s| 1 | 0 | 0 | - | oneopt| 0 | 270 | 158 | 135 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.073000e+03 | Inf | unknown
0.00/0.02 c 0.0s| 1 | 0 | 102 | - | 3623k | 0 | 270 | 158 | 135 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.073000e+03 | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 156 | - | 5495k | 0 | 270 | 158 | 137 | 2 | 1 | 0 | 0 | 0.000000e+00 | 1.073000e+03 | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 171 | - | 7812k | 0 | 270 | 158 | 139 | 4 | 2 | 0 | 0 | 0.000000e+00 | 1.073000e+03 | Inf | unknown
0.10/0.12 c 0.1s| 1 | 0 | 236 | - | 10M | 0 | 270 | 158 | 142 | 7 | 3 | 0 | 0 | 0.000000e+00 | 1.073000e+03 | Inf | unknown
0.10/0.15 c 0.1s| 1 | 0 | 288 | - | 11M | 0 | 270 | 158 | 145 | 10 | 4 | 0 | 0 | 0.000000e+00 | 1.073000e+03 | Inf | unknown
0.10/0.18 c 0.2s| 1 | 0 | 347 | - | 14M | 0 | 270 | 158 | 148 | 13 | 5 | 0 | 0 | 0.000000e+00 | 1.073000e+03 | Inf | unknown
0.10/0.22 c 0.2s| 1 | 0 | 427 | - | 18M | 0 | 270 | 158 | 150 | 15 | 6 | 0 | 0 | 0.000000e+00 | 1.073000e+03 | Inf | unknown
0.22/0.25 c 0.3s| 1 | 0 | 491 | - | 21M | 0 | 270 | 158 | 154 | 19 | 7 | 0 | 0 | 0.000000e+00 | 1.073000e+03 | Inf | unknown
0.22/0.29 c 0.3s| 1 | 0 | 549 | - | 23M | 0 | 270 | 158 | 157 | 22 | 8 | 0 | 0 | 0.000000e+00 | 1.073000e+03 | Inf | unknown
0.31/0.33 c 0.3s| 1 | 0 | 608 | - | 26M | 0 | 270 | 158 | 159 | 24 | 9 | 0 | 0 | 0.000000e+00 | 1.073000e+03 | Inf | unknown
0.31/0.38 c 0.4s| 1 | 0 | 668 | - | 32M | 0 | 270 | 158 | 162 | 27 | 10 | 0 | 0 | 0.000000e+00 | 1.073000e+03 | Inf | unknown
0.31/0.38 o 535
0.31/0.38 c r 0.4s| 1 | 0 | 668 | - |shifting| 0 | 270 | 158 | 162 | 27 | 10 | 0 | 0 | 0.000000e+00 | 5.350000e+02 | Inf | unknown
0.31/0.39 c 0.4s| 1 | 0 | 683 | - | 32M | 0 | 270 | 158 | 162 | 29 | 11 | 0 | 0 | 0.000000e+00 | 5.350000e+02 | Inf | unknown
0.41/0.45 o 201
0.41/0.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.41/0.45 c o 0.5s| 1 | 0 | 1713 | - |feaspump| 0 | 270 | 165 | 162 | 29 | 11 | 7 | 0 | 0.000000e+00 | 2.010000e+02 | Inf | unknown
0.41/0.49 c 0.5s| 1 | 0 | 2035 | - | 32M | 0 | 270 | 165 | 162 | 29 | 11 | 7 | 0 | 0.000000e+00 | 2.010000e+02 | Inf | unknown
0.41/0.50 c 0.5s| 1 | 0 | 2074 | - | 32M | 0 | 270 | 165 | 164 | 31 | 12 | 7 | 0 | 0.000000e+00 | 2.010000e+02 | Inf | unknown
0.41/0.52 c 0.5s| 1 | 0 | 2117 | - | 32M | 0 | 270 | 165 | 162 | 34 | 13 | 7 | 0 | 0.000000e+00 | 2.010000e+02 | Inf | unknown
0.51/0.61 c 0.6s| 1 | 2 | 2139 | - | 32M | 0 | 270 | 165 | 162 | 34 | 13 | 7 | 17 | 0.000000e+00 | 2.010000e+02 | Inf | unknown
0.59/0.67 o 70
0.59/0.67 c * 0.7s| 4 | 3 | 2295 | 510.0 |strongbr| 3 | 270 | 165 | 139 | 34 | 1 | 7 | 44 | 0.000000e+00 | 7.000000e+01 | Inf | unknown
0.78/0.80 o 29
0.78/0.80 c * 0.8s| 17 | 8 | 2827 | 128.9 |strongbr| 9 | 270 | 157 | 139 | 34 | 1 | 19 | 123 | 0.000000e+00 | 2.900000e+01 | Inf | 11.33%
0.99/1.04 o 28
0.99/1.04 c * 1.0s| 27 | 8 | 3688 | 112.4 | LP | 9 | 270 | 184 | 139 | 34 | 4 | 82 | 226 | 0.000000e+00 | 2.800000e+01 | Inf | 42.68%
1.78/1.82 c 1.8s| 100 | 2 | 7811 | 71.2 | 44M | 14 | 270 | 482 | 139 | 60 | 0 | 389 | 474 | 2.143182e+01 | 2.800000e+01 | 30.65%| 93.67%
1.78/1.82 c
1.78/1.82 c SCIP Status : problem is solved [optimal solution found]
1.78/1.82 c Solving Time (sec) : 1.82
1.78/1.82 c Solving Nodes : 104
1.78/1.82 c Primal Bound : +2.80000000000000e+01 (17 solutions)
1.78/1.82 c Dual Bound : +2.80000000000000e+01
1.78/1.82 c Gap : 0.00 %
1.78/1.82 s OPTIMUM FOUND
1.78/1.82 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1.78/1.82 v x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1.78/1.82 v x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106
1.78/1.82 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1.78/1.82 v -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
1.78/1.82 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
1.78/1.82 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
1.78/1.82 v -x4 -x3 -x2 -x1
1.78/1.82 c SCIP Status : problem is solved [optimal solution found]
1.78/1.82 c Total Time : 1.82
1.78/1.82 c solving : 1.82
1.78/1.82 c presolving : 0.01 (included in solving)
1.78/1.82 c reading : 0.00 (included in solving)
1.78/1.82 c copying : 0.03 (6 #copies) (minimal 0.00, maximal 0.01, average 0.00)
1.78/1.82 c Original Problem :
1.78/1.82 c Problem name : HOME/instance-4425120-1720880794.wbo
1.78/1.82 c Variables : 233 (233 binary, 0 integer, 0 implicit integer, 0 continuous)
1.78/1.82 c Constraints : 166 initial, 166 maximal
1.78/1.82 c Objective : minimize, 64 non-zeros (abs.min = 1, abs.max = 99)
1.78/1.82 c Presolved Problem :
1.78/1.82 c Problem name : t_HOME/instance-4425120-1720880794.wbo
1.78/1.82 c Variables : 270 (231 binary, 0 integer, 39 implicit integer, 0 continuous)
1.78/1.82 c Constraints : 158 initial, 492 maximal
1.78/1.82 c Objective : minimize, 62 non-zeros (abs.min = 1, abs.max = 99)
1.78/1.82 c Nonzeros : 2188 constraint, 296 clique table
1.78/1.82 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1.78/1.82 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1.78/1.82 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.78/1.82 c gateextraction : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1.78/1.82 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
1.78/1.82 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.78/1.82 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
1.78/1.82 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c dualfix : 0.00 0.00 7 2 0 0 0 0 0 0 0 0
1.78/1.82 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c probing : 0.00 0.00 2 0 23 0 0 0 0 0 0 0
1.78/1.82 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.78/1.82 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.78/1.82 c setppc : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
1.78/1.82 c linear : 0.00 0.00 11 0 0 0 64 0 6 0 2 0
1.78/1.82 c logicor : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
1.78/1.82 c bounddisjunction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c indicator : 0.00 0.00 5 2 0 0 0 0 2 0 0 0
1.78/1.82 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.78/1.82 c root node : - - - 235 - - 236 - - - - -
1.78/1.82 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1.78/1.82 c benderslp : 0 0 0 0 146 0 0 83 0 0 0 0 0 0 0
1.78/1.82 c integral : 0 0 0 0 146 0 0 83 0 1 322 0 0 344 108
1.78/1.82 c setppc : 30+ 36 12 3070 0 0 0 77 1065 6 401 0 0 0 0
1.78/1.82 c linear : 62+ 72 12 3089 0 0 0 36 1032 28 697 0 0 0 0
1.78/1.82 c logicor : 4+ 335 12 1014 0 0 0 22 171 14 40 0 0 0 0
1.78/1.82 c bounddisjunction : 0+ 41 0 576 0 0 0 0 21 1 1 0 0 0 0
1.78/1.82 c benders : 0 0 0 0 1 0 0 22 0 0 0 0 0 0 0
1.78/1.82 c indicator : 62 62 21 3047 0 0 0 20 124 2 207 0 0 0 0
1.78/1.82 c fixedvar : 0 0 0 0 1 0 0 18 0 0 0 0 0 0 0
1.78/1.82 c countsols : 0 0 0 0 1 0 0 18 0 0 0 0 0 0 0
1.78/1.82 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1.78/1.82 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c integral : 0.65 0.00 0.00 0.00 0.65 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c setppc : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c linear : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.01
1.78/1.82 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c indicator : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c Propagators : #Propagate #ResProp Cutoffs DomReds
1.78/1.82 c dualfix : 3 0 0 0
1.78/1.82 c genvbounds : 0 0 0 0
1.78/1.82 c nlobbt : 0 0 0 0
1.78/1.82 c obbt : 0 0 0 0
1.78/1.82 c probing : 0 0 0 0
1.78/1.82 c pseudoobj : 663 58 0 97
1.78/1.82 c redcost : 437 0 0 1800
1.78/1.82 c rootredcost : 4 0 0 49
1.78/1.82 c symmetry : 0 0 0 0
1.78/1.82 c vbounds : 1051 0 0 0
1.78/1.82 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1.78/1.82 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.78/1.82 c Symmetry :
1.78/1.82 c orbitopal red. : 0 reductions applied, 0 cutoffs
1.78/1.82 c orbital reduction: 0 reductions applied, 0 cutoffs
1.78/1.82 c lexicographic red: 0 reductions applied, 0 cutoffs
1.78/1.82 c shadow tree time : 0.00 s
1.78/1.82 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1.78/1.82 c propagation : 0.00 47 43 - 138 38.0 0 0.0 - - -
1.78/1.82 c infeasible LP : 0.00 25 25 - 94 24.4 0 0.0 0 0.0 0
1.78/1.82 c bound exceed. LP : 0.03 167 104 - 411 14.7 0 0.0 0 0.0 785
1.78/1.82 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1.78/1.82 c pseudo solution : 0.00 8 8 - 8 2.1 0 0.0 - - -
1.78/1.82 c applied globally : 0.00 - - 0 382 14.3 - - 0 - -
1.78/1.82 c applied locally : - - - 0 12 52.2 - - 0 - -
1.78/1.82 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1.78/1.82 c cut pool : 0.01 - 42 24 - - 1419 2347 - - - - - (maximal pool size: 1419)
1.78/1.82 c aggregation : 0.06 0.00 21 12 0 0 3 4 0 2 2 0 0
1.78/1.82 c > cmir : - - - - - - - 3 0 1 1 0 -
1.78/1.82 c > flowcover : - - - - - - - 0 0 0 0 0 -
1.78/1.82 c > knapsackcover : - - - - - - - 1 0 1 1 0 -
1.78/1.82 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c clique : 0.00 0.00 12 12 0 0 1 2 0 2 2 0 0
1.78/1.82 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c gomory : 0.30 0.00 19 10 0 0 1388 2303 0 31 31 0 0
1.78/1.82 c > gomorymi : - - - - - - - 1273 0 23 23 0 -
1.78/1.82 c > strongcg : - - - - - - - 1030 0 8 8 0 -
1.78/1.82 c impliedbounds : 0.00 0.00 21 12 0 0 0 0 0 0 0 0 0
1.78/1.82 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
1.78/1.82 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c mixing : 0.00 0.00 21 12 0 0 0 0 0 0 0 0 0
1.78/1.82 c multilinear : 0.00 0.00 52 12 0 0 0 0 0 0 0 0 0
1.78/1.82 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.78/1.82 c rapidlearning : 0.12 0.00 4 1 0 0 0 0 0 0 0 0 20
1.78/1.82 c rlt : 0.00 0.00 13 10 0 0 0 0 0 0 0 0 0
1.78/1.82 c zerohalf : 0.01 0.00 21 12 0 0 27 38 0 25 25 0 0
1.78/1.82 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1.78/1.82 c hybrid : 0.01 0.00 22 13 60 0 2287 34 0 1682
1.78/1.82 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c Pricers : ExecTime SetupTime Calls Vars
1.78/1.82 c problem variables: 0.00 - 0 0
1.78/1.82 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1.78/1.82 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c relpscost : 0.65 0.00 145 0 0 1 322 0 344 108
1.78/1.82 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1.78/1.82 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1.78/1.82 c LP solutions : 0.00 - - 1 1
1.78/1.82 c relax solutions : 0.00 - - 0 0
1.78/1.82 c pseudo solutions : 0.00 - - 0 0
1.78/1.82 c strong branching : 0.00 - - 4 2
1.78/1.82 c actconsdiving : 0.00 0.00 0 0 0
1.78/1.82 c adaptivediving : 0.00 0.00 0 0 0
1.78/1.82 c alns : 0.01 0.00 1 0 0
1.78/1.82 c bound : 0.00 0.00 0 0 0
1.78/1.82 c clique : 0.00 0.00 1 0 0
1.78/1.82 c coefdiving : 0.00 0.00 0 0 0
1.78/1.82 c completesol : 0.00 0.00 0 0 0
1.78/1.82 c conflictdiving : 0.02 0.00 1 1 0
1.78/1.82 c crossover : 0.00 0.00 0 0 0
1.78/1.82 c dins : 0.00 0.00 0 0 0
1.78/1.82 c distributiondivin: 0.00 0.00 0 0 0
1.78/1.82 c dps : 0.00 0.00 0 0 0
1.78/1.82 c dualval : 0.00 0.00 0 0 0
1.78/1.82 c farkasdiving : 0.05 0.00 1 0 0
1.78/1.82 c feasjump : 0.00 0.00 0 0 0
1.78/1.82 c feaspump : 0.01 0.00 1 1 1
1.78/1.82 c fixandinfer : 0.00 0.00 0 0 0
1.78/1.82 c fracdiving : 0.00 0.00 0 0 0
1.78/1.82 c gins : 0.00 0.00 0 0 0
1.78/1.82 c guideddiving : 0.00 0.00 0 0 0
1.78/1.82 c indcoefdiving : 0.00 0.00 0 0 0
1.78/1.82 c indicator : 0.00 0.00 0 0 0
1.78/1.82 c indicatordiving : 0.00 0.00 0 0 0
1.78/1.82 c indoneopt : 0.01 0.00 6 0 0
1.78/1.82 c indrounding : 0.00 0.00 0 0 0
1.78/1.82 c indtwoopt : 0.00 0.00 0 0 0
1.78/1.82 c intdiving : 0.00 0.00 0 0 0
1.78/1.82 c intshifting : 0.00 0.00 0 0 0
1.78/1.82 c linesearchdiving : 0.00 0.00 0 0 0
1.78/1.82 c localbranching : 0.00 0.00 0 0 0
1.78/1.82 c locks : 0.00 0.00 1 1 1
1.78/1.82 c lpface : 0.30 0.00 1 0 0
1.78/1.82 c mpec : 0.00 0.00 0 0 0
1.78/1.82 c multistart : 0.00 0.00 0 0 0
1.78/1.82 c mutation : 0.00 0.00 0 0 0
1.78/1.82 c nlpdiving : 0.00 0.00 0 0 0
1.78/1.82 c objpscostdiving : 0.00 0.00 0 0 0
1.78/1.82 c octane : 0.00 0.00 0 0 0
1.78/1.82 c ofins : 0.00 0.00 0 0 0
1.78/1.82 c oneopt : 0.00 0.00 6 1 1
1.78/1.82 c padm : 0.00 0.00 0 0 0
1.78/1.82 c proximity : 0.00 0.00 0 0 0
1.78/1.82 c pscostdiving : 0.00 0.00 0 0 0
1.78/1.82 c randrounding : 0.01 0.00 15 0 0
1.78/1.82 c rens : 0.01 0.00 1 0 0
1.78/1.82 c reoptsols : 0.00 0.00 0 0 0
1.78/1.82 c repair : 0.00 0.00 0 0 0
1.78/1.82 c rins : 0.00 0.00 0 0 0
1.78/1.82 c rootsoldiving : 0.00 0.00 0 0 0
1.78/1.82 c rounding : 0.00 0.00 138 0 0
1.78/1.82 c scheduler : 0.00 0.00 0 0 0
1.78/1.82 c shiftandpropagate: 0.00 0.00 0 0 0
1.78/1.82 c shifting : 0.01 0.00 27 4 1
1.78/1.82 c simplerounding : 0.00 0.00 172 1 0
1.78/1.82 c smallcard : 0.00 0.00 0 0 0
1.78/1.82 c subnlp : 0.00 0.00 0 0 0
1.78/1.82 c trivial : 0.00 0.00 2 0 0
1.78/1.82 c trivialnegation : 0.00 0.00 0 0 0
1.78/1.82 c trustregion : 0.00 0.00 0 0 0
1.78/1.82 c trysol : 0.00 0.00 7 3 0
1.78/1.82 c twoopt : 0.00 0.00 0 0 0
1.78/1.82 c undercover : 0.00 0.00 0 0 0
1.78/1.82 c vbounds : 0.00 0.00 1 0 0
1.78/1.82 c veclendiving : 0.00 0.00 0 0 0
1.78/1.82 c zeroobj : 0.00 0.00 0 0 0
1.78/1.82 c zirounding : 0.00 0.00 54 0 0
1.78/1.82 c other solutions : - - - 0 -
1.78/1.82 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1.78/1.82 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
1.78/1.82 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
1.78/1.82 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
1.78/1.82 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
1.78/1.82 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
1.78/1.82 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
1.78/1.82 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
1.78/1.82 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
1.78/1.82 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
1.78/1.82 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1.78/1.82 c primal LP : 0.00 6 0 0.00 - 0.00 6
1.78/1.82 c dual LP : 0.16 323 6157 30.79 37945.04 0.01 123
1.78/1.82 c lex dual LP : 0.00 0 0 0.00 -
1.78/1.82 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1.78/1.82 c resolve instable : 0.00 0 0 0.00 -
1.78/1.82 c diving/probing LP: 0.08 117 1698 14.51 20019.10
1.78/1.82 c strong branching : 0.53 476 20992 44.10 39742.22 - - 29
1.78/1.82 c (at root node) : - 17 2726 160.35 -
1.78/1.82 c conflict analysis: 0.02 95 785 8.26 40223.41
1.78/1.82 c B&B Tree :
1.78/1.82 c number of runs : 1
1.78/1.82 c nodes : 104 (54 internal, 50 leaves)
1.78/1.82 c feasible leaves : 1
1.78/1.82 c infeas. leaves : 25
1.78/1.82 c objective leaves : 24
1.78/1.82 c nodes (total) : 104 (54 internal, 50 leaves)
1.78/1.82 c nodes left : 0
1.78/1.82 c max depth : 14
1.78/1.82 c max depth (total): 14
1.78/1.82 c backtracks : 22 (21.2%)
1.78/1.82 c early backtracks : 0 (0.0%)
1.78/1.82 c nodes exc. ref. : 0 (0.0%)
1.78/1.82 c delayed cutoffs : 1
1.78/1.82 c repropagations : 46 (141 domain reductions, 1 cutoffs)
1.78/1.82 c avg switch length: 3.40
1.78/1.82 c switching time : 0.01
1.78/1.82 c Root Node :
1.78/1.82 c First LP value : +0.00000000000000e+00
1.78/1.82 c First LP Iters : 102 (40078.59 Iter/sec)
1.78/1.82 c First LP Time : 0.00
1.78/1.82 c Final Dual Bound : +0.00000000000000e+00
1.78/1.82 c Final Root Iters : 765
1.78/1.82 c Root LP Estimate : +8.81188207892872e+00
1.78/1.82 c Solution :
1.78/1.82 c Solutions found : 17 (7 improvements)
1.78/1.82 c First Solution : +3.27600000000000e+03 (in run 1, after 1 nodes, 0.01 seconds, depth 159, found by <locks>)
1.78/1.82 c Gap First Sol. : infinite
1.78/1.82 c Gap Last Sol. : infinite
1.78/1.82 c Primal Bound : +2.80000000000000e+01 (in run 1, after 27 nodes, 1.04 seconds, depth 8, found by <relaxation>)
1.78/1.82 c Dual Bound : +2.80000000000000e+01
1.78/1.82 c Gap : 0.00 %
1.78/1.82 c Integrals : Total Avg%
1.78/1.82 c primal-dual : 179.36 98.63
1.78/1.82 c primal-ref : - - (not evaluated)
1.78/1.82 c dual-ref : - - (not evaluated)
1.78/1.84 c Time complete: 1.82907.
OK 28
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62878 MiB free)
memory of node 1: 64510 MiB (62826 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425120-1720880794/watcher-4425120-1720880794 -o /tmp/evaluation-result-4425120-1720880794/solver-4425120-1720880794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1720879382-700521 --watchdog 3760 pbscip -f HOME/instance-4425120-1720880794.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=702691, runsolver pid=702688
[startup+0.100106 s]*
/proc/loadavg: 4.13 4.12 3.68 5/243 702692
/proc/meminfo: memFree=128710456/131655788 swapFree=131071996/131071996
[pid=702691] ppid=702688 vsize=65332 memory=26880 CPUtime=0.1 cores=1,3
/proc/702691/stat : 702691 (pbscip) R 702688 702691 697210 0 -1 4194304 3134 0 0 0 10 0 0 0 20 0 1 0 140235873 66899968 6720 134679101440 4194304 18693293 140736032356288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56823808 140736032363498 140736032363597 140736032363597 140736032370638 0
/proc/702691/statm: 16333 6720 3931 3540 0 4590 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 65332 KiB
Current children cumulated memory: 26880 KiB
[startup+0.213097 s]*
/proc/loadavg: 4.13 4.12 3.68 5/243 702692
/proc/meminfo: memFree=128701552/131655788 swapFree=131071996/131071996
[pid=702691] ppid=702688 vsize=74304 memory=35592 CPUtime=0.22 cores=1,3
/proc/702691/stat : 702691 (pbscip) R 702688 702691 697210 0 -1 4194304 5290 0 0 0 21 1 0 0 20 0 1 0 140235873 76087296 8832 134679101440 4194304 18693293 140736032356288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56823808 140736032363498 140736032363597 140736032363597 140736032370638 0
/proc/702691/statm: 18576 8898 3931 3540 0 6833 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 74304 KiB
Current children cumulated memory: 35592 KiB
[startup+0.313103 s]*
/proc/loadavg: 4.13 4.12 3.68 5/243 702692
/proc/meminfo: memFree=128693348/131655788 swapFree=131071996/131071996
[pid=702691] ppid=702688 vsize=81912 memory=42984 CPUtime=0.31 cores=1,3
/proc/702691/stat : 702691 (pbscip) R 702688 702691 697210 0 -1 4194304 7201 0 0 0 30 1 0 0 20 0 1 0 140235873 83877888 10746 134679101440 4194304 18693293 140736032356288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56823808 140736032363498 140736032363597 140736032363597 140736032370638 0
/proc/702691/statm: 20478 10746 3931 3540 0 8735 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 81912 KiB
Current children cumulated memory: 42984 KiB
[startup+0.700258 s]
/proc/loadavg: 4.13 4.12 3.68 6/243 702692
/proc/meminfo: memFree=128684808/131655788 swapFree=131071996/131071996
[pid=702691] ppid=702688 vsize=91504 memory=51240 CPUtime=0.68 cores=1,3
/proc/702691/stat : 702691 (pbscip) R 702688 702691 697210 0 -1 4194304 9253 0 0 0 67 1 0 0 20 0 1 0 140235873 93700096 12810 134679101440 4194304 18693293 140736032356288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56823808 140736032363498 140736032363597 140736032363597 140736032370638 0
/proc/702691/statm: 22876 12810 3946 3540 0 11133 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91504 KiB
Current children cumulated memory: 51240 KiB
[startup+1.50028 s]
/proc/loadavg: 4.13 4.12 3.68 5/243 702692
/proc/meminfo: memFree=128683636/131655788 swapFree=131071996/131071996
[pid=702691] ppid=702688 vsize=114392 memory=74452 CPUtime=1.48 cores=1,3
/proc/702691/stat : 702691 (pbscip) R 702688 702691 697210 0 -1 4194304 17559 0 0 0 145 3 0 0 20 0 1 0 140235873 117137408 18613 134679101440 4194304 18693293 140736032356288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56823808 140736032363498 140736032363597 140736032363597 140736032370638 0
/proc/702691/statm: 28598 18613 4026 3540 0 16855 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 114392 KiB
Current children cumulated memory: 74452 KiB
[startup+1.84315 s]
# the end of solver process 702691 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1.79693 s, system=0.036812 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60032 s]
/proc/loadavg: 4.13 4.12 3.68 5/243 702692
/proc/meminfo: memFree=128683636/131655788 swapFree=131071996/131071996
[pid=702691] ppid=702688 vsize=114392 memory=74976 CPUtime=1.58 cores=1,3
/proc/702691/stat : 702691 (pbscip) R 702688 702691 697210 0 -1 4194304 17692 0 0 0 155 3 0 0 20 0 1 0 140235873 117137408 18744 134679101440 4194304 18693293 140736032356288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56823808 140736032363498 140736032363597 140736032363597 140736032370638 0
/proc/702691/statm: 28598 18744 4026 3540 0 16855 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 114392 KiB
Current children cumulated memory: 74976 KiB
[startup+1.80027 s]
/proc/loadavg: 4.13 4.12 3.68 5/243 702692
/proc/meminfo: memFree=128683636/131655788 swapFree=131071996/131071996
[pid=702691] ppid=702688 vsize=114392 memory=75504 CPUtime=1.78 cores=1,3
/proc/702691/stat : 702691 (pbscip) R 702688 702691 697210 0 -1 4194304 17842 0 0 0 175 3 0 0 20 0 1 0 140235873 117137408 18876 134679101440 4194304 18693293 140736032356288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56823808 140736032363498 140736032363597 140736032363597 140736032370638 0
/proc/702691/statm: 28598 18876 4026 3540 0 16855 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 114392 KiB
Current children cumulated memory: 75504 KiB
Child status: 0
Real time (s): 1.84321
CPU time (s): 1.83374
CPU user time (s): 1.79693
CPU system time (s): 0.036812
CPU usage (%): 99.4863
Max. virtual memory (cumulated for all children) (KiB): 121644
Max. memory (cumulated for all children) (KiB): 81368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.79693
system time used= 0.036812
maximum resident set size= 84800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17848
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= 9
# summary of solver processes directly reported to runsolver:
# pid: 702691
# total CPU time (s): 1.83374
# total CPU user time (s): 1.79693
# total CPU system time (s): 0.036812
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044342 second user time and 0.068943 second system time
The end
Begin job on nodeC008 at 2024-07-13 16:26:47 IDJOB=4425120 IDBENCH=143702 IDSOLVER=3038 FILE ID=nodeC008/4425120-1720880794 RUNJOBID= nodeC008-1720879382-700521 SLURM_JOB_ID= 7483756 Free space on /tmp= 723724 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425120-1720880794/watcher-4425120-1720880794 -o /tmp/evaluation-result-4425120-1720880794/solver-4425120-1720880794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1720879382-700521 --watchdog 3760 pbscip -f HOME/instance-4425120-1720880794.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 88b7c0c564c77620507551e3e8601c53 RANDOM SEED=569150846 nodeC008.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 : 3666.177 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.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.982 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.268 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.91 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.244 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 : 3665.121 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.91 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 : 3661.438 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.469 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.91 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.399 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: 128722720 kB MemAvailable: 128716396 kB Buffers: 324788 kB Cached: 517616 kB SwapCached: 0 kB Active: 497552 kB Inactive: 1936040 kB Active(anon): 1476 kB Inactive(anon): 1627448 kB Active(file): 496076 kB Inactive(file): 308592 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18936 kB Writeback: 12 kB AnonPages: 1587244 kB Mapped: 137176 kB Shmem: 37704 kB KReclaimable: 58080 kB Slab: 146796 kB SReclaimable: 58080 kB SUnreclaim: 88716 kB KernelStack: 3888 kB PageTables: 12360 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2068532 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45696 kB HardwareCorrupted: 0 kB AnonHugePages: 1222656 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: 146248 kB DirectMap2M: 9195520 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 723708 MiB End job on nodeC008 at 2024-07-13 16:26:49