0.39/0.43	c SCIP version 1.1.0.7
0.39/0.43	c LP-Solver Clp 1.8.2
0.39/0.43	c user parameter file <scip.set> not found - using default parameters
0.39/0.43	c read problem <HOME/instance-1885118-1245263378.opb>
0.39/0.43	c original problem has 1473 variables (1473 bin, 0 int, 0 impl, 0 cont) and 30387 constraints
0.49/0.51	c No objective function, only one solution is needed.
0.49/0.51	c start presolving problem
0.49/0.51	c presolving:
0.79/0.86	c (round 1) 0 del vars, 350 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 30037 upgd conss, 72866 impls, 0 clqs
0.89/0.91	c presolving (2 rounds):
0.89/0.91	c  0 deleted vars, 350 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.91	c  72866 implications, 0 cliques
0.89/0.91	c presolved problem has 1473 variables (1473 bin, 0 int, 0 impl, 0 cont) and 30037 constraints
0.89/0.91	c   30037 constraints of type <logicor>
0.89/0.91	c transformed objective value is always integral (scale: 1)
0.89/0.91	c Presolving Time: 0.33
0.89/0.91	c PURESAT
0.89/0.91	c -----------------------------------------------------------------------------------------------
0.89/0.91	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.91	c separating/flowcover/freq = c -1
0.89/0.91	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.91	c separating/cmir/freq = c -1
0.89/0.91	c # additional number of allowed LP iterations
0.89/0.91	c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.91	c heuristics/veclendiving/maxlpiterofs = c 1500
0.89/0.91	c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.91	c heuristics/veclendiving/maxlpiterquot = c 0.075
0.89/0.91	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.91	c heuristics/veclendiving/freq = c -1
0.89/0.91	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.91	c heuristics/simplerounding/freq = c -1
0.89/0.91	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.91	c heuristics/shifting/freq = c -1
0.89/0.91	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.91	c heuristics/rounding/freq = c -1
0.89/0.91	c # additional number of allowed LP iterations
0.89/0.91	c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.91	c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.89/0.91	c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.89/0.91	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.89/0.91	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 20]
0.89/0.91	c heuristics/rootsoldiving/freq = c -1
0.89/0.91	c # number of nodes added to the contingent of the total nodes
0.89/0.91	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.89/0.91	c heuristics/rens/nodesofs = c 2000
0.89/0.91	c # minimum percentage of integer variables that have to be fixable 
0.89/0.91	c # [type: real, range: [0,1], default: 0.5]
0.89/0.91	c heuristics/rens/minfixingrate = c 0.3
0.89/0.91	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.91	c heuristics/rens/freq = c -1
0.89/0.91	c # additional number of allowed LP iterations
0.89/0.91	c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.91	c heuristics/pscostdiving/maxlpiterofs = c 1500
0.89/0.91	c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.91	c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.89/0.91	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.91	c heuristics/pscostdiving/freq = c -1
0.89/0.91	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.91	c heuristics/oneopt/freq = c -1
0.89/0.91	c # additional number of allowed LP iterations
0.89/0.91	c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.91	c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.89/0.91	c # maximal fraction of diving LP iterations compared to total iteration number
0.89/0.91	c # [type: real, range: [0,1], default: 0.01]
0.89/0.91	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.89/0.91	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 20]
0.89/0.91	c heuristics/objpscostdiving/freq = c -1
0.89/0.91	c # additional number of allowed LP iterations
0.89/0.91	c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.91	c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.89/0.91	c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.91	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.89/0.91	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.91	c heuristics/linesearchdiving/freq = c -1
0.89/0.91	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.91	c heuristics/intshifting/freq = c -1
0.89/0.91	c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.91	c heuristics/intdiving/maxlpiterquot = c 0.075
0.89/0.91	c # additional number of allowed LP iterations
0.89/0.91	c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.91	c heuristics/guideddiving/maxlpiterofs = c 1500
0.89/0.91	c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.91	c heuristics/guideddiving/maxlpiterquot = c 0.075
0.89/0.91	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.91	c heuristics/guideddiving/freq = c -1
0.89/0.91	c # additional number of allowed LP iterations
0.89/0.91	c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.91	c heuristics/fracdiving/maxlpiterofs = c 1500
0.89/0.91	c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.91	c heuristics/fracdiving/maxlpiterquot = c 0.075
0.89/0.91	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.91	c heuristics/fracdiving/freq = c -1
0.89/0.91	c # additional number of allowed LP iterations
0.89/0.91	c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.91	c heuristics/feaspump/maxlpiterofs = c 2000
0.89/0.91	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 20]
0.89/0.91	c heuristics/feaspump/freq = c -1
0.89/0.91	c # minimum percentage of integer variables that have to be fixed 
0.89/0.91	c # [type: real, range: [0,1], default: 0.666]
0.89/0.92	c heuristics/crossover/minfixingrate = c 0.5
0.89/0.92	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.89/0.92	c # [type: real, range: [0,1], default: 0.1]
0.89/0.92	c heuristics/crossover/nodesquot = c 0.15
0.89/0.92	c # number of nodes without incumbent change that heuristic should wait
0.89/0.92	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.89/0.92	c heuristics/crossover/nwaitingnodes = c 100
0.89/0.92	c # number of nodes added to the contingent of the total nodes
0.89/0.92	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.89/0.92	c heuristics/crossover/nodesofs = c 750
0.89/0.92	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.89/0.92	c # [type: int, range: [-1,2147483647], default: 30]
0.89/0.92	c heuristics/crossover/freq = c -1
0.89/0.92	c # additional number of allowed LP iterations
0.89/0.92	c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.92	c heuristics/coefdiving/maxlpiterofs = c 1500
0.89/0.92	c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.92	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.92	c heuristics/coefdiving/maxlpiterquot = c 0.075
0.89/0.92	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.89/0.92	c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.92	c heuristics/coefdiving/freq = c -1
0.89/0.92	c # priority of node selection rule <dfs> in standard mode
0.89/0.92	c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.92	c nodeselection/dfs/stdpriority = c 1000000
0.89/0.92	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.89/0.92	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.92	c presolving/probing/maxrounds = c 0
0.89/0.92	c # should presolving try to simplify knapsacks
0.89/0.92	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.92	c constraints/knapsack/simplifyinequalities = c TRUE
0.89/0.92	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.89/0.92	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.89/0.92	c constraints/knapsack/disaggregation = c FALSE
0.89/0.92	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.89/0.92	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.92	c constraints/knapsack/maxnumcardlift = c 0
0.89/0.92	c # should presolving try to simplify inequalities
0.89/0.92	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.92	c constraints/linear/simplifyinequalities = c TRUE
0.89/0.92	c # maximal number of separation rounds in the root node (-1: unlimited)
0.89/0.92	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.92	c separating/maxroundsroot = c 5
0.89/0.92	c # maximal number of separation rounds per node (-1: unlimited)
0.89/0.92	c # [type: int, range: [-1,2147483647], default: 5]
0.89/0.92	c separating/maxrounds = c 1
0.89/0.92	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)
0.89/0.92	c # [type: char, range: {lafpsqd}, default: l]
0.89/0.92	c lp/pricing = c a
0.89/0.92	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.92	c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.92	c lp/solvefreq = c 0
0.89/0.92	c # solving stops, if the given number of solutions were found (-1: no limit)
0.89/0.92	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.92	c limits/solutions = c 1
0.89/0.92	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.92	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.92	c limits/memory = c 1620
0.89/0.92	c # maximal time in seconds to run
0.89/0.92	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.92	c limits/time = c 1791
0.89/0.92	c # frequency for displaying node information lines
0.89/0.92	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.92	c display/freq = c 10000
0.89/0.92	c # should enforcement of pseudo solution be disabled?
0.89/0.92	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.92	c constraints/disableenfops = c TRUE
0.89/0.92	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.92	c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.92	c constraints/agelimit = c 1
0.89/0.92	c # should binary conflicts be preferred?
0.89/0.92	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.92	c conflict/preferbinary = c TRUE
0.89/0.92	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.92	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.92	c conflict/interconss = c 0
0.89/0.92	c -----------------------------------------------------------------------------------------------
0.89/0.92	c start solving problem
0.89/0.92	c 
5.39/5.50	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.39/5.50	c   4.9s|     1 |     0 |  1485 |  37M|   0 | 642 |1473 |  30k|  30k|1473 |  30k|   0 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
40.17/40.25	c  39.6s|     1 |     0 |  2144 |  41M|   0 | 670 |1473 |  30k|  30k|1473 |  30k|   9 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
77.95/78.05	c  77.3s|     1 |     0 |  2414 |  45M|   0 | 633 |1473 |  30k|  30k|1473 |  30k|  17 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
93.34/93.42	c  92.6s|     1 |     0 |  3189 |  50M|   0 | 626 |1473 |  30k|  30k|1473 |  30k|  29 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
132.63/132.75	c   132s|     1 |     0 |  3857 |  54M|   0 | 616 |1473 |  30k|  30k|1473 |  30k|  43 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
227.20/227.36	c   226s|     1 |     0 | 12906 |  58M|   0 | 980 |1473 |  30k|  30k|1473 |  30k|  47 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
356.55/356.73	c   355s|     1 |     2 | 12906 |  58M|   0 | 980 |1473 |  30k|  30k|1473 |  30k|  47 |   0 |  21 | 1.330000e+02 |      --      |    Inf 
379.25/379.44	c   378s| 10000 |    89 | 12906 |  60M| 208 |   - |1473 |  31k|  15k|   0 |   0 |  47 |7745 |  21 | 1.330000e+02 |      --      |    Inf 
400.94/401.18	c   400s| 20000 |    85 | 12906 |  60M| 208 |   - |1473 |  32k|  10k|   0 |   0 |  47 |  15k|  21 | 1.330000e+02 |      --      |    Inf 
425.43/425.64	c   424s| 30000 |    89 | 12906 |  61M| 208 |   - |1473 |  33k|  15k|   0 |   0 |  47 |  25k|  21 | 1.330000e+02 |      --      |    Inf 
449.01/449.22	c   447s| 40000 |    92 | 12906 |  62M| 208 |   - |1473 |  36k|9914 |   0 |   0 |  47 |  36k|  21 | 1.330000e+02 |      --      |    Inf 
470.71/470.90	c   469s| 50000 |    85 | 12906 |  63M| 208 |   - |1473 |  40k|  11k|   0 |   0 |  47 |  48k|  21 | 1.330000e+02 |      --      |    Inf 
493.61/493.88	c   491s| 60000 |    81 | 12906 |  64M| 208 |   - |1473 |  43k|  16k|   0 |   0 |  47 |  59k|  21 | 1.330000e+02 |      --      |    Inf 
516.50/516.76	c   514s| 70000 |    91 | 12906 |  65M| 208 |   - |1473 |  46k|  13k|   0 |   0 |  47 |  70k|  21 | 1.330000e+02 |      --      |    Inf 
539.48/539.77	c   537s| 80000 |    79 | 12906 |  66M| 208 |   - |1473 |  49k|  11k|   0 |   0 |  47 |  81k|  21 | 1.330000e+02 |      --      |    Inf 
563.87/564.13	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
563.87/564.13	c   561s| 90000 |    98 | 12906 |  67M| 208 |   - |1473 |  52k|  15k|   0 |   0 |  47 |  93k|  21 | 1.330000e+02 |      --      |    Inf 
588.07/588.33	c   585s|100000 |    90 | 12906 |  67M| 208 |   - |1473 |  54k|  14k|   0 |   0 |  47 | 102k|  21 | 1.330000e+02 |      --      |    Inf 
611.55/611.89	c   608s|110000 |    93 | 12906 |  68M| 208 |   - |1473 |  56k|  10k|   0 |   0 |  47 | 112k|  21 | 1.330000e+02 |      --      |    Inf 
633.45/633.75	c   630s|120000 |    99 | 12906 |  62M| 208 |   - |1473 |  35k|  15k|   0 |   0 |  47 | 123k|  21 | 1.330000e+02 |      --      |    Inf 
654.94/655.26	c   651s|130000 |    84 | 12906 |  63M| 208 |   - |1473 |  37k|  16k|   0 |   0 |  47 | 133k|  21 | 1.330000e+02 |      --      |    Inf 
676.44/676.77	c   672s|140000 |    84 | 12906 |  64M| 208 |   - |1473 |  41k|  12k|   0 |   0 |  47 | 145k|  21 | 1.330000e+02 |      --      |    Inf 
699.72/700.03	c   695s|150000 |    98 | 12906 |  65M| 208 |   - |1473 |  45k|  14k|   0 |   0 |  47 | 158k|  21 | 1.330000e+02 |      --      |    Inf 
723.62/723.99	c   719s|160000 |    84 | 12906 |  66M| 208 |   - |1473 |  48k|  16k|   0 |   0 |  47 | 170k|  21 | 1.330000e+02 |      --      |    Inf 
745.41/745.74	c   741s|170000 |    87 | 12906 |  68M| 208 |   - |1473 |  53k|  13k|   0 |   0 |  47 | 183k|  21 | 1.330000e+02 |      --      |    Inf 
765.71/766.05	c   761s|180000 |    85 | 12906 |  69M| 208 |   - |1473 |  58k|8493 |   0 |   0 |  47 | 195k|  21 | 1.330000e+02 |      --      |    Inf 
788.30/788.62	c   783s|190000 |   105 | 12906 |  70M| 208 |   - |1473 |  62k|  14k|   0 |   0 |  47 | 207k|  21 | 1.330000e+02 |      --      |    Inf 
811.39/811.74	c   806s|200000 |    85 | 12906 |  72M| 208 |   - |1473 |  67k|  11k|   0 |   0 |  47 | 219k|  21 | 1.330000e+02 |      --      |    Inf 
834.98/835.39	c   829s|210000 |    90 | 12906 |  73M| 208 |   - |1473 |  72k|8876 |   0 |   0 |  47 | 232k|  21 | 1.330000e+02 |      --      |    Inf 
837.27/837.63	c * 832s|210962 |     0 | 12906 |  74M| 208 |   - |1473 |  73k|9830 |   0 |   0 |  47 | 233k|  21 | 1.330000e+02 | 1.330000e+02 |   0.00%
837.27/837.65	c 
837.27/837.65	c SCIP Status        : problem is solved [optimal solution found]
837.27/837.65	c Solving Time (sec) : 831.61
837.27/837.65	c Solving Nodes      : 210962
837.27/837.65	c Primal Bound       : +1.33000000000000e+02 (1 solutions)
837.27/837.65	c Dual Bound         : +1.33000000000000e+02
837.27/837.65	c Gap                : 0.00 %
837.27/837.67	c NODE         210962
837.27/837.67	c DUAL BOUND   133
837.27/837.67	c PRIMAL BOUND 133
837.27/837.67	c GAP          0
837.27/837.67	s SATISFIABLE
837.27/837.67	v x1473 -x1472 -x1471 -x1470 x1469 -x1468 -x1467 -x1466 x1465 -x1464 -x1463 x1462 -x1461 x1460 -x1459 -x1458 x1457 -x1456 x1455 -x1454 
837.27/837.67	v -x1453 -x1452 -x1451 -x1450 -x1449 x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 x1441 -x1440 -x1439 -x1438 x1437 -x1436 
837.27/837.67	v -x1435 -x1434 -x1433 -x1432 -x1431 x1430 -x1429 -x1428 -x1427 -x1426 x1425 -x1424 -x1423 -x1422 -x1421 x1420 -x1419 -x1418 
837.27/837.67	v x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 x1408 -x1407 -x1406 x1405 -x1404 -x1403 -x1402 -x1401 -x1400 
837.27/837.67	v -x1399 -x1398 -x1397 x1396 -x1395 -x1394 -x1393 -x1392 -x1391 x1390 -x1389 -x1388 -x1387 -x1386 x1385 -x1384 -x1383 x1382 -x1381 
837.27/837.67	v -x1380 -x1379 -x1378 x1377 -x1376 -x1375 -x1374 x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 x1365 -x1364 -x1363 
837.27/837.67	v -x1362 -x1361 -x1360 x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 x1352 -x1351 -x1350 x1349 -x1348 -x1347 -x1346 -x1345 
837.27/837.67	v x1344 -x1343 -x1342 -x1341 x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 x1330 -x1329 -x1328 x1327 -x1326 
837.27/837.67	v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 x1318 -x1317 -x1316 -x1315 -x1314 x1313 -x1312 x1311 -x1310 -x1309 -x1308 
837.27/837.67	v x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 x1297 -x1296 -x1295 x1294 -x1293 -x1292 -x1291 -x1290 
837.27/837.67	v -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 x1279 -x1278 -x1277 x1276 -x1275 -x1274 -x1273 -x1272 -x1271 
837.27/837.67	v x1270 -x1269 -x1268 x1267 -x1266 -x1265 -x1264 -x1263 -x1262 x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 
837.27/837.67	v x1252 -x1251 -x1250 x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 x1240 -x1239 x1238 -x1237 -x1236 -x1235 
837.27/837.67	v -x1234 x1233 -x1232 -x1231 -x1230 x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 x1221 -x1220 -x1219 -x1218 -x1217 x1216 
837.27/837.67	v -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 x1208 -x1207 -x1206 x1205 -x1204 -x1203 -x1202 -x1201 x1200 -x1199 -x1198 
837.27/837.67	v -x1197 -x1196 -x1195 -x1194 x1193 -x1192 -x1191 -x1190 x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 x1181 -x1180 
837.27/837.67	v -x1179 -x1178 -x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170 x1169 -x1168 -x1167 x1166 -x1165 -x1164 -x1163 -x1162 -x1161 
837.27/837.67	v x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 x1143 
837.27/837.67	v -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 x1135 -x1134 x1133 -x1132 x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 
837.27/837.67	v -x1124 x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 x1109 -x1108 x1107 -x1106 
837.27/837.67	v -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 x1089 -x1088 
837.27/837.67	v -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 -x1080 -x1079 x1078 -x1077 -x1076 -x1075 -x1074 -x1073 x1072 -x1071 -x1070 
837.27/837.67	v -x1069 -x1068 -x1067 -x1066 -x1065 x1064 -x1063 -x1062 x1061 -x1060 -x1059 x1058 -x1057 x1056 -x1055 -x1054 -x1053 x1052 -x1051 
837.27/837.67	v -x1050 x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 x1042 -x913 -x888 -x863 -x838 -x813 -x748 -x723 -x698 -x673 -x648 -x583 
837.27/837.67	v -x558 -x533 -x508 x483 -x418 -x393 -x368 -x343 -x318 -x253 -x228 -x203 -x178 -x153 -x912 -x887 -x862 -x837 -x812 -x747 -x722 
837.27/837.67	v -x697 -x672 -x647 -x582 -x557 -x532 -x507 -x482 -x417 -x392 -x367 -x342 -x317 -x252 -x227 -x202 x177 -x152 -x911 -x886 -x861 
837.27/837.67	v -x836 x811 -x746 -x721 -x696 -x671 -x646 -x581 -x556 -x531 -x506 -x481 -x416 -x391 -x366 -x341 -x316 -x251 -x226 -x201 -x176 
837.27/837.67	v -x151 -x910 -x885 -x860 -x835 -x810 -x745 -x720 -x695 -x670 -x645 -x580 -x555 -x530 x505 -x480 -x415 -x390 -x365 -x340 -x315 
837.27/837.67	v -x250 -x225 -x200 -x175 -x150 -x909 x884 -x859 -x834 -x809 -x744 -x719 -x694 -x669 -x644 -x579 -x554 -x529 -x504 -x479 -x414 
837.27/837.67	v -x389 -x364 -x339 -x314 -x249 -x224 -x199 -x174 -x149 -x908 -x883 -x858 x833 -x808 -x743 -x718 -x693 -x668 -x643 -x578 -x553 
837.27/837.67	v -x528 -x503 -x478 -x413 -x388 -x363 -x338 -x313 -x248 -x223 -x198 -x173 -x148 -x907 -x882 x857 -x832 -x807 -x742 -x717 -x692 
837.27/837.67	v -x667 -x642 -x577 -x552 -x527 -x502 -x477 -x412 -x387 -x362 -x337 -x312 -x247 -x222 -x197 -x172 -x147 -x906 -x881 -x856 -x831 
837.27/837.67	v -x806 -x741 -x716 -x691 -x666 -x641 -x576 x551 -x526 -x501 -x476 -x411 -x386 -x361 -x336 -x311 -x246 -x221 -x196 -x171 -x146 
837.27/837.67	v -x905 -x880 -x855 -x830 -x805 -x740 -x715 -x690 -x665 -x640 -x575 -x550 -x525 -x500 -x475 -x410 -x385 -x360 -x335 -x310 
837.27/837.67	v -x245 x220 -x195 -x170 -x145 -x904 -x879 -x854 -x829 -x804 -x739 -x714 -x689 -x664 -x639 -x574 -x549 -x524 -x499 -x474 -x409 
837.27/837.67	v -x384 -x359 -x334 -x309 -x244 -x219 -x194 -x169 x144 -x903 -x878 -x853 -x828 -x803 -x738 -x713 -x688 -x663 -x638 x573 -x548 -x523 
837.27/837.67	v -x498 -x473 -x408 -x383 -x358 -x333 -x308 -x243 -x218 -x193 -x168 -x143 -x902 -x877 -x852 -x827 -x802 -x737 -x712 -x687 
837.27/837.67	v x662 -x637 -x572 -x547 -x522 -x497 -x472 -x407 -x382 -x357 -x332 -x307 -x242 -x217 -x192 -x167 -x142 -x901 -x876 -x851 -x826 
837.27/837.67	v -x801 -x736 x711 -x686 -x661 -x636 -x571 -x546 -x521 -x496 -x471 -x406 -x381 -x356 -x331 -x306 -x241 -x216 -x191 -x166 -x141 
837.27/837.67	v -x900 -x875 -x850 -x825 -x800 -x735 -x710 -x685 -x660 x635 -x570 -x545 -x520 -x495 -x470 -x405 -x380 -x355 -x330 -x305 -x240 
837.27/837.67	v -x215 -x190 -x165 -x140 -x899 -x874 -x849 -x824 -x799 -x734 -x709 -x684 -x659 -x634 -x569 -x544 x519 -x494 -x469 -x404 -x379 
837.27/837.67	v -x354 -x329 -x304 -x239 -x214 -x189 -x164 -x139 -x898 -x873 -x848 -x823 -x798 -x733 -x708 -x683 -x658 -x633 -x568 -x543 -x518 
837.27/837.67	v -x493 -x468 x403 -x378 -x353 -x328 -x303 -x238 -x213 -x188 -x163 -x138 -x897 -x872 -x847 -x822 -x797 -x732 -x707 -x682 -x657 
837.27/837.67	v -x632 -x567 -x542 -x517 -x492 -x467 -x402 -x377 -x352 x327 -x302 -x237 -x212 -x187 -x162 -x137 x896 -x871 -x846 -x821 -x796 
837.27/837.67	v -x731 -x706 -x681 -x656 -x631 -x566 -x541 -x516 -x491 -x466 -x401 -x376 -x351 -x326 -x301 -x236 -x211 -x186 -x161 -x136 -x895 
837.27/837.67	v -x870 -x845 -x820 -x795 -x730 -x705 -x680 -x655 -x630 -x565 -x540 -x515 -x490 -x465 -x400 x375 -x350 -x325 -x300 -x235 -x210 
837.27/837.67	v -x185 -x160 -x135 -x894 -x869 -x844 -x819 -x794 -x729 -x704 -x679 -x654 -x629 -x564 -x539 -x514 -x489 -x464 -x399 -x374 -x349 
837.27/837.67	v -x324 x299 -x234 -x209 -x184 -x159 -x134 -x893 -x868 -x843 -x818 -x793 -x728 -x703 -x678 -x653 -x628 -x563 -x538 -x513 -x488 
837.27/837.67	v -x463 -x398 -x373 -x348 -x323 -x298 x233 -x208 -x183 -x158 -x133 -x892 -x867 -x842 -x817 -x792 -x727 -x702 x677 -x652 -x627 
837.27/837.67	v -x562 -x537 -x512 -x487 -x462 -x397 -x372 -x347 -x322 -x297 -x232 -x207 -x182 -x157 -x132 -x891 -x866 -x841 -x816 -x791 -x726 
837.27/837.67	v -x701 -x676 -x651 -x626 -x561 -x536 -x511 -x486 -x461 -x396 -x371 x346 -x321 -x296 -x231 -x206 -x181 -x156 -x131 -x890 -x865 
837.27/837.67	v -x840 -x815 -x790 -x725 -x700 -x675 -x650 -x625 -x560 -x535 -x510 -x485 -x460 -x395 -x370 -x345 -x320 -x295 -x230 -x205 x180 
837.27/837.67	v -x155 -x130 -x889 -x864 -x839 -x814 -x789 x724 -x699 -x674 -x649 -x624 -x559 -x534 -x509 -x484 -x459 -x394 -x369 -x344 -x319 
837.27/837.67	v -x294 -x229 -x204 -x179 -x154 -x129 -x1037 -x1017 -x997 -x977 -x957 -x933 -x788 -x768 -x623 -x603 -x458 -x438 -x293 -x273 -x128 
837.27/837.67	v -x104 -x84 x64 -x44 -x24 -x1036 -x1016 -x996 -x976 -x956 -x932 -x787 -x767 -x622 x602 -x457 -x437 -x292 -x272 -x127 -x103 
837.27/837.67	v -x83 -x63 -x43 -x23 x1035 -x1015 -x995 -x975 -x955 -x931 -x786 -x766 -x621 -x601 -x456 -x436 -x291 -x271 -x126 -x102 -x82 -x62 
837.27/837.67	v -x42 -x22 -x1034 x1014 -x994 -x974 -x954 -x930 -x785 -x765 -x620 -x600 -x455 -x435 -x290 -x270 -x125 -x101 -x81 -x61 -x41 
837.27/837.67	v -x21 -x1033 -x1013 -x993 x973 -x953 -x929 -x784 -x764 -x619 -x599 -x454 -x434 -x289 -x269 -x124 -x100 -x80 -x60 -x40 -x20 -x1032 
837.27/837.67	v -x1012 -x992 -x972 x952 -x928 -x783 -x763 -x618 -x598 -x453 -x433 -x288 -x268 -x123 -x99 -x79 -x59 -x39 -x19 -x1031 -x1011 
837.27/837.67	v -x991 -x971 -x951 -x927 -x782 -x762 -x617 -x597 -x452 -x432 -x287 -x267 -x122 x98 -x78 -x58 -x38 -x18 -x1030 -x1010 -x990 
837.27/837.67	v -x970 -x950 -x926 -x781 -x761 -x616 -x596 -x451 -x431 -x286 -x266 -x121 -x97 x77 -x57 -x37 -x17 -x1029 -x1009 -x989 -x969 -x949 
837.27/837.67	v -x925 -x780 -x760 -x615 -x595 -x450 x430 -x285 -x265 -x120 -x96 -x76 -x56 -x36 -x16 -x1028 -x1008 -x988 -x968 -x948 -x924 
837.27/837.67	v -x779 -x759 -x614 -x594 -x449 -x429 -x284 x264 -x119 -x95 -x75 -x55 -x35 -x15 -x1027 -x1007 -x987 -x967 -x947 -x923 -x778 x758 
837.27/837.67	v -x613 -x593 -x448 -x428 -x283 -x263 -x118 -x94 -x74 -x54 -x34 -x14 -x1026 -x1006 -x986 -x966 -x946 -x922 -x777 -x757 -x612 
837.27/837.67	v -x592 -x447 -x427 x282 -x262 -x117 -x93 -x73 -x53 -x33 -x13 -x1025 -x1005 -x985 -x965 -x945 -x921 -x776 -x756 -x611 -x591 -x446 
837.27/837.67	v -x426 -x281 -x261 -x116 -x92 -x72 -x52 -x32 x12 -x1024 -x1004 -x984 -x964 -x944 -x920 -x775 -x755 -x610 -x590 x445 -x425 -x280 
837.27/837.67	v -x260 -x115 -x91 -x71 -x51 -x31 -x11 -x1023 -x1003 x983 -x963 -x943 -x919 -x774 -x754 -x609 -x589 -x444 -x424 -x279 -x259 
837.27/837.67	v -x114 -x90 -x70 -x50 -x30 -x10 -x1022 -x1002 -x982 -x962 -x942 -x918 x773 -x753 -x608 -x588 -x443 -x423 -x278 -x258 -x113 -x89 
837.27/837.67	v -x69 -x49 -x29 -x9 -x1021 -x1001 -x981 -x961 -x941 -x917 -x772 -x752 -x607 -x587 -x442 -x422 -x277 -x257 -x112 -x88 -x68 
837.27/837.67	v -x48 x28 -x8 -x1020 -x1000 -x980 -x960 -x940 x916 -x771 -x751 -x606 -x586 -x441 -x421 -x276 -x256 -x111 -x87 -x67 -x47 -x27 -x7 
837.27/837.67	v -x1019 -x999 -x979 -x959 -x939 -x915 -x770 -x750 x605 -x585 -x440 -x420 -x275 -x255 -x110 -x86 -x66 -x46 -x26 -x6 -x1018 -x998 
837.27/837.67	v -x978 -x958 -x938 -x914 -x769 -x749 -x604 -x584 -x439 -x419 -x274 -x254 x109 -x85 -x65 -x45 -x25 -x5 -x1041 x937 -x108 -x4 
837.27/837.67	v -x1040 -x936 x107 -x3 x1039 -x935 -x106 -x2 -x1038 -x934 -x105 x1 
837.27/837.67	c SCIP Status        : problem is solved [optimal solution found]
837.27/837.67	c Solving Time       :     831.61
837.27/837.67	c Original Problem   :
837.27/837.67	c   Problem name     : HOME/instance-1885118-1245263378.opb
837.27/837.67	c   Variables        : 1473 (1473 binary, 0 integer, 0 implicit integer, 0 continuous)
837.27/837.67	c   Constraints      : 30387 initial, 30387 maximal
837.27/837.67	c Presolved Problem  :
837.27/837.67	c   Problem name     : t_HOME/instance-1885118-1245263378.opb
837.27/837.67	c   Variables        : 1473 (1473 binary, 0 integer, 0 implicit integer, 0 continuous)
837.27/837.67	c   Constraints      : 30037 initial, 73177 maximal
837.27/837.67	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
837.27/837.67	c   trivial          :       0.00          0          0          0          0          0          0          0          0
837.27/837.67	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
837.27/837.67	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
837.27/837.67	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
837.27/837.67	c   implics          :       0.01          0          0          0          0          0          0          0          0
837.27/837.67	c   probing          :       0.00          0          0          0          0          0          0          0          0
837.27/837.67	c   linear           :       0.21          0          0          0          0          0        350          0          0
837.27/837.67	c   logicor          :       0.08          0          0          0          0          0          0          0          0
837.27/837.67	c   root node        :          -          0          -          -          0          -          -          -          -
837.27/837.67	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
837.27/837.67	c   integral         :          0          0          0          1          0          0          0          0          0          2
837.27/837.67	c   logicor          :      30037+         5    1017935          0          1     105194    8118579          0          0          0
837.27/837.67	c   countsols        :          0          0          0          0          1          0          0          0          0          0
837.27/837.67	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
837.27/837.67	c   integral         :     129.20       0.00       0.00     129.20       0.00
837.27/837.67	c   logicor          :     221.85       0.03     221.82       0.00       0.00
837.27/837.67	c   countsols        :       0.00       0.00       0.00       0.00       0.00
837.27/837.67	c Propagators        :       Time      Calls    Cutoffs    DomReds
837.27/837.67	c   rootredcost      :       0.39          0          0          0
837.27/837.67	c   pseudoobj        :      87.55    1203692          0          0
837.27/837.67	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
837.27/837.67	c   propagation      :      47.14     105194     105194     105194       39.2     129057       22.3          -
837.27/837.67	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
837.27/837.67	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
837.27/837.67	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
837.27/837.67	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
837.27/837.67	c   applied globally :          -          -          -     233892       29.6          -          -          -
837.27/837.67	c   applied locally  :          -          -          -          0        0.0          -          -          -
837.27/837.67	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
837.27/837.67	c   cut pool         :       0.01          4          -          -         24          -    (maximal pool size: 834)
837.27/837.67	c   redcost          :       0.00          5          0          0          0          0
837.27/837.67	c   impliedbounds    :       0.00          5          0          0          0          0
837.27/837.67	c   intobj           :       0.00          0          0          0          0          0
837.27/837.67	c   gomory           :     142.34          5          0          0       2050          0
837.27/837.67	c   strongcg         :       5.54          5          0          0       2500          0
837.27/837.67	c   cmir             :       0.00          0          0          0          0          0
837.27/837.67	c   flowcover        :       0.00          0          0          0          0          0
837.27/837.67	c   clique           :       0.09          5          0          0         43          0
837.27/837.67	c   zerohalf         :       0.00          0          0          0          0          0
837.27/837.67	c   mcf              :       0.05          1          0          0          0          0
837.27/837.67	c Pricers            :       Time      Calls       Vars
837.27/837.67	c   problem variables:       0.00          0          0
837.27/837.67	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
837.27/837.67	c   relpscost        :     129.20          1          0          0          0          0          2
837.27/837.67	c   pscost           :       0.00          0          0          0          0          0          0
837.27/837.67	c   inference        :      19.24     156057          0          0          0          0     312114
837.27/837.67	c   mostinf          :       0.00          0          0          0          0          0          0
837.27/837.67	c   leastinf         :       0.00          0          0          0          0          0          0
837.27/837.67	c   fullstrong       :       0.00          0          0          0          0          0          0
837.27/837.67	c   allfullstrong    :       0.00          0          0          0          0          0          0
837.27/837.67	c   random           :       0.00          0          0          0          0          0          0
837.27/837.67	c Primal Heuristics  :       Time      Calls      Found
837.27/837.67	c   LP solutions     :       0.00          -          0
837.27/837.67	c   pseudo solutions :       0.00          -          1
837.27/837.67	c   simplerounding   :       0.00          0          0
837.27/837.67	c   rounding         :       0.00          0          0
837.27/837.67	c   shifting         :       0.00          0          0
837.27/837.67	c   intshifting      :       0.00          0          0
837.27/837.67	c   oneopt           :       0.00          0          0
837.27/837.67	c   fixandinfer      :       0.00          0          0
837.27/837.67	c   feaspump         :       0.00          0          0
837.27/837.67	c   coefdiving       :       0.00          0          0
837.27/837.67	c   pscostdiving     :       0.00          0          0
837.27/837.67	c   fracdiving       :       0.00          0          0
837.27/837.67	c   veclendiving     :       0.00          0          0
837.27/837.67	c   intdiving        :       0.00          0          0
837.27/837.67	c   actconsdiving    :       0.00          0          0
837.27/837.67	c   objpscostdiving  :       0.00          0          0
837.27/837.67	c   rootsoldiving    :       0.00          0          0
837.27/837.67	c   linesearchdiving :       0.00          0          0
837.27/837.67	c   guideddiving     :       0.00          0          0
837.27/837.67	c   octane           :       0.00          0          0
837.27/837.67	c   rens             :       0.00          0          0
837.27/837.67	c   rins             :       0.00          0          0
837.27/837.67	c   localbranching   :       0.00          0          0
837.27/837.67	c   mutation         :       0.00          0          0
837.27/837.67	c   crossover        :       0.00          0          0
837.27/837.67	c   dins             :       0.00          0          0
837.27/837.67	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
837.27/837.67	c   primal LP        :       0.05          0          0       0.00       0.00
837.27/837.67	c   dual LP          :      77.54          6      12906    2151.00     166.44
837.27/837.67	c   barrier LP       :       0.00          0          0       0.00          -
837.27/837.67	c   diving/probing LP:       0.00          0          0       0.00          -
837.27/837.67	c   strong branching :     129.20         21      15750     750.00     121.90
837.27/837.67	c     (at root node) :          -         21      15750     750.00          -
837.27/837.67	c   conflict analysis:       0.00          0          0       0.00          -
837.27/837.67	c B&B Tree           :
837.27/837.67	c   number of runs   :          1
837.27/837.67	c   nodes            :     210962
837.27/837.67	c   nodes (total)    :     210962
837.27/837.67	c   nodes left       :          0
837.27/837.67	c   max depth        :        208
837.27/837.67	c   max depth (total):        208
837.27/837.67	c   backtracks       :      63370 (30.0%)
837.27/837.67	c   delayed cutoffs  :     101058
837.27/837.67	c   repropagations   :     243615 (4122479 domain reductions, 50291 cutoffs)
837.27/837.67	c   avg switch length:       3.42
837.27/837.67	c   switching time   :      93.09
837.27/837.67	c Solution           :
837.27/837.67	c   Solutions found  :          1 (1 improvements)
837.27/837.67	c   Primal Bound     : +1.33000000000000e+02   (in run 1, after 210962 nodes, 831.58 seconds, depth 114, found by <relaxation>)
837.27/837.67	c   Dual Bound       : +1.33000000000000e+02
837.27/837.67	c   Gap              :       0.00 %
837.27/837.67	c   Root Dual Bound  : +1.33000000000000e+02
837.47/837.86	c Time complete: 837.53.

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885118-1245263378/watcher-1885118-1245263378 -o /tmp/evaluation-result-1885118-1245263378/solver-1885118-1245263378 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885118-1245263378.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: 1.00 1.00 1.00 3/64 14156
/proc/meminfo: memFree=1849024/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=5812 CPUtime=0
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 193938625 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/14156/statm: 1453 503 332 1256 0 192 0

[startup+0.0853709 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14156
/proc/meminfo: memFree=1849024/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=14596 CPUtime=0.07
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 2609 0 0 0 7 0 0 0 18 0 1 0 193938625 14946304 2593 1992294400 4194304 9342243 548682068736 18446744073709551615 8239315 0 0 4096 0 0 0 0 17 1 0 0
/proc/14156/statm: 3649 2593 376 1256 0 2388 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14596

[startup+0.101372 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14156
/proc/meminfo: memFree=1849024/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=14596 CPUtime=0.09
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 2612 0 0 0 9 0 0 0 18 0 1 0 193938625 14946304 2596 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/14156/statm: 3649 2596 376 1256 0 2388 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14596

[startup+0.301409 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14156
/proc/meminfo: memFree=1849024/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=19276 CPUtime=0.29
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 3779 0 0 0 28 1 0 0 19 0 1 0 193938625 19738624 3763 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/14156/statm: 4819 3763 376 1256 0 3558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19276

[startup+0.701482 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14156
/proc/meminfo: memFree=1849024/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=50096 CPUtime=0.69
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 12413 0 0 0 63 6 0 0 22 0 1 0 193938625 51298304 11289 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 12524 11290 465 1256 0 11263 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50096

[startup+1.50163 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1785912/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=97020 CPUtime=1.49
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 22004 0 0 0 136 13 0 0 20 0 1 0 193938625 99348480 20679 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 24255 20679 602 1256 0 22994 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97020

[startup+3.10192 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1765496/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=100040 CPUtime=3.09
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 22824 0 0 0 296 13 0 0 25 0 1 0 193938625 102440960 21499 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 25010 21499 602 1256 0 23749 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100040

[startup+6.30152 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1764088/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=101248 CPUtime=6.29
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 24537 0 0 0 614 15 0 0 25 0 1 0 193938625 103677952 21463 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 25312 21463 621 1256 0 24051 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101248

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1765176/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=101248 CPUtime=12.69
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 24537 0 0 0 1253 16 0 0 25 0 1 0 193938625 103677952 21463 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 25312 21463 621 1256 0 24051 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 101248

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1765240/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=101248 CPUtime=25.48
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 24537 0 0 0 2531 17 0 0 25 0 1 0 193938625 103677952 21463 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 25312 21463 621 1256 0 24051 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 101248

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1746424/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=117772 CPUtime=51.06
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 29264 0 0 0 5082 24 0 0 25 0 1 0 193938625 120598528 26189 1992294400 4194304 9342243 548682068736 18446744073709551615 4339140 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 29443 26189 635 1256 0 28182 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 117772

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1732728/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=128808 CPUtime=102.24
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 32691 0 0 0 10192 32 0 0 25 0 1 0 193938625 131899392 29615 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 32202 29615 635 1256 0 30941 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 128808

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1728504/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=132068 CPUtime=162.22
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 33728 0 0 0 16181 41 0 0 25 0 1 0 193938625 135237632 30652 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 33017 30652 635 1256 0 31756 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 132068

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1715384/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=149012 CPUtime=222.2
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 45658 0 0 0 22164 56 0 0 25 0 1 0 193938625 152588288 33944 1992294400 4194304 9342243 548682068736 18446744073709551615 6959748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 37253 33944 635 1256 0 35992 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 149012

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1711480/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=168800 CPUtime=282.18
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 53803 0 0 0 28154 64 0 0 25 0 1 0 193938625 172851200 34874 1992294400 4194304 9342243 548682068736 18446744073709551615 5868780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 42200 34874 640 1256 0 40939 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 168800

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1711480/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=168800 CPUtime=342.15
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 60926 0 0 0 34146 69 0 0 25 0 1 0 193938625 172851200 34872 1992294400 4194304 9342243 548682068736 18446744073709551615 5868521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 42200 34872 640 1256 0 40939 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 168800

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1708536/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=149320 CPUtime=402.14
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 63803 0 0 0 40104 110 0 0 25 0 1 0 193938625 152903680 35616 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 37330 35616 662 1256 0 36069 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 149320

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1704632/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=153588 CPUtime=462.12
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 64770 0 0 0 46043 169 0 0 25 0 1 0 193938625 157274112 36583 1992294400 4194304 9342243 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 38397 36583 662 1256 0 37136 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 153588

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1701368/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=157140 CPUtime=522.09
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 65612 0 0 0 51986 223 0 0 25 0 1 0 193938625 160911360 37425 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 39285 37425 662 1256 0 38024 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 157140

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1698104/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=160828 CPUtime=582.07
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 66408 0 0 0 57929 278 0 0 25 0 1 0 193938625 164687872 38221 1992294400 4194304 9342243 548682068736 18446744073709551615 5102955 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 40207 38221 662 1256 0 38946 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 160828

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14157
/proc/meminfo: memFree=1694712/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=165212 CPUtime=642.05
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 67239 0 0 0 63870 335 0 0 25 0 1 0 193938625 169177088 39052 1992294400 4194304 9342243 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 41303 39052 662 1256 0 40042 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 165212

[startup+702.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 14157
/proc/meminfo: memFree=1694648/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=165212 CPUtime=702.03
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 67239 0 0 0 69811 392 0 0 25 0 1 0 193938625 169177088 39052 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 41303 39052 662 1256 0 40042 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 165212

[startup+762.305 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 14157
/proc/meminfo: memFree=1693624/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=166236 CPUtime=762
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 67495 0 0 0 75750 450 0 0 25 0 1 0 193938625 170225664 39308 1992294400 4194304 9342243 548682068736 18446744073709551615 5102411 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 41559 39308 662 1256 0 40298 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 166236

[startup+822.301 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 14157
/proc/meminfo: memFree=1690104/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=170048 CPUtime=821.98
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 68356 0 0 0 81683 515 0 0 25 0 1 0 193938625 174129152 40169 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 42512 40169 662 1256 0 41251 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 170048

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

[startup+825.502 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 14157
/proc/meminfo: memFree=1690104/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=170048 CPUtime=825.18
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 68360 0 0 0 82000 518 0 0 25 0 1 0 193938625 174129152 40173 1992294400 4194304 9342243 548682068736 18446744073709551615 4208144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 42512 40173 662 1256 0 41251 0
Current children cumulated CPU time (s) 825.18
Current children cumulated vsize (KiB) 170048

[startup+831.902 s]
/proc/loadavg: 1.13 1.05 1.01 2/65 14157
/proc/meminfo: memFree=1690040/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=170048 CPUtime=831.58
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 68367 0 0 0 82635 523 0 0 25 0 1 0 193938625 174129152 40180 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 42512 40180 662 1256 0 41251 0
Current children cumulated CPU time (s) 831.58
Current children cumulated vsize (KiB) 170048

[startup+835.102 s]
/proc/loadavg: 1.13 1.05 1.01 2/65 14157
/proc/meminfo: memFree=1689272/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=170880 CPUtime=834.78
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 68580 0 0 0 82950 528 0 0 25 0 1 0 193938625 174981120 40393 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 42720 40393 662 1256 0 41459 0
Current children cumulated CPU time (s) 834.78
Current children cumulated vsize (KiB) 170880

[startup+836.702 s]
/proc/loadavg: 1.12 1.04 1.00 2/65 14157
/proc/meminfo: memFree=1689272/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=170880 CPUtime=836.38
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 68588 0 0 0 83109 529 0 0 25 0 1 0 193938625 174981120 40401 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 42720 40401 662 1256 0 41459 0
Current children cumulated CPU time (s) 836.38
Current children cumulated vsize (KiB) 170880

[startup+837.501 s]
/proc/loadavg: 1.12 1.04 1.00 2/65 14157
/proc/meminfo: memFree=1689208/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=170880 CPUtime=837.18
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 68596 0 0 0 83188 530 0 0 25 0 1 0 193938625 174981120 40409 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14156/statm: 42720 40409 662 1256 0 41459 0
Current children cumulated CPU time (s) 837.18
Current children cumulated vsize (KiB) 170880

[startup+837.701 s]
/proc/loadavg: 1.12 1.04 1.00 2/65 14157
/proc/meminfo: memFree=1689208/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=173292 CPUtime=837.37
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 69186 0 0 0 83207 530 0 0 17 0 1 0 193938625 177451008 40999 1992294400 4194304 9342243 548682068736 18446744073709551615 5854984 0 0 4096 0 0 0 0 17 1 0 0
/proc/14156/statm: 43323 40999 669 1256 0 42062 0
Current children cumulated CPU time (s) 837.37
Current children cumulated vsize (KiB) 173292

[startup+837.801 s]
/proc/loadavg: 1.12 1.04 1.00 2/65 14157
/proc/meminfo: memFree=1689208/2055920 swapFree=4181928/4192956
[pid=14156] ppid=14154 vsize=173292 CPUtime=837.47
/proc/14156/stat : 14156 (pbscip.linux.x8) R 14154 14156 13785 0 -1 4194304 69186 0 0 0 83217 530 0 0 17 0 1 0 193938625 177451008 40999 1992294400 4194304 9342243 548682068736 18446744073709551615 5855084 0 0 4096 0 0 0 0 17 1 0 0
/proc/14156/statm: 43323 40999 669 1256 0 42062 0
Current children cumulated CPU time (s) 837.47
Current children cumulated vsize (KiB) 173292

Child status: 0
Real time (s): 837.862
CPU time (s): 837.546
CPU user time (s): 832.21
CPU system time (s): 5.33619
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 173292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 832.209
system time used= 5.33619
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69191
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= 17
involuntary context switches= 1301

runsolver used 0.723889 second user time and 1.62275 second system time

The end

Begin job on node7 at 2009-06-17 20:29:38
IDJOB=1885118
IDBENCH=72025
IDSOLVER=684
FILE ID=node7/1885118-1245263378
PBS_JOBID= 9372446
Free space on /tmp= 66272 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/edgematching/all/em_7_3_6_all.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885118-1245263378/watcher-1885118-1245263378 -o /tmp/evaluation-result-1885118-1245263378/solver-1885118-1245263378 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885118-1245263378.opb

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

MD5SUM BENCH= 98fa57a4be4ef49939633548c2bfe63a
RANDOM SEED=1743837370

node7.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.274
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.274
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:       1849440 kB
Buffers:         41596 kB
Cached:         102660 kB
SwapCached:       5072 kB
Active:          47508 kB
Inactive:       104892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1849440 kB
SwapTotal:     4192956 kB
SwapFree:      4181928 kB
Dirty:           12580 kB
Writeback:           0 kB
Mapped:          14360 kB
Slab:            39984 kB
Committed_AS:   186100 kB
PageTables:       1444 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= 66260 MiB
End job on node7 at 2009-06-17 20:43:36