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: a3bf3a4-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-3693060-1338037448.opb>
0.00/0.01 c original problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 602 constraints
0.00/0.01 c problem read in 0.01
0.00/0.05 c presolving:
0.19/0.26 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50208 impls, 400 clqs
0.39/0.48 c (0.5s) probing: 51/6626 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.48 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.39/0.49 c presolving (2 rounds):
0.39/0.49 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.49 c 50208 implications, 400 cliques
0.39/0.49 c presolved problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6828 constraints
0.39/0.49 c 1 constraints of type <knapsack>
0.39/0.49 c 600 constraints of type <setppc>
0.39/0.49 c 6226 constraints of type <and>
0.39/0.49 c 1 constraints of type <linear>
0.39/0.49 c transformed objective value is always integral (scale: 1)
0.39/0.49 c Presolving Time: 0.47
0.39/0.49 c - non default parameters ----------------------------------------------------------------------
0.39/0.49 c # SCIP version 2.1.1.4
0.39/0.49 c
0.39/0.49 c # maximal time in seconds to run
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/time = 1797
0.39/0.49 c
0.39/0.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/memory = 13950
0.39/0.49 c
0.39/0.49 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.49 c # [type: int, range: [1,2], default: 1]
0.39/0.49 c timing/clocktype = 2
0.39/0.49 c
0.39/0.49 c # belongs reading time to solving time?
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c timing/reading = TRUE
0.39/0.49 c
0.39/0.49 c -----------------------------------------------------------------------------------------------
0.39/0.49 c start solving
0.39/0.49 c
1.59/1.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.59/1.67 c 1.7s| 1 | 0 | 1333 | - | 30M| 0 | 739 |6626 |6853 |6626 | 13k| 0 | 25 | 0 | 0.000000e+00 | -- | Inf
17.29/17.37 c 17.4s| 1 | 0 | 21530 | - | 33M| 0 | 737 |6626 |6855 |6626 | 13k| 33 | 26 | 0 | 0.000000e+00 | -- | Inf
24.38/24.42 c 24.4s| 1 | 0 | 21593 | - | 34M| 0 | 748 |6626 |6855 |6626 | 13k| 44 | 26 | 0 | 0.000000e+00 | -- | Inf
31.48/31.56 c 31.6s| 1 | 0 | 21662 | - | 36M| 0 | 728 |6626 |6855 |6626 | 13k| 53 | 26 | 0 | 0.000000e+00 | -- | Inf
38.49/38.58 c 38.6s| 1 | 0 | 21742 | - | 37M| 0 | 716 |6626 |6855 |6626 | 13k| 58 | 26 | 0 | 0.000000e+00 | -- | Inf
44.19/44.26 c 44.3s| 1 | 0 | 21868 | - | 38M| 0 | 701 |6626 |6855 |6626 | 13k| 68 | 26 | 0 | 0.000000e+00 | -- | Inf
49.08/49.11 c 49.1s| 1 | 0 | 21954 | - | 40M| 0 | 699 |6626 |6855 |6626 | 13k| 75 | 26 | 0 | 0.000000e+00 | -- | Inf
58.38/58.42 c 58.4s| 1 | 2 | 21954 | - | 40M| 0 | 699 |6626 |6855 |6626 | 13k| 75 | 26 | 20 | 0.000000e+00 | -- | Inf
216.76/216.82 c 217s| 100 | 101 |276243 |2568.6 | 43M| 19 | 709 |6626 |7444 |6626 |2422 | 18k| 615 |1273 | 0.000000e+00 | -- | Inf
343.23/343.30 c 343s| 200 | 189 |566716 |2737.5 | 44M| 28 | 774 |6626 |7781 |6626 |2297 | 41k| 961 |1762 | 0.000000e+00 | -- | Inf
483.90/484.01 c 484s| 300 | 279 |892599 |2911.9 | 46M| 30 | 775 |6626 |8318 |6626 |2420 | 66k|1659 |2184 | 0.000000e+00 | -- | Inf
589.77/589.92 c 590s| 400 | 371 | 1154k|2838.8 | 48M| 30 | 807 |6626 |8491 |6626 |2668 | 90k|2108 |2446 | 0.000000e+00 | -- | Inf
752.75/752.94 c 753s| 500 | 431 | 1641k|3246.5 | 50M| 31 | 740 |6626 |8647 |6626 |3181 | 110k|2480 |2729 | 0.000000e+00 | -- | Inf
872.04/872.28 c 872s| 600 | 517 | 1924k|3176.0 | 52M| 31 | 772 |6626 |8515 |6626 |2957 | 134k|2827 |3029 | 0.000000e+00 | -- | Inf
939.52/939.77 c 940s| 700 | 563 | 2095k|2966.5 | 53M| 32 | - |6626 |8329 |6626 |3141 | 150k|2893 |3131 | 0.000000e+00 | -- | Inf
1021.62/1021.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.62/1021.83 c 1022s| 800 | 625 | 2340k|2902.4 | 54M| 33 | 644 |6626 |8221 |6626 |2840 | 170k|3039 |3148 | 0.000000e+00 | -- | Inf
1043.01/1043.20 c 1043s| 900 | 641 | 2397k|2641.9 | 55M| 43 | - |6626 |8275 |6626 |3092 | 175k|3093 |3148 | 0.000000e+00 | -- | Inf
1062.90/1063.18 c 1063s| 1000 | 649 | 2448k|2428.7 | 55M| 47 | 608 |6626 |8310 |6626 |2960 | 179k|3129 |3175 | 0.000000e+00 | -- | Inf
1084.80/1085.03 c 1085s| 1100 | 647 | 2492k|2247.9 | 55M| 51 | 647 |6626 |8319 |6626 |3111 | 182k|3192 |3244 | 0.000000e+00 | -- | Inf
1103.49/1103.73 c 1104s| 1200 | 649 | 2530k|2092.4 | 55M| 51 | 648 |6626 |8342 |6626 |3030 | 184k|3246 |3298 | 0.000000e+00 | -- | Inf
1119.79/1120.05 c 1120s| 1300 | 651 | 2568k|1960.1 | 55M| 51 | 643 |6626 |8375 |6626 |2837 | 187k|3326 |3336 | 0.000000e+00 | -- | Inf
1200.57/1200.88 c 1201s| 1400 | 703 | 2752k|1952.0 | 55M| 51 | - |6626 |8193 |6626 |3239 | 201k|3449 |3484 | 0.000000e+00 | -- | Inf
1261.57/1261.80 c 1262s| 1500 | 759 | 2904k|1923.2 | 56M| 51 | 639 |6626 |8215 |6626 |3025 | 214k|3620 |3551 | 0.000000e+00 | -- | Inf
1279.56/1279.83 c 1280s| 1600 | 768 | 2940k|1825.0 | 56M| 51 | 630 |6626 |8275 |6626 |2940 | 217k|3691 |3614 | 0.000000e+00 | -- | Inf
1346.95/1347.24 c 1347s| 1700 | 818 | 3081k|1801.0 | 58M| 51 | 699 |6626 |8261 |6626 |2584 | 230k|3942 |3768 | 0.000000e+00 | -- | Inf
1391.05/1391.35 c 1391s| 1800 | 840 | 3193k|1763.0 | 58M| 51 | 760 |6626 |8164 |6626 |3004 | 239k|4036 |3849 | 0.000000e+00 | -- | Inf
1459.94/1460.24 c 1460s| 1900 | 888 | 3382k|1769.5 | 59M| 51 | 726 |6626 |8073 |6626 |3164 | 252k|4417 |3872 | 0.000000e+00 | -- | Inf
1514.44/1514.74 c 1515s| 2000 | 919 | 3504k|1741.9 | 60M| 51 | 699 |6626 |7983 |6626 |3190 | 262k|4540 |3995 | 0.000000e+00 | -- | Inf
1585.02/1585.35 c 1585s| 2100 | 966 | 3668k|1737.4 | 62M| 51 | - |6626 |7967 |6626 |3244 | 278k|4669 |4181 | 0.000000e+00 | -- | Inf
1660.21/1660.52 c 1661s| 2200 | 1020 | 3868k|1749.3 | 63M| 51 | 750 |6626 |7983 |6626 |2748 | 295k|4806 |4226 | 0.000000e+00 | -- | Inf
1727.70/1728.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.70/1728.09 c 1728s| 2300 | 1062 | 4033k|1744.7 | 65M| 51 | - |6626 |7986 |6626 |3448 | 311k|4945 |4367 | 0.000000e+00 | -- | Inf
1789.89/1790.26 c 1790s| 2400 | 1094 | 4184k|1735.3 | 65M| 51 | 803 |6626 |7996 |6626 |3265 | 322k|5040 |4510 | 0.000000e+00 | -- | Inf
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.01
1796.68/1797.00 c Solving Nodes : 2415
1796.68/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.00 c Dual Bound : +0.00000000000000e+00
1796.68/1797.00 c Gap : infinite
1796.68/1797.00 s UNKNOWN
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Total Time : 1797.01
1796.68/1797.00 c solving : 1797.01
1796.68/1797.00 c presolving : 0.47 (included in solving)
1796.68/1797.00 c reading : 0.01 (included in solving)
1796.68/1797.00 c copying : 0.04 (2 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.68/1797.00 c Original Problem :
1796.68/1797.00 c Problem name : HOME/instance-3693060-1338037448.opb
1796.68/1797.00 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 602 initial, 602 maximal
1796.68/1797.00 c Objective sense : minimize
1796.68/1797.00 c Presolved Problem :
1796.68/1797.00 c Problem name : t_HOME/instance-3693060-1338037448.opb
1796.68/1797.00 c Variables : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 6828 initial, 8719 maximal
1796.68/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c probing : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c and : 0.36 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c linear : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c root node : - - 0 - - 0 - - - - -
1796.68/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c integral : 0 0 0 0 1825 0 30 0 0 75 0 0 3518
1796.68/1797.00 c knapsack : 1 1 6 81237 0 0 29 574 4 0 0 0 0
1796.68/1797.00 c setppc : 600 600 6 81233 0 0 28 176169 327 15048 0 0 0
1796.68/1797.00 c and : 6226 6226 7657 80906 0 0 27 179318 597 348832 411481 0 0
1796.68/1797.00 c linear : 1 1 6 80309 0 0 1 160 16 0 0 0 0
1796.68/1797.00 c logicor : 0+ 1891 6 7458 0 0 0 7451 2 6756 0 0 0
1796.68/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.00 c integral : 253.14 0.00 0.00 0.00 253.14 0.00 0.00 0.00
1796.68/1797.00 c knapsack : 0.16 0.00 0.01 0.14 0.00 0.00 0.00 0.01
1796.68/1797.00 c setppc : 1.53 0.00 0.00 1.36 0.00 0.00 0.00 0.17
1796.68/1797.00 c and : 24.96 0.00 13.36 11.38 0.00 0.00 0.00 0.21
1796.68/1797.00 c linear : 0.17 0.00 0.00 0.17 0.00 0.00 0.00 0.00
1796.68/1797.00 c logicor : 0.20 0.00 0.00 0.18 0.00 0.00 0.00 0.01
1796.68/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.00 c rootredcost : 0 0 0 0
1796.68/1797.00 c pseudoobj : 0 0 0 0
1796.68/1797.00 c vbounds : 0 0 0 0
1796.68/1797.00 c redcost : 8644 0 0 0
1796.68/1797.00 c probing : 0 0 0 0
1796.68/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.00 c rootredcost : 0.11 0.00 0.00 0.11 0.00
1796.68/1797.00 c pseudoobj : 0.09 0.00 0.00 0.09 0.00
1796.68/1797.00 c vbounds : 0.09 0.00 0.00 0.09 0.00
1796.68/1797.00 c redcost : 0.93 0.00 0.00 0.93 0.00
1796.68/1797.00 c probing : 0.03 0.00 0.03 0.00 0.00
1796.68/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.00 c propagation : 0.03 946 946 1054 24.3 0 0.0 -
1796.68/1797.00 c infeasible LP : 3.13 1233 897 9279 141.6 21 2.9 0
1796.68/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.00 c applied globally : - - - 5051 131.7 - - -
1796.68/1797.00 c applied locally : - - - 0 0.0 - - -
1796.68/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.00 c cut pool : 0.01 5 - - 1 - (maximal pool size: 651)
1796.68/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c impliedbounds : 0.01 0.00 6 0 0 59 0
1796.68/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c gomory : 10.28 0.00 6 0 0 0 0
1796.68/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c strongcg : 26.28 0.00 6 0 0 2130 0
1796.68/1797.00 c cmir : 0.51 0.00 6 0 0 14 0
1796.68/1797.00 c flowcover : 0.72 0.00 6 0 0 28 0
1796.68/1797.00 c clique : 0.17 0.00 6 0 0 38 0
1796.68/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c mcf : 0.21 0.00 4 0 0 27 0
1796.68/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.00 c problem variables: 0.00 - 0 0
1796.68/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c relpscost : 253.13 0.00 1825 0 75 0 0 3518
1796.68/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c inference : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.00 c LP solutions : 0.00 - - 0
1796.68/1797.00 c pseudo solutions : 0.00 - - 0
1796.68/1797.00 c oneopt : 0.02 0.00 0 0
1796.68/1797.00 c crossover : 0.00 0.00 0 0
1796.68/1797.00 c pscostdiving : 81.83 0.00 31 0
1796.68/1797.00 c fracdiving : 98.29 0.00 32 0
1796.68/1797.00 c coefdiving : 119.95 0.00 32 0
1796.68/1797.00 c linesearchdiving : 51.39 0.00 40 0
1796.68/1797.00 c smallcard : 0.00 0.00 0 0
1796.68/1797.00 c trivial : 0.00 0.00 2 0
1796.68/1797.00 c shiftandpropagate: 0.62 0.00 1 0
1796.68/1797.00 c simplerounding : 0.01 0.00 0 0
1796.68/1797.00 c zirounding : 0.60 0.00 0 0
1796.68/1797.00 c rounding : 1.56 0.00 1269 0
1796.68/1797.00 c shifting : 23.80 0.00 404 0
1796.68/1797.00 c intshifting : 0.00 0.00 0 0
1796.68/1797.00 c twoopt : 0.00 0.00 0 0
1796.68/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.00 c indoneopt : 0.01 0.00 0 0
1796.68/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.00 c feaspump : 24.37 0.00 7 0
1796.68/1797.00 c clique : 0.00 0.00 0 0
1796.68/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.00 c indrounding : 0.00 0.00 0 0
1796.68/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.00 c veclendiving : 59.21 0.00 17 0
1796.68/1797.00 c intdiving : 0.00 0.00 0 0
1796.68/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.00 c objpscostdiving : 52.38 0.00 10 0
1796.68/1797.00 c rootsoldiving : 19.01 0.00 6 0
1796.68/1797.00 c guideddiving : 0.00 0.00 0 0
1796.68/1797.00 c octane : 0.00 0.00 0 0
1796.68/1797.00 c rens : 1.54 0.00 1 0
1796.68/1797.00 c rins : 0.00 0.00 0 0
1796.68/1797.00 c localbranching : 0.00 0.00 0 0
1796.68/1797.00 c mutation : 0.00 0.00 0 0
1796.68/1797.00 c dins : 0.00 0.00 0 0
1796.68/1797.00 c vbounds : 0.00 0.00 0 0
1796.68/1797.00 c undercover : 0.33 0.00 1 0
1796.68/1797.00 c subnlp : 0.00 0.00 0 0
1796.68/1797.00 c trysol : 0.01 0.00 0 0
1796.68/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.00 c primal LP : 8.54 1635 0 0.00 0.00 8.54 1635
1796.68/1797.00 c dual LP : 927.52 9306 2886009 310.89 3111.55 0.13 23
1796.68/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.00 c diving/probing LP: 434.16 51189 1315964 25.71 3031.09
1796.68/1797.00 c strong branching : 252.82 4528 599714 132.45 2372.14
1796.68/1797.00 c (at root node) : - 20 11925 596.25 -
1796.68/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.00 c B&B Tree :
1796.68/1797.00 c number of runs : 1
1796.68/1797.00 c nodes : 2415
1796.68/1797.00 c nodes (total) : 2415
1796.68/1797.00 c nodes left : 1101
1796.68/1797.00 c max depth : 51
1796.68/1797.00 c max depth (total): 51
1796.68/1797.00 c backtracks : 469 (19.4%)
1796.68/1797.00 c delayed cutoffs : 3
1796.68/1797.00 c repropagations : 1634 (6691 domain reductions, 3 cutoffs)
1796.68/1797.00 c avg switch length: 5.11
1796.68/1797.00 c switching time : 10.87
1796.68/1797.00 c Solution :
1796.68/1797.00 c Solutions found : 0 (0 improvements)
1796.68/1797.00 c Primal Bound : -
1796.68/1797.00 c Dual Bound : +0.00000000000000e+00
1796.68/1797.00 c Gap : infinite
1796.68/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.68/1797.00 c Root Iterations : 21954
1796.68/1797.09 c Time complete: 1796.78.
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-3693060-1338037448/watcher-3693060-1338037448 -o /tmp/evaluation-result-3693060-1338037448/solver-3693060-1338037448 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693060-1338037448.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.04 2.01 2.00 3/176 3288
/proc/meminfo: memFree=27911424/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=10396 CPUtime=0 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 1333 0 0 0 0 0 0 0 20 0 1 0 269873342 10645504 1287 33554432000 4194304 10169799 140736222651360 140736222517048 8797266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 2599 1287 410 1459 0 1131 0
[startup+0.093876 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 3288
/proc/meminfo: memFree=27911424/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=31980 CPUtime=0.09 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 6789 0 0 0 6 3 0 0 20 0 1 0 269873342 32747520 6486 33554432000 4194304 10169799 140736222651360 140736222517048 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 7995 6486 538 1459 0 6527 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31980
[startup+0.100348 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 3288
/proc/meminfo: memFree=27911424/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=31980 CPUtime=0.09 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 6789 0 0 0 6 3 0 0 20 0 1 0 269873342 32747520 6486 33554432000 4194304 10169799 140736222651360 140736222517048 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 7995 6486 538 1459 0 6527 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31980
[startup+0.300247 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 3288
/proc/meminfo: memFree=27911424/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=36776 CPUtime=0.29 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 8102 0 0 0 11 18 0 0 20 0 1 0 269873342 37658624 7763 33554432000 4194304 10169799 140736222651360 140736222649512 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 9194 7763 584 1459 0 7726 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36776
[startup+0.700298 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 3288
/proc/meminfo: memFree=27911424/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=60088 CPUtime=0.69 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 14338 0 0 0 36 33 0 0 20 0 1 0 269873342 61530112 13551 33554432000 4194304 10169799 140736222651360 140736222649512 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 15022 13551 687 1459 0 13554 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60088
[startup+1.50026 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3289
/proc/meminfo: memFree=27856740/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=74376 CPUtime=1.49 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 17796 0 0 0 115 34 0 0 20 0 1 0 269873342 76161024 16952 33554432000 4194304 10169799 140736222651360 140736222645768 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 18594 16952 771 1459 0 17126 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74376
[startup+3.10024 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3289
/proc/meminfo: memFree=27846176/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=73188 CPUtime=3.08 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 18288 0 0 0 274 34 0 0 20 0 1 0 269873342 74944512 16969 33554432000 4194304 10169799 140736222651360 140736222643720 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 18297 16969 786 1459 0 16829 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 73188
[startup+6.30024 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3289
/proc/meminfo: memFree=27844944/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=73188 CPUtime=6.29 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 18317 0 0 0 594 35 0 0 20 0 1 0 269873342 74944512 16998 33554432000 4194304 10169799 140736222651360 140736222643640 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 18297 16998 789 1459 0 16829 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73188
[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3289
/proc/meminfo: memFree=27802180/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=111284 CPUtime=12.69 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 34413 0 0 0 1227 42 0 0 20 0 1 0 269873342 113954816 26722 33554432000 4194304 10169799 140736222651360 140736222647400 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 27821 26722 853 1459 0 26353 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 111284
[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3289
/proc/meminfo: memFree=27794004/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=111284 CPUtime=25.49 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 34519 0 0 0 2497 52 0 0 20 0 1 0 269873342 113954816 26817 33554432000 4194304 10169799 140736222651360 140736222647432 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 27821 26817 874 1459 0 26353 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 111284
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3289
/proc/meminfo: memFree=27758168/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=110320 CPUtime=51.09 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 41128 0 0 0 5040 69 0 0 20 0 1 0 269873342 112967680 26665 33554432000 4194304 10169799 140736222651360 140736222642856 8044587 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 27580 26665 879 1459 0 26112 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 110320
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3290
/proc/meminfo: memFree=27763004/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=110320 CPUtime=102.28 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 41129 0 0 0 10125 103 0 0 20 0 1 0 269873342 112967680 26666 33554432000 4194304 10169799 140736222651360 140736222645864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 27580 26666 880 1459 0 26112 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 110320
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3290
/proc/meminfo: memFree=27741180/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=110320 CPUtime=162.27 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 41129 0 0 0 16092 135 0 0 20 0 1 0 269873342 112967680 26666 33554432000 4194304 10169799 140736222651360 140736222645032 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 27580 26666 880 1459 0 26112 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 110320
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3290
/proc/meminfo: memFree=27715884/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=111068 CPUtime=222.25 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 41249 0 0 0 22058 167 0 0 20 0 1 0 269873342 113733632 26786 33554432000 4194304 10169799 140736222651360 140736222645960 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 27767 26786 880 1459 0 26299 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 111068
[startup+282.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 3290
/proc/meminfo: memFree=27693440/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=113964 CPUtime=282.24 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 41964 0 0 0 28024 200 0 0 20 0 1 0 269873342 116699136 27501 33554432000 4194304 10169799 140736222651360 140736222645864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 28491 27501 880 1459 0 27023 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 113964
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 3290
/proc/meminfo: memFree=27669084/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=115560 CPUtime=342.23 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 42361 0 0 0 33989 234 0 0 20 0 1 0 269873342 118333440 27898 33554432000 4194304 10169799 140736222651360 140736222645864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 28890 27898 880 1459 0 27422 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 115560
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 3294
/proc/meminfo: memFree=27646544/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=117468 CPUtime=402.22 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 42813 0 0 0 39957 265 0 0 20 0 1 0 269873342 120287232 28350 33554432000 4194304 10169799 140736222651360 140736222645768 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 29367 28350 880 1459 0 27899 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 117468
[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 3294
/proc/meminfo: memFree=27621056/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=121076 CPUtime=462.21 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 43689 0 0 0 45922 299 0 0 20 0 1 0 269873342 123981824 29242 33554432000 4194304 10169799 140736222651360 140736222645384 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 30269 29242 880 1459 0 28801 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 121076
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3294
/proc/meminfo: memFree=27596196/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=124392 CPUtime=522.19 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 44657 0 0 0 51884 335 0 0 20 0 1 0 269873342 127377408 30452 33554432000 4194304 10169799 140736222651360 140736222645800 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 31098 30452 880 1459 0 29630 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 124392
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3294
/proc/meminfo: memFree=27575736/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=127748 CPUtime=582.18 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 45495 0 0 0 57850 368 0 0 20 0 1 0 269873342 130813952 31290 33554432000 4194304 10169799 140736222651360 140736222645768 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 31937 31290 880 1459 0 30469 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 127748
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28161180/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=142128 CPUtime=1122.09 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 49090 0 0 0 111534 675 0 0 20 0 1 0 269873342 145539072 34879 33554432000 4194304 10169799 140736222651360 140736222648952 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 35532 34879 880 1459 0 34064 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 142128
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3337
/proc/meminfo: memFree=28155104/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=143348 CPUtime=1182.08 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 49389 0 0 0 117496 712 0 0 20 0 1 0 269873342 146788352 35178 33554432000 4194304 10169799 140736222651360 140736222645768 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 35837 35178 880 1459 0 34369 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 143348
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3337
/proc/meminfo: memFree=28150512/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=146112 CPUtime=1242.07 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 50005 0 0 0 123461 746 0 0 20 0 1 0 269873342 149618688 35793 33554432000 4194304 10169799 140736222651360 140736222645816 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 36528 35793 880 1459 0 35060 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 146112
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3337
/proc/meminfo: memFree=28145536/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=147620 CPUtime=1302.07 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 50333 0 0 0 129423 784 0 0 20 0 1 0 269873342 151162880 36121 33554432000 4194304 10169799 140736222651360 140736222645960 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 36905 36121 880 1459 0 35437 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 147620
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3338
/proc/meminfo: memFree=28143488/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=150000 CPUtime=1362.05 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 50851 0 0 0 135388 817 0 0 20 0 1 0 269873342 153600000 36638 33554432000 4194304 10169799 140736222651360 140736222645448 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 37500 36638 880 1459 0 36032 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 150000
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3338
/proc/meminfo: memFree=28140260/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=152620 CPUtime=1422.05 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 51685 0 0 0 141350 855 0 0 20 0 1 0 269873342 156282880 37470 33554432000 4194304 10169799 140736222651360 140736222645864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 38155 37470 880 1459 0 36687 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 152620
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3338
/proc/meminfo: memFree=28138644/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=154136 CPUtime=1482.03 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 52002 0 0 0 147310 893 0 0 20 0 1 0 269873342 157835264 37787 33554432000 4194304 10169799 140736222651360 140736222645816 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 38534 37787 880 1459 0 37066 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 154136
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3338
/proc/meminfo: memFree=28137276/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=155888 CPUtime=1542.02 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 52454 0 0 0 153275 927 0 0 20 0 1 0 269873342 159629312 38236 33554432000 4194304 10169799 140736222651360 140736222645864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 38972 38236 880 1459 0 37504 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 155888
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3341
/proc/meminfo: memFree=28133172/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=157092 CPUtime=1602.01 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 52741 0 0 0 159244 957 0 0 20 0 1 0 269873342 160862208 38523 33554432000 4194304 10169799 140736222651360 140736222648440 6814913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 39273 38523 880 1459 0 37805 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 157092
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3342
/proc/meminfo: memFree=28133060/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=160760 CPUtime=1662 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 53684 0 0 0 165210 990 0 0 20 0 1 0 269873342 164618240 39466 33554432000 4194304 10169799 140736222651360 140736222645864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 40190 39466 880 1459 0 38722 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 160760
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3342
/proc/meminfo: memFree=28129832/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=161476 CPUtime=1721.99 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 53882 0 0 0 171182 1017 0 0 20 0 1 0 269873342 165351424 39662 33554432000 4194304 10169799 140736222651360 140736222645768 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 40369 39662 880 1459 0 38901 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 161476
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3342
/proc/meminfo: memFree=28127348/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=161968 CPUtime=1781.99 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 54062 0 0 0 177149 1050 0 0 20 0 1 0 269873342 165855232 39842 33554432000 4194304 10169799 140736222651360 140736222646056 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 40492 39842 880 1459 0 39024 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 161968
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3342
/proc/meminfo: memFree=28125364/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=163068 CPUtime=1785.19 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 54314 0 0 0 177468 1051 0 0 20 0 1 0 269873342 166981632 40094 33554432000 4194304 10169799 140736222651360 140736222645816 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 40767 40094 880 1459 0 39299 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 163068
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3342
/proc/meminfo: memFree=28126108/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=163068 CPUtime=1791.59 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 54314 0 0 0 178105 1054 0 0 20 0 1 0 269873342 166981632 40094 33554432000 4194304 10169799 140736222651360 140736222646184 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 40767 40094 880 1459 0 39299 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 163068
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3342
/proc/meminfo: memFree=28125984/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=163068 CPUtime=1794.79 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 54314 0 0 0 178424 1055 0 0 20 0 1 0 269873342 166981632 40094 33554432000 4194304 10169799 140736222651360 140736222645864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 40767 40094 880 1459 0 39299 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 163068
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3342
/proc/meminfo: memFree=28125984/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=163068 CPUtime=1795.59 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 54314 0 0 0 178503 1056 0 0 20 0 1 0 269873342 166981632 40094 33554432000 4194304 10169799 140736222651360 140736222645864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 40767 40094 880 1459 0 39299 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 163068
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3342
/proc/meminfo: memFree=28126232/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=163068 CPUtime=1796.38 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 54314 0 0 0 178582 1056 0 0 20 0 1 0 269873342 166981632 40094 33554432000 4194304 10169799 140736222651360 140736222645432 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 40767 40094 880 1459 0 39299 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 163068
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3342
/proc/meminfo: memFree=28126232/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=163068 CPUtime=1796.58 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 54314 0 0 0 178602 1056 0 0 20 0 1 0 269873342 166981632 40094 33554432000 4194304 10169799 140736222651360 140736222645432 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 40767 40094 880 1459 0 39299 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (KiB) 163068
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3342
/proc/meminfo: memFree=28126232/32873844 swapFree=7356/7356
[pid=3288] ppid=3286 vsize=163068 CPUtime=1796.68 cores=1,3,5,7
/proc/3288/stat : 3288 (scip-2.1.1.4sfi) R 3286 3288 1047 0 -1 4202496 54314 0 0 0 178612 1056 0 0 20 0 1 0 269873342 166981632 40094 33554432000 4194304 10169799 140736222651360 140736222645432 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3288/statm: 40767 40094 880 1459 0 39299 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 163068
Child status: 0
Real time (s): 1797.1
CPU time (s): 1796.79
CPU user time (s): 1786.22
CPU system time (s): 10.5724
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 163068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.22
system time used= 10.5724
maximum resident set size= 160384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54318
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= 45
involuntary context switches= 1847
runsolver used 3.04854 second user time and 8.46671 second system time
The end