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-3690784-1338017009.opb>
0.09/0.35 c original problem has 147395 variables (147395 bin, 0 int, 0 impl, 0 cont) and 26533 constraints
0.09/0.35 c problem read in 0.35
0.89/0.93 c presolving:
1.09/1.12 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 16864 chg sides, 16864 chg coeffs, 0 upgd conss, 20 impls, 407 clqs
1.48/1.53 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 16864 chg sides, 16864 chg coeffs, 25987 upgd conss, 20 impls, 407 clqs
3.79/3.85 c (round 3) 0 del vars, 8160 del conss, 85408 add conss, 0 chg bounds, 360128 chg sides, 1476976 chg coeffs, 25997 upgd conss, 463984 impls, 407 clqs
4.69/4.70 c (round 4) 128928 del vars, 97920 del conss, 85408 add conss, 0 chg bounds, 360672 chg sides, 1506896 chg coeffs, 25997 upgd conss, 463984 impls, 407 clqs
4.69/4.79 c (round 5) 128962 del vars, 97920 del conss, 85408 add conss, 4 chg bounds, 360672 chg sides, 1506896 chg coeffs, 25997 upgd conss, 464024 impls, 391 clqs
4.79/4.81 c (round 6) 128962 del vars, 98074 del conss, 85648 add conss, 4 chg bounds, 360800 chg sides, 1507144 chg coeffs, 25997 upgd conss, 464110 impls, 391 clqs
4.79/4.88 c (round 7) 129090 del vars, 98306 del conss, 85648 add conss, 4 chg bounds, 360800 chg sides, 1507144 chg coeffs, 25997 upgd conss, 464110 impls, 391 clqs
4.89/4.90 c (round 8) 129118 del vars, 98306 del conss, 85648 add conss, 4 chg bounds, 360800 chg sides, 1507144 chg coeffs, 25997 upgd conss, 464154 impls, 375 clqs
4.89/4.93 c (round 9) 129118 del vars, 98454 del conss, 85900 add conss, 4 chg bounds, 360936 chg sides, 1507408 chg coeffs, 25997 upgd conss, 464274 impls, 375 clqs
4.89/4.98 c (round 10) 129310 del vars, 98698 del conss, 85900 add conss, 4 chg bounds, 360936 chg sides, 1507408 chg coeffs, 25997 upgd conss, 464274 impls, 375 clqs
4.99/5.09 c (5.1s) probing: 92/18467 (0.5%) - 38 fixings, 24 aggregations, 20 implications, 4 bound changes
4.99/5.09 c (5.1s) probing aborted: 50/50 successive totally useless probings
5.09/5.11 c presolving (11 rounds):
5.09/5.11 c 129310 deleted vars, 98698 deleted constraints, 85900 added constraints, 4 tightened bounds, 0 added holes, 360936 changed sides, 1507408 changed coefficients
5.09/5.11 c 464274 implications, 375 cliques
5.09/5.11 c presolved problem has 18085 variables (18085 bin, 0 int, 0 impl, 0 cont) and 13735 constraints
5.09/5.11 c 12798 constraints of type <knapsack>
5.09/5.11 c 401 constraints of type <setppc>
5.09/5.11 c 536 constraints of type <linear>
5.09/5.11 c transformed objective value is always integral (scale: 1)
5.09/5.11 c Presolving Time: 4.58
5.09/5.11 c - non default parameters ----------------------------------------------------------------------
5.09/5.11 c # SCIP version 2.1.1.4
5.09/5.11 c
5.09/5.11 c # maximal time in seconds to run
5.09/5.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.09/5.11 c limits/time = 1797
5.09/5.11 c
5.09/5.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.09/5.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.09/5.12 c limits/memory = 13950
5.09/5.12 c
5.09/5.12 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.09/5.12 c # [type: int, range: [1,2], default: 1]
5.09/5.12 c timing/clocktype = 2
5.09/5.12 c
5.09/5.12 c # belongs reading time to solving time?
5.09/5.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.12 c timing/reading = TRUE
5.09/5.12 c
5.09/5.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.09/5.12 c # [type: int, range: [-1,2147483647], default: -1]
5.09/5.12 c separating/rapidlearning/freq = 0
5.09/5.12 c
5.09/5.12 c -----------------------------------------------------------------------------------------------
5.09/5.12 c start solving
5.09/5.13 c
8.09/8.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.09/8.11 c 8.1s| 1 | 0 | 9992 | - | 445M| 0 | 700 | 18k| 13k| 18k| 13k| 0 | 4 | 0 | 5.663333e+01 | -- | Inf
16.18/16.24 c 16.2s| 1 | 0 | 32353 | - | 452M| 0 |1057 | 18k| 13k| 18k| 13k| 145 | 4 | 0 | 6.942043e+01 | -- | Inf
18.48/18.57 c 18.6s| 1 | 0 | 35308 | - | 457M| 0 |1185 | 18k| 13k| 18k| 13k| 250 | 4 | 0 | 7.150355e+01 | -- | Inf
21.48/21.54 c 21.5s| 1 | 0 | 40338 | - | 461M| 0 |1307 | 18k| 13k| 18k| 14k| 309 | 4 | 0 | 7.321843e+01 | -- | Inf
27.59/27.63 c 27.6s| 1 | 0 | 43982 | - | 466M| 0 |1448 | 18k| 13k| 18k| 14k| 510 | 4 | 0 | 7.399096e+01 | -- | Inf
29.98/30.09 c 30.1s| 1 | 0 | 46007 | - | 470M| 0 |1544 | 18k| 13k| 18k| 14k| 608 | 4 | 0 | 7.411857e+01 | -- | Inf
34.48/34.51 c 34.5s| 1 | 0 | 47306 | - | 474M| 0 |1529 | 18k| 13k| 18k| 14k| 640 | 4 | 0 | 7.426435e+01 | -- | Inf
35.88/35.98 c 36.0s| 1 | 0 | 47769 | - | 478M| 0 |1549 | 18k| 13k| 18k| 14k| 707 | 4 | 0 | 7.427050e+01 | -- | Inf
38.28/38.36 c 38.4s| 1 | 0 | 49654 | - | 481M| 0 |1551 | 18k| 13k| 18k| 14k| 728 | 4 | 0 | 7.457157e+01 | -- | Inf
40.18/40.24 c 40.2s| 1 | 0 | 50385 | - | 484M| 0 |1540 | 18k| 13k| 18k| 14k| 772 | 4 | 0 | 7.484187e+01 | -- | Inf
42.58/42.64 c 42.6s| 1 | 0 | 51567 | - | 489M| 0 |1584 | 18k| 13k| 18k| 14k| 800 | 4 | 0 | 7.513738e+01 | -- | Inf
43.68/43.75 c 43.7s| 1 | 0 | 53699 | - | 493M| 0 |1656 | 18k| 13k| 18k| 14k| 845 | 4 | 0 | 7.529057e+01 | -- | Inf
45.29/45.37 c 45.4s| 1 | 0 | 55506 | - | 496M| 0 |1631 | 18k| 13k| 18k| 14k| 882 | 4 | 0 | 7.555652e+01 | -- | Inf
48.48/48.51 c 48.5s| 1 | 0 | 56281 | - | 498M| 0 |1682 | 18k| 13k| 18k| 14k| 924 | 4 | 0 | 7.555850e+01 | -- | Inf
50.98/51.00 c 51.0s| 1 | 0 | 56767 | - | 500M| 0 |1728 | 18k| 13k| 18k| 14k| 952 | 4 | 0 | 7.555850e+01 | -- | Inf
54.08/54.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.08/54.16 c 54.2s| 1 | 0 | 56925 | - | 501M| 0 |1752 | 18k| 13k| 18k| 14k| 970 | 4 | 0 | 7.555850e+01 | -- | Inf
57.78/57.89 c 57.9s| 1 | 0 | 58029 | - | 501M| 0 |1705 | 18k| 13k| 18k| 14k| 975 | 4 | 0 | 7.560511e+01 | -- | Inf
60.58/60.70 c 60.7s| 1 | 0 | 59835 | - | 504M| 0 |1679 | 18k| 13k| 18k| 14k|1008 | 4 | 0 | 7.570812e+01 | -- | Inf
66.57/66.69 c 66.7s| 1 | 0 | 60986 | - | 504M| 0 |1712 | 18k| 13k| 18k| 14k|1042 | 4 | 0 | 7.571454e+01 | -- | Inf
72.47/72.59 c 72.6s| 1 | 0 | 61928 | - | 505M| 0 |1703 | 18k| 13k| 18k| 14k|1074 | 4 | 0 | 7.572154e+01 | -- | Inf
76.17/76.24 c 76.2s| 1 | 0 | 63308 | - | 507M| 0 |1614 | 18k| 13k| 18k| 14k|1086 | 4 | 0 | 7.576242e+01 | -- | Inf
77.58/77.60 c 77.6s| 1 | 0 | 66421 | - | 507M| 0 |1626 | 18k| 13k| 18k| 14k|1116 | 4 | 0 | 7.579626e+01 | -- | Inf
77.87/77.94 c 77.9s| 1 | 0 | 66773 | - | 507M| 0 |1690 | 18k| 13k| 18k| 14k|1162 | 4 | 0 | 7.579722e+01 | -- | Inf
78.07/78.11 c 78.1s| 1 | 0 | 66824 | - | 507M| 0 |1701 | 18k| 13k| 18k| 14k|1173 | 4 | 0 | 7.579722e+01 | -- | Inf
78.18/78.27 c 78.3s| 1 | 0 | 66836 | - | 507M| 0 |1706 | 18k| 13k| 18k| 14k|1174 | 4 | 0 | 7.579722e+01 | -- | Inf
87.77/87.87 c 87.9s| 1 | 2 | 66836 | - | 507M| 0 |1706 | 18k| 13k| 18k| 14k|1174 | 4 | 22 | 7.579722e+01 | -- | Inf
1031.21/1031.40 c 1031s| 100 | 94 | 1428k|13758.4 | 510M| 16 |1440 | 18k| 13k| 18k| 14k|1174 | 11 | 877 | 1.063356e+02 | -- | Inf
1743.60/1743.99 c 1744s| 200 | 194 | 2399k|11720.8 | 511M| 17 |1655 | 18k| 13k| 18k| 14k|1174 | 13 |1681 | 1.103453e+02 | -- | Inf
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.01
1796.69/1797.01 c Solving Nodes : 209
1796.69/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.01 c Dual Bound : +1.10345301871199e+02
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 s UNKNOWN
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.01
1796.69/1797.01 c solving : 1797.01
1796.69/1797.01 c presolving : 4.58 (included in solving)
1796.69/1797.01 c reading : 0.35 (included in solving)
1796.69/1797.01 c copying : 0.06 (1 #copies) (minimal 0.06, maximal 0.06, average 0.06)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3690784-1338017009.opb
1796.69/1797.01 c Variables : 147395 (147395 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 26533 initial, 26533 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3690784-1338017009.opb
1796.69/1797.01 c Variables : 18085 (18085 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 13735 initial, 13750 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.53 0.00 129248 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.13 0.00 38 24 0 4 0 0 0 0 0
1796.69/1797.01 c knapsack : 2.65 0.00 0 0 0 0 0 12780 85900 344072 1490544
1796.69/1797.01 c setppc : 0.17 0.00 0 0 0 0 0 85916 0 0 0
1796.69/1797.01 c linear : 0.51 0.00 0 0 0 0 0 0 0 16864 16864
1796.69/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 2 0 0 0
1796.69/1797.01 c root node : - - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 252 0 4 0 0 106 0 0 408
1796.69/1797.01 c knapsack : 12798 12798 25 9014 0 1 3 34 0 19270 2282 0 0
1796.69/1797.01 c setppc : 401 401 25 9014 0 1 0 13 2 400 0 0 0
1796.69/1797.01 c linear : 536 536 25 9012 0 0 0 10 7 320 0 0 0
1796.69/1797.01 c logicor : 0+ 15 25 123 0 0 0 2 13 21 5 0 0
1796.69/1797.01 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.01 c integral : 529.41 0.00 0.00 0.00 529.40 0.00 0.00 0.00
1796.69/1797.01 c knapsack : 3.51 0.00 0.67 2.84 0.00 0.00 0.00 0.00
1796.69/1797.01 c setppc : 0.09 0.00 0.00 0.09 0.00 0.00 0.00 0.00
1796.69/1797.01 c linear : 1.02 0.00 0.91 0.12 0.00 0.00 0.00 0.00
1796.69/1797.01 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.01 c rootredcost : 0 0 0 0
1796.69/1797.01 c pseudoobj : 9115 0 0 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 276 0 0 0
1796.69/1797.01 c probing : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00
1796.69/1797.01 c pseudoobj : 0.02 0.01 0.00 0.02 0.00
1796.69/1797.01 c vbounds : 0.01 0.00 0.00 0.00 0.00
1796.69/1797.01 c redcost : 0.19 0.00 0.00 0.19 0.00
1796.69/1797.01 c probing : 0.13 0.00 0.13 0.00 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 0.00 22 10 15 2.7 1 8.0 -
1796.69/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 15 3.0 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.19 24 - - 1173 - (maximal pool size: 5047)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.04 0.00 25 0 0 872 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 10.03 0.00 10 0 0 500 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 32.35 0.00 20 0 0 9471 0
1796.69/1797.01 c cmir : 2.18 0.00 10 0 0 234 0
1796.69/1797.01 c flowcover : 2.74 0.00 10 0 0 829 0
1796.69/1797.01 c clique : 0.24 0.00 25 0 0 52 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.01 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 529.40 0.00 252 0 106 0 0 408
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.00 - - 0
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c oneopt : 0.00 0.00 0 0
1796.69/1797.01 c crossover : 0.00 0.00 0 0
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c pscostdiving : 95.34 0.00 5 0
1796.69/1797.01 c veclendiving : 82.65 0.00 5 0
1796.69/1797.01 c fracdiving : 26.25 0.00 8 0
1796.69/1797.01 c coefdiving : 37.86 0.00 9 0
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.09 0.00 2 0
1796.69/1797.01 c shiftandpropagate: 0.63 0.00 1 0
1796.69/1797.01 c simplerounding : 0.00 0.00 0 0
1796.69/1797.01 c zirounding : 0.35 0.00 0 0
1796.69/1797.01 c rounding : 0.25 0.00 179 0
1796.69/1797.01 c shifting : 2.32 0.00 45 0
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.00 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c feaspump : 5.26 0.00 1 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c objpscostdiving : 50.53 0.00 3 0
1796.69/1797.01 c rootsoldiving : 54.61 0.00 4 0
1796.69/1797.01 c linesearchdiving : 64.64 0.00 12 0
1796.69/1797.01 c guideddiving : 0.00 0.00 0 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 0.26 0.00 1 0
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0.00 0 0
1796.69/1797.01 c subnlp : 0.00 0.00 0 0
1796.69/1797.01 c trysol : 0.00 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 0.03 3 0 0.00 0.00 0.03 3
1796.69/1797.01 c dual LP : 789.64 285 1745309 6300.75 2210.26 0.07 8
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 394.90 4418 726731 164.49 1840.27
1796.69/1797.01 c strong branching : 529.12 1748 1000878 572.58 1891.59
1796.69/1797.01 c (at root node) : - 22 18365 834.77 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 209
1796.69/1797.01 c nodes (total) : 209
1796.69/1797.01 c nodes left : 201
1796.69/1797.01 c max depth : 17
1796.69/1797.01 c max depth (total): 17
1796.69/1797.01 c backtracks : 119 (56.9%)
1796.69/1797.01 c delayed cutoffs : 1
1796.69/1797.01 c repropagations : 33 (7 domain reductions, 0 cutoffs)
1796.69/1797.01 c avg switch length: 6.60
1796.69/1797.01 c switching time : 0.34
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 0 (0 improvements)
1796.69/1797.01 c Primal Bound : -
1796.69/1797.01 c Dual Bound : +1.10345301871199e+02
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 c Root Dual Bound : +7.57972158268838e+01
1796.69/1797.01 c Root Iterations : 66836
1797.09/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-3690784-1338017009/watcher-3690784-1338017009 -o /tmp/evaluation-result-3690784-1338017009/solver-3690784-1338017009 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690784-1338017009.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: 1.43 0.44 0.15 3/176 4388
/proc/meminfo: memFree=29496964/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=11836 CPUtime=0 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 1707 0 0 0 0 0 0 0 20 0 1 0 267826822 12120064 1662 33554432000 4194304 10173063 140736466502832 140733196005832 7142293 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 2959 1662 416 1460 0 1490 0
[startup+0.091425 s]
/proc/loadavg: 1.43 0.44 0.15 3/176 4388
/proc/meminfo: memFree=29496964/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=67588 CPUtime=0.08 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 15639 0 0 0 6 2 0 0 20 0 1 0 267826822 69210112 15594 33554432000 4194304 10173063 140736466502832 140736466366360 8886089 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 16897 15594 416 1460 0 15428 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 67588
[startup+0.100236 s]
/proc/loadavg: 1.43 0.44 0.15 3/176 4388
/proc/meminfo: memFree=29496964/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=72964 CPUtime=0.09 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 16982 0 0 0 7 2 0 0 20 0 1 0 267826822 74715136 16937 33554432000 4194304 10173063 140736466502832 140736466366360 7545739 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 18241 16937 416 1460 0 16772 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 72964
[startup+0.452625 s]
/proc/loadavg: 1.43 0.44 0.15 3/176 4388
/proc/meminfo: memFree=29496964/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=232516 CPUtime=0.44 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 56700 0 0 0 36 8 0 0 20 0 1 0 267826822 238096384 56655 33554432000 4194304 10173063 140736466502832 140736466366360 7395964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 58129 56655 466 1460 0 56660 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 232516
[startup+0.700303 s]
/proc/loadavg: 1.43 0.44 0.15 3/176 4388
/proc/meminfo: memFree=29496964/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=278152 CPUtime=0.69 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 68148 0 0 0 59 10 0 0 20 0 1 0 267826822 284827648 68072 33554432000 4194304 10173063 140736466502832 140736466496760 5760629 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 69538 68072 494 1460 0 68069 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 278152
[startup+1.50031 s]
/proc/loadavg: 1.43 0.44 0.15 3/177 4389
/proc/meminfo: memFree=29149648/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=515564 CPUtime=1.48 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 128440 0 0 0 130 18 0 0 20 0 1 0 267826822 527937536 127170 33554432000 4194304 10173063 140736466502832 140736466500520 5654780 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 128891 127170 567 1460 0 127422 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 515564
[startup+3.10026 s]
/proc/loadavg: 1.43 0.44 0.15 3/177 4389
/proc/meminfo: memFree=28949480/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=571368 CPUtime=3.09 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 140075 0 0 0 289 20 0 0 20 0 1 0 267826822 585080832 138680 33554432000 4194304 10173063 140736466502832 140736466499720 5576986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 142842 138680 588 1460 0 141373 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 571368
[startup+6.30031 s]
/proc/loadavg: 1.47 0.47 0.16 3/177 4389
/proc/meminfo: memFree=28927604/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=605848 CPUtime=6.29 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 151832 0 0 0 600 29 0 0 20 0 1 0 267826822 620388352 146781 33554432000 4194304 10173063 140736466502832 140736466498712 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 151462 146781 779 1460 0 149993 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 605848
[startup+12.7002 s]
/proc/loadavg: 1.51 0.49 0.17 3/177 4389
/proc/meminfo: memFree=28908104/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=606960 CPUtime=12.69 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 152729 0 0 0 1237 32 0 0 20 0 1 0 267826822 621527040 147663 33554432000 4194304 10173063 140736466502832 140736466494360 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 151740 147663 801 1460 0 150271 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 606960
[startup+25.5064 s]
/proc/loadavg: 1.62 0.57 0.20 3/177 4389
/proc/meminfo: memFree=28885484/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=632880 CPUtime=25.49 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 157586 0 0 0 2512 37 0 0 20 0 1 0 267826822 648069120 153461 33554432000 4194304 10173063 140736466502832 140736466498216 8846813 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 158220 153461 835 1460 0 156751 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 632880
[startup+51.1003 s]
/proc/loadavg: 1.75 0.68 0.25 3/177 4390
/proc/meminfo: memFree=28838316/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=681596 CPUtime=51.07 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 165510 0 0 0 5062 45 0 0 20 0 1 0 267826822 697954304 165406 33554432000 4194304 10173063 140736466502832 140736466497720 5359424 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 170399 165406 835 1460 0 168930 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 681596
[startup+102.3 s]
/proc/loadavg: 1.89 0.88 0.34 3/177 4390
/proc/meminfo: memFree=28826368/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=692472 CPUtime=102.26 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 182734 0 0 0 10165 61 0 0 20 0 1 0 267826822 709091328 168154 33554432000 4194304 10173063 140736466502832 140736466496008 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 173118 168154 869 1460 0 171649 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 692472
[startup+162.3 s]
/proc/loadavg: 1.96 1.08 0.44 3/177 4390
/proc/meminfo: memFree=28815596/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=693620 CPUtime=162.26 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 183231 0 0 0 16149 77 0 0 20 0 1 0 267826822 710266880 170845 33554432000 4194304 10173063 140736466502832 140736466496472 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 173405 170845 869 1460 0 171936 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 693620
[startup+222.3 s]
/proc/loadavg: 1.98 1.25 0.53 3/177 4428
/proc/meminfo: memFree=28828728/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=697632 CPUtime=222.24 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 184261 0 0 0 22130 94 0 0 20 0 1 0 267826822 714375168 172584 33554432000 4194304 10173063 140736466502832 140736466496280 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 174408 172584 869 1460 0 172939 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 697632
[startup+282.3 s]
/proc/loadavg: 1.99 1.38 0.62 3/177 4428
/proc/meminfo: memFree=28826648/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=697632 CPUtime=282.22 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 184280 0 0 0 28109 113 0 0 20 0 1 0 267826822 714375168 172911 33554432000 4194304 10173063 140736466502832 140736466496008 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 174408 172911 869 1460 0 172939 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 697632
[startup+342.306 s]
/proc/loadavg: 1.99 1.49 0.70 3/177 4428
/proc/meminfo: memFree=28824568/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=700928 CPUtime=342.22 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 184650 0 0 0 34094 128 0 0 20 0 1 0 267826822 717750272 173291 33554432000 4194304 10173063 140736466502832 140736466496136 8012538 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175232 173291 869 1460 0 173763 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 700928
[startup+402.3 s]
/proc/loadavg: 1.99 1.58 0.78 3/178 4432
/proc/meminfo: memFree=28821500/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=702956 CPUtime=402.2 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185162 0 0 0 40078 142 0 0 20 0 1 0 267826822 719826944 173803 33554432000 4194304 10173063 140736466502832 140736466496008 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175739 173803 869 1460 0 174270 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 702956
[startup+462.3 s]
/proc/loadavg: 1.99 1.65 0.86 3/177 4432
/proc/meminfo: memFree=28821404/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=702956 CPUtime=462.19 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185162 0 0 0 46058 161 0 0 20 0 1 0 267826822 719826944 173803 33554432000 4194304 10173063 140736466502832 140736466496472 7984407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175739 173803 869 1460 0 174270 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 702956
[startup+522.3 s]
/proc/loadavg: 1.99 1.71 0.93 3/177 4432
/proc/meminfo: memFree=28820048/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=702956 CPUtime=522.19 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185162 0 0 0 52041 178 0 0 20 0 1 0 267826822 719826944 173803 33554432000 4194304 10173063 140736466502832 140736466495688 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175739 173803 869 1460 0 174270 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 702956
[startup+582.3 s]
/proc/loadavg: 1.99 1.76 0.99 3/177 4432
/proc/meminfo: memFree=28819180/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=702956 CPUtime=582.17 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185162 0 0 0 58020 197 0 0 20 0 1 0 267826822 719826944 173803 33554432000 4194304 10173063 140736466502832 140736466496136 8013292 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175739 173803 869 1460 0 174270 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 702956
[startup+642.3 s]
################
# More data... #
################
/proc/4388/statm: 175908 174424 869 1460 0 174439 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 703632
[startup+1422.3 s]
/proc/loadavg: 2.04 2.02 1.60 3/177 4438
/proc/meminfo: memFree=28808488/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=703632 CPUtime=1422.05 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185759 0 0 0 141776 429 0 0 20 0 1 0 267826822 720519168 174424 33554432000 4194304 10173063 140736466502832 140736466496008 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175908 174424 869 1460 0 174439 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 703632
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 1.63 3/177 4438
/proc/meminfo: memFree=28807996/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=703632 CPUtime=1482.05 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185759 0 0 0 147758 447 0 0 20 0 1 0 267826822 720519168 174424 33554432000 4194304 10173063 140736466502832 140736466496088 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175908 174424 869 1460 0 174439 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 703632
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.65 3/177 4438
/proc/meminfo: memFree=28806764/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=703632 CPUtime=1542.04 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185759 0 0 0 153740 464 0 0 20 0 1 0 267826822 720519168 174424 33554432000 4194304 10173063 140736466502832 140736466495752 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175908 174424 869 1460 0 174439 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 703632
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.66 3/178 4442
/proc/meminfo: memFree=28804316/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=703632 CPUtime=1602.03 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185759 0 0 0 159721 482 0 0 20 0 1 0 267826822 720519168 174424 33554432000 4194304 10173063 140736466502832 140736466496456 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175908 174424 869 1460 0 174439 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 703632
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 4442
/proc/meminfo: memFree=28804844/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=703632 CPUtime=1662.02 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185759 0 0 0 165704 498 0 0 20 0 1 0 267826822 720519168 174424 33554432000 4194304 10173063 140736466502832 140736466496136 8046953 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175908 174424 869 1460 0 174439 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 703632
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/177 4442
/proc/meminfo: memFree=28804108/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=703632 CPUtime=1722.01 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185759 0 0 0 171687 514 0 0 20 0 1 0 267826822 720519168 174424 33554432000 4194304 10173063 140736466502832 140736466496008 7984413 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175908 174424 869 1460 0 174439 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 703632
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/177 4442
/proc/meminfo: memFree=28803868/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=703632 CPUtime=1782 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185759 0 0 0 177667 533 0 0 20 0 1 0 267826822 720519168 174424 33554432000 4194304 10173063 140736466502832 140736466496280 7984407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175908 174424 869 1460 0 174439 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 703632
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1797.09 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1797.09 s) to the 'lost time'.
[startup+1797.4 s]
/proc/loadavg: 2.00 2.00 1.72 3/177 4442
/proc/meminfo: memFree=28803744/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=590476 CPUtime=1797.09 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185763 0 0 0 179172 537 0 0 20 0 1 0 267826822 604647424 146139 33554432000 4194304 10173063 140736466502832 140736466496184 4952340 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 147619 146139 873 1460 0 146150 0
Current children cumulated CPU time (s) 1797.09
Current children cumulated vsize (KiB) 590476
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.72 3/177 4442
/proc/meminfo: memFree=29221784/32873648 swapFree=7112/7112
[pid=4388] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/4388/stat : -- couldn't open stat file --/proc/4388/statm: 10929 10121 860 1460 0 9460 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1785.7 s]
/proc/loadavg: 2.00 2.00 1.72 3/177 4442
/proc/meminfo: memFree=28803744/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=703632 CPUtime=1785.39 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185759 0 0 0 178006 533 0 0 20 0 1 0 267826822 720519168 174424 33554432000 4194304 10173063 140736466502832 140736466496184 8012533 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175908 174424 869 1460 0 174439 0
Current children cumulated CPU time (s) 1785.39
Current children cumulated vsize (KiB) 703632
[startup+1792.11 s]
/proc/loadavg: 2.00 2.00 1.72 3/177 4442
/proc/meminfo: memFree=28803744/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=703632 CPUtime=1791.8 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185759 0 0 0 178645 535 0 0 20 0 1 0 267826822 720519168 174424 33554432000 4194304 10173063 140736466502832 140736466496280 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175908 174424 869 1460 0 174439 0
Current children cumulated CPU time (s) 1791.8
Current children cumulated vsize (KiB) 703632
[startup+1795.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/177 4442
/proc/meminfo: memFree=28803744/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=703632 CPUtime=1795 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185759 0 0 0 178965 535 0 0 20 0 1 0 267826822 720519168 174424 33554432000 4194304 10173063 140736466502832 140736466496664 8012704 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175908 174424 869 1460 0 174439 0
Current children cumulated CPU time (s) 1795
Current children cumulated vsize (KiB) 703632
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.72 3/177 4442
/proc/meminfo: memFree=28803744/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=703632 CPUtime=1796.59 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185759 0 0 0 179123 536 0 0 20 0 1 0 267826822 720519168 174424 33554432000 4194304 10173063 140736466502832 140736466496184 7706056 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 175908 174424 869 1460 0 174439 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 703632
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/177 4442
/proc/meminfo: memFree=28803744/32873648 swapFree=7112/7112
[pid=4388] ppid=4386 vsize=630960 CPUtime=1796.99 cores=0,2,4,6
/proc/4388/stat : 4388 (scip-2.1.1.4fix) R 4386 4388 4305 0 -1 4202496 185763 0 0 0 179162 537 0 0 20 0 1 0 267826822 646103040 156260 33554432000 4194304 10173063 140736466502832 140736466496184 5885744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4388/statm: 157740 156260 873 1460 0 156271 0
Current children cumulated CPU time (s) 1796.99
Current children cumulated vsize (KiB) 630960
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.72 3/177 4442
/proc/meminfo: memFree=29221784/32873648 swapFree=7112/7112
[pid=4388] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/4388/stat : -- couldn't open stat file --/proc/4388/statm: 10929 10121 860 1460 0 9460 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4388 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=807603
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=397179
# CPU time returned by wait4() is 1797.2
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1797.09
# lost CPU user time (s): 1791.72
# lost CPU system time (s): 5.37
Real time (s): 1797.5
CPU time (s): 1797.09
CPU user time (s): 1791.72
CPU system time (s): 5.37
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 748904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.81
system time used= 5.39718
maximum resident set size= 728996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185765
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= 41
involuntary context switches= 1856
runsolver used 5.52916 second user time and 12.5031 second system time
The end