Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.44 | 1801.14 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randf66c83.cudf.paranoid.opb |
MD5SUM | de3c56a7934dad70aad87854ca1d26e5 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4917 |
Best CPU time to get the best result obtained on this benchmark | 2.37664 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 5672 |
Total number of constraints | 24856 |
Number of constraints which are clauses | 24583 |
Number of constraints which are cardinality constraints (but not clauses) | 273 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 553 |
Number of terms in the objective function | 2119 |
Biggest coefficient in the objective function | 1570 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 866638 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1570 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 866638 |
Number of bits of the biggest sum of numbers | 20 |
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.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2683310-1277508710.opb> 0.39/0.45 c original problem has 5672 variables (5672 bin, 0 int, 0 impl, 0 cont) and 24856 constraints 0.39/0.45 c problem read 0.39/0.45 c presolving settings loaded 0.39/0.45 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 0.49/0.57 c presolving: 0.69/0.75 c (round 1) 629 del vars, 1236 del conss, 31 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 52872 impls, 268 clqs 0.69/0.79 c (round 2) 729 del vars, 1600 del conss, 78 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 60492 impls, 259 clqs 0.79/0.84 c (round 3) 878 del vars, 3970 del conss, 170 chg bounds, 0 chg sides, 4 chg coeffs, 0 upgd conss, 62013 impls, 255 clqs 0.79/0.88 c (round 4) 1542 del vars, 7114 del conss, 230 chg bounds, 7 chg sides, 23 chg coeffs, 0 upgd conss, 62943 impls, 251 clqs 0.89/0.91 c (round 5) 1600 del vars, 8224 del conss, 245 chg bounds, 11 chg sides, 38 chg coeffs, 0 upgd conss, 63365 impls, 249 clqs 0.89/0.94 c (round 6) 1628 del vars, 8488 del conss, 246 chg bounds, 12 chg sides, 40 chg coeffs, 0 upgd conss, 63439 impls, 249 clqs 0.89/0.96 c (round 7) 1640 del vars, 8513 del conss, 246 chg bounds, 12 chg sides, 40 chg coeffs, 0 upgd conss, 63439 impls, 249 clqs 0.89/0.98 c (round 8) 1642 del vars, 8537 del conss, 246 chg bounds, 12 chg sides, 40 chg coeffs, 0 upgd conss, 63439 impls, 249 clqs 1.10/1.18 c (round 9) 1642 del vars, 10128 del conss, 246 chg bounds, 13 chg sides, 40 chg coeffs, 14692 upgd conss, 63439 impls, 249 clqs 1.19/1.23 c (round 10) 1649 del vars, 10135 del conss, 246 chg bounds, 13 chg sides, 40 chg coeffs, 14692 upgd conss, 63439 impls, 249 clqs 1.19/1.27 c (round 11) 1649 del vars, 10137 del conss, 246 chg bounds, 15 chg sides, 40 chg coeffs, 14692 upgd conss, 63439 impls, 249 clqs 1.29/1.30 c (round 12) 1650 del vars, 10138 del conss, 246 chg bounds, 15 chg sides, 40 chg coeffs, 14719 upgd conss, 63439 impls, 249 clqs 1.29/1.34 c (round 13) 1650 del vars, 10142 del conss, 246 chg bounds, 15 chg sides, 40 chg coeffs, 14719 upgd conss, 63439 impls, 249 clqs 1.39/1.42 c (round 14) 1650 del vars, 10198 del conss, 246 chg bounds, 15 chg sides, 40 chg coeffs, 14719 upgd conss, 63439 impls, 249 clqs 1.39/1.44 c (round 15) 1651 del vars, 10199 del conss, 246 chg bounds, 15 chg sides, 40 chg coeffs, 14719 upgd conss, 63439 impls, 249 clqs 1.69/1.71 c (round 16) 1701 del vars, 10199 del conss, 246 chg bounds, 15 chg sides, 40 chg coeffs, 14719 upgd conss, 82317 impls, 247 clqs 1.69/1.73 c (round 17) 1710 del vars, 10354 del conss, 252 chg bounds, 15 chg sides, 40 chg coeffs, 14719 upgd conss, 82464 impls, 247 clqs 1.69/1.75 c (round 18) 1719 del vars, 10373 del conss, 252 chg bounds, 15 chg sides, 40 chg coeffs, 14719 upgd conss, 82464 impls, 247 clqs 1.79/1.80 c (round 19) 1719 del vars, 10381 del conss, 252 chg bounds, 15 chg sides, 40 chg coeffs, 14719 upgd conss, 82464 impls, 247 clqs 2.10/2.16 c (round 20) 1769 del vars, 10381 del conss, 252 chg bounds, 15 chg sides, 40 chg coeffs, 14719 upgd conss, 85654 impls, 246 clqs 2.10/2.19 c (round 21) 1770 del vars, 10411 del conss, 252 chg bounds, 16 chg sides, 40 chg coeffs, 14719 upgd conss, 85656 impls, 246 clqs 2.39/2.47 c (round 22) 1820 del vars, 10411 del conss, 252 chg bounds, 16 chg sides, 40 chg coeffs, 14719 upgd conss, 92102 impls, 245 clqs 2.39/2.49 c (round 23) 1822 del vars, 10431 del conss, 252 chg bounds, 16 chg sides, 40 chg coeffs, 14719 upgd conss, 92112 impls, 245 clqs 2.69/2.74 c (2.0s) probing: 1000/4021 (24.9%) - 28 fixings, 170 aggregations, 6706 implications, 0 bound changes 2.69/2.75 c (round 24) 1872 del vars, 10431 del conss, 252 chg bounds, 16 chg sides, 40 chg coeffs, 14719 upgd conss, 94742 impls, 245 clqs 2.69/2.77 c (round 25) 1879 del vars, 10487 del conss, 252 chg bounds, 16 chg sides, 40 chg coeffs, 14719 upgd conss, 94742 impls, 244 clqs 2.69/2.80 c (round 26) 1885 del vars, 10515 del conss, 252 chg bounds, 16 chg sides, 40 chg coeffs, 14719 upgd conss, 94810 impls, 244 clqs 2.79/2.82 c (round 27) 1889 del vars, 10543 del conss, 252 chg bounds, 16 chg sides, 40 chg coeffs, 14719 upgd conss, 94810 impls, 244 clqs 2.79/2.84 c (round 28) 1891 del vars, 10556 del conss, 252 chg bounds, 16 chg sides, 40 chg coeffs, 14719 upgd conss, 94810 impls, 244 clqs 2.99/3.00 c (round 29) 1891 del vars, 10588 del conss, 252 chg bounds, 16 chg sides, 40 chg coeffs, 14719 upgd conss, 94810 impls, 244 clqs 3.20/3.23 c (round 30) 1941 del vars, 10588 del conss, 252 chg bounds, 16 chg sides, 40 chg coeffs, 14719 upgd conss, 96564 impls, 240 clqs 3.20/3.25 c (round 31) 1941 del vars, 10613 del conss, 252 chg bounds, 16 chg sides, 40 chg coeffs, 14719 upgd conss, 96564 impls, 240 clqs 3.20/3.30 c (round 32) 1941 del vars, 10614 del conss, 252 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 96564 impls, 240 clqs 3.39/3.48 c (round 33) 1991 del vars, 10614 del conss, 252 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 97424 impls, 239 clqs 3.49/3.50 c (round 34) 1991 del vars, 10633 del conss, 252 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 97424 impls, 239 clqs 3.69/3.70 c (round 35) 2041 del vars, 10633 del conss, 252 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 98301 impls, 239 clqs 3.69/3.73 c (round 36) 2042 del vars, 10657 del conss, 253 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 98312 impls, 239 clqs 3.69/3.77 c (round 37) 2043 del vars, 10659 del conss, 253 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 98312 impls, 239 clqs 3.79/3.87 c (3.0s) probing: 2000/4021 (49.7%) - 46 fixings, 312 aggregations, 8171 implications, 0 bound changes 3.89/3.95 c (round 38) 2093 del vars, 10660 del conss, 253 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 99430 impls, 239 clqs 3.99/4.00 c (round 39) 2094 del vars, 10660 del conss, 253 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 99430 impls, 239 clqs 4.09/4.19 c (round 40) 2144 del vars, 10660 del conss, 253 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 100310 impls, 239 clqs 4.19/4.21 c (round 41) 2145 del vars, 10678 del conss, 254 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 100313 impls, 239 clqs 4.19/4.23 c (round 42) 2146 del vars, 10680 del conss, 254 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 100313 impls, 239 clqs 4.19/4.27 c (round 43) 2146 del vars, 10682 del conss, 254 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 100313 impls, 239 clqs 4.29/4.33 c (round 44) 2146 del vars, 10684 del conss, 254 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 100313 impls, 239 clqs 4.49/4.53 c (round 45) 2196 del vars, 10685 del conss, 254 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 101122 impls, 239 clqs 4.49/4.55 c (round 46) 2197 del vars, 10720 del conss, 254 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 101124 impls, 239 clqs 4.69/4.71 c (3.7s) probing: 3000/4021 (74.6%) - 69 fixings, 456 aggregations, 10269 implications, 0 bound changes 4.79/4.81 c (round 47) 2247 del vars, 10721 del conss, 254 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 103029 impls, 239 clqs 4.79/4.83 c (round 48) 2257 del vars, 10772 del conss, 256 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 103825 impls, 239 clqs 4.79/4.85 c (round 49) 2259 del vars, 10776 del conss, 256 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 103825 impls, 239 clqs 4.89/4.90 c (round 50) 2259 del vars, 10780 del conss, 256 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 103825 impls, 239 clqs 5.08/5.17 c (round 51) 2309 del vars, 10780 del conss, 256 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 107259 impls, 239 clqs 5.08/5.19 c (round 52) 2339 del vars, 10891 del conss, 256 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 107601 impls, 239 clqs 5.19/5.24 c (round 53) 2339 del vars, 10894 del conss, 256 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 107601 impls, 239 clqs 5.19/5.29 c (round 54) 2339 del vars, 10897 del conss, 256 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 107601 impls, 239 clqs 5.39/5.48 c (round 55) 2389 del vars, 10897 del conss, 256 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 112387 impls, 239 clqs 5.39/5.50 c (round 56) 2446 del vars, 10997 del conss, 256 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 112803 impls, 239 clqs 5.50/5.57 c (4.5s) probing: 4000/4021 (99.5%) - 182 fixings, 473 aggregations, 15475 implications, 0 bound changes 5.50/5.57 c (round 57) 2451 del vars, 10997 del conss, 256 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 113315 impls, 239 clqs 5.50/5.59 c (round 58) 2458 del vars, 11007 del conss, 256 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 113333 impls, 239 clqs 5.59/5.65 c (round 59) 2458 del vars, 11013 del conss, 256 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 113333 impls, 239 clqs 5.69/5.70 c (round 60) 2458 del vars, 11016 del conss, 256 chg bounds, 17 chg sides, 40 chg coeffs, 14719 upgd conss, 113333 impls, 239 clqs 5.69/5.76 c presolving (61 rounds): 5.69/5.76 c 2458 deleted vars, 11017 deleted constraints, 256 tightened bounds, 0 added holes, 17 changed sides, 40 changed coefficients 5.69/5.76 c 113333 implications, 239 cliques 5.69/5.76 c presolved problem has 3214 variables (3214 bin, 0 int, 0 impl, 0 cont) and 13841 constraints 5.69/5.76 c 240 constraints of type <setppc> 5.69/5.76 c 13601 constraints of type <logicor> 5.69/5.76 c transformed objective value is always integral (scale: 1) 5.69/5.76 c Presolving Time: 4.57 5.69/5.76 c - non default parameters ---------------------------------------------------------------------- 5.69/5.76 c # SCIP version 1.2.1.2 5.69/5.76 c 5.69/5.76 c # frequency for displaying node information lines 5.69/5.76 c # [type: int, range: [-1,2147483647], default: 100] 5.69/5.76 c display/freq = 10000 5.69/5.76 c 5.69/5.76 c # maximal time in seconds to run 5.69/5.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 5.69/5.76 c limits/time = 1799.55 5.69/5.76 c 5.69/5.76 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 5.69/5.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 5.69/5.76 c limits/memory = 1620 5.69/5.76 c 5.69/5.76 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 5.69/5.76 c # [type: int, range: [-1,2147483647], default: 1] 5.69/5.76 c lp/solvefreq = -1 5.69/5.76 c 5.69/5.76 c # should presolving try to simplify inequalities 5.69/5.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 5.69/5.76 c constraints/linear/simplifyinequalities = TRUE 5.69/5.76 c 5.69/5.76 c # should presolving try to simplify knapsacks 5.69/5.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 5.69/5.76 c constraints/knapsack/simplifyinequalities = TRUE 5.69/5.76 c 5.69/5.76 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 5.69/5.76 c # [type: int, range: [-1,2147483647], default: -1] 5.69/5.76 c separating/rapidlearning/freq = 0 5.69/5.76 c 5.69/5.76 c ----------------------------------------------------------------------------------------------- 5.69/5.76 c start solving 5.69/5.77 c 5.69/5.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 5.69/5.78 c 4.7s| 1 | 2 | 0 | - | 29M| 0 | - |3214 | 13k| 0 | 0 | 0 | 0 | 0 | 3.328000e+03 | -- | Inf 90.56/90.60 c 89.1s| 10000 | 9949 | 0 | 0.0 | 34M| 333 | - |3214 | 13k| 0 | 0 | 0 | 33 | 0 | 4.900000e+03 | -- | Inf 170.12/170.27 c 168s| 20000 | 19945 | 0 | 0.0 | 38M| 333 | - |3214 | 13k| 0 | 0 | 0 | 36 | 0 | 4.900000e+03 | -- | Inf 245.10/245.23 c 243s| 30000 | 29941 | 0 | 0.0 | 43M| 333 | - |3214 | 13k| 0 | 0 | 0 | 39 | 0 | 4.900000e+03 | -- | Inf 322.67/322.81 c 320s| 40000 | 39937 | 0 | 0.0 | 47M| 333 | - |3214 | 13k| 0 | 0 | 0 | 41 | 0 | 4.901000e+03 | -- | Inf 391.94/392.10 c 389s| 50000 | 49905 | 0 | 0.0 | 52M| 333 | - |3214 | 13k| 0 | 0 | 0 | 65 | 0 | 4.901000e+03 | -- | Inf 466.52/466.70 c 464s| 60000 | 59889 | 0 | 0.0 | 56M| 333 | - |3214 | 13k| 0 | 0 | 0 | 77 | 0 | 4.901000e+03 | -- | Inf 545.29/545.51 c 542s| 70000 | 69889 | 0 | 0.0 | 61M| 333 | - |3214 | 13k| 0 | 0 | 0 | 77 | 0 | 4.901000e+03 | -- | Inf 624.47/624.70 c 621s| 80000 | 79889 | 0 | 0.0 | 65M| 333 | - |3214 | 13k| 0 | 0 | 0 | 77 | 0 | 4.901000e+03 | -- | Inf 701.92/702.27 c 698s| 90000 | 89881 | 0 | 0.0 | 70M| 333 | - |3214 | 13k| 0 | 0 | 0 | 86 | 0 | 4.902000e+03 | -- | Inf 779.00/779.33 c 775s|100000 | 99879 | 0 | 0.0 | 75M| 333 | - |3214 | 13k| 0 | 0 | 0 | 87 | 0 | 4.902000e+03 | -- | Inf 855.57/855.90 c 851s|110000 |109879 | 0 | 0.0 | 79M| 333 | - |3214 | 13k| 0 | 0 | 0 | 87 | 0 | 4.902000e+03 | -- | Inf 931.25/931.68 c 926s|120000 |119879 | 0 | 0.0 | 84M| 333 | - |3214 | 13k| 0 | 0 | 0 | 87 | 0 | 4.902000e+03 | -- | Inf 1005.81/1006.23 c 1001s|130000 |129873 | 0 | 0.0 | 88M| 333 | - |3214 | 13k| 0 | 0 | 0 | 89 | 0 | 4.902000e+03 | -- | Inf 1080.48/1080.94 c 1075s|140000 |139869 | 0 | 0.0 | 92M| 333 | - |3214 | 13k| 0 | 0 | 0 | 90 | 0 | 4.902000e+03 | -- | Inf 1153.75/1154.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1153.75/1154.21 c 1148s|150000 |149862 | 0 | 0.0 | 97M| 333 | - |3214 | 13k| 0 | 0 | 0 | 91 | 0 | 4.902000e+03 | -- | Inf 1223.12/1223.63 c 1217s|160000 |159859 | 0 | 0.0 | 101M| 333 | - |3214 | 13k| 0 | 0 | 0 | 92 | 0 | 4.902000e+03 | -- | Inf 1301.20/1301.73 c 1295s|170000 |169857 | 0 | 0.0 | 105M| 333 | - |3214 | 13k| 0 | 0 | 0 | 93 | 0 | 4.902000e+03 | -- | Inf 1378.97/1379.53 c 1372s|180000 |179853 | 0 | 0.0 | 110M| 333 | - |3214 | 13k| 0 | 0 | 0 | 96 | 0 | 4.902000e+03 | -- | Inf 1456.04/1456.65 c 1449s|190000 |189841 | 0 | 0.0 | 114M| 333 | - |3214 | 13k| 0 | 0 | 0 | 102 | 0 | 4.902000e+03 | -- | Inf 1532.21/1532.85 c 1525s|200000 |199827 | 0 | 0.0 | 119M| 333 | - |3214 | 13k| 0 | 0 | 0 | 107 | 0 | 4.902000e+03 | -- | Inf 1606.39/1607.07 c 1599s|210000 |209800 | 0 | 0.0 | 123M| 333 | - |3214 | 13k| 0 | 0 | 0 | 111 | 0 | 4.902000e+03 | -- | Inf 1679.36/1680.03 c 1671s|220000 |219779 | 0 | 0.0 | 127M| 333 | - |3214 | 13k| 0 | 0 | 0 | 116 | 0 | 4.902000e+03 | -- | Inf 1752.21/1752.98 c 1744s|230000 |229764 | 0 | 0.0 | 132M| 333 | - |3214 | 13k| 0 | 0 | 0 | 117 | 0 | 4.902000e+03 | -- | Inf 1800.01/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.01/1800.71 c 1800.01/1800.71 c SCIP Status : solving was interrupted [user interrupt] 1800.01/1800.71 c Solving Time (sec) : 1791.42 1800.01/1800.71 c Solving Nodes : 236681 1800.01/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.01/1800.71 c Dual Bound : +4.90200000000000e+03 1800.01/1800.71 c Gap : infinite 1800.01/1800.71 s UNKNOWN 1800.01/1800.71 c SCIP Status : solving was interrupted [user interrupt] 1800.01/1800.71 c Solving Time : 1791.42 1800.01/1800.71 c Original Problem : 1800.01/1800.71 c Problem name : HOME/instance-2683310-1277508710.opb 1800.01/1800.71 c Variables : 5672 (5672 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.01/1800.71 c Constraints : 24856 initial, 24856 maximal 1800.01/1800.71 c Presolved Problem : 1800.01/1800.71 c Problem name : t_HOME/instance-2683310-1277508710.opb 1800.01/1800.71 c Variables : 3214 (3214 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.01/1800.71 c Constraints : 13841 initial, 13918 maximal 1800.01/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.01/1800.71 c trivial : 0.05 34 0 0 0 0 0 0 0 1800.01/1800.71 c dualfix : 0.01 602 0 0 0 0 0 0 0 1800.01/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.71 c implics : 0.11 0 245 0 0 0 0 0 0 1800.01/1800.71 c probing : 2.37 182 473 0 0 0 0 0 0 1800.01/1800.71 c setppc : 0.03 2 1 0 0 0 11 2 0 1800.01/1800.71 c linear : 0.36 224 689 0 246 0 10137 15 40 1800.01/1800.71 c logicor : 1.54 6 0 0 10 0 869 0 0 1800.01/1800.71 c root node : - 0 - - 0 - - - - 1800.01/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.01/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0 1800.01/1800.71 c setppc : 240 0 664162 0 236586 49 44367 0 0 0 1800.01/1800.71 c logicor : 13601+ 0 611887 0 236586 208 821418 0 0 0 1800.01/1800.71 c countsols : 0 0 0 0 236586 0 0 0 0 0 1800.01/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.01/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00 1800.01/1800.71 c setppc : 35.66 0.00 9.44 0.00 26.22 1800.01/1800.71 c logicor : 1389.36 0.00 9.49 0.00 1379.87 1800.01/1800.71 c countsols : 0.34 0.00 0.00 0.00 0.34 1800.01/1800.71 c Propagators : Time Calls Cutoffs DomReds 1800.01/1800.71 c vbounds : 0.47 2 0 0 1800.01/1800.71 c rootredcost : 0.35 0 0 0 1800.01/1800.71 c pseudoobj : 76.81 653216 0 0 1800.01/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.01/1800.71 c propagation : 0.02 99 92 113 2.9 4 3.2 - 1800.01/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.01/1800.72 c applied globally : - - - 117 2.9 - - - 1800.01/1800.72 c applied locally : - - - 0 0.0 - - - 1800.01/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.01/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.01/1800.72 c redcost : 0.00 0 0 0 0 0 1800.01/1800.72 c impliedbounds : 0.00 0 0 0 0 0 1800.01/1800.72 c intobj : 0.00 0 0 0 0 0 1800.01/1800.72 c cgmip : 0.00 0 0 0 0 0 1800.01/1800.72 c gomory : 0.00 0 0 0 0 0 1800.01/1800.72 c strongcg : 0.00 0 0 0 0 0 1800.01/1800.72 c cmir : 0.00 0 0 0 0 0 1800.01/1800.72 c flowcover : 0.00 0 0 0 0 0 1800.01/1800.72 c clique : 0.00 0 0 0 0 0 1800.01/1800.72 c zerohalf : 0.00 0 0 0 0 0 1800.01/1800.72 c mcf : 0.00 0 0 0 0 0 1800.01/1800.72 c rapidlearning : 0.00 0 0 0 0 0 1800.01/1800.72 c Pricers : Time Calls Vars 1800.01/1800.72 c problem variables: 0.00 0 0 1800.01/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.01/1800.72 c relpscost : 0.00 0 0 0 0 0 0 1800.01/1800.72 c pscost : 0.00 0 0 0 0 0 0 1800.01/1800.72 c inference : 254.80 236586 0 0 0 0 473172 1800.01/1800.72 c mostinf : 0.00 0 0 0 0 0 0 1800.01/1800.72 c leastinf : 0.00 0 0 0 0 0 0 1800.01/1800.72 c fullstrong : 0.00 0 0 0 0 0 0 1800.01/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0 1800.01/1800.72 c random : 0.00 0 0 0 0 0 0 1800.01/1800.72 c Primal Heuristics : Time Calls Found 1800.01/1800.72 c LP solutions : 0.00 - 0 1800.01/1800.72 c pseudo solutions : 0.00 - 0 1800.01/1800.72 c oneopt : 0.19 0 0 1800.01/1800.72 c trivial : 0.02 2 0 1800.01/1800.72 c simplerounding : 0.00 0 0 1800.01/1800.72 c zirounding : 0.00 0 0 1800.01/1800.72 c rounding : 0.00 0 0 1800.01/1800.72 c shifting : 0.00 0 0 1800.01/1800.72 c intshifting : 0.00 0 0 1800.01/1800.72 c twoopt : 0.00 0 0 1800.01/1800.72 c fixandinfer : 0.00 0 0 1800.01/1800.72 c feaspump : 0.00 0 0 1800.01/1800.72 c coefdiving : 0.00 0 0 1800.01/1800.72 c pscostdiving : 0.00 0 0 1800.01/1800.72 c fracdiving : 0.00 0 0 1800.01/1800.72 c veclendiving : 0.00 0 0 1800.01/1800.72 c intdiving : 0.00 0 0 1800.01/1800.72 c actconsdiving : 0.00 0 0 1800.01/1800.72 c objpscostdiving : 0.00 0 0 1800.01/1800.72 c rootsoldiving : 0.00 0 0 1800.01/1800.72 c linesearchdiving : 0.00 0 0 1800.01/1800.72 c guideddiving : 0.00 0 0 1800.01/1800.72 c octane : 0.00 0 0 1800.01/1800.72 c rens : 0.00 0 0 1800.01/1800.72 c rins : 0.00 0 0 1800.01/1800.72 c localbranching : 0.00 0 0 1800.01/1800.72 c mutation : 0.00 0 0 1800.01/1800.72 c crossover : 0.00 0 0 1800.01/1800.72 c dins : 0.00 0 0 1800.01/1800.72 c undercover : 0.00 0 0 1800.01/1800.72 c nlp : 0.39 0 0 1800.01/1800.72 c trysol : 0.12 0 0 1800.01/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec 1800.01/1800.72 c primal LP : 0.00 0 0 0.00 - 1800.01/1800.72 c dual LP : 0.00 0 0 0.00 - 1800.01/1800.72 c lex dual LP : 0.00 0 0 0.00 - 1800.01/1800.72 c barrier LP : 0.00 0 0 0.00 - 1800.01/1800.72 c diving/probing LP: 0.00 0 0 0.00 - 1800.01/1800.72 c strong branching : 0.00 0 0 0.00 - 1800.01/1800.72 c (at root node) : - 0 0 0.00 - 1800.01/1800.72 c conflict analysis: 0.00 0 0 0.00 - 1800.01/1800.72 c B&B Tree : 1800.01/1800.72 c number of runs : 1 1800.01/1800.72 c nodes : 236681 1800.01/1800.72 c nodes (total) : 236681 1800.01/1800.72 c nodes left : 236444 1800.01/1800.72 c max depth : 333 1800.01/1800.72 c max depth (total): 333 1800.01/1800.72 c backtracks : 1490 (0.6%) 1800.01/1800.72 c delayed cutoffs : 48 1800.01/1800.72 c repropagations : 4016 (230 domain reductions, 4 cutoffs) 1800.01/1800.72 c avg switch length: 2.28 1800.01/1800.72 c switching time : 10.91 1800.01/1800.72 c Solution : 1800.01/1800.72 c Solutions found : 0 (0 improvements) 1800.01/1800.72 c Primal Bound : - 1800.01/1800.72 c Dual Bound : +4.90200000000000e+03 1800.01/1800.72 c Gap : infinite 1800.01/1800.72 c Root Dual Bound : +3.32800000000000e+03 1800.01/1800.72 c Root Iterations : 0 1800.39/1801.13 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-2683310-1277508710/watcher-2683310-1277508710 -o /tmp/evaluation-result-2683310-1277508710/solver-2683310-1277508710 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683310-1277508710.opb -t 1800 -m 1800 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.92 0.98 0.99 3/106 24110 /proc/meminfo: memFree=1891808/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=5556 CPUtime=0 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 886 0 0 0 0 0 0 0 18 0 1 0 124527298 5689344 809 1992294400 4194304 7136930 140737150847792 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24110/statm: 1389 809 249 719 0 668 0 [startup+0.0166389 s] /proc/loadavg: 0.92 0.98 0.99 3/106 24110 /proc/meminfo: memFree=1891808/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=9152 CPUtime=0 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 1774 0 0 0 0 0 0 0 18 0 1 0 124527298 9371648 1696 1992294400 4194304 7136930 140737150847792 18446744073709551615 4639415 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24110/statm: 2288 1696 266 719 0 1567 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.100655 s] /proc/loadavg: 0.92 0.98 0.99 3/106 24110 /proc/meminfo: memFree=1891808/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=13516 CPUtime=0.09 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 2858 0 0 0 8 1 0 0 20 0 1 0 124527298 13840384 2780 1992294400 4194304 7136930 140737150847792 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24110/statm: 3379 2780 271 719 0 2658 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13516 [startup+0.300693 s] /proc/loadavg: 0.92 0.98 0.99 3/106 24110 /proc/meminfo: memFree=1891808/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=19836 CPUtime=0.29 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 4235 0 0 0 27 2 0 0 20 0 1 0 124527298 20312064 4157 1992294400 4194304 7136930 140737150847792 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24110/statm: 4959 4168 271 719 0 4238 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19836 [startup+0.700767 s] /proc/loadavg: 0.92 0.98 0.99 3/106 24110 /proc/meminfo: memFree=1891808/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=48316 CPUtime=0.69 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 11678 0 0 0 63 6 0 0 20 0 1 0 124527298 49475584 11246 1992294400 4194304 7136930 140737150847792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 12079 11246 348 719 0 11358 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 48316 [startup+1.50092 s] /proc/loadavg: 0.92 0.98 0.99 2/107 24111 /proc/meminfo: memFree=1845796/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=54444 CPUtime=1.49 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 19556 0 0 0 126 23 0 0 23 0 1 0 124527298 55750656 12797 1992294400 4194304 7136930 140737150847792 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 13611 12797 368 719 0 12890 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 54444 [startup+3.10122 s] /proc/loadavg: 0.92 0.98 0.99 2/107 24111 /proc/meminfo: memFree=1840340/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=55820 CPUtime=3.09 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 26139 0 0 0 271 38 0 0 25 0 1 0 124527298 57159680 13150 1992294400 4194304 7136930 140737150847792 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 13955 13150 376 719 0 13234 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 55820 [startup+6.30081 s] /proc/loadavg: 0.93 0.98 0.99 2/107 24111 /proc/meminfo: memFree=1838480/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=58204 CPUtime=6.29 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 41002 0 0 0 559 70 0 0 25 0 1 0 124527298 59600896 13757 1992294400 4194304 7136930 140737150847792 18446744073709551615 5121841 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 14551 13757 388 719 0 13830 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 58204 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.99 2/107 24111 /proc/meminfo: memFree=1837612/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=58340 CPUtime=12.69 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 41045 0 0 0 1197 72 0 0 25 0 1 0 124527298 59740160 13800 1992294400 4194304 7136930 140737150847792 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 14585 13800 392 719 0 13864 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 58340 [startup+25.5004 s] /proc/loadavg: 0.95 0.98 0.99 2/107 24111 /proc/meminfo: memFree=1836620/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=59292 CPUtime=25.48 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 41298 0 0 0 2472 76 0 0 25 0 1 0 124527298 60715008 14053 1992294400 4194304 7136930 140737150847792 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 14823 14053 392 719 0 14102 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59292 [startup+51.1002 s] /proc/loadavg: 0.96 0.98 0.99 2/107 24113 /proc/meminfo: memFree=1834760/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=61196 CPUtime=51.08 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 41766 0 0 0 5022 86 0 0 25 0 1 0 124527298 62664704 14521 1992294400 4194304 7136930 140737150847792 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 15299 14521 392 719 0 14578 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 61196 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 24113 /proc/meminfo: memFree=1831660/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=64044 CPUtime=102.26 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 42527 0 0 0 10120 106 0 0 25 0 1 0 124527298 65581056 15282 1992294400 4194304 7136930 140737150847792 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 16011 15282 392 719 0 15290 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 64044 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24115 /proc/meminfo: memFree=1827940/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=67700 CPUtime=162.23 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 43440 0 0 0 16093 130 0 0 25 0 1 0 124527298 69324800 16195 1992294400 4194304 7136930 140737150847792 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 16925 16195 392 719 0 16204 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 67700 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24117 /proc/meminfo: memFree=1823848/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=71524 CPUtime=222.2 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 44453 0 0 0 22066 154 0 0 25 0 1 0 124527298 73240576 17208 1992294400 4194304 7136930 140737150847792 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 17881 17208 392 719 0 17160 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 71524 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24119 /proc/meminfo: memFree=1821616/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=73620 CPUtime=282.19 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 45005 0 0 0 28041 178 0 0 25 0 1 0 124527298 75386880 17760 1992294400 4194304 7136930 140737150847792 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 18405 17760 392 719 0 17684 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 73620 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24121 /proc/meminfo: memFree=1816284/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=78752 CPUtime=342.16 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 46321 0 0 0 34013 203 0 0 25 0 1 0 124527298 80642048 19076 1992294400 4194304 7136930 140737150847792 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 19688 19076 392 719 0 18967 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 78752 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24124 /proc/meminfo: memFree=1810828/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=83452 CPUtime=402.14 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 47501 0 0 0 39981 233 0 0 25 0 1 0 124527298 85454848 20256 1992294400 4194304 7136930 140737150847792 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 20863 20256 392 719 0 20142 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 83452 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24126 /proc/meminfo: memFree=1806984/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=87220 CPUtime=462.12 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 48475 0 0 0 45955 257 0 0 25 0 1 0 124527298 89313280 21230 1992294400 4194304 7136930 140737150847792 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 21805 21230 392 719 0 21084 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 87220 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24128 /proc/meminfo: memFree=1804504/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=92000 CPUtime=522.09 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 49183 0 0 0 51927 282 0 0 25 0 1 0 124527298 94208000 21938 1992294400 4194304 7136930 140737150847792 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 23000 21938 392 719 0 22279 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 92000 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24130 /proc/meminfo: memFree=1801776/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=94212 CPUtime=582.07 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 49763 0 0 0 57900 307 0 0 25 0 1 0 124527298 96473088 22518 1992294400 4194304 7136930 140737150847792 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 23553 22518 392 719 0 22832 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 94212 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24132 /proc/meminfo: memFree=1797684/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=97960 CPUtime=642.05 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 50763 0 0 0 63872 333 0 0 25 0 1 0 124527298 100311040 23518 1992294400 4194304 7136930 140737150847792 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 24490 23518 392 719 0 23769 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 97960 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24140 /proc/meminfo: memFree=1779332/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=115904 CPUtime=941.94 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 55402 0 0 0 93735 459 0 0 25 0 1 0 124527298 118685696 28157 1992294400 4194304 7136930 140737150847792 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 28976 28157 392 719 0 28255 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 115904 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24140 /proc/meminfo: memFree=1775116/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=119684 CPUtime=1001.92 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 56378 0 0 0 99707 485 0 0 25 0 1 0 124527298 122556416 29133 1992294400 4194304 7136930 140737150847792 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 29921 29133 392 719 0 29200 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 119684 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24142 /proc/meminfo: memFree=1769908/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=124736 CPUtime=1061.89 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 57673 0 0 0 105679 510 0 0 25 0 1 0 124527298 127729664 30428 1992294400 4194304 7136930 140737150847792 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 31184 30428 392 719 0 30463 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 124736 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24144 /proc/meminfo: memFree=1766932/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=127656 CPUtime=1121.86 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 58404 0 0 0 111650 536 0 0 25 0 1 0 124527298 130719744 31159 1992294400 4194304 7136930 140737150847792 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 31914 31159 392 719 0 31193 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 127656 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24146 /proc/meminfo: memFree=1764328/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=129980 CPUtime=1181.84 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 59049 0 0 0 117624 560 0 0 25 0 1 0 124527298 133099520 31804 1992294400 4194304 7136930 140737150847792 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 32495 31804 392 719 0 31774 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 129980 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24148 /proc/meminfo: memFree=1759988/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=134284 CPUtime=1241.82 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 60125 0 0 0 123597 585 0 0 25 0 1 0 124527298 137506816 32880 1992294400 4194304 7136930 140737150847792 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 33571 32880 392 719 0 32850 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 134284 [startup+1302.3 s] /proc/loadavg: 1.06 1.00 1.00 2/107 24148 /proc/meminfo: memFree=1756020/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=137932 CPUtime=1301.8 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 61096 0 0 0 129572 608 0 0 25 0 1 0 124527298 141242368 33851 1992294400 4194304 7136930 140737150847792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 34483 33851 392 719 0 33762 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 137932 [startup+1362.3 s] /proc/loadavg: 1.02 1.00 1.00 2/107 24150 /proc/meminfo: memFree=1749820/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=143972 CPUtime=1361.78 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 62636 0 0 0 135546 632 0 0 25 0 1 0 124527298 147427328 35391 1992294400 4194304 7136930 140737150847792 18446744073709551615 4642126 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 35993 35391 392 719 0 35272 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 143972 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24152 /proc/meminfo: memFree=1747216/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=146472 CPUtime=1421.76 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 63292 0 0 0 141520 656 0 0 25 0 1 0 124527298 149987328 36047 1992294400 4194304 7136930 140737150847792 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 36618 36047 392 719 0 35897 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 146472 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24154 /proc/meminfo: memFree=1745480/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=148024 CPUtime=1481.73 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 63710 0 0 0 147492 681 0 0 25 0 1 0 124527298 151576576 36465 1992294400 4194304 7136930 140737150847792 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 37006 36465 392 719 0 36285 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 148024 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24156 /proc/meminfo: memFree=1741264/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=156116 CPUtime=1541.71 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 64740 0 0 0 153465 706 0 0 25 0 1 0 124527298 159862784 37495 1992294400 4194304 7136930 140737150847792 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 39029 37495 392 719 0 38308 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 156116 [startup+1602.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 24156 /proc/meminfo: memFree=1739528/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=157800 CPUtime=1601.69 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 65193 0 0 0 159436 733 0 0 25 0 1 0 124527298 161587200 37948 1992294400 4194304 7136930 140737150847792 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 39450 37948 392 719 0 38729 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 157800 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 24158 /proc/meminfo: memFree=1735560/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=161540 CPUtime=1661.66 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 66160 0 0 0 165410 756 0 0 25 0 1 0 124527298 165416960 38915 1992294400 4194304 7136930 140737150847792 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 40385 38915 392 719 0 39664 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 161540 [startup+1722.3 s] /proc/loadavg: 1.11 1.03 1.01 2/107 24160 /proc/meminfo: memFree=1732708/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=164384 CPUtime=1721.64 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 66871 0 0 0 171380 784 0 0 25 0 1 0 124527298 168329216 39626 1992294400 4194304 7136930 140737150847792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 41096 39626 392 719 0 40375 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 164384 [startup+1782.3 s] /proc/loadavg: 1.04 1.03 1.00 2/107 24171 /proc/meminfo: memFree=1728368/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=168208 CPUtime=1781.6 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 67859 0 0 0 177351 809 0 0 25 0 1 0 124527298 172244992 40614 1992294400 4194304 7136930 140737150847792 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 42052 40614 392 719 0 41331 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 168208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.03 1.02 1.00 2/107 24171 /proc/meminfo: memFree=1728244/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=168208 CPUtime=1800.01 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 67900 0 0 0 179185 816 0 0 25 0 1 0 124527298 172244992 40655 1992294400 4194304 7136930 140737150847792 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24110/statm: 42052 40655 392 719 0 41331 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 168208 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: 1.03 1.02 1.00 2/107 24171 /proc/meminfo: memFree=1728244/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=161876 CPUtime=1800.29 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 67905 0 0 0 179213 816 0 0 25 0 1 0 124527298 165761024 39077 1992294400 4194304 7136930 140737150847792 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24110/statm: 40469 39077 397 719 0 39748 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 161876 [startup+1801.1 s] /proc/loadavg: 1.03 1.02 1.00 2/107 24171 /proc/meminfo: memFree=1728244/2059040 swapFree=4139124/4192956 [pid=24110] ppid=24108 vsize=108384 CPUtime=1800.39 /proc/24110/stat : 24110 (pbscip.linux.x8) R 24108 24110 23840 0 -1 4202496 67905 0 0 0 179223 816 0 0 25 0 1 0 124527298 110985216 25704 1992294400 4194304 7136930 140737150847792 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24110/statm: 27096 25704 397 719 0 26375 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 108384 Child status: 0 Real time (s): 1801.14 CPU time (s): 1800.44 CPU user time (s): 1792.26 CPU system time (s): 8.18375 CPU usage (%): 99.9611 Max. virtual memory (cumulated for all children) (KiB): 168208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.26 system time used= 8.18375 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67912 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= 6148 runsolver used 2.84957 second user time and 8.63869 second system time The end
Begin job on node019 at 2010-06-26 01:31:50 IDJOB=2683310 IDBENCH=72102 IDSOLVER=1167 FILE ID=node019/2683310-1277508710 PBS_JOBID= 11190605 Free space on /tmp= 62272 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randf66c83.cudf.paranoid.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683310-1277508710/watcher-2683310-1277508710 -o /tmp/evaluation-result-2683310-1277508710/solver-2683310-1277508710 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683310-1277508710.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= de3c56a7934dad70aad87854ca1d26e5 RANDOM SEED=1763129879 node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1892336 kB Buffers: 15788 kB Cached: 69344 kB SwapCached: 6072 kB Active: 71968 kB Inactive: 25928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1892336 kB SwapTotal: 4192956 kB SwapFree: 4139124 kB Dirty: 4008 kB Writeback: 0 kB AnonPages: 11460 kB Mapped: 11936 kB Slab: 46892 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182336 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62268 MiB End job on node019 at 2010-06-26 02:01:53