0.09/0.19	c SCIP version 1.1.0.7
0.09/0.19	c LP-Solver SoPlex 1.4.1
0.09/0.19	c user parameter file <scip.set> not found - using default parameters
0.09/0.19	c read problem <HOME/instance-1884057-1245254148.opb>
0.09/0.19	c original problem has 1472 variables (1472 bin, 0 int, 0 impl, 0 cont) and 7737 constraints
0.19/0.24	c No objective function, only one solution is needed.
0.19/0.24	c start presolving problem
0.19/0.24	c presolving:
0.29/0.30	c (round 1) 39 del vars, 272 del conss, 31 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 816 impls, 0 clqs
0.29/0.31	c (round 2) 42 del vars, 375 del conss, 34 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1180 impls, 0 clqs
2.49/2.57	c (round 3) 42 del vars, 2252 del conss, 34 chg bounds, 306 chg sides, 0 chg coeffs, 6161 upgd conss, 1180 impls, 0 clqs
2.49/2.58	c presolving (4 rounds):
2.49/2.58	c  42 deleted vars, 2252 deleted constraints, 34 tightened bounds, 0 added holes, 306 changed sides, 0 changed coefficients
2.49/2.58	c  1180 implications, 0 cliques
2.49/2.58	c presolved problem has 1430 variables (1430 bin, 0 int, 0 impl, 0 cont) and 5485 constraints
2.49/2.58	c    5485 constraints of type <logicor>
2.49/2.58	c transformed objective value is always integral (scale: 1)
2.49/2.58	c Presolving Time: 2.30
2.49/2.58	c PURESAT
2.49/2.58	c -----------------------------------------------------------------------------------------------
2.49/2.58	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 0]
2.49/2.58	c separating/flowcover/freq = c -1
2.49/2.58	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 0]
2.49/2.58	c separating/cmir/freq = c -1
2.49/2.58	c # additional number of allowed LP iterations
2.49/2.58	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.58	c heuristics/veclendiving/maxlpiterofs = c 1500
2.49/2.58	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.58	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.49/2.58	c heuristics/veclendiving/maxlpiterquot = c 0.075
2.49/2.58	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.58	c heuristics/veclendiving/freq = c -1
2.49/2.58	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 1]
2.49/2.58	c heuristics/simplerounding/freq = c -1
2.49/2.58	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.58	c heuristics/shifting/freq = c -1
2.49/2.58	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 1]
2.49/2.58	c heuristics/rounding/freq = c -1
2.49/2.58	c # additional number of allowed LP iterations
2.49/2.58	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.58	c heuristics/rootsoldiving/maxlpiterofs = c 1500
2.49/2.58	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.58	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.49/2.58	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
2.49/2.58	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 20]
2.49/2.58	c heuristics/rootsoldiving/freq = c -1
2.49/2.58	c # number of nodes added to the contingent of the total nodes
2.49/2.58	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.49/2.58	c heuristics/rens/nodesofs = c 2000
2.49/2.58	c # minimum percentage of integer variables that have to be fixable 
2.49/2.58	c # [type: real, range: [0,1], default: 0.5]
2.49/2.58	c heuristics/rens/minfixingrate = c 0.3
2.49/2.58	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 0]
2.49/2.58	c heuristics/rens/freq = c -1
2.49/2.58	c # additional number of allowed LP iterations
2.49/2.58	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.58	c heuristics/pscostdiving/maxlpiterofs = c 1500
2.49/2.58	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.58	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.49/2.58	c heuristics/pscostdiving/maxlpiterquot = c 0.075
2.49/2.58	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.58	c heuristics/pscostdiving/freq = c -1
2.49/2.58	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 1]
2.49/2.58	c heuristics/oneopt/freq = c -1
2.49/2.58	c # additional number of allowed LP iterations
2.49/2.58	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.58	c heuristics/objpscostdiving/maxlpiterofs = c 1500
2.49/2.58	c # maximal fraction of diving LP iterations compared to total iteration number
2.49/2.58	c # [type: real, range: [0,1], default: 0.01]
2.49/2.58	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
2.49/2.58	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 20]
2.49/2.58	c heuristics/objpscostdiving/freq = c -1
2.49/2.58	c # additional number of allowed LP iterations
2.49/2.58	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.58	c heuristics/linesearchdiving/maxlpiterofs = c 1500
2.49/2.58	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.58	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.49/2.58	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
2.49/2.58	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.58	c heuristics/linesearchdiving/freq = c -1
2.49/2.58	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.58	c heuristics/intshifting/freq = c -1
2.49/2.58	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.58	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.49/2.58	c heuristics/intdiving/maxlpiterquot = c 0.075
2.49/2.58	c # additional number of allowed LP iterations
2.49/2.58	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.58	c heuristics/guideddiving/maxlpiterofs = c 1500
2.49/2.58	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.58	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.49/2.58	c heuristics/guideddiving/maxlpiterquot = c 0.075
2.49/2.58	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.58	c heuristics/guideddiving/freq = c -1
2.49/2.58	c # additional number of allowed LP iterations
2.49/2.58	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.58	c heuristics/fracdiving/maxlpiterofs = c 1500
2.49/2.58	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.58	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.49/2.58	c heuristics/fracdiving/maxlpiterquot = c 0.075
2.49/2.58	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.58	c heuristics/fracdiving/freq = c -1
2.49/2.58	c # additional number of allowed LP iterations
2.49/2.58	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.58	c heuristics/feaspump/maxlpiterofs = c 2000
2.49/2.58	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 20]
2.49/2.58	c heuristics/feaspump/freq = c -1
2.49/2.58	c # minimum percentage of integer variables that have to be fixed 
2.49/2.58	c # [type: real, range: [0,1], default: 0.666]
2.49/2.58	c heuristics/crossover/minfixingrate = c 0.5
2.49/2.58	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.49/2.58	c # [type: real, range: [0,1], default: 0.1]
2.49/2.58	c heuristics/crossover/nodesquot = c 0.15
2.49/2.58	c # number of nodes without incumbent change that heuristic should wait
2.49/2.58	c # [type: longint, range: [0,9223372036854775807], default: 200]
2.49/2.58	c heuristics/crossover/nwaitingnodes = c 100
2.49/2.58	c # number of nodes added to the contingent of the total nodes
2.49/2.58	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.49/2.58	c heuristics/crossover/nodesofs = c 750
2.49/2.58	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 30]
2.49/2.58	c heuristics/crossover/freq = c -1
2.49/2.58	c # additional number of allowed LP iterations
2.49/2.58	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.58	c heuristics/coefdiving/maxlpiterofs = c 1500
2.49/2.58	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.58	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.49/2.58	c heuristics/coefdiving/maxlpiterquot = c 0.075
2.49/2.58	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.58	c heuristics/coefdiving/freq = c -1
2.49/2.58	c # priority of node selection rule <dfs> in standard mode
2.49/2.58	c # [type: int, range: [-536870912,536870911], default: 0]
2.49/2.58	c nodeselection/dfs/stdpriority = c 1000000
2.49/2.58	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.58	c presolving/probing/maxrounds = c 0
2.49/2.58	c # should presolving try to simplify knapsacks
2.49/2.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.58	c constraints/knapsack/simplifyinequalities = c TRUE
2.49/2.58	c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.49/2.58	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.49/2.58	c constraints/knapsack/disaggregation = c FALSE
2.49/2.58	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.58	c constraints/knapsack/maxnumcardlift = c 0
2.49/2.58	c # should presolving try to simplify inequalities
2.49/2.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.58	c constraints/linear/simplifyinequalities = c TRUE
2.49/2.58	c # maximal number of separation rounds in the root node (-1: unlimited)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.58	c separating/maxroundsroot = c 5
2.49/2.58	c # maximal number of separation rounds per node (-1: unlimited)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 5]
2.49/2.58	c separating/maxrounds = c 1
2.49/2.58	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
2.49/2.58	c # [type: char, range: {lafpsqd}, default: l]
2.49/2.58	c lp/pricing = c a
2.49/2.58	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 1]
2.49/2.58	c lp/solvefreq = c 0
2.49/2.58	c # solving stops, if the given number of solutions were found (-1: no limit)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.58	c limits/solutions = c 1
2.49/2.58	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.49/2.58	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.58	c limits/memory = c 1620
2.49/2.58	c # maximal time in seconds to run
2.49/2.58	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.58	c limits/time = c 1791
2.49/2.58	c # frequency for displaying node information lines
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 100]
2.49/2.58	c display/freq = c 10000
2.49/2.58	c # should enforcement of pseudo solution be disabled?
2.49/2.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.58	c constraints/disableenfops = c TRUE
2.49/2.58	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: 0]
2.49/2.58	c constraints/agelimit = c 1
2.49/2.58	c # should binary conflicts be preferred?
2.49/2.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.58	c conflict/preferbinary = c TRUE
2.49/2.58	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.49/2.58	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.58	c conflict/interconss = c 0
2.49/2.58	c -----------------------------------------------------------------------------------------------
2.49/2.58	c start solving problem
2.49/2.58	c 
2.59/2.69	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.59/2.69	c   2.4s|     1 |     0 |   178 |  14M|   0 | 129 |1430 |5485 |5485 |1430 |5485 |   0 |   0 |   0 | 8.575000e+01 |      --      |    Inf 
2.99/3.04	c   2.8s|     1 |     0 |   383 |  14M|   0 | 134 |1430 |5485 |5485 |1430 |5511 |  26 |   0 |   0 | 1.019737e+02 |      --      |    Inf 
3.59/3.64	c   3.4s|     1 |     0 |   690 |  15M|   0 | 134 |1430 |5485 |5485 |1430 |5523 |  38 |   0 |   0 | 1.045814e+02 |      --      |    Inf 
4.08/4.14	c   3.9s|     1 |     0 |   877 |  17M|   0 | 140 |1430 |5485 |5485 |1430 |5535 |  50 |   0 |   0 | 1.069418e+02 |      --      |    Inf 
4.79/4.81	c   4.5s|     1 |     0 |  1053 |  19M|   0 | 145 |1430 |5485 |5485 |1430 |5546 |  61 |   0 |   0 | 1.086292e+02 |      --      |    Inf 
5.59/5.66	c   5.4s|     1 |     0 |  1436 |  21M|   0 | 140 |1430 |5485 |5485 |1430 |5556 |  71 |   0 |   0 | 1.098705e+02 |      --      |    Inf 
12.19/12.27	c  12.0s|     1 |     2 |  1436 |  21M|   0 | 140 |1430 |5485 |5485 |1430 |5556 |  71 |   0 |  39 | 1.098705e+02 |      --      |    Inf 
17.99/18.05	c  17.6s| 10000 |   515 |  1436 |  22M| 747 |   - |1430 |5670 |3041 |   0 |   0 |  71 |2839 |  39 | 1.101789e+02 |      --      |    Inf 
23.88/23.92	c  23.3s| 20000 |   315 |  1436 |  22M| 806 |   - |1430 |5603 |3521 |   0 |   0 |  71 |5514 |  39 | 1.101789e+02 |      --      |    Inf 
30.48/30.57	c  29.8s| 30000 |    67 |  1436 |  22M| 814 |   - |1430 |5788 |3775 |   0 |   0 |  71 |9375 |  39 | 1.101789e+02 |      --      |    Inf 
37.28/37.30	c  36.4s| 40000 |    70 |  1436 |  22M| 814 |   - |1430 |5504 |4200 |   0 |   0 |  71 |  13k|  39 | 1.101789e+02 |      --      |    Inf 
43.98/44.00	c  42.9s| 50000 |    65 |  1436 |  22M| 866 |   - |1430 |5600 |3701 |   0 |   0 |  71 |  17k|  39 | 1.101789e+02 |      --      |    Inf 
51.18/51.23	c  49.9s| 60000 |    64 |  1436 |  22M| 984 |   - |1430 |5628 |3623 |   0 |   0 |  71 |  21k|  39 | 1.101789e+02 |      --      |    Inf 
57.27/57.30	c  55.8s| 70000 |   524 |  1436 |  23M| 989 |   - |1430 |5680 |2608 |   0 |   0 |  71 |  24k|  39 | 1.101789e+02 |      --      |    Inf 
63.37/63.45	c  61.8s| 80000 |   699 |  1436 |  23M|1002 |   - |1430 |5687 |2636 |   0 |   0 |  71 |  27k|  39 | 1.101789e+02 |      --      |    Inf 
70.28/70.33	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
70.28/70.33	c  68.5s| 90000 |   193 |  1436 |  23M|1002 |   - |1430 |5733 |3124 |   0 |   0 |  71 |  32k|  39 | 1.101789e+02 |      --      |    Inf 
76.07/76.19	c  74.3s|100000 |    56 |  1436 |  23M|1161 |   - |1430 |5760 |3579 |   0 |   0 |  71 |  35k|  39 | 1.101789e+02 |      --      |    Inf 
83.36/83.48	c  81.4s|110000 |    55 |  1436 |  23M|1161 |   - |1430 |5858 |3556 |   0 |   0 |  71 |  40k|  39 | 1.101789e+02 |      --      |    Inf 
89.26/89.32	c  87.0s|120000 |    59 |  1436 |  23M|1161 |   - |1430 |5889 |3495 |   0 |   0 |  71 |  43k|  39 | 1.101789e+02 |      --      |    Inf 
95.36/95.48	c  93.1s|130000 |   402 |  1436 |  23M|1161 |   - |1430 |5934 |3154 |   0 |   0 |  71 |  46k|  39 | 1.101789e+02 |      --      |    Inf 
101.25/101.35	c  98.8s|140000 |    70 |  1436 |  23M|1161 |   - |1430 |5929 |4087 |   0 |   0 |  71 |  49k|  39 | 1.101789e+02 |      --      |    Inf 
108.05/108.13	c   105s|150000 |    58 |  1436 |  23M|1161 |   - |1430 |6045 |3725 |   0 |   0 |  71 |  53k|  39 | 1.101789e+02 |      --      |    Inf 
115.65/115.72	c   113s|160000 |    58 |  1436 |  23M|1161 |   - |1430 |6225 |3767 |   0 |   0 |  71 |  58k|  39 | 1.101789e+02 |      --      |    Inf 
122.86/122.95	c   120s|170000 |  1028 |  1436 |  23M|1161 |   - |1430 |6323 |2408 |   0 |   0 |  71 |  63k|  39 | 1.101789e+02 |      --      |    Inf 
129.76/129.85	c   127s|180000 |    78 |  1436 |  23M|1161 |   - |1430 |6364 |3249 |   0 |   0 |  71 |  67k|  39 | 1.101789e+02 |      --      |    Inf 
135.75/135.83	c   132s|190000 |   613 |  1436 |  23M|1161 |   - |1430 |6395 |2832 |   0 |   0 |  71 |  71k|  39 | 1.101789e+02 |      --      |    Inf 
143.35/143.43	c   140s|200000 |    63 |  1436 |  23M|1161 |   - |1430 |6434 |3703 |   0 |   0 |  71 |  75k|  39 | 1.101789e+02 |      --      |    Inf 
150.55/150.63	c   147s|210000 |    56 |  1436 |  23M|1161 |   - |1430 |6537 |3490 |   0 |   0 |  71 |  80k|  39 | 1.101789e+02 |      --      |    Inf 
156.84/156.92	c   153s|220000 |    57 |  1436 |  23M|1161 |   - |1430 |6585 |3806 |   0 |   0 |  71 |  83k|  39 | 1.101789e+02 |      --      |    Inf 
163.04/163.16	c   159s|230000 |    58 |  1436 |  23M|1161 |   - |1430 |6664 |3551 |   0 |   0 |  71 |  86k|  39 | 1.101789e+02 |      --      |    Inf 
170.45/170.59	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
170.45/170.59	c   166s|240000 |   106 |  1436 |  23M|1161 |   - |1430 |6760 |3484 |   0 |   0 |  71 |  91k|  39 | 1.101789e+02 |      --      |    Inf 
177.93/178.04	c   174s|250000 |    58 |  1436 |  23M|1161 |   - |1430 |6865 |3541 |   0 |   0 |  71 |  95k|  39 | 1.101789e+02 |      --      |    Inf 
185.34/185.40	c   181s|260000 |   598 |  1436 |  23M|1161 |   - |1430 |6858 |2727 |   0 |   0 |  71 | 100k|  39 | 1.101789e+02 |      --      |    Inf 
193.13/193.22	c   188s|270000 |   337 |  1436 |  23M|1161 |   - |1430 |6896 |3290 |   0 |   0 |  71 | 105k|  39 | 1.101789e+02 |      --      |    Inf 
198.74/198.82	c   194s|280000 |    55 |  1436 |  23M|1161 |   - |1430 |6943 |3613 |   0 |   0 |  71 | 108k|  39 | 1.101789e+02 |      --      |    Inf 
207.03/207.18	c   202s|290000 |    54 |  1436 |  23M|1161 |   - |1430 |6972 |3627 |   0 |   0 |  71 | 113k|  39 | 1.101789e+02 |      --      |    Inf 
215.83/215.93	c   210s|300000 |   147 |  1436 |  23M|1161 |   - |1430 |7084 |3898 |   0 |   0 |  71 | 120k|  39 | 1.101789e+02 |      --      |    Inf 
221.93/222.00	c   216s|310000 |   115 |  1436 |  23M|1161 |   - |1430 |7122 |3265 |   0 |   0 |  71 | 124k|  39 | 1.101789e+02 |      --      |    Inf 
228.22/228.35	c   223s|320000 |    57 |  1436 |  23M|1161 |   - |1430 |7246 |3506 |   0 |   0 |  71 | 127k|  39 | 1.101789e+02 |      --      |    Inf 
235.12/235.28	c   229s|330000 |   288 |  1436 |  23M|1161 |   - |1430 |7454 |2797 |   0 |   0 |  71 | 131k|  39 | 1.101789e+02 |      --      |    Inf 
242.32/242.42	c   236s|340000 |    63 |  1436 |  23M|1161 |   - |1430 |7563 |3917 |   0 |   0 |  71 | 135k|  39 | 1.101789e+02 |      --      |    Inf 
248.82/248.91	c   243s|350000 |    57 |  1436 |  23M|1161 |   - |1430 |7589 |3757 |   0 |   0 |  71 | 138k|  39 | 1.101789e+02 |      --      |    Inf 
254.22/254.40	c   248s|360000 |   237 |  1436 |  23M|1161 |   - |1430 |7627 |3843 |   0 |   0 |  71 | 140k|  39 | 1.101789e+02 |      --      |    Inf 
261.12/261.21	c   255s|370000 |    61 |  1436 |  23M|1161 |   - |1430 |7634 |3807 |   0 |   0 |  71 | 144k|  39 | 1.101789e+02 |      --      |    Inf 
267.51/267.63	c   261s|380000 |    59 |  1436 |  23M|1161 |   - |1430 |7727 |3791 |   0 |   0 |  71 | 148k|  39 | 1.101789e+02 |      --      |    Inf 
274.21/274.38	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
274.21/274.38	c   267s|390000 |   604 |  1436 |  23M|1161 |   - |1430 |7761 |3218 |   0 |   0 |  71 | 152k|  39 | 1.101789e+02 |      --      |    Inf 
279.21/279.39	c   272s|400000 |    69 |  1436 |  23M|1161 |   - |1430 |7827 |3756 |   0 |   0 |  71 | 154k|  39 | 1.101789e+02 |      --      |    Inf 
286.71/286.87	c   280s|410000 |    69 |  1436 |  23M|1161 |   - |1430 |7947 |3329 |   0 |   0 |  71 | 159k|  39 | 1.101789e+02 |      --      |    Inf 
294.10/294.28	c   287s|420000 |    59 |  1436 |  23M|1161 |   - |1430 |8129 |4116 |   0 |   0 |  71 | 165k|  39 | 1.101789e+02 |      --      |    Inf 
300.00/300.18	c   293s|430000 |    59 |  1436 |  23M|1161 |   - |1430 |8216 |3781 |   0 |   0 |  71 | 167k|  39 | 1.101789e+02 |      --      |    Inf 
307.40/307.53	c   300s|440000 |   196 |  1436 |  23M|1161 |   - |1430 |8300 |3594 |   0 |   0 |  71 | 171k|  39 | 1.101789e+02 |      --      |    Inf 
314.89/315.01	c   307s|450000 |    77 |  1436 |  23M|1161 |   - |1430 |8377 |3870 |   0 |   0 |  71 | 176k|  39 | 1.101789e+02 |      --      |    Inf 
321.19/321.36	c   313s|460000 |    74 |  1436 |  24M|1161 |   - |1430 |8451 |3722 |   0 |   0 |  71 | 179k|  39 | 1.101789e+02 |      --      |    Inf 
328.69/328.81	c   321s|470000 |    55 |  1436 |  24M|1161 |   - |1430 |8586 |3786 |   0 |   0 |  71 | 183k|  39 | 1.101789e+02 |      --      |    Inf 
334.58/334.72	c   326s|480000 |   509 |  1436 |  24M|1161 |   - |1430 |8703 |3090 |   0 |   0 |  71 | 187k|  39 | 1.101789e+02 |      --      |    Inf 
340.08/340.26	c   332s|490000 |   245 |  1436 |  24M|1161 |   - |1430 |8662 |3453 |   0 |   0 |  71 | 189k|  39 | 1.101789e+02 |      --      |    Inf 
346.18/346.31	c   338s|500000 |    58 |  1436 |  24M|1161 |   - |1430 |8690 |3641 |   0 |   0 |  71 | 193k|  39 | 1.101789e+02 |      --      |    Inf 
351.78/351.95	c   343s|510000 |    60 |  1436 |  24M|1161 |   - |1430 |8703 |3670 |   0 |   0 |  71 | 195k|  39 | 1.101789e+02 |      --      |    Inf 
357.58/357.71	c   349s|520000 |    69 |  1436 |  24M|1161 |   - |1430 |8700 |3646 |   0 |   0 |  71 | 199k|  39 | 1.101789e+02 |      --      |    Inf 
364.48/364.64	c   356s|530000 |    64 |  1436 |  24M|1161 |   - |1430 |8749 |3696 |   0 |   0 |  71 | 203k|  39 | 1.101789e+02 |      --      |    Inf 
371.07/371.25	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
371.07/371.25	c   362s|540000 |   299 |  1436 |  24M|1161 |   - |1430 |8690 |3444 |   0 |   0 |  71 | 207k|  39 | 1.101789e+02 |      --      |    Inf 
376.77/376.94	c   368s|550000 |   465 |  1436 |  24M|1161 |   - |1430 |8706 |2281 |   0 |   0 |  71 | 210k|  39 | 1.101789e+02 |      --      |    Inf 
382.67/382.86	c   373s|560000 |    64 |  1436 |  24M|1161 |   - |1430 |8714 |3545 |   0 |   0 |  71 | 213k|  39 | 1.101789e+02 |      --      |    Inf 
389.86/390.04	c   380s|570000 |    61 |  1436 |  24M|1161 |   - |1430 |8702 |3568 |   0 |   0 |  71 | 218k|  39 | 1.101789e+02 |      --      |    Inf 
397.67/397.84	c   388s|580000 |   580 |  1436 |  24M|1161 |   - |1430 |8677 |3148 |   0 |   0 |  71 | 223k|  39 | 1.101789e+02 |      --      |    Inf 
404.06/404.29	c   394s|590000 |    63 |  1436 |  24M|1161 |   - |1430 |8704 |3553 |   0 |   0 |  71 | 226k|  39 | 1.101789e+02 |      --      |    Inf 
411.96/412.13	c   402s|600000 |    60 |  1436 |  24M|1161 |   - |1430 |8749 |3639 |   0 |   0 |  71 | 232k|  39 | 1.101789e+02 |      --      |    Inf 
419.86/420.07	c   410s|610000 |    58 |  1436 |  24M|1161 |   - |1430 |8770 |3709 |   0 |   0 |  71 | 237k|  39 | 1.101789e+02 |      --      |    Inf 
427.25/427.43	c   417s|620000 |    58 |  1436 |  24M|1161 |   - |1430 |8774 |3756 |   0 |   0 |  71 | 242k|  39 | 1.101789e+02 |      --      |    Inf 
433.36/433.53	c   423s|630000 |   956 |  1436 |  24M|1161 |   - |1430 |8687 |2515 |   0 |   0 |  71 | 246k|  39 | 1.101789e+02 |      --      |    Inf 
439.15/439.38	c   428s|640000 |    61 |  1436 |  24M|1161 |   - |1430 |8711 |3662 |   0 |   0 |  71 | 249k|  39 | 1.101789e+02 |      --      |    Inf 
447.05/447.24	c   436s|650000 |   166 |  1436 |  24M|1161 |   - |1430 |8689 |3886 |   0 |   0 |  71 | 254k|  39 | 1.101789e+02 |      --      |    Inf 
451.95/452.15	c   441s|660000 |   217 |  1436 |  24M|1161 |   - |1430 |8725 |3432 |   0 |   0 |  71 | 257k|  39 | 1.101789e+02 |      --      |    Inf 
457.55/457.74	c   446s|670000 |    64 |  1436 |  24M|1161 |   - |1430 |8677 |3725 |   0 |   0 |  71 | 260k|  39 | 1.101789e+02 |      --      |    Inf 
464.44/464.69	c   453s|680000 |   173 |  1436 |  24M|1161 |   - |1430 |8777 |3584 |   0 |   0 |  71 | 264k|  39 | 1.101789e+02 |      --      |    Inf 
471.84/472.06	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
471.84/472.06	c   460s|690000 |    64 |  1436 |  24M|1161 |   - |1430 |8785 |3703 |   0 |   0 |  71 | 269k|  39 | 1.101789e+02 |      --      |    Inf 
479.84/480.05	c   468s|700000 |    62 |  1436 |  24M|1161 |   - |1430 |8791 |3716 |   0 |   0 |  71 | 274k|  39 | 1.101789e+02 |      --      |    Inf 
487.54/487.71	c   475s|710000 |    63 |  1436 |  24M|1161 |   - |1430 |8769 |3759 |   0 |   0 |  71 | 279k|  39 | 1.101789e+02 |      --      |    Inf 
496.34/496.53	c   484s|720000 |    62 |  1436 |  24M|1161 |   - |1430 |8800 |3730 |   0 |   0 |  71 | 286k|  39 | 1.101789e+02 |      --      |    Inf 
503.93/504.14	c   491s|730000 |    57 |  1436 |  24M|1161 |   - |1430 |8703 |3905 |   0 |   0 |  71 | 291k|  39 | 1.101789e+02 |      --      |    Inf 
510.24/510.42	c   498s|740000 |   571 |  1436 |  24M|1161 |   - |1430 |8767 |2889 |   0 |   0 |  71 | 294k|  39 | 1.101789e+02 |      --      |    Inf 
517.23/517.44	c   504s|750000 |   356 |  1436 |  24M|1161 |   - |1430 |8692 |3584 |   0 |   0 |  71 | 299k|  39 | 1.101789e+02 |      --      |    Inf 
523.53/523.73	c   511s|760000 |    64 |  1436 |  24M|1161 |   - |1430 |8789 |3780 |   0 |   0 |  71 | 302k|  39 | 1.101789e+02 |      --      |    Inf 
529.42/529.61	c   516s|770000 |    84 |  1436 |  24M|1161 |   - |1430 |8753 |3766 |   0 |   0 |  71 | 305k|  39 | 1.101789e+02 |      --      |    Inf 
534.12/534.35	c   521s|780000 |    64 |  1436 |  24M|1161 |   - |1430 |8815 |3931 |   0 |   0 |  71 | 307k|  39 | 1.101789e+02 |      --      |    Inf 
540.22/540.43	c   527s|790000 |    66 |  1436 |  24M|1161 |   - |1430 |8826 |3913 |   0 |   0 |  71 | 310k|  39 | 1.101789e+02 |      --      |    Inf 
546.22/546.47	c   533s|800000 |    70 |  1436 |  24M|1161 |   - |1430 |8914 |3725 |   0 |   0 |  71 | 313k|  39 | 1.101789e+02 |      --      |    Inf 
551.62/551.85	c   538s|810000 |    84 |  1436 |  24M|1161 |   - |1430 |8874 |3761 |   0 |   0 |  71 | 315k|  39 | 1.101789e+02 |      --      |    Inf 
557.02/557.25	c   543s|820000 |   918 |  1436 |  24M|1161 |   - |1430 |8913 |2414 |   0 |   0 |  71 | 317k|  39 | 1.101789e+02 |      --      |    Inf 
561.62/561.89	c   548s|830000 |   214 |  1436 |  24M|1161 |   - |1430 |8987 |3239 |   0 |   0 |  71 | 319k|  39 | 1.101789e+02 |      --      |    Inf 
567.81/568.09	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
567.81/568.09	c   554s|840000 |    69 |  1436 |  24M|1161 |   - |1430 |8940 |3722 |   0 |   0 |  71 | 322k|  39 | 1.101789e+02 |      --      |    Inf 
575.02/575.26	c   561s|850000 |   106 |  1436 |  24M|1161 |   - |1430 |8955 |3403 |   0 |   0 |  71 | 327k|  39 | 1.101789e+02 |      --      |    Inf 
580.91/581.13	c   566s|860000 |   130 |  1436 |  24M|1161 |   - |1430 |9007 |3561 |   0 |   0 |  71 | 329k|  39 | 1.101789e+02 |      --      |    Inf 
587.40/587.66	c   573s|870000 |   217 |  1436 |  24M|1161 |   - |1430 |9004 |3592 |   0 |   0 |  71 | 333k|  39 | 1.101789e+02 |      --      |    Inf 
593.31/593.51	c   579s|880000 |  1026 |  1436 |  24M|1161 |   - |1430 |9222 |2390 |   0 |   0 |  71 | 336k|  39 | 1.101789e+02 |      --      |    Inf 
600.01/600.20	c   585s|890000 |    89 |  1436 |  24M|1161 |   - |1430 |9284 |3478 |   0 |   0 |  71 | 340k|  39 | 1.101789e+02 |      --      |    Inf 
605.61/605.86	c   591s|900000 |   118 |  1436 |  24M|1161 |   - |1430 |9253 |3605 |   0 |   0 |  71 | 343k|  39 | 1.101789e+02 |      --      |    Inf 
611.90/612.19	c   597s|910000 |    69 |  1436 |  24M|1161 |   - |1430 |9364 |3630 |   0 |   0 |  71 | 346k|  39 | 1.101789e+02 |      --      |    Inf 
618.00/618.26	c   603s|920000 |   508 |  1436 |  24M|1161 |   - |1430 |9424 |2954 |   0 |   0 |  71 | 349k|  39 | 1.101789e+02 |      --      |    Inf 
623.80/624.00	c   608s|930000 |   597 |  1436 |  24M|1161 |   - |1430 |9442 |2528 |   0 |   0 |  71 | 352k|  39 | 1.101789e+02 |      --      |    Inf 
629.60/629.87	c   614s|940000 |   349 |  1436 |  24M|1161 |   - |1430 |9440 |3382 |   0 |   0 |  71 | 355k|  39 | 1.101789e+02 |      --      |    Inf 
634.79/635.00	c   619s|950000 |    85 |  1436 |  24M|1161 |   - |1430 |9493 |3582 |   0 |   0 |  71 | 357k|  39 | 1.101789e+02 |      --      |    Inf 
641.39/641.63	c   625s|960000 |   991 |  1436 |  24M|1161 |   - |1430 |9529 |2606 |   0 |   0 |  71 | 361k|  39 | 1.101789e+02 |      --      |    Inf 
646.89/647.10	c   631s|970000 |    59 |  1436 |  24M|1161 |   - |1430 |9583 |3659 |   0 |   0 |  71 | 363k|  39 | 1.101789e+02 |      --      |    Inf 
652.09/652.39	c   636s|980000 |    69 |  1436 |  24M|1161 |   - |1430 |9627 |3480 |   0 |   0 |  71 | 365k|  39 | 1.101789e+02 |      --      |    Inf 
658.29/658.55	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
658.29/658.55	c   642s|990000 |   128 |  1436 |  24M|1161 |   - |1430 |9708 |3252 |   0 |   0 |  71 | 368k|  39 | 1.101789e+02 |      --      |    Inf 
665.78/666.08	c   649s|  1000k|    64 |  1436 |  24M|1161 |   - |1430 |9792 |3640 |   0 |   0 |  71 | 373k|  39 | 1.101789e+02 |      --      |    Inf 
671.98/672.23	c   655s|  1010k|    59 |  1436 |  24M|1161 |   - |1430 |9833 |3797 |   0 |   0 |  71 | 376k|  39 | 1.101789e+02 |      --      |    Inf 
679.28/679.56	c   662s|  1020k|    56 |  1436 |  24M|1161 |   - |1430 |9919 |3606 |   0 |   0 |  71 | 381k|  39 | 1.101789e+02 |      --      |    Inf 
684.88/685.13	c   668s|  1030k|    58 |  1436 |  24M|1161 |   - |1430 |9983 |3775 |   0 |   0 |  71 | 383k|  39 | 1.101789e+02 |      --      |    Inf 
690.38/690.66	c   673s|  1040k|   489 |  1436 |  24M|1161 |   - |1430 |  10k|3141 |   0 |   0 |  71 | 386k|  39 | 1.101789e+02 |      --      |    Inf 
696.47/696.78	c   679s|  1050k|    65 |  1436 |  24M|1161 |   - |1430 |  10k|3613 |   0 |   0 |  71 | 389k|  39 | 1.101789e+02 |      --      |    Inf 
702.68/702.92	c   685s|  1060k|   942 |  1436 |  24M|1161 |   - |1430 |  10k|2275 |   0 |   0 |  71 | 393k|  39 | 1.101789e+02 |      --      |    Inf 
707.68/707.91	c   690s|  1070k|  1038 |  1436 |  24M|1161 |   - |1430 |  10k|2452 |   0 |   0 |  71 | 395k|  39 | 1.101789e+02 |      --      |    Inf 
713.27/713.56	c   696s|  1080k|    64 |  1436 |  24M|1161 |   - |1430 |  10k|3722 |   0 |   0 |  71 | 398k|  39 | 1.101789e+02 |      --      |    Inf 
718.87/719.11	c   701s|  1090k|   596 |  1436 |  24M|1161 |   - |1430 |  10k|2816 |   0 |   0 |  71 | 400k|  39 | 1.101789e+02 |      --      |    Inf 
725.07/725.31	c   707s|  1100k|    60 |  1436 |  24M|1161 |   - |1430 |  10k|3996 |   0 |   0 |  71 | 404k|  39 | 1.101789e+02 |      --      |    Inf 
730.56/730.83	c   712s|  1110k|    55 |  1436 |  24M|1161 |   - |1430 |  10k|3980 |   0 |   0 |  71 | 406k|  39 | 1.101789e+02 |      --      |    Inf 
737.86/738.13	c   720s|  1120k|    60 |  1436 |  24M|1161 |   - |1430 |  10k|3635 |   0 |   0 |  71 | 411k|  39 | 1.101789e+02 |      --      |    Inf 
746.06/746.37	c   728s|  1130k|    58 |  1436 |  24M|1161 |   - |1430 |  10k|3730 |   0 |   0 |  71 | 417k|  39 | 1.101789e+02 |      --      |    Inf 
754.27/754.51	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
754.27/754.51	c   735s|  1140k|   621 |  1436 |  24M|1161 |   - |1430 |  10k|3153 |   0 |   0 |  71 | 423k|  39 | 1.101789e+02 |      --      |    Inf 
760.86/761.20	c   742s|  1150k|    72 |  1436 |  24M|1161 |   - |1430 |  10k|3435 |   0 |   0 |  71 | 427k|  39 | 1.101789e+02 |      --      |    Inf 
766.26/766.59	c   747s|  1160k|    69 |  1436 |  24M|1161 |   - |1430 |  10k|3460 |   0 |   0 |  71 | 430k|  39 | 1.101789e+02 |      --      |    Inf 
773.36/773.62	c   754s|  1170k|    64 |  1436 |  24M|1161 |   - |1430 |  10k|3706 |   0 |   0 |  71 | 434k|  39 | 1.101789e+02 |      --      |    Inf 
779.95/780.20	c   760s|  1180k|    72 |  1436 |  24M|1161 |   - |1430 |  11k|3563 |   0 |   0 |  71 | 438k|  39 | 1.101789e+02 |      --      |    Inf 
786.95/787.22	c   767s|  1190k|    70 |  1436 |  24M|1161 |   - |1430 |  11k|3432 |   0 |   0 |  71 | 442k|  39 | 1.101789e+02 |      --      |    Inf 
793.75/794.08	c   774s|  1200k|   200 |  1436 |  24M|1161 |   - |1430 |  11k|2961 |   0 |   0 |  71 | 447k|  39 | 1.101789e+02 |      --      |    Inf 
801.05/801.37	c   781s|  1210k|    62 |  1436 |  24M|1161 |   - |1430 |  11k|3672 |   0 |   0 |  71 | 451k|  39 | 1.101789e+02 |      --      |    Inf 
806.44/806.71	c   786s|  1220k|    72 |  1436 |  24M|1161 |   - |1430 |  11k|3531 |   0 |   0 |  71 | 454k|  39 | 1.101789e+02 |      --      |    Inf 
813.84/814.14	c   794s|  1230k|    60 |  1436 |  24M|1161 |   - |1430 |  11k|3570 |   0 |   0 |  71 | 458k|  39 | 1.101789e+02 |      --      |    Inf 
820.44/820.74	c   800s|  1240k|    74 |  1436 |  24M|1161 |   - |1430 |  11k|3469 |   0 |   0 |  71 | 462k|  39 | 1.101789e+02 |      --      |    Inf 
827.24/827.54	c   807s|  1250k|    61 |  1436 |  24M|1161 |   - |1430 |  11k|3785 |   0 |   0 |  71 | 466k|  39 | 1.101789e+02 |      --      |    Inf 
835.23/835.51	c   814s|  1260k|    58 |  1436 |  25M|1161 |   - |1430 |  11k|3703 |   0 |   0 |  71 | 471k|  39 | 1.101789e+02 |      --      |    Inf 
843.63/843.96	c   823s|  1270k|    68 |  1436 |  25M|1161 |   - |1430 |  11k|3411 |   0 |   0 |  71 | 477k|  39 | 1.101789e+02 |      --      |    Inf 
850.23/850.56	c   829s|  1280k|    57 |  1436 |  25M|1161 |   - |1430 |  11k|3518 |   0 |   0 |  71 | 481k|  39 | 1.101789e+02 |      --      |    Inf 
858.63/858.94	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
858.63/858.94	c   837s|  1290k|    58 |  1436 |  25M|1161 |   - |1430 |  12k|3610 |   0 |   0 |  71 | 486k|  39 | 1.101789e+02 |      --      |    Inf 
866.13/866.40	c   845s|  1300k|    56 |  1436 |  25M|1161 |   - |1430 |  12k|3856 |   0 |   0 |  71 | 491k|  39 | 1.101789e+02 |      --      |    Inf 
872.53/872.85	c   851s|  1310k|   293 |  1436 |  25M|1161 |   - |1430 |  12k|3544 |   0 |   0 |  71 | 495k|  39 | 1.101789e+02 |      --      |    Inf 
879.02/879.32	c   857s|  1320k|    58 |  1436 |  25M|1161 |   - |1430 |  12k|3769 |   0 |   0 |  71 | 499k|  39 | 1.101789e+02 |      --      |    Inf 
885.82/886.16	c   864s|  1330k|    58 |  1436 |  23M|1161 |   - |1430 |5567 |3758 |   0 |   0 |  71 | 503k|  39 | 1.101789e+02 |      --      |    Inf 
891.52/891.81	c   869s|  1340k|    60 |  1436 |  23M|1161 |   - |1430 |5644 |3977 |   0 |   0 |  71 | 506k|  39 | 1.101789e+02 |      --      |    Inf 
898.61/898.95	c   876s|  1350k|    55 |  1436 |  23M|1161 |   - |1430 |5849 |4143 |   0 |   0 |  71 | 510k|  39 | 1.101789e+02 |      --      |    Inf 
905.02/905.37	c   882s|  1360k|    66 |  1436 |  23M|1161 |   - |1430 |6012 |3765 |   0 |   0 |  71 | 514k|  39 | 1.101789e+02 |      --      |    Inf 
911.91/912.20	c   889s|  1370k|    80 |  1436 |  23M|1161 |   - |1430 |6082 |3783 |   0 |   0 |  71 | 518k|  39 | 1.101789e+02 |      --      |    Inf 
918.22/918.58	c   895s|  1380k|    60 |  1436 |  23M|1161 |   - |1430 |6164 |3923 |   0 |   0 |  71 | 522k|  39 | 1.101789e+02 |      --      |    Inf 
925.11/925.42	c   902s|  1390k|    60 |  1436 |  23M|1161 |   - |1430 |6196 |3794 |   0 |   0 |  71 | 526k|  39 | 1.101789e+02 |      --      |    Inf 
931.51/931.88	c   908s|  1400k|    63 |  1436 |  23M|1161 |   - |1430 |6355 |3962 |   0 |   0 |  71 | 530k|  39 | 1.101789e+02 |      --      |    Inf 
937.91/938.21	c   914s|  1410k|    56 |  1436 |  23M|1161 |   - |1430 |6368 |3831 |   0 |   0 |  71 | 534k|  39 | 1.101789e+02 |      --      |    Inf 
944.10/944.45	c   921s|  1420k|    58 |  1436 |  23M|1161 |   - |1430 |6364 |3802 |   0 |   0 |  71 | 537k|  39 | 1.101789e+02 |      --      |    Inf 
950.11/950.42	c   926s|  1430k|    65 |  1436 |  23M|1161 |   - |1430 |6452 |3604 |   0 |   0 |  71 | 541k|  39 | 1.101789e+02 |      --      |    Inf 
957.60/957.96	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
957.60/957.96	c   934s|  1440k|    57 |  1436 |  23M|1161 |   - |1430 |6564 |3624 |   0 |   0 |  71 | 546k|  39 | 1.101789e+02 |      --      |    Inf 
963.70/964.09	c   940s|  1450k|    67 |  1436 |  23M|1161 |   - |1430 |6565 |3558 |   0 |   0 |  71 | 550k|  39 | 1.101789e+02 |      --      |    Inf 
970.91/971.30	c   947s|  1460k|    64 |  1436 |  23M|1161 |   - |1430 |6586 |3839 |   0 |   0 |  71 | 554k|  39 | 1.101789e+02 |      --      |    Inf 
977.10/977.43	c   953s|  1470k|   799 |  1436 |  24M|1161 |   - |1430 |6629 |2843 |   0 |   0 |  71 | 558k|  39 | 1.101789e+02 |      --      |    Inf 
983.79/984.17	c   959s|  1480k|   104 |  1436 |  23M|1161 |   - |1430 |6712 |3396 |   0 |   0 |  71 | 562k|  39 | 1.101789e+02 |      --      |    Inf 
991.19/991.58	c   966s|  1490k|    59 |  1436 |  23M|1161 |   - |1430 |6839 |3489 |   0 |   0 |  71 | 567k|  39 | 1.101789e+02 |      --      |    Inf 
997.39/997.76	c   972s|  1500k|    65 |  1436 |  23M|1161 |   - |1430 |6948 |3719 |   0 |   0 |  71 | 571k|  39 | 1.101789e+02 |      --      |    Inf 
1003.18/1003.59	c   978s|  1510k|   634 |  1436 |  24M|1161 |   - |1430 |6963 |2659 |   0 |   0 |  71 | 574k|  39 | 1.101789e+02 |      --      |    Inf 
1009.68/1010.03	c   984s|  1520k|   288 |  1436 |  24M|1161 |   - |1430 |7072 |3429 |   0 |   0 |  71 | 578k|  39 | 1.101789e+02 |      --      |    Inf 
1014.98/1015.36	c   990s|  1530k|    71 |  1436 |  23M|1161 |   - |1430 |7092 |3628 |   0 |   0 |  71 | 580k|  39 | 1.101789e+02 |      --      |    Inf 
1021.68/1022.06	c   996s|  1540k|   805 |  1436 |  24M|1161 |   - |1430 |7175 |2227 |   0 |   0 |  71 | 585k|  39 | 1.101789e+02 |      --      |    Inf 
1027.87/1028.24	c  1002s|  1550k|    61 |  1436 |  24M|1161 |   - |1430 |7189 |3663 |   0 |   0 |  71 | 588k|  39 | 1.101789e+02 |      --      |    Inf 
1034.68/1035.03	c  1009s|  1560k|    68 |  1436 |  24M|1161 |   - |1430 |7299 |3408 |   0 |   0 |  71 | 592k|  39 | 1.101789e+02 |      --      |    Inf 
1040.58/1040.95	c  1015s|  1570k|    83 |  1436 |  24M|1161 |   - |1430 |7322 |3767 |   0 |   0 |  71 | 595k|  39 | 1.101789e+02 |      --      |    Inf 
1046.57/1046.92	c  1020s|  1580k|    60 |  1436 |  24M|1161 |   - |1430 |7413 |3713 |   0 |   0 |  71 | 599k|  39 | 1.101789e+02 |      --      |    Inf 
1052.97/1053.35	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1052.97/1053.35	c  1027s|  1590k|    59 |  1436 |  24M|1161 |   - |1430 |7498 |3778 |   0 |   0 |  71 | 602k|  39 | 1.101789e+02 |      --      |    Inf 
1059.37/1059.74	c  1033s|  1600k|    71 |  1436 |  24M|1161 |   - |1430 |7582 |3591 |   0 |   0 |  71 | 607k|  39 | 1.101789e+02 |      --      |    Inf 
1065.37/1065.71	c  1039s|  1610k|    62 |  1436 |  24M|1161 |   - |1430 |7661 |3613 |   0 |   0 |  71 | 610k|  39 | 1.101789e+02 |      --      |    Inf 
1071.57/1071.92	c  1045s|  1620k|    65 |  1436 |  24M|1161 |   - |1430 |7702 |3558 |   0 |   0 |  71 | 613k|  39 | 1.101789e+02 |      --      |    Inf 
1078.16/1078.57	c  1051s|  1630k|    61 |  1436 |  24M|1161 |   - |1430 |7771 |3733 |   0 |   0 |  71 | 618k|  39 | 1.101789e+02 |      --      |    Inf 
1084.66/1085.06	c  1058s|  1640k|   779 |  1436 |  24M|1161 |   - |1430 |7831 |2695 |   0 |   0 |  71 | 621k|  39 | 1.101789e+02 |      --      |    Inf 
1091.26/1091.63	c  1064s|  1650k|   385 |  1436 |  24M|1161 |   - |1430 |7990 |3083 |   0 |   0 |  71 | 626k|  39 | 1.101789e+02 |      --      |    Inf 
1097.46/1097.82	c  1070s|  1660k|    64 |  1436 |  24M|1161 |   - |1430 |7922 |3607 |   0 |   0 |  71 | 629k|  39 | 1.101789e+02 |      --      |    Inf 
1103.46/1103.87	c  1076s|  1670k|    75 |  1436 |  24M|1161 |   - |1430 |7980 |3466 |   0 |   0 |  71 | 633k|  39 | 1.101789e+02 |      --      |    Inf 
1110.75/1111.10	c  1083s|  1680k|    61 |  1436 |  24M|1161 |   - |1430 |8031 |3794 |   0 |   0 |  71 | 637k|  39 | 1.101789e+02 |      --      |    Inf 
1117.16/1117.54	c  1089s|  1690k|    53 |  1436 |  24M|1161 |   - |1430 |8075 |3794 |   0 |   0 |  71 | 641k|  39 | 1.101789e+02 |      --      |    Inf 
1122.95/1123.32	c  1095s|  1700k|   949 |  1436 |  24M|1161 |   - |1430 |8106 |2577 |   0 |   0 |  71 | 644k|  39 | 1.101789e+02 |      --      |    Inf 
1129.05/1129.49	c  1101s|  1710k|    52 |  1436 |  24M|1161 |   - |1430 |8152 |3612 |   0 |   0 |  71 | 648k|  39 | 1.101789e+02 |      --      |    Inf 
1135.24/1135.68	c  1107s|  1720k|    78 |  1436 |  24M|1161 |   - |1430 |8207 |3521 |   0 |   0 |  71 | 651k|  39 | 1.101789e+02 |      --      |    Inf 
1141.84/1142.27	c  1113s|  1730k|   526 |  1436 |  24M|1161 |   - |1430 |8157 |3167 |   0 |   0 |  71 | 655k|  39 | 1.101789e+02 |      --      |    Inf 
1147.74/1148.15	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1147.74/1148.15	c  1119s|  1740k|   387 |  1436 |  24M|1161 |   - |1430 |8312 |3022 |   0 |   0 |  71 | 658k|  39 | 1.101789e+02 |      --      |    Inf 
1153.75/1154.16	c  1125s|  1750k|    59 |  1436 |  24M|1161 |   - |1430 |8228 |4035 |   0 |   0 |  71 | 662k|  39 | 1.101789e+02 |      --      |    Inf 
1159.44/1159.81	c  1131s|  1760k|   437 |  1436 |  24M|1161 |   - |1430 |8294 |3493 |   0 |   0 |  71 | 664k|  39 | 1.101789e+02 |      --      |    Inf 
1165.34/1165.75	c  1136s|  1770k|    55 |  1436 |  24M|1161 |   - |1430 |8323 |4040 |   0 |   0 |  71 | 667k|  39 | 1.101789e+02 |      --      |    Inf 
1171.84/1172.25	c  1143s|  1780k|    59 |  1436 |  24M|1161 |   - |1430 |8366 |3797 |   0 |   0 |  71 | 671k|  39 | 1.101789e+02 |      --      |    Inf 
1178.64/1179.05	c  1149s|  1790k|    71 |  1436 |  24M|1161 |   - |1430 |8391 |3745 |   0 |   0 |  71 | 675k|  39 | 1.101789e+02 |      --      |    Inf 
1186.54/1186.94	c  1157s|  1800k|    56 |  1436 |  24M|1161 |   - |1430 |8446 |4110 |   0 |   0 |  71 | 680k|  39 | 1.101789e+02 |      --      |    Inf 
1193.03/1193.49	c  1163s|  1810k|   144 |  1436 |  24M|1161 |   - |1430 |8519 |3546 |   0 |   0 |  71 | 684k|  39 | 1.101789e+02 |      --      |    Inf 
1200.03/1200.47	c  1170s|  1820k|   190 |  1436 |  24M|1161 |   - |1430 |8554 |3452 |   0 |   0 |  71 | 688k|  39 | 1.101789e+02 |      --      |    Inf 
1207.23/1207.69	c  1177s|  1830k|    85 |  1436 |  24M|1161 |   - |1430 |8600 |3488 |   0 |   0 |  71 | 693k|  39 | 1.101789e+02 |      --      |    Inf 
1214.22/1214.66	c  1184s|  1840k|    90 |  1436 |  24M|1161 |   - |1430 |8622 |3559 |   0 |   0 |  71 | 697k|  39 | 1.101789e+02 |      --      |    Inf 
1221.02/1221.44	c  1191s|  1850k|    58 |  1436 |  24M|1161 |   - |1430 |8672 |3734 |   0 |   0 |  71 | 700k|  39 | 1.101789e+02 |      --      |    Inf 
1228.33/1228.77	c  1198s|  1860k|    56 |  1436 |  24M|1161 |   - |1430 |8698 |3577 |   0 |   0 |  71 | 704k|  39 | 1.101789e+02 |      --      |    Inf 
1235.62/1236.03	c  1205s|  1870k|   699 |  1436 |  24M|1161 |   - |1430 |8744 |3024 |   0 |   0 |  71 | 709k|  39 | 1.101789e+02 |      --      |    Inf 
1242.11/1242.50	c  1211s|  1880k|    57 |  1436 |  24M|1161 |   - |1430 |8799 |4015 |   0 |   0 |  71 | 712k|  39 | 1.101789e+02 |      --      |    Inf 
1248.42/1248.88	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1248.42/1248.88	c  1217s|  1890k|    54 |  1436 |  24M|1161 |   - |1430 |8818 |3869 |   0 |   0 |  71 | 716k|  39 | 1.101789e+02 |      --      |    Inf 
1255.21/1255.68	c  1224s|  1900k|    52 |  1436 |  24M|1161 |   - |1430 |8852 |3949 |   0 |   0 |  71 | 720k|  39 | 1.101789e+02 |      --      |    Inf 
1261.61/1262.02	c  1230s|  1910k|    55 |  1436 |  24M|1161 |   - |1430 |8849 |3828 |   0 |   0 |  71 | 724k|  39 | 1.101789e+02 |      --      |    Inf 
1268.50/1268.96	c  1237s|  1920k|    56 |  1436 |  24M|1161 |   - |1430 |8946 |3866 |   0 |   0 |  71 | 728k|  39 | 1.101789e+02 |      --      |    Inf 
1274.51/1274.93	c  1243s|  1930k|    70 |  1436 |  24M|1161 |   - |1430 |8979 |3789 |   0 |   0 |  71 | 731k|  39 | 1.101789e+02 |      --      |    Inf 
1280.70/1281.10	c  1249s|  1940k|    63 |  1436 |  24M|1161 |   - |1430 |9011 |3800 |   0 |   0 |  71 | 735k|  39 | 1.101789e+02 |      --      |    Inf 
1287.71/1288.11	c  1256s|  1950k|    53 |  1436 |  24M|1161 |   - |1430 |9170 |3964 |   0 |   0 |  71 | 739k|  39 | 1.101789e+02 |      --      |    Inf 
1294.60/1295.10	c  1262s|  1960k|   290 |  1436 |  24M|1161 |   - |1430 |9154 |3647 |   0 |   0 |  71 | 743k|  39 | 1.101789e+02 |      --      |    Inf 
1302.10/1302.55	c  1270s|  1970k|    53 |  1436 |  24M|1161 |   - |1430 |9274 |3607 |   0 |   0 |  71 | 748k|  39 | 1.101789e+02 |      --      |    Inf 
1309.99/1310.43	c  1277s|  1980k|    59 |  1436 |  24M|1161 |   - |1430 |9270 |3878 |   0 |   0 |  71 | 753k|  39 | 1.101789e+02 |      --      |    Inf 
1317.30/1317.76	c  1284s|  1990k|   240 |  1436 |  24M|1161 |   - |1430 |9323 |3624 |   0 |   0 |  71 | 758k|  39 | 1.101789e+02 |      --      |    Inf 
1323.99/1324.46	c  1291s|  2000k|    64 |  1436 |  24M|1161 |   - |1430 |9403 |3863 |   0 |   0 |  71 | 762k|  39 | 1.101789e+02 |      --      |    Inf 
1331.59/1332.09	c  1298s|  2010k|    58 |  1436 |  24M|1161 |   - |1430 |9504 |3655 |   0 |   0 |  71 | 767k|  39 | 1.101789e+02 |      --      |    Inf 
1339.69/1340.19	c  1306s|  2020k|   332 |  1436 |  24M|1161 |   - |1430 |9598 |3421 |   0 |   0 |  71 | 773k|  39 | 1.101789e+02 |      --      |    Inf 
1347.19/1347.61	c  1314s|  2030k|    66 |  1436 |  24M|1161 |   - |1430 |9748 |3576 |   0 |   0 |  71 | 778k|  39 | 1.101789e+02 |      --      |    Inf 
1353.78/1354.22	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1353.78/1354.22	c  1320s|  2040k|    58 |  1436 |  24M|1161 |   - |1430 |9817 |3871 |   0 |   0 |  71 | 782k|  39 | 1.101789e+02 |      --      |    Inf 
1361.48/1361.91	c  1327s|  2050k|    62 |  1436 |  24M|1161 |   - |1430 |9882 |3848 |   0 |   0 |  71 | 787k|  39 | 1.101789e+02 |      --      |    Inf 
1369.38/1369.89	c  1335s|  2060k|    58 |  1436 |  24M|1161 |   - |1430 |9962 |3781 |   0 |   0 |  71 | 793k|  39 | 1.101789e+02 |      --      |    Inf 
1376.98/1377.40	c  1343s|  2070k|    58 |  1436 |  24M|1161 |   - |1430 |  10k|3711 |   0 |   0 |  71 | 798k|  39 | 1.101789e+02 |      --      |    Inf 
1384.87/1385.30	c  1350s|  2080k|    58 |  1436 |  24M|1161 |   - |1430 |  10k|3776 |   0 |   0 |  71 | 803k|  39 | 1.101789e+02 |      --      |    Inf 
1392.77/1393.22	c  1358s|  2090k|    51 |  1436 |  24M|1161 |   - |1430 |  10k|3886 |   0 |   0 |  71 | 809k|  39 | 1.101789e+02 |      --      |    Inf 
1400.66/1401.19	c  1366s|  2100k|    50 |  1436 |  24M|1161 |   - |1430 |  10k|3795 |   0 |   0 |  71 | 814k|  39 | 1.101789e+02 |      --      |    Inf 
1407.37/1407.88	c  1372s|  2110k|    54 |  1436 |  24M|1161 |   - |1430 |  10k|4261 |   0 |   0 |  71 | 818k|  39 | 1.101789e+02 |      --      |    Inf 
1413.97/1414.44	c  1379s|  2120k|    65 |  1436 |  24M|1161 |   - |1430 |  10k|3854 |   0 |   0 |  71 | 822k|  39 | 1.101789e+02 |      --      |    Inf 
1419.56/1420.10	c  1384s|  2130k|    81 |  1436 |  24M|1161 |   - |1430 |  10k|3873 |   0 |   0 |  71 | 825k|  39 | 1.101789e+02 |      --      |    Inf 
1425.96/1426.46	c  1390s|  2140k|   974 |  1436 |  25M|1161 |   - |1430 |  10k|2605 |   0 |   0 |  71 | 828k|  39 | 1.101789e+02 |      --      |    Inf 
1432.86/1433.31	c  1397s|  2150k|   212 |  1436 |  25M|1161 |   - |1430 |  10k|3491 |   0 |   0 |  71 | 832k|  39 | 1.101789e+02 |      --      |    Inf 
1439.66/1440.13	c  1404s|  2160k|    83 |  1436 |  25M|1161 |   - |1430 |  10k|3590 |   0 |   0 |  71 | 836k|  39 | 1.101789e+02 |      --      |    Inf 
1446.36/1446.83	c  1410s|  2170k|    55 |  1436 |  24M|1161 |   - |1430 |  10k|3805 |   0 |   0 |  71 | 840k|  39 | 1.101789e+02 |      --      |    Inf 
1452.56/1453.09	c  1416s|  2180k|    53 |  1436 |  24M|1161 |   - |1430 |  10k|3682 |   0 |   0 |  71 | 843k|  39 | 1.101789e+02 |      --      |    Inf 
1459.46/1459.91	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1459.46/1459.91	c  1423s|  2190k|   253 |  1436 |  25M|1161 |   - |1430 |  10k|3532 |   0 |   0 |  71 | 847k|  39 | 1.101789e+02 |      --      |    Inf 
1465.55/1466.06	c  1429s|  2200k|    56 |  1436 |  25M|1161 |   - |1430 |  10k|3572 |   0 |   0 |  71 | 850k|  39 | 1.101789e+02 |      --      |    Inf 
1472.94/1473.42	c  1436s|  2210k|    53 |  1436 |  25M|1161 |   - |1430 |  11k|3647 |   0 |   0 |  71 | 855k|  39 | 1.101789e+02 |      --      |    Inf 
1479.45/1479.92	c  1442s|  2220k|    62 |  1436 |  25M|1161 |   - |1430 |  11k|4253 |   0 |   0 |  71 | 858k|  39 | 1.101789e+02 |      --      |    Inf 
1486.25/1486.72	c  1449s|  2230k|    56 |  1436 |  25M|1161 |   - |1430 |  11k|4186 |   0 |   0 |  71 | 861k|  39 | 1.101789e+02 |      --      |    Inf 
1491.64/1492.12	c  1454s|  2240k|    75 |  1436 |  25M|1161 |   - |1430 |  11k|3895 |   0 |   0 |  71 | 864k|  39 | 1.101789e+02 |      --      |    Inf 
1498.24/1498.76	c  1461s|  2250k|   523 |  1436 |  25M|1161 |   - |1430 |  11k|3271 |   0 |   0 |  71 | 868k|  39 | 1.101789e+02 |      --      |    Inf 
1504.04/1504.51	c  1466s|  2260k|    62 |  1436 |  25M|1161 |   - |1430 |  11k|4044 |   0 |   0 |  71 | 871k|  39 | 1.101789e+02 |      --      |    Inf 
1510.34/1510.85	c  1472s|  2270k|    91 |  1436 |  25M|1161 |   - |1430 |  11k|3953 |   0 |   0 |  71 | 874k|  39 | 1.101789e+02 |      --      |    Inf 
1516.34/1516.82	c  1478s|  2280k|    63 |  1436 |  25M|1161 |   - |1430 |  11k|4067 |   0 |   0 |  71 | 877k|  39 | 1.101789e+02 |      --      |    Inf 
1523.14/1523.63	c  1485s|  2290k|    58 |  1436 |  25M|1161 |   - |1430 |  11k|4151 |   0 |   0 |  71 | 881k|  39 | 1.101789e+02 |      --      |    Inf 
1527.93/1528.45	c  1490s|  2300k|    61 |  1436 |  25M|1161 |   - |1430 |  11k|4137 |   0 |   0 |  71 | 882k|  39 | 1.101789e+02 |      --      |    Inf 
1535.03/1535.51	c  1497s|  2310k|    78 |  1436 |  25M|1161 |   - |1430 |  11k|3932 |   0 |   0 |  71 | 887k|  39 | 1.101789e+02 |      --      |    Inf 
1540.83/1541.37	c  1502s|  2320k|   216 |  1436 |  25M|1161 |   - |1430 |  11k|3936 |   0 |   0 |  71 | 890k|  39 | 1.101789e+02 |      --      |    Inf 
1547.13/1547.67	c  1508s|  2330k|    82 |  1436 |  25M|1161 |   - |1430 |  11k|3870 |   0 |   0 |  71 | 893k|  39 | 1.101789e+02 |      --      |    Inf 
1554.23/1554.72	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1554.23/1554.72	c  1515s|  2340k|    82 |  1436 |  25M|1161 |   - |1430 |  11k|3777 |   0 |   0 |  71 | 897k|  39 | 1.101789e+02 |      --      |    Inf 
1561.02/1561.60	c  1522s|  2350k|   613 |  1436 |  25M|1161 |   - |1430 |  12k|3174 |   0 |   0 |  71 | 900k|  39 | 1.101789e+02 |      --      |    Inf 
1567.42/1567.93	c  1528s|  2360k|   515 |  1436 |  25M|1161 |   - |1430 |  12k|2962 |   0 |   0 |  71 | 903k|  39 | 1.101789e+02 |      --      |    Inf 
1573.01/1573.51	c  1534s|  2370k|    71 |  1436 |  25M|1161 |   - |1430 |  12k|3854 |   0 |   0 |  71 | 906k|  39 | 1.101789e+02 |      --      |    Inf 
1578.62/1579.18	c  1539s|  2380k|    68 |  1436 |  25M|1161 |   - |1430 |  12k|3442 |   0 |   0 |  71 | 909k|  39 | 1.101789e+02 |      --      |    Inf 
1585.52/1586.10	c  1546s|  2390k|    84 |  1436 |  25M|1161 |   - |1430 |  12k|3713 |   0 |   0 |  71 | 913k|  39 | 1.101789e+02 |      --      |    Inf 
1592.51/1593.07	c  1553s|  2400k|   237 |  1436 |  25M|1161 |   - |1430 |  12k|3847 |   0 |   0 |  71 | 917k|  39 | 1.101789e+02 |      --      |    Inf 
1597.61/1598.18	c  1558s|  2410k|    81 |  1436 |  25M|1161 |   - |1430 |  12k|3909 |   0 |   0 |  71 | 919k|  39 | 1.101789e+02 |      --      |    Inf 
1604.20/1604.75	c  1564s|  2420k|   846 |  1436 |  25M|1161 |   - |1430 |  12k|2964 |   0 |   0 |  71 | 923k|  39 | 1.101789e+02 |      --      |    Inf 
1610.91/1611.47	c  1571s|  2430k|    72 |  1436 |  25M|1161 |   - |1430 |  12k|3839 |   0 |   0 |  71 | 927k|  39 | 1.101789e+02 |      --      |    Inf 
1617.11/1617.67	c  1577s|  2440k|    68 |  1436 |  25M|1161 |   - |1430 |  12k|3928 |   0 |   0 |  71 | 930k|  39 | 1.101789e+02 |      --      |    Inf 
1623.40/1623.90	c  1583s|  2450k|    72 |  1436 |  25M|1161 |   - |1430 |  12k|3868 |   0 |   0 |  71 | 934k|  39 | 1.101789e+02 |      --      |    Inf 
1629.80/1630.35	c  1589s|  2460k|   369 |  1436 |  25M|1161 |   - |1430 |  12k|3344 |   0 |   0 |  71 | 937k|  39 | 1.101789e+02 |      --      |    Inf 
1636.70/1637.22	c  1596s|  2470k|    66 |  1436 |  25M|1161 |   - |1430 |  12k|3629 |   0 |   0 |  71 | 941k|  39 | 1.101789e+02 |      --      |    Inf 
1642.99/1643.59	c  1602s|  2480k|    62 |  1436 |  25M|1161 |   - |1430 |  12k|3693 |   0 |   0 |  71 | 945k|  39 | 1.101789e+02 |      --      |    Inf 
1649.00/1649.57	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1649.00/1649.57	c  1608s|  2490k|    72 |  1436 |  25M|1161 |   - |1430 |  12k|3636 |   0 |   0 |  71 | 948k|  39 | 1.101789e+02 |      --      |    Inf 
1655.69/1656.20	c  1614s|  2500k|    58 |  1436 |  25M|1161 |   - |1430 |  12k|4207 |   0 |   0 |  71 | 951k|  39 | 1.101789e+02 |      --      |    Inf 
1663.39/1663.95	c  1622s|  2510k|    57 |  1436 |  25M|1161 |   - |1430 |  12k|3905 |   0 |   0 |  71 | 956k|  39 | 1.101789e+02 |      --      |    Inf 
1671.08/1671.69	c  1629s|  2520k|    53 |  1436 |  25M|1161 |   - |1430 |  13k|3978 |   0 |   0 |  71 | 960k|  39 | 1.101789e+02 |      --      |    Inf 
1678.78/1679.36	c  1637s|  2530k|   185 |  1436 |  25M|1161 |   - |1430 |  13k|3564 |   0 |   0 |  71 | 965k|  39 | 1.101789e+02 |      --      |    Inf 
1684.58/1685.18	c  1642s|  2540k|    85 |  1436 |  25M|1161 |   - |1430 |  13k|3612 |   0 |   0 |  71 | 968k|  39 | 1.101789e+02 |      --      |    Inf 
1691.98/1692.59	c  1650s|  2550k|   309 |  1436 |  26M|1161 |   - |1430 |  13k|3591 |   0 |   0 |  71 | 972k|  39 | 1.101789e+02 |      --      |    Inf 
1697.48/1698.09	c  1655s|  2560k|    57 |  1436 |  25M|1161 |   - |1430 |  13k|3861 |   0 |   0 |  71 | 974k|  39 | 1.101789e+02 |      --      |    Inf 
1703.88/1704.50	c  1661s|  2570k|    59 |  1436 |  26M|1161 |   - |1430 |  13k|3663 |   0 |   0 |  71 | 978k|  39 | 1.101789e+02 |      --      |    Inf 
1710.58/1711.13	c  1668s|  2580k|   509 |  1436 |  26M|1161 |   - |1430 |  13k|3135 |   0 |   0 |  71 | 982k|  39 | 1.101789e+02 |      --      |    Inf 
1717.38/1717.97	c  1674s|  2590k|    59 |  1436 |  26M|1161 |   - |1430 |  13k|3772 |   0 |   0 |  71 | 986k|  39 | 1.101789e+02 |      --      |    Inf 
1724.17/1724.75	c  1681s|  2600k|    61 |  1436 |  26M|1161 |   - |1430 |  13k|3714 |   0 |   0 |  71 | 989k|  39 | 1.101789e+02 |      --      |    Inf 
1730.27/1730.89	c  1687s|  2610k|    64 |  1436 |  26M|1161 |   - |1430 |  13k|4057 |   0 |   0 |  71 | 992k|  39 | 1.101789e+02 |      --      |    Inf 
1738.57/1739.14	c  1695s|  2620k|    63 |  1436 |  26M|1161 |   - |1430 |  13k|3838 |   0 |   0 |  71 | 998k|  39 | 1.101789e+02 |      --      |    Inf 
1745.26/1745.82	c  1702s|  2630k|    60 |  1436 |  26M|1161 |   - |1430 |  13k|3969 |   0 |   0 |  71 |1001k|  39 | 1.101789e+02 |      --      |    Inf 
1751.56/1752.13	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1751.56/1752.13	c  1708s|  2640k|    52 |  1436 |  26M|1161 |   - |1430 |  13k|4008 |   0 |   0 |  71 |1005k|  39 | 1.101789e+02 |      --      |    Inf 
1758.96/1759.54	c  1715s|  2650k|    63 |  1436 |  26M|1161 |   - |1430 |  13k|3759 |   0 |   0 |  71 |1009k|  39 | 1.101789e+02 |      --      |    Inf 
1766.66/1767.25	c  1722s|  2660k|    64 |  1436 |  26M|1161 |   - |1430 |  14k|3576 |   0 |   0 |  71 |1014k|  39 | 1.101789e+02 |      --      |    Inf 
1773.96/1774.58	c  1730s|  2670k|    60 |  1436 |  26M|1161 |   - |1430 |  14k|3710 |   0 |   0 |  71 |1018k|  39 | 1.101789e+02 |      --      |    Inf 
1782.46/1783.07	c  1738s|  2680k|   113 |  1436 |  26M|1161 |   - |1430 |  14k|3672 |   0 |   0 |  71 |1024k|  39 | 1.101789e+02 |      --      |    Inf 
1790.26/1790.86	c  1745s|  2690k|    59 |  1436 |  26M|1161 |   - |1430 |  14k|3754 |   0 |   0 |  71 |1028k|  39 | 1.101789e+02 |      --      |    Inf 
1797.75/1798.35	c  1753s|  2700k|   880 |  1436 |  26M|1161 |   - |1430 |  14k|2760 |   0 |   0 |  71 |1033k|  39 | 1.101789e+02 |      --      |    Inf 
1800.05/1800.60	c 
1800.05/1800.60	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.60	c Solving Time (sec) : 1755.01
1800.05/1800.60	c Solving Nodes      : 2702630
1800.05/1800.60	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.60	c Dual Bound         : +1.10178915849346e+02
1800.05/1800.60	c Gap                : infinite
1800.05/1800.60	c NODE         2702630
1800.05/1800.60	c DUAL BOUND   110.179
1800.05/1800.60	c PRIMAL BOUND 1e+20
1800.05/1800.60	c GAP          1e+20
1800.05/1800.60	s UNKNOWN
1800.05/1800.60	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.60	c Solving Time       :    1755.01
1800.05/1800.61	c Original Problem   :
1800.05/1800.61	c   Problem name     : HOME/instance-1884057-1245254148.opb
1800.05/1800.61	c   Variables        : 1472 (1472 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61	c   Constraints      : 7737 initial, 7737 maximal
1800.05/1800.61	c Presolved Problem  :
1800.05/1800.61	c   Problem name     : t_HOME/instance-1884057-1245254148.opb
1800.05/1800.61	c   Variables        : 1430 (1430 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61	c   Constraints      : 5485 initial, 14382 maximal
1800.05/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   dualfix          :       0.00          3          0          0          0          0          0          0          0
1800.05/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   linear           :       1.11         34          5          0         34          0       1576        306          0
1800.05/1800.61	c   logicor          :       1.17          0          0          0          0          0        676          0          0
1800.05/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.61	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.05/1800.61	c   logicor          :       5485+         5    8570374          0          0     805774   20315055          0          0          0
1800.05/1800.61	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.61	c   integral         :       6.60       0.00       0.00       6.60       0.00
1800.05/1800.61	c   logicor          :     223.28       0.00     223.28       0.00       0.00
1800.05/1800.61	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.61	c   rootredcost      :       3.94          0          0          0
1800.05/1800.61	c   pseudoobj        :     718.37   12250644          0          0
1800.05/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.61	c   propagation      :      73.87     805774     805754     805754       36.8     229611       24.1          -
1800.05/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.61	c   applied globally :          -          -          -    1035365       34.0          -          -          -
1800.05/1800.61	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.61	c   cut pool         :       0.00          4          -          -         17          -    (maximal pool size: 1673)
1800.05/1800.61	c   redcost          :       0.01          5          0          0          0          0
1800.05/1800.61	c   impliedbounds    :       0.00          5          0          0          0          0
1800.05/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.61	c   gomory           :       0.81          5          0          0       2500          0
1800.05/1800.61	c   strongcg         :       0.67          5          0          0       2500          0
1800.05/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.61	c   clique           :       0.00          5          0          0         30          0
1800.05/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.61	c   mcf              :       0.01          1          0          0          0          0
1800.05/1800.61	c Pricers            :       Time      Calls       Vars
1800.05/1800.61	c   problem variables:       0.00          0          0
1800.05/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.61	c   relpscost        :       6.60          1          0          0          0          0          2
1800.05/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   inference        :     582.01    2260787          0          0          0          0    4521574
1800.05/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.61	c   LP solutions     :       0.00          -          0
1800.05/1800.61	c   pseudo solutions :       0.00          -          0
1800.05/1800.61	c   simplerounding   :       0.00          0          0
1800.05/1800.61	c   rounding         :       0.00          0          0
1800.05/1800.61	c   shifting         :       0.00          0          0
1800.05/1800.61	c   intshifting      :       0.00          0          0
1800.05/1800.61	c   oneopt           :       0.00          0          0
1800.05/1800.61	c   fixandinfer      :       0.00          0          0
1800.05/1800.61	c   feaspump         :       0.00          0          0
1800.05/1800.61	c   coefdiving       :       0.00          0          0
1800.05/1800.61	c   pscostdiving     :       0.00          0          0
1800.05/1800.61	c   fracdiving       :       0.00          0          0
1800.05/1800.61	c   veclendiving     :       0.00          0          0
1800.05/1800.61	c   intdiving        :       0.00          0          0
1800.05/1800.61	c   actconsdiving    :       0.00          0          0
1800.05/1800.61	c   objpscostdiving  :       0.00          0          0
1800.05/1800.61	c   rootsoldiving    :       0.00          0          0
1800.05/1800.61	c   linesearchdiving :       0.00          0          0
1800.05/1800.61	c   guideddiving     :       0.00          0          0
1800.05/1800.61	c   octane           :       0.00          0          0
1800.05/1800.61	c   rens             :       0.00          0          0
1800.05/1800.61	c   rins             :       0.00          0          0
1800.05/1800.61	c   localbranching   :       0.00          0          0
1800.05/1800.61	c   mutation         :       0.00          0          0
1800.05/1800.61	c   crossover        :       0.00          0          0
1800.05/1800.61	c   dins             :       0.00          0          0
1800.05/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.61	c   primal LP        :       0.01          0          0       0.00       0.00
1800.05/1800.61	c   dual LP          :       1.42          6       1436     239.33    1011.27
1800.05/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.61	c   strong branching :       6.60         39       5374     137.79     814.24
1800.05/1800.61	c     (at root node) :          -         39       5374     137.79          -
1800.05/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.61	c B&B Tree           :
1800.05/1800.61	c   number of runs   :          1
1800.05/1800.61	c   nodes            :    2702630
1800.05/1800.61	c   nodes (total)    :    2702630
1800.05/1800.61	c   nodes left       :         58
1800.05/1800.61	c   max depth        :       1161
1800.05/1800.61	c   max depth (total):       1161
1800.05/1800.61	c   backtracks       :     398073 (14.7%)
1800.05/1800.61	c   delayed cutoffs  :    1818889
1800.05/1800.61	c   repropagations   :    3128752 (9607826 domain reductions, 363932 cutoffs)
1800.05/1800.61	c   avg switch length:       3.75
1800.05/1800.61	c   switching time   :     114.26
1800.05/1800.61	c Solution           :
1800.05/1800.61	c   Solutions found  :          0 (0 improvements)
1800.05/1800.61	c   Primal Bound     :          -
1800.05/1800.61	c   Dual Bound       : +1.10178915849346e+02
1800.05/1800.61	c   Gap              :   infinite
1800.05/1800.61	c   Root Dual Bound  : +1.09870457026985e+02
1800.05/1800.67	c Time complete: 1800.12.

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-1884057-1245254148/watcher-1884057-1245254148 -o /tmp/evaluation-result-1884057-1245254148/solver-1884057-1245254148 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884057-1245254148.opb 

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.00 0.00 0.00 3/64 8738
/proc/meminfo: memFree=1825672/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=4324 CPUtime=0
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 472 0 0 0 0 0 0 0 18 0 1 0 193011858 4427776 456 1992294400 4194304 7823515 548682068736 18446744073709551615 6803293 0 0 4096 0 0 0 0 17 1 0 0
/proc/8738/statm: 1082 463 300 886 0 192 0

[startup+0.015558 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 8738
/proc/meminfo: memFree=1825672/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=9176 CPUtime=0
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 1626 0 0 0 0 0 0 0 18 0 1 0 193011858 9396224 1608 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/8738/statm: 2294 1608 351 886 0 1404 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9176

[startup+0.101568 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 8738
/proc/meminfo: memFree=1825672/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=12060 CPUtime=0.09
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 2336 0 0 0 9 0 0 0 18 0 1 0 193011858 12349440 2318 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/8738/statm: 3015 2318 351 886 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12060

[startup+0.301597 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 8738
/proc/meminfo: memFree=1825672/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=29240 CPUtime=0.29
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 6596 0 0 0 27 2 0 0 19 0 1 0 193011858 29941760 6224 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 7310 6224 432 886 0 6420 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29240

[startup+0.701653 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 8738
/proc/meminfo: memFree=1825672/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=30268 CPUtime=0.69
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 6856 0 0 0 66 3 0 0 22 0 1 0 193011858 30994432 6484 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 7567 6484 434 886 0 6677 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30268

[startup+1.50177 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 8739
/proc/meminfo: memFree=1801344/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=33968 CPUtime=1.49
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 7781 0 0 0 145 4 0 0 25 0 1 0 193011858 34783232 7409 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 8492 7409 437 886 0 7602 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33968

[startup+3.102 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 8739
/proc/meminfo: memFree=1797568/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=47500 CPUtime=3.09
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 11361 0 0 0 302 7 0 0 20 0 1 0 193011858 48640000 10779 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 11875 10779 543 886 0 10985 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47500

[startup+6.30247 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 8739
/proc/meminfo: memFree=1770240/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=61880 CPUtime=6.29
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 14982 0 0 0 620 9 0 0 25 0 1 0 193011858 63365120 14388 1992294400 4194304 7823515 548682068736 18446744073709551615 6109382 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 15470 14388 548 886 0 14580 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61880

[startup+12.7014 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 8739
/proc/meminfo: memFree=1768896/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=63740 CPUtime=12.68
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15327 0 0 0 1256 12 0 0 25 0 1 0 193011858 65269760 14727 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 15935 14727 554 886 0 15045 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63740

[startup+25.5012 s]
/proc/loadavg: 0.34 0.08 0.02 2/65 8739
/proc/meminfo: memFree=1768512/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=63740 CPUtime=25.48
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15346 0 0 0 2503 45 0 0 25 0 1 0 193011858 65269760 14746 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 15935 14746 554 886 0 15045 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63740

[startup+51.1019 s]
/proc/loadavg: 0.63 0.17 0.05 2/65 8739
/proc/meminfo: memFree=1768576/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=63740 CPUtime=51.07
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15346 0 0 0 4996 111 0 0 25 0 1 0 193011858 65269760 14746 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 15935 14746 554 886 0 15045 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 63740

[startup+102.305 s]
/proc/loadavg: 0.95 0.32 0.11 2/65 8739
/proc/meminfo: memFree=1768448/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=63740 CPUtime=102.26
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15347 0 0 0 9990 236 0 0 25 0 1 0 193011858 65269760 14747 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 15935 14747 554 886 0 15045 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 63740

[startup+162.302 s]
/proc/loadavg: 0.98 0.44 0.17 2/65 8739
/proc/meminfo: memFree=1768448/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=63740 CPUtime=162.24
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15347 0 0 0 15840 384 0 0 25 0 1 0 193011858 65269760 14747 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 15935 14747 554 886 0 15045 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 63740

[startup+222.301 s]
/proc/loadavg: 0.99 0.54 0.21 2/65 8739
/proc/meminfo: memFree=1768448/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=63740 CPUtime=222.23
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15348 0 0 0 21688 535 0 0 25 0 1 0 193011858 65269760 14748 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 15935 14748 554 886 0 15045 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 63740

[startup+282.302 s]
/proc/loadavg: 0.99 0.62 0.26 2/65 8739
/proc/meminfo: memFree=1768384/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=63740 CPUtime=282.21
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15354 0 0 0 27539 682 0 0 25 0 1 0 193011858 65269760 14754 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 15935 14754 554 886 0 15045 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 63740

[startup+342.302 s]
/proc/loadavg: 0.99 0.69 0.30 2/65 8745
/proc/meminfo: memFree=1768064/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=63740 CPUtime=342.18
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15368 0 0 0 33396 822 0 0 25 0 1 0 193011858 65269760 14768 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 15935 14768 554 886 0 15045 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 63740

[startup+402.302 s]
/proc/loadavg: 0.99 0.74 0.34 2/65 8745
/proc/meminfo: memFree=1768064/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=63740 CPUtime=402.16
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15371 0 0 0 39243 973 0 0 25 0 1 0 193011858 65269760 14771 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 15935 14771 554 886 0 15045 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 63740

[startup+462.302 s]
/proc/loadavg: 0.99 0.79 0.38 2/65 8745
/proc/meminfo: memFree=1768064/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=63740 CPUtime=462.14
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15371 0 0 0 45085 1129 0 0 25 0 1 0 193011858 65269760 14771 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 15935 14771 554 886 0 15045 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 63740

[startup+522.301 s]
/proc/loadavg: 0.99 0.82 0.42 2/65 8745
/proc/meminfo: memFree=1768064/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=63740 CPUtime=522.13
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15371 0 0 0 50936 1277 0 0 25 0 1 0 193011858 65269760 14771 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 15935 14771 554 886 0 15045 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 63740

[startup+582.302 s]
/proc/loadavg: 0.99 0.85 0.45 2/65 8745
/proc/meminfo: memFree=1768000/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=63740 CPUtime=582.11
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15371 0 0 0 56781 1430 0 0 25 0 1 0 193011858 65269760 14771 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 15935 14771 554 886 0 15045 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 63740

[startup+642.302 s]
/proc/loadavg: 0.99 0.88 0.49 2/65 8745
/proc/meminfo: memFree=1767936/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=63740 CPUtime=642.09
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15371 0 0 0 62625 1584 0 0 25 0 1 0 193011858 65269760 14771 1992294400 4194304 7823515 548682068736 18446744073709551615 4770551 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 15935 14771 554 886 0 15045 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 63740

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 0.99 0.92 0.57 2/65 8745
/proc/meminfo: memFree=1766208/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=64868 CPUtime=822.04
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15779 0 0 0 80168 2036 0 0 25 0 1 0 193011858 66424832 15179 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16217 15179 554 886 0 15327 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 64868

[startup+882.302 s]
/proc/loadavg: 0.99 0.94 0.59 2/65 8745
/proc/meminfo: memFree=1765504/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=65836 CPUtime=882.02
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15936 0 0 0 86017 2185 0 0 25 0 1 0 193011858 67416064 15336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16459 15336 554 886 0 15569 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 65836

[startup+942.301 s]
/proc/loadavg: 0.99 0.94 0.61 2/65 8745
/proc/meminfo: memFree=1765504/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=65836 CPUtime=942.01
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15936 0 0 0 91863 2338 0 0 25 0 1 0 193011858 67416064 15336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16459 15336 554 886 0 15569 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 65836

[startup+1002.3 s]
/proc/loadavg: 0.99 0.95 0.64 2/65 8745
/proc/meminfo: memFree=1765440/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=65836 CPUtime=1001.99
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15936 0 0 0 97710 2489 0 0 25 0 1 0 193011858 67416064 15336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16459 15336 554 886 0 15569 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 65836

[startup+1062.3 s]
/proc/loadavg: 0.99 0.96 0.65 2/65 8745
/proc/meminfo: memFree=1765376/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=65836 CPUtime=1061.97
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15936 0 0 0 103558 2639 0 0 25 0 1 0 193011858 67416064 15336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16459 15336 554 886 0 15569 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 65836

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/65 8745
/proc/meminfo: memFree=1765376/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=65836 CPUtime=1121.95
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15936 0 0 0 109411 2784 0 0 25 0 1 0 193011858 67416064 15336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16459 15336 554 886 0 15569 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 65836

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.69 2/65 8745
/proc/meminfo: memFree=1765376/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=65836 CPUtime=1181.94
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15936 0 0 0 115262 2932 0 0 25 0 1 0 193011858 67416064 15336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16459 15336 554 886 0 15569 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 65836

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.71 2/65 8745
/proc/meminfo: memFree=1765248/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=65836 CPUtime=1241.91
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15936 0 0 0 121103 3088 0 0 25 0 1 0 193011858 67416064 15336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16459 15336 554 886 0 15569 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 65836

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.73 2/65 8745
/proc/meminfo: memFree=1765248/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=65836 CPUtime=1301.9
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15936 0 0 0 126949 3241 0 0 25 0 1 0 193011858 67416064 15336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16459 15336 554 886 0 15569 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 65836

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.74 2/65 8745
/proc/meminfo: memFree=1765184/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=65836 CPUtime=1361.88
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15936 0 0 0 132799 3389 0 0 25 0 1 0 193011858 67416064 15336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16459 15336 554 886 0 15569 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 65836

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.75 2/65 8745
/proc/meminfo: memFree=1765120/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=65836 CPUtime=1421.87
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 15936 0 0 0 138639 3548 0 0 25 0 1 0 193011858 67416064 15336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16459 15336 554 886 0 15569 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 65836

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/65 8745
/proc/meminfo: memFree=1764864/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=66072 CPUtime=1481.84
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 16005 0 0 0 144486 3698 0 0 25 0 1 0 193011858 67657728 15405 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16518 15405 554 886 0 15628 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 66072

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/65 8745
/proc/meminfo: memFree=1764736/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=66072 CPUtime=1541.83
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 16011 0 0 0 150336 3847 0 0 25 0 1 0 193011858 67657728 15411 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16518 15411 554 886 0 15628 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 66072

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/65 8745
/proc/meminfo: memFree=1764672/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=66072 CPUtime=1601.81
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 16012 0 0 0 156191 3990 0 0 25 0 1 0 193011858 67657728 15412 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16518 15412 554 886 0 15628 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 66072

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/65 8745
/proc/meminfo: memFree=1764416/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=66264 CPUtime=1661.79
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 16067 0 0 0 162037 4142 0 0 25 0 1 0 193011858 67854336 15467 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16566 15467 554 886 0 15676 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 66264

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.81 2/65 8745
/proc/meminfo: memFree=1764288/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=66520 CPUtime=1721.78
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 16085 0 0 0 167882 4296 0 0 25 0 1 0 193011858 68116480 15485 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16630 15485 554 886 0 15740 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 66520

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 8745
/proc/meminfo: memFree=1764160/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=66520 CPUtime=1781.75
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 16088 0 0 0 173732 4443 0 0 25 0 1 0 193011858 68116480 15488 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16630 15488 554 886 0 15740 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 66520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 8745
/proc/meminfo: memFree=1763712/2055920 swapFree=4181524/4192956
[pid=8738] ppid=8736 vsize=67000 CPUtime=1800.05
/proc/8738/stat : 8738 (pbscip.linux.x8) R 8736 8738 8701 0 -1 4194304 16210 0 0 0 175519 4486 0 0 25 0 1 0 193011858 68608000 15610 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8738/statm: 16750 15610 554 886 0 15860 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 67000

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

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

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.14
CPU user time (s): 1755.26
CPU system time (s): 44.8802
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 67000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.26
system time used= 44.8802
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16243
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= 5
involuntary context switches= 2336

runsolver used 1.62375 second user time and 3.35049 second system time

The end

Begin job on node39 at 2009-06-17 17:55:48
IDJOB=1884057
IDBENCH=71919
IDSOLVER=683
FILE ID=node39/1884057-1245254148
PBS_JOBID= 9372414
Free space on /tmp= 66128 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT07/crafted/Medium/contest05/others/QG-gensys-icl003.sat05-2715.reshuffled-07.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1884057-1245254148/watcher-1884057-1245254148 -o /tmp/evaluation-result-1884057-1245254148/solver-1884057-1245254148 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884057-1245254148.opb

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

MD5SUM BENCH= a2cf12abae22f22f6e09cef43636656a
RANDOM SEED=713165438

node39.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.263
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.263
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1826088 kB
Buffers:         50480 kB
Cached:         109628 kB
SwapCached:       5200 kB
Active:          47712 kB
Inactive:       120132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1826088 kB
SwapTotal:     4192956 kB
SwapFree:      4181524 kB
Dirty:           10620 kB
Writeback:           0 kB
Mapped:          13444 kB
Slab:            47952 kB
Committed_AS:   157248 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66120 MiB
End job on node39 at 2009-06-17 18:25:51