| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1802.16 | 1802.79 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_15.opb |
| MD5SUM | eb83986855f475edbe62b7e6495068f1 |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| 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 | 0.153976 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 400 |
| Total number of constraints | 602 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| 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 | 15 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 12452 |
| Sum of products size (including duplicates) | 24904 |
| Number of different products | 6226 |
| Sum of products size | 12452 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2663443-1276678887.opb>
0.00/0.08 c original problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6828 constraints
0.00/0.08 c problem read
0.00/0.08 c No objective function, only one solution is needed.
0.00/0.08 c presolving settings loaded
0.00/0.08 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.10/0.17 c presolving:
0.39/0.46 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50208 impls, 400 clqs
0.59/0.69 c presolving (2 rounds):
0.59/0.69 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.69 c 50208 implications, 400 cliques
0.59/0.69 c presolved problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6828 constraints
0.59/0.69 c 1 constraints of type <knapsack>
0.59/0.69 c 400 constraints of type <setppc>
0.59/0.69 c 6226 constraints of type <and>
0.59/0.69 c 1 constraints of type <linear>
0.59/0.69 c 200 constraints of type <logicor>
0.59/0.69 c transformed objective value is always integral (scale: 1)
0.59/0.69 c Presolving Time: 0.37
0.59/0.69 c - non default parameters ----------------------------------------------------------------------
0.59/0.69 c # SCIP version 1.2.1.2
0.59/0.69 c
0.59/0.69 c # frequency for displaying node information lines
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.69 c display/freq = 10000
0.59/0.69 c
0.59/0.69 c # maximal time in seconds to run
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/time = 1799.92
0.59/0.69 c
0.59/0.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/memory = 1620
0.59/0.69 c
0.59/0.69 c # solving stops, if the given number of solutions were found (-1: no limit)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69 c limits/solutions = 1
0.59/0.69 c
0.59/0.69 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c lp/solvefreq = -1
0.59/0.69 c
0.59/0.69 c # maximal number of separation rounds per node (-1: unlimited)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 5]
0.59/0.69 c separating/maxrounds = 1
0.59/0.69 c
0.59/0.69 c # maximal number of separation rounds in the root node (-1: unlimited)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69 c separating/maxroundsroot = 5
0.59/0.69 c
0.59/0.69 c # should presolving try to simplify inequalities
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/linear/simplifyinequalities = TRUE
0.59/0.69 c
0.59/0.69 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.59/0.69 c constraints/knapsack/disaggregation = FALSE
0.59/0.69 c
0.59/0.69 c # should presolving try to simplify knapsacks
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.69 c
0.59/0.69 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69 c presolving/probing/maxrounds = 0
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/coefdiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.69 c heuristics/coefdiving/maxlpiterquot = 0.075
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/coefdiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 30]
0.59/0.69 c heuristics/crossover/freq = -1
0.59/0.69 c
0.59/0.69 c # number of nodes added to the contingent of the total nodes
0.59/0.69 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.59/0.69 c heuristics/crossover/nodesofs = 750
0.59/0.69 c
0.59/0.69 c # number of nodes without incumbent change that heuristic should wait
0.59/0.69 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.59/0.69 c heuristics/crossover/nwaitingnodes = 100
0.59/0.69 c
0.59/0.69 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.59/0.69 c # [type: real, range: [0,1], default: 0.1]
0.59/0.69 c heuristics/crossover/nodesquot = 0.15
0.59/0.69 c
0.59/0.69 c # minimum percentage of integer variables that have to be fixed
0.59/0.69 c # [type: real, range: [0,1], default: 0.666]
0.59/0.69 c heuristics/crossover/minfixingrate = 0.5
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.69 c heuristics/feaspump/freq = -1
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/feaspump/maxlpiterofs = 2000
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/fracdiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.69 c heuristics/fracdiving/maxlpiterquot = 0.075
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/fracdiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/guideddiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.69 c heuristics/guideddiving/maxlpiterquot = 0.075
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/guideddiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.69 c heuristics/intdiving/maxlpiterquot = 0.075
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/intshifting/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/linesearchdiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.69 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c heuristics/nlp/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.69 c heuristics/objpscostdiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to total iteration number
0.59/0.69 c # [type: real, range: [0,1], default: 0.01]
0.59/0.69 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c heuristics/oneopt/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/pscostdiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.69 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/pscostdiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.69 c heuristics/rens/freq = -1
0.59/0.69 c
0.59/0.69 c # minimum percentage of integer variables that have to be fixable
0.59/0.69 c # [type: real, range: [0,1], default: 0.5]
0.59/0.69 c heuristics/rens/minfixingrate = 0.3
0.59/0.69 c
0.59/0.69 c # number of nodes added to the contingent of the total nodes
0.59/0.69 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.59/0.69 c heuristics/rens/nodesofs = 2000
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 20]
0.59/0.69 c heuristics/rootsoldiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.59/0.69 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c heuristics/rounding/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/shifting/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c heuristics/simplerounding/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.69 c heuristics/trivial/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c heuristics/trysol/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10]
0.59/0.69 c heuristics/veclendiving/freq = -1
0.59/0.69 c
0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.59/0.69 c heuristics/veclendiving/maxlpiterquot = 0.075
0.59/0.69 c
0.59/0.69 c # additional number of allowed LP iterations
0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000]
0.59/0.69 c heuristics/veclendiving/maxlpiterofs = 1500
0.59/0.69 c
0.59/0.69 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c heuristics/zirounding/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.69 c separating/cmir/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.69 c separating/flowcover/freq = -1
0.59/0.69 c
0.59/0.69 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69 c separating/rapidlearning/freq = 0
0.59/0.69 c
0.59/0.69 c -----------------------------------------------------------------------------------------------
0.59/0.69 c start solving
0.69/0.70 c
0.69/0.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.70 c 0.4s| 1 | 2 | 0 | - | 17M| 0 | - |6626 |6828 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
34.58/34.60 c 34.0s| 10000 | 9832 | 0 | 0.0 | 33M| 463 | - |6626 |6933 | 0 | 0 | 0 | 132 | 0 | 0.000000e+00 | -- | Inf
62.47/62.59 c 61.6s| 20000 | 19677 | 0 | 0.0 | 46M| 463 | - |6626 |7022 | 0 | 0 | 0 | 264 | 0 | 0.000000e+00 | -- | Inf
83.16/83.20 c 82.0s| 30000 | 29517 | 0 | 0.0 | 57M| 463 | - |6626 |7121 | 0 | 0 | 0 | 400 | 0 | 0.000000e+00 | -- | Inf
98.16/98.29 c 96.8s| 40000 | 39286 | 0 | 0.0 | 66M| 463 | - |6626 |7254 | 0 | 0 | 0 | 608 | 0 | 0.000000e+00 | -- | Inf
106.35/106.43 c 105s| 50000 | 49029 | 0 | 0.0 | 74M| 463 | - |6626 |7404 | 0 | 0 | 0 | 823 | 0 | 0.000000e+00 | -- | Inf
125.65/125.76 c 124s| 60000 | 58190 | 0 | 0.0 | 82M| 463 | - |6626 |7276 | 0 | 0 | 0 |1515 | 0 | 0.000000e+00 | -- | Inf
160.24/160.35 c 158s| 70000 | 68071 | 0 | 0.0 | 97M| 463 | - |6626 |7197 | 0 | 0 | 0 |1617 | 0 | 0.000000e+00 | -- | Inf
193.62/193.72 c 191s| 80000 | 77945 | 0 | 0.0 | 111M| 463 | - |6626 |7216 | 0 | 0 | 0 |1733 | 0 | 0.000000e+00 | -- | Inf
225.91/226.09 c 223s| 90000 | 87818 | 0 | 0.0 | 125M| 463 | - |6626 |7161 | 0 | 0 | 0 |1849 | 0 | 0.000000e+00 | -- | Inf
259.41/259.53 c 256s|100000 | 97686 | 0 | 0.0 | 140M| 463 | - |6626 |7094 | 0 | 0 | 0 |1962 | 0 | 0.000000e+00 | -- | Inf
290.79/290.94 c 287s|110000 |107554 | 0 | 0.0 | 154M| 463 | - |6626 |7095 | 0 | 0 | 0 |2084 | 0 | 0.000000e+00 | -- | Inf
323.57/323.77 c 320s|120000 |117417 | 0 | 0.0 | 167M| 463 | - |6626 |7083 | 0 | 0 | 0 |2194 | 0 | 0.000000e+00 | -- | Inf
355.96/356.16 c 352s|130000 |127281 | 0 | 0.0 | 181M| 463 | - |6626 |7085 | 0 | 0 | 0 |2311 | 0 | 0.000000e+00 | -- | Inf
388.76/388.92 c 384s|140000 |137157 | 0 | 0.0 | 195M| 463 | - |6626 |7080 | 0 | 0 | 0 |2413 | 0 | 0.000000e+00 | -- | Inf
420.85/421.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
420.85/421.05 c 416s|150000 |147020 | 0 | 0.0 | 209M| 463 | - |6626 |7085 | 0 | 0 | 0 |2532 | 0 | 0.000000e+00 | -- | Inf
452.33/452.56 c 447s|160000 |156885 | 0 | 0.0 | 223M| 463 | - |6626 |7078 | 0 | 0 | 0 |2646 | 0 | 0.000000e+00 | -- | Inf
482.83/483.07 c 478s|170000 |166759 | 0 | 0.0 | 237M| 463 | - |6626 |7079 | 0 | 0 | 0 |2759 | 0 | 0.000000e+00 | -- | Inf
513.31/513.52 c 508s|180000 |176626 | 0 | 0.0 | 251M| 463 | - |6626 |7073 | 0 | 0 | 0 |2874 | 0 | 0.000000e+00 | -- | Inf
543.80/544.06 c 538s|190000 |186491 | 0 | 0.0 | 264M| 463 | - |6626 |7082 | 0 | 0 | 0 |2985 | 0 | 0.000000e+00 | -- | Inf
574.29/574.57 c 568s|200000 |196359 | 0 | 0.0 | 278M| 463 | - |6626 |7070 | 0 | 0 | 0 |3094 | 0 | 0.000000e+00 | -- | Inf
604.98/605.21 c 598s|210000 |206195 | 0 | 0.0 | 291M| 463 | - |6626 |7071 | 0 | 0 | 0 |3239 | 0 | 0.000000e+00 | -- | Inf
634.77/635.07 c 628s|220000 |216064 | 0 | 0.0 | 305M| 463 | - |6626 |7095 | 0 | 0 | 0 |3349 | 0 | 0.000000e+00 | -- | Inf
662.26/662.54 c 655s|230000 |225943 | 0 | 0.0 | 318M| 463 | - |6626 |7095 | 0 | 0 | 0 |3469 | 0 | 0.000000e+00 | -- | Inf
691.35/691.65 c 684s|240000 |235800 | 0 | 0.0 | 331M| 463 | - |6626 |7108 | 0 | 0 | 0 |3593 | 0 | 0.000000e+00 | -- | Inf
721.25/721.59 c 714s|250000 |245653 | 0 | 0.0 | 345M| 463 | - |6626 |7105 | 0 | 0 | 0 |3710 | 0 | 0.000000e+00 | -- | Inf
749.63/749.95 c 742s|260000 |255527 | 0 | 0.0 | 358M| 463 | - |6626 |7118 | 0 | 0 | 0 |3823 | 0 | 0.000000e+00 | -- | Inf
777.92/778.27 c 770s|270000 |265406 | 0 | 0.0 | 371M| 463 | - |6626 |7131 | 0 | 0 | 0 |3930 | 0 | 0.000000e+00 | -- | Inf
807.40/807.77 c 799s|280000 |275258 | 0 | 0.0 | 384M| 463 | - |6626 |7109 | 0 | 0 | 0 |4058 | 0 | 0.000000e+00 | -- | Inf
835.80/836.18 c 827s|290000 |285116 | 0 | 0.0 | 397M| 463 | - |6626 |7131 | 0 | 0 | 0 |4182 | 0 | 0.000000e+00 | -- | Inf
863.39/863.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.39/863.72 c 854s|300000 |294986 | 0 | 0.0 | 410M| 463 | - |6626 |7135 | 0 | 0 | 0 |4296 | 0 | 0.000000e+00 | -- | Inf
892.28/892.61 c 883s|310000 |304844 | 0 | 0.0 | 423M| 463 | - |6626 |7142 | 0 | 0 | 0 |4406 | 0 | 0.000000e+00 | -- | Inf
920.67/921.04 c 911s|320000 |314707 | 0 | 0.0 | 437M| 463 | - |6626 |7151 | 0 | 0 | 0 |4522 | 0 | 0.000000e+00 | -- | Inf
948.86/949.23 c 939s|330000 |324564 | 0 | 0.0 | 450M| 463 | - |6626 |7164 | 0 | 0 | 0 |4654 | 0 | 0.000000e+00 | -- | Inf
977.65/978.04 c 967s|340000 |334408 | 0 | 0.0 | 463M| 463 | - |6626 |7169 | 0 | 0 | 0 |4782 | 0 | 0.000000e+00 | -- | Inf
1005.34/1005.73 c 995s|350000 |344256 | 0 | 0.0 | 476M| 463 | - |6626 |7186 | 0 | 0 | 0 |4916 | 0 | 0.000000e+00 | -- | Inf
1033.13/1033.51 c 1022s|360000 |354110 | 0 | 0.0 | 489M| 463 | - |6626 |7176 | 0 | 0 | 0 |5039 | 0 | 0.000000e+00 | -- | Inf
1060.42/1060.80 c 1049s|370000 |363960 | 0 | 0.0 | 502M| 463 | - |6626 |7180 | 0 | 0 | 0 |5166 | 0 | 0.000000e+00 | -- | Inf
1088.11/1088.59 c 1076s|380000 |373819 | 0 | 0.0 | 515M| 463 | - |6626 |7190 | 0 | 0 | 0 |5286 | 0 | 0.000000e+00 | -- | Inf
1115.50/1115.93 c 1103s|390000 |383669 | 0 | 0.0 | 528M| 463 | - |6626 |7195 | 0 | 0 | 0 |5416 | 0 | 0.000000e+00 | -- | Inf
1144.39/1144.85 c 1132s|400000 |393519 | 0 | 0.0 | 541M| 463 | - |6626 |7176 | 0 | 0 | 0 |5534 | 0 | 0.000000e+00 | -- | Inf
1170.78/1171.23 c 1158s|410000 |403385 | 0 | 0.0 | 554M| 463 | - |6626 |7180 | 0 | 0 | 0 |5652 | 0 | 0.000000e+00 | -- | Inf
1197.87/1198.37 c 1185s|420000 |413243 | 0 | 0.0 | 567M| 463 | - |6626 |7176 | 0 | 0 | 0 |5777 | 0 | 0.000000e+00 | -- | Inf
1224.17/1224.65 c 1211s|430000 |423075 | 0 | 0.0 | 580M| 463 | - |6626 |7183 | 0 | 0 | 0 |5926 | 0 | 0.000000e+00 | -- | Inf
1250.35/1250.81 c 1237s|440000 |432923 | 0 | 0.0 | 593M| 463 | - |6626 |7196 | 0 | 0 | 0 |6059 | 0 | 0.000000e+00 | -- | Inf
1275.74/1276.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1275.74/1276.27 c 1262s|450000 |442781 | 0 | 0.0 | 606M| 463 | - |6626 |7207 | 0 | 0 | 0 |6204 | 0 | 0.000000e+00 | -- | Inf
1302.44/1302.95 c 1288s|460000 |452636 | 0 | 0.0 | 619M| 463 | - |6626 |7219 | 0 | 0 | 0 |6332 | 0 | 0.000000e+00 | -- | Inf
1329.03/1329.55 c 1315s|470000 |462487 | 0 | 0.0 | 631M| 463 | - |6626 |7222 | 0 | 0 | 0 |6456 | 0 | 0.000000e+00 | -- | Inf
1355.73/1356.25 c 1341s|480000 |472332 | 0 | 0.0 | 644M| 463 | - |6626 |7208 | 0 | 0 | 0 |6585 | 0 | 0.000000e+00 | -- | Inf
1382.61/1383.19 c 1368s|490000 |482175 | 0 | 0.0 | 657M| 463 | - |6626 |7191 | 0 | 0 | 0 |6712 | 0 | 0.000000e+00 | -- | Inf
1407.41/1407.94 c 1392s|500000 |492035 | 0 | 0.0 | 669M| 463 | - |6626 |7211 | 0 | 0 | 0 |6830 | 0 | 0.000000e+00 | -- | Inf
1434.38/1434.99 c 1419s|510000 |501882 | 0 | 0.0 | 682M| 463 | - |6626 |7208 | 0 | 0 | 0 |6956 | 0 | 0.000000e+00 | -- | Inf
1459.78/1460.30 c 1444s|520000 |511740 | 0 | 0.0 | 695M| 463 | - |6626 |7206 | 0 | 0 | 0 |7073 | 0 | 0.000000e+00 | -- | Inf
1484.87/1485.48 c 1469s|530000 |521603 | 0 | 0.0 | 707M| 463 | - |6626 |7222 | 0 | 0 | 0 |7191 | 0 | 0.000000e+00 | -- | Inf
1510.87/1511.49 c 1494s|540000 |531431 | 0 | 0.0 | 720M| 463 | - |6626 |7221 | 0 | 0 | 0 |7335 | 0 | 0.000000e+00 | -- | Inf
1536.85/1537.43 c 1520s|550000 |541253 | 0 | 0.0 | 732M| 463 | - |6626 |7219 | 0 | 0 | 0 |7477 | 0 | 0.000000e+00 | -- | Inf
1560.55/1561.10 c 1543s|560000 |551106 | 0 | 0.0 | 744M| 463 | - |6626 |7225 | 0 | 0 | 0 |7600 | 0 | 0.000000e+00 | -- | Inf
1584.54/1585.13 c 1567s|570000 |560973 | 0 | 0.0 | 757M| 463 | - |6626 |7239 | 0 | 0 | 0 |7720 | 0 | 0.000000e+00 | -- | Inf
1609.43/1610.01 c 1592s|580000 |570826 | 0 | 0.0 | 769M| 463 | - |6626 |7243 | 0 | 0 | 0 |7850 | 0 | 0.000000e+00 | -- | Inf
1634.72/1635.30 c 1617s|590000 |580660 | 0 | 0.0 | 781M| 463 | - |6626 |7259 | 0 | 0 | 0 |7991 | 0 | 0.000000e+00 | -- | Inf
1659.01/1659.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.01/1659.66 c 1641s|600000 |590525 | 0 | 0.0 | 793M| 463 | - |6626 |7263 | 0 | 0 | 0 |8106 | 0 | 0.000000e+00 | -- | Inf
1684.40/1685.07 c 1666s|610000 |600362 | 0 | 0.0 | 806M| 463 | - |6626 |7269 | 0 | 0 | 0 |8240 | 0 | 0.000000e+00 | -- | Inf
1708.89/1709.59 c 1690s|620000 |610208 | 0 | 0.0 | 818M| 463 | - |6626 |7286 | 0 | 0 | 0 |8378 | 0 | 0.000000e+00 | -- | Inf
1733.99/1734.67 c 1715s|630000 |620051 | 0 | 0.0 | 831M| 463 | - |6626 |7281 | 0 | 0 | 0 |8512 | 0 | 0.000000e+00 | -- | Inf
1757.77/1758.46 c 1738s|640000 |629884 | 0 | 0.0 | 843M| 463 | - |6626 |7294 | 0 | 0 | 0 |8659 | 0 | 0.000000e+00 | -- | Inf
1781.87/1782.52 c 1762s|650000 |639732 | 0 | 0.0 | 855M| 463 | - |6626 |7290 | 0 | 0 | 0 |8797 | 0 | 0.000000e+00 | -- | Inf
1800.08/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.71 c
1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.71 c Solving Time (sec) : 1780.13
1800.08/1800.71 c Solving Nodes : 657924
1800.08/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.71 c Dual Bound : +0.00000000000000e+00
1800.08/1800.71 c Gap : infinite
1800.08/1800.71 s UNKNOWN
1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.71 c Solving Time : 1780.13
1800.08/1800.71 c Original Problem :
1800.08/1800.71 c Problem name : HOME/instance-2663443-1276678887.opb
1800.08/1800.71 c Variables : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71 c Constraints : 6828 initial, 6828 maximal
1800.08/1800.71 c Presolved Problem :
1800.08/1800.71 c Problem name : t_HOME/instance-2663443-1276678887.opb
1800.08/1800.71 c Variables : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71 c Constraints : 6828 initial, 7825 maximal
1800.08/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.71 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c implics : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c and : 0.24 0 0 0 0 0 0 0 0
1800.08/1800.72 c linear : 0.05 0 0 0 0 0 0 0 0
1800.08/1800.72 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c root node : - 0 - - 0 - - - -
1800.08/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.72 c knapsack : 1 0 781168 0 383421 706 49135 0 0 0
1800.08/1800.72 c setppc : 400 0 1451140 0 654052 5441 94253 0 0 0
1800.08/1800.72 c and : 6226 0 1445773 0 654102 9 11467010 0 0 0
1800.08/1800.72 c linear : 1 0 1442799 0 654102 384 43757 0 0 0
1800.08/1800.72 c logicor : 200+ 0 24909 0 654088 22 60174 0 0 0
1800.08/1800.72 c countsols : 0 0 0 0 654102 0 0 0 0 0
1800.08/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.72 c knapsack : 18.28 0.00 9.17 0.00 9.11
1800.08/1800.72 c setppc : 388.26 0.00 21.79 0.00 366.47
1800.08/1800.72 c and : 523.36 0.00 182.26 0.00 341.10
1800.08/1800.72 c linear : 68.23 0.00 67.04 0.00 1.19
1800.08/1800.72 c logicor : 36.99 0.00 1.68 0.00 35.31
1800.08/1800.72 c countsols : 0.40 0.00 0.00 0.00 0.40
1800.08/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.72 c vbounds : 1.00 1 0 0
1800.08/1800.72 c rootredcost : 1.06 0 0 0
1800.08/1800.72 c pseudoobj : 0.53 0 0 0
1800.08/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.72 c propagation : 4.49 6562 6532 9314 164.4 2 199.5 -
1800.08/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.72 c applied globally : - - - 8908 156.1 - - -
1800.08/1800.72 c applied locally : - - - 0 0.0 - - -
1800.08/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.72 c redcost : 0.00 0 0 0 0 0
1800.08/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.72 c intobj : 0.00 0 0 0 0 0
1800.08/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.72 c gomory : 0.00 0 0 0 0 0
1800.08/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.72 c cmir : 0.00 0 0 0 0 0
1800.08/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.72 c clique : 0.00 0 0 0 0 0
1800.08/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.72 c mcf : 0.00 0 0 0 0 0
1800.08/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.72 c Pricers : Time Calls Vars
1800.08/1800.72 c problem variables: 0.00 0 0
1800.08/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.72 c inference : 655.08 654102 0 0 0 0 1308204
1800.08/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.72 c random : 0.00 0 0 0 0 0 0
1800.08/1800.72 c Primal Heuristics : Time Calls Found
1800.08/1800.72 c LP solutions : 0.00 - 0
1800.08/1800.72 c pseudo solutions : 0.00 - 0
1800.08/1800.72 c trivial : 0.02 1 0
1800.08/1800.72 c simplerounding : 0.00 0 0
1800.08/1800.72 c zirounding : 0.00 0 0
1800.08/1800.72 c rounding : 0.00 0 0
1800.08/1800.72 c shifting : 0.00 0 0
1800.08/1800.72 c intshifting : 0.00 0 0
1800.08/1800.72 c oneopt : 0.00 0 0
1800.08/1800.72 c twoopt : 0.00 0 0
1800.08/1800.72 c fixandinfer : 0.00 0 0
1800.08/1800.72 c feaspump : 0.00 0 0
1800.08/1800.72 c coefdiving : 0.00 0 0
1800.08/1800.72 c pscostdiving : 0.00 0 0
1800.08/1800.72 c fracdiving : 0.00 0 0
1800.08/1800.72 c veclendiving : 0.00 0 0
1800.08/1800.72 c intdiving : 0.00 0 0
1800.08/1800.72 c actconsdiving : 0.00 0 0
1800.08/1800.72 c objpscostdiving : 0.00 0 0
1800.08/1800.72 c rootsoldiving : 0.00 0 0
1800.08/1800.72 c linesearchdiving : 0.00 0 0
1800.08/1800.72 c guideddiving : 0.00 0 0
1800.08/1800.72 c octane : 0.00 0 0
1800.08/1800.72 c rens : 0.00 0 0
1800.08/1800.72 c rins : 0.00 0 0
1800.08/1800.72 c localbranching : 0.00 0 0
1800.08/1800.72 c mutation : 0.00 0 0
1800.08/1800.72 c crossover : 0.00 0 0
1800.08/1800.72 c dins : 0.00 0 0
1800.08/1800.72 c undercover : 0.00 0 0
1800.08/1800.72 c nlp : 0.00 0 0
1800.08/1800.72 c trysol : 0.00 0 0
1800.08/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.72 c (at root node) : - 0 0 0.00 -
1800.08/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.72 c B&B Tree :
1800.08/1800.72 c number of runs : 1
1800.08/1800.72 c nodes : 657924
1800.08/1800.72 c nodes (total) : 657924
1800.08/1800.72 c nodes left : 647540
1800.08/1800.72 c max depth : 463
1800.08/1800.72 c max depth (total): 463
1800.08/1800.72 c backtracks : 3086 (0.5%)
1800.08/1800.72 c delayed cutoffs : 2741
1800.08/1800.72 c repropagations : 142647 (107228 domain reductions, 2740 cutoffs)
1800.08/1800.72 c avg switch length: 2.83
1800.08/1800.72 c switching time : 50.42
1800.08/1800.72 c Solution :
1800.08/1800.72 c Solutions found : 0 (0 improvements)
1800.08/1800.72 c Primal Bound : -
1800.08/1800.72 c Dual Bound : +0.00000000000000e+00
1800.08/1800.72 c Gap : infinite
1800.08/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.72 c Root Iterations : 0
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-2663443-1276678887/watcher-2663443-1276678887 -o /tmp/evaluation-result-2663443-1276678887/solver-2663443-1276678887 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663443-1276678887.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11994 /proc/meminfo: memFree=1739532/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=6584 CPUtime=0 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 960 0 0 0 0 0 0 0 20 0 1 0 43490310 6742016 884 1992294400 4194304 7136930 140735120141360 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11994/statm: 1646 893 254 719 0 925 0 [startup+0.095249 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11994 /proc/meminfo: memFree=1739532/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=17632 CPUtime=0.08 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 4250 0 0 0 7 1 0 0 20 0 1 0 43490310 18055168 3819 1992294400 4194304 7136930 140735120141360 18446744073709551615 4680137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 4408 3819 281 719 0 3687 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17632 [startup+0.101253 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11994 /proc/meminfo: memFree=1739532/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=20644 CPUtime=0.1 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 4982 0 0 0 8 2 0 0 20 0 1 0 43490310 21139456 4551 1992294400 4194304 7136930 140735120141360 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 5161 4560 281 719 0 4440 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 20644 [startup+0.30129 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11994 /proc/meminfo: memFree=1739532/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=30708 CPUtime=0.29 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 7568 0 0 0 22 7 0 0 20 0 1 0 43490310 31444992 6880 1992294400 4194304 7136930 140735120141360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 7677 6880 327 719 0 6956 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30708 [startup+0.701368 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11994 /proc/meminfo: memFree=1739532/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=36604 CPUtime=0.69 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 10846 0 0 0 47 22 0 0 21 0 1 0 43490310 37482496 8359 1992294400 4194304 7136930 140735120141360 18446744073709551615 6340387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 9151 8359 373 719 0 8430 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36604 [startup+1.50053 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11995 /proc/meminfo: memFree=1706416/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=38940 CPUtime=1.49 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 11454 0 0 0 126 23 0 0 22 0 1 0 43490310 39874560 8967 1992294400 4194304 7136930 140735120141360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 9735 8967 389 719 0 9014 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38940 [startup+3.10084 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11995 /proc/meminfo: memFree=1704432/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=39804 CPUtime=3.09 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 11679 0 0 0 284 25 0 0 25 0 1 0 43490310 40759296 9192 1992294400 4194304 7136930 140735120141360 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 9951 9192 394 719 0 9230 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39804 [startup+6.30046 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11995 /proc/meminfo: memFree=1702820/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=41120 CPUtime=6.29 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 12022 0 0 0 601 28 0 0 25 0 1 0 43490310 42106880 9535 1992294400 4194304 7136930 140735120141360 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 10280 9535 394 719 0 9559 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41120 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11995 /proc/meminfo: memFree=1699100/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=45012 CPUtime=12.69 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 12977 0 0 0 1236 33 0 0 25 0 1 0 43490310 46092288 10490 1992294400 4194304 7136930 140735120141360 18446744073709551615 4414768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 11253 10490 394 719 0 10532 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45012 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11995 /proc/meminfo: memFree=1691164/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=52416 CPUtime=25.48 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 14826 0 0 0 2503 45 0 0 25 0 1 0 43490310 53673984 12339 1992294400 4194304 7136930 140735120141360 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 13104 12339 394 719 0 12383 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52416 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11995 /proc/meminfo: memFree=1678144/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=65276 CPUtime=51.08 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 18090 0 0 0 5034 74 0 0 25 0 1 0 43490310 66842624 15603 1992294400 4194304 7136930 140735120141360 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 16319 15603 394 719 0 15598 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 65276 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11997 /proc/meminfo: memFree=1641688/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=101148 CPUtime=102.26 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 27140 0 0 0 10073 153 0 0 25 0 1 0 43490310 103575552 24653 1992294400 4194304 7136930 140735120141360 18446744073709551615 5956715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 25287 24653 394 719 0 24566 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 101148 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11999 /proc/meminfo: memFree=1604860/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=140544 CPUtime=162.23 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 36568 0 0 0 15994 229 0 0 25 0 1 0 43490310 143917056 34081 1992294400 4194304 7136930 140735120141360 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 35136 34081 394 719 0 34415 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 140544 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12001 /proc/meminfo: memFree=1579688/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=164652 CPUtime=222.22 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 42605 0 0 0 21933 289 0 0 25 0 1 0 43490310 168603648 40118 1992294400 4194304 7136930 140735120141360 18446744073709551615 4414752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 41163 40118 394 719 0 40442 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 164652 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12001 /proc/meminfo: memFree=1555012/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=189080 CPUtime=282.19 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 48795 0 0 0 27872 347 0 0 25 0 1 0 43490310 193617920 46308 1992294400 4194304 7136930 140735120141360 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 47270 46308 394 719 0 46549 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 189080 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12003 /proc/meminfo: memFree=1527484/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=216376 CPUtime=342.18 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 55612 0 0 0 33818 400 0 0 25 0 1 0 43490310 221569024 53125 1992294400 4194304 7136930 140735120141360 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 54094 53125 394 719 0 53373 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 216376 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12005 /proc/meminfo: memFree=1500576/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=243028 CPUtime=402.15 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 62330 0 0 0 39764 451 0 0 25 0 1 0 43490310 248860672 59843 1992294400 4194304 7136930 140735120141360 18446744073709551615 4774597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 60757 59843 394 719 0 60036 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 243028 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12007 /proc/meminfo: memFree=1470196/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=272936 CPUtime=462.13 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 69884 0 0 0 45703 510 0 0 25 0 1 0 43490310 279486464 67397 1992294400 4194304 7136930 140735120141360 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 68234 67397 394 719 0 67513 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 272936 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12009 /proc/meminfo: memFree=1445892/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=297752 CPUtime=522.11 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 76195 0 0 0 51642 569 0 0 25 0 1 0 43490310 304898048 73708 1992294400 4194304 7136930 140735120141360 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 74438 73708 394 719 0 73717 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 297752 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12009 /proc/meminfo: memFree=1418488/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=329304 CPUtime=582.08 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 83060 0 0 0 57583 625 0 0 25 0 1 0 43490310 337207296 80573 1992294400 4194304 7136930 140735120141360 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 82326 80573 394 719 0 81605 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 329304 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12011 /proc/meminfo: memFree=1391952/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=354408 CPUtime=642.07 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 89376 0 0 0 63522 685 0 0 25 0 1 0 43490310 362913792 86889 1992294400 4194304 7136930 140735120141360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 88602 86889 394 719 0 87881 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 354408 [startup+702.301 s] ################ # More data... # ################ /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 138325 0 0 0 105054 1139 0 0 25 0 1 0 43490310 561831936 135838 1992294400 4194304 7136930 140735120141360 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 137166 135838 394 719 0 136445 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 548664 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12028 /proc/meminfo: memFree=1170860/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=572592 CPUtime=1121.9 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 144408 0 0 0 110984 1206 0 0 25 0 1 0 43490310 586334208 141921 1992294400 4194304 7136930 140735120141360 18446744073709551615 4781341 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 143148 141921 394 719 0 142427 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 572592 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12028 /proc/meminfo: memFree=1137628/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=607296 CPUtime=1181.88 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 153161 0 0 0 116915 1273 0 0 25 0 1 0 43490310 621871104 150674 1992294400 4194304 7136930 140735120141360 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 151824 150674 394 719 0 151103 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 607296 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12030 /proc/meminfo: memFree=1111588/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=631104 CPUtime=1241.86 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 159220 0 0 0 122848 1338 0 0 25 0 1 0 43490310 646250496 156733 1992294400 4194304 7136930 140735120141360 18446744073709551615 4780869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 157776 156733 394 719 0 157055 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 631104 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12032 /proc/meminfo: memFree=1077736/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=664568 CPUtime=1301.84 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 167652 0 0 0 128781 1403 0 0 25 0 1 0 43490310 680517632 165165 1992294400 4194304 7136930 140735120141360 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 166142 165165 394 719 0 165421 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 664568 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12034 /proc/meminfo: memFree=1053556/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=696960 CPUtime=1361.82 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 173813 0 0 0 134713 1469 0 0 25 0 1 0 43490310 713687040 171326 1992294400 4194304 7136930 140735120141360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 174240 171326 394 719 0 173519 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 696960 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12036 /proc/meminfo: memFree=1023176/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=727156 CPUtime=1421.8 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 181293 0 0 0 140646 1534 0 0 25 0 1 0 43490310 744607744 178806 1992294400 4194304 7136930 140735120141360 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 181789 178806 394 719 0 181068 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 727156 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12036 /proc/meminfo: memFree=996268/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=753552 CPUtime=1481.78 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 187979 0 0 0 146576 1602 0 0 25 0 1 0 43490310 771637248 185492 1992294400 4194304 7136930 140735120141360 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 188388 185492 394 719 0 187667 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 753552 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12038 /proc/meminfo: memFree=963036/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=786656 CPUtime=1541.75 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 196263 0 0 0 152497 1678 0 0 25 0 1 0 43490310 805535744 193776 1992294400 4194304 7136930 140735120141360 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 196664 193776 394 719 0 195943 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 786656 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12040 /proc/meminfo: memFree=933772/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=815472 CPUtime=1601.73 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 203572 0 0 0 158424 1749 0 0 25 0 1 0 43490310 835043328 201085 1992294400 4194304 7136930 140735120141360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 203868 201085 394 719 0 203147 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 815472 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12042 /proc/meminfo: memFree=905004/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=843748 CPUtime=1661.71 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 210723 0 0 0 164349 1822 0 0 25 0 1 0 43490310 863997952 208236 1992294400 4194304 7136930 140735120141360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 210937 208236 394 719 0 210216 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 843748 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12044 /proc/meminfo: memFree=875120/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=873516 CPUtime=1721.69 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 218228 0 0 0 170280 1889 0 0 25 0 1 0 43490310 894480384 215741 1992294400 4194304 7136930 140735120141360 18446744073709551615 4407902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 218379 215741 394 719 0 217658 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 873516 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12044 /proc/meminfo: memFree=843748/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=904172 CPUtime=1781.67 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 225957 0 0 0 176202 1965 0 0 25 0 1 0 43490310 925872128 223470 1992294400 4194304 7136930 140735120141360 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 226043 223470 394 719 0 225322 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 904172 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12046 /proc/meminfo: memFree=835192/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=912776 CPUtime=1800.08 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 228104 0 0 0 178020 1988 0 0 25 0 1 0 43490310 934682624 225617 1992294400 4194304 7136930 140735120141360 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11994/statm: 228194 225617 394 719 0 227473 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 912776 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11994 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12046 /proc/meminfo: memFree=835192/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=912776 CPUtime=1800.76 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 228109 0 0 0 178088 1988 0 0 25 0 1 0 43490310 934682624 225622 1992294400 4194304 7136930 140735120141360 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11994/statm: 228194 225622 399 719 0 227473 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (KiB) 912776 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12047 /proc/meminfo: memFree=835184/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=907476 CPUtime=1801.56 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 228109 0 0 0 178168 1988 0 0 25 0 1 0 43490310 929255424 224297 1992294400 4194304 7136930 140735120141360 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11994/statm: 226869 224297 399 719 0 226148 0 Current children cumulated CPU time (s) 1801.56 Current children cumulated vsize (KiB) 907476 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12047 /proc/meminfo: memFree=835184/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=886452 CPUtime=1801.96 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 228109 0 0 0 178208 1988 0 0 25 0 1 0 43490310 907726848 219041 1992294400 4194304 7136930 140735120141360 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11994/statm: 221580 219008 399 719 0 220859 0 Current children cumulated CPU time (s) 1801.96 Current children cumulated vsize (KiB) 886452 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12047 /proc/meminfo: memFree=835184/2059040 swapFree=4136232/4192956 [pid=11994] ppid=11992 vsize=790076 CPUtime=1802.06 /proc/11994/stat : 11994 (pbscip.linux.x8) R 11992 11994 11671 0 -1 4202496 228109 0 0 0 178217 1989 0 0 25 0 1 0 43490310 809037824 194947 1992294400 4194304 7136930 140735120141360 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11994/statm: 197519 194914 399 719 0 196798 0 Current children cumulated CPU time (s) 1802.06 Current children cumulated vsize (KiB) 790076 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.79 CPU time (s): 1802.16 CPU user time (s): 1782.19 CPU system time (s): 19.973 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 912776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.19 system time used= 19.973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 228109 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= 3 involuntary context switches= 5204 runsolver used 3.09253 second user time and 8.41272 second system time The end
Begin job on node011 at 2010-06-16 11:01:27 IDJOB=2663443 IDBENCH=48321 IDSOLVER=1167 FILE ID=node011/2663443-1276678887 PBS_JOBID= 11172563 Free space on /tmp= 62360 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_5_15.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663443-1276678887/watcher-2663443-1276678887 -o /tmp/evaluation-result-2663443-1276678887/solver-2663443-1276678887 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663443-1276678887.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= eb83986855f475edbe62b7e6495068f1 RANDOM SEED=1287288241 node011.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1740060 kB Buffers: 122588 kB Cached: 115976 kB SwapCached: 10072 kB Active: 105968 kB Inactive: 145804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1740060 kB SwapTotal: 4192956 kB SwapFree: 4136232 kB Dirty: 3572 kB Writeback: 0 kB AnonPages: 11532 kB Mapped: 9336 kB Slab: 45424 kB PageTables: 3924 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180576 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62360 MiB End job on node011 at 2010-06-16 11:31:30