| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? (TO) | 1800.24 | 1800.87 |
| Name | /PURE-SAT/SAT07/crafted/Medium/contest05/ others/QG7a-gensys-ukn001.sat05-3841.reshuffled-07.opb |
| MD5SUM | ef500cb459264376002ca2e278445b3f |
| Bench Category | PURE-SAT (instances containing only clauses) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 195.535 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2737 |
| Total number of constraints | 18375 |
| Number of constraints which are clauses | 18375 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 11 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 24 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.39/0.40 c SCIP version 1.1.0.7
0.39/0.40 c LP-Solver SoPlex 1.4.1
0.39/0.40 c user parameter file <scip.set> not found - using default parameters
0.39/0.40 c read problem <HOME/instance-1884087-1245254150.opb>
0.39/0.40 c original problem has 2737 variables (2737 bin, 0 int, 0 impl, 0 cont) and 18375 constraints
0.49/0.54 c No objective function, only one solution is needed.
0.49/0.54 c start presolving problem
0.49/0.54 c presolving:
0.59/0.66 c (round 1) 53 del vars, 431 del conss, 38 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 1494 impls, 0 clqs
0.59/0.68 c (round 2) 57 del vars, 563 del conss, 42 chg bounds, 0 chg sides, 14 chg coeffs, 0 upgd conss, 2352 impls, 0 clqs
0.89/0.91 c (round 3) 57 del vars, 2114 del conss, 42 chg bounds, 0 chg sides, 14 chg coeffs, 16261 upgd conss, 2352 impls, 0 clqs
1.09/1.11 c (round 4) 57 del vars, 2144 del conss, 42 chg bounds, 0 chg sides, 14 chg coeffs, 16261 upgd conss, 2352 impls, 0 clqs
1.09/1.16 c presolving (5 rounds):
1.09/1.16 c 57 deleted vars, 2144 deleted constraints, 42 tightened bounds, 0 added holes, 0 changed sides, 14 changed coefficients
1.09/1.16 c 2352 implications, 0 cliques
1.09/1.16 c presolved problem has 2680 variables (2680 bin, 0 int, 0 impl, 0 cont) and 16231 constraints
1.09/1.16 c 16231 constraints of type <logicor>
1.09/1.16 c transformed objective value is always integral (scale: 1)
1.09/1.16 c Presolving Time: 0.55
1.09/1.16 c PURESAT
1.09/1.16 c -----------------------------------------------------------------------------------------------
1.09/1.16 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 0]
1.09/1.16 c separating/flowcover/freq = c -1
1.09/1.16 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 0]
1.09/1.16 c separating/cmir/freq = c -1
1.09/1.16 c # additional number of allowed LP iterations
1.09/1.16 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.16 c heuristics/veclendiving/maxlpiterofs = c 1500
1.09/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.09/1.16 c heuristics/veclendiving/maxlpiterquot = c 0.075
1.09/1.16 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.16 c heuristics/veclendiving/freq = c -1
1.09/1.16 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 1]
1.09/1.16 c heuristics/simplerounding/freq = c -1
1.09/1.16 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.16 c heuristics/shifting/freq = c -1
1.09/1.16 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 1]
1.09/1.16 c heuristics/rounding/freq = c -1
1.09/1.16 c # additional number of allowed LP iterations
1.09/1.16 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.16 c heuristics/rootsoldiving/maxlpiterofs = c 1500
1.09/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.09/1.16 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
1.09/1.16 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 20]
1.09/1.16 c heuristics/rootsoldiving/freq = c -1
1.09/1.16 c # number of nodes added to the contingent of the total nodes
1.09/1.16 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.09/1.16 c heuristics/rens/nodesofs = c 2000
1.09/1.16 c # minimum percentage of integer variables that have to be fixable
1.09/1.16 c # [type: real, range: [0,1], default: 0.5]
1.09/1.16 c heuristics/rens/minfixingrate = c 0.3
1.09/1.16 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 0]
1.09/1.16 c heuristics/rens/freq = c -1
1.09/1.16 c # additional number of allowed LP iterations
1.09/1.16 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.16 c heuristics/pscostdiving/maxlpiterofs = c 1500
1.09/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.09/1.16 c heuristics/pscostdiving/maxlpiterquot = c 0.075
1.09/1.16 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.16 c heuristics/pscostdiving/freq = c -1
1.09/1.16 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 1]
1.09/1.16 c heuristics/oneopt/freq = c -1
1.09/1.16 c # additional number of allowed LP iterations
1.09/1.16 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.16 c heuristics/objpscostdiving/maxlpiterofs = c 1500
1.09/1.16 c # maximal fraction of diving LP iterations compared to total iteration number
1.09/1.16 c # [type: real, range: [0,1], default: 0.01]
1.09/1.16 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
1.09/1.16 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 20]
1.09/1.16 c heuristics/objpscostdiving/freq = c -1
1.09/1.16 c # additional number of allowed LP iterations
1.09/1.16 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.16 c heuristics/linesearchdiving/maxlpiterofs = c 1500
1.09/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.09/1.16 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
1.09/1.16 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.16 c heuristics/linesearchdiving/freq = c -1
1.09/1.16 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.16 c heuristics/intshifting/freq = c -1
1.09/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.09/1.16 c heuristics/intdiving/maxlpiterquot = c 0.075
1.09/1.16 c # additional number of allowed LP iterations
1.09/1.16 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.16 c heuristics/guideddiving/maxlpiterofs = c 1500
1.09/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.09/1.16 c heuristics/guideddiving/maxlpiterquot = c 0.075
1.09/1.16 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.16 c heuristics/guideddiving/freq = c -1
1.09/1.16 c # additional number of allowed LP iterations
1.09/1.16 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.16 c heuristics/fracdiving/maxlpiterofs = c 1500
1.09/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.09/1.16 c heuristics/fracdiving/maxlpiterquot = c 0.075
1.09/1.16 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.16 c heuristics/fracdiving/freq = c -1
1.09/1.16 c # additional number of allowed LP iterations
1.09/1.16 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.16 c heuristics/feaspump/maxlpiterofs = c 2000
1.09/1.16 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 20]
1.09/1.16 c heuristics/feaspump/freq = c -1
1.09/1.16 c # minimum percentage of integer variables that have to be fixed
1.09/1.16 c # [type: real, range: [0,1], default: 0.666]
1.09/1.16 c heuristics/crossover/minfixingrate = c 0.5
1.09/1.16 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.09/1.16 c # [type: real, range: [0,1], default: 0.1]
1.09/1.16 c heuristics/crossover/nodesquot = c 0.15
1.09/1.16 c # number of nodes without incumbent change that heuristic should wait
1.09/1.16 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.09/1.16 c heuristics/crossover/nwaitingnodes = c 100
1.09/1.16 c # number of nodes added to the contingent of the total nodes
1.09/1.16 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.09/1.16 c heuristics/crossover/nodesofs = c 750
1.09/1.16 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 30]
1.09/1.16 c heuristics/crossover/freq = c -1
1.09/1.16 c # additional number of allowed LP iterations
1.09/1.16 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.16 c heuristics/coefdiving/maxlpiterofs = c 1500
1.09/1.16 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.09/1.16 c heuristics/coefdiving/maxlpiterquot = c 0.075
1.09/1.16 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.16 c heuristics/coefdiving/freq = c -1
1.09/1.16 c # priority of node selection rule <dfs> in standard mode
1.09/1.16 c # [type: int, range: [-536870912,536870911], default: 0]
1.09/1.16 c nodeselection/dfs/stdpriority = c 1000000
1.09/1.16 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.16 c presolving/probing/maxrounds = c 0
1.09/1.16 c # should presolving try to simplify knapsacks
1.09/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.16 c constraints/knapsack/simplifyinequalities = c TRUE
1.09/1.16 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.09/1.16 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.09/1.16 c constraints/knapsack/disaggregation = c FALSE
1.09/1.16 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.16 c constraints/knapsack/maxnumcardlift = c 0
1.09/1.16 c # should presolving try to simplify inequalities
1.09/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.16 c constraints/linear/simplifyinequalities = c TRUE
1.09/1.16 c # maximal number of separation rounds in the root node (-1: unlimited)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.16 c separating/maxroundsroot = c 5
1.09/1.16 c # maximal number of separation rounds per node (-1: unlimited)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 5]
1.09/1.16 c separating/maxrounds = c 1
1.09/1.16 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)
1.09/1.16 c # [type: char, range: {lafpsqd}, default: l]
1.09/1.16 c lp/pricing = c a
1.09/1.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 1]
1.09/1.16 c lp/solvefreq = c 0
1.09/1.16 c # solving stops, if the given number of solutions were found (-1: no limit)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.16 c limits/solutions = c 1
1.09/1.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.16 c limits/memory = c 1620
1.09/1.16 c # maximal time in seconds to run
1.09/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.16 c limits/time = c 1791
1.09/1.16 c # frequency for displaying node information lines
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 100]
1.09/1.16 c display/freq = c 10000
1.09/1.16 c # should enforcement of pseudo solution be disabled?
1.09/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.16 c constraints/disableenfops = c TRUE
1.09/1.16 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: 0]
1.09/1.16 c constraints/agelimit = c 1
1.09/1.16 c # should binary conflicts be preferred?
1.09/1.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.16 c conflict/preferbinary = c TRUE
1.09/1.16 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.09/1.16 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.16 c conflict/interconss = c 0
1.09/1.16 c -----------------------------------------------------------------------------------------------
1.09/1.16 c start solving problem
1.09/1.16 c
1.69/1.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.74 c 1.2s| 1 | 0 | 461 | 31M| 0 | 325 |2680 | 16k| 16k|2680 | 16k| 0 | 0 | 0 | 1.804375e+02 | -- | Inf
2.99/3.08 c 2.5s| 1 | 0 | 921 | 32M| 0 | 368 |2680 | 16k| 16k|2680 | 16k| 72 | 0 | 0 | 2.063197e+02 | -- | Inf
6.50/6.57 c 6.0s| 1 | 0 | 2019 | 33M| 0 | 390 |2680 | 16k| 16k|2680 | 16k| 122 | 0 | 0 | 2.214074e+02 | -- | Inf
12.38/12.44 c 11.8s| 1 | 0 | 2964 | 37M| 0 | 420 |2680 | 16k| 16k|2680 | 16k| 161 | 0 | 0 | 2.314890e+02 | -- | Inf
17.88/17.92 c 17.3s| 1 | 0 | 3818 | 42M| 0 | 404 |2680 | 16k| 16k|2680 | 16k| 185 | 0 | 0 | 2.362260e+02 | -- | Inf
28.28/28.34 c 27.7s| 1 | 0 | 4609 | 46M| 0 | 431 |2680 | 16k| 16k|2680 | 16k| 206 | 0 | 0 | 2.396659e+02 | -- | Inf
39.17/39.25 c 38.6s| 1 | 2 | 4609 | 46M| 0 | 431 |2680 | 16k| 16k|2680 | 16k| 206 | 0 | 17 | 2.396659e+02 | -- | Inf
61.76/61.85 c 60.9s| 10000 | 111 | 4609 | 48M|1014 | - |2680 | 16k|9886 | 0 | 0 | 206 |5865 | 17 | 2.405489e+02 | -- | Inf
84.66/84.77 c 83.6s| 20000 | 102 | 4609 | 48M|1014 | - |2680 | 16k|9558 | 0 | 0 | 206 | 12k| 17 | 2.405489e+02 | -- | Inf
106.35/106.44 c 105s| 30000 | 97 | 4609 | 48M|1014 | - |2680 | 16k|9302 | 0 | 0 | 206 | 18k| 17 | 2.405489e+02 | -- | Inf
130.64/130.72 c 129s| 40000 | 98 | 4609 | 48M|1014 | - |2680 | 16k|9950 | 0 | 0 | 206 | 25k| 17 | 2.405489e+02 | -- | Inf
152.04/152.19 c 150s| 50000 | 95 | 4609 | 48M|1014 | - |2680 | 16k|9686 | 0 | 0 | 206 | 31k| 17 | 2.405489e+02 | -- | Inf
175.13/175.27 c 173s| 60000 | 97 | 4609 | 48M|1014 | - |2680 | 16k| 10k| 0 | 0 | 206 | 37k| 17 | 2.405489e+02 | -- | Inf
200.12/200.29 c 198s| 70000 | 96 | 4609 | 48M|1014 | - |2680 | 16k|9847 | 0 | 0 | 206 | 44k| 17 | 2.405489e+02 | -- | Inf
220.71/220.89 c 218s| 80000 | 736 | 4609 | 48M|1014 | - |2680 | 16k|7815 | 0 | 0 | 206 | 49k| 17 | 2.405489e+02 | -- | Inf
243.80/243.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.80/243.95 c 241s| 90000 | 95 | 4609 | 48M|1014 | - |2680 | 16k|9854 | 0 | 0 | 206 | 55k| 17 | 2.405489e+02 | -- | Inf
264.90/265.09 c 262s|100000 | 94 | 4609 | 48M|1014 | - |2680 | 16k|9231 | 0 | 0 | 206 | 61k| 17 | 2.405489e+02 | -- | Inf
288.99/289.15 c 286s|110000 | 92 | 4609 | 48M|1014 | - |2680 | 16k|9821 | 0 | 0 | 206 | 68k| 17 | 2.405489e+02 | -- | Inf
308.78/308.96 c 305s|120000 | 94 | 4609 | 48M|1014 | - |2680 | 16k|9697 | 0 | 0 | 206 | 73k| 17 | 2.405489e+02 | -- | Inf
329.77/329.93 c 326s|130000 | 90 | 4609 | 48M|1141 | - |2680 | 16k|9357 | 0 | 0 | 206 | 78k| 17 | 2.405489e+02 | -- | Inf
349.66/349.84 c 346s|140000 | 112 | 4609 | 48M|1145 | - |2680 | 16k|8962 | 0 | 0 | 206 | 83k| 17 | 2.405489e+02 | -- | Inf
374.76/374.93 c 371s|150000 | 92 | 4609 | 48M|1145 | - |2680 | 16k|9309 | 0 | 0 | 206 | 90k| 17 | 2.405489e+02 | -- | Inf
396.25/396.46 c 392s|160000 | 102 | 4609 | 48M|1145 | - |2680 | 16k|9146 | 0 | 0 | 206 | 96k| 17 | 2.405489e+02 | -- | Inf
415.54/415.78 c 411s|170000 | 94 | 4609 | 48M|1145 | - |2680 | 16k|9559 | 0 | 0 | 206 | 101k| 17 | 2.405489e+02 | -- | Inf
440.33/440.53 c 435s|180000 | 100 | 4609 | 49M|1145 | - |2680 | 17k|9041 | 0 | 0 | 206 | 108k| 17 | 2.405489e+02 | -- | Inf
462.33/462.57 c 457s|190000 | 1051 | 4609 | 49M|1145 | - |2680 | 17k|7424 | 0 | 0 | 206 | 115k| 17 | 2.405489e+02 | -- | Inf
484.11/484.39 c 479s|200000 | 132 | 4609 | 49M|1203 | - |2680 | 17k|9202 | 0 | 0 | 206 | 121k| 17 | 2.405489e+02 | -- | Inf
498.71/498.95 c 493s|210000 | 91 | 4609 | 49M|1261 | - |2680 | 17k|9483 | 0 | 0 | 206 | 123k| 17 | 2.405489e+02 | -- | Inf
523.20/523.42 c 517s|220000 | 146 | 4609 | 49M|1261 | - |2680 | 17k|8954 | 0 | 0 | 206 | 130k| 17 | 2.405489e+02 | -- | Inf
549.89/550.13 c 544s|230000 | 86 | 4609 | 49M|1261 | - |2680 | 17k|9641 | 0 | 0 | 206 | 138k| 17 | 2.405489e+02 | -- | Inf
574.69/574.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.69/574.95 c 568s|240000 | 87 | 4609 | 49M|1261 | - |2680 | 17k|9802 | 0 | 0 | 206 | 145k| 17 | 2.405489e+02 | -- | Inf
599.68/599.99 c 593s|250000 | 89 | 4609 | 49M|1261 | - |2680 | 17k|9836 | 0 | 0 | 206 | 152k| 17 | 2.405489e+02 | -- | Inf
623.97/624.21 c 617s|260000 | 93 | 4609 | 49M|1261 | - |2680 | 18k|9563 | 0 | 0 | 206 | 160k| 17 | 2.405489e+02 | -- | Inf
650.16/650.48 c 643s|270000 | 91 | 4609 | 49M|1261 | - |2680 | 18k|9318 | 0 | 0 | 206 | 167k| 17 | 2.405489e+02 | -- | Inf
674.55/674.86 c 667s|280000 | 95 | 4609 | 49M|1261 | - |2680 | 18k|9403 | 0 | 0 | 206 | 174k| 17 | 2.405489e+02 | -- | Inf
699.35/699.62 c 692s|290000 | 93 | 4609 | 49M|1261 | - |2680 | 18k|9312 | 0 | 0 | 206 | 181k| 17 | 2.405489e+02 | -- | Inf
724.13/724.48 c 716s|300000 | 92 | 4609 | 49M|1261 | - |2680 | 18k|9303 | 0 | 0 | 206 | 189k| 17 | 2.405489e+02 | -- | Inf
749.93/750.30 c 742s|310000 | 87 | 4609 | 49M|1261 | - |2680 | 18k| 10k| 0 | 0 | 206 | 196k| 17 | 2.405489e+02 | -- | Inf
775.91/776.20 c 767s|320000 | 89 | 4609 | 49M|1261 | - |2680 | 18k|9651 | 0 | 0 | 206 | 204k| 17 | 2.405489e+02 | -- | Inf
800.51/800.86 c 792s|330000 | 85 | 4609 | 49M|1261 | - |2680 | 18k| 10k| 0 | 0 | 206 | 210k| 17 | 2.405489e+02 | -- | Inf
823.80/824.11 c 815s|340000 | 86 | 4609 | 49M|1261 | - |2680 | 19k|9385 | 0 | 0 | 206 | 218k| 17 | 2.405489e+02 | -- | Inf
847.89/848.29 c 839s|350000 | 90 | 4609 | 49M|1261 | - |2680 | 19k|9332 | 0 | 0 | 206 | 225k| 17 | 2.405489e+02 | -- | Inf
869.38/869.78 c 860s|360000 | 93 | 4609 | 49M|1261 | - |2680 | 19k|9235 | 0 | 0 | 206 | 231k| 17 | 2.405489e+02 | -- | Inf
888.88/889.30 c 879s|370000 | 88 | 4609 | 49M|1261 | - |2680 | 19k|9664 | 0 | 0 | 206 | 236k| 17 | 2.405489e+02 | -- | Inf
914.67/915.07 c 905s|380000 | 86 | 4609 | 49M|1261 | - |2680 | 19k|9614 | 0 | 0 | 206 | 244k| 17 | 2.405489e+02 | -- | Inf
933.57/933.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.57/933.94 c 923s|390000 | 83 | 4609 | 49M|1344 | - |2680 | 19k|9882 | 0 | 0 | 206 | 248k| 17 | 2.405489e+02 | -- | Inf
955.35/955.73 c 945s|400000 | 91 | 4609 | 49M|1344 | - |2680 | 19k| 10k| 0 | 0 | 206 | 254k| 17 | 2.405489e+02 | -- | Inf
978.64/979.03 c 968s|410000 | 81 | 4609 | 49M|1344 | - |2680 | 19k|9644 | 0 | 0 | 206 | 261k| 17 | 2.405489e+02 | -- | Inf
1001.94/1002.37 c 991s|420000 | 120 | 4609 | 49M|1344 | - |2680 | 19k|9111 | 0 | 0 | 206 | 268k| 17 | 2.405489e+02 | -- | Inf
1024.53/1024.91 c 1013s|430000 | 358 | 4609 | 49M|1344 | - |2680 | 19k|8513 | 0 | 0 | 206 | 275k| 17 | 2.405489e+02 | -- | Inf
1045.62/1046.05 c 1034s|440000 | 99 | 4609 | 49M|1344 | - |2680 | 20k|9095 | 0 | 0 | 206 | 281k| 17 | 2.405489e+02 | -- | Inf
1069.01/1069.42 c 1057s|450000 | 82 | 4609 | 49M|1344 | - |2680 | 20k|9231 | 0 | 0 | 206 | 289k| 17 | 2.405489e+02 | -- | Inf
1091.81/1092.23 c 1080s|460000 | 84 | 4609 | 49M|1344 | - |2680 | 20k| 10k| 0 | 0 | 206 | 296k| 17 | 2.405489e+02 | -- | Inf
1117.20/1117.69 c 1105s|470000 | 81 | 4609 | 50M|1344 | - |2680 | 20k|9865 | 0 | 0 | 206 | 303k| 17 | 2.405489e+02 | -- | Inf
1142.78/1143.27 c 1130s|480000 | 83 | 4609 | 50M|1344 | - |2680 | 20k|9387 | 0 | 0 | 206 | 312k| 17 | 2.405489e+02 | -- | Inf
1166.88/1167.32 c 1154s|490000 | 84 | 4609 | 50M|1344 | - |2680 | 21k|9446 | 0 | 0 | 206 | 319k| 17 | 2.405489e+02 | -- | Inf
1191.27/1191.76 c 1178s|500000 | 88 | 4609 | 50M|1344 | - |2680 | 20k|9849 | 0 | 0 | 206 | 326k| 17 | 2.405489e+02 | -- | Inf
1215.26/1215.73 c 1202s|510000 | 83 | 4609 | 50M|1344 | - |2680 | 20k|9736 | 0 | 0 | 206 | 334k| 17 | 2.405489e+02 | -- | Inf
1239.85/1240.31 c 1226s|520000 | 89 | 4609 | 50M|1344 | - |2680 | 20k|9751 | 0 | 0 | 206 | 341k| 17 | 2.405489e+02 | -- | Inf
1263.65/1264.18 c 1250s|530000 | 84 | 4609 | 50M|1344 | - |2680 | 20k|9503 | 0 | 0 | 206 | 349k| 17 | 2.405489e+02 | -- | Inf
1289.53/1290.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.53/1290.04 c 1275s|540000 | 83 | 4609 | 50M|1344 | - |2680 | 20k|9316 | 0 | 0 | 206 | 356k| 17 | 2.405489e+02 | -- | Inf
1313.43/1313.92 c 1299s|550000 | 85 | 4609 | 50M|1344 | - |2680 | 21k|9113 | 0 | 0 | 206 | 364k| 17 | 2.405489e+02 | -- | Inf
1337.82/1338.30 c 1323s|560000 | 84 | 4609 | 50M|1344 | - |2680 | 21k|9174 | 0 | 0 | 206 | 371k| 17 | 2.405489e+02 | -- | Inf
1363.01/1363.50 c 1348s|570000 | 84 | 4609 | 50M|1344 | - |2680 | 21k|9589 | 0 | 0 | 206 | 378k| 17 | 2.405489e+02 | -- | Inf
1389.40/1389.91 c 1374s|580000 | 87 | 4609 | 50M|1344 | - |2680 | 21k|9821 | 0 | 0 | 206 | 386k| 17 | 2.405489e+02 | -- | Inf
1414.69/1415.20 c 1399s|590000 | 84 | 4609 | 50M|1344 | - |2680 | 21k|9614 | 0 | 0 | 206 | 393k| 17 | 2.405489e+02 | -- | Inf
1439.29/1439.88 c 1424s|600000 | 89 | 4609 | 50M|1344 | - |2680 | 21k|9271 | 0 | 0 | 206 | 401k| 17 | 2.405489e+02 | -- | Inf
1465.27/1465.82 c 1449s|610000 | 80 | 4609 | 50M|1344 | - |2680 | 21k|9614 | 0 | 0 | 206 | 408k| 17 | 2.405489e+02 | -- | Inf
1488.17/1488.76 c 1472s|620000 | 432 | 4609 | 50M|1344 | - |2680 | 21k|8580 | 0 | 0 | 206 | 415k| 17 | 2.405489e+02 | -- | Inf
1510.06/1510.61 c 1494s|630000 | 86 | 4609 | 50M|1376 | - |2680 | 21k|9730 | 0 | 0 | 206 | 421k| 17 | 2.405489e+02 | -- | Inf
1529.25/1529.81 c 1513s|640000 | 89 | 4609 | 50M|1376 | - |2680 | 21k|9457 | 0 | 0 | 206 | 426k| 17 | 2.405489e+02 | -- | Inf
1552.95/1553.55 c 1536s|650000 | 85 | 4609 | 50M|1376 | - |2680 | 21k|9478 | 0 | 0 | 206 | 433k| 17 | 2.405489e+02 | -- | Inf
1577.04/1577.66 c 1560s|660000 | 78 | 4609 | 50M|1376 | - |2680 | 22k|9643 | 0 | 0 | 206 | 440k| 17 | 2.405489e+02 | -- | Inf
1601.52/1602.17 c 1584s|670000 | 86 | 4609 | 50M|1376 | - |2680 | 22k|9439 | 0 | 0 | 206 | 447k| 17 | 2.405489e+02 | -- | Inf
1626.42/1627.07 c 1609s|680000 | 87 | 4609 | 50M|1376 | - |2680 | 22k|9215 | 0 | 0 | 206 | 455k| 17 | 2.405489e+02 | -- | Inf
1650.01/1650.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.01/1650.65 c 1632s|690000 | 86 | 4609 | 50M|1376 | - |2680 | 22k|9656 | 0 | 0 | 206 | 462k| 17 | 2.405489e+02 | -- | Inf
1675.70/1676.36 c 1658s|700000 | 82 | 4609 | 50M|1376 | - |2680 | 22k|9381 | 0 | 0 | 206 | 469k| 17 | 2.405489e+02 | -- | Inf
1700.50/1701.14 c 1682s|710000 | 90 | 4609 | 50M|1376 | - |2680 | 22k|9119 | 0 | 0 | 206 | 476k| 17 | 2.405489e+02 | -- | Inf
1724.19/1724.84 c 1705s|720000 | 84 | 4609 | 50M|1376 | - |2680 | 22k|9306 | 0 | 0 | 206 | 483k| 17 | 2.405489e+02 | -- | Inf
1748.47/1749.12 c 1729s|730000 | 80 | 4609 | 50M|1376 | - |2680 | 22k|9377 | 0 | 0 | 206 | 490k| 17 | 2.405489e+02 | -- | Inf
1771.67/1772.36 c 1752s|740000 | 82 | 4609 | 50M|1376 | - |2680 | 22k|9591 | 0 | 0 | 206 | 498k| 17 | 2.405489e+02 | -- | Inf
1798.06/1798.75 c 1779s|750000 | 84 | 4609 | 50M|1376 | - |2680 | 22k|9298 | 0 | 0 | 206 | 505k| 17 | 2.405489e+02 | -- | Inf
1800.07/1800.71 c
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time (sec) : 1780.45
1800.07/1800.71 c Solving Nodes : 750722
1800.07/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.71 c Dual Bound : +2.40548880799996e+02
1800.07/1800.71 c Gap : infinite
1800.07/1800.71 c NODE 750722
1800.07/1800.71 c DUAL BOUND 240.549
1800.07/1800.71 c PRIMAL BOUND 1e+20
1800.07/1800.71 c GAP 1e+20
1800.07/1800.71 s UNKNOWN
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time : 1780.45
1800.07/1800.71 c Original Problem :
1800.07/1800.71 c Problem name : HOME/instance-1884087-1245254150.opb
1800.07/1800.71 c Variables : 2737 (2737 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71 c Constraints : 18375 initial, 18375 maximal
1800.07/1800.71 c Presolved Problem :
1800.07/1800.71 c Problem name : t_HOME/instance-1884087-1245254150.opb
1800.07/1800.71 c Variables : 2680 (2680 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71 c Constraints : 16231 initial, 23049 maximal
1800.07/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c dualfix : 0.00 3 0 0 0 0 0 0 0
1800.07/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c implics : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c linear : 0.22 42 12 0 42 0 2114 0 14
1800.07/1800.71 c logicor : 0.27 0 0 0 0 0 30 0 0
1800.07/1800.71 c root node : - 0 - - 0 - - - -
1800.07/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.07/1800.71 c logicor : 16231+ 5 4368500 0 0 374044 13869870 0 0 0
1800.07/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.71 c integral : 10.89 0.00 0.00 10.89 0.00
1800.07/1800.71 c logicor : 340.67 0.01 340.66 0.00 0.00
1800.07/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.71 c rootredcost : 1.99 0 0 0
1800.07/1800.71 c pseudoobj : 673.35 5233371 0 0
1800.07/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.71 c propagation : 58.71 374044 374044 374044 47.9 132081 26.5 -
1800.07/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.71 c applied globally : - - - 506125 42.3 - - -
1800.07/1800.71 c applied locally : - - - 0 0.0 - - -
1800.07/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.71 c cut pool : 0.01 4 - - 34 - (maximal pool size: 2281)
1800.07/1800.71 c redcost : 0.00 5 0 0 0 0
1800.07/1800.71 c impliedbounds : 0.00 5 0 0 0 0
1800.07/1800.71 c intobj : 0.00 0 0 0 0 0
1800.07/1800.71 c gomory : 12.09 5 0 0 2500 0
1800.07/1800.71 c strongcg : 1.97 5 0 0 2500 0
1800.07/1800.71 c cmir : 0.00 0 0 0 0 0
1800.07/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.71 c clique : 0.00 5 0 0 30 0
1800.07/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.71 c mcf : 0.05 1 0 0 0 0
1800.07/1800.71 c Pricers : Time Calls Vars
1800.07/1800.71 c problem variables: 0.00 0 0
1800.07/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.71 c relpscost : 10.89 1 0 0 0 0 2
1800.07/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.71 c inference : 453.02 533677 0 0 0 0 1067354
1800.07/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.71 c random : 0.00 0 0 0 0 0 0
1800.07/1800.71 c Primal Heuristics : Time Calls Found
1800.07/1800.71 c LP solutions : 0.00 - 0
1800.07/1800.71 c pseudo solutions : 0.00 - 0
1800.07/1800.71 c simplerounding : 0.00 0 0
1800.07/1800.71 c rounding : 0.00 0 0
1800.07/1800.71 c shifting : 0.00 0 0
1800.07/1800.71 c intshifting : 0.00 0 0
1800.07/1800.71 c oneopt : 0.00 0 0
1800.07/1800.71 c fixandinfer : 0.00 0 0
1800.07/1800.71 c feaspump : 0.00 0 0
1800.07/1800.71 c coefdiving : 0.00 0 0
1800.07/1800.71 c pscostdiving : 0.00 0 0
1800.07/1800.71 c fracdiving : 0.00 0 0
1800.07/1800.71 c veclendiving : 0.00 0 0
1800.07/1800.71 c intdiving : 0.00 0 0
1800.07/1800.71 c actconsdiving : 0.00 0 0
1800.07/1800.71 c objpscostdiving : 0.00 0 0
1800.07/1800.71 c rootsoldiving : 0.00 0 0
1800.07/1800.71 c linesearchdiving : 0.00 0 0
1800.07/1800.71 c guideddiving : 0.00 0 0
1800.07/1800.71 c octane : 0.00 0 0
1800.07/1800.71 c rens : 0.00 0 0
1800.07/1800.71 c rins : 0.00 0 0
1800.07/1800.71 c localbranching : 0.00 0 0
1800.07/1800.71 c mutation : 0.00 0 0
1800.07/1800.71 c crossover : 0.00 0 0
1800.07/1800.71 c dins : 0.00 0 0
1800.07/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.71 c primal LP : 0.02 0 0 0.00 0.00
1800.07/1800.71 c dual LP : 12.60 6 4609 768.17 365.79
1800.07/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.71 c strong branching : 10.89 17 3465 203.82 318.18
1800.07/1800.71 c (at root node) : - 17 3465 203.82 -
1800.07/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.71 c B&B Tree :
1800.07/1800.71 c number of runs : 1
1800.07/1800.71 c nodes : 750722
1800.07/1800.71 c nodes (total) : 750722
1800.07/1800.71 c nodes left : 79
1800.07/1800.71 c max depth : 1376
1800.07/1800.71 c max depth (total): 1376
1800.07/1800.71 c backtracks : 172617 (23.0%)
1800.07/1800.71 c delayed cutoffs : 316556
1800.07/1800.71 c repropagations : 1042585 (6173748 domain reductions, 157000 cutoffs)
1800.07/1800.71 c avg switch length: 3.85
1800.07/1800.71 c switching time : 177.76
1800.07/1800.71 c Solution :
1800.07/1800.71 c Solutions found : 0 (0 improvements)
1800.07/1800.71 c Primal Bound : -
1800.07/1800.71 c Dual Bound : +2.40548880799996e+02
1800.07/1800.71 c Gap : infinite
1800.07/1800.71 c Root Dual Bound : +2.39665860048661e+02
1800.17/1800.86 c Time complete: 1800.22.
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-1884087-1245254150/watcher-1884087-1245254150 -o /tmp/evaluation-result-1884087-1245254150/solver-1884087-1245254150 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884087-1245254150.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 11258 /proc/meminfo: memFree=1840440/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=4324 CPUtime=0 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 467 0 0 0 0 0 0 0 18 0 1 0 193011396 4427776 451 1992294400 4194304 7823515 548682068736 18446744073709551615 6804240 0 0 4096 0 0 0 0 17 1 0 0 /proc/11258/statm: 1081 463 300 886 0 191 0 [startup+0.052408 s] /proc/loadavg: 0.00 0.00 0.00 3/64 11258 /proc/meminfo: memFree=1840440/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=12088 CPUtime=0.04 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 2328 0 0 0 3 1 0 0 18 0 1 0 193011396 12378112 2310 1992294400 4194304 7823515 548682068736 18446744073709551615 4765623 0 0 4096 0 0 0 0 17 1 0 0 /proc/11258/statm: 3022 2310 351 886 0 2132 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12088 [startup+0.101416 s] /proc/loadavg: 0.00 0.00 0.00 3/64 11258 /proc/meminfo: memFree=1840440/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=13096 CPUtime=0.09 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 2596 0 0 0 8 1 0 0 18 0 1 0 193011396 13410304 2578 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/11258/statm: 3274 2578 351 886 0 2384 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13096 [startup+0.30145 s] /proc/loadavg: 0.00 0.00 0.00 3/64 11258 /proc/meminfo: memFree=1840440/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=18316 CPUtime=0.29 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 3882 0 0 0 28 1 0 0 19 0 1 0 193011396 18755584 3864 1992294400 4194304 7823515 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0 /proc/11258/statm: 4579 3864 351 886 0 3689 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18316 [startup+0.70152 s] /proc/loadavg: 0.00 0.00 0.00 3/64 11258 /proc/meminfo: memFree=1840440/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=49920 CPUtime=0.69 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 11867 0 0 0 61 8 0 0 22 0 1 0 193011396 51118080 11495 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 12480 11495 432 886 0 11590 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 49920 [startup+1.50166 s] /proc/loadavg: 0.00 0.00 0.00 2/65 11259 /proc/meminfo: memFree=1788272/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=84700 CPUtime=1.49 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 20524 0 0 0 135 14 0 0 18 0 1 0 193011396 86732800 19424 1992294400 4194304 7823515 548682068736 18446744073709551615 6237507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 21175 19424 511 886 0 20285 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 84700 [startup+3.10193 s] /proc/loadavg: 0.00 0.00 0.00 2/65 11259 /proc/meminfo: memFree=1758384/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=98500 CPUtime=3.09 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 24491 0 0 0 292 17 0 0 25 0 1 0 193011396 100864000 22976 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 24625 22976 543 886 0 23735 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 98500 [startup+6.30148 s] /proc/loadavg: 0.08 0.02 0.01 2/65 11259 /proc/meminfo: memFree=1748784/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=98500 CPUtime=6.29 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 24832 0 0 0 611 18 0 0 25 0 1 0 193011396 100864000 23317 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 24625 23317 543 886 0 23735 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 98500 [startup+12.7016 s] /proc/loadavg: 0.15 0.03 0.01 2/65 11259 /proc/meminfo: memFree=1745200/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=102016 CPUtime=12.68 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 25842 0 0 0 1249 19 0 0 25 0 1 0 193011396 104464384 24233 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 25504 24233 545 886 0 24614 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 102016 [startup+25.5018 s] /proc/loadavg: 0.34 0.08 0.02 2/65 11259 /proc/meminfo: memFree=1736368/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=112056 CPUtime=25.48 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 28570 0 0 0 2525 23 0 0 25 0 1 0 193011396 114745344 26444 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 28014 26444 545 886 0 27124 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 112056 [startup+51.1012 s] /proc/loadavg: 0.56 0.15 0.05 2/65 11259 /proc/meminfo: memFree=1729328/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=51.07 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30344 0 0 0 5068 39 0 0 25 0 1 0 193011396 122253312 28217 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28217 554 886 0 28957 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 119388 [startup+102.305 s] /proc/loadavg: 0.81 0.28 0.10 2/65 11259 /proc/meminfo: memFree=1729264/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=102.26 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30344 0 0 0 10128 98 0 0 25 0 1 0 193011396 122253312 28217 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28217 554 886 0 28957 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 119388 [startup+162.301 s] /proc/loadavg: 0.93 0.41 0.15 2/65 11259 /proc/meminfo: memFree=1729264/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=162.23 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30349 0 0 0 16062 161 0 0 25 0 1 0 193011396 122253312 28222 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28222 554 886 0 28957 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 119388 [startup+222.302 s] /proc/loadavg: 0.97 0.51 0.20 2/65 11259 /proc/meminfo: memFree=1729200/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=222.22 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30349 0 0 0 21995 227 0 0 25 0 1 0 193011396 122253312 28222 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28222 554 886 0 28957 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 119388 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/65 11259 /proc/meminfo: memFree=1729072/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=282.19 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30349 0 0 0 27931 288 0 0 25 0 1 0 193011396 122253312 28222 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28222 554 886 0 28957 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 119388 [startup+342.302 s] /proc/loadavg: 0.99 0.67 0.29 2/65 11265 /proc/meminfo: memFree=1728880/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=342.17 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30350 0 0 0 33863 354 0 0 25 0 1 0 193011396 122253312 28223 1992294400 4194304 7823515 548682068736 18446744073709551615 5432883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28223 554 886 0 28957 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 119388 [startup+402.302 s] /proc/loadavg: 0.99 0.73 0.33 2/65 11265 /proc/meminfo: memFree=1728880/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=402.15 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30351 0 0 0 39796 419 0 0 25 0 1 0 193011396 122253312 28224 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28224 554 886 0 28957 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 119388 [startup+462.301 s] /proc/loadavg: 0.99 0.77 0.37 2/65 11265 /proc/meminfo: memFree=1728816/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=462.13 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30351 0 0 0 45728 485 0 0 25 0 1 0 193011396 122253312 28224 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28224 554 886 0 28957 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 119388 [startup+522.302 s] /proc/loadavg: 0.99 0.81 0.41 2/65 11265 /proc/meminfo: memFree=1728880/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=522.1 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 51663 547 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 119388 [startup+582.302 s] /proc/loadavg: 0.99 0.84 0.44 2/65 11265 /proc/meminfo: memFree=1728880/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=582.09 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 57594 615 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 4538293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 119388 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.47 2/65 11265 /proc/meminfo: memFree=1728880/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=642.07 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 63527 680 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 119388 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.93 0.58 2/65 11265 /proc/meminfo: memFree=1728624/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=881.98 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 87261 937 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 119388 [startup+942.302 s] /proc/loadavg: 0.99 0.94 0.61 2/65 11265 /proc/meminfo: memFree=1728560/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=941.96 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 93194 1002 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 119388 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.63 2/65 11265 /proc/meminfo: memFree=1728560/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1001.94 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 99125 1069 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 119388 [startup+1062.3 s] /proc/loadavg: 0.99 0.95 0.65 2/65 11265 /proc/meminfo: memFree=1728496/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1061.92 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 105059 1133 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 119388 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/65 11265 /proc/meminfo: memFree=1728432/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1121.89 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 110995 1194 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 119388 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.68 2/65 11265 /proc/meminfo: memFree=1728368/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1181.87 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 116929 1258 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 119388 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.70 2/65 11265 /proc/meminfo: memFree=1728304/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1241.86 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 122861 1325 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 119388 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 2/65 11265 /proc/meminfo: memFree=1728240/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1301.84 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 128798 1386 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 119388 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.73 2/65 11265 /proc/meminfo: memFree=1728240/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1361.81 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 134730 1451 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 119388 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.75 2/65 11265 /proc/meminfo: memFree=1728176/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1421.79 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 140664 1515 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 119388 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.76 2/65 11265 /proc/meminfo: memFree=1728112/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1481.77 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 146598 1579 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 4769543 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 119388 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.77 2/65 11265 /proc/meminfo: memFree=1728048/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1541.75 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 152531 1644 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 119388 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.78 2/65 11265 /proc/meminfo: memFree=1728048/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1601.73 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 158465 1708 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 4769434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 119388 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.79 2/65 11265 /proc/meminfo: memFree=1727984/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1661.7 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 164397 1773 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 119388 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.80 2/65 11265 /proc/meminfo: memFree=1727984/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1721.68 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 170329 1839 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 119388 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.82 2/65 11265 /proc/meminfo: memFree=1727920/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1781.66 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 176264 1902 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 119388 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 0.99 0.97 0.82 2/65 11265 /proc/meminfo: memFree=1727856/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1800.07 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30352 0 0 0 178083 1924 0 0 25 0 1 0 193011396 122253312 28225 1992294400 4194304 7823515 548682068736 18446744073709551615 5781156 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28225 554 886 0 28957 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 119388 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.82 2/65 11265 /proc/meminfo: memFree=1727856/2055920 swapFree=4181252/4192956 [pid=11258] ppid=11256 vsize=119388 CPUtime=1800.17 /proc/11258/stat : 11258 (pbscip.linux.x8) R 11256 11258 11221 0 -1 4194304 30360 0 0 0 178093 1924 0 0 25 0 1 0 193011396 122253312 28233 1992294400 4194304 7823515 548682068736 18446744073709551615 5875134 0 0 4096 0 0 0 0 17 1 0 0 /proc/11258/statm: 29847 28233 560 886 0 28957 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 119388 Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.24 CPU user time (s): 1780.98 CPU system time (s): 19.2591 CPU usage (%): 99.9648 Max. virtual memory (cumulated for all children) (KiB): 119388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.98 system time used= 19.2591 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30364 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= 1476 runsolver used 1.38279 second user time and 3.71043 second system time The end
Begin job on node48 at 2009-06-17 17:55:50 IDJOB=1884087 IDBENCH=71922 IDSOLVER=683 FILE ID=node48/1884087-1245254150 PBS_JOBID= 9372406 Free space on /tmp= 66236 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/QG7a-gensys-ukn001.sat05-3841.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-1884087-1245254150/watcher-1884087-1245254150 -o /tmp/evaluation-result-1884087-1245254150/solver-1884087-1245254150 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884087-1245254150.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ef500cb459264376002ca2e278445b3f RANDOM SEED=1032620131 node48.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.270 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.270 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: 1840984 kB Buffers: 27960 kB Cached: 120320 kB SwapCached: 5468 kB Active: 48740 kB Inactive: 107296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1840984 kB SwapTotal: 4192956 kB SwapFree: 4181252 kB Dirty: 11288 kB Writeback: 0 kB Mapped: 13400 kB Slab: 44928 kB Committed_AS: 174872 kB PageTables: 1372 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= 66224 MiB End job on node48 at 2009-06-17 18:25:53