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.19	1802.64

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-2663457-1276679497.opb>
0.00/0.04	c original problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3364 constraints
0.00/0.04	c problem read
0.00/0.04	c No objective function, only one solution is needed.
0.00/0.04	c presolving settings loaded
0.00/0.04	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.00/0.08	c presolving:
0.29/0.30	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24696 impls, 200 clqs
0.39/0.50	c presolving (2 rounds):
0.39/0.50	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.50	c  24696 implications, 200 cliques
0.39/0.50	c presolved problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3364 constraints
0.39/0.50	c       1 constraints of type <knapsack>
0.39/0.50	c     200 constraints of type <setppc>
0.39/0.50	c    3062 constraints of type <and>
0.39/0.50	c       1 constraints of type <linear>
0.39/0.50	c     100 constraints of type <logicor>
0.39/0.50	c transformed objective value is always integral (scale: 1)
0.39/0.50	c Presolving Time: 0.24
0.39/0.50	c - non default parameters ----------------------------------------------------------------------
0.39/0.50	c # SCIP version 1.2.1.2
0.39/0.50	c 
0.39/0.50	c # frequency for displaying node information lines
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.50	c display/freq = 10000
0.39/0.50	c 
0.39/0.50	c # maximal time in seconds to run
0.39/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.50	c limits/time = 1799.96
0.39/0.50	c 
0.39/0.50	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.50	c limits/memory = 1620
0.39/0.50	c 
0.39/0.50	c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.50	c limits/solutions = 1
0.39/0.50	c 
0.39/0.50	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.50	c lp/solvefreq = -1
0.39/0.50	c 
0.39/0.50	c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.50	c separating/maxrounds = 1
0.39/0.50	c 
0.39/0.50	c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.50	c separating/maxroundsroot = 5
0.39/0.50	c 
0.39/0.50	c # should presolving try to simplify inequalities
0.39/0.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.50	c constraints/linear/simplifyinequalities = TRUE
0.39/0.50	c 
0.39/0.50	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.50	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.50	c constraints/knapsack/disaggregation = FALSE
0.39/0.50	c 
0.39/0.50	c # should presolving try to simplify knapsacks
0.39/0.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.50	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.50	c 
0.39/0.50	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.50	c presolving/probing/maxrounds = 0
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.50	c heuristics/coefdiving/freq = -1
0.39/0.50	c 
0.39/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.50	c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.50	c 
0.39/0.50	c # additional number of allowed LP iterations
0.39/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.50	c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.50	c heuristics/crossover/freq = -1
0.39/0.50	c 
0.39/0.50	c # number of nodes added to the contingent of the total nodes
0.39/0.50	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.50	c heuristics/crossover/nodesofs = 750
0.39/0.50	c 
0.39/0.50	c # number of nodes without incumbent change that heuristic should wait
0.39/0.50	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.50	c heuristics/crossover/nwaitingnodes = 100
0.39/0.50	c 
0.39/0.50	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.50	c # [type: real, range: [0,1], default: 0.1]
0.39/0.50	c heuristics/crossover/nodesquot = 0.15
0.39/0.50	c 
0.39/0.50	c # minimum percentage of integer variables that have to be fixed 
0.39/0.50	c # [type: real, range: [0,1], default: 0.666]
0.39/0.50	c heuristics/crossover/minfixingrate = 0.5
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.50	c heuristics/feaspump/freq = -1
0.39/0.50	c 
0.39/0.50	c # additional number of allowed LP iterations
0.39/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.50	c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.50	c heuristics/fracdiving/freq = -1
0.39/0.50	c 
0.39/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.50	c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.50	c 
0.39/0.50	c # additional number of allowed LP iterations
0.39/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.50	c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.50	c heuristics/guideddiving/freq = -1
0.39/0.50	c 
0.39/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.50	c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.50	c 
0.39/0.50	c # additional number of allowed LP iterations
0.39/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.50	c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.50	c 
0.39/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.50	c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.50	c heuristics/intshifting/freq = -1
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.50	c heuristics/linesearchdiving/freq = -1
0.39/0.50	c 
0.39/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.50	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.50	c 
0.39/0.50	c # additional number of allowed LP iterations
0.39/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.50	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.50	c heuristics/nlp/freq = -1
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.50	c heuristics/objpscostdiving/freq = -1
0.39/0.50	c 
0.39/0.50	c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.50	c # [type: real, range: [0,1], default: 0.01]
0.39/0.50	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.50	c 
0.39/0.50	c # additional number of allowed LP iterations
0.39/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.50	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.50	c heuristics/oneopt/freq = -1
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.50	c heuristics/pscostdiving/freq = -1
0.39/0.50	c 
0.39/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.50	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.50	c 
0.39/0.50	c # additional number of allowed LP iterations
0.39/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.50	c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.50	c heuristics/rens/freq = -1
0.39/0.50	c 
0.39/0.50	c # minimum percentage of integer variables that have to be fixable 
0.39/0.50	c # [type: real, range: [0,1], default: 0.5]
0.39/0.50	c heuristics/rens/minfixingrate = 0.3
0.39/0.50	c 
0.39/0.50	c # number of nodes added to the contingent of the total nodes
0.39/0.50	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.50	c heuristics/rens/nodesofs = 2000
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.50	c heuristics/rootsoldiving/freq = -1
0.39/0.50	c 
0.39/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.50	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.50	c 
0.39/0.50	c # additional number of allowed LP iterations
0.39/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.50	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.50	c heuristics/rounding/freq = -1
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.50	c heuristics/shifting/freq = -1
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.50	c heuristics/simplerounding/freq = -1
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.50	c heuristics/trivial/freq = -1
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.50	c heuristics/trysol/freq = -1
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.50	c heuristics/veclendiving/freq = -1
0.39/0.50	c 
0.39/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.50	c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.50	c 
0.39/0.50	c # additional number of allowed LP iterations
0.39/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.50	c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.50	c 
0.39/0.50	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.50	c heuristics/zirounding/freq = -1
0.39/0.50	c 
0.39/0.50	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.50	c separating/cmir/freq = -1
0.39/0.50	c 
0.39/0.50	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.50	c separating/flowcover/freq = -1
0.39/0.50	c 
0.39/0.50	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.50	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.50	c separating/rapidlearning/freq = 0
0.39/0.50	c 
0.39/0.50	c -----------------------------------------------------------------------------------------------
0.39/0.50	c start solving
0.49/0.50	c 
0.49/0.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.50	c   0.3s|     1 |     2 |     0 |     - |8736k|   0 |   - |3262 |3364 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.59/10.63	c  10.0s| 10000 |  9206 |     0 |   0.0 |  22M| 178 |   - |3262 |3947 |   0 |   0 |   0 | 784 |   0 | 0.000000e+00 |      --      |    Inf 
24.98/25.00	c  24.1s| 20000 | 18471 |     0 |   0.0 |  37M| 178 |   - |3262 |3812 |   0 |   0 |   0 |1334 |   0 | 0.000000e+00 |      --      |    Inf 
38.38/38.49	c  37.3s| 30000 | 28036 |     0 |   0.0 |  52M| 178 |   - |3262 |3934 |   0 |   0 |   0 |1790 |   0 | 0.000000e+00 |      --      |    Inf 
50.58/50.64	c  49.1s| 40000 | 37715 |     0 |   0.0 |  67M| 178 |   - |3262 |3958 |   0 |   0 |   0 |2103 |   0 | 0.000000e+00 |      --      |    Inf 
63.28/63.36	c  61.5s| 50000 | 47142 |     0 |   0.0 |  83M| 178 |   - |3262 |4112 |   0 |   0 |   0 |2747 |   0 | 0.000000e+00 |      --      |    Inf 
74.78/74.86	c  72.7s| 60000 | 56731 |     0 |   0.0 |  97M| 178 |   - |3262 |4160 |   0 |   0 |   0 |3173 |   0 | 0.000000e+00 |      --      |    Inf 
86.47/86.52	c  84.0s| 70000 | 66188 |     0 |   0.0 | 112M| 178 |   - |3262 |4354 |   0 |   0 |   0 |3780 |   0 | 0.000000e+00 |      --      |    Inf 
97.26/97.39	c  94.6s| 80000 | 75646 |     0 |   0.0 | 128M| 178 |   - |3262 |4518 |   0 |   0 |   0 |4499 |   0 | 0.000000e+00 |      --      |    Inf 
108.26/108.37	c   105s| 90000 | 85118 |     0 |   0.0 | 142M| 178 |   - |3262 |4539 |   0 |   0 |   0 |5095 |   0 | 0.000000e+00 |      --      |    Inf 
118.67/118.75	c   115s|100000 | 94616 |     0 |   0.0 | 157M| 178 |   - |3262 |4568 |   0 |   0 |   0 |5674 |   0 | 0.000000e+00 |      --      |    Inf 
129.26/129.34	c   126s|110000 |103972 |     0 |   0.0 | 172M| 178 |   - |3262 |4674 |   0 |   0 |   0 |6409 |   0 | 0.000000e+00 |      --      |    Inf 
139.35/139.46	c   135s|120000 |113350 |     0 |   0.0 | 187M| 178 |   - |3262 |4765 |   0 |   0 |   0 |7084 |   0 | 0.000000e+00 |      --      |    Inf 
148.95/149.01	c   145s|130000 |122783 |     0 |   0.0 | 201M| 178 |   - |3262 |4769 |   0 |   0 |   0 |7656 |   0 | 0.000000e+00 |      --      |    Inf 
158.65/158.71	c   154s|140000 |132153 |     0 |   0.0 | 216M| 178 |   - |3262 |4884 |   0 |   0 |   0 |8305 |   0 | 0.000000e+00 |      --      |    Inf 
168.16/168.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
168.16/168.21	c   163s|150000 |141443 |     0 |   0.0 | 230M| 178 |   - |3262 |5032 |   0 |   0 |   0 |9063 |   0 | 0.000000e+00 |      --      |    Inf 
177.44/177.56	c   172s|160000 |150749 |     0 |   0.0 | 244M| 178 |   - |3262 |5107 |   0 |   0 |   0 |9775 |   0 | 0.000000e+00 |      --      |    Inf 
186.44/186.52	c   181s|170000 |160057 |     0 |   0.0 | 258M| 178 |   - |3262 |5263 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
195.44/195.52	c   190s|180000 |169259 |     0 |   0.0 | 272M| 178 |   - |3262 |5398 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
204.45/204.53	c   198s|190000 |178428 |     0 |   0.0 | 286M| 178 |   - |3262 |5470 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
213.14/213.28	c   207s|200000 |187525 |     0 |   0.0 | 301M| 178 |   - |3262 |5633 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
222.04/222.13	c   215s|210000 |196510 |     0 |   0.0 | 315M| 178 |   - |3262 |5806 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
230.63/230.79	c   224s|220000 |205467 |     0 |   0.0 | 329M| 178 |   - |3262 |5948 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
239.53/239.67	c   232s|230000 |214310 |     0 |   0.0 | 343M| 178 |   - |3262 |6137 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
248.63/248.75	c   241s|240000 |222948 |     0 |   0.0 | 357M| 178 |   - |3262 |6398 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
257.93/258.00	c   250s|250000 |231464 |     0 |   0.0 | 372M| 178 |   - |3262 |6740 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
267.73/267.89	c   260s|260000 |239727 |     0 |   0.0 | 387M| 178 |   - |3262 |6988 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
277.62/277.73	c   269s|270000 |247795 |     0 |   0.0 | 402M| 178 |   - |3262 |7319 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
287.82/287.98	c   279s|280000 |255169 |     0 |   0.0 | 415M| 178 |   - |3262 |7625 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
298.21/298.39	c   289s|290000 |261474 |     0 |   0.0 | 427M| 178 |   - |3262 |8065 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
308.31/308.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
308.31/308.42	c   299s|300000 |266456 |     0 |   0.0 | 435M| 178 |   - |3262 |8327 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
319.01/319.14	c   309s|310000 |269929 |     0 |   0.0 | 441M| 178 |   - |3262 |9113 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
329.71/329.87	c   320s|320000 |272006 |     0 |   0.0 | 445M| 178 |   - |3262 |9820 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
342.40/342.53	c   332s|330000 |275547 |     0 |   0.0 | 448M| 178 |   - |3262 |7396 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
359.30/359.49	c   348s|340000 |285129 |     0 |   0.0 | 465M| 178 |   - |3262 |5957 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
375.19/375.34	c   364s|350000 |294713 |     0 |   0.0 | 481M| 178 |   - |3262 |5280 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
390.09/390.24	c   379s|360000 |304299 |     0 |   0.0 | 498M| 178 |   - |3262 |4943 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
404.60/404.70	c   393s|370000 |313885 |     0 |   0.0 | 514M| 178 |   - |3262 |4794 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
418.89/419.02	c   407s|380000 |323518 |     0 |   0.0 | 530M| 178 |   - |3262 |4674 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
432.58/432.79	c   420s|390000 |333064 |     0 |   0.0 | 545M| 178 |   - |3262 |4714 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
446.08/446.27	c   433s|400000 |342683 |     0 |   0.0 | 561M| 178 |   - |3262 |4597 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
459.77/459.95	c   447s|410000 |352243 |     0 |   0.0 | 576M| 178 |   - |3262 |4559 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
473.77/473.98	c   460s|420000 |361695 |     0 |   0.0 | 592M| 178 |   - |3262 |4613 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
487.17/487.36	c   473s|430000 |371346 |     0 |   0.0 | 607M| 178 |   - |3262 |4482 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
499.97/500.11	c   486s|440000 |380963 |     0 |   0.0 | 623M| 178 |   - |3262 |4461 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
512.86/513.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
512.86/513.10	c   499s|450000 |390542 |     0 |   0.0 | 638M| 178 |   - |3262 |4491 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
525.57/525.80	c   511s|460000 |400134 |     0 |   0.0 | 653M| 178 |   - |3262 |4483 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
538.26/538.45	c   523s|470000 |409743 |     0 |   0.0 | 667M| 178 |   - |3262 |4478 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
551.06/551.22	c   536s|480000 |419317 |     0 |   0.0 | 682M| 178 |   - |3262 |4517 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
563.95/564.13	c   548s|490000 |428827 |     0 |   0.0 | 697M| 178 |   - |3262 |4607 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
576.95/577.19	c   561s|500000 |438324 |     0 |   0.0 | 712M| 178 |   - |3262 |4722 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
589.25/589.42	c   573s|510000 |448008 |     0 |   0.0 | 727M| 178 |   - |3262 |4570 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
601.84/602.01	c   585s|520000 |457504 |     0 |   0.0 | 741M| 178 |   - |3262 |4703 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
614.04/614.24	c   597s|530000 |467145 |     0 |   0.0 | 756M| 178 |   - |3262 |4653 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
626.84/627.07	c   610s|540000 |476635 |     0 |   0.0 | 771M| 178 |   - |3262 |4748 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
640.13/640.30	c   623s|550000 |486085 |     0 |   0.0 | 786M| 178 |   - |3262 |4798 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
652.33/652.52	c   635s|560000 |495676 |     0 |   0.0 | 801M| 178 |   - |3262 |4772 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
664.33/664.59	c   646s|570000 |505262 |     0 |   0.0 | 816M| 178 |   - |3262 |4839 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
677.52/677.72	c   659s|580000 |514761 |     0 |   0.0 | 831M| 178 |   - |3262 |4794 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
690.21/690.46	c   672s|590000 |524242 |     0 |   0.0 | 846M| 178 |   - |3262 |4894 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
703.12/703.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
703.12/703.38	c   684s|600000 |533718 |     0 |   0.0 | 861M| 178 |   - |3262 |4879 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
714.92/715.15	c   696s|610000 |543316 |     0 |   0.0 | 876M| 178 |   - |3262 |4854 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
726.92/727.18	c   707s|620000 |552886 |     0 |   0.0 | 891M| 178 |   - |3262 |4868 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
740.02/740.30	c   720s|630000 |562308 |     0 |   0.0 | 906M| 178 |   - |3262 |4973 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
752.90/753.15	c   733s|640000 |571711 |     0 |   0.0 | 921M| 178 |   - |3262 |4955 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
765.31/765.52	c   745s|650000 |581200 |     0 |   0.0 | 936M| 178 |   - |3262 |4974 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
777.40/777.62	c   756s|660000 |590747 |     0 |   0.0 | 951M| 178 |   - |3262 |4914 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
789.80/790.04	c   769s|670000 |600253 |     0 |   0.0 | 966M| 178 |   - |3262 |4911 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
801.69/801.91	c   780s|680000 |609748 |     0 |   0.0 | 981M| 178 |   - |3262 |4917 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
813.39/813.61	c   792s|690000 |619248 |     0 |   0.0 | 995M| 178 |   - |3262 |5068 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
824.88/825.11	c   803s|700000 |628867 |     0 |   0.0 |1011M| 178 |   - |3262 |4885 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
836.98/837.25	c   815s|710000 |638377 |     0 |   0.0 |1025M| 178 |   - |3262 |4909 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
848.38/848.65	c   826s|720000 |648016 |     0 |   0.0 |1040M| 178 |   - |3262 |4890 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
860.38/860.66	c   837s|730000 |657516 |     0 |   0.0 |1055M| 178 |   - |3262 |5050 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
872.58/872.83	c   849s|740000 |666935 |     0 |   0.0 |1070M| 178 |   - |3262 |5048 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
884.47/884.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
884.47/884.71	c   861s|750000 |676457 |     0 |   0.0 |1085M| 178 |   - |3262 |4964 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
896.67/896.92	c   873s|760000 |685930 |     0 |   0.0 |1099M| 178 |   - |3262 |4990 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
908.37/908.68	c   884s|770000 |695459 |     0 |   0.0 |1114M| 178 |   - |3262 |5018 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
920.76/921.01	c   896s|780000 |704957 |     0 |   0.0 |1129M| 178 |   - |3262 |4957 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
932.06/932.38	c   907s|790000 |714539 |     0 |   0.0 |1144M| 178 |   - |3262 |4948 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
943.95/944.21	c   919s|800000 |724026 |     0 |   0.0 |1159M| 178 |   - |3262 |5010 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
955.66/955.97	c   930s|810000 |733543 |     0 |   0.0 |1174M| 178 |   - |3262 |5021 |   0 |   0 |   0 |  68k|   0 | 0.000000e+00 |      --      |    Inf 
967.35/967.62	c   942s|820000 |743028 |     0 |   0.0 |1189M| 178 |   - |3262 |5020 |   0 |   0 |   0 |  68k|   0 | 0.000000e+00 |      --      |    Inf 
979.15/979.40	c   953s|830000 |752450 |     0 |   0.0 |1204M| 178 |   - |3262 |5104 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
990.75/991.03	c   964s|840000 |761985 |     0 |   0.0 |1219M| 178 |   - |3262 |5074 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
1002.04/1002.34	c   975s|850000 |771558 |     0 |   0.0 |1233M| 178 |   - |3262 |5071 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 |      --      |    Inf 
1013.84/1014.18	c   987s|860000 |781042 |     0 |   0.0 |1248M| 178 |   - |3262 |5064 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 |      --      |    Inf 
1025.43/1025.74	c   998s|870000 |790573 |     0 |   0.0 |1263M| 178 |   - |3262 |5057 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
1037.73/1038.08	c  1010s|880000 |799938 |     0 |   0.0 |1278M| 178 |   - |3262 |5189 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
1049.53/1049.82	c  1021s|890000 |809432 |     0 |   0.0 |1293M| 178 |   - |3262 |5239 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
1062.12/1062.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1062.12/1062.46	c  1034s|900000 |818749 |     0 |   0.0 |1308M| 178 |   - |3262 |5298 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
1074.33/1074.69	c  1046s|910000 |828118 |     0 |   0.0 |1323M| 178 |   - |3262 |5354 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 |      --      |    Inf 
1085.92/1086.22	c  1057s|920000 |837640 |     0 |   0.0 |1338M| 178 |   - |3262 |5240 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
1097.62/1097.98	c  1068s|930000 |847126 |     0 |   0.0 |1352M| 178 |   - |3262 |5265 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
1102.22/1102.54	c (node 934069) switching to memory saving mode (mem: 1296.0M/1620.0M)
1106.61/1106.94	c  1077s|940000 |850978 |     0 |   0.0 |1360M| 178 |   - |3262 |6276 |   0 |   0 |   0 |  79k|   0 | 0.000000e+00 |      --      |    Inf 
1114.51/1114.80	c  1084s|950000 |850929 |     0 |   0.0 |1362M| 178 |   - |3262 |7374 |   0 |   0 |   0 |  85k|   0 | 0.000000e+00 |      --      |    Inf 
1122.91/1123.24	c  1093s|960000 |850904 |     0 |   0.0 |1362M| 178 |   - |3262 |7629 |   0 |   0 |   0 |  90k|   0 | 0.000000e+00 |      --      |    Inf 
1131.71/1132.04	c  1101s|970000 |850881 |     0 |   0.0 |1363M| 178 |   - |3262 |7899 |   0 |   0 |   0 |  95k|   0 | 0.000000e+00 |      --      |    Inf 
1141.31/1141.67	c  1110s|980000 |850876 |     0 |   0.0 |1364M| 178 |   - |3262 |9062 |   0 |   0 |   0 | 100k|   0 | 0.000000e+00 |      --      |    Inf 
1150.70/1151.02	c  1119s|990000 |850865 |     0 |   0.0 |1362M| 178 |   - |3262 |7607 |   0 |   0 |   0 | 105k|   0 | 0.000000e+00 |      --      |    Inf 
1159.50/1159.85	c  1128s|  1000k|850855 |     0 |   0.0 |1363M| 178 |   - |3262 |7875 |   0 |   0 |   0 | 110k|   0 | 0.000000e+00 |      --      |    Inf 
1168.71/1169.01	c  1137s|  1010k|850845 |     0 |   0.0 |1364M| 178 |   - |3262 |8667 |   0 |   0 |   0 | 115k|   0 | 0.000000e+00 |      --      |    Inf 
1178.50/1178.84	c  1146s|  1020k|850839 |     0 |   0.0 |1364M| 178 |   - |3262 |8857 |   0 |   0 |   0 | 119k|   0 | 0.000000e+00 |      --      |    Inf 
1188.40/1188.74	c  1156s|  1030k|850833 |     0 |   0.0 |1365M| 178 |   - |3262 |9189 |   0 |   0 |   0 | 124k|   0 | 0.000000e+00 |      --      |    Inf 
1198.60/1198.96	c  1166s|  1040k|850826 |     0 |   0.0 |1365M| 178 |   - |3262 |9415 |   0 |   0 |   0 | 128k|   0 | 0.000000e+00 |      --      |    Inf 
1207.99/1208.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1207.99/1208.30	c  1175s|  1050k|850823 |     0 |   0.0 |1365M| 178 |   - |3262 |9163 |   0 |   0 |   0 | 133k|   0 | 0.000000e+00 |      --      |    Inf 
1217.49/1217.89	c  1184s|  1060k|850817 |     0 |   0.0 |1365M| 178 |   - |3262 |9309 |   0 |   0 |   0 | 137k|   0 | 0.000000e+00 |      --      |    Inf 
1227.49/1227.84	c  1194s|  1070k|850817 |     0 |   0.0 |1366M| 178 |   - |3262 |9815 |   0 |   0 |   0 | 141k|   0 | 0.000000e+00 |      --      |    Inf 
1237.37/1237.71	c  1203s|  1080k|850816 |     0 |   0.0 |1366M| 178 |   - |3262 |  10k|   0 |   0 |   0 | 145k|   0 | 0.000000e+00 |      --      |    Inf 
1247.17/1247.56	c  1213s|  1090k|850810 |     0 |   0.0 |1365M| 178 |   - |3262 |9372 |   0 |   0 |   0 | 149k|   0 | 0.000000e+00 |      --      |    Inf 
1256.87/1257.24	c  1222s|  1100k|850805 |     0 |   0.0 |1363M| 178 |   - |3262 |8384 |   0 |   0 |   0 | 154k|   0 | 0.000000e+00 |      --      |    Inf 
1266.47/1266.89	c  1232s|  1110k|850802 |     0 |   0.0 |1364M| 178 |   - |3262 |9061 |   0 |   0 |   0 | 158k|   0 | 0.000000e+00 |      --      |    Inf 
1275.57/1275.96	c  1240s|  1120k|850799 |     0 |   0.0 |1363M| 178 |   - |3262 |8189 |   0 |   0 |   0 | 162k|   0 | 0.000000e+00 |      --      |    Inf 
1284.67/1285.02	c  1249s|  1130k|850795 |     0 |   0.0 |1363M| 178 |   - |3262 |8305 |   0 |   0 |   0 | 166k|   0 | 0.000000e+00 |      --      |    Inf 
1293.86/1294.29	c  1258s|  1140k|850791 |     0 |   0.0 |1363M| 178 |   - |3262 |8243 |   0 |   0 |   0 | 170k|   0 | 0.000000e+00 |      --      |    Inf 
1303.66/1304.03	c  1268s|  1150k|850786 |     0 |   0.0 |1364M| 178 |   - |3262 |8448 |   0 |   0 |   0 | 174k|   0 | 0.000000e+00 |      --      |    Inf 
1312.66/1313.08	c  1276s|  1160k|850785 |     0 |   0.0 |1364M| 178 |   - |3262 |8897 |   0 |   0 |   0 | 178k|   0 | 0.000000e+00 |      --      |    Inf 
1322.05/1322.46	c  1285s|  1170k|850779 |     0 |   0.0 |1363M| 178 |   - |3262 |8118 |   0 |   0 |   0 | 182k|   0 | 0.000000e+00 |      --      |    Inf 
1330.56/1330.99	c  1294s|  1180k|850774 |     0 |   0.0 |1363M| 178 |   - |3262 |8270 |   0 |   0 |   0 | 186k|   0 | 0.000000e+00 |      --      |    Inf 
1339.46/1339.81	c  1302s|  1190k|850772 |     0 |   0.0 |1363M| 178 |   - |3262 |8346 |   0 |   0 |   0 | 190k|   0 | 0.000000e+00 |      --      |    Inf 
1348.84/1349.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1348.84/1349.23	c  1311s|  1200k|850769 |     0 |   0.0 |1364M| 178 |   - |3262 |8760 |   0 |   0 |   0 | 193k|   0 | 0.000000e+00 |      --      |    Inf 
1357.55/1357.98	c  1320s|  1210k|850771 |     0 |   0.0 |1364M| 178 |   - |3262 |8553 |   0 |   0 |   0 | 196k|   0 | 0.000000e+00 |      --      |    Inf 
1367.04/1367.46	c  1329s|  1220k|850771 |     0 |   0.0 |1364M| 178 |   - |3262 |8847 |   0 |   0 |   0 | 200k|   0 | 0.000000e+00 |      --      |    Inf 
1376.44/1376.83	c  1338s|  1230k|850771 |     0 |   0.0 |1364M| 178 |   - |3262 |8838 |   0 |   0 |   0 | 204k|   0 | 0.000000e+00 |      --      |    Inf 
1386.54/1386.92	c  1348s|  1240k|850769 |     0 |   0.0 |1365M| 178 |   - |3262 |9302 |   0 |   0 |   0 | 208k|   0 | 0.000000e+00 |      --      |    Inf 
1396.73/1397.17	c  1358s|  1250k|850764 |     0 |   0.0 |1364M| 178 |   - |3262 |8814 |   0 |   0 |   0 | 213k|   0 | 0.000000e+00 |      --      |    Inf 
1406.63/1407.03	c  1367s|  1260k|850760 |     0 |   0.0 |1364M| 178 |   - |3262 |8993 |   0 |   0 |   0 | 217k|   0 | 0.000000e+00 |      --      |    Inf 
1417.13/1417.59	c  1378s|  1270k|850759 |     0 |   0.0 |1365M| 178 |   - |3262 |9282 |   0 |   0 |   0 | 221k|   0 | 0.000000e+00 |      --      |    Inf 
1427.52/1427.97	c  1388s|  1280k|850756 |     0 |   0.0 |1366M| 178 |   - |3262 |9737 |   0 |   0 |   0 | 225k|   0 | 0.000000e+00 |      --      |    Inf 
1437.53/1437.97	c  1397s|  1290k|850748 |     0 |   0.0 |1363M| 178 |   - |3262 |8147 |   0 |   0 |   0 | 230k|   0 | 0.000000e+00 |      --      |    Inf 
1446.53/1446.96	c  1406s|  1300k|850748 |     0 |   0.0 |1364M| 178 |   - |3262 |8658 |   0 |   0 |   0 | 233k|   0 | 0.000000e+00 |      --      |    Inf 
1456.12/1456.55	c  1415s|  1310k|850743 |     0 |   0.0 |1364M| 178 |   - |3262 |8837 |   0 |   0 |   0 | 237k|   0 | 0.000000e+00 |      --      |    Inf 
1465.52/1465.94	c  1424s|  1320k|850742 |     0 |   0.0 |1364M| 178 |   - |3262 |9034 |   0 |   0 |   0 | 241k|   0 | 0.000000e+00 |      --      |    Inf 
1474.02/1474.42	c  1433s|  1330k|850739 |     0 |   0.0 |1363M| 178 |   - |3262 |7807 |   0 |   0 |   0 | 246k|   0 | 0.000000e+00 |      --      |    Inf 
1481.91/1482.35	c  1440s|  1340k|850735 |     0 |   0.0 |1362M| 178 |   - |3262 |7320 |   0 |   0 |   0 | 249k|   0 | 0.000000e+00 |      --      |    Inf 
1490.12/1490.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1490.12/1490.53	c  1448s|  1350k|850734 |     0 |   0.0 |1363M| 178 |   - |3262 |7763 |   0 |   0 |   0 | 252k|   0 | 0.000000e+00 |      --      |    Inf 
1498.82/1499.28	c  1457s|  1360k|850733 |     0 |   0.0 |1363M| 178 |   - |3262 |7997 |   0 |   0 |   0 | 255k|   0 | 0.000000e+00 |      --      |    Inf 
1508.11/1508.55	c  1466s|  1370k|850733 |     0 |   0.0 |1364M| 178 |   - |3262 |8355 |   0 |   0 |   0 | 260k|   0 | 0.000000e+00 |      --      |    Inf 
1517.00/1517.49	c  1474s|  1380k|850730 |     0 |   0.0 |1363M| 178 |   - |3262 |8280 |   0 |   0 |   0 | 263k|   0 | 0.000000e+00 |      --      |    Inf 
1526.01/1526.46	c  1483s|  1390k|850728 |     0 |   0.0 |1364M| 178 |   - |3262 |8710 |   0 |   0 |   0 | 267k|   0 | 0.000000e+00 |      --      |    Inf 
1535.80/1536.22	c  1492s|  1400k|850721 |     0 |   0.0 |1363M| 178 |   - |3262 |8303 |   0 |   0 |   0 | 271k|   0 | 0.000000e+00 |      --      |    Inf 
1544.59/1545.07	c  1501s|  1410k|850719 |     0 |   0.0 |1362M| 178 |   - |3262 |7616 |   0 |   0 |   0 | 276k|   0 | 0.000000e+00 |      --      |    Inf 
1553.30/1553.72	c  1509s|  1420k|850714 |     0 |   0.0 |1363M| 178 |   - |3262 |7723 |   0 |   0 |   0 | 279k|   0 | 0.000000e+00 |      --      |    Inf 
1561.90/1562.31	c  1518s|  1430k|850717 |     0 |   0.0 |1363M| 178 |   - |3262 |7807 |   0 |   0 |   0 | 283k|   0 | 0.000000e+00 |      --      |    Inf 
1570.70/1571.14	c  1526s|  1440k|850716 |     0 |   0.0 |1363M| 178 |   - |3262 |7981 |   0 |   0 |   0 | 287k|   0 | 0.000000e+00 |      --      |    Inf 
1579.69/1580.19	c  1535s|  1450k|850711 |     0 |   0.0 |1363M| 178 |   - |3262 |8113 |   0 |   0 |   0 | 291k|   0 | 0.000000e+00 |      --      |    Inf 
1587.89/1588.33	c  1543s|  1460k|850710 |     0 |   0.0 |1363M| 178 |   - |3262 |7904 |   0 |   0 |   0 | 294k|   0 | 0.000000e+00 |      --      |    Inf 
1595.99/1596.45	c  1551s|  1470k|850709 |     0 |   0.0 |1363M| 178 |   - |3262 |8041 |   0 |   0 |   0 | 297k|   0 | 0.000000e+00 |      --      |    Inf 
1604.39/1604.82	c  1559s|  1480k|850709 |     0 |   0.0 |1363M| 178 |   - |3262 |8243 |   0 |   0 |   0 | 299k|   0 | 0.000000e+00 |      --      |    Inf 
1613.38/1613.88	c  1568s|  1490k|850707 |     0 |   0.0 |1363M| 178 |   - |3262 |8094 |   0 |   0 |   0 | 303k|   0 | 0.000000e+00 |      --      |    Inf 
1622.38/1622.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1622.38/1622.88	c  1576s|  1500k|850708 |     0 |   0.0 |1363M| 178 |   - |3262 |8330 |   0 |   0 |   0 | 307k|   0 | 0.000000e+00 |      --      |    Inf 
1632.27/1632.76	c  1586s|  1510k|850705 |     0 |   0.0 |1364M| 178 |   - |3262 |8910 |   0 |   0 |   0 | 311k|   0 | 0.000000e+00 |      --      |    Inf 
1641.17/1641.63	c  1594s|  1520k|850707 |     0 |   0.0 |1364M| 178 |   - |3262 |8811 |   0 |   0 |   0 | 314k|   0 | 0.000000e+00 |      --      |    Inf 
1650.87/1651.31	c  1604s|  1530k|850708 |     0 |   0.0 |1364M| 178 |   - |3262 |8720 |   0 |   0 |   0 | 318k|   0 | 0.000000e+00 |      --      |    Inf 
1660.48/1660.92	c  1613s|  1540k|850707 |     0 |   0.0 |1364M| 178 |   - |3262 |8544 |   0 |   0 |   0 | 321k|   0 | 0.000000e+00 |      --      |    Inf 
1670.48/1670.94	c  1623s|  1550k|850707 |     0 |   0.0 |1364M| 178 |   - |3262 |8888 |   0 |   0 |   0 | 325k|   0 | 0.000000e+00 |      --      |    Inf 
1679.06/1679.51	c  1631s|  1560k|850700 |     0 |   0.0 |1362M| 178 |   - |3262 |7374 |   0 |   0 |   0 | 329k|   0 | 0.000000e+00 |      --      |    Inf 
1687.26/1687.78	c  1639s|  1570k|850699 |     0 |   0.0 |1362M| 178 |   - |3262 |7513 |   0 |   0 |   0 | 333k|   0 | 0.000000e+00 |      --      |    Inf 
1695.86/1696.33	c  1647s|  1580k|850693 |     0 |   0.0 |1362M| 178 |   - |3262 |7331 |   0 |   0 |   0 | 337k|   0 | 0.000000e+00 |      --      |    Inf 
1704.46/1704.99	c  1656s|  1590k|850693 |     0 |   0.0 |1362M| 178 |   - |3262 |7453 |   0 |   0 |   0 | 341k|   0 | 0.000000e+00 |      --      |    Inf 
1714.15/1714.62	c  1665s|  1600k|850688 |     0 |   0.0 |1365M| 178 |   - |3262 |9012 |   0 |   0 |   0 | 347k|   0 | 0.000000e+00 |      --      |    Inf 
1723.56/1724.00	c  1674s|  1610k|850691 |     0 |   0.0 |1365M| 178 |   - |3262 |9026 |   0 |   0 |   0 | 351k|   0 | 0.000000e+00 |      --      |    Inf 
1732.75/1733.21	c  1683s|  1620k|850689 |     0 |   0.0 |1364M| 178 |   - |3262 |8599 |   0 |   0 |   0 | 355k|   0 | 0.000000e+00 |      --      |    Inf 
1741.64/1742.18	c  1692s|  1630k|850688 |     0 |   0.0 |1364M| 178 |   - |3262 |8943 |   0 |   0 |   0 | 359k|   0 | 0.000000e+00 |      --      |    Inf 
1750.66/1751.17	c  1701s|  1640k|850684 |     0 |   0.0 |1364M| 178 |   - |3262 |8352 |   0 |   0 |   0 | 363k|   0 | 0.000000e+00 |      --      |    Inf 
1759.05/1759.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1759.05/1759.56	c  1709s|  1650k|850682 |     0 |   0.0 |1363M| 178 |   - |3262 |7977 |   0 |   0 |   0 | 367k|   0 | 0.000000e+00 |      --      |    Inf 
1768.04/1768.50	c  1717s|  1660k|850682 |     0 |   0.0 |1363M| 178 |   - |3262 |8306 |   0 |   0 |   0 | 371k|   0 | 0.000000e+00 |      --      |    Inf 
1776.84/1777.37	c  1726s|  1670k|850682 |     0 |   0.0 |1364M| 178 |   - |3262 |8865 |   0 |   0 |   0 | 374k|   0 | 0.000000e+00 |      --      |    Inf 
1785.94/1786.47	c  1735s|  1680k|850681 |     0 |   0.0 |1365M| 178 |   - |3262 |9050 |   0 |   0 |   0 | 378k|   0 | 0.000000e+00 |      --      |    Inf 
1795.34/1795.84	c  1744s|  1690k|850681 |     0 |   0.0 |1365M| 178 |   - |3262 |9193 |   0 |   0 |   0 | 382k|   0 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50	c 
1800.04/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.50	c Solving Time (sec) : 1748.34
1800.04/1800.50	c Solving Nodes      : 1695382
1800.04/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.50	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.51	c Gap                : infinite
1800.04/1800.51	s UNKNOWN
1800.04/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.51	c Solving Time       :    1748.34
1800.04/1800.51	c Original Problem   :
1800.04/1800.51	c   Problem name     : HOME/instance-2663457-1276679497.opb
1800.04/1800.51	c   Variables        : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51	c   Constraints      : 3364 initial, 3364 maximal
1800.04/1800.51	c Presolved Problem  :
1800.04/1800.51	c   Problem name     : t_HOME/instance-2663457-1276679497.opb
1800.04/1800.51	c   Variables        : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51	c   Constraints      : 3364 initial, 10387 maximal
1800.04/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.51	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   and              :       0.19          0          0          0          0          0          0          0          0
1800.04/1800.51	c   linear           :       0.02          0          0          0          0          0          0          0          0
1800.04/1800.51	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.51	c   knapsack         :          1          0    3311174          0    1011645     106504    1681489          0          0          0
1800.04/1800.51	c   setppc           :        200          0    4345159          0    1335028      36630     537944          0          0          0
1800.04/1800.51	c   and              :       3062          0    4308529          0    1335028        155   23534069          0          0          0
1800.04/1800.51	c   linear           :          1          0    4292704          0    1335028     288621    2662738          0          0          0
1800.04/1800.51	c   logicor          :        100+         0     918000          0    1334958      50324    1536628          0          0          0
1800.04/1800.51	c   countsols        :          0          0          0          0    1335027          0          0          0          0          0
1800.04/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.51	c   knapsack         :     127.62       0.00     119.59       0.00       8.03
1800.04/1800.51	c   setppc           :     216.10       0.00      23.66       0.00     192.44
1800.04/1800.51	c   and              :     266.92       0.00     136.14       0.00     130.78
1800.04/1800.51	c   linear           :     341.63       0.00     340.27       0.00       1.36
1800.04/1800.51	c   logicor          :     150.97       0.00     136.46       0.00      14.51
1800.04/1800.51	c   countsols        :       0.57       0.00       0.00       0.00       0.57
1800.04/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.51	c   vbounds          :       2.81          1          0          0
1800.04/1800.51	c   rootredcost      :       2.20          0          0          0
1800.04/1800.51	c   pseudoobj        :       1.91          0          0          0
1800.04/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.51	c   propagation      :     347.77     482234     320261    2765827      164.5         62      147.9          -
1800.04/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.51	c   applied globally :          -          -          -     383812      146.7          -          -          -
1800.04/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.51	c Pricers            :       Time      Calls       Vars
1800.04/1800.51	c   problem variables:       0.00          0          0
1800.04/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   inference        :     331.13    1335027          0          0          0          0    2670054
1800.04/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.51	c   LP solutions     :       0.00          -          0
1800.04/1800.51	c   pseudo solutions :       0.00          -          0
1800.04/1800.51	c   trivial          :       0.01          1          0
1800.04/1800.51	c   simplerounding   :       0.00          0          0
1800.04/1800.51	c   zirounding       :       0.00          0          0
1800.04/1800.51	c   rounding         :       0.00          0          0
1800.04/1800.51	c   shifting         :       0.00          0          0
1800.04/1800.51	c   intshifting      :       0.00          0          0
1800.04/1800.51	c   oneopt           :       0.00          0          0
1800.04/1800.51	c   twoopt           :       0.00          0          0
1800.04/1800.51	c   fixandinfer      :       0.00          0          0
1800.04/1800.51	c   feaspump         :       0.00          0          0
1800.04/1800.51	c   coefdiving       :       0.00          0          0
1800.04/1800.51	c   pscostdiving     :       0.00          0          0
1800.04/1800.51	c   fracdiving       :       0.00          0          0
1800.04/1800.51	c   veclendiving     :       0.00          0          0
1800.04/1800.51	c   intdiving        :       0.00          0          0
1800.04/1800.51	c   actconsdiving    :       0.00          0          0
1800.04/1800.51	c   objpscostdiving  :       0.00          0          0
1800.04/1800.51	c   rootsoldiving    :       0.00          0          0
1800.04/1800.51	c   linesearchdiving :       0.00          0          0
1800.04/1800.51	c   guideddiving     :       0.00          0          0
1800.04/1800.51	c   octane           :       0.00          0          0
1800.04/1800.51	c   rens             :       0.00          0          0
1800.04/1800.51	c   rins             :       0.00          0          0
1800.04/1800.51	c   localbranching   :       0.00          0          0
1800.04/1800.51	c   mutation         :       0.00          0          0
1800.04/1800.51	c   crossover        :       0.00          0          0
1800.04/1800.51	c   dins             :       0.00          0          0
1800.04/1800.51	c   undercover       :       0.00          0          0
1800.04/1800.51	c   nlp              :       0.00          0          0
1800.04/1800.51	c   trysol           :       0.00          0          0
1800.04/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.51	c B&B Tree           :
1800.04/1800.51	c   number of runs   :          1
1800.04/1800.51	c   nodes            :    1695382
1800.04/1800.51	c   nodes (total)    :    1695382
1800.04/1800.51	c   nodes left       :     850681
1800.04/1800.51	c   max depth        :        178
1800.04/1800.51	c   max depth (total):        178
1800.04/1800.51	c   backtracks       :     172465 (10.2%)
1800.04/1800.51	c   delayed cutoffs  :     123992
1800.04/1800.51	c   repropagations   :     868108 (3033826 domain reductions, 121879 cutoffs)
1800.04/1800.51	c   avg switch length:       3.37
1800.04/1800.51	c   switching time   :     205.11
1800.04/1800.51	c Solution           :
1800.04/1800.51	c   Solutions found  :          0 (0 improvements)
1800.04/1800.51	c   Primal Bound     :          -
1800.04/1800.51	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.51	c   Gap              :   infinite
1800.04/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.51	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-2663457-1276679497/watcher-2663457-1276679497 -o /tmp/evaluation-result-2663457-1276679497/solver-2663457-1276679497 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663457-1276679497.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: 2.52 2.76 2.11 3/106 14530
/proc/meminfo: memFree=1713272/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=6584 CPUtime=0
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 970 0 0 0 0 0 0 0 25 0 1 0 9241541 6742016 893 1992294400 4194304 7136930 140736970923264 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14530/statm: 1646 903 254 719 0 925 0

[startup+0.011806 s]
/proc/loadavg: 2.52 2.76 2.11 3/106 14530
/proc/meminfo: memFree=1713272/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=8052 CPUtime=0
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 1503 0 0 0 0 0 0 0 25 0 1 0 9241541 8245248 1426 1992294400 4194304 7136930 140736970923264 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14530/statm: 2013 1426 269 719 0 1292 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8052

[startup+0.100812 s]
/proc/loadavg: 2.52 2.76 2.11 3/106 14530
/proc/meminfo: memFree=1713272/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=20020 CPUtime=0.09
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 4643 0 0 0 7 2 0 0 25 0 1 0 9241541 20500480 4212 1992294400 4194304 7136930 140736970923264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 5005 4212 327 719 0 4284 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20020

[startup+0.30083 s]
/proc/loadavg: 2.52 2.76 2.11 3/106 14530
/proc/meminfo: memFree=1713272/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=22852 CPUtime=0.29
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 5892 0 0 0 18 11 0 0 25 0 1 0 9241541 23400448 4947 1992294400 4194304 7136930 140736970923264 18446744073709551615 4212032 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 5713 4947 352 719 0 4992 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22852

[startup+0.700868 s]
/proc/loadavg: 2.52 2.76 2.11 3/106 14530
/proc/meminfo: memFree=1713272/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=25540 CPUtime=0.69
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 8144 0 0 0 47 22 0 0 25 0 1 0 9241541 26152960 5657 1992294400 4194304 7136930 140736970923264 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 6385 5657 394 719 0 5664 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25540

[startup+1.50094 s]
/proc/loadavg: 2.52 2.76 2.11 2/107 14531
/proc/meminfo: memFree=1691688/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=26708 CPUtime=1.49
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 8424 0 0 0 125 24 0 0 25 0 1 0 9241541 27348992 5937 1992294400 4194304 7136930 140736970923264 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 6677 5937 394 719 0 5956 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26708

[startup+3.10109 s]
/proc/loadavg: 2.52 2.76 2.11 2/107 14531
/proc/meminfo: memFree=1689952/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=28512 CPUtime=3.09
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 8884 0 0 0 282 27 0 0 25 0 1 0 9241541 29196288 6397 1992294400 4194304 7136930 140736970923264 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 7128 6397 394 719 0 6407 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28512

[startup+6.30039 s]
/proc/loadavg: 2.40 2.73 2.11 2/107 14531
/proc/meminfo: memFree=1683876/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=35248 CPUtime=6.29
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 10563 0 0 0 593 36 0 0 25 0 1 0 9241541 36093952 8076 1992294400 4194304 7136930 140736970923264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 8812 8076 394 719 0 8091 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35248

[startup+12.701 s]
/proc/loadavg: 2.29 2.70 2.10 2/107 14531
/proc/meminfo: memFree=1670732/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=48436 CPUtime=12.69
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 13849 0 0 0 1207 62 0 0 25 0 1 0 9241541 49598464 11362 1992294400 4194304 7136930 140736970923264 18446744073709551615 4780863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 12109 11362 394 719 0 11388 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48436

[startup+25.5012 s]
/proc/loadavg: 2.00 2.62 2.08 2/107 14531
/proc/meminfo: memFree=1651016/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=66272 CPUtime=25.48
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 18290 0 0 0 2458 90 0 0 25 0 1 0 9241541 67862528 15803 1992294400 4194304 7136930 140736970923264 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 16568 15803 394 719 0 15847 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 66272

[startup+51.1005 s]
/proc/loadavg: 1.66 2.49 2.05 2/107 14531
/proc/meminfo: memFree=1618528/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=98624 CPUtime=51.08
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 26411 0 0 0 4958 150 0 0 25 0 1 0 9241541 100990976 23924 1992294400 4194304 7136930 140736970923264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 24656 23924 394 719 0 23935 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98624

[startup+102.308 s]
/proc/loadavg: 1.28 2.26 2.00 2/107 14533
/proc/meminfo: memFree=1546484/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=173556 CPUtime=102.27
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 44431 0 0 0 9939 288 0 0 25 0 1 0 9241541 177721344 41944 1992294400 4194304 7136930 140736970923264 18446744073709551615 4774442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 43389 41944 394 719 0 42668 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 173556

[startup+162.301 s]
/proc/loadavg: 1.10 2.03 1.93 2/107 14535
/proc/meminfo: memFree=1453608/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=267748 CPUtime=162.25
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 67569 0 0 0 15759 466 0 0 25 0 1 0 9241541 274173952 65082 1992294400 4194304 7136930 140736970923264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 66937 65082 394 719 0 66216 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 267748

[startup+222.301 s]
/proc/loadavg: 1.04 1.84 1.87 2/107 14537
/proc/meminfo: memFree=1359120/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=369412 CPUtime=222.24
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 91302 0 0 0 21553 671 0 0 25 0 1 0 9241541 378277888 88815 1992294400 4194304 7136930 140736970923264 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 92353 88815 394 719 0 91632 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 369412

[startup+282.301 s]
/proc/loadavg: 1.01 1.68 1.81 2/107 14537
/proc/meminfo: memFree=1261408/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=474316 CPUtime=282.22
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 115718 0 0 0 27355 867 0 0 25 0 1 0 9241541 485699584 113231 1992294400 4194304 7136930 140736970923264 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 118579 113231 394 719 0 117858 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 474316

[startup+342.301 s]
/proc/loadavg: 1.00 1.56 1.76 2/107 14539
/proc/meminfo: memFree=1214908/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=521368 CPUtime=342.21
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 126961 0 0 0 33156 1065 0 0 25 0 1 0 9241541 533880832 124474 1992294400 4194304 7136930 140736970923264 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 130342 124474 394 719 0 129621 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 521368

[startup+402.301 s]
/proc/loadavg: 1.00 1.45 1.71 2/107 14541
/proc/meminfo: memFree=1150180/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=588900 CPUtime=402.19
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 143547 0 0 0 39035 1184 0 0 25 0 1 0 9241541 603033600 141060 1992294400 4194304 7136930 140736970923264 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 147225 141060 394 719 0 146504 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 588900

[startup+462.301 s]
/proc/loadavg: 1.00 1.37 1.66 2/107 14543
/proc/meminfo: memFree=1079624/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=658192 CPUtime=462.17
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 160702 0 0 0 44902 1315 0 0 25 0 1 0 9241541 673988608 158215 1992294400 4194304 7136930 140736970923264 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 164548 158215 394 719 0 163827 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 658192

[startup+522.301 s]
/proc/loadavg: 1.00 1.30 1.62 2/107 14545
/proc/meminfo: memFree=1008572/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=730896 CPUtime=522.16
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 178532 0 0 0 50765 1451 0 0 25 0 1 0 9241541 748437504 176045 1992294400 4194304 7136930 140736970923264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 182724 176045 394 719 0 182003 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 730896

[startup+582.301 s]
/proc/loadavg: 1.00 1.24 1.58 2/107 14545
/proc/meminfo: memFree=940620/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=801904 CPUtime=582.14
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 195870 0 0 0 56617 1597 0 0 25 0 1 0 9241541 821149696 193383 1992294400 4194304 7136930 140736970923264 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 200476 193383 394 719 0 199755 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 801904

[startup+642.301 s]
/proc/loadavg: 1.00 1.19 1.54 2/107 14547
/proc/meminfo: memFree=866096/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=884516 CPUtime=642.13
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 213914 0 0 0 62467 1746 0 0 25 0 1 0 9241541 905744384 211427 1992294400 4194304 7136930 140736970923264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 221129 211427 394 719 0 220408 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 884516

[startup+702.301 s]

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

/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 325636 0 0 0 97529 2675 0 0 25 0 1 0 9241541 1370845184 323149 1992294400 4194304 7136930 140736970923264 18446744073709551615 4414763 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 334679 323149 394 719 0 333958 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1338716

[startup+1062.3 s]
/proc/loadavg: 1.00 1.04 1.33 2/107 14559
/proc/meminfo: memFree=346536/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1413960 CPUtime=1062.02
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 343705 0 0 0 103364 2838 0 0 25 0 1 0 9241541 1447895040 341218 1992294400 4194304 7136930 140736970923264 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 353490 341218 394 719 0 352769 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1413960

[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/107 14561
/proc/meminfo: memFree=285280/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1476412 CPUtime=1122.01
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 361993 0 0 0 109174 3027 0 0 25 0 1 0 9241541 1511845888 356179 1992294400 4194304 7136930 140736970923264 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 369103 356179 394 719 0 368382 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1476412

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/107 14561
/proc/meminfo: memFree=280692/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1480960 CPUtime=1182
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 363161 0 0 0 114974 3226 0 0 25 0 1 0 9241541 1516503040 357347 1992294400 4194304 7136930 140736970923264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 370240 357347 394 719 0 369519 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1480960

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/107 14566
/proc/meminfo: memFree=277468/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1483076 CPUtime=1241.98
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 363657 0 0 0 120791 3407 0 0 25 0 1 0 9241541 1518669824 357843 1992294400 4194304 7136930 140736970923264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 370769 357843 394 719 0 370048 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1483076

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/107 14568
/proc/meminfo: memFree=277468/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1483076 CPUtime=1301.96
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 363669 0 0 0 126597 3599 0 0 25 0 1 0 9241541 1518669824 357855 1992294400 4194304 7136930 140736970923264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 370769 357855 394 719 0 370048 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1483076

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.22 2/107 14570
/proc/meminfo: memFree=277468/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1483076 CPUtime=1361.94
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 363674 0 0 0 132401 3793 0 0 25 0 1 0 9241541 1518669824 357860 1992294400 4194304 7136930 140736970923264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 370769 357860 394 719 0 370048 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1483076

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.21 2/107 14572
/proc/meminfo: memFree=276600/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1484296 CPUtime=1421.93
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 363973 0 0 0 138216 3977 0 0 25 0 1 0 9241541 1519919104 358159 1992294400 4194304 7136930 140736970923264 18446744073709551615 5921706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 371074 358159 394 719 0 370353 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1484296

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/107 14572
/proc/meminfo: memFree=275360/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1485640 CPUtime=1481.91
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 364306 0 0 0 144032 4159 0 0 25 0 1 0 9241541 1521295360 358492 1992294400 4194304 7136930 140736970923264 18446744073709551615 5922941 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 371410 358492 394 719 0 370689 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1485640

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 14574
/proc/meminfo: memFree=275236/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1485640 CPUtime=1541.9
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 364323 0 0 0 149839 4351 0 0 25 0 1 0 9241541 1521295360 358509 1992294400 4194304 7136930 140736970923264 18446744073709551615 5909102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 371410 358509 394 719 0 370689 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1485640

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 14576
/proc/meminfo: memFree=275236/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1485640 CPUtime=1601.89
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 364323 0 0 0 155643 4546 0 0 25 0 1 0 9241541 1521295360 358509 1992294400 4194304 7136930 140736970923264 18446744073709551615 5921487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 371410 358509 394 719 0 370689 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1485640

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 14578
/proc/meminfo: memFree=275236/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1485792 CPUtime=1661.87
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 364344 0 0 0 161455 4732 0 0 25 0 1 0 9241541 1521451008 358530 1992294400 4194304 7136930 140736970923264 18446744073709551615 4780261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 371448 358530 394 719 0 370727 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1485792

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 14580
/proc/meminfo: memFree=273500/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1487468 CPUtime=1721.86
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 364764 0 0 0 167254 4932 0 0 25 0 1 0 9241541 1523167232 358950 1992294400 4194304 7136930 140736970923264 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 371867 358950 394 719 0 371146 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1487468

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 14580
/proc/meminfo: memFree=273252/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1487468 CPUtime=1781.84
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 364786 0 0 0 173069 5115 0 0 25 0 1 0 9241541 1523167232 358972 1992294400 4194304 7136930 140736970923264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 371867 358972 394 719 0 371146 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1487468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 14582
/proc/meminfo: memFree=273252/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1487468 CPUtime=1800.04
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 364787 0 0 0 174837 5167 0 0 25 0 1 0 9241541 1523167232 358973 1992294400 4194304 7136930 140736970923264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14530/statm: 371867 358973 394 719 0 371146 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1487468

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14530

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.12 2/108 14583
/proc/meminfo: memFree=273244/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1487468 CPUtime=1800.93
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 364792 0 0 0 174926 5167 0 0 25 0 1 0 9241541 1523167232 358978 1992294400 4194304 7136930 140736970923264 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14530/statm: 371867 358978 399 719 0 371146 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 1487468

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.12 2/108 14583
/proc/meminfo: memFree=273492/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=1474108 CPUtime=1801.74
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4202496 364792 0 0 0 175006 5168 0 0 25 0 1 0 9241541 1509486592 355638 1992294400 4194304 7136930 140736970923264 18446744073709551615 4212575 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14530/statm: 368527 355638 399 719 0 367806 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 1474108

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.12 2/108 14583
/proc/meminfo: memFree=273492/2059040 swapFree=4187148/4192956
[pid=14530] ppid=14528 vsize=0 CPUtime=1802.13
/proc/14530/stat : 14530 (pbscip.linux.x8) R 14528 14530 14015 0 -1 4203524 364792 0 0 0 175036 5177 0 0 25 0 1 0 9241541 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/14530/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.64
CPU time (s): 1802.19
CPU user time (s): 1750.37
CPU system time (s): 51.8181
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 1487468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1750.37
system time used= 51.8181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364792
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= 4
involuntary context switches= 4773

runsolver used 2.98355 second user time and 8.5217 second system time

The end

Name	normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_5_15.opb
MD5SUM	2b927be10d6e21370847ee6c94426772
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	YES
(Un)Satisfiability was proved	YES
Best value of the objective function
Optimality of the best value was proved	NO
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	15
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	200
Number of bits of the biggest sum of numbers	8
Number of products (including duplicates)	6124
Sum of products size (including duplicates)	12248
Number of different products	3062
Sum of products size	6124

Trace number 2663457

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data