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-3731051-1338693804.opb>
0.00/0.01 c original problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 1059 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 0 upgd conss, 336 impls, 0 clqs
0.00/0.03 c (round 2) 0 del vars, 168 del conss, 0 add conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 881 upgd conss, 336 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 168 del conss, 3 add conss, 0 chg bounds, 84 chg sides, 88 chg coeffs, 881 upgd conss, 342 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/464 (21.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (4 rounds):
0.00/0.04 c 0 deleted vars, 168 deleted constraints, 3 added constraints, 0 tightened bounds, 0 added holes, 84 changed sides, 88 changed coefficients
0.00/0.04 c 342 implications, 0 cliques
0.00/0.04 c presolved problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 894 constraints
0.00/0.04 c 673 constraints of type <knapsack>
0.00/0.04 c 171 constraints of type <setppc>
0.00/0.04 c 10 constraints of type <linear>
0.00/0.04 c 40 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.5
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c 0.1s| 1 | 0 | 384 | - |3323k| 0 | 194 | 464 | 911 | 464 | 894 | 0 | 17 | 0 | 9.700000e+01 | -- | Inf
0.49/0.54 c 0.5s| 1 | 0 | 5779 | - |4945k| 0 | 235 | 464 |1829 | 464 |1141 | 247 | 17 | 0 | 9.800000e+01 | -- | Inf
0.59/0.66 c 0.7s| 1 | 0 | 6380 | - |6089k| 0 | 266 | 464 |1829 | 464 |1320 | 426 | 17 | 0 | 9.850000e+01 | -- | Inf
0.79/0.81 c 0.8s| 1 | 0 | 6900 | - |6723k| 0 | 269 | 464 |1829 | 464 |1483 | 589 | 17 | 0 | 9.850000e+01 | -- | Inf
0.89/0.97 c 1.0s| 1 | 0 | 7419 | - |7651k| 0 | 263 | 464 |1829 | 464 |1618 | 724 | 17 | 0 | 9.850000e+01 | -- | Inf
1.10/1.19 c 1.2s| 1 | 0 | 8008 | - |7937k| 0 | 266 | 464 |1829 | 464 |1718 | 824 | 17 | 0 | 9.900000e+01 | -- | Inf
1.39/1.41 c 1.4s| 1 | 0 | 8472 | - |8148k| 0 | 256 | 464 |1829 | 464 |1807 | 913 | 17 | 0 | 9.900000e+01 | -- | Inf
1.59/1.64 c 1.6s| 1 | 0 | 8912 | - |8387k| 0 | 254 | 464 |1829 | 464 |1862 | 968 | 17 | 0 | 9.900000e+01 | -- | Inf
1.79/1.88 c 1.9s| 1 | 0 | 9265 | - |8539k| 0 | 250 | 464 |1829 | 464 |1942 |1048 | 17 | 0 | 9.900000e+01 | -- | Inf
1.99/2.07 c 2.1s| 1 | 0 | 9542 | - |8677k| 0 | 258 | 464 |1829 | 464 |1989 |1095 | 17 | 0 | 9.900000e+01 | -- | Inf
2.29/2.30 c 2.3s| 1 | 0 | 9866 | - |8886k| 0 | 261 | 464 |1829 | 464 |2037 |1143 | 17 | 0 | 9.900000e+01 | -- | Inf
2.89/2.92 c 2.9s| 1 | 2 | 9866 | - |8888k| 0 | 261 | 464 |1829 | 464 |2037 |1143 | 17 | 10 | 9.900000e+01 | -- | Inf
114.16/114.20 c 114s| 10000 | 8753 | 1148k| 113.9 | 19M| 43 | 221 | 464 |1859 | 464 |1244 |1143 |4141 |2829 | 9.921278e+01 | -- | Inf
210.74/210.88 c 211s| 20000 | 17091 | 2305k| 114.8 | 28M| 43 | - | 464 |1966 | 0 | 0 |1143 |9241 |4068 | 9.931250e+01 | -- | Inf
296.23/296.30 c 296s| 30000 | 25103 | 3342k| 111.1 | 37M| 46 | 183 | 464 |2052 | 464 |1244 |1143 | 15k|5103 | 9.943333e+01 | -- | Inf
379.81/379.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.81/379.93 c 380s| 40000 | 32669 | 4370k| 109.0 | 46M| 49 | 136 | 464 |2175 | 464 |1244 |1143 | 21k|6054 | 9.953333e+01 | -- | Inf
456.41/456.53 c 457s| 50000 | 39649 | 5320k| 106.2 | 55M| 58 | 186 | 464 |2365 | 464 |1244 |1143 | 30k|6759 | 9.963333e+01 | -- | Inf
527.49/527.66 c 528s| 60000 | 46623 | 6203k| 103.2 | 65M| 58 | 100 | 464 |2616 | 464 |1244 |1143 | 38k|7403 | 9.977023e+01 | -- | Inf
598.68/598.83 c 599s| 70000 | 53195 | 7095k| 101.2 | 74M| 58 | 192 | 464 |2556 | 464 |1244 |1143 | 47k|7860 | 9.995385e+01 | -- | Inf
664.37/664.59 c 665s| 80000 | 59419 | 7921k| 98.9 | 83M| 58 | 213 | 464 |2511 | 464 |1244 |1143 | 57k|8345 | 1.000000e+02 | -- | Inf
732.57/732.74 c 733s| 90000 | 65699 | 8775k| 97.4 | 92M| 58 | 190 | 464 |2689 | 464 |1244 |1143 | 67k|8854 | 1.000000e+02 | -- | Inf
796.45/796.66 c 797s|100000 | 72003 | 9579k| 95.7 | 100M| 58 | 149 | 464 |2547 | 464 |1244 |1143 | 77k|9312 | 1.000000e+02 | -- | Inf
859.15/859.37 c 859s|110000 | 77905 | 10368k| 94.2 | 109M| 58 | 138 | 464 |2628 | 464 |1244 |1143 | 87k|9638 | 1.000000e+02 | -- | Inf
917.43/917.63 c 918s|120000 | 83432 | 11097k| 92.4 | 117M| 58 | 98 | 464 |2851 | 464 |1244 |1143 | 99k| 10k| 1.000000e+02 | -- | Inf
973.23/973.47 c 973s|130000 | 88535 | 11790k| 90.6 | 125M| 58 | 153 | 464 |2957 | 464 |1244 |1143 | 111k| 10k| 1.000152e+02 | -- | Inf
1025.02/1025.28 c 1025s|140000 | 93051 | 12443k| 88.8 | 132M| 58 | 69 | 464 |3152 | 464 |1244 |1143 | 124k| 10k| 1.000700e+02 | -- | Inf
1075.81/1076.06 c 1076s|150000 | 97490 | 13075k| 87.1 | 140M| 58 | 213 | 464 |2991 | 464 |1244 |1143 | 137k| 10k| 1.001000e+02 | -- | Inf
1134.40/1134.66 c 1135s|160000 |102360 | 13821k| 86.3 | 147M| 59 | 149 | 464 |3096 | 464 |1244 |1143 | 149k| 11k| 1.001333e+02 | -- | Inf
1186.49/1186.79 c 1187s|170000 |106702 | 14475k| 85.1 | 154M| 61 | 237 | 464 |3177 | 464 |1244 |1143 | 162k| 11k| 1.001488e+02 | -- | Inf
1238.58/1238.89 c 1239s|180000 |111368 | 15140k| 84.1 | 162M| 63 | 135 | 464 |3388 | 464 |1244 |1143 | 175k| 11k| 1.001679e+02 | -- | Inf
1286.97/1287.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.97/1287.20 c 1287s|190000 |115701 | 15748k| 82.8 | 169M| 63 | 190 | 464 |3290 | 464 |1244 |1143 | 189k| 11k| 1.002136e+02 | -- | Inf
1334.87/1335.10 c 1335s|200000 |119776 | 16344k| 81.7 | 176M| 63 | 148 | 464 |3571 | 464 |1244 |1143 | 202k| 12k| 1.002500e+02 | -- | Inf
1377.37/1377.63 c 1378s|210000 |123287 | 16875k| 80.3 | 183M| 63 | 217 | 464 |3539 | 464 |1244 |1143 | 217k| 12k| 1.002922e+02 | -- | Inf
1416.47/1416.80 c 1417s|220000 |126561 | 17361k| 78.9 | 189M| 63 | 104 | 464 |3825 | 464 |1244 |1143 | 232k| 12k| 1.003248e+02 | -- | Inf
1456.45/1456.72 c 1457s|230000 |129935 | 17857k| 77.6 | 195M| 63 | 121 | 464 |3566 | 464 |1244 |1143 | 246k| 12k| 1.003500e+02 | -- | Inf
1493.55/1493.83 c 1494s|240000 |132744 | 18314k| 76.3 | 201M| 63 | - | 464 |3970 | 464 |1244 |1143 | 262k| 12k| 1.003846e+02 | -- | Inf
1529.54/1529.80 c 1530s|250000 |135424 | 18760k| 75.0 | 206M| 63 | 166 | 464 |3943 | 464 |1244 |1143 | 277k| 13k| 1.004359e+02 | -- | Inf
1562.64/1562.97 c 1563s|260000 |138066 | 19170k| 73.7 | 212M| 71 | 161 | 464 |4048 | 464 |1244 |1143 | 292k| 13k| 1.004815e+02 | -- | Inf
1595.74/1596.09 c 1596s|270000 |140811 | 19582k| 72.5 | 218M| 74 | 195 | 464 |4115 | 464 |1244 |1143 | 306k| 13k| 1.005000e+02 | -- | Inf
1627.43/1627.78 c 1628s|280000 |143300 | 19976k| 71.3 | 224M| 74 | - | 464 |4060 | 0 | 0 |1143 | 321k| 13k| 1.005412e+02 | -- | Inf
1656.82/1657.16 c 1657s|290000 |145430 | 20336k| 70.1 | 230M| 74 | 43 | 464 |4268 | 464 |1244 |1143 | 336k| 13k| 1.005874e+02 | -- | Inf
1686.03/1686.32 c 1686s|300000 |147745 | 20695k| 69.0 | 235M| 74 | 102 | 464 |4999 | 464 |1244 |1143 | 351k| 13k| 1.006588e+02 | -- | Inf
1714.12/1714.45 c 1714s|310000 |149726 | 21041k| 67.8 | 240M| 74 | - | 464 |4989 | 464 |1244 |1143 | 367k| 13k| 1.006833e+02 | -- | Inf
1741.41/1741.73 c 1742s|320000 |151517 | 21380k| 66.8 | 245M| 74 | 74 | 464 |4544 | 464 |1244 |1143 | 381k| 13k| 1.007477e+02 | -- | Inf
1768.01/1768.35 c 1768s|330000 |153194 | 21707k| 65.8 | 251M| 74 | 69 | 464 |4998 | 464 |1244 |1143 | 397k| 14k| 1.008333e+02 | -- | Inf
1795.20/1795.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.20/1795.59 c 1796s|340000 |154895 | 22039k| 64.8 | 256M| 74 | 133 | 464 |4839 | 464 |1244 |1143 | 413k| 14k| 1.009649e+02 | -- | Inf
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 340426
1796.70/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.00 c Dual Bound : +1.00970887918486e+02
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 s UNKNOWN
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.02 (included in solving)
1796.70/1797.00 c reading : 0.01 (included in solving)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3731051-1338693804.opb
1796.70/1797.00 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 1059 initial, 1059 maximal
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3731051-1338693804.opb
1796.70/1797.00 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 894 initial, 5510 maximal
1796.70/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c knapsack : 0.00 0 0 0 0 0 0 3 3 7
1796.70/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c linear : 0.01 0 0 0 0 0 168 0 81 81
1796.70/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c root node : - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 271677 0 4 0 24 1544 0 0 541860
1796.70/1797.00 c knapsack : 673 10 1916243 0 0 3 1313165 33253 2180941 1318 0 0
1796.70/1797.00 c setppc : 171 10 1882990 0 0 0 733507 17925 638770 0 0 0
1796.70/1797.00 c linear : 10+ 11 1865066 0 0 0 135181 8733 261236 21 0 0
1796.70/1797.00 c logicor : 40+ 10 1194118 0 0 0 1374028 13612 1165448 3 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.70/1797.00 c integral : 81.33 0.00 0.00 81.33 0.00 0.00 0.00
1796.70/1797.00 c knapsack : 26.99 0.02 26.35 0.00 0.00 0.00 0.62
1796.70/1797.00 c setppc : 5.33 0.00 5.16 0.00 0.00 0.00 0.17
1796.70/1797.00 c linear : 3.75 0.01 3.52 0.00 0.00 0.00 0.22
1796.70/1797.00 c logicor : 25.31 0.00 24.58 0.00 0.00 0.00 0.73
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c rootredcost : 0 0 0 0
1796.70/1797.00 c pseudoobj : 1917587 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.70/1797.00 c vbounds : 0.26 0.26 0.00
1796.70/1797.00 c rootredcost : 0.27 0.27 0.00
1796.70/1797.00 c pseudoobj : 0.95 0.95 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 2.45 73523 73382 400155 23.0 20677 10.7 -
1796.70/1797.00 c infeasible LP : 4.14 55255 55255 287317 21.8 12235 8.2 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 414430 16.5 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.01 9 - - 969 - (maximal pool size: 4714)
1796.70/1797.00 c redcost : 2.20 271693 0 11 0 0
1796.70/1797.00 c impliedbounds : 0.00 10 0 0 0 0
1796.70/1797.00 c intobj : 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 0.51 10 0 0 2817 0
1796.70/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.70/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 0.43 10 0 0 3010 0
1796.70/1797.00 c cmir : 0.15 10 0 0 1120 0
1796.70/1797.00 c flowcover : 0.24 10 0 0 1640 0
1796.70/1797.00 c clique : 0.00 1 0 0 0 0
1796.70/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.19 1 0 0 0 918
1796.70/1797.00 c Pricers : Time Calls Vars
1796.70/1797.00 c problem variables: 0.00 0 0
1796.70/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 81.17 271677 24 1544 0 0 541860
1796.70/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0 0 0 0 0 0
1796.70/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : Time Calls Found
1796.70/1797.00 c LP solutions : 0.00 - 0
1796.70/1797.00 c pseudo solutions : 0.00 - 0
1796.70/1797.00 c oneopt : 0.11 0 0
1796.70/1797.00 c crossover : 0.06 0 0
1796.70/1797.00 c veclendiving : 60.68 2878 0
1796.70/1797.00 c coefdiving : 75.52 2878 0
1796.70/1797.00 c pscostdiving : 85.22 2879 0
1796.70/1797.00 c trivial : 0.00 2 0
1796.70/1797.00 c shiftandpropagate: 0.01 1 0
1796.70/1797.00 c simplerounding : 0.05 0 0
1796.70/1797.00 c zirounding : 14.81 2 0
1796.70/1797.00 c rounding : 0.58 7337 0
1796.70/1797.00 c shifting : 2.76 2305 0
1796.70/1797.00 c intshifting : 0.01 0 0
1796.70/1797.00 c twoopt : 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0 0
1796.70/1797.00 c feaspump : 12.89 191 0
1796.70/1797.00 c clique : 0.00 0 0
1796.70/1797.00 c fracdiving : 73.02 2879 0
1796.70/1797.00 c intdiving : 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0 0
1796.70/1797.00 c objpscostdiving : 13.06 118 0
1796.70/1797.00 c rootsoldiving : 11.18 188 0
1796.70/1797.00 c linesearchdiving : 78.19 2818 0
1796.70/1797.00 c guideddiving : 0.01 0 0
1796.70/1797.00 c octane : 0.00 0 0
1796.70/1797.00 c rens : 0.01 0 0
1796.70/1797.00 c rins : 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0 0
1796.70/1797.00 c dins : 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0 0
1796.70/1797.00 c subnlp : 0.05 0 0
1796.70/1797.00 c trysol : 0.06 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.70/1797.00 c primal LP : 0.00 0 0 0.00 -
1796.70/1797.00 c dual LP : 1137.17 305372 17356461 56.84 15262.85
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.70/1797.00 c diving/probing LP: 347.56 278576 4701730 16.88 13527.68
1796.70/1797.00 c strong branching : 71.26 14143 913362 64.58 12818.04
1796.70/1797.00 c (at root node) : - 10 5757 575.70 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 340426
1796.70/1797.00 c nodes (total) : 340426
1796.70/1797.00 c nodes left : 155010
1796.70/1797.00 c max depth : 74
1796.70/1797.00 c max depth (total): 74
1796.70/1797.00 c backtracks : 65511 (19.2%)
1796.70/1797.00 c delayed cutoffs : 46425
1796.70/1797.00 c repropagations : 265074 (1207555 domain reductions, 16235 cutoffs)
1796.70/1797.00 c avg switch length: 8.52
1796.70/1797.00 c switching time : 41.51
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 0 (0 improvements)
1796.70/1797.00 c Primal Bound : -
1796.70/1797.00 c Dual Bound : +1.00970887918486e+02
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 c Root Dual Bound : +9.90000000000000e+01
1796.70/1797.00 c Root Iterations : 9866
1797.20/1797.52 c Time complete: 1797.22.
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-3731051-1338693804/watcher-3731051-1338693804 -o /tmp/evaluation-result-3731051-1338693804/solver-3731051-1338693804 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3731051-1338693804.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 2.00 3/174 31081
/proc/meminfo: memFree=27338484/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 1522 0 0 0 0 0 0 0 20 0 1 0 335506302 9818112 1477 33554432000 4194304 9016284 140735363897232 140737296840088 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 2397 1477 311 1178 0 1215 0
[startup+0.072663 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 31081
/proc/meminfo: memFree=27338484/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=23828 CPUtime=0.06 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 5253 0 0 0 6 0 0 0 20 0 1 0 335506302 24399872 4904 33554432000 4194304 9016284 140735363897232 140737296840088 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 5957 4904 654 1178 0 4775 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23828
[startup+0.100311 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 31081
/proc/meminfo: memFree=27338484/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=23828 CPUtime=0.09 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 5253 0 0 0 8 1 0 0 20 0 1 0 335506302 24399872 4904 33554432000 4194304 9016284 140735363897232 140737296840088 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 5957 4904 654 1178 0 4775 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23828
[startup+0.300222 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 31081
/proc/meminfo: memFree=27338484/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=24504 CPUtime=0.29 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 5475 0 0 0 28 1 0 0 20 0 1 0 335506302 25092096 5126 33554432000 4194304 9016284 140735363897232 140737296840088 6259807 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 6126 5126 671 1178 0 4944 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24504
[startup+0.700279 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 31081
/proc/meminfo: memFree=27338484/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=39896 CPUtime=0.69 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 9762 0 0 0 67 2 0 0 20 0 1 0 335506302 40853504 8694 33554432000 4194304 9016284 140735363897232 140735363891096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 9974 8694 699 1178 0 8792 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39896
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31082
/proc/meminfo: memFree=27306204/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=40536 CPUtime=1.49 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 9983 0 0 0 146 3 0 0 20 0 1 0 335506302 41508864 8915 33554432000 4194304 9016284 140735363897232 140735363891096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 10134 8915 699 1178 0 8952 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40536
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31082
/proc/meminfo: memFree=27302360/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=41600 CPUtime=3.09 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 12258 0 0 0 304 5 0 0 20 0 1 0 335506302 42598400 9467 33554432000 4194304 9016284 140735363897232 140735363891080 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 10400 9467 700 1178 0 9218 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41600
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31082
/proc/meminfo: memFree=27301500/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=41600 CPUtime=6.29 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 12261 0 0 0 620 9 0 0 20 0 1 0 335506302 42598400 9470 33554432000 4194304 9016284 140735363897232 140735363890984 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 10400 9470 702 1178 0 9218 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41600
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31082
/proc/meminfo: memFree=27301656/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=41600 CPUtime=12.69 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 12261 0 0 0 1252 17 0 0 20 0 1 0 335506302 42598400 9470 33554432000 4194304 9016284 140735363897232 140735363891288 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 10400 9470 702 1178 0 9218 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41600
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31082
/proc/meminfo: memFree=27301788/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=42000 CPUtime=25.49 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 12301 0 0 0 2516 33 0 0 20 0 1 0 335506302 43008000 9510 33554432000 4194304 9016284 140735363897232 140735363891400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 10500 9510 703 1178 0 9318 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42000
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31083
/proc/meminfo: memFree=27293944/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=44796 CPUtime=51.07 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 13044 0 0 0 5043 64 0 0 20 0 1 0 335506302 45871104 10502 33554432000 4194304 9016284 140735363897232 140735363890648 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 11199 10502 703 1178 0 10017 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44796
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31083
/proc/meminfo: memFree=27289232/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=52188 CPUtime=102.27 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 14907 0 0 0 10101 126 0 0 20 0 1 0 335506302 53440512 12364 33554432000 4194304 9016284 140735363897232 140735363891096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 13047 12364 703 1178 0 11865 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 52188
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31121
/proc/meminfo: memFree=27506208/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=58300 CPUtime=162.25 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 16439 0 0 0 16020 205 0 0 20 0 1 0 335506302 59699200 13896 33554432000 4194304 9016284 140735363897232 140735363891560 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 14575 13896 703 1178 0 13393 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 58300
[startup+222.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/175 31121
/proc/meminfo: memFree=24251140/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=62708 CPUtime=222.24 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 17560 0 0 0 21944 280 0 0 20 0 1 0 335506302 64212992 15011 33554432000 4194304 9016284 140735363897232 140735363890856 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 15677 15011 703 1178 0 14495 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 62708
[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 31121
/proc/meminfo: memFree=24241744/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=71076 CPUtime=282.23 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 19649 0 0 0 27866 357 0 0 20 0 1 0 335506302 72781824 17086 33554432000 4194304 9016284 140735363897232 140735363891400 5150864 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 17769 17086 703 1178 0 16587 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 71076
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 31121
/proc/meminfo: memFree=24226852/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=80088 CPUtime=342.23 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 21901 0 0 0 33788 435 0 0 20 0 1 0 335506302 82010112 19336 33554432000 4194304 9016284 140735363897232 140735363891144 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 20022 19336 703 1178 0 18840 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 80088
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31125
/proc/meminfo: memFree=24213340/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=87672 CPUtime=402.21 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 23829 0 0 0 39707 514 0 0 20 0 1 0 335506302 89776128 21262 33554432000 4194304 9016284 140735363897232 140735363891192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 21918 21262 703 1178 0 20736 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 87672
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31125
/proc/meminfo: memFree=24199388/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=97116 CPUtime=462.2 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 26162 0 0 0 45627 593 0 0 20 0 1 0 335506302 99446784 23595 33554432000 4194304 9016284 140735363897232 140735363891144 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 24279 23595 703 1178 0 23097 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 97116
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31125
/proc/meminfo: memFree=24184792/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=105232 CPUtime=522.2 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 28272 0 0 0 51546 674 0 0 20 0 1 0 335506302 107757568 25655 33554432000 4194304 9016284 140735363897232 140735363891400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 26308 25655 703 1178 0 25126 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 105232
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31125
/proc/meminfo: memFree=24170128/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=113728 CPUtime=582.18 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 30367 0 0 0 57465 753 0 0 20 0 1 0 335506302 116457472 27750 33554432000 4194304 9016284 140735363897232 140735363890280 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 28432 27750 703 1178 0 27250 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 113728
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22204272/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=191208 CPUtime=1062.11 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 49529 0 0 0 104845 1366 0 0 20 0 1 0 335506302 195796992 46742 33554432000 4194304 9016284 140735363897232 140735363891192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 47802 46742 703 1178 0 46620 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 191208
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/175 31130
/proc/meminfo: memFree=22193088/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=200684 CPUtime=1122.1 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 51941 0 0 0 110766 1444 0 0 20 0 1 0 335506302 205500416 49150 33554432000 4194304 9016284 140735363897232 140735363891096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 50171 49150 703 1178 0 48989 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 200684
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 31130
/proc/meminfo: memFree=22184512/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=208900 CPUtime=1182.09 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 54033 0 0 0 116689 1520 0 0 20 0 1 0 335506302 213913600 51220 33554432000 4194304 9016284 140735363897232 140735363891144 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 52225 51220 703 1178 0 51043 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 208900
[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/174 31130
/proc/meminfo: memFree=22161736/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=219232 CPUtime=1242.08 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 56664 0 0 0 122612 1596 0 0 20 0 1 0 335506302 224493568 53827 33554432000 4194304 9016284 140735363897232 140735363891400 6471161 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 54808 53827 703 1178 0 53626 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 219232
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 31132
/proc/meminfo: memFree=22146196/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=233284 CPUtime=1302.08 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 60298 0 0 0 128536 1672 0 0 20 0 1 0 335506302 238882816 57360 33554432000 4194304 9016284 140735363897232 140735363891560 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 58321 57360 703 1178 0 57139 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 233284
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 31132
/proc/meminfo: memFree=22139300/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=240036 CPUtime=1362.07 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 62006 0 0 0 134455 1752 0 0 20 0 1 0 335506302 245796864 59065 33554432000 4194304 9016284 140735363897232 140735363891320 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 60009 59065 703 1178 0 58827 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 240036
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 31132
/proc/meminfo: memFree=22127448/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=251320 CPUtime=1422.06 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 64988 0 0 0 140374 1832 0 0 20 0 1 0 335506302 257351680 61881 33554432000 4194304 9016284 140735363897232 140735363890408 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 62830 61881 703 1178 0 61648 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 251320
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 31132
/proc/meminfo: memFree=22104916/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=261404 CPUtime=1482.05 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 67582 0 0 0 146294 1911 0 0 20 0 1 0 335506302 267677696 64450 33554432000 4194304 9016284 140735363897232 140735363891400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 65351 64450 703 1178 0 64169 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 261404
[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 31132
/proc/meminfo: memFree=22090652/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=270360 CPUtime=1542.03 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 69835 0 0 0 152215 1988 0 0 20 0 1 0 335506302 276848640 66703 33554432000 4194304 9016284 140735363897232 140735363891400 4321411 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 67590 66703 703 1178 0 66408 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 270360
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 31136
/proc/meminfo: memFree=22076548/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=283444 CPUtime=1602.03 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 73110 0 0 0 158138 2065 0 0 20 0 1 0 335506302 290246656 69978 33554432000 4194304 9016284 140735363897232 140735363891192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 70861 69978 703 1178 0 69679 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 283444
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 31136
/proc/meminfo: memFree=22060620/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=296432 CPUtime=1662.02 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 76438 0 0 0 164057 2145 0 0 20 0 1 0 335506302 303546368 73259 33554432000 4194304 9016284 140735363897232 140735363891176 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 74108 73259 703 1178 0 72926 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 296432
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 31136
/proc/meminfo: memFree=22048204/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=308968 CPUtime=1722.01 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 79572 0 0 0 169979 2222 0 0 20 0 1 0 335506302 316383232 76364 33554432000 4194304 9016284 140735363897232 140735363891560 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 77242 76364 703 1178 0 76060 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 308968
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 31136
/proc/meminfo: memFree=22034548/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=321360 CPUtime=1782 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 82756 0 0 0 175901 2299 0 0 20 0 1 0 335506302 329072640 79486 33554432000 4194304 9016284 140735363897232 140735363891560 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 80340 79486 703 1178 0 79158 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 321360
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 31136
/proc/meminfo: memFree=22033680/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=322192 CPUtime=1785.21 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 83023 0 0 0 176218 2303 0 0 20 0 1 0 335506302 329924608 79725 33554432000 4194304 9016284 140735363897232 140735363891096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 80548 79725 703 1178 0 79366 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 322192
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 31136
/proc/meminfo: memFree=22033056/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=322996 CPUtime=1791.61 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 83211 0 0 0 176850 2311 0 0 20 0 1 0 335506302 330747904 79913 33554432000 4194304 9016284 140735363897232 140735363891096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 80749 79913 703 1178 0 79567 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 322996
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 31136
/proc/meminfo: memFree=22031940/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=324352 CPUtime=1794.8 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 83585 0 0 0 177164 2316 0 0 20 0 1 0 335506302 332136448 80267 33554432000 4194304 9016284 140735363897232 140735363891192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 81088 80267 703 1178 0 79906 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 324352
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 31136
/proc/meminfo: memFree=22031816/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=325428 CPUtime=1796.4 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 83854 0 0 0 177321 2319 0 0 20 0 1 0 335506302 333238272 80536 33554432000 4194304 9016284 140735363897232 140735363891096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 81357 80536 703 1178 0 80175 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 325428
[startup+1797.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 31136
/proc/meminfo: memFree=22031816/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=325428 CPUtime=1796.8 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 83856 0 0 0 177361 2319 0 0 20 0 1 0 335506302 333238272 80538 33554432000 4194304 9016284 140735363897232 140735363891096 4330208 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 81357 80538 705 1178 0 80175 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 325428
[startup+1797.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 31136
/proc/meminfo: memFree=22030824/32873852 swapFree=6856/6856
[pid=31081] ppid=31079 vsize=324400 CPUtime=1797.2 cores=1,3,5,7
/proc/31081/stat : 31081 (scip-2.0.1.4b_2) R 31079 31081 20074 0 -1 4202496 83856 0 0 0 177401 2319 0 0 20 0 1 0 335506302 332185600 80281 33554432000 4194304 9016284 140735363897232 140735363891096 7933303 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31081/statm: 81100 80281 705 1178 0 79918 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 324400
Child status: 0
Real time (s): 1797.52
CPU time (s): 1797.23
CPU user time (s): 1774.02
CPU system time (s): 23.2185
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 325428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.02
system time used= 23.2185
maximum resident set size= 322152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83861
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= 20
involuntary context switches= 1849
runsolver used 2.69059 second user time and 7.19091 second system time
The end