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.17	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-2663413-1276675620.opb>
0.00/0.02	c original problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1560 constraints
0.00/0.02	c problem read
0.00/0.02	c No objective function, only one solution is needed.
0.00/0.02	c presolving settings loaded
0.00/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.00/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, 10264 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  10264 implications, 200 cliques
0.39/0.42	c presolved problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1560 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    1258 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.20
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.98
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.42	c 
0.39/0.42	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.42	c   0.2s|     1 |     2 |     0 |     - |4046k|   0 |   - |1458 |1560 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.08/7.14	c   6.6s| 10000 |  7950 |     0 |   0.0 |  14M| 140 |   - |1458 |1763 |   0 |   0 |   0 |1212 |   0 | 0.000000e+00 |      --      |    Inf 
14.59/14.66	c  13.8s| 20000 | 16057 |     0 |   0.0 |  24M| 140 |   - |1458 |1923 |   0 |   0 |   0 |2133 |   0 | 0.000000e+00 |      --      |    Inf 
22.28/22.33	c  21.2s| 30000 | 23529 |     0 |   0.0 |  33M| 140 |   - |1458 |1956 |   0 |   0 |   0 |3079 |   0 | 0.000000e+00 |      --      |    Inf 
29.98/30.09	c  28.7s| 40000 | 30146 |     0 |   0.0 |  41M| 140 |   - |1458 |1982 |   0 |   0 |   0 |4025 |   0 | 0.000000e+00 |      --      |    Inf 
37.88/37.95	c  36.2s| 50000 | 36321 |     0 |   0.0 |  48M| 140 |   - |1458 |1977 |   0 |   0 |   0 |5091 |   0 | 0.000000e+00 |      --      |    Inf 
45.97/46.04	c  44.0s| 60000 | 41690 |     0 |   0.0 |  55M| 140 |   - |1458 |2021 |   0 |   0 |   0 |6240 |   0 | 0.000000e+00 |      --      |    Inf 
54.37/54.46	c  52.2s| 70000 | 46415 |     0 |   0.0 |  61M| 140 |   - |1458 |2065 |   0 |   0 |   0 |7550 |   0 | 0.000000e+00 |      --      |    Inf 
62.68/62.75	c  60.1s| 80000 | 51014 |     0 |   0.0 |  67M| 140 |   - |1458 |2007 |   0 |   0 |   0 |8837 |   0 | 0.000000e+00 |      --      |    Inf 
71.27/71.32	c  68.4s| 90000 | 54940 |     0 |   0.0 |  72M| 140 |   - |1458 |2118 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
79.96/80.05	c  76.8s|100000 | 58365 |     0 |   0.0 |  78M| 140 |   - |1458 |2265 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
88.67/88.79	c  85.1s|110000 | 61291 |     0 |   0.0 |  83M| 140 |   - |1458 |2525 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
97.46/97.58	c  93.5s|120000 | 63753 |     0 |   0.0 |  89M| 140 |   - |1458 |2976 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
105.76/105.80	c   101s|130000 | 66161 |     0 |   0.0 |  94M| 140 |   - |1458 |3341 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
114.95/115.08	c   110s|140000 | 71472 |     0 |   0.0 | 103M| 140 |   - |1458 |1970 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
123.95/124.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
123.95/124.02	c   119s|150000 | 78847 |     0 |   0.0 | 112M| 140 |   - |1458 |2049 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
133.16/133.22	c   128s|160000 | 85822 |     0 |   0.0 | 121M| 140 |   - |1458 |2093 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
142.45/142.59	c   137s|170000 | 92609 |     0 |   0.0 | 129M| 140 |   - |1458 |2142 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
151.76/151.89	c   146s|180000 | 99490 |     0 |   0.0 | 138M| 140 |   - |1458 |2129 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
160.94/161.09	c   155s|190000 |106256 |     0 |   0.0 | 146M| 140 |   - |1458 |2134 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
170.35/170.45	c   164s|200000 |112737 |     0 |   0.0 | 154M| 140 |   - |1458 |2128 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
179.53/179.64	c   173s|210000 |119354 |     0 |   0.0 | 163M| 140 |   - |1458 |2199 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
188.54/188.66	c   181s|220000 |126206 |     0 |   0.0 | 171M| 140 |   - |1458 |2218 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
197.74/197.80	c   190s|230000 |132931 |     0 |   0.0 | 180M| 140 |   - |1458 |2285 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
206.93/207.08	c   199s|240000 |139448 |     0 |   0.0 | 188M| 140 |   - |1458 |2229 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
216.02/216.19	c   208s|250000 |146073 |     0 |   0.0 | 196M| 140 |   - |1458 |2249 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
225.33/225.45	c   217s|260000 |152322 |     0 |   0.0 | 204M| 140 |   - |1458 |2299 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
234.72/234.82	c   226s|270000 |158546 |     0 |   0.0 | 212M| 140 |   - |1458 |2351 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
243.82/243.94	c   235s|280000 |164874 |     0 |   0.0 | 220M| 140 |   - |1458 |2320 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
253.22/253.39	c   244s|290000 |170896 |     0 |   0.0 | 228M| 140 |   - |1458 |2315 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
262.21/262.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
262.21/262.38	c   253s|300000 |177257 |     0 |   0.0 | 236M| 140 |   - |1458 |2257 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
271.61/271.75	c   262s|310000 |183365 |     0 |   0.0 | 244M| 140 |   - |1458 |2337 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
280.80/280.94	c   271s|320000 |189449 |     0 |   0.0 | 252M| 140 |   - |1458 |2318 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
290.10/290.29	c   280s|330000 |195497 |     0 |   0.0 | 260M| 140 |   - |1458 |2340 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
299.30/299.45	c   289s|340000 |201709 |     0 |   0.0 | 268M| 140 |   - |1458 |2381 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
308.60/308.76	c   298s|350000 |207846 |     0 |   0.0 | 276M| 140 |   - |1458 |2296 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
317.99/318.10	c   307s|360000 |213814 |     0 |   0.0 | 283M| 140 |   - |1458 |2280 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
327.09/327.23	c   316s|370000 |219973 |     0 |   0.0 | 291M| 140 |   - |1458 |2427 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
336.40/336.60	c   325s|380000 |225961 |     0 |   0.0 | 299M| 140 |   - |1458 |2305 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
345.58/345.70	c   333s|390000 |232028 |     0 |   0.0 | 306M| 140 |   - |1458 |2319 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
354.98/355.13	c   343s|400000 |238028 |     0 |   0.0 | 314M| 140 |   - |1458 |2310 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
364.38/364.53	c   352s|410000 |243770 |     0 |   0.0 | 322M| 140 |   - |1458 |2310 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
373.79/373.96	c   361s|420000 |249542 |     0 |   0.0 | 330M| 140 |   - |1458 |2381 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
383.27/383.48	c   370s|430000 |255281 |     0 |   0.0 | 337M| 140 |   - |1458 |2339 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
392.58/392.75	c   379s|440000 |261130 |     0 |   0.0 | 345M| 140 |   - |1458 |2328 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
401.97/402.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
401.97/402.10	c   388s|450000 |267046 |     0 |   0.0 | 352M| 140 |   - |1458 |2359 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
411.37/411.55	c   397s|460000 |272765 |     0 |   0.0 | 360M| 140 |   - |1458 |2363 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
420.56/420.79	c   406s|470000 |278603 |     0 |   0.0 | 368M| 140 |   - |1458 |2433 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
429.96/430.19	c   415s|480000 |284312 |     0 |   0.0 | 375M| 140 |   - |1458 |2341 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
439.55/439.76	c   424s|490000 |289801 |     0 |   0.0 | 382M| 140 |   - |1458 |2379 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
448.95/449.17	c   433s|500000 |295455 |     0 |   0.0 | 390M| 140 |   - |1458 |2557 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
458.45/458.61	c   443s|510000 |301164 |     0 |   0.0 | 397M| 140 |   - |1458 |2410 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
468.05/468.22	c   452s|520000 |306671 |     0 |   0.0 | 404M| 140 |   - |1458 |2301 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
477.44/477.69	c   461s|530000 |312218 |     0 |   0.0 | 412M| 140 |   - |1458 |2416 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
486.94/487.10	c   470s|540000 |317841 |     0 |   0.0 | 419M| 140 |   - |1458 |2400 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
496.64/496.85	c   480s|550000 |323162 |     0 |   0.0 | 427M| 140 |   - |1458 |2383 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
506.14/506.34	c   489s|560000 |328659 |     0 |   0.0 | 434M| 140 |   - |1458 |2479 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
515.43/515.69	c   498s|570000 |334162 |     0 |   0.0 | 441M| 140 |   - |1458 |2392 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 |      --      |    Inf 
525.32/525.54	c   507s|580000 |339380 |     0 |   0.0 | 448M| 140 |   - |1458 |2439 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
534.82/535.09	c   517s|590000 |344874 |     0 |   0.0 | 456M| 140 |   - |1458 |2486 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
544.23/544.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
544.23/544.41	c   526s|600000 |350444 |     0 |   0.0 | 463M| 140 |   - |1458 |2432 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
553.92/554.18	c   535s|610000 |355825 |     0 |   0.0 | 470M| 140 |   - |1458 |2531 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
563.62/563.83	c   545s|620000 |361319 |     0 |   0.0 | 478M| 140 |   - |1458 |2480 |   0 |   0 |   0 |  76k|   0 | 0.000000e+00 |      --      |    Inf 
573.02/573.27	c   554s|630000 |366751 |     0 |   0.0 | 485M| 140 |   - |1458 |2449 |   0 |   0 |   0 |  77k|   0 | 0.000000e+00 |      --      |    Inf 
582.91/583.14	c   563s|640000 |371890 |     0 |   0.0 | 492M| 140 |   - |1458 |2580 |   0 |   0 |   0 |  79k|   0 | 0.000000e+00 |      --      |    Inf 
592.81/593.06	c   573s|650000 |377087 |     0 |   0.0 | 499M| 140 |   - |1458 |2510 |   0 |   0 |   0 |  80k|   0 | 0.000000e+00 |      --      |    Inf 
602.52/602.77	c   582s|660000 |382312 |     0 |   0.0 | 506M| 140 |   - |1458 |2486 |   0 |   0 |   0 |  81k|   0 | 0.000000e+00 |      --      |    Inf 
612.10/612.32	c   591s|670000 |387525 |     0 |   0.0 | 513M| 140 |   - |1458 |2559 |   0 |   0 |   0 |  82k|   0 | 0.000000e+00 |      --      |    Inf 
621.89/622.13	c   601s|680000 |392664 |     0 |   0.0 | 520M| 140 |   - |1458 |2510 |   0 |   0 |   0 |  84k|   0 | 0.000000e+00 |      --      |    Inf 
631.89/632.12	c   611s|690000 |397694 |     0 |   0.0 | 527M| 140 |   - |1458 |2432 |   0 |   0 |   0 |  85k|   0 | 0.000000e+00 |      --      |    Inf 
641.69/641.90	c   620s|700000 |402761 |     0 |   0.0 | 534M| 140 |   - |1458 |2550 |   0 |   0 |   0 |  86k|   0 | 0.000000e+00 |      --      |    Inf 
651.08/651.37	c   629s|710000 |408017 |     0 |   0.0 | 541M| 140 |   - |1458 |2528 |   0 |   0 |   0 |  88k|   0 | 0.000000e+00 |      --      |    Inf 
660.89/661.14	c   639s|720000 |413133 |     0 |   0.0 | 549M| 140 |   - |1458 |2449 |   0 |   0 |   0 |  89k|   0 | 0.000000e+00 |      --      |    Inf 
670.88/671.18	c   648s|730000 |418114 |     0 |   0.0 | 556M| 140 |   - |1458 |2474 |   0 |   0 |   0 |  90k|   0 | 0.000000e+00 |      --      |    Inf 
680.69/680.94	c   658s|740000 |423078 |     0 |   0.0 | 563M| 140 |   - |1458 |2507 |   0 |   0 |   0 |  92k|   0 | 0.000000e+00 |      --      |    Inf 
690.49/690.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
690.49/690.74	c   667s|750000 |428060 |     0 |   0.0 | 570M| 140 |   - |1458 |2470 |   0 |   0 |   0 |  93k|   0 | 0.000000e+00 |      --      |    Inf 
700.27/700.57	c   677s|760000 |433055 |     0 |   0.0 | 577M| 140 |   - |1458 |2569 |   0 |   0 |   0 |  95k|   0 | 0.000000e+00 |      --      |    Inf 
710.47/710.74	c   687s|770000 |437934 |     0 |   0.0 | 583M| 140 |   - |1458 |2507 |   0 |   0 |   0 |  96k|   0 | 0.000000e+00 |      --      |    Inf 
720.46/720.75	c   696s|780000 |442760 |     0 |   0.0 | 590M| 140 |   - |1458 |2577 |   0 |   0 |   0 |  97k|   0 | 0.000000e+00 |      --      |    Inf 
730.17/730.47	c   706s|790000 |447801 |     0 |   0.0 | 597M| 140 |   - |1458 |2571 |   0 |   0 |   0 |  99k|   0 | 0.000000e+00 |      --      |    Inf 
739.86/740.16	c   715s|800000 |452861 |     0 |   0.0 | 604M| 140 |   - |1458 |2553 |   0 |   0 |   0 | 100k|   0 | 0.000000e+00 |      --      |    Inf 
750.36/750.62	c   725s|810000 |457546 |     0 |   0.0 | 611M| 140 |   - |1458 |2608 |   0 |   0 |   0 | 101k|   0 | 0.000000e+00 |      --      |    Inf 
760.35/760.68	c   735s|820000 |462276 |     0 |   0.0 | 618M| 140 |   - |1458 |2599 |   0 |   0 |   0 | 103k|   0 | 0.000000e+00 |      --      |    Inf 
770.35/770.66	c   745s|830000 |467149 |     0 |   0.0 | 625M| 140 |   - |1458 |2547 |   0 |   0 |   0 | 104k|   0 | 0.000000e+00 |      --      |    Inf 
780.05/780.37	c   754s|840000 |472000 |     0 |   0.0 | 632M| 140 |   - |1458 |2587 |   0 |   0 |   0 | 106k|   0 | 0.000000e+00 |      --      |    Inf 
790.34/790.66	c   764s|850000 |476656 |     0 |   0.0 | 638M| 140 |   - |1458 |2632 |   0 |   0 |   0 | 107k|   0 | 0.000000e+00 |      --      |    Inf 
800.64/800.98	c   774s|860000 |481241 |     0 |   0.0 | 645M| 140 |   - |1458 |2608 |   0 |   0 |   0 | 109k|   0 | 0.000000e+00 |      --      |    Inf 
810.64/810.99	c   784s|870000 |485967 |     0 |   0.0 | 652M| 140 |   - |1458 |2576 |   0 |   0 |   0 | 110k|   0 | 0.000000e+00 |      --      |    Inf 
820.43/820.70	c   793s|880000 |490841 |     0 |   0.0 | 659M| 140 |   - |1458 |2636 |   0 |   0 |   0 | 111k|   0 | 0.000000e+00 |      --      |    Inf 
830.33/830.62	c   803s|890000 |495671 |     0 |   0.0 | 666M| 140 |   - |1458 |2548 |   0 |   0 |   0 | 113k|   0 | 0.000000e+00 |      --      |    Inf 
840.83/841.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
840.83/841.17	c   813s|900000 |500170 |     0 |   0.0 | 672M| 140 |   - |1458 |2612 |   0 |   0 |   0 | 114k|   0 | 0.000000e+00 |      --      |    Inf 
851.03/851.35	c   823s|910000 |504796 |     0 |   0.0 | 679M| 140 |   - |1458 |2643 |   0 |   0 |   0 | 116k|   0 | 0.000000e+00 |      --      |    Inf 
860.93/861.29	c   833s|920000 |509506 |     0 |   0.0 | 686M| 140 |   - |1458 |2577 |   0 |   0 |   0 | 117k|   0 | 0.000000e+00 |      --      |    Inf 
870.71/871.08	c   842s|930000 |514228 |     0 |   0.0 | 693M| 140 |   - |1458 |2682 |   0 |   0 |   0 | 119k|   0 | 0.000000e+00 |      --      |    Inf 
880.91/881.29	c   852s|940000 |518845 |     0 |   0.0 | 699M| 140 |   - |1458 |2586 |   0 |   0 |   0 | 120k|   0 | 0.000000e+00 |      --      |    Inf 
891.21/891.59	c   862s|950000 |523274 |     0 |   0.0 | 706M| 140 |   - |1458 |2656 |   0 |   0 |   0 | 122k|   0 | 0.000000e+00 |      --      |    Inf 
901.61/901.99	c   872s|960000 |527738 |     0 |   0.0 | 713M| 140 |   - |1458 |2611 |   0 |   0 |   0 | 123k|   0 | 0.000000e+00 |      --      |    Inf 
911.61/911.90	c   882s|970000 |532357 |     0 |   0.0 | 719M| 140 |   - |1458 |2597 |   0 |   0 |   0 | 125k|   0 | 0.000000e+00 |      --      |    Inf 
921.60/921.94	c   891s|980000 |536825 |     0 |   0.0 | 726M| 140 |   - |1458 |2685 |   0 |   0 |   0 | 126k|   0 | 0.000000e+00 |      --      |    Inf 
932.41/932.73	c   902s|990000 |541111 |     0 |   0.0 | 733M| 140 |   - |1458 |2726 |   0 |   0 |   0 | 128k|   0 | 0.000000e+00 |      --      |    Inf 
942.89/943.26	c   912s|  1000k|545479 |     0 |   0.0 | 740M| 140 |   - |1458 |2739 |   0 |   0 |   0 | 129k|   0 | 0.000000e+00 |      --      |    Inf 
953.19/953.50	c   922s|  1010k|549911 |     0 |   0.0 | 746M| 140 |   - |1458 |2590 |   0 |   0 |   0 | 131k|   0 | 0.000000e+00 |      --      |    Inf 
963.19/963.54	c   932s|  1020k|554482 |     0 |   0.0 | 753M| 140 |   - |1458 |2662 |   0 |   0 |   0 | 132k|   0 | 0.000000e+00 |      --      |    Inf 
973.38/973.74	c   941s|  1030k|558862 |     0 |   0.0 | 760M| 140 |   - |1458 |2733 |   0 |   0 |   0 | 134k|   0 | 0.000000e+00 |      --      |    Inf 
983.97/984.36	c   952s|  1040k|563149 |     0 |   0.0 | 766M| 140 |   - |1458 |2718 |   0 |   0 |   0 | 135k|   0 | 0.000000e+00 |      --      |    Inf 
994.57/994.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
994.57/994.93	c   962s|  1050k|567388 |     0 |   0.0 | 773M| 140 |   - |1458 |2777 |   0 |   0 |   0 | 137k|   0 | 0.000000e+00 |      --      |    Inf 
1004.66/1005.08	c   972s|  1060k|571784 |     0 |   0.0 | 779M| 140 |   - |1458 |2713 |   0 |   0 |   0 | 138k|   0 | 0.000000e+00 |      --      |    Inf 
1014.87/1015.28	c   982s|  1070k|576139 |     0 |   0.0 | 786M| 140 |   - |1458 |2676 |   0 |   0 |   0 | 140k|   0 | 0.000000e+00 |      --      |    Inf 
1025.46/1025.82	c   992s|  1080k|580383 |     0 |   0.0 | 792M| 140 |   - |1458 |2744 |   0 |   0 |   0 | 142k|   0 | 0.000000e+00 |      --      |    Inf 
1036.35/1036.70	c  1002s|  1090k|584444 |     0 |   0.0 | 799M| 140 |   - |1458 |2719 |   0 |   0 |   0 | 143k|   0 | 0.000000e+00 |      --      |    Inf 
1046.95/1047.32	c  1013s|  1100k|588560 |     0 |   0.0 | 805M| 140 |   - |1458 |2734 |   0 |   0 |   0 | 145k|   0 | 0.000000e+00 |      --      |    Inf 
1057.44/1057.81	c  1023s|  1110k|592712 |     0 |   0.0 | 812M| 140 |   - |1458 |2883 |   0 |   0 |   0 | 147k|   0 | 0.000000e+00 |      --      |    Inf 
1067.75/1068.15	c  1033s|  1120k|597002 |     0 |   0.0 | 818M| 140 |   - |1458 |2818 |   0 |   0 |   0 | 148k|   0 | 0.000000e+00 |      --      |    Inf 
1078.54/1078.94	c  1043s|  1130k|601113 |     0 |   0.0 | 825M| 140 |   - |1458 |2757 |   0 |   0 |   0 | 150k|   0 | 0.000000e+00 |      --      |    Inf 
1089.44/1089.83	c  1054s|  1140k|605150 |     0 |   0.0 | 832M| 140 |   - |1458 |2832 |   0 |   0 |   0 | 151k|   0 | 0.000000e+00 |      --      |    Inf 
1100.34/1100.76	c  1065s|  1150k|609091 |     0 |   0.0 | 838M| 140 |   - |1458 |2781 |   0 |   0 |   0 | 153k|   0 | 0.000000e+00 |      --      |    Inf 
1111.03/1111.41	c  1075s|  1160k|613092 |     0 |   0.0 | 844M| 140 |   - |1458 |2791 |   0 |   0 |   0 | 155k|   0 | 0.000000e+00 |      --      |    Inf 
1121.53/1121.98	c  1085s|  1170k|617183 |     0 |   0.0 | 851M| 140 |   - |1458 |2820 |   0 |   0 |   0 | 157k|   0 | 0.000000e+00 |      --      |    Inf 
1132.33/1132.73	c  1096s|  1180k|621237 |     0 |   0.0 | 857M| 140 |   - |1458 |2798 |   0 |   0 |   0 | 158k|   0 | 0.000000e+00 |      --      |    Inf 
1143.53/1143.90	c  1106s|  1190k|625000 |     0 |   0.0 | 864M| 140 |   - |1458 |2824 |   0 |   0 |   0 | 160k|   0 | 0.000000e+00 |      --      |    Inf 
1154.42/1154.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1154.42/1154.85	c  1117s|  1200k|628877 |     0 |   0.0 | 870M| 140 |   - |1458 |2817 |   0 |   0 |   0 | 162k|   0 | 0.000000e+00 |      --      |    Inf 
1165.22/1165.61	c  1128s|  1210k|632760 |     0 |   0.0 | 876M| 140 |   - |1458 |2851 |   0 |   0 |   0 | 163k|   0 | 0.000000e+00 |      --      |    Inf 
1175.82/1176.23	c  1138s|  1220k|636738 |     0 |   0.0 | 882M| 140 |   - |1458 |2699 |   0 |   0 |   0 | 165k|   0 | 0.000000e+00 |      --      |    Inf 
1186.41/1186.85	c  1148s|  1230k|640784 |     0 |   0.0 | 889M| 140 |   - |1458 |2698 |   0 |   0 |   0 | 167k|   0 | 0.000000e+00 |      --      |    Inf 
1197.60/1198.08	c  1159s|  1240k|644442 |     0 |   0.0 | 895M| 140 |   - |1458 |2813 |   0 |   0 |   0 | 168k|   0 | 0.000000e+00 |      --      |    Inf 
1208.70/1209.18	c  1170s|  1250k|648156 |     0 |   0.0 | 901M| 140 |   - |1458 |2818 |   0 |   0 |   0 | 170k|   0 | 0.000000e+00 |      --      |    Inf 
1219.60/1220.06	c  1180s|  1260k|651940 |     0 |   0.0 | 908M| 140 |   - |1458 |2741 |   0 |   0 |   0 | 172k|   0 | 0.000000e+00 |      --      |    Inf 
1230.19/1230.66	c  1190s|  1270k|655918 |     0 |   0.0 | 914M| 140 |   - |1458 |2822 |   0 |   0 |   0 | 174k|   0 | 0.000000e+00 |      --      |    Inf 
1240.79/1241.26	c  1201s|  1280k|659880 |     0 |   0.0 | 920M| 140 |   - |1458 |2855 |   0 |   0 |   0 | 176k|   0 | 0.000000e+00 |      --      |    Inf 
1252.39/1252.80	c  1212s|  1290k|663342 |     0 |   0.0 | 926M| 140 |   - |1458 |2872 |   0 |   0 |   0 | 177k|   0 | 0.000000e+00 |      --      |    Inf 
1263.69/1264.15	c  1223s|  1300k|666867 |     0 |   0.0 | 933M| 140 |   - |1458 |2825 |   0 |   0 |   0 | 179k|   0 | 0.000000e+00 |      --      |    Inf 
1274.68/1275.14	c  1234s|  1310k|670518 |     0 |   0.0 | 939M| 140 |   - |1458 |2795 |   0 |   0 |   0 | 181k|   0 | 0.000000e+00 |      --      |    Inf 
1285.58/1286.03	c  1244s|  1320k|674213 |     0 |   0.0 | 945M| 140 |   - |1458 |2962 |   0 |   0 |   0 | 183k|   0 | 0.000000e+00 |      --      |    Inf 
1296.18/1296.60	c  1254s|  1330k|678207 |     0 |   0.0 | 951M| 140 |   - |1458 |2985 |   0 |   0 |   0 | 185k|   0 | 0.000000e+00 |      --      |    Inf 
1307.67/1308.14	c  1266s|  1340k|681540 |     0 |   0.0 | 958M| 140 |   - |1458 |2915 |   0 |   0 |   0 | 186k|   0 | 0.000000e+00 |      --      |    Inf 
1319.16/1319.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1319.16/1319.65	c  1277s|  1350k|684925 |     0 |   0.0 | 963M| 140 |   - |1458 |2844 |   0 |   0 |   0 | 188k|   0 | 0.000000e+00 |      --      |    Inf 
1330.57/1331.01	c  1288s|  1360k|688326 |     0 |   0.0 | 970M| 140 |   - |1458 |2893 |   0 |   0 |   0 | 190k|   0 | 0.000000e+00 |      --      |    Inf 
1341.57/1342.04	c  1299s|  1370k|691912 |     0 |   0.0 | 976M| 140 |   - |1458 |2969 |   0 |   0 |   0 | 192k|   0 | 0.000000e+00 |      --      |    Inf 
1352.36/1352.81	c  1309s|  1380k|695683 |     0 |   0.0 | 982M| 140 |   - |1458 |2918 |   0 |   0 |   0 | 194k|   0 | 0.000000e+00 |      --      |    Inf 
1363.57/1364.08	c  1320s|  1390k|699165 |     0 |   0.0 | 988M| 140 |   - |1458 |2851 |   0 |   0 |   0 | 196k|   0 | 0.000000e+00 |      --      |    Inf 
1375.25/1375.73	c  1331s|  1400k|702418 |     0 |   0.0 | 994M| 140 |   - |1458 |2846 |   0 |   0 |   0 | 197k|   0 | 0.000000e+00 |      --      |    Inf 
1386.66/1387.12	c  1342s|  1410k|705686 |     0 |   0.0 |1000M| 140 |   - |1458 |2956 |   0 |   0 |   0 | 199k|   0 | 0.000000e+00 |      --      |    Inf 
1397.55/1398.09	c  1353s|  1420k|709176 |     0 |   0.0 |1006M| 140 |   - |1458 |2816 |   0 |   0 |   0 | 201k|   0 | 0.000000e+00 |      --      |    Inf 
1408.34/1408.83	c  1363s|  1430k|712807 |     0 |   0.0 |1012M| 140 |   - |1458 |2793 |   0 |   0 |   0 | 202k|   0 | 0.000000e+00 |      --      |    Inf 
1419.14/1419.61	c  1374s|  1440k|716474 |     0 |   0.0 |1018M| 140 |   - |1458 |2746 |   0 |   0 |   0 | 204k|   0 | 0.000000e+00 |      --      |    Inf 
1431.04/1431.54	c  1386s|  1450k|719422 |     0 |   0.0 |1024M| 140 |   - |1458 |2830 |   0 |   0 |   0 | 206k|   0 | 0.000000e+00 |      --      |    Inf 
1442.54/1443.04	c  1397s|  1460k|722628 |     0 |   0.0 |1029M| 140 |   - |1458 |2936 |   0 |   0 |   0 | 207k|   0 | 0.000000e+00 |      --      |    Inf 
1453.83/1454.34	c  1408s|  1470k|725924 |     0 |   0.0 |1035M| 140 |   - |1458 |2866 |   0 |   0 |   0 | 209k|   0 | 0.000000e+00 |      --      |    Inf 
1464.82/1465.34	c  1418s|  1480k|729464 |     0 |   0.0 |1041M| 140 |   - |1458 |2856 |   0 |   0 |   0 | 211k|   0 | 0.000000e+00 |      --      |    Inf 
1475.32/1475.81	c  1428s|  1490k|733319 |     0 |   0.0 |1048M| 140 |   - |1458 |2979 |   0 |   0 |   0 | 213k|   0 | 0.000000e+00 |      --      |    Inf 
1487.51/1488.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1487.51/1488.09	c  1440s|  1500k|736090 |     0 |   0.0 |1053M| 140 |   - |1458 |2899 |   0 |   0 |   0 | 215k|   0 | 0.000000e+00 |      --      |    Inf 
1499.41/1499.94	c  1452s|  1510k|739027 |     0 |   0.0 |1059M| 140 |   - |1458 |2882 |   0 |   0 |   0 | 216k|   0 | 0.000000e+00 |      --      |    Inf 
1511.01/1511.54	c  1463s|  1520k|742122 |     0 |   0.0 |1065M| 140 |   - |1458 |2905 |   0 |   0 |   0 | 218k|   0 | 0.000000e+00 |      --      |    Inf 
1522.40/1522.91	c  1474s|  1530k|745408 |     0 |   0.0 |1071M| 140 |   - |1458 |3052 |   0 |   0 |   0 | 221k|   0 | 0.000000e+00 |      --      |    Inf 
1533.30/1533.86	c  1485s|  1540k|748960 |     0 |   0.0 |1077M| 140 |   - |1458 |3039 |   0 |   0 |   0 | 223k|   0 | 0.000000e+00 |      --      |    Inf 
1545.20/1545.72	c  1496s|  1550k|751878 |     0 |   0.0 |1083M| 140 |   - |1458 |2888 |   0 |   0 |   0 | 225k|   0 | 0.000000e+00 |      --      |    Inf 
1557.29/1557.86	c  1508s|  1560k|754659 |     0 |   0.0 |1088M| 140 |   - |1458 |2922 |   0 |   0 |   0 | 226k|   0 | 0.000000e+00 |      --      |    Inf 
1569.19/1569.76	c  1520s|  1570k|757471 |     0 |   0.0 |1094M| 140 |   - |1458 |2926 |   0 |   0 |   0 | 228k|   0 | 0.000000e+00 |      --      |    Inf 
1580.68/1581.24	c  1531s|  1580k|760518 |     0 |   0.0 |1100M| 140 |   - |1458 |2874 |   0 |   0 |   0 | 230k|   0 | 0.000000e+00 |      --      |    Inf 
1591.68/1592.26	c  1542s|  1590k|763874 |     0 |   0.0 |1106M| 140 |   - |1458 |2969 |   0 |   0 |   0 | 232k|   0 | 0.000000e+00 |      --      |    Inf 
1602.97/1603.50	c  1552s|  1600k|767059 |     0 |   0.0 |1112M| 140 |   - |1458 |2871 |   0 |   0 |   0 | 234k|   0 | 0.000000e+00 |      --      |    Inf 
1615.57/1616.11	c  1565s|  1610k|769504 |     0 |   0.0 |1117M| 140 |   - |1458 |2849 |   0 |   0 |   0 | 236k|   0 | 0.000000e+00 |      --      |    Inf 
1627.77/1628.32	c  1577s|  1620k|771999 |     0 |   0.0 |1123M| 140 |   - |1458 |2932 |   0 |   0 |   0 | 238k|   0 | 0.000000e+00 |      --      |    Inf 
1639.48/1640.04	c  1588s|  1630k|774772 |     0 |   0.0 |1128M| 140 |   - |1458 |2924 |   0 |   0 |   0 | 240k|   0 | 0.000000e+00 |      --      |    Inf 
1650.77/1651.31	c  1599s|  1640k|777876 |     0 |   0.0 |1134M| 140 |   - |1458 |3013 |   0 |   0 |   0 | 242k|   0 | 0.000000e+00 |      --      |    Inf 
1661.66/1662.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1661.66/1662.29	c  1610s|  1650k|781150 |     0 |   0.0 |1140M| 140 |   - |1458 |3090 |   0 |   0 |   0 | 244k|   0 | 0.000000e+00 |      --      |    Inf 
1673.96/1674.59	c  1622s|  1660k|783565 |     0 |   0.0 |1145M| 140 |   - |1458 |2909 |   0 |   0 |   0 | 246k|   0 | 0.000000e+00 |      --      |    Inf 
1685.76/1686.31	c  1633s|  1670k|786163 |     0 |   0.0 |1151M| 140 |   - |1458 |2904 |   0 |   0 |   0 | 247k|   0 | 0.000000e+00 |      --      |    Inf 
1697.05/1697.67	c  1644s|  1680k|788955 |     0 |   0.0 |1156M| 140 |   - |1458 |3022 |   0 |   0 |   0 | 249k|   0 | 0.000000e+00 |      --      |    Inf 
1708.05/1708.66	c  1655s|  1690k|791979 |     0 |   0.0 |1161M| 140 |   - |1458 |2931 |   0 |   0 |   0 | 252k|   0 | 0.000000e+00 |      --      |    Inf 
1718.54/1719.16	c  1665s|  1700k|795343 |     0 |   0.0 |1167M| 140 |   - |1458 |3007 |   0 |   0 |   0 | 254k|   0 | 0.000000e+00 |      --      |    Inf 
1730.44/1731.02	c  1676s|  1710k|797816 |     0 |   0.0 |1173M| 140 |   - |1458 |2884 |   0 |   0 |   0 | 256k|   0 | 0.000000e+00 |      --      |    Inf 
1741.64/1742.28	c  1687s|  1720k|800549 |     0 |   0.0 |1178M| 140 |   - |1458 |2928 |   0 |   0 |   0 | 258k|   0 | 0.000000e+00 |      --      |    Inf 
1752.33/1752.92	c  1697s|  1730k|803693 |     0 |   0.0 |1183M| 140 |   - |1458 |3007 |   0 |   0 |   0 | 259k|   0 | 0.000000e+00 |      --      |    Inf 
1762.73/1763.30	c  1707s|  1740k|807069 |     0 |   0.0 |1189M| 140 |   - |1458 |3005 |   0 |   0 |   0 | 262k|   0 | 0.000000e+00 |      --      |    Inf 
1773.22/1773.83	c  1718s|  1750k|810316 |     0 |   0.0 |1194M| 140 |   - |1458 |2961 |   0 |   0 |   0 | 264k|   0 | 0.000000e+00 |      --      |    Inf 
1784.82/1785.40	c  1729s|  1760k|812793 |     0 |   0.0 |1199M| 140 |   - |1458 |3001 |   0 |   0 |   0 | 266k|   0 | 0.000000e+00 |      --      |    Inf 
1795.82/1796.45	c  1740s|  1770k|815593 |     0 |   0.0 |1205M| 140 |   - |1458 |3004 |   0 |   0 |   0 | 268k|   0 | 0.000000e+00 |      --      |    Inf 
1800.03/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.61	c 
1800.03/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.61	c Solving Time (sec) : 1743.56
1800.03/1800.61	c Solving Nodes      : 1773917
1800.03/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.61	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.61	c Gap                : infinite
1800.03/1800.61	s UNKNOWN
1800.03/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.61	c Solving Time       :    1743.56
1800.03/1800.61	c Original Problem   :
1800.03/1800.61	c   Problem name     : HOME/instance-2663413-1276675620.opb
1800.03/1800.61	c   Variables        : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61	c   Constraints      : 1560 initial, 1560 maximal
1800.03/1800.61	c Presolved Problem  :
1800.03/1800.61	c   Problem name     : t_HOME/instance-2663413-1276675620.opb
1800.03/1800.61	c   Variables        : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61	c   Constraints      : 1560 initial, 3990 maximal
1800.03/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.61	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.61	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.61	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.61	c   and              :       0.18          0          0          0          0          0          0          0          0
1800.03/1800.61	c   linear           :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.61	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.61	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.61	c   knapsack         :          1          0    4513321          0    1299519      10213   14692382          0          0          0
1800.03/1800.61	c   setppc           :        200          0    4980166          0    1303821      46925     681580          0          0          0
1800.03/1800.61	c   and              :       1258          0    4933241          0    1303821        793   99926904          0          0          0
1800.03/1800.61	c   linear           :          1          0    4925539          0    1303821     402505     278859          0          0          0
1800.03/1800.61	c   logicor          :        100+         0    1314490          0    1303819      26380   21046892          0          0          0
1800.03/1800.61	c   countsols        :          0          0          0          0    1303821          0          0          0          0          0
1800.03/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.61	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.61	c   knapsack         :      87.28       0.00      80.06       0.00       7.22
1800.03/1800.61	c   setppc           :     148.79       0.00      28.46       0.00     120.33
1800.03/1800.61	c   and              :     365.94       0.00     287.82       0.00      78.12
1800.03/1800.61	c   linear           :     340.17       0.00     338.63       0.00       1.54
1800.03/1800.61	c   logicor          :     153.58       0.00     143.16       0.00      10.42
1800.03/1800.61	c   countsols        :       0.53       0.00       0.00       0.00       0.53
1800.03/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.61	c   vbounds          :       2.67          1          0          0
1800.03/1800.61	c   rootredcost      :       2.68          0          0          0
1800.03/1800.61	c   pseudoobj        :       2.50          0          0          0
1800.03/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.61	c   propagation      :     249.40     486816     187577     510190       78.1          6       90.0          -
1800.03/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.61	c   applied globally :          -          -          -     269237       74.4          -          -          -
1800.03/1800.61	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.61	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.61	c   redcost          :       0.00          0          0          0          0          0
1800.03/1800.61	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.61	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.61	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.61	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.61	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.61	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.61	c Pricers            :       Time      Calls       Vars
1800.03/1800.61	c   problem variables:       0.00          0          0
1800.03/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.61	c   relpscost        :       0.00          0          0          0          0          0          0
1800.03/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.61	c   inference        :     240.22    1303821          0          0          0          0    2607642
1800.03/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.61	c   LP solutions     :       0.00          -          0
1800.03/1800.61	c   pseudo solutions :       0.00          -          0
1800.03/1800.61	c   trivial          :       0.00          1          0
1800.03/1800.61	c   simplerounding   :       0.00          0          0
1800.03/1800.61	c   zirounding       :       0.00          0          0
1800.03/1800.61	c   rounding         :       0.00          0          0
1800.03/1800.61	c   shifting         :       0.00          0          0
1800.03/1800.61	c   intshifting      :       0.00          0          0
1800.03/1800.61	c   oneopt           :       0.00          0          0
1800.03/1800.61	c   twoopt           :       0.00          0          0
1800.03/1800.61	c   fixandinfer      :       0.00          0          0
1800.03/1800.61	c   feaspump         :       0.00          0          0
1800.03/1800.61	c   coefdiving       :       0.00          0          0
1800.03/1800.61	c   pscostdiving     :       0.00          0          0
1800.03/1800.61	c   fracdiving       :       0.00          0          0
1800.03/1800.61	c   veclendiving     :       0.00          0          0
1800.03/1800.61	c   intdiving        :       0.00          0          0
1800.03/1800.61	c   actconsdiving    :       0.00          0          0
1800.03/1800.61	c   objpscostdiving  :       0.00          0          0
1800.03/1800.61	c   rootsoldiving    :       0.00          0          0
1800.03/1800.61	c   linesearchdiving :       0.00          0          0
1800.03/1800.61	c   guideddiving     :       0.00          0          0
1800.03/1800.61	c   octane           :       0.00          0          0
1800.03/1800.61	c   rens             :       0.00          0          0
1800.03/1800.61	c   rins             :       0.00          0          0
1800.03/1800.61	c   localbranching   :       0.00          0          0
1800.03/1800.61	c   mutation         :       0.00          0          0
1800.03/1800.61	c   crossover        :       0.00          0          0
1800.03/1800.61	c   dins             :       0.00          0          0
1800.03/1800.61	c   undercover       :       0.00          0          0
1800.03/1800.61	c   nlp              :       0.00          0          0
1800.03/1800.61	c   trysol           :       0.00          0          0
1800.03/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.61	c   dual LP          :       0.00          0          0       0.00          -
1800.03/1800.61	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.03/1800.61	c   strong branching :       0.00          0          0       0.00          -
1800.03/1800.61	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.61	c B&B Tree           :
1800.03/1800.61	c   number of runs   :          1
1800.03/1800.61	c   nodes            :    1773917
1800.03/1800.61	c   nodes (total)    :    1773917
1800.03/1800.61	c   nodes left       :     816788
1800.03/1800.61	c   max depth        :        140
1800.03/1800.61	c   max depth (total):        140
1800.03/1800.61	c   backtracks       :      44253 (2.5%)
1800.03/1800.61	c   delayed cutoffs  :      16938
1800.03/1800.61	c   repropagations   :     950575 (2649247 domain reductions, 16720 cutoffs)
1800.03/1800.61	c   avg switch length:       4.75
1800.03/1800.61	c   switching time   :     296.14
1800.03/1800.61	c Solution           :
1800.03/1800.61	c   Solutions found  :          0 (0 improvements)
1800.03/1800.61	c   Primal Bound     :          -
1800.03/1800.61	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.61	c   Gap              :   infinite
1800.03/1800.61	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/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-2663413-1276675620/watcher-2663413-1276675620 -o /tmp/evaluation-result-2663413-1276675620/solver-2663413-1276675620 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663413-1276675620.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: 1.44 1.88 1.62 3/106 12523
/proc/meminfo: memFree=1775348/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=6584 CPUtime=0
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 999 0 0 0 0 0 0 0 20 0 1 0 43166008 6742016 921 1992294400 4194304 7136930 140735667189536 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12523/statm: 1646 932 254 719 0 925 0

[startup+0.0540669 s]
/proc/loadavg: 1.44 1.88 1.62 3/106 12523
/proc/meminfo: memFree=1775348/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=14824 CPUtime=0.04
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 3589 0 0 0 3 1 0 0 20 0 1 0 43166008 15179776 2900 1992294400 4194304 7136930 140735667189536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 3706 2900 327 719 0 2985 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14824

[startup+0.101072 s]
/proc/loadavg: 1.44 1.88 1.62 3/106 12523
/proc/meminfo: memFree=1775348/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=14824 CPUtime=0.09
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 3589 0 0 0 5 4 0 0 20 0 1 0 43166008 15179776 2900 1992294400 4194304 7136930 140735667189536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 3706 2900 327 719 0 2985 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14824

[startup+0.301095 s]
/proc/loadavg: 1.44 1.88 1.62 3/106 12523
/proc/meminfo: memFree=1775348/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=15844 CPUtime=0.29
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 5436 0 0 0 16 13 0 0 20 0 1 0 43166008 16224256 3205 1992294400 4194304 7136930 140735667189536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 3961 3205 361 719 0 3240 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15844

[startup+0.701143 s]
/proc/loadavg: 1.44 1.88 1.62 3/106 12523
/proc/meminfo: memFree=1775348/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=18084 CPUtime=0.69
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 6269 0 0 0 48 21 0 0 21 0 1 0 43166008 18518016 3781 1992294400 4194304 7136930 140735667189536 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 4521 3781 394 719 0 3800 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18084

[startup+1.50124 s]
/proc/loadavg: 1.41 1.87 1.61 2/107 12524
/proc/meminfo: memFree=1760708/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=20260 CPUtime=1.49
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 6805 0 0 0 125 24 0 0 23 0 1 0 43166008 20746240 4317 1992294400 4194304 7136930 140735667189536 18446744073709551615 5892222 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 5065 4317 394 719 0 4344 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20260

[startup+3.10142 s]
/proc/loadavg: 1.41 1.87 1.61 2/107 12524
/proc/meminfo: memFree=1757856/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=23428 CPUtime=3.09
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 7592 0 0 0 275 34 0 0 25 0 1 0 43166008 23990272 5104 1992294400 4194304 7136930 140735667189536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 5857 5104 394 719 0 5136 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23428

[startup+6.3018 s]
/proc/loadavg: 1.37 1.85 1.61 2/107 12526
/proc/meminfo: memFree=1751408/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=30820 CPUtime=6.29
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 9418 0 0 0 579 50 0 0 25 0 1 0 43166008 31559680 6930 1992294400 4194304 7136930 140735667189536 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 7705 6930 394 719 0 6984 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30820

[startup+12.7016 s]
/proc/loadavg: 1.34 1.84 1.61 2/107 12526
/proc/meminfo: memFree=1736404/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=43736 CPUtime=12.69
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 12565 0 0 0 1195 74 0 0 25 0 1 0 43166008 44785664 10077 1992294400 4194304 7136930 140735667189536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 10934 10077 394 719 0 10213 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43736

[startup+25.5011 s]
/proc/loadavg: 1.27 1.80 1.60 2/107 12526
/proc/meminfo: memFree=1718796/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=61484 CPUtime=25.48
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 16928 0 0 0 2429 119 0 0 25 0 1 0 43166008 62959616 14440 1992294400 4194304 7136930 140735667189536 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 15371 14440 394 719 0 14650 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 61484

[startup+51.1011 s]
/proc/loadavg: 1.17 1.73 1.58 2/107 12526
/proc/meminfo: memFree=1693872/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=86524 CPUtime=51.07
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 23141 0 0 0 4895 212 0 0 25 0 1 0 43166008 88600576 20653 1992294400 4194304 7136930 140735667189536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 21631 20653 394 719 0 20910 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 86524

[startup+102.308 s]
/proc/loadavg: 1.07 1.62 1.54 2/107 12528
/proc/meminfo: memFree=1654192/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=126200 CPUtime=102.26
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 32989 0 0 0 9798 428 0 0 25 0 1 0 43166008 129228800 30501 1992294400 4194304 7136930 140735667189536 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 31550 30501 394 719 0 30829 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 126200

[startup+162.301 s]
/proc/loadavg: 1.02 1.50 1.51 2/107 12530
/proc/meminfo: memFree=1597400/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=186056 CPUtime=162.24
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 47370 0 0 0 15596 628 0 0 25 0 1 0 43166008 190521344 44882 1992294400 4194304 7136930 140735667189536 18446744073709551615 5892276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 46514 44882 394 719 0 45793 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 186056

[startup+222.301 s]
/proc/loadavg: 1.01 1.41 1.47 2/107 12530
/proc/meminfo: memFree=1540732/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=241648 CPUtime=222.22
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 61228 0 0 0 21406 816 0 0 25 0 1 0 43166008 247447552 58740 1992294400 4194304 7136930 140735667189536 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 60412 58740 394 719 0 59691 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 241648

[startup+282.301 s]
/proc/loadavg: 1.00 1.33 1.44 2/107 12532
/proc/meminfo: memFree=1482700/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=299716 CPUtime=282.2
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 75764 0 0 0 27205 1015 0 0 25 0 1 0 43166008 306909184 73276 1992294400 4194304 7136930 140735667189536 18446744073709551615 4677245 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 74929 73276 394 719 0 74208 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 299716

[startup+342.301 s]
/proc/loadavg: 1.00 1.27 1.41 2/107 12534
/proc/meminfo: memFree=1432728/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=353996 CPUtime=342.18
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 88232 0 0 0 33009 1209 0 0 25 0 1 0 43166008 362491904 85744 1992294400 4194304 7136930 140735667189536 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 88499 85744 394 719 0 87778 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 353996

[startup+402.3 s]
/proc/loadavg: 1.00 1.22 1.38 2/107 12539
/proc/meminfo: memFree=1381640/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=404268 CPUtime=402.17
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 100756 0 0 0 38815 1402 0 0 25 0 1 0 43166008 413970432 98268 1992294400 4194304 7136930 140735667189536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 101067 98268 394 719 0 100346 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 404268

[startup+462.3 s]
/proc/loadavg: 1.00 1.17 1.35 2/107 12541
/proc/meminfo: memFree=1329560/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=456264 CPUtime=462.15
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 113695 0 0 0 44621 1594 0 0 25 0 1 0 43166008 467214336 111207 1992294400 4194304 7136930 140735667189536 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 114066 111207 394 719 0 113345 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 456264

[startup+522.3 s]
/proc/loadavg: 1.00 1.14 1.33 2/107 12541
/proc/meminfo: memFree=1288516/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=497064 CPUtime=522.13
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 124054 0 0 0 50432 1781 0 0 25 0 1 0 43166008 508993536 121566 1992294400 4194304 7136930 140735667189536 18446744073709551615 5909879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 124266 121566 394 719 0 123545 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 497064

[startup+582.301 s]
/proc/loadavg: 1.00 1.11 1.31 2/107 12543
/proc/meminfo: memFree=1235940/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=549464 CPUtime=582.11
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 137028 0 0 0 56238 1973 0 0 25 0 1 0 43166008 562651136 134540 1992294400 4194304 7136930 140735667189536 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 137366 134540 394 719 0 136645 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 549464

[startup+642.301 s]
/proc/loadavg: 1.00 1.09 1.28 2/107 12545
/proc/meminfo: memFree=1191424/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=594380 CPUtime=642.09
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 148158 0 0 0 62051 2158 0 0 25 0 1 0 43166008 608645120 145670 1992294400 4194304 7136930 140735667189536 18446744073709551615 5918707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 148595 145670 394 719 0 147874 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 594380

[startup+702.301 s]

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

/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 220733 0 0 0 102732 3463 0 0 25 0 1 0 43166008 914210816 218245 1992294400 4194304 7136930 140735667189536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 223196 218245 394 719 0 222475 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 892784

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/107 12557
/proc/meminfo: memFree=866916/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=927724 CPUtime=1121.92
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 229326 0 0 0 108545 3647 0 0 25 0 1 0 43166008 949989376 226838 1992294400 4194304 7136930 140735667189536 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 231931 226838 394 719 0 231210 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 927724

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 12559
/proc/meminfo: memFree=831700/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=962668 CPUtime=1181.91
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 237837 0 0 0 114365 3826 0 0 25 0 1 0 43166008 985772032 235349 1992294400 4194304 7136930 140735667189536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 240667 235349 394 719 0 239946 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 962668

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 12561
/proc/meminfo: memFree=794004/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=1001428 CPUtime=1241.89
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 247179 0 0 0 120178 4011 0 0 25 0 1 0 43166008 1025462272 244691 1992294400 4194304 7136930 140735667189536 18446744073709551615 5950894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 250357 244691 394 719 0 249636 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1001428

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 12563
/proc/meminfo: memFree=754572/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=1041660 CPUtime=1301.88
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 256996 0 0 0 126004 4184 0 0 25 0 1 0 43166008 1066659840 254508 1992294400 4194304 7136930 140735667189536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 260415 254508 394 719 0 259694 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1041660

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 12565
/proc/meminfo: memFree=723944/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=1073104 CPUtime=1361.86
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 264627 0 0 0 131823 4363 0 0 25 0 1 0 43166008 1098858496 262139 1992294400 4194304 7136930 140735667189536 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 268276 262139 394 719 0 267555 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1073104

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 12565
/proc/meminfo: memFree=691332/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=1106108 CPUtime=1421.85
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 272761 0 0 0 137653 4532 0 0 25 0 1 0 43166008 1132654592 270273 1992294400 4194304 7136930 140735667189536 18446744073709551615 5958119 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 276527 270273 394 719 0 275806 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1106108

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 12567
/proc/meminfo: memFree=653884/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=1143624 CPUtime=1481.82
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 282139 0 0 0 143478 4704 0 0 25 0 1 0 43166008 1171070976 279651 1992294400 4194304 7136930 140735667189536 18446744073709551615 6166266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 285906 279651 394 719 0 285185 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1143624

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12569
/proc/meminfo: memFree=623752/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=1173304 CPUtime=1541.8
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 289602 0 0 0 149305 4875 0 0 25 0 1 0 43166008 1201463296 287114 1992294400 4194304 7136930 140735667189536 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 293326 287114 394 719 0 292605 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1173304

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12571
/proc/meminfo: memFree=593620/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=1202676 CPUtime=1601.78
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 297124 0 0 0 155128 5050 0 0 25 0 1 0 43166008 1231540224 294636 1992294400 4194304 7136930 140735667189536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 300669 294636 394 719 0 299948 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1202676

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 12573
/proc/meminfo: memFree=565472/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=1230256 CPUtime=1661.76
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 304112 0 0 0 160957 5219 0 0 25 0 1 0 43166008 1259782144 301624 1992294400 4194304 7136930 140735667189536 18446744073709551615 4642005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 307564 301624 394 719 0 306843 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1230256

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 12573
/proc/meminfo: memFree=533852/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=1262428 CPUtime=1721.74
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 312127 0 0 0 166774 5400 0 0 25 0 1 0 43166008 1292726272 309639 1992294400 4194304 7136930 140735667189536 18446744073709551615 4209808 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 315607 309639 394 719 0 314886 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1262428

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 12575
/proc/meminfo: memFree=502356/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=1294340 CPUtime=1781.72
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 319802 0 0 0 172587 5585 0 0 25 0 1 0 43166008 1325404160 317314 1992294400 4194304 7136930 140735667189536 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 323585 317314 394 719 0 322864 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1294340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 12575
/proc/meminfo: memFree=495908/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=1300528 CPUtime=1800.03
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 321398 0 0 0 174357 5646 0 0 25 0 1 0 43166008 1331740672 318910 1992294400 4194304 7136930 140735667189536 18446744073709551615 4704105 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12523/statm: 325132 318910 394 719 0 324411 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1300528

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -12523

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 12575
/proc/meminfo: memFree=495908/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=1300528 CPUtime=1800.81
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 321403 0 0 0 174435 5646 0 0 25 0 1 0 43166008 1331740672 318915 1992294400 4194304 7136930 140735667189536 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12523/statm: 325132 318915 399 719 0 324411 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 1300528

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 12576
/proc/meminfo: memFree=495900/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=1299504 CPUtime=1801.61
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 321403 0 0 0 174515 5646 0 0 25 0 1 0 43166008 1330692096 318659 1992294400 4194304 7136930 140735667189536 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12523/statm: 324876 318659 399 719 0 324155 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 1299504

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 12576
/proc/meminfo: memFree=495900/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=1298988 CPUtime=1802.01
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4202496 321403 0 0 0 174555 5646 0 0 25 0 1 0 43166008 1330163712 318530 1992294400 4194304 7136930 140735667189536 18446744073709551615 4212300 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12523/statm: 324747 318530 399 719 0 324026 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 1298988

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 12576
/proc/meminfo: memFree=495900/2059040 swapFree=4136508/4192956
[pid=12523] ppid=12521 vsize=0 CPUtime=1802.12
/proc/12523/stat : 12523 (pbscip.linux.x8) R 12521 12523 11731 0 -1 4203524 321403 0 0 0 174557 5655 0 0 25 0 1 0 43166008 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/12523/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.17
CPU user time (s): 1745.57
CPU system time (s): 56.5914
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 1300528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.57
system time used= 56.5914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321403
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= 23329

runsolver used 2.95055 second user time and 8.5577 second system time

The end

Name	normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_4_40.opb
MD5SUM	476815bfad4ec3fb3f4fdbbbbf10b706
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)	2516
Sum of products size (including duplicates)	5032
Number of different products	1258
Sum of products size	2516

Trace number 2663413

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data