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-3488983-1307774458.opb>
0.00/0.04 c original problem has 1288 variables (1288 bin, 0 int, 0 impl, 0 cont) and 2431 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.06 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.07 c (round 2) 1 del vars, 1183 del conss, 0 add conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 38 upgd conss, 0 impls, 0 clqs
0.07/0.08 c (round 3) 1 del vars, 1183 del conss, 1 add conss, 1 chg bounds, 3 chg sides, 39 chg coeffs, 66 upgd conss, 26 impls, 0 clqs
0.19/0.20 c (0.2s) probing: 151/1287 (11.7%) - 0 fixings, 0 aggregations, 4 implications, 0 bound changes
0.19/0.20 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (4 rounds):
0.19/0.20 c 1 deleted vars, 1183 deleted constraints, 1 added constraints, 1 tightened bounds, 0 added holes, 3 changed sides, 39 changed coefficients
0.19/0.20 c 36 implications, 0 cliques
0.19/0.20 c presolved problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 1249 constraints
0.19/0.20 c 66 constraints of type <knapsack>
0.19/0.20 c 1 constraints of type <setppc>
0.19/0.20 c 1182 constraints of type <linear>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.15
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 2.0.1.5
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1797
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 13950
0.19/0.20 c
0.19/0.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.20 c # [type: int, range: [1,2], default: 1]
0.19/0.20 c timing/clocktype = 2
0.19/0.20 c
0.19/0.20 c # belongs reading time to solving time?
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c timing/reading = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/indicator/addCouplingCons = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 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 | 249 | - | 10M| 0 | 228 |1287 |1268 |1287 |1249 | 0 | 19 | 0 | 5.500000e+01 | -- | Inf
0.59/0.66 c 0.7s| 1 | 0 | 1698 | - | 10M| 0 | 294 |1287 |1412 |1287 |1381 | 132 | 19 | 0 | 5.500000e+01 | -- | Inf
0.89/0.93 c 0.9s| 1 | 0 | 2736 | - | 11M| 0 | 674 |1287 |1412 |1287 |1545 | 296 | 19 | 0 | 5.500000e+01 | -- | Inf
1.09/1.19 c 1.2s| 1 | 0 | 3106 | - | 11M| 0 | 712 |1287 |1412 |1287 |1749 | 500 | 19 | 0 | 5.500000e+01 | -- | Inf
1.49/1.55 c 1.5s| 1 | 0 | 3511 | - | 12M| 0 | 670 |1287 |1412 |1287 |1955 | 706 | 19 | 0 | 5.500000e+01 | -- | Inf
1.99/2.00 c 2.0s| 1 | 0 | 4136 | - | 13M| 0 | 695 |1287 |1412 |1287 |2126 | 877 | 19 | 0 | 5.500000e+01 | -- | Inf
2.49/2.52 c 2.5s| 1 | 0 | 4704 | - | 13M| 0 | 706 |1287 |1412 |1287 |2293 |1044 | 19 | 0 | 5.500000e+01 | -- | Inf
5.60/5.67 c 5.7s| 1 | 2 | 4704 | - | 13M| 0 | 706 |1287 |1412 |1287 |2293 |1044 | 19 | 23 | 5.500000e+01 | -- | Inf
129.40/129.41 c 129s| 10000 | 4833 | 1542k| 153.8 | 50M| 63 | 302 |1287 |3821 |1287 |1344 |1044 | 15k|4724 | 5.500000e+01 | -- | Inf
215.50/215.55 c 216s| 20000 | 8673 | 2738k| 136.7 | 86M| 63 | - |1287 |4250 | 0 | 0 |1044 | 31k|8049 | 5.500000e+01 | -- | Inf
284.40/284.43 c 284s| 30000 | 11807 | 3704k| 123.3 | 117M| 63 | 202 |1287 |5515 |1287 |1344 |1044 | 47k| 10k| 5.500000e+01 | -- | Inf
340.91/340.96 c 341s| 40000 | 14372 | 4446k| 111.0 | 141M| 63 | - |1287 |5435 |1287 |1344 |1044 | 61k| 11k| 5.500000e+01 | -- | Inf
408.81/408.86 c 409s| 50000 | 17266 | 5300k| 105.9 | 170M| 63 | - |1287 |5442 | 0 | 0 |1044 | 76k| 14k| 5.500000e+01 | -- | Inf
473.91/473.91 c 474s| 60000 | 19901 | 6083k| 101.3 | 199M| 64 | 188 |1287 |5777 |1287 |1344 |1044 | 92k| 17k| 5.500000e+01 | -- | Inf
520.90/520.90 c 521s| 70000 | 21829 | 6729k| 96.1 | 222M| 66 | - |1287 |5778 | 0 | 0 |1044 | 106k| 17k| 5.500000e+01 | -- | Inf
580.10/580.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
580.10/580.14 c 580s| 80000 | 23963 | 7427k| 92.8 | 245M| 66 | 165 |1287 |5740 |1287 |1344 |1044 | 122k| 20k| 5.500000e+01 | -- | Inf
630.61/630.66 c 631s| 90000 | 26104 | 8156k| 90.6 | 268M| 66 | - |1287 |5904 | 0 | 0 |1044 | 137k| 20k| 5.500000e+01 | -- | Inf
697.11/697.18 c 697s|100000 | 28316 | 9013k| 90.1 | 290M| 69 | 176 |1287 |4906 |1287 |1344 |1044 | 154k| 22k| 5.500000e+01 | -- | Inf
746.82/746.81 c 747s|110000 | 30522 | 9724k| 88.4 | 311M| 69 | 248 |1287 |5243 |1287 |1344 |1044 | 170k| 23k| 5.500000e+01 | -- | Inf
802.52/802.54 c 803s|120000 | 32847 | 10563k| 88.0 | 335M| 69 | - |1287 |6882 | 0 | 0 |1044 | 186k| 24k| 5.500000e+01 | -- | Inf
860.52/860.56 c 861s|130000 | 34888 | 11367k| 87.4 | 354M| 69 | 274 |1287 |5700 |1287 |1344 |1044 | 202k| 25k| 5.500000e+01 | -- | Inf
913.92/913.95 c 914s|140000 | 36810 | 12141k| 86.7 | 376M| 71 | - |1287 |6535 | 0 | 0 |1044 | 218k| 26k| 5.500000e+01 | -- | Inf
971.72/971.72 c 972s|150000 | 38612 | 12872k| 85.8 | 397M| 71 | - |1287 |6660 |1287 |1344 |1044 | 234k| 28k| 5.500000e+01 | -- | Inf
1019.42/1019.44 c 1019s|160000 | 40235 | 13561k| 84.7 | 419M| 71 | 75 |1287 |7054 |1287 |1344 |1044 | 249k| 28k| 5.500000e+01 | -- | Inf
1074.82/1074.87 c 1075s|170000 | 41894 | 14280k| 84.0 | 440M| 71 | 155 |1287 |6556 |1287 |1344 |1044 | 264k| 30k| 5.500000e+01 | -- | Inf
1130.83/1130.85 c 1131s|180000 | 43165 | 14967k| 83.1 | 457M| 72 | - |1287 |6222 | 0 | 0 |1044 | 280k| 32k| 5.500000e+01 | -- | Inf
1173.83/1173.88 c 1174s|190000 | 44803 | 15635k| 82.3 | 475M| 72 | - |1287 |6905 | 0 | 0 |1044 | 296k| 32k| 5.500000e+01 | -- | Inf
1227.73/1227.78 c 1228s|200000 | 45959 | 16323k| 81.6 | 491M| 73 | 61 |1287 |6686 |1287 |1344 |1044 | 313k| 34k| 5.500000e+01 | -- | Inf
1284.23/1284.22 c 1284s|210000 | 47752 | 17048k| 81.2 | 513M| 73 | - |1287 |6616 |1287 |1344 |1044 | 328k| 35k| 5.500000e+01 | -- | Inf
1328.63/1328.61 c 1329s|220000 | 49044 | 17737k| 80.6 | 530M| 73 | - |1287 |6587 | 0 | 0 |1044 | 344k| 35k| 5.500000e+01 | -- | Inf
1385.43/1385.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1385.43/1385.43 c 1385s|230000 | 50904 | 18492k| 80.4 | 551M| 73 | 87 |1287 |6458 |1287 |1344 |1044 | 360k| 37k| 5.500000e+01 | -- | Inf
1437.74/1437.80 c 1438s|240000 | 52221 | 19173k| 79.9 | 567M| 73 | 108 |1287 |7318 |1287 |1344 |1044 | 376k| 38k| 5.500000e+01 | -- | Inf
1481.24/1481.20 c 1481s|250000 | 53820 | 19832k| 79.3 | 586M| 73 | - |1287 |6635 | 0 | 0 |1044 | 391k| 38k| 5.500000e+01 | -- | Inf
1534.84/1534.85 c 1535s|260000 | 55015 | 20600k| 79.2 | 603M| 73 | - |1287 |6419 | 0 | 0 |1044 | 407k| 39k| 5.500000e+01 | -- | Inf
1591.75/1591.75 c 1592s|270000 | 56556 | 21359k| 79.1 | 625M| 73 | 71 |1287 |8241 |1287 |1344 |1044 | 424k| 41k| 5.500000e+01 | -- | Inf
1633.64/1633.60 c 1634s|280000 | 57896 | 21958k| 78.4 | 638M| 73 | - |1287 |7016 | 0 | 0 |1044 | 440k| 41k| 5.500000e+01 | -- | Inf
1677.85/1677.85 c 1678s|290000 | 59741 | 22598k| 77.9 | 657M| 73 | 64 |1287 |6880 |1287 |1344 |1044 | 455k| 42k| 5.500000e+01 | -- | Inf
1733.84/1733.82 c 1734s|300000 | 61246 | 23358k| 77.8 | 674M| 73 | 87 |1287 |5525 |1287 |1344 |1044 | 471k| 43k| 5.500000e+01 | -- | Inf
1789.05/1789.01 c 1789s|310000 | 62516 | 24123k| 77.8 | 686M| 76 | 65 |1287 |5636 |1287 |1344 |1044 | 487k| 44k| 5.500000e+01 | -- | Inf
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 311542
1797.05/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.05/1797.00 c Dual Bound : +5.50000000000000e+01
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 s UNKNOWN
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.15 (included in solving)
1797.05/1797.00 c reading : 0.04 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3488983-1307774458.opb
1797.05/1797.00 c Variables : 1288 (1288 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 2431 initial, 2431 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3488983-1307774458.opb
1797.05/1797.00 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 1249 initial, 8701 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.11 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c knapsack : 0.00 0 0 0 0 0 0 1 1 2
1797.05/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c linear : 0.03 1 0 0 1 0 1183 0 2 37
1797.05/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c root node : - 0 - - 0 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 222526 0 4 0 179 27565 0 0 430950
1797.05/1797.00 c knapsack : 66 6 1228138 0 1 3 1091839 5507 649757 159 0 0
1797.05/1797.00 c setppc : 1 6 6323 0 0 1 30271 0 134 0 0 0
1797.05/1797.00 c linear : 1182+ 7 1225341 0 1 1 1757698 120991 23230696 0 0 0
1797.05/1797.00 c logicor : 0+ 6 654225 0 0 0 1654033 6432 618564 1 0 0
1797.05/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 268.21 0.00 0.00 268.21 0.00 0.00 0.00
1797.05/1797.00 c knapsack : 9.00 0.00 8.42 0.00 0.00 0.00 0.58
1797.05/1797.00 c setppc : 0.02 0.00 0.01 0.00 0.00 0.00 0.01
1797.05/1797.00 c linear : 154.48 0.00 151.94 0.00 0.00 0.00 2.53
1797.05/1797.00 c logicor : 33.07 0.00 31.59 0.00 0.00 0.00 1.47
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 0 0 0 0
1797.05/1797.00 c pseudoobj : 1230544 0 0 0
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 0.20 0.20 0.00
1797.05/1797.00 c rootredcost : 0.21 0.21 0.00
1797.05/1797.00 c pseudoobj : 0.61 0.61 0.00
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 9.13 132930 132419 1272112 40.0 7302 27.5 -
1797.05/1797.00 c infeasible LP : 4.60 28184 28184 161369 32.6 3179 24.7 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 490290 32.8 - - -
1797.05/1797.00 c applied locally : - - - 0 0.0 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.00 5 - - 386 - (maximal pool size: 3852)
1797.05/1797.00 c redcost : 4.32 222492 0 17 0 0
1797.05/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 0.19 6 0 0 23 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 0.18 6 0 0 23 0
1797.05/1797.00 c cmir : 0.68 6 0 0 2798 0
1797.05/1797.00 c flowcover : 0.38 6 0 0 1200 0
1797.05/1797.00 c clique : 0.00 1 0 0 0 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.00 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.23 1 0 0 0 144
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 268.04 222526 179 27565 0 0 430950
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.00 - 0
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c oneopt : 0.11 0 0
1797.05/1797.00 c crossover : 0.07 0 0
1797.05/1797.00 c guideddiving : 0.01 0 0
1797.05/1797.00 c veclendiving : 14.89 942 0
1797.05/1797.00 c linesearchdiving : 13.42 942 0
1797.05/1797.00 c feaspump : 20.77 471 0
1797.05/1797.00 c pscostdiving : 19.03 943 0
1797.05/1797.00 c coefdiving : 27.10 943 0
1797.05/1797.00 c fracdiving : 22.28 943 0
1797.05/1797.00 c objpscostdiving : 19.83 472 0
1797.05/1797.00 c rootsoldiving : 12.11 472 0
1797.05/1797.00 c trivial : 0.00 2 0
1797.05/1797.00 c shiftandpropagate: 0.02 1 0
1797.05/1797.00 c simplerounding : 0.06 0 0
1797.05/1797.00 c zirounding : 0.17 1000 0
1797.05/1797.00 c rounding : 0.81 6613 0
1797.05/1797.00 c shifting : 9.47 2026 0
1797.05/1797.00 c intshifting : 0.00 0 0
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.01 0 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.00 0 0
1797.05/1797.00 c subnlp : 0.06 0 0
1797.05/1797.00 c trysol : 0.07 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.05/1797.00 c dual LP : 979.42 239148 22600165 94.50 23074.97
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 117.87 58220 1659123 28.50 14075.95
1797.05/1797.00 c strong branching : 256.71 44564 3925033 88.08 15289.67
1797.05/1797.00 c (at root node) : - 23 15946 693.30 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 311542
1797.05/1797.00 c nodes (total) : 311542
1797.05/1797.00 c nodes left : 62741
1797.05/1797.00 c max depth : 76
1797.05/1797.00 c max depth (total): 76
1797.05/1797.00 c backtracks : 64544 (20.7%)
1797.05/1797.00 c delayed cutoffs : 56670
1797.05/1797.00 c repropagations : 267605 (5427097 domain reductions, 40424 cutoffs)
1797.05/1797.00 c avg switch length: 7.06
1797.05/1797.00 c switching time : 130.70
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 0 (0 improvements)
1797.05/1797.00 c Primal Bound : -
1797.05/1797.00 c Dual Bound : +5.50000000000000e+01
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 c Root Dual Bound : +5.50000000000000e+01
1797.05/1797.00 c Root Iterations : 4704
1797.45/1797.44 c Time complete: 1797.49.
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-3488983-1307774458/watcher-3488983-1307774458 -o /tmp/evaluation-result-3488983-1307774458/solver-3488983-1307774458 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488983-1307774458.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: 1.99 1.99 1.98 2/177 8197
/proc/meminfo: memFree=31600764/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=12560 CPUtime=0 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 2128 0 0 0 0 0 0 0 25 0 1 0 967676442 12861440 2083 33554432000 4194304 9016284 140734922071408 18446744073709551615 4894931 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8197/statm: 3140 2086 356 1178 0 1958 0
[startup+0.08043 s]
/proc/loadavg: 1.99 1.99 1.98 2/177 8197
/proc/meminfo: memFree=31600764/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=37732 CPUtime=0.07 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 8367 0 0 0 7 0 0 0 25 0 1 0 967676442 38637568 8065 33554432000 4194304 9016284 140734922071408 18446744073709551615 5251930 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 9433 8065 513 1178 0 8251 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 37732
[startup+0.100462 s]
/proc/loadavg: 1.99 1.99 1.98 2/177 8197
/proc/meminfo: memFree=31600764/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=37732 CPUtime=0.09 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 8398 0 0 0 9 0 0 0 25 0 1 0 967676442 38637568 8096 33554432000 4194304 9016284 140734922071408 18446744073709551615 5252669 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 9433 8096 525 1178 0 8251 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37732
[startup+0.300447 s]
/proc/loadavg: 1.99 1.99 1.98 2/177 8197
/proc/meminfo: memFree=31600764/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=45060 CPUtime=0.29 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 10596 0 0 0 28 1 0 0 25 0 1 0 967676442 46141440 10032 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 11265 10032 660 1178 0 10083 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45060
[startup+0.700374 s]
/proc/loadavg: 1.99 1.99 1.98 2/177 8197
/proc/meminfo: memFree=31600764/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=65260 CPUtime=0.69 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 16378 0 0 0 67 2 0 0 25 0 1 0 967676442 66826240 15079 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 16315 15079 702 1178 0 15133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65260
[startup+1.50017 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8198
/proc/meminfo: memFree=31543120/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=65260 CPUtime=1.49 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 16592 0 0 0 146 3 0 0 25 0 1 0 967676442 66826240 15226 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 16315 15226 702 1178 0 15133 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65260
[startup+3.10088 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8198
/proc/meminfo: memFree=31542376/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=66636 CPUtime=3.09 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 17052 0 0 0 303 6 0 0 25 0 1 0 967676442 68235264 15686 33554432000 4194304 9016284 140734922071408 18446744073709551615 7199015 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 16659 15686 703 1178 0 15477 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66636
[startup+6.30035 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8198
/proc/meminfo: memFree=31540408/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=66636 CPUtime=6.29 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 17063 0 0 0 615 14 0 0 25 0 1 0 967676442 68235264 15697 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 16659 15697 703 1178 0 15477 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66636
[startup+12.7002 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8198
/proc/meminfo: memFree=31540308/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=66636 CPUtime=12.69 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 17065 0 0 0 1216 53 0 0 25 0 1 0 967676442 68235264 15699 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 16659 15699 705 1178 0 15477 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66636
[startup+25.5008 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8199
/proc/meminfo: memFree=31540268/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=66636 CPUtime=25.49 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 17067 0 0 0 2420 129 0 0 25 0 1 0 967676442 68235264 15701 33554432000 4194304 9016284 140734922071408 18446744073709551615 6842544 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 16659 15701 706 1178 0 15477 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66636
[startup+51.1001 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8199
/proc/meminfo: memFree=31538372/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=69060 CPUtime=51.09 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 17629 0 0 0 4817 292 0 0 25 0 1 0 967676442 70717440 16240 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 17265 16240 706 1178 0 16083 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 69060
[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8201
/proc/meminfo: memFree=31517344/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=89596 CPUtime=102.3 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 22919 0 0 0 9620 610 0 0 25 0 1 0 967676442 91746304 21413 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 22399 21413 706 1178 0 21217 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 89596
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8202
/proc/meminfo: memFree=31484008/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=122712 CPUtime=162.29 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 31343 0 0 0 15258 971 0 0 25 0 1 0 967676442 125657088 29676 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 30678 29676 706 1178 0 29496 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 122712
[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.98 3/178 8204
/proc/meminfo: memFree=31446720/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=160448 CPUtime=222.29 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 41317 0 0 0 20871 1358 0 0 25 0 1 0 967676442 164298752 39107 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 40112 39107 706 1178 0 38930 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 160448
[startup+282.301 s]
/proc/loadavg: 2.07 2.01 1.99 3/178 8244
/proc/meminfo: memFree=31407908/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=196812 CPUtime=282.3 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 50832 0 0 0 26536 1694 0 0 25 0 1 0 967676442 201535488 48222 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 49203 48222 706 1178 0 48021 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 196812
[startup+342.301 s]
/proc/loadavg: 2.02 2.00 1.99 3/178 8245
/proc/meminfo: memFree=31370152/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=234836 CPUtime=342.31 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 61185 0 0 0 32268 1963 0 0 25 0 1 0 967676442 240472064 57676 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 58709 57676 709 1178 0 57527 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 234836
[startup+402.301 s]
/proc/loadavg: 2.01 2.00 1.99 3/178 8247
/proc/meminfo: memFree=31336780/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=268036 CPUtime=402.31 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 69665 0 0 0 38001 2230 0 0 25 0 1 0 967676442 274468864 65831 33554432000 4194304 9016284 140734922071408 18446744073709551615 5228151 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 67009 65831 709 1178 0 65827 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 268036
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 8248
/proc/meminfo: memFree=31293716/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=302620 CPUtime=462.31 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 78363 0 0 0 43741 2490 0 0 25 0 1 0 967676442 309882880 74402 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 75655 74402 713 1178 0 74473 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 302620
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 8250
/proc/meminfo: memFree=31245040/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=342168 CPUtime=522.31 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 87919 0 0 0 49490 2741 0 0 25 0 1 0 967676442 350380032 83552 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 85542 83552 734 1178 0 84360 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 342168
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 8252
/proc/meminfo: memFree=31199228/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=377240 CPUtime=582.31 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 97479 0 0 0 55240 2991 0 0 25 0 1 0 967676442 386293760 91951 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 94310 91951 765 1178 0 93128 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 377240
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30859952/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=645480 CPUtime=1122.33 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 161553 0 0 0 106893 5340 0 0 25 0 1 0 967676442 660971520 153316 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 161370 153316 815 1178 0 160188 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 645480
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 8268
/proc/meminfo: memFree=30829392/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=675092 CPUtime=1182.33 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 168500 0 0 0 112639 5594 0 0 25 0 1 0 967676442 691294208 160037 33554432000 4194304 9016284 140734922071408 18446744073709551615 6817781 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 168773 160037 799 1178 0 167591 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 675092
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 8278
/proc/meminfo: memFree=30784892/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=705968 CPUtime=1242.33 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 175696 0 0 0 118367 5866 0 0 25 0 1 0 967676442 722911232 167018 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 176492 167018 801 1178 0 175310 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 705968
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 8280
/proc/meminfo: memFree=30752844/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=726812 CPUtime=1302.34 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 180651 0 0 0 124112 6122 0 0 25 0 1 0 967676442 744255488 171857 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 181703 171857 783 1178 0 180521 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 726812
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 8281
/proc/meminfo: memFree=30716196/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=756800 CPUtime=1362.33 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 187933 0 0 0 129842 6391 0 0 25 0 1 0 967676442 774963200 178916 33554432000 4194304 9016284 140734922071408 18446744073709551615 5228151 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 189200 178916 809 1178 0 188018 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 756800
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 8283
/proc/meminfo: memFree=30677836/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=786984 CPUtime=1422.34 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 194553 0 0 0 135590 6644 0 0 25 0 1 0 967676442 805871616 185378 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 196746 185378 796 1178 0 195564 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 786984
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 8285
/proc/meminfo: memFree=30636004/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=824236 CPUtime=1482.34 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 202099 0 0 0 141332 6902 0 0 25 0 1 0 967676442 844017664 192700 33554432000 4194304 9016284 140734922071408 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 206059 192700 810 1178 0 204877 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 824236
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8286
/proc/meminfo: memFree=30602468/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=849412 CPUtime=1542.34 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 208106 0 0 0 147059 7175 0 0 25 0 1 0 967676442 869797888 198450 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 212353 198450 841 1178 0 211171 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 849412
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8288
/proc/meminfo: memFree=30568432/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=882624 CPUtime=1602.34 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 214913 0 0 0 152800 7434 0 0 25 0 1 0 967676442 903806976 205181 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 220656 205181 853 1178 0 219474 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 882624
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8289
/proc/meminfo: memFree=30539128/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=901584 CPUtime=1662.34 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 219914 0 0 0 158554 7680 0 0 25 0 1 0 967676442 923222016 210097 33554432000 4194304 9016284 140734922071408 18446744073709551615 4926226 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 225396 210097 852 1178 0 224214 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 901584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8291
/proc/meminfo: memFree=30502108/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=929740 CPUtime=1722.35 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 226635 0 0 0 164290 7945 0 0 25 0 1 0 967676442 952053760 216554 33554432000 4194304 9016284 140734922071408 18446744073709551615 7198956 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 232435 216554 906 1178 0 231253 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 929740
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8293
/proc/meminfo: memFree=30474640/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=948308 CPUtime=1782.35 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 231123 0 0 0 170021 8214 0 0 25 0 1 0 967676442 971067392 220886 33554432000 4194304 9016284 140734922071408 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 237077 220886 903 1178 0 235895 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 948308
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8293
/proc/meminfo: memFree=30472408/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=950632 CPUtime=1785.54 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 231769 0 0 0 170327 8227 0 0 25 0 1 0 967676442 973447168 221456 33554432000 4194304 9016284 140734922071408 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 237658 221456 914 1178 0 236476 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 950632
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8293
/proc/meminfo: memFree=30471156/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=950880 CPUtime=1791.95 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 231981 0 0 0 170939 8256 0 0 25 0 1 0 967676442 973701120 221657 33554432000 4194304 9016284 140734922071408 18446744073709551615 5214824 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 237720 221657 903 1178 0 236538 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 950880
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8293
/proc/meminfo: memFree=30468180/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=951892 CPUtime=1795.16 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 232280 0 0 0 171242 8274 0 0 25 0 1 0 967676442 974737408 221956 33554432000 4194304 9016284 140734922071408 18446744073709551615 5254025 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 237973 221956 903 1178 0 236791 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 951892
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8293
/proc/meminfo: memFree=30464832/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=953724 CPUtime=1796.75 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 232524 0 0 0 171394 8281 0 0 25 0 1 0 967676442 976613376 222197 33554432000 4194304 9016284 140734922071408 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8197/statm: 238431 222197 903 1178 0 237249 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 953724
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8293
/proc/meminfo: memFree=30464832/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=955424 CPUtime=1797.15 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 232683 0 0 0 171433 8282 0 0 25 0 1 0 967676442 978354176 222356 33554432000 4194304 9016284 140734922071408 18446744073709551615 4330237 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8197/statm: 238856 222356 905 1178 0 237674 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 955424
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8293
/proc/meminfo: memFree=30463964/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=955424 CPUtime=1797.35 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 232683 0 0 0 171453 8282 0 0 25 0 1 0 967676442 978354176 222356 33554432000 4194304 9016284 140734922071408 18446744073709551615 4329762 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8197/statm: 238856 222356 905 1178 0 237674 0
Current children cumulated CPU time (s) 1797.35
Current children cumulated vsize (KiB) 955424
[startup+1797.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8293
/proc/meminfo: memFree=30463964/32950928 swapFree=67051812/67111528
[pid=8197] ppid=8195 vsize=938172 CPUtime=1797.45 cores=1,3,5,7
/proc/8197/stat : 8197 (scip-2.0.1.4b_2) R 8195 8197 3085 0 -1 4202496 232683 0 0 0 171463 8282 0 0 25 0 1 0 967676442 960688128 217890 33554432000 4194304 9016284 140734922071408 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8197/statm: 234376 217890 905 1178 0 233194 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 938172
Child status: 0
Real time (s): 1797.44
CPU time (s): 1797.5
CPU user time (s): 1714.64
CPU system time (s): 82.8614
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 955424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1714.64
system time used= 82.8614
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232688
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= 7
involuntary context switches= 1527
runsolver used 2.6486 second user time and 5.84111 second system time
The end