0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3452500-1307081870.opb>
2.59/2.68 c original problem has 14500 variables (14500 bin, 0 int, 0 impl, 0 cont) and 461872 constraints
2.59/2.68 c problem read
2.59/2.68 c presolving settings loaded
3.99/4.00 c presolving:
6.09/6.20 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
6.60/6.64 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
79.09/79.19 c (79.2s) probing: 1000/14500 (6.9%) - 0 fixings, 0 aggregations, 138232 implications, 0 bound changes
161.99/162.09 c (162.1s) probing: 2000/14500 (13.8%) - 0 fixings, 0 aggregations, 269674 implications, 0 bound changes
162.09/162.18 c (162.2s) probing: 2001/14500 (13.8%) - 0 fixings, 0 aggregations, 269803 implications, 0 bound changes
162.09/162.18 c (162.2s) probing aborted: 2000/2000 successive useless probings
162.09/162.18 c presolving (3 rounds):
162.09/162.18 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
162.09/162.18 c 1922840 implications, 0 cliques
162.09/162.18 c presolved problem has 14500 variables (14500 bin, 0 int, 0 impl, 0 cont) and 461872 constraints
162.09/162.18 c 461622 constraints of type <setppc>
162.09/162.18 c 250 constraints of type <logicor>
162.09/162.18 c transformed objective value is always integral (scale: 1)
162.09/162.18 c Presolving Time: 159.21
162.09/162.18 c - non default parameters ----------------------------------------------------------------------
162.09/162.18 c # SCIP version 2.0.1.4
162.09/162.18 c
162.09/162.18 c # frequency for displaying node information lines
162.09/162.18 c # [type: int, range: [-1,2147483647], default: 100]
162.09/162.18 c display/freq = 10000
162.09/162.18 c
162.09/162.18 c # maximal time in seconds to run
162.09/162.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
162.09/162.18 c limits/time = 1800
162.09/162.18 c
162.09/162.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
162.09/162.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
162.09/162.18 c limits/memory = 13950
162.09/162.18 c
162.09/162.18 c # default clock type (1: CPU user seconds, 2: wall clock time)
162.09/162.18 c # [type: int, range: [1,2], default: 1]
162.09/162.18 c timing/clocktype = 2
162.09/162.18 c
162.09/162.18 c # belongs reading time to solving time?
162.09/162.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
162.09/162.18 c timing/reading = TRUE
162.09/162.18 c
162.09/162.18 c # should presolving try to simplify inequalities
162.09/162.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
162.09/162.18 c constraints/linear/simplifyinequalities = TRUE
162.09/162.18 c
162.09/162.18 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
162.09/162.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
162.09/162.18 c constraints/indicator/addCouplingCons = TRUE
162.09/162.18 c
162.09/162.18 c # should presolving try to simplify knapsacks
162.09/162.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
162.09/162.18 c constraints/knapsack/simplifyinequalities = TRUE
162.09/162.18 c
162.09/162.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
162.09/162.18 c # [type: int, range: [-1,2147483647], default: -1]
162.09/162.18 c separating/rapidlearning/freq = 0
162.09/162.18 c
162.09/162.18 c -----------------------------------------------------------------------------------------------
162.09/162.18 c start solving
162.09/162.19 c
231.49/231.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.49/231.52 c 232s| 1 | 0 | 8352 | - | 588M| 0 |7750 | 14k| 461k| 14k| 461k| 0 | 58 | 0 | 3.875000e+03 | -- | Inf
304.30/304.37 c 304s| 1 | 0 | 25044 | - | 588M| 0 |7692 | 14k| 461k| 14k| 461k| 33 | 58 | 0 | 3.904000e+03 | -- | Inf
333.20/333.27 c 333s| 1 | 0 | 25665 | - | 588M| 0 |7624 | 14k| 461k| 14k| 461k| 78 | 58 | 0 | 3.938000e+03 | -- | Inf
371.50/371.50 c 372s| 1 | 0 | 26488 | - | 588M| 0 |7528 | 14k| 461k| 14k| 462k| 161 | 58 | 0 | 3.986000e+03 | -- | Inf
420.70/420.73 c 421s| 1 | 0 | 27077 | - | 588M| 0 |7470 | 14k| 461k| 14k| 462k| 236 | 58 | 0 | 4.018000e+03 | -- | Inf
478.62/478.65 c 479s| 1 | 0 | 27753 | - | 588M| 0 |7406 | 14k| 461k| 14k| 462k| 310 | 58 | 0 | 4.051750e+03 | -- | Inf
543.61/543.68 c 544s| 1 | 0 | 28414 | - | 588M| 0 |7368 | 14k| 461k| 14k| 462k| 379 | 58 | 0 | 4.071250e+03 | -- | Inf
615.30/615.34 c 615s| 1 | 0 | 29173 | - | 589M| 0 |7295 | 14k| 461k| 14k| 462k| 462 | 58 | 0 | 4.107750e+03 | -- | Inf
693.71/693.79 c 694s| 1 | 0 | 29764 | - | 589M| 0 |7247 | 14k| 461k| 14k| 462k| 519 | 58 | 0 | 4.133750e+03 | -- | Inf
780.61/780.69 c 781s| 1 | 0 | 30845 | - | 589M| 0 |7199 | 14k| 461k| 14k| 462k| 584 | 58 | 0 | 4.161417e+03 | -- | Inf
872.02/872.07 c 872s| 1 | 0 | 31603 | - | 589M| 0 |7168 | 14k| 461k| 14k| 462k| 651 | 58 | 0 | 4.181750e+03 | -- | Inf
892.91/892.91 c 893s| 1 | 0 | 32736 | - | 590M| 0 |7151 | 14k| 461k| 14k| 462k| 727 | 58 | 0 | 4.206500e+03 | -- | Inf
913.62/913.61 c 914s| 1 | 0 | 34083 | - | 590M| 0 |7131 | 14k| 461k| 14k| 462k| 797 | 58 | 0 | 4.230357e+03 | -- | Inf
938.81/938.85 c 939s| 1 | 0 | 36072 | - | 590M| 0 |7071 | 14k| 461k| 14k| 462k| 873 | 58 | 0 | 4.259708e+03 | -- | Inf
959.22/959.24 c 959s| 1 | 0 | 37428 | - | 591M| 0 |6999 | 14k| 461k| 14k| 462k| 955 | 58 | 0 | 4.282363e+03 | -- | Inf
983.01/983.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
983.01/983.09 c 983s| 1 | 0 | 39115 | - | 591M| 0 |6978 | 14k| 461k| 14k| 462k|1029 | 58 | 0 | 4.304472e+03 | -- | Inf
1008.11/1008.19 c 1008s| 1 | 0 | 41130 | - | 592M| 0 |6924 | 14k| 461k| 14k| 462k|1108 | 58 | 0 | 4.328750e+03 | -- | Inf
1033.61/1033.63 c 1034s| 1 | 0 | 43288 | - | 592M| 0 |6882 | 14k| 461k| 14k| 463k|1183 | 58 | 0 | 4.352167e+03 | -- | Inf
1057.81/1057.88 c 1058s| 1 | 0 | 45415 | - | 593M| 0 |6861 | 14k| 461k| 14k| 463k|1265 | 58 | 0 | 4.375536e+03 | -- | Inf
1082.54/1082.55 c 1083s| 1 | 0 | 47487 | - | 594M| 0 |6816 | 14k| 461k| 14k| 463k|1352 | 58 | 0 | 4.395283e+03 | -- | Inf
1105.82/1105.84 c 1106s| 1 | 0 | 49591 | - | 594M| 0 |6770 | 14k| 461k| 14k| 463k|1441 | 58 | 0 | 4.421783e+03 | -- | Inf
1127.82/1127.88 c 1128s| 1 | 0 | 51838 | - | 595M| 0 |6741 | 14k| 461k| 14k| 463k|1526 | 58 | 0 | 4.439856e+03 | -- | Inf
1156.12/1156.20 c 1156s| 1 | 0 | 54843 | - | 595M| 0 |6674 | 14k| 461k| 14k| 463k|1615 | 58 | 0 | 4.462333e+03 | -- | Inf
1181.12/1181.10 c 1181s| 1 | 0 | 57518 | - | 595M| 0 |6654 | 14k| 461k| 14k| 463k|1706 | 58 | 0 | 4.481250e+03 | -- | Inf
1205.03/1205.04 c 1205s| 1 | 0 | 60387 | - | 596M| 0 |6608 | 14k| 461k| 14k| 463k|1800 | 58 | 0 | 4.504526e+03 | -- | Inf
1233.13/1233.15 c 1233s| 1 | 0 | 63780 | - | 596M| 0 |6576 | 14k| 461k| 14k| 463k|1891 | 58 | 0 | 4.528396e+03 | -- | Inf
1262.82/1262.83 c 1263s| 1 | 0 | 67303 | - | 597M| 0 |6545 | 14k| 461k| 14k| 463k|1989 | 58 | 0 | 4.556516e+03 | -- | Inf
1292.03/1292.06 c 1292s| 1 | 0 | 70747 | - | 597M| 0 |6512 | 14k| 461k| 14k| 463k|2084 | 58 | 0 | 4.576460e+03 | -- | Inf
1325.92/1325.91 c 1326s| 1 | 0 | 74576 | - | 597M| 0 |6442 | 14k| 461k| 14k| 463k|2181 | 58 | 0 | 4.603250e+03 | -- | Inf
1350.83/1350.82 c 1351s| 1 | 0 | 77757 | - | 598M| 0 |6412 | 14k| 461k| 14k| 463k|2280 | 58 | 0 | 4.623708e+03 | -- | Inf
1392.32/1392.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.32/1392.35 c 1392s| 1 | 0 | 82290 | - | 598M| 0 |6363 | 14k| 461k| 14k| 463k|2371 | 58 | 0 | 4.643464e+03 | -- | Inf
1419.22/1419.28 c 1419s| 1 | 0 | 85879 | - | 599M| 0 |6320 | 14k| 461k| 14k| 463k|2474 | 58 | 0 | 4.663155e+03 | -- | Inf
1445.13/1445.14 c 1445s| 1 | 0 | 88887 | - | 599M| 0 |6313 | 14k| 461k| 14k| 463k|2557 | 58 | 0 | 4.685893e+03 | -- | Inf
1504.53/1504.53 c 1505s| 1 | 0 | 96701 | - | 600M| 0 |6288 | 14k| 461k| 14k| 463k|2649 | 58 | 0 | 4.702641e+03 | -- | Inf
1540.03/1540.06 c 1540s| 1 | 0 |101245 | - | 600M| 0 |6258 | 14k| 461k| 14k| 463k|2739 | 58 | 0 | 4.722097e+03 | -- | Inf
1567.64/1567.63 c 1568s| 1 | 0 |104993 | - | 601M| 0 |6191 | 14k| 461k| 14k| 464k|2841 | 58 | 0 | 4.744333e+03 | -- | Inf
1595.63/1595.69 c 1596s| 1 | 0 |108700 | - | 601M| 0 |6177 | 14k| 461k| 14k| 464k|2930 | 58 | 0 | 4.763500e+03 | -- | Inf
1649.63/1649.62 c 1650s| 1 | 0 |115592 | - | 601M| 0 |6107 | 14k| 461k| 14k| 463k|3011 | 58 | 0 | 4.778042e+03 | -- | Inf
1687.24/1687.27 c 1687s| 1 | 0 |120459 | - | 602M| 0 |6078 | 14k| 461k| 14k| 463k|3094 | 58 | 0 | 4.795711e+03 | -- | Inf
1716.03/1716.05 c 1716s| 1 | 0 |124293 | - | 603M| 0 |6069 | 14k| 461k| 14k| 463k|3184 | 58 | 0 | 4.811844e+03 | -- | Inf
1764.04/1764.03 c 1764s| 1 | 0 |130437 | - | 603M| 0 |5984 | 14k| 461k| 14k| 464k|3295 | 58 | 0 | 4.830500e+03 | -- | Inf
1800.16/1800.12 c 1800s| 1 | 0 |134837 | - | 603M| 0 | - | 14k| 461k| 14k| 464k|3396 | 58 | 0 | 4.830500e+03 | -- | Inf
1800.24/1800.26 c 1800s| 1 | 2 |134837 | - | 603M| 0 | - | 14k| 461k| 14k| 464k|3396 | 58 | 0 | 4.830500e+03 | -- | Inf
1800.24/1800.26 c
1800.24/1800.26 c SCIP Status : solving was interrupted [user interrupt]
1800.24/1800.26 c Solving Time (sec) : 1800.26
1800.24/1800.26 c Solving Nodes : 1
1800.24/1800.26 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.24/1800.26 c Dual Bound : +4.83050000000000e+03
1800.24/1800.26 c Gap : infinite
1800.24/1800.26 s UNKNOWN
1800.24/1800.26 c SCIP Status : solving was interrupted [user interrupt]
1800.24/1800.26 c Total Time : 1800.26
1800.24/1800.26 c solving : 1800.26
1800.24/1800.26 c presolving : 159.21 (included in solving)
1800.24/1800.26 c reading : 2.68 (included in solving)
1800.24/1800.26 c Original Problem :
1800.24/1800.26 c Problem name : HOME/instance-3452500-1307081870.opb
1800.24/1800.26 c Variables : 14500 (14500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.24/1800.26 c Constraints : 461872 initial, 461872 maximal
1800.24/1800.26 c Presolved Problem :
1800.24/1800.26 c Problem name : t_HOME/instance-3452500-1307081870.opb
1800.24/1800.26 c Variables : 14500 (14500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.24/1800.26 c Constraints : 461872 initial, 461930 maximal
1800.24/1800.26 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.24/1800.26 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.24/1800.26 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.24/1800.26 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.24/1800.26 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.24/1800.26 c implics : 0.01 0 0 0 0 0 0 0 0 0
1800.24/1800.26 c probing : 155.29 0 0 0 0 0 0 0 0 0
1800.24/1800.26 c setppc : 0.65 0 0 0 0 0 0 0 0 0
1800.24/1800.26 c linear : 1.88 0 0 0 0 0 0 0 0 0
1800.24/1800.26 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.24/1800.26 c root node : - 0 - - 0 - - - - -
1800.24/1800.26 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.24/1800.26 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1800.24/1800.26 c setppc : 461622 41 8784 0 1 3 2516 1 0 0 0 0
1800.24/1800.26 c logicor : 250+ 41 1196 0 1 0 711 14 0 0 0 0
1800.24/1800.26 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.24/1800.26 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.24/1800.26 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.24/1800.26 c setppc : 179.34 1.60 177.50 0.00 0.14 0.10 0.00
1800.24/1800.26 c logicor : 0.07 0.00 0.06 0.00 0.00 0.00 0.00
1800.24/1800.26 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.24/1800.26 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.24/1800.26 c vbounds : 0 0 0 0
1800.24/1800.26 c rootredcost : 0 0 0 0
1800.24/1800.26 c pseudoobj : 2825 0 0 0
1800.24/1800.26 c Propagator Timings : TotalTime Propagate Resprop
1800.24/1800.26 c vbounds : 0.00 0.00 0.00
1800.24/1800.26 c rootredcost : 0.00 0.00 0.00
1800.24/1800.26 c pseudoobj : 0.03 0.03 0.00
1800.24/1800.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.24/1800.26 c propagation : 0.01 15 15 147 59.2 0 0.0 -
1800.24/1800.26 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.24/1800.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.24/1800.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.24/1800.26 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.24/1800.26 c applied globally : - - - 58 52.6 - - -
1800.24/1800.26 c applied locally : - - - 0 0.0 - - -
1800.24/1800.26 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.24/1800.26 c cut pool : 0.05 40 - - 885 - (maximal pool size: 6916)
1800.24/1800.26 c redcost : 0.02 41 0 0 0 0
1800.24/1800.26 c impliedbounds : 0.97 41 0 0 0 0
1800.24/1800.26 c intobj : 0.00 0 0 0 0 0
1800.24/1800.26 c gomory : 101.92 41 0 0 20500 0
1800.24/1800.26 c cgmip : 0.00 0 0 0 0 0
1800.24/1800.26 c closecuts : 0.00 0 0 0 0 0
1800.24/1800.26 c strongcg : 45.58 20 0 0 10000 0
1800.24/1800.26 c cmir : 190.83 10 0 0 0 0
1800.24/1800.26 c flowcover : 210.62 10 0 0 0 0
1800.24/1800.26 c clique : 34.66 41 0 0 394 0
1800.24/1800.26 c zerohalf : 0.00 0 0 0 0 0
1800.24/1800.26 c mcf : 2.84 1 0 0 0 0
1800.24/1800.26 c oddcycle : 0.00 0 0 0 0 0
1800.24/1800.26 c rapidlearning : 0.00 0 0 0 0 0
1800.24/1800.26 c Pricers : Time Calls Vars
1800.24/1800.26 c problem variables: 0.00 0 0
1800.24/1800.26 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.24/1800.26 c relpscost : 0.00 0 0 0 0 0 0
1800.24/1800.26 c pscost : 0.00 0 0 0 0 0 0
1800.24/1800.26 c inference : 0.00 1 0 0 0 0 2
1800.24/1800.26 c mostinf : 0.00 0 0 0 0 0 0
1800.24/1800.26 c leastinf : 0.00 0 0 0 0 0 0
1800.24/1800.26 c fullstrong : 0.00 0 0 0 0 0 0
1800.24/1800.26 c allfullstrong : 0.00 0 0 0 0 0 0
1800.24/1800.26 c random : 0.00 0 0 0 0 0 0
1800.24/1800.26 c Primal Heuristics : Time Calls Found
1800.24/1800.26 c LP solutions : 0.00 - 0
1800.24/1800.26 c pseudo solutions : 0.00 - 0
1800.24/1800.26 c oneopt : 0.00 0 0
1800.24/1800.26 c trivial : 0.21 2 0
1800.24/1800.26 c shiftandpropagate: 36.35 1 0
1800.24/1800.26 c simplerounding : 0.00 0 0
1800.24/1800.26 c zirounding : 0.00 0 0
1800.24/1800.26 c rounding : 1.59 41 0
1800.24/1800.26 c shifting : 222.52 41 0
1800.24/1800.26 c intshifting : 0.00 0 0
1800.24/1800.26 c twoopt : 0.00 0 0
1800.24/1800.26 c fixandinfer : 0.00 0 0
1800.24/1800.26 c feaspump : 45.07 1 0
1800.24/1800.26 c clique : 0.00 0 0
1800.24/1800.26 c coefdiving : 0.00 0 0
1800.24/1800.26 c pscostdiving : 0.00 0 0
1800.24/1800.26 c fracdiving : 0.00 0 0
1800.24/1800.26 c veclendiving : 0.00 0 0
1800.24/1800.26 c intdiving : 0.00 0 0
1800.24/1800.26 c actconsdiving : 0.00 0 0
1800.24/1800.26 c objpscostdiving : 0.00 0 0
1800.24/1800.26 c rootsoldiving : 0.00 0 0
1800.24/1800.26 c linesearchdiving : 0.00 0 0
1800.24/1800.26 c guideddiving : 0.00 0 0
1800.24/1800.26 c octane : 0.00 0 0
1800.24/1800.26 c rens : 0.00 0 0
1800.24/1800.26 c rins : 0.00 0 0
1800.24/1800.26 c localbranching : 0.00 0 0
1800.24/1800.26 c mutation : 0.00 0 0
1800.24/1800.26 c crossover : 0.00 0 0
1800.24/1800.26 c dins : 0.00 0 0
1800.24/1800.26 c vbounds : 0.00 0 0
1800.24/1800.26 c undercover : 0.00 0 0
1800.24/1800.26 c subnlp : 0.00 0 0
1800.24/1800.26 c trysol : 0.00 0 0
1800.24/1800.26 c LP : Time Calls Iterations Iter/call Iter/sec
1800.24/1800.26 c primal LP : 0.92 0 0 0.00 0.00
1800.24/1800.26 c dual LP : 739.54 42 118938 2831.86 160.83
1800.24/1800.26 c lex dual LP : 0.00 0 0 0.00 -
1800.24/1800.26 c barrier LP : 0.00 0 0 0.00 -
1800.24/1800.26 c diving/probing LP: 41.24 106 15899 149.99 385.54
1800.24/1800.26 c strong branching : 0.00 0 0 0.00 -
1800.24/1800.26 c (at root node) : - 0 0 0.00 -
1800.24/1800.26 c conflict analysis: 0.00 0 0 0.00 -
1800.24/1800.26 c B&B Tree :
1800.24/1800.26 c number of runs : 1
1800.24/1800.26 c nodes : 1
1800.24/1800.26 c nodes (total) : 1
1800.24/1800.26 c nodes left : 2
1800.24/1800.26 c max depth : 0
1800.24/1800.26 c max depth (total): 0
1800.24/1800.26 c backtracks : 0 (0.0%)
1800.24/1800.26 c delayed cutoffs : 0
1800.24/1800.26 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.24/1800.26 c avg switch length: 1.00
1800.24/1800.26 c switching time : 0.00
1800.24/1800.26 c Solution :
1800.24/1800.26 c Solutions found : 0 (0 improvements)
1800.24/1800.26 c Primal Bound : -
1800.24/1800.26 c Dual Bound : +4.83050000000000e+03
1800.24/1800.26 c Gap : infinite
1800.24/1800.26 c Root Dual Bound : +4.83050000000000e+03
1800.24/1800.26 c Root Iterations : 134837
1801.43/1801.42 c Time complete: 1801.46.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3452500-1307081870/watcher-3452500-1307081870 -o /tmp/evaluation-result-3452500-1307081870/solver-3452500-1307081870 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452500-1307081870.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: 1.84 1.99 1.99 2/464 5000
/proc/meminfo: memFree=30101252/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=9324 CPUtime=0 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1443 0 0 0 0 0 0 0 25 0 1 0 819786803 9547776 1395 33554432000 4194304 9128323 140733458025088 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5000/statm: 2331 1395 383 1205 0 1122 0
[startup+0.111563 s]
/proc/loadavg: 1.84 1.99 1.99 2/464 5000
/proc/meminfo: memFree=30101252/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=26212 CPUtime=0.1 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 5594 0 0 0 10 0 0 0 25 0 1 0 819786803 26841088 5537 33554432000 4194304 9128323 140733458025088 18446744073709551615 8008880 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5000/statm: 6553 5537 400 1205 0 5344 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 26212
[startup+0.200548 s]
/proc/loadavg: 1.84 1.99 1.99 2/464 5000
/proc/meminfo: memFree=30101252/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=30536 CPUtime=0.19 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 6703 0 0 0 19 0 0 0 25 0 1 0 819786803 31268864 6633 33554432000 4194304 9128323 140733458025088 18446744073709551615 7903980 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5000/statm: 7634 6633 400 1205 0 6425 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30536
[startup+0.30053 s]
/proc/loadavg: 1.84 1.99 1.99 2/464 5000
/proc/meminfo: memFree=30101252/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=35248 CPUtime=0.29 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 7873 0 0 0 28 1 0 0 25 0 1 0 819786803 36093952 7801 33554432000 4194304 9128323 140733458025088 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5000/statm: 8812 7801 400 1205 0 7603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35248
[startup+0.700458 s]
/proc/loadavg: 1.84 1.99 1.99 2/464 5000
/proc/meminfo: memFree=30101252/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=55544 CPUtime=0.69 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 12935 0 0 0 67 2 0 0 25 0 1 0 819786803 56877056 12854 33554432000 4194304 9128323 140733458025088 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5000/statm: 13886 12854 400 1205 0 12677 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55544
[startup+1.50026 s]
/proc/loadavg: 1.84 1.99 1.99 3/465 5001
/proc/meminfo: memFree=30015932/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=93948 CPUtime=1.49 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 22541 0 0 0 146 3 0 0 25 0 1 0 819786803 96202752 22443 33554432000 4194304 9128323 140733458025088 18446744073709551615 7998156 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5000/statm: 23487 22443 400 1205 0 22278 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93948
[startup+3.10098 s]
/proc/loadavg: 1.84 1.99 1.99 3/465 5001
/proc/meminfo: memFree=29959816/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=354444 CPUtime=3.1 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 87059 0 0 0 299 11 0 0 25 0 1 0 819786803 362950656 86827 33554432000 4194304 9128323 140733458025088 18446744073709551615 5382227 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 88611 86827 468 1205 0 87402 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 354444
[startup+6.30041 s]
/proc/loadavg: 1.85 1.99 1.99 3/465 5001
/proc/meminfo: memFree=29446556/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=565528 CPUtime=6.29 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 208005 0 0 0 604 25 0 0 25 0 1 0 819786803 579100672 138717 33554432000 4194304 9128323 140733458025088 18446744073709551615 4337637 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 141382 138717 518 1205 0 140173 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 565528
[startup+12.7003 s]
/proc/loadavg: 1.87 1.99 1.99 3/465 5002
/proc/meminfo: memFree=29511720/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=524296 CPUtime=12.69 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 220179 0 0 0 1242 27 0 0 25 0 1 0 819786803 536879104 128602 33554432000 4194304 9128323 140733458025088 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 131074 128602 582 1205 0 129865 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 524296
[startup+25.5011 s]
/proc/loadavg: 1.89 1.99 1.99 3/465 5002
/proc/meminfo: memFree=29472192/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=526880 CPUtime=25.49 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 220827 0 0 0 2522 27 0 0 25 0 1 0 819786803 539525120 129250 33554432000 4194304 9128323 140733458025088 18446744073709551615 4207336 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 131720 129250 582 1205 0 130511 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 526880
[startup+51.1006 s]
/proc/loadavg: 1.93 1.99 1.99 3/465 5003
/proc/meminfo: memFree=29427212/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=530972 CPUtime=51.09 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 221851 0 0 0 5082 27 0 0 25 0 1 0 819786803 543715328 130274 33554432000 4194304 9128323 140733458025088 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 132743 130274 582 1205 0 131534 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 530972
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/465 5004
/proc/meminfo: memFree=29378040/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=538348 CPUtime=102.29 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 223699 0 0 0 10202 27 0 0 25 0 1 0 819786803 551268352 132122 33554432000 4194304 9128323 140733458025088 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 134587 132122 586 1205 0 133378 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 538348
[startup+162.301 s]
/proc/loadavg: 2.13 2.02 2.00 3/465 5006
/proc/meminfo: memFree=29356668/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=559792 CPUtime=162.29 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 229096 0 0 0 16201 28 0 0 25 0 1 0 819786803 573227008 137505 33554432000 4194304 9128323 140733458025088 18446744073709551615 4692798 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 139948 137505 594 1205 0 138739 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 559792
[startup+222.318 s]
/proc/loadavg: 2.11 2.03 2.00 3/465 5007
/proc/meminfo: memFree=28662100/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1305008 CPUtime=222.32 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 434269 0 0 0 22178 54 0 0 25 0 1 0 819786803 1336328192 310640 33554432000 4194304 9128323 140733458025088 18446744073709551615 7346406 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 326252 310640 908 1205 0 325043 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 1305008
[startup+282.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/465 5009
/proc/meminfo: memFree=28725176/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1218428 CPUtime=282.3 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 453875 0 0 0 28164 66 0 0 25 0 1 0 819786803 1247670272 295461 33554432000 4194304 9128323 140733458025088 18446744073709551615 7243094 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 304607 295461 1670 1205 0 303398 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1218428
[startup+342.301 s]
/proc/loadavg: 2.09 2.04 2.00 3/465 5010
/proc/meminfo: memFree=28623808/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1395848 CPUtime=342.3 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 513430 0 0 0 34156 74 0 0 25 0 1 0 819786803 1429348352 321525 33554432000 4194304 9128323 140733458025088 18446744073709551615 5872904 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 348962 321525 2028 1205 0 347753 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1395848
[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/465 5012
/proc/meminfo: memFree=28605536/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1402836 CPUtime=402.3 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 537139 0 0 0 40152 78 0 0 25 0 1 0 819786803 1436504064 326000 33554432000 4194304 9128323 140733458025088 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 350709 326000 1963 1205 0 349500 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1402836
[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/465 5014
/proc/meminfo: memFree=28641552/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1363540 CPUtime=462.3 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 554909 0 0 0 46149 81 0 0 25 0 1 0 819786803 1396264960 316885 33554432000 4194304 9128323 140733458025088 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 340885 316885 1956 1205 0 339676 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1363540
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 5015
/proc/meminfo: memFree=28623264/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1381636 CPUtime=522.31 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 580033 0 0 0 52146 85 0 0 25 0 1 0 819786803 1414795264 321416 33554432000 4194304 9128323 140733458025088 18446744073709551615 6309894 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 345409 321416 1954 1205 0 344200 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1381636
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 5017
/proc/meminfo: memFree=28621464/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1381572 CPUtime=582.31 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 596252 0 0 0 58144 87 0 0 25 0 1 0 819786803 1414729728 321839 33554432000 4194304 9128323 140733458025088 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 345393 321839 1948 1205 0 344184 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1381572
[startup+642.3 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/465 5030
/proc/meminfo: memFree=28583744/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1401548 CPUtime=1062.31 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 910174 0 0 0 106090 141 0 0 25 0 1 0 819786803 1435185152 328082 33554432000 4194304 9128323 140733458025088 18446744073709551615 5873473 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 350387 328082 881 1205 0 349178 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1401548
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/465 5031
/proc/meminfo: memFree=28595604/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1391312 CPUtime=1122.32 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 987066 0 0 0 112076 156 0 0 25 0 1 0 819786803 1424703488 324673 33554432000 4194304 9128323 140733458025088 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 347828 324673 881 1205 0 346619 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1391312
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 5033
/proc/meminfo: memFree=28543084/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1409684 CPUtime=1182.32 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1065113 0 0 0 118060 172 0 0 25 0 1 0 819786803 1443516416 336835 33554432000 4194304 9128323 140733458025088 18446744073709551615 4684053 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 352421 336835 881 1205 0 351212 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1409684
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 5034
/proc/meminfo: memFree=28598716/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1396456 CPUtime=1242.32 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1110313 0 0 0 124050 182 0 0 25 0 1 0 819786803 1429970944 322713 33554432000 4194304 9128323 140733458025088 18446744073709551615 7343070 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 349114 322713 880 1205 0 347905 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1396456
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/465 5036
/proc/meminfo: memFree=28588028/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1433856 CPUtime=1302.32 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1146071 0 0 0 130040 192 0 0 25 0 1 0 819786803 1468268544 325251 33554432000 4194304 9128323 140733458025088 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 358464 325251 879 1205 0 357255 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1433856
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/465 5038
/proc/meminfo: memFree=28570992/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1434264 CPUtime=1362.32 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1241201 0 0 0 136022 210 0 0 25 0 1 0 819786803 1468686336 328770 33554432000 4194304 9128323 140733458025088 18446744073709551615 7380896 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 358566 328770 879 1205 0 357357 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1434264
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/465 5039
/proc/meminfo: memFree=28571328/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1433440 CPUtime=1422.33 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1333803 0 0 0 142003 230 0 0 25 0 1 0 819786803 1467842560 328822 33554432000 4194304 9128323 140733458025088 18446744073709551615 7018454 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 358360 328822 879 1205 0 357151 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1433440
[startup+1482.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/465 5041
/proc/meminfo: memFree=28567676/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1433904 CPUtime=1482.33 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1422710 0 0 0 147985 248 0 0 25 0 1 0 819786803 1468317696 329357 33554432000 4194304 9128323 140733458025088 18446744073709551615 7315303 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 358476 329357 879 1205 0 357267 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1433904
[startup+1542.32 s]
/proc/loadavg: 2.09 2.04 2.01 3/465 5042
/proc/meminfo: memFree=28565760/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1434080 CPUtime=1542.34 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1522286 0 0 0 153968 266 0 0 25 0 1 0 819786803 1468497920 329331 33554432000 4194304 9128323 140733458025088 18446744073709551615 5873325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 358520 329331 879 1205 0 357311 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1434080
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/465 5044
/proc/meminfo: memFree=28564724/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1374016 CPUtime=1602.33 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1616844 0 0 0 159948 285 0 0 25 0 1 0 819786803 1406992384 326820 33554432000 4194304 9128323 140733458025088 18446744073709551615 7192336 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 343504 326820 878 1205 0 342295 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1374016
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/465 5046
/proc/meminfo: memFree=28543332/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1437616 CPUtime=1662.33 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1742153 0 0 0 165926 307 0 0 25 0 1 0 819786803 1472118784 334018 33554432000 4194304 9128323 140733458025088 18446744073709551615 7191083 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 359404 334018 877 1205 0 358195 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1437616
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 5047
/proc/meminfo: memFree=28578148/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1421964 CPUtime=1722.33 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1866071 0 0 0 171904 329 0 0 25 0 1 0 819786803 1456091136 325033 33554432000 4194304 9128323 140733458025088 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 355491 325033 877 1205 0 354282 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1421964
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 5049
/proc/meminfo: memFree=28565712/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1426336 CPUtime=1782.34 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1889136 0 0 0 177897 337 0 0 25 0 1 0 819786803 1460568064 327519 33554432000 4194304 9128323 140733458025088 18446744073709551615 7315378 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 356584 327519 877 1205 0 355375 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1426336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 2/463 5050
/proc/meminfo: memFree=28812236/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1426336 CPUtime=1800.05 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1889260 0 0 0 179665 340 0 0 25 0 1 0 819786803 1460568064 327643 33554432000 4194304 9128323 140733458025088 18446744073709551615 7343102 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5000/statm: 356584 327643 877 1205 0 355375 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1426336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.01 2.00 2/464 5051
/proc/meminfo: memFree=28813220/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1423700 CPUtime=1800.74 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1889282 0 0 0 179734 340 0 0 25 0 1 0 819786803 1457868800 327006 33554432000 4194304 9128323 140733458025088 18446744073709551615 6581336 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5000/statm: 355925 327006 889 1205 0 354716 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 1423700
[startup+1801.1 s]
/proc/loadavg: 2.00 2.01 2.00 2/464 5051
/proc/meminfo: memFree=28813220/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1409380 CPUtime=1801.14 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1889282 0 0 0 179774 340 0 0 25 0 1 0 819786803 1443205120 323426 33554432000 4194304 9128323 140733458025088 18446744073709551615 4815436 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5000/statm: 352345 323426 889 1205 0 351136 0
Current children cumulated CPU time (s) 1801.14
Current children cumulated vsize (KiB) 1409380
[startup+1801.3 s]
/proc/loadavg: 2.00 2.01 2.00 2/464 5051
/proc/meminfo: memFree=28813220/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=1077568 CPUtime=1801.33 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1889285 0 0 0 179793 340 0 0 25 0 1 0 819786803 1103429632 265154 33554432000 4194304 9128323 140733458025088 18446744073709551615 6890179 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5000/statm: 269392 265154 892 1205 0 268183 0
Current children cumulated CPU time (s) 1801.33
Current children cumulated vsize (KiB) 1077568
[startup+1801.4 s]
/proc/loadavg: 2.00 2.01 2.00 2/464 5051
/proc/meminfo: memFree=28813220/32950928 swapFree=45617076/67111528
[pid=5000] ppid=4998 vsize=822804 CPUtime=1801.43 cores=1,3,5,7
/proc/5000/stat : 5000 (scip-2.0.1.4.li) R 4998 5000 32650 0 -1 4202496 1889289 0 0 0 179801 342 0 0 25 0 1 0 819786803 842551296 172638 33554432000 4194304 9128323 140733458025088 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5000/statm: 205701 172126 721 1205 0 204492 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 822804
Child status: 0
Real time (s): 1801.43
CPU time (s): 1801.47
CPU user time (s): 1798.02
CPU system time (s): 3.45347
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1456272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.02
system time used= 3.45347
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1889291
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= 3
involuntary context switches= 13966
runsolver used 7.98079 second user time and 19.645 second system time
The end