0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik 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-3488547-1307781809.opb>
0.00/0.01 c original problem has 2692 variables (2692 bin, 0 int, 0 impl, 0 cont) and 2892 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 200
0.00/0.02 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.02 c presolving:
0.04/0.06 c (round 1) 0 del vars, 2892 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 71556 impls, 0 clqs
0.04/0.07 c (round 2) 2492 del vars, 2892 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 71556 impls, 0 clqs
0.04/0.07 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.04/0.07 c presolving (3 rounds):
0.04/0.07 c 2492 deleted vars, 2892 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.07 c 71556 implications, 0 cliques
0.04/0.07 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.04/0.07 c 200 constraints of type <logicor>
0.04/0.07 c transformed objective value is always integral (scale: 1)
0.04/0.07 c Presolving Time: 0.06
0.04/0.07 c - non default parameters ----------------------------------------------------------------------
0.04/0.07 c # SCIP version 2.0.1.5
0.04/0.07 c
0.04/0.07 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.07 c conflict/interconss = 0
0.04/0.07 c
0.04/0.07 c # should binary conflicts be preferred?
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c conflict/preferbinary = TRUE
0.04/0.07 c
0.04/0.07 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.07 c constraints/agelimit = 1
0.04/0.07 c
0.04/0.07 c # should enforcement of pseudo solution be disabled?
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/disableenfops = TRUE
0.04/0.07 c
0.04/0.07 c # frequency for displaying node information lines
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.07 c display/freq = 10000
0.04/0.07 c
0.04/0.07 c # maximal time in seconds to run
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.07 c limits/time = 1797
0.04/0.07 c
0.04/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.07 c limits/memory = 13950
0.04/0.07 c
0.04/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.04/0.07 c # [type: int, range: [1,2], default: 1]
0.04/0.07 c timing/clocktype = 2
0.04/0.07 c
0.04/0.07 c # belongs reading time to solving time?
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c timing/reading = TRUE
0.04/0.07 c
0.04/0.07 c # should presolving try to simplify inequalities
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/linear/simplifyinequalities = TRUE
0.04/0.07 c
0.04/0.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/indicator/addCouplingCons = TRUE
0.04/0.07 c
0.04/0.07 c # should presolving try to simplify knapsacks
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.07 c
0.04/0.07 c -----------------------------------------------------------------------------------------------
0.04/0.07 c start solving
0.04/0.07 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.2s| 1 | 0 | 2110 | - |6398k| 0 | 133 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.469539e+01 | 2.000000e+02 |1260.97%
0.19/0.20 o 133
0.19/0.20 c r 0.2s| 1 | 0 | 2110 | - |6403k| 0 | 133 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.469539e+01 | 1.330000e+02 | 805.05%
0.19/0.21 o 132
0.19/0.21 c R 0.2s| 1 | 0 | 2110 | - |6408k| 0 | 133 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.469539e+01 | 1.320000e+02 | 798.24%
0.19/0.21 o 131
0.19/0.21 c s 0.2s| 1 | 0 | 2110 | - |6413k| 0 | 133 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.469539e+01 | 1.310000e+02 | 791.44%
0.19/0.25 c 0.2s| 1 | 0 | 2168 | - |7306k| 0 | 128 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 1.471849e+01 | 1.310000e+02 | 790.04%
0.19/0.25 o 35
0.19/0.25 c b 0.2s| 1 | 0 | 2168 | - |7312k| 0 | 128 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 1.471849e+01 | 3.500000e+01 | 137.80%
0.19/0.29 c 0.3s| 1 | 0 | 2230 | - |8026k| 0 | 130 | 200 | 200 | 200 | 202 | 2 | 0 | 0 | 1.474330e+01 | 3.500000e+01 | 137.40%
0.29/0.32 c 0.3s| 1 | 0 | 2291 | - |8189k| 0 | 130 | 200 | 200 | 200 | 203 | 3 | 0 | 0 | 1.475291e+01 | 3.500000e+01 | 137.24%
0.29/0.35 c 0.4s| 1 | 0 | 2330 | - |8242k| 0 | 128 | 200 | 200 | 200 | 204 | 4 | 0 | 0 | 1.475802e+01 | 3.500000e+01 | 137.16%
0.29/0.39 c 0.4s| 1 | 0 | 2389 | - |8254k| 0 | 132 | 200 | 200 | 200 | 205 | 5 | 0 | 0 | 1.476129e+01 | 3.500000e+01 | 137.11%
1.10/1.18 c 1.2s| 1 | 2 | 2389 | - |8262k| 0 | 132 | 200 | 200 | 200 | 205 | 5 | 0 | 18 | 1.476129e+01 | 3.500000e+01 | 137.11%
3.49/3.55 o 34
3.49/3.55 c z 3.6s| 10 | 11 | 4007 | 179.8 |8320k| 9 | 60 | 200 | 200 | 200 | 205 | 5 | 0 | 179 | 1.494343e+01 | 3.400000e+01 | 127.52%
3.49/3.55 o 27
3.49/3.55 c b 3.6s| 11 | 10 | 4007 | 161.8 |8325k| 10 | - | 200 | 200 | 200 | 205 | 5 | 0 | 179 | 1.494343e+01 | 2.700000e+01 | 80.68%
3.70/3.72 o 27
3.70/3.72 c z 3.7s| 13 | 14 | 4247 | 154.8 |8340k| 12 | 40 | 200 | 200 | 200 | 205 | 5 | 0 | 217 | 1.494343e+01 | 2.700000e+01 | 80.68%
3.70/3.77 o 24
3.70/3.77 c b 3.8s| 14 | 15 | 4296 | 146.7 |8349k| 13 | 35 | 200 | 200 | 200 | 205 | 5 | 0 | 238 | 1.494343e+01 | 2.400000e+01 | 60.61%
7.39/7.43 o 22
7.39/7.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.39/7.43 c v 7.4s| 51 | 49 | 10450 | 161.2 |8526k| 14 | - | 200 | 200 | 200 | 205 | 5 | 0 | 586 | 1.494343e+01 | 2.200000e+01 | 47.22%
73.19/73.28 o 21
73.19/73.28 c v73.3s| 4652 | 4490 | 1046k| 224.6 | 10M| 25 | - | 200 | 200 | 200 | 205 | 5 | 0 |1182 | 1.707088e+01 | 2.100000e+01 | 23.02%
126.79/126.88 c 127s| 10000 | 9838 | 1917k| 191.5 | 12M| 31 | 98 | 200 | 200 | 200 | 205 | 5 | 0 |1687 | 1.731915e+01 | 2.100000e+01 | 21.25%
212.69/212.79 c 213s| 20000 | 19788 | 3386k| 169.2 | 17M| 34 | 84 | 200 | 200 | 200 | 205 | 5 | 0 |2411 | 1.748016e+01 | 2.100000e+01 | 20.14%
289.89/289.91 c 290s| 30000 | 29560 | 4740k| 158.0 | 23M| 36 | 69 | 200 | 200 | 200 | 205 | 5 | 0 |3009 | 1.757777e+01 | 2.100000e+01 | 19.47%
364.69/364.70 c 365s| 40000 | 39134 | 6061k| 151.5 | 30M| 38 | 91 | 200 | 200 | 200 | 205 | 5 | 0 |3461 | 1.764793e+01 | 2.100000e+01 | 18.99%
433.80/433.88 c 434s| 50000 | 47866 | 7321k| 146.4 | 38M| 40 | 67 | 200 | 200 | 200 | 205 | 5 | 0 |3895 | 1.769111e+01 | 2.100000e+01 | 18.70%
499.10/499.11 c 499s| 60000 | 56178 | 8524k| 142.0 | 46M| 41 | 60 | 200 | 200 | 200 | 205 | 5 | 0 |4263 | 1.772585e+01 | 2.100000e+01 | 18.47%
562.80/562.80 c 563s| 70000 | 64346 | 9694k| 138.5 | 54M| 42 | 72 | 200 | 200 | 200 | 205 | 5 | 0 |4571 | 1.775438e+01 | 2.100000e+01 | 18.28%
623.80/623.85 c 624s| 80000 | 72246 | 10830k| 135.4 | 62M| 42 | 75 | 200 | 200 | 200 | 205 | 5 | 0 |4938 | 1.778110e+01 | 2.100000e+01 | 18.10%
683.80/683.86 c 684s| 90000 | 79944 | 11959k| 132.9 | 70M| 42 | 69 | 200 | 200 | 200 | 205 | 5 | 0 |5200 | 1.780663e+01 | 2.100000e+01 | 17.93%
742.01/742.07 c 742s|100000 | 87574 | 13033k| 130.3 | 78M| 43 | - | 200 | 200 | 200 | 205 | 5 | 0 |5472 | 1.782350e+01 | 2.100000e+01 | 17.82%
801.51/801.59 c 802s|110000 | 95240 | 14158k| 128.7 | 86M| 44 | 64 | 200 | 200 | 200 | 205 | 5 | 0 |5729 | 1.784744e+01 | 2.100000e+01 | 17.66%
857.20/857.27 c 857s|120000 |102562 | 15214k| 126.8 | 93M| 46 | 65 | 200 | 200 | 200 | 205 | 5 | 0 |5972 | 1.786579e+01 | 2.100000e+01 | 17.54%
912.61/912.68 c 913s|130000 |109924 | 16271k| 125.1 | 101M| 46 | 94 | 200 | 200 | 200 | 205 | 5 | 0 |6184 | 1.788731e+01 | 2.100000e+01 | 17.40%
968.71/968.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.71/968.70 c 969s|140000 |117316 | 17316k| 123.7 | 109M| 46 | 83 | 200 | 200 | 200 | 205 | 5 | 0 |6429 | 1.790537e+01 | 2.100000e+01 | 17.28%
1022.62/1022.64 c 1023s|150000 |124714 | 18328k| 122.2 | 117M| 46 | 88 | 200 | 200 | 200 | 205 | 5 | 0 |6612 | 1.792455e+01 | 2.100000e+01 | 17.16%
1077.82/1077.90 c 1078s|160000 |132046 | 19364k| 121.0 | 125M| 46 | 81 | 200 | 200 | 200 | 205 | 5 | 0 |6866 | 1.793758e+01 | 2.100000e+01 | 17.07%
1131.32/1131.35 c 1131s|170000 |139174 | 20356k| 119.7 | 133M| 46 | 69 | 200 | 200 | 200 | 205 | 5 | 0 |7085 | 1.795308e+01 | 2.100000e+01 | 16.97%
1184.32/1184.38 c 1184s|180000 |146346 | 21339k| 118.5 | 141M| 46 | 86 | 200 | 200 | 200 | 205 | 5 | 0 |7248 | 1.797029e+01 | 2.100000e+01 | 16.86%
1238.53/1238.57 c 1239s|190000 |153392 | 22349k| 117.6 | 149M| 46 | 88 | 200 | 200 | 200 | 205 | 5 | 0 |7478 | 1.798497e+01 | 2.100000e+01 | 16.76%
1288.62/1288.61 c 1289s|200000 |160148 | 23293k| 116.5 | 157M| 46 | 86 | 200 | 200 | 200 | 205 | 5 | 0 |7655 | 1.799720e+01 | 2.100000e+01 | 16.68%
1337.72/1337.75 c 1338s|210000 |166850 | 24214k| 115.3 | 164M| 46 | - | 200 | 200 | 200 | 205 | 5 | 0 |7864 | 1.800996e+01 | 2.100000e+01 | 16.60%
1387.43/1387.43 c 1387s|220000 |173628 | 25151k| 114.3 | 172M| 46 | - | 200 | 200 | 200 | 205 | 5 | 0 |8037 | 1.802304e+01 | 2.100000e+01 | 16.52%
1435.92/1435.99 c 1436s|230000 |180308 | 26061k| 113.3 | 180M| 46 | 85 | 200 | 200 | 200 | 205 | 5 | 0 |8256 | 1.803579e+01 | 2.100000e+01 | 16.44%
1485.33/1485.35 c 1485s|240000 |187048 | 26980k| 112.4 | 188M| 46 | 88 | 200 | 200 | 200 | 205 | 5 | 0 |8449 | 1.804980e+01 | 2.100000e+01 | 16.34%
1534.03/1534.02 c 1534s|250000 |193698 | 27897k| 111.6 | 196M| 46 | 79 | 200 | 200 | 200 | 205 | 5 | 0 |8582 | 1.806305e+01 | 2.100000e+01 | 16.26%
1581.13/1581.17 c 1581s|260000 |200260 | 28773k| 110.7 | 204M| 46 | - | 200 | 200 | 200 | 205 | 5 | 0 |8796 | 1.807554e+01 | 2.100000e+01 | 16.18%
1630.63/1630.61 c 1631s|270000 |206934 | 29700k| 110.0 | 211M| 47 | 68 | 200 | 200 | 200 | 205 | 5 | 0 |8989 | 1.808982e+01 | 2.100000e+01 | 16.09%
1676.73/1676.74 c 1677s|280000 |213348 | 30574k| 109.2 | 219M| 48 | 85 | 200 | 200 | 200 | 205 | 5 | 0 |9114 | 1.810176e+01 | 2.100000e+01 | 16.01%
1722.03/1722.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.03/1722.08 c 1722s|290000 |219614 | 31426k| 108.4 | 227M| 48 | 70 | 200 | 200 | 200 | 205 | 5 | 0 |9266 | 1.811466e+01 | 2.100000e+01 | 15.93%
1769.64/1769.65 c 1770s|300000 |225958 | 32319k| 107.7 | 234M| 48 | 76 | 200 | 200 | 200 | 205 | 5 | 0 |9431 | 1.812418e+01 | 2.100000e+01 | 15.87%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 305779
1797.03/1797.00 c Primal Bound : +2.10000000000000e+01 (622 solutions)
1797.03/1797.00 c Dual Bound : +1.81297390193470e+01
1797.03/1797.00 c Gap : 15.83 %
1797.03/1797.00 s SATISFIABLE
1797.03/1797.00 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1797.03/1797.00 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1797.03/1797.00 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1797.03/1797.00 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117
1797.03/1797.00 v -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1797.03/1797.00 v -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69
1797.03/1797.00 v -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 x43
1797.03/1797.00 v -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 x33 x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17
1797.03/1797.00 v -x16 -x15 -x14 x13 -x12 -x11 x10 -x9 -x8 -x7 x6 -x5 x4 -x3 x2 -x1
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.06 (included in solving)
1797.03/1797.00 c reading : 0.01 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488547-1307781809.opb
1797.03/1797.00 c Variables : 2692 (2692 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 2892 initial, 2892 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488547-1307781809.opb
1797.03/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 200 initial, 200 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.01 2492 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 2892 200 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 268276 0 627 0 61 1173 0 0 535548
1797.03/1797.00 c logicor : 200 6 454927 0 0 622 0 0 29 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 0 625 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 62.25 0.00 0.00 62.25 0.00 0.00 0.00
1797.03/1797.00 c logicor : 2.29 0.00 2.28 0.00 0.00 0.00 0.00
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 4 0 0 0
1797.03/1797.00 c pseudoobj : 1012658 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.21 0.21 0.00
1797.03/1797.00 c rootredcost : 0.20 0.20 0.00
1797.03/1797.00 c pseudoobj : 4.26 4.26 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 0 0.0 - - -
1797.03/1797.00 c applied locally : - - - 0 0.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.00 5 - - 0 - (maximal pool size: 333)
1797.03/1797.00 c redcost : 4.51 424194 0 2996796 0 0
1797.03/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 0.06 6 0 0 0 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.07 6 0 0 333 0
1797.03/1797.00 c cmir : 0.01 6 0 0 0 0
1797.03/1797.00 c flowcover : 0.02 6 0 0 0 0
1797.03/1797.00 c clique : 0.00 1 0 0 0 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 62.10 268276 61 1173 0 0 535548
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c intshifting : 0.01 0 0
1797.03/1797.00 c oneopt : 0.07 8 3
1797.03/1797.00 c crossover : 0.21 6 3
1797.03/1797.00 c pscostdiving : 74.50 3596 88
1797.03/1797.00 c coefdiving : 72.60 4506 12
1797.03/1797.00 c veclendiving : 46.72 4506 16
1797.03/1797.00 c linesearchdiving : 82.49 4506 0
1797.03/1797.00 c guideddiving : 55.40 4507 0
1797.03/1797.00 c fracdiving : 56.46 4507 9
1797.03/1797.00 c trivial : 0.00 2 2
1797.03/1797.00 c shiftandpropagate: 0.00 0 0
1797.03/1797.00 c simplerounding : 2.21 268281 33
1797.03/1797.00 c zirounding : 1.34 12451 249
1797.03/1797.00 c rounding : 1.81 24820 1
1797.03/1797.00 c shifting : 0.65 7530 1
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c feaspump : 0.01 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c objpscostdiving : 49.42 261 205
1797.03/1797.00 c rootsoldiving : 8.79 251 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.01 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.05 0 0
1797.03/1797.00 c trysol : 0.08 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.00 c dual LP : 1243.36 306225 24544274 80.15 19740.27
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 410.26 562834 8285747 14.72 20196.09
1797.03/1797.00 c strong branching : 56.81 9529 1038641 109.00 18283.24
1797.03/1797.00 c (at root node) : - 18 8594 477.44 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.01 c B&B Tree :
1797.03/1797.01 c number of runs : 1
1797.03/1797.01 c nodes : 305779
1797.03/1797.01 c nodes (total) : 305779
1797.03/1797.01 c nodes left : 229675
1797.03/1797.01 c max depth : 48
1797.03/1797.01 c max depth (total): 48
1797.03/1797.01 c backtracks : 54351 (17.8%)
1797.03/1797.01 c delayed cutoffs : 0
1797.03/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.01 c avg switch length: 5.21
1797.03/1797.01 c switching time : 5.10
1797.03/1797.01 c Solution :
1797.03/1797.01 c Solutions found : 622 (11 improvements)
1797.03/1797.01 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1797.03/1797.01 c Primal Bound : +2.10000000000000e+01 (in run 1, after 4652 nodes, 73.28 seconds, depth 28, found by <veclendiving>)
1797.03/1797.01 c Dual Bound : +1.81297390193470e+01
1797.03/1797.01 c Gap : 15.83 %
1797.03/1797.01 c Root Dual Bound : +1.47612926610882e+01
1797.03/1797.01 c Root Iterations : 2389
1797.24/1797.29 c Time complete: 1797.33.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488547-1307781809/watcher-3488547-1307781809 -o /tmp/evaluation-result-3488547-1307781809/solver-3488547-1307781809 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488547-1307781809.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.01 1.93 2/177 25909
/proc/meminfo: memFree=30994932/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=12696 CPUtime=0 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 2155 0 0 0 0 0 0 0 25 0 1 0 889778635 13000704 2109 33554432000 4194304 9016284 140735602122896 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25909/statm: 3174 2121 353 1178 0 1992 0
[startup+0.0500969 s]
/proc/loadavg: 2.03 2.01 1.93 2/177 25909
/proc/meminfo: memFree=30994932/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=28604 CPUtime=0.04 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 6133 0 0 0 4 0 0 0 25 0 1 0 889778635 29290496 5830 33554432000 4194304 9016284 140735602122896 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25909/statm: 7151 5830 477 1178 0 5969 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 28604
[startup+0.101084 s]
/proc/loadavg: 2.03 2.01 1.93 2/177 25909
/proc/meminfo: memFree=30994932/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=31656 CPUtime=0.09 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 7029 0 0 0 8 1 0 0 25 0 1 0 889778635 32415744 6723 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25909/statm: 7914 6723 619 1178 0 6732 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31656
[startup+0.301049 s]
/proc/loadavg: 2.03 2.01 1.93 2/177 25909
/proc/meminfo: memFree=30994932/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=35292 CPUtime=0.29 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 7961 0 0 0 27 2 0 0 25 0 1 0 889778635 36139008 7655 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25909/statm: 8823 7655 657 1178 0 7641 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35292
[startup+0.700974 s]
/proc/loadavg: 2.03 2.01 1.93 2/177 25909
/proc/meminfo: memFree=30994932/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=37232 CPUtime=0.69 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 9893 0 0 0 66 3 0 0 25 0 1 0 889778635 38125568 8211 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25909/statm: 9308 8211 673 1178 0 8126 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37232
[startup+1.50083 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 25910
/proc/meminfo: memFree=30964088/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=37232 CPUtime=1.49 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 9898 0 0 0 144 5 0 0 25 0 1 0 889778635 38125568 8216 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25909/statm: 9308 8216 678 1178 0 8126 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37232
[startup+3.10054 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 25910
/proc/meminfo: memFree=30963716/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=37232 CPUtime=3.09 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 9898 0 0 0 294 15 0 0 25 0 1 0 889778635 38125568 8216 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25909/statm: 9308 8216 678 1178 0 8126 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37232
[startup+6.30096 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 25910
/proc/meminfo: memFree=30963724/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=37232 CPUtime=6.3 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 9898 0 0 0 588 42 0 0 25 0 1 0 889778635 38125568 8216 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25909/statm: 9308 8216 678 1178 0 8126 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 37232
[startup+12.7008 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 25911
/proc/meminfo: memFree=30964476/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=37052 CPUtime=12.69 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 12575 0 0 0 1184 85 0 0 25 0 1 0 889778635 37941248 8149 33554432000 4194304 9016284 140735602122896 18446744073709551615 7220555 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25909/statm: 9263 8149 693 1178 0 8081 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37052
[startup+25.5005 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 25911
/proc/meminfo: memFree=30964360/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=37192 CPUtime=25.49 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 12612 0 0 0 2374 175 0 0 25 0 1 0 889778635 38084608 8186 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25909/statm: 9298 8186 693 1178 0 8116 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37192
[startup+51.1009 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 25912
/proc/meminfo: memFree=30962852/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=38392 CPUtime=51.09 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 12930 0 0 0 4761 348 0 0 25 0 1 0 889778635 39313408 8504 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25909/statm: 9598 8504 693 1178 0 8416 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 38392
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 25913
/proc/meminfo: memFree=30961012/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=39804 CPUtime=102.29 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 13281 0 0 0 9518 711 0 0 25 0 1 0 889778635 40759296 8855 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25909/statm: 9951 8855 693 1178 0 8769 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 39804
[startup+162.301 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 25915
/proc/meminfo: memFree=30957500/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=43120 CPUtime=162.29 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 23591 0 0 0 15075 1154 0 0 25 0 1 0 889778635 44154880 9719 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 10780 9719 693 1178 0 9598 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 43120
[startup+222.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 25916
/proc/meminfo: memFree=30991196/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=46636 CPUtime=222.29 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 26059 0 0 0 20620 1609 0 0 25 0 1 0 889778635 47755264 10628 33554432000 4194304 9016284 140735602122896 18446744073709551615 18446744073699065911 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 11659 10628 693 1178 0 10477 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 46636
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 25918
/proc/meminfo: memFree=30985572/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=51960 CPUtime=282.3 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 30232 0 0 0 26157 2073 0 0 25 0 1 0 889778635 53207040 11990 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 12990 11990 693 1178 0 11808 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 51960
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 25919
/proc/meminfo: memFree=30978212/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=58252 CPUtime=342.3 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 33370 0 0 0 31689 2541 0 0 25 0 1 0 889778635 59650048 13601 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 14563 13601 693 1178 0 13381 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 58252
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 25921
/proc/meminfo: memFree=30973592/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=66352 CPUtime=402.3 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 35413 0 0 0 37220 3010 0 0 25 0 1 0 889778635 67944448 15644 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 16588 15644 693 1178 0 15406 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 66352
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 25923
/proc/meminfo: memFree=30961640/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=74220 CPUtime=462.3 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 37416 0 0 0 42737 3493 0 0 25 0 1 0 889778635 76001280 17647 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 18555 17647 693 1178 0 17373 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 74220
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 25924
/proc/meminfo: memFree=30951924/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=83752 CPUtime=522.3 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 42371 0 0 0 48245 3985 0 0 25 0 1 0 889778635 85762048 20026 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 20938 20026 693 1178 0 19756 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 83752
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 25926
/proc/meminfo: memFree=30943092/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=94812 CPUtime=582.31 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 44640 0 0 0 53771 4460 0 0 25 0 1 0 889778635 97087488 22295 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 23703 22295 693 1178 0 22521 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 94812
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30845868/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=188776 CPUtime=1122.31 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 69864 0 0 0 103400 8831 0 0 25 0 1 0 889778635 193306624 46066 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 47194 46066 693 1178 0 46012 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 188776
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 25951
/proc/meminfo: memFree=30834432/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=200176 CPUtime=1182.32 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 72747 0 0 0 108932 9300 0 0 25 0 1 0 889778635 204980224 48949 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 50044 48949 693 1178 0 48862 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 200176
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 25990
/proc/meminfo: memFree=31200696/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=210232 CPUtime=1242.33 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 75257 0 0 0 114457 9776 0 0 25 0 1 0 889778635 215277568 51459 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 52558 51459 693 1178 0 51376 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 210232
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 25995
/proc/meminfo: memFree=31132588/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=219636 CPUtime=1302.32 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 77666 0 0 0 119970 10262 0 0 25 0 1 0 889778635 224907264 53868 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 54909 53868 693 1178 0 53727 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 219636
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 25997
/proc/meminfo: memFree=31122828/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=228216 CPUtime=1362.32 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 80757 0 0 0 125482 10750 0 0 25 0 1 0 889778635 233693184 56127 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 57054 56127 693 1178 0 55872 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 228216
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 25998
/proc/meminfo: memFree=31111608/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=240168 CPUtime=1422.33 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 83699 0 0 0 131003 11230 0 0 25 0 1 0 889778635 245932032 59069 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 60042 59069 693 1178 0 58860 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 240168
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26000
/proc/meminfo: memFree=31095556/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=256024 CPUtime=1482.33 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 87666 0 0 0 136523 11710 0 0 25 0 1 0 889778635 262168576 63036 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 64006 63036 693 1178 0 62824 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 256024
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26001
/proc/meminfo: memFree=31086204/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=265304 CPUtime=1542.33 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 90016 0 0 0 142036 12197 0 0 25 0 1 0 889778635 271671296 65386 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 66326 65386 693 1178 0 65144 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 265304
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/178 26003
/proc/meminfo: memFree=31074736/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=281184 CPUtime=1602.33 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 92963 0 0 0 147538 12695 0 0 25 0 1 0 889778635 287932416 68333 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 70296 68333 693 1178 0 69114 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 281184
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 26005
/proc/meminfo: memFree=31065264/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=289908 CPUtime=1662.33 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 95218 0 0 0 153042 13191 0 0 25 0 1 0 889778635 296865792 70588 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 72477 70588 693 1178 0 71295 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 289908
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26006
/proc/meminfo: memFree=31053676/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=302692 CPUtime=1722.34 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 98434 0 0 0 158563 13671 0 0 25 0 1 0 889778635 309956608 73804 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 75673 73804 693 1178 0 74491 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 302692
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26008
/proc/meminfo: memFree=31047804/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=307116 CPUtime=1782.33 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 99570 0 0 0 164076 14157 0 0 25 0 1 0 889778635 314486784 74940 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 76779 74940 693 1178 0 75597 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 307116
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26008
/proc/meminfo: memFree=31046316/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=308656 CPUtime=1785.54 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 99949 0 0 0 164372 14182 0 0 25 0 1 0 889778635 316063744 75319 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 77164 75319 693 1178 0 75982 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 308656
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26008
/proc/meminfo: memFree=31045192/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=309736 CPUtime=1791.95 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 100231 0 0 0 164964 14231 0 0 25 0 1 0 889778635 317169664 75601 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 77434 75601 693 1178 0 76252 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 309736
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26008
/proc/meminfo: memFree=31045068/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=309736 CPUtime=1795.14 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 100257 0 0 0 165259 14255 0 0 25 0 1 0 889778635 317169664 75627 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 77434 75627 693 1178 0 76252 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 309736
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26008
/proc/meminfo: memFree=31045068/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=309736 CPUtime=1795.94 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 100257 0 0 0 165332 14262 0 0 25 0 1 0 889778635 317169664 75627 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 77434 75627 693 1178 0 76252 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 309736
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26008
/proc/meminfo: memFree=31044944/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=310004 CPUtime=1796.74 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 100268 0 0 0 165405 14269 0 0 25 0 1 0 889778635 317444096 75638 33554432000 4194304 9016284 140735602122896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25909/statm: 77501 75638 693 1178 0 76319 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 310004
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26008
/proc/meminfo: memFree=31044944/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=310004 CPUtime=1797.14 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 100270 0 0 0 165443 14271 0 0 25 0 1 0 889778635 317444096 75640 33554432000 4194304 9016284 140735602122896 18446744073709551615 4897711 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25909/statm: 77501 75640 695 1178 0 76319 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 310004
[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26008
/proc/meminfo: memFree=31044944/32951124 swapFree=67053176/67111528
[pid=25909] ppid=25907 vsize=310004 CPUtime=1797.24 cores=1,3,5,7
/proc/25909/stat : 25909 (scip-2.0.1.4b_2) R 25907 25909 19126 0 -1 4202496 100270 0 0 0 165453 14271 0 0 25 0 1 0 889778635 317444096 75640 33554432000 4194304 9016284 140735602122896 18446744073709551615 4897769 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25909/statm: 77501 75640 695 1178 0 76319 0
Current children cumulated CPU time (s) 1797.24
Current children cumulated vsize (KiB) 310004
Child status: 0
Real time (s): 1797.3
CPU time (s): 1797.34
CPU user time (s): 1654.62
CPU system time (s): 142.722
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 310004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1654.62
system time used= 142.722
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100275
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= 5
involuntary context switches= 2108
runsolver used 2.35564 second user time and 5.82111 second system time
The end