| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.92 | 1801.39 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_1_80.opb |
| MD5SUM | 1315caae01d69a106b6850eece7eb42e |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| 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 | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1502 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| 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 | 80 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31432 |
| Sum of products size (including duplicates) | 62864 |
| Number of different products | 15716 |
| Sum of products size | 31432 |
0.00/0.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2663474-1276681299.opb>
0.19/0.20 c original problem has 16716 variables (16716 bin, 0 int, 0 impl, 0 cont) and 17218 constraints
0.19/0.20 c problem read
0.19/0.20 c No objective function, only one solution is needed.
0.19/0.20 c presolving settings loaded
0.19/0.21 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.39/0.42 c presolving:
0.89/0.96 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 126728 impls, 1000 clqs
1.29/1.37 c presolving (2 rounds):
1.29/1.37 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.29/1.37 c 126728 implications, 1000 cliques
1.29/1.37 c presolved problem has 16716 variables (16716 bin, 0 int, 0 impl, 0 cont) and 17218 constraints
1.29/1.37 c 1 constraints of type <knapsack>
1.29/1.37 c 1000 constraints of type <setppc>
1.29/1.37 c 15716 constraints of type <and>
1.29/1.37 c 1 constraints of type <linear>
1.29/1.37 c 500 constraints of type <logicor>
1.29/1.37 c transformed objective value is always integral (scale: 1)
1.29/1.37 c Presolving Time: 0.86
1.29/1.37 c - non default parameters ----------------------------------------------------------------------
1.29/1.37 c # SCIP version 1.2.1.2
1.29/1.37 c
1.29/1.37 c # frequency for displaying node information lines
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 100]
1.29/1.37 c display/freq = 10000
1.29/1.37 c
1.29/1.37 c # maximal time in seconds to run
1.29/1.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.37 c limits/time = 1799.8
1.29/1.37 c
1.29/1.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.29/1.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.37 c limits/memory = 1620
1.29/1.37 c
1.29/1.37 c # solving stops, if the given number of solutions were found (-1: no limit)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.37 c limits/solutions = 1
1.29/1.37 c
1.29/1.37 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.37 c lp/solvefreq = -1
1.29/1.37 c
1.29/1.37 c # maximal number of separation rounds per node (-1: unlimited)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 5]
1.29/1.37 c separating/maxrounds = 1
1.29/1.37 c
1.29/1.37 c # maximal number of separation rounds in the root node (-1: unlimited)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.37 c separating/maxroundsroot = 5
1.29/1.37 c
1.29/1.37 c # should presolving try to simplify inequalities
1.29/1.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.37 c constraints/linear/simplifyinequalities = TRUE
1.29/1.37 c
1.29/1.37 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.29/1.37 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.29/1.37 c constraints/knapsack/disaggregation = FALSE
1.29/1.37 c
1.29/1.37 c # should presolving try to simplify knapsacks
1.29/1.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.37 c constraints/knapsack/simplifyinequalities = TRUE
1.29/1.37 c
1.29/1.37 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.37 c presolving/probing/maxrounds = 0
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.37 c heuristics/coefdiving/freq = -1
1.29/1.37 c
1.29/1.37 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.37 c heuristics/coefdiving/maxlpiterquot = 0.075
1.29/1.37 c
1.29/1.37 c # additional number of allowed LP iterations
1.29/1.37 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.37 c heuristics/coefdiving/maxlpiterofs = 1500
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 30]
1.29/1.37 c heuristics/crossover/freq = -1
1.29/1.37 c
1.29/1.37 c # number of nodes added to the contingent of the total nodes
1.29/1.37 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.29/1.37 c heuristics/crossover/nodesofs = 750
1.29/1.37 c
1.29/1.37 c # number of nodes without incumbent change that heuristic should wait
1.29/1.37 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.29/1.37 c heuristics/crossover/nwaitingnodes = 100
1.29/1.37 c
1.29/1.37 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.29/1.37 c # [type: real, range: [0,1], default: 0.1]
1.29/1.37 c heuristics/crossover/nodesquot = 0.15
1.29/1.37 c
1.29/1.37 c # minimum percentage of integer variables that have to be fixed
1.29/1.37 c # [type: real, range: [0,1], default: 0.666]
1.29/1.37 c heuristics/crossover/minfixingrate = 0.5
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 20]
1.29/1.37 c heuristics/feaspump/freq = -1
1.29/1.37 c
1.29/1.37 c # additional number of allowed LP iterations
1.29/1.37 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.37 c heuristics/feaspump/maxlpiterofs = 2000
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.37 c heuristics/fracdiving/freq = -1
1.29/1.37 c
1.29/1.37 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.37 c heuristics/fracdiving/maxlpiterquot = 0.075
1.29/1.37 c
1.29/1.37 c # additional number of allowed LP iterations
1.29/1.37 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.37 c heuristics/fracdiving/maxlpiterofs = 1500
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.37 c heuristics/guideddiving/freq = -1
1.29/1.37 c
1.29/1.37 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.37 c heuristics/guideddiving/maxlpiterquot = 0.075
1.29/1.37 c
1.29/1.37 c # additional number of allowed LP iterations
1.29/1.37 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.37 c heuristics/guideddiving/maxlpiterofs = 1500
1.29/1.37 c
1.29/1.37 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.37 c heuristics/intdiving/maxlpiterquot = 0.075
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.37 c heuristics/intshifting/freq = -1
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.37 c heuristics/linesearchdiving/freq = -1
1.29/1.37 c
1.29/1.37 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.37 c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.29/1.37 c
1.29/1.37 c # additional number of allowed LP iterations
1.29/1.37 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.37 c heuristics/linesearchdiving/maxlpiterofs = 1500
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.37 c heuristics/nlp/freq = -1
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 20]
1.29/1.37 c heuristics/objpscostdiving/freq = -1
1.29/1.37 c
1.29/1.37 c # maximal fraction of diving LP iterations compared to total iteration number
1.29/1.37 c # [type: real, range: [0,1], default: 0.01]
1.29/1.37 c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.29/1.37 c
1.29/1.37 c # additional number of allowed LP iterations
1.29/1.37 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.37 c heuristics/objpscostdiving/maxlpiterofs = 1500
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.37 c heuristics/oneopt/freq = -1
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.37 c heuristics/pscostdiving/freq = -1
1.29/1.37 c
1.29/1.37 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.37 c heuristics/pscostdiving/maxlpiterquot = 0.075
1.29/1.37 c
1.29/1.37 c # additional number of allowed LP iterations
1.29/1.37 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.37 c heuristics/pscostdiving/maxlpiterofs = 1500
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.37 c heuristics/rens/freq = -1
1.29/1.37 c
1.29/1.37 c # minimum percentage of integer variables that have to be fixable
1.29/1.37 c # [type: real, range: [0,1], default: 0.5]
1.29/1.37 c heuristics/rens/minfixingrate = 0.3
1.29/1.37 c
1.29/1.37 c # number of nodes added to the contingent of the total nodes
1.29/1.37 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.29/1.37 c heuristics/rens/nodesofs = 2000
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 20]
1.29/1.37 c heuristics/rootsoldiving/freq = -1
1.29/1.37 c
1.29/1.37 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.29/1.37 c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.29/1.37 c
1.29/1.37 c # additional number of allowed LP iterations
1.29/1.37 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.37 c heuristics/rootsoldiving/maxlpiterofs = 1500
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.37 c heuristics/rounding/freq = -1
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.37 c heuristics/shifting/freq = -1
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.37 c heuristics/simplerounding/freq = -1
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.37 c heuristics/trivial/freq = -1
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.37 c heuristics/trysol/freq = -1
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 10]
1.29/1.37 c heuristics/veclendiving/freq = -1
1.29/1.37 c
1.29/1.37 c # maximal fraction of diving LP iterations compared to node LP iterations
1.29/1.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.29/1.37 c heuristics/veclendiving/maxlpiterquot = 0.075
1.29/1.37 c
1.29/1.37 c # additional number of allowed LP iterations
1.29/1.37 c # [type: int, range: [0,2147483647], default: 1000]
1.29/1.37 c heuristics/veclendiving/maxlpiterofs = 1500
1.29/1.37 c
1.29/1.37 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.37 c heuristics/zirounding/freq = -1
1.29/1.37 c
1.29/1.37 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.37 c separating/cmir/freq = -1
1.29/1.37 c
1.29/1.37 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.37 c separating/flowcover/freq = -1
1.29/1.37 c
1.29/1.37 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.29/1.37 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.37 c separating/rapidlearning/freq = 0
1.29/1.37 c
1.29/1.37 c -----------------------------------------------------------------------------------------------
1.29/1.37 c start solving
1.29/1.39 c
1.38/1.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.38/1.40 c 1.0s| 1 | 2 | 0 | - | 44M| 0 | - | 16k| 17k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
118.86/118.99 c 118s| 10000 | 9746 | 0 | 0.0 | 65M| 889 | - | 16k| 17k| 0 | 0 | 0 | 210 | 0 | 0.000000e+00 | -- | Inf
240.53/240.60 c 239s| 20000 | 19677 | 0 | 0.0 | 81M| 889 | - | 16k| 17k| 0 | 0 | 0 | 265 | 0 | 0.000000e+00 | -- | Inf
364.79/364.91 c 363s| 30000 | 29590 | 0 | 0.0 | 98M| 889 | - | 16k| 17k| 0 | 0 | 0 | 327 | 0 | 0.000000e+00 | -- | Inf
475.46/475.67 c 474s| 40000 | 39525 | 0 | 0.0 | 113M| 889 | - | 16k| 17k| 0 | 0 | 0 | 381 | 0 | 0.000000e+00 | -- | Inf
587.15/587.36 c 585s| 50000 | 49461 | 0 | 0.0 | 129M| 889 | - | 16k| 17k| 0 | 0 | 0 | 431 | 0 | 0.000000e+00 | -- | Inf
704.41/704.61 c 702s| 60000 | 59355 | 0 | 0.0 | 145M| 889 | - | 16k| 17k| 0 | 0 | 0 | 504 | 0 | 0.000000e+00 | -- | Inf
794.69/795.00 c 792s| 70000 | 69310 | 0 | 0.0 | 158M| 889 | - | 16k| 17k| 0 | 0 | 0 | 548 | 0 | 0.000000e+00 | -- | Inf
908.66/908.92 c 905s| 80000 | 79184 | 0 | 0.0 | 174M| 889 | - | 16k| 17k| 0 | 0 | 0 | 630 | 0 | 0.000000e+00 | -- | Inf
999.84/1000.11 c 996s| 90000 | 89111 | 0 | 0.0 | 187M| 889 | - | 16k| 17k| 0 | 0 | 0 | 693 | 0 | 0.000000e+00 | -- | Inf
1088.52/1088.86 c 1084s|100000 | 99024 | 0 | 0.0 | 200M| 889 | - | 16k| 17k| 0 | 0 | 0 | 760 | 0 | 0.000000e+00 | -- | Inf
1179.67/1180.06 c 1175s|110000 |108933 | 0 | 0.0 | 214M| 889 | - | 16k| 17k| 0 | 0 | 0 | 825 | 0 | 0.000000e+00 | -- | Inf
1258.36/1258.77 c 1253s|120000 |118848 | 0 | 0.0 | 227M| 889 | - | 16k| 17k| 0 | 0 | 0 | 909 | 0 | 0.000000e+00 | -- | Inf
1340.03/1340.49 c 1335s|130000 |128732 | 0 | 0.0 | 239M| 889 | - | 16k| 17k| 0 | 0 | 0 | 996 | 0 | 0.000000e+00 | -- | Inf
1411.92/1412.36 c 1406s|140000 |138626 | 0 | 0.0 | 251M| 889 | - | 16k| 17k| 0 | 0 | 0 |1081 | 0 | 0.000000e+00 | -- | Inf
1487.30/1487.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1487.30/1487.74 c 1481s|150000 |148461 | 0 | 0.0 | 264M| 889 | - | 16k| 17k| 0 | 0 | 0 |1195 | 0 | 0.000000e+00 | -- | Inf
1546.19/1546.62 c 1540s|160000 |158379 | 0 | 0.0 | 274M| 889 | - | 16k| 17k| 0 | 0 | 0 |1274 | 0 | 0.000000e+00 | -- | Inf
1608.37/1608.81 c 1602s|170000 |168242 | 0 | 0.0 | 285M| 889 | - | 16k| 18k| 0 | 0 | 0 |1378 | 0 | 0.000000e+00 | -- | Inf
1665.86/1666.32 c 1659s|180000 |178066 | 0 | 0.0 | 296M| 889 | - | 16k| 18k| 0 | 0 | 0 |1506 | 0 | 0.000000e+00 | -- | Inf
1714.84/1715.35 c 1708s|190000 |187940 | 0 | 0.0 | 306M| 889 | - | 16k| 18k| 0 | 0 | 0 |1613 | 0 | 0.000000e+00 | -- | Inf
1761.43/1761.97 c 1754s|200000 |197767 | 0 | 0.0 | 316M| 889 | - | 16k| 18k| 0 | 0 | 0 |1739 | 0 | 0.000000e+00 | -- | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1792.06
1800.03/1800.50 c Solving Nodes : 209115
1800.03/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.50 c Dual Bound : +0.00000000000000e+00
1800.03/1800.50 c Gap : infinite
1800.03/1800.50 s UNKNOWN
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time : 1792.06
1800.03/1800.50 c Original Problem :
1800.03/1800.50 c Problem name : HOME/instance-2663474-1276681299.opb
1800.03/1800.50 c Variables : 16716 (16716 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.50 c Constraints : 17218 initial, 17218 maximal
1800.03/1800.50 c Presolved Problem :
1800.03/1800.50 c Problem name : t_HOME/instance-2663474-1276681299.opb
1800.03/1800.50 c Variables : 16716 (16716 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.50 c Constraints : 17218 initial, 18328 maximal
1800.03/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c implics : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c knapsack : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.50 c setppc : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.50 c and : 0.50 0 0 0 0 0 0 0 0
1800.03/1800.50 c linear : 0.12 0 0 0 0 0 0 0 0
1800.03/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c root node : - 0 - - 0 - - - -
1800.03/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.50 c knapsack : 1 0 303719 0 149591 256 73673 0 0 0
1800.03/1800.50 c setppc : 1000 0 449511 0 208162 1132 35772 0 0 0
1800.03/1800.50 c and : 15716 0 448379 0 208162 4 3736485 0 0 0
1800.03/1800.50 c linear : 1 0 448010 0 208162 96 29343 0 0 0
1800.03/1800.50 c logicor : 500+ 0 3207 0 208162 11 73996 0 0 0
1800.03/1800.50 c countsols : 0 0 0 0 208162 0 0 0 0 0
1800.03/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.50 c knapsack : 18.34 0.00 7.69 0.00 10.65
1800.03/1800.50 c setppc : 443.00 0.00 26.02 0.00 416.98
1800.03/1800.50 c and : 569.58 0.00 194.21 0.00 375.37
1800.03/1800.50 c linear : 62.27 0.00 61.67 0.00 0.60
1800.03/1800.50 c logicor : 41.50 0.00 0.80 0.00 40.70
1800.03/1800.50 c countsols : 0.21 0.00 0.00 0.00 0.21
1800.03/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.50 c vbounds : 0.45 1 0 0
1800.03/1800.50 c rootredcost : 0.24 0 0 0
1800.03/1800.50 c pseudoobj : 0.24 0 0 0
1800.03/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.50 c propagation : 4.80 1499 1498 2062 424.5 1 3.0 -
1800.03/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.50 c applied globally : - - - 1895 388.2 - - -
1800.03/1800.50 c applied locally : - - - 0 0.0 - - -
1800.03/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.50 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.50 c redcost : 0.00 0 0 0 0 0
1800.03/1800.50 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.50 c intobj : 0.00 0 0 0 0 0
1800.03/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.50 c gomory : 0.00 0 0 0 0 0
1800.03/1800.50 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.50 c cmir : 0.00 0 0 0 0 0
1800.03/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.50 c clique : 0.00 0 0 0 0 0
1800.03/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.50 c mcf : 0.00 0 0 0 0 0
1800.03/1800.50 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.50 c Pricers : Time Calls Vars
1800.03/1800.50 c problem variables: 0.00 0 0
1800.03/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.50 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.50 c inference : 623.30 208162 0 0 0 0 416324
1800.03/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.50 c random : 0.00 0 0 0 0 0 0
1800.03/1800.50 c Primal Heuristics : Time Calls Found
1800.03/1800.50 c LP solutions : 0.00 - 0
1800.03/1800.50 c pseudo solutions : 0.00 - 0
1800.03/1800.50 c trivial : 0.03 1 0
1800.03/1800.50 c simplerounding : 0.00 0 0
1800.03/1800.50 c zirounding : 0.00 0 0
1800.03/1800.50 c rounding : 0.00 0 0
1800.03/1800.50 c shifting : 0.00 0 0
1800.03/1800.50 c intshifting : 0.00 0 0
1800.03/1800.50 c oneopt : 0.00 0 0
1800.03/1800.50 c twoopt : 0.00 0 0
1800.03/1800.50 c fixandinfer : 0.00 0 0
1800.03/1800.50 c feaspump : 0.00 0 0
1800.03/1800.50 c coefdiving : 0.00 0 0
1800.03/1800.50 c pscostdiving : 0.00 0 0
1800.03/1800.50 c fracdiving : 0.00 0 0
1800.03/1800.50 c veclendiving : 0.00 0 0
1800.03/1800.50 c intdiving : 0.00 0 0
1800.03/1800.50 c actconsdiving : 0.00 0 0
1800.03/1800.50 c objpscostdiving : 0.00 0 0
1800.03/1800.50 c rootsoldiving : 0.00 0 0
1800.03/1800.50 c linesearchdiving : 0.00 0 0
1800.03/1800.50 c guideddiving : 0.00 0 0
1800.03/1800.50 c octane : 0.00 0 0
1800.03/1800.50 c rens : 0.00 0 0
1800.03/1800.50 c rins : 0.00 0 0
1800.03/1800.50 c localbranching : 0.00 0 0
1800.03/1800.50 c mutation : 0.00 0 0
1800.03/1800.50 c crossover : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 0.00 0 0
1800.03/1800.51 c trysol : 0.00 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.51 c (at root node) : - 0 0 0.00 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 209115
1800.03/1800.51 c nodes (total) : 209115
1800.03/1800.51 c nodes left : 206664
1800.03/1800.51 c max depth : 889
1800.03/1800.51 c max depth (total): 889
1800.03/1800.51 c backtracks : 581 (0.3%)
1800.03/1800.51 c delayed cutoffs : 546
1800.03/1800.51 c repropagations : 25125 (62487 domain reductions, 546 cutoffs)
1800.03/1800.51 c avg switch length: 2.40
1800.03/1800.51 c switching time : 16.53
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 0 (0 improvements)
1800.03/1800.51 c Primal Bound : -
1800.03/1800.51 c Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Root Iterations : 0
1800.81/1801.38 c Time complete: 1800.9.
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-2663474-1276681299/watcher-2663474-1276681299 -o /tmp/evaluation-result-2663474-1276681299/solver-2663474-1276681299 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663474-1276681299.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.12 3/106 14609 /proc/meminfo: memFree=1710608/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=6732 CPUtime=0 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 914 0 0 0 0 0 0 0 19 0 1 0 9421834 6893568 837 1992294400 4194304 7136930 140735442457264 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14609/statm: 1683 845 254 719 0 962 0 [startup+0.0372351 s] /proc/loadavg: 1.00 1.00 1.12 3/106 14609 /proc/meminfo: memFree=1710608/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=12864 CPUtime=0.03 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 2678 0 0 0 2 1 0 0 19 0 1 0 9421834 13172736 2600 1992294400 4194304 7136930 140735442457264 18446744073709551615 4213868 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14609/statm: 3216 2600 269 719 0 2495 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12864 [startup+0.101224 s] /proc/loadavg: 1.00 1.00 1.12 3/106 14609 /proc/meminfo: memFree=1710608/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=21444 CPUtime=0.09 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 4820 0 0 0 8 1 0 0 19 0 1 0 9421834 21958656 4742 1992294400 4194304 7136930 140735442457264 18446744073709551615 4384918 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14609/statm: 5361 4743 269 719 0 4640 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21444 [startup+0.300243 s] /proc/loadavg: 1.00 1.00 1.12 3/106 14609 /proc/meminfo: memFree=1710608/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=49212 CPUtime=0.28 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 12119 0 0 0 24 4 0 0 20 0 1 0 9421834 50393088 11687 1992294400 4194304 7136930 140735442457264 18446744073709551615 4668100 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 12303 11687 284 719 0 11582 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 49212 [startup+0.700279 s] /proc/loadavg: 1.00 1.00 1.12 3/106 14609 /proc/meminfo: memFree=1710608/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=60664 CPUtime=0.69 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 15148 0 0 0 60 9 0 0 20 0 1 0 9421834 62119936 14363 1992294400 4194304 7136930 140735442457264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 15166 14363 327 719 0 14445 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 60664 [startup+1.50035 s] /proc/loadavg: 1.00 1.00 1.12 2/107 14610 /proc/meminfo: memFree=1646988/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=69080 CPUtime=1.48 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 19558 0 0 0 124 24 0 0 23 0 1 0 9421834 70737920 16422 1992294400 4194304 7136930 140735442457264 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 17270 16422 409 719 0 16549 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 69080 [startup+3.1005 s] /proc/loadavg: 1.00 1.00 1.12 2/107 14610 /proc/meminfo: memFree=1645004/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=71148 CPUtime=3.09 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 20073 0 0 0 284 25 0 0 25 0 1 0 9421834 72855552 16937 1992294400 4194304 7136930 140735442457264 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 17787 16937 409 719 0 17066 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 71148 [startup+6.3018 s] /proc/loadavg: 1.00 1.00 1.12 2/107 14610 /proc/meminfo: memFree=1642276/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=73868 CPUtime=6.29 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 20739 0 0 0 603 26 0 0 25 0 1 0 9421834 75640832 17603 1992294400 4194304 7136930 140735442457264 18446744073709551615 4643237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 18467 17603 409 719 0 17746 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 73868 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.12 2/107 14610 /proc/meminfo: memFree=1637688/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=77420 CPUtime=12.68 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 21601 0 0 0 1239 29 0 0 25 0 1 0 9421834 79278080 18465 1992294400 4194304 7136930 140735442457264 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 19355 18465 414 719 0 18634 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 77420 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.12 2/107 14610 /proc/meminfo: memFree=1635084/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=79848 CPUtime=25.48 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 22203 0 0 0 2512 36 0 0 25 0 1 0 9421834 81764352 19067 1992294400 4194304 7136930 140735442457264 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 19962 19067 414 719 0 19241 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 79848 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.11 2/107 14610 /proc/meminfo: memFree=1629876/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=85360 CPUtime=51.07 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 23566 0 0 0 5063 44 0 0 25 0 1 0 9421834 87408640 20430 1992294400 4194304 7136930 140735442457264 18446744073709551615 5892212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 21340 20430 414 719 0 20619 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 85360 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.10 2/107 14612 /proc/meminfo: memFree=1620576/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=94220 CPUtime=102.27 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 25809 0 0 0 10167 60 0 0 25 0 1 0 9421834 96481280 22673 1992294400 4194304 7136930 140735442457264 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 23555 22673 414 719 0 22834 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 94220 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 14614 /proc/meminfo: memFree=1610904/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=103760 CPUtime=162.24 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 28199 0 0 0 16146 78 0 0 25 0 1 0 9421834 106250240 25063 1992294400 4194304 7136930 140735442457264 18446744073709551615 4780843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 25940 25063 414 719 0 25219 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 103760 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.09 2/107 14616 /proc/meminfo: memFree=1602224/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=112512 CPUtime=222.23 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 30384 0 0 0 22124 99 0 0 25 0 1 0 9421834 115212288 27248 1992294400 4194304 7136930 140735442457264 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 28128 27248 414 719 0 27407 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 112512 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 14616 /proc/meminfo: memFree=1592924/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=122704 CPUtime=282.21 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 32950 0 0 0 28107 114 0 0 25 0 1 0 9421834 125648896 29814 1992294400 4194304 7136930 140735442457264 18446744073709551615 4740313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 30676 29814 414 719 0 29955 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 122704 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.07 2/107 14618 /proc/meminfo: memFree=1580152/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=134164 CPUtime=342.2 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 35843 0 0 0 34086 134 0 0 25 0 1 0 9421834 137383936 32707 1992294400 4194304 7136930 140735442457264 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 33541 32707 414 719 0 32820 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 134164 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 14620 /proc/meminfo: memFree=1576308/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=137972 CPUtime=402.19 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 36830 0 0 0 40064 155 0 0 25 0 1 0 9421834 141283328 33694 1992294400 4194304 7136930 140735442457264 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 34493 33694 414 719 0 33772 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 137972 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.06 2/107 14622 /proc/meminfo: memFree=1564900/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=149204 CPUtime=462.17 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 39655 0 0 0 46040 177 0 0 25 0 1 0 9421834 152784896 36519 1992294400 4194304 7136930 140735442457264 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 37301 36519 414 719 0 36580 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 149204 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.06 2/107 14624 /proc/meminfo: memFree=1556344/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=157784 CPUtime=522.15 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 41786 0 0 0 52021 194 0 0 25 0 1 0 9421834 161570816 38650 1992294400 4194304 7136930 140735442457264 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 39446 38650 414 719 0 38725 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 157784 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 14624 /proc/meminfo: memFree=1551384/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=162612 CPUtime=582.14 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 42997 0 0 0 57996 218 0 0 25 0 1 0 9421834 166514688 39861 1992294400 4194304 7136930 140735442457264 18446744073709551615 4643202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 40653 39861 414 719 0 39932 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 162612 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 14626 /proc/meminfo: memFree=1541836/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=172008 CPUtime=642.13 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 45374 0 0 0 63972 241 0 0 25 0 1 0 9421834 176136192 42238 1992294400 4194304 7136930 140735442457264 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 43002 42238 414 719 0 42281 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 172008 [startup+702.3 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 14638 /proc/meminfo: memFree=1477108/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=238260 CPUtime=1062.01 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 61462 0 0 0 105808 393 0 0 25 0 1 0 9421834 243978240 58326 1992294400 4194304 7136930 140735442457264 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 59565 58326 414 719 0 58844 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 238260 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14640 /proc/meminfo: memFree=1468304/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=247040 CPUtime=1122 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 63647 0 0 0 111778 422 0 0 25 0 1 0 9421834 252968960 60511 1992294400 4194304 7136930 140735442457264 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 61760 60511 414 719 0 61039 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 247040 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14649 /proc/meminfo: memFree=1460244/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=254760 CPUtime=1181.97 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 65645 0 0 0 117752 445 0 0 25 0 1 0 9421834 260874240 62509 1992294400 4194304 7136930 140735442457264 18446744073709551615 4643245 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 63690 62509 414 719 0 62969 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 254760 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14651 /proc/meminfo: memFree=1450324/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=264500 CPUtime=1241.96 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 68100 0 0 0 123724 472 0 0 25 0 1 0 9421834 270848000 64964 1992294400 4194304 7136930 140735442457264 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 66125 64964 414 719 0 65404 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 264500 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14653 /proc/meminfo: memFree=1440404/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=274316 CPUtime=1301.95 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 70545 0 0 0 129696 499 0 0 25 0 1 0 9421834 280899584 67409 1992294400 4194304 7136930 140735442457264 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 68579 67409 414 719 0 67858 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 274316 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14655 /proc/meminfo: memFree=1428872/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=285748 CPUtime=1361.93 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 73427 0 0 0 135671 522 0 0 25 0 1 0 9421834 292605952 70291 1992294400 4194304 7136930 140735442457264 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 71437 70291 414 719 0 70716 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 285748 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14657 /proc/meminfo: memFree=1420316/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=294308 CPUtime=1421.92 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 75567 0 0 0 141639 553 0 0 25 0 1 0 9421834 301371392 72431 1992294400 4194304 7136930 140735442457264 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 73577 72431 414 719 0 72856 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 294308 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14657 /proc/meminfo: memFree=1407668/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=306652 CPUtime=1481.9 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 78701 0 0 0 147612 578 0 0 25 0 1 0 9421834 314011648 75565 1992294400 4194304 7136930 140735442457264 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 76663 75565 414 719 0 75942 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 306652 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14659 /proc/meminfo: memFree=1397872/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=316356 CPUtime=1541.88 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 81153 0 0 0 153579 609 0 0 25 0 1 0 9421834 323948544 78017 1992294400 4194304 7136930 140735442457264 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 79089 78017 414 719 0 78368 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 316356 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14661 /proc/meminfo: memFree=1387580/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=326796 CPUtime=1601.87 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 83704 0 0 0 159544 643 0 0 25 0 1 0 9421834 334639104 80568 1992294400 4194304 7136930 140735442457264 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 81699 80568 414 719 0 80978 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 326796 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14663 /proc/meminfo: memFree=1375552/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=338916 CPUtime=1661.85 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 86729 0 0 0 165507 678 0 0 25 0 1 0 9421834 347049984 83593 1992294400 4194304 7136930 140735442457264 18446744073709551615 4774442 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 84729 83593 414 719 0 84008 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 338916 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14665 /proc/meminfo: memFree=1363896/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=350308 CPUtime=1721.84 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 89619 0 0 0 171462 722 0 0 25 0 1 0 9421834 358715392 86483 1992294400 4194304 7136930 140735442457264 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 87577 86483 414 719 0 86856 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 350308 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14665 /proc/meminfo: memFree=1350008/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=367840 CPUtime=1781.82 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 93015 0 0 0 177417 765 0 0 25 0 1 0 9421834 376668160 89879 1992294400 4194304 7136930 140735442457264 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 91960 89879 414 719 0 91239 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 367840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14667 /proc/meminfo: memFree=1347652/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=370152 CPUtime=1800.03 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 93612 0 0 0 179224 779 0 0 25 0 1 0 9421834 379035648 90476 1992294400 4194304 7136930 140735442457264 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14609/statm: 92538 90476 414 719 0 91817 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 370152 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: 1.00 1.00 1.00 2/108 14668 /proc/meminfo: memFree=1347024/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=370532 CPUtime=1800.14 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 93756 0 0 0 179235 779 0 0 25 0 1 0 9421834 379424768 90585 1992294400 4194304 7136930 140735442457264 18446744073709551615 6166339 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14609/statm: 92633 90585 419 719 0 91912 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 370532 [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14668 /proc/meminfo: memFree=1347024/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=348756 CPUtime=1800.52 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 93757 0 0 0 179273 779 0 0 25 0 1 0 9421834 357126144 85142 1992294400 4194304 7136930 140735442457264 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14609/statm: 87189 85142 419 719 0 86468 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (KiB) 348756 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14668 /proc/meminfo: memFree=1347024/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=286980 CPUtime=1800.72 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 93757 0 0 0 179293 779 0 0 25 0 1 0 9421834 293867520 69701 1992294400 4194304 7136930 140735442457264 18446744073709551615 6166240 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14609/statm: 71745 69701 419 719 0 71024 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (KiB) 286980 [startup+1801.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14668 /proc/meminfo: memFree=1347024/2059040 swapFree=4187148/4192956 [pid=14609] ppid=14607 vsize=225904 CPUtime=1800.81 /proc/14609/stat : 14609 (pbscip.linux.x8) R 14607 14609 14015 0 -1 4202496 93758 0 0 0 179302 779 0 0 25 0 1 0 9421834 231325696 54443 1992294400 4194304 7136930 140735442457264 18446744073709551615 6166167 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14609/statm: 56476 54443 419 719 0 55755 0 Current children cumulated CPU time (s) 1800.81 Current children cumulated vsize (KiB) 225904 Child status: 0 Real time (s): 1801.39 CPU time (s): 1800.92 CPU user time (s): 1793.1 CPU system time (s): 7.82081 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 370532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.1 system time used= 7.82081 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93764 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= 6 involuntary context switches= 3296 runsolver used 3.16952 second user time and 8.31274 second system time The end
Begin job on node048 at 2010-06-16 11:41:39 IDJOB=2663474 IDBENCH=48352 IDSOLVER=1167 FILE ID=node048/2663474-1276681299 PBS_JOBID= 11172550 Free space on /tmp= 62456 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_500_25_1_80.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-2663474-1276681299/watcher-2663474-1276681299 -o /tmp/evaluation-result-2663474-1276681299/solver-2663474-1276681299 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663474-1276681299.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1315caae01d69a106b6850eece7eb42e RANDOM SEED=1687302337 node048.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.212 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.42 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.212 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1711012 kB Buffers: 95148 kB Cached: 132664 kB SwapCached: 280 kB Active: 99972 kB Inactive: 181836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1711012 kB SwapTotal: 4192956 kB SwapFree: 4187148 kB Dirty: 3640 kB Writeback: 0 kB AnonPages: 53736 kB Mapped: 15412 kB Slab: 44436 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181736 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= 62452 MiB End job on node048 at 2010-06-16 12:11:42