| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1800.15 | 1800.73 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-hanoi5.opb |
| MD5SUM | e569a703dfec131c012510753e8401ab |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1931 |
| Best CPU time to get the best result obtained on this benchmark | 4.94725 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1931 |
| Optimality of the best value was proved | YES |
| Number of variables | 3862 |
| Total number of constraints | 16399 |
| Number of constraints which are clauses | 16399 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 8 |
| Number of terms in the objective function | 3862 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 3862 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 3862 |
| Number of bits of the biggest sum of numbers | 12 |
| 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: Clp 1.11.1] [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-2666079-1276426032.opb>
0.29/0.30 c original problem has 3862 variables (3862 bin, 0 int, 0 impl, 0 cont) and 16399 constraints
0.29/0.30 c problem read
0.29/0.30 c presolving settings loaded
0.29/0.39 c presolving:
0.39/0.48 c (round 1) 710 del vars, 720 del conss, 710 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36384 impls, 0 clqs
0.49/0.51 c (round 2) 753 del vars, 2214 del conss, 738 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43208 impls, 0 clqs
0.49/0.53 c (round 3) 795 del vars, 2450 del conss, 780 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43516 impls, 0 clqs
0.49/0.55 c (round 4) 855 del vars, 2664 del conss, 822 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 45724 impls, 0 clqs
0.49/0.57 c (round 5) 924 del vars, 3067 del conss, 872 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 46764 impls, 0 clqs
0.49/0.58 c (round 6) 948 del vars, 3190 del conss, 896 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 47482 impls, 0 clqs
0.59/0.60 c (round 7) 955 del vars, 3240 del conss, 903 chg bounds, 10 chg sides, 18 chg coeffs, 0 upgd conss, 48506 impls, 0 clqs
0.59/0.62 c (round 8) 961 del vars, 3267 del conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48700 impls, 0 clqs
0.59/0.63 c (round 9) 961 del vars, 3270 del conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48946 impls, 0 clqs
0.79/0.81 c (round 10) 961 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10332 upgd conss, 48946 impls, 0 clqs
0.79/0.85 c (round 11) 961 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 48946 impls, 0 clqs
0.89/0.91 c (round 12) 1011 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 52844 impls, 0 clqs
0.89/0.92 c (round 13) 1011 del vars, 6105 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 53250 impls, 0 clqs
0.89/0.98 c (round 14) 1061 del vars, 6105 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55464 impls, 0 clqs
1.00/1.00 c (round 15) 1063 del vars, 6130 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55690 impls, 0 clqs
1.00/1.04 c (round 16) 1063 del vars, 6137 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55690 impls, 0 clqs
1.00/1.09 c (round 17) 1114 del vars, 6137 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 56680 impls, 0 clqs
1.10/1.11 c (round 18) 1118 del vars, 6248 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 57045 impls, 0 clqs
1.10/1.12 c (round 19) 1119 del vars, 6259 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 57045 impls, 0 clqs
1.19/1.21 c (round 20) 1171 del vars, 6259 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 59779 impls, 0 clqs
1.19/1.23 c (round 21) 1174 del vars, 6425 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60359 impls, 0 clqs
1.19/1.27 c (round 22) 1174 del vars, 6427 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60359 impls, 0 clqs
1.29/1.34 c (round 23) 1226 del vars, 6427 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 62905 impls, 0 clqs
1.29/1.36 c (round 24) 1229 del vars, 6621 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 63123 impls, 0 clqs
1.39/1.41 c (round 25) 1279 del vars, 6621 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64141 impls, 0 clqs
1.39/1.42 c (round 26) 1279 del vars, 6808 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64361 impls, 0 clqs
1.39/1.48 c (round 27) 1329 del vars, 6808 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64513 impls, 0 clqs
1.49/1.50 c (round 28) 1329 del vars, 6941 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64513 impls, 0 clqs
1.49/1.55 c (round 29) 1379 del vars, 6941 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65297 impls, 0 clqs
1.49/1.57 c (round 30) 1379 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65297 impls, 0 clqs
1.59/1.64 c (round 31) 1429 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65717 impls, 0 clqs
1.69/1.70 c (round 32) 1479 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.69/1.71 c (round 33) 1479 del vars, 6992 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.69/1.76 c (round 34) 1479 del vars, 6997 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.79/1.86 c (round 35) 1529 del vars, 6997 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66533 impls, 0 clqs
1.79/1.87 c (round 36) 1529 del vars, 7033 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66533 impls, 0 clqs
1.89/1.95 c (round 37) 1579 del vars, 7033 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67075 impls, 0 clqs
1.89/1.99 c (round 38) 1579 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67075 impls, 0 clqs
1.99/2.04 c (round 39) 1629 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67419 impls, 0 clqs
2.09/2.12 c (1.5s) probing: 1000/2901 (34.5%) - 191 fixings, 474 aggregations, 3498 implications, 0 bound changes
2.09/2.13 c (round 40) 1684 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68455 impls, 0 clqs
2.09/2.14 c (round 41) 1684 del vars, 7274 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68567 impls, 0 clqs
2.09/2.20 c (round 42) 1734 del vars, 7274 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68945 impls, 0 clqs
2.20/2.21 c (round 43) 1734 del vars, 7387 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68945 impls, 0 clqs
2.20/2.27 c (round 44) 1784 del vars, 7387 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69093 impls, 0 clqs
2.29/2.31 c (round 45) 1784 del vars, 7390 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69093 impls, 0 clqs
2.39/2.41 c (1.8s) probing: 1349/2901 (46.5%) - 241 fixings, 570 aggregations, 3807 implications, 0 bound changes
2.39/2.41 c (1.8s) probing aborted: 100/100 successive totally useless probings
2.39/2.41 c (round 46) 1785 del vars, 7390 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69107 impls, 0 clqs
2.39/2.48 c (1.8s) probing: 1451/2901 (50.0%) - 241 fixings, 570 aggregations, 3811 implications, 0 bound changes
2.39/2.48 c (1.8s) probing aborted: 100/100 successive totally useless probings
2.39/2.48 c presolving (47 rounds):
2.39/2.48 c 1785 deleted vars, 7390 deleted constraints, 910 tightened bounds, 0 added holes, 31 changed sides, 24 changed coefficients
2.39/2.48 c 69117 implications, 0 cliques
2.39/2.48 c presolved problem has 2077 variables (2077 bin, 0 int, 0 impl, 0 cont) and 9009 constraints
2.39/2.48 c 9009 constraints of type <logicor>
2.39/2.48 c transformed objective value is always integral (scale: 1)
2.39/2.48 c Presolving Time: 1.78
2.39/2.48 c - non default parameters ----------------------------------------------------------------------
2.39/2.48 c # SCIP version 1.2.1.2
2.39/2.48 c
2.39/2.48 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.48 c conflict/interconss = 0
2.39/2.48 c
2.39/2.48 c # should binary conflicts be preferred?
2.39/2.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48 c conflict/preferbinary = TRUE
2.39/2.48 c
2.39/2.48 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.48 c constraints/agelimit = 1
2.39/2.48 c
2.39/2.48 c # should enforcement of pseudo solution be disabled?
2.39/2.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48 c constraints/disableenfops = TRUE
2.39/2.48 c
2.39/2.48 c # frequency for displaying node information lines
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.48 c display/freq = 10000
2.39/2.48 c
2.39/2.48 c # maximal time in seconds to run
2.39/2.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.48 c limits/time = 1799.71
2.39/2.48 c
2.39/2.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.48 c limits/memory = 1620
2.39/2.48 c
2.39/2.48 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.48 c lp/solvefreq = 0
2.39/2.48 c
2.39/2.48 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
2.39/2.48 c # [type: char, range: {lafpsqd}, default: l]
2.39/2.48 c lp/pricing = a
2.39/2.48 c
2.39/2.48 c # should presolving try to simplify inequalities
2.39/2.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48 c constraints/linear/simplifyinequalities = TRUE
2.39/2.48 c
2.39/2.48 c # should presolving try to simplify knapsacks
2.39/2.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.48 c
2.39/2.48 c # priority of node selection rule <dfs> in standard mode
2.39/2.48 c # [type: int, range: [-536870912,536870911], default: 0]
2.39/2.48 c nodeselection/dfs/stdpriority = 1000000
2.39/2.48 c
2.39/2.48 c -----------------------------------------------------------------------------------------------
2.39/2.48 c start solving
2.39/2.48 c
3.30/3.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.30/3.33 c 2.6s| 1 | 0 | 2546 | - | 22M| 0 |1316 |2077 |9009 |2077 |8443 | 0 | 0 | 0 | 1.602146e+03 | -- | Inf
5.50/5.52 c 4.8s| 1 | 0 | 4494 | - | 24M| 0 |1443 |2077 |9009 |2077 |8646 | 203 | 0 | 0 | 1.635208e+03 | -- | Inf
8.19/8.20 c 7.4s| 1 | 0 | 6939 | - | 25M| 0 |1487 |2077 |9009 |2077 |8754 | 311 | 0 | 0 | 1.652031e+03 | -- | Inf
11.69/11.76 c 10.9s| 1 | 0 | 10523 | - | 27M| 0 |1510 |2077 |9009 |2077 |8814 | 371 | 0 | 0 | 1.690033e+03 | -- | Inf
16.69/16.73 c 15.9s| 1 | 0 | 15327 | - | 28M| 0 |1552 |2077 |9009 |2077 |8876 | 433 | 0 | 0 | 1.727170e+03 | -- | Inf
22.09/22.18 c 21.2s| 1 | 0 | 20796 | - | 29M| 0 |1659 |2077 |9009 |2077 |8925 | 482 | 0 | 0 | 1.758495e+03 | -- | Inf
29.08/29.10 c 28.1s| 1 | 0 | 26652 | - | 30M| 0 |1561 |2077 |9009 |2077 |8974 | 531 | 0 | 0 | 1.781625e+03 | -- | Inf
32.88/32.99 c 31.9s| 1 | 0 | 29626 | - | 31M| 0 |1653 |2077 |9009 |2077 |9033 | 590 | 0 | 0 | 1.791937e+03 | -- | Inf
38.78/38.83 c 37.7s| 1 | 0 | 33436 | - | 33M| 0 |1646 |2077 |9009 |2077 |9081 | 638 | 0 | 0 | 1.799813e+03 | -- | Inf
45.58/45.65 c 44.4s| 1 | 0 | 37373 | - | 35M| 0 |1659 |2077 |9009 |2077 |9131 | 688 | 0 | 0 | 1.804613e+03 | -- | Inf
55.38/55.40 c 54.1s| 1 | 0 | 42663 | - | 38M| 0 |1549 |2077 |9009 |2077 |9175 | 732 | 0 | 0 | 1.809194e+03 | -- | Inf
62.07/62.17 c 60.8s| 1 | 0 | 46185 | - | 40M| 0 |1631 |2077 |9009 |2077 |9080 | 760 | 0 | 0 | 1.810047e+03 | -- | Inf
69.07/69.12 c 67.7s| 1 | 0 | 50042 | - | 42M| 0 |1681 |2077 |9009 |2077 |9120 | 800 | 0 | 0 | 1.812231e+03 | -- | Inf
79.67/79.71 c 78.1s| 1 | 0 | 55589 | - | 44M| 0 |1634 |2077 |9009 |2077 |9153 | 833 | 0 | 0 | 1.815461e+03 | -- | Inf
86.56/86.61 c 85.0s| 1 | 0 | 59177 | - | 46M| 0 |1728 |2077 |9009 |2077 |9191 | 871 | 0 | 0 | 1.819099e+03 | -- | Inf
98.56/98.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.56/98.63 c 96.9s| 1 | 0 | 64165 | - | 47M| 0 |1722 |2077 |9009 |2077 |9222 | 902 | 0 | 0 | 1.821266e+03 | -- | Inf
108.66/108.79 c 107s| 1 | 0 | 67003 | - | 48M| 0 |1732 |2077 |9009 |2077 |9251 | 931 | 0 | 0 | 1.823423e+03 | -- | Inf
130.76/130.85 c 129s| 1 | 0 | 73484 | - | 50M| 0 |1679 |2077 |9009 |2077 |9013 | 957 | 0 | 0 | 1.825221e+03 | -- | Inf
144.45/144.50 c 142s| 1 | 0 | 78952 | - | 51M| 0 |1747 |2077 |9009 |2077 |9041 | 985 | 0 | 0 | 1.827104e+03 | -- | Inf
159.35/159.47 c 157s| 1 | 0 | 85027 | - | 53M| 0 |1714 |2077 |9009 |2077 |9071 |1015 | 0 | 0 | 1.829293e+03 | -- | Inf
179.64/179.72 c 177s| 1 | 0 | 94302 | - | 55M| 0 |1771 |2077 |9009 |2077 |9096 |1040 | 0 | 0 | 1.831720e+03 | -- | Inf
190.93/191.06 c 188s| 1 | 0 | 97737 | - | 55M| 0 |1735 |2077 |9009 |2077 |9112 |1056 | 0 | 0 | 1.832838e+03 | -- | Inf
202.13/202.21 c 200s| 1 | 0 |100983 | - | 56M| 0 |1747 |2077 |9009 |2077 |9123 |1067 | 0 | 0 | 1.833029e+03 | -- | Inf
211.93/212.05 c 209s| 1 | 0 |103197 | - | 56M| 0 |1740 |2077 |9009 |2077 |8956 |1079 | 0 | 0 | 1.833232e+03 | -- | Inf
224.63/224.77 c 222s| 1 | 0 |107139 | - | 56M| 0 |1735 |2077 |9009 |2077 |8972 |1095 | 0 | 0 | 1.833425e+03 | -- | Inf
233.52/233.63 c 231s| 1 | 0 |111074 | - | 56M| 0 |1764 |2077 |9009 |2077 |8993 |1116 | 0 | 0 | 1.835143e+03 | -- | Inf
244.82/244.95 c 242s| 1 | 0 |114382 | - | 56M| 0 |1771 |2077 |9009 |2077 |9016 |1139 | 0 | 0 | 1.836372e+03 | -- | Inf
260.71/260.86 c 258s| 1 | 0 |120911 | - | 56M| 0 |1721 |2077 |9009 |2077 |9036 |1159 | 0 | 0 | 1.838123e+03 | -- | Inf
281.11/281.29 c 278s| 1 | 0 |130096 | - | 56M| 0 |1737 |2077 |9009 |2077 |9054 |1177 | 0 | 0 | 1.839616e+03 | -- | Inf
294.01/294.17 c 291s| 1 | 0 |134918 | - | 56M| 0 |1762 |2077 |9009 |2077 |8940 |1194 | 0 | 0 | 1.840367e+03 | -- | Inf
305.60/305.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.60/305.78 c 302s| 1 | 0 |140054 | - | 57M| 0 |1767 |2077 |9009 |2077 |8963 |1217 | 0 | 0 | 1.841056e+03 | -- | Inf
316.20/316.37 c 313s| 1 | 0 |144031 | - | 57M| 0 |1783 |2077 |9009 |2077 |8977 |1231 | 0 | 0 | 1.842407e+03 | -- | Inf
333.40/333.53 c 330s| 1 | 0 |151477 | - | 57M| 0 |1718 |2077 |9009 |2077 |8992 |1246 | 0 | 0 | 1.844243e+03 | -- | Inf
344.89/345.07 c 341s| 1 | 0 |156763 | - | 57M| 0 |1761 |2077 |9009 |2077 |9008 |1262 | 0 | 0 | 1.846306e+03 | -- | Inf
356.19/356.31 c 352s| 1 | 0 |161197 | - | 57M| 0 |1763 |2077 |9009 |2077 |9030 |1284 | 0 | 0 | 1.847646e+03 | -- | Inf
369.78/369.94 c 366s| 1 | 0 |166193 | - | 57M| 0 |1741 |2077 |9009 |2077 |8982 |1302 | 0 | 0 | 1.848355e+03 | -- | Inf
384.07/384.27 c 380s| 1 | 0 |171616 | - | 57M| 0 |1736 |2077 |9009 |2077 |8994 |1314 | 0 | 0 | 1.848797e+03 | -- | Inf
394.77/394.96 c 391s| 1 | 0 |175050 | - | 57M| 0 |1736 |2077 |9009 |2077 |9008 |1328 | 0 | 0 | 1.848998e+03 | -- | Inf
406.78/406.93 c 403s| 1 | 0 |179315 | - | 57M| 0 |1746 |2077 |9009 |2077 |9017 |1337 | 0 | 0 | 1.849349e+03 | -- | Inf
416.56/416.80 c 412s| 1 | 0 |182476 | - | 57M| 0 |1744 |2077 |9009 |2077 |9027 |1347 | 0 | 0 | 1.849537e+03 | -- | Inf
428.77/428.94 c 424s| 1 | 0 |185853 | - | 57M| 0 |1731 |2077 |9009 |2077 |9033 |1353 | 0 | 0 | 1.849607e+03 | -- | Inf
437.56/437.74 c 433s| 1 | 0 |188266 | - | 57M| 0 |1718 |2077 |9009 |2077 |8967 |1361 | 0 | 0 | 1.849607e+03 | -- | Inf
447.36/447.54 c 443s| 1 | 0 |191180 | - | 57M| 0 |1703 |2077 |9009 |2077 |8975 |1369 | 0 | 0 | 1.849608e+03 | -- | Inf
459.05/459.21 c 455s| 1 | 0 |194982 | - | 57M| 0 |1720 |2077 |9009 |2077 |8990 |1384 | 0 | 0 | 1.849749e+03 | -- | Inf
471.84/472.05 c 467s| 1 | 0 |200191 | - | 57M| 0 |1726 |2077 |9009 |2077 |9005 |1399 | 0 | 0 | 1.849963e+03 | -- | Inf
480.04/480.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.04/480.20 c 475s| 1 | 0 |203393 | - | 58M| 0 |1720 |2077 |9009 |2077 |9020 |1414 | 0 | 0 | 1.850517e+03 | -- | Inf
487.24/487.46 c 483s| 1 | 0 |205674 | - | 58M| 0 |1711 |2077 |9009 |2077 |9030 |1424 | 0 | 0 | 1.850599e+03 | -- | Inf
493.03/493.28 c 488s| 1 | 0 |206716 | - | 58M| 0 |1719 |2077 |9009 |2077 |8983 |1433 | 0 | 0 | 1.850689e+03 | -- | Inf
499.24/499.48 c 494s| 1 | 0 |208204 | - | 58M| 0 |1707 |2077 |9009 |2077 |8993 |1443 | 0 | 0 | 1.850734e+03 | -- | Inf
504.74/504.97 c 500s| 1 | 0 |209232 | - | 58M| 0 |1748 |2077 |9009 |2077 |9003 |1453 | 0 | 0 | 1.850768e+03 | -- | Inf
510.43/510.63 c 506s| 1 | 0 |210449 | - | 58M| 0 |1725 |2077 |9009 |2077 |9010 |1460 | 0 | 0 | 1.850822e+03 | -- | Inf
516.63/516.83 c 512s| 1 | 0 |212086 | - | 58M| 0 |1700 |2077 |9009 |2077 |9021 |1471 | 0 | 0 | 1.850995e+03 | -- | Inf
521.83/522.08 c 517s| 1 | 0 |213067 | - | 58M| 0 |1694 |2077 |9009 |2077 |9030 |1480 | 0 | 0 | 1.851014e+03 | -- | Inf
527.22/527.41 c 522s| 1 | 0 |214041 | - | 58M| 0 |1716 |2077 |9009 |2077 |9002 |1487 | 0 | 0 | 1.851156e+03 | -- | Inf
533.33/533.56 c 528s| 1 | 0 |215680 | - | 58M| 0 |1691 |2077 |9009 |2077 |9012 |1497 | 0 | 0 | 1.851674e+03 | -- | Inf
538.52/538.79 c 534s| 1 | 0 |216764 | - | 58M| 0 |1678 |2077 |9009 |2077 |9023 |1508 | 0 | 0 | 1.851799e+03 | -- | Inf
544.72/544.94 c 540s| 1 | 0 |217931 | - | 58M| 0 |1693 |2077 |9009 |2077 |9030 |1515 | 0 | 0 | 1.851836e+03 | -- | Inf
550.82/551.03 c 546s| 1 | 0 |219260 | - | 58M| 0 |1721 |2077 |9009 |2077 |9035 |1520 | 0 | 0 | 1.852128e+03 | -- | Inf
556.82/557.07 c 552s| 1 | 0 |220986 | - | 58M| 0 |1714 |2077 |9009 |2077 |9043 |1528 | 0 | 0 | 1.852336e+03 | -- | Inf
562.72/562.92 c 558s| 1 | 0 |222555 | - | 58M| 0 |1713 |2077 |9009 |2077 |9000 |1538 | 0 | 0 | 1.852471e+03 | -- | Inf
570.51/570.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.51/570.74 c 565s| 1 | 0 |225181 | - | 58M| 0 |1690 |2077 |9009 |2077 |9013 |1551 | 0 | 0 | 1.853577e+03 | -- | Inf
574.61/574.84 c 569s| 1 | 0 |225613 | - | 58M| 0 |1726 |2077 |9009 |2077 |9029 |1567 | 0 | 0 | 1.853585e+03 | -- | Inf
578.90/579.12 c 574s| 1 | 0 |226192 | - | 58M| 0 |1733 |2077 |9009 |2077 |9038 |1576 | 0 | 0 | 1.853619e+03 | -- | Inf
582.82/583.09 c 578s| 1 | 0 |227479 | - | 58M| 0 |1690 |2077 |9009 |2077 |9049 |1587 | 0 | 0 | 1.854211e+03 | -- | Inf
589.89/590.14 c 585s| 1 | 0 |229743 | - | 58M| 0 |1697 |2077 |9009 |2077 |9061 |1599 | 0 | 0 | 1.854519e+03 | -- | Inf
596.69/596.97 c 591s| 1 | 0 |231744 | - | 58M| 0 |1700 |2077 |9009 |2077 |9033 |1606 | 0 | 0 | 1.854660e+03 | -- | Inf
602.19/602.41 c 597s| 1 | 0 |233964 | - | 58M| 0 |1703 |2077 |9009 |2077 |9041 |1614 | 0 | 0 | 1.854926e+03 | -- | Inf
606.49/606.70 c 601s| 1 | 0 |235448 | - | 58M| 0 |1673 |2077 |9009 |2077 |9052 |1625 | 0 | 0 | 1.855156e+03 | -- | Inf
612.69/612.99 c 607s| 1 | 0 |237414 | - | 58M| 0 |1675 |2077 |9009 |2077 |9064 |1637 | 0 | 0 | 1.855250e+03 | -- | Inf
619.29/619.59 c 614s| 1 | 0 |238443 | - | 58M| 0 |1685 |2077 |9009 |2077 |9069 |1642 | 0 | 0 | 1.855254e+03 | -- | Inf
625.29/625.50 c 620s| 1 | 0 |239231 | - | 58M| 0 |1718 |2077 |9009 |2077 |9075 |1648 | 0 | 0 | 1.855299e+03 | -- | Inf
631.88/632.12 c 626s| 1 | 0 |240651 | - | 58M| 0 |1678 |2077 |9009 |2077 |9048 |1654 | 0 | 0 | 1.855312e+03 | -- | Inf
637.38/637.68 c 632s| 1 | 0 |241941 | - | 58M| 0 |1680 |2077 |9009 |2077 |9055 |1661 | 0 | 0 | 1.855382e+03 | -- | Inf
641.39/641.68 c 636s| 1 | 0 |242245 | - | 58M| 0 |1694 |2077 |9009 |2077 |9066 |1672 | 0 | 0 | 1.855382e+03 | -- | Inf
646.18/646.47 c 641s| 1 | 0 |243048 | - | 58M| 0 |1671 |2077 |9009 |2077 |9073 |1679 | 0 | 0 | 1.855387e+03 | -- | Inf
655.07/655.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
655.07/655.36 c 649s| 1 | 0 |244938 | - | 58M| 0 |1681 |2077 |9009 |2077 |9078 |1684 | 0 | 0 | 1.855586e+03 | -- | Inf
663.68/663.93 c 658s| 1 | 0 |246921 | - | 58M| 0 |1662 |2077 |9009 |2077 |9094 |1700 | 0 | 0 | 1.855970e+03 | -- | Inf
671.27/671.60 c 666s| 1 | 0 |249086 | - | 58M| 0 |1664 |2077 |9009 |2077 |9062 |1709 | 0 | 0 | 1.856049e+03 | -- | Inf
679.08/679.30 c 673s| 1 | 0 |250485 | - | 58M| 0 |1652 |2077 |9009 |2077 |9075 |1722 | 0 | 0 | 1.856133e+03 | -- | Inf
684.67/684.92 c 679s| 1 | 0 |251632 | - | 58M| 0 |1676 |2077 |9009 |2077 |9084 |1731 | 0 | 0 | 1.856201e+03 | -- | Inf
690.57/690.85 c 685s| 1 | 0 |252096 | - | 58M| 0 |1681 |2077 |9009 |2077 |9092 |1739 | 0 | 0 | 1.856201e+03 | -- | Inf
696.56/696.82 c 691s| 1 | 0 |252609 | - | 58M| 0 |1685 |2077 |9009 |2077 |9099 |1746 | 0 | 0 | 1.856207e+03 | -- | Inf
703.26/703.59 c 697s| 1 | 0 |254063 | - | 58M| 0 |1664 |2077 |9009 |2077 |9109 |1756 | 0 | 0 | 1.856218e+03 | -- | Inf
708.96/709.28 c 703s| 1 | 0 |254266 | - | 58M| 0 |1683 |2077 |9009 |2077 |9090 |1762 | 0 | 0 | 1.856218e+03 | -- | Inf
715.16/715.41 c 709s| 1 | 0 |254827 | - | 58M| 0 |1685 |2077 |9009 |2077 |9096 |1768 | 0 | 0 | 1.856220e+03 | -- | Inf
720.85/721.19 c 715s| 1 | 0 |255121 | - | 58M| 0 |1694 |2077 |9009 |2077 |9103 |1775 | 0 | 0 | 1.856220e+03 | -- | Inf
726.45/726.76 c 720s| 1 | 0 |255358 | - | 58M| 0 |1721 |2077 |9009 |2077 |9108 |1780 | 0 | 0 | 1.856221e+03 | -- | Inf
755.55/755.89 c 749s| 1 | 2 |255358 | - | 58M| 0 |1721 |2077 |9009 |2077 |9108 |1780 | 0 | 20 | 1.856221e+03 | -- | Inf
780.64/781.00 c 774s| 10000 | 80 |255358 | 0.0 | 58M| 349 | - |2077 |9010 | 0 | 0 |1780 |6108 | 20 | 1.856641e+03 | -- | Inf
808.13/808.42 c 800s| 20000 | 81 |255358 | 0.0 | 59M| 349 | - |2077 |9026 | 0 | 0 |1780 | 12k| 20 | 1.856641e+03 | -- | Inf
834.51/834.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.51/834.83 c 826s| 30000 | 81 |255358 | 0.0 | 59M| 349 | - |2077 |9088 | 0 | 0 |1780 | 19k| 20 | 1.856641e+03 | -- | Inf
861.50/861.87 c 852s| 40000 | 77 |255358 | 0.0 | 59M| 349 | - |2077 |9115 | 0 | 0 |1780 | 26k| 20 | 1.856641e+03 | -- | Inf
888.49/888.84 c 878s| 50000 | 73 |255358 | 0.0 | 59M| 349 | - |2077 |9159 | 0 | 0 |1780 | 33k| 20 | 1.856641e+03 | -- | Inf
914.17/914.51 c 903s| 60000 | 76 |255358 | 0.0 | 59M| 349 | - |2077 |8996 | 0 | 0 |1780 | 39k| 20 | 1.856641e+03 | -- | Inf
941.77/942.16 c 930s| 70000 | 74 |255358 | 0.0 | 59M| 349 | - |2077 |8988 | 0 | 0 |1780 | 46k| 20 | 1.856641e+03 | -- | Inf
969.46/969.83 c 956s| 80000 | 73 |255358 | 0.0 | 59M| 349 | - |2077 |9002 | 0 | 0 |1780 | 52k| 20 | 1.856641e+03 | -- | Inf
997.55/997.91 c 984s| 90000 | 75 |255358 | 0.0 | 59M| 349 | - |2077 |9012 | 0 | 0 |1780 | 59k| 20 | 1.856641e+03 | -- | Inf
1025.24/1025.64 c 1010s|100000 | 72 |255358 | 0.0 | 59M| 349 | - |2077 |9067 | 0 | 0 |1780 | 65k| 20 | 1.856641e+03 | -- | Inf
1053.84/1054.25 c 1038s|110000 | 76 |255358 | 0.0 | 59M| 349 | - |2077 |9059 | 0 | 0 |1780 | 72k| 20 | 1.856641e+03 | -- | Inf
1081.33/1081.78 c 1065s|120000 | 71 |255358 | 0.0 | 59M| 349 | - |2077 |9073 | 0 | 0 |1780 | 78k| 20 | 1.856641e+03 | -- | Inf
1108.92/1109.35 c 1092s|130000 | 77 |255358 | 0.0 | 59M| 349 | - |2077 |9099 | 0 | 0 |1780 | 85k| 20 | 1.856641e+03 | -- | Inf
1136.50/1136.97 c 1118s|140000 | 82 |255358 | 0.0 | 59M| 349 | - |2077 |9189 | 0 | 0 |1780 | 91k| 20 | 1.856641e+03 | -- | Inf
1163.31/1163.76 c 1144s|150000 | 73 |255358 | 0.0 | 59M| 349 | - |2077 |9484 | 0 | 0 |1780 | 98k| 20 | 1.856641e+03 | -- | Inf
1188.39/1188.89 c 1169s|160000 | 76 |255358 | 0.0 | 59M| 349 | - |2077 |9999 | 0 | 0 |1780 | 105k| 20 | 1.856641e+03 | -- | Inf
1214.59/1215.04 c 1194s|170000 | 74 |255358 | 0.0 | 59M| 349 | - |2077 |9764 | 0 | 0 |1780 | 111k| 20 | 1.856641e+03 | -- | Inf
1242.87/1243.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1242.87/1243.32 c 1221s|180000 | 72 |255358 | 0.0 | 59M| 349 | - |2077 | 10k| 0 | 0 |1780 | 119k| 20 | 1.856641e+03 | -- | Inf
1268.67/1269.10 c 1246s|190000 | 70 |255358 | 0.0 | 59M| 349 | - |2077 | 10k| 0 | 0 |1780 | 126k| 20 | 1.856641e+03 | -- | Inf
1295.37/1295.82 c 1272s|200000 | 78 |255358 | 0.0 | 60M| 349 | - |2077 | 11k| 0 | 0 |1780 | 134k| 20 | 1.856641e+03 | -- | Inf
1319.95/1320.44 c 1296s|210000 | 72 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 142k| 20 | 1.856641e+03 | -- | Inf
1346.24/1346.71 c 1321s|220000 | 73 |255358 | 0.0 | 60M| 349 | - |2077 | 13k| 0 | 0 |1780 | 151k| 20 | 1.856641e+03 | -- | Inf
1371.84/1372.37 c 1346s|230000 | 78 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 158k| 20 | 1.856641e+03 | -- | Inf
1399.74/1400.24 c 1373s|240000 | 75 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 165k| 20 | 1.856641e+03 | -- | Inf
1424.42/1424.97 c 1397s|250000 | 67 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 172k| 20 | 1.856641e+03 | -- | Inf
1450.52/1451.02 c 1422s|260000 | 67 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 179k| 20 | 1.856641e+03 | -- | Inf
1478.61/1479.17 c 1450s|270000 | 68 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 186k| 20 | 1.856641e+03 | -- | Inf
1506.80/1507.34 c 1477s|280000 | 74 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 193k| 20 | 1.856641e+03 | -- | Inf
1534.59/1535.17 c 1504s|290000 | 69 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 200k| 20 | 1.856641e+03 | -- | Inf
1561.39/1561.92 c 1530s|300000 | 69 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 207k| 20 | 1.856641e+03 | -- | Inf
1587.97/1588.57 c 1556s|310000 | 65 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 213k| 20 | 1.856641e+03 | -- | Inf
1614.56/1615.15 c 1581s|320000 | 67 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 220k| 20 | 1.856641e+03 | -- | Inf
1642.96/1643.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.96/1643.58 c 1609s|330000 | 84 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 226k| 20 | 1.856641e+03 | -- | Inf
1667.15/1667.75 c 1632s|340000 | 69 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 232k| 20 | 1.856641e+03 | -- | Inf
1692.25/1692.83 c 1657s|350000 | 74 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 239k| 20 | 1.856641e+03 | -- | Inf
1717.54/1718.13 c 1681s|360000 | 79 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 245k| 20 | 1.856641e+03 | -- | Inf
1743.63/1744.29 c 1706s|370000 | 71 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 252k| 20 | 1.856641e+03 | -- | Inf
1769.92/1770.51 c 1732s|380000 | 72 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 259k| 20 | 1.856641e+03 | -- | Inf
1795.32/1795.97 c 1756s|390000 | 66 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 266k| 20 | 1.856641e+03 | -- | Inf
1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.61 c
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time (sec) : 1760.93
1800.02/1800.61 c Solving Nodes : 391796
1800.02/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.61 c Dual Bound : +1.85664106831224e+03
1800.02/1800.61 c Gap : infinite
1800.02/1800.61 s UNKNOWN
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time : 1760.93
1800.02/1800.61 c Original Problem :
1800.02/1800.61 c Problem name : HOME/instance-2666079-1276426032.opb
1800.02/1800.61 c Variables : 3862 (3862 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 16399 initial, 16399 maximal
1800.02/1800.61 c Presolved Problem :
1800.02/1800.61 c Problem name : t_HOME/instance-2666079-1276426032.opb
1800.02/1800.61 c Variables : 2077 (2077 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 9009 initial, 14399 maximal
1800.02/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.61 c trivial : 0.02 1 0 0 0 0 0 0 0
1800.02/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c implics : 0.02 0 61 0 0 0 0 0 0
1800.02/1800.61 c probing : 0.67 241 570 0 0 0 0 0 0
1800.02/1800.61 c linear : 0.27 909 3 0 909 0 6007 31 24
1800.02/1800.61 c logicor : 0.72 0 0 0 1 0 1383 0 0
1800.02/1800.61 c root node : - 11 - - 11 - - - -
1800.02/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.02/1800.61 c logicor : 9009+ 86 5793466 0 0 203263 29879529 0 0 0
1800.02/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.61 c integral : 28.77 0.00 0.00 28.77 0.00
1800.02/1800.61 c logicor : 286.87 0.17 286.70 0.00 0.00
1800.02/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.61 c vbounds : 2.96 2 0 0
1800.02/1800.61 c rootredcost : 3.29 0 0 0
1800.02/1800.61 c pseudoobj : 416.93 5972080 0 0
1800.02/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.61 c propagation : 100.17 203181 203181 203181 34.9 63891 17.1 -
1800.02/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.61 c applied globally : - - - 267072 30.7 - - -
1800.02/1800.61 c applied locally : - - - 0 0.0 - - -
1800.02/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.61 c cut pool : 1.16 85 - - 987 - (maximal pool size: 9182)
1800.02/1800.61 c redcost : 0.01 86 0 0 0 0
1800.02/1800.61 c impliedbounds : 0.18 86 0 0 915 0
1800.02/1800.61 c intobj : 0.00 0 0 0 0 0
1800.02/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.61 c gomory : 285.89 86 0 0 17237 0
1800.02/1800.61 c strongcg : 12.96 20 0 0 10000 0
1800.02/1800.61 c cmir : 0.87 10 0 0 0 0
1800.02/1800.61 c flowcover : 1.02 10 0 0 0 0
1800.02/1800.61 c clique : 2.34 86 0 0 611 0
1800.02/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.61 c mcf : 0.01 1 0 0 0 0
1800.02/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.61 c Pricers : Time Calls Vars
1800.02/1800.61 c problem variables: 0.00 0 0
1800.02/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c relpscost : 28.77 1 0 0 0 0 2
1800.02/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c inference : 103.62 273706 0 0 0 0 547412
1800.02/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c random : 0.00 0 0 0 0 0 0
1800.02/1800.61 c Primal Heuristics : Time Calls Found
1800.02/1800.61 c LP solutions : 0.00 - 0
1800.02/1800.61 c pseudo solutions : 0.00 - 0
1800.02/1800.61 c oneopt : 0.36 0 0
1800.02/1800.61 c crossover : 0.00 0 0
1800.02/1800.61 c trivial : 0.01 2 0
1800.02/1800.61 c simplerounding : 0.00 0 0
1800.02/1800.61 c zirounding : 0.00 1 0
1800.02/1800.61 c rounding : 0.34 87 0
1800.02/1800.61 c shifting : 1.28 87 0
1800.02/1800.61 c intshifting : 0.00 0 0
1800.02/1800.61 c twoopt : 0.00 0 0
1800.02/1800.61 c fixandinfer : 0.00 0 0
1800.02/1800.61 c feaspump : 0.08 1 0
1800.02/1800.61 c coefdiving : 0.00 0 0
1800.02/1800.61 c pscostdiving : 0.00 0 0
1800.02/1800.61 c fracdiving : 0.00 0 0
1800.02/1800.61 c veclendiving : 0.00 0 0
1800.02/1800.61 c intdiving : 0.00 0 0
1800.02/1800.61 c actconsdiving : 0.00 0 0
1800.02/1800.61 c objpscostdiving : 0.00 0 0
1800.02/1800.61 c rootsoldiving : 0.00 0 0
1800.02/1800.61 c linesearchdiving : 0.00 0 0
1800.02/1800.61 c guideddiving : 0.00 0 0
1800.02/1800.61 c octane : 0.00 0 0
1800.02/1800.61 c rens : 0.01 0 0
1800.02/1800.61 c rins : 0.00 0 0
1800.02/1800.61 c localbranching : 0.00 0 0
1800.02/1800.61 c mutation : 0.00 0 0
1800.02/1800.61 c dins : 0.00 0 0
1800.02/1800.61 c undercover : 0.00 0 0
1800.02/1800.61 c nlp : 0.32 0 0
1800.02/1800.61 c trysol : 0.26 0 0
1800.02/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.61 c primal LP : 0.19 0 0 0.00 0.00
1800.02/1800.61 c dual LP : 411.31 87 255358 2935.15 620.84
1800.02/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.61 c diving/probing LP: 0.04 0 0 0.00 0.00
1800.02/1800.61 c strong branching : 28.77 20 17576 878.80 610.91
1800.02/1800.61 c (at root node) : - 20 17576 878.80 -
1800.02/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.61 c B&B Tree :
1800.02/1800.61 c number of runs : 1
1800.02/1800.61 c nodes : 391796
1800.02/1800.61 c nodes (total) : 391796
1800.02/1800.61 c nodes left : 87
1800.02/1800.61 c max depth : 349
1800.02/1800.61 c max depth (total): 349
1800.02/1800.61 c backtracks : 111328 (28.4%)
1800.02/1800.61 c delayed cutoffs : 155532
1800.02/1800.61 c repropagations : 350496 (14205393 domain reductions, 85092 cutoffs)
1800.02/1800.61 c avg switch length: 2.89
1800.02/1800.61 c switching time : 118.88
1800.02/1800.61 c Solution :
1800.02/1800.61 c Solutions found : 0 (0 improvements)
1800.02/1800.61 c Primal Bound : -
1800.02/1800.61 c Dual Bound : +1.85664106831224e+03
1800.02/1800.61 c Gap : infinite
1800.02/1800.61 c Root Dual Bound : +1.85622112078595e+03
1800.02/1800.61 c Root Iterations : 255358
1800.12/1800.73 c Time complete: 1800.14.
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-2666079-1276426032/watcher-2666079-1276426032 -o /tmp/evaluation-result-2666079-1276426032/solver-2666079-1276426032 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666079-1276426032.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: 1.21 1.05 1.01 3/106 21277 /proc/meminfo: memFree=1847696/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=8260 CPUtime=0 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 1004 0 0 0 0 0 0 0 18 0 1 0 18204926 8458240 925 1992294400 4194304 9819077 140735151419984 18446744073709551615 8678244 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21277/statm: 2065 926 366 1374 0 686 0 [startup+0.0514769 s] /proc/loadavg: 1.21 1.05 1.01 3/106 21277 /proc/meminfo: memFree=1847696/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=15132 CPUtime=0.04 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 2719 0 0 0 4 0 0 0 20 0 1 0 18204926 15495168 2639 1992294400 4194304 9819077 140735151419984 18446744073709551615 5648995 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21277/statm: 3783 2639 388 1374 0 2404 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15132 [startup+0.100481 s] /proc/loadavg: 1.21 1.05 1.01 3/106 21277 /proc/meminfo: memFree=1847696/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=16032 CPUtime=0.09 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 2950 0 0 0 9 0 0 0 20 0 1 0 18204926 16416768 2870 1992294400 4194304 9819077 140735151419984 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21277/statm: 4008 2870 388 1374 0 2629 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16032 [startup+0.300502 s] /proc/loadavg: 1.21 1.05 1.01 3/106 21277 /proc/meminfo: memFree=1847696/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=21276 CPUtime=0.29 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 4278 0 0 0 28 1 0 0 20 0 1 0 18204926 21786624 4198 1992294400 4194304 9819077 140735151419984 18446744073709551615 8631722 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21277/statm: 5319 4198 388 1374 0 3940 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21276 [startup+0.700546 s] /proc/loadavg: 1.21 1.05 1.01 3/106 21277 /proc/meminfo: memFree=1847696/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=41476 CPUtime=0.69 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 11851 0 0 0 58 11 0 0 21 0 1 0 18204926 42471424 9008 1992294400 4194304 9819077 140735151419984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 10369 9008 496 1374 0 8990 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41476 [startup+1.50064 s] /proc/loadavg: 1.21 1.05 1.01 2/107 21278 /proc/meminfo: memFree=1807512/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=46908 CPUtime=1.49 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 20531 0 0 0 124 25 0 0 23 0 1 0 18204926 48033792 10403 1992294400 4194304 9819077 140735151419984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 11727 10403 510 1374 0 10348 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46908 [startup+3.10081 s] /proc/loadavg: 1.21 1.05 1.01 2/107 21278 /proc/meminfo: memFree=1806768/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=63692 CPUtime=3.09 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 33177 0 0 0 269 40 0 0 25 0 1 0 18204926 65220608 13142 1992294400 4194304 9819077 140735151419984 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 15923 13142 635 1374 0 14544 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 63692 [startup+6.30116 s] /proc/loadavg: 1.19 1.05 1.01 2/107 21278 /proc/meminfo: memFree=1792508/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=72016 CPUtime=6.29 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 40037 0 0 0 584 45 0 0 25 0 1 0 18204926 73744384 14964 1992294400 4194304 9819077 140735151419984 18446744073709551615 6192354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 18004 14964 676 1374 0 16625 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 72016 [startup+12.7009 s] /proc/loadavg: 1.17 1.05 1.01 2/107 21278 /proc/meminfo: memFree=1786432/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=76476 CPUtime=12.69 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 51558 0 0 0 1216 53 0 0 25 0 1 0 18204926 78311424 15916 1992294400 4194304 9819077 140735151419984 18446744073709551615 6698772 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 19119 15916 676 1374 0 17740 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76476 [startup+25.5003 s] /proc/loadavg: 1.13 1.04 1.01 2/107 21278 /proc/meminfo: memFree=1782216/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=80684 CPUtime=25.48 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 73990 0 0 0 2479 69 0 0 25 0 1 0 18204926 82620416 16834 1992294400 4194304 9819077 140735151419984 18446744073709551615 6196069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 20171 16834 676 1374 0 18792 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 80684 [startup+51.1011 s] /proc/loadavg: 1.09 1.04 1.01 2/107 21280 /proc/meminfo: memFree=1771056/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=92088 CPUtime=51.08 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 114996 0 0 0 5011 97 0 0 25 0 1 0 18204926 94298112 19423 1992294400 4194304 9819077 140735151419984 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 23022 19423 676 1374 0 21643 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 92088 [startup+102.308 s] /proc/loadavg: 1.04 1.03 1.00 2/107 21280 /proc/meminfo: memFree=1759896/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=104880 CPUtime=102.27 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 184531 0 0 0 10082 145 0 0 25 0 1 0 18204926 107397120 22386 1992294400 4194304 9819077 140735151419984 18446744073709551615 6059637 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 26220 22386 680 1374 0 24841 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 104880 [startup+162.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 21282 /proc/meminfo: memFree=1750100/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=114312 CPUtime=162.25 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 249143 0 0 0 16029 196 0 0 25 0 1 0 18204926 117055488 24843 1992294400 4194304 9819077 140735151419984 18446744073709551615 8494900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 28578 24843 680 1374 0 27199 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 114312 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 21284 /proc/meminfo: memFree=1745760/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=117088 CPUtime=222.22 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 311129 0 0 0 21977 245 0 0 25 0 1 0 18204926 119898112 26060 1992294400 4194304 9819077 140735151419984 18446744073709551615 6198376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 29272 26060 680 1374 0 27893 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 117088 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 21286 /proc/meminfo: memFree=1745884/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=117600 CPUtime=282.21 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 372646 0 0 0 27926 295 0 0 25 0 1 0 18204926 120422400 25858 1992294400 4194304 9819077 140735151419984 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 29400 25858 680 1374 0 28021 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 117600 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21286 /proc/meminfo: memFree=1745636/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=116668 CPUtime=342.19 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 432551 0 0 0 33877 342 0 0 25 0 1 0 18204926 119468032 25819 1992294400 4194304 9819077 140735151419984 18446744073709551615 7291139 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 29167 25819 680 1374 0 27788 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 116668 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21288 /proc/meminfo: memFree=1744272/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=117976 CPUtime=402.17 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 489376 0 0 0 39832 385 0 0 25 0 1 0 18204926 120807424 26217 1992294400 4194304 9819077 140735151419984 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 29494 26217 680 1374 0 28115 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 117976 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21290 /proc/meminfo: memFree=1744520/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=117700 CPUtime=462.15 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 536561 0 0 0 45787 428 0 0 25 0 1 0 18204926 120524800 26130 1992294400 4194304 9819077 140735151419984 18446744073709551615 7311930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 29425 26130 680 1374 0 28046 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 117700 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21292 /proc/meminfo: memFree=1743652/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=117496 CPUtime=522.12 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 582148 0 0 0 51745 467 0 0 25 0 1 0 18204926 120315904 26088 1992294400 4194304 9819077 140735151419984 18446744073709551615 7311865 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 29374 26088 680 1374 0 27995 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 117496 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21294 /proc/meminfo: memFree=1744148/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=117620 CPUtime=582.11 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 618518 0 0 0 57710 501 0 0 25 0 1 0 18204926 120442880 26416 1992294400 4194304 9819077 140735151419984 18446744073709551615 7296118 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 29405 26416 680 1374 0 28026 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 117620 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21294 /proc/meminfo: memFree=1743280/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=118496 CPUtime=642.09 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 659214 0 0 0 63672 537 0 0 25 0 1 0 18204926 121339904 26385 1992294400 4194304 9819077 140735151419984 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 29624 26385 680 1374 0 28245 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 118496 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21311 /proc/meminfo: memFree=1731624/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=129708 CPUtime=881.99 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 745965 0 0 0 87190 1009 0 0 25 0 1 0 18204926 132820992 29182 1992294400 4194304 9819077 140735151419984 18446744073709551615 4704749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 32427 29182 699 1374 0 31048 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 129708 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21311 /proc/meminfo: memFree=1730012/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=131556 CPUtime=941.96 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 746373 0 0 0 92998 1198 0 0 25 0 1 0 18204926 134713344 29590 1992294400 4194304 9819077 140735151419984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 32889 29590 699 1374 0 31510 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 131556 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21313 /proc/meminfo: memFree=1728152/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=133468 CPUtime=1001.95 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 746854 0 0 0 98812 1383 0 0 25 0 1 0 18204926 136671232 30071 1992294400 4194304 9819077 140735151419984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 33367 30071 699 1374 0 31988 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 133468 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21315 /proc/meminfo: memFree=1727160/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=134492 CPUtime=1061.93 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 747090 0 0 0 104622 1571 0 0 25 0 1 0 18204926 137719808 30307 1992294400 4194304 9819077 140735151419984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 33623 30307 699 1374 0 32244 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 134492 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21317 /proc/meminfo: memFree=1726044/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=135648 CPUtime=1121.91 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 747361 0 0 0 110438 1753 0 0 25 0 1 0 18204926 138903552 30578 1992294400 4194304 9819077 140735151419984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 33912 30578 699 1374 0 32533 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 135648 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21319 /proc/meminfo: memFree=1725672/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=136076 CPUtime=1181.89 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 747436 0 0 0 116248 1941 0 0 25 0 1 0 18204926 139341824 30653 1992294400 4194304 9819077 140735151419984 18446744073709551615 5919100 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 34019 30653 699 1374 0 32640 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 136076 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21319 /proc/meminfo: memFree=1725176/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=136352 CPUtime=1241.87 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 747519 0 0 0 122061 2126 0 0 25 0 1 0 18204926 139624448 30736 1992294400 4194304 9819077 140735151419984 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 34088 30736 699 1374 0 32709 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 136352 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21321 /proc/meminfo: memFree=1724432/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=137064 CPUtime=1301.87 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 747685 0 0 0 127863 2324 0 0 25 0 1 0 18204926 140353536 30902 1992294400 4194304 9819077 140735151419984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 34266 30902 699 1374 0 32887 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 137064 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21323 /proc/meminfo: memFree=1724060/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=137440 CPUtime=1361.84 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 747777 0 0 0 133657 2527 0 0 25 0 1 0 18204926 140738560 30994 1992294400 4194304 9819077 140735151419984 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 34360 30994 699 1374 0 32981 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 137440 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21325 /proc/meminfo: memFree=1723936/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=137600 CPUtime=1421.83 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 747819 0 0 0 139474 2709 0 0 25 0 1 0 18204926 140902400 31036 1992294400 4194304 9819077 140735151419984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 34400 31036 699 1374 0 33021 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 137600 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21327 /proc/meminfo: memFree=1723440/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=138192 CPUtime=1481.81 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 747933 0 0 0 145292 2889 0 0 25 0 1 0 18204926 141508608 31150 1992294400 4194304 9819077 140735151419984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 34548 31150 699 1374 0 33169 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 138192 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21327 /proc/meminfo: memFree=1723316/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=138192 CPUtime=1541.78 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 747950 0 0 0 151105 3073 0 0 25 0 1 0 18204926 141508608 31167 1992294400 4194304 9819077 140735151419984 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 34548 31167 699 1374 0 33169 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 138192 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21329 /proc/meminfo: memFree=1722944/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=138744 CPUtime=1601.77 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 748044 0 0 0 156924 3253 0 0 25 0 1 0 18204926 142073856 31261 1992294400 4194304 9819077 140735151419984 18446744073709551615 4642980 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 34686 31261 699 1374 0 33307 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 138744 [startup+1662.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 21334 /proc/meminfo: memFree=1722448/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=138900 CPUtime=1661.75 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 748094 0 0 0 162736 3439 0 0 25 0 1 0 18204926 142233600 31311 1992294400 4194304 9819077 140735151419984 18446744073709551615 5507249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 34725 31311 699 1374 0 33346 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 138900 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 21336 /proc/meminfo: memFree=1722200/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=139216 CPUtime=1721.73 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 748151 0 0 0 168546 3627 0 0 25 0 1 0 18204926 142557184 31368 1992294400 4194304 9819077 140735151419984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 34804 31368 699 1374 0 33425 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 139216 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21338 /proc/meminfo: memFree=1721952/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=139364 CPUtime=1781.72 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 748183 0 0 0 174350 3822 0 0 25 0 1 0 18204926 142708736 31400 1992294400 4194304 9819077 140735151419984 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 34841 31400 699 1374 0 33462 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 139364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21338 /proc/meminfo: memFree=1721828/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=139508 CPUtime=1800.02 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 748213 0 0 0 176120 3882 0 0 25 0 1 0 18204926 142856192 31430 1992294400 4194304 9819077 140735151419984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21277/statm: 34877 31430 699 1374 0 33498 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 139508 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21338 /proc/meminfo: memFree=1721828/2059040 swapFree=4140380/4192956 [pid=21277] ppid=21275 vsize=58496 CPUtime=1800.12 /proc/21277/stat : 21277 (pbscip.linux.x8) R 21275 21277 21207 0 -1 4202496 748246 0 0 0 176129 3883 0 0 25 0 1 0 18204926 59899904 13549 1992294400 4194304 9819077 140735151419984 18446744073709551615 4212062 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21277/statm: 14624 13549 705 1374 0 13245 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 58496 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.15 CPU user time (s): 1761.31 CPU system time (s): 38.8451 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 139508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1761.31 system time used= 38.8451 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 748250 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= 3 involuntary context switches= 7100 runsolver used 3.22751 second user time and 8.27074 second system time The end
Begin job on node009 at 2010-06-13 12:47:12 IDJOB=2666079 IDBENCH=2095 IDSOLVER=1168 FILE ID=node009/2666079-1276426032 PBS_JOBID= 11173311 Free space on /tmp= 62444 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666079-1276426032/watcher-2666079-1276426032 -o /tmp/evaluation-result-2666079-1276426032/solver-2666079-1276426032 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666079-1276426032.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e569a703dfec131c012510753e8401ab RANDOM SEED=1296262575 node009.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.199 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.39 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.199 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1848100 kB Buffers: 23652 kB Cached: 109016 kB SwapCached: 6004 kB Active: 80544 kB Inactive: 64848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1848100 kB SwapTotal: 4192956 kB SwapFree: 4140380 kB Dirty: 7104 kB Writeback: 0 kB AnonPages: 10928 kB Mapped: 13028 kB Slab: 43708 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179800 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= 62436 MiB End job on node009 at 2010-06-13 13:17:14