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-4458884-1721872154.opb>
0.00/0.02 c original problem has 351 variables (351 bin, 0 int, 0 impl, 0 cont) and 11700 constraints
0.00/0.02 c problem read in 0.02
0.00/0.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.04 c presolving:
0.00/0.06 c (0.1s) running MILP presolver
0.00/0.07 c (0.1s) MILP presolver found nothing
0.00/0.09 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11700 upgd conss, 0 impls, 0 clqs
0.10/0.13 c (0.1s) probing: 51/351 (14.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.20/0.29 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.29/0.34 c (0.3s) symmetry computation finished: 24 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.05)
0.29/0.34 c dynamic symmetry handling statistics:
0.29/0.34 c orbitopal reduction: no components
0.29/0.34 c orbital reduction: 1 components of sizes 24
0.29/0.34 c lexicographic reduction: 24 permutations with support sizes 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 210, 50, 210, 240
0.29/0.34 c handled 1 out of 1 symmetry components
0.29/0.35 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.29/0.35 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.35 c 0 implications, 0 cliques
0.29/0.35 c presolved problem has 351 variables (351 bin, 0 int, 0 impl, 0 cont) and 11700 constraints
0.29/0.35 c 11700 constraints of type <logicor>
0.29/0.35 c transformed objective value is always integral (scale: 1)
0.29/0.35 c Presolving Time: 0.31
0.29/0.35 c - non default parameters ----------------------------------------------------------------------
0.29/0.35 c # SCIP version 10.0.0
0.29/0.35 c
0.29/0.35 c # maximal time in seconds to run
0.29/0.35 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.29/0.35 c limits/time = 3596.997037
0.29/0.35 c
0.29/0.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.35 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.29/0.35 c limits/memory = 27900
0.29/0.35 c
0.29/0.35 c # belongs reading time to solving time?
0.29/0.35 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c timing/reading = TRUE
0.29/0.35 c
0.29/0.35 c -----------------------------------------------------------------------------------------------
0.29/0.35 c start solving
0.29/0.35 c transformed 1/1 original solutions to the transformed problem space
0.29/0.35 c
0.29/0.37 o -164
0.29/0.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.29/0.37 c p 0.4s| 1 | 0 | 0 | - | locks| 0 | 351 | 11k| 11k| 0 | 0 | 0 | 0 |-2.910000e+02 |-1.640000e+02 | 77.44%| unknown
0.79/0.86 c 0.9s| 1 | 0 | 2658 | - | 109M | 0 | 351 | 11k| 11k| 0 | 0 | 0 | 0 |-1.940000e+02 |-1.640000e+02 | 18.29%| unknown
0.88/0.99 c 1.0s| 1 | 0 | 3171 | - | 118M | 0 | 351 | 11k| 11k| 1 | 1 | 2 | 0 |-1.936667e+02 |-1.640000e+02 | 18.09%| unknown
1.09/1.12 c 1.1s| 1 | 0 | 3687 | - | 127M | 0 | 351 | 11k| 11k| 2 | 2 | 3 | 0 |-1.934327e+02 |-1.640000e+02 | 17.95%| unknown
1.19/1.22 c 1.2s| 1 | 0 | 3941 | - | 137M | 0 | 351 | 11k| 11k| 3 | 3 | 3 | 0 |-1.933997e+02 |-1.640000e+02 | 17.93%| unknown
1.28/1.36 c 1.4s| 1 | 0 | 4409 | - | 146M | 0 | 351 | 11k| 11k| 4 | 4 | 4 | 0 |-1.933129e+02 |-1.640000e+02 | 17.87%| unknown
1.38/1.46 c 1.5s| 1 | 0 | 4609 | - | 155M | 0 | 351 | 11k| 11k| 5 | 5 | 5 | 0 |-1.932921e+02 |-1.640000e+02 | 17.86%| unknown
1.58/1.61 c 1.6s| 1 | 0 | 5122 | - | 166M | 0 | 351 | 11k| 11k| 6 | 6 | 5 | 0 |-1.932518e+02 |-1.640000e+02 | 17.84%| unknown
1.68/1.75 c 1.7s| 1 | 0 | 5536 | - | 172M | 0 | 351 | 11k| 11k| 7 | 7 | 6 | 0 |-1.932381e+02 |-1.640000e+02 | 17.83%| unknown
1.78/1.84 c 1.8s| 1 | 0 | 5540 | - | 186M | 0 | 351 | 11k| 11k| 8 | 8 | 6 | 0 |-1.932381e+02 |-1.640000e+02 | 17.83%| unknown
1.88/1.99 c 2.0s| 1 | 0 | 5691 | - | 187M | 0 | 351 | 11k| 11k| 9 | 9 | 6 | 0 |-1.932280e+02 |-1.640000e+02 | 17.82%| unknown
1.98/2.09 c 2.1s| 1 | 0 | 5783 | - | 197M | 0 | 351 | 11k| 11k| 10 | 10 | 6 | 0 |-1.932216e+02 |-1.640000e+02 | 17.82%| unknown
2.09/2.19 c 2.2s| 1 | 0 | 6165 | - | 198M | 0 | 351 | 11k| 11k| 11 | 11 | 7 | 0 |-1.932075e+02 |-1.640000e+02 | 17.81%| unknown
2.18/2.26 c 2.3s| 1 | 0 | 6381 | - | 199M | 0 | 351 | 11k| 11k| 12 | 12 | 9 | 0 |-1.932024e+02 |-1.640000e+02 | 17.81%| unknown
2.28/2.32 c 2.3s| 1 | 0 | 6486 | - | 200M | 0 | 351 | 11k| 11k| 13 | 13 | 10 | 0 |-1.932012e+02 |-1.640000e+02 | 17.81%| unknown
2.28/2.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.28/2.37 c 2.4s| 1 | 0 | 6488 | - | 202M | 0 | 351 | 11k| 11k| 14 | 14 | 11 | 0 |-1.932012e+02 |-1.640000e+02 | 17.81%| unknown
2.38/2.43 c 2.4s| 1 | 0 | 6581 | - | 203M | 0 | 351 | 11k| 11k| 15 | 15 | 11 | 0 |-1.932008e+02 |-1.640000e+02 | 17.81%| unknown
2.48/2.52 c 2.5s| 1 | 0 | 6836 | - | 204M | 0 | 351 | 11k| 11k| 16 | 16 | 11 | 0 |-1.931963e+02 |-1.640000e+02 | 17.80%| unknown
4.47/4.59 o -169
4.47/4.59 c d 4.6s| 1 | 0 | 17209 | - |conflict| 0 | 351 | 11k| 11k| 0 | 16 | 11 | 0 |-1.931963e+02 |-1.690000e+02 | 14.32%| unknown
4.57/4.63 c 4.6s| 1 | 0 | 17209 | - | 204M | 0 | 351 | 11k| 11k| 16 | 16 | 11 | 0 |-1.931963e+02 |-1.690000e+02 | 14.32%| unknown
4.67/4.70 c 4.7s| 1 | 0 | 17352 | - | 205M | 0 | 351 | 11k| 11k| 17 | 17 | 11 | 0 |-1.931949e+02 |-1.690000e+02 | 14.32%| unknown
4.67/4.73 c 4.7s| 1 | 0 | 17423 | - | 205M | 0 | 351 | 11k| 11k| 18 | 18 | 11 | 0 |-1.931946e+02 |-1.690000e+02 | 14.32%| unknown
7.86/7.95 c 8.0s| 1 | 2 | 17423 | - | 206M | 0 | 351 | 11k| 11k| 18 | 18 | 11 | 20 |-1.929437e+02 |-1.690000e+02 | 14.17%| unknown
22.31/22.42 o -174
22.31/22.42 c *22.4s| 6 | 5 | 21151 |2820.2 | LP | 5 | 351 | 11k| 11k| 18 | 1 | 11 | 148 |-1.929437e+02 |-1.740000e+02 | 10.89%| unknown
22.61/22.76 o -180
22.61/22.76 c *22.8s| 8 | 3 | 22452 |2200.3 | LP | 5 | 351 | 11k| 11k| 18 | 1 | 27 | 153 |-1.929437e+02 |-1.800000e+02 | 7.19%| 11.73%
22.92/23.06 c
22.92/23.06 c SCIP Status : problem is solved [optimal solution found]
22.92/23.06 c Solving Time (sec) : 23.06
22.92/23.06 c Solving Nodes : 11
22.92/23.06 c Primal Bound : -1.80000000000000e+02 (13 solutions)
22.92/23.06 c Dual Bound : -1.80000000000000e+02
22.92/23.06 c Gap : 0.00 %
22.92/23.06 s OPTIMUM FOUND
22.92/23.06 v -x341 -x335 -x328 -x320 -x311 -x306 -x301 -x295 -x290 -x283 -x278 -x270 -x265 -x256 -x251 -x246 -x241 -x236 -x230 -x225 -x220 -x213
22.92/23.06 v -x208 -x203 -x195 -x190 -x185 -x176 -x171 -x166 -x161 -x156 -x151 -x146 -x140 -x135 -x130 -x125 -x118 -x113 -x108 -x103
22.92/23.06 v -x95 -x90 -x85 -x80 -x71 -x66 -x61 -x56 -x51 -x25 -x46 -x20 -x41 -x15 -x36 -x10 -x31 -x5 -x351 x350 x349 -x346 x348 x347 -x343
22.92/23.06 v -x342 x345 x344 x339 x338 x337 -x340 x334 x333 x332 -x336 -x331 -x327 -x326 x330 x325 x329 x324 -x321 -x316 -x319 x323 x318
22.92/23.06 v x322 x317 -x313 -x308 -x312 -x307 x315 x310 x314 x309 x304 x299 x303 x298 x302 x297 -x305 -x300 x294 x289 x293 x288 x292 x287
22.92/23.06 v -x296 -x291 -x286 -x282 -x277 -x281 -x276 x285 x280 x275 x284 x279 x274 -x271 -x266 -x261 -x269 -x264 x273 x268 x263 x272 x267
22.92/23.06 v x262 -x258 -x253 -x248 -x257 -x252 -x247 x260 x255 x250 x259 x254 x249 x244 x239 x234 x243 x238 x233 x242 x237 x232 -x245
22.92/23.06 v -x240 -x235 x229 x224 x219 x228 x223 x218 x227 x222 x217 -x231 -x226 -x221 -x216 -x212 -x207 -x202 -x211 -x206 -x201 x215 x210
22.92/23.06 v x205 x200 x214 x209 x204 x199 -x196 -x191 -x186 -x181 -x194 -x189 -x184 x198 x193 x188 x183 x197 x192 x187 x182 -x178 -x173
22.92/23.06 v -x168 -x163 -x177 -x172 -x167 -x162 x180 x175 x170 x165 x179 x174 x169 x164 x159 x154 x149 x144 x158 x153 x148 x143 x157 x152
22.92/23.06 v x147 x142 -x160 -x155 -x150 -x145 x139 x134 x129 x124 x138 x133 x128 x123 x137 x132 x127 x122 -x141 -x136 -x131 -x126 -x121
22.92/23.06 v -x117 -x112 -x107 -x102 -x116 -x111 -x106 -x101 x120 x115 x110 x105 x100 x119 x114 x109 x104 x99 -x96 -x91 -x86 -x81 -x76 -x94
22.92/23.06 v -x89 -x84 -x79 x98 x93 x88 x83 x78 x97 x92 x87 x82 x77 -x73 -x68 -x63 -x58 -x53 -x72 -x67 -x62 -x57 -x52 x75 x70 x65 x60
22.92/23.06 v x55 x74 x69 x64 x59 x54 x49 x44 x39 x34 x29 x48 x43 x38 x33 x28 x47 x42 x37 x32 x27 -x50 -x45 -x40 -x35 -x30 x24 x19 x14 x9 x4
22.92/23.06 v x23 x18 x13 x8 x3 x22 x17 x12 x7 x2 -x26 -x21 -x16 -x11 -x6 -x1
22.92/23.06 c SCIP Status : problem is solved [optimal solution found]
22.92/23.06 c Total Time : 23.06
22.92/23.06 c solving : 23.06
22.92/23.06 c presolving : 0.31 (included in solving)
22.92/23.06 c reading : 0.02 (included in solving)
22.92/23.06 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
22.92/23.06 c Original Problem :
22.92/23.06 c Problem name : HOME/instance-4458884-1721872154.opb
22.92/23.06 c Variables : 351 (351 binary, 0 integer, 0 implicit integer, 0 continuous)
22.92/23.06 c Constraints : 11700 initial, 11700 maximal
22.92/23.06 c Objective : minimize, 291 non-zeros (abs.min = 1, abs.max = 1)
22.92/23.06 c Presolved Problem :
22.92/23.06 c Problem name : t_HOME/instance-4458884-1721872154.opb
22.92/23.06 c Variables : 351 (351 binary, 0 integer, 0 implicit integer, 0 continuous)
22.92/23.06 c Constraints : 11700 initial, 11740 maximal
22.92/23.06 c Objective : minimize, 291 non-zeros (abs.min = 1, abs.max = 1)
22.92/23.06 c Nonzeros : 35100 constraint, 0 clique table
22.92/23.06 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
22.92/23.06 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.92/23.06 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c dualsparsify : 0.16 0.00 1 0 0 0 0 0 0 0 0 0
22.92/23.06 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
22.92/23.06 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c milp : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
22.92/23.06 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
22.92/23.06 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
22.92/23.06 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
22.92/23.06 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.92/23.06 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.92/23.06 c symmetry : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
22.92/23.06 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c linear : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
22.92/23.06 c logicor : 0.02 0.00 3 0 0 0 0 0 0 0 0 0
22.92/23.06 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.92/23.06 c root node : - - - 180 - - 180 - - - - -
22.92/23.06 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
22.92/23.06 c benderslp : 0 0 0 0 9 0 0 22 0 0 0 0 0 0 0
22.92/23.06 c integral : 0 0 0 0 9 0 0 22 0 0 10 0 0 28 10
22.92/23.06 c linear : 0+ 10 0 27 0 0 0 3 0 0 0 0 0 0 0
22.92/23.06 c logicor : 11700+ 11730 17 1088 2 0 0 16 164 10 175 0 0 0 0
22.92/23.06 c benders : 0 0 0 0 2 0 0 14 0 0 0 0 0 0 0
22.92/23.06 c fixedvar : 0 0 0 0 2 0 0 14 0 0 0 0 0 0 0
22.92/23.06 c countsols : 0 0 0 0 2 0 0 14 0 0 0 0 0 0 0
22.92/23.06 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
22.92/23.06 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c integral : 17.25 0.00 0.00 0.00 17.25 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c logicor : 0.11 0.00 0.03 0.05 0.00 0.00 0.00 0.00 0.00 0.01
22.92/23.06 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c Propagators : #Propagate #ResProp Cutoffs DomReds
22.92/23.06 c dualfix : 3 0 0 0
22.92/23.06 c genvbounds : 0 0 0 0
22.92/23.06 c nlobbt : 0 0 0 0
22.92/23.06 c obbt : 0 0 0 0
22.92/23.06 c probing : 0 0 0 0
22.92/23.06 c pseudoobj : 59 0 1 0
22.92/23.06 c redcost : 22 0 0 0
22.92/23.06 c rootredcost : 0 0 0 0
22.92/23.06 c symmetry : 393 0 1 298
22.92/23.06 c vbounds : 0 0 0 0
22.92/23.06 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
22.92/23.06 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c symmetry : 0.06 0.00 0.06 0.00 0.00 0.00
22.92/23.06 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
22.92/23.06 c Symmetry :
22.92/23.06 c orbitopal red. : 0 reductions applied, 0 cutoffs
22.92/23.06 c orbital reduction: 296 reductions applied, 1 cutoffs
22.92/23.06 c lexicographic red: 6 reductions applied, 0 cutoffs
22.92/23.06 c shadow tree time : 0.00 s
22.92/23.06 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
22.92/23.06 c propagation : 0.00 11 10 - 11 4.1 1 4.0 - - -
22.92/23.06 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
22.92/23.06 c bound exceed. LP : 0.00 10 10 - 37 15.8 0 0.0 10 20.8 10
22.92/23.06 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
22.92/23.06 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
22.92/23.06 c applied globally : 0.00 - - 0 30 11.4 - - 10 - -
22.92/23.06 c applied locally : - - - 0 0 0.0 - - 0 - -
22.92/23.06 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
22.92/23.06 c cut pool : 0.03 - 27 27 - - 2001 11479 - - - - - (maximal pool size: 2001)
22.92/23.06 c aggregation : 0.24 0.00 17 17 0 0 0 0 0 0 0 0 0
22.92/23.06 c > cmir : - - - - - - - 0 0 0 0 0 -
22.92/23.06 c > flowcover : - - - - - - - 0 0 0 0 0 -
22.92/23.06 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
22.92/23.06 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
22.92/23.06 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c gomory : 0.48 0.00 10 10 0 0 2001 11479 0 18 18 0 0
22.92/23.06 c > gomorymi : - - - - - - - 10998 0 18 18 0 -
22.92/23.06 c > strongcg : - - - - - - - 481 0 0 0 0 -
22.92/23.06 c impliedbounds : 0.00 0.00 17 17 0 0 0 0 0 0 0 0 0
22.92/23.06 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
22.92/23.06 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c multilinear : 0.00 0.00 20 17 0 0 0 0 0 0 0 0 0
22.92/23.06 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.92/23.06 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
22.92/23.06 c zerohalf : 0.12 0.00 17 17 0 0 0 0 0 0 0 0 0
22.92/23.06 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
22.92/23.06 c hybrid : 0.02 0.00 18 18 18 0 11461 18 0 11461
22.92/23.06 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c Pricers : ExecTime SetupTime Calls Vars
22.92/23.06 c problem variables: 0.00 - 0 0
22.92/23.06 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
22.92/23.06 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c random : 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c relpscost : 17.25 0.00 7 0 0 0 10 0 28 10
22.92/23.06 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
22.92/23.06 c Primal Heuristics : ExecTime SetupTime Calls Found Best
22.92/23.06 c LP solutions : 0.00 - - 2 2
22.92/23.06 c relax solutions : 0.00 - - 0 0
22.92/23.06 c pseudo solutions : 0.00 - - 0 0
22.92/23.06 c strong branching : 0.00 - - 0 0
22.92/23.06 c actconsdiving : 0.00 0.00 0 0 0
22.92/23.06 c adaptivediving : 0.00 0.00 0 0 0
22.92/23.06 c alns : 0.03 0.00 1 0 0
22.92/23.06 c bound : 0.00 0.00 0 0 0
22.92/23.06 c clique : 0.00 0.00 0 0 0
22.92/23.06 c coefdiving : 0.00 0.00 0 0 0
22.92/23.06 c completesol : 0.00 0.00 0 0 0
22.92/23.06 c conflictdiving : 0.32 0.00 1 1 1
22.92/23.06 c crossover : 0.00 0.00 0 0 0
22.92/23.06 c dins : 0.00 0.00 0 0 0
22.92/23.06 c distributiondivin: 0.00 0.00 0 0 0
22.92/23.06 c dps : 0.00 0.00 0 0 0
22.92/23.06 c dualval : 0.00 0.00 0 0 0
22.92/23.06 c farkasdiving : 0.00 0.00 0 0 0
22.92/23.06 c feasjump : 0.00 0.00 0 0 0
22.92/23.06 c feaspump : 1.74 0.00 1 0 0
22.92/23.06 c fixandinfer : 0.00 0.00 0 0 0
22.92/23.06 c fracdiving : 0.00 0.00 0 0 0
22.92/23.06 c gins : 0.00 0.00 0 0 0
22.92/23.06 c guideddiving : 0.00 0.00 0 0 0
22.92/23.06 c indcoefdiving : 0.00 0.00 0 0 0
22.92/23.06 c indicator : 0.00 0.00 0 0 0
22.92/23.06 c indicatordiving : 0.00 0.00 0 0 0
22.92/23.06 c indoneopt : 0.00 0.00 0 0 0
22.92/23.06 c indrounding : 0.00 0.00 0 0 0
22.92/23.06 c indtwoopt : 0.00 0.00 0 0 0
22.92/23.06 c intdiving : 0.00 0.00 0 0 0
22.92/23.06 c intshifting : 0.00 0.00 0 0 0
22.92/23.06 c linesearchdiving : 0.00 0.00 0 0 0
22.92/23.06 c localbranching : 0.00 0.00 0 0 0
22.92/23.06 c locks : 0.02 0.00 1 1 1
22.92/23.06 c lpface : 0.00 0.00 0 0 0
22.92/23.06 c mpec : 0.00 0.00 0 0 0
22.92/23.06 c multistart : 0.00 0.00 0 0 0
22.92/23.06 c mutation : 0.00 0.00 0 0 0
22.92/23.06 c nlpdiving : 0.00 0.00 0 0 0
22.92/23.06 c objpscostdiving : 0.00 0.00 0 0 0
22.92/23.06 c octane : 0.00 0.00 0 0 0
22.92/23.06 c ofins : 0.00 0.00 0 0 0
22.92/23.06 c oneopt : 0.00 0.00 4 0 0
22.92/23.06 c padm : 0.00 0.00 0 0 0
22.92/23.06 c proximity : 0.00 0.00 0 0 0
22.92/23.06 c pscostdiving : 0.00 0.00 0 0 0
22.92/23.06 c randrounding : 0.08 0.00 20 8 0
22.92/23.06 c rens : 0.00 0.00 0 0 0
22.92/23.06 c reoptsols : 0.00 0.00 0 0 0
22.92/23.06 c repair : 0.00 0.00 0 0 0
22.92/23.06 c rins : 0.00 0.00 0 0 0
22.92/23.06 c rootsoldiving : 0.00 0.00 0 0 0
22.92/23.06 c rounding : 0.02 0.00 26 0 0
22.92/23.06 c scheduler : 0.00 0.00 0 0 0
22.92/23.06 c shiftandpropagate: 0.00 0.00 0 0 0
22.92/23.06 c shifting : 0.03 0.00 20 0 0
22.92/23.06 c simplerounding : 0.00 0.00 0 0 0
22.92/23.06 c smallcard : 0.00 0.00 0 0 0
22.92/23.06 c subnlp : 0.00 0.00 0 0 0
22.92/23.06 c trivial : 0.00 0.00 2 1 1
22.92/23.06 c trivialnegation : 0.00 0.00 0 0 0
22.92/23.06 c trustregion : 0.00 0.00 0 0 0
22.92/23.06 c trysol : 0.00 0.00 0 0 0
22.92/23.06 c twoopt : 0.00 0.00 0 0 0
22.92/23.06 c undercover : 0.00 0.00 0 0 0
22.92/23.06 c vbounds : 0.00 0.00 0 0 0
22.92/23.06 c veclendiving : 0.00 0.00 0 0 0
22.92/23.06 c zeroobj : 0.00 0.00 0 0 0
22.92/23.06 c zirounding : 0.00 0.00 5 0 0
22.92/23.06 c other solutions : - - - 0 -
22.92/23.06 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
22.92/23.06 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
22.92/23.06 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
22.92/23.06 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
22.92/23.06 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
22.92/23.06 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
22.92/23.06 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
22.92/23.06 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
22.92/23.06 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
22.92/23.06 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
22.92/23.06 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
22.92/23.06 c primal LP : 0.00 1 0 0.00 - 0.00 1
22.92/23.06 c dual LP : 2.22 28 13066 466.64 5889.37 0.00 0
22.92/23.06 c lex dual LP : 0.00 0 0 0.00 -
22.92/23.06 c barrier LP : 0.00 0 0 0.00 - 0.00 0
22.92/23.06 c resolve instable : 0.00 0 0 0.00 -
22.92/23.06 c diving/probing LP: 2.10 8 10383 1297.88 4952.62
22.92/23.06 c strong branching : 17.04 158 103877 657.45 6097.39 - - 154
22.92/23.06 c (at root node) : - 20 16896 844.80 -
22.92/23.06 c conflict analysis: 0.00 1 10 10.00 -
22.92/23.06 c B&B Tree :
22.92/23.06 c number of runs : 1
22.92/23.06 c nodes : 11 (5 internal, 6 leaves)
22.92/23.06 c feasible leaves : 2
22.92/23.06 c infeas. leaves : 3
22.92/23.06 c objective leaves : 1
22.92/23.06 c nodes (total) : 11 (5 internal, 6 leaves)
22.92/23.06 c nodes left : 0
22.92/23.06 c max depth : 5
22.92/23.06 c max depth (total): 5
22.92/23.06 c backtracks : 4 (36.4%)
22.92/23.06 c early backtracks : 0 (0.0%)
22.92/23.06 c nodes exc. ref. : 0 (0.0%)
22.92/23.06 c delayed cutoffs : 0
22.92/23.06 c repropagations : 0 (0 domain reductions, 0 cutoffs)
22.92/23.06 c avg switch length: 2.36
22.92/23.06 c switching time : 0.00
22.92/23.06 c Root Node :
22.92/23.06 c First LP value : -1.94000000000000e+02
22.92/23.06 c First LP Iters : 2658 (5445.82 Iter/sec)
22.92/23.06 c First LP Time : 0.49
22.92/23.06 c Final Dual Bound : -1.92943718509607e+02
22.92/23.06 c Final Root Iters : 7050
22.92/23.06 c Root LP Estimate : -1.31581644534374e+02
22.92/23.06 c Solution :
22.92/23.06 c Solutions found : 13 (5 improvements)
22.92/23.06 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
22.92/23.06 c Gap First Sol. : infinite
22.92/23.06 c Gap Last Sol. : 7.19 %
22.92/23.06 c Primal Bound : -1.80000000000000e+02 (in run 1, after 11 nodes, 23.06 seconds, depth -1, found by <relaxation>)
22.92/23.06 c Dual Bound : -1.80000000000000e+02
22.92/23.06 c Gap : 0.00 %
22.92/23.06 c Integrals : Total Avg%
22.92/23.06 c primal-dual : 341.99 14.83
22.92/23.06 c primal-ref : - - (not evaluated)
22.92/23.06 c dual-ref : - - (not evaluated)
23.02/23.11 c Time complete: 23.0343.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60644 MiB free)
memory of node 1: 64510 MiB (59495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458884-1721872154/watcher-4458884-1721872154 -o /tmp/evaluation-result-4458884-1721872154/solver-4458884-1721872154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721865115-254127 --watchdog 3760 pbscip -f HOME/instance-4458884-1721872154.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=259385, runsolver pid=259382
[startup+0.104906 s]*
/proc/loadavg: 4.10 4.14 4.10 5/254 259386
/proc/meminfo: memFree=122989840/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=86908 memory=47736 CPUtime=0.1 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 9971 0 0 0 8 2 0 0 20 0 1 0 23744983 88993792 11934 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 21727 11934 3701 3540 0 9984 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 86908 KiB
Current children cumulated memory: 47736 KiB
[startup+0.205607 s]*
/proc/loadavg: 4.10 4.14 4.10 5/254 259386
/proc/meminfo: memFree=122948984/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=137852 memory=88252 CPUtime=0.2 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 16073 0 0 0 17 3 0 0 20 0 1 0 23744983 141160448 22063 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 34463 22063 3749 3540 0 22720 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 137852 KiB
Current children cumulated memory: 88252 KiB
[startup+0.305545 s]*
/proc/loadavg: 4.10 4.14 4.10 5/254 259386
/proc/meminfo: memFree=122931160/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=158100 memory=105992 CPUtime=0.29 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 18445 0 0 0 26 3 0 0 20 0 1 0 23744983 161894400 26498 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 39525 26498 3765 3540 0 27782 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 158100 KiB
Current children cumulated memory: 105992 KiB
[startup+0.700149 s]
/proc/loadavg: 4.10 4.14 4.10 5/254 259386
/proc/meminfo: memFree=122917580/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=169256 memory=119860 CPUtime=0.69 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 21858 0 0 0 65 4 0 0 20 0 1 0 23744983 173318144 29965 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 42314 29965 3829 3540 0 30571 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 169256 KiB
Current children cumulated memory: 119860 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.14 4.10 5/254 259386
/proc/meminfo: memFree=122907976/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=222604 memory=166480 CPUtime=1.48 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 33431 0 0 0 143 5 0 0 20 0 1 0 23744983 227946496 41620 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 55651 41620 3941 3540 0 43908 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 222604 KiB
Current children cumulated memory: 166480 KiB
[startup+3.10543 s]
/proc/loadavg: 4.09 4.14 4.10 5/254 259386
/proc/meminfo: memFree=122837084/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=267716 memory=200272 CPUtime=3.08 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 41843 0 0 0 301 7 0 0 20 0 1 0 23744983 274141184 50068 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 66929 50068 3941 3540 0 55186 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 267716 KiB
Current children cumulated memory: 200272 KiB
[startup+6.30015 s]
/proc/loadavg: 4.09 4.14 4.10 5/254 259387
/proc/meminfo: memFree=122826536/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=279512 memory=210832 CPUtime=6.27 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 44477 0 0 0 619 8 0 0 20 0 1 0 23744983 286220288 52708 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 69878 52708 3941 3540 0 58135 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 279512 KiB
Current children cumulated memory: 210832 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.13 4.10 5/254 259387
/proc/meminfo: memFree=122826500/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=279512 memory=210832 CPUtime=12.65 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 44480 0 0 0 1256 9 0 0 20 0 1 0 23744983 286220288 52708 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 69878 52708 3941 3540 0 58135 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 279512 KiB
Current children cumulated memory: 210832 KiB
[startup+23.125 s]
# the end of solver process 259385 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=22.9322 s, system=0.112489 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.09 4.13 4.10 5/254 259387
/proc/meminfo: memFree=122826500/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=279512 memory=210832 CPUtime=12.75 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 44480 0 0 0 1266 9 0 0 20 0 1 0 23744983 286220288 52708 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 69878 52708 3941 3540 0 58135 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 279512 KiB
Current children cumulated memory: 210832 KiB
[startup+19.2001 s]
/proc/loadavg: 4.07 4.13 4.10 5/254 259389
/proc/meminfo: memFree=122826424/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=279512 memory=210832 CPUtime=19.12 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 44480 0 0 0 1903 9 0 0 20 0 1 0 23744983 286220288 52708 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 69878 52708 3941 3540 0 58135 0
Current children cumulated CPU time: 19.12 s
Current children cumulated vsize: 279512 KiB
Current children cumulated memory: 210832 KiB
[startup+20.8002 s]
/proc/loadavg: 4.07 4.13 4.10 5/254 259389
/proc/meminfo: memFree=122826416/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=279512 memory=210832 CPUtime=20.71 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 44480 0 0 0 2062 9 0 0 20 0 1 0 23744983 286220288 52708 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 69878 52708 3941 3540 0 58135 0
Current children cumulated CPU time: 20.71 s
Current children cumulated vsize: 279512 KiB
Current children cumulated memory: 210832 KiB
[startup+22.4001 s]
/proc/loadavg: 4.07 4.13 4.10 5/254 259389
/proc/meminfo: memFree=122826424/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=279512 memory=210832 CPUtime=22.31 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 44480 0 0 0 2222 9 0 0 20 0 1 0 23744983 286220288 52708 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 69878 52708 3941 3540 0 58135 0
Current children cumulated CPU time: 22.31 s
Current children cumulated vsize: 279512 KiB
Current children cumulated memory: 210832 KiB
[startup+22.8002 s]
/proc/loadavg: 4.07 4.13 4.10 5/254 259389
/proc/meminfo: memFree=122826424/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=279512 memory=210832 CPUtime=22.72 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 44494 0 0 0 2262 10 0 0 20 0 1 0 23744983 286220288 52708 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 69878 52708 3941 3540 0 58135 0
Current children cumulated CPU time: 22.72 s
Current children cumulated vsize: 279512 KiB
Current children cumulated memory: 210832 KiB
[startup+23.0001 s]*
/proc/loadavg: 4.15 4.14 4.10 5/254 259389
/proc/meminfo: memFree=122826368/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=279512 memory=210832 CPUtime=22.92 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 44494 0 0 0 2282 10 0 0 20 0 1 0 23744983 286220288 52708 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 69878 52708 3941 3540 0 58135 0
Current children cumulated CPU time: 22.92 s
Current children cumulated vsize: 279512 KiB
Current children cumulated memory: 210832 KiB
[startup+23.1057 s]
/proc/loadavg: 4.15 4.14 4.10 5/254 259389
/proc/meminfo: memFree=122826368/131524600 swapFree=131058856/131071996
[pid=259385] ppid=259382 vsize=279512 memory=210832 CPUtime=23.02 cores=0,2
/proc/259385/stat : 259385 (pbscip) R 259382 259385 254117 0 -1 4194304 44495 0 0 0 2292 10 0 0 20 0 1 0 23744983 286220288 52708 134679101440 4194304 18693293 140722386410432 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35602432 140722386416644 140722386416743 140722386416743 140722386423758 0
/proc/259385/statm: 69878 52708 3941 3540 0 58135 0
Current children cumulated CPU time: 23.02 s
Current children cumulated vsize: 279512 KiB
Current children cumulated memory: 210832 KiB
Child status: 0
Real time (s): 23.1251
CPU time (s): 23.0447
CPU user time (s): 22.9322
CPU system time (s): 0.112489
CPU usage (%): 99.6524
Max. virtual memory (cumulated for all children) (KiB): 279512
Max. memory (cumulated for all children) (KiB): 210832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.9322
system time used= 0.112489
maximum resident set size= 211024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44501
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= 10
involuntary context switches= 169
# summary of solver processes directly reported to runsolver:
# pid: 259385
# total CPU time (s): 23.0447
# total CPU user time (s): 22.9322
# total CPU system time (s): 0.112489
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055385 second user time and 0.125123 second system time
The end