| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1800.15 | 1800.8 |
| Name | /PURE-SAT/SAT09/CRAFTED/sgi/ new-difficult-22-173-20-80.opb |
| MD5SUM | c6b6ae5d4ff2af837d71f1ed0e126bc7 |
| 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 | 214.014 |
| 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 | 440 |
| Total number of constraints | 22276 |
| Number of constraints which are clauses | 22276 |
| 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 | 2 |
| Maximum length of a constraint | 22 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 23 |
| 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.29/0.30 c SCIP version 1.1.0.7
0.29/0.30 c LP-Solver Clp 1.8.2
0.29/0.30 c user parameter file <scip.set> not found - using default parameters
0.29/0.30 c read problem <HOME/instance-1884938-1245260695.opb>
0.29/0.30 c original problem has 440 variables (440 bin, 0 int, 0 impl, 0 cont) and 22276 constraints
0.29/0.35 c No objective function, only one solution is needed.
0.29/0.35 c start presolving problem
0.29/0.35 c presolving:
0.59/0.60 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 22276 upgd conss, 44512 impls, 0 clqs
0.59/0.63 c presolving (2 rounds):
0.59/0.63 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.63 c 44512 implications, 0 cliques
0.59/0.63 c presolved problem has 440 variables (440 bin, 0 int, 0 impl, 0 cont) and 22276 constraints
0.59/0.63 c 22276 constraints of type <logicor>
0.59/0.63 c transformed objective value is always integral (scale: 1)
0.59/0.63 c Presolving Time: 0.23
0.59/0.64 c PURESAT
0.59/0.64 c -----------------------------------------------------------------------------------------------
0.59/0.64 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.64 c separating/flowcover/freq = c -1
0.59/0.64 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.64 c separating/cmir/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/veclendiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.64 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.59/0.64 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/veclendiving/freq = c -1
0.59/0.64 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.64 c heuristics/simplerounding/freq = c -1
0.59/0.64 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/shifting/freq = c -1
0.59/0.64 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.64 c heuristics/rounding/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.59/0.64 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.59/0.64 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.64 c heuristics/rootsoldiving/freq = c -1
0.59/0.64 c # number of nodes added to the contingent of the total nodes
0.59/0.64 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.59/0.64 c heuristics/rens/nodesofs = c 2000
0.59/0.64 c # minimum percentage of integer variables that have to be fixable
0.59/0.64 c # [type: real, range: [0,1], default: 0.5]
0.59/0.64 c heuristics/rens/minfixingrate = c 0.3
0.59/0.64 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.64 c heuristics/rens/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.64 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.59/0.64 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/pscostdiving/freq = c -1
0.59/0.64 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.64 c heuristics/oneopt/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to total iteration number
0.59/0.64 c # [type: real, range: [0,1], default: 0.01]
0.59/0.64 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.59/0.64 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.64 c heuristics/objpscostdiving/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.64 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.59/0.64 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/linesearchdiving/freq = c -1
0.59/0.64 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/intshifting/freq = c -1
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.64 c heuristics/intdiving/maxlpiterquot = c 0.075
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/guideddiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.64 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.59/0.64 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/guideddiving/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/fracdiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.64 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.59/0.64 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/fracdiving/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/feaspump/maxlpiterofs = c 2000
0.59/0.64 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.64 c heuristics/feaspump/freq = c -1
0.59/0.64 c # minimum percentage of integer variables that have to be fixed
0.59/0.64 c # [type: real, range: [0,1], default: 0.666]
0.59/0.64 c heuristics/crossover/minfixingrate = c 0.5
0.59/0.64 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.59/0.64 c # [type: real, range: [0,1], default: 0.1]
0.59/0.64 c heuristics/crossover/nodesquot = c 0.15
0.59/0.64 c # number of nodes without incumbent change that heuristic should wait
0.59/0.64 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.59/0.64 c heuristics/crossover/nwaitingnodes = c 100
0.59/0.64 c # number of nodes added to the contingent of the total nodes
0.59/0.64 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.59/0.64 c heuristics/crossover/nodesofs = c 750
0.59/0.64 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 30]
0.59/0.64 c heuristics/crossover/freq = c -1
0.59/0.64 c # additional number of allowed LP iterations
0.59/0.64 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.64 c heuristics/coefdiving/maxlpiterofs = c 1500
0.59/0.64 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.64 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.59/0.64 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.64 c heuristics/coefdiving/freq = c -1
0.59/0.64 c # priority of node selection rule <dfs> in standard mode
0.59/0.64 c # [type: int, range: [-536870912,536870911], default: 0]
0.59/0.64 c nodeselection/dfs/stdpriority = c 1000000
0.59/0.64 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c presolving/probing/maxrounds = c 0
0.59/0.64 c # should presolving try to simplify knapsacks
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/knapsack/simplifyinequalities = c TRUE
0.59/0.64 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.59/0.64 c constraints/knapsack/disaggregation = c FALSE
0.59/0.64 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c constraints/knapsack/maxnumcardlift = c 0
0.59/0.64 c # should presolving try to simplify inequalities
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/linear/simplifyinequalities = c TRUE
0.59/0.64 c # maximal number of separation rounds in the root node (-1: unlimited)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c separating/maxroundsroot = c 5
0.59/0.64 c # maximal number of separation rounds per node (-1: unlimited)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 5]
0.59/0.64 c separating/maxrounds = c 1
0.59/0.64 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.59/0.64 c # [type: char, range: {lafpsqd}, default: l]
0.59/0.64 c lp/pricing = c a
0.59/0.64 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.64 c lp/solvefreq = c 0
0.59/0.64 c # solving stops, if the given number of solutions were found (-1: no limit)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c limits/solutions = c 1
0.59/0.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64 c limits/memory = c 1620
0.59/0.64 c # maximal time in seconds to run
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64 c limits/time = c 1791
0.59/0.64 c # frequency for displaying node information lines
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.64 c display/freq = c 10000
0.59/0.64 c # should enforcement of pseudo solution be disabled?
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/disableenfops = c TRUE
0.59/0.64 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.64 c constraints/agelimit = c 1
0.59/0.64 c # should binary conflicts be preferred?
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c conflict/preferbinary = c TRUE
0.59/0.64 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c conflict/interconss = c 0
0.59/0.64 c -----------------------------------------------------------------------------------------------
0.59/0.64 c start solving problem
0.59/0.64 c
0.69/0.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.77 c 0.4s| 1 | 0 | 40 | 25M| 0 | 40 | 440 | 22k| 22k| 440 | 22k| 0 | 0 | 0 | 2.000000e+01 | -- | Inf
1.39/1.41 c 1.0s| 1 | 0 | 203 | 25M| 0 | 38 | 440 | 22k| 22k| 440 | 22k| 3 | 0 | 0 | 2.000000e+01 | -- | Inf
1.89/1.93 c 1.5s| 1 | 0 | 289 | 25M| 0 | 32 | 440 | 22k| 22k| 440 | 22k| 7 | 0 | 0 | 2.000000e+01 | -- | Inf
2.69/2.72 c 2.3s| 1 | 0 | 488 | 25M| 0 | 50 | 440 | 22k| 22k| 440 | 22k| 15 | 0 | 0 | 2.000000e+01 | -- | Inf
3.39/3.46 c 3.0s| 1 | 0 | 604 | 25M| 0 | 61 | 440 | 22k| 22k| 440 | 22k| 20 | 0 | 0 | 2.000000e+01 | -- | Inf
4.69/4.70 c 4.3s| 1 | 0 | 866 | 25M| 0 | 77 | 440 | 22k| 22k| 440 | 22k| 28 | 0 | 0 | 2.000000e+01 | -- | Inf
42.28/42.30 c 41.8s| 1 | 2 | 866 | 25M| 0 | 77 | 440 | 22k| 22k| 440 | 22k| 28 | 0 | 33 | 2.000000e+01 | -- | Inf
60.17/60.24 c 59.5s| 10000 | 122 | 866 | 26M| 249 | - | 440 | 22k| 10k| 0 | 0 | 28 |6433 | 33 | 2.000000e+01 | -- | Inf
77.56/77.64 c 76.7s| 20000 | 117 | 866 | 26M| 249 | - | 440 | 22k|9951 | 0 | 0 | 28 | 13k| 33 | 2.000000e+01 | -- | Inf
94.96/95.09 c 94.0s| 30000 | 109 | 866 | 26M| 249 | - | 440 | 22k| 11k| 0 | 0 | 28 | 19k| 33 | 2.000000e+01 | -- | Inf
111.75/111.84 c 111s| 40000 | 98 | 866 | 26M| 249 | - | 440 | 22k|9076 | 0 | 0 | 28 | 26k| 33 | 2.000000e+01 | -- | Inf
127.55/127.65 c 126s| 50000 | 111 | 866 | 26M| 249 | - | 440 | 22k|9182 | 0 | 0 | 28 | 32k| 33 | 2.000000e+01 | -- | Inf
143.44/143.57 c 142s| 60000 | 98 | 866 | 26M| 249 | - | 440 | 22k|9593 | 0 | 0 | 28 | 39k| 33 | 2.000000e+01 | -- | Inf
159.14/159.22 c 157s| 70000 | 109 | 866 | 26M| 249 | - | 440 | 22k|8545 | 0 | 0 | 28 | 45k| 33 | 2.000000e+01 | -- | Inf
175.03/175.18 c 173s| 80000 | 101 | 866 | 26M| 249 | - | 440 | 22k|9754 | 0 | 0 | 28 | 52k| 33 | 2.000000e+01 | -- | Inf
192.22/192.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.22/192.38 c 190s| 90000 | 90 | 866 | 26M| 249 | - | 440 | 22k|8931 | 0 | 0 | 28 | 58k| 33 | 2.000000e+01 | -- | Inf
209.32/209.48 c 207s|100000 | 93 | 866 | 26M| 249 | - | 440 | 22k|8888 | 0 | 0 | 28 | 65k| 33 | 2.000000e+01 | -- | Inf
226.70/226.84 c 224s|110000 | 101 | 866 | 26M| 249 | - | 440 | 22k|8446 | 0 | 0 | 28 | 71k| 33 | 2.000000e+01 | -- | Inf
243.50/243.69 c 241s|120000 | 92 | 866 | 26M| 249 | - | 440 | 22k|8668 | 0 | 0 | 28 | 78k| 33 | 2.000000e+01 | -- | Inf
260.69/260.88 c 258s|130000 | 83 | 866 | 26M| 249 | - | 440 | 22k|8651 | 0 | 0 | 28 | 85k| 33 | 2.000000e+01 | -- | Inf
279.09/279.27 c 276s|140000 | 96 | 866 | 26M| 249 | - | 440 | 22k|8476 | 0 | 0 | 28 | 91k| 33 | 2.000000e+01 | -- | Inf
294.88/295.05 c 292s|150000 | 87 | 866 | 26M| 249 | - | 440 | 22k|7746 | 0 | 0 | 28 | 98k| 33 | 2.000000e+01 | -- | Inf
311.38/311.51 c 308s|160000 | 93 | 866 | 26M| 249 | - | 440 | 22k|8060 | 0 | 0 | 28 | 105k| 33 | 2.000000e+01 | -- | Inf
327.78/327.98 c 324s|170000 | 97 | 866 | 26M| 249 | - | 440 | 22k|8345 | 0 | 0 | 28 | 111k| 33 | 2.000000e+01 | -- | Inf
344.37/344.51 c 341s|180000 | 81 | 866 | 26M| 249 | - | 440 | 22k|8801 | 0 | 0 | 28 | 118k| 33 | 2.000000e+01 | -- | Inf
362.56/362.70 c 359s|190000 | 87 | 866 | 26M| 249 | - | 440 | 22k|7668 | 0 | 0 | 28 | 124k| 33 | 2.000000e+01 | -- | Inf
380.95/381.10 c 377s|200000 | 76 | 866 | 26M| 249 | - | 440 | 22k|8367 | 0 | 0 | 28 | 131k| 33 | 2.000000e+01 | -- | Inf
398.55/398.76 c 394s|210000 | 76 | 866 | 26M| 249 | - | 440 | 22k|8781 | 0 | 0 | 28 | 138k| 33 | 2.000000e+01 | -- | Inf
416.94/417.10 c 412s|220000 | 73 | 866 | 26M| 249 | - | 440 | 22k|7762 | 0 | 0 | 28 | 144k| 33 | 2.000000e+01 | -- | Inf
435.94/436.10 c 431s|230000 | 135 | 866 | 26M| 249 | - | 440 | 22k| 11k| 0 | 0 | 28 | 151k| 33 | 2.000000e+01 | -- | Inf
452.03/452.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.03/452.23 c 447s|240000 | 88 | 866 | 26M| 249 | - | 440 | 22k|7975 | 0 | 0 | 28 | 157k| 33 | 2.000000e+01 | -- | Inf
468.82/469.07 c 464s|250000 | 75 | 866 | 26M| 249 | - | 440 | 22k|8211 | 0 | 0 | 28 | 164k| 33 | 2.000000e+01 | -- | Inf
485.21/485.47 c 480s|260000 | 91 | 866 | 26M| 249 | - | 440 | 22k|8029 | 0 | 0 | 28 | 171k| 33 | 2.000000e+01 | -- | Inf
502.41/502.62 c 497s|270000 | 71 | 866 | 26M| 249 | - | 440 | 22k|7897 | 0 | 0 | 28 | 178k| 33 | 2.000000e+01 | -- | Inf
521.80/522.09 c 516s|280000 | 82 | 866 | 26M| 249 | - | 440 | 22k|7593 | 0 | 0 | 28 | 184k| 33 | 2.000000e+01 | -- | Inf
540.40/540.61 c 535s|290000 | 86 | 866 | 26M| 249 | - | 440 | 22k|8250 | 0 | 0 | 28 | 191k| 33 | 2.000000e+01 | -- | Inf
556.19/556.42 c 550s|300000 | 76 | 866 | 26M| 249 | - | 440 | 22k|7423 | 0 | 0 | 28 | 198k| 33 | 2.000000e+01 | -- | Inf
573.09/573.33 c 567s|310000 | 100 | 866 | 26M| 249 | - | 440 | 22k| 10k| 0 | 0 | 28 | 204k| 33 | 2.000000e+01 | -- | Inf
594.58/594.90 c 588s|320000 | 68 | 866 | 26M| 249 | - | 440 | 22k|7795 | 0 | 0 | 28 | 211k| 33 | 2.000000e+01 | -- | Inf
613.77/614.03 c 607s|330000 | 69 | 866 | 26M| 249 | - | 440 | 22k|7259 | 0 | 0 | 28 | 218k| 33 | 2.000000e+01 | -- | Inf
630.67/630.94 c 624s|340000 | 67 | 866 | 26M| 249 | - | 440 | 22k|7643 | 0 | 0 | 28 | 225k| 33 | 2.000000e+01 | -- | Inf
649.56/649.81 c 643s|350000 | 58 | 866 | 26M| 249 | - | 440 | 22k|7222 | 0 | 0 | 28 | 232k| 33 | 2.000000e+01 | -- | Inf
666.95/667.29 c 660s|360000 | 69 | 866 | 26M| 249 | - | 440 | 22k|8582 | 0 | 0 | 28 | 238k| 33 | 2.000000e+01 | -- | Inf
683.85/684.20 c 677s|370000 | 59 | 866 | 26M| 249 | - | 440 | 22k|8178 | 0 | 0 | 28 | 245k| 33 | 2.000000e+01 | -- | Inf
702.14/702.48 c 695s|380000 | 60 | 866 | 26M| 249 | - | 440 | 22k|7262 | 0 | 0 | 28 | 251k| 33 | 2.000000e+01 | -- | Inf
720.73/721.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
720.73/721.03 c 713s|390000 | 72 | 866 | 26M| 249 | - | 440 | 22k|7522 | 0 | 0 | 28 | 258k| 33 | 2.000000e+01 | -- | Inf
739.52/739.81 c 732s|400000 | 57 | 866 | 26M| 249 | - | 440 | 22k|8082 | 0 | 0 | 28 | 265k| 33 | 2.000000e+01 | -- | Inf
757.92/758.27 c 750s|410000 | 64 | 866 | 26M| 249 | - | 440 | 22k|7985 | 0 | 0 | 28 | 272k| 33 | 2.000000e+01 | -- | Inf
775.31/775.69 c 767s|420000 | 64 | 866 | 26M| 249 | - | 440 | 22k|6549 | 0 | 0 | 28 | 278k| 33 | 2.000000e+01 | -- | Inf
792.00/792.31 c 784s|430000 | 65 | 866 | 26M| 249 | - | 440 | 22k|8160 | 0 | 0 | 28 | 285k| 33 | 2.000000e+01 | -- | Inf
810.70/811.09 c 802s|440000 | 62 | 866 | 26M| 249 | - | 440 | 22k|6633 | 0 | 0 | 28 | 292k| 33 | 2.000000e+01 | -- | Inf
829.19/829.53 c 821s|450000 | 63 | 866 | 26M| 249 | - | 440 | 22k|8324 | 0 | 0 | 28 | 298k| 33 | 2.000000e+01 | -- | Inf
847.29/847.66 c 838s|460000 | 64 | 866 | 26M| 249 | - | 440 | 22k|6938 | 0 | 0 | 28 | 305k| 33 | 2.000000e+01 | -- | Inf
865.18/865.58 c 856s|470000 | 52 | 866 | 26M| 249 | - | 440 | 22k|7488 | 0 | 0 | 28 | 312k| 33 | 2.000000e+01 | -- | Inf
881.68/882.03 c 872s|480000 | 46 | 866 | 26M| 249 | - | 440 | 22k|6877 | 0 | 0 | 28 | 319k| 33 | 2.000000e+01 | -- | Inf
899.97/900.39 c 891s|490000 | 56 | 866 | 26M| 249 | - | 440 | 22k|7476 | 0 | 0 | 28 | 325k| 33 | 2.000000e+01 | -- | Inf
919.66/920.03 c 910s|500000 | 55 | 866 | 26M| 249 | - | 440 | 22k|6362 | 0 | 0 | 28 | 332k| 33 | 2.000000e+01 | -- | Inf
938.55/938.95 c 929s|510000 | 57 | 866 | 26M| 249 | - | 440 | 22k|7449 | 0 | 0 | 28 | 339k| 33 | 2.000000e+01 | -- | Inf
957.14/957.51 c 947s|520000 | 54 | 866 | 26M| 249 | - | 440 | 22k|7220 | 0 | 0 | 28 | 346k| 33 | 2.000000e+01 | -- | Inf
977.93/978.32 c 968s|530000 | 54 | 866 | 26M| 249 | - | 440 | 22k|7670 | 0 | 0 | 28 | 353k| 33 | 2.000000e+01 | -- | Inf
996.13/996.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.13/996.52 c 986s|540000 | 48 | 866 | 26M| 249 | - | 440 | 22k|7681 | 0 | 0 | 28 | 359k| 33 | 2.000000e+01 | -- | Inf
1014.12/1014.51 c 1004s|550000 | 36 | 866 | 26M| 249 | - | 440 | 22k|6809 | 0 | 0 | 28 | 366k| 33 | 2.000000e+01 | -- | Inf
1033.92/1034.39 c 1023s|560000 | 46 | 866 | 26M| 249 | - | 440 | 22k|8312 | 0 | 0 | 28 | 373k| 33 | 2.000000e+01 | -- | Inf
1054.61/1055.03 c 1044s|570000 | 52 | 866 | 26M| 249 | - | 440 | 22k|6463 | 0 | 0 | 28 | 379k| 33 | 2.000000e+01 | -- | Inf
1072.20/1072.65 c 1061s|580000 | 49 | 866 | 26M| 249 | - | 440 | 22k|7248 | 0 | 0 | 28 | 386k| 33 | 2.000000e+01 | -- | Inf
1091.19/1091.68 c 1080s|590000 | 39 | 866 | 26M| 249 | - | 440 | 22k|6558 | 0 | 0 | 28 | 393k| 33 | 2.000000e+01 | -- | Inf
1110.89/1111.31 c 1099s|600000 | 36 | 866 | 26M| 249 | - | 440 | 22k|7506 | 0 | 0 | 28 | 400k| 33 | 2.000000e+01 | -- | Inf
1128.68/1129.18 c 1117s|610000 | 33 | 866 | 26M| 249 | - | 440 | 22k|6922 | 0 | 0 | 28 | 407k| 33 | 2.000000e+01 | -- | Inf
1150.37/1150.87 c 1139s|620000 | 33 | 866 | 26M| 249 | - | 440 | 22k|6560 | 0 | 0 | 28 | 414k| 33 | 2.000000e+01 | -- | Inf
1168.07/1168.55 c 1156s|630000 | 38 | 866 | 26M| 249 | - | 440 | 22k|6369 | 0 | 0 | 28 | 421k| 33 | 2.000000e+01 | -- | Inf
1184.36/1184.88 c 1172s|640000 | 26 | 866 | 26M| 249 | - | 440 | 22k|6651 | 0 | 0 | 28 | 428k| 33 | 2.000000e+01 | -- | Inf
1200.15/1200.61 c 1188s|650000 | 39 | 866 | 26M| 249 | - | 440 | 22k|6392 | 0 | 0 | 28 | 434k| 33 | 2.000000e+01 | -- | Inf
1217.26/1217.76 c 1205s|660000 | 35 | 866 | 26M| 249 | - | 440 | 22k|6431 | 0 | 0 | 28 | 441k| 33 | 2.000000e+01 | -- | Inf
1233.44/1233.93 c 1221s|670000 | 35 | 866 | 26M| 249 | - | 440 | 22k|6069 | 0 | 0 | 28 | 447k| 33 | 2.000000e+01 | -- | Inf
1251.43/1251.93 c 1239s|680000 | 30 | 866 | 26M| 249 | - | 440 | 22k|6451 | 0 | 0 | 28 | 454k| 33 | 2.000000e+01 | -- | Inf
1269.03/1269.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.03/1269.59 c 1256s|690000 | 30 | 866 | 26M| 249 | - | 440 | 22k|6207 | 0 | 0 | 28 | 461k| 33 | 2.000000e+01 | -- | Inf
1285.52/1286.03 c 1272s|700000 | 21 | 866 | 26M| 249 | - | 440 | 22k|6470 | 0 | 0 | 28 | 468k| 33 | 2.000000e+01 | -- | Inf
1302.92/1303.46 c 1290s|710000 | 41 | 866 | 26M| 249 | - | 440 | 22k|5268 | 0 | 0 | 28 | 475k| 33 | 2.000000e+01 | -- | Inf
1319.81/1320.31 c 1306s|720000 | 24 | 866 | 26M| 249 | - | 440 | 22k|6528 | 0 | 0 | 28 | 481k| 33 | 2.000000e+01 | -- | Inf
1337.30/1337.88 c 1324s|730000 | 29 | 866 | 26M| 249 | - | 440 | 22k|5803 | 0 | 0 | 28 | 488k| 33 | 2.000000e+01 | -- | Inf
1354.20/1354.80 c 1340s|740000 | 18 | 866 | 26M| 249 | - | 440 | 22k|5888 | 0 | 0 | 28 | 495k| 33 | 2.000000e+01 | -- | Inf
1372.19/1372.71 c 1358s|750000 | 29 | 866 | 26M| 249 | - | 440 | 22k|7778 | 0 | 0 | 28 | 502k| 33 | 2.000000e+01 | -- | Inf
1394.88/1395.42 c 1381s|760000 | 20 | 866 | 26M| 249 | - | 440 | 22k|7435 | 0 | 0 | 28 | 509k| 33 | 2.000000e+01 | -- | Inf
1414.97/1415.54 c 1401s|770000 | 15 | 866 | 26M| 249 | - | 440 | 22k|7603 | 0 | 0 | 28 | 516k| 33 | 2.000000e+01 | -- | Inf
1439.47/1440.02 c 1425s|780000 | 167 | 866 | 26M| 249 | - | 440 | 22k|9147 | 0 | 0 | 28 | 522k| 33 | 2.000000e+01 | -- | Inf
1466.46/1467.06 c 1452s|790000 | 150 | 866 | 26M| 249 | - | 440 | 22k|8216 | 0 | 0 | 28 | 529k| 33 | 2.000000e+01 | -- | Inf
1492.06/1492.66 c 1477s|800000 | 150 | 866 | 26M| 249 | - | 440 | 22k|6476 | 0 | 0 | 28 | 536k| 33 | 2.000000e+01 | -- | Inf
1515.94/1516.59 c 1501s|810000 | 139 | 866 | 26M| 249 | - | 440 | 22k|6276 | 0 | 0 | 28 | 542k| 33 | 2.000000e+01 | -- | Inf
1541.03/1541.65 c 1526s|820000 | 139 | 866 | 26M| 249 | - | 440 | 22k|6402 | 0 | 0 | 28 | 549k| 33 | 2.000000e+01 | -- | Inf
1565.63/1566.27 c 1550s|830000 | 138 | 866 | 26M| 249 | - | 440 | 22k|6012 | 0 | 0 | 28 | 555k| 33 | 2.000000e+01 | -- | Inf
1591.91/1592.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1591.91/1592.59 c 1576s|840000 | 138 | 866 | 26M| 249 | - | 440 | 22k| 10k| 0 | 0 | 28 | 562k| 33 | 2.000000e+01 | -- | Inf
1618.40/1619.09 c 1603s|850000 | 124 | 866 | 26M| 249 | - | 440 | 22k|5217 | 0 | 0 | 28 | 568k| 33 | 2.000000e+01 | -- | Inf
1642.99/1643.69 c 1627s|860000 | 127 | 866 | 26M| 249 | - | 440 | 22k|5104 | 0 | 0 | 28 | 575k| 33 | 2.000000e+01 | -- | Inf
1668.48/1669.13 c 1652s|870000 | 117 | 866 | 26M| 249 | - | 440 | 22k|7375 | 0 | 0 | 28 | 581k| 33 | 2.000000e+01 | -- | Inf
1693.18/1693.80 c 1677s|880000 | 129 | 866 | 26M| 249 | - | 440 | 22k|5481 | 0 | 0 | 28 | 588k| 33 | 2.000000e+01 | -- | Inf
1714.57/1715.23 c 1698s|890000 | 116 | 866 | 26M| 249 | - | 440 | 22k|4665 | 0 | 0 | 28 | 594k| 33 | 2.000000e+01 | -- | Inf
1739.56/1740.27 c 1723s|900000 | 122 | 866 | 26M| 249 | - | 440 | 22k|7293 | 0 | 0 | 28 | 601k| 33 | 2.000000e+01 | -- | Inf
1760.15/1760.83 c 1743s|910000 | 107 | 866 | 26M| 249 | - | 440 | 22k|4750 | 0 | 0 | 28 | 608k| 33 | 2.000000e+01 | -- | Inf
1782.74/1783.45 c 1766s|920000 | 110 | 866 | 26M| 249 | - | 440 | 22k|5466 | 0 | 0 | 28 | 614k| 33 | 2.000000e+01 | -- | Inf
1800.05/1800.71 c
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time (sec) : 1782.69
1800.05/1800.71 c Solving Nodes : 927519
1800.05/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.71 c Dual Bound : +2.00000000000001e+01
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 c NODE 927519
1800.05/1800.71 c DUAL BOUND 20
1800.05/1800.71 c PRIMAL BOUND 1e+20
1800.05/1800.71 c GAP 1e+20
1800.05/1800.71 s UNKNOWN
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time : 1782.69
1800.05/1800.71 c Original Problem :
1800.05/1800.71 c Problem name : HOME/instance-1884938-1245260695.opb
1800.05/1800.71 c Variables : 440 (440 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 22276 initial, 22276 maximal
1800.05/1800.71 c Presolved Problem :
1800.05/1800.71 c Problem name : t_HOME/instance-1884938-1245260695.opb
1800.05/1800.71 c Variables : 440 (440 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 22276 initial, 22403 maximal
1800.05/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c logicor : 0.06 0 0 0 0 0 0 0 0
1800.05/1800.71 c root node : - 1 - - 1 - - - -
1800.05/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.71 c logicor : 22276+ 5 3645661 0 0 597811 29629404 0 0 0
1800.05/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.71 c integral : 37.49 0.00 0.00 37.49 0.00
1800.05/1800.71 c logicor : 850.36 0.02 850.34 0.00 0.00
1800.05/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.71 c rootredcost : 1.53 0 0 0
1800.05/1800.71 c pseudoobj : 105.16 4339747 0 0
1800.05/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.71 c propagation : 54.53 597811 597783 597783 30.0 34039 41.8 -
1800.05/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.71 c applied globally : - - - 503748 22.1 - - -
1800.05/1800.71 c applied locally : - - - 115997 64.5 - - -
1800.05/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.71 c cut pool : 0.00 4 - - 9 - (maximal pool size: 157)
1800.05/1800.71 c redcost : 0.00 5 0 0 0 0
1800.05/1800.71 c impliedbounds : 0.00 5 0 0 0 0
1800.05/1800.71 c intobj : 0.00 0 0 0 0 0
1800.05/1800.71 c gomory : 1.22 5 0 0 2500 0
1800.05/1800.71 c strongcg : 1.18 5 0 0 2500 0
1800.05/1800.71 c cmir : 0.00 0 0 0 0 0
1800.05/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.71 c clique : 0.03 5 0 0 30 0
1800.05/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.71 c mcf : 0.03 1 0 0 0 0
1800.05/1800.71 c Pricers : Time Calls Vars
1800.05/1800.71 c problem variables: 0.00 0 0
1800.05/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.71 c relpscost : 37.49 1 0 0 0 0 2
1800.05/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.71 c inference : 20.35 671246 0 0 0 0 1342492
1800.05/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.71 c random : 0.00 0 0 0 0 0 0
1800.05/1800.71 c Primal Heuristics : Time Calls Found
1800.05/1800.71 c LP solutions : 0.00 - 0
1800.05/1800.71 c pseudo solutions : 0.00 - 0
1800.05/1800.71 c simplerounding : 0.00 0 0
1800.05/1800.71 c rounding : 0.00 0 0
1800.05/1800.71 c shifting : 0.00 0 0
1800.05/1800.71 c intshifting : 0.00 0 0
1800.05/1800.71 c oneopt : 0.00 0 0
1800.05/1800.71 c fixandinfer : 0.00 0 0
1800.05/1800.71 c feaspump : 0.00 0 0
1800.05/1800.71 c coefdiving : 0.00 0 0
1800.05/1800.71 c pscostdiving : 0.00 0 0
1800.05/1800.71 c fracdiving : 0.00 0 0
1800.05/1800.71 c veclendiving : 0.00 0 0
1800.05/1800.71 c intdiving : 0.00 0 0
1800.05/1800.71 c actconsdiving : 0.00 0 0
1800.05/1800.71 c objpscostdiving : 0.00 0 0
1800.05/1800.71 c rootsoldiving : 0.00 0 0
1800.05/1800.71 c linesearchdiving : 0.00 0 0
1800.05/1800.71 c guideddiving : 0.00 0 0
1800.05/1800.71 c octane : 0.00 0 0
1800.05/1800.71 c rens : 0.00 0 0
1800.05/1800.71 c rins : 0.00 0 0
1800.05/1800.71 c localbranching : 0.00 0 0
1800.05/1800.71 c mutation : 0.00 0 0
1800.05/1800.71 c crossover : 0.00 0 0
1800.05/1800.71 c dins : 0.00 0 0
1800.05/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.71 c primal LP : 0.02 0 0 0.00 0.00
1800.05/1800.71 c dual LP : 1.36 6 866 144.33 636.76
1800.05/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.71 c strong branching : 37.49 33 13157 398.70 350.95
1800.05/1800.71 c (at root node) : - 33 13157 398.70 -
1800.05/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.71 c B&B Tree :
1800.05/1800.71 c number of runs : 1
1800.05/1800.71 c nodes : 927519
1800.05/1800.71 c nodes (total) : 927519
1800.05/1800.71 c nodes left : 108
1800.05/1800.71 c max depth : 249
1800.05/1800.71 c max depth (total): 249
1800.05/1800.71 c backtracks : 371827 (40.1%)
1800.05/1800.71 c delayed cutoffs : 414868
1800.05/1800.71 c repropagations : 926081 (17161153 domain reductions, 341539 cutoffs)
1800.05/1800.71 c avg switch length: 2.82
1800.05/1800.71 c switching time : 461.65
1800.05/1800.71 c Solution :
1800.05/1800.71 c Solutions found : 0 (0 improvements)
1800.05/1800.71 c Primal Bound : -
1800.05/1800.71 c Dual Bound : +2.00000000000001e+01
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 c Root Dual Bound : +2.00000000000000e+01
1800.05/1800.80 c Time complete: 1800.14.
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-1884938-1245260695/watcher-1884938-1245260695 -o /tmp/evaluation-result-1884938-1245260695/solver-1884938-1245260695 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1884938-1245260695.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 0.94 3/64 13159 /proc/meminfo: memFree=1810928/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=5812 CPUtime=0 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 193666170 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/13159/statm: 1453 503 332 1256 0 192 0 [startup+0.0191479 s] /proc/loadavg: 1.00 1.00 0.94 3/64 13159 /proc/meminfo: memFree=1810928/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=10740 CPUtime=0.01 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 1647 0 0 0 1 0 0 0 18 0 1 0 193666170 10997760 1631 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/13159/statm: 2685 1631 376 1256 0 1424 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10740 [startup+0.102163 s] /proc/loadavg: 1.00 1.00 0.94 3/64 13159 /proc/meminfo: memFree=1810928/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=13568 CPUtime=0.09 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 2377 0 0 0 8 1 0 0 18 0 1 0 193666170 13893632 2361 1992294400 4194304 9342243 548682068736 18446744073709551615 4486084 0 0 4096 0 0 0 0 17 1 0 0 /proc/13159/statm: 3392 2361 376 1256 0 2131 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13568 [startup+0.301198 s] /proc/loadavg: 1.00 1.00 0.94 3/64 13159 /proc/meminfo: memFree=1810928/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=19232 CPUtime=0.29 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 3790 0 0 0 28 1 0 0 19 0 1 0 193666170 19693568 3774 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0 /proc/13159/statm: 4808 3774 376 1256 0 3547 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19232 [startup+0.701271 s] /proc/loadavg: 1.00 1.00 0.94 3/64 13159 /proc/meminfo: memFree=1810928/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=54348 CPUtime=0.69 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 13764 0 0 0 59 10 0 0 17 0 1 0 193666170 55652352 12603 1992294400 4194304 9342243 548682068736 18446744073709551615 4641403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 13587 12603 511 1256 0 12326 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54348 [startup+1.50142 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13160 /proc/meminfo: memFree=1751464/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=74588 CPUtime=1.49 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 17259 0 0 0 136 13 0 0 23 0 1 0 193666170 76378112 16008 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 18647 16008 630 1256 0 17386 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 74588 [startup+3.10171 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13160 /proc/meminfo: memFree=1748392/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=75808 CPUtime=3.09 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 18128 0 0 0 296 13 0 0 25 0 1 0 193666170 77627392 16877 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 18952 16877 634 1256 0 17691 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 75808 [startup+6.30129 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13160 /proc/meminfo: memFree=1731496/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=101380 CPUtime=6.29 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 22030 0 0 0 613 16 0 0 25 0 1 0 193666170 103813120 20359 1992294400 4194304 9342243 548682068736 18446744073709551615 6040609 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 25345 20359 639 1256 0 24084 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 101380 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13160 /proc/meminfo: memFree=1731048/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=101380 CPUtime=12.69 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 23497 0 0 0 1251 18 0 0 25 0 1 0 193666170 103813120 20474 1992294400 4194304 9342243 548682068736 18446744073709551615 6960738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 25345 20474 639 1256 0 24084 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 101380 [startup+25.5028 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13160 /proc/meminfo: memFree=1731048/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=101380 CPUtime=25.49 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 27887 0 0 0 2527 22 0 0 25 0 1 0 193666170 103813120 20474 1992294400 4194304 9342243 548682068736 18446744073709551615 6368210 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 25345 20474 639 1256 0 24084 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 101380 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13160 /proc/meminfo: memFree=1731816/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=51.08 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32806 0 0 0 5072 36 0 0 25 0 1 0 193666170 92381184 20328 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20328 661 1256 0 21293 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 90216 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13160 /proc/meminfo: memFree=1731752/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=102.26 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32806 0 0 0 10140 86 0 0 25 0 1 0 193666170 92381184 20328 1992294400 4194304 9342243 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20328 661 1256 0 21293 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 90216 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13160 /proc/meminfo: memFree=1731752/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=162.23 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32806 0 0 0 16069 154 0 0 25 0 1 0 193666170 92381184 20328 1992294400 4194304 9342243 548682068736 18446744073709551615 4817523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20328 661 1256 0 21293 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 90216 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13160 /proc/meminfo: memFree=1731752/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=222.21 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32806 0 0 0 22002 219 0 0 25 0 1 0 193666170 92381184 20328 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20328 661 1256 0 21293 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 90216 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13160 /proc/meminfo: memFree=1731688/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=282.19 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32807 0 0 0 27937 282 0 0 25 0 1 0 193666170 92381184 20329 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20329 661 1256 0 21293 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 90216 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13160 /proc/meminfo: memFree=1731624/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=342.17 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32807 0 0 0 33868 349 0 0 25 0 1 0 193666170 92381184 20329 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20329 661 1256 0 21293 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 90216 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13160 /proc/meminfo: memFree=1731560/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=402.15 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32807 0 0 0 39803 412 0 0 25 0 1 0 193666170 92381184 20329 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20329 661 1256 0 21293 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 90216 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13160 /proc/meminfo: memFree=1731560/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=462.12 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32807 0 0 0 45740 472 0 0 25 0 1 0 193666170 92381184 20329 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20329 661 1256 0 21293 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 90216 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13162 /proc/meminfo: memFree=1731304/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=522.1 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32807 0 0 0 51679 531 0 0 25 0 1 0 193666170 92381184 20329 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20329 661 1256 0 21293 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 90216 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13162 /proc/meminfo: memFree=1731240/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=582.08 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32807 0 0 0 57617 591 0 0 25 0 1 0 193666170 92381184 20329 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20329 661 1256 0 21293 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 90216 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13162 /proc/meminfo: memFree=1731240/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=642.06 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32807 0 0 0 63555 651 0 0 25 0 1 0 193666170 92381184 20329 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20329 661 1256 0 21293 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 90216 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13162 /proc/meminfo: memFree=1731176/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=881.97 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32809 0 0 0 87300 897 0 0 25 0 1 0 193666170 92381184 20331 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20331 661 1256 0 21293 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 90216 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13162 /proc/meminfo: memFree=1731112/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=941.95 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32815 0 0 0 93238 957 0 0 25 0 1 0 193666170 92381184 20337 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20337 661 1256 0 21293 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 90216 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1730856/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1001.93 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32836 0 0 0 99178 1015 0 0 25 0 1 0 193666170 92381184 20358 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20358 661 1256 0 21293 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 90216 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1730792/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1061.91 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32844 0 0 0 105122 1069 0 0 25 0 1 0 193666170 92381184 20366 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20366 661 1256 0 21293 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 90216 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1730664/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1121.88 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32858 0 0 0 111061 1127 0 0 25 0 1 0 193666170 92381184 20380 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20380 661 1256 0 21293 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 90216 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1730664/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1181.86 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32875 0 0 0 117006 1180 0 0 25 0 1 0 193666170 92381184 20397 1992294400 4194304 9342243 548682068736 18446744073709551615 5858552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20397 661 1256 0 21293 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 90216 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1730536/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1241.84 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32879 0 0 0 122943 1241 0 0 25 0 1 0 193666170 92381184 20401 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20401 661 1256 0 21293 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 90216 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1730408/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1301.82 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32886 0 0 0 128883 1299 0 0 25 0 1 0 193666170 92381184 20408 1992294400 4194304 9342243 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20408 661 1256 0 21293 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 90216 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1730344/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1361.79 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32886 0 0 0 134814 1365 0 0 25 0 1 0 193666170 92381184 20408 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20408 661 1256 0 21293 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 90216 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1730216/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1421.78 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 32903 0 0 0 140757 1421 0 0 25 0 1 0 193666170 92381184 20425 1992294400 4194304 9342243 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20425 661 1256 0 21293 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 90216 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1729640/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1481.75 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 33039 0 0 0 146710 1465 0 0 25 0 1 0 193666170 92381184 20561 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20561 662 1256 0 21293 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 90216 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1729576/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1541.73 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 33051 0 0 0 152665 1508 0 0 25 0 1 0 193666170 92381184 20573 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20573 662 1256 0 21293 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 90216 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1729448/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1601.71 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 33066 0 0 0 158619 1552 0 0 25 0 1 0 193666170 92381184 20588 1992294400 4194304 9342243 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20588 662 1256 0 21293 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 90216 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1729320/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1661.68 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 33087 0 0 0 164572 1596 0 0 25 0 1 0 193666170 92381184 20609 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20609 662 1256 0 21293 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 90216 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1729320/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1721.67 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 33088 0 0 0 170524 1643 0 0 25 0 1 0 193666170 92381184 20610 1992294400 4194304 9342243 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20610 662 1256 0 21293 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 90216 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1729192/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1781.65 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 33092 0 0 0 176472 1693 0 0 25 0 1 0 193666170 92381184 20614 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20614 662 1256 0 21293 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 90216 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1729128/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1800.05 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 33100 0 0 0 178297 1708 0 0 25 0 1 0 193666170 92381184 20622 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20622 662 1256 0 21293 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 90216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.94 2/65 13168 /proc/meminfo: memFree=1729128/2055920 swapFree=4181856/4192956 [pid=13159] ppid=13157 vsize=90216 CPUtime=1800.05 /proc/13159/stat : 13159 (pbscip.linux.x8) R 13157 13159 12458 0 -1 4194304 33100 0 0 0 178297 1708 0 0 25 0 1 0 193666170 92381184 20622 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13159/statm: 22554 20622 662 1256 0 21293 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 90216 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.15 CPU user time (s): 1783.05 CPU system time (s): 17.1024 CPU usage (%): 99.9638 Max. virtual memory (cumulated for all children) (KiB): 101648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.05 system time used= 17.1024 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33111 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= 1932 runsolver used 1.3318 second user time and 3.89841 second system time The end
Begin job on node44 at 2009-06-17 19:44:55 IDJOB=1884938 IDBENCH=72007 IDSOLVER=684 FILE ID=node44/1884938-1245260695 PBS_JOBID= 9372409 Free space on /tmp= 65924 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/sgi/new-difficult-22-173-20-80.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-1884938-1245260695/watcher-1884938-1245260695 -o /tmp/evaluation-result-1884938-1245260695/solver-1884938-1245260695 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1884938-1245260695.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c6b6ae5d4ff2af837d71f1ed0e126bc7 RANDOM SEED=541117741 node44.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1811344 kB Buffers: 31196 kB Cached: 127648 kB SwapCached: 5172 kB Active: 81784 kB Inactive: 85216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1811344 kB SwapTotal: 4192956 kB SwapFree: 4181856 kB Dirty: 12240 kB Writeback: 0 kB Mapped: 14012 kB Slab: 63620 kB Committed_AS: 205856 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 65912 MiB End job on node44 at 2009-06-17 20:14:57