0.00/0.00 c SCIP version 2.0.1.4 [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-3485318-1307761253.opb>
2.09/2.17 c original problem has 14500 variables (14500 bin, 0 int, 0 impl, 0 cont) and 461872 constraints
2.09/2.17 c problem read
2.09/2.17 c presolving settings loaded
3.39/3.47 c presolving:
5.50/5.59 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 454622 upgd conss, 923244 impls, 0 clqs
5.99/6.03 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 461872 upgd conss, 923244 impls, 0 clqs
78.80/78.87 c (78.9s) probing: 1000/14500 (6.9%) - 0 fixings, 0 aggregations, 138232 implications, 0 bound changes
162.10/162.14 c (162.1s) probing: 2000/14500 (13.8%) - 0 fixings, 0 aggregations, 269674 implications, 0 bound changes
162.20/162.22 c (162.2s) probing: 2001/14500 (13.8%) - 0 fixings, 0 aggregations, 269803 implications, 0 bound changes
162.20/162.22 c (162.2s) probing aborted: 2000/2000 successive useless probings
162.20/162.23 c presolving (3 rounds):
162.20/162.23 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
162.20/162.23 c 1922840 implications, 0 cliques
162.20/162.23 c presolved problem has 14500 variables (14500 bin, 0 int, 0 impl, 0 cont) and 461872 constraints
162.20/162.23 c 461622 constraints of type <setppc>
162.20/162.23 c 250 constraints of type <logicor>
162.20/162.23 c transformed objective value is always integral (scale: 1)
162.20/162.23 c Presolving Time: 159.76
162.20/162.23 c - non default parameters ----------------------------------------------------------------------
162.20/162.23 c # SCIP version 2.0.1.4
162.20/162.23 c
162.20/162.23 c # frequency for displaying node information lines
162.20/162.23 c # [type: int, range: [-1,2147483647], default: 100]
162.20/162.23 c display/freq = 10000
162.20/162.23 c
162.20/162.23 c # maximal time in seconds to run
162.20/162.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
162.20/162.23 c limits/time = 1797
162.20/162.23 c
162.20/162.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
162.20/162.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
162.20/162.23 c limits/memory = 13950
162.20/162.23 c
162.20/162.23 c # default clock type (1: CPU user seconds, 2: wall clock time)
162.20/162.23 c # [type: int, range: [1,2], default: 1]
162.20/162.23 c timing/clocktype = 2
162.20/162.23 c
162.20/162.23 c # belongs reading time to solving time?
162.20/162.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
162.20/162.23 c timing/reading = TRUE
162.20/162.23 c
162.20/162.23 c # should presolving try to simplify inequalities
162.20/162.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
162.20/162.23 c constraints/linear/simplifyinequalities = TRUE
162.20/162.23 c
162.20/162.23 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
162.20/162.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
162.20/162.23 c constraints/indicator/addCouplingCons = TRUE
162.20/162.23 c
162.20/162.23 c # should presolving try to simplify knapsacks
162.20/162.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
162.20/162.23 c constraints/knapsack/simplifyinequalities = TRUE
162.20/162.23 c
162.20/162.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
162.20/162.23 c # [type: int, range: [-1,2147483647], default: -1]
162.20/162.23 c separating/rapidlearning/freq = 0
162.20/162.23 c
162.20/162.23 c -----------------------------------------------------------------------------------------------
162.20/162.23 c start solving
162.20/162.24 c
231.20/231.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.20/231.25 c 231s| 1 | 0 | 8352 | - | 588M| 0 |7750 | 14k| 461k| 14k| 461k| 0 | 58 | 0 | 3.875000e+03 | -- | Inf
300.50/300.55 c 301s| 1 | 0 | 25044 | - | 588M| 0 |7692 | 14k| 461k| 14k| 461k| 33 | 58 | 0 | 3.904000e+03 | -- | Inf
329.30/329.34 c 329s| 1 | 0 | 25665 | - | 588M| 0 |7624 | 14k| 461k| 14k| 461k| 78 | 58 | 0 | 3.938000e+03 | -- | Inf
368.51/368.51 c 369s| 1 | 0 | 26488 | - | 588M| 0 |7528 | 14k| 461k| 14k| 462k| 161 | 58 | 0 | 3.986000e+03 | -- | Inf
420.41/420.43 c 420s| 1 | 0 | 27077 | - | 588M| 0 |7470 | 14k| 461k| 14k| 462k| 236 | 58 | 0 | 4.018000e+03 | -- | Inf
481.91/481.97 c 482s| 1 | 0 | 27753 | - | 588M| 0 |7406 | 14k| 461k| 14k| 462k| 310 | 58 | 0 | 4.051750e+03 | -- | Inf
551.21/551.22 c 551s| 1 | 0 | 28414 | - | 588M| 0 |7368 | 14k| 461k| 14k| 462k| 379 | 58 | 0 | 4.071250e+03 | -- | Inf
627.71/627.72 c 628s| 1 | 0 | 29173 | - | 589M| 0 |7295 | 14k| 461k| 14k| 462k| 462 | 58 | 0 | 4.107750e+03 | -- | Inf
711.82/711.82 c 712s| 1 | 0 | 29764 | - | 589M| 0 |7247 | 14k| 461k| 14k| 462k| 519 | 58 | 0 | 4.133750e+03 | -- | Inf
804.41/804.47 c 804s| 1 | 0 | 30845 | - | 589M| 0 |7199 | 14k| 461k| 14k| 462k| 584 | 58 | 0 | 4.161417e+03 | -- | Inf
902.03/902.02 c 902s| 1 | 0 | 31603 | - | 589M| 0 |7168 | 14k| 461k| 14k| 462k| 651 | 58 | 0 | 4.181750e+03 | -- | Inf
922.02/922.07 c 922s| 1 | 0 | 32736 | - | 590M| 0 |7151 | 14k| 461k| 14k| 462k| 727 | 58 | 0 | 4.206500e+03 | -- | Inf
941.92/941.95 c 942s| 1 | 0 | 34083 | - | 590M| 0 |7131 | 14k| 461k| 14k| 462k| 797 | 58 | 0 | 4.230357e+03 | -- | Inf
966.42/966.42 c 966s| 1 | 0 | 36072 | - | 590M| 0 |7071 | 14k| 461k| 14k| 462k| 873 | 58 | 0 | 4.259708e+03 | -- | Inf
986.12/986.16 c 986s| 1 | 0 | 37428 | - | 591M| 0 |6999 | 14k| 461k| 14k| 462k| 955 | 58 | 0 | 4.282363e+03 | -- | Inf
1009.23/1009.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1009.23/1009.26 c 1009s| 1 | 0 | 39115 | - | 591M| 0 |6978 | 14k| 461k| 14k| 462k|1029 | 58 | 0 | 4.304472e+03 | -- | Inf
1033.73/1033.70 c 1034s| 1 | 0 | 41130 | - | 592M| 0 |6924 | 14k| 461k| 14k| 462k|1108 | 58 | 0 | 4.328750e+03 | -- | Inf
1058.13/1058.17 c 1058s| 1 | 0 | 43288 | - | 592M| 0 |6882 | 14k| 461k| 14k| 463k|1183 | 58 | 0 | 4.352167e+03 | -- | Inf
1081.83/1081.88 c 1082s| 1 | 0 | 45415 | - | 593M| 0 |6861 | 14k| 461k| 14k| 463k|1265 | 58 | 0 | 4.375536e+03 | -- | Inf
1105.93/1105.91 c 1106s| 1 | 0 | 47487 | - | 594M| 0 |6816 | 14k| 461k| 14k| 463k|1352 | 58 | 0 | 4.395283e+03 | -- | Inf
1128.64/1128.61 c 1129s| 1 | 0 | 49591 | - | 594M| 0 |6770 | 14k| 461k| 14k| 463k|1441 | 58 | 0 | 4.421783e+03 | -- | Inf
1150.13/1150.14 c 1150s| 1 | 0 | 51838 | - | 595M| 0 |6741 | 14k| 461k| 14k| 463k|1526 | 58 | 0 | 4.439856e+03 | -- | Inf
1177.93/1177.97 c 1178s| 1 | 0 | 54843 | - | 595M| 0 |6674 | 14k| 461k| 14k| 463k|1615 | 58 | 0 | 4.462333e+03 | -- | Inf
1202.44/1202.46 c 1202s| 1 | 0 | 57518 | - | 595M| 0 |6654 | 14k| 461k| 14k| 463k|1706 | 58 | 0 | 4.481250e+03 | -- | Inf
1225.93/1225.92 c 1226s| 1 | 0 | 60387 | - | 596M| 0 |6608 | 14k| 461k| 14k| 463k|1800 | 58 | 0 | 4.504526e+03 | -- | Inf
1253.53/1253.51 c 1254s| 1 | 0 | 63780 | - | 596M| 0 |6576 | 14k| 461k| 14k| 463k|1891 | 58 | 0 | 4.528396e+03 | -- | Inf
1282.93/1282.93 c 1283s| 1 | 0 | 67303 | - | 597M| 0 |6545 | 14k| 461k| 14k| 463k|1989 | 58 | 0 | 4.556516e+03 | -- | Inf
1311.54/1311.54 c 1312s| 1 | 0 | 70747 | - | 597M| 0 |6512 | 14k| 461k| 14k| 463k|2084 | 58 | 0 | 4.576460e+03 | -- | Inf
1344.74/1344.74 c 1345s| 1 | 0 | 74576 | - | 597M| 0 |6442 | 14k| 461k| 14k| 463k|2181 | 58 | 0 | 4.603250e+03 | -- | Inf
1369.24/1369.25 c 1369s| 1 | 0 | 77757 | - | 598M| 0 |6412 | 14k| 461k| 14k| 463k|2280 | 58 | 0 | 4.623708e+03 | -- | Inf
1410.44/1410.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.44/1410.46 c 1410s| 1 | 0 | 82290 | - | 598M| 0 |6363 | 14k| 461k| 14k| 463k|2371 | 58 | 0 | 4.643464e+03 | -- | Inf
1437.14/1437.11 c 1437s| 1 | 0 | 85879 | - | 599M| 0 |6320 | 14k| 461k| 14k| 463k|2474 | 58 | 0 | 4.663155e+03 | -- | Inf
1462.34/1462.35 c 1462s| 1 | 0 | 88887 | - | 599M| 0 |6313 | 14k| 461k| 14k| 463k|2557 | 58 | 0 | 4.685893e+03 | -- | Inf
1521.25/1521.29 c 1521s| 1 | 0 | 96701 | - | 600M| 0 |6288 | 14k| 461k| 14k| 463k|2649 | 58 | 0 | 4.702641e+03 | -- | Inf
1556.34/1556.38 c 1556s| 1 | 0 |101245 | - | 600M| 0 |6258 | 14k| 461k| 14k| 463k|2739 | 58 | 0 | 4.722097e+03 | -- | Inf
1583.55/1583.55 c 1584s| 1 | 0 |104993 | - | 601M| 0 |6191 | 14k| 461k| 14k| 464k|2841 | 58 | 0 | 4.744333e+03 | -- | Inf
1611.15/1611.16 c 1611s| 1 | 0 |108700 | - | 601M| 0 |6177 | 14k| 461k| 14k| 464k|2930 | 58 | 0 | 4.763500e+03 | -- | Inf
1664.84/1664.80 c 1665s| 1 | 0 |115592 | - | 601M| 0 |6107 | 14k| 461k| 14k| 463k|3011 | 58 | 0 | 4.778042e+03 | -- | Inf
1702.05/1702.02 c 1702s| 1 | 0 |120459 | - | 602M| 0 |6078 | 14k| 461k| 14k| 463k|3094 | 58 | 0 | 4.795711e+03 | -- | Inf
1730.36/1730.36 c 1730s| 1 | 0 |124293 | - | 603M| 0 |6069 | 14k| 461k| 14k| 463k|3184 | 58 | 0 | 4.811844e+03 | -- | Inf
1778.05/1778.09 c 1778s| 1 | 0 |130437 | - | 603M| 0 |5984 | 14k| 461k| 14k| 464k|3295 | 58 | 0 | 4.830500e+03 | -- | Inf
1797.05/1797.03 c 1797s| 1 | 0 |132191 | - | 603M| 0 | - | 14k| 461k| 14k| 464k|3396 | 58 | 0 | 4.830500e+03 | -- | Inf
1797.15/1797.18 c 1797s| 1 | 2 |132191 | - | 603M| 0 | - | 14k| 461k| 14k| 464k|3396 | 58 | 0 | 4.830500e+03 | -- | Inf
1797.15/1797.18 c
1797.15/1797.18 c SCIP Status : solving was interrupted [time limit reached]
1797.15/1797.18 c Solving Time (sec) : 1797.18
1797.15/1797.18 c Solving Nodes : 1
1797.15/1797.18 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.15/1797.18 c Dual Bound : +4.83050000000000e+03
1797.15/1797.18 c Gap : infinite
1797.15/1797.18 s UNKNOWN
1797.15/1797.18 c SCIP Status : solving was interrupted [time limit reached]
1797.15/1797.18 c Total Time : 1797.18
1797.15/1797.18 c solving : 1797.18
1797.15/1797.18 c presolving : 159.76 (included in solving)
1797.15/1797.18 c reading : 2.18 (included in solving)
1797.15/1797.18 c Original Problem :
1797.15/1797.18 c Problem name : HOME/instance-3485318-1307761253.opb
1797.15/1797.18 c Variables : 14500 (14500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.15/1797.18 c Constraints : 461872 initial, 461872 maximal
1797.15/1797.18 c Presolved Problem :
1797.15/1797.18 c Problem name : t_HOME/instance-3485318-1307761253.opb
1797.15/1797.18 c Variables : 14500 (14500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.15/1797.18 c Constraints : 461872 initial, 461930 maximal
1797.15/1797.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.15/1797.18 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.15/1797.18 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.15/1797.18 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.15/1797.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.15/1797.18 c implics : 0.01 0 0 0 0 0 0 0 0 0
1797.15/1797.18 c probing : 155.94 0 0 0 0 0 0 0 0 0
1797.15/1797.18 c setppc : 0.65 0 0 0 0 0 0 0 0 0
1797.15/1797.18 c linear : 1.83 0 0 0 0 0 0 0 0 0
1797.15/1797.18 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.15/1797.18 c root node : - 0 - - 0 - - - - -
1797.15/1797.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.15/1797.18 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1797.15/1797.18 c setppc : 461622 41 8784 0 1 3 2516 1 0 0 0 0
1797.15/1797.18 c logicor : 250+ 41 1196 0 1 0 711 14 0 0 0 0
1797.15/1797.18 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.15/1797.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.15/1797.18 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.15/1797.18 c setppc : 180.09 1.60 178.24 0.00 0.14 0.10 0.00
1797.15/1797.18 c logicor : 0.07 0.00 0.06 0.00 0.00 0.00 0.00
1797.15/1797.18 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.15/1797.18 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.15/1797.18 c vbounds : 0 0 0 0
1797.15/1797.18 c rootredcost : 0 0 0 0
1797.15/1797.18 c pseudoobj : 2825 0 0 0
1797.15/1797.18 c Propagator Timings : TotalTime Propagate Resprop
1797.15/1797.18 c vbounds : 0.00 0.00 0.00
1797.15/1797.18 c rootredcost : 0.00 0.00 0.00
1797.15/1797.18 c pseudoobj : 0.03 0.03 0.00
1797.15/1797.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.15/1797.18 c propagation : 0.01 15 15 147 59.2 0 0.0 -
1797.15/1797.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.15/1797.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.15/1797.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.15/1797.18 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.15/1797.18 c applied globally : - - - 58 52.6 - - -
1797.15/1797.18 c applied locally : - - - 0 0.0 - - -
1797.15/1797.18 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.15/1797.18 c cut pool : 0.05 40 - - 885 - (maximal pool size: 6916)
1797.15/1797.18 c redcost : 0.02 41 0 0 0 0
1797.15/1797.18 c impliedbounds : 0.79 41 0 0 0 0
1797.15/1797.18 c intobj : 0.00 0 0 0 0 0
1797.15/1797.18 c gomory : 94.56 41 0 0 20500 0
1797.15/1797.18 c cgmip : 0.00 0 0 0 0 0
1797.15/1797.18 c closecuts : 0.00 0 0 0 0 0
1797.15/1797.18 c strongcg : 41.59 20 0 0 10000 0
1797.15/1797.18 c cmir : 207.54 10 0 0 0 0
1797.15/1797.18 c flowcover : 236.80 10 0 0 0 0
1797.15/1797.18 c clique : 31.30 41 0 0 394 0
1797.15/1797.18 c zerohalf : 0.00 0 0 0 0 0
1797.15/1797.18 c mcf : 2.73 1 0 0 0 0
1797.15/1797.18 c oddcycle : 0.00 0 0 0 0 0
1797.15/1797.18 c rapidlearning : 0.00 0 0 0 0 0
1797.15/1797.18 c Pricers : Time Calls Vars
1797.15/1797.18 c problem variables: 0.00 0 0
1797.15/1797.18 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.15/1797.18 c relpscost : 0.00 0 0 0 0 0 0
1797.15/1797.18 c pscost : 0.00 0 0 0 0 0 0
1797.15/1797.18 c inference : 0.00 1 0 0 0 0 2
1797.15/1797.18 c mostinf : 0.00 0 0 0 0 0 0
1797.15/1797.18 c leastinf : 0.00 0 0 0 0 0 0
1797.15/1797.18 c fullstrong : 0.00 0 0 0 0 0 0
1797.15/1797.18 c allfullstrong : 0.00 0 0 0 0 0 0
1797.15/1797.18 c random : 0.00 0 0 0 0 0 0
1797.15/1797.18 c Primal Heuristics : Time Calls Found
1797.15/1797.18 c LP solutions : 0.00 - 0
1797.15/1797.18 c pseudo solutions : 0.00 - 0
1797.15/1797.18 c oneopt : 0.00 0 0
1797.15/1797.18 c trivial : 0.21 2 0
1797.15/1797.18 c shiftandpropagate: 36.10 1 0
1797.15/1797.18 c simplerounding : 0.00 0 0
1797.15/1797.18 c zirounding : 0.00 0 0
1797.15/1797.18 c rounding : 1.55 41 0
1797.15/1797.18 c shifting : 217.34 41 0
1797.15/1797.18 c intshifting : 0.00 0 0
1797.15/1797.18 c twoopt : 0.00 0 0
1797.15/1797.18 c fixandinfer : 0.00 0 0
1797.15/1797.18 c feaspump : 42.26 1 0
1797.15/1797.18 c clique : 0.00 0 0
1797.15/1797.18 c coefdiving : 0.00 0 0
1797.15/1797.18 c pscostdiving : 0.00 0 0
1797.15/1797.18 c fracdiving : 0.00 0 0
1797.15/1797.18 c veclendiving : 0.00 0 0
1797.15/1797.18 c intdiving : 0.00 0 0
1797.15/1797.18 c actconsdiving : 0.00 0 0
1797.15/1797.18 c objpscostdiving : 0.00 0 0
1797.15/1797.18 c rootsoldiving : 0.00 0 0
1797.15/1797.18 c linesearchdiving : 0.00 0 0
1797.15/1797.18 c guideddiving : 0.00 0 0
1797.15/1797.18 c octane : 0.00 0 0
1797.15/1797.18 c rens : 0.00 0 0
1797.15/1797.18 c rins : 0.00 0 0
1797.15/1797.18 c localbranching : 0.00 0 0
1797.15/1797.18 c mutation : 0.00 0 0
1797.15/1797.18 c crossover : 0.00 0 0
1797.15/1797.18 c dins : 0.00 0 0
1797.15/1797.18 c vbounds : 0.00 0 0
1797.15/1797.18 c undercover : 0.00 0 0
1797.15/1797.18 c subnlp : 0.00 0 0
1797.15/1797.18 c trysol : 0.00 0 0
1797.15/1797.18 c LP : Time Calls Iterations Iter/call Iter/sec
1797.15/1797.18 c primal LP : 0.90 0 0 0.00 0.00
1797.15/1797.18 c dual LP : 716.82 42 116292 2768.86 162.23
1797.15/1797.18 c lex dual LP : 0.00 0 0 0.00 -
1797.15/1797.18 c barrier LP : 0.00 0 0 0.00 -
1797.15/1797.18 c diving/probing LP: 38.43 106 15899 149.99 413.71
1797.15/1797.18 c strong branching : 0.00 0 0 0.00 -
1797.15/1797.18 c (at root node) : - 0 0 0.00 -
1797.15/1797.18 c conflict analysis: 0.00 0 0 0.00 -
1797.15/1797.18 c B&B Tree :
1797.15/1797.18 c number of runs : 1
1797.15/1797.18 c nodes : 1
1797.15/1797.18 c nodes (total) : 1
1797.15/1797.18 c nodes left : 2
1797.15/1797.18 c max depth : 0
1797.15/1797.18 c max depth (total): 0
1797.15/1797.18 c backtracks : 0 (0.0%)
1797.15/1797.18 c delayed cutoffs : 0
1797.15/1797.18 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.15/1797.18 c avg switch length: 1.00
1797.15/1797.18 c switching time : 0.00
1797.15/1797.18 c Solution :
1797.15/1797.18 c Solutions found : 0 (0 improvements)
1797.15/1797.18 c Primal Bound : -
1797.15/1797.18 c Dual Bound : +4.83050000000000e+03
1797.15/1797.18 c Gap : infinite
1797.15/1797.18 c Root Dual Bound : +4.83050000000000e+03
1797.15/1797.18 c Root Iterations : 132191
1798.36/1798.33 c Time complete: 1798.39.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485318-1307761253/watcher-3485318-1307761253 -o /tmp/evaluation-result-3485318-1307761253/solver-3485318-1307761253 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485318-1307761253.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.03 2.01 1.98 2/177 1902
/proc/meminfo: memFree=31119116/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=6720 CPUtime=0 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 820 0 0 0 0 0 0 0 25 0 1 0 966355996 6881280 774 33554432000 4194304 8979876 140735709248304 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1902/statm: 1680 775 316 1169 0 507 0
[startup+0.096671 s]
/proc/loadavg: 2.03 2.01 1.98 2/177 1902
/proc/meminfo: memFree=31119116/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=26064 CPUtime=0.09 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 5560 0 0 0 8 1 0 0 25 0 1 0 966355996 26689536 5507 33554432000 4194304 8979876 140735709248304 18446744073709551615 7953216 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1902/statm: 6516 5507 366 1169 0 5343 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26064
[startup+0.100661 s]
/proc/loadavg: 2.03 2.01 1.98 2/177 1902
/proc/meminfo: memFree=31119116/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=26196 CPUtime=0.09 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 5594 0 0 0 8 1 0 0 25 0 1 0 966355996 26824704 5541 33554432000 4194304 8979876 140735709248304 18446744073709551615 6204417 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1902/statm: 6549 5542 366 1169 0 5376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26196
[startup+0.300637 s]
/proc/loadavg: 2.03 2.01 1.98 2/177 1902
/proc/meminfo: memFree=31119116/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=39324 CPUtime=0.29 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 8888 0 0 0 28 1 0 0 25 0 1 0 966355996 40267776 8825 33554432000 4194304 8979876 140735709248304 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1902/statm: 9831 8825 366 1169 0 8658 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39324
[startup+0.700549 s]
/proc/loadavg: 2.03 2.01 1.98 2/177 1902
/proc/meminfo: memFree=31119116/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=62344 CPUtime=0.69 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 14622 0 0 0 67 2 0 0 25 0 1 0 966355996 63840256 14559 33554432000 4194304 8979876 140735709248304 18446744073709551615 7734208 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1902/statm: 15586 14559 366 1169 0 14413 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62344
[startup+1.5004 s]
/proc/loadavg: 2.03 2.01 1.98 3/178 1903
/proc/meminfo: memFree=31044112/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=109904 CPUtime=1.49 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 26506 0 0 0 145 4 0 0 25 0 1 0 966355996 112541696 26443 33554432000 4194304 8979876 140735709248304 18446744073709551615 4446992 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1902/statm: 27476 26444 366 1169 0 26303 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109904
[startup+3.1011 s]
/proc/loadavg: 2.03 2.01 1.98 4/178 1903
/proc/meminfo: memFree=30978020/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=535696 CPUtime=3.09 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 132083 0 0 0 294 15 0 0 25 0 1 0 966355996 548552704 131962 33554432000 4194304 8979876 140735709248304 18446744073709551615 4318833 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 133924 131962 450 1169 0 132751 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 535696
[startup+6.30051 s]
/proc/loadavg: 2.03 2.01 1.98 3/178 1903
/proc/meminfo: memFree=30509544/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=521296 CPUtime=6.3 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 219195 0 0 0 603 27 0 0 25 0 1 0 966355996 533807104 127868 33554432000 4194304 8979876 140735709248304 18446744073709551615 5537616 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 130324 127868 589 1169 0 129151 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 521296
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 1913
/proc/meminfo: memFree=30604780/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=525100 CPUtime=12.69 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 220156 0 0 0 1242 27 0 0 25 0 1 0 966355996 537702400 128820 33554432000 4194304 8979876 140735709248304 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 131275 128820 581 1169 0 130102 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 525100
[startup+25.5009 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 1913
/proc/meminfo: memFree=30600920/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=526748 CPUtime=25.5 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 220570 0 0 0 2523 27 0 0 25 0 1 0 966355996 539389952 129234 33554432000 4194304 8979876 140735709248304 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 131687 129234 581 1169 0 130514 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 526748
[startup+51.1011 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 1914
/proc/meminfo: memFree=30596640/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=530844 CPUtime=51.1 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 221595 0 0 0 5083 27 0 0 25 0 1 0 966355996 543584256 130259 33554432000 4194304 8979876 140735709248304 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 132711 130259 581 1169 0 131538 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 530844
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 1915
/proc/meminfo: memFree=30588604/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=538008 CPUtime=102.3 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 223391 0 0 0 10203 27 0 0 25 0 1 0 966355996 550920192 132055 33554432000 4194304 8979876 140735709248304 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 134502 132055 586 1169 0 133329 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 538008
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 1917
/proc/meminfo: memFree=30564484/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=559452 CPUtime=162.3 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 228774 0 0 0 16202 28 0 0 25 0 1 0 966355996 572878848 137438 33554432000 4194304 8979876 140735709248304 18446744073709551615 4786309 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 139863 137438 608 1169 0 138690 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 559452
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 1918
/proc/meminfo: memFree=29868040/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1304500 CPUtime=222.3 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 433381 0 0 0 22181 49 0 0 25 0 1 0 966355996 1335808000 310852 33554432000 4194304 8979876 140735709248304 18446744073709551615 6937217 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 326125 310852 897 1169 0 324952 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1304500
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 1920
/proc/meminfo: memFree=29931088/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1217920 CPUtime=282.3 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 466849 0 0 0 28173 57 0 0 25 0 1 0 966355996 1247150080 295635 33554432000 4194304 8979876 140735709248304 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 304480 295635 1653 1169 0 303307 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1217920
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 1921
/proc/meminfo: memFree=29828836/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1395336 CPUtime=342.31 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 512385 0 0 0 34169 62 0 0 25 0 1 0 966355996 1428824064 321647 33554432000 4194304 8979876 140735709248304 18446744073709551615 7841671 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 348834 321647 2076 1169 0 347661 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1395336
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 1923
/proc/meminfo: memFree=29835620/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1363000 CPUtime=402.3 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 521666 0 0 0 40167 63 0 0 25 0 1 0 966355996 1395712000 319861 33554432000 4194304 8979876 140735709248304 18446744073709551615 6293627 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 340750 319861 1998 1169 0 339577 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1363000
[startup+462.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/178 1925
/proc/meminfo: memFree=29870408/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1377472 CPUtime=462.31 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 532376 0 0 0 46166 65 0 0 25 0 1 0 966355996 1410531328 310305 33554432000 4194304 8979876 140735709248304 18446744073709551615 6293627 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 344368 310305 1997 1169 0 343195 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1377472
[startup+522.301 s]
/proc/loadavg: 2.06 2.03 1.99 3/178 1926
/proc/meminfo: memFree=29823484/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1384532 CPUtime=522.31 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 555601 0 0 0 52163 68 0 0 25 0 1 0 966355996 1417760768 321564 33554432000 4194304 8979876 140735709248304 18446744073709551615 6293627 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 346133 321564 1989 1169 0 344960 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1384532
[startup+582.301 s]
/proc/loadavg: 2.02 2.02 1.99 3/178 1928
/proc/meminfo: memFree=29833852/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1352064 CPUtime=582.32 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 574187 0 0 0 58160 72 0 0 25 0 1 0 966355996 1384513536 318961 33554432000 4194304 8979876 140735709248304 18446744073709551615 6282925 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 338016 318961 1938 1169 0 336843 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 1352064
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=29771560/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1400948 CPUtime=1062.33 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 757754 0 0 0 106130 103 0 0 25 0 1 0 966355996 1434570752 334764 33554432000 4194304 8979876 140735709248304 18446744073709551615 5905334 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 350237 334764 868 1169 0 349064 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1400948
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 1942
/proc/meminfo: memFree=29786404/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1412400 CPUtime=1122.33 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 786237 0 0 0 112124 109 0 0 25 0 1 0 966355996 1446297600 327905 33554432000 4194304 8979876 140735709248304 18446744073709551615 7193192 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 353100 327905 867 1169 0 351927 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1412400
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1944
/proc/meminfo: memFree=29781020/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1416504 CPUtime=1182.33 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 801924 0 0 0 118120 113 0 0 25 0 1 0 966355996 1450500096 331193 33554432000 4194304 8979876 140735709248304 18446744073709551615 4786432 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 354126 331193 867 1169 0 352953 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1416504
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1945
/proc/meminfo: memFree=29776880/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1425652 CPUtime=1242.33 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 826114 0 0 0 124113 120 0 0 25 0 1 0 966355996 1459867648 332082 33554432000 4194304 8979876 140735709248304 18446744073709551615 7143762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 356413 332082 867 1169 0 355240 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1425652
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1947
/proc/meminfo: memFree=29745472/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1425576 CPUtime=1302.34 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 890276 0 0 0 130102 132 0 0 25 0 1 0 966355996 1459789824 339887 33554432000 4194304 8979876 140735709248304 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 356394 339887 867 1169 0 355221 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1425576
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1949
/proc/meminfo: memFree=29740940/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1428536 CPUtime=1362.34 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 918207 0 0 0 136096 138 0 0 25 0 1 0 966355996 1462820864 341014 33554432000 4194304 8979876 140735709248304 18446744073709551615 6937217 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 357134 341014 866 1169 0 355961 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1428536
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1950
/proc/meminfo: memFree=29763460/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1440200 CPUtime=1422.34 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 985053 0 0 0 142085 149 0 0 25 0 1 0 966355996 1474764800 335569 33554432000 4194304 8979876 140735709248304 18446744073709551615 6937217 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 360050 335569 866 1169 0 358877 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1440200
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1952
/proc/meminfo: memFree=29759212/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1439932 CPUtime=1482.34 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 1079410 0 0 0 148068 166 0 0 25 0 1 0 966355996 1474490368 336700 33554432000 4194304 8979876 140735709248304 18446744073709551615 7145982 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 359983 336700 866 1169 0 358810 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1439932
[startup+1542.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/178 1991
/proc/meminfo: memFree=29853836/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1477304 CPUtime=1542.34 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 1182479 0 0 0 154051 183 0 0 25 0 1 0 966355996 1512759296 346400 33554432000 4194304 8979876 140735709248304 18446744073709551615 6937197 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 369326 346400 866 1169 0 368153 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1477304
[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 1993
/proc/meminfo: memFree=29872408/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1444916 CPUtime=1602.35 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 1278721 0 0 0 160035 200 0 0 25 0 1 0 966355996 1479593984 337326 33554432000 4194304 8979876 140735709248304 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 361229 337326 866 1169 0 360056 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1444916
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 1995
/proc/meminfo: memFree=29871660/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1445220 CPUtime=1662.35 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 1375642 0 0 0 166018 217 0 0 25 0 1 0 966355996 1479905280 337431 33554432000 4194304 8979876 140735709248304 18446744073709551615 6937217 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 361305 337431 864 1169 0 360132 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1445220
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 1996
/proc/meminfo: memFree=29870244/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1455476 CPUtime=1722.35 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 1471146 0 0 0 172003 232 0 0 25 0 1 0 966355996 1490407424 337742 33554432000 4194304 8979876 140735709248304 18446744073709551615 6937192 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 363869 337742 864 1169 0 362696 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1455476
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 1998
/proc/meminfo: memFree=29869840/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1455648 CPUtime=1782.35 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 1560739 0 0 0 177987 248 0 0 25 0 1 0 966355996 1490583552 337818 33554432000 4194304 8979876 140735709248304 18446744073709551615 6412440 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 363912 337818 864 1169 0 362739 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1455648
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 1998
/proc/meminfo: memFree=29869200/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1455740 CPUtime=1791.95 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 1572101 0 0 0 178945 250 0 0 25 0 1 0 966355996 1490677760 338059 33554432000 4194304 8979876 140735709248304 18446744073709551615 7193019 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 363935 338059 864 1169 0 362762 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1455740
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 1998
/proc/meminfo: memFree=29868952/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1455752 CPUtime=1795.16 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 1579037 0 0 0 179264 252 0 0 25 0 1 0 966355996 1490690048 338063 33554432000 4194304 8979876 140735709248304 18446744073709551615 7143762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 363938 338063 864 1169 0 362765 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 1455752
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 1998
/proc/meminfo: memFree=29869196/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1455752 CPUtime=1796.75 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 1581351 0 0 0 179423 252 0 0 25 0 1 0 966355996 1490690048 338068 33554432000 4194304 8979876 140735709248304 18446744073709551615 6829040 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1902/statm: 363938 338068 864 1169 0 362765 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 1455752
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 1998
/proc/meminfo: memFree=29869072/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1454576 CPUtime=1797.55 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 1581365 0 0 0 179503 252 0 0 18 0 1 0 966355996 1489485824 337788 33554432000 4194304 8979876 140735709248304 18446744073709551615 6778257 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1902/statm: 363644 337788 874 1169 0 362471 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 1454576
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 1998
/proc/meminfo: memFree=29869072/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=1442492 CPUtime=1797.95 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 1581368 0 0 0 179543 252 0 0 18 0 1 0 966355996 1477111808 334770 33554432000 4194304 8979876 140735709248304 18446744073709551615 6492348 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1902/statm: 360623 334770 877 1169 0 359450 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1442492
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 1998
/proc/meminfo: memFree=29869072/32950928 swapFree=67054844/67111528
[pid=1902] ppid=1900 vsize=918512 CPUtime=1798.36 cores=0,2,4,6
/proc/1902/stat : 1902 (scip-2.0.1.4_2.) R 1900 1902 32526 0 -1 4202496 1581371 0 0 0 179581 255 0 0 19 0 1 0 966355996 940556288 215841 33554432000 4194304 8979876 140735709248304 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1902/statm: 229628 215792 880 1169 0 228455 0
Current children cumulated CPU time (s) 1798.36
Current children cumulated vsize (KiB) 918512
Child status: 0
Real time (s): 1798.34
CPU time (s): 1798.4
CPU user time (s): 1795.81
CPU system time (s): 2.58461
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1477320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.81
system time used= 2.58461
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1581376
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 2167
runsolver used 2.96855 second user time and 5.76512 second system time
The end