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-4512308-1751272208.opb>
0.00/0.01 c original problem has 576 variables (144 bin, 0 int, 432 impl, 0 cont) and 480 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 c presolving:
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, 48 upgd conss, 0 impls, 912 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.05 c dynamic symmetry handling statistics:
0.00/0.05 c orbitopal reduction: no components
0.00/0.05 c orbital reduction: no components
0.00/0.05 c lexicographic reduction: no permutations
0.00/0.05 c handled 1 out of 1 symmetry components
0.00/0.05 c (round 2, exhaustive) 21 del vars, 0 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 48 upgd conss, 0 impls, 1353 clqs
0.00/0.05 c (round 3, fast) 46 del vars, 8 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 6 chg coeffs, 48 upgd conss, 0 impls, 1346 clqs
0.00/0.07 c (0.1s) probing: 509/576 (88.4%) - 0 fixings, 0 aggregations, 21856 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 1000/1000 successive useless probings
0.00/0.07 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
0.00/0.07 c 46 deleted vars, 8 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 6 changed coefficients
0.00/0.07 c 0 implications, 1417 cliques
0.00/0.07 c presolved problem has 548 variables (139 bin, 0 int, 409 impl, 0 cont) and 456 constraints
0.00/0.07 c 46 constraints of type <setppc>
0.00/0.07 c 409 constraints of type <and>
0.00/0.07 c 1 constraints of type <orbitope>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.07
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 10.0.0
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.07 c limits/time = 3596.998011
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.07 c limits/memory = 27900
0.00/0.07 c
0.00/0.07 c # belongs reading time to solving time?
0.00/0.07 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c timing/reading = TRUE
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c
0.00/0.08 o -1790197
0.00/0.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.08 c p 0.1s| 1 | 0 | 0 | - | clique| 0 | 548 | 456 | 864 | 0 | 0 | 0 | 0 |-1.838469e+07 |-1.790197e+06 | 926.96%| unknown
0.00/0.08 o -3834425
0.00/0.08 c p 0.1s| 1 | 0 | 0 | - | vbounds| 0 | 548 | 456 | 864 | 0 | 0 | 0 | 0 |-1.838469e+07 |-3.834425e+06 | 379.46%| unknown
0.00/0.09 c 0.1s| 1 | 0 | 498 | - | 11M | 0 | 548 | 456 | 864 | 0 | 0 | 0 | 0 |-6.433189e+06 |-3.834425e+06 | 67.77%| unknown
0.09/0.13 c 0.1s| 1 | 0 | 601 | - | 12M | 0 | 548 | 456 | 948 | 84 | 1 | 0 | 0 |-6.393514e+06 |-3.834425e+06 | 66.74%| unknown
0.09/0.14 c 0.1s| 1 | 0 | 816 | - | 12M | 0 | 548 | 456 |1041 | 177 | 2 | 0 | 0 |-6.221251e+06 |-3.834425e+06 | 62.25%| unknown
0.09/0.19 c 0.2s| 1 | 0 | 1043 | - | 14M | 0 | 548 | 456 |1097 | 233 | 3 | 0 | 0 |-6.103316e+06 |-3.834425e+06 | 59.17%| unknown
0.19/0.27 c 0.3s| 1 | 0 | 1210 | - | 16M | 0 | 548 | 456 |1125 | 261 | 4 | 0 | 0 |-6.022288e+06 |-3.834425e+06 | 57.06%| unknown
0.29/0.31 c 0.3s| 1 | 0 | 1250 | - | 16M | 0 | 548 | 456 |1142 | 278 | 5 | 0 | 0 |-6.010953e+06 |-3.834425e+06 | 56.76%| unknown
0.29/0.36 c 0.4s| 1 | 0 | 1328 | - | 18M | 0 | 548 | 456 |1149 | 285 | 6 | 0 | 0 |-5.982608e+06 |-3.834425e+06 | 56.02%| unknown
0.39/0.47 c 0.5s| 1 | 0 | 1385 | - | 22M | 0 | 548 | 456 |1173 | 309 | 7 | 0 | 0 |-5.965546e+06 |-3.834425e+06 | 55.58%| unknown
0.49/0.55 c 0.5s| 1 | 0 | 1461 | - | 24M | 0 | 548 | 456 |1177 | 313 | 8 | 0 | 0 |-5.951253e+06 |-3.834425e+06 | 55.21%| unknown
0.58/0.62 c 0.6s| 1 | 0 | 1510 | - | 25M | 0 | 548 | 456 |1184 | 320 | 9 | 0 | 0 |-5.935968e+06 |-3.834425e+06 | 54.81%| unknown
0.68/0.73 c 0.7s| 1 | 0 | 1593 | - | 29M | 0 | 548 | 456 |1190 | 326 | 10 | 0 | 0 |-5.925131e+06 |-3.834425e+06 | 54.52%| unknown
0.77/0.83 c 0.8s| 1 | 0 | 1645 | - | 33M | 0 | 548 | 456 |1170 | 329 | 11 | 0 | 0 |-5.920920e+06 |-3.834425e+06 | 54.41%| unknown
0.77/0.84 c 0.8s| 1 | 0 | 1668 | - | 33M | 0 | 548 | 456 |1176 | 335 | 12 | 0 | 0 |-5.920108e+06 |-3.834425e+06 | 54.39%| unknown
0.77/0.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.77/0.86 c 0.9s| 1 | 0 | 1713 | - | 33M | 0 | 548 | 456 |1178 | 337 | 13 | 0 | 0 |-5.917887e+06 |-3.834425e+06 | 54.34%| unknown
0.77/0.88 c 0.9s| 1 | 0 | 1779 | - | 33M | 0 | 548 | 456 |1181 | 340 | 14 | 0 | 0 |-5.917887e+06 |-3.834425e+06 | 54.34%| unknown
0.77/0.88 c 0.9s| 1 | 0 | 1779 | - | 33M | 0 | 548 | 456 |1181 | 340 | 14 | 0 | 0 |-5.913849e+06 |-3.834425e+06 | 54.23%| unknown
0.77/0.89 c 0.9s| 1 | 0 | 1804 | - | 34M | 0 | 548 | 456 |1184 | 343 | 15 | 0 | 0 |-5.913154e+06 |-3.834425e+06 | 54.21%| unknown
0.87/0.91 c 0.9s| 1 | 0 | 1857 | - | 34M | 0 | 548 | 456 |1143 | 347 | 16 | 0 | 0 |-5.911339e+06 |-3.834425e+06 | 54.16%| unknown
0.87/0.93 c 0.9s| 1 | 0 | 1903 | - | 34M | 0 | 548 | 456 |1146 | 350 | 17 | 0 | 0 |-5.910275e+06 |-3.834425e+06 | 54.14%| unknown
0.87/0.95 c 0.9s| 1 | 0 | 1963 | - | 34M | 0 | 548 | 456 |1148 | 352 | 18 | 0 | 0 |-5.901030e+06 |-3.834425e+06 | 53.90%| unknown
0.87/0.97 c 1.0s| 1 | 0 | 2021 | - | 34M | 0 | 548 | 456 |1159 | 363 | 19 | 0 | 0 |-5.897556e+06 |-3.834425e+06 | 53.81%| unknown
0.87/0.99 c 1.0s| 1 | 0 | 2072 | - | 35M | 0 | 548 | 456 |1164 | 368 | 20 | 0 | 0 |-5.897556e+06 |-3.834425e+06 | 53.81%| unknown
0.87/0.99 c 1.0s| 1 | 0 | 2072 | - | 35M | 0 | 548 | 456 |1164 | 368 | 20 | 0 | 0 |-5.894525e+06 |-3.834425e+06 | 53.73%| unknown
0.98/1.01 c 1.0s| 1 | 0 | 2076 | - | 35M | 0 | 548 | 456 |1145 | 370 | 21 | 0 | 0 |-5.894511e+06 |-3.834425e+06 | 53.73%| unknown
0.98/1.08 o -4141550
0.98/1.08 c d 1.1s| 1 | 0 | 3228 | - |farkasdi| 0 | 548 | 456 |1145 | 0 | 22 | 0 | 0 |-5.894511e+06 |-4.141550e+06 | 42.33%| unknown
0.98/1.10 c 1.1s| 1 | 0 | 3752 | - | 35M | 0 | 548 | 456 |1145 | 370 | 22 | 0 | 0 |-5.894511e+06 |-4.141550e+06 | 42.33%| unknown
1.38/1.44 c 1.4s| 1 | 2 | 3752 | - | 35M | 0 | 548 | 456 |1145 | 370 | 23 | 0 | 22 |-5.894511e+06 |-4.141550e+06 | 42.33%| unknown
1.98/2.03 o -5107882
1.98/2.03 c * 2.0s| 4 | 3 | 5176 |1033.3 |strongbr| 3 | 548 | 456 |1207 | 480 | 3 | 0 | 78 |-5.894511e+06 |-5.107882e+06 | 15.40%| unknown
2.18/2.23 o -5119880
2.18/2.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.18/2.23 c r 2.2s| 6 | 5 | 5309 | 646.6 |simplero| 5 | 548 | 456 |1209 | 482 | 0 | 0 | 111 |-5.894511e+06 |-5.119880e+06 | 15.13%| unknown
4.57/4.67 o -5217738
4.57/4.67 c r 4.7s| 41 | 6 | 10480 | 210.1 |simplero| 9 | 548 | 456 |1249 | 615 | 0 | 0 | 460 |-5.810627e+06 |-5.217738e+06 | 11.36%| 29.91%
4.97/5.02 o -5221563
4.97/5.02 c * 5.0s| 58 | 7 | 12494 | 182.8 |strongbr| 9 | 548 | 456 |1230 | 659 | 2 | 0 | 512 |-5.698295e+06 |-5.221563e+06 | 9.13%| 39.38%
5.47/5.50 o -5227503
5.47/5.50 c r 5.5s| 84 | 7 | 15361 | 160.1 |simplero| 10 | 548 | 456 |1266 | 693 | 4 | 0 | 583 |-5.506545e+06 |-5.227503e+06 | 5.34%| 56.77%
5.47/5.52 o -5257797
5.47/5.52 c r 5.5s| 87 | 8 | 15637 | 157.7 |simplero| 10 | 548 | 456 |1253 | 694 | 0 | 0 | 584 |-5.506545e+06 |-5.257797e+06 | 4.73%| 57.57%
5.47/5.53 o -5259778
5.47/5.53 c r 5.5s| 89 | 8 | 15687 | 154.7 |simplero| 10 | 548 | 456 |1254 | 695 | 0 | 0 | 584 |-5.506545e+06 |-5.259778e+06 | 4.69%| 57.95%
5.67/5.70 c 5.7s| 100 | 9 | 16774 | 148.5 | 37M | 10 | 548 | 456 |1243 | 706 | 2 | 0 | 608 |-5.486822e+06 |-5.259778e+06 | 4.32%| 62.12%
5.67/5.71 o -5301516
5.67/5.71 c r 5.7s| 102 | 6 | 17014 | 147.9 |simplero| 10 | 548 | 456 |1243 | 706 | 0 | 0 | 608 |-5.486822e+06 |-5.301516e+06 | 3.50%| 62.77%
5.67/5.79 c
5.67/5.79 c SCIP Status : problem is solved [optimal solution found]
5.67/5.79 c Solving Time (sec) : 5.78
5.67/5.79 c Solving Nodes : 112
5.67/5.79 c Primal Bound : -5.30151600000000e+06 (12 solutions)
5.67/5.79 c Dual Bound : -5.30151600000000e+06
5.67/5.79 c Gap : 0.00 %
5.67/5.79 s OPTIMUM FOUND
5.67/5.79 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
5.67/5.79 v x82 x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 x73 x144 -x72 -x143 -x71 -x142 x70 x141 x69 -x140 -x68 -x139 -x67 x138 x66 -x137
5.67/5.79 v -x65 -x136 -x64 x135 x63 -x134 -x62 -x133 -x61 x132 -x60 -x131 x59 -x130 -x58 -x129 x57 x128 -x56 -x127 -x55 -x126 x54 -x125
5.67/5.79 v -x53 x124 -x52 -x123 x51 -x122 -x50 x121 -x49 -x120 -x48 x36 -x24 -x119 -x47 -x35 x23 x118 x46 -x34 -x22 -x117 -x45 x33 -x21
5.67/5.79 v -x116 -x44 -x32 -x20 x115 x43 -x31 x19 x114 -x42 x30 -x18 -x9 -x113 -x41 -x29 x17 x8 -x112 x40 -x28 -x16 -x7 -x111 -x39 x27
5.67/5.79 v -x15 x12 -x6 -x3 -x110 x38 -x26 x14 -x11 -x5 -x2 x109 -x37 -x25 -x13 x4 -x10 x1
5.67/5.79 c SCIP Status : problem is solved [optimal solution found]
5.67/5.79 c Total Time : 5.78
5.67/5.79 c solving : 5.78
5.67/5.79 c presolving : 0.07 (included in solving)
5.67/5.79 c reading : 0.00 (included in solving)
5.67/5.79 c copying : 0.01 (2 #copies) (minimal 0.00, maximal 0.00, average 0.00)
5.67/5.79 c Original Problem :
5.67/5.79 c Problem name : HOME/instance-4512308-1751272208.opb
5.67/5.79 c Variables : 576 (144 binary, 0 integer, 432 implicit integer, 0 continuous)
5.67/5.79 c Constraints : 480 initial, 480 maximal
5.67/5.79 c Objective : minimize, 432 non-zeros (abs.min = 601, abs.max = 273533)
5.67/5.79 c Presolved Problem :
5.67/5.79 c Problem name : t_HOME/instance-4512308-1751272208.opb
5.67/5.79 c Variables : 548 (139 binary, 0 integer, 409 implicit integer, 0 continuous)
5.67/5.79 c Constraints : 456 initial, 456 maximal
5.67/5.79 c Objective : minimize, 415 non-zeros (abs.min = 601, abs.max = 273533)
5.67/5.79 c Nonzeros : 1374 constraint, 2880 clique table
5.67/5.79 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
5.67/5.79 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
5.67/5.79 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c dualsparsify : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
5.67/5.79 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
5.67/5.79 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
5.67/5.79 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c trivial : 0.00 0.00 4 18 0 0 0 0 0 0 0 0
5.67/5.79 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
5.67/5.79 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c probing : 0.06 0.00 2 0 0 0 0 0 0 0 0 0
5.67/5.79 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c symmetry : 0.00 0.00 1 3 0 0 0 0 0 1 0 0
5.67/5.79 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
5.67/5.79 c setppc : 0.00 0.00 7 0 1 0 0 0 2 0 0 0
5.67/5.79 c and : 0.00 0.00 7 0 6 0 0 0 6 0 0 6
5.67/5.79 c linear : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
5.67/5.79 c orbitope : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
5.67/5.79 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
5.67/5.79 c root node : - - - 35 - - 35 - - - - -
5.67/5.79 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
5.67/5.79 c benderslp : 0 0 0 0 58 0 0 80 0 0 0 0 0 0 0
5.67/5.79 c integral : 0 0 0 0 58 0 0 80 0 0 0 0 0 0 116
5.67/5.79 c setppc : 46 46 23 8600 0 0 0 74 0 0 125 0 0 0 0
5.67/5.79 c and : 409 409 159 8601 0 0 0 59 0 0 1242 804 410 0 0
5.67/5.79 c orbitope : 1 1 0 6881 0 0 0 12 0 0 4 0 0 0 0
5.67/5.79 c benders : 0 0 0 0 0 0 0 14 0 0 0 0 0 0 0
5.67/5.79 c fixedvar : 0 0 0 0 0 0 0 14 0 0 0 0 0 0 0
5.67/5.79 c countsols : 0 0 0 0 0 0 0 14 0 0 0 0 0 0 0
5.67/5.79 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
5.67/5.79 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c integral : 3.88 0.00 0.00 0.00 3.88 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c setppc : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c and : 0.05 0.00 0.01 0.03 0.00 0.00 0.00 0.00 0.00 0.01
5.67/5.79 c orbitope : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c Propagators : #Propagate #ResProp Cutoffs DomReds
5.67/5.79 c dualfix : 3 0 0 0
5.67/5.79 c genvbounds : 0 0 0 0
5.67/5.79 c nlobbt : 0 0 0 0
5.67/5.79 c obbt : 0 0 0 0
5.67/5.79 c probing : 0 0 0 0
5.67/5.79 c pseudoobj : 361 0 0 0
5.67/5.79 c redcost : 262 0 0 242
5.67/5.79 c rootredcost : 9 0 0 0
5.67/5.79 c symmetry : 0 0 0 0
5.67/5.79 c vbounds : 4569 0 0 0
5.67/5.79 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
5.67/5.79 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c probing : 0.06 0.00 0.06 0.00 0.00 0.00
5.67/5.79 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
5.67/5.79 c Symmetry :
5.67/5.79 c orbitopal red. : 0 reductions applied, 0 cutoffs
5.67/5.79 c orbital reduction: 0 reductions applied, 0 cutoffs
5.67/5.79 c lexicographic red: 0 reductions applied, 0 cutoffs
5.67/5.79 c shadow tree time : 0.00 s
5.67/5.79 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
5.67/5.79 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
5.67/5.79 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
5.67/5.79 c bound exceed. LP : 0.00 5 0 - 0 0.0 0 0.0 0 0.0 50
5.67/5.79 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
5.67/5.79 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
5.67/5.79 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
5.67/5.79 c applied locally : - - - 0 0 0.0 - - 0 - -
5.67/5.79 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
5.67/5.79 c cut pool : 0.01 - 52 42 - - 2606 4481 - - - - - (maximal pool size: 2606)
5.67/5.79 c aggregation : 0.19 0.00 27 22 0 0 2 2 0 0 0 0 0
5.67/5.79 c > cmir : - - - - - - - 2 0 0 0 0 -
5.67/5.79 c > flowcover : - - - - - - - 0 0 0 0 0 -
5.67/5.79 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
5.67/5.79 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c clique : 0.01 0.00 22 22 0 0 0 0 0 0 0 0 0
5.67/5.79 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c gomory : 0.48 0.00 15 10 0 0 2199 3961 0 35 35 0 0
5.67/5.79 c > gomorymi : - - - - - - - 1706 0 12 12 0 -
5.67/5.79 c > strongcg : - - - - - - - 2255 0 23 23 0 -
5.67/5.79 c impliedbounds : 0.00 0.00 27 22 0 0 302 385 0 190 190 0 0
5.67/5.79 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
5.67/5.79 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c mixing : 0.00 0.00 28 23 0 0 0 0 0 0 0 0 0
5.67/5.79 c multilinear : 0.00 0.00 55 23 0 0 0 0 0 0 0 0 0
5.67/5.79 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.67/5.79 c rlt : 0.17 0.00 12 10 0 0 23 29 0 17 17 0 0
5.67/5.79 c zerohalf : 0.04 0.00 25 20 0 0 80 104 0 60 60 0 0
5.67/5.79 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
5.67/5.79 c hybrid : 0.01 0.00 85 21 712 0 4573 370 0 4143
5.67/5.79 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c Pricers : ExecTime SetupTime Calls Vars
5.67/5.79 c problem variables: 0.00 - 404 364
5.67/5.79 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
5.67/5.79 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c random : 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c relpscost : 3.88 0.00 58 0 0 0 0 0 0 116
5.67/5.79 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
5.67/5.79 c Primal Heuristics : ExecTime SetupTime Calls Found Best
5.67/5.79 c LP solutions : 0.00 - - 0 0
5.67/5.79 c relax solutions : 0.00 - - 0 0
5.67/5.79 c pseudo solutions : 0.00 - - 0 0
5.67/5.79 c strong branching : 0.00 - - 2 2
5.67/5.79 c actconsdiving : 0.00 0.00 0 0 0
5.67/5.79 c adaptivediving : 0.00 0.00 0 0 0
5.67/5.79 c alns : 0.01 0.00 1 0 0
5.67/5.79 c bound : 0.00 0.00 0 0 0
5.67/5.79 c clique : 0.00 0.00 1 1 1
5.67/5.79 c coefdiving : 0.00 0.00 0 0 0
5.67/5.79 c completesol : 0.00 0.00 0 0 0
5.67/5.79 c conflictdiving : 0.00 0.00 0 0 0
5.67/5.79 c crossover : 0.00 0.00 0 0 0
5.67/5.79 c dins : 0.00 0.00 0 0 0
5.67/5.79 c distributiondivin: 0.00 0.00 0 0 0
5.67/5.79 c dps : 0.00 0.00 0 0 0
5.67/5.79 c dualval : 0.00 0.00 0 0 0
5.67/5.79 c farkasdiving : 0.05 0.00 1 1 1
5.67/5.79 c feasjump : 0.00 0.00 0 0 0
5.67/5.79 c feaspump : 0.02 0.00 1 0 0
5.67/5.79 c fixandinfer : 0.00 0.00 0 0 0
5.67/5.79 c fracdiving : 0.00 0.00 0 0 0
5.67/5.79 c gins : 0.00 0.00 0 0 0
5.67/5.79 c guideddiving : 0.00 0.00 0 0 0
5.67/5.79 c indcoefdiving : 0.00 0.00 0 0 0
5.67/5.79 c indicator : 0.00 0.00 0 0 0
5.67/5.79 c indicatordiving : 0.00 0.00 0 0 0
5.67/5.79 c indoneopt : 0.00 0.00 0 0 0
5.67/5.79 c indrounding : 0.00 0.00 0 0 0
5.67/5.79 c indtwoopt : 0.00 0.00 0 0 0
5.67/5.79 c intdiving : 0.00 0.00 0 0 0
5.67/5.79 c intshifting : 0.00 0.00 0 0 0
5.67/5.79 c linesearchdiving : 0.00 0.00 0 0 0
5.67/5.79 c localbranching : 0.00 0.00 0 0 0
5.67/5.79 c locks : 0.00 0.00 1 0 0
5.67/5.79 c lpface : 0.00 0.00 0 0 0
5.67/5.79 c mpec : 0.00 0.00 0 0 0
5.67/5.79 c multistart : 0.00 0.00 0 0 0
5.67/5.79 c mutation : 0.00 0.00 0 0 0
5.67/5.79 c nlpdiving : 0.00 0.00 0 0 0
5.67/5.79 c objpscostdiving : 0.00 0.00 0 0 0
5.67/5.79 c octane : 0.00 0.00 0 0 0
5.67/5.79 c ofins : 0.00 0.00 0 0 0
5.67/5.79 c oneopt : 0.00 0.00 10 0 0
5.67/5.79 c padm : 0.00 0.00 0 0 0
5.67/5.79 c proximity : 0.00 0.00 0 0 0
5.67/5.79 c pscostdiving : 0.00 0.00 0 0 0
5.67/5.79 c randrounding : 0.02 0.00 22 0 0
5.67/5.79 c rens : 0.00 0.00 0 0 0
5.67/5.79 c reoptsols : 0.00 0.00 0 0 0
5.67/5.79 c repair : 0.00 0.00 0 0 0
5.67/5.79 c rins : 0.00 0.00 0 0 0
5.67/5.79 c rootsoldiving : 0.00 0.00 0 0 0
5.67/5.79 c rounding : 0.00 0.00 129 0 0
5.67/5.79 c scheduler : 0.00 0.00 0 0 0
5.67/5.79 c shiftandpropagate: 0.00 0.00 0 0 0
5.67/5.79 c shifting : 0.01 0.00 27 1 0
5.67/5.79 c simplerounding : 0.00 0.00 281 6 6
5.67/5.79 c smallcard : 0.00 0.00 0 0 0
5.67/5.79 c subnlp : 0.00 0.00 0 0 0
5.67/5.79 c trivial : 0.00 0.00 2 0 0
5.67/5.79 c trivialnegation : 0.00 0.00 0 0 0
5.67/5.79 c trustregion : 0.00 0.00 0 0 0
5.67/5.79 c trysol : 0.00 0.00 0 0 0
5.67/5.79 c twoopt : 0.00 0.00 0 0 0
5.67/5.79 c undercover : 0.02 0.00 1 0 0
5.67/5.79 c vbounds : 0.01 0.00 1 1 1
5.67/5.79 c veclendiving : 0.00 0.00 0 0 0
5.67/5.79 c zeroobj : 0.00 0.00 0 0 0
5.67/5.79 c zirounding : 0.00 0.00 58 0 0
5.67/5.79 c other solutions : - - - 0 -
5.67/5.79 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
5.67/5.79 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
5.67/5.79 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
5.67/5.79 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
5.67/5.79 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
5.67/5.79 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
5.67/5.79 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
5.67/5.79 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
5.67/5.79 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
5.67/5.79 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
5.67/5.79 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
5.67/5.79 c primal LP : 0.14 162 3116 19.72 21963.92 0.00 4
5.67/5.79 c dual LP : 0.55 259 13562 68.84 24628.94 0.01 62
5.67/5.79 c lex dual LP : 0.00 0 0 0.00 -
5.67/5.79 c barrier LP : 0.00 0 0 0.00 - 0.00 0
5.67/5.79 c resolve instable : 0.00 0 0 0.00 -
5.67/5.79 c diving/probing LP: 0.08 61 1721 28.21 20800.10
5.67/5.79 c strong branching : 3.70 610 91970 150.77 24849.27 - - 7
5.67/5.79 c (at root node) : - 22 6652 302.36 -
5.67/5.79 c conflict analysis: 0.00 5 50 10.00 -
5.67/5.79 c B&B Tree :
5.67/5.79 c number of runs : 1
5.67/5.79 c nodes : 112 (58 internal, 54 leaves)
5.67/5.79 c feasible leaves : 0
5.67/5.79 c infeas. leaves : 54
5.67/5.79 c objective leaves : 0
5.67/5.79 c nodes (total) : 112 (58 internal, 54 leaves)
5.67/5.79 c nodes left : 0
5.67/5.79 c max depth : 10
5.67/5.79 c max depth (total): 10
5.67/5.79 c backtracks : 20 (17.9%)
5.67/5.79 c early backtracks : 0 (0.0%)
5.67/5.79 c nodes exc. ref. : 0 (0.0%)
5.67/5.79 c delayed cutoffs : 0
5.67/5.79 c repropagations : 0 (0 domain reductions, 0 cutoffs)
5.67/5.79 c avg switch length: 2.43
5.67/5.79 c switching time : 0.00
5.67/5.79 c Root Node :
5.67/5.79 c First LP value : -6.43318900000000e+06
5.67/5.79 c First LP Iters : 498 (64507.77 Iter/sec)
5.67/5.79 c First LP Time : 0.01
5.67/5.79 c Final Dual Bound : -5.89451124107868e+06
5.67/5.79 c Final Root Iters : 2076
5.67/5.79 c Root LP Estimate : -2.40630868981067e+06
5.67/5.79 c Solution :
5.67/5.79 c Solutions found : 12 (11 improvements)
5.67/5.79 c First Solution : -1.79019700000000e+06 (in run 1, after 1 nodes, 0.07 seconds, depth 49, found by <clique>)
5.67/5.79 c Gap First Sol. : 926.96 %
5.67/5.79 c Gap Last Sol. : 3.50 %
5.67/5.79 c Primal Bound : -5.30151600000000e+06 (in run 1, after 102 nodes, 5.71 seconds, depth 9, found by <simplerounding>)
5.67/5.79 c Dual Bound : -5.30151600000000e+06
5.67/5.79 c Gap : 0.00 %
5.67/5.79 c Integrals : Total Avg%
5.67/5.79 c primal-dual : 112.84 19.52
5.67/5.79 c primal-ref : - - (not evaluated)
5.67/5.79 c dual-ref : - - (not evaluated)
5.77/5.81 c Time complete: 5.78209.
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 (62203 MiB free)
memory of node 1: 64507 MiB (63038 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512308-1751272208/watcher-4512308-1751272208 -o /tmp/evaluation-result-4512308-1751272208/solver-4512308-1751272208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751268232-38745 --watchdog 3760 pbscip -f HOME/instance-4512308-1751272208.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=39546, runsolver pid=39543
[startup+0.100064 s]*
/proc/loadavg: 4.12 4.10 4.05 5/263 39547
/proc/meminfo: memFree=128248088/131249996 swapFree=33010684/33010684
[pid=39546] ppid=39543 vsize=59596 memory=30976 CPUtime=0.09 cores=5,7
/proc/39546/stat : 39546 (pbscip) R 39543 39546 38726 0 -1 4194304 4275 0 0 0 8 1 0 0 20 0 1 0 42898473 61026304 7744 18446744073709551615 4235264 18693293 140726754735936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40239104 140726754744713 140726754744812 140726754744812 140726754750414 0
/proc/39546/statm: 14899 7744 3840 3530 0 6350 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59596 KiB
Current children cumulated memory: 30976 KiB
[startup+0.205394 s]*
/proc/loadavg: 4.12 4.10 4.05 5/263 39547
/proc/meminfo: memFree=128248088/131249996 swapFree=33010684/33010684
[pid=39546] ppid=39543 vsize=63932 memory=35584 CPUtime=0.19 cores=5,7
/proc/39546/stat : 39546 (pbscip) R 39543 39546 38726 0 -1 4194304 5353 0 0 0 18 1 0 0 20 0 1 0 42898473 65466368 8896 18446744073709551615 4235264 18693293 140726754735936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40239104 140726754744713 140726754744812 140726754744812 140726754750414 0
/proc/39546/statm: 15983 8896 3936 3530 0 7434 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63932 KiB
Current children cumulated memory: 35584 KiB
[startup+0.305016 s]*
/proc/loadavg: 4.12 4.10 4.05 5/263 39547
/proc/meminfo: memFree=128248088/131249996 swapFree=33010684/33010684
[pid=39546] ppid=39543 vsize=63932 memory=35712 CPUtime=0.29 cores=5,7
/proc/39546/stat : 39546 (pbscip) R 39543 39546 38726 0 -1 4194304 5366 0 0 0 28 1 0 0 20 0 1 0 42898473 65466368 8928 18446744073709551615 4235264 18693293 140726754735936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40239104 140726754744713 140726754744812 140726754744812 140726754750414 0
/proc/39546/statm: 15983 8928 3936 3530 0 7434 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63932 KiB
Current children cumulated memory: 35712 KiB
[startup+0.700164 s]
/proc/loadavg: 4.12 4.10 4.05 5/263 39547
/proc/meminfo: memFree=128246324/131249996 swapFree=33010684/33010684
[pid=39546] ppid=39543 vsize=71484 memory=43520 CPUtime=0.68 cores=5,7
/proc/39546/stat : 39546 (pbscip) R 39543 39546 38726 0 -1 4194304 7313 0 0 0 67 1 0 0 20 0 1 0 42898473 73199616 10880 18446744073709551615 4235264 18693293 140726754735936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40239104 140726754744713 140726754744812 140726754744812 140726754750414 0
/proc/39546/statm: 17871 10880 3936 3530 0 9322 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 71484 KiB
Current children cumulated memory: 43520 KiB
[startup+1.50015 s]
/proc/loadavg: 4.12 4.10 4.05 5/263 39547
/proc/meminfo: memFree=128232212/131249996 swapFree=33010684/33010684
[pid=39546] ppid=39543 vsize=83688 memory=52352 CPUtime=1.48 cores=5,7
/proc/39546/stat : 39546 (pbscip) R 39543 39546 38726 0 -1 4194304 9532 0 0 0 146 2 0 0 20 0 1 0 42898473 85696512 13088 18446744073709551615 4235264 18693293 140726754735936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40239104 140726754744713 140726754744812 140726754744812 140726754750414 0
/proc/39546/statm: 20922 13088 3936 3530 0 12373 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 83688 KiB
Current children cumulated memory: 52352 KiB
[startup+3.10517 s]
/proc/loadavg: 4.11 4.10 4.05 5/263 39547
/proc/meminfo: memFree=128232308/131249996 swapFree=33010684/33010684
[pid=39546] ppid=39543 vsize=83688 memory=52352 CPUtime=3.08 cores=5,7
/proc/39546/stat : 39546 (pbscip) R 39543 39546 38726 0 -1 4194304 9533 0 0 0 306 2 0 0 20 0 1 0 42898473 85696512 13088 18446744073709551615 4235264 18693293 140726754735936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40239104 140726754744713 140726754744812 140726754744812 140726754750414 0
/proc/39546/statm: 20922 13088 3936 3530 0 12373 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83688 KiB
Current children cumulated memory: 52352 KiB
[startup+5.81384 s]
# the end of solver process 39546 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=5.76228 s, system=0.024912 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2002 s]
/proc/loadavg: 4.11 4.10 4.05 5/263 39547
/proc/meminfo: memFree=128232308/131249996 swapFree=33010684/33010684
[pid=39546] ppid=39543 vsize=83688 memory=52352 CPUtime=3.17 cores=5,7
/proc/39546/stat : 39546 (pbscip) R 39543 39546 38726 0 -1 4194304 9533 0 0 0 315 2 0 0 20 0 1 0 42898473 85696512 13088 18446744073709551615 4235264 18693293 140726754735936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40239104 140726754744713 140726754744812 140726754744812 140726754750414 0
/proc/39546/statm: 20922 13088 3936 3530 0 12373 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 83688 KiB
Current children cumulated memory: 52352 KiB
[startup+4.80014 s]
/proc/loadavg: 4.11 4.10 4.05 5/263 39547
/proc/meminfo: memFree=128232308/131249996 swapFree=33010684/33010684
[pid=39546] ppid=39543 vsize=83688 memory=52352 CPUtime=4.77 cores=5,7
/proc/39546/stat : 39546 (pbscip) R 39543 39546 38726 0 -1 4194304 9533 0 0 0 475 2 0 0 20 0 1 0 42898473 85696512 13088 18446744073709551615 4235264 18693293 140726754735936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40239104 140726754744713 140726754744812 140726754744812 140726754750414 0
/proc/39546/statm: 20922 13088 3936 3530 0 12373 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 83688 KiB
Current children cumulated memory: 52352 KiB
[startup+5.60017 s]
/proc/loadavg: 4.11 4.10 4.05 5/263 39547
/proc/meminfo: memFree=128232308/131249996 swapFree=33010684/33010684
[pid=39546] ppid=39543 vsize=83688 memory=52352 CPUtime=5.57 cores=5,7
/proc/39546/stat : 39546 (pbscip) R 39543 39546 38726 0 -1 4194304 9548 0 0 0 555 2 0 0 20 0 1 0 42898473 85696512 13088 18446744073709551615 4235264 18693293 140726754735936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40239104 140726754744713 140726754744812 140726754744812 140726754750414 0
/proc/39546/statm: 20922 13088 3936 3530 0 12373 0
Current children cumulated CPU time: 5.57 s
Current children cumulated vsize: 83688 KiB
Current children cumulated memory: 52352 KiB
[startup+5.80012 s]
/proc/loadavg: 4.11 4.10 4.05 5/263 39547
/proc/meminfo: memFree=128232308/131249996 swapFree=33010684/33010684
[pid=39546] ppid=39543 vsize=83688 memory=52352 CPUtime=5.77 cores=5,7
/proc/39546/stat : 39546 (pbscip) R 39543 39546 38726 0 -1 4194304 9551 0 0 0 575 2 0 0 20 0 1 0 42898473 85696512 13088 18446744073709551615 4235264 18693293 140726754735936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40239104 140726754744713 140726754744812 140726754744812 140726754750414 0
/proc/39546/statm: 20922 13088 3936 3530 0 12373 0
Current children cumulated CPU time: 5.77 s
Current children cumulated vsize: 83688 KiB
Current children cumulated memory: 52352 KiB
Child status: 0
Real time (s): 5.81387
CPU time (s): 5.7872
CPU user time (s): 5.76228
CPU system time (s): 0.024912
CPU usage (%): 99.5412
Max. virtual memory (cumulated for all children) (KiB): 83688
Max. memory (cumulated for all children) (KiB): 52352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.76228
system time used= 0.024912
maximum resident set size= 52352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9557
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= 84
involuntary context switches= 39
# summary of solver processes directly reported to runsolver:
# pid: 39546
# total CPU time (s): 5.7872
# total CPU user time (s): 5.76228
# total CPU system time (s): 0.024912
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.022131 second user time and 0.049518 second system time
The end