PB'10 competition: satisfaction and optimization track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver	? (TO)	1802.18	1802.74

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 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-2663427-1276677371.opb>
0.01/0.03	c original problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1562 constraints
0.01/0.03	c problem read
0.01/0.03	c No objective function, only one solution is needed.
0.01/0.03	c presolving settings loaded
0.01/0.03	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.01/0.04	c presolving:
0.19/0.24	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10280 impls, 200 clqs
0.39/0.42	c presolving (2 rounds):
0.39/0.42	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.42	c  10280 implications, 200 cliques
0.39/0.42	c presolved problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1562 constraints
0.39/0.42	c       1 constraints of type <knapsack>
0.39/0.42	c     200 constraints of type <setppc>
0.39/0.42	c    1260 constraints of type <and>
0.39/0.42	c       1 constraints of type <linear>
0.39/0.42	c     100 constraints of type <logicor>
0.39/0.42	c transformed objective value is always integral (scale: 1)
0.39/0.42	c Presolving Time: 0.21
0.39/0.42	c - non default parameters ----------------------------------------------------------------------
0.39/0.42	c # SCIP version 1.2.1.2
0.39/0.42	c 
0.39/0.42	c # frequency for displaying node information lines
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42	c display/freq = 10000
0.39/0.42	c 
0.39/0.42	c # maximal time in seconds to run
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42	c limits/time = 1799.99
0.39/0.42	c 
0.39/0.42	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42	c limits/memory = 1620
0.39/0.42	c 
0.39/0.42	c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42	c limits/solutions = 1
0.39/0.42	c 
0.39/0.42	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c lp/solvefreq = -1
0.39/0.42	c 
0.39/0.42	c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.42	c separating/maxrounds = 1
0.39/0.42	c 
0.39/0.42	c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42	c separating/maxroundsroot = 5
0.39/0.42	c 
0.39/0.42	c # should presolving try to simplify inequalities
0.39/0.42	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42	c constraints/linear/simplifyinequalities = TRUE
0.39/0.42	c 
0.39/0.42	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.42	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.42	c constraints/knapsack/disaggregation = FALSE
0.39/0.42	c 
0.39/0.42	c # should presolving try to simplify knapsacks
0.39/0.42	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.42	c 
0.39/0.42	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42	c presolving/probing/maxrounds = 0
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/coefdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.42	c heuristics/crossover/freq = -1
0.39/0.42	c 
0.39/0.42	c # number of nodes added to the contingent of the total nodes
0.39/0.42	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.42	c heuristics/crossover/nodesofs = 750
0.39/0.42	c 
0.39/0.42	c # number of nodes without incumbent change that heuristic should wait
0.39/0.42	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.42	c heuristics/crossover/nwaitingnodes = 100
0.39/0.42	c 
0.39/0.42	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.42	c # [type: real, range: [0,1], default: 0.1]
0.39/0.42	c heuristics/crossover/nodesquot = 0.15
0.39/0.42	c 
0.39/0.42	c # minimum percentage of integer variables that have to be fixed 
0.39/0.42	c # [type: real, range: [0,1], default: 0.666]
0.39/0.42	c heuristics/crossover/minfixingrate = 0.5
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42	c heuristics/feaspump/freq = -1
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/fracdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/guideddiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/intshifting/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/linesearchdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/nlp/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42	c heuristics/objpscostdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.42	c # [type: real, range: [0,1], default: 0.01]
0.39/0.42	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/oneopt/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/pscostdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42	c heuristics/rens/freq = -1
0.39/0.42	c 
0.39/0.42	c # minimum percentage of integer variables that have to be fixable 
0.39/0.42	c # [type: real, range: [0,1], default: 0.5]
0.39/0.42	c heuristics/rens/minfixingrate = 0.3
0.39/0.42	c 
0.39/0.42	c # number of nodes added to the contingent of the total nodes
0.39/0.42	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.42	c heuristics/rens/nodesofs = 2000
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42	c heuristics/rootsoldiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.42	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/rounding/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/shifting/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/simplerounding/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42	c heuristics/trivial/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/trysol/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/veclendiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/zirounding/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42	c separating/cmir/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42	c separating/flowcover/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42	c separating/rapidlearning/freq = 0
0.39/0.42	c 
0.39/0.42	c -----------------------------------------------------------------------------------------------
0.39/0.42	c start solving
0.39/0.43	c 
0.39/0.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.43	c   0.2s|     1 |     2 |     0 |     - |4052k|   0 |   - |1460 |1562 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.19/7.20	c   6.7s| 10000 |  7714 |     0 |   0.0 |  14M| 141 |   - |1460 |1819 |   0 |   0 |   0 |1307 |   0 | 0.000000e+00 |      --      |    Inf 
14.69/14.72	c  13.9s| 20000 | 16180 |     0 |   0.0 |  24M| 141 |   - |1460 |1946 |   0 |   0 |   0 |2050 |   0 | 0.000000e+00 |      --      |    Inf 
22.49/22.59	c  21.5s| 30000 | 23475 |     0 |   0.0 |  33M| 141 |   - |1460 |1999 |   0 |   0 |   0 |2769 |   0 | 0.000000e+00 |      --      |    Inf 
30.38/30.48	c  29.1s| 40000 | 30354 |     0 |   0.0 |  41M| 141 |   - |1460 |2063 |   0 |   0 |   0 |3792 |   0 | 0.000000e+00 |      --      |    Inf 
38.49/38.55	c  36.8s| 50000 | 36504 |     0 |   0.0 |  48M| 141 |   - |1460 |2085 |   0 |   0 |   0 |4808 |   0 | 0.000000e+00 |      --      |    Inf 
46.68/46.79	c  44.8s| 60000 | 41849 |     0 |   0.0 |  55M| 141 |   - |1460 |2050 |   0 |   0 |   0 |5590 |   0 | 0.000000e+00 |      --      |    Inf 
55.27/55.33	c  53.0s| 70000 | 46558 |     0 |   0.0 |  61M| 141 |   - |1460 |2060 |   0 |   0 |   0 |6479 |   0 | 0.000000e+00 |      --      |    Inf 
64.07/64.11	c  61.5s| 80000 | 50658 |     0 |   0.0 |  67M| 141 |   - |1460 |2139 |   0 |   0 |   0 |7617 |   0 | 0.000000e+00 |      --      |    Inf 
72.97/73.04	c  70.1s| 90000 | 54236 |     0 |   0.0 |  72M| 141 |   - |1460 |2185 |   0 |   0 |   0 |8839 |   0 | 0.000000e+00 |      --      |    Inf 
82.06/82.15	c  78.9s|100000 | 57378 |     0 |   0.0 |  77M| 141 |   - |1460 |2289 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
90.36/90.49	c  86.9s|110000 | 60396 |     0 |   0.0 |  82M| 141 |   - |1460 |2553 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
98.87/98.99	c  94.9s|120000 | 63107 |     0 |   0.0 |  87M| 141 |   - |1460 |3129 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
107.66/107.78	c   103s|130000 | 65090 |     0 |   0.0 |  92M| 141 |   - |1460 |3639 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
116.56/116.68	c   112s|140000 | 71794 |     0 |   0.0 | 102M| 141 |   - |1460 |2192 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
125.65/125.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
125.65/125.71	c   121s|150000 | 79232 |     0 |   0.0 | 111M| 141 |   - |1460 |2345 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
134.95/135.05	c   130s|160000 | 86046 |     0 |   0.0 | 119M| 141 |   - |1460 |2337 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
144.55/144.68	c   139s|170000 | 92619 |     0 |   0.0 | 128M| 141 |   - |1460 |2356 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
154.14/154.22	c   148s|180000 | 99216 |     0 |   0.0 | 136M| 141 |   - |1460 |2270 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
163.53/163.68	c   157s|190000 |105860 |     0 |   0.0 | 144M| 141 |   - |1460 |2347 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
173.03/173.17	c   166s|200000 |112414 |     0 |   0.0 | 153M| 141 |   - |1460 |2320 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
182.44/182.50	c   175s|210000 |118912 |     0 |   0.0 | 161M| 141 |   - |1460 |2314 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
191.73/191.81	c   184s|220000 |125455 |     0 |   0.0 | 169M| 141 |   - |1460 |2357 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
200.92/201.01	c   193s|230000 |131965 |     0 |   0.0 | 177M| 141 |   - |1460 |2328 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
210.03/210.17	c   202s|240000 |138601 |     0 |   0.0 | 186M| 141 |   - |1460 |2382 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
219.52/219.61	c   211s|250000 |144840 |     0 |   0.0 | 194M| 141 |   - |1460 |2377 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
228.72/228.87	c   220s|260000 |151195 |     0 |   0.0 | 202M| 141 |   - |1460 |2271 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
238.22/238.31	c   229s|270000 |157370 |     0 |   0.0 | 210M| 141 |   - |1460 |2367 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
247.51/247.63	c   238s|280000 |163610 |     0 |   0.0 | 218M| 141 |   - |1460 |2331 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
256.81/256.94	c   247s|290000 |169919 |     0 |   0.0 | 226M| 141 |   - |1460 |2340 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
266.11/266.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
266.11/266.27	c   256s|300000 |176120 |     0 |   0.0 | 234M| 141 |   - |1460 |2424 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
275.51/275.62	c   265s|310000 |182496 |     0 |   0.0 | 242M| 141 |   - |1460 |2345 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
284.80/284.91	c   274s|320000 |188722 |     0 |   0.0 | 249M| 141 |   - |1460 |2328 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
294.19/294.37	c   284s|330000 |194863 |     0 |   0.0 | 257M| 141 |   - |1460 |2372 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
303.59/303.74	c   293s|340000 |201063 |     0 |   0.0 | 265M| 141 |   - |1460 |2395 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
312.99/313.19	c   302s|350000 |207164 |     0 |   0.0 | 273M| 141 |   - |1460 |2440 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
322.49/322.67	c   311s|360000 |213200 |     0 |   0.0 | 281M| 141 |   - |1460 |2411 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
331.89/332.00	c   320s|370000 |219168 |     0 |   0.0 | 289M| 141 |   - |1460 |2385 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
341.38/341.57	c   329s|380000 |225069 |     0 |   0.0 | 297M| 141 |   - |1460 |2454 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
350.69/350.81	c   338s|390000 |231059 |     0 |   0.0 | 304M| 141 |   - |1460 |2452 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
360.18/360.39	c   347s|400000 |236937 |     0 |   0.0 | 312M| 141 |   - |1460 |2465 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
369.87/370.01	c   357s|410000 |242528 |     0 |   0.0 | 320M| 141 |   - |1460 |2407 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
379.07/379.28	c   366s|420000 |248461 |     0 |   0.0 | 327M| 141 |   - |1460 |2451 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
388.87/389.05	c   375s|430000 |254150 |     0 |   0.0 | 335M| 141 |   - |1460 |2612 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
398.26/398.43	c   384s|440000 |260003 |     0 |   0.0 | 343M| 141 |   - |1460 |2478 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
407.65/407.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
407.65/407.88	c   393s|450000 |265775 |     0 |   0.0 | 351M| 141 |   - |1460 |2532 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
417.25/417.45	c   403s|460000 |271463 |     0 |   0.0 | 358M| 141 |   - |1460 |2436 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
426.46/426.69	c   412s|470000 |277344 |     0 |   0.0 | 366M| 141 |   - |1460 |2445 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
436.05/436.25	c   421s|480000 |283038 |     0 |   0.0 | 373M| 141 |   - |1460 |2551 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
445.84/446.01	c   430s|490000 |288525 |     0 |   0.0 | 381M| 141 |   - |1460 |2518 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
455.35/455.53	c   440s|500000 |294177 |     0 |   0.0 | 388M| 141 |   - |1460 |2486 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
465.05/465.20	c   449s|510000 |299785 |     0 |   0.0 | 396M| 141 |   - |1460 |2475 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
474.64/474.85	c   458s|520000 |305216 |     0 |   0.0 | 403M| 141 |   - |1460 |2558 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
484.14/484.37	c   467s|530000 |310751 |     0 |   0.0 | 411M| 141 |   - |1460 |2537 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
493.74/493.94	c   477s|540000 |316359 |     0 |   0.0 | 418M| 141 |   - |1460 |2547 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
503.64/503.86	c   486s|550000 |321796 |     0 |   0.0 | 426M| 141 |   - |1460 |2561 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
513.33/513.60	c   496s|560000 |327335 |     0 |   0.0 | 434M| 141 |   - |1460 |2696 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
523.12/523.33	c   505s|570000 |332837 |     0 |   0.0 | 441M| 141 |   - |1460 |2652 |   0 |   0 |   0 |  68k|   0 | 0.000000e+00 |      --      |    Inf 
533.23/533.42	c   515s|580000 |338052 |     0 |   0.0 | 449M| 141 |   - |1460 |2577 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 |      --      |    Inf 
542.92/543.18	c   524s|590000 |343321 |     0 |   0.0 | 456M| 141 |   - |1460 |2688 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
552.71/552.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
552.71/552.93	c   534s|600000 |348676 |     0 |   0.0 | 463M| 141 |   - |1460 |2675 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
562.61/562.83	c   543s|610000 |353957 |     0 |   0.0 | 471M| 141 |   - |1460 |2619 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 |      --      |    Inf 
572.51/572.73	c   553s|620000 |359283 |     0 |   0.0 | 478M| 141 |   - |1460 |2609 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
582.40/582.63	c   562s|630000 |364523 |     0 |   0.0 | 485M| 141 |   - |1460 |2621 |   0 |   0 |   0 |  77k|   0 | 0.000000e+00 |      --      |    Inf 
592.20/592.47	c   572s|640000 |369816 |     0 |   0.0 | 493M| 141 |   - |1460 |2663 |   0 |   0 |   0 |  78k|   0 | 0.000000e+00 |      --      |    Inf 
602.51/602.70	c   582s|650000 |374834 |     0 |   0.0 | 500M| 141 |   - |1460 |2630 |   0 |   0 |   0 |  79k|   0 | 0.000000e+00 |      --      |    Inf 
612.30/612.58	c   591s|660000 |379997 |     0 |   0.0 | 507M| 141 |   - |1460 |2673 |   0 |   0 |   0 |  81k|   0 | 0.000000e+00 |      --      |    Inf 
622.09/622.35	c   601s|670000 |385236 |     0 |   0.0 | 515M| 141 |   - |1460 |2656 |   0 |   0 |   0 |  82k|   0 | 0.000000e+00 |      --      |    Inf 
632.09/632.38	c   611s|680000 |390347 |     0 |   0.0 | 522M| 141 |   - |1460 |2732 |   0 |   0 |   0 |  84k|   0 | 0.000000e+00 |      --      |    Inf 
642.20/642.43	c   620s|690000 |395454 |     0 |   0.0 | 529M| 141 |   - |1460 |2630 |   0 |   0 |   0 |  85k|   0 | 0.000000e+00 |      --      |    Inf 
652.18/652.44	c   630s|700000 |400537 |     0 |   0.0 | 537M| 141 |   - |1460 |2733 |   0 |   0 |   0 |  87k|   0 | 0.000000e+00 |      --      |    Inf 
662.08/662.34	c   640s|710000 |405695 |     0 |   0.0 | 544M| 141 |   - |1460 |2734 |   0 |   0 |   0 |  88k|   0 | 0.000000e+00 |      --      |    Inf 
672.08/672.32	c   649s|720000 |410800 |     0 |   0.0 | 551M| 141 |   - |1460 |2602 |   0 |   0 |   0 |  90k|   0 | 0.000000e+00 |      --      |    Inf 
682.07/682.39	c   659s|730000 |415802 |     0 |   0.0 | 558M| 141 |   - |1460 |2561 |   0 |   0 |   0 |  91k|   0 | 0.000000e+00 |      --      |    Inf 
692.28/692.51	c   669s|740000 |420802 |     0 |   0.0 | 565M| 141 |   - |1460 |2640 |   0 |   0 |   0 |  93k|   0 | 0.000000e+00 |      --      |    Inf 
702.17/702.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
702.17/702.49	c   678s|750000 |425895 |     0 |   0.0 | 573M| 141 |   - |1460 |2705 |   0 |   0 |   0 |  94k|   0 | 0.000000e+00 |      --      |    Inf 
712.16/712.49	c   688s|760000 |430896 |     0 |   0.0 | 580M| 141 |   - |1460 |2675 |   0 |   0 |   0 |  96k|   0 | 0.000000e+00 |      --      |    Inf 
722.57/722.87	c   698s|770000 |435746 |     0 |   0.0 | 587M| 141 |   - |1460 |2726 |   0 |   0 |   0 |  97k|   0 | 0.000000e+00 |      --      |    Inf 
732.87/733.16	c   708s|780000 |440583 |     0 |   0.0 | 594M| 141 |   - |1460 |2670 |   0 |   0 |   0 |  99k|   0 | 0.000000e+00 |      --      |    Inf 
743.16/743.43	c   718s|790000 |445472 |     0 |   0.0 | 601M| 141 |   - |1460 |2851 |   0 |   0 |   0 | 101k|   0 | 0.000000e+00 |      --      |    Inf 
753.17/753.44	c   728s|800000 |450352 |     0 |   0.0 | 608M| 141 |   - |1460 |2745 |   0 |   0 |   0 | 103k|   0 | 0.000000e+00 |      --      |    Inf 
763.45/763.77	c   738s|810000 |455060 |     0 |   0.0 | 616M| 141 |   - |1460 |2744 |   0 |   0 |   0 | 104k|   0 | 0.000000e+00 |      --      |    Inf 
773.86/774.18	c   748s|820000 |459784 |     0 |   0.0 | 623M| 141 |   - |1460 |2647 |   0 |   0 |   0 | 106k|   0 | 0.000000e+00 |      --      |    Inf 
784.15/784.46	c   758s|830000 |464638 |     0 |   0.0 | 630M| 141 |   - |1460 |2771 |   0 |   0 |   0 | 108k|   0 | 0.000000e+00 |      --      |    Inf 
794.14/794.42	c   767s|840000 |469549 |     0 |   0.0 | 637M| 141 |   - |1460 |2785 |   0 |   0 |   0 | 109k|   0 | 0.000000e+00 |      --      |    Inf 
804.45/804.73	c   777s|850000 |474235 |     0 |   0.0 | 644M| 141 |   - |1460 |2788 |   0 |   0 |   0 | 111k|   0 | 0.000000e+00 |      --      |    Inf 
814.85/815.17	c   787s|860000 |478826 |     0 |   0.0 | 651M| 141 |   - |1460 |2687 |   0 |   0 |   0 | 113k|   0 | 0.000000e+00 |      --      |    Inf 
825.23/825.54	c   798s|870000 |483535 |     0 |   0.0 | 658M| 141 |   - |1460 |2763 |   0 |   0 |   0 | 114k|   0 | 0.000000e+00 |      --      |    Inf 
835.53/835.84	c   808s|880000 |488256 |     0 |   0.0 | 665M| 141 |   - |1460 |2781 |   0 |   0 |   0 | 116k|   0 | 0.000000e+00 |      --      |    Inf 
845.54/845.87	c   817s|890000 |493085 |     0 |   0.0 | 672M| 141 |   - |1460 |2792 |   0 |   0 |   0 | 118k|   0 | 0.000000e+00 |      --      |    Inf 
856.13/856.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
856.13/856.46	c   828s|900000 |497590 |     0 |   0.0 | 679M| 141 |   - |1460 |2847 |   0 |   0 |   0 | 120k|   0 | 0.000000e+00 |      --      |    Inf 
866.73/867.09	c   838s|910000 |502114 |     0 |   0.0 | 686M| 141 |   - |1460 |2679 |   0 |   0 |   0 | 121k|   0 | 0.000000e+00 |      --      |    Inf 
877.23/877.59	c   848s|920000 |506708 |     0 |   0.0 | 693M| 141 |   - |1460 |2869 |   0 |   0 |   0 | 123k|   0 | 0.000000e+00 |      --      |    Inf 
887.52/887.89	c   858s|930000 |511333 |     0 |   0.0 | 700M| 141 |   - |1460 |2776 |   0 |   0 |   0 | 125k|   0 | 0.000000e+00 |      --      |    Inf 
897.91/898.25	c   868s|940000 |515889 |     0 |   0.0 | 707M| 141 |   - |1460 |2805 |   0 |   0 |   0 | 127k|   0 | 0.000000e+00 |      --      |    Inf 
908.60/908.98	c   878s|950000 |520300 |     0 |   0.0 | 714M| 141 |   - |1460 |2718 |   0 |   0 |   0 | 129k|   0 | 0.000000e+00 |      --      |    Inf 
919.41/919.74	c   889s|960000 |524696 |     0 |   0.0 | 721M| 141 |   - |1460 |2887 |   0 |   0 |   0 | 130k|   0 | 0.000000e+00 |      --      |    Inf 
929.80/930.13	c   899s|970000 |529283 |     0 |   0.0 | 728M| 141 |   - |1460 |2729 |   0 |   0 |   0 | 132k|   0 | 0.000000e+00 |      --      |    Inf 
940.00/940.39	c   909s|980000 |533866 |     0 |   0.0 | 735M| 141 |   - |1460 |2883 |   0 |   0 |   0 | 134k|   0 | 0.000000e+00 |      --      |    Inf 
950.70/951.05	c   919s|990000 |538199 |     0 |   0.0 | 742M| 141 |   - |1460 |2911 |   0 |   0 |   0 | 136k|   0 | 0.000000e+00 |      --      |    Inf 
961.39/961.76	c   930s|  1000k|542586 |     0 |   0.0 | 748M| 141 |   - |1460 |2800 |   0 |   0 |   0 | 137k|   0 | 0.000000e+00 |      --      |    Inf 
972.19/972.55	c   940s|  1010k|546872 |     0 |   0.0 | 755M| 141 |   - |1460 |2902 |   0 |   0 |   0 | 140k|   0 | 0.000000e+00 |      --      |    Inf 
982.68/983.06	c   950s|  1020k|551310 |     0 |   0.0 | 762M| 141 |   - |1460 |2787 |   0 |   0 |   0 | 142k|   0 | 0.000000e+00 |      --      |    Inf 
993.19/993.51	c   960s|  1030k|555787 |     0 |   0.0 | 769M| 141 |   - |1460 |2903 |   0 |   0 |   0 | 144k|   0 | 0.000000e+00 |      --      |    Inf 
1004.17/1004.54	c   971s|  1040k|559815 |     0 |   0.0 | 776M| 141 |   - |1460 |2820 |   0 |   0 |   0 | 146k|   0 | 0.000000e+00 |      --      |    Inf 
1015.17/1015.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1015.17/1015.57	c   982s|  1050k|563939 |     0 |   0.0 | 783M| 141 |   - |1460 |2774 |   0 |   0 |   0 | 148k|   0 | 0.000000e+00 |      --      |    Inf 
1025.98/1026.34	c   992s|  1060k|568126 |     0 |   0.0 | 789M| 141 |   - |1460 |2787 |   0 |   0 |   0 | 150k|   0 | 0.000000e+00 |      --      |    Inf 
1036.37/1036.77	c  1002s|  1070k|572492 |     0 |   0.0 | 796M| 141 |   - |1460 |2881 |   0 |   0 |   0 | 152k|   0 | 0.000000e+00 |      --      |    Inf 
1047.07/1047.40	c  1012s|  1080k|576770 |     0 |   0.0 | 803M| 141 |   - |1460 |2885 |   0 |   0 |   0 | 154k|   0 | 0.000000e+00 |      --      |    Inf 
1058.16/1058.58	c  1023s|  1090k|580743 |     0 |   0.0 | 810M| 141 |   - |1460 |2758 |   0 |   0 |   0 | 155k|   0 | 0.000000e+00 |      --      |    Inf 
1069.26/1069.64	c  1034s|  1100k|584778 |     0 |   0.0 | 816M| 141 |   - |1460 |2826 |   0 |   0 |   0 | 157k|   0 | 0.000000e+00 |      --      |    Inf 
1080.15/1080.52	c  1045s|  1110k|588856 |     0 |   0.0 | 823M| 141 |   - |1460 |2978 |   0 |   0 |   0 | 159k|   0 | 0.000000e+00 |      --      |    Inf 
1090.55/1090.92	c  1055s|  1120k|593162 |     0 |   0.0 | 830M| 141 |   - |1460 |2769 |   0 |   0 |   0 | 161k|   0 | 0.000000e+00 |      --      |    Inf 
1100.85/1101.25	c  1065s|  1130k|597420 |     0 |   0.0 | 836M| 141 |   - |1460 |2703 |   0 |   0 |   0 | 163k|   0 | 0.000000e+00 |      --      |    Inf 
1111.85/1112.23	c  1075s|  1140k|601401 |     0 |   0.0 | 843M| 141 |   - |1460 |2750 |   0 |   0 |   0 | 165k|   0 | 0.000000e+00 |      --      |    Inf 
1122.75/1123.19	c  1086s|  1150k|605423 |     0 |   0.0 | 849M| 141 |   - |1460 |2745 |   0 |   0 |   0 | 166k|   0 | 0.000000e+00 |      --      |    Inf 
1133.75/1134.12	c  1096s|  1160k|609408 |     0 |   0.0 | 856M| 141 |   - |1460 |2836 |   0 |   0 |   0 | 168k|   0 | 0.000000e+00 |      --      |    Inf 
1144.14/1144.51	c  1107s|  1170k|613623 |     0 |   0.0 | 863M| 141 |   - |1460 |2757 |   0 |   0 |   0 | 170k|   0 | 0.000000e+00 |      --      |    Inf 
1154.44/1154.82	c  1117s|  1180k|617825 |     0 |   0.0 | 870M| 141 |   - |1460 |2902 |   0 |   0 |   0 | 172k|   0 | 0.000000e+00 |      --      |    Inf 
1165.94/1166.39	c  1128s|  1190k|621485 |     0 |   0.0 | 876M| 141 |   - |1460 |2754 |   0 |   0 |   0 | 174k|   0 | 0.000000e+00 |      --      |    Inf 
1177.03/1177.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1177.03/1177.43	c  1138s|  1200k|625389 |     0 |   0.0 | 883M| 141 |   - |1460 |2844 |   0 |   0 |   0 | 176k|   0 | 0.000000e+00 |      --      |    Inf 
1187.83/1188.28	c  1149s|  1210k|629293 |     0 |   0.0 | 889M| 141 |   - |1460 |2804 |   0 |   0 |   0 | 178k|   0 | 0.000000e+00 |      --      |    Inf 
1198.82/1199.24	c  1160s|  1220k|633225 |     0 |   0.0 | 896M| 141 |   - |1460 |3182 |   0 |   0 |   0 | 180k|   0 | 0.000000e+00 |      --      |    Inf 
1209.53/1209.91	c  1170s|  1230k|637304 |     0 |   0.0 | 903M| 141 |   - |1460 |2998 |   0 |   0 |   0 | 183k|   0 | 0.000000e+00 |      --      |    Inf 
1221.32/1221.73	c  1181s|  1240k|640861 |     0 |   0.0 | 909M| 141 |   - |1460 |2904 |   0 |   0 |   0 | 185k|   0 | 0.000000e+00 |      --      |    Inf 
1232.51/1232.95	c  1192s|  1250k|644676 |     0 |   0.0 | 916M| 141 |   - |1460 |3000 |   0 |   0 |   0 | 187k|   0 | 0.000000e+00 |      --      |    Inf 
1243.62/1244.10	c  1203s|  1260k|648411 |     0 |   0.0 | 922M| 141 |   - |1460 |2824 |   0 |   0 |   0 | 189k|   0 | 0.000000e+00 |      --      |    Inf 
1254.81/1255.21	c  1214s|  1270k|652104 |     0 |   0.0 | 929M| 141 |   - |1460 |2999 |   0 |   0 |   0 | 191k|   0 | 0.000000e+00 |      --      |    Inf 
1265.50/1265.92	c  1224s|  1280k|656040 |     0 |   0.0 | 935M| 141 |   - |1460 |3003 |   0 |   0 |   0 | 194k|   0 | 0.000000e+00 |      --      |    Inf 
1277.00/1277.44	c  1235s|  1290k|659595 |     0 |   0.0 | 942M| 141 |   - |1460 |2836 |   0 |   0 |   0 | 196k|   0 | 0.000000e+00 |      --      |    Inf 
1288.50/1288.94	c  1246s|  1300k|663205 |     0 |   0.0 | 948M| 141 |   - |1460 |2887 |   0 |   0 |   0 | 198k|   0 | 0.000000e+00 |      --      |    Inf 
1300.00/1300.46	c  1258s|  1310k|666756 |     0 |   0.0 | 955M| 141 |   - |1460 |2913 |   0 |   0 |   0 | 200k|   0 | 0.000000e+00 |      --      |    Inf 
1311.09/1311.54	c  1268s|  1320k|670475 |     0 |   0.0 | 961M| 141 |   - |1460 |3043 |   0 |   0 |   0 | 202k|   0 | 0.000000e+00 |      --      |    Inf 
1322.09/1322.50	c  1279s|  1330k|674301 |     0 |   0.0 | 968M| 141 |   - |1460 |3099 |   0 |   0 |   0 | 205k|   0 | 0.000000e+00 |      --      |    Inf 
1333.39/1333.84	c  1290s|  1340k|677898 |     0 |   0.0 | 974M| 141 |   - |1460 |2863 |   0 |   0 |   0 | 207k|   0 | 0.000000e+00 |      --      |    Inf 
1345.19/1345.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1345.19/1345.68	c  1301s|  1350k|681215 |     0 |   0.0 | 981M| 141 |   - |1460 |3029 |   0 |   0 |   0 | 209k|   0 | 0.000000e+00 |      --      |    Inf 
1356.89/1357.33	c  1313s|  1360k|684588 |     0 |   0.0 | 987M| 141 |   - |1460 |2958 |   0 |   0 |   0 | 211k|   0 | 0.000000e+00 |      --      |    Inf 
1368.07/1368.57	c  1324s|  1370k|688180 |     0 |   0.0 | 994M| 141 |   - |1460 |2964 |   0 |   0 |   0 | 213k|   0 | 0.000000e+00 |      --      |    Inf 
1379.18/1379.69	c  1334s|  1380k|691813 |     0 |   0.0 |1000M| 141 |   - |1460 |3098 |   0 |   0 |   0 | 216k|   0 | 0.000000e+00 |      --      |    Inf 
1390.37/1390.81	c  1345s|  1390k|695499 |     0 |   0.0 |1007M| 141 |   - |1460 |3166 |   0 |   0 |   0 | 219k|   0 | 0.000000e+00 |      --      |    Inf 
1402.37/1402.87	c  1357s|  1400k|698665 |     0 |   0.0 |1013M| 141 |   - |1460 |2874 |   0 |   0 |   0 | 220k|   0 | 0.000000e+00 |      --      |    Inf 
1414.18/1414.68	c  1368s|  1410k|701889 |     0 |   0.0 |1019M| 141 |   - |1460 |2957 |   0 |   0 |   0 | 223k|   0 | 0.000000e+00 |      --      |    Inf 
1425.66/1426.19	c  1379s|  1420k|705219 |     0 |   0.0 |1026M| 141 |   - |1460 |3026 |   0 |   0 |   0 | 225k|   0 | 0.000000e+00 |      --      |    Inf 
1436.96/1437.48	c  1390s|  1430k|708635 |     0 |   0.0 |1032M| 141 |   - |1460 |3094 |   0 |   0 |   0 | 228k|   0 | 0.000000e+00 |      --      |    Inf 
1448.16/1448.62	c  1401s|  1440k|712155 |     0 |   0.0 |1039M| 141 |   - |1460 |3185 |   0 |   0 |   0 | 230k|   0 | 0.000000e+00 |      --      |    Inf 
1460.05/1460.53	c  1413s|  1450k|715343 |     0 |   0.0 |1045M| 141 |   - |1460 |2819 |   0 |   0 |   0 | 232k|   0 | 0.000000e+00 |      --      |    Inf 
1472.14/1472.66	c  1424s|  1460k|718354 |     0 |   0.0 |1051M| 141 |   - |1460 |2927 |   0 |   0 |   0 | 234k|   0 | 0.000000e+00 |      --      |    Inf 
1483.94/1484.47	c  1436s|  1470k|721312 |     0 |   0.0 |1057M| 141 |   - |1460 |2996 |   0 |   0 |   0 | 237k|   0 | 0.000000e+00 |      --      |    Inf 
1495.63/1496.12	c  1447s|  1480k|724470 |     0 |   0.0 |1064M| 141 |   - |1460 |3254 |   0 |   0 |   0 | 239k|   0 | 0.000000e+00 |      --      |    Inf 
1506.92/1507.49	c  1458s|  1490k|727817 |     0 |   0.0 |1070M| 141 |   - |1460 |3100 |   0 |   0 |   0 | 242k|   0 | 0.000000e+00 |      --      |    Inf 
1518.53/1519.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1518.53/1519.04	c  1469s|  1500k|731096 |     0 |   0.0 |1076M| 141 |   - |1460 |2957 |   0 |   0 |   0 | 244k|   0 | 0.000000e+00 |      --      |    Inf 
1530.92/1531.47	c  1481s|  1510k|733888 |     0 |   0.0 |1082M| 141 |   - |1460 |2835 |   0 |   0 |   0 | 247k|   0 | 0.000000e+00 |      --      |    Inf 
1542.91/1543.41	c  1493s|  1520k|736767 |     0 |   0.0 |1088M| 141 |   - |1460 |2851 |   0 |   0 |   0 | 249k|   0 | 0.000000e+00 |      --      |    Inf 
1554.81/1555.31	c  1504s|  1530k|739668 |     0 |   0.0 |1095M| 141 |   - |1460 |3238 |   0 |   0 |   0 | 252k|   0 | 0.000000e+00 |      --      |    Inf 
1566.40/1566.97	c  1516s|  1540k|742775 |     0 |   0.0 |1101M| 141 |   - |1460 |3201 |   0 |   0 |   0 | 254k|   0 | 0.000000e+00 |      --      |    Inf 
1577.90/1578.48	c  1527s|  1550k|745992 |     0 |   0.0 |1107M| 141 |   - |1460 |3240 |   0 |   0 |   0 | 257k|   0 | 0.000000e+00 |      --      |    Inf 
1590.20/1590.76	c  1539s|  1560k|748868 |     0 |   0.0 |1113M| 141 |   - |1460 |2956 |   0 |   0 |   0 | 259k|   0 | 0.000000e+00 |      --      |    Inf 
1602.80/1603.37	c  1551s|  1570k|751449 |     0 |   0.0 |1120M| 141 |   - |1460 |3063 |   0 |   0 |   0 | 262k|   0 | 0.000000e+00 |      --      |    Inf 
1614.79/1615.35	c  1562s|  1580k|754249 |     0 |   0.0 |1126M| 141 |   - |1460 |3024 |   0 |   0 |   0 | 264k|   0 | 0.000000e+00 |      --      |    Inf 
1626.79/1627.30	c  1574s|  1590k|757085 |     0 |   0.0 |1132M| 141 |   - |1460 |3276 |   0 |   0 |   0 | 267k|   0 | 0.000000e+00 |      --      |    Inf 
1638.28/1638.83	c  1585s|  1600k|760215 |     0 |   0.0 |1138M| 141 |   - |1460 |3146 |   0 |   0 |   0 | 270k|   0 | 0.000000e+00 |      --      |    Inf 
1650.27/1650.80	c  1597s|  1610k|763222 |     0 |   0.0 |1144M| 141 |   - |1460 |3041 |   0 |   0 |   0 | 273k|   0 | 0.000000e+00 |      --      |    Inf 
1663.07/1663.67	c  1609s|  1620k|765604 |     0 |   0.0 |1150M| 141 |   - |1460 |2916 |   0 |   0 |   0 | 275k|   0 | 0.000000e+00 |      --      |    Inf 
1675.57/1676.14	c  1621s|  1630k|768023 |     0 |   0.0 |1156M| 141 |   - |1460 |2940 |   0 |   0 |   0 | 277k|   0 | 0.000000e+00 |      --      |    Inf 
1687.67/1688.23	c  1633s|  1640k|770694 |     0 |   0.0 |1162M| 141 |   - |1460 |3164 |   0 |   0 |   0 | 280k|   0 | 0.000000e+00 |      --      |    Inf 
1699.26/1699.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1699.26/1699.86	c  1644s|  1650k|773646 |     0 |   0.0 |1168M| 141 |   - |1460 |3097 |   0 |   0 |   0 | 282k|   0 | 0.000000e+00 |      --      |    Inf 
1710.97/1711.54	c  1656s|  1660k|776658 |     0 |   0.0 |1174M| 141 |   - |1460 |3326 |   0 |   0 |   0 | 285k|   0 | 0.000000e+00 |      --      |    Inf 
1723.66/1724.28	c  1668s|  1670k|779131 |     0 |   0.0 |1180M| 141 |   - |1460 |3113 |   0 |   0 |   0 | 288k|   0 | 0.000000e+00 |      --      |    Inf 
1736.65/1737.26	c  1681s|  1680k|781337 |     0 |   0.0 |1186M| 141 |   - |1460 |3098 |   0 |   0 |   0 | 290k|   0 | 0.000000e+00 |      --      |    Inf 
1749.15/1749.79	c  1693s|  1690k|783739 |     0 |   0.0 |1192M| 141 |   - |1460 |3341 |   0 |   0 |   0 | 293k|   0 | 0.000000e+00 |      --      |    Inf 
1761.14/1761.77	c  1704s|  1700k|786424 |     0 |   0.0 |1197M| 141 |   - |1460 |3315 |   0 |   0 |   0 | 295k|   0 | 0.000000e+00 |      --      |    Inf 
1773.04/1773.67	c  1716s|  1710k|789139 |     0 |   0.0 |1203M| 141 |   - |1460 |3402 |   0 |   0 |   0 | 298k|   0 | 0.000000e+00 |      --      |    Inf 
1785.14/1785.79	c  1728s|  1720k|791918 |     0 |   0.0 |1209M| 141 |   - |1460 |3184 |   0 |   0 |   0 | 301k|   0 | 0.000000e+00 |      --      |    Inf 
1798.03/1798.64	c  1740s|  1730k|794061 |     0 |   0.0 |1215M| 141 |   - |1460 |3167 |   0 |   0 |   0 | 303k|   0 | 0.000000e+00 |      --      |    Inf 
1800.05/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61	c 
1800.05/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.61	c Solving Time (sec) : 1742.06
1800.05/1800.61	c Solving Nodes      : 1731566
1800.05/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.61	c Gap                : infinite
1800.05/1800.61	s UNKNOWN
1800.05/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.61	c Solving Time       :    1742.06
1800.05/1800.61	c Original Problem   :
1800.05/1800.61	c   Problem name     : HOME/instance-2663427-1276677371.opb
1800.05/1800.61	c   Variables        : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61	c   Constraints      : 1562 initial, 1562 maximal
1800.05/1800.61	c Presolved Problem  :
1800.05/1800.61	c   Problem name     : t_HOME/instance-2663427-1276677371.opb
1800.05/1800.61	c   Variables        : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61	c   Constraints      : 1562 initial, 3956 maximal
1800.05/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.61	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   and              :       0.17          0          0          0          0          0          0          0          0
1800.05/1800.61	c   linear           :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.61	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.61	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.61	c   knapsack         :          1          0    4622073          0    1266709      10291   14326244          0          0          0
1800.05/1800.61	c   setppc           :        200          0    5075983          0    1270625      40376     644491          0          0          0
1800.05/1800.61	c   and              :       1260          0    5035607          0    1270625        506   99620220          0          0          0
1800.05/1800.61	c   linear           :          1          0    5028999          0    1270625     399488     249498          0          0          0
1800.05/1800.61	c   logicor          :        100+         0    1308465          0    1270624      25324   20958617          0          0          0
1800.05/1800.61	c   countsols        :          0          0          0          0    1270625          0          0          0          0          0
1800.05/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.61	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.61	c   knapsack         :      86.30       0.00      80.04       0.00       6.26
1800.05/1800.61	c   setppc           :     146.45       0.00      28.74       0.00     117.71
1800.05/1800.61	c   and              :     368.78       0.00     289.54       0.00      79.24
1800.05/1800.61	c   linear           :     342.04       0.00     341.00       0.00       1.04
1800.05/1800.61	c   logicor          :     155.93       0.00     145.57       0.00      10.36
1800.05/1800.61	c   countsols        :       0.66       0.00       0.00       0.00       0.66
1800.05/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.61	c   vbounds          :       2.61          1          0          0
1800.05/1800.61	c   rootredcost      :       2.63          0          0          0
1800.05/1800.61	c   pseudoobj        :       2.02          0          0          0
1800.05/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.61	c   propagation      :     250.51     475985     212386     696417       77.9          7       97.7          -
1800.05/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.61	c   applied globally :          -          -          -     304061       75.3          -          -          -
1800.05/1800.61	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.61	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.61	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.61	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.61	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.61	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.61	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.61	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.61	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.61	c Pricers            :       Time      Calls       Vars
1800.05/1800.61	c   problem variables:       0.00          0          0
1800.05/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.61	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   inference        :     236.73    1270625          0          0          0          0    2541250
1800.05/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.61	c   LP solutions     :       0.00          -          0
1800.05/1800.61	c   pseudo solutions :       0.00          -          0
1800.05/1800.61	c   trivial          :       0.00          1          0
1800.05/1800.61	c   simplerounding   :       0.00          0          0
1800.05/1800.61	c   zirounding       :       0.00          0          0
1800.05/1800.61	c   rounding         :       0.00          0          0
1800.05/1800.61	c   shifting         :       0.00          0          0
1800.05/1800.61	c   intshifting      :       0.00          0          0
1800.05/1800.61	c   oneopt           :       0.00          0          0
1800.05/1800.61	c   twoopt           :       0.00          0          0
1800.05/1800.61	c   fixandinfer      :       0.00          0          0
1800.05/1800.61	c   feaspump         :       0.00          0          0
1800.05/1800.61	c   coefdiving       :       0.00          0          0
1800.05/1800.61	c   pscostdiving     :       0.00          0          0
1800.05/1800.61	c   fracdiving       :       0.00          0          0
1800.05/1800.61	c   veclendiving     :       0.00          0          0
1800.05/1800.61	c   intdiving        :       0.00          0          0
1800.05/1800.61	c   actconsdiving    :       0.00          0          0
1800.05/1800.61	c   objpscostdiving  :       0.00          0          0
1800.05/1800.61	c   rootsoldiving    :       0.00          0          0
1800.05/1800.61	c   linesearchdiving :       0.00          0          0
1800.05/1800.61	c   guideddiving     :       0.00          0          0
1800.05/1800.61	c   octane           :       0.00          0          0
1800.05/1800.61	c   rens             :       0.00          0          0
1800.05/1800.61	c   rins             :       0.00          0          0
1800.05/1800.61	c   localbranching   :       0.00          0          0
1800.05/1800.61	c   mutation         :       0.00          0          0
1800.05/1800.61	c   crossover        :       0.00          0          0
1800.05/1800.61	c   dins             :       0.00          0          0
1800.05/1800.61	c   undercover       :       0.00          0          0
1800.05/1800.61	c   nlp              :       0.00          0          0
1800.05/1800.61	c   trysol           :       0.00          0          0
1800.05/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.61	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.61	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.61	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.61	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.61	c B&B Tree           :
1800.05/1800.61	c   number of runs   :          1
1800.05/1800.61	c   nodes            :    1731566
1800.05/1800.61	c   nodes (total)    :    1731566
1800.05/1800.61	c   nodes left       :     794429
1800.05/1800.61	c   max depth        :        141
1800.05/1800.61	c   max depth (total):        141
1800.05/1800.61	c   backtracks       :      42380 (2.4%)
1800.05/1800.61	c   delayed cutoffs  :      15256
1800.05/1800.61	c   repropagations   :    1144908 (2952723 domain reductions, 15044 cutoffs)
1800.05/1800.61	c   avg switch length:       4.92
1800.05/1800.61	c   switching time   :     296.22
1800.05/1800.61	c Solution           :
1800.05/1800.61	c   Solutions found  :          0 (0 improvements)
1800.05/1800.61	c   Primal Bound     :          -
1800.05/1800.61	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.61	c   Gap              :   infinite
1800.05/1800.61	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.61	c   Root Iterations  :          0

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663427-1276677371/watcher-2663427-1276677371 -o /tmp/evaluation-result-2663427-1276677371/solver-2663427-1276677371 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663427-1276677371.opb -t 1800 -m 1800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14702
/proc/meminfo: memFree=1711836/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=5552 CPUtime=0
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 800 0 0 0 0 0 0 0 25 0 1 0 9029456 5685248 723 1992294400 4194304 7136930 140734870440480 18446744073709551615 6346856 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14702/statm: 1388 732 243 719 0 667 0

[startup+0.0221859 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14702
/proc/meminfo: memFree=1711836/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=9600 CPUtime=0.01
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 1901 0 0 0 1 0 0 0 25 0 1 0 9029456 9830400 1824 1992294400 4194304 7136930 140734870440480 18446744073709551615 4373931 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14702/statm: 2400 1824 269 719 0 1679 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9600

[startup+0.101191 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14702
/proc/meminfo: memFree=1711836/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=14824 CPUtime=0.09
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 3587 0 0 0 6 3 0 0 25 0 1 0 9029456 15179776 2899 1992294400 4194304 7136930 140734870440480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 3706 2899 327 719 0 2985 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14824

[startup+0.301209 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14702
/proc/meminfo: memFree=1711836/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=15844 CPUtime=0.29
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 5434 0 0 0 17 12 0 0 25 0 1 0 9029456 16224256 3204 1992294400 4194304 7136930 140734870440480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 3961 3204 361 719 0 3240 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15844

[startup+0.701244 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14702
/proc/meminfo: memFree=1711836/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=17968 CPUtime=0.69
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 6264 0 0 0 48 21 0 0 18 0 1 0 9029456 18399232 3777 1992294400 4194304 7136930 140734870440480 18446744073709551615 6355638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 4492 3777 394 719 0 3771 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17968

[startup+1.50132 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 14703
/proc/meminfo: memFree=1697196/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=19916 CPUtime=1.49
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 6738 0 0 0 126 23 0 0 19 0 1 0 9029456 20393984 4251 1992294400 4194304 7136930 140734870440480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 4979 4251 394 719 0 4258 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19916

[startup+3.10146 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 14703
/proc/meminfo: memFree=1694344/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=23244 CPUtime=3.09
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 7570 0 0 0 279 30 0 0 22 0 1 0 9029456 23801856 5083 1992294400 4194304 7136930 140734870440480 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 5811 5083 394 719 0 5090 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23244

[startup+6.30074 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 14703
/proc/meminfo: memFree=1687152/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=30664 CPUtime=6.29
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 9387 0 0 0 584 45 0 0 25 0 1 0 9029456 31399936 6900 1992294400 4194304 7136930 140734870440480 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 7666 6900 394 719 0 6945 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30664

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 14703
/proc/meminfo: memFree=1673388/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=43292 CPUtime=12.69
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 12474 0 0 0 1200 69 0 0 25 0 1 0 9029456 44331008 9987 1992294400 4194304 7136930 140734870440480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 10823 9987 394 719 0 10102 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43292

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 14703
/proc/meminfo: memFree=1654416/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=63084 CPUtime=25.49
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 17321 0 0 0 2428 121 0 0 25 0 1 0 9029456 64598016 14834 1992294400 4194304 7136930 140734870440480 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 15771 14834 394 719 0 15050 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 63084

[startup+51.1007 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 14705
/proc/meminfo: memFree=1631848/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=85176 CPUtime=51.07
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 22816 0 0 0 4893 214 0 0 25 0 1 0 9029456 87220224 20329 1992294400 4194304 7136930 140734870440480 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 21294 20329 394 719 0 20573 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 85176

[startup+102.308 s]
/proc/loadavg: 1.08 1.02 1.00 2/107 14705
/proc/meminfo: memFree=1596756/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=119592 CPUtime=102.26
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 31393 0 0 0 9808 418 0 0 25 0 1 0 9029456 122462208 28906 1992294400 4194304 7136930 140734870440480 18446744073709551615 4703292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 29898 28906 394 719 0 29177 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 119592

[startup+162.301 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 14707
/proc/meminfo: memFree=1536120/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=182836 CPUtime=162.23
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 46529 0 0 0 15587 636 0 0 25 0 1 0 9029456 187224064 44042 1992294400 4194304 7136930 140734870440480 18446744073709551615 5901784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 45709 44042 394 719 0 44988 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 182836

[startup+222.301 s]
/proc/loadavg: 1.17 1.05 1.01 2/107 14709
/proc/meminfo: memFree=1481188/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=237348 CPUtime=222.22
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 60185 0 0 0 21392 830 0 0 25 0 1 0 9029456 243044352 57698 1992294400 4194304 7136930 140734870440480 18446744073709551615 4774692 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 59337 57698 394 719 0 58616 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 237348

[startup+282.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 14711
/proc/meminfo: memFree=1426008/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=293920 CPUtime=282.2
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 74273 0 0 0 27192 1028 0 0 25 0 1 0 9029456 300974080 71786 1992294400 4194304 7136930 140734870440480 18446744073709551615 4678328 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 73480 71786 394 719 0 72759 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 293920

[startup+342.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 14713
/proc/meminfo: memFree=1376532/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=346380 CPUtime=342.18
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 86280 0 0 0 32997 1221 0 0 25 0 1 0 9029456 354693120 83793 1992294400 4194304 7136930 140734870440480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 86595 83793 394 719 0 85874 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 346380

[startup+402.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 14713
/proc/meminfo: memFree=1322220/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=400856 CPUtime=402.15
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 99790 0 0 0 38800 1415 0 0 25 0 1 0 9029456 410476544 97303 1992294400 4194304 7136930 140734870440480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 100214 97303 394 719 0 99493 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 400856

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14715
/proc/meminfo: memFree=1273116/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=450156 CPUtime=462.14
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 112051 0 0 0 44605 1609 0 0 25 0 1 0 9029456 460959744 109564 1992294400 4194304 7136930 140734870440480 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 112539 109564 394 719 0 111818 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 450156

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14717
/proc/meminfo: memFree=1229964/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=494412 CPUtime=522.13
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 123044 0 0 0 50403 1810 0 0 25 0 1 0 9029456 506277888 120557 1992294400 4194304 7136930 140734870440480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 123603 120557 394 719 0 122882 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 494412

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14719
/proc/meminfo: memFree=1179620/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=543716 CPUtime=582.1
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 135357 0 0 0 56210 2000 0 0 25 0 1 0 9029456 556765184 132870 1992294400 4194304 7136930 140734870440480 18446744073709551615 4780261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 135929 132870 394 719 0 135208 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 543716

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14721
/proc/meminfo: memFree=1134608/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=588656 CPUtime=642.1
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 146523 0 0 0 62022 2188 0 0 25 0 1 0 9029456 602783744 144036 1992294400 4194304 7136930 140734870440480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 147164 144036 394 719 0 146443 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 588656

[startup+702.302 s]

################
# More data... #
################

/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 219681 0 0 0 102687 3509 0 0 25 0 1 0 9029456 913391616 217194 1992294400 4194304 7136930 140734870440480 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 222996 217194 394 719 0 222275 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 891984

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14733
/proc/meminfo: memFree=803156/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=931708 CPUtime=1121.94
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 229353 0 0 0 108506 3688 0 0 25 0 1 0 9029456 954068992 226866 1992294400 4194304 7136930 140734870440480 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 232927 226866 394 719 0 232206 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 931708

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14735
/proc/meminfo: memFree=760996/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=975936 CPUtime=1181.93
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 239863 0 0 0 114312 3881 0 0 25 0 1 0 9029456 999358464 237376 1992294400 4194304 7136930 140734870440480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 243984 237376 394 719 0 243263 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 975936

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14737
/proc/meminfo: memFree=723176/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=1013128 CPUtime=1241.91
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 248918 0 0 0 120123 4068 0 0 25 0 1 0 9029456 1037443072 246431 1992294400 4194304 7136930 140734870440480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 253282 246431 394 719 0 252561 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1013128

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14737
/proc/meminfo: memFree=687216/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=1049112 CPUtime=1301.91
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 257860 0 0 0 125934 4257 0 0 25 0 1 0 9029456 1074290688 255373 1992294400 4194304 7136930 140734870440480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 262278 255373 394 719 0 261557 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1049112

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14739
/proc/meminfo: memFree=651628/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=1085760 CPUtime=1361.88
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 266775 0 0 0 131747 4441 0 0 25 0 1 0 9029456 1111818240 264288 1992294400 4194304 7136930 140734870440480 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 271440 264288 394 719 0 270719 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1085760

[startup+1422.31 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 14741
/proc/meminfo: memFree=614676/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=1121500 CPUtime=1421.86
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 275950 0 0 0 137558 4628 0 0 25 0 1 0 9029456 1148416000 273463 1992294400 4194304 7136930 140734870440480 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 280375 273463 394 719 0 279654 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1121500

[startup+1482.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 14743
/proc/meminfo: memFree=586404/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=1149900 CPUtime=1481.85
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 282982 0 0 0 143375 4810 0 0 25 0 1 0 9029456 1177497600 280495 1992294400 4194304 7136930 140734870440480 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 287475 280495 394 719 0 286754 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1149900

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14754
/proc/meminfo: memFree=552304/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=1183080 CPUtime=1541.81
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 291460 0 0 0 149173 5008 0 0 25 0 1 0 9029456 1211473920 288973 1992294400 4194304 7136930 140734870440480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 295770 288973 394 719 0 295049 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1183080

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14754
/proc/meminfo: memFree=522916/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=1213580 CPUtime=1601.8
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 298951 0 0 0 154986 5194 0 0 25 0 1 0 9029456 1242705920 296464 1992294400 4194304 7136930 140734870440480 18446744073709551615 5905987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 303395 296464 394 719 0 302674 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1213580

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14756
/proc/meminfo: memFree=494520/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=1239924 CPUtime=1661.77
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 305892 0 0 0 160796 5381 0 0 25 0 1 0 9029456 1269682176 303405 1992294400 4194304 7136930 140734870440480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 309981 303405 394 719 0 309260 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1239924

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14758
/proc/meminfo: memFree=464636/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=1270096 CPUtime=1721.76
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 313310 0 0 0 166613 5563 0 0 25 0 1 0 9029456 1300578304 310823 1992294400 4194304 7136930 140734870440480 18446744073709551615 6121434 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 317524 310823 394 719 0 316803 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1270096

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14760
/proc/meminfo: memFree=433140/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=1304204 CPUtime=1781.74
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 321115 0 0 0 172428 5746 0 0 25 0 1 0 9029456 1335504896 318628 1992294400 4194304 7136930 140734870440480 18446744073709551615 4704609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 326051 318628 394 719 0 325330 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1304204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14760
/proc/meminfo: memFree=422600/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=1316000 CPUtime=1800.05
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 323730 0 0 0 174207 5798 0 0 25 0 1 0 9029456 1347584000 321243 1992294400 4194304 7136930 140734870440480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14702/statm: 329000 321243 394 719 0 328279 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1316000

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14702

Solver just ended. Dumping a history of the last processes samples

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14760
/proc/meminfo: memFree=422600/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=1316000 CPUtime=1800.84
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 323735 0 0 0 174286 5798 0 0 25 0 1 0 9029456 1347584000 321248 1992294400 4194304 7136930 140734870440480 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14702/statm: 329000 321248 399 719 0 328279 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 1316000

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14761
/proc/meminfo: memFree=422468/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=1314968 CPUtime=1801.63
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 323735 0 0 0 174365 5798 0 0 25 0 1 0 9029456 1346527232 320990 1992294400 4194304 7136930 140734870440480 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14702/statm: 328742 320990 399 719 0 328021 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 1314968

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14761
/proc/meminfo: memFree=422468/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=1314452 CPUtime=1802.03
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4202496 323735 0 0 0 174405 5798 0 0 25 0 1 0 9029456 1345998848 320861 1992294400 4194304 7136930 140734870440480 18446744073709551615 6165620 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14702/statm: 328613 320861 399 719 0 327892 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1314452

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14761
/proc/meminfo: memFree=422468/2059040 swapFree=4141376/4192956
[pid=14702] ppid=14700 vsize=0 CPUtime=1802.13
/proc/14702/stat : 14702 (pbscip.linux.x8) R 14700 14702 14485 0 -1 4203524 323735 0 0 0 174407 5806 0 0 25 0 1 0 9029456 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/14702/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.18
CPU user time (s): 1744.08
CPU system time (s): 58.1012
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1316000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.08
system time used= 58.1012
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323735
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= 2
involuntary context switches= 6476

runsolver used 3.00754 second user time and 8.49771 second system time

The end

Name	normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_2_40.opb
MD5SUM	f3f7503aace115ec5eea1f9ed4e29626
Bench Category	DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	200
Total number of constraints	302
Number of constraints which are clauses	100
Number of constraints which are cardinality constraints (but not clauses)	1
Number of constraints which are nor clauses,nor cardinality constraints	201
Minimum length of a constraint	2
Maximum length of a constraint	200
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	40
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	200
Number of bits of the biggest sum of numbers	8
Number of products (including duplicates)	2520
Sum of products size (including duplicates)	5040
Number of different products	1260
Sum of products size	2520

Trace number 2663427

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data