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-2664266-1276268862.opb>
0.00/0.02	c original problem has 370 variables (370 bin, 0 int, 0 impl, 0 cont) and 809 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.03	c presolving:
0.00/0.04	c (round 1) 3 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 406 impls, 0 clqs
0.00/0.04	c (round 2) 16 del vars, 20 del conss, 14 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 406 impls, 0 clqs
0.00/0.04	c (round 3) 16 del vars, 33 del conss, 14 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 406 impls, 0 clqs
0.05/0.07	c (round 4) 16 del vars, 33 del conss, 14 chg bounds, 0 chg sides, 0 chg coeffs, 776 upgd conss, 406 impls, 0 clqs
0.05/0.09	c (round 5) 22 del vars, 33 del conss, 14 chg bounds, 0 chg sides, 0 chg coeffs, 776 upgd conss, 11256 impls, 6 clqs
0.05/0.09	c presolving (6 rounds):
0.05/0.09	c  22 deleted vars, 33 deleted constraints, 14 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.09	c  11256 implications, 6 cliques
0.05/0.09	c presolved problem has 348 variables (348 bin, 0 int, 0 impl, 0 cont) and 776 constraints
0.05/0.09	c     240 constraints of type <knapsack>
0.05/0.09	c     536 constraints of type <logicor>
0.05/0.09	c transformed objective value is always integral (scale: 1)
0.05/0.09	c Presolving Time: 0.05
0.05/0.09	c - non default parameters ----------------------------------------------------------------------
0.05/0.09	c # SCIP version 1.2.1.2
0.05/0.09	c 
0.05/0.09	c # frequency for displaying node information lines
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.10	c display/freq = 10000
0.05/0.10	c 
0.05/0.10	c # maximal time in seconds to run
0.05/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.10	c limits/time = 1799.98
0.05/0.10	c 
0.05/0.10	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.10	c limits/memory = 1620
0.05/0.10	c 
0.05/0.10	c # solving stops, if the given number of solutions were found (-1: no limit)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.10	c limits/solutions = 1
0.05/0.10	c 
0.05/0.10	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.10	c lp/solvefreq = -1
0.05/0.10	c 
0.05/0.10	c # maximal number of separation rounds per node (-1: unlimited)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 5]
0.05/0.10	c separating/maxrounds = 1
0.05/0.10	c 
0.05/0.10	c # maximal number of separation rounds in the root node (-1: unlimited)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.10	c separating/maxroundsroot = 5
0.05/0.10	c 
0.05/0.10	c # should presolving try to simplify inequalities
0.05/0.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.10	c constraints/linear/simplifyinequalities = TRUE
0.05/0.10	c 
0.05/0.10	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.05/0.10	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.05/0.10	c constraints/knapsack/disaggregation = FALSE
0.05/0.10	c 
0.05/0.10	c # should presolving try to simplify knapsacks
0.05/0.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.10	c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.10	c 
0.05/0.10	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.10	c presolving/probing/maxrounds = 0
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.10	c heuristics/coefdiving/freq = -1
0.05/0.10	c 
0.05/0.10	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.10	c heuristics/coefdiving/maxlpiterquot = 0.075
0.05/0.10	c 
0.05/0.10	c # additional number of allowed LP iterations
0.05/0.10	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.10	c heuristics/coefdiving/maxlpiterofs = 1500
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 30]
0.05/0.10	c heuristics/crossover/freq = -1
0.05/0.10	c 
0.05/0.10	c # number of nodes added to the contingent of the total nodes
0.05/0.10	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.05/0.10	c heuristics/crossover/nodesofs = 750
0.05/0.10	c 
0.05/0.10	c # number of nodes without incumbent change that heuristic should wait
0.05/0.10	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.05/0.10	c heuristics/crossover/nwaitingnodes = 100
0.05/0.10	c 
0.05/0.10	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.05/0.10	c # [type: real, range: [0,1], default: 0.1]
0.05/0.10	c heuristics/crossover/nodesquot = 0.15
0.05/0.10	c 
0.05/0.10	c # minimum percentage of integer variables that have to be fixed 
0.05/0.10	c # [type: real, range: [0,1], default: 0.666]
0.05/0.10	c heuristics/crossover/minfixingrate = 0.5
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 20]
0.05/0.10	c heuristics/feaspump/freq = -1
0.05/0.10	c 
0.05/0.10	c # additional number of allowed LP iterations
0.05/0.10	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.10	c heuristics/feaspump/maxlpiterofs = 2000
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.10	c heuristics/fracdiving/freq = -1
0.05/0.10	c 
0.05/0.10	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.10	c heuristics/fracdiving/maxlpiterquot = 0.075
0.05/0.10	c 
0.05/0.10	c # additional number of allowed LP iterations
0.05/0.10	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.10	c heuristics/fracdiving/maxlpiterofs = 1500
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.10	c heuristics/guideddiving/freq = -1
0.05/0.10	c 
0.05/0.10	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.10	c heuristics/guideddiving/maxlpiterquot = 0.075
0.05/0.10	c 
0.05/0.10	c # additional number of allowed LP iterations
0.05/0.10	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.10	c heuristics/guideddiving/maxlpiterofs = 1500
0.05/0.10	c 
0.05/0.10	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.10	c heuristics/intdiving/maxlpiterquot = 0.075
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.10	c heuristics/intshifting/freq = -1
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.10	c heuristics/linesearchdiving/freq = -1
0.05/0.10	c 
0.05/0.10	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.10	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.05/0.10	c 
0.05/0.10	c # additional number of allowed LP iterations
0.05/0.10	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.10	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.10	c heuristics/nlp/freq = -1
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 20]
0.05/0.10	c heuristics/objpscostdiving/freq = -1
0.05/0.10	c 
0.05/0.10	c # maximal fraction of diving LP iterations compared to total iteration number
0.05/0.10	c # [type: real, range: [0,1], default: 0.01]
0.05/0.10	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.05/0.10	c 
0.05/0.10	c # additional number of allowed LP iterations
0.05/0.10	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.10	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.10	c heuristics/oneopt/freq = -1
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.10	c heuristics/pscostdiving/freq = -1
0.05/0.10	c 
0.05/0.10	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.10	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.05/0.10	c 
0.05/0.10	c # additional number of allowed LP iterations
0.05/0.10	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.10	c heuristics/pscostdiving/maxlpiterofs = 1500
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.10	c heuristics/rens/freq = -1
0.05/0.10	c 
0.05/0.10	c # minimum percentage of integer variables that have to be fixable 
0.05/0.10	c # [type: real, range: [0,1], default: 0.5]
0.05/0.10	c heuristics/rens/minfixingrate = 0.3
0.05/0.10	c 
0.05/0.10	c # number of nodes added to the contingent of the total nodes
0.05/0.10	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.05/0.10	c heuristics/rens/nodesofs = 2000
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 20]
0.05/0.10	c heuristics/rootsoldiving/freq = -1
0.05/0.10	c 
0.05/0.10	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.05/0.10	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.05/0.10	c 
0.05/0.10	c # additional number of allowed LP iterations
0.05/0.10	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.10	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.10	c heuristics/rounding/freq = -1
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.10	c heuristics/shifting/freq = -1
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.10	c heuristics/simplerounding/freq = -1
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.10	c heuristics/trivial/freq = -1
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.10	c heuristics/trysol/freq = -1
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.10	c heuristics/veclendiving/freq = -1
0.05/0.10	c 
0.05/0.10	c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.10	c heuristics/veclendiving/maxlpiterquot = 0.075
0.05/0.10	c 
0.05/0.10	c # additional number of allowed LP iterations
0.05/0.10	c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.10	c heuristics/veclendiving/maxlpiterofs = 1500
0.05/0.10	c 
0.05/0.10	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.10	c heuristics/zirounding/freq = -1
0.05/0.10	c 
0.05/0.10	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.10	c separating/cmir/freq = -1
0.05/0.10	c 
0.05/0.10	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.10	c separating/flowcover/freq = -1
0.05/0.10	c 
0.05/0.10	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.10	c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.10	c separating/rapidlearning/freq = 0
0.05/0.10	c 
0.05/0.10	c -----------------------------------------------------------------------------------------------
0.05/0.10	c start solving
0.09/0.10	c 
0.09/0.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.10	c   0.1s|     1 |     2 |     0 |     - |1997k|   0 |   - | 348 | 776 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.30/4.31	c   4.0s| 10000 |  4620 |     0 |   0.0 |7900k|  74 |   - | 348 |1651 |   0 |   0 |   0 |2107 |   0 | 0.000000e+00 |      --      |    Inf 
9.18/9.25	c   8.7s| 20000 |  9096 |     0 |   0.0 |  12M|  74 |   - | 348 |1780 |   0 |   0 |   0 |4449 |   0 | 0.000000e+00 |      --      |    Inf 
13.99/14.09	c  13.3s| 30000 | 13482 |     0 |   0.0 |  17M|  74 |   - | 348 |2375 |   0 |   0 |   0 |6693 |   0 | 0.000000e+00 |      --      |    Inf 
19.39/19.46	c  18.4s| 40000 | 16982 |     0 |   0.0 |  21M|  74 |   - | 348 |2708 |   0 |   0 |   0 |9135 |   0 | 0.000000e+00 |      --      |    Inf 
25.58/25.62	c  24.3s| 50000 | 20298 |     0 |   0.0 |  25M|  74 |   - | 348 |3062 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
33.39/33.45	c  31.8s| 60000 | 22399 |     0 |   0.0 |  28M|  74 |   - | 348 |3622 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
38.29/38.35	c  36.5s| 70000 | 28207 |     0 |   0.0 |  33M|  74 |   - | 348 |2561 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
43.28/43.38	c  41.2s| 80000 | 33616 |     0 |   0.0 |  38M|  74 |   - | 348 |2775 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
48.99/49.01	c  46.6s| 90000 | 38438 |     0 |   0.0 |  43M|  74 |   - | 348 |3351 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
55.17/55.27	c  52.6s|100000 | 42845 |     0 |   0.0 |  47M|  74 |   - | 348 |3722 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
61.87/61.93	c  59.0s|110000 | 47070 |     0 |   0.0 |  51M|  74 |   - | 348 |3834 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
68.86/68.97	c  65.7s|120000 | 50864 |     0 |   0.0 |  56M|  74 |   - | 348 |3987 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
76.26/76.30	c  72.8s|130000 | 54463 |     0 |   0.0 |  60M|  74 |   - | 348 |4331 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
83.86/83.99	c  80.2s|140000 | 57942 |     0 |   0.0 |  63M|  74 |   - | 348 |4612 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
91.46/91.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
91.46/91.52	c  87.5s|150000 | 61495 |     0 |   0.0 |  67M|  74 |   - | 348 |4475 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
99.25/99.39	c  95.1s|160000 | 64778 |     0 |   0.0 |  71M|  74 |   - | 348 |4710 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
107.26/107.34	c   103s|170000 | 67979 |     0 |   0.0 |  74M|  74 |   - | 348 |5150 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
115.76/115.86	c   111s|180000 | 70968 |     0 |   0.0 |  78M|  74 |   - | 348 |5322 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
124.95/125.03	c   120s|190000 | 73810 |     0 |   0.0 |  81M|  74 |   - | 348 |5332 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
134.66/134.71	c   129s|200000 | 76330 |     0 |   0.0 |  85M|  74 |   - | 348 |5579 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
144.95/145.04	c   139s|210000 | 78602 |     0 |   0.0 |  88M|  74 |   - | 348 |5572 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
155.85/155.98	c   150s|220000 | 80803 |     0 |   0.0 |  91M|  74 |   - | 348 |5792 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
168.16/168.25	c   162s|230000 | 82435 |     0 |   0.0 |  93M|  74 |   - | 348 |6035 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
178.75/178.88	c   172s|240000 | 85101 |     0 |   0.0 |  95M|  74 |   - | 348 |3711 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
184.65/184.79	c   178s|250000 | 90434 |     0 |   0.0 | 100M|  74 |   - | 348 |4062 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
191.35/191.41	c   184s|260000 | 95299 |     0 |   0.0 | 104M|  74 |   - | 348 |4555 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
198.35/198.41	c   191s|270000 |100109 |     0 |   0.0 | 109M|  74 |   - | 348 |4978 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 |      --      |    Inf 
205.24/205.36	c   198s|280000 |105166 |     0 |   0.0 | 113M|  74 |   - | 348 |4796 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
212.34/212.40	c   205s|290000 |109997 |     0 |   0.0 | 118M|  74 |   - | 348 |4657 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
219.95/220.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
219.95/220.03	c   212s|300000 |114522 |     0 |   0.0 | 123M|  74 |   - | 348 |5220 |   0 |   0 |   0 |  76k|   0 | 0.000000e+00 |      --      |    Inf 
227.44/227.59	c   219s|310000 |119237 |     0 |   0.0 | 127M|  74 |   - | 348 |5219 |   0 |   0 |   0 |  78k|   0 | 0.000000e+00 |      --      |    Inf 
235.44/235.52	c   227s|320000 |123676 |     0 |   0.0 | 131M|  74 |   - | 348 |5033 |   0 |   0 |   0 |  80k|   0 | 0.000000e+00 |      --      |    Inf 
243.64/243.71	c   235s|330000 |127980 |     0 |   0.0 | 136M|  74 |   - | 348 |5584 |   0 |   0 |   0 |  82k|   0 | 0.000000e+00 |      --      |    Inf 
252.23/252.36	c   243s|340000 |132259 |     0 |   0.0 | 140M|  74 |   - | 348 |5708 |   0 |   0 |   0 |  84k|   0 | 0.000000e+00 |      --      |    Inf 
260.73/260.89	c   251s|350000 |136595 |     0 |   0.0 | 144M|  74 |   - | 348 |5384 |   0 |   0 |   0 |  87k|   0 | 0.000000e+00 |      --      |    Inf 
269.63/269.73	c   260s|360000 |140748 |     0 |   0.0 | 148M|  74 |   - | 348 |5749 |   0 |   0 |   0 |  89k|   0 | 0.000000e+00 |      --      |    Inf 
278.34/278.48	c   269s|370000 |145034 |     0 |   0.0 | 152M|  74 |   - | 348 |6314 |   0 |   0 |   0 |  91k|   0 | 0.000000e+00 |      --      |    Inf 
287.62/287.70	c   277s|380000 |149062 |     0 |   0.0 | 156M|  74 |   - | 348 |6291 |   0 |   0 |   0 |  94k|   0 | 0.000000e+00 |      --      |    Inf 
296.83/296.94	c   286s|390000 |153097 |     0 |   0.0 | 160M|  74 |   - | 348 |5735 |   0 |   0 |   0 |  96k|   0 | 0.000000e+00 |      --      |    Inf 
306.13/306.28	c   296s|400000 |156933 |     0 |   0.0 | 164M|  74 |   - | 348 |5942 |   0 |   0 |   0 |  98k|   0 | 0.000000e+00 |      --      |    Inf 
315.53/315.67	c   305s|410000 |160810 |     0 |   0.0 | 168M|  74 |   - | 348 |6719 |   0 |   0 |   0 | 101k|   0 | 0.000000e+00 |      --      |    Inf 
325.72/325.80	c   315s|420000 |164713 |     0 |   0.0 | 172M|  74 |   - | 348 |6477 |   0 |   0 |   0 | 103k|   0 | 0.000000e+00 |      --      |    Inf 
335.52/335.65	c   324s|430000 |168510 |     0 |   0.0 | 176M|  74 |   - | 348 |6380 |   0 |   0 |   0 | 106k|   0 | 0.000000e+00 |      --      |    Inf 
345.42/345.50	c   334s|440000 |172111 |     0 |   0.0 | 180M|  74 |   - | 348 |6415 |   0 |   0 |   0 | 108k|   0 | 0.000000e+00 |      --      |    Inf 
355.52/355.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
355.52/355.67	c   344s|450000 |175630 |     0 |   0.0 | 183M|  74 |   - | 348 |6655 |   0 |   0 |   0 | 111k|   0 | 0.000000e+00 |      --      |    Inf 
365.82/365.96	c   354s|460000 |179229 |     0 |   0.0 | 187M|  74 |   - | 348 |7380 |   0 |   0 |   0 | 113k|   0 | 0.000000e+00 |      --      |    Inf 
376.32/376.49	c   364s|470000 |182852 |     0 |   0.0 | 191M|  74 |   - | 348 |7018 |   0 |   0 |   0 | 116k|   0 | 0.000000e+00 |      --      |    Inf 
386.90/387.08	c   374s|480000 |186358 |     0 |   0.0 | 194M|  74 |   - | 348 |6984 |   0 |   0 |   0 | 118k|   0 | 0.000000e+00 |      --      |    Inf 
397.21/397.33	c   384s|490000 |190076 |     0 |   0.0 | 198M|  74 |   - | 348 |6851 |   0 |   0 |   0 | 121k|   0 | 0.000000e+00 |      --      |    Inf 
407.60/407.72	c   394s|500000 |193369 |     0 |   0.0 | 202M|  74 |   - | 348 |7440 |   0 |   0 |   0 | 123k|   0 | 0.000000e+00 |      --      |    Inf 
418.50/418.65	c   405s|510000 |196880 |     0 |   0.0 | 205M|  74 |   - | 348 |7341 |   0 |   0 |   0 | 126k|   0 | 0.000000e+00 |      --      |    Inf 
429.59/429.72	c   416s|520000 |200281 |     0 |   0.0 | 209M|  74 |   - | 348 |7316 |   0 |   0 |   0 | 129k|   0 | 0.000000e+00 |      --      |    Inf 
440.39/440.54	c   426s|530000 |203594 |     0 |   0.0 | 212M|  74 |   - | 348 |7351 |   0 |   0 |   0 | 131k|   0 | 0.000000e+00 |      --      |    Inf 
451.30/451.43	c   437s|540000 |207074 |     0 |   0.0 | 216M|  74 |   - | 348 |7358 |   0 |   0 |   0 | 134k|   0 | 0.000000e+00 |      --      |    Inf 
461.69/461.84	c   447s|550000 |210467 |     0 |   0.0 | 219M|  74 |   - | 348 |7354 |   0 |   0 |   0 | 137k|   0 | 0.000000e+00 |      --      |    Inf 
472.98/473.20	c   458s|560000 |213616 |     0 |   0.0 | 223M|  74 |   - | 348 |8124 |   0 |   0 |   0 | 140k|   0 | 0.000000e+00 |      --      |    Inf 
485.19/485.35	c   470s|570000 |216666 |     0 |   0.0 | 226M|  74 |   - | 348 |7980 |   0 |   0 |   0 | 143k|   0 | 0.000000e+00 |      --      |    Inf 
497.28/497.41	c   482s|580000 |219799 |     0 |   0.0 | 230M|  74 |   - | 348 |7825 |   0 |   0 |   0 | 146k|   0 | 0.000000e+00 |      --      |    Inf 
508.79/508.91	c   493s|590000 |223011 |     0 |   0.0 | 233M|  74 |   - | 348 |7891 |   0 |   0 |   0 | 148k|   0 | 0.000000e+00 |      --      |    Inf 
520.58/520.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
520.58/520.77	c   505s|600000 |226005 |     0 |   0.0 | 236M|  74 |   - | 348 |8022 |   0 |   0 |   0 | 151k|   0 | 0.000000e+00 |      --      |    Inf 
532.77/532.98	c   517s|610000 |228783 |     0 |   0.0 | 240M|  74 |   - | 348 |8281 |   0 |   0 |   0 | 154k|   0 | 0.000000e+00 |      --      |    Inf 
545.78/545.96	c   529s|620000 |231393 |     0 |   0.0 | 243M|  74 |   - | 348 |8756 |   0 |   0 |   0 | 158k|   0 | 0.000000e+00 |      --      |    Inf 
559.08/559.26	c   542s|630000 |234268 |     0 |   0.0 | 246M|  74 |   - | 348 |8589 |   0 |   0 |   0 | 161k|   0 | 0.000000e+00 |      --      |    Inf 
572.07/572.20	c   555s|640000 |237048 |     0 |   0.0 | 249M|  74 |   - | 348 |8766 |   0 |   0 |   0 | 164k|   0 | 0.000000e+00 |      --      |    Inf 
585.37/585.51	c   568s|650000 |239903 |     0 |   0.0 | 252M|  74 |   - | 348 |8473 |   0 |   0 |   0 | 167k|   0 | 0.000000e+00 |      --      |    Inf 
598.86/599.09	c   581s|660000 |242375 |     0 |   0.0 | 255M|  74 |   - | 348 |8802 |   0 |   0 |   0 | 170k|   0 | 0.000000e+00 |      --      |    Inf 
613.15/613.36	c   595s|670000 |244558 |     0 |   0.0 | 258M|  74 |   - | 348 |9006 |   0 |   0 |   0 | 173k|   0 | 0.000000e+00 |      --      |    Inf 
627.34/627.57	c   609s|680000 |246940 |     0 |   0.0 | 261M|  74 |   - | 348 |9253 |   0 |   0 |   0 | 177k|   0 | 0.000000e+00 |      --      |    Inf 
642.43/642.61	c   624s|690000 |249374 |     0 |   0.0 | 264M|  74 |   - | 348 |8961 |   0 |   0 |   0 | 180k|   0 | 0.000000e+00 |      --      |    Inf 
656.92/657.17	c   638s|700000 |251743 |     0 |   0.0 | 267M|  74 |   - | 348 |8962 |   0 |   0 |   0 | 183k|   0 | 0.000000e+00 |      --      |    Inf 
672.32/672.56	c   654s|710000 |253717 |     0 |   0.0 | 270M|  74 |   - | 348 |9317 |   0 |   0 |   0 | 186k|   0 | 0.000000e+00 |      --      |    Inf 
688.22/688.43	c   669s|720000 |255874 |     0 |   0.0 | 273M|  74 |   - | 348 |9288 |   0 |   0 |   0 | 190k|   0 | 0.000000e+00 |      --      |    Inf 
703.92/704.11	c   685s|730000 |258350 |     0 |   0.0 | 276M|  74 |   - | 348 |8952 |   0 |   0 |   0 | 192k|   0 | 0.000000e+00 |      --      |    Inf 
720.32/720.55	c   701s|740000 |259852 |     0 |   0.0 | 278M|  74 |   - | 348 |9504 |   0 |   0 |   0 | 196k|   0 | 0.000000e+00 |      --      |    Inf 
737.00/737.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
737.00/737.24	c   717s|750000 |262034 |     0 |   0.0 | 281M|  74 |   - | 348 |9387 |   0 |   0 |   0 | 199k|   0 | 0.000000e+00 |      --      |    Inf 
753.50/753.79	c   733s|760000 |263803 |     0 |   0.0 | 284M|  74 |   - | 348 |9469 |   0 |   0 |   0 | 202k|   0 | 0.000000e+00 |      --      |    Inf 
770.50/770.79	c   750s|770000 |265654 |     0 |   0.0 | 286M|  74 |   - | 348 |9419 |   0 |   0 |   0 | 205k|   0 | 0.000000e+00 |      --      |    Inf 
787.70/787.98	c   767s|780000 |267205 |     0 |   0.0 | 289M|  74 |   - | 348 |9429 |   0 |   0 |   0 | 208k|   0 | 0.000000e+00 |      --      |    Inf 
804.70/804.91	c   784s|790000 |268904 |     0 |   0.0 | 291M|  74 |   - | 348 |9332 |   0 |   0 |   0 | 211k|   0 | 0.000000e+00 |      --      |    Inf 
821.99/822.26	c   801s|800000 |270432 |     0 |   0.0 | 294M|  74 |   - | 348 |9506 |   0 |   0 |   0 | 214k|   0 | 0.000000e+00 |      --      |    Inf 
839.99/840.28	c   818s|810000 |271586 |     0 |   0.0 | 296M|  74 |   - | 348 |9597 |   0 |   0 |   0 | 217k|   0 | 0.000000e+00 |      --      |    Inf 
858.19/858.47	c   836s|820000 |272052 |     0 |   0.0 | 297M|  74 |   - | 348 |9512 |   0 |   0 |   0 | 220k|   0 | 0.000000e+00 |      --      |    Inf 
869.89/870.12	c   848s|830000 |275388 |     0 |   0.0 | 300M|  74 |   - | 348 |6272 |   0 |   0 |   0 | 222k|   0 | 0.000000e+00 |      --      |    Inf 
878.69/878.94	c   856s|840000 |279736 |     0 |   0.0 | 304M|  74 |   - | 348 |6160 |   0 |   0 |   0 | 225k|   0 | 0.000000e+00 |      --      |    Inf 
887.49/887.74	c   865s|850000 |284399 |     0 |   0.0 | 308M|  74 |   - | 348 |6087 |   0 |   0 |   0 | 227k|   0 | 0.000000e+00 |      --      |    Inf 
896.28/896.52	c   873s|860000 |289146 |     0 |   0.0 | 312M|  74 |   - | 348 |6676 |   0 |   0 |   0 | 230k|   0 | 0.000000e+00 |      --      |    Inf 
905.08/905.35	c   882s|870000 |293938 |     0 |   0.0 | 316M|  74 |   - | 348 |6130 |   0 |   0 |   0 | 232k|   0 | 0.000000e+00 |      --      |    Inf 
914.47/914.73	c   891s|880000 |298277 |     0 |   0.0 | 320M|  74 |   - | 348 |6828 |   0 |   0 |   0 | 234k|   0 | 0.000000e+00 |      --      |    Inf 
924.27/924.53	c   901s|890000 |302760 |     0 |   0.0 | 325M|  74 |   - | 348 |7235 |   0 |   0 |   0 | 236k|   0 | 0.000000e+00 |      --      |    Inf 
934.27/934.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
934.27/934.55	c   910s|900000 |306985 |     0 |   0.0 | 329M|  74 |   - | 348 |6371 |   0 |   0 |   0 | 239k|   0 | 0.000000e+00 |      --      |    Inf 
944.37/944.63	c   920s|910000 |311182 |     0 |   0.0 | 333M|  74 |   - | 348 |7254 |   0 |   0 |   0 | 241k|   0 | 0.000000e+00 |      --      |    Inf 
955.07/955.34	c   931s|920000 |315387 |     0 |   0.0 | 338M|  74 |   - | 348 |7924 |   0 |   0 |   0 | 244k|   0 | 0.000000e+00 |      --      |    Inf 
966.67/966.94	c   942s|930000 |319024 |     0 |   0.0 | 341M|  74 |   - | 348 |7777 |   0 |   0 |   0 | 246k|   0 | 0.000000e+00 |      --      |    Inf 
977.37/977.69	c   952s|940000 |323166 |     0 |   0.0 | 346M|  74 |   - | 348 |7669 |   0 |   0 |   0 | 248k|   0 | 0.000000e+00 |      --      |    Inf 
988.26/988.57	c   963s|950000 |327153 |     0 |   0.0 | 349M|  74 |   - | 348 |7178 |   0 |   0 |   0 | 251k|   0 | 0.000000e+00 |      --      |    Inf 
999.57/999.86	c   974s|960000 |331012 |     0 |   0.0 | 353M|  74 |   - | 348 |7872 |   0 |   0 |   0 | 253k|   0 | 0.000000e+00 |      --      |    Inf 
1010.96/1011.20	c   985s|970000 |334965 |     0 |   0.0 | 358M|  74 |   - | 348 |8222 |   0 |   0 |   0 | 256k|   0 | 0.000000e+00 |      --      |    Inf 
1022.86/1023.12	c   997s|980000 |338720 |     0 |   0.0 | 361M|  74 |   - | 348 |8213 |   0 |   0 |   0 | 258k|   0 | 0.000000e+00 |      --      |    Inf 
1034.06/1034.35	c  1008s|990000 |343073 |     0 |   0.0 | 366M|  74 |   - | 348 |8385 |   0 |   0 |   0 | 260k|   0 | 0.000000e+00 |      --      |    Inf 
1045.25/1045.59	c  1019s|  1000k|347385 |     0 |   0.0 | 370M|  74 |   - | 348 |7663 |   0 |   0 |   0 | 262k|   0 | 0.000000e+00 |      --      |    Inf 
1056.25/1056.55	c  1030s|  1010k|351677 |     0 |   0.0 | 374M|  74 |   - | 348 |7808 |   0 |   0 |   0 | 264k|   0 | 0.000000e+00 |      --      |    Inf 
1067.15/1067.47	c  1040s|  1020k|356066 |     0 |   0.0 | 378M|  74 |   - | 348 |7360 |   0 |   0 |   0 | 266k|   0 | 0.000000e+00 |      --      |    Inf 
1078.76/1079.01	c  1051s|  1030k|359864 |     0 |   0.0 | 382M|  74 |   - | 348 |7004 |   0 |   0 |   0 | 269k|   0 | 0.000000e+00 |      --      |    Inf 
1090.65/1090.90	c  1063s|  1040k|363329 |     0 |   0.0 | 386M|  74 |   - | 348 |7735 |   0 |   0 |   0 | 271k|   0 | 0.000000e+00 |      --      |    Inf 
1103.05/1103.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1103.05/1103.31	c  1075s|  1050k|366884 |     0 |   0.0 | 390M|  74 |   - | 348 |8595 |   0 |   0 |   0 | 274k|   0 | 0.000000e+00 |      --      |    Inf 
1115.73/1116.07	c  1088s|  1060k|370480 |     0 |   0.0 | 394M|  74 |   - | 348 |8808 |   0 |   0 |   0 | 276k|   0 | 0.000000e+00 |      --      |    Inf 
1128.03/1128.32	c  1100s|  1070k|374416 |     0 |   0.0 | 398M|  74 |   - | 348 |9036 |   0 |   0 |   0 | 279k|   0 | 0.000000e+00 |      --      |    Inf 
1140.53/1140.85	c  1112s|  1080k|378478 |     0 |   0.0 | 402M|  74 |   - | 348 |8850 |   0 |   0 |   0 | 281k|   0 | 0.000000e+00 |      --      |    Inf 
1152.72/1153.06	c  1124s|  1090k|382569 |     0 |   0.0 | 406M|  74 |   - | 348 |9017 |   0 |   0 |   0 | 283k|   0 | 0.000000e+00 |      --      |    Inf 
1164.42/1164.72	c  1135s|  1100k|386679 |     0 |   0.0 | 410M|  74 |   - | 348 |8797 |   0 |   0 |   0 | 285k|   0 | 0.000000e+00 |      --      |    Inf 
1177.21/1177.55	c  1148s|  1110k|390513 |     0 |   0.0 | 414M|  74 |   - | 348 |9032 |   0 |   0 |   0 | 287k|   0 | 0.000000e+00 |      --      |    Inf 
1189.30/1189.66	c  1160s|  1120k|394715 |     0 |   0.0 | 418M|  74 |   - | 348 |9242 |   0 |   0 |   0 | 290k|   0 | 0.000000e+00 |      --      |    Inf 
1201.91/1202.20	c  1172s|  1130k|398828 |     0 |   0.0 | 422M|  74 |   - | 348 |8781 |   0 |   0 |   0 | 292k|   0 | 0.000000e+00 |      --      |    Inf 
1214.80/1215.11	c  1185s|  1140k|402625 |     0 |   0.0 | 426M|  74 |   - | 348 |8824 |   0 |   0 |   0 | 294k|   0 | 0.000000e+00 |      --      |    Inf 
1228.40/1228.71	c  1198s|  1150k|405906 |     0 |   0.0 | 429M|  74 |   - | 348 |8454 |   0 |   0 |   0 | 297k|   0 | 0.000000e+00 |      --      |    Inf 
1241.79/1242.13	c  1211s|  1160k|409342 |     0 |   0.0 | 433M|  74 |   - | 348 |9095 |   0 |   0 |   0 | 299k|   0 | 0.000000e+00 |      --      |    Inf 
1255.29/1255.69	c  1224s|  1170k|413060 |     0 |   0.0 | 437M|  74 |   - | 348 |9408 |   0 |   0 |   0 | 302k|   0 | 0.000000e+00 |      --      |    Inf 
1268.59/1268.97	c  1237s|  1180k|416704 |     0 |   0.0 | 441M|  74 |   - | 348 |9487 |   0 |   0 |   0 | 304k|   0 | 0.000000e+00 |      --      |    Inf 
1281.97/1282.34	c  1251s|  1190k|420513 |     0 |   0.0 | 445M|  74 |   - | 348 |9660 |   0 |   0 |   0 | 306k|   0 | 0.000000e+00 |      --      |    Inf 
1294.67/1295.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1294.67/1295.01	c  1263s|  1200k|424619 |     0 |   0.0 | 448M|  74 |   - | 348 |9611 |   0 |   0 |   0 | 308k|   0 | 0.000000e+00 |      --      |    Inf 
1308.58/1308.90	c  1277s|  1210k|428203 |     0 |   0.0 | 452M|  74 |   - | 348 |9634 |   0 |   0 |   0 | 311k|   0 | 0.000000e+00 |      --      |    Inf 
1321.47/1321.83	c  1289s|  1220k|432104 |     0 |   0.0 | 456M|  74 |   - | 348 |9934 |   0 |   0 |   0 | 313k|   0 | 0.000000e+00 |      --      |    Inf 
1334.97/1335.35	c  1302s|  1230k|435995 |     0 |   0.0 | 459M|  74 |   - | 348 |9450 |   0 |   0 |   0 | 315k|   0 | 0.000000e+00 |      --      |    Inf 
1348.86/1349.24	c  1316s|  1240k|439551 |     0 |   0.0 | 463M|  74 |   - | 348 |9745 |   0 |   0 |   0 | 318k|   0 | 0.000000e+00 |      --      |    Inf 
1362.16/1362.54	c  1329s|  1250k|443459 |     0 |   0.0 | 467M|  74 |   - | 348 |9923 |   0 |   0 |   0 | 320k|   0 | 0.000000e+00 |      --      |    Inf 
1375.25/1375.68	c  1342s|  1260k|447351 |     0 |   0.0 | 471M|  74 |   - | 348 |8737 |   0 |   0 |   0 | 322k|   0 | 0.000000e+00 |      --      |    Inf 
1388.24/1388.64	c  1355s|  1270k|451051 |     0 |   0.0 | 474M|  74 |   - | 348 |8748 |   0 |   0 |   0 | 324k|   0 | 0.000000e+00 |      --      |    Inf 
1402.25/1402.62	c  1368s|  1280k|454341 |     0 |   0.0 | 478M|  74 |   - | 348 |8980 |   0 |   0 |   0 | 327k|   0 | 0.000000e+00 |      --      |    Inf 
1417.23/1417.66	c  1383s|  1290k|457312 |     0 |   0.0 | 482M|  74 |   - | 348 |9725 |   0 |   0 |   0 | 329k|   0 | 0.000000e+00 |      --      |    Inf 
1432.43/1432.88	c  1398s|  1300k|460578 |     0 |   0.0 | 485M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 332k|   0 | 0.000000e+00 |      --      |    Inf 
1446.53/1446.96	c  1412s|  1310k|464229 |     0 |   0.0 | 489M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 334k|   0 | 0.000000e+00 |      --      |    Inf 
1461.03/1461.43	c  1426s|  1320k|467769 |     0 |   0.0 | 493M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 337k|   0 | 0.000000e+00 |      --      |    Inf 
1475.92/1476.31	c  1441s|  1330k|471143 |     0 |   0.0 | 496M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 339k|   0 | 0.000000e+00 |      --      |    Inf 
1489.82/1490.24	c  1454s|  1340k|474906 |     0 |   0.0 | 500M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 341k|   0 | 0.000000e+00 |      --      |    Inf 
1504.72/1505.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1504.72/1505.12	c  1469s|  1350k|478437 |     0 |   0.0 | 504M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 344k|   0 | 0.000000e+00 |      --      |    Inf 
1519.11/1519.56	c  1483s|  1360k|482133 |     0 |   0.0 | 507M|  74 |   - | 348 |  11k|   0 |   0 |   0 | 346k|   0 | 0.000000e+00 |      --      |    Inf 
1534.01/1534.43	c  1498s|  1370k|485742 |     0 |   0.0 | 511M|  74 |   - | 348 |9965 |   0 |   0 |   0 | 349k|   0 | 0.000000e+00 |      --      |    Inf 
1548.00/1548.48	c  1512s|  1380k|489242 |     0 |   0.0 | 514M|  74 |   - | 348 |9710 |   0 |   0 |   0 | 351k|   0 | 0.000000e+00 |      --      |    Inf 
1562.00/1562.42	c  1525s|  1390k|492862 |     0 |   0.0 | 518M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 353k|   0 | 0.000000e+00 |      --      |    Inf 
1575.90/1576.32	c  1539s|  1400k|496545 |     0 |   0.0 | 522M|  74 |   - | 348 |9839 |   0 |   0 |   0 | 356k|   0 | 0.000000e+00 |      --      |    Inf 
1590.20/1590.69	c  1553s|  1410k|499974 |     0 |   0.0 | 525M|  74 |   - | 348 |9905 |   0 |   0 |   0 | 358k|   0 | 0.000000e+00 |      --      |    Inf 
1604.58/1605.07	c  1567s|  1420k|503505 |     0 |   0.0 | 529M|  74 |   - | 348 |9812 |   0 |   0 |   0 | 360k|   0 | 0.000000e+00 |      --      |    Inf 
1620.39/1620.88	c  1583s|  1430k|506585 |     0 |   0.0 | 532M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 363k|   0 | 0.000000e+00 |      --      |    Inf 
1636.68/1637.12	c  1599s|  1440k|509472 |     0 |   0.0 | 536M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 365k|   0 | 0.000000e+00 |      --      |    Inf 
1651.98/1652.48	c  1614s|  1450k|512905 |     0 |   0.0 | 539M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 368k|   0 | 0.000000e+00 |      --      |    Inf 
1666.67/1667.19	c  1628s|  1460k|516291 |     0 |   0.0 | 543M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 370k|   0 | 0.000000e+00 |      --      |    Inf 
1682.27/1682.79	c  1644s|  1470k|519529 |     0 |   0.0 | 546M|  74 |   - | 348 |  11k|   0 |   0 |   0 | 373k|   0 | 0.000000e+00 |      --      |    Inf 
1697.87/1698.31	c  1659s|  1480k|522840 |     0 |   0.0 | 549M|  74 |   - | 348 |  11k|   0 |   0 |   0 | 375k|   0 | 0.000000e+00 |      --      |    Inf 
1712.86/1713.32	c  1674s|  1490k|526188 |     0 |   0.0 | 553M|  74 |   - | 348 |  11k|   0 |   0 |   0 | 378k|   0 | 0.000000e+00 |      --      |    Inf 
1728.36/1728.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1728.36/1728.83	c  1689s|  1500k|529550 |     0 |   0.0 | 556M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 380k|   0 | 0.000000e+00 |      --      |    Inf 
1743.66/1744.14	c  1704s|  1510k|532851 |     0 |   0.0 | 560M|  74 |   - | 348 |  11k|   0 |   0 |   0 | 383k|   0 | 0.000000e+00 |      --      |    Inf 
1758.75/1759.29	c  1719s|  1520k|536303 |     0 |   0.0 | 563M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 385k|   0 | 0.000000e+00 |      --      |    Inf 
1774.25/1774.70	c  1734s|  1530k|539694 |     0 |   0.0 | 567M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 388k|   0 | 0.000000e+00 |      --      |    Inf 
1789.35/1789.82	c  1749s|  1540k|542862 |     0 |   0.0 | 570M|  74 |   - | 348 |  10k|   0 |   0 |   0 | 390k|   0 | 0.000000e+00 |      --      |    Inf 
1800.05/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.50	c 
1800.05/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.50	c Solving Time (sec) : 1759.23
1800.05/1800.50	c Solving Nodes      : 1547209
1800.05/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.50	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.50	c Gap                : infinite
1800.05/1800.50	s UNKNOWN
1800.05/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.50	c Solving Time       :    1759.23
1800.05/1800.50	c Original Problem   :
1800.05/1800.50	c   Problem name     : HOME/instance-2664266-1276268862.opb
1800.05/1800.50	c   Variables        : 370 (370 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50	c   Constraints      : 809 initial, 809 maximal
1800.05/1800.50	c Presolved Problem  :
1800.05/1800.50	c   Problem name     : t_HOME/instance-2664266-1276268862.opb
1800.05/1800.50	c   Variables        : 348 (348 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50	c   Constraints      : 776 initial, 11594 maximal
1800.05/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.50	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.50	c   implics          :       0.00          0          8          0          0          0          0          0          0
1800.05/1800.50	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.50	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.50	c   linear           :       0.02         14          0          0         14          0         33          0          0
1800.05/1800.50	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.50	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.50	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.50	c   knapsack         :        240          0    5332403          0    1094613     403964   20168471          0          0          0
1800.05/1800.50	c   logicor          :        536+         0    4137800          0    1094613     143981    9282670          0          0          0
1800.05/1800.50	c   countsols        :          0          0          0          0    1094613          0          0          0          0          0
1800.05/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.50	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.50	c   knapsack         :     253.20       0.00     238.02       0.00      15.18
1800.05/1800.50	c   logicor          :     798.76       0.00     744.34       0.00      54.42
1800.05/1800.50	c   countsols        :       0.58       0.00       0.00       0.00       0.58
1800.05/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.50	c   vbounds          :       2.76          1          0          0
1800.05/1800.50	c   rootredcost      :       2.72          0          0          0
1800.05/1800.50	c   pseudoobj        :       2.60          0          0          0
1800.05/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.50	c   propagation      :     127.76     290305     278817    4001791       76.2       3664       27.6          -
1800.05/1800.50	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.50	c   applied globally :          -          -          -     385947       22.7          -          -          -
1800.05/1800.50	c   applied locally  :          -          -          -       6608       92.0          -          -          -
1800.05/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.50	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.50	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.50	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.50	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.50	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.50	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.50	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.50	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.50	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.50	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.50	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.50	c Pricers            :       Time      Calls       Vars
1800.05/1800.50	c   problem variables:       0.00          0          0
1800.05/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.50	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.51	c   inference        :      31.56    1094613          0          0          0          0    2189226
1800.05/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.51	c   LP solutions     :       0.00          -          0
1800.05/1800.51	c   pseudo solutions :       0.00          -          0
1800.05/1800.51	c   trivial          :       0.00          1          0
1800.05/1800.51	c   simplerounding   :       0.00          0          0
1800.05/1800.51	c   zirounding       :       0.00          0          0
1800.05/1800.51	c   rounding         :       0.00          0          0
1800.05/1800.51	c   shifting         :       0.00          0          0
1800.05/1800.51	c   intshifting      :       0.00          0          0
1800.05/1800.51	c   oneopt           :       0.00          0          0
1800.05/1800.51	c   twoopt           :       0.00          0          0
1800.05/1800.51	c   fixandinfer      :       0.00          0          0
1800.05/1800.51	c   feaspump         :       0.00          0          0
1800.05/1800.51	c   coefdiving       :       0.00          0          0
1800.05/1800.51	c   pscostdiving     :       0.00          0          0
1800.05/1800.51	c   fracdiving       :       0.00          0          0
1800.05/1800.51	c   veclendiving     :       0.00          0          0
1800.05/1800.51	c   intdiving        :       0.00          0          0
1800.05/1800.51	c   actconsdiving    :       0.00          0          0
1800.05/1800.51	c   objpscostdiving  :       0.00          0          0
1800.05/1800.51	c   rootsoldiving    :       0.00          0          0
1800.05/1800.51	c   linesearchdiving :       0.00          0          0
1800.05/1800.51	c   guideddiving     :       0.00          0          0
1800.05/1800.51	c   octane           :       0.00          0          0
1800.05/1800.51	c   rens             :       0.00          0          0
1800.05/1800.51	c   rins             :       0.00          0          0
1800.05/1800.51	c   localbranching   :       0.00          0          0
1800.05/1800.51	c   mutation         :       0.00          0          0
1800.05/1800.51	c   crossover        :       0.00          0          0
1800.05/1800.51	c   dins             :       0.00          0          0
1800.05/1800.51	c   undercover       :       0.00          0          0
1800.05/1800.51	c   nlp              :       0.00          0          0
1800.05/1800.51	c   trysol           :       0.00          0          0
1800.05/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.51	c B&B Tree           :
1800.05/1800.51	c   number of runs   :          1
1800.05/1800.51	c   nodes            :    1547209
1800.05/1800.51	c   nodes (total)    :    1547209
1800.05/1800.51	c   nodes left       :     545280
1800.05/1800.51	c   max depth        :         74
1800.05/1800.51	c   max depth (total):         74
1800.05/1800.51	c   backtracks       :     188586 (12.2%)
1800.05/1800.51	c   delayed cutoffs  :      96738
1800.05/1800.51	c   repropagations   :     316261 (4663097 domain reductions, 95349 cutoffs)
1800.05/1800.51	c   avg switch length:       6.54
1800.05/1800.51	c   switching time   :     480.88
1800.05/1800.51	c Solution           :
1800.05/1800.51	c   Solutions found  :          0 (0 improvements)
1800.05/1800.51	c   Primal Bound     :          -
1800.05/1800.51	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.51	c   Gap              :   infinite
1800.05/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.51	c   Root Iterations  :          0

ERROR: no interpretation found !

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.95 0.90 3/106 4249
/proc/meminfo: memFree=1593232/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=5552 CPUtime=0
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 824 0 0 0 0 0 0 0 16 0 1 0 2487498 5685248 748 1992294400 4194304 7136930 140734626437664 18446744073709551615 6346856 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4249/statm: 1388 756 243 719 0 667 0

[startup+0.068184 s]
/proc/loadavg: 0.85 0.95 0.90 3/106 4249
/proc/meminfo: memFree=1593232/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=13536 CPUtime=0.05
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 3721 0 0 0 4 1 0 0 16 0 1 0 2487498 13860864 2520 1992294400 4194304 7136930 140734626437664 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 3384 2531 356 719 0 2663 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13536

[startup+0.102119 s]
/proc/loadavg: 0.85 0.95 0.90 3/106 4249
/proc/meminfo: memFree=1593232/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=14012 CPUtime=0.09
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 4938 0 0 0 7 2 0 0 17 0 1 0 2487498 14348288 2708 1992294400 4194304 7136930 140734626437664 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 3503 2722 375 719 0 2782 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14012

[startup+0.301183 s]
/proc/loadavg: 0.85 0.95 0.90 3/106 4249
/proc/meminfo: memFree=1593232/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=14872 CPUtime=0.29
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 5232 0 0 0 26 3 0 0 17 0 1 0 2487498 15228928 3002 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 3718 3002 392 719 0 2997 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14872

[startup+0.701183 s]
/proc/loadavg: 0.85 0.95 0.90 3/106 4249
/proc/meminfo: memFree=1593232/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=15816 CPUtime=0.69
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 5471 0 0 0 63 6 0 0 17 0 1 0 2487498 16195584 3241 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 3954 3241 392 719 0 3233 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15816

[startup+1.50118 s]
/proc/loadavg: 0.85 0.95 0.90 2/107 4250
/proc/meminfo: memFree=1580700/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=17612 CPUtime=1.49
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 5918 0 0 0 138 11 0 0 18 0 1 0 2487498 18034688 3688 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 4403 3688 392 719 0 3682 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17612

[startup+3.10117 s]
/proc/loadavg: 0.85 0.95 0.90 2/107 4250
/proc/meminfo: memFree=1578716/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=21128 CPUtime=3.09
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 6814 0 0 0 288 21 0 0 21 0 1 0 2487498 21635072 4584 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 5282 4584 392 719 0 4561 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21128

[startup+6.30016 s]
/proc/loadavg: 0.86 0.95 0.90 2/107 4250
/proc/meminfo: memFree=1573756/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=25564 CPUtime=6.29
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 7895 0 0 0 592 37 0 0 25 0 1 0 2487498 26177536 5665 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 6391 5665 392 719 0 5670 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25564

[startup+12.7011 s]
/proc/loadavg: 0.87 0.95 0.90 2/107 4250
/proc/meminfo: memFree=1563712/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=34084 CPUtime=12.69
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 10043 0 0 0 1197 72 0 0 25 0 1 0 2487498 34902016 7813 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 8521 7813 392 719 0 7800 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34084

[startup+25.501 s]
/proc/loadavg: 0.97 0.97 0.91 2/107 4250
/proc/meminfo: memFree=1551692/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=45472 CPUtime=25.49
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 12931 0 0 0 2419 130 0 0 25 0 1 0 2487498 46563328 10701 1992294400 4194304 7136930 140734626437664 18446744073709551615 5922214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 11368 10701 392 719 0 10647 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45472

[startup+51.1006 s]
/proc/loadavg: 0.98 0.97 0.91 2/107 4252
/proc/meminfo: memFree=1527760/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=70048 CPUtime=51.08
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 19101 0 0 0 4862 246 0 0 25 0 1 0 2487498 71729152 16871 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 17512 16871 392 719 0 16791 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70048

[startup+102.308 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 4261
/proc/meminfo: memFree=1494404/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=104048 CPUtime=102.26
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 27189 0 0 0 9794 432 0 0 25 0 1 0 2487498 106545152 24959 1992294400 4194304 7136930 140734626437664 18446744073709551615 4644808 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 26012 24959 392 719 0 25291 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 104048

[startup+162.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 4261
/proc/meminfo: memFree=1472704/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=125704 CPUtime=162.25
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 32629 0 0 0 15628 597 0 0 25 0 1 0 2487498 128720896 30399 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 31426 30399 392 719 0 30705 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 125704

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 4263
/proc/meminfo: memFree=1435876/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=162028 CPUtime=222.24
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 41815 0 0 0 21417 807 0 0 25 0 1 0 2487498 165916672 39585 1992294400 4194304 7136930 140734626437664 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 40507 39585 392 719 0 39786 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 162028

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 4265
/proc/meminfo: memFree=1401652/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=195972 CPUtime=282.23
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 50404 0 0 0 27226 997 0 0 25 0 1 0 2487498 200675328 48174 1992294400 4194304 7136930 140734626437664 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 48993 48182 392 719 0 48272 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 195972

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 4267
/proc/meminfo: memFree=1375984/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=221384 CPUtime=342.21
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 56798 0 0 0 33061 1160 0 0 25 0 1 0 2487498 226697216 54568 1992294400 4194304 7136930 140734626437664 18446744073709551615 4226803 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 55346 54568 392 719 0 54625 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 221384

[startup+402.301 s]
/proc/loadavg: 1.05 0.99 0.91 2/107 4272
/proc/meminfo: memFree=1354904/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=241084 CPUtime=402.2
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 61796 0 0 0 38913 1307 0 0 25 0 1 0 2487498 246870016 59566 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 60271 59566 392 719 0 59550 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 241084

[startup+462.301 s]
/proc/loadavg: 1.02 0.99 0.91 2/107 4272
/proc/meminfo: memFree=1335312/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=264452 CPUtime=462.19
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 66674 0 0 0 44763 1456 0 0 25 0 1 0 2487498 270798848 64444 1992294400 4194304 7136930 140734626437664 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 66113 64444 392 719 0 65392 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 264452

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4274
/proc/meminfo: memFree=1317208/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=282204 CPUtime=522.18
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 71171 0 0 0 50627 1591 0 0 25 0 1 0 2487498 288976896 68941 1992294400 4194304 7136930 140734626437664 18446744073709551615 5952236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 70551 68941 392 719 0 69830 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 282204

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4276
/proc/meminfo: memFree=1299476/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=299572 CPUtime=582.17
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 75588 0 0 0 56502 1715 0 0 25 0 1 0 2487498 306761728 73358 1992294400 4194304 7136930 140734626437664 18446744073709551615 4644815 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 74893 73358 392 719 0 74172 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 299572

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4285
/proc/meminfo: memFree=1285464/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=313320 CPUtime=642.14
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 79037 0 0 0 62385 1829 0 0 25 0 1 0 2487498 320839680 76807 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 78330 76807 392 719 0 77609 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 313320

[startup+702.301 s]

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

/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 107966 0 0 0 103516 2689 0 0 25 0 1 0 2487498 437854208 105736 1992294400 4194304 7136930 140734626437664 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 106898 105736 392 719 0 106177 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 427592

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4304
/proc/meminfo: memFree=1153032/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=444052 CPUtime=1122.03
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 112159 0 0 0 109382 2821 0 0 25 0 1 0 2487498 454709248 109929 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 111013 109929 392 719 0 110292 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 444052

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4306
/proc/meminfo: memFree=1131952/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=464356 CPUtime=1182.01
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 117287 0 0 0 115251 2950 0 0 25 0 1 0 2487498 475500544 115057 1992294400 4194304 7136930 140734626437664 18446744073709551615 4702040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 116089 115057 392 719 0 115368 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 464356

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4308
/proc/meminfo: memFree=1111740/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=484104 CPUtime=1241.99
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 122297 0 0 0 121129 3070 0 0 25 0 1 0 2487498 495722496 120067 1992294400 4194304 7136930 140734626437664 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 121026 120067 392 719 0 120305 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 484104

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4310
/proc/meminfo: memFree=1097356/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=498088 CPUtime=1301.98
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 125872 0 0 0 127014 3184 0 0 25 0 1 0 2487498 510042112 123642 1992294400 4194304 7136930 140734626437664 18446744073709551615 5000143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 124522 123642 392 719 0 123801 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 498088

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4310
/proc/meminfo: memFree=1077144/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=517996 CPUtime=1361.96
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 130941 0 0 0 132895 3301 0 0 25 0 1 0 2487498 530427904 128711 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 129499 128711 392 719 0 128778 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 517996

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4312
/proc/meminfo: memFree=1063380/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=531352 CPUtime=1421.94
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 134332 0 0 0 138781 3413 0 0 25 0 1 0 2487498 544104448 132102 1992294400 4194304 7136930 140734626437664 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 132838 132102 392 719 0 132117 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 531352

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4314
/proc/meminfo: memFree=1047632/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=555888 CPUtime=1481.92
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 138429 0 0 0 144667 3525 0 0 25 0 1 0 2487498 569229312 136199 1992294400 4194304 7136930 140734626437664 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 138972 136199 392 719 0 138251 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 555888

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4316
/proc/meminfo: memFree=1031016/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=571492 CPUtime=1541.91
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 142400 0 0 0 150559 3632 0 0 25 0 1 0 2487498 585207808 140170 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 142873 140170 392 719 0 142152 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 571492

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4318
/proc/meminfo: memFree=1011672/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=590544 CPUtime=1601.88
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 147204 0 0 0 156445 3743 0 0 25 0 1 0 2487498 604717056 144974 1992294400 4194304 7136930 140734626437664 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 147636 144974 392 719 0 146915 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 590544

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4318
/proc/meminfo: memFree=999644/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=602296 CPUtime=1661.87
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 150186 0 0 0 162340 3847 0 0 25 0 1 0 2487498 616751104 147956 1992294400 4194304 7136930 140734626437664 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 150574 147956 392 719 0 149853 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 602296

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4320
/proc/meminfo: memFree=983276/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=618584 CPUtime=1721.86
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 154255 0 0 0 168238 3948 0 0 25 0 1 0 2487498 633430016 152025 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 154646 152025 392 719 0 153925 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 618584

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4322
/proc/meminfo: memFree=973232/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=628164 CPUtime=1781.85
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 156692 0 0 0 174135 4050 0 0 25 0 1 0 2487498 643239936 154462 1992294400 4194304 7136930 140734626437664 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 157041 154462 392 719 0 156320 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 628164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 4322
/proc/meminfo: memFree=970008/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=631340 CPUtime=1800.05
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 157503 0 0 0 175925 4080 0 0 25 0 1 0 2487498 646492160 155273 1992294400 4194304 7136930 140734626437664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4249/statm: 157835 155273 392 719 0 157114 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 631340

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -4249

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

[startup+1801.4 s]
/proc/loadavg: 1.00 0.99 0.91 2/108 4323
/proc/meminfo: memFree=970000/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=631340 CPUtime=1800.94
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 157510 0 0 0 176014 4080 0 0 25 0 1 0 2487498 646492160 155280 1992294400 4194304 7136930 140734626437664 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4249/statm: 157835 155280 398 719 0 157114 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 631340

[startup+1802.2 s]
/proc/loadavg: 1.00 0.99 0.91 2/108 4323
/proc/meminfo: memFree=969876/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=629792 CPUtime=1801.74
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 157510 0 0 0 176094 4080 0 0 25 0 1 0 2487498 644907008 154893 1992294400 4194304 7136930 140734626437664 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4249/statm: 157448 154893 398 719 0 156727 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 629792

[startup+1802.4 s]
/proc/loadavg: 1.00 0.99 0.91 2/108 4323
/proc/meminfo: memFree=969876/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=628500 CPUtime=1801.94
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 157510 0 0 0 176114 4080 0 0 25 0 1 0 2487498 643584000 154570 1992294400 4194304 7136930 140734626437664 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4249/statm: 157125 154570 398 719 0 156404 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 628500

[startup+1802.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/108 4323
/proc/meminfo: memFree=969876/2059040 swapFree=4192956/4192956
[pid=4249] ppid=4247 vsize=628500 CPUtime=1802.04
/proc/4249/stat : 4249 (pbscip.linux.x8) R 4247 4249 3449 0 -1 4202496 157510 0 0 0 176124 4080 0 0 25 0 1 0 2487498 643584000 154570 1992294400 4194304 7136930 140734626437664 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4249/statm: 157125 154570 398 719 0 156404 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 628500

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.57
CPU time (s): 1802.12
CPU user time (s): 1761.26
CPU system time (s): 40.8628
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 631340

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

runsolver used 2.95355 second user time and 8.5447 second system time

The end

Begin job on node015 at 2010-06-11 17:07:42
IDJOB=2664266
IDBENCH=1158
IDSOLVER=1167
FILE ID=node015/2664266-1276268862
PBS_JOBID= 11172196
Free space on /tmp= 62540 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664266-1276268862/watcher-2664266-1276268862 -o /tmp/evaluation-result-2664266-1276268862/solver-2664266-1276268862 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664266-1276268862.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= bde651356fbc7760944c2b16aa27f15d
RANDOM SEED=1515549968

node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1593884 kB
Buffers:         44440 kB
Cached:         294620 kB
SwapCached:          0 kB
Active:         147696 kB
Inactive:       250948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1593884 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3680 kB
Writeback:           0 kB
AnonPages:       59680 kB
Mapped:          15408 kB
Slab:            44868 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179704 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62536 MiB
End job on node015 at 2010-06-11 17:37:44