| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.94 | 1801.51 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_2_80.opb |
| MD5SUM | d38f526c1f6f5ee8e5e4d2c41b31df8d |
| 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) | 31340 |
| Sum of products size (including duplicates) | 62680 |
| Number of different products | 15670 |
| Sum of products size | 31340 |
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-2663411-1276675480.opb>
0.19/0.20 c original problem has 16670 variables (16670 bin, 0 int, 0 impl, 0 cont) and 17172 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.20 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.97 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 126360 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 126360 implications, 1000 cliques
1.29/1.37 c presolved problem has 16670 variables (16670 bin, 0 int, 0 impl, 0 cont) and 17172 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 15670 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.81
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.81
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.39/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.39/1.40 c 0.9s| 1 | 2 | 0 | - | 44M| 0 | - | 16k| 17k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
121.25/121.34 c 120s| 10000 | 9764 | 0 | 0.0 | 65M| 888 | - | 16k| 17k| 0 | 0 | 0 | 191 | 0 | 0.000000e+00 | -- | Inf
247.00/247.13 c 246s| 20000 | 19688 | 0 | 0.0 | 82M| 888 | - | 16k| 17k| 0 | 0 | 0 | 249 | 0 | 0.000000e+00 | -- | Inf
366.46/366.67 c 365s| 30000 | 29614 | 0 | 0.0 | 98M| 888 | - | 16k| 17k| 0 | 0 | 0 | 304 | 0 | 0.000000e+00 | -- | Inf
484.73/484.98 c 483s| 40000 | 39542 | 0 | 0.0 | 114M| 888 | - | 16k| 17k| 0 | 0 | 0 | 359 | 0 | 0.000000e+00 | -- | Inf
586.79/587.05 c 584s| 50000 | 49486 | 0 | 0.0 | 128M| 888 | - | 16k| 17k| 0 | 0 | 0 | 409 | 0 | 0.000000e+00 | -- | Inf
707.66/707.97 c 705s| 60000 | 59390 | 0 | 0.0 | 144M| 888 | - | 16k| 17k| 0 | 0 | 0 | 475 | 0 | 0.000000e+00 | -- | Inf
804.23/804.57 c 801s| 70000 | 69326 | 0 | 0.0 | 158M| 888 | - | 16k| 17k| 0 | 0 | 0 | 530 | 0 | 0.000000e+00 | -- | Inf
908.10/908.44 c 905s| 80000 | 79224 | 0 | 0.0 | 173M| 888 | - | 16k| 17k| 0 | 0 | 0 | 600 | 0 | 0.000000e+00 | -- | Inf
990.57/990.99 c 987s| 90000 | 89173 | 0 | 0.0 | 185M| 888 | - | 16k| 17k| 0 | 0 | 0 | 651 | 0 | 0.000000e+00 | -- | Inf
1102.24/1102.62 c 1098s|100000 | 99032 | 0 | 0.0 | 201M| 888 | - | 16k| 17k| 0 | 0 | 0 | 739 | 0 | 0.000000e+00 | -- | Inf
1179.42/1179.80 c 1175s|110000 |108967 | 0 | 0.0 | 213M| 888 | - | 16k| 17k| 0 | 0 | 0 | 798 | 0 | 0.000000e+00 | -- | Inf
1270.39/1270.86 c 1265s|120000 |118833 | 0 | 0.0 | 227M| 888 | - | 16k| 17k| 0 | 0 | 0 | 886 | 0 | 0.000000e+00 | -- | Inf
1346.98/1347.49 c 1342s|130000 |128737 | 0 | 0.0 | 239M| 888 | - | 16k| 17k| 0 | 0 | 0 | 963 | 0 | 0.000000e+00 | -- | Inf
1419.04/1419.53 c 1413s|140000 |138643 | 0 | 0.0 | 251M| 888 | - | 16k| 17k| 0 | 0 | 0 |1037 | 0 | 0.000000e+00 | -- | Inf
1493.24/1493.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.24/1493.76 c 1487s|150000 |148509 | 0 | 0.0 | 263M| 888 | - | 16k| 17k| 0 | 0 | 0 |1127 | 0 | 0.000000e+00 | -- | Inf
1552.10/1552.67 c 1546s|160000 |158431 | 0 | 0.0 | 274M| 888 | - | 16k| 17k| 0 | 0 | 0 |1197 | 0 | 0.000000e+00 | -- | Inf
1617.49/1618.10 c 1611s|170000 |168258 | 0 | 0.0 | 285M| 888 | - | 16k| 18k| 0 | 0 | 0 |1314 | 0 | 0.000000e+00 | -- | Inf
1669.57/1670.13 c 1662s|180000 |178149 | 0 | 0.0 | 295M| 888 | - | 16k| 18k| 0 | 0 | 0 |1410 | 0 | 0.000000e+00 | -- | Inf
1723.65/1724.21 c 1716s|190000 |187942 | 0 | 0.0 | 306M| 888 | - | 16k| 18k| 0 | 0 | 0 |1547 | 0 | 0.000000e+00 | -- | Inf
1769.03/1769.67 c 1761s|200000 |197759 | 0 | 0.0 | 315M| 888 | - | 16k| 18k| 0 | 0 | 0 |1681 | 0 | 0.000000e+00 | -- | Inf
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.62 c
1800.04/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.62 c Solving Time (sec) : 1791.93
1800.04/1800.62 c Solving Nodes : 207925
1800.04/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.62 c Dual Bound : +0.00000000000000e+00
1800.04/1800.62 c Gap : infinite
1800.04/1800.62 s UNKNOWN
1800.04/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.62 c Solving Time : 1791.93
1800.04/1800.62 c Original Problem :
1800.04/1800.62 c Problem name : HOME/instance-2663411-1276675480.opb
1800.04/1800.62 c Variables : 16670 (16670 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.62 c Constraints : 17172 initial, 17172 maximal
1800.04/1800.62 c Presolved Problem :
1800.04/1800.62 c Problem name : t_HOME/instance-2663411-1276675480.opb
1800.04/1800.62 c Variables : 16670 (16670 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.62 c Constraints : 17172 initial, 18321 maximal
1800.04/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.62 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c implics : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c knapsack : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.62 c setppc : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.62 c and : 0.46 0 0 0 0 0 0 0 0
1800.04/1800.62 c linear : 0.11 0 0 0 0 0 0 0 0
1800.04/1800.62 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.62 c root node : - 0 - - 0 - - - -
1800.04/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.62 c knapsack : 1 0 301969 0 148872 237 70440 0 0 0
1800.04/1800.62 c setppc : 1000 0 442973 0 206999 1088 32989 0 0 0
1800.04/1800.62 c and : 15670 0 441885 0 206999 8 3704947 0 0 0
1800.04/1800.62 c linear : 1 0 441542 0 206999 100 26954 0 0 0
1800.04/1800.62 c logicor : 500+ 0 2999 0 206999 7 71205 0 0 0
1800.04/1800.62 c countsols : 0 0 0 0 206999 0 0 0 0 0
1800.04/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.62 c knapsack : 19.56 0.00 8.72 0.00 10.84
1800.04/1800.62 c setppc : 444.92 0.00 25.12 0.00 419.80
1800.04/1800.62 c and : 571.33 0.00 197.17 0.00 374.16
1800.04/1800.62 c linear : 61.93 0.00 61.48 0.00 0.45
1800.04/1800.62 c logicor : 41.39 0.00 0.82 0.00 40.57
1800.04/1800.62 c countsols : 0.19 0.00 0.00 0.00 0.19
1800.04/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.62 c vbounds : 0.41 1 0 0
1800.04/1800.62 c rootredcost : 0.34 0 0 0
1800.04/1800.62 c pseudoobj : 0.17 0 0 0
1800.04/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.62 c propagation : 4.88 1440 1439 1919 420.2 0 0.0 -
1800.04/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.62 c applied globally : - - - 1791 391.4 - - -
1800.04/1800.62 c applied locally : - - - 0 0.0 - - -
1800.04/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.62 c redcost : 0.00 0 0 0 0 0
1800.04/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.62 c intobj : 0.00 0 0 0 0 0
1800.04/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.62 c gomory : 0.00 0 0 0 0 0
1800.04/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.62 c cmir : 0.00 0 0 0 0 0
1800.04/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.62 c clique : 0.00 0 0 0 0 0
1800.04/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.62 c mcf : 0.00 0 0 0 0 0
1800.04/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.62 c Pricers : Time Calls Vars
1800.04/1800.62 c problem variables: 0.00 0 0
1800.04/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.62 c inference : 619.67 206999 0 0 0 0 413998
1800.04/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.62 c random : 0.00 0 0 0 0 0 0
1800.04/1800.62 c Primal Heuristics : Time Calls Found
1800.04/1800.62 c LP solutions : 0.00 - 0
1800.04/1800.62 c pseudo solutions : 0.00 - 0
1800.04/1800.62 c trivial : 0.03 1 0
1800.04/1800.62 c simplerounding : 0.00 0 0
1800.04/1800.62 c zirounding : 0.00 0 0
1800.04/1800.62 c rounding : 0.00 0 0
1800.04/1800.62 c shifting : 0.00 0 0
1800.04/1800.62 c intshifting : 0.00 0 0
1800.04/1800.62 c oneopt : 0.00 0 0
1800.04/1800.62 c twoopt : 0.00 0 0
1800.04/1800.62 c fixandinfer : 0.00 0 0
1800.04/1800.62 c feaspump : 0.00 0 0
1800.04/1800.62 c coefdiving : 0.00 0 0
1800.04/1800.62 c pscostdiving : 0.00 0 0
1800.04/1800.62 c fracdiving : 0.00 0 0
1800.04/1800.62 c veclendiving : 0.00 0 0
1800.04/1800.62 c intdiving : 0.00 0 0
1800.04/1800.62 c actconsdiving : 0.00 0 0
1800.04/1800.62 c objpscostdiving : 0.00 0 0
1800.04/1800.62 c rootsoldiving : 0.00 0 0
1800.04/1800.62 c linesearchdiving : 0.00 0 0
1800.04/1800.62 c guideddiving : 0.00 0 0
1800.04/1800.62 c octane : 0.00 0 0
1800.04/1800.62 c rens : 0.00 0 0
1800.04/1800.62 c rins : 0.00 0 0
1800.04/1800.62 c localbranching : 0.00 0 0
1800.04/1800.62 c mutation : 0.00 0 0
1800.04/1800.62 c crossover : 0.00 0 0
1800.04/1800.62 c dins : 0.00 0 0
1800.04/1800.62 c undercover : 0.00 0 0
1800.04/1800.62 c nlp : 0.00 0 0
1800.04/1800.62 c trysol : 0.00 0 0
1800.04/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.62 c (at root node) : - 0 0 0.00 -
1800.04/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.62 c B&B Tree :
1800.04/1800.62 c number of runs : 1
1800.04/1800.62 c nodes : 207925
1800.04/1800.62 c nodes (total) : 207925
1800.04/1800.62 c nodes left : 205560
1800.04/1800.62 c max depth : 888
1800.04/1800.62 c max depth (total): 888
1800.04/1800.62 c backtracks : 550 (0.3%)
1800.04/1800.62 c delayed cutoffs : 514
1800.04/1800.62 c repropagations : 20636 (47515 domain reductions, 514 cutoffs)
1800.04/1800.62 c avg switch length: 2.30
1800.04/1800.62 c switching time : 15.87
1800.04/1800.62 c Solution :
1800.04/1800.62 c Solutions found : 0 (0 improvements)
1800.04/1800.62 c Primal Bound : -
1800.04/1800.62 c Dual Bound : +0.00000000000000e+00
1800.04/1800.62 c Gap : infinite
1800.04/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.62 c Root Iterations : 0
1800.92/1801.51 c Time complete: 1800.92.
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-2663411-1276675480/watcher-2663411-1276675480 -o /tmp/evaluation-result-2663411-1276675480/solver-2663411-1276675480 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663411-1276675480.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.03 1.11 3/106 16646 /proc/meminfo: memFree=1796928/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=6732 CPUtime=0 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 1005 0 0 0 0 0 0 0 15 0 1 0 8842992 6893568 928 1992294400 4194304 7136930 140736282723232 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16646/statm: 1683 936 254 719 0 962 0 [startup+0.0374299 s] /proc/loadavg: 1.00 1.03 1.11 3/106 16646 /proc/meminfo: memFree=1796928/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=12868 CPUtime=0.03 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 2692 0 0 0 2 1 0 0 17 0 1 0 8842992 13176832 2615 1992294400 4194304 7136930 140736282723232 18446744073709551615 6274652 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16646/statm: 3217 2615 269 719 0 2496 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12868 [startup+0.101424 s] /proc/loadavg: 1.00 1.03 1.11 3/106 16646 /proc/meminfo: memFree=1796928/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=21640 CPUtime=0.09 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 4876 0 0 0 7 2 0 0 17 0 1 0 8842992 22159360 4799 1992294400 4194304 7136930 140736282723232 18446744073709551615 6350076 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16646/statm: 5410 4807 269 719 0 4689 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21640 [startup+0.301444 s] /proc/loadavg: 1.00 1.03 1.11 3/106 16646 /proc/meminfo: memFree=1796928/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=50572 CPUtime=0.29 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 12494 0 0 0 24 5 0 0 17 0 1 0 8842992 51785728 12063 1992294400 4194304 7136930 140736282723232 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 12643 12063 292 719 0 11922 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 50572 [startup+0.701487 s] /proc/loadavg: 1.00 1.03 1.11 3/106 16646 /proc/meminfo: memFree=1796928/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=60812 CPUtime=0.69 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 15183 0 0 0 58 11 0 0 17 0 1 0 8842992 62271488 14399 1992294400 4194304 7136930 140736282723232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 15203 14399 327 719 0 14482 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 60812 [startup+1.50157 s] /proc/loadavg: 1.00 1.03 1.11 2/107 16647 /proc/meminfo: memFree=1734176/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=68592 CPUtime=1.49 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 19438 0 0 0 120 29 0 0 18 0 1 0 8842992 70238208 16272 1992294400 4194304 7136930 140736282723232 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 17148 16272 412 719 0 16427 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 68592 [startup+3.10175 s] /proc/loadavg: 1.00 1.03 1.11 2/107 16647 /proc/meminfo: memFree=1732192/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=71176 CPUtime=3.09 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 20106 0 0 0 279 30 0 0 21 0 1 0 8842992 72884224 16937 1992294400 4194304 7136930 140736282723232 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 17794 16937 409 719 0 17073 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 71176 [startup+6.30109 s] /proc/loadavg: 1.00 1.03 1.11 2/107 16647 /proc/meminfo: memFree=1728844/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=73784 CPUtime=6.29 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 20754 0 0 0 598 31 0 0 25 0 1 0 8842992 75554816 17585 1992294400 4194304 7136930 140736282723232 18446744073709551615 4774692 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 18446 17585 409 719 0 17725 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 73784 [startup+12.7018 s] /proc/loadavg: 1.00 1.02 1.11 2/107 16647 /proc/meminfo: memFree=1724504/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=77248 CPUtime=12.69 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 21578 0 0 0 1235 34 0 0 25 0 1 0 8842992 79101952 18409 1992294400 4194304 7136930 140736282723232 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 19312 18409 414 719 0 18591 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77248 [startup+25.5012 s] /proc/loadavg: 1.00 1.02 1.10 2/107 16649 /proc/meminfo: memFree=1721900/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=80084 CPUtime=25.48 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 22284 0 0 0 2510 38 0 0 25 0 1 0 8842992 82006016 19115 1992294400 4194304 7136930 140736282723232 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 20021 19115 414 719 0 19300 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 80084 [startup+51.1009 s] /proc/loadavg: 1.00 1.02 1.10 2/107 16649 /proc/meminfo: memFree=1716196/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=85332 CPUtime=51.06 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 23600 0 0 0 5061 45 0 0 25 0 1 0 8842992 87379968 20431 1992294400 4194304 7136930 140736282723232 18446744073709551615 4774659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 21333 20431 414 719 0 20612 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 85332 [startup+102.308 s] /proc/loadavg: 1.00 1.02 1.09 2/107 16651 /proc/meminfo: memFree=1707764/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=93588 CPUtime=102.26 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 25691 0 0 0 10163 63 0 0 25 0 1 0 8842992 95834112 22522 1992294400 4194304 7136930 140736282723232 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 23397 22522 414 719 0 22676 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 93588 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.08 2/107 16651 /proc/meminfo: memFree=1697968/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=103396 CPUtime=162.22 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 28129 0 0 0 16141 81 0 0 25 0 1 0 8842992 105877504 24960 1992294400 4194304 7136930 140736282723232 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 25849 24960 414 719 0 25128 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 103396 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.08 2/107 16653 /proc/meminfo: memFree=1688544/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=112568 CPUtime=222.21 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 30458 0 0 0 22124 97 0 0 25 0 1 0 8842992 115269632 27289 1992294400 4194304 7136930 140736282723232 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 28142 27289 414 719 0 27421 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 112568 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.07 2/107 16655 /proc/meminfo: memFree=1678128/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=123892 CPUtime=282.19 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 33298 0 0 0 28105 114 0 0 25 0 1 0 8842992 126865408 30129 1992294400 4194304 7136930 140736282723232 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 30973 30129 414 719 0 30252 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 123892 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.07 2/107 16657 /proc/meminfo: memFree=1669448/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=131520 CPUtime=342.17 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 35215 0 0 0 34081 136 0 0 25 0 1 0 8842992 134676480 32046 1992294400 4194304 7136930 140736282723232 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 32880 32046 414 719 0 32159 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 131520 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.06 2/107 16659 /proc/meminfo: memFree=1660024/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=140896 CPUtime=402.16 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 37575 0 0 0 40060 156 0 0 25 0 1 0 8842992 144277504 34406 1992294400 4194304 7136930 140736282723232 18446744073709551615 4979386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 35224 34406 414 719 0 34503 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 140896 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.06 2/107 16659 /proc/meminfo: memFree=1653328/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=147332 CPUtime=462.14 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 39221 0 0 0 46038 176 0 0 25 0 1 0 8842992 150867968 36052 1992294400 4194304 7136930 140736282723232 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 36833 36052 414 719 0 36112 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 147332 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 16661 /proc/meminfo: memFree=1644772/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=155788 CPUtime=522.12 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 41335 0 0 0 52017 195 0 0 25 0 1 0 8842992 159526912 38166 1992294400 4194304 7136930 140736282723232 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 38947 38166 414 719 0 38226 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 155788 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 16663 /proc/meminfo: memFree=1634852/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=165608 CPUtime=582.1 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 43795 0 0 0 57993 217 0 0 25 0 1 0 8842992 169582592 40626 1992294400 4194304 7136930 140736282723232 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 41402 40626 414 719 0 40681 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 165608 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 16665 /proc/meminfo: memFree=1629272/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=171112 CPUtime=642.08 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 45191 0 0 0 63972 236 0 0 25 0 1 0 8842992 175218688 42022 1992294400 4194304 7136930 140736282723232 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 42778 42022 414 719 0 42057 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 171112 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16675 /proc/meminfo: memFree=1573224/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=228512 CPUtime=1001.97 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 59101 0 0 0 99816 381 0 0 25 0 1 0 8842992 233996288 55932 1992294400 4194304 7136930 140736282723232 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 57128 55932 414 719 0 56407 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 228512 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 16675 /proc/meminfo: memFree=1565288/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=236724 CPUtime=1061.95 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 61180 0 0 0 105794 401 0 0 25 0 1 0 8842992 242405376 58011 1992294400 4194304 7136930 140736282723232 18446744073709551615 4407859 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 59181 58011 414 719 0 58460 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 236724 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16677 /proc/meminfo: memFree=1554996/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=246572 CPUtime=1121.93 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 63629 0 0 0 111768 425 0 0 25 0 1 0 8842992 252489728 60460 1992294400 4194304 7136930 140736282723232 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 61643 60460 414 719 0 60922 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 246572 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16679 /proc/meminfo: memFree=1545448/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=257196 CPUtime=1181.92 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 66273 0 0 0 117738 454 0 0 25 0 1 0 8842992 263368704 63104 1992294400 4194304 7136930 140736282723232 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 64299 63104 414 719 0 63578 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 257196 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16681 /proc/meminfo: memFree=1535280/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=265904 CPUtime=1241.9 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 68480 0 0 0 123713 477 0 0 25 0 1 0 8842992 272285696 65311 1992294400 4194304 7136930 140736282723232 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 66476 65311 414 719 0 65755 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 265904 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16683 /proc/meminfo: memFree=1526228/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=275028 CPUtime=1301.9 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 70752 0 0 0 129683 507 0 0 25 0 1 0 8842992 281628672 67583 1992294400 4194304 7136930 140736282723232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 68757 67583 414 719 0 68036 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 275028 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16683 /proc/meminfo: memFree=1517424/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=284740 CPUtime=1361.87 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 73212 0 0 0 135652 535 0 0 25 0 1 0 8842992 291573760 70043 1992294400 4194304 7136930 140736282723232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 71185 70043 414 719 0 70464 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 284740 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16685 /proc/meminfo: memFree=1503412/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=297660 CPUtime=1421.86 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 76452 0 0 0 141620 566 0 0 25 0 1 0 8842992 304803840 73283 1992294400 4194304 7136930 140736282723232 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 74415 73283 414 719 0 73694 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 297660 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16687 /proc/meminfo: memFree=1493368/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=308432 CPUtime=1481.83 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 79175 0 0 0 147584 599 0 0 25 0 1 0 8842992 315834368 76006 1992294400 4194304 7136930 140736282723232 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 77108 76006 414 719 0 76387 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 308432 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16689 /proc/meminfo: memFree=1480968/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=319864 CPUtime=1541.8 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 82006 0 0 0 153548 632 0 0 25 0 1 0 8842992 327540736 78837 1992294400 4194304 7136930 140736282723232 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 79966 78837 414 719 0 79245 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 319864 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16691 /proc/meminfo: memFree=1470924/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=329888 CPUtime=1601.79 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 84546 0 0 0 159516 663 0 0 25 0 1 0 8842992 337805312 81377 1992294400 4194304 7136930 140736282723232 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 82472 81377 414 719 0 81751 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 329888 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16694 /proc/meminfo: memFree=1459516/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=340948 CPUtime=1661.77 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 87299 0 0 0 165475 702 0 0 25 0 1 0 8842992 349130752 84130 1992294400 4194304 7136930 140736282723232 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 85237 84130 414 719 0 84516 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 340948 [startup+1722.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 16696 /proc/meminfo: memFree=1449348/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=351044 CPUtime=1721.75 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 89853 0 0 0 171436 739 0 0 25 0 1 0 8842992 359469056 86684 1992294400 4194304 7136930 140736282723232 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 87761 86684 414 719 0 87040 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 351044 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 16698 /proc/meminfo: memFree=1435212/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=369112 CPUtime=1781.73 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 93364 0 0 0 177393 780 0 0 25 0 1 0 8842992 377970688 90195 1992294400 4194304 7136930 140736282723232 18446744073709551615 5121858 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 92278 90195 414 719 0 91557 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 369112 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.01 1.00 3/107 16698 /proc/meminfo: memFree=1431740/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=372800 CPUtime=1800.04 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 94223 0 0 0 179210 794 0 0 25 0 1 0 8842992 381747200 91054 1992294400 4194304 7136930 140736282723232 18446744073709551615 4703278 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16646/statm: 93200 91054 414 719 0 92479 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 372800 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.01 1.01 1.00 3/107 16698 /proc/meminfo: memFree=1431740/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=359840 CPUtime=1800.42 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 94368 0 0 0 179248 794 0 0 25 0 1 0 8842992 368476160 87830 1992294400 4194304 7136930 140736282723232 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16646/statm: 89960 87830 419 719 0 89239 0 Current children cumulated CPU time (s) 1800.42 Current children cumulated vsize (KiB) 359840 [startup+1801.4 s] /proc/loadavg: 1.01 1.01 1.00 3/107 16698 /proc/meminfo: memFree=1431740/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=232176 CPUtime=1800.82 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 94368 0 0 0 179286 796 0 0 25 0 1 0 8842992 237748224 55921 1992294400 4194304 7136930 140736282723232 18446744073709551615 4668104 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16646/statm: 58044 55921 419 719 0 57323 0 Current children cumulated CPU time (s) 1800.82 Current children cumulated vsize (KiB) 232176 [startup+1801.5 s] /proc/loadavg: 1.01 1.01 1.00 3/107 16698 /proc/meminfo: memFree=1431740/2059040 swapFree=4152912/4192956 [pid=16646] ppid=16644 vsize=52316 CPUtime=1800.92 /proc/16646/stat : 16646 (pbscip.linux.x8) R 16644 16646 16420 0 -1 4202496 94368 0 0 0 179294 798 0 0 25 0 1 0 8842992 53571584 11994 1992294400 4194304 7136930 140736282723232 18446744073709551615 6166272 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16646/statm: 13079 11994 419 719 0 12358 0 Current children cumulated CPU time (s) 1800.92 Current children cumulated vsize (KiB) 52316 Child status: 0 Real time (s): 1801.51 CPU time (s): 1800.94 CPU user time (s): 1792.95 CPU system time (s): 7.98979 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (KiB): 373180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.95 system time used= 7.98978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94374 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= 1 involuntary context switches= 3907 runsolver used 2.92556 second user time and 8.5657 second system time The end
Begin job on node035 at 2010-06-16 10:04:40 IDJOB=2663411 IDBENCH=48289 IDSOLVER=1167 FILE ID=node035/2663411-1276675480 PBS_JOBID= 11172547 Free space on /tmp= 62460 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_2_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-2663411-1276675480/watcher-2663411-1276675480 -o /tmp/evaluation-result-2663411-1276675480/solver-2663411-1276675480 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663411-1276675480.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d38f526c1f6f5ee8e5e4d2c41b31df8d RANDOM SEED=1828129488 node035.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.219 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.43 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.219 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1797580 kB Buffers: 52332 kB Cached: 110632 kB SwapCached: 2272 kB Active: 93392 kB Inactive: 91580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1797580 kB SwapTotal: 4192956 kB SwapFree: 4152912 kB Dirty: 3608 kB Writeback: 0 kB AnonPages: 19848 kB Mapped: 13768 kB Slab: 54692 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182984 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= 62456 MiB End job on node035 at 2010-06-16 10:34:43