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-3488542-1307780941.opb>
0.00/0.01 c original problem has 2724 variables (2724 bin, 0 int, 0 impl, 0 cont) and 2924 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 200
0.00/0.02 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.02 c presolving:
0.04/0.06 c (round 1) 0 del vars, 2924 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73720 impls, 0 clqs
0.04/0.07 c (round 2) 2524 del vars, 2924 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 73720 impls, 0 clqs
0.04/0.07 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.04/0.07 c presolving (3 rounds):
0.04/0.07 c 2524 deleted vars, 2924 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.07 c 73720 implications, 0 cliques
0.04/0.07 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.04/0.07 c 200 constraints of type <logicor>
0.04/0.07 c transformed objective value is always integral (scale: 1)
0.04/0.07 c Presolving Time: 0.06
0.04/0.07 c - non default parameters ----------------------------------------------------------------------
0.04/0.07 c # SCIP version 2.0.1.5
0.04/0.07 c
0.04/0.07 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.07 c conflict/interconss = 0
0.04/0.07 c
0.04/0.07 c # should binary conflicts be preferred?
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c conflict/preferbinary = TRUE
0.04/0.07 c
0.04/0.07 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.07 c constraints/agelimit = 1
0.04/0.07 c
0.04/0.07 c # should enforcement of pseudo solution be disabled?
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/disableenfops = TRUE
0.04/0.07 c
0.04/0.07 c # frequency for displaying node information lines
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.07 c display/freq = 10000
0.04/0.07 c
0.04/0.07 c # maximal time in seconds to run
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.07 c limits/time = 1797
0.04/0.07 c
0.04/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.07 c limits/memory = 13950
0.04/0.07 c
0.04/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.04/0.07 c # [type: int, range: [1,2], default: 1]
0.04/0.07 c timing/clocktype = 2
0.04/0.07 c
0.04/0.07 c # belongs reading time to solving time?
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c timing/reading = TRUE
0.04/0.07 c
0.04/0.07 c # should presolving try to simplify inequalities
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/linear/simplifyinequalities = TRUE
0.04/0.07 c
0.04/0.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/indicator/addCouplingCons = TRUE
0.04/0.07 c
0.04/0.07 c # should presolving try to simplify knapsacks
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.07 c
0.04/0.07 c -----------------------------------------------------------------------------------------------
0.04/0.07 c start solving
0.04/0.07 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c t 0.2s| 1 | 0 | 1607 | - |6472k| 0 | 128 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.454422e+01 | 2.000000e+02 |1275.12%
0.09/0.17 o 128
0.09/0.17 c r 0.2s| 1 | 0 | 1607 | - |6477k| 0 | 128 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.454422e+01 | 1.280000e+02 | 780.07%
0.09/0.17 o 127
0.09/0.17 c R 0.2s| 1 | 0 | 1607 | - |6482k| 0 | 128 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.454422e+01 | 1.270000e+02 | 773.20%
0.09/0.17 o 126
0.09/0.17 c s 0.2s| 1 | 0 | 1607 | - |6487k| 0 | 128 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.454422e+01 | 1.260000e+02 | 766.32%
0.19/0.21 c 0.2s| 1 | 0 | 1676 | - |7338k| 0 | 121 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 1.456542e+01 | 1.260000e+02 | 765.06%
0.19/0.21 o 34
0.19/0.21 c b 0.2s| 1 | 0 | 1676 | - |7343k| 0 | 121 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 1.456542e+01 | 3.400000e+01 | 133.43%
0.19/0.24 c 0.2s| 1 | 0 | 1737 | - |7950k| 0 | 121 | 200 | 200 | 200 | 202 | 2 | 0 | 0 | 1.457832e+01 | 3.400000e+01 | 133.22%
0.19/0.28 c 0.3s| 1 | 0 | 1815 | - |8107k| 0 | 119 | 200 | 200 | 200 | 203 | 3 | 0 | 0 | 1.459093e+01 | 3.400000e+01 | 133.02%
0.29/0.31 c 0.3s| 1 | 0 | 1865 | - |8186k| 0 | 121 | 200 | 200 | 200 | 204 | 4 | 0 | 0 | 1.459590e+01 | 3.400000e+01 | 132.94%
0.29/0.34 c 0.3s| 1 | 0 | 1907 | - |8203k| 0 | 119 | 200 | 200 | 200 | 205 | 5 | 0 | 0 | 1.459880e+01 | 3.400000e+01 | 132.90%
1.19/1.21 c 1.2s| 1 | 2 | 1907 | - |8212k| 0 | 119 | 200 | 200 | 200 | 205 | 5 | 0 | 20 | 1.459880e+01 | 3.400000e+01 | 132.90%
3.09/3.16 o 33
3.09/3.16 c z 3.2s| 11 | 12 | 3466 | 155.9 |8278k| 10 | 50 | 200 | 200 | 200 | 205 | 5 | 0 | 168 | 1.480915e+01 | 3.300000e+01 | 122.84%
3.09/3.16 o 25
3.09/3.16 c b 3.2s| 12 | 11 | 3466 | 141.7 |8283k| 11 | - | 200 | 200 | 200 | 205 | 5 | 0 | 168 | 1.480915e+01 | 2.500000e+01 | 68.81%
3.30/3.32 o 24
3.30/3.32 c c 3.3s| 15 | 16 | 3994 | 149.1 |8462k| 14 | - | 200 | 200 | 200 | 205 | 5 | 0 | 218 | 1.480915e+01 | 2.400000e+01 | 62.06%
3.30/3.32 o 22
3.30/3.32 c c 3.3s| 15 | 14 | 3995 | 149.1 |8464k| 14 | - | 200 | 200 | 200 | 205 | 5 | 0 | 218 | 1.480915e+01 | 2.200000e+01 | 48.56%
13.10/13.11 o 21
13.10/13.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.10/13.11 c v13.1s| 528 | 347 | 93324 | 173.5 |8634k| 34 | - | 200 | 200 | 200 | 205 | 5 | 0 | 678 | 1.556875e+01 | 2.100000e+01 | 34.89%
122.10/122.13 c 122s| 10000 | 9819 | 1895k| 189.4 | 12M| 39 | 83 | 200 | 200 | 200 | 205 | 5 | 0 |1816 | 1.716742e+01 | 2.100000e+01 | 22.32%
208.90/208.92 c 209s| 20000 | 19719 | 3428k| 171.3 | 18M| 42 | 68 | 200 | 200 | 200 | 205 | 5 | 0 |2604 | 1.738808e+01 | 2.100000e+01 | 20.77%
284.59/284.60 c 285s| 30000 | 29163 | 4819k| 160.6 | 25M| 42 | 82 | 200 | 200 | 200 | 205 | 5 | 0 |3200 | 1.750839e+01 | 2.100000e+01 | 19.94%
354.69/354.76 c 355s| 40000 | 38295 | 6107k| 152.7 | 33M| 44 | 73 | 200 | 200 | 200 | 205 | 5 | 0 |3673 | 1.757405e+01 | 2.100000e+01 | 19.49%
420.90/420.96 c 421s| 50000 | 47015 | 7349k| 147.0 | 41M| 44 | 95 | 200 | 200 | 200 | 205 | 5 | 0 |4038 | 1.763447e+01 | 2.100000e+01 | 19.08%
486.20/486.21 c 486s| 60000 | 55697 | 8565k| 142.7 | 49M| 44 | 77 | 200 | 200 | 200 | 205 | 5 | 0 |4450 | 1.769164e+01 | 2.100000e+01 | 18.70%
551.61/551.63 c 552s| 70000 | 64015 | 9827k| 140.4 | 57M| 45 | - | 200 | 200 | 200 | 205 | 5 | 0 |4780 | 1.773731e+01 | 2.100000e+01 | 18.39%
612.51/612.55 c 613s| 80000 | 72049 | 10993k| 137.4 | 65M| 45 | - | 200 | 200 | 200 | 205 | 5 | 0 |5052 | 1.776871e+01 | 2.100000e+01 | 18.19%
673.91/673.94 c 674s| 90000 | 80017 | 12188k| 135.4 | 74M| 47 | - | 200 | 200 | 200 | 205 | 5 | 0 |5384 | 1.779874e+01 | 2.100000e+01 | 17.99%
732.71/732.76 c 733s|100000 | 87809 | 13327k| 133.3 | 82M| 47 | 80 | 200 | 200 | 200 | 205 | 5 | 0 |5632 | 1.782772e+01 | 2.100000e+01 | 17.79%
792.41/792.42 c 792s|110000 | 95545 | 14486k| 131.7 | 91M| 48 | 82 | 200 | 200 | 200 | 205 | 5 | 0 |5939 | 1.785631e+01 | 2.100000e+01 | 17.61%
849.61/849.60 c 850s|120000 |103299 | 15580k| 129.8 | 100M| 48 | 85 | 200 | 200 | 200 | 205 | 5 | 0 |6189 | 1.787997e+01 | 2.100000e+01 | 17.45%
905.31/905.34 c 905s|130000 |110785 | 16659k| 128.1 | 108M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 |6411 | 1.790636e+01 | 2.100000e+01 | 17.28%
960.61/960.61 c 961s|140000 |118305 | 17734k| 126.7 | 117M| 48 | 60 | 200 | 200 | 200 | 205 | 5 | 0 |6627 | 1.792863e+01 | 2.100000e+01 | 17.13%
1013.51/1013.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1013.51/1013.53 c 1014s|150000 |125513 | 18763k| 125.1 | 125M| 48 | 93 | 200 | 200 | 200 | 205 | 5 | 0 |6840 | 1.794759e+01 | 2.100000e+01 | 17.01%
1066.71/1066.74 c 1067s|160000 |132829 | 19801k| 123.7 | 134M| 49 | 71 | 200 | 200 | 200 | 205 | 5 | 0 |7038 | 1.797075e+01 | 2.100000e+01 | 16.86%
1119.61/1119.61 c 1120s|170000 |140087 | 20832k| 122.5 | 142M| 49 | 79 | 200 | 200 | 200 | 205 | 5 | 0 |7236 | 1.799265e+01 | 2.100000e+01 | 16.71%
1172.42/1172.43 c 1172s|180000 |147231 | 21850k| 121.4 | 151M| 49 | 82 | 200 | 200 | 200 | 205 | 5 | 0 |7416 | 1.801456e+01 | 2.100000e+01 | 16.57%
1192.42/1192.41 o 20
1192.42/1192.41 c g1192s|183905 | 54211 | 22236k| 120.9 | 36M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 |7549 | 1.802127e+01 | 2.000000e+01 | 10.98%
1210.22/1210.26 c 1210s|190000 | 54454 | 22561k| 118.7 | 37M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 |7599 | 1.803329e+01 | 2.000000e+01 | 10.91%
1240.82/1240.89 c 1241s|200000 | 53834 | 23114k| 115.6 | 39M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 |7950 | 1.805418e+01 | 2.000000e+01 | 10.78%
1268.12/1268.18 c 1268s|210000 | 52776 | 23602k| 112.4 | 40M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 |8105 | 1.806932e+01 | 2.000000e+01 | 10.68%
1297.41/1297.44 c 1297s|220000 | 51678 | 24122k| 109.6 | 40M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 |8410 | 1.808558e+01 | 2.000000e+01 | 10.59%
1326.22/1326.24 c 1326s|230000 | 50470 | 24653k| 107.2 | 40M| 49 | 91 | 200 | 200 | 200 | 205 | 5 | 0 |8565 | 1.810263e+01 | 2.000000e+01 | 10.48%
1356.02/1356.02 c 1356s|240000 | 49176 | 25178k| 104.9 | 40M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 |8961 | 1.811895e+01 | 2.000000e+01 | 10.38%
1382.93/1382.91 c 1383s|250000 | 47832 | 25652k| 102.6 | 40M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 |9085 | 1.813660e+01 | 2.000000e+01 | 10.27%
1412.02/1412.02 c 1412s|260000 | 46290 | 26170k| 100.6 | 40M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 |9456 | 1.815540e+01 | 2.000000e+01 | 10.16%
1439.83/1439.86 c 1440s|270000 | 44668 | 26668k| 98.8 | 40M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 |9643 | 1.817974e+01 | 2.000000e+01 | 10.01%
1469.53/1469.57 c 1470s|280000 | 42928 | 27197k| 97.1 | 39M| 49 | 84 | 200 | 200 | 200 | 205 | 5 | 0 |9966 | 1.819964e+01 | 2.000000e+01 | 9.89%
1497.52/1497.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.52/1497.52 c 1498s|290000 | 40956 | 27693k| 95.5 | 38M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 | 10k| 1.822140e+01 | 2.000000e+01 | 9.76%
1525.82/1525.89 c 1526s|300000 | 38838 | 28198k| 94.0 | 37M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 | 10k| 1.824447e+01 | 2.000000e+01 | 9.62%
1554.13/1554.12 c 1554s|310000 | 36484 | 28690k| 92.5 | 36M| 49 | 82 | 200 | 200 | 200 | 205 | 5 | 0 | 10k| 1.826438e+01 | 2.000000e+01 | 9.50%
1581.22/1581.27 c 1581s|320000 | 33980 | 29169k| 91.1 | 34M| 49 | 93 | 200 | 200 | 200 | 205 | 5 | 0 | 11k| 1.828858e+01 | 2.000000e+01 | 9.36%
1610.73/1610.74 c 1611s|330000 | 30946 | 29693k| 90.0 | 33M| 49 | 87 | 200 | 200 | 200 | 205 | 5 | 0 | 11k| 1.832058e+01 | 2.000000e+01 | 9.17%
1639.33/1639.34 c 1639s|340000 | 27424 | 30191k| 88.8 | 30M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 | 11k| 1.835443e+01 | 2.000000e+01 | 8.97%
1667.83/1667.85 c 1668s|350000 | 23478 | 30681k| 87.7 | 28M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 | 12k| 1.839616e+01 | 2.000000e+01 | 8.72%
1696.53/1696.56 c 1697s|360000 | 18602 | 31179k| 86.6 | 24M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 | 13k| 1.844859e+01 | 2.000000e+01 | 8.41%
1720.22/1720.25 c 1720s|370000 | 12682 | 31597k| 85.4 | 20M| 49 | 89 | 200 | 200 | 200 | 205 | 5 | 0 | 13k| 1.852237e+01 | 2.000000e+01 | 7.98%
1740.63/1740.62 c 1741s|380000 | 4768 | 31949k| 84.1 | 13M| 49 | - | 200 | 200 | 200 | 205 | 5 | 0 | 13k| 1.864798e+01 | 2.000000e+01 | 7.25%
1747.03/1747.09 c
1747.03/1747.09 c SCIP Status : problem is solved [optimal solution found]
1747.03/1747.09 c Solving Time (sec) : 1747.09
1747.03/1747.09 c Solving Nodes : 384930
1747.03/1747.09 c Primal Bound : +2.00000000000000e+01 (629 solutions)
1747.03/1747.09 c Dual Bound : +2.00000000000000e+01
1747.03/1747.09 c Gap : 0.00 %
1747.03/1747.09 s OPTIMUM FOUND
1747.03/1747.09 v -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1747.03/1747.09 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1747.03/1747.09 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1747.03/1747.09 v -x137 -x136 x135 x134 x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 x116
1747.03/1747.09 v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94
1747.03/1747.09 v -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69
1747.03/1747.09 v -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 x43
1747.03/1747.09 v -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 x28 -x27 x26 -x25 -x24 -x23 x22 -x21 -x20 x19 -x18 -x17
1747.03/1747.09 v -x16 x15 -x14 -x13 -x12 -x11 -x10 x9 x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1747.03/1747.09 c SCIP Status : problem is solved [optimal solution found]
1747.03/1747.09 c Total Time : 1747.09
1747.03/1747.09 c solving : 1747.09
1747.03/1747.09 c presolving : 0.06 (included in solving)
1747.03/1747.09 c reading : 0.01 (included in solving)
1747.03/1747.09 c Original Problem :
1747.03/1747.09 c Problem name : HOME/instance-3488542-1307780941.opb
1747.03/1747.09 c Variables : 2724 (2724 binary, 0 integer, 0 implicit integer, 0 continuous)
1747.03/1747.09 c Constraints : 2924 initial, 2924 maximal
1747.03/1747.09 c Presolved Problem :
1747.03/1747.09 c Problem name : t_HOME/instance-3488542-1307780941.opb
1747.03/1747.09 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1747.03/1747.09 c Constraints : 200 initial, 200 maximal
1747.03/1747.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1747.03/1747.09 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1747.03/1747.09 c dualfix : 0.01 2524 0 0 0 0 0 0 0 0
1747.03/1747.09 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1747.03/1747.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1747.03/1747.09 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1747.03/1747.09 c implics : 0.00 0 0 0 0 0 0 0 0 0
1747.03/1747.09 c probing : 0.00 0 0 0 0 0 0 0 0 0
1747.03/1747.09 c linear : 0.00 0 0 0 0 0 0 0 0 0
1747.03/1747.09 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1747.03/1747.09 c pseudoboolean : 0.00 0 0 0 0 0 2924 200 0 0
1747.03/1747.09 c root node : - 3 - - 3 - - - - -
1747.03/1747.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1747.03/1747.09 c integral : 0 0 0 243029 0 634 0 747 4904 0 0 480804
1747.03/1747.09 c logicor : 200 6 421927 0 0 629 0 0 56 0 0 0
1747.03/1747.09 c countsols : 0 0 0 0 0 632 0 0 0 0 0 0
1747.03/1747.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1747.03/1747.09 c integral : 69.29 0.00 0.00 69.28 0.00 0.00 0.00
1747.03/1747.09 c logicor : 3.45 0.00 3.45 0.00 0.00 0.00 0.00
1747.03/1747.09 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1747.03/1747.09 c Propagators : #Propagate #Resprop Cutoffs DomReds
1747.03/1747.09 c vbounds : 0 0 0 0
1747.03/1747.09 c rootredcost : 5 0 0 0
1747.03/1747.09 c pseudoobj : 932884 0 0 0
1747.03/1747.09 c Propagator Timings : TotalTime Propagate Resprop
1747.03/1747.09 c vbounds : 0.19 0.19 0.00
1747.03/1747.09 c rootredcost : 0.19 0.19 0.00
1747.03/1747.09 c pseudoobj : 3.97 3.97 0.00
1747.03/1747.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1747.03/1747.09 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1747.03/1747.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1747.03/1747.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1747.03/1747.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1747.03/1747.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1747.03/1747.09 c applied globally : - - - 0 0.0 - - -
1747.03/1747.09 c applied locally : - - - 0 0.0 - - -
1747.03/1747.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1747.03/1747.09 c cut pool : 0.00 5 - - 0 - (maximal pool size: 310)
1747.03/1747.09 c redcost : 5.16 392725 0 4572127 0 0
1747.03/1747.09 c impliedbounds : 0.00 6 0 0 0 0
1747.03/1747.09 c intobj : 0.00 0 0 0 0 0
1747.03/1747.09 c gomory : 0.06 6 0 0 0 0
1747.03/1747.09 c cgmip : 0.00 0 0 0 0 0
1747.03/1747.09 c closecuts : 0.00 0 0 0 0 0
1747.03/1747.09 c strongcg : 0.06 6 0 0 310 0
1747.03/1747.09 c cmir : 0.01 6 0 0 0 0
1747.03/1747.09 c flowcover : 0.02 6 0 0 0 0
1747.03/1747.09 c clique : 0.00 1 0 0 0 0
1747.03/1747.09 c zerohalf : 0.00 0 0 0 0 0
1747.03/1747.09 c mcf : 0.00 1 0 0 0 0
1747.03/1747.09 c oddcycle : 0.00 0 0 0 0 0
1747.03/1747.09 c rapidlearning : 0.00 0 0 0 0 0
1747.03/1747.09 c Pricers : Time Calls Vars
1747.03/1747.09 c problem variables: 0.00 0 0
1747.03/1747.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1747.03/1747.09 c relpscost : 69.16 243029 747 4904 0 0 480804
1747.03/1747.09 c pscost : 0.00 0 0 0 0 0 0
1747.03/1747.09 c inference : 0.00 0 0 0 0 0 0
1747.03/1747.09 c mostinf : 0.00 0 0 0 0 0 0
1747.03/1747.09 c leastinf : 0.00 0 0 0 0 0 0
1747.03/1747.09 c fullstrong : 0.00 0 0 0 0 0 0
1747.03/1747.09 c allfullstrong : 0.00 0 0 0 0 0 0
1747.03/1747.09 c random : 0.00 0 0 0 0 0 0
1747.03/1747.09 c Primal Heuristics : Time Calls Found
1747.03/1747.09 c LP solutions : 0.00 - 0
1747.03/1747.09 c pseudo solutions : 0.00 - 0
1747.03/1747.09 c feaspump : 0.02 0 0
1747.03/1747.09 c oneopt : 0.09 7 2
1747.03/1747.09 c crossover : 0.41 16 4
1747.03/1747.09 c rootsoldiving : 9.13 285 0
1747.03/1747.09 c objpscostdiving : 51.01 288 261
1747.03/1747.09 c pscostdiving : 49.83 2409 12
1747.03/1747.09 c coefdiving : 50.65 2700 49
1747.03/1747.09 c linesearchdiving : 51.56 2746 0
1747.03/1747.09 c fracdiving : 44.74 3446 0
1747.03/1747.09 c guideddiving : 44.91 3446 1
1747.03/1747.09 c veclendiving : 34.79 3447 4
1747.03/1747.09 c trivial : 0.00 2 2
1747.03/1747.09 c shiftandpropagate: 0.00 0 0
1747.03/1747.09 c simplerounding : 1.98 243034 40
1747.03/1747.09 c zirounding : 1.33 12551 251
1747.03/1747.09 c rounding : 1.67 23533 1
1747.03/1747.09 c shifting : 0.62 7346 2
1747.03/1747.09 c intshifting : 0.01 0 0
1747.03/1747.09 c twoopt : 0.00 0 0
1747.03/1747.09 c fixandinfer : 0.00 0 0
1747.03/1747.09 c clique : 0.00 0 0
1747.03/1747.09 c intdiving : 0.00 0 0
1747.03/1747.09 c actconsdiving : 0.00 0 0
1747.03/1747.09 c octane : 0.00 0 0
1747.03/1747.09 c rens : 0.01 0 0
1747.03/1747.09 c rins : 0.00 0 0
1747.03/1747.09 c localbranching : 0.00 0 0
1747.03/1747.09 c mutation : 0.00 0 0
1747.03/1747.09 c dins : 0.00 0 0
1747.03/1747.09 c vbounds : 0.00 0 0
1747.03/1747.09 c undercover : 0.00 0 0
1747.03/1747.09 c subnlp : 0.06 0 0
1747.03/1747.09 c trysol : 0.09 0 0
1747.03/1747.09 c LP : Time Calls Iterations Iter/call Iter/sec
1747.03/1747.09 c primal LP : 0.00 0 0 0.00 -
1747.03/1747.09 c dual LP : 1290.17 386815 25379730 65.61 19671.67
1747.03/1747.09 c lex dual LP : 0.00 0 0 0.00 -
1747.03/1747.09 c barrier LP : 0.00 0 0 0.00 -
1747.03/1747.09 c diving/probing LP: 310.79 404845 6664205 16.46 21442.63
1747.03/1747.09 c strong branching : 64.32 13519 1168257 86.42 18163.03
1747.03/1747.09 c (at root node) : - 20 10744 537.20 -
1747.03/1747.09 c conflict analysis: 0.00 0 0 0.00 -
1747.03/1747.09 c B&B Tree :
1747.03/1747.09 c number of runs : 1
1747.03/1747.09 c nodes : 384930
1747.03/1747.09 c nodes (total) : 384930
1747.03/1747.09 c nodes left : 0
1747.03/1747.09 c max depth : 49
1747.03/1747.09 c max depth (total): 49
1747.03/1747.09 c backtracks : 97880 (25.4%)
1747.03/1747.09 c delayed cutoffs : 0
1747.03/1747.09 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1747.03/1747.09 c avg switch length: 9.20
1747.03/1747.09 c switching time : 7.07
1747.03/1747.09 c Solution :
1747.03/1747.09 c Solutions found : 629 (11 improvements)
1747.03/1747.09 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1747.03/1747.09 c Primal Bound : +2.00000000000000e+01 (in run 1, after 183905 nodes, 1192.29 seconds, depth 28, found by <guideddiving>)
1747.03/1747.09 c Dual Bound : +2.00000000000000e+01
1747.03/1747.09 c Gap : 0.00 %
1747.03/1747.09 c Root Dual Bound : +1.45987955032857e+01
1747.03/1747.09 c Root Iterations : 1907
1747.13/1747.11 c Time complete: 1747.14.
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-3488542-1307780941/watcher-3488542-1307780941 -o /tmp/evaluation-result-3488542-1307780941/solver-3488542-1307780941 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488542-1307780941.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.93 2/175 27757
/proc/meminfo: memFree=30659016/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=12700 CPUtime=0 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 2146 0 0 0 0 0 0 0 25 0 1 0 889693780 13004800 2101 33554432000 4194304 9016284 140735143384528 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27757/statm: 3175 2107 353 1178 0 1993 0
[startup+0.051837 s]
/proc/loadavg: 2.00 2.00 1.93 2/175 27757
/proc/meminfo: memFree=30659016/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=29524 CPUtime=0.04 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 6372 0 0 0 4 0 0 0 25 0 1 0 889693780 30232576 6070 33554432000 4194304 9016284 140735143384528 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 7381 6070 477 1178 0 6199 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29524
[startup+0.10082 s]
/proc/loadavg: 2.00 2.00 1.93 2/175 27757
/proc/meminfo: memFree=30659016/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=31520 CPUtime=0.09 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 7018 0 0 0 8 1 0 0 18 0 1 0 889693780 32276480 6714 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 7880 6714 619 1178 0 6698 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31520
[startup+0.300797 s]
/proc/loadavg: 2.00 2.00 1.93 2/175 27757
/proc/meminfo: memFree=30659016/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=35112 CPUtime=0.29 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 7957 0 0 0 27 2 0 0 18 0 1 0 889693780 35954688 7653 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 8778 7653 658 1178 0 7596 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35112
[startup+0.700729 s]
/proc/loadavg: 2.00 2.00 1.93 2/175 27757
/proc/meminfo: memFree=30659016/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=37552 CPUtime=0.69 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 9824 0 0 0 66 3 0 0 18 0 1 0 889693780 38453248 8327 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 9388 8327 671 1178 0 8206 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37552
[startup+1.50059 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 27758
/proc/meminfo: memFree=30627600/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=37552 CPUtime=1.49 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 9831 0 0 0 143 6 0 0 20 0 1 0 889693780 38453248 8334 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 9388 8334 678 1178 0 8206 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37552
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 27758
/proc/meminfo: memFree=30627344/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=37552 CPUtime=3.09 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 9831 0 0 0 296 13 0 0 25 0 1 0 889693780 38453248 8334 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 9388 8334 678 1178 0 8206 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37552
[startup+6.30076 s]
/proc/loadavg: 2.08 2.02 1.93 3/176 27758
/proc/meminfo: memFree=30626060/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=37552 CPUtime=6.29 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 9831 0 0 0 599 30 0 0 25 0 1 0 889693780 38453248 8334 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 9388 8334 678 1178 0 8206 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37552
[startup+12.7006 s]
/proc/loadavg: 2.23 2.05 1.94 3/176 27758
/proc/meminfo: memFree=30627044/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=36872 CPUtime=12.69 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 12214 0 0 0 1206 63 0 0 25 0 1 0 889693780 37756928 8150 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 9218 8150 693 1178 0 8036 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36872
[startup+25.5004 s]
/proc/loadavg: 2.25 2.06 1.95 3/176 27758
/proc/meminfo: memFree=30627048/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=36928 CPUtime=25.49 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 14889 0 0 0 2420 129 0 0 25 0 1 0 889693780 37814272 8197 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 9232 8197 693 1178 0 8050 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36928
[startup+51.101 s]
/proc/loadavg: 2.16 2.06 1.95 3/176 27760
/proc/meminfo: memFree=30624900/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=38348 CPUtime=51.09 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 17943 0 0 0 4847 262 0 0 25 0 1 0 889693780 39268352 8539 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 9587 8539 693 1178 0 8405 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 38348
[startup+102.306 s]
/proc/loadavg: 2.07 2.05 1.95 3/176 27761
/proc/meminfo: memFree=30619780/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=39688 CPUtime=102.3 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 23604 0 0 0 9695 535 0 0 25 0 1 0 889693780 40640512 8887 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 9922 8887 693 1178 0 8740 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 39688
[startup+162.301 s]
/proc/loadavg: 2.06 2.05 1.95 3/176 27762
/proc/meminfo: memFree=30600296/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=42928 CPUtime=162.29 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 27075 0 0 0 15377 852 0 0 25 0 1 0 889693780 43958272 9722 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 10732 9722 693 1178 0 9550 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 42928
[startup+222.3 s]
/proc/loadavg: 2.02 2.04 1.95 3/176 27764
/proc/meminfo: memFree=30594332/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=47956 CPUtime=222.29 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 29900 0 0 0 21018 1211 0 0 25 0 1 0 889693780 49106944 10997 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 11989 10997 693 1178 0 10807 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 47956
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 1.95 3/176 27766
/proc/meminfo: memFree=30586884/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=55112 CPUtime=282.3 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 34353 0 0 0 26667 1563 0 0 25 0 1 0 889693780 56434688 12832 33554432000 4194304 9016284 140735143384528 18446744073709551615 7201715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 13778 12832 693 1178 0 12596 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 55112
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.95 3/176 27768
/proc/meminfo: memFree=30578944/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=63136 CPUtime=342.3 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 36357 0 0 0 32319 1911 0 0 25 0 1 0 889693780 64651264 14836 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 15784 14836 693 1178 0 14602 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 63136
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/176 27768
/proc/meminfo: memFree=30569884/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=72028 CPUtime=402.3 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 38634 0 0 0 37958 2272 0 0 25 0 1 0 889693780 73756672 17113 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 18007 17113 693 1178 0 16825 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 72028
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/176 27770
/proc/meminfo: memFree=30561060/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=81296 CPUtime=462.3 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 42436 0 0 0 43590 2640 0 0 25 0 1 0 889693780 83247104 19409 33554432000 4194304 9016284 140735143384528 18446744073709551615 7198969 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 20324 19409 693 1178 0 19142 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 81296
[startup+522.3 s]
/proc/loadavg: 2.10 2.04 1.96 3/176 27810
/proc/meminfo: memFree=29989232/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=87620 CPUtime=522.3 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 45595 0 0 0 49245 2985 0 0 25 0 1 0 889693780 89722880 21064 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 21905 21064 693 1178 0 20723 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 87620
[startup+582.301 s]
/proc/loadavg: 2.03 2.03 1.96 3/176 27812
/proc/meminfo: memFree=29975044/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=103288 CPUtime=582.31 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 48997 0 0 0 54925 3306 0 0 25 0 1 0 889693780 105766912 24466 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 25822 24466 693 1178 0 24640 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 103288
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29885384/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=189528 CPUtime=1062.31 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 71629 0 0 0 100286 5945 0 0 25 0 1 0 889693780 194076672 46266 33554432000 4194304 9016284 140735143384528 18446744073709551615 7219541 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 47382 46266 693 1178 0 46200 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 189528
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 27826
/proc/meminfo: memFree=29876312/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=198344 CPUtime=1122.32 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 73805 0 0 0 105957 6275 0 0 25 0 1 0 889693780 203104256 48442 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 49586 48442 693 1178 0 48404 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 198344
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 27828
/proc/meminfo: memFree=29869224/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205240 CPUtime=1182.31 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 75593 0 0 0 111627 6604 0 0 25 0 1 0 889693780 210165760 50230 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51310 50230 693 1178 0 50128 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 205240
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 27830
/proc/meminfo: memFree=29899960/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205740 CPUtime=1242.32 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 90767 0 0 0 117326 6906 0 0 25 0 1 0 889693780 210677760 50427 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51435 50427 693 1178 0 50253 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 205740
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 27831
/proc/meminfo: memFree=29900316/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205760 CPUtime=1302.32 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 93275 0 0 0 123032 7200 0 0 25 0 1 0 889693780 210698240 50397 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51440 50397 693 1178 0 50258 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 205760
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 27832
/proc/meminfo: memFree=29900180/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205764 CPUtime=1362.32 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 95816 0 0 0 128728 7504 0 0 25 0 1 0 889693780 210702336 50406 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51441 50406 693 1178 0 50259 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 205764
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 27834
/proc/meminfo: memFree=29900288/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205764 CPUtime=1422.33 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 95816 0 0 0 134425 7808 0 0 25 0 1 0 889693780 210702336 50406 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51441 50406 693 1178 0 50259 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 205764
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 27836
/proc/meminfo: memFree=29900508/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205764 CPUtime=1482.32 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 95816 0 0 0 140124 8108 0 0 25 0 1 0 889693780 210702336 50406 33554432000 4194304 9016284 140735143384528 18446744073709551615 6681873 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51441 50406 693 1178 0 50259 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 205764
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 27838
/proc/meminfo: memFree=29900368/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205752 CPUtime=1542.33 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 98345 0 0 0 145835 8398 0 0 25 0 1 0 889693780 210690048 50399 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51438 50399 693 1178 0 50256 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 205752
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 27838
/proc/meminfo: memFree=29900344/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205752 CPUtime=1602.32 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 98346 0 0 0 151533 8699 0 0 25 0 1 0 889693780 210690048 50400 33554432000 4194304 9016284 140735143384528 18446744073709551615 7219372 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51438 50400 693 1178 0 50256 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 205752
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 1.97 3/176 27840
/proc/meminfo: memFree=29900572/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205752 CPUtime=1662.33 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 98346 0 0 0 157242 8991 0 0 25 0 1 0 889693780 210690048 50400 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51438 50400 693 1178 0 50256 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 205752
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/176 27842
/proc/meminfo: memFree=29900308/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205752 CPUtime=1722.33 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 98346 0 0 0 162946 9287 0 0 25 0 1 0 889693780 210690048 50400 33554432000 4194304 9016284 140735143384528 18446744073709551615 7199020 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51438 50400 693 1178 0 50256 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 205752
Solver just ended. Dumping a history of the last processes samples
[startup+1727.9 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 27842
/proc/meminfo: memFree=29900308/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205752 CPUtime=1727.93 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 98346 0 0 0 163478 9315 0 0 25 0 1 0 889693780 210690048 50400 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51438 50400 693 1178 0 50256 0
Current children cumulated CPU time (s) 1727.93
Current children cumulated vsize (KiB) 205752
[startup+1740.7 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 27842
/proc/meminfo: memFree=29900304/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205752 CPUtime=1740.73 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 98346 0 0 0 164697 9376 0 0 25 0 1 0 889693780 210690048 50400 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51438 50400 693 1178 0 50256 0
Current children cumulated CPU time (s) 1740.73
Current children cumulated vsize (KiB) 205752
[startup+1743.9 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 27842
/proc/meminfo: memFree=29900304/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205752 CPUtime=1743.93 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 98346 0 0 0 165001 9392 0 0 25 0 1 0 889693780 210690048 50400 33554432000 4194304 9016284 140735143384528 18446744073709551615 7221224 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51438 50400 693 1178 0 50256 0
Current children cumulated CPU time (s) 1743.93
Current children cumulated vsize (KiB) 205752
[startup+1745.5 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 27842
/proc/meminfo: memFree=29900304/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205752 CPUtime=1745.52 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 98346 0 0 0 165154 9398 0 0 25 0 1 0 889693780 210690048 50400 33554432000 4194304 9016284 140735143384528 18446744073709551615 7219527 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51438 50400 693 1178 0 50256 0
Current children cumulated CPU time (s) 1745.52
Current children cumulated vsize (KiB) 205752
[startup+1746.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 27842
/proc/meminfo: memFree=29900304/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205752 CPUtime=1746.33 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 98346 0 0 0 165231 9402 0 0 25 0 1 0 889693780 210690048 50400 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51438 50400 693 1178 0 50256 0
Current children cumulated CPU time (s) 1746.33
Current children cumulated vsize (KiB) 205752
[startup+1746.7 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 27842
/proc/meminfo: memFree=29900180/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=205752 CPUtime=1746.74 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 98346 0 0 0 165270 9404 0 0 25 0 1 0 889693780 210690048 50400 33554432000 4194304 9016284 140735143384528 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27757/statm: 51438 50400 693 1178 0 50256 0
Current children cumulated CPU time (s) 1746.74
Current children cumulated vsize (KiB) 205752
[startup+1747.1 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 27842
/proc/meminfo: memFree=29900180/32951132 swapFree=67054616/67111528
[pid=27757] ppid=27755 vsize=204724 CPUtime=1747.13 cores=1,3,5,7
/proc/27757/stat : 27757 (scip-2.0.1.4b_2) R 27755 27757 24772 0 -1 4202496 98348 0 0 0 165307 9406 0 0 18 0 1 0 889693780 209637376 50145 33554432000 4194304 9016284 140735143384528 18446744073709551615 4445232 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27757/statm: 51181 49888 695 1178 0 49999 0
Current children cumulated CPU time (s) 1747.13
Current children cumulated vsize (KiB) 204724
Child status: 0
Real time (s): 1747.12
CPU time (s): 1747.15
CPU user time (s): 1653.08
CPU system time (s): 94.0697
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 217148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1653.08
system time used= 94.0697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98353
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= 7
involuntary context switches= 2141
runsolver used 2.45263 second user time and 5.50716 second system time
The end