0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488760-1307764617.opb>
2.20/2.28 c original problem has 14500 variables (14500 bin, 0 int, 0 impl, 0 cont) and 461872 constraints
2.20/2.28 c problem read
2.20/2.28 c presolving settings loaded
2.79/2.84 c presolving:
4.89/4.92 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.29/5.35 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
77.79/77.81 c (77.8s) probing: 1000/14500 (6.9%) - 0 fixings, 0 aggregations, 138232 implications, 0 bound changes
160.50/160.53 c (160.5s) probing: 2000/14500 (13.8%) - 0 fixings, 0 aggregations, 269674 implications, 0 bound changes
160.60/160.62 c (160.6s) probing: 2001/14500 (13.8%) - 0 fixings, 0 aggregations, 269803 implications, 0 bound changes
160.60/160.62 c (160.6s) probing aborted: 2000/2000 successive useless probings
160.60/160.62 c presolving (3 rounds):
160.60/160.62 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
160.60/160.62 c 1922840 implications, 0 cliques
160.60/160.62 c presolved problem has 14500 variables (14500 bin, 0 int, 0 impl, 0 cont) and 461872 constraints
160.60/160.62 c 461622 constraints of type <setppc>
160.60/160.62 c 250 constraints of type <logicor>
160.60/160.62 c transformed objective value is always integral (scale: 1)
160.60/160.62 c Presolving Time: 157.90
160.60/160.62 c - non default parameters ----------------------------------------------------------------------
160.60/160.62 c # SCIP version 2.0.1.5
160.60/160.62 c
160.60/160.62 c # frequency for displaying node information lines
160.60/160.62 c # [type: int, range: [-1,2147483647], default: 100]
160.60/160.62 c display/freq = 10000
160.60/160.62 c
160.60/160.62 c # maximal time in seconds to run
160.60/160.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
160.60/160.62 c limits/time = 1797
160.60/160.62 c
160.60/160.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
160.60/160.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
160.60/160.62 c limits/memory = 13950
160.60/160.62 c
160.60/160.62 c # default clock type (1: CPU user seconds, 2: wall clock time)
160.60/160.62 c # [type: int, range: [1,2], default: 1]
160.60/160.62 c timing/clocktype = 2
160.60/160.62 c
160.60/160.62 c # belongs reading time to solving time?
160.60/160.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
160.60/160.62 c timing/reading = TRUE
160.60/160.62 c
160.60/160.62 c # should presolving try to simplify inequalities
160.60/160.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
160.60/160.62 c constraints/linear/simplifyinequalities = TRUE
160.60/160.62 c
160.60/160.62 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
160.60/160.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
160.60/160.62 c constraints/indicator/addCouplingCons = TRUE
160.60/160.62 c
160.60/160.62 c # should presolving try to simplify knapsacks
160.60/160.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
160.60/160.62 c constraints/knapsack/simplifyinequalities = TRUE
160.60/160.62 c
160.60/160.62 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
160.60/160.62 c # [type: int, range: [-1,2147483647], default: -1]
160.60/160.62 c separating/rapidlearning/freq = 0
160.60/160.62 c
160.60/160.62 c -----------------------------------------------------------------------------------------------
160.60/160.62 c start solving
160.60/160.63 c
229.30/229.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.30/229.31 c 229s| 1 | 0 | 8352 | - | 621M| 0 |7750 | 14k| 461k| 14k| 461k| 0 | 58 | 0 | 3.875000e+03 | -- | Inf
300.10/300.14 c 300s| 1 | 0 | 25044 | - | 621M| 0 |7692 | 14k| 461k| 14k| 461k| 33 | 58 | 0 | 3.904000e+03 | -- | Inf
329.10/329.16 c 329s| 1 | 0 | 25665 | - | 621M| 0 |7624 | 14k| 461k| 14k| 461k| 78 | 58 | 0 | 3.938000e+03 | -- | Inf
368.50/368.53 c 369s| 1 | 0 | 26488 | - | 621M| 0 |7528 | 14k| 461k| 14k| 462k| 161 | 58 | 0 | 3.986000e+03 | -- | Inf
420.50/420.57 c 421s| 1 | 0 | 27077 | - | 622M| 0 |7470 | 14k| 461k| 14k| 462k| 236 | 58 | 0 | 4.018000e+03 | -- | Inf
482.21/482.29 c 482s| 1 | 0 | 27753 | - | 622M| 0 |7406 | 14k| 461k| 14k| 462k| 310 | 58 | 0 | 4.051750e+03 | -- | Inf
551.71/551.72 c 552s| 1 | 0 | 28414 | - | 622M| 0 |7368 | 14k| 461k| 14k| 462k| 379 | 58 | 0 | 4.071250e+03 | -- | Inf
628.71/628.70 c 629s| 1 | 0 | 29173 | - | 622M| 0 |7295 | 14k| 461k| 14k| 462k| 462 | 58 | 0 | 4.107750e+03 | -- | Inf
713.21/713.21 c 713s| 1 | 0 | 29764 | - | 622M| 0 |7247 | 14k| 461k| 14k| 462k| 519 | 58 | 0 | 4.133750e+03 | -- | Inf
806.42/806.43 c 806s| 1 | 0 | 30845 | - | 622M| 0 |7199 | 14k| 461k| 14k| 462k| 584 | 58 | 0 | 4.161417e+03 | -- | Inf
904.52/904.51 c 905s| 1 | 0 | 31603 | - | 622M| 0 |7168 | 14k| 461k| 14k| 462k| 651 | 58 | 0 | 4.181750e+03 | -- | Inf
924.92/924.99 c 925s| 1 | 0 | 32736 | - | 623M| 0 |7151 | 14k| 461k| 14k| 462k| 727 | 58 | 0 | 4.206500e+03 | -- | Inf
945.21/945.22 c 945s| 1 | 0 | 34083 | - | 623M| 0 |7131 | 14k| 461k| 14k| 462k| 797 | 58 | 0 | 4.230357e+03 | -- | Inf
969.92/969.90 c 970s| 1 | 0 | 36072 | - | 624M| 0 |7071 | 14k| 461k| 14k| 462k| 873 | 58 | 0 | 4.259708e+03 | -- | Inf
989.82/989.85 c 990s| 1 | 0 | 37428 | - | 624M| 0 |6999 | 14k| 461k| 14k| 462k| 955 | 58 | 0 | 4.282363e+03 | -- | Inf
1013.42/1013.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1013.42/1013.49 c 1013s| 1 | 0 | 39115 | - | 625M| 0 |6978 | 14k| 461k| 14k| 462k|1029 | 58 | 0 | 4.304472e+03 | -- | Inf
1038.22/1038.26 c 1038s| 1 | 0 | 41130 | - | 625M| 0 |6924 | 14k| 461k| 14k| 462k|1108 | 58 | 0 | 4.328750e+03 | -- | Inf
1063.22/1063.20 c 1063s| 1 | 0 | 43288 | - | 626M| 0 |6882 | 14k| 461k| 14k| 463k|1183 | 58 | 0 | 4.352167e+03 | -- | Inf
1087.42/1087.40 c 1087s| 1 | 0 | 45415 | - | 626M| 0 |6861 | 14k| 461k| 14k| 463k|1265 | 58 | 0 | 4.375536e+03 | -- | Inf
1112.02/1112.08 c 1112s| 1 | 0 | 47487 | - | 627M| 0 |6816 | 14k| 461k| 14k| 463k|1352 | 58 | 0 | 4.395283e+03 | -- | Inf
1135.23/1135.24 c 1135s| 1 | 0 | 49591 | - | 627M| 0 |6770 | 14k| 461k| 14k| 463k|1441 | 58 | 0 | 4.421783e+03 | -- | Inf
1157.03/1157.01 c 1157s| 1 | 0 | 51838 | - | 628M| 0 |6741 | 14k| 461k| 14k| 463k|1526 | 58 | 0 | 4.439856e+03 | -- | Inf
1185.13/1185.11 c 1185s| 1 | 0 | 54843 | - | 628M| 0 |6674 | 14k| 461k| 14k| 463k|1615 | 58 | 0 | 4.462333e+03 | -- | Inf
1209.83/1209.86 c 1210s| 1 | 0 | 57518 | - | 629M| 0 |6654 | 14k| 461k| 14k| 463k|1706 | 58 | 0 | 4.481250e+03 | -- | Inf
1233.53/1233.53 c 1234s| 1 | 0 | 60387 | - | 629M| 0 |6608 | 14k| 461k| 14k| 463k|1800 | 58 | 0 | 4.504526e+03 | -- | Inf
1261.63/1261.61 c 1262s| 1 | 0 | 63780 | - | 629M| 0 |6576 | 14k| 461k| 14k| 463k|1891 | 58 | 0 | 4.528396e+03 | -- | Inf
1291.34/1291.31 c 1291s| 1 | 0 | 67303 | - | 630M| 0 |6545 | 14k| 461k| 14k| 463k|1989 | 58 | 0 | 4.556516e+03 | -- | Inf
1320.43/1320.47 c 1320s| 1 | 0 | 70747 | - | 630M| 0 |6512 | 14k| 461k| 14k| 463k|2084 | 58 | 0 | 4.576460e+03 | -- | Inf
1354.53/1354.51 c 1355s| 1 | 0 | 74576 | - | 631M| 0 |6442 | 14k| 461k| 14k| 463k|2181 | 58 | 0 | 4.603250e+03 | -- | Inf
1379.44/1379.41 c 1379s| 1 | 0 | 77757 | - | 631M| 0 |6412 | 14k| 461k| 14k| 463k|2280 | 58 | 0 | 4.623708e+03 | -- | Inf
1420.53/1420.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.53/1420.57 c 1421s| 1 | 0 | 82290 | - | 632M| 0 |6363 | 14k| 461k| 14k| 463k|2371 | 58 | 0 | 4.643464e+03 | -- | Inf
1447.43/1447.44 c 1447s| 1 | 0 | 85879 | - | 632M| 0 |6320 | 14k| 461k| 14k| 463k|2474 | 58 | 0 | 4.663155e+03 | -- | Inf
1473.23/1473.25 c 1473s| 1 | 0 | 88887 | - | 632M| 0 |6313 | 14k| 461k| 14k| 463k|2557 | 58 | 0 | 4.685893e+03 | -- | Inf
1532.24/1532.24 c 1532s| 1 | 0 | 96701 | - | 633M| 0 |6288 | 14k| 461k| 14k| 463k|2649 | 58 | 0 | 4.702641e+03 | -- | Inf
1567.74/1567.72 c 1568s| 1 | 0 |101245 | - | 633M| 0 |6258 | 14k| 461k| 14k| 463k|2739 | 58 | 0 | 4.722097e+03 | -- | Inf
1595.14/1595.16 c 1595s| 1 | 0 |104993 | - | 634M| 0 |6191 | 14k| 461k| 14k| 464k|2841 | 58 | 0 | 4.744333e+03 | -- | Inf
1623.24/1623.22 c 1623s| 1 | 0 |108700 | - | 634M| 0 |6177 | 14k| 461k| 14k| 464k|2930 | 58 | 0 | 4.763500e+03 | -- | Inf
1676.94/1676.93 c 1677s| 1 | 0 |115592 | - | 635M| 0 |6107 | 14k| 461k| 14k| 463k|3011 | 58 | 0 | 4.778042e+03 | -- | Inf
1714.74/1714.70 c 1715s| 1 | 0 |120459 | - | 635M| 0 |6078 | 14k| 461k| 14k| 463k|3094 | 58 | 0 | 4.795711e+03 | -- | Inf
1743.34/1743.32 c 1743s| 1 | 0 |124293 | - | 636M| 0 |6069 | 14k| 461k| 14k| 463k|3184 | 58 | 0 | 4.811844e+03 | -- | Inf
1791.24/1791.26 c 1791s| 1 | 0 |130437 | - | 636M| 0 |5984 | 14k| 461k| 14k| 464k|3295 | 58 | 0 | 4.830500e+03 | -- | Inf
1797.05/1797.02 c 1797s| 1 | 0 |130503 | - | 637M| 0 | - | 14k| 461k| 14k| 464k|3396 | 58 | 0 | 4.830500e+03 | -- | Inf
1797.15/1797.16 c 1797s| 1 | 2 |130503 | - | 637M| 0 | - | 14k| 461k| 14k| 464k|3396 | 58 | 0 | 4.830500e+03 | -- | Inf
1797.15/1797.16 c
1797.15/1797.16 c SCIP Status : solving was interrupted [time limit reached]
1797.15/1797.16 c Solving Time (sec) : 1797.16
1797.15/1797.16 c Solving Nodes : 1
1797.15/1797.16 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.15/1797.16 c Dual Bound : +4.83050000000000e+03
1797.15/1797.16 c Gap : infinite
1797.15/1797.16 s UNKNOWN
1797.15/1797.16 c SCIP Status : solving was interrupted [time limit reached]
1797.15/1797.16 c Total Time : 1797.16
1797.15/1797.16 c solving : 1797.16
1797.15/1797.16 c presolving : 157.90 (included in solving)
1797.15/1797.16 c reading : 2.28 (included in solving)
1797.15/1797.16 c Original Problem :
1797.15/1797.16 c Problem name : HOME/instance-3488760-1307764617.opb
1797.15/1797.16 c Variables : 14500 (14500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.15/1797.16 c Constraints : 461872 initial, 461872 maximal
1797.15/1797.16 c Presolved Problem :
1797.15/1797.16 c Problem name : t_HOME/instance-3488760-1307764617.opb
1797.15/1797.16 c Variables : 14500 (14500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.15/1797.16 c Constraints : 461872 initial, 461930 maximal
1797.15/1797.16 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.15/1797.16 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.15/1797.16 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.15/1797.16 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.15/1797.16 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.15/1797.16 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.15/1797.16 c implics : 0.01 0 0 0 0 0 0 0 0 0
1797.15/1797.16 c probing : 155.03 0 0 0 0 0 0 0 0 0
1797.15/1797.16 c setppc : 0.63 0 0 0 0 0 0 0 0 0
1797.15/1797.16 c linear : 1.77 0 0 0 0 0 0 0 0 0
1797.15/1797.16 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.15/1797.16 c root node : - 0 - - 0 - - - - -
1797.15/1797.16 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.15/1797.16 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1797.15/1797.16 c setppc : 461622 41 8784 0 1 3 2516 1 0 0 0 0
1797.15/1797.16 c logicor : 250+ 41 1196 0 1 0 711 14 0 0 0 0
1797.15/1797.16 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.15/1797.16 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.15/1797.16 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.15/1797.16 c setppc : 178.68 1.60 176.84 0.00 0.14 0.10 0.00
1797.15/1797.16 c logicor : 0.06 0.00 0.06 0.00 0.00 0.00 0.00
1797.15/1797.16 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.15/1797.16 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.15/1797.16 c vbounds : 0 0 0 0
1797.15/1797.16 c rootredcost : 0 0 0 0
1797.15/1797.16 c pseudoobj : 2825 0 0 0
1797.15/1797.16 c Propagator Timings : TotalTime Propagate Resprop
1797.15/1797.16 c vbounds : 0.00 0.00 0.00
1797.15/1797.16 c rootredcost : 0.00 0.00 0.00
1797.15/1797.16 c pseudoobj : 0.03 0.03 0.00
1797.15/1797.16 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.15/1797.16 c propagation : 0.01 15 15 147 59.2 0 0.0 -
1797.15/1797.16 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.15/1797.16 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.15/1797.16 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.15/1797.16 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.15/1797.16 c applied globally : - - - 58 52.6 - - -
1797.15/1797.16 c applied locally : - - - 0 0.0 - - -
1797.15/1797.16 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.15/1797.16 c cut pool : 0.05 40 - - 885 - (maximal pool size: 6916)
1797.15/1797.16 c redcost : 0.02 41 0 0 0 0
1797.15/1797.16 c impliedbounds : 0.79 41 0 0 0 0
1797.15/1797.16 c intobj : 0.00 0 0 0 0 0
1797.15/1797.16 c gomory : 104.86 41 0 0 20500 0
1797.15/1797.16 c cgmip : 0.00 0 0 0 0 0
1797.15/1797.16 c closecuts : 0.00 0 0 0 0 0
1797.15/1797.16 c strongcg : 46.51 20 0 0 10000 0
1797.15/1797.16 c cmir : 207.66 10 0 0 0 0
1797.15/1797.16 c flowcover : 236.83 10 0 0 0 0
1797.15/1797.16 c clique : 31.30 41 0 0 394 0
1797.15/1797.16 c zerohalf : 0.00 0 0 0 0 0
1797.15/1797.16 c mcf : 3.44 1 0 0 0 0
1797.15/1797.16 c oddcycle : 0.00 0 0 0 0 0
1797.15/1797.16 c rapidlearning : 0.00 0 0 0 0 0
1797.15/1797.16 c Pricers : Time Calls Vars
1797.15/1797.16 c problem variables: 0.00 0 0
1797.15/1797.16 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.15/1797.16 c relpscost : 0.00 0 0 0 0 0 0
1797.15/1797.16 c pscost : 0.00 0 0 0 0 0 0
1797.15/1797.16 c inference : 0.00 1 0 0 0 0 2
1797.15/1797.16 c mostinf : 0.00 0 0 0 0 0 0
1797.15/1797.16 c leastinf : 0.00 0 0 0 0 0 0
1797.15/1797.16 c fullstrong : 0.00 0 0 0 0 0 0
1797.15/1797.16 c allfullstrong : 0.00 0 0 0 0 0 0
1797.15/1797.16 c random : 0.00 0 0 0 0 0 0
1797.15/1797.16 c Primal Heuristics : Time Calls Found
1797.15/1797.16 c LP solutions : 0.00 - 0
1797.15/1797.16 c pseudo solutions : 0.00 - 0
1797.15/1797.16 c oneopt : 0.00 0 0
1797.15/1797.16 c trivial : 0.21 2 0
1797.15/1797.16 c shiftandpropagate: 35.43 1 0
1797.15/1797.16 c simplerounding : 0.00 0 0
1797.15/1797.16 c zirounding : 0.00 0 0
1797.15/1797.16 c rounding : 1.60 41 0
1797.15/1797.16 c shifting : 206.02 41 0
1797.15/1797.16 c intshifting : 0.00 0 0
1797.15/1797.16 c twoopt : 0.00 0 0
1797.15/1797.16 c fixandinfer : 0.00 0 0
1797.15/1797.16 c feaspump : 43.02 1 0
1797.15/1797.16 c clique : 0.00 0 0
1797.15/1797.16 c coefdiving : 0.00 0 0
1797.15/1797.16 c pscostdiving : 0.00 0 0
1797.15/1797.16 c fracdiving : 0.00 0 0
1797.15/1797.16 c veclendiving : 0.00 0 0
1797.15/1797.16 c intdiving : 0.00 0 0
1797.15/1797.16 c actconsdiving : 0.00 0 0
1797.15/1797.16 c objpscostdiving : 0.00 0 0
1797.15/1797.16 c rootsoldiving : 0.00 0 0
1797.15/1797.16 c linesearchdiving : 0.00 0 0
1797.15/1797.16 c guideddiving : 0.00 0 0
1797.15/1797.16 c octane : 0.00 0 0
1797.15/1797.16 c rens : 0.00 0 0
1797.15/1797.16 c rins : 0.00 0 0
1797.15/1797.16 c localbranching : 0.00 0 0
1797.15/1797.16 c mutation : 0.00 0 0
1797.15/1797.16 c crossover : 0.00 0 0
1797.15/1797.16 c dins : 0.00 0 0
1797.15/1797.16 c vbounds : 0.00 0 0
1797.15/1797.16 c undercover : 0.00 0 0
1797.15/1797.16 c subnlp : 0.00 0 0
1797.15/1797.16 c trysol : 0.00 0 0
1797.15/1797.16 c LP : Time Calls Iterations Iter/call Iter/sec
1797.15/1797.16 c primal LP : 0.93 0 0 0.00 0.00
1797.15/1797.16 c dual LP : 713.46 42 114604 2728.67 160.63
1797.15/1797.16 c lex dual LP : 0.00 0 0 0.00 -
1797.15/1797.16 c barrier LP : 0.00 0 0 0.00 -
1797.15/1797.16 c diving/probing LP: 39.17 106 15899 149.99 405.92
1797.15/1797.16 c strong branching : 0.00 0 0 0.00 -
1797.15/1797.16 c (at root node) : - 0 0 0.00 -
1797.15/1797.16 c conflict analysis: 0.00 0 0 0.00 -
1797.15/1797.16 c B&B Tree :
1797.15/1797.16 c number of runs : 1
1797.15/1797.16 c nodes : 1
1797.15/1797.16 c nodes (total) : 1
1797.15/1797.16 c nodes left : 2
1797.15/1797.16 c max depth : 0
1797.15/1797.16 c max depth (total): 0
1797.15/1797.16 c backtracks : 0 (0.0%)
1797.15/1797.16 c delayed cutoffs : 0
1797.15/1797.16 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.15/1797.16 c avg switch length: 1.00
1797.15/1797.16 c switching time : 0.00
1797.15/1797.16 c Solution :
1797.15/1797.16 c Solutions found : 0 (0 improvements)
1797.15/1797.16 c Primal Bound : -
1797.15/1797.16 c Dual Bound : +4.83050000000000e+03
1797.15/1797.16 c Gap : infinite
1797.15/1797.16 c Root Dual Bound : +4.83050000000000e+03
1797.15/1797.16 c Root Iterations : 130503
1798.25/1798.29 c Time complete: 1798.34.
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-3488760-1307764617/watcher-3488760-1307764617 -o /tmp/evaluation-result-3488760-1307764617/solver-3488760-1307764617 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488760-1307764617.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19584
/proc/meminfo: memFree=31712336/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=12876 CPUtime=0 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 2185 0 0 0 0 0 0 0 25 0 1 0 888062195 13185024 2139 33554432000 4194304 9016284 140734233129664 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19584/statm: 3219 2156 353 1178 0 2037 0
[startup+0.014748 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19584
/proc/meminfo: memFree=31712336/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=19716 CPUtime=0 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 3950 0 0 0 0 0 0 0 25 0 1 0 888062195 20189184 3904 33554432000 4194304 9016284 140734233129664 18446744073709551615 7764673 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19584/statm: 4929 3904 353 1178 0 3747 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 19716
[startup+0.100734 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19584
/proc/meminfo: memFree=31712336/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=31116 CPUtime=0.09 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 6801 0 0 0 9 0 0 0 25 0 1 0 888062195 31862784 6747 33554432000 4194304 9016284 140734233129664 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19584/statm: 7779 6747 360 1178 0 6597 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31116
[startup+0.300707 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19584
/proc/meminfo: memFree=31712336/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=45428 CPUtime=0.29 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 10403 0 0 0 29 0 0 0 25 0 1 0 888062195 46518272 10330 33554432000 4194304 9016284 140734233129664 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19584/statm: 11357 10330 360 1178 0 10175 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45428
[startup+0.700632 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19584
/proc/meminfo: memFree=31712336/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=75244 CPUtime=0.69 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 17827 0 0 0 68 1 0 0 25 0 1 0 888062195 77049856 17754 33554432000 4194304 9016284 140734233129664 18446744073709551615 4447114 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19584/statm: 18811 17754 360 1178 0 17629 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75244
[startup+1.50049 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19585
/proc/meminfo: memFree=31620220/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=134724 CPUtime=1.49 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 32677 0 0 0 146 3 0 0 25 0 1 0 888062195 137957376 32604 33554432000 4194304 9016284 140734233129664 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19584/statm: 33681 32604 360 1178 0 32499 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 134724
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19585
/proc/meminfo: memFree=31538816/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=493052 CPUtime=3.09 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 121822 0 0 0 298 11 0 0 25 0 1 0 888062195 504885248 121431 33554432000 4194304 9016284 140734233129664 18446744073709551615 6480813 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 123263 121431 474 1178 0 122081 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 493052
[startup+6.3006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19585
/proc/meminfo: memFree=31188268/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=534580 CPUtime=6.29 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 196398 0 0 0 609 20 0 0 25 0 1 0 888062195 547409920 131475 33554432000 4194304 9016284 140734233129664 18446744073709551615 4318666 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 133645 131475 538 1178 0 132463 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 534580
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19585
/proc/meminfo: memFree=31182952/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=538184 CPUtime=12.7 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 197301 0 0 0 1249 21 0 0 25 0 1 0 888062195 551100416 132378 33554432000 4194304 9016284 140734233129664 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 134546 132378 538 1178 0 133364 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 538184
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19585
/proc/meminfo: memFree=31181852/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=539832 CPUtime=25.5 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 197713 0 0 0 2529 21 0 0 25 0 1 0 888062195 552787968 132790 33554432000 4194304 9016284 140734233129664 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 134958 132790 538 1178 0 133776 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 539832
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19586
/proc/meminfo: memFree=31177512/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=543928 CPUtime=51.09 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 198738 0 0 0 5088 21 0 0 25 0 1 0 888062195 556982272 133815 33554432000 4194304 9016284 140734233129664 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 135982 133815 538 1178 0 134800 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 543928
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19587
/proc/meminfo: memFree=31169548/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=551404 CPUtime=102.3 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 200642 0 0 0 10209 21 0 0 25 0 1 0 888062195 564637696 135716 33554432000 4194304 9016284 140734233129664 18446744073709551615 5510781 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 137851 135716 540 1178 0 136669 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 551404
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19589
/proc/meminfo: memFree=30805304/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=939716 CPUtime=162.29 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 307546 0 0 0 16197 32 0 0 20 0 1 0 888062195 962269184 226099 33554432000 4194304 9016284 140734233129664 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 234929 226099 623 1178 0 233747 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 939716
[startup+222.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 19591
/proc/meminfo: memFree=30462036/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1309048 CPUtime=222.3 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 408944 0 0 0 22183 47 0 0 25 0 1 0 888062195 1340465152 311998 33554432000 4194304 9016284 140734233129664 18446744073709551615 7180382 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 327262 311998 918 1178 0 326080 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1309048
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 19601
/proc/meminfo: memFree=30524972/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1207348 CPUtime=282.3 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 448162 0 0 0 28169 61 0 0 25 0 1 0 888062195 1236324352 293697 33554432000 4194304 9016284 140734233129664 18446744073709551615 7870569 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 301837 293697 1685 1178 0 300655 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1207348
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19603
/proc/meminfo: memFree=30423124/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1399884 CPUtime=342.3 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 487954 0 0 0 34162 68 0 0 25 0 1 0 888062195 1433481216 322839 33554432000 4194304 9016284 140734233129664 18446744073709551615 6922745 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 349971 322839 2074 1178 0 348789 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1399884
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19604
/proc/meminfo: memFree=30429900/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1367548 CPUtime=402.31 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 497237 0 0 0 40161 70 0 0 25 0 1 0 888062195 1400369152 321059 33554432000 4194304 9016284 140734233129664 18446744073709551615 6270516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 341887 321059 2000 1178 0 340705 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1367548
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 19609
/proc/meminfo: memFree=30467492/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1382020 CPUtime=462.3 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 507951 0 0 0 46158 72 0 0 25 0 1 0 888062195 1415188480 311504 33554432000 4194304 9016284 140734233129664 18446744073709551615 6270523 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 345505 311504 1998 1178 0 344323 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1382020
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 19611
/proc/meminfo: memFree=30420636/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1403524 CPUtime=522.3 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 533045 0 0 0 52154 76 0 0 25 0 1 0 888062195 1437208576 323127 33554432000 4194304 9016284 140734233129664 18446744073709551615 6270508 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 350881 323127 1999 1178 0 349699 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1403524
[startup+582.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 19612
/proc/meminfo: memFree=30425308/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1403452 CPUtime=582.31 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 550951 0 0 0 58152 79 0 0 25 0 1 0 888062195 1437134848 323814 33554432000 4194304 9016284 140734233129664 18446744073709551615 6259821 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 350863 323814 4445 1178 0 349681 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1403452
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30419232/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1398056 CPUtime=1062.32 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 732142 0 0 0 106123 109 0 0 25 0 1 0 888062195 1431609344 323282 33554432000 4194304 9016284 140734233129664 18446744073709551615 6971634 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 349514 323282 1987 1178 0 348332 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1398056
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 19627
/proc/meminfo: memFree=30409256/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1409564 CPUtime=1122.32 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 812643 0 0 0 112109 123 0 0 25 0 1 0 888062195 1443393536 325734 33554432000 4194304 9016284 140734233129664 18446744073709551615 6389943 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 352391 325734 1985 1178 0 351209 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1409564
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 19628
/proc/meminfo: memFree=30400176/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1409852 CPUtime=1182.33 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 916364 0 0 0 118092 141 0 0 25 0 1 0 888062195 1443688448 327884 33554432000 4194304 9016284 140734233129664 18446744073709551615 6971634 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 352463 327884 1979 1178 0 351281 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1409852
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 19630
/proc/meminfo: memFree=30391556/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1423372 CPUtime=1242.33 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1018380 0 0 0 124074 159 0 0 25 0 1 0 888062195 1457532928 329999 33554432000 4194304 9016284 140734233129664 18446744073709551615 7178142 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 355843 329999 1976 1178 0 354661 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1423372
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19632
/proc/meminfo: memFree=30389388/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1423292 CPUtime=1302.33 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1105164 0 0 0 130058 175 0 0 25 0 1 0 888062195 1457451008 330511 33554432000 4194304 9016284 140734233129664 18446744073709551615 7080755 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 355823 330511 1970 1178 0 354641 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1423292
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19633
/proc/meminfo: memFree=30390692/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1460304 CPUtime=1362.33 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1187831 0 0 0 136042 191 0 0 25 0 1 0 888062195 1495351296 330163 33554432000 4194304 9016284 140734233129664 18446744073709551615 7082034 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 365076 330163 1965 1178 0 363894 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1460304
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19635
/proc/meminfo: memFree=30339312/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1465424 CPUtime=1422.34 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1292912 0 0 0 142024 210 0 0 25 0 1 0 888062195 1500594176 345078 33554432000 4194304 9016284 140734233129664 18446744073709551615 5879022 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 366356 345078 4059 1178 0 365174 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1465424
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19636
/proc/meminfo: memFree=30396076/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1427700 CPUtime=1482.33 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1391757 0 0 0 148006 227 0 0 25 0 1 0 888062195 1461964800 328785 33554432000 4194304 9016284 140734233129664 18446744073709551615 7227419 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 356925 328785 1953 1178 0 355743 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1427700
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19638
/proc/meminfo: memFree=30395656/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1427852 CPUtime=1542.34 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1487374 0 0 0 153988 246 0 0 25 0 1 0 888062195 1462120448 328956 33554432000 4194304 9016284 140734233129664 18446744073709551615 7178139 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 356963 328956 1943 1178 0 355781 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1427852
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19639
/proc/meminfo: memFree=30394504/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1428180 CPUtime=1602.34 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1585297 0 0 0 159968 266 0 0 25 0 1 0 888062195 1462456320 329136 33554432000 4194304 9016284 140734233129664 18446744073709551615 7082202 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 357045 329136 1939 1178 0 355863 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1428180
[startup+1662.3 s]
/proc/loadavg: 1.47 1.86 1.95 2/172 19665
/proc/meminfo: memFree=30670308/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1428404 CPUtime=1662.34 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1677786 0 0 0 165950 284 0 0 25 0 1 0 888062195 1462685696 329447 33554432000 4194304 9016284 140734233129664 18446744073709551615 6971617 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 357101 329447 1928 1178 0 355919 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1428404
[startup+1722.3 s]
/proc/loadavg: 1.19 1.71 1.89 2/172 19667
/proc/meminfo: memFree=30649916/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1400480 CPUtime=1722.34 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1785841 0 0 0 171928 306 0 0 25 0 1 0 888062195 1434091520 327553 33554432000 4194304 9016284 140734233129664 18446744073709551615 6971638 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 350120 327553 862 1178 0 348938 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1400480
[startup+1782.3 s]
/proc/loadavg: 1.06 1.57 1.83 2/172 19668
/proc/meminfo: memFree=30636348/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1448336 CPUtime=1782.34 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1901146 0 0 0 177905 329 0 0 25 0 1 0 888062195 1483096064 336851 33554432000 4194304 9016284 140734233129664 18446744073709551615 7178154 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 362084 336851 862 1178 0 360902 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1448336
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.05 1.55 1.82 2/172 19669
/proc/meminfo: memFree=30636568/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1448336 CPUtime=1791.95 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1918643 0 0 0 178863 332 0 0 25 0 1 0 888062195 1483096064 336784 33554432000 4194304 9016284 140734233129664 18446744073709551615 5877824 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 362084 336784 862 1178 0 360902 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1448336
[startup+1795.1 s]
/proc/loadavg: 1.05 1.55 1.82 2/172 19669
/proc/meminfo: memFree=30636444/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1448336 CPUtime=1795.16 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1918643 0 0 0 179183 333 0 0 25 0 1 0 888062195 1483096064 336784 33554432000 4194304 9016284 140734233129664 18446744073709551615 6922745 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 362084 336784 862 1178 0 360902 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 1448336
[startup+1796.7 s]
/proc/loadavg: 1.05 1.55 1.82 2/172 19669
/proc/meminfo: memFree=30636444/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1430364 CPUtime=1796.75 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1923826 0 0 0 179341 334 0 0 25 0 1 0 888062195 1464692736 327184 33554432000 4194304 9016284 140734233129664 18446744073709551615 6971817 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19584/statm: 357591 327184 862 1178 0 356409 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 1430364
[startup+1797.5 s]
/proc/loadavg: 1.05 1.54 1.82 2/172 19669
/proc/meminfo: memFree=30674760/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1430364 CPUtime=1797.55 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1923838 0 0 0 179421 334 0 0 18 0 1 0 888062195 1464692736 327196 33554432000 4194304 9016284 140734233129664 18446744073709551615 6546026 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19584/statm: 357591 327196 870 1178 0 356409 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 1430364
[startup+1797.9 s]
/proc/loadavg: 1.05 1.54 1.82 2/172 19669
/proc/meminfo: memFree=30674760/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=1408008 CPUtime=1797.95 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) R 19582 19584 16623 0 -1 4202496 1923839 0 0 0 179461 334 0 0 18 0 1 0 888062195 1441800192 321608 33554432000 4194304 9016284 140734233129664 18446744073709551615 4318655 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19584/statm: 351969 321575 871 1178 0 350787 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1408008
[startup+1798.3 s]
/proc/loadavg: 1.05 1.54 1.82 2/172 19669
/proc/meminfo: memFree=30674760/32951124 swapFree=67052968/67111528
[pid=19584] ppid=19582 vsize=0 CPUtime=1798.34 cores=1,3,5,7
/proc/19584/stat : 19584 (scip-2.0.1.4b_2) S 19582 19584 16623 0 -1 4202500 1923847 0 0 0 179495 339 0 0 19 0 1 0 888062195 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19584/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.34
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.3
CPU time (s): 1798.35
CPU user time (s): 1794.96
CPU system time (s): 3.39448
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1474800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.96
system time used= 3.39448
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1923847
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= 1956
runsolver used 2.68059 second user time and 6.587 second system time
The end