0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3450253-1307115132.opb>
0.00/0.03 c original problem has 2130 variables (2130 bin, 0 int, 0 impl, 0 cont) and 2495 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 5 del vars, 1 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4250 impls, 49 clqs
0.00/0.05 c (round 2) 5 del vars, 2126 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4250 impls, 49 clqs
0.00/0.06 c (round 3) 5 del vars, 2126 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 369 upgd conss, 4250 impls, 49 clqs
0.09/0.13 c (0.1s) probing: 101/2125 (4.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.13 c presolving (4 rounds):
0.09/0.13 c 5 deleted vars, 2126 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.13 c 4250 implications, 309 cliques
0.09/0.13 c presolved problem has 2125 variables (2125 bin, 0 int, 0 impl, 0 cont) and 369 constraints
0.09/0.13 c 320 constraints of type <knapsack>
0.09/0.13 c 49 constraints of type <setppc>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.09
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c # SCIP version 2.0.1.5
0.09/0.13 c
0.09/0.13 c # frequency for displaying node information lines
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.13 c display/freq = 10000
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/time = 1800
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/memory = 13950
0.09/0.13 c
0.09/0.13 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.13 c # [type: int, range: [1,2], default: 1]
0.09/0.13 c timing/clocktype = 2
0.09/0.13 c
0.09/0.13 c # belongs reading time to solving time?
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c timing/reading = TRUE
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify inequalities
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/linear/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/indicator/addCouplingCons = TRUE
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify knapsacks
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c separating/rapidlearning/freq = 0
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving
0.09/0.13 c
0.09/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.16 c 0.2s| 1 | 0 | 350 | - | 10M| 0 | 49 |2125 | 485 |2125 | 369 | 0 | 116 | 0 | 5.000000e+00 | -- | Inf
0.39/0.43 c 0.4s| 1 | 0 | 1038 | - | 11M| 0 | 77 |2125 | 568 |2125 | 396 | 27 | 116 | 0 | 5.000000e+00 | -- | Inf
0.49/0.55 c 0.6s| 1 | 0 | 1326 | - | 11M| 0 | 91 |2125 | 568 |2125 | 421 | 52 | 116 | 0 | 5.000000e+00 | -- | Inf
0.69/0.70 c 0.7s| 1 | 0 | 1738 | - | 12M| 0 | 106 |2125 | 568 |2125 | 442 | 73 | 116 | 0 | 5.000000e+00 | -- | Inf
0.79/0.85 c 0.9s| 1 | 0 | 2072 | - | 12M| 0 | 118 |2125 | 568 |2125 | 464 | 95 | 116 | 0 | 5.000000e+00 | -- | Inf
0.89/1.00 c 1.0s| 1 | 0 | 2325 | - | 12M| 0 | 129 |2125 | 568 |2125 | 481 | 112 | 116 | 0 | 5.000000e+00 | -- | Inf
1.10/1.18 c 1.2s| 1 | 0 | 2664 | - | 13M| 0 | 128 |2125 | 568 |2125 | 496 | 127 | 116 | 0 | 5.000000e+00 | -- | Inf
1.79/1.89 c 1.9s| 1 | 2 | 2664 | - | 13M| 0 | 128 |2125 | 568 |2125 | 496 | 127 | 116 | 17 | 5.000000e+00 | -- | Inf
66.77/66.82 c 66.8s| 10000 | 226 |354163 | 35.2 | 16M| 89 | - |2125 |3334 |2125 | 444 | 127 | 10k|5119 | 5.000000e+00 | -- | Inf
145.48/145.55 c 146s| 20000 | 387 |920164 | 45.9 | 17M| 110 | - |2125 |4437 |2125 | 444 | 127 | 15k| 10k| 5.000000e+00 | -- | Inf
211.37/211.49 c 211s| 30000 | 533 | 1412k| 47.0 | 18M| 110 | - |2125 |4320 | 0 | 0 | 127 | 23k| 13k| 5.000000e+00 | -- | Inf
276.18/276.26 c 276s| 40000 | 684 | 1900k| 47.4 | 19M| 110 | 60 |2125 |4741 |2125 | 444 | 127 | 32k| 15k| 5.000000e+00 | -- | Inf
342.48/342.52 c 343s| 50000 | 809 | 2424k| 48.4 | 21M| 110 | 52 |2125 |6250 |2125 | 444 | 127 | 40k| 18k| 5.000000e+00 | -- | Inf
410.98/411.05 c 411s| 60000 | 930 | 2920k| 48.6 | 22M| 110 | - |2125 |6740 | 0 | 0 | 127 | 48k| 21k| 5.000000e+00 | -- | Inf
473.88/473.90 c 474s| 70000 | 1185 | 3383k| 48.3 | 25M| 110 | - |2125 |6783 |2125 | 444 | 127 | 58k| 24k| 5.000000e+00 | -- | Inf
540.58/540.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.58/540.66 c 541s| 80000 | 1305 | 3859k| 48.2 | 25M| 110 | - |2125 |6328 |2125 | 444 | 127 | 66k| 27k| 5.000000e+00 | -- | Inf
594.27/594.33 c 594s| 90000 | 1398 | 4296k| 47.7 | 27M| 110 | - |2125 |7630 | 0 | 0 | 127 | 74k| 28k| 5.000000e+00 | -- | Inf
647.47/647.55 c 648s|100000 | 1545 | 4741k| 47.4 | 27M| 110 | - |2125 |7054 |2125 | 444 | 127 | 82k| 29k| 5.000000e+00 | -- | Inf
702.97/703.06 c 703s|110000 | 1650 | 5136k| 46.7 | 28M| 110 | 50 |2125 |8136 |2125 | 444 | 127 | 92k| 31k| 5.000000e+00 | -- | Inf
752.39/752.49 c 752s|120000 | 1737 | 5540k| 46.1 | 29M| 110 | 49 |2125 |8347 |2125 | 444 | 127 | 102k| 32k| 5.000000e+00 | -- | Inf
815.57/815.66 c 816s|130000 | 1747 | 6034k| 46.4 | 29M| 110 | - |2125 |8665 |2125 | 444 | 127 | 109k| 34k| 5.000000e+00 | -- | Inf
873.78/873.80 c 874s|140000 | 1879 | 6523k| 46.6 | 30M| 110 | - |2125 |8451 |2125 | 444 | 127 | 117k| 36k| 5.000000e+00 | -- | Inf
934.78/934.89 c 935s|150000 | 1960 | 7025k| 46.8 | 31M| 110 | 51 |2125 |8742 |2125 | 444 | 127 | 125k| 38k| 5.000000e+00 | -- | Inf
998.38/998.45 c 998s|160000 | 2112 | 7551k| 47.2 | 32M| 110 | - |2125 |9371 |2125 | 444 | 127 | 133k| 40k| 5.000000e+00 | -- | Inf
1053.70/1053.72 c 1054s|170000 | 2182 | 8022k| 47.2 | 32M| 110 | - |2125 |9170 |2125 | 444 | 127 | 142k| 41k| 5.000000e+00 | -- | Inf
1110.79/1110.83 c 1111s|180000 | 2314 | 8453k| 46.9 | 33M| 110 | 31 |2125 |7757 |2125 | 444 | 127 | 151k| 43k| 5.000000e+00 | -- | Inf
1153.08/1153.15 c 1153s|190000 | 2625 | 8757k| 46.1 | 36M| 225 | - |2125 |8970 | 0 | 0 | 127 | 170k| 45k| 5.000000e+00 | -- | Inf
1202.79/1202.81 c 1203s|200000 | 2874 | 9158k| 45.8 | 37M| 225 | 46 |2125 |7858 |2125 | 444 | 127 | 189k| 46k| 5.000000e+00 | -- | Inf
1264.48/1264.54 c 1265s|210000 | 2917 | 9732k| 46.3 | 38M| 225 | - |2125 |8277 |2125 | 444 | 127 | 201k| 47k| 5.000000e+00 | -- | Inf
1332.88/1332.97 c 1333s|220000 | 2799 | 10284k| 46.7 | 38M| 225 | - |2125 |8031 |2125 | 444 | 127 | 216k| 49k| 5.000000e+00 | -- | Inf
1388.98/1389.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1388.98/1389.04 c 1389s|230000 | 2796 | 10726k| 46.6 | 37M| 225 | 39 |2125 |7902 |2125 | 444 | 127 | 233k| 51k| 5.000000e+00 | -- | Inf
1450.28/1450.35 c 1450s|240000 | 2684 | 11310k| 47.1 | 37M| 225 | - |2125 |8038 |2125 | 444 | 127 | 246k| 52k| 5.000000e+00 | -- | Inf
1514.99/1515.07 c 1515s|250000 | 3056 | 11845k| 47.4 | 39M| 225 | - |2125 |9514 | 0 | 0 | 127 | 261k| 54k| 5.000000e+00 | -- | Inf
1578.40/1578.48 c 1578s|260000 | 3609 | 12330k| 47.4 | 43M| 225 | - |2125 |9033 | 0 | 0 | 127 | 281k| 56k| 5.000000e+00 | -- | Inf
1632.98/1633.06 c 1633s|270000 | 3783 | 12749k| 47.2 | 45M| 225 | - |2125 |8690 |2125 | 444 | 127 | 298k| 57k| 5.000000e+00 | -- | Inf
1673.79/1673.80 c 1674s|280000 | 3940 | 13072k| 46.7 | 47M| 225 | 50 |2125 | 10k|2125 | 444 | 127 | 314k| 58k| 5.000000e+00 | -- | Inf
1719.38/1719.44 c 1719s|290000 | 3977 | 13461k| 46.4 | 48M| 225 | - |2125 |9642 |2125 | 444 | 127 | 329k| 58k| 5.000000e+00 | -- | Inf
1773.29/1773.30 c 1773s|300000 | 3626 | 13885k| 46.3 | 46M| 225 | - |2125 |9287 |2125 | 444 | 127 | 342k| 59k| 5.000000e+00 | -- | Inf
1799.99/1800.00 c
1799.99/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.99/1800.00 c Solving Time (sec) : 1800.00
1799.99/1800.00 c Solving Nodes : 304577
1799.99/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.99/1800.00 c Dual Bound : +5.00000000000000e+00
1799.99/1800.00 c Gap : infinite
1799.99/1800.00 s UNKNOWN
1799.99/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.99/1800.00 c Total Time : 1800.00
1799.99/1800.00 c solving : 1800.00
1799.99/1800.00 c presolving : 0.09 (included in solving)
1799.99/1800.00 c reading : 0.03 (included in solving)
1799.99/1800.00 c Original Problem :
1799.99/1800.00 c Problem name : HOME/instance-3450253-1307115132.opb
1799.99/1800.00 c Variables : 2130 (2130 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.99/1800.00 c Constraints : 2495 initial, 2495 maximal
1799.99/1800.00 c Presolved Problem :
1799.99/1800.00 c Problem name : t_HOME/instance-3450253-1307115132.opb
1799.99/1800.00 c Variables : 2125 (2125 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.99/1800.00 c Constraints : 369 initial, 10259 maximal
1799.99/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.99/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c knapsack : 0.05 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c linear : 0.02 5 0 0 5 0 2126 0 0 0
1799.99/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c root node : - 0 - - 0 - - - - -
1799.99/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.99/1800.00 c integral : 0 0 0 180247 0 4 0 314 39443 0 0 320048
1799.99/1800.00 c knapsack : 320 6 1425405 0 0 3 12022825 10838 10418499 1175 0 0
1799.99/1800.00 c setppc : 49 6 1414567 0 0 2 7457553 3600 3002739 0 0 0
1799.99/1800.00 c linear : 0+ 6 13 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c logicor : 0+ 6 463343 0 0 0 3116098 28315 398660 0 0 0
1799.99/1800.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.99/1800.00 c integral : 265.01 0.00 0.00 265.01 0.00 0.00 0.00
1799.99/1800.00 c knapsack : 29.90 0.02 24.12 0.00 0.00 0.00 5.77
1799.99/1800.00 c setppc : 5.58 0.00 3.79 0.00 0.00 0.00 1.79
1799.99/1800.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.99/1800.00 c logicor : 19.15 0.00 15.50 0.00 0.00 0.00 3.65
1799.99/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.99/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.99/1800.00 c vbounds : 0 0 0 0
1799.99/1800.00 c rootredcost : 0 0 0 0
1799.99/1800.00 c pseudoobj : 0 0 0 0
1799.99/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1799.99/1800.00 c vbounds : 0.18 0.18 0.00
1799.99/1800.00 c rootredcost : 0.20 0.20 0.00
1799.99/1800.00 c pseudoobj : 0.13 0.13 0.00
1799.99/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.99/1800.00 c propagation : 4.28 42753 42667 418950 62.8 1803 78.8 -
1799.99/1800.00 c infeasible LP : 84.83 106608 77321 1733252 155.5 1006 73.0 0
1799.99/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.99/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.99/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.99/1800.00 c applied globally : - - - 348232 67.3 - - -
1799.99/1800.00 c applied locally : - - - 17 249.2 - - -
1799.99/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.99/1800.00 c cut pool : 0.00 5 - - 787 - (maximal pool size: 1248)
1799.99/1800.00 c redcost : 5.28 179842 0 0 0 0
1799.99/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1799.99/1800.00 c intobj : 0.00 0 0 0 0 0
1799.99/1800.00 c gomory : 0.02 6 0 0 26 0
1799.99/1800.00 c cgmip : 0.00 0 0 0 0 0
1799.99/1800.00 c closecuts : 0.00 0 0 0 0 0
1799.99/1800.00 c strongcg : 0.02 6 0 0 10 0
1799.99/1800.00 c cmir : 0.30 6 0 0 1391 0
1799.99/1800.00 c flowcover : 0.30 6 0 0 1202 0
1799.99/1800.00 c clique : 0.00 6 0 0 6 0
1799.99/1800.00 c zerohalf : 0.00 0 0 0 0 0
1799.99/1800.00 c mcf : 0.00 1 0 0 0 0
1799.99/1800.00 c oddcycle : 0.00 0 0 0 0 0
1799.99/1800.00 c rapidlearning : 0.12 1 0 0 0 83
1799.99/1800.00 c Pricers : Time Calls Vars
1799.99/1800.00 c problem variables: 0.00 0 0
1799.99/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.99/1800.00 c relpscost : 264.88 180247 314 39443 0 0 320048
1799.99/1800.00 c pscost : 0.00 0 0 0 0 0 0
1799.99/1800.00 c inference : 0.00 0 0 0 0 0 0
1799.99/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1799.99/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1799.99/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1799.99/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1799.99/1800.00 c random : 0.00 0 0 0 0 0 0
1799.99/1800.00 c Primal Heuristics : Time Calls Found
1799.99/1800.00 c LP solutions : 0.00 - 0
1799.99/1800.00 c pseudo solutions : 0.00 - 0
1799.99/1800.00 c oneopt : 0.09 0 0
1799.99/1800.00 c crossover : 0.07 0 0
1799.99/1800.00 c guideddiving : 0.01 0 0
1799.99/1800.00 c intshifting : 0.00 0 0
1799.99/1800.00 c fracdiving : 4.67 33 0
1799.99/1800.00 c coefdiving : 5.14 33 0
1799.99/1800.00 c veclendiving : 1.16 33 0
1799.99/1800.00 c linesearchdiving : 1.73 33 0
1799.99/1800.00 c objpscostdiving : 0.21 17 0
1799.99/1800.00 c rootsoldiving : 0.77 17 0
1799.99/1800.00 c pscostdiving : 2.50 34 0
1799.99/1800.00 c feaspump : 1.36 17 0
1799.99/1800.00 c trivial : 0.00 2 0
1799.99/1800.00 c shiftandpropagate: 0.02 1 0
1799.99/1800.00 c simplerounding : 0.03 0 0
1799.99/1800.00 c zirounding : 3.30 0 0
1799.99/1800.00 c rounding : 0.34 5984 0
1799.99/1800.00 c shifting : 2.10 1815 0
1799.99/1800.00 c twoopt : 0.00 0 0
1799.99/1800.00 c fixandinfer : 0.00 0 0
1799.99/1800.00 c clique : 0.00 0 0
1799.99/1800.00 c intdiving : 0.00 0 0
1799.99/1800.00 c actconsdiving : 0.00 0 0
1799.99/1800.00 c octane : 0.00 0 0
1799.99/1800.00 c rens : 0.04 1 0
1799.99/1800.00 c rins : 0.00 0 0
1799.99/1800.00 c localbranching : 0.00 0 0
1799.99/1800.00 c mutation : 0.00 0 0
1799.99/1800.00 c dins : 0.00 0 0
1799.99/1800.00 c vbounds : 0.00 0 0
1799.99/1800.00 c undercover : 0.00 0 0
1799.99/1800.00 c subnlp : 0.05 0 0
1799.99/1800.00 c trysol : 0.06 0 0
1799.99/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1799.99/1800.00 c primal LP : 0.00 0 0 0.00 -
1799.99/1800.00 c dual LP : 1295.69 285708 13950405 48.83 10766.74
1799.99/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1799.99/1800.00 c barrier LP : 0.00 0 0 0.00 -
1799.99/1800.00 c diving/probing LP: 14.50 12195 138683 11.37 9564.05
1799.99/1800.00 c strong branching : 260.33 60830 2441546 40.14 9378.63
1799.99/1800.00 c (at root node) : - 17 5822 342.47 -
1799.99/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1799.99/1800.00 c B&B Tree :
1799.99/1800.00 c number of runs : 1
1799.99/1800.00 c nodes : 304577
1799.99/1800.00 c nodes (total) : 304577
1799.99/1800.00 c nodes left : 3474
1799.99/1800.00 c max depth : 225
1799.99/1800.00 c max depth (total): 225
1799.99/1800.00 c backtracks : 45184 (14.8%)
1799.99/1800.00 c delayed cutoffs : 11998
1799.99/1800.00 c repropagations : 747301 (2086037 domain reductions, 4461 cutoffs)
1799.99/1800.00 c avg switch length: 7.04
1799.99/1800.00 c switching time : 32.87
1799.99/1800.00 c Solution :
1799.99/1800.00 c Solutions found : 0 (0 improvements)
1799.99/1800.00 c Primal Bound : -
1799.99/1800.00 c Dual Bound : +5.00000000000000e+00
1799.99/1800.00 c Gap : infinite
1799.99/1800.00 c Root Dual Bound : +5.00000000000000e+00
1799.99/1800.00 c Root Iterations : 2664
1799.99/1800.05 c Time complete: 1800.04.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450253-1307115132/watcher-3450253-1307115132 -o /tmp/evaluation-result-3450253-1307115132/solver-3450253-1307115132 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450253-1307115132.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.01 2.02 2.00 2/386 29215
/proc/meminfo: memFree=23611048/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=14756 CPUtime=0.01 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 2662 0 0 0 1 0 0 0 25 0 1 0 823115987 15110144 2615 33554432000 4194304 9163163 140735459247264 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29215/statm: 3689 2615 395 1214 0 2471 0
[startup+0.0749031 s]
/proc/loadavg: 2.01 2.02 2.00 2/386 29215
/proc/meminfo: memFree=23611048/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=29404 CPUtime=0.06 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 6405 0 0 0 6 0 0 0 25 0 1 0 823115987 30109696 6100 33554432000 4194304 9163163 140735459247264 18446744073709551615 5100909 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 7351 6100 533 1214 0 6133 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29404
[startup+0.100892 s]
/proc/loadavg: 2.01 2.02 2.00 2/386 29215
/proc/meminfo: memFree=23611048/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=29404 CPUtime=0.09 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 6425 0 0 0 9 0 0 0 25 0 1 0 823115987 30109696 6120 33554432000 4194304 9163163 140735459247264 18446744073709551615 5069299 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 7351 6120 533 1214 0 6133 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29404
[startup+0.300863 s]
/proc/loadavg: 2.01 2.02 2.00 2/386 29215
/proc/meminfo: memFree=23611048/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=38712 CPUtime=0.29 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 9134 0 0 0 28 1 0 0 25 0 1 0 823115987 39641088 8630 33554432000 4194304 9163163 140735459247264 18446744073709551615 4339104 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 9678 8653 701 1214 0 8460 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38712
[startup+0.700799 s]
/proc/loadavg: 2.01 2.02 2.00 2/386 29215
/proc/meminfo: memFree=23611048/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=59884 CPUtime=0.69 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 14976 0 0 0 67 2 0 0 25 0 1 0 823115987 61321216 13752 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 14971 13752 721 1214 0 13753 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59884
[startup+1.50064 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 29216
/proc/meminfo: memFree=23557720/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=60012 CPUtime=1.49 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 16325 0 0 0 145 4 0 0 25 0 1 0 823115987 61452288 14089 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 15003 14089 730 1214 0 13785 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60012
[startup+3.10036 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 29216
/proc/meminfo: memFree=23555448/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=60012 CPUtime=3.09 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 16325 0 0 0 299 10 0 0 25 0 1 0 823115987 61452288 14089 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 15003 14089 730 1214 0 13785 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60012
[startup+6.3008 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 29216
/proc/meminfo: memFree=23554580/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=60012 CPUtime=6.29 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 16325 0 0 0 607 22 0 0 25 0 1 0 823115987 61452288 14089 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 15003 14089 730 1214 0 13785 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60012
[startup+12.7007 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 29216
/proc/meminfo: memFree=23554192/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=60012 CPUtime=12.69 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 16326 0 0 0 1223 46 0 0 25 0 1 0 823115987 61452288 14090 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 15003 14090 731 1214 0 13785 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60012
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 29216
/proc/meminfo: memFree=23554936/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=60012 CPUtime=25.49 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 16328 0 0 0 2451 98 0 0 25 0 1 0 823115987 61452288 14092 33554432000 4194304 9163163 140735459247264 18446744073709551615 7379296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 15003 14092 733 1214 0 13785 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60012
[startup+51.1008 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 29217
/proc/meminfo: memFree=23555108/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=60012 CPUtime=51.07 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 16329 0 0 0 4910 197 0 0 25 0 1 0 823115987 61452288 14093 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 15003 14093 733 1214 0 13785 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60012
[startup+102.315 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 29218
/proc/meminfo: memFree=23555056/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=60012 CPUtime=102.28 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 16362 0 0 0 9822 406 0 0 25 0 1 0 823115987 61452288 14126 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 15003 14126 733 1214 0 13785 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 60012
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 29220
/proc/meminfo: memFree=23554148/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=60012 CPUtime=162.28 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 16362 0 0 0 15568 660 0 0 25 0 1 0 823115987 61452288 14126 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 15003 14126 733 1214 0 13785 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 60012
[startup+222.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/387 29222
/proc/meminfo: memFree=23554964/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=60984 CPUtime=222.28 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 16470 0 0 0 21324 904 0 0 25 0 1 0 823115987 62447616 14234 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 15246 14234 733 1214 0 14028 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 60984
[startup+282.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/387 29223
/proc/meminfo: memFree=23552064/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=63176 CPUtime=282.28 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 17137 0 0 0 27076 1152 0 0 25 0 1 0 823115987 64692224 14901 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 15794 14901 733 1214 0 14576 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 63176
[startup+342.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/387 29225
/proc/meminfo: memFree=23549168/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=65396 CPUtime=342.28 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 17698 0 0 0 32834 1394 0 0 25 0 1 0 823115987 66965504 15462 33554432000 4194304 9163163 140735459247264 18446744073709551615 6500920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 16349 15462 733 1214 0 15131 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 65396
[startup+402.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/387 29416
/proc/meminfo: memFree=23645160/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=67484 CPUtime=402.28 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 18079 0 0 0 38649 1579 0 0 25 0 1 0 823115987 69103616 15841 33554432000 4194304 9163163 140735459247264 18446744073709551615 8045115 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 16871 15841 731 1214 0 15653 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 67484
[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 29743
/proc/meminfo: memFree=23682996/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=71596 CPUtime=462.27 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 19233 0 0 0 44485 1742 0 0 25 0 1 0 823115987 73314304 16995 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 17899 16995 731 1214 0 16681 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 71596
[startup+522.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/387 30042
/proc/meminfo: memFree=23612212/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=73816 CPUtime=522.28 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 19816 0 0 0 50304 1924 0 0 25 0 1 0 823115987 75587584 17578 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 18454 17578 731 1214 0 17236 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 73816
[startup+582.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/387 30043
/proc/meminfo: memFree=23609024/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=76916 CPUtime=582.27 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 20580 0 0 0 56133 2094 0 0 25 0 1 0 823115987 78761984 18342 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 19229 18342 731 1214 0 18011 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 76916
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=23591276/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=91216 CPUtime=1122.29 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 24165 0 0 0 108557 3672 0 0 25 0 1 0 823115987 93405184 21927 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 22804 21927 731 1214 0 21586 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 91216
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 30059
/proc/meminfo: memFree=23585648/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=96296 CPUtime=1182.29 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 25298 0 0 0 114387 3842 0 0 25 0 1 0 823115987 98607104 23060 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 24074 23060 731 1214 0 22856 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 96296
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 30061
/proc/meminfo: memFree=23582152/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=97428 CPUtime=1242.28 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 25686 0 0 0 120203 4025 0 0 25 0 1 0 823115987 99766272 23448 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 24357 23448 731 1214 0 23139 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 97428
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 30116
/proc/meminfo: memFree=23269604/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=98552 CPUtime=1302.29 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 25993 0 0 0 125964 4265 0 0 25 0 1 0 823115987 100917248 23755 33554432000 4194304 9163163 140735459247264 18446744073709551615 6625624 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 24638 23755 731 1214 0 23420 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 98552
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/387 30118
/proc/meminfo: memFree=23267104/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=99320 CPUtime=1362.28 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 26179 0 0 0 131700 4528 0 0 25 0 1 0 823115987 101703680 23941 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 24830 23941 731 1214 0 23612 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 99320
[startup+1422.31 s]
/proc/loadavg: 2.05 2.02 2.00 3/387 30120
/proc/meminfo: memFree=23254524/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=99976 CPUtime=1422.3 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 26359 0 0 0 137435 4795 0 0 25 0 1 0 823115987 102375424 24121 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 24994 24121 731 1214 0 23776 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 99976
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 30121
/proc/meminfo: memFree=23248048/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=101256 CPUtime=1482.28 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 26642 0 0 0 143182 5046 0 0 25 0 1 0 823115987 103686144 24404 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 25314 24404 731 1214 0 24096 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 101256
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 30123
/proc/meminfo: memFree=23246776/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=102512 CPUtime=1542.28 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 26960 0 0 0 148938 5290 0 0 25 0 1 0 823115987 104972288 24722 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 25628 24722 731 1214 0 24410 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 102512
[startup+1602.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/387 30124
/proc/meminfo: memFree=23242888/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=106244 CPUtime=1602.29 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 27905 0 0 0 154697 5532 0 0 25 0 1 0 823115987 108793856 25667 33554432000 4194304 9163163 140735459247264 18446744073709551615 6499675 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 26561 25667 731 1214 0 25343 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 106244
[startup+1662.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/387 30126
/proc/meminfo: memFree=23235776/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=109960 CPUtime=1662.29 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 28834 0 0 0 160464 5765 0 0 25 0 1 0 823115987 112599040 26596 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 27490 26596 731 1214 0 26272 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 109960
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/387 30128
/proc/meminfo: memFree=23231408/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=114716 CPUtime=1722.29 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 30504 0 0 0 166208 6021 0 0 25 0 1 0 823115987 117469184 27773 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 28679 27773 731 1214 0 27461 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 114716
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30138
/proc/meminfo: memFree=23224872/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=115472 CPUtime=1782.29 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 31360 0 0 0 171956 6273 0 0 25 0 1 0 823115987 118243328 27973 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 28868 27973 731 1214 0 27650 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 115472
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30139
/proc/meminfo: memFree=23225732/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=115472 CPUtime=1791.91 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 31360 0 0 0 172880 6311 0 0 25 0 1 0 823115987 118243328 27973 33554432000 4194304 9163163 140735459247264 18446744073709551615 7376033 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 28868 27973 731 1214 0 27650 0
Current children cumulated CPU time (s) 1791.91
Current children cumulated vsize (KiB) 115472
[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30139
/proc/meminfo: memFree=23225732/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=115472 CPUtime=1795.1 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 31360 0 0 0 173185 6325 0 0 25 0 1 0 823115987 118243328 27973 33554432000 4194304 9163163 140735459247264 18446744073709551615 6499634 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 28868 27973 731 1214 0 27650 0
Current children cumulated CPU time (s) 1795.1
Current children cumulated vsize (KiB) 115472
[startup+1798.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30139
/proc/meminfo: memFree=23225608/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=115472 CPUtime=1798.3 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 31360 0 0 0 173494 6336 0 0 25 0 1 0 823115987 118243328 27973 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 28868 27973 731 1214 0 27650 0
Current children cumulated CPU time (s) 1798.3
Current children cumulated vsize (KiB) 115472
[startup+1799.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30139
/proc/meminfo: memFree=23225608/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=115472 CPUtime=1799.1 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 31360 0 0 0 173572 6338 0 0 25 0 1 0 823115987 118243328 27973 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 28868 27973 731 1214 0 27650 0
Current children cumulated CPU time (s) 1799.1
Current children cumulated vsize (KiB) 115472
[startup+1799.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30139
/proc/meminfo: memFree=23225732/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=115472 CPUtime=1799.5 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 31360 0 0 0 173611 6339 0 0 25 0 1 0 823115987 118243328 27973 33554432000 4194304 9163163 140735459247264 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 28868 27973 731 1214 0 27650 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 115472
[startup+1799.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30139
/proc/meminfo: memFree=23225732/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=115472 CPUtime=1799.89 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 31360 0 0 0 173648 6341 0 0 25 0 1 0 823115987 118243328 27973 33554432000 4194304 9163163 140735459247264 18446744073709551615 4840662 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 28868 27973 731 1214 0 27650 0
Current children cumulated CPU time (s) 1799.89
Current children cumulated vsize (KiB) 115472
[startup+1800 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30139
/proc/meminfo: memFree=23225732/32951124 swapFree=49244120/67111528
[pid=29215] ppid=29213 vsize=115472 CPUtime=1799.99 cores=1,3,5,7
/proc/29215/stat : 29215 (scip-2.0.1.4b.l) R 29213 29215 27315 0 -1 4202496 31360 0 0 0 173658 6341 0 0 25 0 1 0 823115987 118243328 27973 33554432000 4194304 9163163 140735459247264 18446744073709551615 6501027 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/29215/statm: 28868 27973 731 1214 0 27650 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 115472
Child status: 0
Real time (s): 1800.05
CPU time (s): 1800.05
CPU user time (s): 1736.63
CPU system time (s): 63.4254
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 115472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1736.63
system time used= 63.4254
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31364
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= 5
involuntary context switches= 23073
runsolver used 6.49101 second user time and 15.5396 second system time
The end