0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3450624-1307103629.opb>
0.00/0.02 c original problem has 6426 variables (6426 bin, 0 int, 0 impl, 0 cont) and 6626 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.05 o 200
0.00/0.05 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.05 c presolving:
0.11/0.19 c (round 1) 0 del vars, 6426 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 415046 impls, 0 clqs
0.19/0.22 c (round 2) 6226 del vars, 6426 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 415046 impls, 0 clqs
0.19/0.22 c (0.2s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.22 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.22 c presolving (3 rounds):
0.19/0.22 c 6226 deleted vars, 6426 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.22 c 415046 implications, 0 cliques
0.19/0.22 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.19/0.22 c 200 constraints of type <logicor>
0.19/0.22 c transformed objective value is always integral (scale: 1)
0.19/0.22 c Presolving Time: 0.18
0.19/0.22 c - non default parameters ----------------------------------------------------------------------
0.19/0.22 c # SCIP version 2.0.1.5
0.19/0.22 c
0.19/0.22 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22 c conflict/interconss = 0
0.19/0.22 c
0.19/0.22 c # should binary conflicts be preferred?
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c conflict/preferbinary = TRUE
0.19/0.22 c
0.19/0.22 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.22 c constraints/agelimit = 1
0.19/0.22 c
0.19/0.22 c # should enforcement of pseudo solution be disabled?
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/disableenfops = TRUE
0.19/0.22 c
0.19/0.22 c # frequency for displaying node information lines
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.22 c display/freq = 10000
0.19/0.22 c
0.19/0.22 c # maximal time in seconds to run
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/time = 1800
0.19/0.22 c
0.19/0.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/memory = 13950
0.19/0.22 c
0.19/0.22 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.22 c # [type: int, range: [1,2], default: 1]
0.19/0.22 c timing/clocktype = 2
0.19/0.22 c
0.19/0.22 c # belongs reading time to solving time?
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c timing/reading = TRUE
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify inequalities
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/linear/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/indicator/addCouplingCons = TRUE
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify knapsacks
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c -----------------------------------------------------------------------------------------------
0.19/0.22 c start solving
0.19/0.22 c
0.29/0.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.31 c t 0.3s| 1 | 0 | 1177 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.112480e+00 | 2.000000e+02 |3171.99%
0.29/0.31 o 107
0.29/0.31 c r 0.3s| 1 | 0 | 1177 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.112480e+00 | 1.070000e+02 |1650.52%
0.29/0.31 o 106
0.29/0.31 c R 0.3s| 1 | 0 | 1177 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.112480e+00 | 1.060000e+02 |1634.16%
0.29/0.32 o 105
0.29/0.32 c s 0.3s| 1 | 0 | 1177 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.112480e+00 | 1.050000e+02 |1617.80%
0.29/0.34 o 23
0.29/0.34 c z 0.3s| 1 | 0 | 1177 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.112480e+00 | 2.300000e+01 | 276.28%
0.29/0.35 c 0.3s| 1 | 0 | 1177 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.112480e+00 | 2.300000e+01 | 276.28%
0.29/0.35 o 16
0.29/0.35 c b 0.3s| 1 | 0 | 1177 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.112480e+00 | 1.600000e+01 | 161.76%
1.05/1.41 c 1.4s| 1 | 2 | 1177 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 17 | 6.112480e+00 | 1.600000e+01 | 161.76%
1.05/2.87 o 16
1.05/2.87 c z 2.9s| 5 | 6 | 2498 | 330.2 | 14M| 4 | 45 | 200 | 200 | 200 | 200 | 0 | 0 | 79 | 6.287105e+00 | 1.600000e+01 | 154.49%
1.05/2.87 o 15
1.05/2.87 c R 2.9s| 6 | 5 | 2668 | 298.2 | 14M| 5 | 38 | 200 | 200 | 200 | 200 | 0 | 0 | 79 | 6.287105e+00 | 1.500000e+01 | 138.58%
1.05/2.93 o 12
1.05/2.93 c b 2.9s| 6 | 7 | 2668 | 298.2 | 14M| 5 | 38 | 200 | 200 | 200 | 200 | 0 | 0 | 92 | 6.287105e+00 | 1.200000e+01 | 90.87%
1.05/3.00 o 11
1.05/3.00 c R 3.0s| 9 | 7 | 2847 | 208.8 | 14M| 8 | - | 200 | 200 | 200 | 200 | 0 | 0 | 123 | 6.287105e+00 | 1.100000e+01 | 74.96%
119.54/119.68 c 120s| 10000 | 6836 | 1523k| 152.3 | 20M| 71 | 83 | 200 | 200 | 200 | 200 | 0 | 0 |1785 | 7.605114e+00 | 1.100000e+01 | 44.64%
194.25/194.34 c 194s| 20000 | 11824 | 2651k| 132.5 | 26M| 78 | - | 200 | 200 | 200 | 200 | 0 | 0 |2573 | 7.876322e+00 | 1.100000e+01 | 39.66%
253.54/253.63 c 254s| 30000 | 16106 | 3571k| 119.0 | 31M| 85 | 64 | 200 | 200 | 200 | 200 | 0 | 0 |3161 | 7.990675e+00 | 1.100000e+01 | 37.66%
308.05/308.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.05/308.17 c 308s| 40000 | 20122 | 4440k| 111.0 | 37M| 85 | 54 | 200 | 200 | 200 | 200 | 0 | 0 |3654 | 8.062609e+00 | 1.100000e+01 | 36.43%
359.96/360.08 c 360s| 50000 | 24028 | 5277k| 105.5 | 42M| 86 | 63 | 200 | 200 | 200 | 200 | 0 | 0 |3986 | 8.122000e+00 | 1.100000e+01 | 35.43%
413.64/413.78 c 414s| 60000 | 27790 | 6134k| 102.2 | 46M| 86 | - | 200 | 200 | 200 | 200 | 0 | 0 |4349 | 8.186667e+00 | 1.100000e+01 | 34.36%
466.76/466.89 c 467s| 70000 | 31640 | 7002k| 100.0 | 50M| 92 | 59 | 200 | 200 | 200 | 200 | 0 | 0 |4640 | 8.240608e+00 | 1.100000e+01 | 33.49%
515.64/515.74 c 516s| 80000 | 35244 | 7803k| 97.5 | 54M| 92 | 57 | 200 | 200 | 200 | 200 | 0 | 0 |4939 | 8.273927e+00 | 1.100000e+01 | 32.95%
564.44/564.59 c 565s| 90000 | 39020 | 8602k| 95.6 | 59M| 92 | - | 200 | 200 | 200 | 200 | 0 | 0 |5249 | 8.318960e+00 | 1.100000e+01 | 32.23%
612.14/612.25 c 612s|100000 | 42680 | 9383k| 93.8 | 63M| 92 | 51 | 200 | 200 | 200 | 200 | 0 | 0 |5602 | 8.349943e+00 | 1.100000e+01 | 31.74%
656.74/656.87 c 657s|110000 | 46312 | 10121k| 92.0 | 67M| 92 | 62 | 200 | 200 | 200 | 200 | 0 | 0 |5808 | 8.379725e+00 | 1.100000e+01 | 31.27%
701.64/701.70 c 702s|120000 | 49918 | 10850k| 90.4 | 72M| 92 | 64 | 200 | 200 | 200 | 200 | 0 | 0 |6121 | 8.404691e+00 | 1.100000e+01 | 30.88%
744.04/744.12 c 744s|130000 | 53532 | 11549k| 88.8 | 76M| 92 | 51 | 200 | 200 | 200 | 200 | 0 | 0 |6300 | 8.431579e+00 | 1.100000e+01 | 30.46%
786.34/786.40 c 786s|140000 | 57062 | 12245k| 87.5 | 80M| 92 | 57 | 200 | 200 | 200 | 200 | 0 | 0 |6557 | 8.455641e+00 | 1.100000e+01 | 30.09%
827.46/827.61 c 828s|150000 | 60532 | 12920k| 86.1 | 85M| 92 | - | 200 | 200 | 200 | 200 | 0 | 0 |6870 | 8.478290e+00 | 1.100000e+01 | 29.74%
867.64/867.79 c 868s|160000 | 63954 | 13582k| 84.9 | 89M| 92 | - | 200 | 200 | 200 | 200 | 0 | 0 |7138 | 8.495054e+00 | 1.100000e+01 | 29.49%
907.05/907.17 c 907s|170000 | 67410 | 14227k| 83.7 | 94M| 92 | 57 | 200 | 200 | 200 | 200 | 0 | 0 |7379 | 8.516419e+00 | 1.100000e+01 | 29.16%
945.84/945.94 c 946s|180000 | 70732 | 14861k| 82.6 | 99M| 92 | 56 | 200 | 200 | 200 | 200 | 0 | 0 |7615 | 8.529501e+00 | 1.100000e+01 | 28.96%
984.04/984.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.04/984.10 c 984s|190000 | 74176 | 15491k| 81.5 | 103M| 92 | 69 | 200 | 200 | 200 | 200 | 0 | 0 |7810 | 8.544305e+00 | 1.100000e+01 | 28.74%
1021.45/1021.58 c 1022s|200000 | 77486 | 16109k| 80.5 | 108M| 92 | 54 | 200 | 200 | 200 | 200 | 0 | 0 |8047 | 8.558568e+00 | 1.100000e+01 | 28.53%
1058.15/1058.21 c 1058s|210000 | 80756 | 16716k| 79.6 | 112M| 92 | 57 | 200 | 200 | 200 | 200 | 0 | 0 |8240 | 8.572226e+00 | 1.100000e+01 | 28.32%
1093.74/1093.88 c 1094s|220000 | 83888 | 17300k| 78.6 | 117M| 92 | - | 200 | 200 | 200 | 200 | 0 | 0 |8434 | 8.583754e+00 | 1.100000e+01 | 28.15%
1128.64/1128.73 c 1129s|230000 | 87074 | 17873k| 77.7 | 122M| 92 | 53 | 200 | 200 | 200 | 200 | 0 | 0 |8654 | 8.592227e+00 | 1.100000e+01 | 28.02%
1164.35/1164.45 c 1164s|240000 | 90244 | 18466k| 76.9 | 126M| 92 | 59 | 200 | 200 | 200 | 200 | 0 | 0 |8816 | 8.602282e+00 | 1.100000e+01 | 27.87%
1198.63/1198.71 c 1199s|250000 | 93322 | 19032k| 76.1 | 131M| 92 | 45 | 200 | 200 | 200 | 200 | 0 | 0 |8974 | 8.614240e+00 | 1.100000e+01 | 27.70%
1233.13/1233.21 c 1233s|260000 | 96308 | 19612k| 75.4 | 136M| 92 | - | 200 | 200 | 200 | 200 | 0 | 0 |9146 | 8.624233e+00 | 1.100000e+01 | 27.55%
1266.14/1266.22 c 1266s|270000 | 99244 | 20152k| 74.6 | 140M| 92 | - | 200 | 200 | 200 | 200 | 0 | 0 |9361 | 8.635234e+00 | 1.100000e+01 | 27.39%
1300.43/1300.56 c 1301s|280000 |102098 | 20711k| 74.0 | 145M| 93 | 56 | 200 | 200 | 200 | 200 | 0 | 0 |9659 | 8.646331e+00 | 1.100000e+01 | 27.22%
1333.75/1333.86 c 1334s|290000 |104870 | 21269k| 73.3 | 150M| 98 | 58 | 200 | 200 | 200 | 200 | 0 | 0 |9804 | 8.656075e+00 | 1.100000e+01 | 27.08%
1366.44/1366.53 c 1367s|300000 |107706 | 21816k| 72.7 | 154M| 98 | - | 200 | 200 | 200 | 200 | 0 | 0 |9944 | 8.663155e+00 | 1.100000e+01 | 26.97%
1399.94/1400.07 c 1400s|310000 |110416 | 22368k| 72.2 | 159M| 98 | - | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.672754e+00 | 1.100000e+01 | 26.83%
1433.43/1433.59 c 1434s|320000 |113086 | 22921k| 71.6 | 163M| 98 | 55 | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.680094e+00 | 1.100000e+01 | 26.73%
1465.75/1465.91 c 1466s|330000 |115808 | 23461k| 71.1 | 168M| 98 | - | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.690105e+00 | 1.100000e+01 | 26.58%
1497.83/1497.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.83/1497.91 c 1498s|340000 |118476 | 23992k| 70.6 | 172M| 98 | 56 | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.698209e+00 | 1.100000e+01 | 26.46%
1529.64/1529.79 c 1530s|350000 |120988 | 24519k| 70.1 | 177M| 98 | - | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.705584e+00 | 1.100000e+01 | 26.36%
1561.93/1562.00 c 1562s|360000 |123576 | 25050k| 69.6 | 181M| 98 | - | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.712872e+00 | 1.100000e+01 | 26.25%
1594.23/1594.31 c 1594s|370000 |126128 | 25587k| 69.2 | 186M| 98 | 43 | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.720866e+00 | 1.100000e+01 | 26.13%
1626.23/1626.35 c 1626s|380000 |128656 | 26119k| 68.7 | 190M| 98 | 69 | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.729519e+00 | 1.100000e+01 | 26.01%
1657.32/1657.47 c 1657s|390000 |131114 | 26636k| 68.3 | 195M| 98 | - | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.734256e+00 | 1.100000e+01 | 25.94%
1689.33/1689.40 c 1689s|400000 |133602 | 27159k| 67.9 | 199M| 98 | 58 | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.740617e+00 | 1.100000e+01 | 25.85%
1721.22/1721.30 c 1721s|410000 |136004 | 27693k| 67.5 | 203M| 98 | - | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.747072e+00 | 1.100000e+01 | 25.76%
1752.84/1752.92 c 1753s|420000 |138328 | 28217k| 67.2 | 208M| 98 | 69 | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.754011e+00 | 1.100000e+01 | 25.66%
1785.23/1785.37 c 1785s|430000 |140672 | 28758k| 66.9 | 212M| 98 | - | 200 | 200 | 200 | 200 | 0 | 0 | 12k| 8.760785e+00 | 1.100000e+01 | 25.56%
1799.93/1800.00 c
1799.93/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.93/1800.00 c Solving Time (sec) : 1800.00
1799.93/1800.00 c Solving Nodes : 434714
1799.93/1800.00 c Primal Bound : +1.10000000000000e+01 (740 solutions)
1799.93/1800.00 c Dual Bound : +8.76452926606085e+00
1799.93/1800.00 c Gap : 25.51 %
1799.93/1800.01 s SATISFIABLE
1799.93/1800.01 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1799.93/1800.01 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
1799.93/1800.01 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1799.93/1800.01 v -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117
1799.93/1800.01 v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1799.93/1800.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
1799.93/1800.01 v x69 -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
1799.93/1800.01 v -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19
1799.93/1800.01 v -x18 -x17 -x16 -x15 x14 -x13 x12 -x11 x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1799.93/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1799.93/1800.01 c Total Time : 1800.00
1799.93/1800.01 c solving : 1800.00
1799.93/1800.01 c presolving : 0.18 (included in solving)
1799.93/1800.01 c reading : 0.02 (included in solving)
1799.93/1800.01 c Original Problem :
1799.93/1800.01 c Problem name : HOME/instance-3450624-1307103629.opb
1799.93/1800.01 c Variables : 6426 (6426 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.93/1800.01 c Constraints : 6626 initial, 6626 maximal
1799.93/1800.01 c Presolved Problem :
1799.93/1800.01 c Problem name : t_HOME/instance-3450624-1307103629.opb
1799.93/1800.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.93/1800.01 c Constraints : 200 initial, 200 maximal
1799.93/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.93/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.93/1800.01 c dualfix : 0.03 6226 0 0 0 0 0 0 0 0
1799.93/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.93/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.93/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.93/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.93/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1799.93/1800.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1799.93/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.93/1800.01 c pseudoboolean : 0.01 0 0 0 0 0 6426 0 0 0
1799.93/1800.01 c root node : - 0 - - 0 - - - - -
1799.93/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.93/1800.01 c integral : 0 0 0 290002 0 745 0 102 5195 0 0 576524
1799.93/1800.01 c logicor : 200 1 303243 0 0 740 0 0 0 0 0 0
1799.93/1800.01 c countsols : 0 0 0 0 0 743 0 0 0 0 0 0
1799.93/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.93/1800.01 c integral : 91.21 0.00 0.00 91.21 0.00 0.00 0.00
1799.93/1800.01 c logicor : 4.96 0.00 4.96 0.00 0.00 0.00 0.00
1799.93/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.93/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.93/1800.01 c vbounds : 0 0 0 0
1799.93/1800.01 c rootredcost : 3 0 0 0
1799.93/1800.01 c pseudoobj : 774913 0 0 0
1799.93/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1799.93/1800.01 c vbounds : 0.15 0.15 0.00
1799.93/1800.01 c rootredcost : 0.19 0.19 0.00
1799.93/1800.01 c pseudoobj : 3.49 3.49 0.00
1799.93/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.93/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1799.93/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.93/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.93/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.93/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.93/1800.01 c applied globally : - - - 0 0.0 - - -
1799.93/1800.01 c applied locally : - - - 0 0.0 - - -
1799.93/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.93/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1799.93/1800.01 c redcost : 6.03 510170 0 3655549 0 0
1799.93/1800.01 c impliedbounds : 0.00 2 0 0 0 0
1799.93/1800.01 c intobj : 0.00 0 0 0 0 0
1799.93/1800.01 c gomory : 0.02 2 0 0 0 0
1799.93/1800.01 c cgmip : 0.00 0 0 0 0 0
1799.93/1800.01 c closecuts : 0.00 0 0 0 0 0
1799.93/1800.01 c strongcg : 0.02 2 0 0 0 0
1799.93/1800.01 c cmir : 0.01 2 0 0 0 0
1799.93/1800.01 c flowcover : 0.01 2 0 0 0 0
1799.93/1800.01 c clique : 0.00 1 0 0 0 0
1799.93/1800.01 c zerohalf : 0.00 0 0 0 0 0
1799.93/1800.01 c mcf : 0.00 1 0 0 0 0
1799.93/1800.01 c oddcycle : 0.00 0 0 0 0 0
1799.93/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1799.93/1800.01 c Pricers : Time Calls Vars
1799.93/1800.01 c problem variables: 0.00 0 0
1799.93/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.93/1800.01 c relpscost : 91.05 290002 102 5195 0 0 576524
1799.93/1800.01 c pscost : 0.00 0 0 0 0 0 0
1799.93/1800.01 c inference : 0.00 2 0 0 0 0 4
1799.93/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1799.93/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1799.93/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1799.93/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1799.93/1800.01 c random : 0.00 0 0 0 0 0 0
1799.93/1800.01 c Primal Heuristics : Time Calls Found
1799.93/1800.01 c LP solutions : 0.00 - 0
1799.93/1800.01 c pseudo solutions : 0.00 - 0
1799.93/1800.01 c oneopt : 0.09 5 2
1799.93/1800.01 c crossover : 0.61 11 9
1799.93/1800.01 c rootsoldiving : 8.72 520 0
1799.93/1800.01 c fracdiving : 11.16 1040 0
1799.93/1800.01 c coefdiving : 15.91 1040 0
1799.93/1800.01 c linesearchdiving : 14.65 1040 0
1799.93/1800.01 c veclendiving : 16.23 1040 0
1799.93/1800.01 c pscostdiving : 18.73 1040 0
1799.93/1800.01 c guideddiving : 11.30 1040 0
1799.93/1800.01 c trivial : 0.01 2 2
1799.93/1800.01 c shiftandpropagate: 0.00 0 0
1799.93/1800.01 c simplerounding : 1.96 290003 81
1799.93/1800.01 c zirounding : 2.63 22801 456
1799.93/1800.01 c rounding : 1.65 42678 3
1799.93/1800.01 c shifting : 0.44 7629 1
1799.93/1800.01 c intshifting : 0.01 0 0
1799.93/1800.01 c twoopt : 0.00 0 0
1799.93/1800.01 c fixandinfer : 0.00 0 0
1799.93/1800.01 c feaspump : 0.01 0 0
1799.93/1800.01 c clique : 0.00 0 0
1799.93/1800.01 c intdiving : 0.00 0 0
1799.93/1800.01 c actconsdiving : 0.00 0 0
1799.93/1800.01 c objpscostdiving : 44.71 410 186
1799.93/1800.01 c octane : 0.00 0 0
1799.93/1800.01 c rens : 0.01 0 0
1799.93/1800.01 c rins : 0.00 0 0
1799.93/1800.01 c localbranching : 0.00 0 0
1799.93/1800.01 c mutation : 0.00 0 0
1799.93/1800.01 c dins : 0.00 0 0
1799.93/1800.01 c vbounds : 0.00 0 0
1799.93/1800.01 c undercover : 0.00 0 0
1799.93/1800.01 c subnlp : 0.06 0 0
1799.93/1800.01 c trysol : 0.11 0 0
1799.93/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1799.93/1800.01 c primal LP : 0.00 0 0 0.00 -
1799.93/1800.01 c dual LP : 1509.04 436352 26199289 60.04 17361.62
1799.93/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1799.93/1800.01 c barrier LP : 0.00 0 0 0.00 -
1799.93/1800.01 c diving/probing LP: 133.41 138197 2806887 20.31 21039.08
1799.93/1800.01 c strong branching : 86.50 12098 1273727 105.28 14725.11
1799.93/1800.01 c (at root node) : - 17 10290 605.29 -
1799.93/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1799.93/1800.01 c B&B Tree :
1799.93/1800.01 c number of runs : 1
1799.93/1800.01 c nodes : 434714
1799.93/1800.01 c nodes (total) : 434714
1799.93/1800.01 c nodes left : 141814
1799.93/1800.01 c max depth : 98
1799.93/1800.01 c max depth (total): 98
1799.93/1800.01 c backtracks : 39989 (9.2%)
1799.93/1800.01 c delayed cutoffs : 0
1799.93/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.93/1800.01 c avg switch length: 6.78
1799.93/1800.01 c switching time : 6.54
1799.93/1800.01 c Solution :
1799.93/1800.01 c Solutions found : 740 (10 improvements)
1799.93/1800.01 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1799.93/1800.01 c Primal Bound : +1.10000000000000e+01 (in run 1, after 9 nodes, 3.00 seconds, depth 8, found by <rounding>)
1799.93/1800.01 c Dual Bound : +8.76452926606085e+00
1799.93/1800.01 c Gap : 25.51 %
1799.93/1800.01 c Root Dual Bound : +6.11247980404908e+00
1799.93/1800.01 c Root Iterations : 1177
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3450624-1307103629/watcher-3450624-1307103629 -o /tmp/evaluation-result-3450624-1307103629/solver-3450624-1307103629 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450624-1307103629.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.26 2.08 2.02 3/434 32507
/proc/meminfo: memFree=11855292/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=17300 CPUtime=0.01 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 3320 0 0 0 1 0 0 0 25 0 1 0 821962535 17715200 3274 33554432000 4194304 9163163 140734571240240 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32507/statm: 4325 3274 409 1214 0 3107 0
[startup+0.112231 s]
/proc/loadavg: 2.26 2.08 2.02 3/434 32507
/proc/meminfo: memFree=11855292/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=45488 CPUtime=0.11 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 10001 0 0 0 10 1 0 0 25 0 1 0 821962535 46579712 9954 33554432000 4194304 9163163 140734571240240 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32507/statm: 11372 9954 500 1214 0 10154 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 45488
[startup+0.201209 s]
/proc/loadavg: 2.26 2.08 2.02 3/434 32507
/proc/meminfo: memFree=11855292/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=53480 CPUtime=0.19 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 12256 0 0 0 18 1 0 0 25 0 1 0 821962535 54763520 11952 33554432000 4194304 9163163 140734571240240 18446744073709551615 6563557 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32507/statm: 13370 11952 515 1214 0 12152 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 53480
[startup+0.301188 s]
/proc/loadavg: 2.26 2.08 2.02 3/434 32507
/proc/meminfo: memFree=11855292/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=55232 CPUtime=0.29 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 12852 0 0 0 28 1 0 0 18 0 1 0 821962535 56557568 12541 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32507/statm: 13808 12541 642 1214 0 12590 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55232
[startup+0.701118 s]
/proc/loadavg: 2.26 2.08 2.02 3/434 32507
/proc/meminfo: memFree=11855292/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=55380 CPUtime=0.69 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 14591 0 0 0 67 2 0 0 18 0 1 0 821962535 56709120 12683 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32507/statm: 13845 12683 697 1214 0 12627 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55380
[startup+4.8664 s]
/proc/loadavg: 2.26 2.08 2.02 3/435 32508
/proc/meminfo: memFree=11805588/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=55380 CPUtime=4.85 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 14604 0 0 0 476 9 0 0 25 0 1 0 821962535 56709120 12696 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32507/statm: 13845 12696 700 1214 0 12627 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 55380
[startup+4.90039 s]
/proc/loadavg: 2.26 2.08 2.02 3/435 32508
/proc/meminfo: memFree=11805588/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=55380 CPUtime=4.89 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 14604 0 0 0 480 9 0 0 25 0 1 0 821962535 56709120 12696 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32507/statm: 13845 12696 700 1214 0 12627 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 55380
[startup+6.30115 s]
/proc/loadavg: 2.40 2.11 2.03 3/435 32509
/proc/meminfo: memFree=11804836/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=55380 CPUtime=6.29 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 14605 0 0 0 617 12 0 0 25 0 1 0 821962535 56709120 12697 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32507/statm: 13845 12697 700 1214 0 12627 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55380
[startup+12.701 s]
/proc/loadavg: 2.37 2.11 2.03 3/435 32509
/proc/meminfo: memFree=11805432/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=55560 CPUtime=12.69 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 17500 0 0 0 1250 19 0 0 25 0 1 0 821962535 56893440 12757 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32507/statm: 13890 12757 714 1214 0 12672 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55560
[startup+25.5008 s]
/proc/loadavg: 2.43 2.13 2.04 3/435 32509
/proc/meminfo: memFree=11803868/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=56400 CPUtime=25.45 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 17734 0 0 0 2507 38 0 0 25 0 1 0 821962535 57753600 12991 33554432000 4194304 9163163 140734571240240 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/32507/statm: 14100 12991 717 1214 0 12882 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 56400
[startup+51.1004 s]
/proc/loadavg: 2.28 2.12 2.03 3/435 32510
/proc/meminfo: memFree=11803520/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=57260 CPUtime=51.05 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 23465 0 0 0 5026 79 0 0 25 0 1 0 821962535 58634240 13181 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 14315 13181 717 1214 0 13097 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 57260
[startup+102.3 s]
/proc/loadavg: 2.17 2.12 2.03 3/435 32511
/proc/meminfo: memFree=11798556/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=61244 CPUtime=102.24 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 30348 0 0 0 10065 159 0 0 25 0 1 0 821962535 62713856 14190 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 15311 14190 717 1214 0 14093 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 61244
[startup+162.301 s]
/proc/loadavg: 2.06 2.09 2.03 3/435 32513
/proc/meminfo: memFree=11783672/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=77584 CPUtime=162.24 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 40045 0 0 0 15961 263 0 0 25 0 1 0 821962535 79446016 17922 33554432000 4194304 9163163 140734571240240 18446744073709551615 7390335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 19396 17922 717 1214 0 18178 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 77584
[startup+222.301 s]
/proc/loadavg: 2.02 2.07 2.02 3/435 32514
/proc/meminfo: memFree=11783296/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=77584 CPUtime=222.25 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 40126 0 0 0 21864 361 0 0 25 0 1 0 821962535 79446016 18003 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 19396 18003 717 1214 0 18178 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 77584
[startup+282.3 s]
/proc/loadavg: 2.07 2.07 2.02 3/435 32516
/proc/meminfo: memFree=11780440/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=79204 CPUtime=282.25 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 40872 0 0 0 27764 461 0 0 25 0 1 0 821962535 81104896 18748 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 19801 18748 717 1214 0 18583 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 79204
[startup+342.301 s]
/proc/loadavg: 2.02 2.06 2.02 3/435 32518
/proc/meminfo: memFree=11773356/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=86732 CPUtime=342.24 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 42748 0 0 0 33658 566 0 0 25 0 1 0 821962535 88813568 20624 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 21683 20624 717 1214 0 20465 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 86732
[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/435 32519
/proc/meminfo: memFree=11767764/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=92212 CPUtime=402.24 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 44157 0 0 0 39560 664 0 0 25 0 1 0 821962535 94425088 22033 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 23053 22033 717 1214 0 21835 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 92212
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 32521
/proc/meminfo: memFree=11762176/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=98248 CPUtime=462.26 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 48439 0 0 0 45462 764 0 0 25 0 1 0 821962535 100605952 23516 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 24562 23516 717 1214 0 23344 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 98248
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 32522
/proc/meminfo: memFree=11792548/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=103068 CPUtime=522.24 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 49706 0 0 0 51356 868 0 0 25 0 1 0 821962535 105541632 24783 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 25767 24783 717 1214 0 24549 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 103068
[startup+582.316 s]
/proc/loadavg: 2.16 2.05 2.01 3/435 32524
/proc/meminfo: memFree=11785848/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=110860 CPUtime=582.25 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 51613 0 0 0 57251 974 0 0 25 0 1 0 821962535 113520640 26690 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 27715 26690 717 1214 0 26497 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 110860
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 32530
/proc/meminfo: memFree=11755532/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=141128 CPUtime=822.25 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 59233 0 0 0 80841 1384 0 0 25 0 1 0 821962535 144515072 34310 33554432000 4194304 9163163 140734571240240 18446744073709551615 7390303 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 35282 34310 717 1214 0 34064 0
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (KiB) 141128
[startup+882.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/435 32532
/proc/meminfo: memFree=11747836/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=148788 CPUtime=882.24 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 61145 0 0 0 86742 1482 0 0 25 0 1 0 821962535 152358912 36222 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 37197 36222 717 1214 0 35979 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 148788
[startup+942.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/435 32534
/proc/meminfo: memFree=11739772/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=158552 CPUtime=942.24 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 65658 0 0 0 92642 1582 0 0 25 0 1 0 821962535 162357248 38174 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 39638 38174 717 1214 0 38420 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 158552
[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/435 32535
/proc/meminfo: memFree=11729844/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=167652 CPUtime=1002.25 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 67937 0 0 0 98536 1689 0 0 25 0 1 0 821962535 171675648 40453 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 41913 40453 717 1214 0 40695 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 167652
[startup+1062.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/435 32619
/proc/meminfo: memFree=12248812/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=175928 CPUtime=1062.24 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 70031 0 0 0 104424 1800 0 0 25 0 1 0 821962535 180150272 42547 33554432000 4194304 9163163 140734571240240 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 43982 42547 717 1214 0 42764 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 175928
[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/435 32620
/proc/meminfo: memFree=12236600/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=182748 CPUtime=1122.24 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 71785 0 0 0 110320 1904 0 0 25 0 1 0 821962535 187133952 44301 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 45687 44301 717 1214 0 44469 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 182748
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/435 32622
/proc/meminfo: memFree=12221456/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=191088 CPUtime=1182.24 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 73910 0 0 0 116212 2012 0 0 25 0 1 0 821962535 195674112 46426 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 47772 46426 717 1214 0 46554 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 191088
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 32624
/proc/meminfo: memFree=12204208/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=201152 CPUtime=1242.23 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 76396 0 0 0 122109 2114 0 0 25 0 1 0 821962535 205979648 48912 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 50288 48912 717 1214 0 49070 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 201152
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 32625
/proc/meminfo: memFree=12188692/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=210344 CPUtime=1302.24 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 78738 0 0 0 128013 2211 0 0 25 0 1 0 821962535 215392256 51254 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 52586 51254 717 1214 0 51368 0
Current children cumulated CPU time (s) 1302.24
Current children cumulated vsize (KiB) 210344
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 32627
/proc/meminfo: memFree=12171824/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=220136 CPUtime=1362.23 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 81170 0 0 0 133915 2308 0 0 25 0 1 0 821962535 225419264 53686 33554432000 4194304 9163163 140734571240240 18446744073709551615 7389026 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 55034 53686 717 1214 0 53816 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 220136
[startup+1422.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/435 32628
/proc/meminfo: memFree=12155448/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=231660 CPUtime=1422.24 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 84068 0 0 0 139817 2407 0 0 25 0 1 0 821962535 237219840 56584 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 57915 56584 717 1214 0 56697 0
Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 231660
[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/435 32630
/proc/meminfo: memFree=12140812/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=238252 CPUtime=1482.25 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 85743 0 0 0 145716 2509 0 0 25 0 1 0 821962535 243970048 58259 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 59563 58259 717 1214 0 58345 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 238252
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/435 32632
/proc/meminfo: memFree=12121212/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=249780 CPUtime=1542.24 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 88682 0 0 0 151612 2612 0 0 25 0 1 0 821962535 255774720 61198 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 62445 61198 717 1214 0 61227 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 249780
[startup+1602.32 s]
/proc/loadavg: 2.08 2.03 2.01 3/435 32633
/proc/meminfo: memFree=12107932/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=257904 CPUtime=1602.24 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 93369 0 0 0 157508 2716 0 0 25 0 1 0 821962535 264093696 63211 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 64476 63211 717 1214 0 63258 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 257904
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/435 32635
/proc/meminfo: memFree=12092548/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=266940 CPUtime=1662.23 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 95642 0 0 0 163403 2820 0 0 25 0 1 0 821962535 273346560 65484 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 66735 65484 717 1214 0 65517 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 266940
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/435 32636
/proc/meminfo: memFree=12073692/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=277096 CPUtime=1722.22 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 98193 0 0 0 169305 2917 0 0 25 0 1 0 821962535 283746304 68035 33554432000 4194304 9163163 140734571240240 18446744073709551615 7390381 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 69274 68035 717 1214 0 68056 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 277096
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 32638
/proc/meminfo: memFree=12052364/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=288588 CPUtime=1782.23 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 101030 0 0 0 175204 3019 0 0 25 0 1 0 821962535 295514112 70872 33554432000 4194304 9163163 140734571240240 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/32507/statm: 72147 70872 717 1214 0 70929 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 288588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 32638
/proc/meminfo: memFree=12049756/32951132 swapFree=67093840/67111528
[pid=32507] ppid=32505 vsize=290784 CPUtime=1800.04 cores=0,2,4,6
/proc/32507/stat : 32507 (scip-2.0.1.4b.l) R 32505 32507 27022 0 -1 4202496 101589 0 0 0 176956 3048 0 0 25 0 1 0 821962535 297762816 71431 33554432000 4194304 9163163 140734571240240 18446744073709551615 6894666 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32507/statm: 72696 71431 720 1214 0 71478 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 290784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.13
CPU time (s): 1800.06
CPU user time (s): 1769.57
CPU system time (s): 30.4944
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 290784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.57
system time used= 30.4944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101589
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= 6
involuntary context switches= 4263
runsolver used 8.84666 second user time and 18.6302 second system time
The end