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-3737010-1338723889.opb>
0.00/0.02 c original problem has 6416 variables (6416 bin, 0 int, 0 impl, 0 cont) and 6616 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.09/0.19 c (round 1) 0 del vars, 6616 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 413032 impls, 0 clqs
0.19/0.23 c (round 2) 6216 del vars, 6616 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 413032 impls, 0 clqs
0.19/0.23 c (0.2s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.23 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (3 rounds):
0.19/0.23 c 6216 deleted vars, 6616 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.23 c 413032 implications, 0 cliques
0.19/0.23 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.19/0.23 c 200 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 1)
0.19/0.23 c Presolving Time: 0.19
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 2.0.1.5
0.19/0.23 c
0.19/0.23 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c conflict/interconss = 0
0.19/0.23 c
0.19/0.23 c # should binary conflicts be preferred?
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c conflict/preferbinary = TRUE
0.19/0.23 c
0.19/0.23 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.23 c constraints/agelimit = 1
0.19/0.23 c
0.19/0.23 c # should enforcement of pseudo solution be disabled?
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/disableenfops = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1797
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 13950
0.19/0.23 c
0.19/0.23 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.23 c # [type: int, range: [1,2], default: 1]
0.19/0.23 c timing/clocktype = 2
0.19/0.23 c
0.19/0.23 c # belongs reading time to solving time?
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c timing/reading = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/indicator/addCouplingCons = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.29/0.34 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.34 c t 0.3s| 1 | 0 | 1461 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.156064e+00 | 2.000000e+02 |3148.83%
0.29/0.34 o 107
0.29/0.34 c r 0.3s| 1 | 0 | 1461 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.156064e+00 | 1.070000e+02 |1638.12%
0.29/0.34 o 106
0.29/0.34 c R 0.3s| 1 | 0 | 1461 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.156064e+00 | 1.060000e+02 |1621.88%
0.29/0.34 o 105
0.29/0.34 c s 0.3s| 1 | 0 | 1461 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.156064e+00 | 1.050000e+02 |1605.64%
0.29/0.36 o 22
0.29/0.36 c z 0.4s| 1 | 0 | 1461 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.156064e+00 | 2.200000e+01 | 257.37%
0.29/0.37 c 0.4s| 1 | 0 | 1461 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.156064e+00 | 2.200000e+01 | 257.37%
0.29/0.37 o 18
0.29/0.37 c b 0.4s| 1 | 0 | 1461 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.156064e+00 | 1.800000e+01 | 192.39%
1.29/1.39 c 1.4s| 1 | 2 | 1461 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 18 | 6.156064e+00 | 1.800000e+01 | 192.39%
2.78/2.85 o 17
2.78/2.85 c R 2.9s| 4 | 3 | 2572 | 370.3 | 14M| 3 | 62 | 200 | 200 | 200 | 200 | 0 | 0 | 59 | 6.224576e+00 | 1.700000e+01 | 173.11%
2.99/3.08 o 14
2.99/3.08 c b 3.1s| 4 | 5 | 2572 | 370.3 | 14M| 3 | 62 | 200 | 200 | 200 | 200 | 0 | 0 | 73 | 6.224576e+00 | 1.400000e+01 | 124.91%
3.39/3.42 o 13
3.39/3.42 c R 3.4s| 8 | 7 | 3058 | 228.1 | 14M| 7 | 20 | 200 | 200 | 200 | 200 | 0 | 0 | 121 | 6.224576e+00 | 1.300000e+01 | 108.85%
3.39/3.46 o 12
3.39/3.46 c R 3.5s| 10 | 9 | 3137 | 186.2 | 14M| 9 | 6 | 200 | 200 | 200 | 200 | 0 | 0 | 146 | 6.224576e+00 | 1.200000e+01 | 92.78%
3.39/3.46 o 11
3.39/3.46 c * 3.5s| 10 | 7 | 3148 | 187.4 | 14M| 9 | - | 200 | 200 | 200 | 200 | 0 | 0 | 156 | 6.224576e+00 | 1.100000e+01 | 76.72%
119.96/120.02 c 120s| 10000 | 6743 | 1492k| 149.1 | 20M| 77 | 77 | 200 | 200 | 200 | 200 | 0 | 0 |1720 | 7.571214e+00 | 1.100000e+01 | 45.29%
197.85/198.00 c 198s| 20000 | 12249 | 2614k| 130.7 | 26M| 82 | - | 200 | 200 | 200 | 200 | 0 | 0 |2509 | 7.795141e+00 | 1.100000e+01 | 41.11%
260.73/260.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
260.73/260.83 c 261s| 30000 | 16855 | 3589k| 119.6 | 31M| 86 | 56 | 200 | 200 | 200 | 200 | 0 | 0 |3097 | 7.894650e+00 | 1.100000e+01 | 39.33%
318.73/318.82 c 319s| 40000 | 21147 | 4492k| 112.3 | 37M| 87 | 65 | 200 | 200 | 200 | 200 | 0 | 0 |3554 | 7.976710e+00 | 1.100000e+01 | 37.90%
373.71/373.85 c 374s| 50000 | 25107 | 5335k| 106.7 | 42M| 87 | 63 | 200 | 200 | 200 | 200 | 0 | 0 |3982 | 8.027186e+00 | 1.100000e+01 | 37.03%
427.60/427.76 c 428s| 60000 | 28835 | 6183k| 103.0 | 46M| 93 | - | 200 | 200 | 200 | 200 | 0 | 0 |4270 | 8.086151e+00 | 1.100000e+01 | 36.04%
480.60/480.72 c 481s| 70000 | 32377 | 7012k| 100.2 | 50M| 93 | 71 | 200 | 200 | 200 | 200 | 0 | 0 |4636 | 8.133812e+00 | 1.100000e+01 | 35.24%
533.08/533.28 c 533s| 80000 | 35907 | 7844k| 98.0 | 54M| 93 | 66 | 200 | 200 | 200 | 200 | 0 | 0 |4970 | 8.184323e+00 | 1.100000e+01 | 34.40%
584.68/584.89 c 585s| 90000 | 39443 | 8663k| 96.2 | 58M| 93 | 68 | 200 | 200 | 200 | 200 | 0 | 0 |5238 | 8.217796e+00 | 1.100000e+01 | 33.86%
636.57/636.77 c 637s|100000 | 42919 | 9492k| 94.9 | 62M| 93 | - | 200 | 200 | 200 | 200 | 0 | 0 |5549 | 8.254937e+00 | 1.100000e+01 | 33.25%
687.56/687.77 c 688s|110000 | 46451 | 10305k| 93.7 | 66M| 93 | - | 200 | 200 | 200 | 200 | 0 | 0 |5870 | 8.284729e+00 | 1.100000e+01 | 32.77%
736.75/736.91 c 737s|120000 | 50013 | 11111k| 92.6 | 70M| 93 | 62 | 200 | 200 | 200 | 200 | 0 | 0 |6078 | 8.314048e+00 | 1.100000e+01 | 32.31%
785.44/785.68 c 786s|130000 | 53489 | 11899k| 91.5 | 74M| 93 | - | 200 | 200 | 200 | 200 | 0 | 0 |6367 | 8.339690e+00 | 1.100000e+01 | 31.90%
832.44/832.69 c 833s|140000 | 57015 | 12665k| 90.5 | 78M| 93 | 56 | 200 | 200 | 200 | 200 | 0 | 0 |6609 | 8.362526e+00 | 1.100000e+01 | 31.54%
878.82/879.07 c 879s|150000 | 60403 | 13427k| 89.5 | 82M| 93 | 60 | 200 | 200 | 200 | 200 | 0 | 0 |6805 | 8.381338e+00 | 1.100000e+01 | 31.24%
923.91/924.11 c 924s|160000 | 63791 | 14154k| 88.5 | 87M| 93 | 71 | 200 | 200 | 200 | 200 | 0 | 0 |7072 | 8.401691e+00 | 1.100000e+01 | 30.93%
967.91/968.16 c 968s|170000 | 67205 | 14862k| 87.4 | 91M| 93 | 53 | 200 | 200 | 200 | 200 | 0 | 0 |7344 | 8.419620e+00 | 1.100000e+01 | 30.65%
1011.20/1011.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.20/1011.45 c 1011s|180000 | 70433 | 15560k| 86.4 | 95M| 93 | 52 | 200 | 200 | 200 | 200 | 0 | 0 |7603 | 8.434686e+00 | 1.100000e+01 | 30.41%
1053.60/1053.84 c 1054s|190000 | 73815 | 16242k| 85.5 | 99M| 93 | 67 | 200 | 200 | 200 | 200 | 0 | 0 |7819 | 8.447361e+00 | 1.100000e+01 | 30.22%
1095.18/1095.44 c 1095s|200000 | 77043 | 16912k| 84.6 | 104M| 97 | - | 200 | 200 | 200 | 200 | 0 | 0 |8065 | 8.463955e+00 | 1.100000e+01 | 29.96%
1135.38/1135.67 c 1136s|210000 | 80385 | 17559k| 83.6 | 108M| 97 | - | 200 | 200 | 200 | 200 | 0 | 0 |8277 | 8.478030e+00 | 1.100000e+01 | 29.75%
1175.17/1175.42 c 1175s|220000 | 83611 | 18208k| 82.8 | 112M| 97 | 57 | 200 | 200 | 200 | 200 | 0 | 0 |8427 | 8.495566e+00 | 1.100000e+01 | 29.48%
1214.07/1214.39 c 1214s|230000 | 86851 | 18836k| 81.9 | 117M| 97 | 56 | 200 | 200 | 200 | 200 | 0 | 0 |8674 | 8.507395e+00 | 1.100000e+01 | 29.30%
1253.76/1254.01 c 1254s|240000 | 90061 | 19483k| 81.2 | 121M| 97 | - | 200 | 200 | 200 | 200 | 0 | 0 |8897 | 8.522181e+00 | 1.100000e+01 | 29.07%
1291.16/1291.45 c 1291s|250000 | 93137 | 20091k| 80.4 | 125M| 97 | - | 200 | 200 | 200 | 200 | 0 | 0 |9068 | 8.530425e+00 | 1.100000e+01 | 28.95%
1329.55/1329.86 c 1330s|260000 | 96357 | 20715k| 79.7 | 130M| 97 | - | 200 | 200 | 200 | 200 | 0 | 0 |9263 | 8.541111e+00 | 1.100000e+01 | 28.79%
1367.14/1367.44 c 1367s|270000 | 99421 | 21318k| 79.0 | 134M| 99 | 57 | 200 | 200 | 200 | 200 | 0 | 0 |9508 | 8.550787e+00 | 1.100000e+01 | 28.64%
1403.93/1404.24 c 1404s|280000 |102409 | 21910k| 78.2 | 139M| 99 | 59 | 200 | 200 | 200 | 200 | 0 | 0 |9745 | 8.561654e+00 | 1.100000e+01 | 28.48%
1439.63/1439.92 c 1440s|290000 |105337 | 22487k| 77.5 | 143M| 99 | 73 | 200 | 200 | 200 | 200 | 0 | 0 |9911 | 8.569095e+00 | 1.100000e+01 | 28.37%
1475.22/1475.58 c 1476s|300000 |108169 | 23068k| 76.9 | 148M| 99 | - | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.579180e+00 | 1.100000e+01 | 28.22%
1510.91/1511.26 c 1511s|310000 |111043 | 23645k| 76.3 | 152M| 99 | - | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.586408e+00 | 1.100000e+01 | 28.11%
1546.81/1547.14 c 1547s|320000 |113823 | 24222k| 75.7 | 156M| 99 | 53 | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.598893e+00 | 1.100000e+01 | 27.92%
1581.31/1581.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.31/1581.64 c 1582s|330000 |116507 | 24785k| 75.1 | 161M| 99 | - | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.607265e+00 | 1.100000e+01 | 27.80%
1615.80/1616.18 c 1616s|340000 |119279 | 25341k| 74.5 | 165M| 99 | 56 | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.617644e+00 | 1.100000e+01 | 27.65%
1651.00/1651.36 c 1651s|350000 |121933 | 25906k| 74.0 | 170M| 99 | 58 | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.626370e+00 | 1.100000e+01 | 27.52%
1684.89/1685.25 c 1685s|360000 |124591 | 26465k| 73.5 | 174M| 99 | 79 | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.633712e+00 | 1.100000e+01 | 27.41%
1718.67/1719.09 c 1719s|370000 |127217 | 27015k| 73.0 | 178M| 99 | 54 | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.640128e+00 | 1.100000e+01 | 27.31%
1752.87/1753.21 c 1753s|380000 |129763 | 27565k| 72.5 | 183M| 99 | - | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.647347e+00 | 1.100000e+01 | 27.21%
1786.17/1786.50 c 1786s|390000 |132269 | 28107k| 72.1 | 187M| 99 | - | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.654426e+00 | 1.100000e+01 | 27.10%
1796.66/1797.01 c
1796.66/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.66/1797.01 c Solving Time (sec) : 1797.01
1796.66/1797.01 c Solving Nodes : 393169
1796.66/1797.01 c Primal Bound : +1.10000000000000e+01 (651 solutions)
1796.66/1797.01 c Dual Bound : +8.65553936672556e+00
1796.66/1797.01 c Gap : 27.09 %
1796.66/1797.01 s SATISFIABLE
1796.66/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.66/1797.01 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
1796.66/1797.01 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1796.66/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.66/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.66/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
1796.66/1797.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
1796.66/1797.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
1796.66/1797.01 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1796.66/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.66/1797.01 c Total Time : 1797.01
1796.66/1797.01 c solving : 1797.01
1796.66/1797.01 c presolving : 0.19 (included in solving)
1796.66/1797.01 c reading : 0.02 (included in solving)
1796.66/1797.01 c Original Problem :
1796.66/1797.01 c Problem name : HOME/instance-3737010-1338723889.opb
1796.66/1797.01 c Variables : 6416 (6416 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.66/1797.01 c Constraints : 6616 initial, 6616 maximal
1796.66/1797.01 c Presolved Problem :
1796.66/1797.01 c Problem name : t_HOME/instance-3737010-1338723889.opb
1796.66/1797.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.66/1797.01 c Constraints : 200 initial, 200 maximal
1796.66/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.66/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c dualfix : 0.03 6216 0 0 0 0 0 0 0 0
1796.66/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.01 c pseudoboolean : 0.01 0 0 0 0 0 6616 200 0 0
1796.66/1797.01 c root node : - 0 - - 0 - - - - -
1796.66/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.66/1797.01 c integral : 0 0 0 264866 0 655 0 99 5469 0 0 526188
1796.66/1797.01 c logicor : 200 1 268625 1 0 650 0 0 0 0 0 0
1796.66/1797.01 c countsols : 0 0 0 1 0 653 0 0 0 0 0 0
1796.66/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.66/1797.01 c integral : 95.62 0.00 0.00 95.62 0.00 0.00 0.00
1796.66/1797.01 c logicor : 3.58 0.00 3.57 0.00 0.00 0.00 0.00
1796.66/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.66/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.66/1797.01 c vbounds : 0 0 0 0
1796.66/1797.01 c rootredcost : 5 0 0 0
1796.66/1797.01 c pseudoobj : 711137 0 0 0
1796.66/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.66/1797.01 c vbounds : 0.12 0.12 0.00
1796.66/1797.01 c rootredcost : 0.13 0.13 0.00
1796.66/1797.01 c pseudoobj : 3.05 3.05 0.00
1796.66/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.66/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.66/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.66/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.66/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.66/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.66/1797.01 c applied globally : - - - 0 0.0 - - -
1796.66/1797.01 c applied locally : - - - 0 0.0 - - -
1796.66/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.66/1797.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.66/1797.01 c redcost : 4.80 461277 0 2962872 0 0
1796.66/1797.01 c impliedbounds : 0.00 2 0 0 0 0
1796.66/1797.01 c intobj : 0.00 0 0 0 0 0
1796.66/1797.01 c gomory : 0.02 2 0 0 0 0
1796.66/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.66/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.66/1797.01 c strongcg : 0.02 2 0 0 0 0
1796.66/1797.01 c cmir : 0.01 2 0 0 0 0
1796.66/1797.01 c flowcover : 0.01 2 0 0 0 0
1796.66/1797.01 c clique : 0.00 1 0 0 0 0
1796.66/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.66/1797.01 c mcf : 0.00 1 0 0 0 0
1796.66/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.66/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1796.66/1797.01 c Pricers : Time Calls Vars
1796.66/1797.01 c problem variables: 0.00 0 0
1796.66/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.66/1797.01 c relpscost : 95.49 264865 99 5469 0 0 526188
1796.66/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.66/1797.01 c inference : 0.00 2 0 0 0 0 4
1796.66/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.66/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.66/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.66/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.66/1797.01 c random : 0.00 0 0 0 0 0 0
1796.66/1797.01 c Primal Heuristics : Time Calls Found
1796.66/1797.01 c LP solutions : 0.00 - 1
1796.66/1797.01 c pseudo solutions : 0.00 - 0
1796.66/1797.01 c feaspump : 0.01 0 0
1796.66/1797.01 c oneopt : 0.07 6 2
1796.66/1797.01 c crossover : 0.42 10 6
1796.66/1797.01 c objpscostdiving : 44.00 403 185
1796.66/1797.01 c fracdiving : 11.30 1050 0
1796.66/1797.01 c veclendiving : 18.86 1050 0
1796.66/1797.01 c linesearchdiving : 15.90 1050 0
1796.66/1797.01 c guideddiving : 11.67 1050 0
1796.66/1797.01 c coefdiving : 17.24 1051 3
1796.66/1797.01 c pscostdiving : 19.88 1051 0
1796.66/1797.01 c rootsoldiving : 9.23 526 0
1796.66/1797.01 c trivial : 0.01 2 2
1796.66/1797.01 c shiftandpropagate: 0.00 0 0
1796.66/1797.01 c simplerounding : 1.75 264865 76
1796.66/1797.01 c zirounding : 2.15 18551 371
1796.66/1797.01 c rounding : 1.72 46559 4
1796.66/1797.01 c shifting : 0.41 7404 1
1796.66/1797.01 c intshifting : 0.00 0 0
1796.66/1797.01 c twoopt : 0.00 0 0
1796.66/1797.01 c fixandinfer : 0.00 0 0
1796.66/1797.01 c clique : 0.00 0 0
1796.66/1797.01 c intdiving : 0.00 0 0
1796.66/1797.01 c actconsdiving : 0.00 0 0
1796.66/1797.01 c octane : 0.00 0 0
1796.66/1797.01 c rens : 0.01 0 0
1796.66/1797.01 c rins : 0.00 0 0
1796.66/1797.01 c localbranching : 0.00 0 0
1796.66/1797.01 c mutation : 0.00 0 0
1796.66/1797.01 c dins : 0.00 0 0
1796.66/1797.01 c vbounds : 0.00 0 0
1796.66/1797.01 c undercover : 0.00 0 0
1796.66/1797.01 c subnlp : 0.05 0 0
1796.66/1797.01 c trysol : 0.08 0 0
1796.66/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.66/1797.01 c primal LP : 0.00 0 0 0.00 -
1796.66/1797.01 c dual LP : 1502.90 394841 25385981 64.29 16891.30
1796.66/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.66/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.66/1797.01 c diving/probing LP: 140.09 138846 2886682 20.79 20606.38
1796.66/1797.01 c strong branching : 91.25 11894 1306710 109.86 14319.84
1796.66/1797.01 c (at root node) : - 18 10153 564.06 -
1796.66/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.66/1797.01 c B&B Tree :
1796.66/1797.01 c number of runs : 1
1796.66/1797.01 c nodes : 393169
1796.66/1797.01 c nodes (total) : 393169
1796.66/1797.01 c nodes left : 133022
1796.66/1797.01 c max depth : 99
1796.66/1797.01 c max depth (total): 99
1796.66/1797.01 c backtracks : 34669 (8.8%)
1796.66/1797.01 c delayed cutoffs : 0
1796.66/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.66/1797.01 c avg switch length: 6.61
1796.66/1797.01 c switching time : 5.41
1796.66/1797.01 c Solution :
1796.66/1797.01 c Solutions found : 651 (11 improvements)
1796.66/1797.01 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1796.66/1797.01 c Primal Bound : +1.10000000000000e+01 (in run 1, after 10 nodes, 3.46 seconds, depth 9, found by <relaxation>)
1796.66/1797.01 c Dual Bound : +8.65553936672556e+00
1796.66/1797.01 c Gap : 27.09 %
1796.66/1797.01 c Root Dual Bound : +6.15606373077442e+00
1796.66/1797.01 c Root Iterations : 1461
1796.86/1797.23 c Time complete: 1796.9.
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-3737010-1338723889/watcher-3737010-1338723889 -o /tmp/evaluation-result-3737010-1338723889/solver-3737010-1338723889 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737010-1338723889.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 15520
/proc/meminfo: memFree=27074544/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=9456 CPUtime=0 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 1491 0 0 0 0 0 0 0 20 0 1 0 338514918 9682944 1446 33554432000 4194304 9016284 140734054104512 140734255038072 7824814 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 2364 1447 311 1178 0 1182 0
[startup+0.089232 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15520
/proc/meminfo: memFree=27074544/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=41624 CPUtime=0.08 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 9065 0 0 0 7 1 0 0 20 0 1 0 338514918 42622976 9019 33554432000 4194304 9016284 140734054104512 140734255038072 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 10406 9019 478 1178 0 9224 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 41624
[startup+0.100283 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15520
/proc/meminfo: memFree=27074544/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=43164 CPUtime=0.09 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 9448 0 0 0 8 1 0 0 20 0 1 0 338514918 44199936 9402 33554432000 4194304 9016284 140734054104512 140734255038072 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 10791 9402 478 1178 0 9609 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43164
[startup+0.300272 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15520
/proc/meminfo: memFree=27074544/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=56816 CPUtime=0.29 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 13263 0 0 0 28 1 0 0 20 0 1 0 338514918 58179584 12956 33554432000 4194304 9016284 140734054104512 140734255038072 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 14204 12956 620 1178 0 13022 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56816
[startup+0.70022 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15520
/proc/meminfo: memFree=27074544/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=57564 CPUtime=0.69 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 15000 0 0 0 67 2 0 0 20 0 1 0 338514918 58945536 13284 33554432000 4194304 9016284 140734054104512 140734054097768 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 14391 13284 670 1178 0 13209 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57564
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15521
/proc/meminfo: memFree=27023696/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=57564 CPUtime=1.49 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 15005 0 0 0 147 2 0 0 20 0 1 0 338514918 58945536 13289 33554432000 4194304 9016284 140734054104512 140734054097768 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 14391 13289 675 1178 0 13209 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57564
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15521
/proc/meminfo: memFree=27023324/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=57564 CPUtime=3.09 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 15005 0 0 0 305 4 0 0 20 0 1 0 338514918 58945536 13289 33554432000 4194304 9016284 140734054104512 140734054098360 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 14391 13289 675 1178 0 13209 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57564
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15521
/proc/meminfo: memFree=27023352/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=57564 CPUtime=6.28 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 15005 0 0 0 621 7 0 0 20 0 1 0 338514918 58945536 13289 33554432000 4194304 9016284 140734054104512 140734054097768 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 14391 13289 675 1178 0 13209 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 57564
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15521
/proc/meminfo: memFree=27023596/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=57292 CPUtime=12.69 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 17661 0 0 0 1253 16 0 0 20 0 1 0 338514918 58667008 13234 33554432000 4194304 9016284 140734054104512 140734054098376 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 14323 13234 687 1178 0 13141 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57292
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15521
/proc/meminfo: memFree=27022704/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=57756 CPUtime=25.48 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 20459 0 0 0 2514 34 0 0 20 0 1 0 338514918 59142144 13321 33554432000 4194304 9016284 140734054104512 140734054097432 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 14439 13321 690 1178 0 13257 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 57756
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15521
/proc/meminfo: memFree=27022860/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=58840 CPUtime=51.07 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 23608 0 0 0 5038 69 0 0 20 0 1 0 338514918 60252160 13963 33554432000 4194304 9016284 140734054104512 140734054098376 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 14710 13963 690 1178 0 13528 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 58840
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15521
/proc/meminfo: memFree=27021792/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=62228 CPUtime=102.27 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 30255 0 0 0 10082 145 0 0 20 0 1 0 338514918 63721472 14817 33554432000 4194304 9016284 140734054104512 140734054098424 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 15557 14817 690 1178 0 14375 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 62228
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15522
/proc/meminfo: memFree=27014220/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=66444 CPUtime=162.25 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 36838 0 0 0 15988 237 0 0 20 0 1 0 338514918 68038656 15866 33554432000 4194304 9016284 140734054104512 140734054097928 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 16611 15866 691 1178 0 15429 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 66444
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15522
/proc/meminfo: memFree=27009672/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=71896 CPUtime=222.24 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 38237 0 0 0 21889 335 0 0 20 0 1 0 338514918 73621504 17261 33554432000 4194304 9016284 140734054104512 140734054098376 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 17974 17261 691 1178 0 16792 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 71896
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15522
/proc/meminfo: memFree=27000740/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=79380 CPUtime=282.23 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 40084 0 0 0 27796 427 0 0 20 0 1 0 338514918 81285120 19098 33554432000 4194304 9016284 140734054104512 140734054098456 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 19845 19098 691 1178 0 18663 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 79380
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15525
/proc/meminfo: memFree=26998608/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=86020 CPUtime=342.22 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 44506 0 0 0 33702 520 0 0 20 0 1 0 338514918 88084480 20767 33554432000 4194304 9016284 140734054104512 140734054098424 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 21505 20767 691 1178 0 20323 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 86020
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15525
/proc/meminfo: memFree=26988552/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=92116 CPUtime=402.21 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 46049 0 0 0 39604 617 0 0 20 0 1 0 338514918 94326784 22301 33554432000 4194304 9016284 140734054104512 140734054098376 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 23029 22301 691 1178 0 21847 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 92116
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15525
/proc/meminfo: memFree=26980056/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=98600 CPUtime=462.2 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 47681 0 0 0 45506 714 0 0 20 0 1 0 338514918 100966400 23933 33554432000 4194304 9016284 140734054104512 140734054098360 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 24650 23933 691 1178 0 23468 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 98600
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15526
/proc/meminfo: memFree=26978056/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=103660 CPUtime=522.19 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 48854 0 0 0 51414 805 0 0 20 0 1 0 338514918 106147840 25106 33554432000 4194304 9016284 140734054104512 140734054097880 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 25915 25106 691 1178 0 24733 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 103660
[startup+582.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 15526
/proc/meminfo: memFree=26969172/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=110668 CPUtime=582.18 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 53403 0 0 0 57313 905 0 0 20 0 1 0 338514918 113324032 26942 33554432000 4194304 9016284 140734054104512 140734054098472 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 27667 26942 691 1178 0 26485 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 110668
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26930776/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=167952 CPUtime=1122.08 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 69793 0 0 0 110434 1774 0 0 20 0 1 0 338514918 171982848 40748 33554432000 4194304 9016284 140734054104512 140734054098424 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 41988 40748 691 1178 0 40806 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 167952
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15630
/proc/meminfo: memFree=26905356/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=175324 CPUtime=1182.08 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 71624 0 0 0 116335 1873 0 0 20 0 1 0 338514918 179531776 42579 33554432000 4194304 9016284 140734054104512 140734054098472 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 43831 42579 691 1178 0 42649 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 175324
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15630
/proc/meminfo: memFree=26873492/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=181508 CPUtime=1242.06 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 73245 0 0 0 122234 1972 0 0 20 0 1 0 338514918 185864192 44200 33554432000 4194304 9016284 140734054104512 140734054098680 7199008 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 45377 44200 691 1178 0 44195 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 181508
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15630
/proc/meminfo: memFree=26848616/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=187892 CPUtime=1302.05 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 74829 0 0 0 128132 2073 0 0 20 0 1 0 338514918 192401408 45784 33554432000 4194304 9016284 140734054104512 140734054097688 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 46973 45784 691 1178 0 45791 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 187892
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15630
/proc/meminfo: memFree=26819952/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=196404 CPUtime=1362.04 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 76979 0 0 0 134030 2174 0 0 20 0 1 0 338514918 201117696 47943 33554432000 4194304 9016284 140734054104512 140734054098472 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 49101 47943 691 1178 0 47919 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 196404
[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 15631
/proc/meminfo: memFree=26787592/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=203592 CPUtime=1422.03 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 78775 0 0 0 139932 2271 0 0 20 0 1 0 338514918 208478208 49739 33554432000 4194304 9016284 140734054104512 140734054097672 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 50898 49739 691 1178 0 49716 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 203592
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15631
/proc/meminfo: memFree=26755140/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=213688 CPUtime=1482.03 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 81290 0 0 0 145834 2369 0 0 20 0 1 0 338514918 218816512 52254 33554432000 4194304 9016284 140734054104512 140734054098376 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 53422 52254 691 1178 0 52240 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 213688
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15634
/proc/meminfo: memFree=26713636/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=223616 CPUtime=1542.01 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 83782 0 0 0 151737 2464 0 0 20 0 1 0 338514918 228982784 54746 33554432000 4194304 9016284 140734054104512 140734054098376 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 55904 54746 691 1178 0 54722 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 223616
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15634
/proc/meminfo: memFree=26688972/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=231560 CPUtime=1602 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 85798 0 0 0 157635 2565 0 0 20 0 1 0 338514918 237117440 56762 33554432000 4194304 9016284 140734054104512 140734054098376 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 57890 56762 691 1178 0 56708 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 231560
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15634
/proc/meminfo: memFree=26656600/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=237596 CPUtime=1661.99 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 87316 0 0 0 163535 2664 0 0 20 0 1 0 338514918 243298304 58280 33554432000 4194304 9016284 140734054104512 140734054098680 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 59399 58280 691 1178 0 58217 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 237596
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15635
/proc/meminfo: memFree=26614768/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=249464 CPUtime=1721.98 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 90290 0 0 0 169429 2769 0 0 20 0 1 0 338514918 255451136 61262 33554432000 4194304 9016284 140734054104512 140734054098376 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 62366 61262 691 1178 0 61184 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 249464
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15635
/proc/meminfo: memFree=26571864/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=257096 CPUtime=1781.97 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 92245 0 0 0 175323 2874 0 0 20 0 1 0 338514918 263266304 63217 33554432000 4194304 9016284 140734054104512 140734054098376 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 64274 63217 691 1178 0 63092 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 257096
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 15635
/proc/meminfo: memFree=26570624/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=257228 CPUtime=1785.16 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 92287 0 0 0 175636 2880 0 0 20 0 1 0 338514918 263401472 63259 33554432000 4194304 9016284 140734054104512 140734054098424 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 64307 63259 691 1178 0 63125 0
Current children cumulated CPU time (s) 1785.16
Current children cumulated vsize (KiB) 257228
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15635
/proc/meminfo: memFree=26564676/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=258052 CPUtime=1791.57 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 92459 0 0 0 176268 2889 0 0 20 0 1 0 338514918 264245248 63431 33554432000 4194304 9016284 140734054104512 140734054098472 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 64513 63431 691 1178 0 63331 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 258052
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15635
/proc/meminfo: memFree=26563064/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=258052 CPUtime=1794.77 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 92461 0 0 0 176583 2894 0 0 20 0 1 0 338514918 264245248 63433 33554432000 4194304 9016284 140734054104512 140734054098376 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 64513 63433 691 1178 0 63331 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 258052
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15635
/proc/meminfo: memFree=26563064/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=258052 CPUtime=1795.56 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 92462 0 0 0 176661 2895 0 0 20 0 1 0 338514918 264245248 63434 33554432000 4194304 9016284 140734054104512 140734054097880 7214210 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 64513 63434 691 1178 0 63331 0
Current children cumulated CPU time (s) 1795.56
Current children cumulated vsize (KiB) 258052
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15635
/proc/meminfo: memFree=26562940/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=258052 CPUtime=1796.37 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 92462 0 0 0 176740 2897 0 0 20 0 1 0 338514918 264245248 63434 33554432000 4194304 9016284 140734054104512 140734054098680 7219674 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 64513 63434 691 1178 0 63331 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 258052
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15635
/proc/meminfo: memFree=26562940/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=258052 CPUtime=1796.76 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 92464 0 0 0 176779 2897 0 0 20 0 1 0 338514918 264245248 63436 33554432000 4194304 9016284 140734054104512 140734054098680 4897739 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 64513 63436 693 1178 0 63331 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 258052
[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15635
/proc/meminfo: memFree=26562940/32873648 swapFree=6860/6860
[pid=15520] ppid=15518 vsize=258052 CPUtime=1796.86 cores=0,2,4,6
/proc/15520/stat : 15520 (scip-2.0.1.4b_2) R 15518 15520 13307 0 -1 4202496 92464 0 0 0 176789 2897 0 0 20 0 1 0 338514918 264245248 63436 33554432000 4194304 9016284 140734054104512 140734054098680 4841537 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15520/statm: 64513 63436 693 1178 0 63331 0
Current children cumulated CPU time (s) 1796.86
Current children cumulated vsize (KiB) 258052
Child status: 0
Real time (s): 1797.23
CPU time (s): 1796.91
CPU user time (s): 1767.93
CPU system time (s): 28.9836
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 258052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.93
system time used= 28.9836
maximum resident set size= 253744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92469
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= 37
involuntary context switches= 1892
runsolver used 2.71059 second user time and 7.09892 second system time
The end