Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? (TO) | 1800.32 | 1800.95 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_5_15.opb |
MD5SUM | 278bedcb160fff5308a678f3e1e7c2f9 |
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) | 1212 |
Sum of products size (including duplicates) | 2424 |
Number of different products | 606 |
Sum of products size | 1212 |
0.00/0.01 c SCIP version 1.1.0.7 0.00/0.01 c LP-Solver SoPlex 1.4.1 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c read problem <HOME/instance-1870700-1245215977.opb> 0.00/0.01 c original problem has 706 variables (706 bin, 0 int, 0 impl, 0 cont) and 758 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.14 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 4948 impls, 100 clqs 0.09/0.14 c presolving (2 rounds): 0.09/0.14 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.14 c 4948 implications, 100 cliques 0.09/0.14 c presolved problem has 706 variables (706 bin, 0 int, 0 impl, 0 cont) and 758 constraints 0.09/0.14 c 1 constraints of type <knapsack> 0.09/0.14 c 100 constraints of type <setppc> 0.09/0.14 c 606 constraints of type <and> 0.09/0.14 c 1 constraints of type <linear> 0.09/0.14 c 50 constraints of type <logicor> 0.09/0.14 c transformed objective value is always integral (scale: 1) 0.09/0.14 c Presolving Time: 0.05 0.09/0.14 c SATUNSAT-NLC 0.09/0.14 c ----------------------------------------------------------------------------------------------- 0.09/0.14 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c separating/flowcover/freq = c -1 0.09/0.14 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c separating/cmir/freq = c -1 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/veclendiving/maxlpiterofs = c 1500 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.09/0.14 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/veclendiving/freq = c -1 0.09/0.14 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/simplerounding/freq = c -1 0.09/0.14 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/shifting/freq = c -1 0.09/0.14 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/rounding/freq = c -1 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.14 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.09/0.14 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/rootsoldiving/freq = c -1 0.09/0.14 c # number of nodes added to the contingent of the total nodes 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.14 c heuristics/rens/nodesofs = c 2000 0.09/0.14 c # minimum percentage of integer variables that have to be fixable 0.09/0.14 c # [type: real, range: [0,1], default: 0.5] 0.09/0.14 c heuristics/rens/minfixingrate = c 0.3 0.09/0.14 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c heuristics/rens/freq = c -1 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.09/0.14 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/pscostdiving/freq = c -1 0.09/0.14 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/oneopt/freq = c -1 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.09/0.14 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.14 c # [type: real, range: [0,1], default: 0.01] 0.09/0.14 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.09/0.14 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/objpscostdiving/freq = c -1 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.09/0.14 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/linesearchdiving/freq = c -1 0.09/0.14 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/intshifting/freq = c -1 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/intdiving/maxlpiterquot = c 0.075 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/guideddiving/maxlpiterofs = c 1500 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.09/0.14 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/guideddiving/freq = c -1 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/fracdiving/maxlpiterofs = c 1500 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.09/0.14 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/fracdiving/freq = c -1 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/feaspump/maxlpiterofs = c 2000 0.09/0.14 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/feaspump/freq = c -1 0.09/0.14 c # minimum percentage of integer variables that have to be fixed 0.09/0.14 c # [type: real, range: [0,1], default: 0.666] 0.09/0.14 c heuristics/crossover/minfixingrate = c 0.5 0.09/0.14 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.14 c # [type: real, range: [0,1], default: 0.1] 0.09/0.14 c heuristics/crossover/nodesquot = c 0.15 0.09/0.14 c # number of nodes without incumbent change that heuristic should wait 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.14 c heuristics/crossover/nwaitingnodes = c 100 0.09/0.14 c # number of nodes added to the contingent of the total nodes 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.14 c heuristics/crossover/nodesofs = c 750 0.09/0.14 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.14 c heuristics/crossover/freq = c -1 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/coefdiving/maxlpiterofs = c 1500 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.09/0.14 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/coefdiving/freq = c -1 0.09/0.14 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c presolving/probing/maxrounds = c 0 0.09/0.14 c # should presolving try to simplify knapsacks 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/knapsack/simplifyinequalities = c TRUE 0.09/0.14 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.14 c constraints/knapsack/disaggregation = c FALSE 0.09/0.14 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c constraints/knapsack/maxnumcardlift = c 0 0.09/0.14 c # should presolving try to simplify inequalities 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/linear/simplifyinequalities = c TRUE 0.09/0.14 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c separating/maxroundsroot = c 5 0.09/0.14 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.14 c separating/maxrounds = c 1 0.09/0.14 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c limits/solutions = c 1 0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/memory = c 1620 0.09/0.14 c # maximal time in seconds to run 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/time = c 1791 0.09/0.14 c # frequency for displaying node information lines 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.14 c display/freq = c 10000 0.09/0.14 c ----------------------------------------------------------------------------------------------- 0.09/0.14 c start solving problem 0.09/0.14 c 0.09/0.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.16 c 0.1s| 1 | 0 | 97 |3205k| 0 | 61 | 706 | 758 | 758 | 706 |1364 | 0 | 0 | 0 | 3.000000e+01 | -- | Inf 0.19/0.29 c 0.2s| 1 | 0 | 105 |3218k| 0 | 62 | 706 | 758 | 758 | 706 |1365 | 1 | 0 | 0 | 3.000000e+01 | -- | Inf 0.39/0.44 c 0.3s| 1 | 0 | 111 |3251k| 0 | 61 | 706 | 758 | 758 | 706 |1366 | 2 | 0 | 0 | 3.000000e+01 | -- | Inf 0.59/0.60 c 0.5s| 1 | 0 | 134 |3263k| 0 | 63 | 706 | 758 | 758 | 706 |1367 | 3 | 0 | 0 | 3.000000e+01 | -- | Inf 0.79/0.80 c 0.7s| 1 | 0 | 142 |3288k| 0 | 63 | 706 | 758 | 758 | 706 |1368 | 4 | 0 | 0 | 3.000000e+01 | -- | Inf 0.99/1.00 c 0.9s| 1 | 0 | 194 |3328k| 0 | 63 | 706 | 758 | 758 | 706 |1369 | 5 | 0 | 0 | 3.000000e+01 | -- | Inf 2.20/2.26 c 2.1s| 1 | 2 | 194 |3329k| 0 | 63 | 706 | 758 | 758 | 706 |1369 | 5 | 0 | 33 | 3.000000e+01 | -- | Inf 118.05/118.10 c 116s| 10000 | 1345 |518999 | 13M| 45 | - | 706 |3057 | 433 | 706 | 332 | 145k|8471 |5555 | 3.000000e+01 | -- | Inf 213.51/213.63 c 210s| 20000 | 2551 | 1045k| 22M| 48 | 99 | 706 |3672 | 372 | 706 | 395 | 285k| 17k|6571 | 3.000000e+01 | -- | Inf 316.48/316.65 c 311s| 30000 | 3631 | 1597k| 30M| 59 | 49 | 706 |4322 | 628 | 706 | 365 | 424k| 26k|8077 | 3.000000e+01 | -- | Inf 419.25/419.47 c 412s| 40000 | 4637 | 2153k| 36M| 59 | 101 | 706 |4647 | 382 | 706 | 401 | 567k| 35k|9486 | 3.000000e+01 | -- | Inf 525.61/525.82 c 516s| 50000 | 5477 | 2731k| 42M| 59 | - | 706 |5549 | 366 | 706 | 400 | 713k| 43k| 10k| 3.000000e+01 | -- | Inf 629.57/629.89 c 619s| 60000 | 6473 | 3294k| 48M| 59 | - | 706 |5598 | 418 | 706 | 380 | 854k| 52k| 11k| 3.000000e+01 | -- | Inf 741.44/741.71 c 729s| 70000 | 7257 | 3908k| 53M| 78 | 75 | 706 |5262 | 495 | 706 | 385 |1006k| 60k| 12k| 3.000000e+01 | -- | Inf 849.60/849.91 c 835s| 80000 | 8033 | 4490k| 57M| 78 | - | 706 |4517 | 433 | 706 | 346 |1141k| 69k| 13k| 3.000000e+01 | -- | Inf 955.66/956.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 955.66/956.01 c 939s| 90000 | 8403 | 5075k| 61M| 79 | 123 | 706 |4421 | 314 | 706 | 395 |1250k| 79k| 14k| 3.045455e+01 | -- | Inf 1063.22/1063.61 c 1045s|100000 | 8759 | 5668k| 64M| 84 | 59 | 706 |4160 | 451 | 706 | 362 |1361k| 88k| 15k| 3.050000e+01 | -- | Inf 1130.40/1130.83 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 1168.68/1169.14 c 1149s|110000 | 9105 | 6248k| 67M| 84 | - | 706 |3590 | 273 | 706 | 406 |1468k| 98k| 15k| 3.052632e+01 | -- | Inf 1272.45/1272.91 c 1251s|120000 | 9509 | 6821k| 71M| 84 | 103 | 706 |4051 | 649 | 706 | 382 |1576k| 108k| 16k| 3.055556e+01 | -- | Inf 1278.05/1278.59 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 1375.31/1375.82 c 1352s|130000 | 9855 | 7393k| 74M| 84 | 95 | 706 |4327 | 382 | 706 | 373 |1685k| 117k| 16k| 3.062500e+01 | -- | Inf 1480.67/1481.21 c 1456s|140000 | 10275 | 7973k| 78M| 84 | - | 706 |4321 | 435 | 706 | 376 |1798k| 127k| 17k| 3.075862e+01 | -- | Inf 1584.14/1584.74 c 1557s|150000 | 10677 | 8547k| 83M| 84 | - | 706 |4965 | 460 | 706 | 405 |1913k| 137k| 17k| 3.093750e+01 | -- | Inf 1687.31/1687.94 c 1659s|160000 | 11111 | 9124k| 86M| 84 | 123 | 706 |4386 | 372 | 706 | 382 |2023k| 147k| 18k| 3.096667e+01 | -- | Inf 1710.59/1711.25 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 1790.77/1791.46 c 1761s|170000 | 11527 | 9692k| 90M| 84 | 125 | 706 |4527 | 426 | 706 | 402 |2129k| 157k| 18k| 3.100000e+01 | -- | Inf 1800.07/1800.72 c 1800.07/1800.72 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.72 c Solving Time (sec) : 1769.64 1800.07/1800.72 c Solving Nodes : 170875 1800.07/1800.72 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.07/1800.72 c Dual Bound : +3.10000000000000e+01 1800.07/1800.72 c Gap : infinite 1800.07/1800.72 c NODE 170875 1800.07/1800.72 c DUAL BOUND 31 1800.07/1800.72 c PRIMAL BOUND 1e+20 1800.07/1800.72 c GAP 1e+20 1800.07/1800.72 s UNKNOWN 1800.07/1800.72 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.72 c Solving Time : 1769.64 1800.07/1800.72 c Original Problem : 1800.07/1800.72 c Problem name : HOME/instance-1870700-1245215977.opb 1800.07/1800.72 c Variables : 706 (706 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.72 c Constraints : 758 initial, 758 maximal 1800.07/1800.72 c Presolved Problem : 1800.07/1800.72 c Problem name : t_HOME/instance-1870700-1245215977.opb 1800.07/1800.72 c Variables : 706 (706 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.72 c Constraints : 758 initial, 6719 maximal 1800.07/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.07/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.72 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.72 c and : 0.04 0 0 0 0 0 0 0 0 1800.07/1800.72 c linear : 0.01 0 0 0 0 0 0 0 0 1800.07/1800.72 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.72 c root node : - 0 - - 0 - - - - 1800.07/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.07/1800.72 c integral : 0 0 0 93351 0 371 2528 0 0 182432 1800.07/1800.72 c knapsack : 1 5 715156 386 0 84 2377 0 0 0 1800.07/1800.72 c setppc : 100 5 715356 386 0 106 972692 0 0 0 1800.07/1800.72 c and : 606 108664 715250 386 0 921 8011167 2139212 0 0 1800.07/1800.72 c linear : 1 5 714325 0 0 61 249 0 0 0 1800.07/1800.72 c logicor : 50+ 5 280137 0 0 21 258299 0 0 0 1800.07/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.07/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.07/1800.72 c integral : 114.74 0.00 0.00 114.74 0.00 1800.07/1800.72 c knapsack : 0.48 0.00 0.48 0.00 0.00 1800.07/1800.72 c setppc : 5.74 0.00 5.73 0.01 0.00 1800.07/1800.72 c and : 61.87 20.67 41.15 0.05 0.00 1800.07/1800.72 c linear : 5.15 0.00 5.15 0.00 0.00 1800.07/1800.72 c logicor : 27.29 0.00 27.29 0.00 0.00 1800.07/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.07/1800.72 c Propagators : Time Calls Cutoffs DomReds 1800.07/1800.72 c rootredcost : 0.27 0 0 0 1800.07/1800.72 c pseudoobj : 24.76 715504 0 0 1800.07/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.07/1800.72 c propagation : 0.03 1193 1185 2477 24.5 12 24.3 - 1800.07/1800.72 c infeasible LP : 30.00 63422 59037 354149 32.8 76 2.0 0 1800.07/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.07/1800.72 c applied globally : - - - 158708 36.4 - - - 1800.07/1800.72 c applied locally : - - - 0 0.0 - - - 1800.07/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.07/1800.72 c cut pool : 0.00 4 - - 5 - (maximal pool size: 24) 1800.07/1800.72 c redcost : 4.22 108664 0 0 0 0 1800.07/1800.72 c impliedbounds : 0.00 5 0 0 0 0 1800.07/1800.72 c intobj : 0.00 0 0 0 0 0 1800.07/1800.72 c gomory : 0.41 5 0 0 1000 0 1800.07/1800.72 c strongcg : 0.37 5 0 0 1877 0 1800.07/1800.72 c cmir : 0.00 0 0 0 0 0 1800.07/1800.72 c flowcover : 0.00 0 0 0 0 0 1800.07/1800.72 c clique : 0.00 5 0 0 0 0 1800.07/1800.72 c zerohalf : 0.00 0 0 0 0 0 1800.07/1800.72 c mcf : 0.00 1 0 0 0 0 1800.07/1800.72 c Pricers : Time Calls Vars 1800.07/1800.72 c problem variables: 0.00 0 0 1800.07/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.07/1800.72 c relpscost : 114.49 92965 371 2528 0 0 182432 1800.07/1800.72 c pscost : 0.00 0 0 0 0 0 0 1800.07/1800.72 c inference : 0.00 0 0 0 0 0 0 1800.07/1800.72 c mostinf : 0.00 0 0 0 0 0 0 1800.07/1800.72 c leastinf : 0.00 0 0 0 0 0 0 1800.07/1800.72 c fullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.72 c random : 0.00 0 0 0 0 0 0 1800.07/1800.72 c Primal Heuristics : Time Calls Found 1800.07/1800.72 c LP solutions : 0.00 - 0 1800.07/1800.72 c pseudo solutions : 0.00 - 0 1800.07/1800.72 c simplerounding : 0.00 0 0 1800.07/1800.72 c rounding : 0.00 0 0 1800.07/1800.72 c shifting : 0.00 0 0 1800.07/1800.72 c intshifting : 0.00 0 0 1800.07/1800.72 c oneopt : 0.00 0 0 1800.07/1800.72 c fixandinfer : 0.00 0 0 1800.07/1800.72 c feaspump : 0.00 0 0 1800.07/1800.72 c coefdiving : 0.00 0 0 1800.07/1800.72 c pscostdiving : 0.00 0 0 1800.07/1800.72 c fracdiving : 0.00 0 0 1800.07/1800.72 c veclendiving : 0.00 0 0 1800.07/1800.72 c intdiving : 0.00 0 0 1800.07/1800.72 c actconsdiving : 0.00 0 0 1800.07/1800.72 c objpscostdiving : 0.00 0 0 1800.07/1800.72 c rootsoldiving : 0.00 0 0 1800.07/1800.72 c linesearchdiving : 0.00 0 0 1800.07/1800.72 c guideddiving : 0.00 0 0 1800.07/1800.72 c octane : 0.00 0 0 1800.07/1800.72 c rens : 0.00 0 0 1800.07/1800.72 c rins : 0.00 0 0 1800.07/1800.72 c localbranching : 0.00 0 0 1800.07/1800.72 c mutation : 0.00 0 0 1800.07/1800.72 c crossover : 0.00 0 0 1800.07/1800.72 c dins : 0.00 0 0 1800.07/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec 1800.07/1800.72 c primal LP : 35.08 0 0 0.00 0.00 1800.07/1800.72 c dual LP : 1313.25 274038 9744170 35.56 7419.89 1800.07/1800.72 c barrier LP : 0.00 0 0 0.00 - 1800.07/1800.72 c diving/probing LP: 0.00 0 0 0.00 - 1800.07/1800.72 c strong branching : 108.36 18807 751920 39.98 6939.09 1800.07/1800.72 c (at root node) : - 33 4386 132.91 - 1800.07/1800.72 c conflict analysis: 0.00 0 0 0.00 - 1800.07/1800.72 c B&B Tree : 1800.07/1800.72 c number of runs : 1 1800.07/1800.72 c nodes : 170875 1800.07/1800.72 c nodes (total) : 170875 1800.07/1800.72 c nodes left : 11558 1800.07/1800.72 c max depth : 84 1800.07/1800.72 c max depth (total): 84 1800.07/1800.72 c backtracks : 12806 (7.5%) 1800.07/1800.72 c delayed cutoffs : 0 1800.07/1800.72 c repropagations : 219196 (106794 domain reductions, 0 cutoffs) 1800.07/1800.72 c avg switch length: 5.44 1800.07/1800.72 c switching time : 90.87 1800.07/1800.72 c Solution : 1800.07/1800.72 c Solutions found : 0 (0 improvements) 1800.07/1800.72 c Primal Bound : - 1800.07/1800.72 c Dual Bound : +3.10000000000000e+01 1800.07/1800.72 c Gap : infinite 1800.07/1800.72 c Root Dual Bound : +3.00000000000000e+01 1800.26/1800.93 c Time complete: 1800.3.
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-1870700-1245215977/watcher-1870700-1245215977 -o /tmp/evaluation-result-1870700-1245215977/solver-1870700-1245215977 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870700-1245215977.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.53 1.31 1.19 3/65 21471 /proc/meminfo: memFree=1779440/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=6100 CPUtime=0 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 566 0 0 0 0 0 0 0 20 0 1 0 189197668 6246400 548 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/21471/statm: 1525 559 325 886 0 635 0 [startup+0.017697 s] /proc/loadavg: 1.53 1.31 1.19 3/65 21471 /proc/meminfo: memFree=1779440/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=9432 CPUtime=0 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 1674 0 0 0 0 0 0 0 20 0 1 0 189197668 9658368 1302 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0 /proc/21471/statm: 2005 1302 351 886 0 1115 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9432 [startup+0.101712 s] /proc/loadavg: 1.53 1.31 1.19 3/65 21471 /proc/meminfo: memFree=1779440/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=13988 CPUtime=0.09 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 2884 0 0 0 4 5 0 0 20 0 1 0 189197668 14323712 2512 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 3497 2512 404 886 0 2607 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13988 [startup+0.301752 s] /proc/loadavg: 1.53 1.31 1.19 3/65 21471 /proc/meminfo: memFree=1779440/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=21312 CPUtime=0.29 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 5008 0 0 0 21 8 0 0 17 0 1 0 189197668 21823488 4593 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 5328 4593 551 886 0 4438 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21312 [startup+0.701829 s] /proc/loadavg: 1.53 1.31 1.19 3/65 21471 /proc/meminfo: memFree=1779440/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=26784 CPUtime=0.69 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 6354 0 0 0 59 10 0 0 20 0 1 0 189197668 27426816 5939 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 6696 5939 551 886 0 5806 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26784 [startup+1.50199 s] /proc/loadavg: 1.57 1.32 1.19 2/66 21472 /proc/meminfo: memFree=1755176/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=29436 CPUtime=1.49 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 7019 0 0 0 138 11 0 0 25 0 1 0 189197668 30142464 6604 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 7359 6604 555 886 0 6469 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29436 [startup+3.1013 s] /proc/loadavg: 1.57 1.32 1.19 2/66 21472 /proc/meminfo: memFree=1754920/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=29820 CPUtime=3.09 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 7088 0 0 0 296 13 0 0 25 0 1 0 189197668 30535680 6658 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 7455 6658 559 886 0 6565 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29820 [startup+6.30193 s] /proc/loadavg: 1.68 1.34 1.20 2/66 21472 /proc/meminfo: memFree=1754472/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=29820 CPUtime=6.28 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 7112 0 0 0 610 18 0 0 25 0 1 0 189197668 30535680 6682 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 7455 6682 565 886 0 6565 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 29820 [startup+12.7012 s] /proc/loadavg: 1.79 1.37 1.21 2/66 21472 /proc/meminfo: memFree=1754408/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=29820 CPUtime=12.69 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 7127 0 0 0 1240 29 0 0 25 0 1 0 189197668 30535680 6697 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 7455 6697 565 886 0 6565 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29820 [startup+25.5017 s] /proc/loadavg: 1.68 1.37 1.21 2/66 21472 /proc/meminfo: memFree=1753064/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=31260 CPUtime=25.48 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 7510 0 0 0 2495 53 0 0 25 0 1 0 189197668 32010240 7080 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 7815 7080 565 886 0 6925 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31260 [startup+51.1017 s] /proc/loadavg: 1.52 1.35 1.21 2/66 21472 /proc/meminfo: memFree=1747944/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=36584 CPUtime=51.07 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 8837 0 0 0 5009 98 0 0 25 0 1 0 189197668 37462016 8407 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 9146 8407 565 886 0 8256 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36584 [startup+102.306 s] /proc/loadavg: 1.30 1.31 1.20 2/66 21472 /proc/meminfo: memFree=1741992/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=42540 CPUtime=102.26 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 10332 0 0 0 10042 184 0 0 25 0 1 0 189197668 43560960 9899 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 10635 9899 565 886 0 9745 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 42540 [startup+162.302 s] /proc/loadavg: 1.18 1.27 1.19 2/66 21472 /proc/meminfo: memFree=1734248/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=50528 CPUtime=162.23 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 12283 0 0 0 15933 290 0 0 25 0 1 0 189197668 51740672 11844 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 12632 11844 565 886 0 11742 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 50528 [startup+222.301 s] /proc/loadavg: 1.13 1.23 1.18 2/66 21472 /proc/meminfo: memFree=1727848/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=56784 CPUtime=222.21 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 13854 0 0 0 21825 396 0 0 25 0 1 0 189197668 58146816 13415 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 14196 13415 565 886 0 13306 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 56784 [startup+282.301 s] /proc/loadavg: 1.11 1.20 1.17 2/66 21472 /proc/meminfo: memFree=1722408/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=62252 CPUtime=282.19 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 15207 0 0 0 27722 497 0 0 25 0 1 0 189197668 63746048 14765 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 15563 14765 565 886 0 14673 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 62252 [startup+342.302 s] /proc/loadavg: 1.10 1.18 1.17 2/66 21472 /proc/meminfo: memFree=1716904/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=68228 CPUtime=342.17 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 16611 0 0 0 33617 600 0 0 25 0 1 0 189197668 69865472 16161 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 17057 16161 565 886 0 16167 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 68228 [startup+402.302 s] /proc/loadavg: 1.09 1.16 1.16 2/66 21472 /proc/meminfo: memFree=1712424/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=72744 CPUtime=402.15 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 17759 0 0 0 39510 705 0 0 25 0 1 0 189197668 74489856 17291 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 18186 17291 565 886 0 17296 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 72744 [startup+462.301 s] /proc/loadavg: 1.08 1.14 1.16 2/66 21472 /proc/meminfo: memFree=1706856/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=78484 CPUtime=462.13 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 19119 0 0 0 45402 811 0 0 25 0 1 0 189197668 80367616 18641 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 19621 18641 565 886 0 18731 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 78484 [startup+522.301 s] /proc/loadavg: 1.07 1.13 1.15 2/66 21472 /proc/meminfo: memFree=1702824/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=82460 CPUtime=522.11 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 20134 0 0 0 51300 911 0 0 25 0 1 0 189197668 84439040 19656 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 20615 19656 565 886 0 19725 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 82460 [startup+582.303 s] /proc/loadavg: 1.07 1.12 1.14 2/66 21472 /proc/meminfo: memFree=1698984/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=86396 CPUtime=582.09 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 21068 0 0 0 57196 1013 0 0 25 0 1 0 189197668 88469504 20584 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 21599 20584 565 886 0 20709 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 86396 [startup+642.302 s] /proc/loadavg: 1.06 1.11 1.14 2/66 21472 /proc/meminfo: memFree=1695656/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=89780 CPUtime=642.07 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 21907 0 0 0 63094 1113 0 0 25 0 1 0 189197668 91934720 21418 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 22445 21418 565 886 0 21555 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 89780 [startup+702.302 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.12 1.14 1.14 2/66 21472 /proc/meminfo: memFree=1679976/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=105208 CPUtime=941.97 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 25795 0 0 0 92580 1617 0 0 25 0 1 0 189197668 107732992 25294 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 26302 25294 565 886 0 25412 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 105208 [startup+1002.3 s] /proc/loadavg: 1.10 1.12 1.13 2/66 21472 /proc/meminfo: memFree=1677032/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=108148 CPUtime=1001.94 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 26511 0 0 0 98480 1714 0 0 25 0 1 0 189197668 110743552 26010 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 27037 26010 565 886 0 26147 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 108148 [startup+1062.3 s] /proc/loadavg: 1.24 1.15 1.13 2/66 21472 /proc/meminfo: memFree=1675176/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=110100 CPUtime=1061.92 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 27010 0 0 0 104380 1812 0 0 25 0 1 0 189197668 112742400 26509 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 27525 26509 565 886 0 26635 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 110100 [startup+1122.3 s] /proc/loadavg: 1.24 1.17 1.14 2/66 21472 /proc/meminfo: memFree=1673960/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=111196 CPUtime=1121.9 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 27275 0 0 0 110275 1915 0 0 25 0 1 0 189197668 113864704 26774 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 27799 26774 565 886 0 26909 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 111196 [startup+1182.3 s] /proc/loadavg: 1.13 1.16 1.14 2/66 21472 /proc/meminfo: memFree=1670312/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=114912 CPUtime=1181.88 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 28262 0 0 0 116174 2014 0 0 25 0 1 0 189197668 117669888 27761 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 28728 27761 652 886 0 27838 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 114912 [startup+1242.3 s] /proc/loadavg: 1.09 1.14 1.13 2/66 21472 /proc/meminfo: memFree=1667560/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=118700 CPUtime=1241.86 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 28934 0 0 0 122072 2114 0 0 25 0 1 0 189197668 121548800 28433 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 29675 28433 652 886 0 28785 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 118700 [startup+1302.3 s] /proc/loadavg: 1.07 1.13 1.13 2/66 21472 /proc/meminfo: memFree=1664488/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=121808 CPUtime=1301.84 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 29690 0 0 0 127976 2208 0 0 25 0 1 0 189197668 124731392 29189 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 30452 29189 652 886 0 29562 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 121808 [startup+1362.3 s] /proc/loadavg: 1.06 1.11 1.12 2/66 21472 /proc/meminfo: memFree=1661480/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=125240 CPUtime=1361.81 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 30444 0 0 0 133870 2311 0 0 25 0 1 0 189197668 128245760 29943 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 31310 29943 652 886 0 30420 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 125240 [startup+1422.31 s] /proc/loadavg: 1.32 1.18 1.14 2/66 21472 /proc/meminfo: memFree=1658920/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=127976 CPUtime=1421.8 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 31080 0 0 0 139765 2415 0 0 25 0 1 0 189197668 131047424 30579 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 31994 30579 652 886 0 31104 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 127976 [startup+1482.3 s] /proc/loadavg: 1.19 1.16 1.13 2/66 21472 /proc/meminfo: memFree=1656744/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=130692 CPUtime=1481.78 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 31624 0 0 0 145665 2513 0 0 25 0 1 0 189197668 133828608 31123 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 32673 31123 652 886 0 31783 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 130692 [startup+1542.3 s] /proc/loadavg: 1.13 1.14 1.13 2/66 21472 /proc/meminfo: memFree=1653544/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=134212 CPUtime=1541.76 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 32402 0 0 0 151563 2613 0 0 25 0 1 0 189197668 137433088 31901 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 33553 31901 652 886 0 32663 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 134212 [startup+1602.3 s] /proc/loadavg: 1.11 1.13 1.12 2/66 21472 /proc/meminfo: memFree=1651048/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=136760 CPUtime=1601.73 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 33014 0 0 0 157458 2715 0 0 25 0 1 0 189197668 140042240 32511 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 34190 32511 652 886 0 33300 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 136760 [startup+1662.3 s] /proc/loadavg: 1.10 1.12 1.11 2/66 21472 /proc/meminfo: memFree=1649256/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=138388 CPUtime=1661.71 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 33469 0 0 0 163358 2813 0 0 25 0 1 0 189197668 141709312 32966 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 34597 32966 652 886 0 33707 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 138388 [startup+1722.3 s] /proc/loadavg: 1.21 1.14 1.12 2/66 21472 /proc/meminfo: memFree=1647400/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=140508 CPUtime=1721.7 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 33926 0 0 0 169258 2912 0 0 25 0 1 0 189197668 143880192 33423 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 35127 33423 652 886 0 34237 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 140508 [startup+1782.3 s] /proc/loadavg: 1.12 1.13 1.11 2/66 21472 /proc/meminfo: memFree=1644456/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=143512 CPUtime=1781.67 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 34650 0 0 0 175153 3014 0 0 25 0 1 0 189197668 146956288 34144 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 35878 34144 652 886 0 34988 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 143512 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.09 1.12 1.11 2/66 21472 /proc/meminfo: memFree=1644200/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=143688 CPUtime=1800.07 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 34716 0 0 0 176964 3043 0 0 25 0 1 0 189197668 147136512 34210 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21471/statm: 35922 34210 652 886 0 35032 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 143688 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.09 1.12 1.11 2/66 21472 /proc/meminfo: memFree=1644200/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=143688 CPUtime=1800.17 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 34720 0 0 0 176974 3043 0 0 25 0 1 0 189197668 147136512 34214 1992294400 4194304 7823515 548682068736 18446744073709551615 4303034 0 0 4096 0 0 0 0 17 1 0 0 /proc/21471/statm: 35922 34214 656 886 0 35032 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 143688 [startup+1800.9 s] /proc/loadavg: 1.09 1.12 1.11 2/66 21472 /proc/meminfo: memFree=1644200/2055920 swapFree=4192812/4192956 [pid=21471] ppid=21469 vsize=143688 CPUtime=1800.26 /proc/21471/stat : 21471 (pbscip.linux.x8) R 21469 21471 20586 0 -1 4194304 34720 0 0 0 176983 3043 0 0 25 0 1 0 189197668 147136512 34214 1992294400 4194304 7823515 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0 /proc/21471/statm: 35922 34214 656 886 0 35032 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 143688 Child status: 0 Real time (s): 1800.95 CPU time (s): 1800.32 CPU user time (s): 1769.87 CPU system time (s): 30.4594 CPU usage (%): 99.9651 Max. virtual memory (cumulated for all children) (KiB): 143688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1769.86 system time used= 30.4594 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34723 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= 2145 runsolver used 2.14067 second user time and 4.06538 second system time The end
Begin job on node77 at 2009-06-17 07:19:50 IDJOB=1870700 IDBENCH=48349 IDSOLVER=683 FILE ID=node77/1870700-1245215977 PBS_JOBID= 9368403 Free space on /tmp= 66320 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_5_15.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870700-1245215977/watcher-1870700-1245215977 -o /tmp/evaluation-result-1870700-1245215977/solver-1870700-1245215977 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870700-1245215977.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 278bedcb160fff5308a678f3e1e7c2f9 RANDOM SEED=8478624 node77.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.263 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.263 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1779920 kB Buffers: 43408 kB Cached: 156036 kB SwapCached: 0 kB Active: 77064 kB Inactive: 135736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1779920 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 10020 kB Writeback: 0 kB Mapped: 23096 kB Slab: 49184 kB Committed_AS: 132540 kB PageTables: 1380 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= 66308 MiB End job on node77 at 2009-06-17 07:49:52