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-3452243-1307102676.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.01/0.02 o 200
0.01/0.02 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.01/0.02 c presolving:
0.01/0.06 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 71030 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/2682 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (2 rounds):
0.09/0.10 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 71030 implications, 0 cliques
0.09/0.10 c presolved problem has 2682 variables (2682 bin, 0 int, 0 impl, 0 cont) and 2682 constraints
0.09/0.10 c 2482 constraints of type <and>
0.09/0.10 c 200 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.09
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 2.0.1.4
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1800
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 13950
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # belongs reading time to solving time?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c timing/reading = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/indicator/addCouplingCons = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.13 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.13 c t 0.1s| 1 | 0 | 400 | - | 12M| 0 | 400 |2682 |2682 |2682 |5164 | 0 | 0 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
0.09/0.14 o 57
0.09/0.14 c s 0.1s| 1 | 0 | 400 | - | 12M| 0 | 400 |2682 |2682 |2682 |5164 | 0 | 0 | 0 | 0.000000e+00 | 5.700000e+01 | Inf
0.39/0.42 c 0.4s| 1 | 0 | 1000 | - | 13M| 0 | 400 |2682 |2682 |2682 |5566 | 402 | 0 | 0 | 0.000000e+00 | 5.700000e+01 | Inf
0.39/0.42 o 55
0.39/0.42 c s 0.4s| 1 | 0 | 1000 | - | 13M| 0 | 400 |2682 |2682 |2682 |5566 | 402 | 0 | 0 | 0.000000e+00 | 5.500000e+01 | Inf
0.59/0.62 c 0.6s| 1 | 0 | 1602 | - | 13M| 0 | 400 |2682 |2682 |2682 |5971 | 807 | 0 | 0 | 0.000000e+00 | 5.500000e+01 | Inf
0.59/0.63 o 49
0.59/0.63 c s 0.6s| 1 | 0 | 1602 | - | 13M| 0 | 400 |2682 |2682 |2682 |5971 | 807 | 0 | 0 | 0.000000e+00 | 4.900000e+01 | Inf
0.80/0.84 c 0.8s| 1 | 0 | 2203 | - | 13M| 0 | 400 |2682 |2682 |2682 |6373 |1209 | 0 | 0 | 0.000000e+00 | 4.900000e+01 | Inf
0.80/0.85 o 43
0.80/0.85 c s 0.8s| 1 | 0 | 2203 | - | 13M| 0 | 400 |2682 |2682 |2682 |6373 |1209 | 0 | 0 | 0.000000e+00 | 4.300000e+01 | Inf
1.00/1.08 c 1.1s| 1 | 0 | 2805 | - | 13M| 0 | 400 |2682 |2682 |2682 |6775 |1611 | 0 | 0 | 0.000000e+00 | 4.300000e+01 | Inf
1.00/1.08 o 41
1.00/1.08 c s 1.1s| 1 | 0 | 2805 | - | 13M| 0 | 400 |2682 |2682 |2682 |6775 |1611 | 0 | 0 | 0.000000e+00 | 4.100000e+01 | Inf
1.69/1.72 c 1.7s| 1 | 0 | 5896 | - | 13M| 0 | 895 |2682 |2682 |2682 |7177 |2013 | 0 | 0 | 1.161854e+01 | 4.100000e+01 | 252.88%
2.89/2.98 c 3.0s| 1 | 0 | 8277 | - | 15M| 0 |1443 |2682 |2682 |2682 |7563 |2399 | 0 | 0 | 1.423076e+01 | 4.100000e+01 | 188.11%
3.99/4.06 c 4.1s| 1 | 0 | 8861 | - | 15M| 0 |1682 |2682 |2682 |2682 |7651 |2487 | 0 | 0 | 1.471060e+01 | 4.100000e+01 | 178.71%
6.00/6.06 c 6.1s| 1 | 0 | 9168 | - | 16M| 0 |1700 |2682 |2682 |2682 |7680 |2516 | 0 | 0 | 1.479677e+01 | 4.100000e+01 | 177.09%
7.99/8.03 c 8.0s| 1 | 0 | 9268 | - | 16M| 0 |1745 |2682 |2682 |2682 |7693 |2529 | 0 | 0 | 1.481013e+01 | 4.100000e+01 | 176.84%
9.99/10.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.99/10.06 c 10.1s| 1 | 0 | 9300 | - | 16M| 0 |1762 |2682 |2682 |2682 |7698 |2534 | 0 | 0 | 1.481112e+01 | 4.100000e+01 | 176.82%
12.00/12.03 c 12.0s| 1 | 0 | 9310 | - | 14M| 0 |1783 |2682 |2682 |2682 |2824 |2538 | 0 | 0 | 1.481112e+01 | 4.100000e+01 | 176.82%
12.00/12.03 c 12.0s| 1 | 0 | 9310 | - | 14M| 0 |1783 |2682 |2682 |2682 |2824 |2538 | 0 | 0 | 1.481144e+01 | 4.100000e+01 | 176.81%
12.59/12.61 c 12.6s| 1 | 0 | 9319 | - | 14M| 0 |1794 |2682 |2682 |2682 |2825 |2539 | 0 | 0 | 1.481181e+01 | 4.100000e+01 | 176.81%
13.10/13.18 c 13.2s| 1 | 0 | 9321 | - | 14M| 0 |1796 |2682 |2682 |2682 |2827 |2541 | 0 | 0 | 1.481181e+01 | 4.100000e+01 | 176.81%
14.79/14.83 c 14.8s| 1 | 2 | 9321 | - | 14M| 0 |1796 |2682 |2682 |2682 |2827 |2541 | 0 | 9 | 1.481181e+01 | 4.100000e+01 | 176.81%
228.50/228.54 o 25
228.50/228.54 c v 229s| 2452 | 2453 |688373 | 277.1 | 21M| 29 | - |2682 |2684 |2682 |2786 | 21k| 2 |1020 | 1.660087e+01 | 2.500000e+01 | 50.59%
376.30/376.35 o 22
376.30/376.35 c * 376s| 4642 | 4304 | 1260k| 269.6 | 25M| 29 | - |2682 |2697 |2682 |2772 | 38k| 17 |1188 | 1.686424e+01 | 2.200000e+01 | 30.45%
383.20/383.22 o 21
383.20/383.22 c * 383s| 4747 | 3754 | 1288k| 269.5 | 24M| 29 | - |2682 |2697 |2682 |2757 | 39k| 17 |1188 | 1.686803e+01 | 2.100000e+01 | 24.50%
631.21/631.30 c 631s| 10000 | 6441 | 2174k| 216.5 | 50M| 42 |1029 |2682 |2682 |2682 |2777 | 62k| 17 |1899 | 1.707580e+01 | 2.100000e+01 | 22.98%
975.11/975.19 c 975s| 20000 | 9079 | 3410k| 170.1 | 78M| 49 | - |2682 |2682 |2682 |2774 | 90k| 17 |2710 | 1.726172e+01 | 2.100000e+01 | 21.66%
1231.32/1231.35 c 1231s| 30000 | 10671 | 4346k| 144.6 | 97M| 52 | - |2682 |2682 |2682 |2776 | 112k| 17 |3371 | 1.735920e+01 | 2.100000e+01 | 20.97%
1486.03/1486.08 c 1486s| 40000 | 12433 | 5291k| 132.1 | 119M| 52 | 998 |2682 |2682 |2682 |2784 | 135k| 17 |3930 | 1.742172e+01 | 2.100000e+01 | 20.54%
1721.55/1721.59 c 1722s| 50000 | 13805 | 6185k| 123.5 | 137M| 52 | - |2682 |2682 |2682 |2777 | 157k| 17 |4361 | 1.747436e+01 | 2.100000e+01 | 20.18%
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 : 53319
1800.03/1800.00 c Primal Bound : +2.10000000000000e+01 (9 solutions)
1800.03/1800.00 c Dual Bound : +1.74920560926930e+01
1800.03/1800.00 c Gap : 20.05 %
1800.03/1800.00 s SATISFIABLE
1800.03/1800.00 v -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179
1800.03/1800.00 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158
1800.03/1800.00 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1800.03/1800.00 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116
1800.03/1800.00 v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94
1800.03/1800.00 v -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 x70 -x69
1800.03/1800.00 v -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43
1800.03/1800.00 v -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 x34 x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 x18 -x17
1800.03/1800.00 v -x16 -x15 -x14 x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
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.09 (included in solving)
1800.03/1800.00 c reading : 0.01 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3452243-1307102676.opb
1800.03/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 200 initial, 200 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3452243-1307102676.opb
1800.03/1800.00 c Variables : 2682 (2682 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 2682 initial, 2697 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 and : 0.06 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 0 0 0 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 34608 0 275 0 62 749 0 0 68554
1800.03/1800.00 c and : 2482 77686 296450 2 1 270 287 2 4336409 164184 0 0
1800.03/1800.00 c logicor : 200+ 14 128289 2 1 7 13 5 0 0 0 0
1800.03/1800.00 c countsols : 0 0 0 2 1 10 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 : 126.39 0.00 0.00 126.39 0.00 0.00 0.00
1800.03/1800.00 c and : 57.14 44.00 13.12 0.00 0.00 0.02 0.00
1800.03/1800.00 c logicor : 0.60 0.00 0.60 0.00 0.00 0.00 0.00
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 : 3 0 0 0
1800.03/1800.00 c pseudoobj : 297204 12 0 0
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 0.06 0.06 0.00
1800.03/1800.00 c rootredcost : 0.07 0.07 0.00
1800.03/1800.00 c pseudoobj : 1.33 1.33 0.00
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 0.00 7 7 40 102.6 0 0.0 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.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 : - - - 17 73.0 - - -
1800.03/1800.00 c applied locally : - - - 0 0.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 13 - - 0 - (maximal pool size: 2854)
1800.03/1800.00 c redcost : 2.69 77707 0 314670 0 0
1800.03/1800.00 c impliedbounds : 0.01 14 0 0 2774 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 5.79 14 0 0 2737 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 : 5.00 14 0 0 3502 0
1800.03/1800.00 c cmir : 0.73 10 0 0 2000 0
1800.03/1800.00 c flowcover : 0.29 10 0 0 0 0
1800.03/1800.00 c clique : 0.10 14 0 0 21 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.07 1 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 1 61
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 126.34 34606 62 749 0 0 68554
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 0.00 1 0 0 0 0 2
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 - 2
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c oneopt : 0.03 7 0
1800.03/1800.00 c crossover : 0.22 5 0
1800.03/1800.00 c objpscostdiving : 18.48 10 0
1800.03/1800.00 c rootsoldiving : 9.39 36 0
1800.03/1800.00 c pscostdiving : 43.41 196 0
1800.03/1800.00 c guideddiving : 51.33 196 0
1800.03/1800.00 c coefdiving : 33.41 197 0
1800.03/1800.00 c fracdiving : 49.33 197 0
1800.03/1800.00 c veclendiving : 36.63 197 1
1800.03/1800.00 c linesearchdiving : 36.76 197 0
1800.03/1800.00 c trivial : 0.00 2 1
1800.03/1800.00 c shiftandpropagate: 0.00 0 0
1800.03/1800.00 c simplerounding : 0.03 0 0
1800.03/1800.00 c zirounding : 0.28 1000 0
1800.03/1800.00 c rounding : 4.86 3771 0
1800.03/1800.00 c shifting : 8.32 6518 5
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.01 0 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.01 1 0
1800.03/1800.00 c subnlp : 0.01 0 0
1800.03/1800.00 c trysol : 0.02 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 9.39 0 0 0.00 0.00
1800.03/1800.00 c dual LP : 1241.15 93159 5396525 57.93 4348.00
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: 246.01 65901 1077575 16.35 4380.29
1800.03/1800.00 c strong branching : 125.23 4572 549590 120.21 4388.77
1800.03/1800.00 c (at root node) : - 9 4696 521.78 -
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 : 53319
1800.03/1800.00 c nodes (total) : 53319
1800.03/1800.00 c nodes left : 14250
1800.03/1800.00 c max depth : 52
1800.03/1800.00 c max depth (total): 52
1800.03/1800.00 c backtracks : 9081 (17.0%)
1800.03/1800.00 c delayed cutoffs : 0
1800.03/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.03/1800.00 c avg switch length: 4.91
1800.03/1800.00 c switching time : 16.78
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 9 (9 improvements)
1800.03/1800.00 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.03/1800.00 c Primal Bound : +2.10000000000000e+01 (in run 1, after 4747 nodes, 383.22 seconds, depth 17, found by <relaxation>)
1800.03/1800.00 c Dual Bound : +1.74920560926930e+01
1800.03/1800.00 c Gap : 20.05 %
1800.03/1800.00 c Root Dual Bound : +1.48118091182202e+01
1800.03/1800.00 c Root Iterations : 9321
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-3452243-1307102676/watcher-3452243-1307102676 -o /tmp/evaluation-result-3452243-1307102676/solver-3452243-1307102676 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452243-1307102676.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.05 2.01 2/527 9762
/proc/meminfo: memFree=24919228/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=11884 CPUtime=0 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 1869 0 0 0 0 0 0 0 25 0 1 0 900498285 12169216 1822 33554432000 4194304 9128323 140737092723984 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 2971 1834 430 1205 0 1762 0
[startup+0.0210479 s]
/proc/loadavg: 2.14 2.05 2.01 2/527 9762
/proc/meminfo: memFree=24919228/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=20496 CPUtime=0.01 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 3858 0 0 0 1 0 0 0 25 0 1 0 900498285 20987904 3811 33554432000 4194304 9128323 140737092723984 18446744073709551615 4342938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 5124 3821 481 1205 0 3915 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20496
[startup+0.101072 s]
/proc/loadavg: 2.14 2.05 2.01 2/527 9762
/proc/meminfo: memFree=24919228/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=25424 CPUtime=0.09 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 5416 0 0 0 9 0 0 0 25 0 1 0 900498285 26034176 5112 33554432000 4194304 9128323 140737092723984 18446744073709551615 4964898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 6356 5112 540 1205 0 5147 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25424
[startup+0.301037 s]
/proc/loadavg: 2.14 2.05 2.01 2/527 9762
/proc/meminfo: memFree=24919228/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=39208 CPUtime=0.29 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 10504 0 0 0 28 1 0 0 25 0 1 0 900498285 40148992 8792 33554432000 4194304 9128323 140737092723984 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 9802 8792 670 1205 0 8593 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39208
[startup+0.700979 s]
/proc/loadavg: 2.14 2.05 2.01 2/527 9762
/proc/meminfo: memFree=24919228/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=54312 CPUtime=0.7 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 15714 0 0 0 67 3 0 0 25 0 1 0 900498285 55615488 12329 33554432000 4194304 9128323 140737092723984 18446744073709551615 4568496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 13578 12329 707 1205 0 12369 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 54312
[startup+1.50084 s]
/proc/loadavg: 2.14 2.05 2.01 3/528 9763
/proc/meminfo: memFree=24871276/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=54312 CPUtime=1.49 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 15721 0 0 0 145 4 0 0 25 0 1 0 900498285 55615488 12336 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 13578 12336 710 1205 0 12369 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54312
[startup+3.10056 s]
/proc/loadavg: 2.14 2.05 2.01 3/528 9763
/proc/meminfo: memFree=24870160/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=54312 CPUtime=3.09 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 15808 0 0 0 303 6 0 0 25 0 1 0 900498285 55615488 12423 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 13578 12423 714 1205 0 12369 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54312
[startup+6.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/528 9763
/proc/meminfo: memFree=24869548/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=54312 CPUtime=6.29 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 15892 0 0 0 620 9 0 0 25 0 1 0 900498285 55615488 12507 33554432000 4194304 9128323 140737092723984 18446744073709551615 6637235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 13578 12507 714 1205 0 12369 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54312
[startup+12.7009 s]
/proc/loadavg: 2.11 2.05 2.01 3/528 9763
/proc/meminfo: memFree=24869296/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=57140 CPUtime=12.69 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 16233 0 0 0 1256 13 0 0 25 0 1 0 900498285 58511360 12848 33554432000 4194304 9128323 140737092723984 18446744073709551615 6637216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 14285 12848 714 1205 0 13076 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57140
[startup+25.5006 s]
/proc/loadavg: 2.09 2.05 2.01 3/528 9764
/proc/meminfo: memFree=24867852/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=57140 CPUtime=25.49 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 16343 0 0 0 2512 37 0 0 25 0 1 0 900498285 58511360 12958 33554432000 4194304 9128323 140737092723984 18446744073709551615 7346728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 14285 12958 721 1205 0 13076 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57140
[startup+51.1012 s]
/proc/loadavg: 2.06 2.04 2.01 3/528 9764
/proc/meminfo: memFree=24867752/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=57140 CPUtime=51.1 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 16347 0 0 0 5025 85 0 0 25 0 1 0 900498285 58511360 12962 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 14285 12962 723 1205 0 13076 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 57140
[startup+102.32 s]
/proc/loadavg: 2.10 2.06 2.01 3/528 9766
/proc/meminfo: memFree=24866384/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=55644 CPUtime=102.31 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 19111 0 0 0 10055 176 0 0 25 0 1 0 900498285 56979456 12682 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 13911 12682 729 1205 0 12702 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 55644
[startup+162.301 s]
/proc/loadavg: 2.11 2.08 2.02 3/528 9767
/proc/meminfo: memFree=24867284/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=55644 CPUtime=162.3 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 19114 0 0 0 15953 277 0 0 25 0 1 0 900498285 56979456 12685 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 13911 12685 729 1205 0 12702 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 55644
[startup+222.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/528 9769
/proc/meminfo: memFree=24865400/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=58352 CPUtime=222.3 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 19772 0 0 0 21849 381 0 0 25 0 1 0 900498285 59752448 13343 33554432000 4194304 9128323 140737092723984 18446744073709551615 7358391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 14588 13343 729 1205 0 13379 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 58352
[startup+282.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/528 9770
/proc/meminfo: memFree=24863600/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=61144 CPUtime=282.3 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 20443 0 0 0 27738 492 0 0 25 0 1 0 900498285 62611456 14014 33554432000 4194304 9128323 140737092723984 18446744073709551615 7346281 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 15286 14014 729 1205 0 14077 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 61144
[startup+342.301 s]
/proc/loadavg: 2.14 2.07 2.01 3/528 9772
/proc/meminfo: memFree=24859980/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=64220 CPUtime=342.3 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 21222 0 0 0 33635 595 0 0 25 0 1 0 900498285 65761280 14793 33554432000 4194304 9128323 140737092723984 18446744073709551615 7352340 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 16055 14793 744 1205 0 14846 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 64220
[startup+402.301 s]
/proc/loadavg: 2.11 2.07 2.01 3/528 9774
/proc/meminfo: memFree=24858788/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=66340 CPUtime=402.3 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 21835 0 0 0 39532 698 0 0 25 0 1 0 900498285 67932160 15357 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 16585 15357 730 1205 0 15376 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 66340
[startup+462.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/528 9830
/proc/meminfo: memFree=24849776/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=74804 CPUtime=462.3 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 23936 0 0 0 45429 801 0 0 25 0 1 0 900498285 76599296 17458 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 18701 17458 730 1205 0 17492 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 74804
[startup+522.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/528 9832
/proc/meminfo: memFree=24838440/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=82832 CPUtime=522.31 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 30392 0 0 0 51326 905 0 0 25 0 1 0 900498285 84819968 19447 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 20708 19447 736 1205 0 19499 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 82832
[startup+582.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/528 9833
/proc/meminfo: memFree=24827608/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=93684 CPUtime=582.3 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 38881 0 0 0 57222 1008 0 0 25 0 1 0 900498285 95932416 22156 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 23421 22156 736 1205 0 22212 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 93684
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 9840
/proc/meminfo: memFree=24798884/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=123180 CPUtime=822.31 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 52211 0 0 0 80809 1422 0 0 25 0 1 0 900498285 126136320 29598 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 30795 29598 736 1205 0 29586 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 123180
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 9841
/proc/meminfo: memFree=24791768/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=129912 CPUtime=882.32 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 53876 0 0 0 86701 1531 0 0 25 0 1 0 900498285 133029888 31258 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 32478 31258 736 1205 0 31269 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 129912
[startup+942.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/528 9843
/proc/meminfo: memFree=24783804/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=138676 CPUtime=942.32 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 56100 0 0 0 92599 1633 0 0 25 0 1 0 900498285 142004224 33457 33554432000 4194304 9128323 140737092723984 18446744073709551615 6673828 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 34669 33457 736 1205 0 33460 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 138676
[startup+1002.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/528 9845
/proc/meminfo: memFree=24763556/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=160656 CPUtime=1002.32 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 61119 0 0 0 98496 1736 0 0 25 0 1 0 900498285 164511744 38476 33554432000 4194304 9128323 140737092723984 18446744073709551615 7216589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 40164 38476 736 1205 0 38955 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 160656
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 9846
/proc/meminfo: memFree=24762756/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=160656 CPUtime=1062.31 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 61191 0 0 0 104396 1835 0 0 25 0 1 0 900498285 164511744 38548 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 40164 38548 736 1205 0 38955 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 160656
[startup+1122.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/528 9848
/proc/meminfo: memFree=24761972/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=160656 CPUtime=1122.32 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 61458 0 0 0 110296 1936 0 0 25 0 1 0 900498285 164511744 38815 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 40164 38815 736 1205 0 38955 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 160656
[startup+1182.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/528 9849
/proc/meminfo: memFree=24755484/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=164256 CPUtime=1182.32 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 62500 0 0 0 116185 2047 0 0 25 0 1 0 900498285 168198144 39857 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 41064 39857 736 1205 0 39855 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 164256
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/528 9851
/proc/meminfo: memFree=24723572/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=172668 CPUtime=1242.32 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 64632 0 0 0 122084 2148 0 0 25 0 1 0 900498285 176812032 41952 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 43167 41952 736 1205 0 41958 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 172668
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/528 9853
/proc/meminfo: memFree=24716204/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=180124 CPUtime=1302.33 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 67877 0 0 0 127982 2251 0 0 25 0 1 0 900498285 184446976 43782 33554432000 4194304 9128323 140737092723984 18446744073709551615 7315282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 45031 43782 736 1205 0 43822 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 180124
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 9854
/proc/meminfo: memFree=24709704/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=187008 CPUtime=1362.32 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 69628 0 0 0 133872 2360 0 0 25 0 1 0 900498285 191496192 45533 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 46752 45533 736 1205 0 45543 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 187008
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 9856
/proc/meminfo: memFree=24700864/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=194772 CPUtime=1422.34 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 71574 0 0 0 139769 2465 0 0 25 0 1 0 900498285 199446528 47479 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 48693 47479 736 1205 0 47484 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 194772
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 9857
/proc/meminfo: memFree=24694608/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=200552 CPUtime=1482.33 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 73028 0 0 0 145664 2569 0 0 25 0 1 0 900498285 205365248 48933 33554432000 4194304 9128323 140737092723984 18446744073709551615 4692948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 50138 48933 736 1205 0 48929 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 200552
[startup+1542.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/528 9859
/proc/meminfo: memFree=24689848/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=206724 CPUtime=1542.32 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 74561 0 0 0 151556 2676 0 0 25 0 1 0 900498285 211685376 50462 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 51681 50462 736 1205 0 50472 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 206724
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/528 9861
/proc/meminfo: memFree=24684844/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=211192 CPUtime=1602.33 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 75690 0 0 0 157457 2776 0 0 25 0 1 0 900498285 216260608 51591 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 52798 51591 736 1205 0 51589 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 211192
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/528 9862
/proc/meminfo: memFree=24675620/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=219188 CPUtime=1662.33 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 77701 0 0 0 163349 2884 0 0 25 0 1 0 900498285 224448512 53602 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 54797 53602 736 1205 0 53588 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 219188
[startup+1722.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/528 9864
/proc/meminfo: memFree=24668396/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=226480 CPUtime=1722.33 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 79472 0 0 0 169248 2985 0 0 25 0 1 0 900498285 231915520 55373 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 56620 55373 736 1205 0 55411 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 226480
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/528 9865
/proc/meminfo: memFree=24665004/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=229764 CPUtime=1782.33 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 80333 0 0 0 175147 3086 0 0 25 0 1 0 900498285 235278336 56234 33554432000 4194304 9128323 140737092723984 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9762/statm: 57441 56234 736 1205 0 56232 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 229764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.05 2.00 3/528 9866
/proc/meminfo: memFree=24664992/32951124 swapFree=56241860/67111528
[pid=9762] ppid=9760 vsize=230528 CPUtime=1800.04 cores=1,3,5,7
/proc/9762/stat : 9762 (scip-2.0.1.4.li) R 9760 9762 5807 0 -1 4202496 80526 0 0 0 176885 3119 0 0 25 0 1 0 900498285 236060672 56427 33554432000 4194304 9128323 140737092723984 18446744073709551615 6625911 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9762/statm: 57632 56427 738 1205 0 56423 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 230528
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): 1768.86
CPU system time (s): 31.2093
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 230528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.86
system time used= 31.2093
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80526
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= 3749
runsolver used 8.88565 second user time and 22.2606 second system time
The end