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-3488544-1307781098.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.09/0.19 c (round 1) 0 del vars, 6626 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 415046 impls, 0 clqs
0.18/0.22 c (round 2) 6226 del vars, 6626 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 415046 impls, 0 clqs
0.18/0.22 c (0.2s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.18/0.22 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.18/0.22 c presolving (3 rounds):
0.18/0.22 c 6226 deleted vars, 6626 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.18/0.22 c 415046 implications, 0 cliques
0.18/0.22 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.18/0.22 c 200 constraints of type <logicor>
0.18/0.22 c transformed objective value is always integral (scale: 1)
0.18/0.22 c Presolving Time: 0.19
0.18/0.22 c - non default parameters ----------------------------------------------------------------------
0.18/0.22 c # SCIP version 2.0.1.5
0.18/0.22 c
0.18/0.22 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.18/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.18/0.22 c conflict/interconss = 0
0.18/0.22 c
0.18/0.22 c # should binary conflicts be preferred?
0.18/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.22 c conflict/preferbinary = TRUE
0.18/0.22 c
0.18/0.22 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.18/0.22 c # [type: int, range: [-1,2147483647], default: 0]
0.18/0.22 c constraints/agelimit = 1
0.18/0.22 c
0.18/0.22 c # should enforcement of pseudo solution be disabled?
0.18/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.22 c constraints/disableenfops = TRUE
0.18/0.22 c
0.18/0.22 c # frequency for displaying node information lines
0.18/0.22 c # [type: int, range: [-1,2147483647], default: 100]
0.18/0.22 c display/freq = 10000
0.18/0.22 c
0.18/0.22 c # maximal time in seconds to run
0.18/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.22 c limits/time = 1797
0.18/0.22 c
0.18/0.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.18/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.22 c limits/memory = 13950
0.18/0.22 c
0.18/0.22 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.18/0.22 c # [type: int, range: [1,2], default: 1]
0.18/0.22 c timing/clocktype = 2
0.18/0.22 c
0.18/0.22 c # belongs reading time to solving time?
0.18/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.22 c timing/reading = TRUE
0.18/0.22 c
0.18/0.22 c # should presolving try to simplify inequalities
0.18/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.22 c constraints/linear/simplifyinequalities = TRUE
0.18/0.22 c
0.18/0.22 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.18/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.22 c constraints/indicator/addCouplingCons = TRUE
0.18/0.22 c
0.18/0.22 c # should presolving try to simplify knapsacks
0.18/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.22 c constraints/knapsack/simplifyinequalities = TRUE
0.18/0.22 c
0.18/0.22 c -----------------------------------------------------------------------------------------------
0.18/0.22 c start solving
0.18/0.22 c
0.29/0.32 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.32 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.32 o 107
0.29/0.32 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.32 o 106
0.29/0.32 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.39/1.42 c 1.4s| 1 | 2 | 1177 | - | 14M| 0 | 107 | 200 | 200 | 200 | 200 | 0 | 0 | 17 | 6.112480e+00 | 1.600000e+01 | 161.76%
2.79/2.88 o 16
2.79/2.88 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%
2.79/2.89 o 15
2.79/2.89 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%
2.89/2.95 o 12
2.89/2.95 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%
2.99/3.01 o 11
2.99/3.01 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%
115.59/115.67 c 116s| 10000 | 6546 | 1454k| 145.4 | 20M| 71 | 55 | 200 | 200 | 200 | 200 | 0 | 0 |1709 | 7.571602e+00 | 1.100000e+01 | 45.28%
190.69/190.73 c 191s| 20000 | 11568 | 2559k| 127.9 | 26M| 79 | 55 | 200 | 200 | 200 | 200 | 0 | 0 |2558 | 7.825205e+00 | 1.100000e+01 | 40.57%
254.89/254.93 c 255s| 30000 | 16450 | 3534k| 117.8 | 32M| 83 | 49 | 200 | 200 | 200 | 200 | 0 | 0 |3136 | 7.967558e+00 | 1.100000e+01 | 38.06%
309.59/309.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.59/309.63 c 310s| 40000 | 20814 | 4403k| 110.1 | 37M| 86 | 35 | 200 | 200 | 200 | 200 | 0 | 0 |3595 | 8.059988e+00 | 1.100000e+01 | 36.48%
362.00/362.04 c 362s| 50000 | 24754 | 5232k| 104.6 | 43M| 86 | 57 | 200 | 200 | 200 | 200 | 0 | 0 |3930 | 8.121332e+00 | 1.100000e+01 | 35.45%
414.89/414.92 c 415s| 60000 | 28326 | 6059k| 101.0 | 47M| 90 | 66 | 200 | 200 | 200 | 200 | 0 | 0 |4323 | 8.180580e+00 | 1.100000e+01 | 34.46%
465.10/465.13 c 465s| 70000 | 31724 | 6850k| 97.9 | 51M| 90 | - | 200 | 200 | 200 | 200 | 0 | 0 |4659 | 8.225302e+00 | 1.100000e+01 | 33.73%
514.50/514.58 c 515s| 80000 | 35184 | 7641k| 95.5 | 55M| 90 | 46 | 200 | 200 | 200 | 200 | 0 | 0 |4978 | 8.278292e+00 | 1.100000e+01 | 32.88%
563.40/563.45 c 563s| 90000 | 38600 | 8433k| 93.7 | 59M| 90 | 54 | 200 | 200 | 200 | 200 | 0 | 0 |5252 | 8.310500e+00 | 1.100000e+01 | 32.36%
611.70/611.74 c 612s|100000 | 41950 | 9203k| 92.0 | 63M| 95 | 56 | 200 | 200 | 200 | 200 | 0 | 0 |5631 | 8.351611e+00 | 1.100000e+01 | 31.71%
657.81/657.89 c 658s|110000 | 45178 | 9954k| 90.5 | 67M| 95 | 52 | 200 | 200 | 200 | 200 | 0 | 0 |5885 | 8.382723e+00 | 1.100000e+01 | 31.22%
703.71/703.78 c 704s|120000 | 48472 | 10694k| 89.1 | 72M| 95 | - | 200 | 200 | 200 | 200 | 0 | 0 |6218 | 8.408259e+00 | 1.100000e+01 | 30.82%
747.81/747.89 c 748s|130000 | 51706 | 11425k| 87.9 | 76M| 95 | 63 | 200 | 200 | 200 | 200 | 0 | 0 |6399 | 8.429813e+00 | 1.100000e+01 | 30.49%
790.51/790.59 c 791s|140000 | 54870 | 12117k| 86.5 | 80M| 95 | 63 | 200 | 200 | 200 | 200 | 0 | 0 |6696 | 8.454531e+00 | 1.100000e+01 | 30.11%
832.01/832.00 c 832s|150000 | 57898 | 12788k| 85.3 | 84M| 95 | 64 | 200 | 200 | 200 | 200 | 0 | 0 |6960 | 8.470409e+00 | 1.100000e+01 | 29.86%
872.41/872.47 c 872s|160000 | 60910 | 13442k| 84.0 | 88M| 95 | - | 200 | 200 | 200 | 200 | 0 | 0 |7253 | 8.490951e+00 | 1.100000e+01 | 29.55%
912.02/912.03 c 912s|170000 | 63734 | 14085k| 82.8 | 93M| 95 | - | 200 | 200 | 200 | 200 | 0 | 0 |7536 | 8.508635e+00 | 1.100000e+01 | 29.28%
952.32/952.32 c 952s|180000 | 66742 | 14744k| 81.9 | 97M| 95 | - | 200 | 200 | 200 | 200 | 0 | 0 |7750 | 8.522827e+00 | 1.100000e+01 | 29.07%
989.92/989.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.92/989.99 c 990s|190000 | 69686 | 15353k| 80.8 | 101M| 95 | 44 | 200 | 200 | 200 | 200 | 0 | 0 |7972 | 8.534285e+00 | 1.100000e+01 | 28.89%
1028.32/1028.30 c 1028s|200000 | 72572 | 15978k| 79.9 | 106M| 97 | 46 | 200 | 200 | 200 | 200 | 0 | 0 |8187 | 8.549743e+00 | 1.100000e+01 | 28.66%
1065.22/1065.21 c 1065s|210000 | 75414 | 16582k| 79.0 | 110M| 97 | 70 | 200 | 200 | 200 | 200 | 0 | 0 |8369 | 8.561810e+00 | 1.100000e+01 | 28.48%
1101.32/1101.38 c 1101s|220000 | 78234 | 17170k| 78.0 | 115M| 97 | 64 | 200 | 200 | 200 | 200 | 0 | 0 |8566 | 8.573248e+00 | 1.100000e+01 | 28.31%
1137.22/1137.25 c 1137s|230000 | 80920 | 17753k| 77.2 | 119M| 97 | 54 | 200 | 200 | 200 | 200 | 0 | 0 |8806 | 8.584146e+00 | 1.100000e+01 | 28.14%
1173.53/1173.58 c 1174s|240000 | 83664 | 18338k| 76.4 | 124M| 97 | - | 200 | 200 | 200 | 200 | 0 | 0 |9100 | 8.595742e+00 | 1.100000e+01 | 27.97%
1208.93/1208.98 c 1209s|250000 | 86314 | 18916k| 75.7 | 128M| 97 | 60 | 200 | 200 | 200 | 200 | 0 | 0 |9316 | 8.605993e+00 | 1.100000e+01 | 27.82%
1243.72/1243.74 c 1244s|260000 | 88926 | 19483k| 74.9 | 132M| 97 | - | 200 | 200 | 200 | 200 | 0 | 0 |9474 | 8.616218e+00 | 1.100000e+01 | 27.67%
1277.43/1277.43 c 1277s|270000 | 91434 | 20041k| 74.2 | 137M| 97 | 54 | 200 | 200 | 200 | 200 | 0 | 0 |9603 | 8.626947e+00 | 1.100000e+01 | 27.51%
1310.72/1310.76 c 1311s|280000 | 93818 | 20574k| 73.5 | 141M| 101 | 57 | 200 | 200 | 200 | 200 | 0 | 0 |9870 | 8.637780e+00 | 1.100000e+01 | 27.35%
1343.63/1343.64 c 1344s|290000 | 96218 | 21110k| 72.8 | 145M| 101 | - | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.647201e+00 | 1.100000e+01 | 27.21%
1375.53/1375.57 c 1376s|300000 | 98538 | 21634k| 72.1 | 149M| 101 | - | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.656459e+00 | 1.100000e+01 | 27.07%
1407.33/1407.35 c 1407s|310000 |100840 | 22153k| 71.5 | 153M| 101 | - | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.664643e+00 | 1.100000e+01 | 26.95%
1440.03/1440.07 c 1440s|320000 |103116 | 22675k| 70.9 | 157M| 101 | 48 | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.672588e+00 | 1.100000e+01 | 26.84%
1471.84/1471.85 c 1472s|330000 |105350 | 23193k| 70.3 | 161M| 101 | - | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.680560e+00 | 1.100000e+01 | 26.72%
1503.64/1503.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.64/1503.66 c 1504s|340000 |107550 | 23712k| 69.7 | 166M| 101 | 55 | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.688410e+00 | 1.100000e+01 | 26.61%
1535.94/1535.92 c 1536s|350000 |109778 | 24224k| 69.2 | 170M| 101 | - | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.697659e+00 | 1.100000e+01 | 26.47%
1567.24/1567.23 c 1567s|360000 |111934 | 24739k| 68.7 | 174M| 101 | 55 | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.704516e+00 | 1.100000e+01 | 26.37%
1599.13/1599.16 c 1599s|370000 |114016 | 25261k| 68.3 | 178M| 101 | 63 | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.711723e+00 | 1.100000e+01 | 26.27%
1631.74/1631.73 c 1632s|380000 |116040 | 25782k| 67.8 | 182M| 101 | - | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.721179e+00 | 1.100000e+01 | 26.13%
1662.24/1662.28 c 1662s|390000 |118246 | 26285k| 67.4 | 186M| 101 | - | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.729209e+00 | 1.100000e+01 | 26.01%
1694.23/1694.28 c 1694s|400000 |120308 | 26796k| 67.0 | 190M| 101 | 71 | 200 | 200 | 200 | 200 | 0 | 0 | 12k| 8.736811e+00 | 1.100000e+01 | 25.90%
1725.64/1725.60 c 1726s|410000 |122332 | 27304k| 66.6 | 194M| 101 | 57 | 200 | 200 | 200 | 200 | 0 | 0 | 12k| 8.744148e+00 | 1.100000e+01 | 25.80%
1757.14/1757.12 c 1757s|420000 |124386 | 27821k| 66.2 | 198M| 101 | 58 | 200 | 200 | 200 | 200 | 0 | 0 | 12k| 8.750644e+00 | 1.100000e+01 | 25.71%
1788.64/1788.68 c 1789s|430000 |126322 | 28330k| 65.9 | 202M| 101 | 56 | 200 | 200 | 200 | 200 | 0 | 0 | 12k| 8.758406e+00 | 1.100000e+01 | 25.59%
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 432802
1797.05/1797.00 c Primal Bound : +1.10000000000000e+01 (710 solutions)
1797.05/1797.00 c Dual Bound : +8.75968170472954e+00
1797.05/1797.00 c Gap : 25.58 %
1797.05/1797.01 s SATISFIABLE
1797.05/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
1797.05/1797.01 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
1797.05/1797.01 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1797.05/1797.01 v -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117
1797.05/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
1797.05/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
1797.05/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
1797.05/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
1797.05/1797.01 v -x18 -x17 -x16 -x15 x14 -x13 x12 -x11 x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.05/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.01 c Total Time : 1797.00
1797.05/1797.01 c solving : 1797.00
1797.05/1797.01 c presolving : 0.19 (included in solving)
1797.05/1797.01 c reading : 0.02 (included in solving)
1797.05/1797.01 c Original Problem :
1797.05/1797.01 c Problem name : HOME/instance-3488544-1307781098.opb
1797.05/1797.01 c Variables : 6426 (6426 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01 c Constraints : 6626 initial, 6626 maximal
1797.05/1797.01 c Presolved Problem :
1797.05/1797.01 c Problem name : t_HOME/instance-3488544-1307781098.opb
1797.05/1797.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01 c Constraints : 200 initial, 200 maximal
1797.05/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c dualfix : 0.03 6226 0 0 0 0 0 0 0 0
1797.05/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c pseudoboolean : 0.01 0 0 0 0 0 6626 200 0 0
1797.05/1797.01 c root node : - 0 - - 0 - - - - -
1797.05/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.01 c integral : 0 0 0 281741 0 715 0 140 5805 0 0 559674
1797.05/1797.01 c logicor : 200 1 298129 0 0 710 0 0 0 0 0 0
1797.05/1797.01 c countsols : 0 0 0 0 0 713 0 0 0 0 0 0
1797.05/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.01 c integral : 97.18 0.00 0.00 97.18 0.00 0.00 0.00
1797.05/1797.01 c logicor : 4.74 0.00 4.74 0.00 0.00 0.00 0.00
1797.05/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.01 c vbounds : 0 0 0 0
1797.05/1797.01 c rootredcost : 3 0 0 0
1797.05/1797.01 c pseudoobj : 753677 0 0 0
1797.05/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.01 c vbounds : 0.15 0.15 0.00
1797.05/1797.01 c rootredcost : 0.15 0.15 0.00
1797.05/1797.01 c pseudoobj : 3.31 3.31 0.00
1797.05/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.01 c applied globally : - - - 0 0.0 - - -
1797.05/1797.01 c applied locally : - - - 0 0.0 - - -
1797.05/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.05/1797.01 c redcost : 5.73 499891 0 3608113 0 0
1797.05/1797.01 c impliedbounds : 0.00 2 0 0 0 0
1797.05/1797.01 c intobj : 0.00 0 0 0 0 0
1797.05/1797.01 c gomory : 0.02 2 0 0 0 0
1797.05/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.01 c strongcg : 0.02 2 0 0 0 0
1797.05/1797.01 c cmir : 0.01 2 0 0 0 0
1797.05/1797.01 c flowcover : 0.01 2 0 0 0 0
1797.05/1797.01 c clique : 0.00 1 0 0 0 0
1797.05/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.01 c mcf : 0.00 1 0 0 0 0
1797.05/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.05/1797.01 c Pricers : Time Calls Vars
1797.05/1797.01 c problem variables: 0.00 0 0
1797.05/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.01 c relpscost : 97.03 281741 140 5805 0 0 559674
1797.05/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.01 c random : 0.00 0 0 0 0 0 0
1797.05/1797.01 c Primal Heuristics : Time Calls Found
1797.05/1797.01 c LP solutions : 0.00 - 0
1797.05/1797.01 c pseudo solutions : 0.00 - 0
1797.05/1797.01 c feaspump : 0.01 0 0
1797.05/1797.01 c oneopt : 0.10 5 2
1797.05/1797.01 c crossover : 0.52 11 6
1797.05/1797.01 c objpscostdiving : 42.32 414 178
1797.05/1797.01 c linesearchdiving : 12.60 917 0
1797.05/1797.01 c pscostdiving : 17.00 917 0
1797.05/1797.01 c veclendiving : 15.15 917 0
1797.05/1797.01 c guideddiving : 9.12 917 0
1797.05/1797.01 c rootsoldiving : 7.88 459 0
1797.05/1797.01 c coefdiving : 12.67 918 0
1797.05/1797.01 c fracdiving : 9.30 918 0
1797.05/1797.01 c trivial : 0.01 2 2
1797.05/1797.01 c shiftandpropagate: 0.00 0 0
1797.05/1797.01 c simplerounding : 1.91 281742 81
1797.05/1797.01 c zirounding : 2.49 21851 437
1797.05/1797.01 c rounding : 1.57 42190 3
1797.05/1797.01 c shifting : 0.42 7617 1
1797.05/1797.01 c intshifting : 0.01 0 0
1797.05/1797.01 c twoopt : 0.00 0 0
1797.05/1797.01 c fixandinfer : 0.00 0 0
1797.05/1797.01 c clique : 0.00 0 0
1797.05/1797.01 c intdiving : 0.00 0 0
1797.05/1797.01 c actconsdiving : 0.00 0 0
1797.05/1797.01 c octane : 0.00 0 0
1797.05/1797.01 c rens : 0.01 0 0
1797.05/1797.01 c rins : 0.00 0 0
1797.05/1797.01 c localbranching : 0.00 0 0
1797.05/1797.01 c mutation : 0.00 0 0
1797.05/1797.01 c dins : 0.00 0 0
1797.05/1797.01 c vbounds : 0.00 0 0
1797.05/1797.01 c undercover : 0.00 0 0
1797.05/1797.01 c subnlp : 0.06 0 0
1797.05/1797.01 c trysol : 0.11 0 0
1797.05/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.05/1797.01 c dual LP : 1516.36 434566 25950507 59.72 17113.69
1797.05/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.01 c diving/probing LP: 119.19 118938 2517290 21.16 21119.70
1797.05/1797.01 c strong branching : 92.60 12556 1340659 106.77 14477.72
1797.05/1797.01 c (at root node) : - 17 10290 605.29 -
1797.05/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.01 c B&B Tree :
1797.05/1797.01 c number of runs : 1
1797.05/1797.01 c nodes : 432802
1797.05/1797.01 c nodes (total) : 432802
1797.05/1797.01 c nodes left : 126874
1797.05/1797.01 c max depth : 101
1797.05/1797.01 c max depth (total): 101
1797.05/1797.01 c backtracks : 38647 (8.9%)
1797.05/1797.01 c delayed cutoffs : 0
1797.05/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.01 c avg switch length: 6.53
1797.05/1797.01 c switching time : 6.31
1797.05/1797.01 c Solution :
1797.05/1797.01 c Solutions found : 710 (10 improvements)
1797.05/1797.01 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1797.05/1797.01 c Primal Bound : +1.10000000000000e+01 (in run 1, after 9 nodes, 3.01 seconds, depth 8, found by <rounding>)
1797.05/1797.01 c Dual Bound : +8.75968170472954e+00
1797.05/1797.01 c Gap : 25.58 %
1797.05/1797.01 c Root Dual Bound : +6.11247980404908e+00
1797.05/1797.01 c Root Iterations : 1177
1797.24/1797.25 c Time complete: 1797.29.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488544-1307781098/watcher-3488544-1307781098 -o /tmp/evaluation-result-3488544-1307781098/solver-3488544-1307781098 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488544-1307781098.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12641
/proc/meminfo: memFree=31392964/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=12696 CPUtime=0 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 2140 0 0 0 0 0 0 0 25 0 1 0 889712126 13000704 2094 33554432000 4194304 9016284 140735459313776 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12641/statm: 3174 2101 353 1178 0 1992 0
[startup+0.0624231 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12641
/proc/meminfo: memFree=31392964/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=37456 CPUtime=0.05 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 7957 0 0 0 5 0 0 0 25 0 1 0 889712126 38354944 7912 33554432000 4194304 9016284 140735459313776 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12641/statm: 9364 7957 478 1178 0 8182 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 37456
[startup+0.100417 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12641
/proc/meminfo: memFree=31392964/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=43212 CPUtime=0.09 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 9436 0 0 0 9 0 0 0 25 0 1 0 889712126 44249088 9390 33554432000 4194304 9016284 140735459313776 18446744073709551615 6476183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12641/statm: 10803 9390 478 1178 0 9621 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43212
[startup+0.300377 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12641
/proc/meminfo: memFree=31392964/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=55088 CPUtime=0.29 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 12832 0 0 0 28 1 0 0 25 0 1 0 889712126 56410112 12522 33554432000 4194304 9016284 140735459313776 18446744073709551615 7219374 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12641/statm: 13772 12522 621 1178 0 12590 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55088
[startup+0.700312 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12641
/proc/meminfo: memFree=31392964/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=55232 CPUtime=0.69 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 14566 0 0 0 67 2 0 0 25 0 1 0 889712126 56557568 12659 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12641/statm: 13808 12659 671 1178 0 12626 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55232
[startup+1.50015 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12642
/proc/meminfo: memFree=31344656/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=55232 CPUtime=1.49 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 14571 0 0 0 145 4 0 0 25 0 1 0 889712126 56557568 12664 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12641/statm: 13808 12664 676 1178 0 12626 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55232
[startup+3.10084 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12642
/proc/meminfo: memFree=31344284/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=55232 CPUtime=3.09 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 14571 0 0 0 298 11 0 0 25 0 1 0 889712126 56557568 12664 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12641/statm: 13808 12664 676 1178 0 12626 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55232
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12642
/proc/meminfo: memFree=31344424/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=55396 CPUtime=6.29 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 14600 0 0 0 608 21 0 0 25 0 1 0 889712126 56725504 12693 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12641/statm: 13849 12693 676 1178 0 12667 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55396
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12642
/proc/meminfo: memFree=31344300/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=55444 CPUtime=12.69 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 17454 0 0 0 1226 43 0 0 25 0 1 0 889712126 56774656 12730 33554432000 4194304 9016284 140735459313776 18446744073709551615 7199020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12641/statm: 13861 12730 689 1178 0 12679 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55444
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12642
/proc/meminfo: memFree=31341100/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=56308 CPUtime=25.49 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 17701 0 0 0 2458 91 0 0 25 0 1 0 889712126 57659392 12977 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12641/statm: 14077 12977 691 1178 0 12895 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56308
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12643
/proc/meminfo: memFree=31345860/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=57420 CPUtime=51.09 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 23460 0 0 0 4919 190 0 0 25 0 1 0 889712126 58798080 13234 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12641/statm: 14355 13234 691 1178 0 13173 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57420
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12644
/proc/meminfo: memFree=31340260/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=61580 CPUtime=102.3 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 30294 0 0 0 9821 409 0 0 25 0 1 0 889712126 63057920 14297 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12641/statm: 15395 14297 691 1178 0 14213 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 61580
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12646
/proc/meminfo: memFree=31335380/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=65628 CPUtime=162.29 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 37180 0 0 0 15559 670 0 0 25 0 1 0 889712126 67203072 15340 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12641/statm: 16407 15340 691 1178 0 15225 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 65628
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12648
/proc/meminfo: memFree=31329648/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=71932 CPUtime=222.29 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 38748 0 0 0 21287 942 0 0 25 0 1 0 889712126 73658368 16908 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 17983 16908 691 1178 0 16801 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 71932
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12649
/proc/meminfo: memFree=31315848/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=79780 CPUtime=282.29 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 40744 0 0 0 27010 1219 0 0 25 0 1 0 889712126 81694720 18889 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 19945 18889 691 1178 0 18763 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 79780
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12651
/proc/meminfo: memFree=31309872/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=87632 CPUtime=342.3 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 45365 0 0 0 32738 1492 0 0 25 0 1 0 889712126 89735168 20861 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 21908 20861 691 1178 0 20726 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 87632
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12652
/proc/meminfo: memFree=31305112/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=93032 CPUtime=402.3 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 46760 0 0 0 38482 1748 0 0 25 0 1 0 889712126 95264768 22256 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 23258 22256 691 1178 0 22076 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 93032
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12654
/proc/meminfo: memFree=31302208/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=100604 CPUtime=462.29 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 48649 0 0 0 44218 2011 0 0 25 0 1 0 889712126 103018496 24145 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 25151 24145 691 1178 0 23969 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 100604
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12656
/proc/meminfo: memFree=31292972/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=106592 CPUtime=522.3 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 50164 0 0 0 49941 2289 0 0 25 0 1 0 889712126 109150208 25660 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 26648 25660 691 1178 0 25466 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 106592
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12657
/proc/meminfo: memFree=31288104/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=113784 CPUtime=582.3 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 54394 0 0 0 55669 2561 0 0 25 0 1 0 889712126 116514816 27424 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 28446 27424 692 1178 0 27264 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 113784
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31218100/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=181700 CPUtime=1122.33 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 73663 0 0 0 107158 5075 0 0 25 0 1 0 889712126 186060800 44022 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 45425 44022 692 1178 0 44243 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 181700
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12673
/proc/meminfo: memFree=31213596/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=187872 CPUtime=1182.33 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 75187 0 0 0 112874 5359 0 0 25 0 1 0 889712126 192380928 45546 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 46968 45546 692 1178 0 45786 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 187872
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12675
/proc/meminfo: memFree=31202892/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=196684 CPUtime=1242.33 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 77395 0 0 0 118590 5643 0 0 25 0 1 0 889712126 201404416 47754 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 49171 47754 692 1178 0 47989 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 196684
[startup+1302.3 s]
/proc/loadavg: 1.61 1.90 1.93 2/172 12700
/proc/meminfo: memFree=31405108/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=204412 CPUtime=1302.33 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 79387 0 0 0 124140 6093 0 0 25 0 1 0 889712126 209317888 49746 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 51103 49746 692 1178 0 49921 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 204412
[startup+1362.3 s]
/proc/loadavg: 1.22 1.74 1.87 2/172 12702
/proc/meminfo: memFree=31393928/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=215400 CPUtime=1362.33 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 82180 0 0 0 129560 6673 0 0 25 0 1 0 889712126 220569600 52539 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 53850 52539 692 1178 0 52668 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 215400
[startup+1422.31 s]
/proc/loadavg: 1.08 1.60 1.81 2/172 12704
/proc/meminfo: memFree=31388800/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=220916 CPUtime=1422.34 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 83521 0 0 0 134983 7251 0 0 25 0 1 0 889712126 226217984 53880 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 55229 53880 692 1178 0 54047 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 220916
[startup+1482.3 s]
/proc/loadavg: 1.03 1.49 1.76 2/172 12705
/proc/meminfo: memFree=31378096/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=231944 CPUtime=1482.33 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 86299 0 0 0 140406 7827 0 0 25 0 1 0 889712126 237510656 56658 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 57986 56658 692 1178 0 56804 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 231944
[startup+1542.3 s]
/proc/loadavg: 1.01 1.40 1.71 2/172 12707
/proc/meminfo: memFree=31368012/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=241640 CPUtime=1542.33 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 88707 0 0 0 145827 8406 0 0 25 0 1 0 889712126 247439360 59066 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 60410 59066 692 1178 0 59228 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 241640
[startup+1602.3 s]
/proc/loadavg: 1.00 1.32 1.66 2/172 12708
/proc/meminfo: memFree=31359288/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=250240 CPUtime=1602.34 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 90897 0 0 0 151242 8992 0 0 25 0 1 0 889712126 256245760 61256 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 62560 61256 692 1178 0 61378 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 250240
[startup+1662.3 s]
/proc/loadavg: 1.00 1.26 1.62 2/172 12710
/proc/meminfo: memFree=31349596/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=260036 CPUtime=1662.34 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 93331 0 0 0 156654 9580 0 0 25 0 1 0 889712126 266276864 63690 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12641/statm: 65009 63690 692 1178 0 63827 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 260036
[startup+1722.3 s]
/proc/loadavg: 1.00 1.21 1.58 2/172 12712
/proc/meminfo: memFree=31344840/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=264512 CPUtime=1722.34 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 97007 0 0 0 162071 10163 0 0 25 0 1 0 889712126 270860288 64856 33554432000 4194304 9016284 140735459313776 18446744073709551615 7201007 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 66128 64856 692 1178 0 64946 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 264512
[startup+1782.3 s]
/proc/loadavg: 1.00 1.17 1.54 2/172 12722
/proc/meminfo: memFree=31332120/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=276680 CPUtime=1782.35 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 100021 0 0 0 167500 10735 0 0 25 0 1 0 889712126 283320320 67870 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 69170 67870 692 1178 0 67988 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 276680
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.17 1.53 2/172 12722
/proc/meminfo: memFree=31332120/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=276680 CPUtime=1785.55 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 100024 0 0 0 167789 10766 0 0 25 0 1 0 889712126 283320320 67873 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 69170 67873 692 1178 0 67988 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 276680
[startup+1791.91 s]
/proc/loadavg: 1.00 1.16 1.53 2/172 12723
/proc/meminfo: memFree=31332112/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=276680 CPUtime=1791.94 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 100026 0 0 0 168362 10832 0 0 25 0 1 0 889712126 283320320 67875 33554432000 4194304 9016284 140735459313776 18446744073709551615 7219378 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 69170 67875 692 1178 0 67988 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 276680
[startup+1795.1 s]
/proc/loadavg: 1.00 1.16 1.53 2/172 12723
/proc/meminfo: memFree=31330872/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=277684 CPUtime=1795.15 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 100281 0 0 0 168651 10864 0 0 25 0 1 0 889712126 284348416 68130 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 69421 68130 692 1178 0 68239 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 277684
[startup+1795.9 s]
/proc/loadavg: 1.00 1.16 1.53 2/172 12723
/proc/meminfo: memFree=31330872/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=277684 CPUtime=1795.95 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 100283 0 0 0 168722 10873 0 0 25 0 1 0 889712126 284348416 68132 33554432000 4194304 9016284 140735459313776 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 69421 68132 692 1178 0 68239 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 277684
[startup+1796.7 s]
/proc/loadavg: 1.00 1.16 1.53 2/172 12723
/proc/meminfo: memFree=31330872/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=277684 CPUtime=1796.74 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 100286 0 0 0 168793 10881 0 0 25 0 1 0 889712126 284348416 68135 33554432000 4194304 9016284 140735459313776 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12641/statm: 69421 68135 692 1178 0 68239 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 277684
[startup+1797.1 s]
/proc/loadavg: 1.00 1.16 1.53 2/172 12723
/proc/meminfo: memFree=31330872/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=277684 CPUtime=1797.14 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 100288 0 0 0 168829 10885 0 0 25 0 1 0 889712126 284348416 68137 33554432000 4194304 9016284 140735459313776 18446744073709551615 4897769 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12641/statm: 69421 68137 694 1178 0 68239 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 277684
[startup+1797.2 s]
/proc/loadavg: 1.00 1.16 1.53 2/172 12723
/proc/meminfo: memFree=31330872/32951124 swapFree=67050520/67111528
[pid=12641] ppid=12639 vsize=277684 CPUtime=1797.24 cores=1,3,5,7
/proc/12641/stat : 12641 (scip-2.0.1.4b_2) R 12639 12641 8206 0 -1 4202496 100288 0 0 0 168839 10885 0 0 25 0 1 0 889712126 284348416 68137 33554432000 4194304 9016284 140735459313776 18446744073709551615 6812706 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12641/statm: 69421 68137 694 1178 0 68239 0
Current children cumulated CPU time (s) 1797.24
Current children cumulated vsize (KiB) 277684
Child status: 0
Real time (s): 1797.25
CPU time (s): 1797.3
CPU user time (s): 1688.44
CPU system time (s): 108.864
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 277684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1688.44
system time used= 108.864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100293
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= 4165
runsolver used 2.46563 second user time and 5.71513 second system time
The end