0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692147-1338035064.opb>
0.19/0.23 c original problem has 8878 variables (8878 bin, 0 int, 0 impl, 0 cont) and 17460 constraints
0.19/0.23 c problem read in 0.23
0.29/0.37 c presolving:
0.49/0.56 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 152 chg sides, 1289 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.59/0.65 c (round 2) 1 del vars, 7805 del conss, 0 add conss, 1 chg bounds, 152 chg sides, 1289 chg coeffs, 934 upgd conss, 0 impls, 0 clqs
0.69/0.76 c (round 3) 1 del vars, 7805 del conss, 11 add conss, 1 chg bounds, 273 chg sides, 2253 chg coeffs, 1851 upgd conss, 882 impls, 9 clqs
0.79/0.80 c (round 4) 1 del vars, 7805 del conss, 11 add conss, 1 chg bounds, 313 chg sides, 2472 chg coeffs, 1851 upgd conss, 882 impls, 9 clqs
0.79/0.86 c (0.9s) probing: 51/8877 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.86 c (0.9s) probing aborted: 50/50 successive totally useless probings
0.79/0.89 c presolving (5 rounds):
0.79/0.89 c 1 deleted vars, 7805 deleted constraints, 11 added constraints, 1 tightened bounds, 0 added holes, 313 changed sides, 2474 changed coefficients
0.79/0.89 c 882 implications, 9 cliques
0.79/0.89 c presolved problem has 8877 variables (8877 bin, 0 int, 0 impl, 0 cont) and 9666 constraints
0.79/0.89 c 1851 constraints of type <knapsack>
0.79/0.89 c 11 constraints of type <setppc>
0.79/0.89 c 7804 constraints of type <linear>
0.79/0.89 c transformed objective value is always integral (scale: 1)
0.79/0.89 c Presolving Time: 0.53
0.79/0.89 c - non default parameters ----------------------------------------------------------------------
0.79/0.89 c # SCIP version 2.1.1.4
0.79/0.89 c
0.79/0.89 c # maximal time in seconds to run
0.79/0.89 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.89 c limits/time = 1797
0.79/0.89 c
0.79/0.89 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.89 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.89 c limits/memory = 13950
0.79/0.89 c
0.79/0.89 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.89 c # [type: int, range: [1,2], default: 1]
0.79/0.89 c timing/clocktype = 2
0.79/0.89 c
0.79/0.89 c # belongs reading time to solving time?
0.79/0.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.89 c timing/reading = TRUE
0.79/0.89 c
0.79/0.89 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.89 c separating/rapidlearning/freq = 0
0.79/0.89 c
0.79/0.89 c -----------------------------------------------------------------------------------------------
0.79/0.89 c start solving
0.79/0.89 c
2.09/2.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.09/2.12 c 2.1s| 1 | 0 | 149 | - | 88M| 0 | 389 |8877 |9684 |8877 |9666 | 0 | 18 | 0 | 1.530000e+02 | -- | Inf
25.68/25.71 c 25.7s| 1 | 0 | 7899 | - | 91M| 0 |1624 |8877 | 10k|8877 |9844 | 178 | 18 | 0 | 1.530000e+02 | -- | Inf
28.78/28.82 c 28.8s| 1 | 0 | 10535 | - | 92M| 0 |2159 |8877 | 10k|8877 |9988 | 322 | 18 | 0 | 1.530000e+02 | -- | Inf
33.09/33.18 c 33.2s| 1 | 0 | 13415 | - | 92M| 0 |2126 |8877 | 10k|8877 | 10k| 516 | 18 | 0 | 1.530000e+02 | -- | Inf
39.38/39.44 c 39.4s| 1 | 0 | 19828 | - | 93M| 0 |2638 |8877 | 10k|8877 | 10k| 704 | 18 | 0 | 1.530000e+02 | -- | Inf
46.19/46.20 c 46.2s| 1 | 0 | 25270 | - | 94M| 0 |1631 |8877 | 10k|8877 | 10k| 838 | 18 | 0 | 1.530000e+02 | -- | Inf
53.78/53.84 c 53.8s| 1 | 0 | 29118 | - | 95M| 0 |2220 |8877 | 10k|8877 | 10k|1053 | 18 | 0 | 1.530000e+02 | -- | Inf
76.47/76.55 c 76.6s| 1 | 2 | 29118 | - | 95M| 0 |2220 |8877 | 10k|8877 | 10k|1053 | 18 | 25 | 1.530000e+02 | -- | Inf
326.12/326.26 c 326s| 100 | 96 |306122 |2798.0 | 96M| 43 |1926 |8877 | 10k|8877 |9961 |1053 | 299 | 282 | 1.530000e+02 | -- | Inf
413.82/413.98 c 414s| 200 | 172 |503509 |2383.9 | 98M| 45 |1344 |8877 | 11k|8877 |9961 |1053 |1058 | 326 | 1.530000e+02 | -- | Inf
475.21/475.37 c 475s| 300 | 237 |633434 |2021.1 | 98M| 45 |1642 |8877 | 11k|8877 |9961 |1053 |1190 | 375 | 1.530000e+02 | -- | Inf
509.30/509.41 c 509s| 400 | 324 |691364 |1659.8 | 99M| 59 |2076 |8877 | 11k|8877 |9961 |1053 |1212 | 416 | 1.530000e+02 | -- | Inf
526.10/526.20 c 526s| 500 | 388 |722744 |1390.0 | 99M| 63 |1478 |8877 | 11k|8877 |9961 |1053 |1256 | 447 | 1.530000e+02 | -- | Inf
541.79/541.93 c 542s| 600 | 451 |750736 |1204.7 | 100M| 64 |1942 |8877 | 11k|8877 |9961 |1053 |1294 | 477 | 1.530000e+02 | -- | Inf
553.19/553.37 c 553s| 700 | 482 |773873 |1065.5 | 100M| 89 |1789 |8877 | 11k|8877 |9961 |1053 |1390 | 488 | 1.530000e+02 | -- | Inf
696.37/696.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.37/696.56 c 697s| 800 | 537 | 1224k|1495.7 | 102M| 89 |1585 |8877 | 12k|8877 |9961 |1053 |1604 | 559 | 1.530000e+02 | -- | Inf
713.46/713.70 c 714s| 900 | 567 | 1257k|1366.7 | 103M| 89 | - |8877 | 12k|8877 |9961 |1053 |1743 | 594 | 1.530000e+02 | -- | Inf
735.77/735.99 c 736s| 1000 | 614 | 1296k|1269.0 | 103M| 89 | - |8877 | 12k|8877 |9961 |1053 |1856 | 633 | 1.530000e+02 | -- | Inf
746.96/747.12 c 747s| 1100 | 643 | 1313k|1168.4 | 104M| 89 |1499 |8877 | 12k|8877 |9961 |1053 |2013 | 682 | 1.530000e+02 | -- | Inf
779.86/780.05 c 780s| 1200 | 687 | 1367k|1116.6 | 106M| 89 |1846 |8877 | 13k|8877 |9961 |1053 |2977 | 726 | 1.530000e+02 | -- | Inf
799.16/799.38 c 799s| 1300 | 726 | 1409k|1062.6 | 108M| 89 | - |8877 | 13k| 0 | 0 |1053 |3084 | 757 | 1.530000e+02 | -- | Inf
818.26/818.43 c 818s| 1400 | 759 | 1439k|1008.0 | 108M| 89 |1483 |8877 | 13k|8877 |9961 |1053 |3185 | 821 | 1.530000e+02 | -- | Inf
858.95/859.11 c 859s| 1500 | 789 | 1516k| 992.1 | 109M| 89 |1105 |8877 | 13k|8877 |9961 |1053 |3290 | 872 | 1.530000e+02 | -- | Inf
901.33/901.55 c 902s| 1600 | 830 | 1613k| 990.9 | 109M| 89 |1488 |8877 | 13k|8877 |9961 |1053 |3368 | 925 | 1.530000e+02 | -- | Inf
951.63/951.82 c 952s| 1700 | 876 | 1713k| 991.5 | 110M| 89 |1436 |8877 | 13k|8877 |9961 |1053 |3546 |1013 | 1.530000e+02 | -- | Inf
975.83/976.01 c 976s| 1800 | 908 | 1758k| 961.6 | 111M| 89 | - |8877 | 13k| 0 | 0 |1053 |3633 |1040 | 1.530000e+02 | -- | Inf
1005.73/1005.93 c 1006s| 1900 | 958 | 1835k| 951.0 | 112M| 89 | 729 |8877 | 13k|8877 |9961 |1053 |3720 |1083 | 1.530000e+02 | -- | Inf
1062.12/1062.31 c 1062s| 2000 | 1016 | 1940k| 956.3 | 113M| 89 |1852 |8877 | 13k|8877 |9961 |1053 |3810 |1124 | 1.530000e+02 | -- | Inf
1143.50/1143.76 c 1144s| 2100 | 1051 | 2114k| 993.6 | 114M| 89 |1858 |8877 | 14k|8877 |9961 |1053 |5691 |1174 | 1.530000e+02 | -- | Inf
1194.09/1194.39 c 1194s| 2200 | 1110 | 2220k| 996.6 | 115M| 89 |1236 |8877 | 14k|8877 |9961 |1053 |5782 |1216 | 1.530000e+02 | -- | Inf
1219.89/1220.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1219.89/1220.18 c 1220s| 2300 | 1171 | 2264k| 972.2 | 115M| 89 |1094 |8877 | 14k|8877 |9961 |1053 |5843 |1264 | 1.530000e+02 | -- | Inf
1239.50/1239.70 c 1240s| 2400 | 1247 | 2297k| 945.5 | 116M| 89 |1782 |8877 | 14k|8877 |9961 |1053 |5916 |1302 | 1.530000e+02 | -- | Inf
1292.48/1292.71 c 1293s| 2500 | 1318 | 2398k| 948.0 | 116M| 89 |1371 |8877 | 13k|8877 |9961 |1053 |6035 |1365 | 1.530000e+02 | -- | Inf
1343.17/1343.41 c 1343s| 2600 | 1395 | 2498k| 950.3 | 117M| 89 |2130 |8877 | 13k|8877 |9961 |1053 |6104 |1441 | 1.530000e+02 | -- | Inf
1386.77/1387.04 c 1387s| 2700 | 1464 | 2596k| 951.4 | 117M| 89 |1327 |8877 | 12k|8877 |9961 |1053 |6178 |1502 | 1.530000e+02 | -- | Inf
1427.66/1427.98 c 1428s| 2800 | 1536 | 2679k| 947.0 | 118M| 89 |1794 |8877 | 12k|8877 |9961 |1053 |6236 |1552 | 1.530000e+02 | -- | Inf
1457.15/1457.46 c 1457s| 2900 | 1608 | 2737k| 934.1 | 118M| 89 | 791 |8877 | 12k|8877 |9961 |1053 |6317 |1580 | 1.530000e+02 | -- | Inf
1496.55/1496.86 c 1497s| 3000 | 1675 | 2828k| 933.3 | 120M| 89 |1154 |8877 | 12k|8877 |9961 |1053 |6426 |1637 | 1.530000e+02 | -- | Inf
1533.44/1533.79 c 1534s| 3100 | 1734 | 2906k| 928.6 | 120M| 89 | 864 |8877 | 12k|8877 |9961 |1053 |6530 |1699 | 1.530000e+02 | -- | Inf
1579.74/1580.01 c 1580s| 3200 | 1791 | 3000k| 928.7 | 122M| 89 |1191 |8877 | 12k|8877 |9961 |1053 |6595 |1774 | 1.530000e+02 | -- | Inf
1603.33/1603.66 c 1604s| 3300 | 1855 | 3042k| 913.5 | 122M| 89 |1660 |8877 | 12k|8877 |9961 |1053 |6646 |1811 | 1.530000e+02 | -- | Inf
1625.63/1625.96 c 1626s| 3400 | 1920 | 3087k| 899.7 | 123M| 89 |1807 |8877 | 12k|8877 |9961 |1053 |6774 |1841 | 1.530000e+02 | -- | Inf
1667.82/1668.16 c 1668s| 3500 | 1978 | 3164k| 896.0 | 124M| 97 |1216 |8877 | 12k|8877 |9961 |1053 |6874 |1891 | 1.530000e+02 | -- | Inf
1695.51/1695.83 c 1696s| 3600 | 2031 | 3223k| 887.7 | 125M| 97 |1629 |8877 | 12k|8877 |9961 |1053 |6963 |1934 | 1.530000e+02 | -- | Inf
1724.91/1725.23 c 1725s| 3700 | 2096 | 3294k| 882.7 | 126M| 97 |1046 |8877 | 12k|8877 |9961 |1053 |7012 |1995 | 1.530000e+02 | -- | Inf
1772.41/1772.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.41/1772.76 c 1773s| 3800 | 2158 | 3401k| 887.6 | 126M| 97 |1570 |8877 | 12k|8877 |9961 |1053 |7098 |2055 | 1.530000e+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 : 3846
1796.70/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.00 c Dual Bound : +1.53000000000000e+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.53 (included in solving)
1796.70/1797.00 c reading : 0.23 (included in solving)
1796.70/1797.00 c copying : 0.14 (2 #copies) (minimal 0.07, maximal 0.07, average 0.07)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3692147-1338035064.opb
1796.70/1797.00 c Variables : 8878 (8878 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 17460 initial, 17460 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3692147-1338035064.opb
1796.70/1797.00 c Variables : 8877 (8877 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 9666 initial, 15083 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c knapsack : 0.06 0.00 0 0 0 0 0 0 11 161 1185
1796.70/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c linear : 0.36 0.08 1 0 0 1 0 7805 0 152 1289
1796.70/1797.00 c logicor : 0.00 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 MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 3226 0 4 0 4 535 0 0 6158
1796.70/1797.00 c knapsack : 1851 1851 6 29252 0 1 3 22360 131 97221 1203 0 0
1796.70/1797.00 c setppc : 11 11 6 10691 0 1 0 21 0 10 0 0 0
1796.70/1797.00 c linear : 7804+ 8725 7 29121 0 1 0 9588 395 616926 0 0 0
1796.70/1797.00 c logicor : 0+ 4501 6 10154 0 0 0 14704 71 6091 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 557.87 0.00 0.00 0.00 557.87 0.00 0.00 0.00
1796.70/1797.00 c knapsack : 4.39 0.00 0.08 4.28 0.00 0.00 0.00 0.04
1796.70/1797.00 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.70/1797.00 c linear : 13.56 0.08 0.01 13.45 0.00 0.00 0.00 0.03
1796.70/1797.00 c logicor : 0.72 0.00 0.00 0.68 0.00 0.00 0.00 0.04
1796.70/1797.00 c countsols : 0.00 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 rootredcost : 0 0 0 0
1796.70/1797.00 c pseudoobj : 32379 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 3243 0 0 11
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.03 0.00 0.00 0.03 0.00
1796.70/1797.00 c pseudoobj : 0.07 0.00 0.00 0.07 0.00
1796.70/1797.00 c vbounds : 0.03 0.00 0.00 0.03 0.00
1796.70/1797.00 c redcost : 0.54 0.00 0.00 0.54 0.00
1796.70/1797.00 c probing : 0.03 0.00 0.03 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.12 597 597 7461 48.5 54 14.6 -
1796.70/1797.00 c infeasible LP : 3.17 2363 2363 7612 30.7 480 10.1 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 : - - - 7372 28.4 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.00 5 - - 1036 - (maximal pool size: 4241)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.00 0.00 6 0 0 25 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 4.20 0.00 6 0 0 118 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 4.07 0.00 6 0 0 181 0
1796.70/1797.00 c cmir : 2.38 0.00 6 0 0 3000 0
1796.70/1797.00 c flowcover : 1.61 0.00 6 0 0 1200 0
1796.70/1797.00 c clique : 0.02 0.00 6 0 0 0 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 19.41 0.00 1 0 0 0 921
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 557.86 0.00 3226 4 535 0 0 6158
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime 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.01 0.00 0 0
1796.70/1797.00 c crossover : 0.00 0.00 0 0
1796.70/1797.00 c guideddiving : 0.00 0.00 0 0
1796.70/1797.00 c fracdiving : 121.97 0.00 3 0
1796.70/1797.00 c coefdiving : 138.31 0.00 6 0
1796.70/1797.00 c pscostdiving : 54.63 0.00 14 0
1796.70/1797.00 c objpscostdiving : 18.66 0.00 10 0
1796.70/1797.00 c feaspump : 41.75 0.00 10 0
1796.70/1797.00 c rootsoldiving : 17.32 0.00 12 0
1796.70/1797.00 c veclendiving : 38.43 0.00 33 0
1796.70/1797.00 c linesearchdiving : 57.73 0.00 45 0
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.01 0.00 2 0
1796.70/1797.00 c shiftandpropagate: 1.07 0.00 1 0
1796.70/1797.00 c simplerounding : 0.00 0.00 0 0
1796.70/1797.00 c zirounding : 1.35 0.00 1000 0
1796.70/1797.00 c rounding : 1.68 0.00 747 0
1796.70/1797.00 c shifting : 9.02 0.00 211 0
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.01 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.27 0.00 1 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 0 0
1796.70/1797.00 c subnlp : 0.00 0.00 0 0
1796.70/1797.00 c trysol : 0.01 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.09 1 0 0.00 0.00 0.09 1
1796.70/1797.00 c dual LP : 675.88 3853 2063191 543.80 3052.58 1.13 59
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 - 0.00 0
1796.70/1797.00 c diving/probing LP: 465.13 5507 1401093 254.42 3012.25
1796.70/1797.00 c strong branching : 556.51 2066 1155077 559.09 2075.56
1796.70/1797.00 c (at root node) : - 25 20690 827.60 -
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 : 3846
1796.70/1797.00 c nodes (total) : 3846
1796.70/1797.00 c nodes left : 2182
1796.70/1797.00 c max depth : 97
1796.70/1797.00 c max depth (total): 97
1796.70/1797.00 c backtracks : 373 (9.7%)
1796.70/1797.00 c delayed cutoffs : 133
1796.70/1797.00 c repropagations : 3993 (161721 domain reductions, 64 cutoffs)
1796.70/1797.00 c avg switch length: 5.42
1796.70/1797.00 c switching time : 7.27
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.53000000000000e+02
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 c Root Dual Bound : +1.53000000000000e+02
1796.70/1797.00 c Root Iterations : 29118
1796.80/1797.14 c Time complete: 1796.85.
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-3692147-1338035064/watcher-3692147-1338035064 -o /tmp/evaluation-result-3692147-1338035064/solver-3692147-1338035064 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692147-1338035064.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 1.98 3/176 2138
/proc/meminfo: memFree=26941912/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=12696 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 1922 0 0 0 0 0 0 0 20 0 1 0 269631522 13000704 1876 33554432000 4194304 10219143 140737481664096 140737481660648 9029200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 3174 1876 421 1471 0 1694 0
[startup+0.080012 s]
/proc/loadavg: 2.01 2.02 1.98 3/176 2138
/proc/meminfo: memFree=26941912/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=23364 CPUtime=0.07 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 4570 0 0 0 7 0 0 0 20 0 1 0 269631522 23924736 4524 33554432000 4194304 10219143 140737481664096 140737481660648 9029200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 5841 4524 421 1471 0 4361 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23364
[startup+0.100354 s]
/proc/loadavg: 2.01 2.02 1.98 3/176 2138
/proc/meminfo: memFree=26941912/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=25144 CPUtime=0.09 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 5044 0 0 0 9 0 0 0 20 0 1 0 269631522 25747456 4998 33554432000 4194304 10219143 140737481664096 140737481660648 5957824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 6286 4998 421 1471 0 4806 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25144
[startup+0.300329 s]
/proc/loadavg: 2.01 2.02 1.98 3/176 2138
/proc/meminfo: memFree=26941912/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=91244 CPUtime=0.29 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 21311 0 0 0 27 2 0 0 20 0 1 0 269631522 93433856 21266 33554432000 4194304 10219143 140737481664096 140737481660648 7589947 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 22855 21302 484 1471 0 21375 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 91244
[startup+0.700326 s]
/proc/loadavg: 2.01 2.02 1.98 3/176 2138
/proc/meminfo: memFree=26941912/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=163648 CPUtime=0.69 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 42043 0 0 0 57 12 0 0 20 0 1 0 269631522 167575552 37988 33554432000 4194304 10219143 140737481664096 140737481661096 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 40912 37988 593 1471 0 39432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 163648
[startup+1.50029 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 2139
/proc/meminfo: memFree=26754444/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=211156 CPUtime=1.49 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 54550 0 0 0 131 18 0 0 20 0 1 0 269631522 216223744 48614 33554432000 4194304 10219143 140737481664096 140737481659976 4487149 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 52789 48614 691 1471 0 51309 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 211156
[startup+3.10024 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 2139
/proc/meminfo: memFree=26723544/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=233256 CPUtime=3.09 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 57073 0 0 0 290 19 0 0 20 0 1 0 269631522 238854144 54768 33554432000 4194304 10219143 140737481664096 140737481655352 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 58314 54768 786 1471 0 56834 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 233256
[startup+6.3003 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 2139
/proc/meminfo: memFree=26695272/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=318884 CPUtime=6.29 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 78018 0 0 0 596 33 0 0 20 0 1 0 269631522 326537216 75713 33554432000 4194304 10219143 140737481664096 140737481657128 4436031 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 79721 75713 826 1471 0 78241 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 318884
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 2139
/proc/meminfo: memFree=26623360/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=332476 CPUtime=12.69 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 81399 0 0 0 1139 130 0 0 20 0 1 0 269631522 340455424 79094 33554432000 4194304 10219143 140737481664096 140737481658136 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 83119 79094 826 1471 0 81639 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 332476
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 2139
/proc/meminfo: memFree=26593724/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356212 CPUtime=25.48 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 88153 0 0 0 2396 152 0 0 20 0 1 0 269631522 364761088 85556 33554432000 4194304 10219143 140737481664096 140737481656616 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89053 85556 843 1471 0 87573 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 356212
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 1.98 3/176 2177
/proc/meminfo: memFree=25081956/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356212 CPUtime=51.08 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 88981 0 0 0 4925 183 0 0 20 0 1 0 269631522 364761088 86563 33554432000 4194304 10219143 140737481664096 140737481656616 8056881 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89053 86563 843 1471 0 87573 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 356212
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 2178
/proc/meminfo: memFree=25333332/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=102.27 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94172 0 0 0 10039 188 0 0 20 0 1 0 269631522 364847104 87108 33554432000 4194304 10219143 140737481664096 140737481656808 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 87108 851 1471 0 87594 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 356296
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 2178
/proc/meminfo: memFree=25332864/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=162.25 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94175 0 0 0 16029 196 0 0 20 0 1 0 269631522 364847104 87119 33554432000 4194304 10219143 140737481664096 140737481657224 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 87119 851 1471 0 87594 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 356296
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 2178
/proc/meminfo: memFree=25326072/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=222.25 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94179 0 0 0 22018 207 0 0 20 0 1 0 269631522 364847104 88232 33554432000 4194304 10219143 140737481664096 140737481656808 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88232 854 1471 0 87594 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 356296
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 2179
/proc/meminfo: memFree=25309848/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=282.23 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94179 0 0 0 28004 219 0 0 20 0 1 0 269631522 364847104 88232 33554432000 4194304 10219143 140737481664096 140737481657400 8077308 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88232 854 1471 0 87594 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 356296
[startup+342.3 s]
/proc/loadavg: 2.06 2.01 1.99 3/178 2182
/proc/meminfo: memFree=25309868/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=342.22 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94179 0 0 0 33988 234 0 0 20 0 1 0 269631522 364847104 88232 33554432000 4194304 10219143 140737481664096 140737481657224 7639980 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88232 854 1471 0 87594 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 356296
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 2182
/proc/meminfo: memFree=25310028/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=402.22 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94179 0 0 0 39971 251 0 0 20 0 1 0 269631522 364847104 88232 33554432000 4194304 10219143 140737481664096 140737481656808 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88232 854 1471 0 87594 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 356296
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2182
/proc/meminfo: memFree=25308816/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=462.21 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94179 0 0 0 45953 268 0 0 20 0 1 0 269631522 364847104 88232 33554432000 4194304 10219143 140737481664096 140737481657352 7955905 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88232 854 1471 0 87594 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 356296
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2182
/proc/meminfo: memFree=25308144/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=522.19 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94179 0 0 0 51936 283 0 0 20 0 1 0 269631522 364847104 88232 33554432000 4194304 10219143 140737481664096 140737481657736 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88232 854 1471 0 87594 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 356296
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 2182
/proc/meminfo: memFree=25308104/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=582.19 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94179 0 0 0 57922 297 0 0 20 0 1 0 269631522 364847104 88232 33554432000 4194304 10219143 140737481664096 140737481657400 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88232 854 1471 0 87594 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 356296
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25302956/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1122.1 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 111750 460 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481656616 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 356296
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2188
/proc/meminfo: memFree=25302832/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1182.1 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 117735 475 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481656808 8930910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 356296
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2189
/proc/meminfo: memFree=25302832/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1242.08 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 123718 490 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481656616 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 356296
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2189
/proc/meminfo: memFree=25302396/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1302.08 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 129702 506 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481657400 8056848 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 356296
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2189
/proc/meminfo: memFree=25302644/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1362.07 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 135686 521 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481657224 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 356296
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2189
/proc/meminfo: memFree=25302644/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1422.06 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 141666 540 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481661464 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 356296
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2189
/proc/meminfo: memFree=25302644/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1482.05 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 147649 556 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481656280 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 356296
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2193
/proc/meminfo: memFree=25302936/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1542.04 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 153631 573 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481657080 8091546 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 356296
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2193
/proc/meminfo: memFree=25303200/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1602.03 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 159611 592 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481656760 4436031 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 356296
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2193
/proc/meminfo: memFree=25303076/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1662.02 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 165594 608 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481657224 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 356296
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2193
/proc/meminfo: memFree=25303200/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1722.01 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 171575 626 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481656616 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 356296
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2193
/proc/meminfo: memFree=25302828/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1782 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 177555 645 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481656072 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 356296
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2193
/proc/meminfo: memFree=25303200/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1785.3 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 177885 645 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481657224 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1785.3
Current children cumulated vsize (KiB) 356296
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2193
/proc/meminfo: memFree=25303200/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1791.71 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 178524 647 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481656072 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1791.71
Current children cumulated vsize (KiB) 356296
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2193
/proc/meminfo: memFree=25303200/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1794.91 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 178843 648 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481656072 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1794.91
Current children cumulated vsize (KiB) 356296
[startup+1796 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2193
/proc/meminfo: memFree=25303200/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1795.7 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 178922 648 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481656616 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1795.7
Current children cumulated vsize (KiB) 356296
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2193
/proc/meminfo: memFree=25303200/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1796.5 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 179002 648 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481657736 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (KiB) 356296
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2193
/proc/meminfo: memFree=25303200/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=356296 CPUtime=1796.7 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94181 0 0 0 179022 648 0 0 20 0 1 0 269631522 364847104 88330 33554432000 4194304 10219143 140737481664096 140737481657736 8083898 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 89074 88330 856 1471 0 87594 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 356296
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2193
/proc/meminfo: memFree=25303200/32873844 swapFree=7108/7108
[pid=2138] ppid=2136 vsize=352200 CPUtime=1796.8 cores=0,2,4,6
/proc/2138/stat : 2138 (scip-2.1.1.4exp) R 2136 2138 659 0 -1 4202496 94185 0 0 0 179032 648 0 0 20 0 1 0 269631522 360652800 87310 33554432000 4194304 10219143 140737481664096 140737481657736 5634621 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 88050 87310 860 1471 0 86570 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 352200
Child status: 0
Real time (s): 1797.15
CPU time (s): 1796.86
CPU user time (s): 1790.36
CPU system time (s): 6.49201
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 376720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.36
system time used= 6.49201
maximum resident set size= 366976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94187
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= 1982
runsolver used 6.46302 second user time and 20.3469 second system time
The end