0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3488167-1307790235.opb>
0.00/0.03 c original problem has 2994 variables (2994 bin, 0 int, 0 impl, 0 cont) and 3433 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.06 c (round 1) 6 del vars, 1 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5976 impls, 60 clqs
0.00/0.06 c (round 2) 6 del vars, 2989 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5976 impls, 60 clqs
0.00/0.07 c (round 3) 6 del vars, 2989 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 444 upgd conss, 5976 impls, 60 clqs
0.09/0.18 c (0.2s) probing: 101/2988 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (4 rounds):
0.09/0.18 c 6 deleted vars, 2989 deleted constraints, 0 added constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 5976 implications, 420 cliques
0.09/0.18 c presolved problem has 2988 variables (2988 bin, 0 int, 0 impl, 0 cont) and 444 constraints
0.09/0.18 c 384 constraints of type <knapsack>
0.09/0.18 c 60 constraints of type <setppc>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.14
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 2.0.1.5
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1797
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 13950
0.09/0.18 c
0.09/0.18 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.18 c # [type: int, range: [1,2], default: 1]
0.09/0.18 c timing/clocktype = 2
0.09/0.18 c
0.09/0.18 c # belongs reading time to solving time?
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c timing/reading = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/indicator/addCouplingCons = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.19/0.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.23 c 0.2s| 1 | 0 | 508 | - | 14M| 0 | 46 |2988 | 563 |2988 | 444 | 0 | 119 | 0 | 6.000000e+00 | -- | Inf
0.69/0.72 c 0.7s| 1 | 0 | 2303 | - | 16M| 0 | 82 |2988 | 791 |2988 | 475 | 31 | 119 | 0 | 6.000000e+00 | -- | Inf
0.79/0.85 c 0.8s| 1 | 0 | 2380 | - | 16M| 0 | 106 |2988 | 791 |2988 | 502 | 58 | 119 | 0 | 6.000000e+00 | -- | Inf
0.89/0.99 c 1.0s| 1 | 0 | 2489 | - | 17M| 0 | 133 |2988 | 791 |2988 | 527 | 83 | 119 | 0 | 6.000000e+00 | -- | Inf
1.09/1.16 c 1.2s| 1 | 0 | 2677 | - | 17M| 0 | 154 |2988 | 791 |2988 | 554 | 110 | 119 | 0 | 6.000000e+00 | -- | Inf
1.29/1.38 c 1.4s| 1 | 0 | 3109 | - | 18M| 0 | 153 |2988 | 791 |2988 | 575 | 131 | 119 | 0 | 6.000000e+00 | -- | Inf
1.59/1.63 c 1.6s| 1 | 0 | 3763 | - | 18M| 0 | 163 |2988 | 791 |2988 | 598 | 154 | 119 | 0 | 6.000000e+00 | -- | Inf
2.69/2.75 c 2.8s| 1 | 2 | 3763 | - | 18M| 0 | 163 |2988 | 791 |2988 | 598 | 154 | 119 | 17 | 6.000000e+00 | -- | Inf
111.00/111.04 c 111s| 10000 | 573 |521802 | 51.8 | 23M| 168 | - |2988 |2916 |2988 | 547 | 154 |9102 |5673 | 6.000000e+00 | -- | Inf
190.00/190.02 c 190s| 20000 | 790 |932388 | 46.4 | 25M| 168 | 46 |2988 |3629 |2988 | 547 | 154 | 16k|8947 | 6.000000e+00 | -- | Inf
229.19/229.21 c 229s| 30000 | 990 | 1159k| 38.5 | 28M| 168 | 52 |2988 |5626 |2988 | 547 | 154 | 29k|9364 | 6.000000e+00 | -- | Inf
289.09/289.13 c 289s| 40000 | 899 | 1485k| 37.0 | 28M| 168 | - |2988 |6397 | 0 | 0 | 154 | 40k| 11k| 6.000000e+00 | -- | Inf
365.20/365.22 c 365s| 50000 | 1129 | 1949k| 38.9 | 28M| 168 | 36 |2988 |5021 |2988 | 547 | 154 | 47k| 13k| 6.000000e+00 | -- | Inf
422.70/422.77 c 423s| 60000 | 1327 | 2271k| 37.8 | 30M| 168 | 44 |2988 |6404 |2988 | 547 | 154 | 59k| 15k| 6.000000e+00 | -- | Inf
480.50/480.56 c 481s| 70000 | 1434 | 2646k| 37.8 | 31M| 168 | 55 |2988 |6936 |2988 | 547 | 154 | 68k| 16k| 6.000000e+00 | -- | Inf
552.40/552.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
552.40/552.44 c 552s| 80000 | 1611 | 3077k| 38.4 | 32M| 168 | - |2988 |6593 | 0 | 0 | 154 | 76k| 18k| 6.000000e+00 | -- | Inf
608.21/608.28 c 608s| 90000 | 1720 | 3394k| 37.7 | 33M| 168 | 35 |2988 |8240 |2988 | 547 | 154 | 85k| 19k| 6.000000e+00 | -- | Inf
650.41/650.45 c 650s|100000 | 1870 | 3624k| 36.2 | 35M| 168 | 43 |2988 |9428 |2988 | 547 | 154 | 94k| 20k| 6.000000e+00 | -- | Inf
692.61/692.60 c 693s|110000 | 1879 | 3852k| 35.0 | 36M| 168 | - |2988 |9899 | 0 | 0 | 154 | 103k| 20k| 6.000000e+00 | -- | Inf
747.71/747.80 c 748s|120000 | 1817 | 4197k| 35.0 | 35M| 168 | - |2988 | 10k|2988 | 547 | 154 | 110k| 21k| 6.000000e+00 | -- | Inf
817.41/817.45 c 817s|130000 | 1819 | 4670k| 35.9 | 36M| 168 | 34 |2988 | 10k|2988 | 547 | 154 | 114k| 23k| 6.000000e+00 | -- | Inf
889.51/889.50 c 890s|140000 | 1835 | 5176k| 36.9 | 36M| 168 | - |2988 | 11k|2988 | 547 | 154 | 116k| 24k| 6.000000e+00 | -- | Inf
959.22/959.24 c 959s|150000 | 1814 | 5617k| 37.4 | 36M| 168 | - |2988 | 10k|2988 | 547 | 154 | 120k| 26k| 6.000000e+00 | -- | Inf
1026.92/1026.90 c 1027s|160000 | 1821 | 6071k| 37.9 | 35M| 168 | - |2988 |9055 |2988 | 547 | 154 | 124k| 28k| 6.000000e+00 | -- | Inf
1088.82/1088.81 c 1089s|170000 | 1938 | 6489k| 38.2 | 36M| 168 | 37 |2988 | 10k|2988 | 547 | 154 | 129k| 29k| 6.000000e+00 | -- | Inf
1154.12/1154.14 c 1154s|180000 | 1910 | 6924k| 38.4 | 36M| 168 | 23 |2988 |9654 |2988 | 547 | 154 | 133k| 31k| 6.000000e+00 | -- | Inf
1217.12/1217.13 c 1217s|190000 | 2000 | 7334k| 38.6 | 37M| 168 | - |2988 | 10k| 0 | 0 | 154 | 138k| 32k| 6.000000e+00 | -- | Inf
1259.82/1259.84 c 1260s|200000 | 2069 | 7612k| 38.0 | 38M| 168 | 33 |2988 | 10k|2988 | 547 | 154 | 143k| 33k| 6.000000e+00 | -- | Inf
1305.52/1305.57 c 1306s|210000 | 2065 | 7887k| 37.5 | 38M| 168 | - |2988 | 11k|2988 | 547 | 154 | 146k| 33k| 6.000000e+00 | -- | Inf
1356.33/1356.38 c 1356s|220000 | 2120 | 8188k| 37.2 | 39M| 168 | 28 |2988 | 11k|2988 | 547 | 154 | 151k| 35k| 6.000000e+00 | -- | Inf
1402.72/1402.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.72/1402.73 c 1403s|230000 | 2089 | 8487k| 36.9 | 38M| 168 | 28 |2988 | 11k|2988 | 547 | 154 | 154k| 36k| 6.000000e+00 | -- | Inf
1451.23/1451.21 c 1451s|240000 | 2118 | 8788k| 36.6 | 39M| 168 | 27 |2988 | 10k|2988 | 547 | 154 | 158k| 36k| 6.000000e+00 | -- | Inf
1504.92/1504.90 c 1505s|250000 | 2059 | 9118k| 36.5 | 38M| 168 | 15 |2988 | 11k|2988 | 547 | 154 | 162k| 38k| 6.000000e+00 | -- | Inf
1547.53/1547.59 c 1548s|260000 | 2098 | 9380k| 36.1 | 39M| 168 | - |2988 | 12k|2988 | 547 | 154 | 167k| 38k| 6.000000e+00 | -- | Inf
1595.13/1595.12 c 1595s|270000 | 2081 | 9686k| 35.9 | 39M| 168 | - |2988 | 11k|2988 | 547 | 154 | 171k| 39k| 6.000000e+00 | -- | Inf
1642.03/1642.03 c 1642s|280000 | 2093 | 9976k| 35.6 | 39M| 168 | 31 |2988 | 11k|2988 | 547 | 154 | 174k| 39k| 6.000000e+00 | -- | Inf
1687.23/1687.28 c 1687s|290000 | 2036 | 10265k| 35.4 | 38M| 168 | 19 |2988 | 11k|2988 | 547 | 154 | 178k| 40k| 6.000000e+00 | -- | Inf
1741.34/1741.32 c 1741s|300000 | 2022 | 10606k| 35.3 | 38M| 168 | - |2988 | 11k|2988 | 547 | 154 | 182k| 41k| 6.000000e+00 | -- | Inf
1795.33/1795.37 c 1795s|310000 | 2049 | 10939k| 35.3 | 39M| 168 | - |2988 | 12k|2988 | 547 | 154 | 185k| 42k| 6.000000e+00 | -- | Inf
1797.03/1797.01 c
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Solving Time (sec) : 1797.01
1797.03/1797.01 c Solving Nodes : 310313
1797.03/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.03/1797.01 c Dual Bound : +6.00000000000000e+00
1797.03/1797.01 c Gap : infinite
1797.03/1797.01 s UNKNOWN
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Total Time : 1797.01
1797.03/1797.01 c solving : 1797.01
1797.03/1797.01 c presolving : 0.14 (included in solving)
1797.03/1797.01 c reading : 0.03 (included in solving)
1797.03/1797.01 c Original Problem :
1797.03/1797.01 c Problem name : HOME/instance-3488167-1307790235.opb
1797.03/1797.01 c Variables : 2994 (2994 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 3433 initial, 3433 maximal
1797.03/1797.01 c Presolved Problem :
1797.03/1797.01 c Problem name : t_HOME/instance-3488167-1307790235.opb
1797.03/1797.01 c Variables : 2988 (2988 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 444 initial, 12478 maximal
1797.03/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c probing : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c knapsack : 0.08 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c linear : 0.02 6 0 0 6 0 2989 0 0 0
1797.03/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c root node : - 0 - - 0 - - - - -
1797.03/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c integral : 0 0 0 175649 0 4 0 432 23010 0 0 322456
1797.03/1797.01 c knapsack : 384 6 904457 0 1 3 16353262 12513 7242586 1200 0 0
1797.03/1797.01 c setppc : 60 6 891944 0 1 2 5513165 2813 3262238 0 0 0
1797.03/1797.01 c linear : 0+ 6 29 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c logicor : 0+ 6 364452 0 0 0 930512 5821 381848 0 0 0
1797.03/1797.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.03/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.01 c integral : 204.12 0.00 0.00 204.12 0.00 0.00 0.00
1797.03/1797.01 c knapsack : 31.78 0.02 22.73 0.00 0.00 0.00 9.03
1797.03/1797.01 c setppc : 6.75 0.00 4.69 0.00 0.00 0.00 2.05
1797.03/1797.01 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.01 c logicor : 15.10 0.00 13.07 0.00 0.00 0.00 2.03
1797.03/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.01 c vbounds : 0 0 0 0
1797.03/1797.01 c rootredcost : 0 0 0 0
1797.03/1797.01 c pseudoobj : 0 0 0 0
1797.03/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.01 c vbounds : 0.14 0.14 0.00
1797.03/1797.01 c rootredcost : 0.14 0.14 0.00
1797.03/1797.01 c pseudoobj : 0.09 0.09 0.00
1797.03/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.01 c propagation : 7.18 21147 20958 315055 128.3 1378 103.4 -
1797.03/1797.01 c infeasible LP : 247.59 133604 52501 1569812 287.9 901 88.5 0
1797.03/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c applied globally : - - - 185491 98.6 - - -
1797.03/1797.01 c applied locally : - - - 54 430.2 - - -
1797.03/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.01 c cut pool : 0.00 5 - - 1091 - (maximal pool size: 1649)
1797.03/1797.01 c redcost : 7.67 175345 0 0 0 0
1797.03/1797.01 c impliedbounds : 0.00 6 0 0 0 0
1797.03/1797.01 c intobj : 0.00 0 0 0 0 0
1797.03/1797.01 c gomory : 0.02 6 0 0 32 0
1797.03/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.01 c strongcg : 0.03 6 0 0 27 0
1797.03/1797.01 c cmir : 0.44 6 0 0 1827 0
1797.03/1797.01 c flowcover : 0.28 6 0 0 1201 0
1797.03/1797.01 c clique : 0.00 6 0 0 9 0
1797.03/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.01 c mcf : 0.00 1 0 0 0 0
1797.03/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.01 c rapidlearning : 0.22 1 0 0 0 228
1797.03/1797.01 c Pricers : Time Calls Vars
1797.03/1797.01 c problem variables: 0.00 0 0
1797.03/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c relpscost : 203.98 175649 432 23010 0 0 322456
1797.03/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c random : 0.00 0 0 0 0 0 0
1797.03/1797.01 c Primal Heuristics : Time Calls Found
1797.03/1797.01 c LP solutions : 0.00 - 0
1797.03/1797.01 c pseudo solutions : 0.00 - 0
1797.03/1797.01 c oneopt : 0.09 0 0
1797.03/1797.01 c crossover : 0.06 0 0
1797.03/1797.01 c guideddiving : 0.01 0 0
1797.03/1797.01 c pscostdiving : 2.68 48 0
1797.03/1797.01 c linesearchdiving : 1.86 48 0
1797.03/1797.01 c fracdiving : 3.94 48 0
1797.03/1797.01 c feaspump : 1.67 24 0
1797.03/1797.01 c coefdiving : 6.43 49 0
1797.03/1797.01 c veclendiving : 1.74 49 0
1797.03/1797.01 c objpscostdiving : 0.56 25 0
1797.03/1797.01 c rootsoldiving : 0.97 25 0
1797.03/1797.01 c trivial : 0.00 2 0
1797.03/1797.01 c shiftandpropagate: 0.02 1 0
1797.03/1797.01 c simplerounding : 0.04 0 0
1797.03/1797.01 c zirounding : 3.15 0 0
1797.03/1797.01 c rounding : 0.34 5860 0
1797.03/1797.01 c shifting : 2.56 1803 0
1797.03/1797.01 c intshifting : 0.01 0 0
1797.03/1797.01 c twoopt : 0.00 0 0
1797.03/1797.01 c fixandinfer : 0.00 0 0
1797.03/1797.01 c clique : 0.00 0 0
1797.03/1797.01 c intdiving : 0.00 0 0
1797.03/1797.01 c actconsdiving : 0.00 0 0
1797.03/1797.01 c octane : 0.00 0 0
1797.03/1797.01 c rens : 0.05 1 0
1797.03/1797.01 c rins : 0.00 0 0
1797.03/1797.01 c localbranching : 0.00 0 0
1797.03/1797.01 c mutation : 0.00 0 0
1797.03/1797.01 c dins : 0.00 0 0
1797.03/1797.01 c vbounds : 0.00 0 0
1797.03/1797.01 c undercover : 0.00 0 0
1797.03/1797.01 c subnlp : 0.05 0 0
1797.03/1797.01 c trysol : 0.06 0 0
1797.03/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.01 c dual LP : 1183.50 307442 10826903 35.22 9148.19
1797.03/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.01 c diving/probing LP: 15.12 11353 123524 10.88 8169.04
1797.03/1797.01 c strong branching : 200.16 42672 1569021 36.77 7839.01
1797.03/1797.01 c (at root node) : - 17 7544 443.76 -
1797.03/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.01 c B&B Tree :
1797.03/1797.01 c number of runs : 1
1797.03/1797.01 c nodes : 310313
1797.03/1797.01 c nodes (total) : 310313
1797.03/1797.01 c nodes left : 2050
1797.03/1797.01 c max depth : 168
1797.03/1797.01 c max depth (total): 168
1797.03/1797.01 c backtracks : 51096 (16.5%)
1797.03/1797.01 c delayed cutoffs : 10096
1797.03/1797.01 c repropagations : 226544 (1424476 domain reductions, 5140 cutoffs)
1797.03/1797.01 c avg switch length: 3.86
1797.03/1797.01 c switching time : 27.54
1797.03/1797.01 c Solution :
1797.03/1797.01 c Solutions found : 0 (0 improvements)
1797.03/1797.01 c Primal Bound : -
1797.03/1797.01 c Dual Bound : +6.00000000000000e+00
1797.03/1797.01 c Gap : infinite
1797.03/1797.01 c Root Dual Bound : +6.00000000000000e+00
1797.03/1797.01 c Root Iterations : 3763
1797.03/1797.05 c Time complete: 1797.09.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488167-1307790235/watcher-3488167-1307790235 -o /tmp/evaluation-result-3488167-1307790235/solver-3488167-1307790235 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488167-1307790235.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: 0.93 1.43 1.76 2/175 11111
/proc/meminfo: memFree=31675008/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=12696 CPUtime=0 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 2165 0 0 0 0 0 0 0 23 0 1 0 890623209 13000704 2120 33554432000 4194304 9016284 140736366299616 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11111/statm: 3174 2123 360 1178 0 1992 0
[startup+0.0085541 s]
/proc/loadavg: 0.93 1.43 1.76 2/175 11111
/proc/meminfo: memFree=31675008/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=13356 CPUtime=0 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 2313 0 0 0 0 0 0 0 23 0 1 0 890623209 13676544 2268 33554432000 4194304 9016284 140736366299616 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11111/statm: 3339 2268 360 1178 0 2157 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13356
[startup+0.100541 s]
/proc/loadavg: 0.93 1.43 1.76 2/175 11111
/proc/meminfo: memFree=31675008/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=34756 CPUtime=0.09 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 7810 0 0 0 9 0 0 0 23 0 1 0 890623209 35590144 7475 33554432000 4194304 9016284 140736366299616 18446744073709551615 5167175 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 8689 7475 511 1178 0 7507 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34756
[startup+0.300504 s]
/proc/loadavg: 0.93 1.43 1.76 2/175 11111
/proc/meminfo: memFree=31675008/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=45396 CPUtime=0.29 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 10856 0 0 0 28 1 0 0 18 0 1 0 890623209 46485504 10284 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 11349 10284 659 1178 0 10167 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45396
[startup+0.700437 s]
/proc/loadavg: 0.93 1.43 1.76 2/175 11111
/proc/meminfo: memFree=31675008/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=76156 CPUtime=0.69 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 18326 0 0 0 67 2 0 0 18 0 1 0 890623209 77983744 17754 33554432000 4194304 9016284 140736366299616 18446744073709551615 7260768 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 19039 17754 699 1178 0 17857 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76156
[startup+1.50029 s]
/proc/loadavg: 0.93 1.43 1.76 3/178 11117
/proc/meminfo: memFree=31536892/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=73332 CPUtime=1.49 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 18397 0 0 0 147 2 0 0 19 0 1 0 890623209 75091968 17099 33554432000 4194304 9016284 140736366299616 18446744073709551615 4239077 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 18333 17099 706 1178 0 17151 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73332
[startup+3.10101 s]
/proc/loadavg: 0.93 1.43 1.76 3/178 11119
/proc/meminfo: memFree=31482208/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=73340 CPUtime=3.09 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 19129 0 0 0 304 5 0 0 24 0 1 0 890623209 75100160 17432 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 18335 17432 710 1178 0 17153 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73340
[startup+6.30045 s]
/proc/loadavg: 1.02 1.44 1.76 3/178 11119
/proc/meminfo: memFree=31482216/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=73340 CPUtime=6.29 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 19129 0 0 0 616 13 0 0 25 0 1 0 890623209 75100160 17432 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 18335 17432 710 1178 0 17153 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73340
[startup+12.7003 s]
/proc/loadavg: 1.10 1.45 1.76 3/178 11120
/proc/meminfo: memFree=31481452/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=73340 CPUtime=12.69 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 19129 0 0 0 1241 28 0 0 25 0 1 0 890623209 75100160 17432 33554432000 4194304 9016284 140736366299616 18446744073709551615 7213579 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 18335 17432 710 1178 0 17153 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73340
[startup+25.5011 s]
/proc/loadavg: 1.30 1.47 1.76 3/178 11120
/proc/meminfo: memFree=31481856/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=73340 CPUtime=25.49 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 19131 0 0 0 2490 59 0 0 25 0 1 0 890623209 75100160 17434 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 18335 17434 712 1178 0 17153 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73340
[startup+51.1006 s]
/proc/loadavg: 1.54 1.51 1.77 3/178 11121
/proc/meminfo: memFree=31481364/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=73340 CPUtime=51.09 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 19132 0 0 0 4976 133 0 0 25 0 1 0 890623209 75100160 17435 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 18335 17435 712 1178 0 17153 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73340
[startup+102.307 s]
/proc/loadavg: 1.80 1.59 1.78 3/178 11122
/proc/meminfo: memFree=31480884/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=73340 CPUtime=102.3 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 19134 0 0 0 9938 292 0 0 25 0 1 0 890623209 75100160 17437 33554432000 4194304 9016284 140736366299616 18446744073709551615 7091744 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 18335 17437 713 1178 0 17153 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 73340
[startup+162.301 s]
/proc/loadavg: 1.92 1.66 1.79 3/178 11124
/proc/meminfo: memFree=31480932/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=73340 CPUtime=162.3 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 19134 0 0 0 15743 487 0 0 25 0 1 0 890623209 75100160 17437 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 18335 17437 713 1178 0 17153 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 73340
[startup+222.3 s]
/proc/loadavg: 1.97 1.72 1.80 3/178 11126
/proc/meminfo: memFree=31475684/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=79152 CPUtime=222.3 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 20596 0 0 0 21564 666 0 0 25 0 1 0 890623209 81051648 18889 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 19788 18889 713 1178 0 18606 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 79152
[startup+282.301 s]
/proc/loadavg: 1.99 1.77 1.81 3/178 11127
/proc/meminfo: memFree=31470796/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=84140 CPUtime=282.3 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 21823 0 0 0 27387 843 0 0 25 0 1 0 890623209 86159360 20116 33554432000 4194304 9016284 140736366299616 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 21035 20116 713 1178 0 19853 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 84140
[startup+342.3 s]
/proc/loadavg: 1.99 1.81 1.82 3/178 11129
/proc/meminfo: memFree=31469736/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=85020 CPUtime=342.3 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 22074 0 0 0 33210 1020 0 0 25 0 1 0 890623209 87060480 20367 33554432000 4194304 9016284 140736366299616 18446744073709551615 7158223 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 21255 20367 713 1178 0 20073 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 85020
[startup+402.301 s]
/proc/loadavg: 1.99 1.84 1.83 3/178 11130
/proc/meminfo: memFree=31466712/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=86908 CPUtime=402.3 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 22529 0 0 0 39027 1203 0 0 25 0 1 0 890623209 88993792 20822 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 21727 20822 713 1178 0 20545 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 86908
[startup+462.3 s]
/proc/loadavg: 1.99 1.86 1.83 3/178 11132
/proc/meminfo: memFree=31462840/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=89232 CPUtime=462.3 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 23124 0 0 0 44852 1378 0 0 25 0 1 0 890623209 91373568 21417 33554432000 4194304 9016284 140736366299616 18446744073709551615 7091770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 22308 21417 713 1178 0 21126 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 89232
[startup+522.301 s]
/proc/loadavg: 2.07 1.90 1.84 3/178 11134
/proc/meminfo: memFree=31461572/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=90080 CPUtime=522.3 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 23328 0 0 0 50665 1565 0 0 25 0 1 0 890623209 92241920 21621 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 22520 21621 713 1178 0 21338 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 90080
[startup+582.301 s]
/proc/loadavg: 2.02 1.92 1.85 3/178 11135
/proc/meminfo: memFree=31456708/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=92944 CPUtime=582.3 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 24049 0 0 0 56482 1748 0 0 25 0 1 0 890623209 95174656 22342 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 23236 22342 713 1178 0 22054 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 92944
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31443136/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=98540 CPUtime=1122.32 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 25470 0 0 0 108773 3459 0 0 25 0 1 0 890623209 100904960 23763 33554432000 4194304 9016284 140736366299616 18446744073709551615 6363036 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 24635 23763 713 1178 0 23453 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 98540
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 11151
/proc/meminfo: memFree=31442104/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=99352 CPUtime=1182.32 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 25654 0 0 0 114565 3667 0 0 25 0 1 0 890623209 101736448 23947 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 24838 23947 713 1178 0 23656 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 99352
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 11153
/proc/meminfo: memFree=31440936/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=99352 CPUtime=1242.32 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 25657 0 0 0 120373 3859 0 0 25 0 1 0 890623209 101736448 23950 33554432000 4194304 9016284 140736366299616 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 24838 23950 713 1178 0 23656 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 99352
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 11154
/proc/meminfo: memFree=31439524/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=99684 CPUtime=1302.33 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 25713 0 0 0 126196 4037 0 0 25 0 1 0 890623209 102076416 24006 33554432000 4194304 9016284 140736366299616 18446744073709551615 6422937 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 24921 24006 713 1178 0 23739 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 99684
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 11156
/proc/meminfo: memFree=31436020/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=100484 CPUtime=1362.32 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 25939 0 0 0 132004 4228 0 0 25 0 1 0 890623209 102895616 24232 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25121 24232 713 1178 0 23939 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 100484
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 11158
/proc/meminfo: memFree=31434836/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=100884 CPUtime=1422.33 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 26032 0 0 0 137816 4417 0 0 25 0 1 0 890623209 103305216 24325 33554432000 4194304 9016284 140736366299616 18446744073709551615 6422910 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25221 24325 713 1178 0 24039 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 100884
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 11159
/proc/meminfo: memFree=31433184/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=100884 CPUtime=1482.33 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 26068 0 0 0 143636 4597 0 0 25 0 1 0 890623209 103305216 24361 33554432000 4194304 9016284 140736366299616 18446744073709551615 7143440 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25221 24361 713 1178 0 24039 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 100884
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 11161
/proc/meminfo: memFree=31432268/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=101284 CPUtime=1542.33 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 26145 0 0 0 149458 4775 0 0 25 0 1 0 890623209 103714816 24438 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25321 24438 713 1178 0 24139 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 101284
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 11162
/proc/meminfo: memFree=31430492/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=102404 CPUtime=1602.33 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 26420 0 0 0 155271 4962 0 0 25 0 1 0 890623209 104861696 24713 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25601 24713 713 1178 0 24419 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 102404
[startup+1662.3 s]
/proc/loadavg: 2.05 1.99 1.91 3/178 11164
/proc/meminfo: memFree=31428956/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=103272 CPUtime=1662.33 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 26512 0 0 0 161087 5146 0 0 25 0 1 0 890623209 105750528 24805 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25818 24805 713 1178 0 24636 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 103272
[startup+1722.3 s]
/proc/loadavg: 2.02 1.99 1.91 3/178 11166
/proc/meminfo: memFree=31428416/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=103272 CPUtime=1722.33 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 26512 0 0 0 166896 5337 0 0 25 0 1 0 890623209 105750528 24805 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25818 24805 713 1178 0 24636 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 103272
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11167
/proc/meminfo: memFree=31427500/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=103272 CPUtime=1782.34 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 26512 0 0 0 172718 5516 0 0 25 0 1 0 890623209 105750528 24805 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25818 24805 713 1178 0 24636 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 103272
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11167
/proc/meminfo: memFree=31427620/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=103272 CPUtime=1785.53 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 26512 0 0 0 173030 5523 0 0 25 0 1 0 890623209 105750528 24805 33554432000 4194304 9016284 140736366299616 18446744073709551615 6422896 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25818 24805 713 1178 0 24636 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 103272
[startup+1791.91 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11168
/proc/meminfo: memFree=31427612/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=103272 CPUtime=1791.94 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 26512 0 0 0 173649 5545 0 0 25 0 1 0 890623209 105750528 24805 33554432000 4194304 9016284 140736366299616 18446744073709551615 6436920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25818 24805 713 1178 0 24636 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 103272
[startup+1795.1 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11168
/proc/meminfo: memFree=31427488/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=103272 CPUtime=1795.14 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 26512 0 0 0 173958 5556 0 0 25 0 1 0 890623209 105750528 24805 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25818 24805 713 1178 0 24636 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 103272
[startup+1795.9 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11168
/proc/meminfo: memFree=31427488/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=103272 CPUtime=1795.94 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 26512 0 0 0 174036 5558 0 0 25 0 1 0 890623209 105750528 24805 33554432000 4194304 9016284 140736366299616 18446744073709551615 4291222 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25818 24805 713 1178 0 24636 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 103272
[startup+1796.7 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11168
/proc/meminfo: memFree=31427364/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=103272 CPUtime=1796.73 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 26512 0 0 0 174113 5560 0 0 25 0 1 0 890623209 105750528 24805 33554432000 4194304 9016284 140736366299616 18446744073709551615 4291197 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25818 24805 713 1178 0 24636 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 103272
[startup+1796.9 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11168
/proc/meminfo: memFree=31427364/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=103272 CPUtime=1796.94 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 26512 0 0 0 174133 5561 0 0 25 0 1 0 890623209 105750528 24805 33554432000 4194304 9016284 140736366299616 18446744073709551615 6422910 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25818 24805 713 1178 0 24636 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 103272
[startup+1797 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 11168
/proc/meminfo: memFree=31427364/32950928 swapFree=67079488/67111528
[pid=11111] ppid=11109 vsize=103272 CPUtime=1797.03 cores=1,3,5,7
/proc/11111/stat : 11111 (scip-2.0.1.4b_2) R 11109 11111 7911 0 -1 4202496 26512 0 0 0 174142 5561 0 0 25 0 1 0 890623209 105750528 24805 33554432000 4194304 9016284 140736366299616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11111/statm: 25818 24805 713 1178 0 24636 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 103272
Child status: 0
Real time (s): 1797.06
CPU time (s): 1797.1
CPU user time (s): 1741.48
CPU system time (s): 55.6205
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 103272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1741.48
system time used= 55.6205
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26518
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= 6
involuntary context switches= 2534
runsolver used 2.46762 second user time and 5.87311 second system time
The end