| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1800.24 | 1800.68 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_15.opb |
| MD5SUM | 97892b1b250c8711791b219b8ddda703 |
| 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) | 1236 |
| Sum of products size (including duplicates) | 2472 |
| Number of different products | 618 |
| Sum of products size | 1236 |
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-1870757-1245218251.opb>
0.00/0.01 c original problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 770 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, 5044 impls, 100 clqs
0.09/0.16 c presolving (2 rounds):
0.09/0.16 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.16 c 5044 implications, 100 cliques
0.09/0.16 c presolved problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 770 constraints
0.09/0.16 c 1 constraints of type <knapsack>
0.09/0.16 c 100 constraints of type <setppc>
0.09/0.16 c 618 constraints of type <and>
0.09/0.16 c 1 constraints of type <linear>
0.09/0.16 c 50 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.05
0.09/0.16 c SATUNSAT-NLC
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.16 c separating/flowcover/freq = c -1
0.09/0.16 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.16 c separating/cmir/freq = c -1
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/veclendiving/maxlpiterofs = c 1500
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.16 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.09/0.16 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/veclendiving/freq = c -1
0.09/0.16 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c heuristics/simplerounding/freq = c -1
0.09/0.16 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/shifting/freq = c -1
0.09/0.16 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c heuristics/rounding/freq = c -1
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.16 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.09/0.16 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.16 c heuristics/rootsoldiving/freq = c -1
0.09/0.16 c # number of nodes added to the contingent of the total nodes
0.09/0.16 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.16 c heuristics/rens/nodesofs = c 2000
0.09/0.16 c # minimum percentage of integer variables that have to be fixable
0.09/0.16 c # [type: real, range: [0,1], default: 0.5]
0.09/0.16 c heuristics/rens/minfixingrate = c 0.3
0.09/0.16 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.16 c heuristics/rens/freq = c -1
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.16 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.09/0.16 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/pscostdiving/freq = c -1
0.09/0.16 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c heuristics/oneopt/freq = c -1
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.09/0.16 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.16 c # [type: real, range: [0,1], default: 0.01]
0.09/0.16 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.09/0.16 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.16 c heuristics/objpscostdiving/freq = c -1
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.16 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.09/0.16 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/linesearchdiving/freq = c -1
0.09/0.16 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/intshifting/freq = c -1
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.16 c heuristics/intdiving/maxlpiterquot = c 0.075
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/guideddiving/maxlpiterofs = c 1500
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.16 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.09/0.16 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/guideddiving/freq = c -1
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/fracdiving/maxlpiterofs = c 1500
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.16 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.09/0.16 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/fracdiving/freq = c -1
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/feaspump/maxlpiterofs = c 2000
0.09/0.16 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.16 c heuristics/feaspump/freq = c -1
0.09/0.16 c # minimum percentage of integer variables that have to be fixed
0.09/0.16 c # [type: real, range: [0,1], default: 0.666]
0.09/0.16 c heuristics/crossover/minfixingrate = c 0.5
0.09/0.16 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.16 c # [type: real, range: [0,1], default: 0.1]
0.09/0.16 c heuristics/crossover/nodesquot = c 0.15
0.09/0.16 c # number of nodes without incumbent change that heuristic should wait
0.09/0.16 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.16 c heuristics/crossover/nwaitingnodes = c 100
0.09/0.16 c # number of nodes added to the contingent of the total nodes
0.09/0.16 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.16 c heuristics/crossover/nodesofs = c 750
0.09/0.16 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.16 c heuristics/crossover/freq = c -1
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/coefdiving/maxlpiterofs = c 1500
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.16 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.09/0.16 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/coefdiving/freq = c -1
0.09/0.16 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c presolving/probing/maxrounds = c 0
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = c TRUE
0.09/0.16 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.16 c constraints/knapsack/disaggregation = c FALSE
0.09/0.16 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c constraints/knapsack/maxnumcardlift = c 0
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = c TRUE
0.09/0.16 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/maxroundsroot = c 5
0.09/0.16 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.16 c separating/maxrounds = c 1
0.09/0.16 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c limits/solutions = c 1
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = c 1620
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = c 1791
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = c 10000
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving problem
0.09/0.16 c
0.09/0.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 75 |3258k| 0 | 60 | 718 | 770 | 770 | 718 |1388 | 0 | 0 | 0 | 3.000000e+01 | -- | Inf
0.29/0.32 c 0.2s| 1 | 0 | 132 |3272k| 0 | 61 | 718 | 770 | 770 | 718 |1389 | 1 | 0 | 0 | 3.000000e+01 | -- | Inf
0.39/0.46 c 0.3s| 1 | 0 | 156 |3310k| 0 | 61 | 718 | 770 | 770 | 718 |1391 | 3 | 0 | 0 | 3.000000e+01 | -- | Inf
0.49/0.60 c 0.5s| 1 | 0 | 210 |3349k| 0 | 62 | 718 | 770 | 770 | 718 |1393 | 5 | 0 | 0 | 3.000000e+01 | -- | Inf
0.79/0.84 c 0.7s| 1 | 0 | 264 |3388k| 0 | 63 | 718 | 770 | 770 | 718 |1394 | 6 | 0 | 0 | 3.000000e+01 | -- | Inf
0.99/1.09 c 1.0s| 1 | 0 | 303 |3413k| 0 | 63 | 718 | 770 | 770 | 718 |1395 | 7 | 0 | 0 | 3.000000e+01 | -- | Inf
2.29/2.37 c 2.2s| 1 | 2 | 303 |3414k| 0 | 63 | 718 | 770 | 770 | 718 |1395 | 7 | 0 | 33 | 3.000000e+01 | -- | Inf
150.06/150.18 c 149s| 10000 | 1103 |666840 |9850k| 62 | - | 718 | 869 | 216 | 718 | 405 | 118k| 111 |5522 | 3.000000e+01 | -- | Inf
278.02/278.10 c 276s| 20000 | 1985 | 1311k| 14M| 70 | - | 718 | 925 | 441 | 718 | 411 | 220k| 204 |6832 | 3.000000e+01 | -- | Inf
409.99/410.13 c 407s| 30000 | 2985 | 1963k| 20M| 70 | - | 718 | 960 | 317 | 718 | 439 | 321k| 281 |8450 | 3.000000e+01 | -- | Inf
542.96/543.12 c 539s| 40000 | 3971 | 2626k| 25M| 70 | - | 718 | 992 | 440 | 718 | 455 | 424k| 346 | 10k| 3.000000e+01 | -- | Inf
673.22/673.49 c 669s| 50000 | 5021 | 3281k| 31M| 70 | 55 | 718 |1031 | 629 | 718 | 355 | 527k| 419 | 11k| 3.000000e+01 | -- | Inf
801.49/801.75 c 796s| 60000 | 6223 | 3928k| 36M| 70 | - | 718 |1033 | 260 | 718 | 404 | 634k| 500 | 12k| 3.000000e+01 | -- | Inf
932.16/932.41 c 926s| 70000 | 7367 | 4592k| 42M| 77 | 62 | 718 |1060 | 381 | 718 | 412 | 739k| 588 | 13k| 3.000000e+01 | -- | Inf
1065.03/1065.30 c 1058s| 80000 | 8335 | 5276k| 46M| 81 | - | 718 |1097 | 208 | 718 | 425 | 844k| 673 | 13k| 3.046154e+01 | -- | Inf
1190.00/1190.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1190.00/1190.36 c 1182s| 90000 | 9085 | 5924k| 50M| 81 | - | 718 |1089 | 226 | 718 | 414 | 936k| 823 | 14k| 3.054286e+01 | -- | Inf
1314.76/1315.17 c 1306s|100000 | 9957 | 6571k| 54M| 85 | - | 718 |1101 | 417 | 718 | 446 |1028k| 967 | 15k| 3.083871e+01 | -- | Inf
1445.24/1445.69 c 1436s|110000 | 11041 | 7238k| 58M| 85 | 110 | 718 |1099 | 348 | 718 | 424 |1125k|1069 | 15k| 3.100000e+01 | -- | Inf
1571.80/1572.27 c 1562s|120000 | 11909 | 7891k| 62M| 85 | - | 718 |1128 | 235 | 718 | 432 |1221k|1129 | 16k| 3.108000e+01 | -- | Inf
1702.37/1702.82 c 1691s|130000 | 12801 | 8559k| 65M| 85 | 66 | 718 |1137 | 442 | 718 | 400 |1315k|1185 | 17k| 3.122581e+01 | -- | Inf
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1788.21
1800.05/1800.50 c Solving Nodes : 137661
1800.05/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.50 c Dual Bound : +3.13103448275863e+01
1800.05/1800.50 c Gap : infinite
1800.05/1800.50 c NODE 137661
1800.05/1800.50 c DUAL BOUND 31.3103
1800.05/1800.50 c PRIMAL BOUND 1e+20
1800.05/1800.50 c GAP 1e+20
1800.05/1800.50 s UNKNOWN
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time : 1788.21
1800.05/1800.50 c Original Problem :
1800.05/1800.50 c Problem name : HOME/instance-1870757-1245218251.opb
1800.05/1800.50 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50 c Constraints : 770 initial, 770 maximal
1800.05/1800.50 c Presolved Problem :
1800.05/1800.50 c Problem name : t_HOME/instance-1870757-1245218251.opb
1800.05/1800.50 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50 c Constraints : 770 initial, 1161 maximal
1800.05/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c and : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.50 c linear : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c root node : - 0 - - 0 - - - -
1800.05/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.50 c integral : 0 0 0 77171 0 282 2145 0 0 151100
1800.05/1800.50 c knapsack : 1 5 366945 161 0 62 1559 0 0 0
1800.05/1800.50 c setppc : 100 5 367042 161 0 90 779513 0 0 0
1800.05/1800.50 c and : 618 87635 366952 161 0 737 6618057 1384743 0 0
1800.05/1800.50 c linear : 1 5 366214 0 0 55 114 0 0 0
1800.05/1800.50 c logicor : 50+ 5 130015 0 0 2 169785 0 0 0
1800.05/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.50 c integral : 99.32 0.00 0.00 99.32 0.00
1800.05/1800.50 c knapsack : 0.33 0.00 0.33 0.00 0.00
1800.05/1800.50 c setppc : 3.75 0.00 3.75 0.00 0.00
1800.05/1800.50 c and : 43.85 18.68 25.16 0.01 0.00
1800.05/1800.50 c linear : 3.80 0.00 3.80 0.00 0.00
1800.05/1800.50 c logicor : 3.93 0.00 3.93 0.00 0.00
1800.05/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.50 c rootredcost : 0.17 0 0 0
1800.05/1800.50 c pseudoobj : 13.78 367164 0 0
1800.05/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.50 c propagation : 0.05 946 935 1532 16.1 13 20.6 -
1800.05/1800.50 c infeasible LP : 5.18 60883 2 14 39.1 0 0.0 0
1800.05/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.50 c applied globally : - - - 1220 12.0 - - -
1800.05/1800.50 c applied locally : - - - 0 0.0 - - -
1800.05/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.50 c cut pool : 0.00 4 - - 7 - (maximal pool size: 29)
1800.05/1800.50 c redcost : 3.94 87635 0 0 0 0
1800.05/1800.50 c impliedbounds : 0.00 5 0 0 0 0
1800.05/1800.50 c intobj : 0.00 0 0 0 0 0
1800.05/1800.50 c gomory : 0.46 5 0 0 1500 0
1800.05/1800.50 c strongcg : 0.35 5 0 0 1847 0
1800.05/1800.50 c cmir : 0.00 0 0 0 0 0
1800.05/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.50 c clique : 0.01 5 0 0 0 0
1800.05/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.50 c mcf : 0.00 1 0 0 0 0
1800.05/1800.50 c Pricers : Time Calls Vars
1800.05/1800.50 c problem variables: 0.00 0 0
1800.05/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.50 c relpscost : 99.11 77010 282 2145 0 0 151100
1800.05/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.50 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.50 c random : 0.00 0 0 0 0 0 0
1800.05/1800.50 c Primal Heuristics : Time Calls Found
1800.05/1800.50 c LP solutions : 0.00 - 0
1800.05/1800.50 c pseudo solutions : 0.00 - 0
1800.05/1800.50 c simplerounding : 0.00 0 0
1800.05/1800.50 c rounding : 0.00 0 0
1800.05/1800.50 c shifting : 0.00 0 0
1800.05/1800.50 c intshifting : 0.00 0 0
1800.05/1800.50 c oneopt : 0.00 0 0
1800.05/1800.50 c fixandinfer : 0.00 0 0
1800.05/1800.50 c feaspump : 0.00 0 0
1800.05/1800.50 c coefdiving : 0.00 0 0
1800.05/1800.50 c pscostdiving : 0.00 0 0
1800.05/1800.50 c fracdiving : 0.00 0 0
1800.05/1800.50 c veclendiving : 0.00 0 0
1800.05/1800.50 c intdiving : 0.00 0 0
1800.05/1800.50 c actconsdiving : 0.00 0 0
1800.05/1800.50 c objpscostdiving : 0.00 0 0
1800.05/1800.50 c rootsoldiving : 0.00 0 0
1800.05/1800.50 c linesearchdiving : 0.00 0 0
1800.05/1800.50 c guideddiving : 0.00 0 0
1800.05/1800.50 c octane : 0.00 0 0
1800.05/1800.50 c rens : 0.00 0 0
1800.05/1800.50 c rins : 0.00 0 0
1800.05/1800.50 c localbranching : 0.00 0 0
1800.05/1800.50 c mutation : 0.00 0 0
1800.05/1800.50 c crossover : 0.00 0 0
1800.05/1800.50 c dins : 0.00 0 0
1800.05/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.50 c primal LP : 293.41 0 0 0.00 0.00
1800.05/1800.50 c dual LP : 1227.31 219255 9060920 41.33 7382.75
1800.05/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.50 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.50 c strong branching : 93.39 17815 843466 47.35 9031.65
1800.05/1800.50 c (at root node) : - 33 4373 132.52 -
1800.05/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.50 c B&B Tree :
1800.05/1800.50 c number of runs : 1
1800.05/1800.50 c nodes : 137661
1800.05/1800.50 c nodes (total) : 137661
1800.05/1800.50 c nodes left : 13440
1800.05/1800.50 c max depth : 85
1800.05/1800.50 c max depth (total): 85
1800.05/1800.50 c backtracks : 9977 (7.2%)
1800.05/1800.50 c delayed cutoffs : 0
1800.05/1800.50 c repropagations : 13909 (11613 domain reductions, 0 cutoffs)
1800.05/1800.50 c avg switch length: 3.78
1800.05/1800.50 c switching time : 322.35
1800.05/1800.50 c Solution :
1800.05/1800.50 c Solutions found : 0 (0 improvements)
1800.05/1800.50 c Primal Bound : -
1800.05/1800.50 c Dual Bound : +3.13103448275863e+01
1800.05/1800.50 c Gap : infinite
1800.05/1800.50 c Root Dual Bound : +3.00000000000000e+01
1800.15/1800.68 c Time complete: 1800.23.
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-1870757-1245218251/watcher-1870757-1245218251 -o /tmp/evaluation-result-1870757-1245218251/solver-1870757-1245218251 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870757-1245218251.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.96 0.97 0.99 3/64 8832 /proc/meminfo: memFree=1762088/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=5812 CPUtime=0 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 189425494 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/8832/statm: 1453 503 332 1256 0 192 0 [startup+0.00737598 s] /proc/loadavg: 0.96 0.97 0.99 3/64 8832 /proc/meminfo: memFree=1762088/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=8648 CPUtime=0 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 1109 0 0 0 0 0 0 0 18 0 1 0 189425494 8855552 1093 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/8832/statm: 2162 1102 362 1256 0 901 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8648 [startup+0.101382 s] /proc/loadavg: 0.96 0.97 0.99 3/64 8832 /proc/meminfo: memFree=1762088/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=15184 CPUtime=0.09 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 2930 0 0 0 4 5 0 0 18 0 1 0 189425494 15548416 2560 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 3796 2560 446 1256 0 2535 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15184 [startup+0.301393 s] /proc/loadavg: 0.96 0.97 0.99 3/64 8832 /proc/meminfo: memFree=1762088/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=23884 CPUtime=0.29 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 4991 0 0 0 19 10 0 0 17 0 1 0 189425494 24457216 4621 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 5971 4621 638 1256 0 4710 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23884 [startup+0.70142 s] /proc/loadavg: 0.96 0.97 0.99 3/64 8832 /proc/meminfo: memFree=1762088/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=26296 CPUtime=0.69 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 5524 0 0 0 59 10 0 0 20 0 1 0 189425494 26927104 5154 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 6574 5154 653 1256 0 5313 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26296 [startup+1.50247 s] /proc/loadavg: 0.96 0.97 0.99 2/65 8833 /proc/meminfo: memFree=1741280/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=31048 CPUtime=1.5 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 6316 0 0 0 139 11 0 0 25 0 1 0 189425494 31793152 5946 1992294400 4194304 9342243 548682068736 18446744073709551615 6938558 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 7762 5946 658 1256 0 6501 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 31048 [startup+3.10157 s] /proc/loadavg: 0.96 0.97 0.99 2/65 8833 /proc/meminfo: memFree=1740640/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=29720 CPUtime=3.09 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 6474 0 0 0 297 12 0 0 25 0 1 0 189425494 30433280 6065 1992294400 4194304 9342243 548682068736 18446744073709551615 6085127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 7430 6065 681 1256 0 6169 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29720 [startup+6.30178 s] /proc/loadavg: 0.96 0.97 0.99 2/65 8833 /proc/meminfo: memFree=1739616/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=30460 CPUtime=6.29 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 6629 0 0 0 615 14 0 0 25 0 1 0 189425494 31191040 6220 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 7615 6220 681 1256 0 6354 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30460 [startup+12.7012 s] /proc/loadavg: 0.97 0.97 0.99 2/65 8833 /proc/meminfo: memFree=1738920/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=30460 CPUtime=12.69 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 6798 0 0 0 1250 19 0 0 25 0 1 0 189425494 31191040 6389 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 7615 6389 684 1256 0 6354 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30460 [startup+25.502 s] /proc/loadavg: 0.97 0.97 0.99 2/65 8833 /proc/meminfo: memFree=1738920/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=29472 CPUtime=25.49 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 8285 0 0 0 2520 29 0 0 25 0 1 0 189425494 30179328 6251 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 7368 6251 684 1256 0 6107 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29472 [startup+51.1017 s] /proc/loadavg: 0.98 0.97 0.99 2/65 8833 /proc/meminfo: memFree=1736808/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=32632 CPUtime=51.08 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 12372 0 0 0 5060 48 0 0 25 0 1 0 189425494 33415168 6990 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 8158 6990 684 1256 0 6897 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32632 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8833 /proc/meminfo: memFree=1733352/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=35824 CPUtime=102.27 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 14710 0 0 0 10143 84 0 0 25 0 1 0 189425494 36683776 7804 1992294400 4194304 9342243 548682068736 18446744073709551615 6239103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 8956 7804 684 1256 0 7695 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 35824 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8833 /proc/meminfo: memFree=1730408/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=38908 CPUtime=162.25 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 18848 0 0 0 16099 126 0 0 25 0 1 0 189425494 39841792 8544 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 9727 8544 684 1256 0 8466 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 38908 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1726440/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=43076 CPUtime=222.23 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 19813 0 0 0 22059 164 0 0 25 0 1 0 189425494 44109824 9509 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 10769 9509 684 1256 0 9508 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 43076 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1723496/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=45772 CPUtime=282.21 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 21474 0 0 0 28017 204 0 0 25 0 1 0 189425494 46870528 10234 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 11443 10234 684 1256 0 10182 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 45772 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1720296/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=49112 CPUtime=342.2 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 24106 0 0 0 33978 242 0 0 25 0 1 0 189425494 50290688 11020 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 12278 11020 684 1256 0 11017 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49112 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1717352/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=51500 CPUtime=402.18 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 24827 0 0 0 39942 276 0 0 25 0 1 0 189425494 52736000 11741 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 12875 11741 684 1256 0 11614 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 51500 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1714536/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=54312 CPUtime=462.17 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 29849 0 0 0 45900 317 0 0 25 0 1 0 189425494 55615488 12475 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 13578 12475 687 1256 0 12317 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 54312 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1711656/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=57816 CPUtime=522.15 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 30561 0 0 0 51859 356 0 0 25 0 1 0 189425494 59203584 13187 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 14454 13187 687 1256 0 13193 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 57816 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1708072/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=61412 CPUtime=582.14 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 31455 0 0 0 57820 394 0 0 25 0 1 0 189425494 62885888 14081 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 15353 14081 687 1256 0 14092 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 61412 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1705448/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=64356 CPUtime=642.13 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 34376 0 0 0 63777 436 0 0 25 0 1 0 189425494 65900544 14727 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 16089 14727 687 1256 0 14828 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 64356 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1689768/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=79364 CPUtime=882.07 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 40844 0 0 0 87611 596 0 0 25 0 1 0 189425494 81268736 18636 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 19841 18636 687 1256 0 18580 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 79364 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1686248/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=82872 CPUtime=942.05 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 41708 0 0 0 93573 632 0 0 25 0 1 0 189425494 84860928 19500 1992294400 4194304 9342243 548682068736 18446744073709551615 6960300 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 20718 19500 687 1256 0 19457 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 82872 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1684584/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=84836 CPUtime=1002.04 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 42138 0 0 0 99535 669 0 0 25 0 1 0 189425494 86872064 19930 1992294400 4194304 9342243 548682068736 18446744073709551615 6219911 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 21209 19930 687 1256 0 19948 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 84836 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1683112/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=86348 CPUtime=1062.03 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 42493 0 0 0 105496 707 0 0 25 0 1 0 189425494 88420352 20285 1992294400 4194304 9342243 548682068736 18446744073709551615 6342006 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 21587 20285 687 1256 0 20326 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 86348 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1681128/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=88244 CPUtime=1122.01 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 43007 0 0 0 111456 745 0 0 25 0 1 0 189425494 90361856 20799 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 22061 20799 687 1256 0 20800 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 88244 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1679784/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=89560 CPUtime=1182 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 43333 0 0 0 117415 785 0 0 25 0 1 0 189425494 91709440 21125 1992294400 4194304 9342243 548682068736 18446744073709551615 6951763 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 22390 21125 687 1256 0 21129 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 89560 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1677096/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=92808 CPUtime=1241.99 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 43978 0 0 0 123377 822 0 0 25 0 1 0 189425494 95035392 21770 1992294400 4194304 9342243 548682068736 18446744073709551615 6978539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 23202 21770 687 1256 0 21941 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 92808 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1675688/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=93480 CPUtime=1301.97 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 44312 0 0 0 129336 861 0 0 25 0 1 0 189425494 95723520 22104 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 23370 22104 687 1256 0 22109 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 93480 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1673576/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=96208 CPUtime=1361.95 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 44833 0 0 0 135297 898 0 0 25 0 1 0 189425494 98516992 22625 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 24052 22625 687 1256 0 22791 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 96208 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1670376/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=99692 CPUtime=1421.94 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 45626 0 0 0 141259 935 0 0 25 0 1 0 189425494 102084608 23418 1992294400 4194304 9342243 548682068736 18446744073709551615 6918640 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 24923 23418 687 1256 0 23662 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 99692 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1668456/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=100772 CPUtime=1481.92 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 46093 0 0 0 147218 974 0 0 25 0 1 0 189425494 103190528 23885 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 25193 23885 687 1256 0 23932 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 100772 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1665512/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=103148 CPUtime=1541.91 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 47230 0 0 0 153176 1015 0 0 25 0 1 0 189425494 105623552 24638 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 25787 24638 687 1256 0 24526 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 103148 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1662376/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=106892 CPUtime=1601.9 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 48000 0 0 0 159138 1052 0 0 25 0 1 0 189425494 109457408 25408 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 26723 25408 687 1256 0 25462 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 106892 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1659624/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=109752 CPUtime=1661.89 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 48701 0 0 0 165102 1087 0 0 25 0 1 0 189425494 112386048 26109 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 27438 26109 687 1256 0 26177 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 109752 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1658600/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=111164 CPUtime=1721.86 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 48962 0 0 0 171057 1129 0 0 25 0 1 0 189425494 113831936 26370 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 27791 26370 688 1256 0 26530 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 111164 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8839 /proc/meminfo: memFree=1654696/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=115172 CPUtime=1781.85 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 49904 0 0 0 177014 1171 0 0 25 0 1 0 189425494 117936128 27312 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 28793 27312 688 1256 0 27532 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 115172 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.07 0.99 0.99 2/65 8839 /proc/meminfo: memFree=1653736/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=115172 CPUtime=1800.05 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 50138 0 0 0 178822 1183 0 0 25 0 1 0 189425494 117936128 27546 1992294400 4194304 9342243 548682068736 18446744073709551615 5888835 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8832/statm: 28793 27546 688 1256 0 27532 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 115172 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.07 0.99 0.99 2/66 8840 /proc/meminfo: memFree=1653728/2055920 swapFree=4181752/4192956 [pid=8832] ppid=8830 vsize=115172 CPUtime=1800.15 /proc/8832/stat : 8832 (pbscip.linux.x8) R 8830 8832 8768 0 -1 4194304 50142 0 0 0 178832 1183 0 0 25 0 1 0 189425494 117936128 27550 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0 /proc/8832/statm: 28793 27550 692 1256 0 27532 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 115172 Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.24 CPU user time (s): 1788.38 CPU system time (s): 11.8572 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 115172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.38 system time used= 11.8572 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50148 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= 2081 runsolver used 1.2868 second user time and 3.73343 second system time The end
Begin job on node22 at 2009-06-17 07:57:31 IDJOB=1870757 IDBENCH=48377 IDSOLVER=684 FILE ID=node22/1870757-1245218251 PBS_JOBID= 9368433 Free space on /tmp= 66156 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_3_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-1870757-1245218251/watcher-1870757-1245218251 -o /tmp/evaluation-result-1870757-1245218251/solver-1870757-1245218251 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870757-1245218251.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 97892b1b250c8711791b219b8ddda703 RANDOM SEED=1425919222 node22.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1762504 kB Buffers: 60884 kB Cached: 160600 kB SwapCached: 5500 kB Active: 104040 kB Inactive: 125288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1762504 kB SwapTotal: 4192956 kB SwapFree: 4181752 kB Dirty: 11748 kB Writeback: 0 kB Mapped: 13000 kB Slab: 50180 kB Committed_AS: 174692 kB PageTables: 1372 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66144 MiB End job on node22 at 2009-06-17 08:27:33