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-4432928-1721164797.opb>
0.00/0.00 c original problem has 432 variables (432 bin, 0 int, 0 impl, 0 cont) and 684 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c presolving:
0.00/0.00 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver found nothing
0.00/0.01 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 360 upgd conss, 0 impls, 36 clqs
0.00/0.01 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 684 upgd conss, 0 impls, 36 clqs
0.00/0.01 c (round 3, medium) 0 del vars, 324 del conss, 648 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 684 upgd conss, 0 impls, 684 clqs
0.00/0.01 c (round 4, exhaustive) 0 del vars, 1296 del conss, 972 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 684 upgd conss, 0 impls, 684 clqs
0.00/0.04 c (0.0s) probing cycle finished: starting next cycle
0.00/0.04 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.04 c (0.0s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.04 c dynamic symmetry handling statistics:
0.00/0.04 c orbitopal reduction: no components
0.00/0.04 c orbital reduction: no components
0.00/0.04 c lexicographic reduction: no permutations
0.00/0.04 c handled 1 out of 1 symmetry components
0.00/0.04 c (round 5, exhaustive) 21 del vars, 1296 del conss, 973 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 684 upgd conss, 0 impls, 1901 clqs
0.00/0.04 c (round 6, fast) 46 del vars, 1304 del conss, 973 add conss, 0 chg bounds, 0 chg sides, 6 chg coeffs, 684 upgd conss, 0 impls, 1883 clqs
0.00/0.06 c (0.1s) probing cycle finished: starting next cycle
0.00/0.06 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
0.00/0.06 c 46 deleted vars, 1304 deleted constraints, 973 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 6 changed coefficients
0.00/0.06 c 0 implications, 2035 cliques
0.00/0.06 c presolved problem has 404 variables (404 bin, 0 int, 0 impl, 0 cont) and 336 constraints
0.00/0.06 c 34 constraints of type <setppc>
0.00/0.06 c 301 constraints of type <and>
0.00/0.06 c 1 constraints of type <orbitope>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.06
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 10.0.0
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.06 c limits/time = 3596.997011
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.06 c limits/memory = 27900
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.07 o -1
0.00/0.07 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.07 c p 0.1s| 1 | 0 | 0 | - | clique| 0 | 404 | 336 | 636 | 0 | 0 | 0 | 0 |-1.540000e+02 |-1.000000e+00 | Large | unknown
0.00/0.07 o -15
0.00/0.07 c p 0.1s| 1 | 0 | 0 | - | vbounds| 0 | 404 | 336 | 636 | 0 | 0 | 0 | 0 |-1.540000e+02 |-1.500000e+01 | 926.67%| unknown
0.00/0.08 c 0.1s| 1 | 0 | 342 | - | 11M | 0 | 404 | 336 | 636 | 0 | 0 | 0 | 0 |-5.400000e+01 |-1.500000e+01 | 260.00%| unknown
0.00/0.08 o -22
0.00/0.08 c r 0.1s| 1 | 0 | 342 | - |shifting| 0 | 404 | 336 | 636 | 0 | 0 | 0 | 0 |-5.400000e+01 |-2.200000e+01 | 145.45%| unknown
0.00/0.10 c 0.1s| 1 | 0 | 448 | - | 12M | 0 | 404 | 336 | 725 | 89 | 1 | 0 | 0 |-5.241667e+01 |-2.200000e+01 | 138.26%| unknown
0.09/0.13 c 0.1s| 1 | 0 | 567 | - | 13M | 0 | 404 | 337 | 799 | 163 | 2 | 1 | 0 |-4.925000e+01 |-2.200000e+01 | 123.86%| unknown
0.09/0.15 c 0.2s| 1 | 0 | 709 | - | 13M | 0 | 404 | 337 | 830 | 194 | 3 | 1 | 0 |-4.482500e+01 |-2.200000e+01 | 103.75%| unknown
0.09/0.20 c 0.2s| 1 | 0 | 939 | - | 15M | 0 | 404 | 337 | 876 | 240 | 4 | 1 | 0 |-4.270000e+01 |-2.200000e+01 | 94.09%| unknown
0.20/0.24 c 0.2s| 1 | 0 | 1148 | - | 16M | 0 | 404 | 337 | 897 | 261 | 5 | 1 | 0 |-4.141667e+01 |-2.200000e+01 | 88.26%| unknown
0.20/0.28 c 0.3s| 1 | 0 | 1314 | - | 17M | 0 | 404 | 338 | 913 | 277 | 6 | 2 | 0 |-4.055556e+01 |-2.200000e+01 | 84.34%| unknown
0.30/0.33 c 0.3s| 1 | 0 | 1442 | - | 19M | 0 | 404 | 338 | 931 | 295 | 7 | 2 | 0 |-4.000000e+01 |-2.200000e+01 | 81.82%| unknown
0.30/0.39 c 0.4s| 1 | 0 | 1549 | - | 21M | 0 | 404 | 338 | 942 | 306 | 8 | 2 | 0 |-3.978993e+01 |-2.200000e+01 | 80.86%| unknown
0.40/0.45 c 0.5s| 1 | 0 | 1616 | - | 22M | 0 | 404 | 339 | 959 | 323 | 9 | 3 | 0 |-3.965556e+01 |-2.200000e+01 | 80.25%| unknown
0.49/0.53 c 0.5s| 1 | 0 | 1698 | - | 24M | 0 | 404 | 340 | 966 | 330 | 10 | 4 | 0 |-3.950000e+01 |-2.200000e+01 | 79.55%| unknown
0.49/0.54 c 0.5s| 1 | 0 | 1796 | - | 24M | 0 | 404 | 341 | 971 | 335 | 11 | 5 | 0 |-3.934840e+01 |-2.200000e+01 | 78.86%| unknown
0.49/0.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.49/0.55 c 0.5s| 1 | 0 | 1928 | - | 25M | 0 | 404 | 341 | 976 | 340 | 12 | 5 | 0 |-3.905335e+01 |-2.200000e+01 | 77.52%| unknown
0.49/0.56 c 0.6s| 1 | 0 | 1968 | - | 25M | 0 | 404 | 341 | 980 | 344 | 13 | 5 | 0 |-3.903653e+01 |-2.200000e+01 | 77.44%| unknown
0.49/0.56 c 0.6s| 1 | 0 | 1984 | - | 25M | 0 | 404 | 341 | 984 | 348 | 14 | 5 | 0 |-3.903653e+01 |-2.200000e+01 | 77.44%| unknown
0.49/0.57 c 0.6s| 1 | 0 | 2017 | - | 25M | 0 | 404 | 342 | 987 | 351 | 15 | 6 | 0 |-3.901716e+01 |-2.200000e+01 | 77.35%| unknown
0.49/0.57 c 0.6s| 1 | 0 | 2056 | - | 25M | 0 | 404 | 343 | 881 | 358 | 16 | 7 | 0 |-3.899347e+01 |-2.200000e+01 | 77.24%| unknown
0.49/0.58 c 0.6s| 1 | 0 | 2095 | - | 25M | 0 | 404 | 344 | 885 | 362 | 17 | 8 | 0 |-3.898639e+01 |-2.200000e+01 | 77.21%| unknown
0.49/0.59 c 0.6s| 1 | 0 | 2107 | - | 25M | 0 | 404 | 344 | 888 | 365 | 18 | 8 | 0 |-3.898449e+01 |-2.200000e+01 | 77.20%| unknown
0.49/0.59 c 0.6s| 1 | 0 | 2130 | - | 26M | 0 | 404 | 345 | 894 | 371 | 19 | 9 | 0 |-3.896545e+01 |-2.200000e+01 | 77.12%| unknown
0.49/0.60 c 0.6s| 1 | 0 | 2140 | - | 26M | 0 | 404 | 345 | 899 | 376 | 20 | 9 | 0 |-3.896530e+01 |-2.200000e+01 | 77.12%| unknown
0.59/0.60 c 0.6s| 1 | 0 | 2147 | - | 26M | 0 | 404 | 345 | 901 | 378 | 21 | 9 | 0 |-3.896508e+01 |-2.200000e+01 | 77.11%| unknown
0.59/0.61 c 0.6s| 1 | 0 | 2167 | - | 26M | 0 | 404 | 345 | 862 | 380 | 22 | 9 | 0 |-3.895976e+01 |-2.200000e+01 | 77.09%| unknown
0.59/0.61 c 0.6s| 1 | 0 | 2172 | - | 26M | 0 | 404 | 345 | 866 | 384 | 23 | 9 | 0 |-3.895944e+01 |-2.200000e+01 | 77.09%| unknown
0.59/0.63 o -28
0.59/0.63 c d 0.6s| 1 | 0 | 2687 | - |conflict| 0 | 404 | 346 | 866 | 0 | 24 | 10 | 0 |-3.895944e+01 |-2.800000e+01 | 39.14%| unknown
0.59/0.64 c 0.6s| 1 | 0 | 2691 | - | 26M | 0 | 404 | 346 | 866 | 384 | 24 | 10 | 0 |-3.895944e+01 |-2.800000e+01 | 39.14%| unknown
0.59/0.64 c 0.6s| 1 | 0 | 2694 | - | 26M | 0 | 404 | 347 | 858 | 386 | 25 | 11 | 0 |-3.895944e+01 |-2.800000e+01 | 39.14%| unknown
0.88/0.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.88/0.95 c 0.9s| 1 | 2 | 2696 | - | 26M | 0 | 404 | 348 | 858 | 386 | 26 | 12 | 33 |-3.862500e+01 |-2.800000e+01 | 37.95%| unknown
1.38/1.41 o -33
1.38/1.41 c * 1.4s| 6 | 3 | 3871 | 339.2 |strongbr| 5 | 404 | 348 | 900 | 467 | 3 | 12 | 122 |-3.862500e+01 |-3.300000e+01 | 17.05%| 6.44%
1.38/1.43 o -36
1.38/1.43 c * 1.4s| 7 | 1 | 3906 | 288.5 |strongbr| 5 | 404 | 348 | 890 | 470 | 2 | 12 | 129 |-3.862500e+01 |-3.600000e+01 | 7.29%| 16.75%
1.68/1.72 c
1.68/1.72 c SCIP Status : problem is solved [optimal solution found]
1.68/1.72 c Solving Time (sec) : 1.72
1.68/1.72 c Solving Nodes : 10
1.68/1.72 c Primal Bound : -3.60000000000000e+01 (20 solutions)
1.68/1.72 c Dual Bound : -3.60000000000000e+01
1.68/1.72 c Gap : 0.00 %
1.68/1.72 s OPTIMUM FOUND
1.68/1.72 v x108 -x107 -x106 x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 x97 x96 -x95 -x94 x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 x85 -x84 -x83
1.68/1.72 v x82 x81 -x80 -x79 x78 -x77 -x76 x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 x67 -x66 x65 -x64 x63 -x62 -x61 -x60 -x59 x58 x57 -x56
1.68/1.72 v -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 -x30
1.68/1.72 v -x29 x28 -x27 x26 -x25 -x24 x23 -x22 -x21 x20 -x19 -x18 -x17 x16 -x15 -x14 x13 x12 -x11 -x10 -x9 x8 -x7 -x6 x5 -x4 x3 -x2 -x1
1.68/1.72 v x432 -x431 -x430 x429 x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 x412 -x411
1.68/1.72 v -x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390
1.68/1.72 v -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 x378 -x377 -x376 x375 x374 -x373 -x372 -x371 -x370 x369 x368
1.68/1.72 v x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
1.68/1.72 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 x332 x331 -x330 -x329 -x328 -x327 -x326
1.68/1.72 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 x314 -x313 -x312 x311 -x310 x309 -x308 -x307 -x306 -x305 -x304
1.68/1.72 v -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283
1.68/1.72 v -x282 -x281 -x280 x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262
1.68/1.72 v -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1.68/1.72 v -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220
1.68/1.72 v x219 x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
1.68/1.72 v -x197 -x196 x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177
1.68/1.72 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155
1.68/1.72 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134
1.68/1.72 v -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1.68/1.72 v -x112 -x111 -x110 -x109
1.68/1.72 c SCIP Status : problem is solved [optimal solution found]
1.68/1.72 c Total Time : 1.72
1.68/1.72 c solving : 1.72
1.68/1.72 c presolving : 0.06 (included in solving)
1.68/1.72 c reading : 0.00 (included in solving)
1.68/1.72 c copying : 0.01 (2 #copies) (minimal 0.00, maximal 0.00, average 0.00)
1.68/1.72 c Original Problem :
1.68/1.72 c Problem name : HOME/instance-4432928-1721164797.opb
1.68/1.72 c Variables : 432 (432 binary, 0 integer, 0 implicit integer, 0 continuous)
1.68/1.72 c Constraints : 684 initial, 684 maximal
1.68/1.72 c Objective : minimize, 324 non-zeros (abs.min = 1, abs.max = 1)
1.68/1.72 c Presolved Problem :
1.68/1.72 c Problem name : t_HOME/instance-4432928-1721164797.opb
1.68/1.72 c Variables : 404 (404 binary, 0 integer, 0 implicit integer, 0 continuous)
1.68/1.72 c Constraints : 336 initial, 351 maximal
1.68/1.72 c Objective : minimize, 307 non-zeros (abs.min = 1, abs.max = 1)
1.68/1.72 c Nonzeros : 1014 constraint, 4104 clique table
1.68/1.72 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1.68/1.72 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1.68/1.72 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c dualsparsify : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1.68/1.72 c gateextraction : 0.00 0.00 2 0 0 0 0 0 972 324 0 0
1.68/1.72 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
1.68/1.72 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.68/1.72 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.68/1.72 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c trivial : 0.00 0.00 7 18 0 0 0 0 0 0 0 0
1.68/1.72 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
1.68/1.72 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c probing : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
1.68/1.72 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c symmetry : 0.00 0.00 1 3 0 0 0 0 0 1 0 0
1.68/1.72 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
1.68/1.72 c knapsack : 0.00 0.00 2 0 0 0 0 0 324 648 0 0
1.68/1.72 c setppc : 0.00 0.00 14 0 1 0 0 0 2 0 0 0
1.68/1.72 c and : 0.00 0.00 5 0 6 0 0 0 6 0 0 6
1.68/1.72 c linear : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
1.68/1.72 c orbitope : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.68/1.72 c logicor : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
1.68/1.72 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.68/1.72 c root node : - - - 142 - - 142 - - - - -
1.68/1.72 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1.68/1.72 c benderslp : 0 0 0 0 11 0 0 43 0 0 0 0 0 0 0
1.68/1.72 c integral : 0 0 0 0 11 0 0 43 0 3 26 0 0 15 12
1.68/1.72 c setppc : 34+ 134 25 5069 0 0 0 37 12 7 14 0 0 0 0
1.68/1.72 c and : 301 301 54 5064 0 0 0 26 48 5 122 600 162 0 0
1.68/1.72 c linear : 0+ 4 0 16 0 0 0 3 0 2 0 0 0 0 0
1.68/1.72 c orbitope : 1 1 0 3767 0 0 0 20 1 0 0 0 0 0 0
1.68/1.72 c logicor : 0+ 18 17 193 0 0 0 0 5 1 2 0 0 0 0
1.68/1.72 c benders : 0 0 0 0 0 0 0 22 0 0 0 0 0 0 0
1.68/1.72 c fixedvar : 0 0 0 0 0 0 0 22 0 0 0 0 0 0 0
1.68/1.72 c countsols : 0 0 0 0 0 0 0 22 0 0 0 0 0 0 0
1.68/1.72 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1.68/1.72 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c integral : 1.00 0.00 0.00 0.00 1.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c and : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.01
1.68/1.72 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c orbitope : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c Propagators : #Propagate #ResProp Cutoffs DomReds
1.68/1.72 c dualfix : 3 0 0 0
1.68/1.72 c genvbounds : 0 0 0 0
1.68/1.72 c nlobbt : 0 0 0 0
1.68/1.72 c obbt : 0 0 0 0
1.68/1.72 c probing : 0 0 0 0
1.68/1.72 c pseudoobj : 73 0 0 0
1.68/1.72 c redcost : 77 0 0 198
1.68/1.72 c rootredcost : 3 0 0 0
1.68/1.72 c symmetry : 0 0 0 0
1.68/1.72 c vbounds : 2156 0 0 0
1.68/1.72 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1.68/1.72 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c probing : 0.04 0.00 0.04 0.00 0.00 0.00
1.68/1.72 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.68/1.72 c Symmetry :
1.68/1.72 c orbitopal red. : 0 reductions applied, 0 cutoffs
1.68/1.72 c orbital reduction: 0 reductions applied, 0 cutoffs
1.68/1.72 c lexicographic red: 0 reductions applied, 0 cutoffs
1.68/1.72 c shadow tree time : 0.00 s
1.68/1.72 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1.68/1.72 c propagation : 0.00 13 13 - 13 3.3 0 0.0 - - -
1.68/1.72 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
1.68/1.72 c bound exceed. LP : 0.00 16 11 - 17 5.1 0 0.0 6 8.0 80
1.68/1.72 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1.68/1.72 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
1.68/1.72 c applied globally : 0.00 - - 1 25 3.8 - - 6 - -
1.68/1.72 c applied locally : - - - 0 0 0.0 - - 0 - -
1.68/1.72 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1.68/1.72 c cut pool : 0.01 - 47 47 - - 2510 3620 - - - - - (maximal pool size: 2510)
1.68/1.72 c aggregation : 0.03 0.00 25 25 0 0 0 0 0 0 0 0 0
1.68/1.72 c > cmir : - - - - - - - 0 0 0 0 0 -
1.68/1.72 c > flowcover : - - - - - - - 0 0 0 0 0 -
1.68/1.72 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
1.68/1.72 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c clique : 0.02 0.00 25 25 0 0 59 71 0 12 12 0 0
1.68/1.72 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c gomory : 0.24 0.00 10 10 0 0 1896 2814 0 25 25 0 0
1.68/1.72 c > gomorymi : - - - - - - - 1315 0 7 7 0 -
1.68/1.72 c > strongcg : - - - - - - - 1499 0 18 18 0 -
1.68/1.72 c impliedbounds : 0.00 0.00 25 25 0 0 428 584 0 246 246 0 0
1.68/1.72 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
1.68/1.72 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c multilinear : 0.00 0.00 33 25 0 0 0 0 0 0 0 0 0
1.68/1.72 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.68/1.72 c rlt : 0.12 0.00 10 10 0 0 55 63 0 53 53 0 0
1.68/1.72 c zerohalf : 0.03 0.00 20 20 0 0 72 88 0 50 50 0 0
1.68/1.72 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1.68/1.72 c hybrid : 0.00 0.00 47 24 548 0 3672 386 0 3656
1.68/1.72 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c Pricers : ExecTime SetupTime Calls Vars
1.68/1.72 c problem variables: 0.00 - 0 0
1.68/1.72 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1.68/1.72 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c relpscost : 1.00 0.00 11 0 0 3 26 0 15 12
1.68/1.72 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1.68/1.72 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1.68/1.72 c LP solutions : 0.00 - - 0 0
1.68/1.72 c relax solutions : 0.00 - - 0 0
1.68/1.72 c pseudo solutions : 0.00 - - 0 0
1.68/1.72 c strong branching : 0.00 - - 2 2
1.68/1.72 c actconsdiving : 0.00 0.00 0 0 0
1.68/1.72 c adaptivediving : 0.00 0.00 0 0 0
1.68/1.72 c alns : 0.00 0.00 1 0 0
1.68/1.72 c bound : 0.00 0.00 0 0 0
1.68/1.72 c clique : 0.00 0.00 1 1 1
1.68/1.72 c coefdiving : 0.00 0.00 0 0 0
1.68/1.72 c completesol : 0.00 0.00 0 0 0
1.68/1.72 c conflictdiving : 0.02 0.00 1 1 1
1.68/1.72 c crossover : 0.00 0.00 0 0 0
1.68/1.72 c dins : 0.00 0.00 0 0 0
1.68/1.72 c distributiondivin: 0.00 0.00 0 0 0
1.68/1.72 c dps : 0.00 0.00 0 0 0
1.68/1.72 c dualval : 0.00 0.00 0 0 0
1.68/1.72 c farkasdiving : 0.00 0.00 0 0 0
1.68/1.72 c feasjump : 0.00 0.00 0 0 0
1.68/1.72 c feaspump : 0.00 0.00 0 0 0
1.68/1.72 c fixandinfer : 0.00 0.00 0 0 0
1.68/1.72 c fracdiving : 0.00 0.00 0 0 0
1.68/1.72 c gins : 0.00 0.00 0 0 0
1.68/1.72 c guideddiving : 0.00 0.00 0 0 0
1.68/1.72 c indcoefdiving : 0.00 0.00 0 0 0
1.68/1.72 c indicator : 0.00 0.00 0 0 0
1.68/1.72 c indicatordiving : 0.00 0.00 0 0 0
1.68/1.72 c indoneopt : 0.00 0.00 0 0 0
1.68/1.72 c indrounding : 0.00 0.00 0 0 0
1.68/1.72 c indtwoopt : 0.00 0.00 0 0 0
1.68/1.72 c intdiving : 0.00 0.00 0 0 0
1.68/1.72 c intshifting : 0.00 0.00 0 0 0
1.68/1.72 c linesearchdiving : 0.00 0.00 0 0 0
1.68/1.72 c localbranching : 0.00 0.00 0 0 0
1.68/1.72 c locks : 0.00 0.00 1 0 0
1.68/1.72 c lpface : 0.00 0.00 0 0 0
1.68/1.72 c mpec : 0.00 0.00 0 0 0
1.68/1.72 c multistart : 0.00 0.00 0 0 0
1.68/1.72 c mutation : 0.00 0.00 0 0 0
1.68/1.72 c nlpdiving : 0.00 0.00 0 0 0
1.68/1.72 c objpscostdiving : 0.00 0.00 0 0 0
1.68/1.72 c octane : 0.00 0.00 0 0 0
1.68/1.72 c ofins : 0.00 0.00 0 0 0
1.68/1.72 c oneopt : 0.00 0.00 5 0 0
1.68/1.72 c padm : 0.00 0.00 0 0 0
1.68/1.72 c proximity : 0.00 0.00 0 0 0
1.68/1.72 c pscostdiving : 0.00 0.00 0 0 0
1.68/1.72 c randrounding : 0.02 0.00 26 0 0
1.68/1.72 c rens : 0.00 0.00 0 0 0
1.68/1.72 c reoptsols : 0.00 0.00 0 0 0
1.68/1.72 c repair : 0.00 0.00 0 0 0
1.68/1.72 c rins : 0.00 0.00 0 0 0
1.68/1.72 c rootsoldiving : 0.00 0.00 0 0 0
1.68/1.72 c rounding : 0.00 0.00 59 0 0
1.68/1.72 c scheduler : 0.00 0.00 0 0 0
1.68/1.72 c shiftandpropagate: 0.00 0.00 0 0 0
1.68/1.72 c shifting : 0.01 0.00 26 15 1
1.68/1.72 c simplerounding : 0.00 0.00 0 0 0
1.68/1.72 c smallcard : 0.00 0.00 0 0 0
1.68/1.72 c subnlp : 0.00 0.00 0 0 0
1.68/1.72 c trivial : 0.00 0.00 2 0 0
1.68/1.72 c trivialnegation : 0.00 0.00 0 0 0
1.68/1.72 c trustregion : 0.00 0.00 0 0 0
1.68/1.72 c trysol : 0.00 0.00 0 0 0
1.68/1.72 c twoopt : 0.00 0.00 0 0 0
1.68/1.72 c undercover : 0.01 0.00 1 0 0
1.68/1.72 c vbounds : 0.00 0.00 1 1 1
1.68/1.72 c veclendiving : 0.00 0.00 0 0 0
1.68/1.72 c zeroobj : 0.00 0.00 0 0 0
1.68/1.72 c zirounding : 0.00 0.00 6 0 0
1.68/1.72 c other solutions : - - - 0 -
1.68/1.72 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1.68/1.72 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.68/1.72 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.68/1.72 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.68/1.72 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.68/1.72 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.68/1.72 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.68/1.72 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.68/1.72 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.68/1.72 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.68/1.72 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1.68/1.72 c primal LP : 0.00 4 0 0.00 - 0.00 4
1.68/1.72 c dual LP : 0.13 64 4311 73.07 32429.14 0.00 5
1.68/1.72 c lex dual LP : 0.00 0 0 0.00 -
1.68/1.72 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1.68/1.72 c resolve instable : 0.00 0 0 0.00 -
1.68/1.72 c diving/probing LP: 0.03 14 707 50.50 25847.26
1.68/1.72 c strong branching : 0.94 172 29906 173.87 31890.58 - - 0
1.68/1.72 c (at root node) : - 33 9515 288.33 -
1.68/1.72 c conflict analysis: 0.00 8 80 10.00 -
1.68/1.72 c B&B Tree :
1.68/1.72 c number of runs : 1
1.68/1.72 c nodes : 10 (6 internal, 4 leaves)
1.68/1.72 c feasible leaves : 0
1.68/1.72 c infeas. leaves : 0
1.68/1.72 c objective leaves : 4
1.68/1.72 c nodes (total) : 10 (6 internal, 4 leaves)
1.68/1.72 c nodes left : 0
1.68/1.72 c max depth : 5
1.68/1.72 c max depth (total): 5
1.68/1.72 c backtracks : 2 (20.0%)
1.68/1.72 c early backtracks : 0 (0.0%)
1.68/1.72 c nodes exc. ref. : 0 (0.0%)
1.68/1.72 c delayed cutoffs : 0
1.68/1.72 c repropagations : 1 (0 domain reductions, 0 cutoffs)
1.68/1.72 c avg switch length: 2.20
1.68/1.72 c switching time : 0.00
1.68/1.72 c Root Node :
1.68/1.72 c First LP value : -5.40000000000000e+01
1.68/1.72 c First LP Iters : 342 (78729.28 Iter/sec)
1.68/1.72 c First LP Time : 0.00
1.68/1.72 c Final Dual Bound : -3.86250000000000e+01
1.68/1.72 c Final Root Iters : 2175
1.68/1.72 c Root LP Estimate : -2.26323124049106e+01
1.68/1.72 c Solution :
1.68/1.72 c Solutions found : 20 (6 improvements)
1.68/1.72 c First Solution : -1.00000000000000e+00 (in run 1, after 1 nodes, 0.06 seconds, depth 36, found by <clique>)
1.68/1.72 c Gap First Sol. : 15300.00 %
1.68/1.72 c Gap Last Sol. : 7.29 %
1.68/1.72 c Primal Bound : -3.60000000000000e+01 (in run 1, after 7 nodes, 1.43 seconds, depth 5, found by <relaxation>)
1.68/1.72 c Dual Bound : -3.60000000000000e+01
1.68/1.72 c Gap : 0.00 %
1.68/1.72 c Integrals : Total Avg%
1.68/1.72 c primal-dual : 57.52 33.38
1.68/1.72 c primal-ref : - - (not evaluated)
1.68/1.72 c dual-ref : - - (not evaluated)
1.68/1.73 c Time complete: 1.73166.
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 (61674 MiB free)
memory of node 1: 64510 MiB (60318 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432928-1721164797/watcher-4432928-1721164797 -o /tmp/evaluation-result-4432928-1721164797/solver-4432928-1721164797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721164808-900914 --watchdog 3760 pbscip -f HOME/instance-4432928-1721164797.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=901472, runsolver pid=901469
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 1.10 1.30 2.13 5/255 901487
/proc/meminfo: memFree=124855400/131524600 swapFree=131071996/131071996
[pid=901472] ppid=901469 vsize=73600 memory=32908 CPUtime=0.09 cores=1,3
/proc/901472/stat : 901472 (pbscip) R 901469 901472 900902 0 -1 4194304 4661 0 0 0 9 0 0 0 20 0 1 0 168641510 75366400 8227 134679101440 4194304 18693293 140721824167296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44548096 140721824171012 140721824171111 140721824171111 140721824178126 0
/proc/901472/statm: 18400 8227 3940 3540 0 6657 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73600 KiB
Current children cumulated memory: 32908 KiB
[startup+0.206159 s]*
/proc/loadavg: 1.10 1.30 2.13 4/255 901497
/proc/meminfo: memFree=124780520/131524600 swapFree=131071996/131071996
[pid=901472] ppid=901469 vsize=73600 memory=32908 CPUtime=0.2 cores=1,3
/proc/901472/stat : 901472 (pbscip) R 901469 901472 900902 0 -1 4194304 4675 0 0 0 20 0 0 0 20 0 1 0 168641510 75366400 8227 134679101440 4194304 18693293 140721824167296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44548096 140721824171012 140721824171111 140721824171111 140721824178126 0
/proc/901472/statm: 18400 8227 3940 3540 0 6657 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 73600 KiB
Current children cumulated memory: 32908 KiB
[startup+0.305573 s]*
/proc/loadavg: 1.10 1.30 2.13 5/253 901519
/proc/meminfo: memFree=124753600/131524600 swapFree=131071996/131071996
[pid=901472] ppid=901469 vsize=73600 memory=33496 CPUtime=0.3 cores=1,3
/proc/901472/stat : 901472 (pbscip) R 901469 901472 900902 0 -1 4194304 4789 0 0 0 30 0 0 0 20 0 1 0 168641510 75366400 8374 134679101440 4194304 18693293 140721824167296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44548096 140721824171012 140721824171111 140721824171111 140721824178126 0
/proc/901472/statm: 18400 8374 3956 3540 0 6657 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 73600 KiB
Current children cumulated memory: 33496 KiB
[startup+0.700233 s]
/proc/loadavg: 1.10 1.30 2.13 5/258 901529
/proc/meminfo: memFree=124670260/131524600 swapFree=131071996/131071996
[pid=901472] ppid=901469 vsize=85784 memory=43848 CPUtime=0.68 cores=1,3
/proc/901472/stat : 901472 (pbscip) R 901469 901472 900902 0 -1 4194304 7379 0 0 0 68 0 0 0 20 0 1 0 168641510 87842816 10962 134679101440 4194304 18693293 140721824167296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44548096 140721824171012 140721824171111 140721824171111 140721824178126 0
/proc/901472/statm: 21446 10962 3971 3540 0 9703 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 85784 KiB
Current children cumulated memory: 43848 KiB
[startup+1.50025 s]
/proc/loadavg: 1.10 1.30 2.13 5/258 901529
/proc/meminfo: memFree=124397340/131524600 swapFree=131071996/131071996
[pid=901472] ppid=901469 vsize=85784 memory=43848 CPUtime=1.48 cores=1,3
/proc/901472/stat : 901472 (pbscip) R 901469 901472 900902 0 -1 4194304 7379 0 0 0 148 0 0 0 20 0 1 0 168641510 87842816 10962 134679101440 4194304 18693293 140721824167296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44548096 140721824171012 140721824171111 140721824171111 140721824178126 0
/proc/901472/statm: 21446 10962 3971 3540 0 9703 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 85784 KiB
Current children cumulated memory: 43848 KiB
[startup+1.74183 s]
# the end of solver process 901472 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1.72404 s, system=0.011957 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60025 s]
/proc/loadavg: 1.10 1.30 2.13 5/258 901529
/proc/meminfo: memFree=124397340/131524600 swapFree=131071996/131071996
[pid=901472] ppid=901469 vsize=85784 memory=43848 CPUtime=1.58 cores=1,3
/proc/901472/stat : 901472 (pbscip) R 901469 901472 900902 0 -1 4194304 7379 0 0 0 158 0 0 0 20 0 1 0 168641510 87842816 10962 134679101440 4194304 18693293 140721824167296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44548096 140721824171012 140721824171111 140721824171111 140721824178126 0
/proc/901472/statm: 21446 10962 3971 3540 0 9703 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 85784 KiB
Current children cumulated memory: 43848 KiB
[startup+1.70021 s]
/proc/loadavg: 1.10 1.30 2.13 5/258 901529
/proc/meminfo: memFree=124397340/131524600 swapFree=131071996/131071996
[pid=901472] ppid=901469 vsize=85784 memory=43848 CPUtime=1.68 cores=1,3
/proc/901472/stat : 901472 (pbscip) R 901469 901472 900902 0 -1 4194304 7379 0 0 0 168 0 0 0 20 0 1 0 168641510 87842816 10962 134679101440 4194304 18693293 140721824167296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44548096 140721824171012 140721824171111 140721824171111 140721824178126 0
/proc/901472/statm: 21446 10962 3971 3540 0 9703 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 85784 KiB
Current children cumulated memory: 43848 KiB
Child status: 0
Real time (s): 1.74187
CPU time (s): 1.73599
CPU user time (s): 1.72404
CPU system time (s): 0.011957
CPU usage (%): 99.6627
Max. virtual memory (cumulated for all children) (KiB): 85784
Max. memory (cumulated for all children) (KiB): 43848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.72404
system time used= 0.011957
maximum resident set size= 43848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7384
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: 901472
# total CPU time (s): 1.73599
# total CPU user time (s): 1.72404
# total CPU system time (s): 0.011957
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009467 second user time and 0.043104 second system time
The end