| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1800.22 | 1800.7 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_4_15.opb |
| MD5SUM | 521a5315af7cbff32722a5aa297c08a4 |
| 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 | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 100 |
| Total number of constraints | 152 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 15 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1228 |
| Sum of products size (including duplicates) | 2456 |
| Number of different products | 614 |
| Sum of products size | 1228 |
0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver Clp 1.8.2
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1870733-1245217518.opb>
0.00/0.01 c original problem has 714 variables (714 bin, 0 int, 0 impl, 0 cont) and 766 constraints
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c start presolving problem
0.00/0.02 c presolving:
0.09/0.15 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 5012 impls, 100 clqs
0.09/0.15 c presolving (2 rounds):
0.09/0.15 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 5012 implications, 100 cliques
0.09/0.15 c presolved problem has 714 variables (714 bin, 0 int, 0 impl, 0 cont) and 766 constraints
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 100 constraints of type <setppc>
0.09/0.15 c 614 constraints of type <and>
0.09/0.15 c 1 constraints of type <linear>
0.09/0.15 c 50 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.05
0.09/0.15 c SATUNSAT-NLC
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = c -1
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = c -1
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = c 1500
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = c -1
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = c -1
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = c -1
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = c -1
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = c -1
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = c 2000
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = c 0.3
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = c -1
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = c -1
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = c -1
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = c -1
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = c -1
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = c -1
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = c 0.075
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = c 1500
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = c -1
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = c 1500
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = c -1
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = c 2000
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = c -1
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = c 0.5
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = c 0.15
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = c 100
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/crossover/nodesofs = c 750
0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.15 c heuristics/crossover/freq = c -1
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/coefdiving/maxlpiterofs = c 1500
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/coefdiving/freq = c -1
0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c presolving/probing/maxrounds = c 0
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = c TRUE
0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.15 c constraints/knapsack/disaggregation = c FALSE
0.09/0.15 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c constraints/knapsack/maxnumcardlift = c 0
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = c TRUE
0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/maxroundsroot = c 5
0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.15 c separating/maxrounds = c 1
0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c limits/solutions = c 1
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = c 1620
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = c 1791
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = c 10000
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving problem
0.09/0.15 c
0.09/0.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 0 | 74 |3242k| 0 | 60 | 714 | 766 | 766 | 714 |1380 | 0 | 0 | 0 | 3.000000e+01 | -- | Inf
0.29/0.32 c 0.2s| 1 | 0 | 125 |3264k| 0 | 60 | 714 | 766 | 766 | 714 |1381 | 1 | 0 | 0 | 3.000000e+01 | -- | Inf
0.39/0.45 c 0.3s| 1 | 0 | 180 |3284k| 0 | 62 | 714 | 766 | 766 | 714 |1382 | 2 | 0 | 0 | 3.000000e+01 | -- | Inf
0.59/0.67 c 0.5s| 1 | 0 | 201 |3346k| 0 | 62 | 714 | 766 | 766 | 714 |1383 | 3 | 0 | 0 | 3.000000e+01 | -- | Inf
0.79/0.83 c 0.7s| 1 | 0 | 204 |3397k| 0 | 61 | 714 | 766 | 766 | 714 |1385 | 5 | 0 | 0 | 3.000000e+01 | -- | Inf
0.89/0.98 c 0.8s| 1 | 0 | 210 |3462k| 0 | 63 | 714 | 766 | 766 | 714 |1387 | 7 | 0 | 0 | 3.000000e+01 | -- | Inf
1.29/1.33 c 1.2s| 1 | 2 | 210 |3462k| 0 | 63 | 714 | 766 | 766 | 714 |1387 | 7 | 0 | 33 | 3.000000e+01 | -- | Inf
148.15/148.28 c 147s| 10000 | 1099 |672896 |9626k| 50 | 61 | 714 | 864 | 397 | 714 | 368 | 121k| 117 |5472 | 3.000000e+01 | -- | Inf
277.61/277.75 c 276s| 20000 | 2205 | 1333k| 16M| 50 | - | 714 | 926 | 236 | 714 | 417 | 232k| 229 |7073 | 3.000000e+01 | -- | Inf
406.38/406.50 c 404s| 30000 | 3443 | 1987k| 23M| 56 | 82 | 714 | 953 | 348 | 714 | 418 | 336k| 297 |8715 | 3.000000e+01 | -- | Inf
531.44/531.69 c 528s| 40000 | 4647 | 2633k| 30M| 56 | - | 714 | 990 | 171 | 714 | 393 | 439k| 368 |9843 | 3.000000e+01 | -- | Inf
665.11/665.33 c 661s| 50000 | 5737 | 3322k| 35M| 63 | 59 | 714 | 999 | 542 | 714 | 371 | 554k| 450 | 11k| 3.000000e+01 | -- | Inf
799.08/799.30 c 794s| 60000 | 6691 | 4035k| 39M| 73 | - | 714 | 987 | 173 | 714 | 393 | 665k| 485 | 11k| 3.000000e+01 | -- | Inf
930.44/930.73 c 924s| 70000 | 7315 | 4733k| 43M| 81 | - | 714 | 986 | 293 | 714 | 434 | 767k| 554 | 13k| 3.040000e+01 | -- | Inf
1055.70/1056.06 c 1049s| 80000 | 7853 | 5411k| 46M| 81 | 121 | 714 |1007 | 273 | 714 | 407 | 856k| 620 | 13k| 3.052632e+01 | -- | Inf
1182.07/1182.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.07/1182.48 c 1174s| 90000 | 8373 | 6092k| 50M| 82 | - | 714 |1007 | 235 | 714 | 393 | 946k| 661 | 14k| 3.071429e+01 | -- | Inf
1311.03/1311.45 c 1303s|100000 | 8929 | 6786k| 53M| 82 | 59 | 714 | 992 | 472 | 714 | 346 |1038k| 712 | 15k| 3.096667e+01 | -- | Inf
1440.20/1440.68 c 1431s|110000 | 9457 | 7481k| 57M| 82 | - | 714 |1005 | 384 | 714 | 372 |1132k| 762 | 16k| 3.103704e+01 | -- | Inf
1565.67/1566.16 c 1555s|120000 | 10077 | 8157k| 60M| 82 | - | 714 |1029 | 551 | 714 | 412 |1222k| 807 | 16k| 3.120690e+01 | -- | Inf
1693.04/1693.59 c 1682s|130000 | 10753 | 8835k| 64M| 82 | - | 714 |1045 | 290 | 714 | 386 |1312k| 861 | 17k| 3.131034e+01 | -- | Inf
1800.01/1800.53 c
1800.01/1800.53 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.53 c Solving Time (sec) : 1788.28
1800.01/1800.53 c Solving Nodes : 138438
1800.01/1800.53 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.53 c Dual Bound : +3.14800000000000e+01
1800.01/1800.53 c Gap : infinite
1800.01/1800.53 c NODE 138438
1800.01/1800.53 c DUAL BOUND 31.48
1800.01/1800.53 c PRIMAL BOUND 1e+20
1800.01/1800.53 c GAP 1e+20
1800.01/1800.53 s UNKNOWN
1800.01/1800.53 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.53 c Solving Time : 1788.28
1800.01/1800.53 c Original Problem :
1800.01/1800.53 c Problem name : HOME/instance-1870733-1245217518.opb
1800.01/1800.53 c Variables : 714 (714 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.53 c Constraints : 766 initial, 766 maximal
1800.01/1800.53 c Presolved Problem :
1800.01/1800.53 c Problem name : t_HOME/instance-1870733-1245217518.opb
1800.01/1800.53 c Variables : 714 (714 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.53 c Constraints : 766 initial, 1055 maximal
1800.01/1800.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.53 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c and : 0.04 0 0 0 0 0 0 0 0
1800.01/1800.53 c linear : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.53 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c root node : - 0 - - 0 - - - -
1800.01/1800.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.53 c integral : 0 0 0 76376 0 276 2162 0 0 149688
1800.01/1800.53 c knapsack : 1 5 367513 124 0 24 960 0 0 0
1800.01/1800.53 c setppc : 100 5 367587 124 0 57 790541 0 0 0
1800.01/1800.53 c and : 614 87127 367530 124 0 644 6715443 1388358 0 0
1800.01/1800.53 c linear : 1 5 366882 0 0 24 106 0 0 0
1800.01/1800.53 c logicor : 50+ 5 130910 0 0 1 142083 0 0 0
1800.01/1800.53 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.53 c integral : 96.04 0.00 0.00 96.04 0.00
1800.01/1800.53 c knapsack : 0.29 0.00 0.29 0.00 0.00
1800.01/1800.53 c setppc : 3.62 0.00 3.62 0.00 0.00
1800.01/1800.53 c and : 42.28 17.26 24.99 0.03 0.00
1800.01/1800.53 c linear : 4.04 0.00 4.04 0.00 0.00
1800.01/1800.53 c logicor : 3.45 0.00 3.45 0.00 0.00
1800.01/1800.53 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.53 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.53 c rootredcost : 0.19 0 0 0
1800.01/1800.53 c pseudoobj : 13.04 367692 0 0
1800.01/1800.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.53 c propagation : 0.04 750 748 981 11.3 3 30.0 -
1800.01/1800.53 c infeasible LP : 4.70 62568 3 18 29.8 0 0.0 0
1800.01/1800.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.53 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.53 c applied globally : - - - 898 9.5 - - -
1800.01/1800.53 c applied locally : - - - 0 0.0 - - -
1800.01/1800.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.53 c cut pool : 0.00 4 - - 4 - (maximal pool size: 41)
1800.01/1800.53 c redcost : 3.91 87127 0 0 0 0
1800.01/1800.53 c impliedbounds : 0.00 5 0 0 0 0
1800.01/1800.53 c intobj : 0.00 0 0 0 0 0
1800.01/1800.53 c gomory : 0.39 5 0 0 2000 0
1800.01/1800.53 c strongcg : 0.33 5 0 0 2500 0
1800.01/1800.53 c cmir : 0.00 0 0 0 0 0
1800.01/1800.53 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.53 c clique : 0.01 5 0 0 0 0
1800.01/1800.53 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.53 c mcf : 0.00 1 0 0 0 0
1800.01/1800.53 c Pricers : Time Calls Vars
1800.01/1800.53 c problem variables: 0.00 0 0
1800.01/1800.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.53 c relpscost : 95.83 76252 276 2162 0 0 149688
1800.01/1800.53 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.53 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.53 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.53 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.53 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.53 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.53 c random : 0.00 0 0 0 0 0 0
1800.01/1800.53 c Primal Heuristics : Time Calls Found
1800.01/1800.53 c LP solutions : 0.00 - 0
1800.01/1800.53 c pseudo solutions : 0.00 - 0
1800.01/1800.53 c simplerounding : 0.00 0 0
1800.01/1800.53 c rounding : 0.00 0 0
1800.01/1800.53 c shifting : 0.00 0 0
1800.01/1800.53 c intshifting : 0.00 0 0
1800.01/1800.53 c oneopt : 0.00 0 0
1800.01/1800.53 c fixandinfer : 0.00 0 0
1800.01/1800.53 c feaspump : 0.00 0 0
1800.01/1800.53 c coefdiving : 0.00 0 0
1800.01/1800.53 c pscostdiving : 0.00 0 0
1800.01/1800.53 c fracdiving : 0.00 0 0
1800.01/1800.53 c veclendiving : 0.00 0 0
1800.01/1800.53 c intdiving : 0.00 0 0
1800.01/1800.53 c actconsdiving : 0.00 0 0
1800.01/1800.53 c objpscostdiving : 0.00 0 0
1800.01/1800.53 c rootsoldiving : 0.00 0 0
1800.01/1800.53 c linesearchdiving : 0.00 0 0
1800.01/1800.53 c guideddiving : 0.00 0 0
1800.01/1800.53 c octane : 0.00 0 0
1800.01/1800.53 c rens : 0.00 0 0
1800.01/1800.53 c rins : 0.00 0 0
1800.01/1800.53 c localbranching : 0.00 0 0
1800.01/1800.53 c mutation : 0.00 0 0
1800.01/1800.53 c crossover : 0.00 0 0
1800.01/1800.53 c dins : 0.00 0 0
1800.01/1800.53 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.53 c primal LP : 278.40 0 0 0.00 0.00
1800.01/1800.53 c dual LP : 1252.60 219116 9413095 42.96 7514.85
1800.01/1800.53 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.53 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.53 c strong branching : 90.28 17833 833882 46.76 9236.62
1800.01/1800.53 c (at root node) : - 33 1643 49.79 -
1800.01/1800.53 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.53 c B&B Tree :
1800.01/1800.53 c number of runs : 1
1800.01/1800.53 c nodes : 138438
1800.01/1800.53 c nodes (total) : 138438
1800.01/1800.53 c nodes left : 11251
1800.01/1800.53 c max depth : 82
1800.01/1800.53 c max depth (total): 82
1800.01/1800.53 c backtracks : 9898 (7.1%)
1800.01/1800.53 c delayed cutoffs : 0
1800.01/1800.53 c repropagations : 11081 (9051 domain reductions, 0 cutoffs)
1800.01/1800.53 c avg switch length: 3.66
1800.01/1800.53 c switching time : 306.91
1800.01/1800.53 c Solution :
1800.01/1800.53 c Solutions found : 0 (0 improvements)
1800.01/1800.53 c Primal Bound : -
1800.01/1800.53 c Dual Bound : +3.14800000000000e+01
1800.01/1800.53 c Gap : infinite
1800.01/1800.53 c Root Dual Bound : +3.00000000000000e+01
1800.11/1800.70 c Time complete: 1800.21.
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-1870733-1245217518/watcher-1870733-1245217518 -o /tmp/evaluation-result-1870733-1245217518/solver-1870733-1245217518 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870733-1245217518.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.99 0.91 3/64 1838 /proc/meminfo: memFree=1706664/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=5812 CPUtime=0 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 178273803 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/1838/statm: 1453 515 344 1256 0 192 0 [startup+0.012679 s] /proc/loadavg: 1.00 0.99 0.91 3/64 1838 /proc/meminfo: memFree=1706664/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=10612 CPUtime=0 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 1617 0 0 0 0 0 0 0 18 0 1 0 178273803 10866688 1601 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/1838/statm: 2653 1601 376 1256 0 1392 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10612 [startup+0.101695 s] /proc/loadavg: 1.00 0.99 0.91 3/64 1838 /proc/meminfo: memFree=1706664/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=15220 CPUtime=0.09 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 2939 0 0 0 4 5 0 0 18 0 1 0 178273803 15585280 2569 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 3805 2569 446 1256 0 2544 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15220 [startup+0.301709 s] /proc/loadavg: 1.00 0.99 0.91 3/64 1838 /proc/meminfo: memFree=1706664/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=23668 CPUtime=0.29 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 4943 0 0 0 20 9 0 0 17 0 1 0 178273803 24236032 4572 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 5917 4572 639 1256 0 4656 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23668 [startup+0.701752 s] /proc/loadavg: 1.00 0.99 0.91 3/64 1838 /proc/meminfo: memFree=1706664/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=30028 CPUtime=0.69 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 6575 0 0 0 58 11 0 0 20 0 1 0 178273803 30748672 6202 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 7507 6202 653 1256 0 6246 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30028 [startup+1.50184 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1682976/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=31916 CPUtime=1.49 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 7066 0 0 0 138 11 0 0 25 0 1 0 178273803 32681984 6610 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 7979 6610 675 1256 0 6718 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31916 [startup+3.10201 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1682464/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=32352 CPUtime=3.09 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 7198 0 0 0 297 12 0 0 25 0 1 0 178273803 33128448 6742 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 8088 6742 681 1256 0 6827 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32352 [startup+6.30136 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1681632/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=32872 CPUtime=6.29 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 7287 0 0 0 614 15 0 0 25 0 1 0 178273803 33660928 6831 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 8218 6831 681 1256 0 6957 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32872 [startup+12.7011 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1681248/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=32872 CPUtime=12.69 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 7425 0 0 0 1249 20 0 0 25 0 1 0 178273803 33660928 6969 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 8218 6969 684 1256 0 6957 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32872 [startup+25.5024 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1680160/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=33256 CPUtime=25.48 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 7699 0 0 0 2521 27 0 0 25 0 1 0 178273803 34054144 7243 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 8314 7243 684 1256 0 7053 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33256 [startup+51.1022 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1678624/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=35128 CPUtime=51.07 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 9577 0 0 0 5061 46 0 0 25 0 1 0 178273803 35971072 7639 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 8782 7639 684 1256 0 7521 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35128 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1675232/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=38336 CPUtime=102.26 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 13561 0 0 0 10148 78 0 0 25 0 1 0 178273803 39256064 8494 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 9584 8494 684 1256 0 8323 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 38336 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1672544/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=40972 CPUtime=162.24 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 17277 0 0 0 16106 118 0 0 25 0 1 0 178273803 41955328 9178 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 10243 9178 687 1256 0 8982 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 40972 [startup+222.303 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1669344/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=44124 CPUtime=222.23 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 18076 0 0 0 22067 156 0 0 25 0 1 0 178273803 45182976 9977 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 11031 9977 687 1256 0 9770 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 44124 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1664800/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=49104 CPUtime=282.21 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 21413 0 0 0 28024 197 0 0 25 0 1 0 178273803 50282496 11109 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 12276 11109 687 1256 0 11015 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49104 [startup+342.303 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1661088/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=52868 CPUtime=342.2 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 22309 0 0 0 33983 237 0 0 25 0 1 0 178273803 54136832 12005 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 13217 12005 687 1256 0 11956 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 52868 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1656096/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=58336 CPUtime=402.18 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 24002 0 0 0 39942 276 0 0 25 0 1 0 178273803 59736064 13282 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 14584 13282 687 1256 0 13323 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 58336 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1651040/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=63096 CPUtime=462.16 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 27521 0 0 0 45900 316 0 0 25 0 1 0 178273803 64610304 14542 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 15774 14542 687 1256 0 14513 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 63096 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1647456/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=67120 CPUtime=522.14 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 31806 0 0 0 51852 362 0 0 25 0 1 0 178273803 68730880 15403 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 16780 15403 687 1256 0 15519 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 67120 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1643424/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=71212 CPUtime=582.13 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 33500 0 0 0 57811 402 0 0 25 0 1 0 178273803 72921088 16427 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 17803 16427 687 1256 0 16542 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 71212 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1641568/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=73308 CPUtime=642.12 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 34397 0 0 0 63775 437 0 0 25 0 1 0 178273803 75067392 16870 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 18327 16870 687 1256 0 17066 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 73308 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1629152/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=85416 CPUtime=882.06 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 38077 0 0 0 87615 591 0 0 25 0 1 0 178273803 87465984 19935 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 21354 19935 687 1256 0 20093 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 85416 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1839 /proc/meminfo: memFree=1628000/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=86296 CPUtime=942.04 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 38365 0 0 0 93577 627 0 0 25 0 1 0 178273803 88367104 20223 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 21574 20223 687 1256 0 20313 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 86296 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1626592/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=87232 CPUtime=1002.02 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 38706 0 0 0 99539 663 0 0 25 0 1 0 178273803 89325568 20564 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 21808 20564 687 1256 0 20547 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 87232 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1625248/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=88600 CPUtime=1062 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 39031 0 0 0 105496 704 0 0 25 0 1 0 178273803 90726400 20889 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 22150 20889 687 1256 0 20889 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 88600 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1622944/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=91348 CPUtime=1121.99 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 39956 0 0 0 111458 741 0 0 25 0 1 0 178273803 93540352 21446 1992294400 4194304 9342243 548682068736 18446744073709551615 6896916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 22837 21446 687 1256 0 21576 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 91348 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1619936/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=94788 CPUtime=1181.97 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 41274 0 0 0 117417 780 0 0 25 0 1 0 178273803 97062912 22206 1992294400 4194304 9342243 548682068736 18446744073709551615 6044098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 23697 22206 687 1256 0 22436 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 94788 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1617632/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=96688 CPUtime=1241.95 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 41815 0 0 0 123378 817 0 0 25 0 1 0 178273803 99008512 22747 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 24172 22747 687 1256 0 22911 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 96688 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1616864/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=97888 CPUtime=1301.94 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 42004 0 0 0 129342 852 0 0 25 0 1 0 178273803 100237312 22936 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 24472 22936 687 1256 0 23211 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 97888 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1614944/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=99608 CPUtime=1361.92 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 42479 0 0 0 135302 890 0 0 25 0 1 0 178273803 101998592 23410 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 24902 23410 687 1256 0 23641 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 99608 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1612768/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=102244 CPUtime=1421.91 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 43351 0 0 0 141263 928 0 0 25 0 1 0 178273803 104697856 23948 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 25561 23948 687 1256 0 24300 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 102244 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1610720/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=104264 CPUtime=1481.89 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 43872 0 0 0 147223 966 0 0 25 0 1 0 178273803 106766336 24469 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 26066 24469 687 1256 0 24805 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 104264 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1608032/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=106904 CPUtime=1541.87 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 44544 0 0 0 153182 1005 0 0 25 0 1 0 178273803 109469696 25141 1992294400 4194304 9342243 548682068736 18446744073709551615 6088580 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 26726 25141 687 1256 0 25465 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 106904 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1605600/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=109540 CPUtime=1601.86 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 45149 0 0 0 159137 1049 0 0 25 0 1 0 178273803 112168960 25746 1992294400 4194304 9342243 548682068736 18446744073709551615 6960644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 27385 25746 687 1256 0 26124 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 109540 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1604000/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=111324 CPUtime=1661.84 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 45540 0 0 0 165101 1083 0 0 25 0 1 0 178273803 113995776 26137 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 27831 26137 687 1256 0 26570 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 111324 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1601888/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=113040 CPUtime=1721.83 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 46054 0 0 0 171060 1123 0 0 25 0 1 0 178273803 115752960 26651 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 28260 26651 687 1256 0 26999 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 113040 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1597984/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=117232 CPUtime=1781.81 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 46982 0 0 0 177018 1163 0 0 25 0 1 0 178273803 120045568 27579 1992294400 4194304 9342243 548682068736 18446744073709551615 6974252 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 29308 27579 687 1256 0 28047 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 117232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.91 2/65 1846 /proc/meminfo: memFree=1597664/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=117484 CPUtime=1800.01 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 47068 0 0 0 178827 1174 0 0 25 0 1 0 178273803 120303616 27665 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1838/statm: 29371 27665 687 1256 0 28110 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 117484 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 0.99 0.91 3/66 1847 /proc/meminfo: memFree=1597656/2055920 swapFree=4192956/4192956 [pid=1838] ppid=1836 vsize=117484 CPUtime=1800.11 /proc/1838/stat : 1838 (pbscip.linux.x8) R 1836 1838 1339 0 -1 4194304 47072 0 0 0 178837 1174 0 0 25 0 1 0 178273803 120303616 27669 1992294400 4194304 9342243 548682068736 18446744073709551615 4805770 0 0 4096 0 0 0 0 17 1 0 0 /proc/1838/statm: 29371 27669 691 1256 0 28110 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 117484 Child status: 0 Real time (s): 1800.7 CPU time (s): 1800.22 CPU user time (s): 1788.46 CPU system time (s): 11.7632 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 117484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.46 system time used= 11.7632 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47078 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 3112 runsolver used 1.3178 second user time and 3.73143 second system time The end
Begin job on node64 at 2009-06-17 07:45:18 IDJOB=1870733 IDBENCH=48365 IDSOLVER=684 FILE ID=node64/1870733-1245217518 PBS_JOBID= 9368411 Free space on /tmp= 66256 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_4_15.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870733-1245217518/watcher-1870733-1245217518 -o /tmp/evaluation-result-1870733-1245217518/solver-1870733-1245217518 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870733-1245217518.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 521a5315af7cbff32722a5aa297c08a4 RANDOM SEED=1067090149 node64.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1707144 kB Buffers: 21868 kB Cached: 249112 kB SwapCached: 0 kB Active: 83392 kB Inactive: 202464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1707144 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 11944 kB Writeback: 0 kB Mapped: 24752 kB Slab: 48696 kB Committed_AS: 89728 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66244 MiB End job on node64 at 2009-06-17 08:15:21