0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692961-1338041548.opb>
0.39/0.45 c original problem has 7351 variables (7351 bin, 0 int, 0 impl, 0 cont) and 155824 constraints
0.39/0.45 c problem read in 0.45
0.79/0.89 c presolving:
1.48/1.56 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 72994 impls, 287 clqs
2.58/2.66 c (round 2) 1 del vars, 22 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 155835 upgd conss, 72994 impls, 287 clqs
2.99/3.08 c (round 3) 1 del vars, 42 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 155835 upgd conss, 72994 impls, 287 clqs
5.99/6.00 c (6.0s) probing: 426/7350 (5.8%) - 0 fixings, 0 aggregations, 14881 implications, 0 bound changes
5.99/6.00 c (6.0s) probing aborted: 50/50 successive totally useless probings
6.29/6.33 c presolving (4 rounds):
6.29/6.33 c 1 deleted vars, 50 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
6.29/6.33 c 102756 implications, 287 cliques
6.29/6.33 c presolved problem has 7350 variables (7350 bin, 0 int, 0 impl, 0 cont) and 155774 constraints
6.29/6.33 c 15969 constraints of type <knapsack>
6.29/6.33 c 31648 constraints of type <setppc>
6.29/6.33 c 1 constraints of type <linear>
6.29/6.33 c 108156 constraints of type <logicor>
6.29/6.33 c transformed objective value is always integral (scale: 1)
6.29/6.33 c Presolving Time: 5.76
6.29/6.33 c - non default parameters ----------------------------------------------------------------------
6.29/6.33 c # SCIP version 2.1.1.4
6.29/6.33 c
6.29/6.33 c # maximal time in seconds to run
6.29/6.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.29/6.33 c limits/time = 1797
6.29/6.33 c
6.29/6.33 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.29/6.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.29/6.33 c limits/memory = 13950
6.29/6.33 c
6.29/6.33 c # default clock type (1: CPU user seconds, 2: wall clock time)
6.29/6.33 c # [type: int, range: [1,2], default: 1]
6.29/6.33 c timing/clocktype = 2
6.29/6.33 c
6.29/6.33 c # belongs reading time to solving time?
6.29/6.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.29/6.33 c timing/reading = TRUE
6.29/6.33 c
6.29/6.33 c -----------------------------------------------------------------------------------------------
6.29/6.33 c start solving
6.29/6.34 c
7.98/8.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.98/8.07 c 8.1s| 1 | 0 | 1579 | - | 242M| 0 | 694 |7350 | 155k|7350 | 155k| 0 | 33 | 0 | 0.000000e+00 | -- | Inf
58.87/58.98 c 59.0s| 1 | 0 | 18668 | - | 246M| 0 |1289 |7350 | 155k|7350 | 155k| 10 | 33 | 0 | 0.000000e+00 | -- | Inf
72.27/72.35 c 72.3s| 1 | 0 | 19365 | - | 247M| 0 |1629 |7350 | 155k|7350 | 155k| 21 | 33 | 0 | 0.000000e+00 | -- | Inf
87.77/87.83 c 87.8s| 1 | 0 | 20603 | - | 248M| 0 |1867 |7350 | 155k|7350 | 155k| 38 | 33 | 0 | 0.000000e+00 | -- | Inf
106.77/106.84 c 107s| 1 | 0 | 22926 | - | 250M| 0 |1903 |7350 | 155k|7350 | 155k| 60 | 33 | 0 | 0.000000e+00 | -- | Inf
124.37/124.49 c 124s| 1 | 0 | 24019 | - | 252M| 0 |1908 |7350 | 155k|7350 | 155k| 95 | 33 | 0 | 0.000000e+00 | -- | Inf
148.06/148.13 c 148s| 1 | 0 | 26527 | - | 254M| 0 |2268 |7350 | 155k|7350 | 155k| 116 | 33 | 0 | 0.000000e+00 | -- | Inf
192.05/192.17 c 192s| 1 | 2 | 26527 | - | 254M| 0 |2268 |7350 | 155k|7350 | 155k| 116 | 33 | 18 | 0.000000e+00 | -- | Inf
1049.01/1049.29 c 1049s| 100 | 74 |134056 |1086.2 | 259M| 68 | 791 |7350 | 155k|7350 | 155k| 116 | 80 | 252 | 0.000000e+00 | -- | Inf
1064.60/1064.84 c 1065s| 200 | 129 |137179 | 556.0 | 262M| 140 | 658 |7350 | 155k|7350 | 155k| 116 | 177 | 252 | 0.000000e+00 | -- | Inf
1076.39/1076.66 c 1077s| 300 | 163 |139260 | 377.0 | 263M| 165 | 588 |7350 | 156k|7350 | 155k| 116 | 271 | 252 | 0.000000e+00 | -- | Inf
1190.58/1190.86 c 1191s| 400 | 51 |165954 | 349.4 | 259M| 166 |2720 |7350 | 156k|7350 | 155k| 116 | 361 | 284 | 0.000000e+00 | -- | Inf
1372.75/1373.07 c 1373s| 500 | 94 |195186 | 338.0 | 260M| 166 | 884 |7350 | 156k|7350 | 155k| 116 | 455 | 316 | 0.000000e+00 | -- | Inf
1412.45/1412.77 c 1413s| 600 | 116 |201790 | 292.6 | 262M| 166 | - |7350 | 156k| 0 | 0 | 116 | 561 | 332 | 0.000000e+00 | -- | Inf
1423.94/1424.28 c 1424s| 700 | 154 |203645 | 253.4 | 263M| 166 | 828 |7350 | 156k|7350 | 155k| 116 | 636 | 332 | 0.000000e+00 | -- | Inf
1435.55/1435.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1435.55/1435.89 c 1436s| 800 | 193 |204654 | 222.9 | 265M| 166 | 550 |7350 | 156k|7350 | 155k| 116 | 738 | 348 | 0.000000e+00 | -- | Inf
1447.54/1447.80 c 1448s| 900 | 200 |205744 | 199.4 | 265M| 181 | 546 |7350 | 156k|7350 | 155k| 116 | 875 | 362 | 0.000000e+00 | -- | Inf
1462.75/1463.09 c 1463s| 1000 | 176 |207022 | 180.7 | 264M| 181 | - |7350 | 156k| 0 | 0 | 116 |1055 | 388 | 0.000000e+00 | -- | Inf
1481.24/1481.53 c 1482s| 1100 | 168 |208685 | 165.7 | 264M| 181 | - |7350 | 156k| 0 | 0 | 116 |1194 | 421 | 0.000000e+00 | -- | Inf
1501.33/1501.63 c 1502s| 1200 | 113 |210414 | 153.4 | 262M| 181 | 880 |7350 | 156k|7350 | 155k| 116 |1358 | 453 | 0.000000e+00 | -- | Inf
1514.84/1515.13 c 1515s| 1300 | 115 |211865 | 142.7 | 262M| 181 | - |7350 | 156k| 0 | 0 | 116 |1495 | 465 | 0.000000e+00 | -- | Inf
1531.53/1531.87 c 1532s| 1400 | 124 |213054 | 133.3 | 263M| 181 | 867 |7350 | 156k|7350 | 155k| 116 |1650 | 490 | 0.000000e+00 | -- | Inf
1547.73/1548.02 c 1548s| 1500 | 121 |214280 | 125.3 | 262M| 181 | 862 |7350 | 156k|7350 | 155k| 116 |1801 | 514 | 0.000000e+00 | -- | Inf
1567.13/1567.41 c 1567s| 1600 | 117 |216203 | 118.6 | 262M| 181 | 880 |7350 | 157k|7350 | 155k| 116 |1999 | 533 | 0.000000e+00 | -- | Inf
1586.73/1587.03 c 1587s| 1700 | 123 |217999 | 112.7 | 263M| 181 | - |7350 | 157k| 0 | 0 | 116 |2162 | 561 | 0.000000e+00 | -- | Inf
1605.51/1605.80 c 1606s| 1800 | 117 |219692 | 107.4 | 262M| 181 | - |7350 | 157k| 0 | 0 | 116 |2345 | 588 | 0.000000e+00 | -- | Inf
1623.22/1623.53 c 1624s| 1900 | 116 |221342 | 102.6 | 262M| 181 | 868 |7350 | 157k|7350 | 155k| 116 |2509 | 612 | 0.000000e+00 | -- | Inf
1656.11/1656.40 c 1656s| 2000 | 111 |224883 | 99.2 | 262M| 181 | 899 |7350 | 157k|7350 | 155k| 116 |2718 | 640 | 0.000000e+00 | -- | Inf
1672.50/1672.88 c 1673s| 2100 | 128 |226889 | 95.5 | 263M| 181 | - |7350 | 157k| 0 | 0 | 116 |2922 | 655 | 0.000000e+00 | -- | Inf
1697.10/1697.46 c 1697s| 2200 | 124 |229580 | 92.3 | 263M| 181 | 895 |7350 | 157k|7350 | 155k| 116 |3165 | 690 | 0.000000e+00 | -- | Inf
1723.20/1723.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1723.20/1723.54 c 1724s| 2300 | 116 |232428 | 89.6 | 262M| 181 | - |7350 | 157k| 0 | 0 | 116 |3414 | 736 | 0.000000e+00 | -- | Inf
1740.19/1740.51 c 1740s| 2400 | 124 |234244 | 86.6 | 263M| 181 | - |7350 | 157k| 0 | 0 | 116 |3572 | 754 | 0.000000e+00 | -- | Inf
1759.49/1759.86 c 1760s| 2500 | 117 |236190 | 83.9 | 262M| 181 | - |7350 | 157k| 0 | 0 | 116 |3777 | 779 | 0.000000e+00 | -- | Inf
1777.79/1778.19 c 1778s| 2600 | 109 |237899 | 81.3 | 262M| 181 | 915 |7350 | 157k|7350 | 155k| 116 |3932 | 801 | 0.000000e+00 | -- | Inf
1795.99/1796.35 c 1796s| 2700 | 108 |239812 | 79.0 | 262M| 181 | 886 |7350 | 157k|7350 | 155k| 116 |4114 | 824 | 0.000000e+00 | -- | Inf
1796.78/1797.12 c
1796.78/1797.12 c SCIP Status : solving was interrupted [time limit reached]
1796.78/1797.12 c Solving Time (sec) : 1797.11
1796.78/1797.12 c Solving Nodes : 2706
1796.78/1797.12 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.78/1797.12 c Dual Bound : +0.00000000000000e+00
1796.78/1797.12 c Gap : infinite
1796.78/1797.12 s UNKNOWN
1796.78/1797.12 c SCIP Status : solving was interrupted [time limit reached]
1796.78/1797.12 c Total Time : 1797.11
1796.78/1797.12 c solving : 1797.11
1796.78/1797.12 c presolving : 5.76 (included in solving)
1796.78/1797.12 c reading : 0.45 (included in solving)
1796.78/1797.12 c copying : 0.24 (1 #copies) (minimal 0.24, maximal 0.24, average 0.24)
1796.78/1797.12 c Original Problem :
1796.78/1797.12 c Problem name : HOME/instance-3692961-1338041548.opb
1796.78/1797.12 c Variables : 7351 (7351 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.78/1797.12 c Constraints : 155824 initial, 155824 maximal
1796.78/1797.12 c Objective sense : minimize
1796.78/1797.12 c Presolved Problem :
1796.78/1797.12 c Problem name : t_HOME/instance-3692961-1338041548.opb
1796.78/1797.12 c Variables : 7350 (7350 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.78/1797.12 c Constraints : 155774 initial, 157248 maximal
1796.78/1797.12 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.78/1797.12 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.78/1797.12 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.78/1797.12 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.78/1797.12 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.78/1797.12 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.78/1797.12 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.78/1797.12 c gateextraction : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.78/1797.12 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.78/1797.12 c components : 0.07 0.00 0 0 0 0 0 0 0 0 0
1796.78/1797.12 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.78/1797.12 c probing : 2.52 0.00 0 0 0 0 0 0 0 0 0
1796.78/1797.12 c knapsack : 0.09 0.00 0 0 0 0 0 0 0 0 0
1796.78/1797.12 c setppc : 0.11 0.00 0 0 0 0 0 20 0 0 0
1796.78/1797.12 c linear : 1.33 0.00 0 1 0 0 0 8 0 7 0
1796.78/1797.12 c logicor : 0.89 0.26 0 0 0 0 0 22 0 0 0
1796.78/1797.12 c root node : - - 0 - - 0 - - - - -
1796.78/1797.12 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.78/1797.12 c integral : 0 0 0 0 1963 0 4 0 9 274 0 0 3786
1796.78/1797.12 c knapsack : 15969 15969 6 23352 0 0 3 62912 71 13658 88 0 0
1796.78/1797.12 c setppc : 31648 31648 6 23281 0 0 2 170993 119 15707 0 0 0
1796.78/1797.12 c linear : 1 1 6 23050 0 0 0 28 0 0 0 0 0
1796.78/1797.12 c logicor : 108156+ 109630 6 16962 0 0 0 106758 1187 36087 0 0 0
1796.78/1797.12 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.78/1797.12 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.78/1797.12 c integral : 731.90 0.00 0.00 0.00 731.90 0.00 0.00 0.00
1796.78/1797.12 c knapsack : 6.57 0.00 0.13 6.36 0.00 0.00 0.01 0.07
1796.78/1797.12 c setppc : 3.30 0.00 0.01 3.12 0.00 0.00 0.00 0.17
1796.78/1797.12 c linear : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00
1796.78/1797.12 c logicor : 2.89 0.26 0.03 2.42 0.00 0.00 0.00 0.17
1796.78/1797.12 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.78/1797.12 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.78/1797.12 c rootredcost : 0 0 0 0
1796.78/1797.12 c pseudoobj : 0 0 0 0
1796.78/1797.12 c vbounds : 0 0 0 0
1796.78/1797.12 c redcost : 1968 0 0 0
1796.78/1797.12 c probing : 0 0 0 0
1796.78/1797.12 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.78/1797.12 c rootredcost : 0.02 0.00 0.00 0.02 0.00
1796.78/1797.12 c pseudoobj : 0.02 0.00 0.00 0.02 0.00
1796.78/1797.12 c vbounds : 0.02 0.00 0.00 0.02 0.00
1796.78/1797.12 c redcost : 0.21 0.00 0.00 0.21 0.00
1796.78/1797.12 c probing : 2.53 0.00 2.52 0.00 0.00
1796.78/1797.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.78/1797.12 c propagation : 1.32 1377 1377 24673 156.6 203 57.2 -
1796.78/1797.12 c infeasible LP : 0.06 17 17 188 68.8 2 6.5 0
1796.78/1797.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.78/1797.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.78/1797.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.78/1797.12 c applied globally : - - - 4125 86.8 - - -
1796.78/1797.12 c applied locally : - - - 0 0.0 - - -
1796.78/1797.12 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.78/1797.12 c cut pool : 0.00 5 - - 42 - (maximal pool size: 1194)
1796.78/1797.12 c closecuts : 0.00 0.00 0 0 0 0 0
1796.78/1797.12 c impliedbounds : 0.01 0.00 6 0 0 21 0
1796.78/1797.12 c intobj : 0.00 0.00 0 0 0 0 0
1796.78/1797.12 c gomory : 3.67 0.00 6 0 0 300 0
1796.78/1797.12 c cgmip : 0.00 0.00 0 0 0 0 0
1796.78/1797.12 c strongcg : 8.78 0.00 6 0 0 3000 0
1796.78/1797.12 c cmir : 9.10 0.00 6 0 0 0 0
1796.78/1797.12 c flowcover : 63.06 0.00 6 0 0 45 0
1796.78/1797.12 c clique : 0.31 0.00 6 0 0 50 0
1796.78/1797.12 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.78/1797.12 c mcf : 0.20 0.00 1 0 0 0 0
1796.78/1797.12 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.78/1797.12 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.78/1797.12 c Pricers : ExecTime SetupTime Calls Vars
1796.78/1797.12 c problem variables: 0.00 - 0 0
1796.78/1797.12 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.78/1797.12 c relpscost : 731.89 0.00 1963 9 274 0 0 3786
1796.78/1797.12 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.78/1797.12 c inference : 0.00 0.00 0 0 0 0 0 0
1796.78/1797.12 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.78/1797.12 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.78/1797.12 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.78/1797.12 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.78/1797.12 c random : 0.00 0.00 0 0 0 0 0 0
1796.78/1797.12 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.78/1797.12 c LP solutions : 0.00 - - 0
1796.78/1797.12 c pseudo solutions : 0.00 - - 0
1796.78/1797.12 c oneopt : 0.01 0.00 0 0
1796.78/1797.12 c crossover : 0.00 0.00 0 0
1796.78/1797.12 c guideddiving : 0.00 0.00 0 0
1796.78/1797.12 c intshifting : 0.00 0.00 0 0
1796.78/1797.12 c linesearchdiving : 3.50 0.00 1 0
1796.78/1797.12 c objpscostdiving : 2.70 0.00 1 0
1796.78/1797.12 c rootsoldiving : 121.48 0.00 1 0
1796.78/1797.12 c coefdiving : 38.82 0.00 2 0
1796.78/1797.12 c pscostdiving : 72.86 0.00 2 0
1796.78/1797.12 c fracdiving : 35.71 0.00 2 0
1796.78/1797.12 c veclendiving : 23.92 0.00 2 0
1796.78/1797.12 c feaspump : 37.55 0.00 1 0
1796.78/1797.12 c smallcard : 0.00 0.00 0 0
1796.78/1797.12 c trivial : 0.01 0.00 2 0
1796.78/1797.12 c shiftandpropagate: 0.50 0.00 1 0
1796.78/1797.12 c simplerounding : 0.00 0.00 0 0
1796.78/1797.12 c zirounding : 6.61 0.00 0 0
1796.78/1797.12 c rounding : 3.49 0.00 579 0
1796.78/1797.12 c shifting : 9.90 0.00 138 0
1796.78/1797.12 c twoopt : 0.00 0.00 0 0
1796.78/1797.12 c indoneopt : 0.01 0.00 0 0
1796.78/1797.12 c indtwoopt : 0.00 0.00 0 0
1796.78/1797.12 c fixandinfer : 0.00 0.00 0 0
1796.78/1797.12 c clique : 0.00 0.00 0 0
1796.78/1797.12 c indrounding : 0.00 0.00 0 0
1796.78/1797.12 c indcoefdiving : 0.00 0.00 0 0
1796.78/1797.12 c nlpdiving : 0.00 0.00 0 0
1796.78/1797.12 c intdiving : 0.00 0.00 0 0
1796.78/1797.12 c actconsdiving : 0.00 0.00 0 0
1796.78/1797.12 c octane : 0.00 0.00 0 0
1796.78/1797.12 c rens : 1.31 0.00 1 0
1796.78/1797.12 c rins : 0.00 0.00 0 0
1796.78/1797.12 c localbranching : 0.00 0.00 0 0
1796.78/1797.12 c mutation : 0.00 0.00 0 0
1796.78/1797.12 c dins : 0.00 0.00 0 0
1796.78/1797.12 c vbounds : 0.00 0.00 0 0
1796.78/1797.12 c undercover : 0.00 0.00 0 0
1796.78/1797.12 c subnlp : 0.00 0.00 0 0
1796.78/1797.12 c trysol : 0.00 0.00 0 0
1796.78/1797.12 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.78/1797.12 c primal LP : 0.10 1 0 0.00 0.00 0.10 1
1796.78/1797.12 c dual LP : 565.14 1985 182007 91.88 322.05 0.24 4
1796.78/1797.12 c lex dual LP : 0.00 0 0 0.00 -
1796.78/1797.12 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.78/1797.12 c diving/probing LP: 313.31 1372 57905 42.20 184.81
1796.78/1797.12 c strong branching : 730.91 824 213010 258.51 291.43
1796.78/1797.12 c (at root node) : - 18 13705 761.39 -
1796.78/1797.12 c conflict analysis: 0.00 0 0 0.00 -
1796.78/1797.12 c B&B Tree :
1796.78/1797.12 c number of runs : 1
1796.78/1797.12 c nodes : 2706
1796.78/1797.12 c nodes (total) : 2706
1796.78/1797.12 c nodes left : 111
1796.78/1797.12 c max depth : 181
1796.78/1797.12 c max depth (total): 181
1796.78/1797.12 c backtracks : 603 (22.3%)
1796.78/1797.12 c delayed cutoffs : 970
1796.78/1797.12 c repropagations : 10497 (17969 domain reductions, 555 cutoffs)
1796.78/1797.12 c avg switch length: 9.25
1796.78/1797.12 c switching time : 4.76
1796.78/1797.12 c Solution :
1796.78/1797.12 c Solutions found : 0 (0 improvements)
1796.78/1797.12 c Primal Bound : -
1796.78/1797.12 c Dual Bound : +0.00000000000000e+00
1796.78/1797.12 c Gap : infinite
1796.78/1797.12 c Root Dual Bound : +0.00000000000000e+00
1796.78/1797.12 c Root Iterations : 26527
1797.18/1797.50 c Time complete: 1797.19.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692961-1338041548/watcher-3692961-1338041548 -o /tmp/evaluation-result-3692961-1338041548/solver-3692961-1338041548 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692961-1338041548.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.06 2.01 2.00 3/176 25308
/proc/meminfo: memFree=27944412/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=10092 CPUtime=0 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 1275 0 0 0 0 0 0 0 20 0 1 0 270279730 10334208 1230 33554432000 4194304 10169799 140734714108832 140737012283176 8725744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25308/statm: 2523 1230 409 1459 0 1055 0
[startup+0.033977 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 25308
/proc/meminfo: memFree=27944412/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=14636 CPUtime=0.03 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 2408 0 0 0 3 0 0 0 20 0 1 0 270279730 14987264 2363 33554432000 4194304 10169799 140734714108832 140737012283176 5282256 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25308/statm: 3659 2363 409 1459 0 2191 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14636
[startup+0.100244 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 25308
/proc/meminfo: memFree=27944412/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=21940 CPUtime=0.08 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 4204 0 0 0 8 0 0 0 20 0 1 0 270279730 22466560 4159 33554432000 4194304 10169799 140734714108832 140737012283176 7409213 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25308/statm: 5485 4159 409 1459 0 4017 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21940
[startup+0.300213 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 25308
/proc/meminfo: memFree=27944412/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=47608 CPUtime=0.29 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 10645 0 0 0 27 2 0 0 20 0 1 0 270279730 48750592 10600 33554432000 4194304 10169799 140734714108832 140734713975160 7139768 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25308/statm: 11902 10600 409 1459 0 10434 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47608
[startup+0.700236 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 25308
/proc/meminfo: memFree=27944412/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=185464 CPUtime=0.69 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 44581 0 0 0 62 7 0 0 20 0 1 0 270279730 189915136 44506 33554432000 4194304 10169799 140734714108832 140734713974536 5569960 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25308/statm: 46366 44506 497 1459 0 44898 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 185464
[startup+1.50023 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 25309
/proc/meminfo: memFree=27737556/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=219476 CPUtime=1.48 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 60945 0 0 0 109 39 0 0 20 0 1 0 270279730 224743424 52644 33554432000 4194304 10169799 140734714108832 140734714106984 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25308/statm: 54869 52644 554 1459 0 53401 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 219476
[startup+3.10023 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 25309
/proc/meminfo: memFree=27675416/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=266516 CPUtime=3.09 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 81860 0 0 0 201 108 0 0 20 0 1 0 270279730 272912384 63937 33554432000 4194304 10169799 140734714108832 140734714106040 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25308/statm: 66629 63937 588 1459 0 65161 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 266516
[startup+6.30024 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 25309
/proc/meminfo: memFree=27688052/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=282148 CPUtime=6.29 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 83435 0 0 0 502 127 0 0 20 0 1 0 270279730 288919552 68042 33554432000 4194304 10169799 140734714108832 140734714106344 4950556 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25308/statm: 70537 68042 622 1459 0 69069 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 282148
[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 25309
/proc/meminfo: memFree=27411404/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=556332 CPUtime=12.68 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 127369 0 0 0 1132 136 0 0 20 0 1 0 270279730 569683968 133631 33554432000 4194304 10169799 140734714108832 140734714100408 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25308/statm: 139083 133631 785 1459 0 137615 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 556332
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25309
/proc/meminfo: memFree=27395636/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=556332 CPUtime=25.48 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 127563 0 0 0 2410 138 0 0 20 0 1 0 270279730 569683968 133825 33554432000 4194304 10169799 140734714108832 140734714100408 8004333 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 139083 133825 785 1459 0 137615 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 556332
[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25309
/proc/meminfo: memFree=27392488/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=556332 CPUtime=51.08 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 127809 0 0 0 4962 146 0 0 20 0 1 0 270279730 569683968 134050 33554432000 4194304 10169799 140734714108832 140734714105144 7280655 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 139083 134050 803 1459 0 137615 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 556332
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25309
/proc/meminfo: memFree=27311664/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=606916 CPUtime=102.28 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 133382 0 0 0 10048 180 0 0 20 0 1 0 270279730 621481984 145810 33554432000 4194304 10169799 140734714108832 140734714105144 5096322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 151729 145810 818 1459 0 150261 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 606916
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25310
/proc/meminfo: memFree=27193044/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=162.26 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169964 0 0 0 15979 247 0 0 20 0 1 0 270279730 706355200 169914 33554432000 4194304 10169799 140734714108832 140734714102696 8030364 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 169914 854 1459 0 170982 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 689800
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25310
/proc/meminfo: memFree=27167764/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=222.25 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169965 0 0 0 21972 253 0 0 20 0 1 0 270279730 706355200 169915 33554432000 4194304 10169799 140734714108832 140734714103432 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 169915 855 1459 0 170982 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 689800
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25310
/proc/meminfo: memFree=27167288/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=282.24 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169965 0 0 0 27966 258 0 0 20 0 1 0 270279730 706355200 169915 33554432000 4194304 10169799 140734714108832 140734714102696 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 169915 855 1459 0 170982 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 689800
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25310
/proc/meminfo: memFree=27188348/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=342.23 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169965 0 0 0 33957 266 0 0 20 0 1 0 270279730 706355200 169915 33554432000 4194304 10169799 140734714108832 140734714103240 8009933 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 169915 855 1459 0 170982 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 689800
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25310
/proc/meminfo: memFree=27175852/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=402.22 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169968 0 0 0 39949 273 0 0 20 0 1 0 270279730 706355200 170028 33554432000 4194304 10169799 140734714108832 140734714103432 7907789 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 170028 855 1459 0 170982 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 689800
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25314
/proc/meminfo: memFree=27163860/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=462.21 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169969 0 0 0 45941 280 0 0 20 0 1 0 270279730 706355200 170590 33554432000 4194304 10169799 140734714108832 140734714103432 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 170590 855 1459 0 170982 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 689800
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25314
/proc/meminfo: memFree=27173596/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=522.2 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169972 0 0 0 51934 286 0 0 20 0 1 0 270279730 706355200 171038 33554432000 4194304 10169799 140734714108832 140734714103432 8030352 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171038 855 1459 0 170982 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 689800
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25314
/proc/meminfo: memFree=27172816/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=582.18 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169979 0 0 0 57924 294 0 0 20 0 1 0 270279730 706355200 171188 33554432000 4194304 10169799 140734714108832 140734714102504 8030415 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171188 856 1459 0 170982 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 689800
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27190688/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1062.11 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169990 0 0 0 105835 376 0 0 20 0 1 0 270279730 706355200 171326 33554432000 4194304 10169799 140734714108832 140734714102968 8030352 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171326 859 1459 0 170982 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 689800
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 25319
/proc/meminfo: memFree=27138916/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1122.1 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169990 0 0 0 111807 403 0 0 20 0 1 0 270279730 706355200 171326 33554432000 4194304 10169799 140734714108832 140734714103432 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171326 859 1459 0 170982 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 689800
[startup+1182.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 25319
/proc/meminfo: memFree=27139040/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1182.08 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169990 0 0 0 117799 409 0 0 20 0 1 0 270279730 706355200 171326 33554432000 4194304 10169799 140734714108832 140734714103240 7591875 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171326 859 1459 0 170982 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 689800
[startup+1242.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/178 25320
/proc/meminfo: memFree=27141328/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1242.07 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169990 0 0 0 123790 417 0 0 20 0 1 0 270279730 706355200 171326 33554432000 4194304 10169799 140734714108832 140734714103144 7708674 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171326 859 1459 0 170982 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 689800
[startup+1302.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/177 25320
/proc/meminfo: memFree=27139164/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1302.07 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169990 0 0 0 129786 421 0 0 20 0 1 0 270279730 706355200 171326 33554432000 4194304 10169799 140734714108832 140734714103064 8844132 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171326 859 1459 0 170982 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 689800
[startup+1362.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/177 25320
/proc/meminfo: memFree=27139288/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1362.06 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169991 0 0 0 135779 427 0 0 20 0 1 0 270279730 706355200 171327 33554432000 4194304 10169799 140734714108832 140734714103816 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171327 859 1459 0 170982 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 689800
[startup+1422.31 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 25321
/proc/meminfo: memFree=27139412/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1422.05 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169991 0 0 0 141760 445 0 0 20 0 1 0 270279730 706355200 171327 33554432000 4194304 10169799 140734714108832 140734714103240 6795056 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171327 859 1459 0 170982 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 689800
[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 25321
/proc/meminfo: memFree=27139288/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1482.03 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169992 0 0 0 147742 461 0 0 20 0 1 0 270279730 706355200 171328 33554432000 4194304 10169799 140734714108832 140734714105784 8030352 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171328 859 1459 0 170982 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 689800
[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/177 25321
/proc/meminfo: memFree=27125940/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1542.03 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169992 0 0 0 153725 478 0 0 20 0 1 0 270279730 706355200 171328 33554432000 4194304 10169799 140734714108832 140734714103240 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171328 859 1459 0 170982 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 689800
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 25321
/proc/meminfo: memFree=27145928/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1602.02 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169992 0 0 0 159707 495 0 0 20 0 1 0 270279730 706355200 171328 33554432000 4194304 10169799 140734714108832 140734714102920 7908985 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171328 859 1459 0 170982 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 689800
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 25324
/proc/meminfo: memFree=27140964/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1662.01 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169993 0 0 0 165687 514 0 0 20 0 1 0 270279730 706355200 171329 33554432000 4194304 10169799 140734714108832 140734714103816 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171329 859 1459 0 170982 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 689800
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 25325
/proc/meminfo: memFree=27118868/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1721.99 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169993 0 0 0 171640 559 0 0 20 0 1 0 270279730 706355200 171329 33554432000 4194304 10169799 140734714108832 140734714103112 8030352 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171329 859 1459 0 170982 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 689800
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 25325
/proc/meminfo: memFree=27180544/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1781.99 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169993 0 0 0 177587 612 0 0 20 0 1 0 270279730 706355200 171329 33554432000 4194304 10169799 140734714108832 140734714103704 5120223 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171329 859 1459 0 170982 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 689800
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.93 2.01 1.99 3/177 25363
/proc/meminfo: memFree=27828960/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1785.19 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169993 0 0 0 177905 614 0 0 20 0 1 0 270279730 706355200 171329 33554432000 4194304 10169799 140734714108832 140734714103432 8030352 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171329 859 1459 0 170982 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 689800
[startup+1791.91 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 25363
/proc/meminfo: memFree=27732852/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1791.59 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169993 0 0 0 178542 617 0 0 20 0 1 0 270279730 706355200 171329 33554432000 4194304 10169799 140734714108832 140734714103656 8044213 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171329 859 1459 0 170982 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 689800
[startup+1795.1 s]
/proc/loadavg: 2.17 2.06 2.01 3/177 25363
/proc/meminfo: memFree=27704216/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1794.79 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169993 0 0 0 178862 617 0 0 20 0 1 0 270279730 706355200 171329 33554432000 4194304 10169799 140734714108832 140734714102792 5120223 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171329 859 1459 0 170982 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 689800
[startup+1796.7 s]
/proc/loadavg: 2.17 2.06 2.01 3/177 25363
/proc/meminfo: memFree=27694304/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1796.38 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169993 0 0 0 179019 619 0 0 20 0 1 0 270279730 706355200 171329 33554432000 4194304 10169799 140734714108832 140734714102968 5120223 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171329 859 1459 0 170982 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 689800
[startup+1797.1 s]
/proc/loadavg: 2.17 2.06 2.01 3/177 25363
/proc/meminfo: memFree=27694304/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=689800 CPUtime=1796.78 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169993 0 0 0 179058 620 0 0 20 0 1 0 270279730 706355200 171329 33554432000 4194304 10169799 140734714108832 140734714102968 6813788 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 172450 171329 859 1459 0 170982 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 689800
[startup+1797.5 s]
/proc/loadavg: 2.17 2.06 2.01 3/177 25363
/proc/meminfo: memFree=27688848/32873844 swapFree=7104/7104
[pid=25308] ppid=25306 vsize=496516 CPUtime=1797.18 cores=0,2,4,6
/proc/25308/stat : 25308 (scip-2.1.1.4sfi) R 25306 25308 22949 0 -1 4202496 169996 0 0 0 179097 621 0 0 20 0 1 0 270279730 508432384 123380 33554432000 4194304 10169799 140734714108832 140734714107912 8989847 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25308/statm: 124036 123220 862 1459 0 122568 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 496516
Child status: 0
Real time (s): 1797.5
CPU time (s): 1797.2
CPU user time (s): 1790.98
CPU system time (s): 6.22305
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 779404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.98
system time used= 6.22305
maximum resident set size= 766164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169998
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= 24
involuntary context switches= 2161
runsolver used 2.86556 second user time and 8.95964 second system time
The end