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-3736955-1338723744.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.03 o 200
0.00/0.03 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.03 c presolving:
0.00/0.07 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.07/0.08 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.07/0.08 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.07/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.07/0.08 c presolving (3 rounds):
0.07/0.08 c 2492 deleted vars, 2892 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.07/0.08 c 71556 implications, 0 cliques
0.07/0.08 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.07/0.08 c 200 constraints of type <logicor>
0.07/0.08 c transformed objective value is always integral (scale: 1)
0.07/0.08 c Presolving Time: 0.06
0.07/0.08 c - non default parameters ----------------------------------------------------------------------
0.07/0.08 c # SCIP version 2.0.1.5
0.07/0.08 c
0.07/0.08 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.07/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.07/0.08 c conflict/interconss = 0
0.07/0.08 c
0.07/0.08 c # should binary conflicts be preferred?
0.07/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.07/0.08 c conflict/preferbinary = TRUE
0.07/0.08 c
0.07/0.08 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.07/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.07/0.08 c constraints/agelimit = 1
0.07/0.08 c
0.07/0.08 c # should enforcement of pseudo solution be disabled?
0.07/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.07/0.08 c constraints/disableenfops = TRUE
0.07/0.08 c
0.07/0.08 c # frequency for displaying node information lines
0.07/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.07/0.08 c display/freq = 10000
0.07/0.08 c
0.07/0.08 c # maximal time in seconds to run
0.07/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.07/0.08 c limits/time = 1797
0.07/0.08 c
0.07/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.07/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.07/0.08 c limits/memory = 13950
0.07/0.08 c
0.07/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.07/0.08 c # [type: int, range: [1,2], default: 1]
0.07/0.08 c timing/clocktype = 2
0.07/0.08 c
0.07/0.08 c # belongs reading time to solving time?
0.07/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.07/0.08 c timing/reading = TRUE
0.07/0.08 c
0.07/0.08 c # should presolving try to simplify inequalities
0.07/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.07/0.08 c constraints/linear/simplifyinequalities = TRUE
0.07/0.08 c
0.07/0.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.07/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.07/0.08 c constraints/indicator/addCouplingCons = TRUE
0.07/0.08 c
0.07/0.08 c # should presolving try to simplify knapsacks
0.07/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.07/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.07/0.08 c
0.07/0.08 c -----------------------------------------------------------------------------------------------
0.07/0.08 c start solving
0.07/0.08 c
0.19/0.22 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.22 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.22 o 133
0.19/0.22 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.22 o 132
0.19/0.22 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.22 o 131
0.19/0.22 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.26 c 0.3s| 1 | 0 | 2168 | - |7306k| 0 | 128 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 1.471849e+01 | 1.310000e+02 | 790.04%
0.19/0.26 o 35
0.19/0.26 c b 0.3s| 1 | 0 | 2168 | - |7312k| 0 | 128 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 1.471849e+01 | 3.500000e+01 | 137.80%
0.28/0.30 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.28/0.34 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.28/0.38 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.39/0.41 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.19/1.25 c 1.3s| 1 | 2 | 2389 | - |8262k| 0 | 132 | 200 | 200 | 200 | 205 | 5 | 0 | 18 | 1.476129e+01 | 3.500000e+01 | 137.11%
3.69/3.75 o 34
3.69/3.75 c z 3.7s| 10 | 11 | 4007 | 179.8 |8320k| 9 | 60 | 200 | 200 | 200 | 205 | 5 | 0 | 179 | 1.494343e+01 | 3.400000e+01 | 127.52%
3.69/3.75 o 27
3.69/3.75 c b 3.7s| 11 | 10 | 4007 | 161.8 |8325k| 10 | - | 200 | 200 | 200 | 205 | 5 | 0 | 179 | 1.494343e+01 | 2.700000e+01 | 80.68%
3.89/3.92 o 27
3.89/3.92 c z 3.9s| 13 | 14 | 4247 | 154.8 |8340k| 12 | 40 | 200 | 200 | 200 | 205 | 5 | 0 | 217 | 1.494343e+01 | 2.700000e+01 | 80.68%
3.89/3.97 o 24
3.89/3.97 c b 4.0s| 14 | 15 | 4296 | 146.7 |8349k| 13 | 35 | 200 | 200 | 200 | 205 | 5 | 0 | 238 | 1.494343e+01 | 2.400000e+01 | 60.61%
7.78/7.82 o 22
7.78/7.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.78/7.82 c v 7.8s| 51 | 49 | 10450 | 161.2 |8526k| 14 | - | 200 | 200 | 200 | 205 | 5 | 0 | 586 | 1.494343e+01 | 2.200000e+01 | 47.22%
77.07/77.18 o 21
77.07/77.18 c v77.2s| 4652 | 4490 | 1046k| 224.6 | 10M| 25 | - | 200 | 200 | 200 | 205 | 5 | 0 |1182 | 1.707088e+01 | 2.100000e+01 | 23.02%
133.46/133.50 c 134s| 10000 | 9838 | 1917k| 191.5 | 12M| 31 | 98 | 200 | 200 | 200 | 205 | 5 | 0 |1687 | 1.731915e+01 | 2.100000e+01 | 21.25%
223.44/223.56 c 224s| 20000 | 19788 | 3386k| 169.2 | 17M| 34 | 84 | 200 | 200 | 200 | 205 | 5 | 0 |2411 | 1.748016e+01 | 2.100000e+01 | 20.14%
302.64/302.74 c 303s| 30000 | 29560 | 4740k| 158.0 | 23M| 36 | 69 | 200 | 200 | 200 | 205 | 5 | 0 |3009 | 1.757777e+01 | 2.100000e+01 | 19.47%
380.91/381.05 c 381s| 40000 | 39134 | 6061k| 151.5 | 30M| 38 | 91 | 200 | 200 | 200 | 205 | 5 | 0 |3461 | 1.764793e+01 | 2.100000e+01 | 18.99%
453.21/453.39 c 453s| 50000 | 47866 | 7321k| 146.4 | 38M| 40 | 67 | 200 | 200 | 200 | 205 | 5 | 0 |3895 | 1.769111e+01 | 2.100000e+01 | 18.70%
521.49/521.62 c 522s| 60000 | 56178 | 8524k| 142.0 | 46M| 41 | 60 | 200 | 200 | 200 | 205 | 5 | 0 |4263 | 1.772585e+01 | 2.100000e+01 | 18.47%
588.08/588.21 c 588s| 70000 | 64346 | 9694k| 138.5 | 54M| 42 | 72 | 200 | 200 | 200 | 205 | 5 | 0 |4571 | 1.775438e+01 | 2.100000e+01 | 18.28%
651.07/651.25 c 651s| 80000 | 72246 | 10830k| 135.4 | 62M| 42 | 75 | 200 | 200 | 200 | 205 | 5 | 0 |4938 | 1.778110e+01 | 2.100000e+01 | 18.10%
710.26/710.43 c 710s| 90000 | 79944 | 11959k| 132.9 | 70M| 42 | 69 | 200 | 200 | 200 | 205 | 5 | 0 |5200 | 1.780663e+01 | 2.100000e+01 | 17.93%
767.64/767.84 c 768s|100000 | 87574 | 13033k| 130.3 | 78M| 43 | - | 200 | 200 | 200 | 205 | 5 | 0 |5472 | 1.782350e+01 | 2.100000e+01 | 17.82%
826.33/826.55 c 827s|110000 | 95240 | 14158k| 128.7 | 86M| 44 | 64 | 200 | 200 | 200 | 205 | 5 | 0 |5729 | 1.784744e+01 | 2.100000e+01 | 17.66%
881.22/881.47 c 881s|120000 |102562 | 15214k| 126.8 | 93M| 46 | 65 | 200 | 200 | 200 | 205 | 5 | 0 |5972 | 1.786579e+01 | 2.100000e+01 | 17.54%
935.92/936.15 c 936s|130000 |109924 | 16271k| 125.1 | 101M| 46 | 94 | 200 | 200 | 200 | 205 | 5 | 0 |6184 | 1.788731e+01 | 2.100000e+01 | 17.40%
991.21/991.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.21/991.46 c 991s|140000 |117316 | 17316k| 123.7 | 109M| 46 | 83 | 200 | 200 | 200 | 205 | 5 | 0 |6429 | 1.790537e+01 | 2.100000e+01 | 17.28%
1044.49/1044.74 c 1045s|150000 |124714 | 18328k| 122.2 | 117M| 46 | 88 | 200 | 200 | 200 | 205 | 5 | 0 |6612 | 1.792455e+01 | 2.100000e+01 | 17.16%
1099.08/1099.31 c 1099s|160000 |132046 | 19364k| 121.0 | 125M| 46 | 81 | 200 | 200 | 200 | 205 | 5 | 0 |6866 | 1.793758e+01 | 2.100000e+01 | 17.07%
1151.88/1152.11 c 1152s|170000 |139174 | 20356k| 119.7 | 133M| 46 | 69 | 200 | 200 | 200 | 205 | 5 | 0 |7085 | 1.795308e+01 | 2.100000e+01 | 16.97%
1204.17/1204.48 c 1204s|180000 |146346 | 21339k| 118.5 | 141M| 46 | 86 | 200 | 200 | 200 | 205 | 5 | 0 |7248 | 1.797029e+01 | 2.100000e+01 | 16.86%
1257.76/1258.02 c 1258s|190000 |153392 | 22349k| 117.6 | 149M| 46 | 88 | 200 | 200 | 200 | 205 | 5 | 0 |7478 | 1.798497e+01 | 2.100000e+01 | 16.76%
1307.16/1307.44 c 1307s|200000 |160148 | 23293k| 116.5 | 157M| 46 | 86 | 200 | 200 | 200 | 205 | 5 | 0 |7655 | 1.799720e+01 | 2.100000e+01 | 16.68%
1355.65/1355.97 c 1356s|210000 |166850 | 24214k| 115.3 | 164M| 46 | - | 200 | 200 | 200 | 205 | 5 | 0 |7864 | 1.800996e+01 | 2.100000e+01 | 16.60%
1404.74/1405.03 c 1405s|220000 |173628 | 25151k| 114.3 | 172M| 46 | - | 200 | 200 | 200 | 205 | 5 | 0 |8037 | 1.802304e+01 | 2.100000e+01 | 16.52%
1452.63/1452.98 c 1453s|230000 |180308 | 26061k| 113.3 | 180M| 46 | 85 | 200 | 200 | 200 | 205 | 5 | 0 |8256 | 1.803579e+01 | 2.100000e+01 | 16.44%
1501.43/1501.74 c 1502s|240000 |187048 | 26980k| 112.4 | 188M| 46 | 88 | 200 | 200 | 200 | 205 | 5 | 0 |8449 | 1.804980e+01 | 2.100000e+01 | 16.34%
1549.52/1549.80 c 1550s|250000 |193698 | 27897k| 111.6 | 196M| 46 | 79 | 200 | 200 | 200 | 205 | 5 | 0 |8582 | 1.806305e+01 | 2.100000e+01 | 16.26%
1596.01/1596.37 c 1596s|260000 |200260 | 28773k| 110.7 | 204M| 46 | - | 200 | 200 | 200 | 205 | 5 | 0 |8796 | 1.807554e+01 | 2.100000e+01 | 16.18%
1644.80/1645.18 c 1645s|270000 |206934 | 29700k| 110.0 | 211M| 47 | 68 | 200 | 200 | 200 | 205 | 5 | 0 |8989 | 1.808982e+01 | 2.100000e+01 | 16.09%
1690.40/1690.72 c 1691s|280000 |213348 | 30574k| 109.2 | 219M| 48 | 85 | 200 | 200 | 200 | 205 | 5 | 0 |9114 | 1.810176e+01 | 2.100000e+01 | 16.01%
1735.09/1735.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.09/1735.48 c 1735s|290000 |219614 | 31426k| 108.4 | 227M| 48 | 70 | 200 | 200 | 200 | 205 | 5 | 0 |9266 | 1.811466e+01 | 2.100000e+01 | 15.93%
1782.09/1782.42 c 1782s|300000 |225958 | 32319k| 107.7 | 234M| 48 | 76 | 200 | 200 | 200 | 205 | 5 | 0 |9431 | 1.812418e+01 | 2.100000e+01 | 15.87%
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.00
1796.68/1797.00 c Solving Nodes : 303156
1796.68/1797.00 c Primal Bound : +2.10000000000000e+01 (622 solutions)
1796.68/1797.00 c Dual Bound : +1.81272852008107e+01
1796.68/1797.00 c Gap : 15.85 %
1796.68/1797.01 s SATISFIABLE
1796.68/1797.01 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1796.68/1797.01 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1796.68/1797.01 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1796.68/1797.01 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117
1796.68/1797.01 v -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1796.68/1797.01 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
1796.68/1797.01 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
1796.68/1797.01 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
1796.68/1797.01 v -x16 -x15 -x14 x13 -x12 -x11 x10 -x9 -x8 -x7 x6 -x5 x4 -x3 x2 -x1
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.00
1796.68/1797.01 c solving : 1797.00
1796.68/1797.01 c presolving : 0.06 (included in solving)
1796.68/1797.01 c reading : 0.01 (included in solving)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3736955-1338723744.opb
1796.68/1797.01 c Variables : 2692 (2692 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 2892 initial, 2892 maximal
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3736955-1338723744.opb
1796.68/1797.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 200 initial, 200 maximal
1796.68/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.01 2492 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoboolean : 0.00 0 0 0 0 0 2892 200 0 0
1796.68/1797.01 c root node : - 0 - - 0 - - - - -
1796.68/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 266088 0 627 0 61 1173 0 0 531172
1796.68/1797.01 c logicor : 200 6 451234 0 0 622 0 0 29 0 0 0
1796.68/1797.01 c countsols : 0 0 0 0 0 625 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.68/1797.01 c integral : 63.53 0.00 0.00 63.53 0.00 0.00 0.00
1796.68/1797.01 c logicor : 2.15 0.00 2.15 0.00 0.00 0.00 0.00
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c rootredcost : 4 0 0 0
1796.68/1797.01 c pseudoobj : 1004698 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.68/1797.01 c vbounds : 0.18 0.18 0.00
1796.68/1797.01 c rootredcost : 0.19 0.19 0.00
1796.68/1797.01 c pseudoobj : 4.29 4.29 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 0 0.0 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.00 5 - - 0 - (maximal pool size: 333)
1796.68/1797.01 c redcost : 4.36 420397 0 2966483 0 0
1796.68/1797.01 c impliedbounds : 0.00 6 0 0 0 0
1796.68/1797.01 c intobj : 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 0.07 6 0 0 0 0
1796.68/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.68/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 0.08 6 0 0 333 0
1796.68/1797.01 c cmir : 0.01 6 0 0 0 0
1796.68/1797.01 c flowcover : 0.03 6 0 0 0 0
1796.68/1797.01 c clique : 0.00 1 0 0 0 0
1796.68/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.00 1 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1796.68/1797.01 c Pricers : Time Calls Vars
1796.68/1797.01 c problem variables: 0.00 0 0
1796.68/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 63.40 266088 61 1173 0 0 531172
1796.68/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 2 0 0 0 0 4
1796.68/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : Time Calls Found
1796.68/1797.01 c LP solutions : 0.00 - 0
1796.68/1797.01 c pseudo solutions : 0.00 - 0
1796.68/1797.01 c intshifting : 0.00 0 0
1796.68/1797.01 c oneopt : 0.05 8 3
1796.68/1797.01 c crossover : 0.23 6 3
1796.68/1797.01 c objpscostdiving : 49.14 260 205
1796.68/1797.01 c pscostdiving : 74.38 3552 88
1796.68/1797.01 c fracdiving : 56.76 4471 9
1796.68/1797.01 c linesearchdiving : 82.33 4471 0
1796.68/1797.01 c coefdiving : 72.56 4472 12
1796.68/1797.01 c veclendiving : 47.00 4472 16
1796.68/1797.01 c guideddiving : 55.72 4472 0
1796.68/1797.01 c trivial : 0.00 2 2
1796.68/1797.01 c shiftandpropagate: 0.00 0 0
1796.68/1797.01 c simplerounding : 2.17 266093 33
1796.68/1797.01 c zirounding : 1.40 12451 249
1796.68/1797.01 c rounding : 1.83 24712 1
1796.68/1797.01 c shifting : 0.66 7503 1
1796.68/1797.01 c twoopt : 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0 0
1796.68/1797.01 c feaspump : 0.01 0 0
1796.68/1797.01 c clique : 0.00 0 0
1796.68/1797.01 c intdiving : 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0 0
1796.68/1797.01 c rootsoldiving : 8.73 248 0
1796.68/1797.01 c octane : 0.00 0 0
1796.68/1797.01 c rens : 0.01 0 0
1796.68/1797.01 c rins : 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0 0
1796.68/1797.01 c dins : 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0 0
1796.68/1797.01 c subnlp : 0.04 0 0
1796.68/1797.01 c trysol : 0.07 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.68/1797.01 c primal LP : 0.00 0 0 0.00 -
1796.68/1797.01 c dual LP : 1242.49 303602 24355666 80.22 19602.25
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.68/1797.01 c diving/probing LP: 410.42 559059 8235752 14.73 20066.72
1796.68/1797.01 c strong branching : 58.06 9529 1038641 109.00 17889.24
1796.68/1797.01 c (at root node) : - 18 8594 477.44 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 303156
1796.68/1797.01 c nodes (total) : 303156
1796.68/1797.01 c nodes left : 227924
1796.68/1797.01 c max depth : 48
1796.68/1797.01 c max depth (total): 48
1796.68/1797.01 c backtracks : 53907 (17.8%)
1796.68/1797.01 c delayed cutoffs : 0
1796.68/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.01 c avg switch length: 5.21
1796.68/1797.01 c switching time : 4.91
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 622 (11 improvements)
1796.68/1797.01 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1796.68/1797.01 c Primal Bound : +2.10000000000000e+01 (in run 1, after 4652 nodes, 77.18 seconds, depth 28, found by <veclendiving>)
1796.68/1797.01 c Dual Bound : +1.81272852008107e+01
1796.68/1797.01 c Gap : 15.85 %
1796.68/1797.01 c Root Dual Bound : +1.47612926610882e+01
1796.68/1797.01 c Root Iterations : 2389
1796.88/1797.27 c Time complete: 1796.95.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3736955-1338723744/watcher-3736955-1338723744 -o /tmp/evaluation-result-3736955-1338723744/solver-3736955-1338723744 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3736955-1338723744.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.00 2.00 2.00 3/176 15918
/proc/meminfo: memFree=28248568/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=9588 CPUtime=0 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 1513 0 0 0 0 0 0 0 20 0 1 0 338498744 9818112 1467 33554432000 4194304 9016284 140737271009776 140733302495672 7847744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 2397 1467 311 1178 0 1215 0
[startup+0.081124 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15918
/proc/meminfo: memFree=28248568/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=30880 CPUtime=0.07 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 6726 0 0 0 6 1 0 0 20 0 1 0 338498744 31621120 6423 33554432000 4194304 9016284 140737271009776 140733302495672 5206079 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 7720 6423 509 1178 0 6538 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 30880
[startup+0.100296 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15918
/proc/meminfo: memFree=28248568/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=31660 CPUtime=0.09 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 7014 0 0 0 8 1 0 0 20 0 1 0 338498744 32419840 6708 33554432000 4194304 9016284 140737271009776 140733302495672 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 7915 6708 619 1178 0 6733 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31660
[startup+0.300179 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15918
/proc/meminfo: memFree=28248568/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=35000 CPUtime=0.28 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 7900 0 0 0 27 1 0 0 20 0 1 0 338498744 35840000 7594 33554432000 4194304 9016284 140737271009776 140737271003144 7162548 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 8750 7599 657 1178 0 7568 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 35000
[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15918
/proc/meminfo: memFree=28248568/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=37236 CPUtime=0.69 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 9892 0 0 0 67 2 0 0 20 0 1 0 338498744 38129664 8210 33554432000 4194304 9016284 140737271009776 140737271003832 7219374 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 9309 8210 673 1178 0 8127 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37236
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15919
/proc/meminfo: memFree=28217196/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=37236 CPUtime=1.49 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 9897 0 0 0 146 3 0 0 20 0 1 0 338498744 38129664 8215 33554432000 4194304 9016284 140737271009776 140737271003080 7180891 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 9309 8215 678 1178 0 8127 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37236
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15919
/proc/meminfo: memFree=28216824/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=37236 CPUtime=3.09 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 9897 0 0 0 303 6 0 0 20 0 1 0 338498744 38129664 8215 33554432000 4194304 9016284 140737271009776 140737271003576 7153333 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 9309 8215 678 1178 0 8127 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37236
[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15919
/proc/meminfo: memFree=28215468/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=37236 CPUtime=6.28 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 9897 0 0 0 617 11 0 0 20 0 1 0 338498744 38129664 8215 33554432000 4194304 9016284 140737271009776 140737271003528 7180992 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 9309 8215 678 1178 0 8127 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 37236
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15919
/proc/meminfo: memFree=28216668/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=37056 CPUtime=12.68 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 12573 0 0 0 1247 21 0 0 20 0 1 0 338498744 37945344 8147 33554432000 4194304 9016284 140737271009776 140737271003544 6853033 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 9264 8147 692 1178 0 8082 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37056
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15919
/proc/meminfo: memFree=28217412/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=37196 CPUtime=25.49 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 12602 0 0 0 2509 40 0 0 20 0 1 0 338498744 38088704 8176 33554432000 4194304 9016284 140737271009776 140737271003688 7080864 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 9299 8176 693 1178 0 8117 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37196
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15919
/proc/meminfo: memFree=28216916/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=37704 CPUtime=51.08 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 12772 0 0 0 5029 79 0 0 20 0 1 0 338498744 38608896 8346 33554432000 4194304 9016284 140737271009776 140737271003944 7178154 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 9426 8346 693 1178 0 8244 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37704
[startup+102.306 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 15958
/proc/meminfo: memFree=28218068/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=39808 CPUtime=102.27 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 13266 0 0 0 10064 163 0 0 20 0 1 0 338498744 40763392 9114 33554432000 4194304 9016284 140737271009776 140737271003640 4678914 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 9952 9114 693 1178 0 8770 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39808
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15958
/proc/meminfo: memFree=28213396/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=41980 CPUtime=162.26 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 23284 0 0 0 15963 263 0 0 20 0 1 0 338498744 42987520 9685 33554432000 4194304 9016284 140737271009776 140737271003144 7226510 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 10495 9685 693 1178 0 9313 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 41980
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 15958
/proc/meminfo: memFree=28209116/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=46056 CPUtime=222.25 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 25866 0 0 0 21852 373 0 0 20 0 1 0 338498744 47161344 10707 33554432000 4194304 9016284 140737271009776 140737271003640 7143464 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 11514 10707 693 1178 0 10332 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 46056
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15958
/proc/meminfo: memFree=28205452/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=50860 CPUtime=282.23 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 29899 0 0 0 27740 483 0 0 20 0 1 0 338498744 52080640 11927 33554432000 4194304 9016284 140737271009776 140737271003944 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15918/statm: 12715 11927 693 1178 0 11533 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 50860
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15958
/proc/meminfo: memFree=28198624/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=57212 CPUtime=342.22 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 32991 0 0 0 33630 592 0 0 20 0 1 0 338498744 58585088 13490 33554432000 4194304 9016284 140737271009776 140737271003480 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 14303 13490 693 1178 0 13121 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 57212
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15959
/proc/meminfo: memFree=28192048/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=63616 CPUtime=402.21 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 34582 0 0 0 39519 702 0 0 20 0 1 0 338498744 65142784 15079 33554432000 4194304 9016284 140737271009776 140737271003400 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 15904 15079 693 1178 0 14722 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 63616
[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 15962
/proc/meminfo: memFree=28183700/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=71804 CPUtime=462.2 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 36639 0 0 0 45403 817 0 0 20 0 1 0 338498744 73527296 17133 33554432000 4194304 9016284 140737271009776 140737271003688 7178576 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 17951 17133 693 1178 0 16769 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 71804
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15962
/proc/meminfo: memFree=28175536/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=79940 CPUtime=522.19 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 38693 0 0 0 51288 931 0 0 20 0 1 0 338498744 81858560 19184 33554432000 4194304 9016284 140737271009776 140737271003144 7185086 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 19985 19184 693 1178 0 18803 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 79940
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 15962
/proc/meminfo: memFree=28166048/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=89708 CPUtime=582.18 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 43711 0 0 0 57168 1050 0 0 20 0 1 0 338498744 91860992 21626 33554432000 4194304 9016284 140737271009776 140737271003640 7226838 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15918/statm: 22427 21626 693 1178 0 21245 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 89708
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28072024/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=186260 CPUtime=1122.08 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 68921 0 0 0 110104 2104 0 0 20 0 1 0 338498744 190730240 45428 33554432000 4194304 9016284 140737271009776 140737271003736 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 46565 45428 693 1178 0 45383 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 186260
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15990
/proc/meminfo: memFree=28062144/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=195580 CPUtime=1182.08 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 71285 0 0 0 115980 2228 0 0 20 0 1 0 338498744 200273920 47789 33554432000 4194304 9016284 140737271009776 140737271003192 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 48895 47789 693 1178 0 47713 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 195580
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15990
/proc/meminfo: memFree=28050364/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=206704 CPUtime=1242.07 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 74099 0 0 0 121862 2345 0 0 20 0 1 0 338498744 211664896 50603 33554432000 4194304 9016284 140737271009776 140737271003640 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 51676 50603 693 1178 0 50494 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 206704
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15991
/proc/meminfo: memFree=28039452/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=216116 CPUtime=1302.07 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 76513 0 0 0 127742 2465 0 0 20 0 1 0 338498744 221302784 53017 33554432000 4194304 9016284 140737271009776 140737271003736 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 54029 53017 693 1178 0 52847 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 216116
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15991
/proc/meminfo: memFree=28030184/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=225596 CPUtime=1362.04 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 78906 0 0 0 133624 2580 0 0 20 0 1 0 338498744 231010304 55422 33554432000 4194304 9016284 140737271009776 140737271003640 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 56399 55422 693 1178 0 55217 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 225596
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 15991
/proc/meminfo: memFree=28021628/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=235360 CPUtime=1422.04 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 82209 0 0 0 139504 2700 0 0 20 0 1 0 338498744 241008640 57893 33554432000 4194304 9016284 140737271009776 140737271003464 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 58840 57893 693 1178 0 57658 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 235360
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15991
/proc/meminfo: memFree=28003648/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=251484 CPUtime=1482.02 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 86242 0 0 0 145379 2823 0 0 20 0 1 0 338498744 257519616 61926 33554432000 4194304 9016284 140737271009776 140737271003736 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 62871 61926 693 1178 0 61689 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 251484
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15991
/proc/meminfo: memFree=27993004/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=262264 CPUtime=1542.02 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 89033 0 0 0 151258 2944 0 0 20 0 1 0 338498744 268558336 64722 33554432000 4194304 9016284 140737271009776 140737271003944 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 65566 64722 693 1178 0 64384 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 262264
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15992
/proc/meminfo: memFree=27980292/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=278556 CPUtime=1602.01 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 92082 0 0 0 157138 3063 0 0 20 0 1 0 338498744 285241344 67771 33554432000 4194304 9016284 140737271009776 140737271003640 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 69639 67771 693 1178 0 68457 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 278556
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15995
/proc/meminfo: memFree=27970092/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=288088 CPUtime=1662 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 94460 0 0 0 163013 3187 0 0 20 0 1 0 338498744 295002112 70149 33554432000 4194304 9016284 140737271009776 140737271003736 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 72022 70149 693 1178 0 70840 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 288088
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15995
/proc/meminfo: memFree=27958468/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=300152 CPUtime=1721.99 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 97507 0 0 0 168893 3306 0 0 20 0 1 0 338498744 307355648 73196 33554432000 4194304 9016284 140737271009776 140737271003640 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 75038 73196 693 1178 0 73856 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 300152
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15995
/proc/meminfo: memFree=27950988/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=306156 CPUtime=1781.98 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 99070 0 0 0 174779 3419 0 0 20 0 1 0 338498744 313503744 75148 33554432000 4194304 9016284 140737271009776 140737271003736 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 76539 75148 693 1178 0 75357 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 306156
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15995
/proc/meminfo: memFree=27950616/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=306476 CPUtime=1785.18 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 99150 0 0 0 175092 3426 0 0 20 0 1 0 338498744 313831424 75228 33554432000 4194304 9016284 140737271009776 140737271003736 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 76619 75228 693 1178 0 75437 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 306476
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15995
/proc/meminfo: memFree=27949684/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=306988 CPUtime=1791.59 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 99276 0 0 0 175719 3440 0 0 20 0 1 0 338498744 314355712 75354 33554432000 4194304 9016284 140737271009776 140737271003464 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 76747 75354 693 1178 0 75565 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 306988
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15995
/proc/meminfo: memFree=27950428/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=307120 CPUtime=1794.78 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 99284 0 0 0 176033 3445 0 0 20 0 1 0 338498744 314490880 75362 33554432000 4194304 9016284 140737271009776 140737271003640 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 76780 75362 693 1178 0 75598 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 307120
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15995
/proc/meminfo: memFree=27950428/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=307500 CPUtime=1795.58 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 99409 0 0 0 176111 3447 0 0 20 0 1 0 338498744 314880000 75487 33554432000 4194304 9016284 140737271009776 140737271003688 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 76875 75487 693 1178 0 75693 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 307500
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15995
/proc/meminfo: memFree=27948940/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=308524 CPUtime=1796.38 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 99636 0 0 0 176189 3449 0 0 20 0 1 0 338498744 315928576 75714 33554432000 4194304 9016284 140737271009776 140737271003688 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 77131 75714 693 1178 0 75949 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 308524
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15995
/proc/meminfo: memFree=27948940/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=308524 CPUtime=1796.78 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 99638 0 0 0 176229 3449 0 0 20 0 1 0 338498744 315928576 75716 33554432000 4194304 9016284 140737271009776 140737271003688 4897769 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 77131 75716 695 1178 0 75949 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 308524
[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15995
/proc/meminfo: memFree=27948940/32873844 swapFree=7632/7632
[pid=15918] ppid=15916 vsize=308524 CPUtime=1796.88 cores=0,2,4,6
/proc/15918/stat : 15918 (scip-2.0.1.4b_2) R 15916 15918 12480 0 -1 4202496 99638 0 0 0 176239 3449 0 0 20 0 1 0 338498744 315928576 75716 33554432000 4194304 9016284 140737271009776 140737271003688 4897769 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15918/statm: 77131 75716 695 1178 0 75949 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 308524
Child status: 0
Real time (s): 1797.27
CPU time (s): 1796.96
CPU user time (s): 1762.46
CPU system time (s): 34.5028
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 308524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.46
system time used= 34.5028
maximum resident set size= 302864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99643
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= 45
involuntary context switches= 2372
runsolver used 2.6396 second user time and 7.66183 second system time
The end