0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3451913-1307116093.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.04/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.04/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.04/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.10
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c # SCIP version 2.0.1.4
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 | - | 11M| 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.12/1.17 c 1.2s| 1 | 0 | 2664 | - | 12M| 0 | 128 |2125 | 568 |2125 | 496 | 127 | 116 | 0 | 5.000000e+00 | -- | Inf
1.79/1.88 c 1.9s| 1 | 2 | 2664 | - | 12M| 0 | 128 |2125 | 568 |2125 | 496 | 127 | 116 | 17 | 5.000000e+00 | -- | Inf
66.90/67.00 c 67.0s| 10000 | 226 |354163 | 35.2 | 15M| 89 | - |2125 |3334 |2125 | 444 | 127 | 10k|5119 | 5.000000e+00 | -- | Inf
145.90/145.97 c 146s| 20000 | 387 |920164 | 45.9 | 17M| 110 | - |2125 |4437 |2125 | 444 | 127 | 15k| 10k| 5.000000e+00 | -- | Inf
212.00/212.10 c 212s| 30000 | 533 | 1412k| 47.0 | 18M| 110 | - |2125 |4320 | 0 | 0 | 127 | 23k| 13k| 5.000000e+00 | -- | Inf
277.12/277.14 c 277s| 40000 | 684 | 1900k| 47.4 | 19M| 110 | 60 |2125 |4741 |2125 | 444 | 127 | 32k| 15k| 5.000000e+00 | -- | Inf
343.60/343.61 c 344s| 50000 | 809 | 2424k| 48.4 | 21M| 110 | 52 |2125 |6250 |2125 | 444 | 127 | 40k| 18k| 5.000000e+00 | -- | Inf
412.31/412.34 c 412s| 60000 | 930 | 2920k| 48.6 | 22M| 110 | - |2125 |6740 | 0 | 0 | 127 | 48k| 21k| 5.000000e+00 | -- | Inf
475.41/475.44 c 475s| 70000 | 1185 | 3383k| 48.3 | 24M| 110 | - |2125 |6783 |2125 | 444 | 127 | 58k| 24k| 5.000000e+00 | -- | Inf
542.41/542.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.41/542.45 c 542s| 80000 | 1305 | 3859k| 48.2 | 25M| 110 | - |2125 |6328 |2125 | 444 | 127 | 66k| 27k| 5.000000e+00 | -- | Inf
596.23/596.28 c 596s| 90000 | 1398 | 4296k| 47.7 | 27M| 110 | - |2125 |7630 | 0 | 0 | 127 | 74k| 28k| 5.000000e+00 | -- | Inf
649.70/649.72 c 650s|100000 | 1545 | 4741k| 47.4 | 27M| 110 | - |2125 |7054 |2125 | 444 | 127 | 82k| 29k| 5.000000e+00 | -- | Inf
705.41/705.44 c 705s|110000 | 1650 | 5136k| 46.7 | 28M| 110 | 50 |2125 |8136 |2125 | 444 | 127 | 92k| 31k| 5.000000e+00 | -- | Inf
755.01/755.08 c 755s|120000 | 1737 | 5540k| 46.1 | 29M| 110 | 49 |2125 |8347 |2125 | 444 | 127 | 102k| 32k| 5.000000e+00 | -- | Inf
818.43/818.42 c 818s|130000 | 1747 | 6034k| 46.4 | 29M| 110 | - |2125 |8665 |2125 | 444 | 127 | 109k| 34k| 5.000000e+00 | -- | Inf
876.74/876.76 c 877s|140000 | 1879 | 6523k| 46.6 | 30M| 110 | - |2125 |8451 |2125 | 444 | 127 | 117k| 36k| 5.000000e+00 | -- | Inf
938.02/938.06 c 938s|150000 | 1960 | 7025k| 46.8 | 31M| 110 | 51 |2125 |8742 |2125 | 444 | 127 | 125k| 38k| 5.000000e+00 | -- | Inf
1001.91/1001.92 c 1002s|160000 | 2112 | 7551k| 47.2 | 32M| 110 | - |2125 |9371 |2125 | 444 | 127 | 133k| 40k| 5.000000e+00 | -- | Inf
1057.42/1057.44 c 1057s|170000 | 2182 | 8022k| 47.2 | 32M| 110 | - |2125 |9170 |2125 | 444 | 127 | 142k| 41k| 5.000000e+00 | -- | Inf
1114.82/1114.81 c 1115s|180000 | 2314 | 8453k| 46.9 | 32M| 110 | 31 |2125 |7757 |2125 | 444 | 127 | 151k| 43k| 5.000000e+00 | -- | Inf
1157.32/1157.32 c 1157s|190000 | 2625 | 8757k| 46.1 | 36M| 225 | - |2125 |8970 | 0 | 0 | 127 | 170k| 45k| 5.000000e+00 | -- | Inf
1207.12/1207.10 c 1207s|200000 | 2874 | 9158k| 45.8 | 37M| 225 | 46 |2125 |7858 |2125 | 444 | 127 | 189k| 46k| 5.000000e+00 | -- | Inf
1268.92/1268.95 c 1269s|210000 | 2917 | 9732k| 46.3 | 38M| 225 | - |2125 |8277 |2125 | 444 | 127 | 201k| 47k| 5.000000e+00 | -- | Inf
1337.54/1337.55 c 1338s|220000 | 2799 | 10284k| 46.7 | 38M| 225 | - |2125 |8031 |2125 | 444 | 127 | 216k| 49k| 5.000000e+00 | -- | Inf
1393.83/1393.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1393.83/1393.81 c 1394s|230000 | 2796 | 10726k| 46.6 | 37M| 225 | 39 |2125 |7902 |2125 | 444 | 127 | 233k| 51k| 5.000000e+00 | -- | Inf
1455.13/1455.21 c 1455s|240000 | 2684 | 11310k| 47.1 | 37M| 225 | - |2125 |8038 |2125 | 444 | 127 | 246k| 52k| 5.000000e+00 | -- | Inf
1520.03/1520.05 c 1520s|250000 | 3056 | 11845k| 47.4 | 39M| 225 | - |2125 |9514 | 0 | 0 | 127 | 261k| 54k| 5.000000e+00 | -- | Inf
1583.63/1583.62 c 1584s|260000 | 3609 | 12330k| 47.4 | 43M| 225 | - |2125 |9033 | 0 | 0 | 127 | 281k| 56k| 5.000000e+00 | -- | Inf
1638.33/1638.30 c 1638s|270000 | 3783 | 12749k| 47.2 | 45M| 225 | - |2125 |8690 |2125 | 444 | 127 | 298k| 57k| 5.000000e+00 | -- | Inf
1679.13/1679.16 c 1679s|280000 | 3940 | 13072k| 46.7 | 47M| 225 | 50 |2125 | 10k|2125 | 444 | 127 | 314k| 58k| 5.000000e+00 | -- | Inf
1724.93/1724.90 c 1725s|290000 | 3977 | 13461k| 46.4 | 48M| 225 | - |2125 |9642 |2125 | 444 | 127 | 329k| 58k| 5.000000e+00 | -- | Inf
1778.84/1778.87 c 1779s|300000 | 3626 | 13885k| 46.3 | 46M| 225 | - |2125 |9287 |2125 | 444 | 127 | 342k| 59k| 5.000000e+00 | -- | Inf
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 303730
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +5.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Total Time : 1800.00
1800.03/1800.00 c solving : 1800.00
1800.03/1800.00 c presolving : 0.10 (included in solving)
1800.03/1800.00 c reading : 0.03 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3451913-1307116093.opb
1800.03/1800.00 c Variables : 2130 (2130 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 2495 initial, 2495 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3451913-1307116093.opb
1800.03/1800.00 c Variables : 2125 (2125 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 369 initial, 10259 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c knapsack : 0.05 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.02 5 0 0 5 0 2126 0 0 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 179754 0 4 0 314 39306 0 0 319170
1800.03/1800.00 c knapsack : 320 6 1422131 0 0 3 11991191 10838 10402645 1175 0 0
1800.03/1800.00 c setppc : 49 6 1411293 0 0 2 7426652 3600 2995692 0 0 0
1800.03/1800.00 c linear : 0+ 6 13 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c logicor : 0+ 6 461980 0 0 0 3099974 28204 397392 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.00 c integral : 264.97 0.00 0.00 264.97 0.00 0.00 0.00
1800.03/1800.00 c knapsack : 30.39 0.02 24.52 0.00 0.00 0.00 5.85
1800.03/1800.00 c setppc : 5.78 0.00 3.98 0.00 0.00 0.00 1.80
1800.03/1800.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c logicor : 19.70 0.00 15.96 0.00 0.00 0.00 3.73
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.00 c vbounds : 0 0 0 0
1800.03/1800.00 c rootredcost : 0 0 0 0
1800.03/1800.00 c pseudoobj : 0 0 0 0
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 0.18 0.18 0.00
1800.03/1800.00 c rootredcost : 0.19 0.19 0.00
1800.03/1800.00 c pseudoobj : 0.14 0.14 0.00
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 4.32 42642 42557 417864 62.9 1799 78.9 -
1800.03/1800.00 c infeasible LP : 85.81 106302 77027 1726163 155.5 999 73.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 347028 67.2 - - -
1800.03/1800.00 c applied locally : - - - 17 249.2 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 5 - - 787 - (maximal pool size: 1248)
1800.03/1800.00 c redcost : 5.24 179349 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.02 6 0 0 26 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.02 6 0 0 10 0
1800.03/1800.00 c cmir : 0.30 6 0 0 1391 0
1800.03/1800.00 c flowcover : 0.29 6 0 0 1202 0
1800.03/1800.00 c clique : 0.00 6 0 0 6 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 1 0 0 0 0
1800.03/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.12 1 0 0 0 83
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 264.83 179754 314 39306 0 0 319170
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c oneopt : 0.09 0 0
1800.03/1800.00 c crossover : 0.06 0 0
1800.03/1800.00 c guideddiving : 0.01 0 0
1800.03/1800.00 c fracdiving : 4.67 33 0
1800.03/1800.00 c coefdiving : 5.14 33 0
1800.03/1800.00 c veclendiving : 1.17 33 0
1800.03/1800.00 c linesearchdiving : 1.73 33 0
1800.03/1800.00 c objpscostdiving : 0.21 17 0
1800.03/1800.00 c rootsoldiving : 0.77 17 0
1800.03/1800.00 c pscostdiving : 2.50 34 0
1800.03/1800.00 c feaspump : 1.36 17 0
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c shiftandpropagate: 0.02 1 0
1800.03/1800.00 c simplerounding : 0.04 0 0
1800.03/1800.00 c zirounding : 3.29 0 0
1800.03/1800.00 c rounding : 0.33 5977 0
1800.03/1800.00 c shifting : 2.12 1808 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c clique : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.04 1 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c vbounds : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c subnlp : 0.05 0 0
1800.03/1800.00 c trysol : 0.06 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 1292.66 284914 13907438 48.81 10758.75
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 14.51 12195 138683 11.37 9556.54
1800.03/1800.00 c strong branching : 260.16 60651 2433946 40.13 9355.45
1800.03/1800.00 c (at root node) : - 17 5822 342.47 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 303730
1800.03/1800.00 c nodes (total) : 303730
1800.03/1800.00 c nodes left : 3486
1800.03/1800.00 c max depth : 225
1800.03/1800.00 c max depth (total): 225
1800.03/1800.00 c backtracks : 45018 (14.8%)
1800.03/1800.00 c delayed cutoffs : 11955
1800.03/1800.00 c repropagations : 745879 (2081986 domain reductions, 4452 cutoffs)
1800.03/1800.00 c avg switch length: 7.05
1800.03/1800.00 c switching time : 33.68
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +5.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +5.00000000000000e+00
1800.03/1800.00 c Root Iterations : 2664
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-3451913-1307116093/watcher-3451913-1307116093 -o /tmp/evaluation-result-3451913-1307116093/solver-3451913-1307116093 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451913-1307116093.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.14 2.08 2.02 2/572 22872
/proc/meminfo: memFree=31633184/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=11952 CPUtime=0.01 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 1991 0 0 0 1 0 0 0 25 0 1 0 823208094 12238848 1945 33554432000 4194304 9128323 140733892416352 18446744073709551615 7952531 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22872/statm: 2988 1945 400 1205 0 1779 0
[startup+0.052533 s]
/proc/loadavg: 2.14 2.08 2.02 2/572 22872
/proc/meminfo: memFree=31633184/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=26784 CPUtime=0.04 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 5451 0 0 0 4 0 0 0 25 0 1 0 823208094 27426816 5404 33554432000 4194304 9128323 140733892416352 18446744073709551615 5234312 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 6696 5404 505 1205 0 5487 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26784
[startup+0.100523 s]
/proc/loadavg: 2.14 2.08 2.02 2/572 22872
/proc/meminfo: memFree=31633184/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=28144 CPUtime=0.09 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 6116 0 0 0 9 0 0 0 25 0 1 0 823208094 28819456 5812 33554432000 4194304 9128323 140733892416352 18446744073709551615 5158210 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 7036 5812 533 1205 0 5827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28144
[startup+0.300486 s]
/proc/loadavg: 2.14 2.08 2.02 2/572 22872
/proc/meminfo: memFree=31633184/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=36220 CPUtime=0.29 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 8562 0 0 0 28 1 0 0 25 0 1 0 823208094 37089280 8061 33554432000 4194304 9128323 140733892416352 18446744073709551615 6295188 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 9055 8061 693 1205 0 7846 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36220
[startup+0.700417 s]
/proc/loadavg: 2.14 2.08 2.02 2/572 22872
/proc/meminfo: memFree=31633184/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=58520 CPUtime=0.69 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 14253 0 0 0 68 1 0 0 25 0 1 0 823208094 59924480 13392 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 14630 13392 736 1205 0 13421 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58520
[startup+1.50027 s]
/proc/loadavg: 2.13 2.08 2.02 3/573 22873
/proc/meminfo: memFree=31581052/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=58520 CPUtime=1.49 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 15189 0 0 0 147 2 0 0 25 0 1 0 823208094 59924480 13731 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 14630 13731 739 1205 0 13421 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58520
[startup+3.10105 s]
/proc/loadavg: 2.13 2.08 2.02 3/573 22873
/proc/meminfo: memFree=31578448/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=58520 CPUtime=3.09 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 15189 0 0 0 303 6 0 0 25 0 1 0 823208094 59924480 13731 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 14630 13731 739 1205 0 13421 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58520
[startup+6.30042 s]
/proc/loadavg: 2.12 2.08 2.02 3/573 22873
/proc/meminfo: memFree=31577928/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=58520 CPUtime=6.29 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 15189 0 0 0 615 14 0 0 25 0 1 0 823208094 59924480 13731 33554432000 4194304 9128323 140733892416352 18446744073709551615 7347434 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 14630 13731 739 1205 0 13421 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58520
[startup+12.7003 s]
/proc/loadavg: 2.11 2.08 2.02 3/573 22873
/proc/meminfo: memFree=31577444/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=58520 CPUtime=12.69 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 15189 0 0 0 1239 30 0 0 25 0 1 0 823208094 59924480 13731 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 14630 13731 739 1205 0 13421 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58520
[startup+25.501 s]
/proc/loadavg: 2.09 2.08 2.02 3/573 22873
/proc/meminfo: memFree=31578232/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=58520 CPUtime=25.5 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 15191 0 0 0 2487 63 0 0 25 0 1 0 823208094 59924480 13733 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 14630 13733 741 1205 0 13421 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 58520
[startup+51.1005 s]
/proc/loadavg: 2.06 2.07 2.01 3/573 22874
/proc/meminfo: memFree=31586964/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=58520 CPUtime=51.09 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 15193 0 0 0 4970 139 0 0 25 0 1 0 823208094 59924480 13735 33554432000 4194304 9128323 140733892416352 18446744073709551615 6505824 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 14630 13735 741 1205 0 13421 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 58520
[startup+102.321 s]
/proc/loadavg: 2.02 2.05 2.01 3/573 22875
/proc/meminfo: memFree=31577820/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=58520 CPUtime=102.32 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 15193 0 0 0 9918 314 0 0 25 0 1 0 823208094 59924480 13735 33554432000 4194304 9128323 140733892416352 18446744073709551615 5126112 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 14630 13735 741 1205 0 13421 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 58520
[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/573 22877
/proc/meminfo: memFree=31575788/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=58520 CPUtime=162.3 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 15193 0 0 0 15716 514 0 0 25 0 1 0 823208094 59924480 13735 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 14630 13735 741 1205 0 13421 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 58520
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 22879
/proc/meminfo: memFree=31576368/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=59516 CPUtime=222.29 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 15322 0 0 0 21535 694 0 0 25 0 1 0 823208094 60944384 13864 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 14879 13864 741 1205 0 13670 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 59516
[startup+282.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/573 22880
/proc/meminfo: memFree=31585880/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=62132 CPUtime=282.3 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 15973 0 0 0 27369 861 0 0 25 0 1 0 823208094 63623168 14515 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 15533 14515 741 1205 0 14324 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 62132
[startup+342.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/573 23045
/proc/meminfo: memFree=31734032/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=64068 CPUtime=342.3 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 16489 0 0 0 33140 1090 0 0 25 0 1 0 823208094 65605632 15031 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 16017 15031 741 1205 0 14808 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 64068
[startup+402.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 23046
/proc/meminfo: memFree=31731776/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=65624 CPUtime=402.3 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 16940 0 0 0 38916 1314 0 0 25 0 1 0 823208094 67198976 15480 33554432000 4194304 9128323 140733892416352 18446744073709551615 6713561 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 16406 15480 739 1205 0 15197 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 65624
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/573 23048
/proc/meminfo: memFree=31727264/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=69944 CPUtime=462.3 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 18048 0 0 0 44714 1516 0 0 25 0 1 0 823208094 71622656 16588 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 17486 16588 739 1205 0 16277 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 69944
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 23050
/proc/meminfo: memFree=31726208/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=72292 CPUtime=522.31 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 18635 0 0 0 50497 1734 0 0 25 0 1 0 823208094 74027008 17175 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 18073 17175 739 1205 0 16864 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 72292
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 23051
/proc/meminfo: memFree=31723196/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=75116 CPUtime=582.31 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 19369 0 0 0 56271 1960 0 0 25 0 1 0 823208094 76918784 17909 33554432000 4194304 9128323 140733892416352 18446744073709551615 7414820 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 18779 17909 739 1205 0 17570 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 75116
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.12 2.03 2.01 3/573 23094
/proc/meminfo: memFree=31428112/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=83792 CPUtime=822.31 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 21509 0 0 0 79387 2844 0 0 25 0 1 0 823208094 85803008 20049 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 20948 20049 739 1205 0 19739 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 83792
[startup+882.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/573 23095
/proc/meminfo: memFree=31425508/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=84396 CPUtime=882.31 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 21698 0 0 0 85143 3088 0 0 25 0 1 0 823208094 86421504 20238 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 21099 20238 739 1205 0 19890 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 84396
[startup+942.301 s]
/proc/loadavg: 2.06 2.04 2.01 3/573 23097
/proc/meminfo: memFree=31418528/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=85596 CPUtime=942.32 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 21996 0 0 0 90888 3344 0 0 25 0 1 0 823208094 87650304 20536 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 21399 20536 739 1205 0 20190 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 85596
[startup+1002.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/573 23101
/proc/meminfo: memFree=31419008/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=86192 CPUtime=1002.32 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 22128 0 0 0 96635 3597 0 0 25 0 1 0 823208094 88260608 20668 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 21548 20668 739 1205 0 20339 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 86192
[startup+1062.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/573 23103
/proc/meminfo: memFree=31422208/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=87396 CPUtime=1062.32 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 22419 0 0 0 102391 3841 0 0 25 0 1 0 823208094 89493504 20959 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 21849 20959 739 1205 0 20640 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 87396
[startup+1122.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/573 23105
/proc/meminfo: memFree=31422656/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=90172 CPUtime=1122.32 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 23002 0 0 0 108138 4094 0 0 25 0 1 0 823208094 92336128 21542 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 22543 21542 739 1205 0 21334 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 90172
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 23106
/proc/meminfo: memFree=31410980/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=94164 CPUtime=1182.33 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 24107 0 0 0 113894 4339 0 0 25 0 1 0 823208094 96423936 22647 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 23541 22647 739 1205 0 22332 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 94164
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 23108
/proc/meminfo: memFree=31414032/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=96136 CPUtime=1242.32 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 24601 0 0 0 119649 4583 0 0 25 0 1 0 823208094 98443264 23141 33554432000 4194304 9128323 140733892416352 18446744073709551615 6416589 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 24034 23141 739 1205 0 22825 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 96136
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 23109
/proc/meminfo: memFree=31406432/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=97256 CPUtime=1302.34 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 24880 0 0 0 125396 4838 0 0 25 0 1 0 823208094 99590144 23420 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 24314 23420 739 1205 0 23105 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 97256
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 23111
/proc/meminfo: memFree=31412848/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=98120 CPUtime=1362.32 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 25096 0 0 0 131138 5094 0 0 25 0 1 0 823208094 100474880 23636 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 24530 23636 739 1205 0 23321 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 98120
[startup+1422.32 s]
/proc/loadavg: 2.22 2.07 2.02 3/573 23113
/proc/meminfo: memFree=31411816/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=98120 CPUtime=1422.35 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 25118 0 0 0 136891 5344 0 0 25 0 1 0 823208094 100474880 23658 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 24530 23658 739 1205 0 23321 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 98120
[startup+1482.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/573 23114
/proc/meminfo: memFree=31408056/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=99620 CPUtime=1482.33 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 25483 0 0 0 142630 5603 0 0 25 0 1 0 823208094 102010880 24023 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 24905 24023 739 1205 0 23696 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 99620
[startup+1542.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/573 23116
/proc/meminfo: memFree=31404424/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=100676 CPUtime=1542.33 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 25762 0 0 0 148385 5848 0 0 25 0 1 0 823208094 103092224 24302 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 25169 24302 739 1205 0 23960 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 100676
[startup+1602.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/573 23117
/proc/meminfo: memFree=31402780/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=104188 CPUtime=1602.33 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 26643 0 0 0 154146 6087 0 0 25 0 1 0 823208094 106688512 25183 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 26047 25183 739 1205 0 24838 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 104188
[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/573 23119
/proc/meminfo: memFree=31398764/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=107876 CPUtime=1662.33 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 27525 0 0 0 159916 6317 0 0 25 0 1 0 823208094 110465024 26065 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 26969 26065 739 1205 0 25760 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 107876
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/573 23121
/proc/meminfo: memFree=31397488/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=112508 CPUtime=1722.33 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 28721 0 0 0 165682 6551 0 0 25 0 1 0 823208094 115208192 27261 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 28127 27261 739 1205 0 26918 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 112508
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 23122
/proc/meminfo: memFree=31391128/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=113040 CPUtime=1782.34 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 28814 0 0 0 171441 6793 0 0 25 0 1 0 823208094 115752960 27354 33554432000 4194304 9128323 140733892416352 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22872/statm: 28260 27354 739 1205 0 27051 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 113040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 23123
/proc/meminfo: memFree=31394948/32950928 swapFree=43925852/67111528
[pid=22872] ppid=22870 vsize=113736 CPUtime=1800.06 cores=1,3,5,7
/proc/22872/stat : 22872 (scip-2.0.1.4.li) R 22870 22872 20770 0 -1 4202496 29017 0 0 0 173140 6866 0 0 25 0 1 0 823208094 116465664 27557 33554432000 4194304 9128323 140733892416352 18446744073709551615 4219343 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22872/statm: 28434 27557 740 1205 0 27225 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 113736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1731.41
CPU system time (s): 68.6656
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 113736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1731.41
system time used= 68.6656
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29017
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= 9
involuntary context switches= 20515
runsolver used 9.71052 second user time and 24.6193 second system time
The end