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-4432922-1721168395.opb>
0.00/0.00 c original problem has 223 variables (223 bin, 0 int, 0 impl, 0 cont) and 386 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 o 0
0.00/0.00 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.00 c presolving:
0.00/0.00 c (0.0s) running MILP presolver
0.00/0.00 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, 193 upgd conss, 0 impls, 0 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, 386 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 3, medium) 0 del vars, 193 del conss, 522 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 386 upgd conss, 0 impls, 522 clqs
0.00/0.01 c (round 4, exhaustive) 0 del vars, 908 del conss, 715 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 386 upgd conss, 0 impls, 522 clqs
0.00/0.01 c (0.0s) probing: 51/223 (22.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.01 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.01 c (0.0s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.01 c dynamic symmetry handling statistics:
0.00/0.01 c orbitopal reduction: no components
0.00/0.01 c orbital reduction: no components
0.00/0.01 c lexicographic reduction: 1 permutations with support sizes 220
0.00/0.01 c handled 1 out of 1 symmetry components
0.00/0.01 c presolving (5 rounds: 5 fast, 5 medium, 4 exhaustive):
0.00/0.01 c 0 deleted vars, 908 deleted constraints, 715 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 1038 cliques
0.00/0.01 c presolved problem has 223 variables (223 bin, 0 int, 0 impl, 0 cont) and 193 constraints
0.00/0.01 c 193 constraints of type <and>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 10.0.0
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.01 c limits/time = 3596.998007
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.01 c limits/memory = 27900
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c transformed 2/2 original solutions to the transformed problem space
0.00/0.01 c
0.00/0.01 o -44
0.00/0.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.01 c p 0.0s| 1 | 0 | 0 | - | clique| 0 | 223 | 193 | 386 | 0 | 0 | 0 | 0 |-1.188000e+03 |-4.400000e+01 |2600.00%| unknown
0.00/0.02 o -51
0.00/0.02 c p 0.0s| 1 | 0 | 0 | - | vbounds| 0 | 223 | 193 | 386 | 0 | 0 | 0 | 0 |-1.188000e+03 |-5.100000e+01 |2229.41%| unknown
0.00/0.02 c 0.0s| 1 | 0 | 239 | - | 6809k | 0 | 223 | 204 | 386 | 0 | 0 | 11 | 0 |-5.940000e+02 |-5.100000e+01 |1064.71%| unknown
0.00/0.02 o -81
0.00/0.02 c r 0.0s| 1 | 0 | 239 | - |rounding| 0 | 223 | 204 | 386 | 0 | 0 | 11 | 0 |-5.940000e+02 |-8.100000e+01 | 633.33%| unknown
0.00/0.04 c 0.0s| 1 | 0 | 383 | - | 7428k | 0 | 223 | 204 | 457 | 71 | 1 | 11 | 0 |-3.823840e+02 |-8.100000e+01 | 372.08%| unknown
0.00/0.06 c 0.1s| 1 | 0 | 538 | - | 8366k | 0 | 223 | 205 | 519 | 133 | 2 | 12 | 0 |-3.105489e+02 |-8.100000e+01 | 283.39%| unknown
0.00/0.08 c 0.1s| 1 | 0 | 631 | - | 8917k | 0 | 223 | 205 | 575 | 189 | 3 | 12 | 0 |-2.706905e+02 |-8.100000e+01 | 234.19%| unknown
0.09/0.12 c 0.1s| 1 | 0 | 691 | - | 9701k | 0 | 223 | 206 | 614 | 228 | 4 | 13 | 0 |-2.503333e+02 |-8.100000e+01 | 209.05%| unknown
0.09/0.14 c 0.1s| 1 | 0 | 761 | - | 9774k | 0 | 223 | 206 | 631 | 245 | 5 | 13 | 0 |-2.373221e+02 |-8.100000e+01 | 192.99%| unknown
0.09/0.19 c 0.2s| 1 | 0 | 859 | - | 11M | 0 | 223 | 206 | 655 | 269 | 6 | 13 | 0 |-2.249444e+02 |-8.100000e+01 | 177.71%| unknown
0.20/0.24 c 0.2s| 1 | 0 | 952 | - | 12M | 0 | 223 | 206 | 673 | 287 | 7 | 13 | 0 |-2.190741e+02 |-8.100000e+01 | 170.46%| unknown
0.20/0.28 c 0.3s| 1 | 0 | 1032 | - | 14M | 0 | 223 | 207 | 693 | 307 | 8 | 14 | 0 |-2.110000e+02 |-8.100000e+01 | 160.49%| unknown
0.29/0.32 c 0.3s| 1 | 0 | 1179 | - | 15M | 0 | 223 | 208 | 709 | 323 | 9 | 15 | 0 |-1.985833e+02 |-8.100000e+01 | 145.16%| unknown
0.29/0.37 c 0.4s| 1 | 0 | 1300 | - | 17M | 0 | 223 | 209 | 731 | 345 | 10 | 16 | 0 |-1.853639e+02 |-8.100000e+01 | 128.84%| unknown
0.29/0.38 c 0.4s| 1 | 0 | 1376 | - | 17M | 0 | 223 | 209 | 747 | 361 | 11 | 16 | 0 |-1.783639e+02 |-8.100000e+01 | 120.20%| unknown
0.29/0.38 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.38 c 0.4s| 1 | 0 | 1445 | - | 17M | 0 | 223 | 209 | 763 | 377 | 12 | 16 | 0 |-1.715038e+02 |-8.100000e+01 | 111.73%| unknown
0.29/0.39 c 0.4s| 1 | 0 | 1530 | - | 17M | 0 | 223 | 209 | 775 | 389 | 13 | 16 | 0 |-1.675972e+02 |-8.100000e+01 | 106.91%| unknown
0.29/0.39 c 0.4s| 1 | 0 | 1604 | - | 17M | 0 | 223 | 210 | 786 | 400 | 14 | 17 | 0 |-1.631477e+02 |-8.100000e+01 | 101.42%| unknown
0.29/0.40 c 0.4s| 1 | 0 | 1680 | - | 17M | 0 | 223 | 210 | 799 | 413 | 15 | 17 | 0 |-1.589504e+02 |-8.100000e+01 | 96.24%| unknown
0.39/0.41 c 0.4s| 1 | 0 | 1765 | - | 17M | 0 | 223 | 210 | 807 | 421 | 16 | 17 | 0 |-1.552973e+02 |-8.100000e+01 | 91.73%| unknown
0.39/0.41 c 0.4s| 1 | 0 | 1849 | - | 17M | 0 | 223 | 211 | 756 | 434 | 17 | 18 | 0 |-1.517531e+02 |-8.100000e+01 | 87.35%| unknown
0.39/0.42 c 0.4s| 1 | 0 | 1935 | - | 18M | 0 | 223 | 211 | 764 | 442 | 18 | 18 | 0 |-1.489256e+02 |-8.100000e+01 | 83.86%| unknown
0.39/0.42 c 0.4s| 1 | 0 | 1998 | - | 18M | 0 | 223 | 212 | 773 | 451 | 19 | 19 | 0 |-1.481379e+02 |-8.100000e+01 | 82.89%| unknown
0.39/0.43 c 0.4s| 1 | 0 | 2079 | - | 18M | 0 | 223 | 213 | 780 | 458 | 20 | 20 | 0 |-1.469173e+02 |-8.100000e+01 | 81.38%| unknown
0.39/0.44 c 0.4s| 1 | 0 | 2107 | - | 18M | 0 | 223 | 214 | 786 | 464 | 21 | 21 | 0 |-1.468143e+02 |-8.100000e+01 | 81.25%| unknown
0.39/0.44 c 0.4s| 1 | 0 | 2110 | - | 18M | 0 | 223 | 216 | 787 | 465 | 22 | 23 | 0 |-1.468136e+02 |-8.100000e+01 | 81.25%| unknown
0.59/0.60 c 0.6s| 1 | 2 | 2731 | - | 18M | 0 | 223 | 237 | 787 | 465 | 23 | 44 | 27 |-1.393624e+02 |-8.100000e+01 | 72.05%| unknown
1.88/1.93 c 1.9s| 100 | 33 | 6331 | 42.6 | 22M | 14 | 223 | 251 | 714 | 921 | 8 | 58 | 657 |-1.259662e+02 |-8.100000e+01 | 55.51%| 11.41%
2.68/2.71 c 2.7s| 200 | 37 | 9682 | 38.1 | 25M | 15 | 223 | 251 | 710 |1349 | 1 | 58 | 794 |-1.235947e+02 |-8.100000e+01 | 52.59%| 13.23%
3.48/3.50 c 3.5s| 300 | 49 | 13994 | 39.7 | 29M | 15 | 223 | 252 | 717 |1922 | 1 | 59 | 958 |-1.202421e+02 |-8.100000e+01 | 48.45%| 19.21%
3.98/4.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.98/4.05 c 4.1s| 400 | 47 | 18010 | 39.8 | 35M | 15 | 223 | 254 | 688 |2402 | 4 | 61 |1036 |-1.174975e+02 |-8.100000e+01 | 45.06%| 24.45%
4.57/4.61 c 4.6s| 500 | 49 | 22796 | 41.5 | 40M | 15 | 223 | 255 | 710 |2916 | 1 | 62 |1133 |-1.140633e+02 |-8.100000e+01 | 40.82%| 29.92%
5.16/5.27 c 5.3s| 600 | 45 | 27897 | 43.1 | 47M | 15 | 223 | 256 | 725 |3371 | 2 | 63 |1205 |-1.137413e+02 |-8.100000e+01 | 40.42%| 33.54%
5.46/5.58 c 5.6s| 700 | 53 | 32067 | 42.9 | 48M | 15 | 223 | 256 | 683 |3723 | 0 | 63 |1212 |-1.129913e+02 |-8.100000e+01 | 39.50%| 36.41%
5.86/5.90 c 5.9s| 800 | 55 | 35715 | 42.1 | 50M | 15 | 223 | 256 | 706 |4008 | 1 | 63 |1218 |-1.120223e+02 |-8.100000e+01 | 38.30%| 41.94%
6.16/6.24 c 6.2s| 900 | 65 | 41158 | 43.4 | 50M | 15 | 223 | 257 | 742 |4370 | 2 | 64 |1235 |-1.099767e+02 |-8.100000e+01 | 35.77%| 45.41%
6.26/6.37 c r 6.4s| 926 | 59 | 42325 | 43.5 |shifting| 15 | 223 | 257 | 772 |4463 | 2 | 64 |1237 |-1.099767e+02 |-8.100000e+01 | 35.77%| 46.24%
6.47/6.53 c 6.5s| 1000 | 49 | 44547 | 42.5 | 54M | 15 | 223 | 258 | 717 |4604 | 1 | 65 |1242 |-1.087571e+02 |-8.100000e+01 | 34.27%| 50.08%
6.77/6.85 c 6.9s| 1100 | 45 | 48150 | 41.9 | 56M | 15 | 223 | 258 | 729 |4880 | 2 | 65 |1245 |-1.082556e+02 |-8.100000e+01 | 33.65%| 52.78%
6.97/7.04 c 7.0s| 1200 | 39 | 51271 | 41.0 | 56M | 15 | 223 | 258 | 735 |5127 | 0 | 65 |1255 |-1.068468e+02 |-8.100000e+01 | 31.91%| 55.89%
7.26/7.34 c 7.3s| 1300 | 23 | 55244 | 40.9 | 56M | 15 | 223 | 259 | 678 |5425 | 0 | 66 |1261 |-1.051064e+02 |-8.100000e+01 | 29.76%| 61.55%
7.56/7.65 c 7.6s| 1400 | 7 | 58305 | 40.2 | 57M | 15 | 223 | 260 | 806 |5642 | 0 | 68 |1265 |-9.007143e+01 |-8.100000e+01 | 11.20%| 91.25%
7.56/7.66 c
7.56/7.66 c SCIP Status : problem is solved [optimal solution found]
7.56/7.66 c Solving Time (sec) : 7.66
7.56/7.66 c Solving Nodes : 1409
7.56/7.66 c Primal Bound : -8.10000000000000e+01 (223 solutions)
7.56/7.66 c Dual Bound : -8.10000000000000e+01
7.56/7.66 c Gap : 0.00 %
7.56/7.66 s OPTIMUM FOUND
7.56/7.66 v x30 x29 x28 -x27 x26 x25 x24 -x23 x22 x21 x20 -x19 x18 x17 x16 -x15 x14 x13 x12 -x11 x10 x9 x8 -x7 x6 x5 x4 -x3 x2 x1 x223 x222
7.56/7.66 v x221 -x220 -x219 -x218 x217 x216 -x215 x214 -x213 x212 -x211 x210 x209 -x208 -x207 -x206 x205 x204 -x203 x202 -x201 x200 -x199
7.56/7.66 v x198 x197 -x196 -x195 -x194 x193 x192 -x191 x190 -x189 x188 -x187 x186 x185 -x184 -x183 -x182 x181 x180 -x179 x178 -x177 x176
7.56/7.66 v -x175 x174 x173 -x172 -x171 -x170 x169 x168 -x167 x166 -x165 x164 -x163 x162 x161 -x160 -x159 -x158 x157 x156 -x155 x154
7.56/7.66 v -x153 x152 -x151 x150 x149 -x148 -x147 -x146 x145 x144 -x143 x142 -x141 x140 x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 x131
7.56/7.66 v -x130 -x129 -x128 x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 x111 -x110 -x109
7.56/7.66 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
7.56/7.66 v -x84 x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 x59
7.56/7.66 v -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
7.56/7.66 v -x33 -x32 -x31
7.56/7.66 c SCIP Status : problem is solved [optimal solution found]
7.56/7.66 c Total Time : 7.66
7.56/7.66 c solving : 7.66
7.56/7.66 c presolving : 0.01 (included in solving)
7.56/7.66 c reading : 0.00 (included in solving)
7.56/7.66 c copying : 0.02 (9 #copies) (minimal 0.00, maximal 0.00, average 0.00)
7.56/7.66 c Original Problem :
7.56/7.66 c Problem name : HOME/instance-4432922-1721168395.opb
7.56/7.66 c Variables : 223 (223 binary, 0 integer, 0 implicit integer, 0 continuous)
7.56/7.66 c Constraints : 386 initial, 386 maximal
7.56/7.66 c Objective : minimize, 223 non-zeros (abs.min = 3, abs.max = 16)
7.56/7.66 c Presolved Problem :
7.56/7.66 c Problem name : t_HOME/instance-4432922-1721168395.opb
7.56/7.66 c Variables : 223 (223 binary, 0 integer, 0 implicit integer, 0 continuous)
7.56/7.66 c Constraints : 193 initial, 261 maximal
7.56/7.66 c Objective : minimize, 223 non-zeros (abs.min = 3, abs.max = 16)
7.56/7.66 c Nonzeros : 715 constraint, 2038 clique table
7.56/7.66 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
7.56/7.66 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.66 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.66 c gateextraction : 0.00 0.00 1 0 0 0 0 0 715 193 0 0
7.56/7.66 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
7.56/7.66 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.66 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.66 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
7.56/7.66 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
7.56/7.66 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.66 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.66 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.66 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
7.56/7.66 c knapsack : 0.00 0.00 2 0 0 0 0 0 193 522 0 0
7.56/7.66 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
7.56/7.66 c and : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
7.56/7.66 c linear : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
7.56/7.66 c logicor : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
7.56/7.66 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.66 c root node : - - - 103 - - 103 - - - - -
7.56/7.66 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
7.56/7.66 c benderslp : 0 0 0 0 869 0 0 242 0 0 0 0 0 0 0
7.56/7.66 c integral : 0 0 0 0 869 0 0 242 0 0 517 0 0 20 1408
7.56/7.66 c setppc : 0+ 22 23 9800 0 0 0 0 6 1 118 33 0 0 0
7.56/7.66 c and : 193 193 1672 10316 0 0 0 236 573 36 11635 1361 747 0 0
7.56/7.66 c linear : 0+ 1 0 27 0 0 0 3 0 0 1 0 0 0 0
7.56/7.66 c logicor : 0+ 86 22 2870 0 0 0 0 7 1 117 1 0 0 0
7.56/7.66 c benders : 0 0 0 0 0 0 0 231 0 0 0 0 0 0 0
7.56/7.66 c fixedvar : 0 0 0 0 0 0 0 231 0 0 0 0 0 0 0
7.56/7.66 c countsols : 0 0 0 0 0 0 0 231 0 0 0 0 0 0 0
7.56/7.66 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
7.56/7.66 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c integral : 1.52 0.00 0.00 0.00 1.52 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c and : 0.07 0.00 0.02 0.02 0.00 0.00 0.00 0.00 0.00 0.02
7.56/7.66 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c Propagators : #Propagate #ResProp Cutoffs DomReds
7.56/7.66 c dualfix : 2 0 0 0
7.56/7.66 c genvbounds : 0 0 0 0
7.56/7.66 c nlobbt : 0 0 0 0
7.56/7.66 c obbt : 0 0 0 0
7.56/7.66 c probing : 0 0 0 0
7.56/7.66 c pseudoobj : 4650 0 0 0
7.56/7.66 c redcost : 3941 0 0 2907
7.56/7.66 c rootredcost : 1 0 0 0
7.56/7.66 c symmetry : 9113 0 6 47
7.56/7.66 c vbounds : 8865 0 0 0
7.56/7.66 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
7.56/7.66 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
7.56/7.66 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c symmetry : 0.03 0.00 0.00 0.02 0.00 0.01
7.56/7.66 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.66 c Symmetry :
7.56/7.66 c orbitopal red. : 0 reductions applied, 0 cutoffs
7.56/7.66 c orbital reduction: 0 reductions applied, 0 cutoffs
7.56/7.66 c lexicographic red: 243 reductions applied, 6 cutoffs
7.56/7.66 c shadow tree time : 0.00 s
7.56/7.66 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
7.56/7.66 c propagation : 0.00 38 37 - 38 3.1 0 0.0 - - -
7.56/7.66 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 1 0.0 0
7.56/7.66 c bound exceed. LP : 0.03 656 16 - 115 31.9 0 0.0 2 32.0 87
7.56/7.66 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
7.56/7.66 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
7.56/7.66 c applied globally : 0.00 - - 0 70 7.4 - - 1 - -
7.56/7.66 c applied locally : - - - 0 0 0.0 - - 1 - -
7.56/7.66 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
7.56/7.66 c cut pool : 0.41 - 1090 43 - - 11918 369477 - - - - - (maximal pool size: 5210)
7.56/7.66 c aggregation : 0.21 0.00 393 23 0 0 32 47 0 3 3 0 0
7.56/7.66 c > cmir : - - - - - - - 47 0 3 3 0 -
7.56/7.66 c > flowcover : - - - - - - - 0 0 0 0 0 -
7.56/7.66 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
7.56/7.66 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c clique : 0.01 0.00 23 23 0 0 0 0 0 0 0 0 0
7.56/7.66 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c gomory : 2.08 0.00 250 10 0 0 10183 347841 0 533 533 0 0
7.56/7.66 c > gomorymi : - - - - - - - 151320 0 213 213 0 -
7.56/7.66 c > strongcg : - - - - - - - 196521 0 320 320 0 -
7.56/7.66 c impliedbounds : 0.01 0.00 393 23 0 0 590 2500 0 1215 1215 0 0
7.56/7.66 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
7.56/7.66 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c multilinear : 0.00 0.00 97 23 0 0 1111 1451 724 1054 606 448 0
7.56/7.66 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.66 c rlt : 0.53 0.00 109 10 0 0 247 2853 0 979 979 0 0
7.56/7.66 c zerohalf : 0.15 0.00 260 20 0 0 479 14785 0 1113 1113 0 0
7.56/7.66 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
7.56/7.66 c hybrid : 0.10 0.00 1232 22 5644 0 365952 465 0 3500
7.56/7.66 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c Pricers : ExecTime SetupTime Calls Vars
7.56/7.66 c problem variables: 0.00 - 0 0
7.56/7.66 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
7.56/7.66 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c random : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c relpscost : 1.52 0.00 869 0 0 0 517 0 20 1408
7.56/7.66 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.66 c Primal Heuristics : ExecTime SetupTime Calls Found Best
7.56/7.66 c LP solutions : 0.00 - - 0 0
7.56/7.66 c relax solutions : 0.00 - - 0 0
7.56/7.66 c pseudo solutions : 0.00 - - 0 0
7.56/7.66 c strong branching : 0.00 - - 0 0
7.56/7.66 c actconsdiving : 0.00 0.00 0 0 0
7.56/7.66 c adaptivediving : 0.02 0.00 6 0 0
7.56/7.66 c alns : 0.00 0.00 1 0 0
7.56/7.66 c bound : 0.00 0.00 0 0 0
7.56/7.66 c clique : 0.00 0.00 1 1 1
7.56/7.66 c coefdiving : 0.00 0.00 0 0 0
7.56/7.66 c completesol : 0.00 0.00 0 0 0
7.56/7.66 c conflictdiving : 0.01 0.00 4 0 0
7.56/7.66 c crossover : 0.01 0.00 1 1 0
7.56/7.66 c dins : 0.00 0.00 0 0 0
7.56/7.66 c distributiondivin: 0.02 0.00 1 0 0
7.56/7.66 c dps : 0.00 0.00 0 0 0
7.56/7.66 c dualval : 0.00 0.00 0 0 0
7.56/7.66 c farkasdiving : 0.01 0.00 1 0 0
7.56/7.66 c feasjump : 0.00 0.00 0 0 0
7.56/7.66 c feaspump : 0.00 0.00 0 0 0
7.56/7.66 c fixandinfer : 0.00 0.00 0 0 0
7.56/7.66 c fracdiving : 0.00 0.00 1 0 0
7.56/7.66 c gins : 0.09 0.00 5 5 0
7.56/7.66 c guideddiving : 0.01 0.00 3 0 0
7.56/7.66 c indcoefdiving : 0.00 0.00 0 0 0
7.56/7.66 c indicator : 0.00 0.00 0 0 0
7.56/7.66 c indicatordiving : 0.00 0.00 0 0 0
7.56/7.66 c indoneopt : 0.00 0.00 0 0 0
7.56/7.66 c indrounding : 0.00 0.00 0 0 0
7.56/7.66 c indtwoopt : 0.00 0.00 0 0 0
7.56/7.66 c intdiving : 0.00 0.00 0 0 0
7.56/7.66 c intshifting : 0.00 0.00 0 0 0
7.56/7.66 c linesearchdiving : 0.01 0.00 3 0 0
7.56/7.66 c localbranching : 0.00 0.00 0 0 0
7.56/7.66 c locks : 0.00 0.00 1 0 0
7.56/7.66 c lpface : 0.00 0.00 0 0 0
7.56/7.66 c mpec : 0.00 0.00 0 0 0
7.56/7.66 c multistart : 0.00 0.00 0 0 0
7.56/7.66 c mutation : 0.00 0.00 0 0 0
7.56/7.66 c nlpdiving : 0.00 0.00 0 0 0
7.56/7.66 c objpscostdiving : 0.03 0.00 2 1 0
7.56/7.66 c octane : 0.00 0.00 0 0 0
7.56/7.66 c ofins : 0.00 0.00 0 0 0
7.56/7.66 c oneopt : 0.00 0.00 3 0 0
7.56/7.66 c padm : 0.00 0.00 0 0 0
7.56/7.66 c proximity : 0.00 0.00 0 0 0
7.56/7.66 c pscostdiving : 0.00 0.00 1 0 0
7.56/7.66 c randrounding : 0.01 0.00 23 3 0
7.56/7.66 c rens : 0.00 0.00 0 0 0
7.56/7.66 c reoptsols : 0.00 0.00 0 0 0
7.56/7.66 c repair : 0.00 0.00 0 0 0
7.56/7.66 c rins : 0.05 0.00 1 1 0
7.56/7.66 c rootsoldiving : 0.01 0.00 2 0 0
7.56/7.66 c rounding : 0.05 0.00 1672 1 1
7.56/7.66 c scheduler : 0.00 0.00 0 0 0
7.56/7.66 c shiftandpropagate: 0.00 0.00 0 0 0
7.56/7.66 c shifting : 0.14 0.00 839 207 0
7.56/7.66 c simplerounding : 0.00 0.00 0 0 0
7.56/7.66 c smallcard : 0.00 0.00 0 0 0
7.56/7.66 c subnlp : 0.00 0.00 0 0 0
7.56/7.66 c trivial : 0.00 0.00 2 2 1
7.56/7.66 c trivialnegation : 0.00 0.00 0 0 0
7.56/7.66 c trustregion : 0.00 0.00 0 0 0
7.56/7.66 c trysol : 0.00 0.00 0 0 0
7.56/7.66 c twoopt : 0.00 0.00 0 0 0
7.56/7.66 c undercover : 0.01 0.00 1 0 0
7.56/7.66 c vbounds : 0.00 0.00 1 1 1
7.56/7.66 c veclendiving : 0.01 0.00 2 0 0
7.56/7.66 c zeroobj : 0.00 0.00 0 0 0
7.56/7.66 c zirounding : 0.03 0.00 704 0 0
7.56/7.66 c other solutions : - - - 0 -
7.56/7.66 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
7.56/7.66 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
7.56/7.66 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
7.56/7.66 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
7.56/7.66 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
7.56/7.66 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
7.56/7.66 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
7.56/7.66 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
7.56/7.66 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
7.56/7.66 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
7.56/7.66 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
7.56/7.66 c primal LP : 0.04 314 0 0.00 0.00 0.04 314
7.56/7.66 c dual LP : 1.58 3754 54645 19.47 34611.71 0.14 948
7.56/7.66 c lex dual LP : 0.00 0 0 0.00 -
7.56/7.66 c barrier LP : 0.00 0 0 0.00 - 0.00 0
7.56/7.66 c resolve instable : 0.00 0 0 0.00 -
7.56/7.66 c diving/probing LP: 0.16 419 3896 9.30 23752.77
7.56/7.66 c strong branching : 1.20 1265 43487 34.38 36348.21 - - 29
7.56/7.66 c (at root node) : - 27 3959 146.63 -
7.56/7.66 c conflict analysis: 0.00 10 87 8.70 -
7.56/7.66 c B&B Tree :
7.56/7.66 c number of runs : 1
7.56/7.66 c nodes : 1409 (704 internal, 705 leaves)
7.56/7.66 c feasible leaves : 0
7.56/7.66 c infeas. leaves : 3
7.56/7.66 c objective leaves : 702
7.56/7.66 c nodes (total) : 1409 (704 internal, 705 leaves)
7.56/7.66 c nodes left : 0
7.56/7.66 c max depth : 15
7.56/7.66 c max depth (total): 15
7.56/7.66 c backtracks : 424 (30.1%)
7.56/7.66 c early backtracks : 0 (0.0%)
7.56/7.66 c nodes exc. ref. : 0 (0.0%)
7.56/7.66 c delayed cutoffs : 0
7.56/7.66 c repropagations : 6 (2 domain reductions, 0 cutoffs)
7.56/7.66 c avg switch length: 4.02
7.56/7.66 c switching time : 0.08
7.56/7.66 c Root Node :
7.56/7.66 c First LP value : -5.94000000000000e+02
7.56/7.66 c First LP Iters : 239 (79719.81 Iter/sec)
7.56/7.66 c First LP Time : 0.00
7.56/7.66 c Final Dual Bound : -1.39362421014152e+02
7.56/7.66 c Final Root Iters : 2110
7.56/7.66 c Root LP Estimate : +7.42812539190797e+01
7.56/7.66 c Solution :
7.56/7.66 c Solutions found : 223 (4 improvements)
7.56/7.66 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
7.56/7.66 c Gap First Sol. : infinite
7.56/7.66 c Gap Last Sol. : 35.77 %
7.56/7.66 c Primal Bound : -8.10000000000000e+01 (in run 1, after 926 nodes, 6.37 seconds, depth 10, found by <shifting>)
7.56/7.66 c Dual Bound : -8.10000000000000e+01
7.56/7.66 c Gap : 0.00 %
7.56/7.66 c Integrals : Total Avg%
7.56/7.66 c primal-dual : 253.73 33.14
7.56/7.66 c primal-ref : - - (not evaluated)
7.56/7.66 c dual-ref : - - (not evaluated)
7.56/7.67 c Time complete: 7.64472.
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 (61699 MiB free)
memory of node 1: 64510 MiB (58269 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432922-1721168395/watcher-4432922-1721168395 -o /tmp/evaluation-result-4432922-1721168395/solver-4432922-1721168395 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721164808-900912 --watchdog 3760 pbscip -f HOME/instance-4432922-1721168395.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
solver pid=904023, runsolver pid=904020
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.07 4.13 4.09 5/251 904028
/proc/meminfo: memFree=122858936/131524600 swapFree=131071996/131071996
[pid=904023] ppid=904020 vsize=67928 memory=27668 CPUtime=0.09 cores=0,2
/proc/904023/stat : 904023 (pbscip) R 904020 904023 900902 0 -1 4194304 3342 0 0 0 9 0 0 0 20 0 1 0 169001312 69558272 6917 134679101440 4194304 18693293 140729622178784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30904320 140729622180868 140729622180967 140729622180967 140729622187982 0
/proc/904023/statm: 16982 6917 3940 3540 0 5239 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67928 KiB
Current children cumulated memory: 27668 KiB
[startup+0.204946 s]*
/proc/loadavg: 4.07 4.13 4.09 4/251 904038
/proc/meminfo: memFree=122858328/131524600 swapFree=131071996/131071996
[pid=904023] ppid=904020 vsize=67928 memory=28520 CPUtime=0.2 cores=0,2
/proc/904023/stat : 904023 (pbscip) R 904020 904023 900902 0 -1 4194304 3531 0 0 0 20 0 0 0 20 0 1 0 169001312 69558272 7130 134679101440 4194304 18693293 140729622178784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30904320 140729622180868 140729622180967 140729622180967 140729622187982 0
/proc/904023/statm: 16982 7130 3956 3540 0 5239 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67928 KiB
Current children cumulated memory: 28520 KiB
[startup+0.305232 s]*
/proc/loadavg: 4.07 4.13 4.09 5/248 904060
/proc/meminfo: memFree=122855684/131524600 swapFree=131071996/131071996
[pid=904023] ppid=904020 vsize=70396 memory=31424 CPUtime=0.29 cores=0,2
/proc/904023/stat : 904023 (pbscip) R 904020 904023 900902 0 -1 4194304 4267 0 0 0 29 0 0 0 20 0 1 0 169001312 72085504 7856 134679101440 4194304 18693293 140729622178784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30904320 140729622180868 140729622180967 140729622180967 140729622187982 0
/proc/904023/statm: 17599 7856 3956 3540 0 5856 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 70396 KiB
Current children cumulated memory: 31424 KiB
[startup+0.700192 s]
/proc/loadavg: 4.07 4.13 4.09 5/254 904070
/proc/meminfo: memFree=122812236/131524600 swapFree=131071996/131071996
[pid=904023] ppid=904020 vsize=77152 memory=36176 CPUtime=0.69 cores=0,2
/proc/904023/stat : 904023 (pbscip) R 904020 904023 900902 0 -1 4194304 5451 0 0 0 68 1 0 0 20 0 1 0 169001312 79003648 9044 134679101440 4194304 18693293 140729622178784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30904320 140729622180868 140729622180967 140729622180967 140729622187982 0
/proc/904023/statm: 19288 9044 3956 3540 0 7545 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 77152 KiB
Current children cumulated memory: 36176 KiB
[startup+1.50021 s]
/proc/loadavg: 4.07 4.13 4.09 5/254 904070
/proc/meminfo: memFree=122807652/131524600 swapFree=131071996/131071996
[pid=904023] ppid=904020 vsize=77152 memory=37080 CPUtime=1.49 cores=0,2
/proc/904023/stat : 904023 (pbscip) R 904020 904023 900902 0 -1 4194304 5639 0 0 0 148 1 0 0 20 0 1 0 169001312 79003648 9270 134679101440 4194304 18693293 140729622178784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30904320 140729622180868 140729622180967 140729622180967 140729622187982 0
/proc/904023/statm: 19288 9270 3986 3540 0 7545 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 77152 KiB
Current children cumulated memory: 37080 KiB
[startup+3.10555 s]
/proc/loadavg: 4.07 4.13 4.09 5/254 904116
/proc/meminfo: memFree=122708744/131524600 swapFree=131071996/131071996
[pid=904023] ppid=904020 vsize=85824 memory=44736 CPUtime=3.08 cores=0,2
/proc/904023/stat : 904023 (pbscip) R 904020 904023 900902 0 -1 4194304 7551 0 0 0 307 1 0 0 20 0 1 0 169001312 87883776 11184 134679101440 4194304 18693293 140729622178784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30904320 140729622180868 140729622180967 140729622180967 140729622187982 0
/proc/904023/statm: 21456 11184 3986 3540 0 9713 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 85824 KiB
Current children cumulated memory: 44736 KiB
[startup+6.3002 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904121
/proc/meminfo: memFree=122625844/131524600 swapFree=131071996/131071996
[pid=904023] ppid=904020 vsize=108616 memory=64344 CPUtime=6.26 cores=0,2
/proc/904023/stat : 904023 (pbscip) R 904020 904023 900902 0 -1 4194304 12361 0 0 0 625 1 0 0 20 0 1 0 169001312 111222784 16086 134679101440 4194304 18693293 140729622178784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30904320 140729622180868 140729622180967 140729622180967 140729622187982 0
/proc/904023/statm: 27154 16086 4131 3540 0 15411 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 108616 KiB
Current children cumulated memory: 64344 KiB
[startup+7.68107 s]
# the end of solver process 904023 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=7.62453 s, system=0.024884 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40023 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904121
/proc/meminfo: memFree=122625844/131524600 swapFree=131071996/131071996
[pid=904023] ppid=904020 vsize=110060 memory=65664 CPUtime=6.37 cores=0,2
/proc/904023/stat : 904023 (pbscip) R 904020 904023 900902 0 -1 4194304 12691 0 0 0 635 2 0 0 20 0 1 0 169001312 112701440 16416 134679101440 4194304 18693293 140729622178784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30904320 140729622180868 140729622180967 140729622180967 140729622187982 0
/proc/904023/statm: 27515 16416 4131 3540 0 15772 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 110060 KiB
Current children cumulated memory: 65664 KiB
[startup+7.20019 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904121
/proc/meminfo: memFree=122614000/131524600 swapFree=131071996/131071996
[pid=904023] ppid=904020 vsize=111848 memory=66132 CPUtime=7.16 cores=0,2
/proc/904023/stat : 904023 (pbscip) R 904020 904023 900902 0 -1 4194304 12918 0 0 0 714 2 0 0 20 0 1 0 169001312 114532352 16533 134679101440 4194304 18693293 140729622178784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30904320 140729622180868 140729622180967 140729622180967 140729622187982 0
/proc/904023/statm: 27962 16533 4131 3540 0 16219 0
Current children cumulated CPU time: 7.16 s
Current children cumulated vsize: 111848 KiB
Current children cumulated memory: 66132 KiB
[startup+7.60017 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904121
/proc/meminfo: memFree=122614000/131524600 swapFree=131071996/131071996
[pid=904023] ppid=904020 vsize=115728 memory=69376 CPUtime=7.56 cores=0,2
/proc/904023/stat : 904023 (pbscip) R 904020 904023 900902 0 -1 4194304 13808 0 0 0 754 2 0 0 20 0 1 0 169001312 118505472 17344 134679101440 4194304 18693293 140729622178784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 30904320 140729622180868 140729622180967 140729622180967 140729622187982 0
/proc/904023/statm: 28932 17344 4131 3540 0 17189 0
Current children cumulated CPU time: 7.56 s
Current children cumulated vsize: 115728 KiB
Current children cumulated memory: 69376 KiB
Child status: 0
Real time (s): 7.6811
CPU time (s): 7.64941
CPU user time (s): 7.62453
CPU system time (s): 0.024884
CPU usage (%): 99.5874
Max. virtual memory (cumulated for all children) (KiB): 115728
Max. memory (cumulated for all children) (KiB): 69376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.62453
system time used= 0.024884
maximum resident set size= 69632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13861
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= 57
# summary of solver processes directly reported to runsolver:
# pid: 904023
# total CPU time (s): 7.64941
# total CPU user time (s): 7.62453
# total CPU system time (s): 0.024884
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016567 second user time and 0.071787 second system time
The end