| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1800.2 | 1800.68 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-45-40.opb |
| MD5SUM | 2149498a764a37bf6db991eef5859a95 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 1800 |
| Total number of constraints | 39645 |
| Number of constraints which are clauses | 39645 |
| 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 | 40 |
| 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 | 41 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.49/0.54 c SCIP version 1.1.0.7
0.49/0.54 c LP-Solver Clp 1.8.2
0.49/0.54 c user parameter file <scip.set> not found - using default parameters
0.49/0.54 c read problem <HOME/instance-1883938-1245238129.opb>
0.49/0.54 c original problem has 1800 variables (1800 bin, 0 int, 0 impl, 0 cont) and 39645 constraints
0.59/0.63 c No objective function, only one solution is needed.
0.59/0.63 c start presolving problem
0.59/0.63 c presolving:
1.00/1.06 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 39645 upgd conss, 79200 impls, 0 clqs
1.09/1.12 c presolving (2 rounds):
1.09/1.12 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.09/1.12 c 79200 implications, 0 cliques
1.09/1.12 c presolved problem has 1800 variables (1800 bin, 0 int, 0 impl, 0 cont) and 39645 constraints
1.09/1.12 c 39645 constraints of type <logicor>
1.09/1.12 c transformed objective value is always integral (scale: 1)
1.09/1.12 c Presolving Time: 0.40
1.09/1.12 c PURESAT
1.09/1.12 c -----------------------------------------------------------------------------------------------
1.09/1.12 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 0]
1.09/1.12 c separating/flowcover/freq = c -1
1.09/1.12 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 0]
1.09/1.12 c separating/cmir/freq = c -1
1.09/1.12 c # additional number of allowed LP iterations
1.09/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.12 c heuristics/veclendiving/maxlpiterofs = c 1500
1.09/1.12 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.09/1.12 c heuristics/veclendiving/maxlpiterquot = c 0.075
1.09/1.12 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.12 c heuristics/veclendiving/freq = c -1
1.09/1.12 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 1]
1.09/1.12 c heuristics/simplerounding/freq = c -1
1.09/1.12 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.12 c heuristics/shifting/freq = c -1
1.09/1.12 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 1]
1.09/1.12 c heuristics/rounding/freq = c -1
1.09/1.12 c # additional number of allowed LP iterations
1.09/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.12 c heuristics/rootsoldiving/maxlpiterofs = c 1500
1.09/1.12 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.09/1.12 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
1.09/1.12 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 20]
1.09/1.12 c heuristics/rootsoldiving/freq = c -1
1.09/1.12 c # number of nodes added to the contingent of the total nodes
1.09/1.12 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.09/1.12 c heuristics/rens/nodesofs = c 2000
1.09/1.12 c # minimum percentage of integer variables that have to be fixable
1.09/1.12 c # [type: real, range: [0,1], default: 0.5]
1.09/1.12 c heuristics/rens/minfixingrate = c 0.3
1.09/1.12 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 0]
1.09/1.12 c heuristics/rens/freq = c -1
1.09/1.12 c # additional number of allowed LP iterations
1.09/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.12 c heuristics/pscostdiving/maxlpiterofs = c 1500
1.09/1.12 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.09/1.12 c heuristics/pscostdiving/maxlpiterquot = c 0.075
1.09/1.12 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.12 c heuristics/pscostdiving/freq = c -1
1.09/1.12 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 1]
1.09/1.12 c heuristics/oneopt/freq = c -1
1.09/1.12 c # additional number of allowed LP iterations
1.09/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.12 c heuristics/objpscostdiving/maxlpiterofs = c 1500
1.09/1.12 c # maximal fraction of diving LP iterations compared to total iteration number
1.09/1.12 c # [type: real, range: [0,1], default: 0.01]
1.09/1.12 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
1.09/1.12 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 20]
1.09/1.12 c heuristics/objpscostdiving/freq = c -1
1.09/1.12 c # additional number of allowed LP iterations
1.09/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.12 c heuristics/linesearchdiving/maxlpiterofs = c 1500
1.09/1.12 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.09/1.12 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
1.09/1.12 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.12 c heuristics/linesearchdiving/freq = c -1
1.09/1.12 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.12 c heuristics/intshifting/freq = c -1
1.09/1.12 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.09/1.12 c heuristics/intdiving/maxlpiterquot = c 0.075
1.09/1.12 c # additional number of allowed LP iterations
1.09/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.12 c heuristics/guideddiving/maxlpiterofs = c 1500
1.09/1.12 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.09/1.12 c heuristics/guideddiving/maxlpiterquot = c 0.075
1.09/1.12 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.09/1.12 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.13 c heuristics/guideddiving/freq = c -1
1.09/1.13 c # additional number of allowed LP iterations
1.09/1.13 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.13 c heuristics/fracdiving/maxlpiterofs = c 1500
1.09/1.13 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.09/1.13 c heuristics/fracdiving/maxlpiterquot = c 0.075
1.09/1.13 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.09/1.13 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.13 c heuristics/fracdiving/freq = c -1
1.09/1.13 c # additional number of allowed LP iterations
1.09/1.13 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.13 c heuristics/feaspump/maxlpiterofs = c 2000
1.09/1.13 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.09/1.13 c # [type: int, range: [-1,2147483647], default: 20]
1.09/1.13 c heuristics/feaspump/freq = c -1
1.09/1.13 c # minimum percentage of integer variables that have to be fixed
1.09/1.13 c # [type: real, range: [0,1], default: 0.666]
1.09/1.13 c heuristics/crossover/minfixingrate = c 0.5
1.09/1.13 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.09/1.13 c # [type: real, range: [0,1], default: 0.1]
1.09/1.13 c heuristics/crossover/nodesquot = c 0.15
1.09/1.13 c # number of nodes without incumbent change that heuristic should wait
1.09/1.13 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.09/1.13 c heuristics/crossover/nwaitingnodes = c 100
1.09/1.13 c # number of nodes added to the contingent of the total nodes
1.09/1.13 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.09/1.13 c heuristics/crossover/nodesofs = c 750
1.09/1.13 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.09/1.13 c # [type: int, range: [-1,2147483647], default: 30]
1.09/1.13 c heuristics/crossover/freq = c -1
1.09/1.13 c # additional number of allowed LP iterations
1.09/1.13 c # [type: int, range: [0,2147483647], default: 1000]
1.09/1.13 c heuristics/coefdiving/maxlpiterofs = c 1500
1.09/1.13 c # maximal fraction of diving LP iterations compared to node LP iterations
1.09/1.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.09/1.13 c heuristics/coefdiving/maxlpiterquot = c 0.075
1.09/1.13 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.09/1.13 c # [type: int, range: [-1,2147483647], default: 10]
1.09/1.13 c heuristics/coefdiving/freq = c -1
1.09/1.13 c # priority of node selection rule <dfs> in standard mode
1.09/1.13 c # [type: int, range: [-536870912,536870911], default: 0]
1.09/1.13 c nodeselection/dfs/stdpriority = c 1000000
1.09/1.13 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.09/1.13 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.13 c presolving/probing/maxrounds = c 0
1.09/1.13 c # should presolving try to simplify knapsacks
1.09/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.13 c constraints/knapsack/simplifyinequalities = c TRUE
1.09/1.13 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.09/1.13 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.09/1.13 c constraints/knapsack/disaggregation = c FALSE
1.09/1.13 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
1.09/1.13 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.13 c constraints/knapsack/maxnumcardlift = c 0
1.09/1.13 c # should presolving try to simplify inequalities
1.09/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.13 c constraints/linear/simplifyinequalities = c TRUE
1.09/1.13 c # maximal number of separation rounds in the root node (-1: unlimited)
1.09/1.13 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.13 c separating/maxroundsroot = c 5
1.09/1.13 c # maximal number of separation rounds per node (-1: unlimited)
1.09/1.13 c # [type: int, range: [-1,2147483647], default: 5]
1.09/1.13 c separating/maxrounds = c 1
1.09/1.13 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.13 c # [type: char, range: {lafpsqd}, default: l]
1.09/1.13 c lp/pricing = c a
1.09/1.13 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.09/1.13 c # [type: int, range: [-1,2147483647], default: 1]
1.09/1.13 c lp/solvefreq = c 0
1.09/1.13 c # solving stops, if the given number of solutions were found (-1: no limit)
1.09/1.13 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.13 c limits/solutions = c 1
1.09/1.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.13 c limits/memory = c 1620
1.09/1.13 c # maximal time in seconds to run
1.09/1.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.13 c limits/time = c 1791
1.09/1.13 c # frequency for displaying node information lines
1.09/1.13 c # [type: int, range: [-1,2147483647], default: 100]
1.09/1.13 c display/freq = c 10000
1.09/1.13 c # should enforcement of pseudo solution be disabled?
1.09/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.13 c constraints/disableenfops = c TRUE
1.09/1.13 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.09/1.13 c # [type: int, range: [-1,2147483647], default: 0]
1.09/1.13 c constraints/agelimit = c 1
1.09/1.13 c # should binary conflicts be preferred?
1.09/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.13 c conflict/preferbinary = c TRUE
1.09/1.13 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.09/1.13 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.13 c conflict/interconss = c 0
1.09/1.13 c -----------------------------------------------------------------------------------------------
1.09/1.13 c start solving problem
1.09/1.13 c
1.29/1.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.36 c 0.7s| 1 | 0 | 90 | 46M| 0 | 90 |1800 | 39k| 39k|1800 | 39k| 0 | 0 | 0 | 4.500000e+01 | -- | Inf
1.99/2.10 c 1.4s| 1 | 0 | 424 | 46M| 0 | 86 |1800 | 39k| 39k|1800 | 39k| 3 | 0 | 0 | 4.500000e+01 | -- | Inf
3.19/3.23 c 2.5s| 1 | 0 | 702 | 46M| 0 | 80 |1800 | 39k| 39k|1800 | 39k| 13 | 0 | 0 | 4.500000e+01 | -- | Inf
5.79/5.81 c 5.0s| 1 | 0 | 1592 | 47M| 0 | 56 |1800 | 39k| 39k|1800 | 39k| 23 | 0 | 0 | 4.500000e+01 | -- | Inf
9.39/9.50 c 8.7s| 1 | 0 | 2523 | 47M| 0 | 42 |1800 | 39k| 39k|1800 | 39k| 32 | 0 | 0 | 4.500000e+01 | -- | Inf
11.39/11.47 c 10.7s| 1 | 0 | 2781 | 47M| 0 | 40 |1800 | 39k| 39k|1800 | 39k| 39 | 0 | 0 | 4.500000e+01 | -- | Inf
15.79/15.89 c 15.1s| 1 | 2 | 2781 | 47M| 0 | 40 |1800 | 39k| 39k|1800 | 39k| 39 | 0 | 33 | 4.500000e+01 | -- | Inf
34.28/34.38 c 33.4s| 10000 | 1012 | 2781 | 48M|1046 | - |1800 | 39k| 33k| 0 | 0 | 39 |5509 | 33 | 4.500000e+01 | -- | Inf
55.46/55.56 c 54.3s| 20000 | 995 | 2781 | 48M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 11k| 33 | 4.500000e+01 | -- | Inf
76.16/76.20 c 74.7s| 30000 | 995 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 17k| 33 | 4.500000e+01 | -- | Inf
95.95/96.06 c 94.3s| 40000 | 992 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 24k| 33 | 4.500000e+01 | -- | Inf
115.14/115.27 c 113s| 50000 | 992 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 30k| 33 | 4.500000e+01 | -- | Inf
135.54/135.62 c 133s| 60000 | 991 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 36k| 33 | 4.500000e+01 | -- | Inf
156.14/156.29 c 154s| 70000 | 993 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 42k| 33 | 4.500000e+01 | -- | Inf
175.13/175.24 c 173s| 80000 | 994 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 48k| 33 | 4.500000e+01 | -- | Inf
194.02/194.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.02/194.18 c 191s| 90000 | 990 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 54k| 33 | 4.500000e+01 | -- | Inf
212.42/212.57 c 209s|100000 | 988 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 61k| 33 | 4.500000e+01 | -- | Inf
231.92/232.04 c 229s|110000 | 993 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 67k| 33 | 4.500000e+01 | -- | Inf
251.51/251.62 c 248s|120000 | 987 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 73k| 33 | 4.500000e+01 | -- | Inf
272.50/272.66 c 269s|130000 | 988 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 79k| 33 | 4.500000e+01 | -- | Inf
292.10/292.24 c 288s|140000 | 998 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 85k| 33 | 4.500000e+01 | -- | Inf
310.80/310.95 c 307s|150000 | 989 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 91k| 33 | 4.500000e+01 | -- | Inf
330.29/330.47 c 326s|160000 | 990 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 97k| 33 | 4.500000e+01 | -- | Inf
350.99/351.12 c 346s|170000 | 985 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 104k| 33 | 4.500000e+01 | -- | Inf
373.08/373.25 c 368s|180000 | 989 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 110k| 33 | 4.500000e+01 | -- | Inf
393.08/393.25 c 388s|190000 | 990 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 116k| 33 | 4.500000e+01 | -- | Inf
413.97/414.16 c 409s|200000 | 990 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 122k| 33 | 4.500000e+01 | -- | Inf
435.57/435.73 c 430s|210000 | 986 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 128k| 33 | 4.500000e+01 | -- | Inf
456.46/456.67 c 451s|220000 | 991 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 135k| 33 | 4.500000e+01 | -- | Inf
478.55/478.73 c 473s|230000 | 996 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 141k| 33 | 4.500000e+01 | -- | Inf
498.35/498.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
498.35/498.58 c 492s|240000 | 984 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 147k| 33 | 4.500000e+01 | -- | Inf
517.14/517.30 c 511s|250000 | 986 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 154k| 33 | 4.500000e+01 | -- | Inf
536.64/536.87 c 530s|260000 | 987 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 160k| 33 | 4.500000e+01 | -- | Inf
557.14/557.37 c 550s|270000 | 990 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 166k| 33 | 4.500000e+01 | -- | Inf
578.33/578.56 c 571s|280000 | 993 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 172k| 33 | 4.500000e+01 | -- | Inf
599.13/599.32 c 592s|290000 | 988 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 179k| 33 | 4.500000e+01 | -- | Inf
620.01/620.21 c 612s|300000 | 988 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 185k| 33 | 4.500000e+01 | -- | Inf
639.42/639.69 c 632s|310000 | 981 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 191k| 33 | 4.500000e+01 | -- | Inf
661.30/661.54 c 653s|320000 | 981 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 197k| 33 | 4.500000e+01 | -- | Inf
682.91/683.10 c 675s|330000 | 985 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 203k| 33 | 4.500000e+01 | -- | Inf
704.30/704.55 c 696s|340000 | 989 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 210k| 33 | 4.500000e+01 | -- | Inf
724.19/724.50 c 716s|350000 | 993 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 216k| 33 | 4.500000e+01 | -- | Inf
744.59/744.82 c 736s|360000 | 984 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 222k| 33 | 4.500000e+01 | -- | Inf
768.28/768.56 c 759s|370000 | 988 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 228k| 33 | 4.500000e+01 | -- | Inf
789.88/790.14 c 780s|380000 | 983 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 235k| 33 | 4.500000e+01 | -- | Inf
809.67/809.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.67/809.98 c 800s|390000 | 984 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 241k| 33 | 4.500000e+01 | -- | Inf
829.26/829.56 c 819s|400000 | 991 | 2781 | 49M|1046 | - |1800 | 39k| 31k| 0 | 0 | 39 | 247k| 33 | 4.500000e+01 | -- | Inf
848.75/849.07 c 839s|410000 | 986 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 253k| 33 | 4.500000e+01 | -- | Inf
868.95/869.21 c 859s|420000 | 987 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 259k| 33 | 4.500000e+01 | -- | Inf
890.75/891.03 c 880s|430000 | 988 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 265k| 33 | 4.500000e+01 | -- | Inf
910.04/910.33 c 899s|440000 | 984 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 271k| 33 | 4.500000e+01 | -- | Inf
929.25/929.59 c 918s|450000 | 975 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 277k| 33 | 4.500000e+01 | -- | Inf
951.74/952.02 c 940s|460000 | 985 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 283k| 33 | 4.500000e+01 | -- | Inf
973.23/973.51 c 962s|470000 | 977 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 290k| 33 | 4.500000e+01 | -- | Inf
994.62/994.93 c 983s|480000 | 979 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 296k| 33 | 4.500000e+01 | -- | Inf
1014.32/1014.64 c 1002s|490000 | 988 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 302k| 33 | 4.500000e+01 | -- | Inf
1034.72/1035.01 c 1023s|500000 | 988 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 308k| 33 | 4.500000e+01 | -- | Inf
1056.11/1056.42 c 1044s|510000 | 983 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 315k| 33 | 4.500000e+01 | -- | Inf
1077.90/1078.23 c 1065s|520000 | 977 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 321k| 33 | 4.500000e+01 | -- | Inf
1099.39/1099.75 c 1087s|530000 | 982 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 327k| 33 | 4.500000e+01 | -- | Inf
1118.39/1118.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.39/1118.79 c 1105s|540000 | 980 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 333k| 33 | 4.500000e+01 | -- | Inf
1139.68/1140.09 c 1126s|550000 | 981 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 339k| 33 | 4.500000e+01 | -- | Inf
1160.78/1161.13 c 1147s|560000 | 984 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 346k| 33 | 4.500000e+01 | -- | Inf
1184.87/1185.25 c 1171s|570000 | 984 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 352k| 33 | 4.500000e+01 | -- | Inf
1205.36/1205.77 c 1191s|580000 | 975 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 358k| 33 | 4.500000e+01 | -- | Inf
1225.76/1226.10 c 1212s|590000 | 981 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 364k| 33 | 4.500000e+01 | -- | Inf
1245.06/1245.43 c 1231s|600000 | 981 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 370k| 33 | 4.500000e+01 | -- | Inf
1265.15/1265.50 c 1250s|610000 | 987 | 2781 | 49M|1046 | - |1800 | 39k| 31k| 0 | 0 | 39 | 376k| 33 | 4.500000e+01 | -- | Inf
1285.45/1285.80 c 1271s|620000 | 984 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 383k| 33 | 4.500000e+01 | -- | Inf
1307.04/1307.46 c 1292s|630000 | 983 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 389k| 33 | 4.500000e+01 | -- | Inf
1327.64/1328.04 c 1312s|640000 | 983 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 395k| 33 | 4.500000e+01 | -- | Inf
1348.53/1348.98 c 1333s|650000 | 982 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 401k| 33 | 4.500000e+01 | -- | Inf
1368.53/1368.97 c 1353s|660000 | 990 | 2781 | 49M|1046 | - |1800 | 39k| 31k| 0 | 0 | 39 | 407k| 33 | 4.500000e+01 | -- | Inf
1388.53/1388.93 c 1372s|670000 | 988 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 413k| 33 | 4.500000e+01 | -- | Inf
1410.02/1410.40 c 1394s|680000 | 987 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 419k| 33 | 4.500000e+01 | -- | Inf
1430.51/1431.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.51/1431.00 c 1414s|690000 | 980 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 425k| 33 | 4.500000e+01 | -- | Inf
1451.40/1451.85 c 1435s|700000 | 981 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 432k| 33 | 4.500000e+01 | -- | Inf
1471.90/1472.31 c 1455s|710000 | 979 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 438k| 33 | 4.500000e+01 | -- | Inf
1491.79/1492.22 c 1475s|720000 | 980 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 444k| 33 | 4.500000e+01 | -- | Inf
1512.19/1512.69 c 1495s|730000 | 981 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 450k| 33 | 4.500000e+01 | -- | Inf
1531.69/1532.15 c 1514s|740000 | 982 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 456k| 33 | 4.500000e+01 | -- | Inf
1552.48/1552.99 c 1535s|750000 | 978 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 462k| 33 | 4.500000e+01 | -- | Inf
1571.87/1572.32 c 1554s|760000 | 981 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 468k| 33 | 4.500000e+01 | -- | Inf
1591.37/1591.89 c 1573s|770000 | 984 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 474k| 33 | 4.500000e+01 | -- | Inf
1612.07/1612.59 c 1594s|780000 | 982 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 481k| 33 | 4.500000e+01 | -- | Inf
1633.16/1633.61 c 1614s|790000 | 975 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 487k| 33 | 4.500000e+01 | -- | Inf
1653.75/1654.30 c 1635s|800000 | 981 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 493k| 33 | 4.500000e+01 | -- | Inf
1674.45/1674.91 c 1655s|810000 | 974 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 499k| 33 | 4.500000e+01 | -- | Inf
1694.35/1694.80 c 1675s|820000 | 993 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 505k| 33 | 4.500000e+01 | -- | Inf
1714.44/1714.93 c 1695s|830000 | 982 | 2781 | 49M|1046 | - |1800 | 39k| 31k| 0 | 0 | 39 | 512k| 33 | 4.500000e+01 | -- | Inf
1735.03/1735.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.03/1735.56 c 1715s|840000 | 976 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 518k| 33 | 4.500000e+01 | -- | Inf
1755.83/1756.30 c 1736s|850000 | 978 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 524k| 33 | 4.500000e+01 | -- | Inf
1777.02/1777.50 c 1757s|860000 | 979 | 2781 | 49M|1046 | - |1800 | 39k| 31k| 0 | 0 | 39 | 530k| 33 | 4.500000e+01 | -- | Inf
1797.01/1797.59 c 1777s|870000 | 977 | 2781 | 49M|1046 | - |1800 | 39k| 32k| 0 | 0 | 39 | 536k| 33 | 4.500000e+01 | -- | Inf
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1779.42
1800.01/1800.50 c Solving Nodes : 871484
1800.01/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50 c Dual Bound : +4.50000000000001e+01
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 c NODE 871484
1800.01/1800.50 c DUAL BOUND 45
1800.01/1800.50 c PRIMAL BOUND 1e+20
1800.01/1800.50 c GAP 1e+20
1800.01/1800.50 s UNKNOWN
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1779.42
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-1883938-1245238129.opb
1800.01/1800.50 c Variables : 1800 (1800 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 39645 initial, 39645 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-1883938-1245238129.opb
1800.01/1800.50 c Variables : 1800 (1800 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 39645 initial, 39667 maximal
1800.01/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c implics : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c logicor : 0.11 0 0 0 0 0 0 0 0
1800.01/1800.50 c root node : - 0 - - 0 - - - -
1800.01/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.50 c logicor : 39645+ 5 4907358 0 0 532526 26340816 0 0 0
1800.01/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.50 c integral : 4.41 0.00 0.00 4.41 0.00
1800.01/1800.50 c logicor : 912.37 0.02 912.35 0.00 0.00
1800.01/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.50 c rootredcost : 2.06 0 0 0
1800.01/1800.50 c pseudoobj : 475.47 5527140 0 0
1800.01/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.50 c propagation : 564.03 532526 532526 532526 256.0 11906 202.8 -
1800.01/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.50 c applied globally : - - - 72922 130.4 - - -
1800.01/1800.50 c applied locally : - - - 464802 273.9 - - -
1800.01/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.50 c cut pool : 0.01 4 - - 0 - (maximal pool size: 172)
1800.01/1800.50 c redcost : 0.00 5 0 0 0 0
1800.01/1800.50 c impliedbounds : 0.00 5 0 0 0 0
1800.01/1800.50 c intobj : 0.00 0 0 0 0 0
1800.01/1800.50 c gomory : 2.56 5 0 0 2090 0
1800.01/1800.50 c strongcg : 1.99 5 0 0 2090 0
1800.01/1800.50 c cmir : 0.00 0 0 0 0 0
1800.01/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.50 c clique : 0.09 5 0 0 15 0
1800.01/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.50 c mcf : 0.07 1 0 0 0 0
1800.01/1800.50 c Pricers : Time Calls Vars
1800.01/1800.50 c problem variables: 0.00 0 0
1800.01/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c relpscost : 4.41 1 0 0 0 0 2
1800.01/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.50 c inference : 16.64 620963 0 0 0 0 1241926
1800.01/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.50 c random : 0.00 0 0 0 0 0 0
1800.01/1800.50 c Primal Heuristics : Time Calls Found
1800.01/1800.50 c LP solutions : 0.00 - 0
1800.01/1800.50 c pseudo solutions : 0.00 - 0
1800.01/1800.50 c simplerounding : 0.00 0 0
1800.01/1800.50 c rounding : 0.00 0 0
1800.01/1800.50 c shifting : 0.00 0 0
1800.01/1800.50 c intshifting : 0.00 0 0
1800.01/1800.50 c oneopt : 0.00 0 0
1800.01/1800.50 c fixandinfer : 0.00 0 0
1800.01/1800.50 c feaspump : 0.00 0 0
1800.01/1800.50 c coefdiving : 0.00 0 0
1800.01/1800.50 c pscostdiving : 0.00 0 0
1800.01/1800.50 c fracdiving : 0.00 0 0
1800.01/1800.50 c veclendiving : 0.00 0 0
1800.01/1800.50 c intdiving : 0.00 0 0
1800.01/1800.50 c actconsdiving : 0.00 0 0
1800.01/1800.50 c objpscostdiving : 0.00 0 0
1800.01/1800.50 c rootsoldiving : 0.00 0 0
1800.01/1800.50 c linesearchdiving : 0.00 0 0
1800.01/1800.50 c guideddiving : 0.00 0 0
1800.01/1800.50 c octane : 0.00 0 0
1800.01/1800.50 c rens : 0.00 0 0
1800.01/1800.50 c rins : 0.00 0 0
1800.01/1800.50 c localbranching : 0.00 0 0
1800.01/1800.50 c mutation : 0.00 0 0
1800.01/1800.50 c crossover : 0.00 0 0
1800.01/1800.50 c dins : 0.00 0 0
1800.01/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.50 c primal LP : 0.04 0 0 0.00 0.00
1800.01/1800.50 c dual LP : 5.21 6 2781 463.50 533.78
1800.01/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.50 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.50 c strong branching : 4.41 33 1970 59.70 446.71
1800.01/1800.50 c (at root node) : - 33 1970 59.70 -
1800.01/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.50 c B&B Tree :
1800.01/1800.50 c number of runs : 1
1800.01/1800.50 c nodes : 871484
1800.01/1800.50 c nodes (total) : 871484
1800.01/1800.51 c nodes left : 973
1800.01/1800.51 c max depth : 1046
1800.01/1800.51 c max depth (total): 1046
1800.01/1800.51 c backtracks : 296694 (34.0%)
1800.01/1800.51 c delayed cutoffs : 369472
1800.01/1800.51 c repropagations : 745204 (14409213 domain reductions, 282006 cutoffs)
1800.01/1800.51 c avg switch length: 2.56
1800.01/1800.51 c switching time : 218.69
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 0 (0 improvements)
1800.01/1800.51 c Primal Bound : -
1800.01/1800.51 c Dual Bound : +4.50000000000001e+01
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +4.50000000000000e+01
1800.12/1800.68 c Time complete: 1800.19.
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-1883938-1245238129/watcher-1883938-1245238129 -o /tmp/evaluation-result-1883938-1245238129/solver-1883938-1245238129 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1883938-1245238129.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.91 0.95 0.81 3/64 16742 /proc/meminfo: memFree=1810496/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=5812 CPUtime=0 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 515 0 0 0 0 0 0 0 18 0 1 0 191413277 5951488 499 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/16742/statm: 1453 500 332 1256 0 192 0 [startup+0.0383181 s] /proc/loadavg: 0.91 0.95 0.81 3/64 16742 /proc/meminfo: memFree=1810496/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=12676 CPUtime=0.03 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 2132 0 0 0 3 0 0 0 18 0 1 0 191413277 12980224 2116 1992294400 4194304 9342243 548682068736 18446744073709551615 8230100 0 0 4096 0 0 0 0 17 1 0 0 /proc/16742/statm: 3169 2116 376 1256 0 1908 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12676 [startup+0.101324 s] /proc/loadavg: 0.91 0.95 0.81 3/64 16742 /proc/meminfo: memFree=1810496/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=15136 CPUtime=0.09 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 2741 0 0 0 9 0 0 0 18 0 1 0 191413277 15499264 2725 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0 /proc/16742/statm: 3784 2725 376 1256 0 2523 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15136 [startup+0.301345 s] /proc/loadavg: 0.91 0.95 0.81 3/64 16742 /proc/meminfo: memFree=1810496/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=20640 CPUtime=0.29 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 4149 0 0 0 28 1 0 0 19 0 1 0 191413277 21135360 4133 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 0 0 0 0 17 1 0 0 /proc/16742/statm: 5160 4133 376 1256 0 3899 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20640 [startup+0.701385 s] /proc/loadavg: 0.91 0.95 0.81 3/64 16742 /proc/meminfo: memFree=1810496/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=53248 CPUtime=0.69 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 12424 0 0 0 63 6 0 0 22 0 1 0 191413277 54525952 12054 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 13312 12054 459 1256 0 12051 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 53248 [startup+1.50147 s] /proc/loadavg: 0.91 0.95 0.81 2/65 16743 /proc/meminfo: memFree=1749176/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=113500 CPUtime=1.49 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 25851 0 0 0 130 19 0 0 19 0 1 0 191413277 116224000 23711 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 28375 23711 616 1256 0 27114 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 113500 [startup+3.10163 s] /proc/loadavg: 0.91 0.95 0.81 2/65 16743 /proc/meminfo: memFree=1711352/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=115452 CPUtime=3.09 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 27755 0 0 0 287 22 0 0 25 0 1 0 191413277 118222848 25615 1992294400 4194304 9342243 548682068736 18446744073709551615 5868521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 28863 25615 632 1256 0 27602 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 115452 [startup+6.30196 s] /proc/loadavg: 0.92 0.95 0.82 2/65 16743 /proc/meminfo: memFree=1701304/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=122776 CPUtime=6.29 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 30148 0 0 0 605 24 0 0 25 0 1 0 191413277 125722624 28006 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 30694 28006 634 1256 0 29433 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 122776 [startup+12.7016 s] /proc/loadavg: 0.93 0.95 0.82 2/65 16743 /proc/meminfo: memFree=1688568/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=150620 CPUtime=12.69 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 33978 0 0 0 1240 29 0 0 25 0 1 0 191413277 154234880 30995 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 37655 30995 639 1256 0 36394 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 150620 [startup+25.5019 s] /proc/loadavg: 0.94 0.96 0.82 2/65 16743 /proc/meminfo: memFree=1690936/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=132496 CPUtime=25.49 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 34336 0 0 0 2510 39 0 0 25 0 1 0 191413277 135675904 30405 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33124 30405 661 1256 0 31863 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 132496 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.82 2/65 16743 /proc/meminfo: memFree=1690424/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=132496 CPUtime=51.07 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 34500 0 0 0 5039 68 0 0 25 0 1 0 191413277 135675904 30569 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33124 30569 661 1256 0 31863 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 132496 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.83 2/65 16743 /proc/meminfo: memFree=1689592/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=132496 CPUtime=102.26 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 34676 0 0 0 10099 127 0 0 25 0 1 0 191413277 135675904 30745 1992294400 4194304 9342243 548682068736 18446744073709551615 5746112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33124 30745 661 1256 0 31863 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 132496 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.83 2/65 16743 /proc/meminfo: memFree=1689272/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=132496 CPUtime=162.24 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 34753 0 0 0 16027 197 0 0 25 0 1 0 191413277 135675904 30822 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33124 30822 661 1256 0 31863 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 132496 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.84 2/65 16743 /proc/meminfo: memFree=1689080/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=132496 CPUtime=222.22 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 34793 0 0 0 21956 266 0 0 25 0 1 0 191413277 135675904 30862 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33124 30862 661 1256 0 31863 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 132496 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.84 2/65 16743 /proc/meminfo: memFree=1688888/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=132496 CPUtime=282.2 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 34818 0 0 0 27887 333 0 0 25 0 1 0 191413277 135675904 30887 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33124 30887 661 1256 0 31863 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 132496 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.85 2/65 16743 /proc/meminfo: memFree=1688696/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=132496 CPUtime=342.19 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 34868 0 0 0 33816 403 0 0 25 0 1 0 191413277 135675904 30937 1992294400 4194304 9342243 548682068736 18446744073709551615 5746128 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33124 30937 661 1256 0 31863 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 132496 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.86 2/65 16743 /proc/meminfo: memFree=1688440/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=132496 CPUtime=402.17 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 34915 0 0 0 39746 471 0 0 25 0 1 0 191413277 135675904 30984 1992294400 4194304 9342243 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33124 30984 661 1256 0 31863 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 132496 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.86 2/65 16743 /proc/meminfo: memFree=1688312/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=132496 CPUtime=462.16 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 34949 0 0 0 45681 535 0 0 25 0 1 0 191413277 135675904 31018 1992294400 4194304 9342243 548682068736 18446744073709551615 4775529 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33124 31018 661 1256 0 31863 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 132496 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.87 2/65 16743 /proc/meminfo: memFree=1688184/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=132496 CPUtime=522.14 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 34976 0 0 0 51615 599 0 0 25 0 1 0 191413277 135675904 31045 1992294400 4194304 9342243 548682068736 18446744073709551615 4207878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33124 31045 661 1256 0 31863 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 132496 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.87 2/65 16743 /proc/meminfo: memFree=1688056/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=132496 CPUtime=582.13 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 34989 0 0 0 57548 665 0 0 25 0 1 0 191413277 135675904 31058 1992294400 4194304 9342243 548682068736 18446744073709551615 5102411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33124 31058 661 1256 0 31863 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 132496 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.88 2/65 16743 /proc/meminfo: memFree=1687928/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=132628 CPUtime=642.12 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35009 0 0 0 63477 735 0 0 25 0 1 0 191413277 135811072 31078 1992294400 4194304 9342243 548682068736 18446744073709551615 5746112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33157 31078 661 1256 0 31896 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 132628 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.90 2/65 16743 /proc/meminfo: memFree=1687288/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133044 CPUtime=882.05 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35117 0 0 0 87205 1000 0 0 25 0 1 0 191413277 136237056 31186 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33261 31186 661 1256 0 32000 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 133044 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16743 /proc/meminfo: memFree=1687160/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133176 CPUtime=942.03 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35133 0 0 0 93136 1067 0 0 25 0 1 0 191413277 136372224 31202 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33294 31202 661 1256 0 32033 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 133176 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16743 /proc/meminfo: memFree=1687096/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133176 CPUtime=1002.02 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35155 0 0 0 99073 1129 0 0 25 0 1 0 191413277 136372224 31224 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33294 31224 661 1256 0 32033 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 133176 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16743 /proc/meminfo: memFree=1686968/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133308 CPUtime=1062.01 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35166 0 0 0 105004 1197 0 0 25 0 1 0 191413277 136507392 31235 1992294400 4194304 9342243 548682068736 18446744073709551615 5751914 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33327 31235 661 1256 0 32066 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 133308 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16743 /proc/meminfo: memFree=1686840/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133308 CPUtime=1121.99 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35184 0 0 0 110934 1265 0 0 25 0 1 0 191413277 136507392 31253 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33327 31253 661 1256 0 32066 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 133308 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16743 /proc/meminfo: memFree=1686712/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133440 CPUtime=1181.97 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35208 0 0 0 116870 1327 0 0 25 0 1 0 191413277 136642560 31277 1992294400 4194304 9342243 548682068736 18446744073709551615 5768020 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33360 31277 661 1256 0 32099 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 133440 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16743 /proc/meminfo: memFree=1686456/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133572 CPUtime=1241.96 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35232 0 0 0 122804 1392 0 0 25 0 1 0 191413277 136777728 31301 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33393 31301 661 1256 0 32132 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 133572 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16743 /proc/meminfo: memFree=1686392/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133572 CPUtime=1301.95 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35234 0 0 0 128736 1459 0 0 25 0 1 0 191413277 136777728 31303 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33393 31303 661 1256 0 32132 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 133572 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16743 /proc/meminfo: memFree=1686328/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133572 CPUtime=1361.93 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35241 0 0 0 134666 1527 0 0 25 0 1 0 191413277 136777728 31310 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33393 31310 661 1256 0 32132 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 133572 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16745 /proc/meminfo: memFree=1686072/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133572 CPUtime=1421.92 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35249 0 0 0 140597 1595 0 0 25 0 1 0 191413277 136777728 31318 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33393 31318 661 1256 0 32132 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 133572 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16745 /proc/meminfo: memFree=1686008/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133572 CPUtime=1481.9 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35254 0 0 0 146530 1660 0 0 25 0 1 0 191413277 136777728 31323 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33393 31323 661 1256 0 32132 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 133572 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16745 /proc/meminfo: memFree=1685880/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133720 CPUtime=1541.88 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35264 0 0 0 152462 1726 0 0 25 0 1 0 191413277 136929280 31333 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33430 31333 661 1256 0 32169 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 133720 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16745 /proc/meminfo: memFree=1685880/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133720 CPUtime=1601.86 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35264 0 0 0 158394 1792 0 0 25 0 1 0 191413277 136929280 31333 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33430 31333 661 1256 0 32169 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 133720 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16745 /proc/meminfo: memFree=1685752/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133720 CPUtime=1661.85 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35278 0 0 0 164331 1854 0 0 25 0 1 0 191413277 136929280 31347 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33430 31347 661 1256 0 32169 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 133720 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16745 /proc/meminfo: memFree=1685688/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133720 CPUtime=1721.84 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35284 0 0 0 170264 1920 0 0 25 0 1 0 191413277 136929280 31353 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33430 31353 661 1256 0 32169 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 133720 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16745 /proc/meminfo: memFree=1685624/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133860 CPUtime=1781.82 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35302 0 0 0 176196 1986 0 0 25 0 1 0 191413277 137072640 31371 1992294400 4194304 9342243 548682068736 18446744073709551615 5752195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33465 31371 661 1256 0 32204 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 133860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.91 2/65 16745 /proc/meminfo: memFree=1685560/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133860 CPUtime=1800.01 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35305 0 0 0 177994 2007 0 0 25 0 1 0 191413277 137072640 31374 1992294400 4194304 9342243 548682068736 18446744073709551615 4831908 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16742/statm: 33465 31374 661 1256 0 32204 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 133860 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.97 0.91 2/66 16746 /proc/meminfo: memFree=1685552/2055920 swapFree=4181840/4192956 [pid=16742] ppid=16740 vsize=133860 CPUtime=1800.12 /proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16655 0 -1 4194304 35319 0 0 0 178005 2007 0 0 25 0 1 0 191413277 137072640 31388 1992294400 4194304 9342243 548682068736 18446744073709551615 5855076 0 0 4096 0 0 0 0 17 1 0 0 /proc/16742/statm: 33465 31388 667 1256 0 32204 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 133860 Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.2 CPU user time (s): 1780.1 CPU system time (s): 20.1009 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 150936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.1 system time used= 20.1009 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35324 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= 2987 runsolver used 1.3148 second user time and 3.72343 second system time The end
Begin job on node24 at 2009-06-17 13:28:49 IDJOB=1883938 IDBENCH=2587 IDSOLVER=684 FILE ID=node24/1883938-1245238129 PBS_JOBID= 9372314 Free space on /tmp= 66364 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-45-40.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-1883938-1245238129/watcher-1883938-1245238129 -o /tmp/evaluation-result-1883938-1245238129/solver-1883938-1245238129 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1883938-1245238129.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2149498a764a37bf6db991eef5859a95 RANDOM SEED=1752050774 node24.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.231 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.231 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: 1810912 kB Buffers: 35048 kB Cached: 136760 kB SwapCached: 5332 kB Active: 70788 kB Inactive: 108832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1810912 kB SwapTotal: 4192956 kB SwapFree: 4181840 kB Dirty: 12712 kB Writeback: 0 kB Mapped: 13032 kB Slab: 51256 kB Committed_AS: 224300 kB PageTables: 1444 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66352 MiB End job on node24 at 2009-06-17 13:58:52