Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? (TO) | 1800.44 | 1801.06 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21ls.opb |
MD5SUM | 3d28f31cd61cfb39466f429c599fdb4f |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 442.746 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 428 |
Total number of constraints | 644 |
Number of constraints which are clauses | 354 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 288 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 144 |
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 | 21 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 165 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.02 c SCIP version 1.1.0.7 0.00/0.02 c LP-Solver SoPlex 1.4.1 0.00/0.02 c user parameter file <scip.set> not found - using default parameters 0.00/0.02 c read problem <HOME/instance-1868002-1245114797.opb> 0.00/0.02 c original problem has 428 variables (428 bin, 0 int, 0 impl, 0 cont) and 644 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.00/0.05 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 644 upgd conss, 460 impls, 0 clqs 0.00/0.07 c (round 2) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 644 upgd conss, 15484 impls, 0 clqs 0.00/0.07 c presolving (3 rounds): 0.00/0.07 c 8 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.00/0.07 c 15484 implications, 0 cliques 0.00/0.07 c presolved problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 644 constraints 0.00/0.07 c 290 constraints of type <knapsack> 0.00/0.07 c 354 constraints of type <logicor> 0.00/0.07 c transformed objective value is always integral (scale: 1) 0.00/0.07 c Presolving Time: 0.05 0.00/0.07 c SATUNSAT-LIN 0.00/0.07 c ----------------------------------------------------------------------------------------------- 0.00/0.07 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0] 0.00/0.07 c separating/flowcover/freq = c -1 0.00/0.07 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0] 0.00/0.07 c separating/cmir/freq = c -1 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/veclendiving/maxlpiterofs = c 1500 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.00/0.07 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.00/0.07 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/veclendiving/freq = c -1 0.00/0.07 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1] 0.00/0.07 c heuristics/simplerounding/freq = c -1 0.00/0.07 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/shifting/freq = c -1 0.00/0.07 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1] 0.00/0.07 c heuristics/rounding/freq = c -1 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.00/0.07 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.00/0.07 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20] 0.00/0.07 c heuristics/rootsoldiving/freq = c -1 0.00/0.07 c # number of nodes added to the contingent of the total nodes 0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.00/0.07 c heuristics/rens/nodesofs = c 2000 0.00/0.07 c # minimum percentage of integer variables that have to be fixable 0.00/0.07 c # [type: real, range: [0,1], default: 0.5] 0.00/0.07 c heuristics/rens/minfixingrate = c 0.3 0.00/0.07 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0] 0.00/0.07 c heuristics/rens/freq = c -1 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.00/0.07 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.00/0.07 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/pscostdiving/freq = c -1 0.00/0.07 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1] 0.00/0.07 c heuristics/oneopt/freq = c -1 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.00/0.07 c # maximal fraction of diving LP iterations compared to total iteration number 0.00/0.07 c # [type: real, range: [0,1], default: 0.01] 0.00/0.07 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.00/0.07 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20] 0.00/0.07 c heuristics/objpscostdiving/freq = c -1 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.00/0.07 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.00/0.07 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/linesearchdiving/freq = c -1 0.00/0.07 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/intshifting/freq = c -1 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.00/0.07 c heuristics/intdiving/maxlpiterquot = c 0.075 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/guideddiving/maxlpiterofs = c 1500 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.00/0.07 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.00/0.07 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/guideddiving/freq = c -1 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/fracdiving/maxlpiterofs = c 1500 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.00/0.07 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.00/0.07 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/fracdiving/freq = c -1 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/feaspump/maxlpiterofs = c 2000 0.00/0.07 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20] 0.00/0.07 c heuristics/feaspump/freq = c -1 0.00/0.07 c # minimum percentage of integer variables that have to be fixed 0.00/0.07 c # [type: real, range: [0,1], default: 0.666] 0.00/0.07 c heuristics/crossover/minfixingrate = c 0.5 0.00/0.07 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.00/0.07 c # [type: real, range: [0,1], default: 0.1] 0.00/0.07 c heuristics/crossover/nodesquot = c 0.15 0.00/0.07 c # number of nodes without incumbent change that heuristic should wait 0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.00/0.07 c heuristics/crossover/nwaitingnodes = c 100 0.00/0.07 c # number of nodes added to the contingent of the total nodes 0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.00/0.07 c heuristics/crossover/nodesofs = c 750 0.00/0.07 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 30] 0.00/0.07 c heuristics/crossover/freq = c -1 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/coefdiving/maxlpiterofs = c 1500 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.00/0.07 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.00/0.07 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/coefdiving/freq = c -1 0.00/0.07 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1] 0.00/0.07 c presolving/probing/maxrounds = c 0 0.00/0.07 c # should presolving try to simplify knapsacks 0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.07 c constraints/knapsack/simplifyinequalities = c TRUE 0.00/0.07 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.00/0.07 c constraints/knapsack/disaggregation = c FALSE 0.00/0.07 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1] 0.00/0.07 c constraints/knapsack/maxnumcardlift = c 0 0.00/0.07 c # should presolving try to simplify inequalities 0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.07 c constraints/linear/simplifyinequalities = c TRUE 0.00/0.07 c # maximal number of separation rounds in the root node (-1: unlimited) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1] 0.00/0.07 c separating/maxroundsroot = c 5 0.00/0.07 c # maximal number of separation rounds per node (-1: unlimited) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 5] 0.00/0.07 c separating/maxrounds = c 1 0.00/0.07 c # solving stops, if the given number of solutions were found (-1: no limit) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1] 0.00/0.07 c limits/solutions = c 1 0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.07 c limits/memory = c 1620 0.00/0.07 c # maximal time in seconds to run 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.07 c limits/time = c 1791 0.00/0.07 c # frequency for displaying node information lines 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 100] 0.00/0.07 c display/freq = c 10000 0.00/0.07 c ----------------------------------------------------------------------------------------------- 0.00/0.07 c start solving problem 0.00/0.07 c 0.09/0.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.11 c 0.1s| 1 | 0 | 309 |2549k| 0 | 158 | 420 | 644 | 644 | 420 | 636 | 0 | 0 | 0 | 5.600000e+01 | -- | Inf 0.19/0.26 c 0.2s| 1 | 0 | 539 |3634k| 0 | 233 | 420 | 644 | 644 | 420 | 948 | 312 | 0 | 0 | 5.800000e+01 | -- | Inf 0.79/0.83 c 0.8s| 1 | 0 | 1070 |5782k| 0 | 390 | 420 | 644 | 644 | 420 |1500 | 864 | 0 | 0 | 6.161645e+01 | -- | Inf 1.19/1.25 c 1.2s| 1 | 0 | 1268 |8571k| 0 | 409 | 420 | 644 | 644 | 420 |1505 | 869 | 0 | 0 | 6.190004e+01 | -- | Inf 1.69/1.74 c 1.7s| 1 | 0 | 1498 | 10M| 0 | 402 | 420 | 644 | 644 | 420 |1510 | 874 | 0 | 0 | 6.203454e+01 | -- | Inf 2.19/2.26 c 2.2s| 1 | 0 | 1772 | 10M| 0 | 397 | 420 | 644 | 644 | 420 |1515 | 879 | 0 | 0 | 6.215343e+01 | -- | Inf 11.08/11.13 c 11.0s| 1 | 2 | 1772 | 10M| 0 | 397 | 420 | 644 | 644 | 420 |1515 | 879 | 0 | 25 | 6.215343e+01 | -- | Inf 192.32/192.46 c 191s| 10000 | 4546 |442720 | 20M| 88 | - | 420 | 760 | 186 | 0 | 0 | 879 | 464 |3129 | 6.687836e+01 | -- | Inf 299.18/299.36 c 296s| 20000 | 8188 |803164 | 27M| 91 | 49 | 420 | 732 | 195 | 420 |1004 | 879 | 847 |3560 | 6.778995e+01 | -- | Inf 401.64/401.89 c 398s| 30000 | 11467 | 1129k| 34M| 91 | 114 | 420 | 825 | 282 | 420 |1004 | 879 |1327 |4299 | 6.840870e+01 | -- | Inf 515.51/515.71 c 511s| 40000 | 14684 | 1483k| 40M| 91 | 63 | 420 | 740 | 356 | 420 |1004 | 879 |1736 |5065 | 6.903250e+01 | -- | Inf 625.47/625.76 c 619s| 50000 | 18147 | 1841k| 47M| 91 | 24 | 420 | 744 | 277 | 420 |1004 | 879 |2134 |5663 | 6.945531e+01 | -- | Inf 724.14/724.45 c 717s| 60000 | 21282 | 2161k| 54M| 91 | - | 420 | 772 | 271 | 0 | 0 | 879 |2584 |6270 | 6.975476e+01 | -- | Inf 805.41/805.77 c 797s| 70000 | 23880 | 2427k| 60M| 91 | 20 | 420 | 815 | 126 | 420 |1004 | 879 |3220 |6553 | 7.002819e+01 | -- | Inf 870.69/871.06 c 862s| 80000 | 25924 | 2641k| 64M| 91 | 31 | 420 | 796 | 343 | 420 |1004 | 879 |3742 |6988 | 7.019051e+01 | -- | Inf 949.66/950.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 949.66/950.03 c 940s| 90000 | 28403 | 2894k| 69M| 91 | 88 | 420 | 881 | 311 | 420 |1004 | 879 |4306 |7407 | 7.037794e+01 | -- | Inf 1023.83/1024.25 c 1013s|100000 | 30790 | 3147k| 74M| 91 | - | 420 | 918 | 107 | 420 |1004 | 879 |4837 |7697 | 7.052749e+01 | -- | Inf 1107.81/1108.26 c 1097s|110000 | 33596 | 3432k| 80M| 91 | 78 | 420 | 852 | 260 | 420 |1004 | 879 |5285 |7992 | 7.069300e+01 | -- | Inf 1184.28/1184.75 c 1172s|120000 | 35926 | 3689k| 85M| 91 | - | 420 | 860 | 283 | 0 | 0 | 879 |5743 |8321 | 7.081396e+01 | -- | Inf 1251.87/1252.39 c 1239s|130000 | 38095 | 3919k| 89M| 91 | - | 420 | 880 | 41 | 0 | 0 | 879 |6261 |8632 | 7.091244e+01 | -- | Inf 1323.84/1324.31 c 1310s|140000 | 40378 | 4160k| 94M| 92 | - | 420 | 892 | 119 | 0 | 0 | 879 |6797 |8935 | 7.102135e+01 | -- | Inf 1387.21/1387.77 c 1373s|150000 | 42343 | 4375k| 98M| 92 | - | 420 | 864 | 116 | 0 | 0 | 879 |7351 |9174 | 7.110562e+01 | -- | Inf 1454.70/1455.24 c 1440s|160000 | 44560 | 4608k| 103M| 93 | - | 420 | 852 | 271 | 0 | 0 | 879 |7850 |9401 | 7.118901e+01 | -- | Inf 1517.48/1518.02 c 1502s|170000 | 46518 | 4822k| 107M| 93 | 48 | 420 | 908 | 169 | 420 |1004 | 879 |8375 |9672 | 7.126832e+01 | -- | Inf 1579.35/1579.91 c 1563s|180000 | 48406 | 5030k| 111M| 93 | - | 420 | 978 | 219 | 0 | 0 | 879 |9032 |9971 | 7.133495e+01 | -- | Inf 1643.84/1644.46 c 1627s|190000 | 50366 | 5250k| 115M| 93 | 49 | 420 | 966 | 162 | 420 |1004 | 879 |9627 | 10k| 7.139208e+01 | -- | Inf 1702.30/1702.91 c 1684s|200000 | 52384 | 5446k| 119M| 94 | - | 420 | 965 | 76 | 0 | 0 | 879 | 10k| 10k| 7.146220e+01 | -- | Inf 1752.39/1753.09 c 1734s|210000 | 53853 | 5612k| 123M| 94 | - | 420 | 985 | 191 | 0 | 0 | 879 | 10k| 10k| 7.152336e+01 | -- | Inf 1800.08/1800.71 c 1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt] 1800.08/1800.71 c Solving Time (sec) : 1780.88 1800.08/1800.71 c Solving Nodes : 217145 1800.08/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.08/1800.71 c Dual Bound : +7.15748527314501e+01 1800.08/1800.71 c Gap : infinite 1800.08/1800.71 c NODE 217145 1800.08/1800.71 c DUAL BOUND 71.5749 1800.08/1800.71 c PRIMAL BOUND 1e+20 1800.08/1800.71 c GAP 1e+20 1800.08/1800.71 s UNKNOWN 1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt] 1800.08/1800.71 c Solving Time : 1780.88 1800.08/1800.71 c Original Problem : 1800.08/1800.71 c Problem name : HOME/instance-1868002-1245114797.opb 1800.08/1800.71 c Variables : 428 (428 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.08/1800.71 c Constraints : 644 initial, 644 maximal 1800.08/1800.71 c Presolved Problem : 1800.08/1800.71 c Problem name : t_HOME/instance-1868002-1245114797.opb 1800.08/1800.71 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.08/1800.71 c Constraints : 644 initial, 1034 maximal 1800.08/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.08/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.71 c implics : 0.00 0 8 0 0 0 0 0 0 1800.08/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.71 c knapsack : 0.02 0 0 0 0 0 0 0 0 1800.08/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.71 c root node : - 0 - - 0 - - - - 1800.08/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.08/1800.71 c integral : 0 0 0 136483 0 24 612 0 0 272438 1800.08/1800.71 c knapsack : 290 5 567316 0 0 65413 2552558 363 0 0 1800.08/1800.71 c logicor : 354+ 5 362615 0 0 530 901542 0 0 0 1800.08/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.08/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.08/1800.71 c integral : 159.15 0.00 0.00 159.15 0.00 1800.08/1800.71 c knapsack : 17.38 0.01 17.37 0.00 0.00 1800.08/1800.71 c logicor : 8.96 0.00 8.96 0.00 0.00 1800.08/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.08/1800.71 c Propagators : Time Calls Cutoffs DomReds 1800.08/1800.71 c rootredcost : 0.19 0 0 0 1800.08/1800.71 c pseudoobj : 11.94 570567 0 0 1800.08/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.08/1800.71 c propagation : 3.33 8783 8615 69966 88.6 6 81.7 - 1800.08/1800.71 c infeasible LP : 4.55 14456 0 0 0.0 0 0.0 0 1800.08/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.08/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.08/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.08/1800.71 c applied globally : - - - 11008 23.0 - - - 1800.08/1800.71 c applied locally : - - - 106 51.7 - - - 1800.08/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.08/1800.71 c cut pool : 0.00 4 - - 404 - (maximal pool size: 3363) 1800.08/1800.71 c redcost : 2.69 136318 0 0 0 0 1800.08/1800.71 c impliedbounds : 0.00 5 0 0 1174 0 1800.08/1800.71 c intobj : 0.00 0 0 0 0 0 1800.08/1800.71 c gomory : 0.66 5 0 0 611 0 1800.08/1800.71 c strongcg : 0.57 5 0 0 2071 0 1800.08/1800.71 c cmir : 0.00 0 0 0 0 0 1800.08/1800.71 c flowcover : 0.00 0 0 0 0 0 1800.08/1800.71 c clique : 0.01 1 0 0 0 0 1800.08/1800.71 c zerohalf : 0.00 0 0 0 0 0 1800.08/1800.71 c mcf : 0.00 1 0 0 0 0 1800.08/1800.71 c Pricers : Time Calls Vars 1800.08/1800.71 c problem variables: 0.00 0 0 1800.08/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.08/1800.71 c relpscost : 159.02 136483 24 612 0 0 272438 1800.08/1800.71 c pscost : 0.00 0 0 0 0 0 0 1800.08/1800.71 c inference : 0.00 0 0 0 0 0 0 1800.08/1800.71 c mostinf : 0.00 0 0 0 0 0 0 1800.08/1800.71 c leastinf : 0.00 0 0 0 0 0 0 1800.08/1800.71 c fullstrong : 0.00 0 0 0 0 0 0 1800.08/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0 1800.08/1800.71 c random : 0.00 0 0 0 0 0 0 1800.08/1800.71 c Primal Heuristics : Time Calls Found 1800.08/1800.71 c LP solutions : 0.00 - 0 1800.08/1800.71 c pseudo solutions : 0.00 - 0 1800.08/1800.71 c simplerounding : 0.00 0 0 1800.08/1800.71 c rounding : 0.00 0 0 1800.08/1800.71 c shifting : 0.00 0 0 1800.08/1800.71 c intshifting : 0.00 0 0 1800.08/1800.71 c oneopt : 0.00 0 0 1800.08/1800.71 c fixandinfer : 0.00 0 0 1800.08/1800.71 c feaspump : 0.00 0 0 1800.08/1800.71 c coefdiving : 0.00 0 0 1800.08/1800.71 c pscostdiving : 0.00 0 0 1800.08/1800.71 c fracdiving : 0.00 0 0 1800.08/1800.71 c veclendiving : 0.00 0 0 1800.08/1800.71 c intdiving : 0.00 0 0 1800.08/1800.71 c actconsdiving : 0.00 0 0 1800.08/1800.71 c objpscostdiving : 0.00 0 0 1800.08/1800.71 c rootsoldiving : 0.00 0 0 1800.08/1800.71 c linesearchdiving : 0.00 0 0 1800.08/1800.71 c guideddiving : 0.00 0 0 1800.08/1800.71 c octane : 0.00 0 0 1800.08/1800.71 c rens : 0.00 0 0 1800.08/1800.71 c rins : 0.00 0 0 1800.08/1800.71 c localbranching : 0.00 0 0 1800.08/1800.71 c mutation : 0.00 0 0 1800.08/1800.71 c crossover : 0.00 0 0 1800.08/1800.71 c dins : 0.00 0 0 1800.08/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec 1800.08/1800.71 c primal LP : 0.00 0 0 0.00 - 1800.08/1800.71 c dual LP : 1488.57 151530 5767854 38.06 3874.76 1800.08/1800.71 c barrier LP : 0.00 0 0 0.00 - 1800.08/1800.71 c diving/probing LP: 0.00 0 0 0.00 - 1800.08/1800.71 c strong branching : 151.42 10798 517877 47.96 3420.14 1800.08/1800.71 c (at root node) : - 25 16672 666.88 - 1800.08/1800.71 c conflict analysis: 0.00 0 0 0.00 - 1800.08/1800.71 c B&B Tree : 1800.08/1800.71 c number of runs : 1 1800.08/1800.71 c nodes : 217145 1800.08/1800.71 c nodes (total) : 217145 1800.08/1800.71 c nodes left : 55148 1800.08/1800.71 c max depth : 94 1800.08/1800.71 c max depth (total): 94 1800.08/1800.71 c backtracks : 19022 (8.8%) 1800.08/1800.71 c delayed cutoffs : 146 1800.08/1800.71 c repropagations : 54139 (42450 domain reductions, 111 cutoffs) 1800.08/1800.71 c avg switch length: 6.05 1800.08/1800.71 c switching time : 24.77 1800.08/1800.71 c Solution : 1800.08/1800.71 c Solutions found : 0 (0 improvements) 1800.08/1800.71 c Primal Bound : - 1800.08/1800.71 c Dual Bound : +7.15748527314501e+01 1800.08/1800.71 c Gap : infinite 1800.08/1800.71 c Root Dual Bound : +6.21534336390213e+01 1800.37/1801.05 c Time complete: 1800.43.
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-1868002-1245114797/watcher-1868002-1245114797 -o /tmp/evaluation-result-1868002-1245114797/solver-1868002-1245114797 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868002-1245114797.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 1.03 3/64 7265 /proc/meminfo: memFree=1830904/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=4324 CPUtime=0 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 463 0 0 0 0 0 0 0 18 0 1 0 179080577 4427776 447 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0 /proc/7265/statm: 1081 448 286 886 0 191 0 [startup+0.00820711 s] /proc/loadavg: 0.99 0.98 1.03 3/64 7265 /proc/meminfo: memFree=1830904/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=8160 CPUtime=0 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 1248 0 0 0 0 0 0 0 18 0 1 0 179080577 8355840 1231 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/7265/statm: 2040 1240 335 886 0 1150 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8160 [startup+0.101222 s] /proc/loadavg: 0.99 0.98 1.03 3/64 7265 /proc/meminfo: memFree=1830904/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=16896 CPUtime=0.09 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 3772 0 0 0 8 1 0 0 17 0 1 0 179080577 17301504 3400 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 4224 3400 511 886 0 3334 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16896 [startup+0.301258 s] /proc/loadavg: 0.99 0.98 1.03 3/64 7265 /proc/meminfo: memFree=1830904/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=19208 CPUtime=0.29 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 4422 0 0 0 27 2 0 0 18 0 1 0 179080577 19668992 4031 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 4802 4031 544 886 0 3912 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19208 [startup+0.701332 s] /proc/loadavg: 0.99 0.98 1.03 3/64 7265 /proc/meminfo: memFree=1830904/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=23556 CPUtime=0.69 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 5518 0 0 0 66 3 0 0 21 0 1 0 179080577 24121344 5113 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 5889 5113 544 886 0 4999 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23556 [startup+1.50148 s] /proc/loadavg: 0.99 0.98 1.03 2/65 7266 /proc/meminfo: memFree=1812080/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=28520 CPUtime=1.49 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 6707 0 0 0 145 4 0 0 25 0 1 0 179080577 29204480 6298 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 7130 6298 546 886 0 6240 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28520 [startup+3.10177 s] /proc/loadavg: 0.99 0.98 1.03 2/65 7266 /proc/meminfo: memFree=1804272/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=32336 CPUtime=3.09 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 7716 0 0 0 303 6 0 0 25 0 1 0 179080577 33112064 7288 1992294400 4194304 7823515 548682068736 18446744073709551615 6206197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 8084 7288 549 886 0 7194 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32336 [startup+6.30137 s] /proc/loadavg: 0.99 0.98 1.03 2/65 7266 /proc/meminfo: memFree=1803376/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=32336 CPUtime=6.29 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 7750 0 0 0 622 7 0 0 25 0 1 0 179080577 33112064 7322 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 8084 7322 549 886 0 7194 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32336 [startup+12.7016 s] /proc/loadavg: 0.99 0.98 1.03 2/65 7266 /proc/meminfo: memFree=1803440/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=32916 CPUtime=12.69 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 7775 0 0 0 1258 11 0 0 25 0 1 0 179080577 33705984 7347 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 8229 7347 551 886 0 7339 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32916 [startup+25.5019 s] /proc/loadavg: 0.99 0.98 1.03 2/65 7266 /proc/meminfo: memFree=1802992/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=32916 CPUtime=25.48 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 7931 0 0 0 2524 24 0 0 25 0 1 0 179080577 33705984 7503 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 8229 7503 558 886 0 7339 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32916 [startup+51.1016 s] /proc/loadavg: 0.99 0.98 1.03 2/65 7266 /proc/meminfo: memFree=1803056/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=32916 CPUtime=51.06 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 7931 0 0 0 5063 43 0 0 25 0 1 0 179080577 33705984 7503 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 8229 7503 558 886 0 7339 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 32916 [startup+102.305 s] /proc/loadavg: 0.99 0.98 1.02 2/65 7266 /proc/meminfo: memFree=1800496/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=35548 CPUtime=102.25 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 8560 0 0 0 10144 81 0 0 25 0 1 0 179080577 36401152 8132 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 8887 8132 558 886 0 7997 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 35548 [startup+162.301 s] /proc/loadavg: 0.99 0.98 1.02 2/65 7266 /proc/meminfo: memFree=1795120/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=41120 CPUtime=162.23 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 9929 0 0 0 16084 139 0 0 25 0 1 0 179080577 42106880 9499 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 10280 9499 558 886 0 9390 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 41120 [startup+222.301 s] /proc/loadavg: 0.99 0.98 1.01 2/65 7266 /proc/meminfo: memFree=1789616/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=46360 CPUtime=222.2 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 11264 0 0 0 22017 203 0 0 25 0 1 0 179080577 47472640 10834 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 11590 10834 558 886 0 10700 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 46360 [startup+282.302 s] /proc/loadavg: 0.99 0.98 1.01 2/65 7266 /proc/meminfo: memFree=1784624/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=51436 CPUtime=282.19 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 12498 0 0 0 27958 261 0 0 25 0 1 0 179080577 52670464 12068 1992294400 4194304 7823515 548682068736 18446744073709551615 6263036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 12859 12068 558 886 0 11969 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 51436 [startup+342.301 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1780592/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=55396 CPUtime=342.17 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 13514 0 0 0 33896 321 0 0 25 0 1 0 179080577 56725504 13084 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 13849 13084 558 886 0 12959 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 55396 [startup+402.302 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1774320/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=61644 CPUtime=402.15 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 15107 0 0 0 39832 383 0 0 25 0 1 0 179080577 63123456 14677 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 15411 14677 558 886 0 14521 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 61644 [startup+462.302 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1768496/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=67148 CPUtime=462.13 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 16482 0 0 0 45768 445 0 0 25 0 1 0 179080577 68759552 16052 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 16787 16052 558 886 0 15897 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 67148 [startup+522.302 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1764272/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=71372 CPUtime=522.1 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 17570 0 0 0 51704 506 0 0 25 0 1 0 179080577 73084928 17140 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 17843 17140 558 886 0 16953 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 71372 [startup+582.302 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1760560/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=75296 CPUtime=582.09 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 18485 0 0 0 57642 567 0 0 25 0 1 0 179080577 77103104 18053 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 18824 18053 558 886 0 17934 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 75296 [startup+642.302 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1756400/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=79132 CPUtime=642.07 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 19509 0 0 0 63577 630 0 0 25 0 1 0 179080577 81031168 19077 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 19783 19077 558 886 0 18893 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 79132 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1732976/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=102252 CPUtime=881.99 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 25303 0 0 0 87311 888 0 0 25 0 1 0 179080577 104706048 24871 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 25563 24871 558 886 0 24673 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 102252 [startup+942.301 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1726768/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=108460 CPUtime=941.96 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 26891 0 0 0 93244 952 0 0 25 0 1 0 179080577 111063040 26459 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 27115 26459 558 886 0 26225 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 108460 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1722032/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=113040 CPUtime=1001.95 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 28030 0 0 0 99180 1015 0 0 25 0 1 0 179080577 115752960 27598 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 28260 27598 558 886 0 27370 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 113040 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1718640/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=116280 CPUtime=1061.93 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 28863 0 0 0 105110 1083 0 0 25 0 1 0 179080577 119070720 28431 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 29070 28431 558 886 0 28180 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 116280 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1715504/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=119332 CPUtime=1121.9 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 29647 0 0 0 111041 1149 0 0 25 0 1 0 179080577 122195968 29215 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 29833 29215 558 886 0 28943 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 119332 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1710384/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=124336 CPUtime=1181.88 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 30900 0 0 0 116977 1211 0 0 25 0 1 0 179080577 127320064 30468 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 31084 30468 558 886 0 30194 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 124336 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1707376/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=127240 CPUtime=1241.87 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 31633 0 0 0 122912 1275 0 0 25 0 1 0 179080577 130293760 31201 1992294400 4194304 7823515 548682068736 18446744073709551615 6177531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 31810 31201 558 886 0 30920 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 127240 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1703472/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=131232 CPUtime=1301.85 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 32602 0 0 0 128846 1339 0 0 25 0 1 0 179080577 134381568 32170 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 32808 32170 558 886 0 31918 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 131232 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1700784/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=133696 CPUtime=1361.82 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 33253 0 0 0 134773 1409 0 0 25 0 1 0 179080577 136904704 32821 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 33424 32821 558 886 0 32534 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 133696 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1696624/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=137736 CPUtime=1421.81 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 34290 0 0 0 140702 1479 0 0 25 0 1 0 179080577 141041664 33858 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 34434 33858 558 886 0 33544 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 137736 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1693744/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=140744 CPUtime=1481.78 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 34999 0 0 0 146634 1544 0 0 25 0 1 0 179080577 144121856 34567 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 35186 34567 558 886 0 34296 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 140744 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1688880/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=145384 CPUtime=1541.76 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 36206 0 0 0 152560 1616 0 0 25 0 1 0 179080577 148873216 35774 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 36346 35774 558 886 0 35456 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 145384 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1684784/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=149476 CPUtime=1601.75 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 37204 0 0 0 158491 1684 0 0 25 0 1 0 179080577 153063424 36772 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 37369 36772 558 886 0 36479 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 149476 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1676464/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=157740 CPUtime=1661.73 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 39280 0 0 0 164416 1757 0 0 25 0 1 0 179080577 161525760 38848 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 39435 38848 558 886 0 38545 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 157740 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1671024/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=163080 CPUtime=1721.7 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 40625 0 0 0 170341 1829 0 0 25 0 1 0 179080577 166993920 40193 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 40770 40193 558 886 0 39880 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 163080 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1666416/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=167604 CPUtime=1781.68 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 41756 0 0 0 176270 1898 0 0 25 0 1 0 179080577 171626496 41324 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 41901 41324 558 886 0 41011 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 167604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1664240/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=169752 CPUtime=1800.08 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 42299 0 0 0 178088 1920 0 0 25 0 1 0 179080577 173826048 41867 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7265/statm: 42438 41867 558 886 0 41548 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 169752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.98 1.00 2/65 7266 /proc/meminfo: memFree=1664240/2055920 swapFree=4192812/4192956 [pid=7265] ppid=7263 vsize=169752 CPUtime=1800.37 /proc/7265/stat : 7265 (pbscip.linux.x8) R 7263 7265 7057 0 -1 4194304 42303 0 0 0 178117 1920 0 0 25 0 1 0 179080577 173826048 41871 1992294400 4194304 7823515 548682068736 18446744073709551615 4212027 0 0 4096 0 0 0 0 17 1 0 0 /proc/7265/statm: 42438 41871 562 886 0 41548 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (KiB) 169752 Child status: 0 Real time (s): 1801.06 CPU time (s): 1800.44 CPU user time (s): 1781.21 CPU system time (s): 19.2371 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 169752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.21 system time used= 19.2371 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42308 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= 2264 runsolver used 1.75573 second user time and 3.19451 second system time The end
Begin job on node7 at 2009-06-16 03:13:18 IDJOB=1868002 IDBENCH=1168 IDSOLVER=683 FILE ID=node7/1868002-1245114797 PBS_JOBID= 9363649 Free space on /tmp= 66272 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army12.21ls.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-1868002-1245114797/watcher-1868002-1245114797 -o /tmp/evaluation-result-1868002-1245114797/solver-1868002-1245114797 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868002-1245114797.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3d28f31cd61cfb39466f429c599fdb4f RANDOM SEED=2065376404 node7.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.274 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.274 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: 1831384 kB Buffers: 11192 kB Cached: 146976 kB SwapCached: 0 kB Active: 33316 kB Inactive: 138704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1831384 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 9860 kB Writeback: 0 kB Mapped: 23708 kB Slab: 38492 kB Committed_AS: 147580 kB PageTables: 1444 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= 66264 MiB End job on node7 at 2009-06-16 03:43:20