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-2663502-1276684510.opb>
0.00/0.02	c original problem has 1598 variables (1598 bin, 0 int, 0 impl, 0 cont) and 1650 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.02	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.23	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 12084 impls, 100 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  12084 implications, 100 cliques
0.39/0.42	c presolved problem has 1598 variables (1598 bin, 0 int, 0 impl, 0 cont) and 1650 constraints
0.39/0.42	c       1 constraints of type <knapsack>
0.39/0.42	c     100 constraints of type <setppc>
0.39/0.42	c    1498 constraints of type <and>
0.39/0.42	c       1 constraints of type <linear>
0.39/0.42	c      50 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.19
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 |     - |4326k|   0 |   - |1598 |1650 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.09/7.14	c   6.6s| 10000 |  8282 |     0 |   0.0 |  22M|  77 |   - |1598 |2314 |   0 |   0 |   0 |1254 |   0 | 0.000000e+00 |      --      |    Inf 
14.38/14.41	c  13.5s| 20000 | 12053 |     0 |   0.0 |  33M|  77 |   - |1598 |3296 |   0 |   0 |   0 |3925 |   0 | 0.000000e+00 |      --      |    Inf 
22.49/22.58	c  21.3s| 30000 | 20169 |     0 |   0.0 |  52M|  77 |   - |1598 |2541 |   0 |   0 |   0 |4584 |   0 | 0.000000e+00 |      --      |    Inf 
30.39/30.42	c  28.9s| 40000 | 26730 |     0 |   0.0 |  68M|  77 |   - |1598 |2609 |   0 |   0 |   0 |4938 |   0 | 0.000000e+00 |      --      |    Inf 
38.38/38.44	c  36.6s| 50000 | 32651 |     0 |   0.0 |  83M|  77 |   - |1598 |2809 |   0 |   0 |   0 |5430 |   0 | 0.000000e+00 |      --      |    Inf 
46.58/46.63	c  44.5s| 60000 | 37979 |     0 |   0.0 |  98M|  77 |   - |1598 |3053 |   0 |   0 |   0 |6140 |   0 | 0.000000e+00 |      --      |    Inf 
54.98/55.01	c  52.6s| 70000 | 42905 |     0 |   0.0 | 112M|  77 |   - |1598 |3299 |   0 |   0 |   0 |7089 |   0 | 0.000000e+00 |      --      |    Inf 
63.58/63.67	c  61.0s| 80000 | 47839 |     0 |   0.0 | 126M|  77 |   - |1598 |3579 |   0 |   0 |   0 |8318 |   0 | 0.000000e+00 |      --      |    Inf 
72.48/72.51	c  69.5s| 90000 | 52194 |     0 |   0.0 | 139M|  77 |   - |1598 |4015 |   0 |   0 |   0 |9638 |   0 | 0.000000e+00 |      --      |    Inf 
81.87/81.91	c  78.5s|100000 | 56013 |     0 |   0.0 | 151M|  77 |   - |1598 |4435 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
91.67/91.72	c  88.0s|110000 | 59589 |     0 |   0.0 | 163M|  77 |   - |1598 |4877 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
102.06/102.10	c  98.1s|120000 | 62668 |     0 |   0.0 | 176M|  77 |   - |1598 |5342 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
112.96/113.08	c   109s|130000 | 65468 |     0 |   0.0 | 187M|  77 |   - |1598 |5829 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
124.56/124.64	c   120s|140000 | 67833 |     0 |   0.0 | 198M|  77 |   - |1598 |6154 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
136.85/136.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
136.85/136.92	c   132s|150000 | 69739 |     0 |   0.0 | 210M|  77 |   - |1598 |7027 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
149.46/149.55	c   144s|160000 | 71985 |     0 |   0.0 | 222M|  77 |   - |1598 |8430 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
161.05/161.13	c   155s|170000 | 74071 |     0 |   0.0 | 232M|  77 |   - |1598 |9516 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
173.65/173.76	c   168s|180000 | 75620 |     0 |   0.0 | 241M|  77 |   - |1598 |  10k|   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
185.24/185.38	c   179s|190000 | 77421 |     0 |   0.0 | 247M|  77 |   - |1598 |  11k|   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
197.04/197.14	c   190s|200000 | 78751 |     0 |   0.0 | 253M|  77 |   - |1598 |  12k|   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
207.44/207.52	c   200s|210000 | 83071 |     0 |   0.0 | 263M|  77 |   - |1598 |5187 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
215.13/215.23	c   208s|220000 | 89464 |     0 |   0.0 | 278M|  77 |   - |1598 |3671 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
222.74/222.80	c   215s|230000 | 95734 |     0 |   0.0 | 292M|  77 |   - |1598 |3408 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
230.23/230.34	c   222s|240000 |101927 |     0 |   0.0 | 307M|  77 |   - |1598 |3399 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
237.73/237.89	c   230s|250000 |108090 |     0 |   0.0 | 321M|  77 |   - |1598 |3415 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
245.43/245.50	c   237s|260000 |114186 |     0 |   0.0 | 335M|  77 |   - |1598 |3488 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
253.02/253.14	c   244s|270000 |120070 |     0 |   0.0 | 349M|  77 |   - |1598 |3610 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
260.72/260.87	c   252s|280000 |126223 |     0 |   0.0 | 364M|  77 |   - |1598 |3570 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
268.32/268.49	c   259s|290000 |132123 |     0 |   0.0 | 378M|  77 |   - |1598 |3574 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
276.03/276.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
276.03/276.17	c   266s|300000 |137952 |     0 |   0.0 | 391M|  77 |   - |1598 |3609 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
283.82/283.96	c   274s|310000 |143706 |     0 |   0.0 | 405M|  77 |   - |1598 |3768 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
291.52/291.64	c   281s|320000 |149339 |     0 |   0.0 | 418M|  77 |   - |1598 |3812 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
299.31/299.49	c   289s|330000 |154852 |     0 |   0.0 | 432M|  77 |   - |1598 |4019 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
307.11/307.24	c   296s|340000 |160443 |     0 |   0.0 | 445M|  77 |   - |1598 |3946 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
315.01/315.11	c   304s|350000 |165838 |     0 |   0.0 | 458M|  77 |   - |1598 |4096 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
323.01/323.15	c   312s|360000 |171219 |     0 |   0.0 | 471M|  77 |   - |1598 |4164 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
331.01/331.11	c   319s|370000 |176539 |     0 |   0.0 | 484M|  77 |   - |1598 |4435 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
339.20/339.31	c   327s|380000 |181699 |     0 |   0.0 | 497M|  77 |   - |1598 |4600 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
347.20/347.37	c   335s|390000 |187008 |     0 |   0.0 | 510M|  77 |   - |1598 |4455 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
355.21/355.38	c   343s|400000 |192255 |     0 |   0.0 | 523M|  77 |   - |1598 |4448 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
363.30/363.42	c   350s|410000 |197371 |     0 |   0.0 | 536M|  77 |   - |1598 |4518 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
371.49/371.69	c   358s|420000 |202522 |     0 |   0.0 | 549M|  77 |   - |1598 |4572 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
379.69/379.81	c   366s|430000 |207579 |     0 |   0.0 | 561M|  77 |   - |1598 |4738 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
387.88/388.04	c   374s|440000 |212591 |     0 |   0.0 | 574M|  77 |   - |1598 |4868 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
396.29/396.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
396.29/396.42	c   382s|450000 |217429 |     0 |   0.0 | 586M|  77 |   - |1598 |4811 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
404.59/404.74	c   390s|460000 |222387 |     0 |   0.0 | 599M|  77 |   - |1598 |4823 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
412.88/413.09	c   398s|470000 |227335 |     0 |   0.0 | 611M|  77 |   - |1598 |4959 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
421.38/421.54	c   407s|480000 |232143 |     0 |   0.0 | 624M|  77 |   - |1598 |5279 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
429.99/430.16	c   415s|490000 |236893 |     0 |   0.0 | 636M|  77 |   - |1598 |5185 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
438.57/438.74	c   423s|500000 |241605 |     0 |   0.0 | 648M|  77 |   - |1598 |5026 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
447.18/447.30	c   431s|510000 |246309 |     0 |   0.0 | 661M|  77 |   - |1598 |5288 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
455.87/456.02	c   440s|520000 |250846 |     0 |   0.0 | 673M|  77 |   - |1598 |5520 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
464.47/464.66	c   448s|530000 |255548 |     0 |   0.0 | 685M|  77 |   - |1598 |5637 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
473.46/473.62	c   457s|540000 |260018 |     0 |   0.0 | 696M|  77 |   - |1598 |5341 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
482.07/482.28	c   465s|550000 |264566 |     0 |   0.0 | 708M|  77 |   - |1598 |5406 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
490.96/491.10	c   474s|560000 |268942 |     0 |   0.0 | 720M|  77 |   - |1598 |5823 |   0 |   0 |   0 |  68k|   0 | 0.000000e+00 |      --      |    Inf 
499.86/500.08	c   482s|570000 |273388 |     0 |   0.0 | 732M|  77 |   - |1598 |5921 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 |      --      |    Inf 
508.76/508.96	c   491s|580000 |277953 |     0 |   0.0 | 744M|  77 |   - |1598 |6029 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
517.97/518.19	c   500s|590000 |282219 |     0 |   0.0 | 756M|  77 |   - |1598 |5451 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
526.95/527.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
526.95/527.13	c   508s|600000 |286506 |     0 |   0.0 | 767M|  77 |   - |1598 |5710 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
536.25/536.40	c   517s|610000 |290677 |     0 |   0.0 | 779M|  77 |   - |1598 |6222 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 |      --      |    Inf 
545.46/545.64	c   526s|620000 |294956 |     0 |   0.0 | 791M|  77 |   - |1598 |6548 |   0 |   0 |   0 |  76k|   0 | 0.000000e+00 |      --      |    Inf 
555.05/555.23	c   536s|630000 |299267 |     0 |   0.0 | 803M|  77 |   - |1598 |6584 |   0 |   0 |   0 |  77k|   0 | 0.000000e+00 |      --      |    Inf 
564.75/564.93	c   545s|640000 |303444 |     0 |   0.0 | 814M|  77 |   - |1598 |6114 |   0 |   0 |   0 |  78k|   0 | 0.000000e+00 |      --      |    Inf 
574.14/574.38	c   554s|650000 |307519 |     0 |   0.0 | 826M|  77 |   - |1598 |6226 |   0 |   0 |   0 |  79k|   0 | 0.000000e+00 |      --      |    Inf 
583.84/584.04	c   564s|660000 |311486 |     0 |   0.0 | 837M|  77 |   - |1598 |6732 |   0 |   0 |   0 |  81k|   0 | 0.000000e+00 |      --      |    Inf 
593.74/593.96	c   573s|670000 |315512 |     0 |   0.0 | 849M|  77 |   - |1598 |7175 |   0 |   0 |   0 |  82k|   0 | 0.000000e+00 |      --      |    Inf 
603.64/603.88	c   583s|680000 |319601 |     0 |   0.0 | 861M|  77 |   - |1598 |7141 |   0 |   0 |   0 |  84k|   0 | 0.000000e+00 |      --      |    Inf 
613.54/613.73	c   592s|690000 |323749 |     0 |   0.0 | 872M|  77 |   - |1598 |7121 |   0 |   0 |   0 |  86k|   0 | 0.000000e+00 |      --      |    Inf 
623.62/623.87	c   602s|700000 |327665 |     0 |   0.0 | 884M|  77 |   - |1598 |7102 |   0 |   0 |   0 |  87k|   0 | 0.000000e+00 |      --      |    Inf 
633.82/634.05	c   612s|710000 |331410 |     0 |   0.0 | 895M|  77 |   - |1598 |7284 |   0 |   0 |   0 |  88k|   0 | 0.000000e+00 |      --      |    Inf 
644.12/644.35	c   622s|720000 |335135 |     0 |   0.0 | 906M|  77 |   - |1598 |7783 |   0 |   0 |   0 |  90k|   0 | 0.000000e+00 |      --      |    Inf 
654.52/654.75	c   632s|730000 |339012 |     0 |   0.0 | 918M|  77 |   - |1598 |7979 |   0 |   0 |   0 |  92k|   0 | 0.000000e+00 |      --      |    Inf 
665.12/665.37	c   642s|740000 |342852 |     0 |   0.0 | 929M|  77 |   - |1598 |7885 |   0 |   0 |   0 |  93k|   0 | 0.000000e+00 |      --      |    Inf 
675.62/675.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
675.62/675.82	c   652s|750000 |346797 |     0 |   0.0 | 940M|  77 |   - |1598 |8082 |   0 |   0 |   0 |  95k|   0 | 0.000000e+00 |      --      |    Inf 
686.31/686.58	c   663s|760000 |350524 |     0 |   0.0 | 952M|  77 |   - |1598 |8128 |   0 |   0 |   0 |  97k|   0 | 0.000000e+00 |      --      |    Inf 
697.40/697.68	c   674s|770000 |353991 |     0 |   0.0 | 963M|  77 |   - |1598 |8440 |   0 |   0 |   0 |  98k|   0 | 0.000000e+00 |      --      |    Inf 
708.61/708.88	c   685s|780000 |357454 |     0 |   0.0 | 974M|  77 |   - |1598 |8713 |   0 |   0 |   0 | 100k|   0 | 0.000000e+00 |      --      |    Inf 
719.70/719.91	c   695s|790000 |361068 |     0 |   0.0 | 985M|  77 |   - |1598 |8807 |   0 |   0 |   0 | 102k|   0 | 0.000000e+00 |      --      |    Inf 
730.90/731.15	c   706s|800000 |364690 |     0 |   0.0 | 996M|  77 |   - |1598 |8810 |   0 |   0 |   0 | 104k|   0 | 0.000000e+00 |      --      |    Inf 
742.00/742.26	c   717s|810000 |368426 |     0 |   0.0 |1008M|  77 |   - |1598 |8970 |   0 |   0 |   0 | 106k|   0 | 0.000000e+00 |      --      |    Inf 
752.99/753.27	c   728s|820000 |372089 |     0 |   0.0 |1019M|  77 |   - |1598 |8719 |   0 |   0 |   0 | 108k|   0 | 0.000000e+00 |      --      |    Inf 
764.69/764.95	c   739s|830000 |375352 |     0 |   0.0 |1030M|  77 |   - |1598 |8905 |   0 |   0 |   0 | 110k|   0 | 0.000000e+00 |      --      |    Inf 
776.29/776.57	c   750s|840000 |378574 |     0 |   0.0 |1041M|  77 |   - |1598 |9346 |   0 |   0 |   0 | 111k|   0 | 0.000000e+00 |      --      |    Inf 
788.28/788.58	c   762s|850000 |381840 |     0 |   0.0 |1052M|  77 |   - |1598 |9741 |   0 |   0 |   0 | 114k|   0 | 0.000000e+00 |      --      |    Inf 
800.38/800.62	c   774s|860000 |385139 |     0 |   0.0 |1063M|  77 |   - |1598 |9447 |   0 |   0 |   0 | 115k|   0 | 0.000000e+00 |      --      |    Inf 
812.08/812.39	c   785s|870000 |388539 |     0 |   0.0 |1074M|  77 |   - |1598 |9666 |   0 |   0 |   0 | 118k|   0 | 0.000000e+00 |      --      |    Inf 
823.77/824.04	c   797s|880000 |391993 |     0 |   0.0 |1085M|  77 |   - |1598 |9675 |   0 |   0 |   0 | 120k|   0 | 0.000000e+00 |      --      |    Inf 
835.68/835.94	c   808s|890000 |395362 |     0 |   0.0 |1096M|  77 |   - |1598 |9880 |   0 |   0 |   0 | 122k|   0 | 0.000000e+00 |      --      |    Inf 
848.17/848.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
848.17/848.50	c   820s|900000 |398277 |     0 |   0.0 |1106M|  77 |   - |1598 |  10k|   0 |   0 |   0 | 123k|   0 | 0.000000e+00 |      --      |    Inf 
860.86/861.19	c   833s|910000 |401214 |     0 |   0.0 |1117M|  77 |   - |1598 |  10k|   0 |   0 |   0 | 126k|   0 | 0.000000e+00 |      --      |    Inf 
873.66/873.93	c   845s|920000 |404244 |     0 |   0.0 |1128M|  77 |   - |1598 |  10k|   0 |   0 |   0 | 128k|   0 | 0.000000e+00 |      --      |    Inf 
886.37/886.64	c   858s|930000 |407342 |     0 |   0.0 |1138M|  77 |   - |1598 |  10k|   0 |   0 |   0 | 130k|   0 | 0.000000e+00 |      --      |    Inf 
899.16/899.47	c   870s|940000 |410441 |     0 |   0.0 |1149M|  77 |   - |1598 |  10k|   0 |   0 |   0 | 132k|   0 | 0.000000e+00 |      --      |    Inf 
911.85/912.12	c   882s|950000 |413688 |     0 |   0.0 |1160M|  77 |   - |1598 |  10k|   0 |   0 |   0 | 134k|   0 | 0.000000e+00 |      --      |    Inf 
924.45/924.70	c   895s|960000 |416957 |     0 |   0.0 |1171M|  77 |   - |1598 |  11k|   0 |   0 |   0 | 136k|   0 | 0.000000e+00 |      --      |    Inf 
937.96/938.28	c   908s|970000 |419577 |     0 |   0.0 |1181M|  77 |   - |1598 |  10k|   0 |   0 |   0 | 138k|   0 | 0.000000e+00 |      --      |    Inf 
951.54/951.87	c   921s|980000 |422174 |     0 |   0.0 |1192M|  77 |   - |1598 |  11k|   0 |   0 |   0 | 141k|   0 | 0.000000e+00 |      --      |    Inf 
965.24/965.59	c   934s|990000 |424884 |     0 |   0.0 |1202M|  77 |   - |1598 |  11k|   0 |   0 |   0 | 143k|   0 | 0.000000e+00 |      --      |    Inf 
979.03/979.32	c   948s|  1000k|427605 |     0 |   0.0 |1213M|  77 |   - |1598 |  11k|   0 |   0 |   0 | 145k|   0 | 0.000000e+00 |      --      |    Inf 
992.63/992.93	c   961s|  1010k|430452 |     0 |   0.0 |1223M|  77 |   - |1598 |  12k|   0 |   0 |   0 | 147k|   0 | 0.000000e+00 |      --      |    Inf 
1006.33/1006.67	c   975s|  1020k|433350 |     0 |   0.0 |1234M|  77 |   - |1598 |  12k|   0 |   0 |   0 | 150k|   0 | 0.000000e+00 |      --      |    Inf 
1020.13/1020.45	c   988s|  1030k|436327 |     0 |   0.0 |1245M|  77 |   - |1598 |  12k|   0 |   0 |   0 | 152k|   0 | 0.000000e+00 |      --      |    Inf 
1034.32/1034.68	c  1002s|  1040k|439005 |     0 |   0.0 |1255M|  77 |   - |1598 |  12k|   0 |   0 |   0 | 154k|   0 | 0.000000e+00 |      --      |    Inf 
1048.92/1049.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1048.92/1049.29	c  1016s|  1050k|441178 |     0 |   0.0 |1266M|  77 |   - |1598 |  12k|   0 |   0 |   0 | 157k|   0 | 0.000000e+00 |      --      |    Inf 
1063.61/1063.95	c  1030s|  1060k|443487 |     0 |   0.0 |1276M|  77 |   - |1598 |  12k|   0 |   0 |   0 | 159k|   0 | 0.000000e+00 |      --      |    Inf 
1078.31/1078.65	c  1045s|  1070k|445880 |     0 |   0.0 |1286M|  77 |   - |1598 |  12k|   0 |   0 |   0 | 162k|   0 | 0.000000e+00 |      --      |    Inf 
1093.01/1093.31	c  1059s|  1080k|448284 |     0 |   0.0 |1296M|  77 |   - |1598 |  12k|   0 |   0 |   0 | 164k|   0 | 0.000000e+00 |      --      |    Inf 
1107.50/1107.87	c  1073s|  1090k|450848 |     0 |   0.0 |1306M|  77 |   - |1598 |  12k|   0 |   0 |   0 | 167k|   0 | 0.000000e+00 |      --      |    Inf 
1121.99/1122.33	c  1088s|  1100k|453496 |     0 |   0.0 |1317M|  77 |   - |1598 |  13k|   0 |   0 |   0 | 169k|   0 | 0.000000e+00 |      --      |    Inf 
1136.69/1137.04	c  1102s|  1110k|456198 |     0 |   0.0 |1327M|  77 |   - |1598 |  13k|   0 |   0 |   0 | 172k|   0 | 0.000000e+00 |      --      |    Inf 
1151.99/1152.38	c  1117s|  1120k|458356 |     0 |   0.0 |1337M|  77 |   - |1598 |  13k|   0 |   0 |   0 | 174k|   0 | 0.000000e+00 |      --      |    Inf 
1168.19/1168.50	c  1133s|  1130k|460139 |     0 |   0.0 |1347M|  77 |   - |1598 |  13k|   0 |   0 |   0 | 177k|   0 | 0.000000e+00 |      --      |    Inf 
1184.08/1184.42	c  1148s|  1140k|462125 |     0 |   0.0 |1357M|  77 |   - |1598 |  13k|   0 |   0 |   0 | 180k|   0 | 0.000000e+00 |      --      |    Inf 
1187.38/1187.78	c (node 1142033) switching to memory saving mode (mem: 1296.0M/1620.0M)
1197.38/1197.75	c  1161s|  1150k|461778 |     0 |   0.0 |1356M|  77 |   - |1598 |  17k|   0 |   0 |   0 | 185k|   0 | 0.000000e+00 |      --      |    Inf 
1211.18/1211.56	c  1175s|  1160k|461151 |     0 |   0.0 |1352M|  77 |   - |1598 |  19k|   0 |   0 |   0 | 189k|   0 | 0.000000e+00 |      --      |    Inf 
1224.37/1224.78	c  1188s|  1170k|461018 |     0 |   0.0 |1352M|  77 |   - |1598 |  21k|   0 |   0 |   0 | 193k|   0 | 0.000000e+00 |      --      |    Inf 
1236.56/1236.93	c  1199s|  1180k|460993 |     0 |   0.0 |1353M|  77 |   - |1598 |  22k|   0 |   0 |   0 | 197k|   0 | 0.000000e+00 |      --      |    Inf 
1249.36/1249.73	c  1212s|  1190k|460947 |     0 |   0.0 |1353M|  77 |   - |1598 |  23k|   0 |   0 |   0 | 199k|   0 | 0.000000e+00 |      --      |    Inf 
1265.16/1265.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1265.16/1265.58	c  1227s|  1200k|460921 |     0 |   0.0 |1354M|  77 |   - |1598 |  25k|   0 |   0 |   0 | 203k|   0 | 0.000000e+00 |      --      |    Inf 
1282.56/1282.92	c  1244s|  1210k|460838 |     0 |   0.0 |1354M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 206k|   0 | 0.000000e+00 |      --      |    Inf 
1297.66/1298.07	c  1259s|  1220k|460805 |     0 |   0.0 |1354M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 209k|   0 | 0.000000e+00 |      --      |    Inf 
1311.96/1312.37	c  1273s|  1230k|460787 |     0 |   0.0 |1354M|  77 |   - |1598 |  25k|   0 |   0 |   0 | 211k|   0 | 0.000000e+00 |      --      |    Inf 
1326.84/1327.23	c  1288s|  1240k|460772 |     0 |   0.0 |1355M|  77 |   - |1598 |  25k|   0 |   0 |   0 | 214k|   0 | 0.000000e+00 |      --      |    Inf 
1344.03/1344.40	c  1305s|  1250k|460686 |     0 |   0.0 |1354M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 217k|   0 | 0.000000e+00 |      --      |    Inf 
1359.33/1359.70	c  1320s|  1260k|460673 |     0 |   0.0 |1354M|  77 |   - |1598 |  25k|   0 |   0 |   0 | 220k|   0 | 0.000000e+00 |      --      |    Inf 
1375.82/1376.23	c  1336s|  1270k|460664 |     0 |   0.0 |1355M|  77 |   - |1598 |  26k|   0 |   0 |   0 | 223k|   0 | 0.000000e+00 |      --      |    Inf 
1392.23/1392.67	c  1352s|  1280k|460637 |     0 |   0.0 |1355M|  77 |   - |1598 |  26k|   0 |   0 |   0 | 227k|   0 | 0.000000e+00 |      --      |    Inf 
1407.32/1407.74	c  1367s|  1290k|460360 |     0 |   0.0 |1350M|  77 |   - |1598 |  23k|   0 |   0 |   0 | 231k|   0 | 0.000000e+00 |      --      |    Inf 
1419.22/1419.68	c  1379s|  1300k|460339 |     0 |   0.0 |1350M|  77 |   - |1598 |  23k|   0 |   0 |   0 | 233k|   0 | 0.000000e+00 |      --      |    Inf 
1432.72/1433.14	c  1392s|  1310k|460319 |     0 |   0.0 |1350M|  77 |   - |1598 |  23k|   0 |   0 |   0 | 236k|   0 | 0.000000e+00 |      --      |    Inf 
1446.81/1447.27	c  1406s|  1320k|460167 |     0 |   0.0 |1348M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 239k|   0 | 0.000000e+00 |      --      |    Inf 
1462.41/1462.80	c  1421s|  1330k|460040 |     0 |   0.0 |1347M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 242k|   0 | 0.000000e+00 |      --      |    Inf 
1477.50/1477.96	c  1436s|  1340k|460019 |     0 |   0.0 |1347M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 245k|   0 | 0.000000e+00 |      --      |    Inf 
1491.90/1492.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1491.90/1492.37	c  1450s|  1350k|460013 |     0 |   0.0 |1347M|  77 |   - |1598 |  25k|   0 |   0 |   0 | 247k|   0 | 0.000000e+00 |      --      |    Inf 
1506.09/1506.52	c  1464s|  1360k|460008 |     0 |   0.0 |1347M|  77 |   - |1598 |  25k|   0 |   0 |   0 | 250k|   0 | 0.000000e+00 |      --      |    Inf 
1521.19/1521.65	c  1479s|  1370k|459990 |     0 |   0.0 |1347M|  77 |   - |1598 |  25k|   0 |   0 |   0 | 253k|   0 | 0.000000e+00 |      --      |    Inf 
1537.59/1538.04	c  1495s|  1380k|459964 |     0 |   0.0 |1347M|  77 |   - |1598 |  25k|   0 |   0 |   0 | 256k|   0 | 0.000000e+00 |      --      |    Inf 
1552.47/1552.95	c  1509s|  1390k|459863 |     0 |   0.0 |1345M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 258k|   0 | 0.000000e+00 |      --      |    Inf 
1565.57/1566.07	c  1522s|  1400k|459840 |     0 |   0.0 |1345M|  77 |   - |1598 |  23k|   0 |   0 |   0 | 260k|   0 | 0.000000e+00 |      --      |    Inf 
1578.16/1578.60	c  1534s|  1410k|459828 |     0 |   0.0 |1345M|  77 |   - |1598 |  23k|   0 |   0 |   0 | 262k|   0 | 0.000000e+00 |      --      |    Inf 
1590.96/1591.43	c  1547s|  1420k|459818 |     0 |   0.0 |1344M|  77 |   - |1598 |  22k|   0 |   0 |   0 | 265k|   0 | 0.000000e+00 |      --      |    Inf 
1604.56/1605.00	c  1560s|  1430k|459810 |     0 |   0.0 |1345M|  77 |   - |1598 |  23k|   0 |   0 |   0 | 268k|   0 | 0.000000e+00 |      --      |    Inf 
1617.86/1618.39	c  1573s|  1440k|459803 |     0 |   0.0 |1345M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 270k|   0 | 0.000000e+00 |      --      |    Inf 
1630.36/1630.89	c  1586s|  1450k|459805 |     0 |   0.0 |1345M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 272k|   0 | 0.000000e+00 |      --      |    Inf 
1644.44/1644.91	c  1599s|  1460k|459788 |     0 |   0.0 |1345M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 275k|   0 | 0.000000e+00 |      --      |    Inf 
1658.84/1659.37	c  1614s|  1470k|459779 |     0 |   0.0 |1346M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 277k|   0 | 0.000000e+00 |      --      |    Inf 
1672.65/1673.17	c  1627s|  1480k|459756 |     0 |   0.0 |1345M|  77 |   - |1598 |  23k|   0 |   0 |   0 | 279k|   0 | 0.000000e+00 |      --      |    Inf 
1687.34/1687.86	c  1642s|  1490k|459757 |     0 |   0.0 |1345M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 281k|   0 | 0.000000e+00 |      --      |    Inf 
1701.33/1701.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1701.33/1701.86	c  1655s|  1500k|459751 |     0 |   0.0 |1346M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 283k|   0 | 0.000000e+00 |      --      |    Inf 
1717.53/1718.04	c  1671s|  1510k|459744 |     0 |   0.0 |1346M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 286k|   0 | 0.000000e+00 |      --      |    Inf 
1732.82/1733.34	c  1686s|  1520k|459740 |     0 |   0.0 |1346M|  77 |   - |1598 |  25k|   0 |   0 |   0 | 288k|   0 | 0.000000e+00 |      --      |    Inf 
1749.63/1750.19	c  1703s|  1530k|459737 |     0 |   0.0 |1346M|  77 |   - |1598 |  25k|   0 |   0 |   0 | 291k|   0 | 0.000000e+00 |      --      |    Inf 
1768.12/1768.66	c  1721s|  1540k|459725 |     0 |   0.0 |1346M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 293k|   0 | 0.000000e+00 |      --      |    Inf 
1783.31/1783.84	c  1736s|  1550k|459712 |     0 |   0.0 |1346M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 295k|   0 | 0.000000e+00 |      --      |    Inf 
1798.41/1798.97	c  1751s|  1560k|459690 |     0 |   0.0 |1345M|  77 |   - |1598 |  24k|   0 |   0 |   0 | 297k|   0 | 0.000000e+00 |      --      |    Inf 
1800.01/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50	c 
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time (sec) : 1752.15
1800.01/1800.50	c Solving Nodes      : 1561208
1800.01/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50	c Dual Bound         : +0.00000000000000e+00
1800.01/1800.50	c Gap                : infinite
1800.01/1800.50	s UNKNOWN
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time       :    1752.15
1800.01/1800.50	c Original Problem   :
1800.01/1800.50	c   Problem name     : HOME/instance-2663502-1276684510.opb
1800.01/1800.50	c   Variables        : 1598 (1598 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50	c   Constraints      : 1650 initial, 1650 maximal
1800.01/1800.50	c Presolved Problem  :
1800.01/1800.50	c   Problem name     : t_HOME/instance-2663502-1276684510.opb
1800.01/1800.50	c   Variables        : 1598 (1598 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50	c   Constraints      : 1650 initial, 27035 maximal
1800.01/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   and              :       0.18          0          0          0          0          0          0          0          0
1800.01/1800.50	c   linear           :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.50	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.50	c   knapsack         :          1          0    3779719          0    1026048      53154    3406067          0          0          0
1800.01/1800.50	c   setppc           :        100          0    4074112          0    1032452      10222     260714          0          0          0
1800.01/1800.50	c   and              :       1498          0    4063890          0    1032452        103   70262437          0          0          0
1800.01/1800.50	c   linear           :          1          0    4056050          0    1032452     460468    1637218          0          0          0
1800.01/1800.50	c   logicor          :         50+         0    1264442          0    1032376      46857    6366079          0          0          0
1800.01/1800.50	c   countsols        :          0          0          0          0    1032452          0          0          0          0          0
1800.01/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.50	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.50	c   knapsack         :      71.86       0.00      67.62       0.00       4.24
1800.01/1800.50	c   setppc           :      91.28       0.00       9.96       0.00      81.32
1800.01/1800.50	c   and              :     235.45       0.00     194.43       0.00      41.02
1800.01/1800.50	c   linear           :     162.99       0.00     162.01       0.00       0.98
1800.01/1800.50	c   logicor          :     460.26       0.00     456.70       0.00       3.56
1800.01/1800.50	c   countsols        :       0.39       0.00       0.00       0.00       0.39
1800.01/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.50	c   vbounds          :       2.44          1          0          0
1800.01/1800.50	c   rootredcost      :       2.38          0          0          0
1800.01/1800.50	c   pseudoobj        :       1.80          0          0          0
1800.01/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.50	c   propagation      :     109.11     570804     263711    1917519       58.7         51       60.0          -
1800.01/1800.50	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.50	c   applied globally :          -          -          -     297969       51.1          -          -          -
1800.01/1800.50	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.50	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.01/1800.50	c   redcost          :       0.00          0          0          0          0          0
1800.01/1800.50	c   impliedbounds    :       0.00          0          0          0          0          0
1800.01/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.50	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.50	c   gomory           :       0.00          0          0          0          0          0
1800.01/1800.50	c   strongcg         :       0.00          0          0          0          0          0
1800.01/1800.50	c   cmir             :       0.00          0          0          0          0          0
1800.01/1800.50	c   flowcover        :       0.00          0          0          0          0          0
1800.01/1800.50	c   clique           :       0.00          0          0          0          0          0
1800.01/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.50	c   mcf              :       0.00          0          0          0          0          0
1800.01/1800.50	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.50	c Pricers            :       Time      Calls       Vars
1800.01/1800.50	c   problem variables:       0.00          0          0
1800.01/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.50	c   relpscost        :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   inference        :     111.76    1032452          0          0          0          0    2064904
1800.01/1800.50	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.50	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.50	c   LP solutions     :       0.00          -          0
1800.01/1800.50	c   pseudo solutions :       0.00          -          0
1800.01/1800.50	c   trivial          :       0.00          1          0
1800.01/1800.50	c   simplerounding   :       0.00          0          0
1800.01/1800.50	c   zirounding       :       0.00          0          0
1800.01/1800.50	c   rounding         :       0.00          0          0
1800.01/1800.50	c   shifting         :       0.00          0          0
1800.01/1800.50	c   intshifting      :       0.00          0          0
1800.01/1800.50	c   oneopt           :       0.00          0          0
1800.01/1800.50	c   twoopt           :       0.00          0          0
1800.01/1800.50	c   fixandinfer      :       0.00          0          0
1800.01/1800.50	c   feaspump         :       0.00          0          0
1800.01/1800.50	c   coefdiving       :       0.00          0          0
1800.01/1800.50	c   pscostdiving     :       0.00          0          0
1800.01/1800.50	c   fracdiving       :       0.00          0          0
1800.01/1800.50	c   veclendiving     :       0.00          0          0
1800.01/1800.50	c   intdiving        :       0.00          0          0
1800.01/1800.50	c   actconsdiving    :       0.00          0          0
1800.01/1800.50	c   objpscostdiving  :       0.00          0          0
1800.01/1800.50	c   rootsoldiving    :       0.00          0          0
1800.01/1800.50	c   linesearchdiving :       0.00          0          0
1800.01/1800.50	c   guideddiving     :       0.00          0          0
1800.01/1800.50	c   octane           :       0.00          0          0
1800.01/1800.50	c   rens             :       0.00          0          0
1800.01/1800.50	c   rins             :       0.00          0          0
1800.01/1800.50	c   localbranching   :       0.00          0          0
1800.01/1800.50	c   mutation         :       0.00          0          0
1800.01/1800.50	c   crossover        :       0.00          0          0
1800.01/1800.50	c   dins             :       0.00          0          0
1800.01/1800.50	c   undercover       :       0.00          0          0
1800.01/1800.50	c   nlp              :       0.00          0          0
1800.01/1800.50	c   trysol           :       0.00          0          0
1800.01/1800.50	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.50	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.50	c   dual LP          :       0.00          0          0       0.00          -
1800.01/1800.50	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.50	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.50	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.50	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.50	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.50	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.50	c B&B Tree           :
1800.01/1800.50	c   number of runs   :          1
1800.01/1800.50	c   nodes            :    1561208
1800.01/1800.50	c   nodes (total)    :    1561208
1800.01/1800.50	c   nodes left       :     459689
1800.01/1800.50	c   max depth        :         77
1800.01/1800.50	c   max depth (total):         77
1800.01/1800.50	c   backtracks       :     130363 (8.4%)
1800.01/1800.50	c   delayed cutoffs  :      44008
1800.01/1800.50	c   repropagations   :     652890 (4932670 domain reductions, 42048 cutoffs)
1800.01/1800.50	c   avg switch length:       4.13
1800.01/1800.50	c   switching time   :     453.13
1800.01/1800.50	c Solution           :
1800.01/1800.50	c   Solutions found  :          0 (0 improvements)
1800.01/1800.50	c   Primal Bound     :          -
1800.01/1800.50	c   Dual Bound       : +0.00000000000000e+00
1800.01/1800.50	c   Gap              :   infinite
1800.01/1800.50	c   Root Dual Bound  : +0.00000000000000e+00
1800.01/1800.50	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-2663502-1276684510/watcher-2663502-1276684510 -o /tmp/evaluation-result-2663502-1276684510/solver-2663502-1276684510 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663502-1276684510.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.00 1.00 1.00 3/106 17136
/proc/meminfo: memFree=1787216/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=6584 CPUtime=0
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 969 0 0 0 0 0 0 0 25 0 1 0 9745980 6742016 891 1992294400 4194304 7136930 140733865596672 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17136/statm: 1646 901 254 719 0 925 0

[startup+0.0172561 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17136
/proc/meminfo: memFree=1787216/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=9076 CPUtime=0
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 1732 0 0 0 0 0 0 0 25 0 1 0 9745980 9293824 1654 1992294400 4194304 7136930 140733865596672 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17136/statm: 2269 1665 269 719 0 1548 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9076

[startup+0.101264 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17136
/proc/meminfo: memFree=1787216/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=15020 CPUtime=0.09
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 3644 0 0 0 5 4 0 0 25 0 1 0 9745980 15380480 2955 1992294400 4194304 7136930 140733865596672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 3755 2955 327 719 0 3034 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15020

[startup+0.301285 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17136
/proc/meminfo: memFree=1787216/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=16448 CPUtime=0.29
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 5567 0 0 0 15 14 0 0 25 0 1 0 9745980 16842752 3336 1992294400 4194304 7136930 140733865596672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 4112 3336 361 719 0 3391 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16448

[startup+0.701328 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17136
/proc/meminfo: memFree=1787216/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=19920 CPUtime=0.69
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 6745 0 0 0 48 21 0 0 25 0 1 0 9745980 20398080 4257 1992294400 4194304 7136930 140733865596672 18446744073709551615 4740383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 4980 4257 394 719 0 4259 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19920

[startup+1.50142 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17137
/proc/meminfo: memFree=1770716/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=23000 CPUtime=1.49
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 7486 0 0 0 123 26 0 0 25 0 1 0 9745980 23552000 4998 1992294400 4194304 7136930 140733865596672 18446744073709551615 4660898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 5750 4998 394 719 0 5029 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23000

[startup+3.10059 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17137
/proc/meminfo: memFree=1765632/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=29088 CPUtime=3.09
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 8998 0 0 0 274 35 0 0 25 0 1 0 9745980 29786112 6510 1992294400 4194304 7136930 140733865596672 18446744073709551615 4653011 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 7272 6510 394 719 0 6551 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29088

[startup+6.30093 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17137
/proc/meminfo: memFree=1752860/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=42016 CPUtime=6.29
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 12134 0 0 0 582 47 0 0 25 0 1 0 9745980 43024384 9646 1992294400 4194304 7136930 140733865596672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 10504 9646 394 719 0 9783 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42016

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17137
/proc/meminfo: memFree=1735624/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=58372 CPUtime=12.69
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 16071 0 0 0 1189 80 0 0 25 0 1 0 9745980 59772928 13583 1992294400 4194304 7136930 140733865596672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 14593 13583 394 719 0 13872 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58372

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17137
/proc/meminfo: memFree=1701524/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=91932 CPUtime=25.49
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 24195 0 0 0 2416 133 0 0 25 0 1 0 9745980 94138368 21707 1992294400 4194304 7136930 140733865596672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 22983 21707 394 719 0 22262 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 91932

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17137
/proc/meminfo: memFree=1647584/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=147968 CPUtime=51.08
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 37824 0 0 0 4883 225 0 0 25 0 1 0 9745980 151519232 35336 1992294400 4194304 7136930 140733865596672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 36992 35336 394 719 0 36271 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 147968

[startup+102.308 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 17139
/proc/meminfo: memFree=1571820/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=224032 CPUtime=102.28
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 56450 0 0 0 9828 400 0 0 25 0 1 0 9745980 229408768 53962 1992294400 4194304 7136930 140733865596672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 56008 53962 394 719 0 55287 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 224032

[startup+162.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 17141
/proc/meminfo: memFree=1499156/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=303224 CPUtime=162.25
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 74605 0 0 0 15646 579 0 0 25 0 1 0 9745980 310501376 72117 1992294400 4194304 7136930 140733865596672 18446744073709551615 4209642 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 75806 72117 394 719 0 75085 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 303224

[startup+222.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 17143
/proc/meminfo: memFree=1433684/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=370280 CPUtime=222.23
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 90973 0 0 0 21451 772 0 0 25 0 1 0 9745980 379166720 88485 1992294400 4194304 7136930 140733865596672 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 92570 88485 394 719 0 91849 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 370280

[startup+282.302 s]
/proc/loadavg: 1.12 1.04 1.01 2/107 17143
/proc/meminfo: memFree=1315264/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=493384 CPUtime=282.22
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 120603 0 0 0 27227 995 0 0 25 0 1 0 9745980 505225216 118115 1992294400 4194304 7136930 140733865596672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 123346 118115 394 719 0 122625 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 493384

[startup+342.301 s]
/proc/loadavg: 1.12 1.05 1.00 2/107 17145
/proc/meminfo: memFree=1208872/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=601456 CPUtime=342.2
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 147295 0 0 0 33005 1215 0 0 25 0 1 0 9745980 615890944 144807 1992294400 4194304 7136930 140733865596672 18446744073709551615 5901875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 150364 144807 394 719 0 149643 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 601456

[startup+402.302 s]
/proc/loadavg: 1.11 1.05 1.00 2/107 17147
/proc/meminfo: memFree=1116740/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=697640 CPUtime=402.18
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 169930 0 0 0 38796 1422 0 0 25 0 1 0 9745980 714383360 167442 1992294400 4194304 7136930 140733865596672 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 174410 167442 394 719 0 173689 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 697640

[startup+462.301 s]
/proc/loadavg: 1.10 1.06 1.00 2/107 17149
/proc/meminfo: memFree=1019028/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=799812 CPUtime=462.17
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 194238 0 0 0 44581 1636 0 0 25 0 1 0 9745980 819007488 191750 1992294400 4194304 7136930 140733865596672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 199953 191750 394 719 0 199232 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 799812

[startup+522.302 s]
/proc/loadavg: 1.09 1.06 1.00 2/107 17151
/proc/meminfo: memFree=934336/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=885476 CPUtime=522.15
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 215617 0 0 0 50381 1834 0 0 25 0 1 0 9745980 906727424 213129 1992294400 4194304 7136930 140733865596672 18446744073709551615 4210294 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 221369 213129 394 719 0 220648 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 885476

[startup+582.301 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 17151
/proc/meminfo: memFree=857952/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=962244 CPUtime=582.14
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 234420 0 0 0 56187 2027 0 0 25 0 1 0 9745980 985337856 231932 1992294400 4194304 7136930 140733865596672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 240561 231932 394 719 0 239840 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 962244

[startup+642.302 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 17153
/proc/meminfo: memFree=789628/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1031816 CPUtime=642.13
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 251446 0 0 0 62000 2213 0 0 25 0 1 0 9745980 1056579584 248958 1992294400 4194304 7136930 140733865596672 18446744073709551615 5126149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 257954 248958 394 719 0 257233 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1031816

[startup+702.301 s]

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

/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 337522 0 0 0 97029 3174 0 0 25 0 1 0 9745980 1425666048 335034 1992294400 4194304 7136930 140733865596672 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 348063 335034 394 719 0 347342 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1392252

[startup+1062.3 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 17165
/proc/meminfo: memFree=401880/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1435476 CPUtime=1062.01
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 348062 0 0 0 102889 3312 0 0 25 0 1 0 9745980 1469927424 345574 1992294400 4194304 7136930 140733865596672 18446744073709551615 4781144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 358869 345574 394 719 0 358148 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1435476

[startup+1122.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 17167
/proc/meminfo: memFree=365796/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1469620 CPUtime=1121.99
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 357035 0 0 0 108749 3450 0 0 25 0 1 0 9745980 1504890880 354547 1992294400 4194304 7136930 140733865596672 18446744073709551615 4223894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 367405 354547 394 719 0 366684 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1469620

[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 17167
/proc/meminfo: memFree=328472/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1512976 CPUtime=1181.98
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 366451 0 0 0 114611 3587 0 0 25 0 1 0 9745980 1549287424 363963 1992294400 4194304 7136930 140733865596672 18446744073709551615 5957371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 378244 363963 394 719 0 377523 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1512976

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 17169
/proc/meminfo: memFree=316196/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1524028 CPUtime=1241.96
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 371157 0 0 0 120463 3733 0 0 25 0 1 0 9745980 1560604672 366861 1992294400 4194304 7136930 140733865596672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 381007 366861 394 719 0 380286 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1524028

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 17171
/proc/meminfo: memFree=312352/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1527980 CPUtime=1301.96
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 372106 0 0 0 126349 3847 0 0 25 0 1 0 9745980 1564651520 367810 1992294400 4194304 7136930 140733865596672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 381995 367810 394 719 0 381274 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1527980

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17173
/proc/meminfo: memFree=311484/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1528784 CPUtime=1361.93
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 372327 0 0 0 132236 3957 0 0 25 0 1 0 9745980 1565474816 368031 1992294400 4194304 7136930 140733865596672 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 382196 368031 394 719 0 381475 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1528784

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17175
/proc/meminfo: memFree=310244/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1530800 CPUtime=1421.93
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 372621 0 0 0 138117 4076 0 0 25 0 1 0 9745980 1567539200 368325 1992294400 4194304 7136930 140733865596672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 382700 368325 394 719 0 381979 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1530800

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17175
/proc/meminfo: memFree=309996/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1531028 CPUtime=1481.9
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 372676 0 0 0 143998 4192 0 0 25 0 1 0 9745980 1567772672 368380 1992294400 4194304 7136930 140733865596672 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 382757 368380 394 719 0 382036 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1531028

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17177
/proc/meminfo: memFree=309872/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1531028 CPUtime=1541.89
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 372676 0 0 0 149888 4301 0 0 25 0 1 0 9745980 1567772672 368380 1992294400 4194304 7136930 140733865596672 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 382757 368380 394 719 0 382036 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1531028

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17188
/proc/meminfo: memFree=309500/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1531028 CPUtime=1601.86
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 372677 0 0 0 155765 4421 0 0 25 0 1 0 9745980 1567772672 368381 1992294400 4194304 7136930 140733865596672 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 382757 368381 394 719 0 382036 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1531028

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17190
/proc/meminfo: memFree=309500/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1531028 CPUtime=1661.84
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 372689 0 0 0 161646 4538 0 0 25 0 1 0 9745980 1567772672 368393 1992294400 4194304 7136930 140733865596672 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 382757 368393 394 719 0 382036 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1531028

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17192
/proc/meminfo: memFree=309128/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1531768 CPUtime=1721.83
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 372803 0 0 0 167533 4650 0 0 25 0 1 0 9745980 1568530432 368507 1992294400 4194304 7136930 140733865596672 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 382942 368507 394 719 0 382221 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1531768

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17192
/proc/meminfo: memFree=308880/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1531768 CPUtime=1781.81
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 372804 0 0 0 173431 4750 0 0 25 0 1 0 9745980 1568530432 368508 1992294400 4194304 7136930 140733865596672 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 382942 368508 394 719 0 382221 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1531768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17194
/proc/meminfo: memFree=308136/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1532524 CPUtime=1800.01
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 372992 0 0 0 175216 4785 0 0 25 0 1 0 9745980 1569304576 368696 1992294400 4194304 7136930 140733865596672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17136/statm: 383131 368696 394 719 0 382410 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1532524

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17136

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17195
/proc/meminfo: memFree=308004/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1532596 CPUtime=1800.91
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 373012 0 0 0 175306 4785 0 0 25 0 1 0 9745980 1569378304 368716 1992294400 4194304 7136930 140733865596672 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17136/statm: 383149 368716 399 719 0 382428 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 1532596

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17195
/proc/meminfo: memFree=308004/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=1531572 CPUtime=1801.71
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4202496 373012 0 0 0 175386 4785 0 0 25 0 1 0 9745980 1568329728 368460 1992294400 4194304 7136930 140733865596672 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17136/statm: 382893 368460 399 719 0 382172 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 1531572

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17195
/proc/meminfo: memFree=308004/2059040 swapFree=4152912/4192956
[pid=17136] ppid=17134 vsize=0 CPUtime=1802.1
/proc/17136/stat : 17136 (pbscip.linux.x8) R 17134 17136 16420 0 -1 4203524 373012 0 0 0 175416 4794 0 0 25 0 1 0 9745980 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/17136/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.65
CPU time (s): 1802.16
CPU user time (s): 1754.17
CPU system time (s): 47.9947
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1532596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.17
system time used= 47.9947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373012
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= 3
involuntary context switches= 4549

runsolver used 3.04054 second user time and 8.45771 second system time

The end

Begin job on node035 at 2010-06-16 12:35:10
IDJOB=2663502
IDBENCH=48380
IDSOLVER=1167
FILE ID=node035/2663502-1276684510
PBS_JOBID= 11172547
Free space on /tmp= 62460 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_25_1_15.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-2663502-1276684510/watcher-2663502-1276684510 -o /tmp/evaluation-result-2663502-1276684510/solver-2663502-1276684510 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663502-1276684510.opb -t 1800 -m 1800

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

MD5SUM BENCH= ebbe5bb724184b6646f7cf4470989c3e
RANDOM SEED=126840044

node035.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.219
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.43
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.219
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1787744 kB
Buffers:         61572 kB
Cached:         110800 kB
SwapCached:       2304 kB
Active:          93324 kB
Inactive:       101004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1787744 kB
SwapTotal:     4192956 kB
SwapFree:      4152912 kB
Dirty:            3296 kB
Writeback:           0 kB
AnonPages:       19948 kB
Mapped:          13804 kB
Slab:            55076 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181380 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= 62456 MiB
End job on node035 at 2010-06-16 13:05:13