0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4521364-1751558851.opb>
0.00/0.02 c original problem has 300 variables (300 bin, 0 int, 0 impl, 0 cont) and 9200 constraints
0.00/0.02 c problem read in 0.02
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.03 c presolving:
0.00/0.05 c (0.0s) running MILP presolver
0.00/0.06 c (0.1s) MILP presolver found nothing
0.00/0.08 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 9200 upgd conss, 0 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 51/300 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.11 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.15 c (0.1s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.04)
0.09/0.15 c dynamic symmetry handling statistics:
0.09/0.15 c orbitopal reduction: no components
0.09/0.15 c orbital reduction: 1 components of sizes 23
0.09/0.15 c lexicographic reduction: 23 permutations with support sizes 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 190, 46, 190, 46, 190, 190
0.09/0.15 c handled 1 out of 1 symmetry components
0.09/0.15 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.09/0.15 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 0 implications, 0 cliques
0.09/0.15 c presolved problem has 300 variables (300 bin, 0 int, 0 impl, 0 cont) and 9200 constraints
0.09/0.15 c 9200 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.12
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 10.0.0
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.15 c limits/time = 3596.998008
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.15 c limits/memory = 27900
0.09/0.15 c
0.09/0.15 c # belongs reading time to solving time?
0.09/0.15 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c timing/reading = TRUE
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c transformed 1/1 original solutions to the transformed problem space
0.09/0.15 c
0.09/0.17 o -142
0.09/0.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.17 c p 0.2s| 1 | 0 | 0 | - | locks| 0 | 300 |9200 |9200 | 0 | 0 | 0 | 0 |-2.500000e+02 |-1.420000e+02 | 76.06%| unknown
0.30/0.31 c 0.3s| 1 | 0 | 1088 | - | 34M | 0 | 300 |9200 |9200 | 0 | 0 | 0 | 0 |-1.666667e+02 |-1.420000e+02 | 17.37%| unknown
0.30/0.40 c 0.4s| 1 | 0 | 1420 | - | 44M | 0 | 300 |9200 |9201 | 1 | 1 | 0 | 0 |-1.663883e+02 |-1.420000e+02 | 17.17%| unknown
0.39/0.46 c 0.5s| 1 | 0 | 1568 | - | 53M | 0 | 300 |9200 |9202 | 2 | 2 | 0 | 0 |-1.663165e+02 |-1.420000e+02 | 17.12%| unknown
0.49/0.56 c 0.6s| 1 | 0 | 1874 | - | 65M | 0 | 300 |9200 |9203 | 3 | 3 | 0 | 0 |-1.661831e+02 |-1.420000e+02 | 17.03%| unknown
0.59/0.62 c 0.6s| 1 | 0 | 1878 | - | 72M | 0 | 300 |9200 |9204 | 4 | 4 | 0 | 0 |-1.661831e+02 |-1.420000e+02 | 17.03%| unknown
0.68/0.70 c 0.7s| 1 | 0 | 1970 | - | 80M | 0 | 300 |9200 |9205 | 5 | 5 | 0 | 0 |-1.661691e+02 |-1.420000e+02 | 17.02%| unknown
0.68/0.79 c 0.8s| 1 | 0 | 2175 | - | 86M | 0 | 300 |9200 |9206 | 6 | 6 | 0 | 0 |-1.661531e+02 |-1.420000e+02 | 17.01%| unknown
0.78/0.87 c 0.9s| 1 | 0 | 2298 | - | 92M | 0 | 300 |9200 |9207 | 7 | 7 | 0 | 0 |-1.661481e+02 |-1.420000e+02 | 17.01%| unknown
0.88/0.97 c 1.0s| 1 | 0 | 2556 | - | 101M | 0 | 300 |9200 |9208 | 8 | 8 | 0 | 0 |-1.661025e+02 |-1.420000e+02 | 16.97%| unknown
0.99/1.03 c 1.0s| 1 | 0 | 2558 | - | 102M | 0 | 300 |9201 |9209 | 9 | 9 | 1 | 0 |-1.661025e+02 |-1.420000e+02 | 16.97%| unknown
1.09/1.13 c 1.1s| 1 | 0 | 2568 | - | 112M | 0 | 300 |9201 |9210 | 10 | 10 | 1 | 0 |-1.661025e+02 |-1.420000e+02 | 16.97%| unknown
1.09/1.19 c 1.2s| 1 | 0 | 2831 | - | 113M | 0 | 300 |9201 |9211 | 11 | 11 | 1 | 0 |-1.660733e+02 |-1.420000e+02 | 16.95%| unknown
1.18/1.22 c 1.2s| 1 | 0 | 2867 | - | 114M | 0 | 300 |9202 |9212 | 12 | 12 | 2 | 0 |-1.660713e+02 |-1.420000e+02 | 16.95%| unknown
1.18/1.26 c 1.3s| 1 | 0 | 2993 | - | 115M | 0 | 300 |9203 |9213 | 13 | 13 | 3 | 0 |-1.660667e+02 |-1.420000e+02 | 16.95%| unknown
1.28/1.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.28/1.30 c 1.3s| 1 | 0 | 3087 | - | 116M | 0 | 300 |9203 |9214 | 14 | 14 | 3 | 0 |-1.660621e+02 |-1.420000e+02 | 16.95%| unknown
1.28/1.34 c 1.3s| 1 | 0 | 3177 | - | 117M | 0 | 300 |9204 |9215 | 15 | 15 | 4 | 0 |-1.660584e+02 |-1.420000e+02 | 16.94%| unknown
1.28/1.38 c 1.4s| 1 | 0 | 3280 | - | 118M | 0 | 300 |9205 |9216 | 16 | 16 | 5 | 0 |-1.660557e+02 |-1.420000e+02 | 16.94%| unknown
1.38/1.41 c 1.4s| 1 | 0 | 3306 | - | 119M | 0 | 300 |9206 |9216 | 17 | 17 | 6 | 0 |-1.660552e+02 |-1.420000e+02 | 16.94%| unknown
1.38/1.44 c 1.4s| 1 | 0 | 3339 | - | 119M | 0 | 300 |9207 |9217 | 18 | 18 | 7 | 0 |-1.660550e+02 |-1.420000e+02 | 16.94%| unknown
1.38/1.48 c 1.5s| 1 | 0 | 3377 | - | 120M | 0 | 300 |9208 |9218 | 19 | 19 | 8 | 0 |-1.660547e+02 |-1.420000e+02 | 16.94%| unknown
1.48/1.52 c 1.5s| 1 | 0 | 3388 | - | 121M | 0 | 300 |9208 |9219 | 20 | 20 | 8 | 0 |-1.660547e+02 |-1.420000e+02 | 16.94%| unknown
1.48/1.55 c 1.5s| 1 | 0 | 3400 | - | 121M | 0 | 300 |9208 |9220 | 21 | 21 | 8 | 0 |-1.660546e+02 |-1.420000e+02 | 16.94%| unknown
3.17/3.26 o -146
3.17/3.26 c d 3.3s| 1 | 0 | 13949 | - |conflict| 0 | 300 |9209 |9220 | 0 | 21 | 9 | 0 |-1.660546e+02 |-1.460000e+02 | 13.74%| unknown
3.17/3.29 c 3.3s| 1 | 0 | 13950 | - | 121M | 0 | 300 |9209 |9220 | 21 | 21 | 9 | 0 |-1.660546e+02 |-1.460000e+02 | 13.74%| unknown
3.27/3.33 c 3.3s| 1 | 0 | 13979 | - | 121M | 0 | 300 |9209 |9221 | 22 | 22 | 9 | 0 |-1.660545e+02 |-1.460000e+02 | 13.74%| unknown
3.27/3.34 c 3.3s| 1 | 0 | 14016 | - | 121M | 0 | 300 |9209 |9222 | 23 | 23 | 9 | 0 |-1.660543e+02 |-1.460000e+02 | 13.74%| unknown
9.55/9.63 c 9.6s| 1 | 2 | 14016 | - | 121M | 0 | 300 |9209 |9222 | 23 | 23 | 9 | 44 |-1.654982e+02 |-1.460000e+02 | 13.35%| unknown
14.44/14.54 o -150
14.44/14.54 c *14.5s| 5 | 2 | 16046 |3145.0 |strongbr| 3 | 300 |9209 |9212 | 23 | 1 | 9 | 97 |-1.606667e+02 |-1.500000e+02 | 7.11%| 56.89%
26.01/26.19 c
26.01/26.19 c SCIP Status : problem is solved [optimal solution found]
26.01/26.19 c Solving Time (sec) : 26.18
26.01/26.19 c Solving Nodes : 29
26.01/26.19 c Primal Bound : -1.50000000000000e+02 (5 solutions)
26.01/26.19 c Dual Bound : -1.50000000000000e+02
26.01/26.19 c Gap : 0.00 %
26.01/26.19 s OPTIMUM FOUND
26.01/26.19 v -x290 -x284 -x277 -x269 -x260 -x255 -x250 -x244 -x239 -x232 -x227 -x219 -x214 -x205 -x200 -x195 -x190 -x185 -x179 -x174 -x169 -x162
26.01/26.19 v -x157 -x152 -x144 -x139 -x134 -x125 -x120 -x115 -x110 -x105 -x100 -x95 -x89 -x84 -x79 -x74 -x67 -x62 -x57 -x52 -x44 x20
26.01/26.19 v -x39 x15 -x34 x10 -x29 x5 x300 x299 -x298 -x297 x296 x295 -x294 x293 x292 -x291 x289 x288 -x287 -x286 x285 x280 -x283 x282 x281
26.01/26.19 v x279 x274 -x278 -x273 x276 x275 -x272 -x267 x271 x266 x270 x265 -x268 -x264 -x259 x263 x258 x262 x257 -x261 -x256 x254 x249
26.01/26.19 v x253 x248 -x252 -x247 -x251 -x246 x245 x240 x235 -x243 -x238 x242 x237 x241 x236 x234 x229 x224 -x233 -x228 -x223 x231 x226
26.01/26.19 v x230 x225 -x222 -x217 -x212 x221 x216 x211 x220 x215 x210 -x218 -x213 -x209 -x204 -x199 x208 x203 x198 x207 x202 x197 -x206
26.01/26.19 v -x201 -x196 x194 x189 x184 x193 x188 x183 -x192 -x187 -x182 -x191 -x186 -x181 x180 x175 x170 x165 -x178 -x173 -x168 x177 x172
26.01/26.19 v x167 x176 x171 x166 x164 x159 x154 x149 -x163 -x158 -x153 -x148 x161 x156 x151 x160 x155 x150 -x147 -x142 -x137 -x132 x146 x141
26.01/26.19 v x136 x131 x145 x140 x135 x130 -x143 -x138 -x133 -x129 -x124 -x119 -x114 x128 x123 x118 x113 x127 x122 x117 x112 -x126 -x121
26.01/26.19 v -x116 -x111 x109 x104 x99 x94 x108 x103 x98 x93 -x107 -x102 -x97 -x92 -x106 -x101 -x96 -x91 x90 x85 x80 x75 x70 -x88 -x83
26.01/26.19 v -x78 -x73 x87 x82 x77 x72 x86 x81 x76 x71 x69 x64 x59 x54 x49 -x68 -x63 -x58 -x53 -x48 x66 x61 x56 x51 x65 x60 x55 x50 -x47 -x42
26.01/26.19 v -x37 -x32 -x27 x46 x41 x36 x31 x26 x45 x40 x35 x30 x25 -x43 -x38 -x33 -x28 x24 x19 x14 x9 x4 -x23 -x18 -x13 -x8 -x3 -x22
26.01/26.19 v -x17 -x12 -x7 -x2 x21 x16 x11 x6 x1
26.01/26.19 c SCIP Status : problem is solved [optimal solution found]
26.01/26.19 c Total Time : 26.18
26.01/26.19 c solving : 26.18
26.01/26.19 c presolving : 0.12 (included in solving)
26.01/26.19 c reading : 0.02 (included in solving)
26.01/26.19 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
26.01/26.19 c Original Problem :
26.01/26.19 c Problem name : HOME/instance-4521364-1751558851.opb
26.01/26.19 c Variables : 300 (300 binary, 0 integer, 0 implicit integer, 0 continuous)
26.01/26.19 c Constraints : 9200 initial, 9200 maximal
26.01/26.19 c Objective : minimize, 250 non-zeros (abs.min = 1, abs.max = 1)
26.01/26.19 c Presolved Problem :
26.01/26.19 c Problem name : t_HOME/instance-4521364-1751558851.opb
26.01/26.19 c Variables : 300 (300 binary, 0 integer, 0 implicit integer, 0 continuous)
26.01/26.19 c Constraints : 9200 initial, 9259 maximal
26.01/26.19 c Objective : minimize, 250 non-zeros (abs.min = 1, abs.max = 1)
26.01/26.19 c Nonzeros : 27600 constraint, 0 clique table
26.01/26.19 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
26.01/26.19 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
26.01/26.19 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
26.01/26.19 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
26.01/26.19 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c milp : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
26.01/26.19 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
26.01/26.19 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
26.01/26.19 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
26.01/26.19 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
26.01/26.19 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
26.01/26.19 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
26.01/26.19 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c linear : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
26.01/26.19 c logicor : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
26.01/26.19 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
26.01/26.19 c root node : - - - 6 - - 6 - - - - -
26.01/26.19 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
26.01/26.19 c benderslp : 0 0 0 0 19 0 0 28 0 0 0 0 0 0 0
26.01/26.19 c integral : 0 0 0 0 19 0 0 28 0 0 23 0 0 45 28
26.01/26.19 c linear : 0+ 19 0 52 0 0 0 3 1 1 0 0 0 0 0
26.01/26.19 c logicor : 9200+ 9240 22 1453 0 0 0 22 155 14 291 0 0 0 0
26.01/26.19 c benders : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
26.01/26.19 c fixedvar : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
26.01/26.19 c countsols : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
26.01/26.19 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
26.01/26.19 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c integral : 21.33 0.00 0.00 0.00 21.33 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c logicor : 0.09 0.00 0.03 0.05 0.00 0.00 0.00 0.00 0.00 0.01
26.01/26.19 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c Propagators : #Propagate #ResProp Cutoffs DomReds
26.01/26.19 c dualfix : 3 0 0 0
26.01/26.19 c genvbounds : 0 0 0 0
26.01/26.19 c nlobbt : 0 0 0 0
26.01/26.19 c obbt : 0 0 0 0
26.01/26.19 c probing : 0 0 0 0
26.01/26.19 c pseudoobj : 118 0 1 0
26.01/26.19 c redcost : 27 0 0 0
26.01/26.19 c rootredcost : 0 0 0 0
26.01/26.19 c symmetry : 637 0 0 473
26.01/26.19 c vbounds : 0 0 0 0
26.01/26.19 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
26.01/26.19 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c symmetry : 0.05 0.00 0.04 0.01 0.00 0.01
26.01/26.19 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
26.01/26.19 c Symmetry :
26.01/26.19 c orbitopal red. : 0 reductions applied, 0 cutoffs
26.01/26.19 c orbital reduction: 473 reductions applied, 0 cutoffs
26.01/26.19 c lexicographic red: 1 reductions applied, 0 cutoffs
26.01/26.19 c shadow tree time : 0.00 s
26.01/26.19 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
26.01/26.19 c propagation : 0.00 14 12 - 14 7.0 0 0.0 - - -
26.01/26.19 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
26.01/26.19 c bound exceed. LP : 0.01 19 19 - 56 12.7 0 0.0 19 16.2 30
26.01/26.19 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
26.01/26.19 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
26.01/26.19 c applied globally : 0.00 - - 0 40 11.2 - - 19 - -
26.01/26.19 c applied locally : - - - 0 0 0.0 - - 0 - -
26.01/26.19 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
26.01/26.19 c cut pool : 0.03 - 32 32 - - 2001 9928 - - - - - (maximal pool size: 2001)
26.01/26.19 c aggregation : 0.20 0.00 22 22 0 0 0 0 0 0 0 0 0
26.01/26.19 c > cmir : - - - - - - - 0 0 0 0 0 -
26.01/26.19 c > flowcover : - - - - - - - 0 0 0 0 0 -
26.01/26.19 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
26.01/26.19 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
26.01/26.19 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c gomory : 0.42 0.00 10 10 0 0 2001 9928 0 23 23 0 0
26.01/26.19 c > gomorymi : - - - - - - - 8375 0 15 15 0 -
26.01/26.19 c > strongcg : - - - - - - - 1553 0 8 8 0 -
26.01/26.19 c impliedbounds : 0.00 0.00 22 22 0 0 0 0 0 0 0 0 0
26.01/26.19 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
26.01/26.19 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c multilinear : 0.00 0.00 26 22 0 0 0 0 0 0 0 0 0
26.01/26.19 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.01/26.19 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
26.01/26.19 c zerohalf : 0.11 0.00 20 20 0 0 0 0 0 0 0 0 0
26.01/26.19 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
26.01/26.19 c hybrid : 0.01 0.00 23 23 23 0 9905 23 0 9905
26.01/26.19 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c Pricers : ExecTime SetupTime Calls Vars
26.01/26.19 c problem variables: 0.00 - 0 0
26.01/26.19 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
26.01/26.19 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c random : 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c relpscost : 21.33 0.00 19 0 0 0 23 0 45 28
26.01/26.19 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
26.01/26.19 c Primal Heuristics : ExecTime SetupTime Calls Found Best
26.01/26.19 c LP solutions : 0.00 - - 0 0
26.01/26.19 c relax solutions : 0.00 - - 0 0
26.01/26.19 c pseudo solutions : 0.00 - - 0 0
26.01/26.19 c strong branching : 0.00 - - 1 1
26.01/26.19 c actconsdiving : 0.00 0.00 0 0 0
26.01/26.19 c adaptivediving : 0.00 0.00 0 0 0
26.01/26.19 c alns : 0.03 0.00 1 0 0
26.01/26.19 c bound : 0.00 0.00 0 0 0
26.01/26.19 c clique : 0.00 0.00 0 0 0
26.01/26.19 c coefdiving : 0.00 0.00 0 0 0
26.01/26.19 c completesol : 0.00 0.00 0 0 0
26.01/26.19 c conflictdiving : 0.25 0.00 1 1 1
26.01/26.19 c crossover : 0.00 0.00 0 0 0
26.01/26.19 c dins : 0.00 0.00 0 0 0
26.01/26.19 c distributiondivin: 0.00 0.00 0 0 0
26.01/26.19 c dps : 0.00 0.00 0 0 0
26.01/26.19 c dualval : 0.00 0.00 0 0 0
26.01/26.19 c farkasdiving : 0.00 0.00 0 0 0
26.01/26.19 c feasjump : 0.00 0.00 0 0 0
26.01/26.19 c feaspump : 1.47 0.00 1 0 0
26.01/26.19 c fixandinfer : 0.00 0.00 0 0 0
26.01/26.19 c fracdiving : 0.00 0.00 0 0 0
26.01/26.19 c gins : 0.00 0.00 0 0 0
26.01/26.19 c guideddiving : 0.00 0.00 0 0 0
26.01/26.19 c indcoefdiving : 0.00 0.00 0 0 0
26.01/26.19 c indicator : 0.00 0.00 0 0 0
26.01/26.19 c indicatordiving : 0.00 0.00 0 0 0
26.01/26.19 c indoneopt : 0.00 0.00 0 0 0
26.01/26.19 c indrounding : 0.00 0.00 0 0 0
26.01/26.19 c indtwoopt : 0.00 0.00 0 0 0
26.01/26.19 c intdiving : 0.00 0.00 0 0 0
26.01/26.19 c intshifting : 0.00 0.00 0 0 0
26.01/26.19 c linesearchdiving : 0.00 0.00 0 0 0
26.01/26.19 c localbranching : 0.00 0.00 0 0 0
26.01/26.19 c locks : 0.02 0.00 1 1 1
26.01/26.19 c lpface : 0.00 0.00 0 0 0
26.01/26.19 c mpec : 0.00 0.00 0 0 0
26.01/26.19 c multistart : 0.00 0.00 0 0 0
26.01/26.19 c mutation : 0.00 0.00 0 0 0
26.01/26.19 c nlpdiving : 0.00 0.00 0 0 0
26.01/26.19 c objpscostdiving : 0.00 0.00 0 0 0
26.01/26.19 c octane : 0.00 0.00 0 0 0
26.01/26.19 c ofins : 0.00 0.00 0 0 0
26.01/26.19 c oneopt : 0.00 0.00 3 0 0
26.01/26.19 c padm : 0.00 0.00 0 0 0
26.01/26.19 c proximity : 0.00 0.00 0 0 0
26.01/26.19 c pscostdiving : 0.00 0.00 0 0 0
26.01/26.19 c randrounding : 0.07 0.00 25 1 0
26.01/26.19 c rens : 0.00 0.00 0 0 0
26.01/26.19 c reoptsols : 0.00 0.00 0 0 0
26.01/26.19 c repair : 0.00 0.00 0 0 0
26.01/26.19 c rins : 0.00 0.00 0 0 0
26.01/26.19 c rootsoldiving : 0.00 0.00 0 0 0
26.01/26.19 c rounding : 0.02 0.00 43 0 0
26.01/26.19 c scheduler : 0.00 0.00 0 0 0
26.01/26.19 c shiftandpropagate: 0.00 0.00 0 0 0
26.01/26.19 c shifting : 0.03 0.00 25 0 0
26.01/26.19 c simplerounding : 0.00 0.00 0 0 0
26.01/26.19 c smallcard : 0.00 0.00 0 0 0
26.01/26.19 c subnlp : 0.00 0.00 0 0 0
26.01/26.19 c trivial : 0.00 0.00 2 1 1
26.01/26.19 c trivialnegation : 0.00 0.00 0 0 0
26.01/26.19 c trustregion : 0.00 0.00 0 0 0
26.01/26.19 c trysol : 0.00 0.00 0 0 0
26.01/26.19 c twoopt : 0.00 0.00 0 0 0
26.01/26.19 c undercover : 0.00 0.00 0 0 0
26.01/26.19 c vbounds : 0.00 0.00 0 0 0
26.01/26.19 c veclendiving : 0.00 0.00 0 0 0
26.01/26.19 c zeroobj : 0.00 0.00 0 0 0
26.01/26.19 c zirounding : 0.01 0.00 14 0 0
26.01/26.19 c other solutions : - - - 0 -
26.01/26.19 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
26.01/26.19 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
26.01/26.19 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
26.01/26.19 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
26.01/26.19 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
26.01/26.19 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
26.01/26.19 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
26.01/26.19 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
26.01/26.19 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
26.01/26.19 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
26.01/26.19 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
26.01/26.19 c primal LP : 0.00 2 0 0.00 - 0.00 2
26.01/26.19 c dual LP : 1.95 54 13782 255.22 7068.96 0.00 0
26.01/26.19 c lex dual LP : 0.00 0 0 0.00 -
26.01/26.19 c barrier LP : 0.00 0 0 0.00 - 0.00 0
26.01/26.19 c resolve instable : 0.00 0 0 0.00 -
26.01/26.19 c diving/probing LP: 1.76 17 10567 621.59 6013.25
26.01/26.19 c strong branching : 21.05 243 149161 613.83 7084.78 - - 157
26.01/26.19 c (at root node) : - 44 40093 911.20 -
26.01/26.19 c conflict analysis: 0.00 3 30 10.00 -
26.01/26.19 c B&B Tree :
26.01/26.19 c number of runs : 1
26.01/26.19 c nodes : 29 (14 internal, 15 leaves)
26.01/26.19 c feasible leaves : 0
26.01/26.19 c infeas. leaves : 3
26.01/26.19 c objective leaves : 12
26.01/26.19 c nodes (total) : 29 (14 internal, 15 leaves)
26.01/26.19 c nodes left : 0
26.01/26.19 c max depth : 8
26.01/26.19 c max depth (total): 8
26.01/26.19 c backtracks : 5 (17.2%)
26.01/26.19 c early backtracks : 0 (0.0%)
26.01/26.19 c nodes exc. ref. : 0 (0.0%)
26.01/26.19 c delayed cutoffs : 0
26.01/26.19 c repropagations : 0 (0 domain reductions, 0 cutoffs)
26.01/26.19 c avg switch length: 2.55
26.01/26.19 c switching time : 0.00
26.01/26.19 c Root Node :
26.01/26.19 c First LP value : -1.66666666666667e+02
26.01/26.19 c First LP Iters : 1088 (7823.74 Iter/sec)
26.01/26.19 c First LP Time : 0.14
26.01/26.19 c Final Dual Bound : -1.65498170512222e+02
26.01/26.19 c Final Root Iters : 3466
26.01/26.19 c Root LP Estimate : -8.00832439183149e+01
26.01/26.19 c Solution :
26.01/26.19 c Solutions found : 5 (4 improvements)
26.01/26.19 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
26.01/26.19 c Gap First Sol. : infinite
26.01/26.19 c Gap Last Sol. : 7.11 %
26.01/26.19 c Primal Bound : -1.50000000000000e+02 (in run 1, after 5 nodes, 14.54 seconds, depth 5, found by <relaxation>)
26.01/26.19 c Dual Bound : -1.50000000000000e+02
26.01/26.19 c Gap : 0.00 %
26.01/26.19 c Integrals : Total Avg%
26.01/26.19 c primal-dual : 258.31 9.87
26.01/26.19 c primal-ref : - - (not evaluated)
26.01/26.19 c dual-ref : - - (not evaluated)
26.11/26.23 c Time complete: 26.1471.
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: 63665 MiB (61930 MiB free)
memory of node 1: 64507 MiB (60481 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521364-1751558851/watcher-4521364-1751558851 -o /tmp/evaluation-result-4521364-1751558851/solver-4521364-1751558851 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751550309-78442 --watchdog 3760 pbscip -f HOME/instance-4521364-1751558851.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=80694, runsolver pid=80691
[startup+0.100064 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 80695
/proc/meminfo: memFree=125325816/131250000 swapFree=33010416/33010684
[pid=80694] ppid=80691 vsize=66416 memory=40244 CPUtime=0.09 cores=4,6
/proc/80694/stat : 80694 (pbscip) R 80691 80694 78407 0 -1 4194304 8128 0 0 0 8 1 0 0 20 0 1 0 71564952 68009984 10061 18446744073709551615 4235264 18693293 140733857564752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60219392 140733857569161 140733857569260 140733857569260 140733857574862 0
/proc/80694/statm: 16604 10061 3712 3530 0 8055 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66416 KiB
Current children cumulated memory: 40244 KiB
[startup+0.205534 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 80695
/proc/meminfo: memFree=125310192/131250000 swapFree=33010416/33010684
[pid=80694] ppid=80691 vsize=82204 memory=56116 CPUtime=0.2 cores=4,6
/proc/80694/stat : 80694 (pbscip) R 80691 80694 78407 0 -1 4194304 11936 0 0 0 18 2 0 0 20 0 1 0 71564952 84176896 14029 18446744073709551615 4235264 18693293 140733857564752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60219392 140733857569161 140733857569260 140733857569260 140733857574862 0
/proc/80694/statm: 20551 14029 3904 3530 0 12002 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 82204 KiB
Current children cumulated memory: 56116 KiB
[startup+0.305408 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 80695
/proc/meminfo: memFree=125316324/131250000 swapFree=33010416/33010684
[pid=80694] ppid=80691 vsize=82204 memory=56116 CPUtime=0.3 cores=4,6
/proc/80694/stat : 80694 (pbscip) R 80691 80694 78407 0 -1 4194304 11936 0 0 0 28 2 0 0 20 0 1 0 71564952 84176896 14029 18446744073709551615 4235264 18693293 140733857564752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60219392 140733857569161 140733857569260 140733857569260 140733857574862 0
/proc/80694/statm: 20551 14029 3904 3530 0 12002 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 82204 KiB
Current children cumulated memory: 56116 KiB
[startup+0.700166 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 80695
/proc/meminfo: memFree=125292132/131250000 swapFree=33010416/33010684
[pid=80694] ppid=80691 vsize=127256 memory=95668 CPUtime=0.68 cores=4,6
/proc/80694/stat : 80694 (pbscip) R 80691 80694 78407 0 -1 4194304 21765 0 0 0 65 3 0 0 20 0 1 0 71564952 130310144 23917 18446744073709551615 4235264 18693293 140733857564752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60219392 140733857569161 140733857569260 140733857569260 140733857574862 0
/proc/80694/statm: 31814 23917 3936 3530 0 23265 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127256 KiB
Current children cumulated memory: 95668 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 80695
/proc/meminfo: memFree=125251812/131250000 swapFree=33010416/33010684
[pid=80694] ppid=80691 vsize=167860 memory=128052 CPUtime=1.48 cores=4,6
/proc/80694/stat : 80694 (pbscip) R 80691 80694 78407 0 -1 4194304 29890 0 0 0 143 5 0 0 20 0 1 0 71564952 171888640 32013 18446744073709551615 4235264 18693293 140733857564752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60219392 140733857569161 140733857569260 140733857569260 140733857574862 0
/proc/80694/statm: 41965 32013 3936 3530 0 33416 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 167860 KiB
Current children cumulated memory: 128052 KiB
[startup+3.10555 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 80695
/proc/meminfo: memFree=125256244/131250000 swapFree=33010416/33010684
[pid=80694] ppid=80691 vsize=169004 memory=128308 CPUtime=3.08 cores=4,6
/proc/80694/stat : 80694 (pbscip) R 80691 80694 78407 0 -1 4194304 29940 0 0 0 303 5 0 0 20 0 1 0 71564952 173060096 32077 18446744073709551615 4235264 18693293 140733857564752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60219392 140733857569161 140733857569260 140733857569260 140733857574862 0
/proc/80694/statm: 42251 32077 3936 3530 0 33702 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 169004 KiB
Current children cumulated memory: 128308 KiB
[startup+6.30013 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 80695
/proc/meminfo: memFree=125240560/131250000 swapFree=33010416/33010684
[pid=80694] ppid=80691 vsize=179176 memory=138288 CPUtime=6.26 cores=4,6
/proc/80694/stat : 80694 (pbscip) R 80691 80694 78407 0 -1 4194304 32941 0 0 0 621 5 0 0 20 0 1 0 71564952 183476224 34572 18446744073709551615 4235264 18693293 140733857564752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60219392 140733857569161 140733857569260 140733857569260 140733857574862 0
/proc/80694/statm: 44794 34572 3936 3530 0 36245 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 179176 KiB
Current children cumulated memory: 138288 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 80695
/proc/meminfo: memFree=125241080/131250000 swapFree=33010416/33010684
[pid=80694] ppid=80691 vsize=179176 memory=138288 CPUtime=12.64 cores=4,6
/proc/80694/stat : 80694 (pbscip) R 80691 80694 78407 0 -1 4194304 32941 0 0 0 1259 5 0 0 20 0 1 0 71564952 183476224 34572 18446744073709551615 4235264 18693293 140733857564752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60219392 140733857569161 140733857569260 140733857569260 140733857574862 0
/proc/80694/statm: 44794 34572 3936 3530 0 36245 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 179176 KiB
Current children cumulated memory: 138288 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 80695
/proc/meminfo: memFree=125238428/131250000 swapFree=33010416/33010684
[pid=80694] ppid=80691 vsize=179176 memory=138288 CPUtime=25.41 cores=4,6
/proc/80694/stat : 80694 (pbscip) R 80691 80694 78407 0 -1 4194304 32941 0 0 0 2536 5 0 0 20 0 1 0 71564952 183476224 34572 18446744073709551615 4235264 18693293 140733857564752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60219392 140733857569161 140733857569260 140733857569260 140733857574862 0
/proc/80694/statm: 44794 34572 3936 3530 0 36245 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 179176 KiB
Current children cumulated memory: 138288 KiB
[startup+26.2374 s]
# the end of solver process 80694 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=26.0914 s, system=0.06475 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 80695
/proc/meminfo: memFree=125238428/131250000 swapFree=33010416/33010684
[pid=80694] ppid=80691 vsize=179176 memory=138288 CPUtime=25.51 cores=4,6
/proc/80694/stat : 80694 (pbscip) R 80691 80694 78407 0 -1 4194304 32941 0 0 0 2546 5 0 0 20 0 1 0 71564952 183476224 34572 18446744073709551615 4235264 18693293 140733857564752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60219392 140733857569161 140733857569260 140733857569260 140733857574862 0
/proc/80694/statm: 44794 34572 3936 3530 0 36245 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 179176 KiB
Current children cumulated memory: 138288 KiB
[startup+26.0001 s]*
/proc/loadavg: 4.14 4.12 4.09 5/262 80695
/proc/meminfo: memFree=125238428/131250000 swapFree=33010416/33010684
[pid=80694] ppid=80691 vsize=179176 memory=138288 CPUtime=25.91 cores=4,6
/proc/80694/stat : 80694 (pbscip) R 80691 80694 78407 0 -1 4194304 32941 0 0 0 2586 5 0 0 20 0 1 0 71564952 183476224 34572 18446744073709551615 4235264 18693293 140733857564752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60219392 140733857569161 140733857569260 140733857569260 140733857574862 0
/proc/80694/statm: 44794 34572 3936 3530 0 36245 0
Current children cumulated CPU time: 25.91 s
Current children cumulated vsize: 179176 KiB
Current children cumulated memory: 138288 KiB
[startup+26.2001 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 80695
/proc/meminfo: memFree=125238428/131250000 swapFree=33010416/33010684
[pid=80694] ppid=80691 vsize=179176 memory=138288 CPUtime=26.11 cores=4,6
/proc/80694/stat : 80694 (pbscip) R 80691 80694 78407 0 -1 4194304 32943 0 0 0 2606 5 0 0 20 0 1 0 71564952 183476224 34572 18446744073709551615 4235264 18693293 140733857564752 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60219392 140733857569161 140733857569260 140733857569260 140733857574862 0
/proc/80694/statm: 44794 34572 3936 3530 0 36245 0
Current children cumulated CPU time: 26.11 s
Current children cumulated vsize: 179176 KiB
Current children cumulated memory: 138288 KiB
Child status: 0
Real time (s): 26.2375
CPU time (s): 26.1562
CPU user time (s): 26.0914
CPU system time (s): 0.06475
CPU usage (%): 99.6901
Max. virtual memory (cumulated for all children) (KiB): 179176
Max. memory (cumulated for all children) (KiB): 138288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.0914
system time used= 0.06475
maximum resident set size= 140340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32949
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= 80
involuntary context switches= 31
# summary of solver processes directly reported to runsolver:
# pid: 80694
# total CPU time (s): 26.1562
# total CPU user time (s): 26.0914
# total CPU system time (s): 0.06475
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059702 second user time and 0.136742 second system time
The end