Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1800.07 | 1800.68 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900573901.opb |
MD5SUM | 40d0bcc4171e4a5907ae30e54ba56b80 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 18.1712 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
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 | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 701 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01/0.05 c SCIP version 1.1.0.7 0.01/0.05 c LP-Solver Clp 1.8.2 0.01/0.05 c user parameter file <scip.set> not found - using default parameters 0.01/0.05 c read problem <HOME/instance-1868295-1245119764.opb> 0.01/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.01/0.06 c No objective function, only one solution is needed. 0.01/0.06 c start presolving problem 0.01/0.06 c presolving: 0.09/0.10 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.11 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.12 c presolving (3 rounds): 0.09/0.12 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.12 c 242 implications, 22 cliques 0.09/0.12 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.12 c 1 constraints of type <knapsack> 0.09/0.12 c 22 constraints of type <setppc> 0.09/0.12 c 2541 constraints of type <logicor> 0.09/0.12 c transformed objective value is always integral (scale: 1) 0.09/0.12 c Presolving Time: 0.06 0.09/0.12 c SATUNSAT-LIN 0.09/0.12 c ----------------------------------------------------------------------------------------------- 0.09/0.12 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.12 c separating/flowcover/freq = c -1 0.09/0.12 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.12 c separating/cmir/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/veclendiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/veclendiving/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.12 c heuristics/simplerounding/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/shifting/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.12 c heuristics/rounding/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.12 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.09/0.12 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.12 c heuristics/rootsoldiving/freq = c -1 0.09/0.12 c # number of nodes added to the contingent of the total nodes 0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.12 c heuristics/rens/nodesofs = c 2000 0.09/0.12 c # minimum percentage of integer variables that have to be fixable 0.09/0.12 c # [type: real, range: [0,1], default: 0.5] 0.09/0.12 c heuristics/rens/minfixingrate = c 0.3 0.09/0.12 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.12 c heuristics/rens/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/pscostdiving/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.12 c heuristics/oneopt/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.12 c # [type: real, range: [0,1], default: 0.01] 0.09/0.12 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.09/0.12 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.12 c heuristics/objpscostdiving/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/linesearchdiving/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/intshifting/freq = c -1 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/intdiving/maxlpiterquot = c 0.075 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/guideddiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/guideddiving/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/fracdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/fracdiving/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/feaspump/maxlpiterofs = c 2000 0.09/0.12 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.12 c heuristics/feaspump/freq = c -1 0.09/0.12 c # minimum percentage of integer variables that have to be fixed 0.09/0.12 c # [type: real, range: [0,1], default: 0.666] 0.09/0.12 c heuristics/crossover/minfixingrate = c 0.5 0.09/0.12 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.12 c # [type: real, range: [0,1], default: 0.1] 0.09/0.12 c heuristics/crossover/nodesquot = c 0.15 0.09/0.12 c # number of nodes without incumbent change that heuristic should wait 0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.12 c heuristics/crossover/nwaitingnodes = c 100 0.09/0.12 c # number of nodes added to the contingent of the total nodes 0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.12 c heuristics/crossover/nodesofs = c 750 0.09/0.12 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.12 c heuristics/crossover/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/coefdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/coefdiving/freq = c -1 0.09/0.12 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c presolving/probing/maxrounds = c 0 0.09/0.12 c # should presolving try to simplify knapsacks 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/knapsack/simplifyinequalities = c TRUE 0.09/0.12 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.12 c constraints/knapsack/disaggregation = c FALSE 0.09/0.12 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c constraints/knapsack/maxnumcardlift = c 0 0.09/0.12 c # should presolving try to simplify inequalities 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/linear/simplifyinequalities = c TRUE 0.09/0.12 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c separating/maxroundsroot = c 5 0.09/0.12 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.12 c separating/maxrounds = c 1 0.09/0.12 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c limits/solutions = c 1 0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.12 c limits/memory = c 1620 0.09/0.12 c # maximal time in seconds to run 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.12 c limits/time = c 1791 0.09/0.12 c # frequency for displaying node information lines 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.12 c display/freq = c 10000 0.09/0.12 c ----------------------------------------------------------------------------------------------- 0.09/0.12 c start solving problem 0.09/0.12 c 0.09/0.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.14 c 0.1s| 1 | 0 | 66 |3513k| 0 | 34 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf 0.19/0.29 c 0.2s| 1 | 0 | 88 |3782k| 0 | 44 | 231 |2564 |2564 | 231 |2574 | 10 | 0 | 0 | 1.100000e+01 | -- | Inf 0.59/0.64 c 0.6s| 1 | 0 | 135 |3917k| 0 | 46 | 231 |2564 |2564 | 231 |2577 | 13 | 0 | 0 | 1.100000e+01 | -- | Inf 0.69/0.78 c 0.7s| 1 | 0 | 209 |4092k| 0 | 42 | 231 |2564 |2564 | 231 |2582 | 18 | 0 | 0 | 1.100000e+01 | -- | Inf 0.89/0.94 c 0.9s| 1 | 0 | 415 |4312k| 0 | 35 | 231 |2564 |2564 | 231 |2586 | 22 | 0 | 0 | 1.100000e+01 | -- | Inf 1.10/1.13 c 1.1s| 1 | 0 | 450 |4756k| 0 | 42 | 231 |2564 |2564 | 231 |2588 | 24 | 0 | 0 | 1.100000e+01 | -- | Inf 1.99/2.06 c 2.0s| 1 | 2 | 450 |4757k| 0 | 42 | 231 |2564 |2564 | 231 |2588 | 24 | 0 | 20 | 1.100000e+01 | -- | Inf 135.04/135.18 c 134s| 10000 | 1482 |353135 |8470k| 56 | 34 | 231 |3037 |1320 | 231 |2571 | 24 |1200 |2193 | 1.400000e+01 | -- | Inf 221.11/221.20 c 220s| 20000 | 2315 |642720 | 10M| 57 | 23 | 231 |3295 | 870 | 231 |2571 | 24 |3618 |2442 | 1.500000e+01 | -- | Inf 310.68/310.83 c 309s| 30000 | 3036 |917665 | 12M| 59 | 24 | 231 |3486 |1247 | 231 |2571 | 24 |5916 |3015 | 1.500000e+01 | -- | Inf 399.75/399.98 c 398s| 40000 | 3803 | 1193k| 14M| 59 | - | 231 |3272 |1194 | 231 |2571 | 24 |7928 |3559 | 1.500000e+01 | -- | Inf 490.62/490.82 c 488s| 50000 | 4745 | 1480k| 17M| 62 | 24 | 231 |3291 | 989 | 231 |2571 | 24 |9701 |3975 | 1.500000e+01 | -- | Inf 580.89/581.17 c 578s| 60000 | 5545 | 1762k| 19M| 65 | 26 | 231 |3256 | 967 | 231 |2571 | 24 | 11k|4435 | 1.500000e+01 | -- | Inf 669.96/670.26 c 666s| 70000 | 6234 | 2042k| 21M| 65 | 14 | 231 |3360 |1567 | 231 |2571 | 24 | 13k|4769 | 1.600000e+01 | -- | Inf 750.03/750.30 c 746s| 80000 | 6404 | 2276k| 21M| 65 | 30 | 231 |3765 |1254 | 231 |2571 | 24 | 15k|5147 | 1.600000e+01 | -- | Inf 830.82/831.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 830.82/831.11 c 826s| 90000 | 6676 | 2519k| 22M| 65 | 31 | 231 |3967 | 827 | 231 |2571 | 24 | 18k|5433 | 1.600000e+01 | -- | Inf 910.09/910.40 c 905s|100000 | 6839 | 2756k| 23M| 65 | 16 | 231 |4022 | 863 | 231 |2571 | 24 | 20k|5675 | 1.600000e+01 | -- | Inf 988.56/988.95 c 983s|110000 | 6985 | 2987k| 24M| 68 | - | 231 |3992 |1116 | 231 |2571 | 24 | 23k|5954 | 1.600000e+01 | -- | Inf 1069.74/1070.20 c 1064s|120000 | 7150 | 3230k| 25M| 68 | 28 | 231 |4032 |1102 | 231 |2571 | 24 | 25k|6248 | 1.600000e+01 | -- | Inf 1149.01/1149.47 c 1143s|130000 | 7368 | 3464k| 26M| 68 | 20 | 231 |4043 | 809 | 231 |2571 | 24 | 28k|6518 | 1.600000e+01 | -- | Inf 1230.28/1230.75 c 1224s|140000 | 7334 | 3702k| 26M| 68 | 18 | 231 |3777 | 831 | 231 |2571 | 24 | 30k|6807 | 1.600000e+01 | -- | Inf 1301.26/1301.79 c 1295s|150000 | 7045 | 3893k| 26M| 68 | 27 | 231 |4118 |1160 | 231 |2571 | 24 | 32k|6983 | 1.700000e+01 | -- | Inf 1370.33/1370.88 c 1363s|160000 | 6702 | 4075k| 25M| 68 | 18 | 231 |4511 |1104 | 231 |2571 | 24 | 35k|7148 | 1.700000e+01 | -- | Inf 1442.21/1442.73 c 1435s|170000 | 6247 | 4264k| 24M| 68 | - | 231 |4639 |1290 | 231 |2571 | 24 | 38k|7419 | 1.700000e+01 | -- | Inf 1514.48/1515.06 c 1507s|180000 | 5812 | 4454k| 23M| 68 | - | 231 |4494 | 904 | 231 |2571 | 24 | 41k|7704 | 1.700000e+01 | -- | Inf 1586.46/1587.00 c 1578s|190000 | 5344 | 4651k| 23M| 68 | - | 231 |4229 |1738 | 231 |2571 | 24 | 43k|7870 | 1.700000e+01 | -- | Inf 1661.23/1661.83 c 1653s|200000 | 4864 | 4857k| 22M| 68 | 22 | 231 |3717 |1316 | 231 |2571 | 24 | 45k|8030 | 1.700000e+01 | -- | Inf 1736.91/1737.59 c 1728s|210000 | 4253 | 5059k| 20M| 68 | 31 | 231 |3853 |1001 | 231 |2571 | 24 | 47k|8283 | 1.700000e+01 | -- | Inf 1798.10/1798.73 c 1789s|220000 | 3098 | 5194k| 17M| 68 | - | 231 |5476 | 460 | 231 |2571 | 24 | 51k|8478 | 1.800000e+01 | -- | Inf 1800.00/1800.61 c 1800.00/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.00/1800.61 c Solving Time (sec) : 1790.79 1800.00/1800.61 c Solving Nodes : 220283 1800.00/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.00/1800.61 c Dual Bound : +1.80000000000000e+01 1800.00/1800.61 c Gap : infinite 1800.00/1800.61 c NODE 220283 1800.00/1800.61 c DUAL BOUND 18 1800.00/1800.61 c PRIMAL BOUND 1e+20 1800.00/1800.61 c GAP 1e+20 1800.00/1800.61 s UNKNOWN 1800.00/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.00/1800.61 c Solving Time : 1790.79 1800.00/1800.61 c Original Problem : 1800.00/1800.61 c Problem name : HOME/instance-1868295-1245119764.opb 1800.00/1800.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.00/1800.61 c Constraints : 2707 initial, 2707 maximal 1800.00/1800.61 c Presolved Problem : 1800.00/1800.61 c Problem name : t_HOME/instance-1868295-1245119764.opb 1800.00/1800.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.00/1800.61 c Constraints : 2564 initial, 5503 maximal 1800.00/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.00/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.00/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.00/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.00/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.00/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0 1800.00/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0 1800.00/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.00/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.00/1800.61 c linear : 0.03 0 0 0 0 0 143 0 0 1800.00/1800.61 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.00/1800.61 c root node : - 0 - - 0 - - - - 1800.00/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.00/1800.61 c integral : 0 0 0 114637 0 444 3203 0 0 225102 1800.00/1800.61 c knapsack : 1 5 512857 0 0 3847 931913 0 0 0 1800.00/1800.61 c setppc : 22 5 510219 0 0 11555 1066581 0 0 0 1800.00/1800.61 c logicor : 2541+ 5 429452 0 0 4570 1741302 0 0 0 1800.00/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.00/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.00/1800.61 c integral : 122.38 0.00 0.00 122.38 0.00 1800.00/1800.61 c knapsack : 3.33 0.00 3.33 0.00 0.00 1800.00/1800.61 c setppc : 5.99 0.00 5.99 0.00 0.00 1800.00/1800.61 c logicor : 43.34 0.00 43.34 0.00 0.00 1800.00/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.00/1800.61 c Propagators : Time Calls Cutoffs DomReds 1800.00/1800.61 c rootredcost : 0.36 0 0 0 1800.00/1800.61 c pseudoobj : 7.76 514087 0 0 1800.00/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.00/1800.61 c propagation : 1.59 19972 19972 112212 18.0 161 18.1 - 1800.00/1800.61 c infeasible LP : 3.65 89072 0 0 0.0 0 0.0 0 1800.00/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.00/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.00/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.00/1800.61 c applied globally : - - - 51513 15.7 - - - 1800.00/1800.61 c applied locally : - - - 156 33.8 - - - 1800.00/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.00/1800.61 c cut pool : 0.00 4 - - 0 - (maximal pool size: 485) 1800.00/1800.61 c redcost : 1.82 113138 0 0 0 0 1800.00/1800.61 c impliedbounds : 0.00 5 0 0 0 0 1800.00/1800.61 c intobj : 0.00 0 0 0 0 0 1800.00/1800.61 c gomory : 0.44 5 0 0 2146 0 1800.00/1800.61 c strongcg : 0.37 5 0 0 2317 0 1800.00/1800.61 c cmir : 0.00 0 0 0 0 0 1800.00/1800.61 c flowcover : 0.00 0 0 0 0 0 1800.00/1800.61 c clique : 0.00 5 0 0 0 0 1800.00/1800.61 c zerohalf : 0.00 0 0 0 0 0 1800.00/1800.61 c mcf : 0.00 1 0 0 0 0 1800.00/1800.61 c Pricers : Time Calls Vars 1800.00/1800.61 c problem variables: 0.00 0 0 1800.00/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.00/1800.61 c relpscost : 122.07 114637 444 3203 0 0 225102 1800.00/1800.61 c pscost : 0.00 0 0 0 0 0 0 1800.00/1800.61 c inference : 0.00 0 0 0 0 0 0 1800.00/1800.61 c mostinf : 0.00 0 0 0 0 0 0 1800.00/1800.61 c leastinf : 0.00 0 0 0 0 0 0 1800.00/1800.61 c fullstrong : 0.00 0 0 0 0 0 0 1800.00/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0 1800.00/1800.61 c random : 0.00 0 0 0 0 0 0 1800.00/1800.61 c Primal Heuristics : Time Calls Found 1800.00/1800.61 c LP solutions : 0.00 - 0 1800.00/1800.61 c pseudo solutions : 0.00 - 0 1800.00/1800.61 c simplerounding : 0.00 0 0 1800.00/1800.61 c rounding : 0.00 0 0 1800.00/1800.61 c shifting : 0.00 0 0 1800.00/1800.61 c intshifting : 0.00 0 0 1800.00/1800.61 c oneopt : 0.00 0 0 1800.00/1800.61 c fixandinfer : 0.00 0 0 1800.00/1800.61 c feaspump : 0.00 0 0 1800.00/1800.61 c coefdiving : 0.00 0 0 1800.00/1800.61 c pscostdiving : 0.00 0 0 1800.00/1800.61 c fracdiving : 0.00 0 0 1800.00/1800.61 c veclendiving : 0.00 0 0 1800.00/1800.61 c intdiving : 0.00 0 0 1800.00/1800.61 c actconsdiving : 0.00 0 0 1800.00/1800.61 c objpscostdiving : 0.00 0 0 1800.00/1800.61 c rootsoldiving : 0.00 0 0 1800.00/1800.61 c linesearchdiving : 0.00 0 0 1800.00/1800.61 c guideddiving : 0.00 0 0 1800.00/1800.61 c octane : 0.00 0 0 1800.00/1800.61 c rens : 0.00 0 0 1800.00/1800.61 c rins : 0.00 0 0 1800.00/1800.61 c localbranching : 0.00 0 0 1800.00/1800.61 c mutation : 0.00 0 0 1800.00/1800.61 c crossover : 0.00 0 0 1800.00/1800.61 c dins : 0.00 0 0 1800.00/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec 1800.00/1800.61 c primal LP : 0.01 0 0 0.00 0.00 1800.00/1800.61 c dual LP : 1481.05 203029 5198088 25.60 3509.73 1800.00/1800.61 c barrier LP : 0.00 0 0 0.00 - 1800.00/1800.61 c diving/probing LP: 0.00 0 0 0.00 - 1800.00/1800.61 c strong branching : 117.72 8494 479223 56.42 4070.87 1800.00/1800.61 c (at root node) : - 20 3101 155.05 - 1800.00/1800.61 c conflict analysis: 0.00 0 0 0.00 - 1800.00/1800.61 c B&B Tree : 1800.00/1800.61 c number of runs : 1 1800.00/1800.61 c nodes : 220283 1800.00/1800.61 c nodes (total) : 220283 1800.00/1800.61 c nodes left : 3064 1800.00/1800.61 c max depth : 68 1800.00/1800.61 c max depth (total): 68 1800.00/1800.61 c backtracks : 28330 (12.9%) 1800.00/1800.61 c delayed cutoffs : 1756 1800.00/1800.61 c repropagations : 39068 (155321 domain reductions, 1756 cutoffs) 1800.00/1800.61 c avg switch length: 6.43 1800.00/1800.61 c switching time : 44.17 1800.00/1800.61 c Solution : 1800.00/1800.61 c Solutions found : 0 (0 improvements) 1800.00/1800.61 c Primal Bound : - 1800.00/1800.61 c Dual Bound : +1.80000000000000e+01 1800.00/1800.61 c Gap : infinite 1800.00/1800.61 c Root Dual Bound : +1.10000000000000e+01 1800.00/1800.67 c Time complete: 1800.07.
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-1868295-1245119764/watcher-1868295-1245119764 -o /tmp/evaluation-result-1868295-1245119764/solver-1868295-1245119764 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868295-1245119764.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.01 1.02 1.00 3/64 886 /proc/meminfo: memFree=978672/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=5812 CPUtime=0 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 524 0 0 0 0 0 0 0 18 0 1 0 179569312 5951488 508 1992294400 4194304 9342243 548682068736 18446744073709551615 8146941 0 0 4096 0 0 0 0 17 1 0 0 /proc/886/statm: 1454 517 345 1256 0 193 0 [startup+0.0210259 s] /proc/loadavg: 1.01 1.02 1.00 3/64 886 /proc/meminfo: memFree=978672/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=10664 CPUtime=0.01 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 1628 0 0 0 1 0 0 0 18 0 1 0 179569312 10919936 1612 1992294400 4194304 9342243 548682068736 18446744073709551615 4765623 0 0 4096 0 0 0 0 17 1 0 0 /proc/886/statm: 2666 1612 376 1256 0 1405 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10664 [startup+0.101036 s] /proc/loadavg: 1.01 1.02 1.00 3/64 886 /proc/meminfo: memFree=978672/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=18752 CPUtime=0.09 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 3847 0 0 0 8 1 0 0 18 0 1 0 179569312 19202048 3477 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 4688 3477 471 1256 0 3427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18752 [startup+0.301065 s] /proc/loadavg: 1.01 1.02 1.00 3/64 886 /proc/meminfo: memFree=978672/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=26580 CPUtime=0.28 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 5516 0 0 0 26 2 0 0 17 0 1 0 179569312 27217920 5146 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 6645 5146 649 1256 0 5384 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 26580 [startup+0.701122 s] /proc/loadavg: 1.01 1.02 1.00 3/64 886 /proc/meminfo: memFree=978672/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=27308 CPUtime=0.69 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 5749 0 0 0 66 3 0 0 20 0 1 0 179569312 27963392 5379 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 6827 5379 649 1256 0 5566 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27308 [startup+1.50124 s] /proc/loadavg: 1.01 1.02 1.00 2/65 887 /proc/meminfo: memFree=957736/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=33556 CPUtime=1.49 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 6883 0 0 0 145 4 0 0 25 0 1 0 179569312 34361344 6513 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 8389 6513 654 1256 0 7128 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33556 [startup+3.10146 s] /proc/loadavg: 1.01 1.02 1.00 2/65 887 /proc/meminfo: memFree=954984/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=34016 CPUtime=3.09 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 7387 0 0 0 304 5 0 0 25 0 1 0 179569312 34832384 6625 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 8504 6625 670 1256 0 7243 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34016 [startup+6.30192 s] /proc/loadavg: 1.01 1.02 1.00 2/65 887 /proc/meminfo: memFree=954536/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=34072 CPUtime=6.28 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 8647 0 0 0 622 6 0 0 25 0 1 0 179569312 34889728 6637 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 8518 6637 674 1256 0 7257 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 34072 [startup+12.7018 s] /proc/loadavg: 1.00 1.02 1.00 2/65 887 /proc/meminfo: memFree=954600/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=34292 CPUtime=12.69 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 10643 0 0 0 1260 9 0 0 25 0 1 0 179569312 35115008 6646 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 8573 6646 674 1256 0 7312 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34292 [startup+25.5016 s] /proc/loadavg: 1.00 1.02 1.00 2/65 887 /proc/meminfo: memFree=954216/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=34368 CPUtime=25.49 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 19236 0 0 0 2533 16 0 0 25 0 1 0 179569312 35192832 6738 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 8592 6738 678 1256 0 7331 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 34368 [startup+51.1013 s] /proc/loadavg: 1.00 1.02 1.00 2/65 887 /proc/meminfo: memFree=953512/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=32852 CPUtime=51.06 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 39607 0 0 0 5067 39 0 0 25 0 1 0 179569312 33640448 6899 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 8213 6899 678 1256 0 6952 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 32852 [startup+102.306 s] /proc/loadavg: 1.00 1.01 1.00 2/65 887 /proc/meminfo: memFree=950120/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=37656 CPUtime=102.25 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 53835 0 0 0 10157 68 0 0 25 0 1 0 179569312 38559744 7772 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 9414 7772 678 1256 0 8153 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 37656 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 887 /proc/meminfo: memFree=949288/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=37088 CPUtime=162.23 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 69728 0 0 0 16119 104 0 0 25 0 1 0 179569312 37978112 7982 1992294400 4194304 9342243 548682068736 18446744073709551615 6911116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 9272 7982 678 1256 0 8011 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 37088 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 887 /proc/meminfo: memFree=946664/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=40024 CPUtime=222.21 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 71145 0 0 0 22089 132 0 0 25 0 1 0 179569312 40984576 8615 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 10006 8615 678 1256 0 8745 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 40024 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 887 /proc/meminfo: memFree=945320/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=40876 CPUtime=282.19 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 83784 0 0 0 28054 165 0 0 25 0 1 0 179569312 41857024 8933 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 10219 8933 678 1256 0 8958 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 40876 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 887 /proc/meminfo: memFree=944488/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=43620 CPUtime=342.17 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 89416 0 0 0 34022 195 0 0 25 0 1 0 179569312 44666880 9184 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 10905 9184 678 1256 0 9644 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 43620 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 887 /proc/meminfo: memFree=941032/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=46804 CPUtime=402.15 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 94895 0 0 0 39990 225 0 0 25 0 1 0 179569312 47927296 10034 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 11701 10034 678 1256 0 10440 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 46804 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 887 /proc/meminfo: memFree=939752/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=46688 CPUtime=462.14 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 99833 0 0 0 45958 256 0 0 25 0 1 0 179569312 47808512 10260 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 11672 10260 678 1256 0 10411 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 46688 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 887 /proc/meminfo: memFree=939048/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=47208 CPUtime=522.12 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 111622 0 0 0 51924 288 0 0 25 0 1 0 179569312 48340992 10475 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 11802 10475 678 1256 0 10541 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 47208 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 887 /proc/meminfo: memFree=937128/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=51048 CPUtime=582.09 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 115582 0 0 0 57893 316 0 0 25 0 1 0 179569312 52273152 10998 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 12762 10998 678 1256 0 11501 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 51048 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 887 /proc/meminfo: memFree=935976/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=50940 CPUtime=642.07 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 118418 0 0 0 63862 345 0 0 25 0 1 0 179569312 52162560 11286 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 12735 11286 678 1256 0 11474 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 50940 [startup+702.302 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 887 /proc/meminfo: memFree=931816/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=55504 CPUtime=822.02 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 129019 0 0 0 81763 439 0 0 25 0 1 0 179569312 56836096 12315 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 13876 12315 678 1256 0 12615 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 55504 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 887 /proc/meminfo: memFree=931496/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=57888 CPUtime=882 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 132191 0 0 0 87732 468 0 0 25 0 1 0 179569312 59277312 12404 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 14472 12404 678 1256 0 13211 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 57888 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 887 /proc/meminfo: memFree=929448/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=59608 CPUtime=941.98 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 134906 0 0 0 93698 500 0 0 25 0 1 0 179569312 61038592 12909 1992294400 4194304 9342243 548682068736 18446744073709551615 6911130 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 14902 12909 678 1256 0 13641 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 59608 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 887 /proc/meminfo: memFree=929128/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=58232 CPUtime=1001.96 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 135827 0 0 0 99668 528 0 0 25 0 1 0 179569312 59629568 12961 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 14558 12961 678 1256 0 13297 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 58232 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 887 /proc/meminfo: memFree=928936/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=59612 CPUtime=1061.94 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 136409 0 0 0 105642 552 0 0 25 0 1 0 179569312 61042688 13044 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 14903 13044 678 1256 0 13642 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 59612 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 889 /proc/meminfo: memFree=928488/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=58640 CPUtime=1121.92 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 137267 0 0 0 111612 580 0 0 25 0 1 0 179569312 60047360 13132 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 14660 13132 678 1256 0 13399 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 58640 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 889 /proc/meminfo: memFree=927720/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=59524 CPUtime=1181.89 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 140940 0 0 0 117577 612 0 0 25 0 1 0 179569312 60952576 13344 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 14881 13344 678 1256 0 13620 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 59524 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 889 /proc/meminfo: memFree=927336/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=61216 CPUtime=1241.87 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 143127 0 0 0 123547 640 0 0 25 0 1 0 179569312 62685184 13414 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 15304 13414 678 1256 0 14043 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 61216 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 889 /proc/meminfo: memFree=927272/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=59532 CPUtime=1301.86 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 144220 0 0 0 129517 669 0 0 25 0 1 0 179569312 60960768 13420 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 14883 13420 678 1256 0 13622 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 59532 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 889 /proc/meminfo: memFree=927144/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=59536 CPUtime=1361.83 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 146392 0 0 0 135483 700 0 0 25 0 1 0 179569312 60964864 13452 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 14884 13452 678 1256 0 13623 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 59536 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 889 /proc/meminfo: memFree=926248/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=60356 CPUtime=1421.82 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 148275 0 0 0 141452 730 0 0 25 0 1 0 179569312 61804544 13654 1992294400 4194304 9342243 548682068736 18446744073709551615 6496591 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 15089 13654 678 1256 0 13828 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 60356 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 889 /proc/meminfo: memFree=926248/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=60356 CPUtime=1481.8 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 149120 0 0 0 147420 760 0 0 25 0 1 0 179569312 61804544 13662 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 15089 13662 678 1256 0 13828 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 60356 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 895 /proc/meminfo: memFree=926312/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=60352 CPUtime=1541.77 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 150914 0 0 0 153389 788 0 0 25 0 1 0 179569312 61800448 13662 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 15088 13662 678 1256 0 13827 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 60352 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 895 /proc/meminfo: memFree=926248/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=60360 CPUtime=1601.76 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 152372 0 0 0 159358 818 0 0 25 0 1 0 179569312 61808640 13670 1992294400 4194304 9342243 548682068736 18446744073709551615 6911088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 15090 13670 678 1256 0 13829 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 60360 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 895 /proc/meminfo: memFree=926312/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=62044 CPUtime=1661.73 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 153341 0 0 0 165327 846 0 0 25 0 1 0 179569312 63533056 13699 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 15511 13699 678 1256 0 14250 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 62044 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 895 /proc/meminfo: memFree=926184/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=60372 CPUtime=1721.71 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 155481 0 0 0 171297 874 0 0 25 0 1 0 179569312 61820928 13674 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 15093 13674 678 1256 0 13832 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 60372 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 895 /proc/meminfo: memFree=926184/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=60364 CPUtime=1781.7 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 156535 0 0 0 177264 906 0 0 25 0 1 0 179569312 61812736 13675 1992294400 4194304 9342243 548682068736 18446744073709551615 4245298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 15091 13675 678 1256 0 13830 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 60364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 895 /proc/meminfo: memFree=926184/2055920 swapFree=4181384/4192956 [pid=886] ppid=884 vsize=62048 CPUtime=1800 /proc/886/stat : 886 (pbscip.linux.x8) R 884 886 32671 0 -1 4194304 157143 0 0 0 179083 917 0 0 25 0 1 0 179569312 63537152 13688 1992294400 4194304 9342243 548682068736 18446744073709551615 6974244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/886/statm: 15512 13688 678 1256 0 14251 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 62048 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.07 CPU user time (s): 1790.89 CPU system time (s): 9.1826 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 63100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.89 system time used= 9.1826 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 157153 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= 3741 runsolver used 1.2788 second user time and 3.82242 second system time The end
Begin job on node49 at 2009-06-16 04:36:04 IDJOB=1868295 IDBENCH=1314 IDSOLVER=684 FILE ID=node49/1868295-1245119764 PBS_JOBID= 9363676 Free space on /tmp= 66028 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573901.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-1868295-1245119764/watcher-1868295-1245119764 -o /tmp/evaluation-result-1868295-1245119764/solver-1868295-1245119764 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868295-1245119764.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 40d0bcc4171e4a5907ae30e54ba56b80 RANDOM SEED=995058539 node49.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.232 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.232 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: 979088 kB Buffers: 81548 kB Cached: 912520 kB SwapCached: 4580 kB Active: 231800 kB Inactive: 770360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 979088 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 11808 kB Writeback: 0 kB Mapped: 13792 kB Slab: 60444 kB Committed_AS: 158556 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66016 MiB End job on node49 at 2009-06-16 05:06:07