Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | OPTIMUM | 146.321 | 146.347 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-0-100-0.wbo |
| MD5SUM | 17c8063899ee49ebb532fe8c9b769f44 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.035994 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1804 |
| Total number of constraints | 4931 |
| Number of soft constraints | 4931 |
| Number of constraints which are clauses | 4707 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 224 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 9 |
| Top cost | 248953 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 248952 |
| Biggest number in a constraint | 19 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 64 |
| Number of bits of the biggest sum of numbers | 7 |
| 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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3717394-1338201637.wbo>
0.00/0.02 c original problem has 6735 variables (6735 bin, 0 int, 0 impl, 0 cont) and 4932 constraints
0.00/0.02 c problem read in 0.02
0.06/0.09 o 248952
0.06/0.09 c feasible solution found by trivial heuristic, objective value 2.489520e+05
0.06/0.09 c presolving:
0.09/0.11 c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.12 c (round 2) 0 del vars, 1 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.16 c (0.2s) probing: 51/6735 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.16 c presolving (3 rounds):
0.09/0.16 c 0 deleted vars, 1 deleted constraints, 0 added constraints, 4931 tightened bounds, 0 added holes, 112 changed sides, 224 changed coefficients
0.09/0.16 c 4931 implications, 0 cliques
0.09/0.16 c presolved problem has 11666 variables (6735 bin, 0 int, 4931 impl, 0 cont) and 9862 constraints
0.09/0.16 c 4931 constraints of type <linear>
0.09/0.16 c 4931 constraints of type <indicator>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.12
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 2.1.1.4
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1797
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 13950
0.09/0.16 c
0.09/0.16 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.16 c # [type: int, range: [1,2], default: 1]
0.09/0.16 c timing/clocktype = 2
0.09/0.16 c
0.09/0.16 c # belongs reading time to solving time?
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c timing/reading = TRUE
0.09/0.16 c
0.09/0.16 c # force restart if we have a max FS instance and gap is 1?
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/indicator/forcerestart = TRUE
0.09/0.16 c
0.09/0.16 c # priority of branching rule <inference>
0.09/0.16 c # [type: int, range: [-536870912,536870911], default: 1000]
0.09/0.16 c branching/inference/priority = 1000000
0.09/0.16 c
0.09/0.16 c # frequency offset for calling primal heuristic <coefdiving>
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1]
0.09/0.16 c heuristics/coefdiving/freqofs = 0
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.16 c heuristics/shiftandpropagate/freq = -1
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.16 c heuristics/undercover/freq = -1
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c heuristics/indrounding/freq = 1
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.18 c
0.09/0.19 o 11000
0.09/0.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.19 c 6 0.2s| 1 | 0 | 0 | - | 29M| 0 | - | 11k|9862 | 0 | 0 | 0 | 0 | 0 | -- | 1.100000e+04 | Inf
1.28/1.30 o 2022
1.28/1.30 c 6 1.3s| 1 | 0 | 0 | - | 29M| 0 | - | 11k|9862 | 0 | 0 | 0 | 0 | 0 | -- | 2.022000e+03 | Inf
1.39/1.42 c 1.4s| 1 | 0 | 1429 | - | 38M| 0 | 624 | 11k|9862 | 11k|9862 | 0 | 0 | 0 | 0.000000e+00 | 2.022000e+03 | Inf
1.49/1.51 o 1724
1.49/1.51 c 6 1.5s| 1 | 0 | 1429 | - | 39M| 0 | 624 | 11k|9862 | 11k|9862 | 0 | 0 | 0 | 0.000000e+00 | 1.724000e+03 | Inf
1.88/1.94 c 1.9s| 1 | 0 | 2029 | - | 39M| 0 | 723 | 11k|9862 | 11k|9896 | 34 | 0 | 0 | 0.000000e+00 | 1.724000e+03 | Inf
1.88/1.98 o 1696
1.88/1.98 c 6 2.0s| 1 | 0 | 2029 | - | 39M| 0 | 723 | 11k|9862 | 11k|9896 | 34 | 0 | 0 | 0.000000e+00 | 1.696000e+03 | Inf
2.38/2.42 c 2.4s| 1 | 0 | 2256 | - | 40M| 0 | 747 | 11k|9862 | 11k|9982 | 120 | 0 | 0 | 0.000000e+00 | 1.696000e+03 | Inf
2.38/2.45 o 1679
2.38/2.45 c 6 2.5s| 1 | 0 | 2256 | - | 40M| 0 | 747 | 11k|9862 | 11k|9982 | 120 | 0 | 0 | 0.000000e+00 | 1.679000e+03 | Inf
2.99/3.00 c 3.0s| 1 | 0 | 2908 | - | 40M| 0 | 810 | 11k|9862 | 11k| 10k| 204 | 0 | 0 | 0.000000e+00 | 1.679000e+03 | Inf
3.59/3.66 c 3.7s| 1 | 0 | 3746 | - | 41M| 0 | 826 | 11k|9862 | 11k| 10k| 272 | 0 | 0 | 0.000000e+00 | 1.679000e+03 | Inf
4.39/4.44 c 4.4s| 1 | 0 | 4368 | - | 41M| 0 | 858 | 11k|9862 | 11k| 10k| 307 | 0 | 0 | 0.000000e+00 | 1.679000e+03 | Inf
6.49/6.56 c 6.6s| 1 | 0 | 7542 | - | 42M| 0 | 863 | 11k|9862 | 11k| 10k| 358 | 0 | 0 | 0.000000e+00 | 1.679000e+03 | Inf
10.69/10.77 o 1660
10.69/10.77 c c10.8s| 1 | 0 | 18779 | - | 43M| 0 | - | 11k|9862 | 11k| 10k| 358 | 0 | 0 | 0.000000e+00 | 1.660000e+03 | Inf
10.79/10.80 o 1563
10.79/10.80 c c10.8s| 1 | 0 | 18785 | - | 44M| 0 | - | 11k|9862 | 11k| 10k| 358 | 0 | 0 | 0.000000e+00 | 1.563000e+03 | Inf
10.79/10.82 o 1539
10.79/10.82 c c10.8s| 1 | 0 | 18791 | - | 44M| 0 | - | 11k|9862 | 11k| 10k| 358 | 0 | 0 | 0.000000e+00 | 1.539000e+03 | Inf
11.58/11.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.58/11.62 c 11.6s| 1 | 0 | 19210 | - | 46M| 0 | 863 | 11k|9875 | 11k| 10k| 358 | 13 | 0 | 0.000000e+00 | 1.539000e+03 | Inf
11.79/11.88 o 200
11.79/11.88 c 611.9s| 1 | 0 | 19210 | - | 47M| 0 | 863 | 11k|9875 | 11k| 10k| 358 | 13 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
13.68/13.75 c 13.7s| 1 | 0 | 20003 | - | 47M| 0 | 905 | 11k|9875 | 11k| 10k| 399 | 13 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
13.68/13.80 o 134
13.68/13.80 c 613.8s| 1 | 0 | 20003 | - | 47M| 0 | 905 | 11k|9875 | 11k| 10k| 399 | 13 | 0 | 0.000000e+00 | 1.340000e+02 | Inf
13.78/13.80 c 13.8s| 1 | 2 | 20003 | - | 47M| 0 | 905 | 11k|9875 | 11k| 10k| 399 | 13 | 0 | 0.000000e+00 | 1.340000e+02 | Inf
128.07/128.19 c 128s| 100 | 101 |363076 |3583.2 | 67M| 41 | 465 | 11k|9915 | 11k|9975 | 399 | 53 | 0 | 0.000000e+00 | 1.340000e+02 | Inf
134.07/134.15 o 129
134.07/134.15 c * 134s| 162 | 157 |377583 |2293.5 | 69M| 68 | - | 11k|9939 | 11k|9975 | 399 | 77 | 0 | 0.000000e+00 | 1.290000e+02 | Inf
134.07/134.19 o 34
134.07/134.19 c 6 134s| 162 | 103 |377583 |2293.5 | 68M| 68 | - | 11k|9939 | 11k|9975 | 399 | 77 | 0 | 0.000000e+00 | 3.400000e+01 | Inf
135.07/135.13 o 32
135.07/135.13 c l 135s| 170 | 108 |379923 |2198.7 | 67M| 68 | - | 11k|6616 | 11k|9975 | 399 | 82 | 0 | 0.000000e+00 | 3.200000e+01 | Inf
137.47/137.51 o 31
137.47/137.51 c c 138s| 179 | 117 |383936 |2110.1 | 67M| 68 | - | 11k|6509 | 11k|9975 | 399 | 90 | 0 | 0.000000e+00 | 3.100000e+01 | Inf
137.47/137.55 o 3
137.47/137.55 c 6 138s| 180 | 112 |383936 |2098.3 | 66M| 68 | - | 11k|6509 | 0 | 0 | 399 | 90 | 0 | 0.000000e+00 | 3.000000e+00 | Inf
137.47/137.57 c Forcing restart, since 4438 binary variables among 4931 have been fixed.
137.56/137.61 c (run 1, node 181) performing user restart
137.56/137.61 c
137.56/137.63 c (restart) converted 5044 cuts from the global cut pool into linear constraints
137.56/137.63 c
137.56/137.69 c presolving:
137.76/137.84 c (round 1) 9684 del vars, 6260 del conss, 0 add conss, 1416 chg bounds, 0 chg sides, 14 chg coeffs, 0 upgd conss, 46406 impls, 0 clqs
137.76/137.86 c (round 2) 9874 del vars, 6666 del conss, 0 add conss, 1507 chg bounds, 0 chg sides, 38 chg coeffs, 0 upgd conss, 82002 impls, 0 clqs
137.76/137.87 c (round 3) 9903 del vars, 6927 del conss, 0 add conss, 1512 chg bounds, 0 chg sides, 38 chg coeffs, 0 upgd conss, 82330 impls, 0 clqs
137.76/137.87 c (round 4) 9903 del vars, 6945 del conss, 0 add conss, 1512 chg bounds, 0 chg sides, 38 chg coeffs, 0 upgd conss, 82378 impls, 0 clqs
137.86/137.90 c (round 5) 9903 del vars, 6954 del conss, 0 add conss, 1512 chg bounds, 0 chg sides, 38 chg coeffs, 4315 upgd conss, 82378 impls, 0 clqs
137.86/137.93 c (round 6) 9903 del vars, 10611 del conss, 1213 add conss, 1512 chg bounds, 0 chg sides, 40 chg coeffs, 4315 upgd conss, 82378 impls, 0 clqs
137.86/137.94 c (round 7) 9940 del vars, 10687 del conss, 1289 add conss, 1512 chg bounds, 0 chg sides, 40 chg coeffs, 4319 upgd conss, 84887 impls, 17 clqs
137.86/137.94 c (round 8) 9959 del vars, 10694 del conss, 1289 add conss, 1512 chg bounds, 0 chg sides, 43 chg coeffs, 4327 upgd conss, 85153 impls, 91 clqs
137.86/137.95 c (round 9) 9965 del vars, 10702 del conss, 1289 add conss, 1512 chg bounds, 0 chg sides, 47 chg coeffs, 4327 upgd conss, 85155 impls, 91 clqs
137.86/137.95 c (round 10) 9980 del vars, 10743 del conss, 1328 add conss, 1512 chg bounds, 0 chg sides, 47 chg coeffs, 4328 upgd conss, 86929 impls, 91 clqs
137.86/137.96 c (round 11) 9984 del vars, 10759 del conss, 1328 add conss, 1512 chg bounds, 0 chg sides, 48 chg coeffs, 4330 upgd conss, 86929 impls, 94 clqs
137.86/137.96 c (round 12) 9985 del vars, 10760 del conss, 1328 add conss, 1512 chg bounds, 0 chg sides, 49 chg coeffs, 4330 upgd conss, 86929 impls, 94 clqs
137.86/137.96 c (round 13) 9986 del vars, 10774 del conss, 1342 add conss, 1512 chg bounds, 0 chg sides, 49 chg coeffs, 4330 upgd conss, 86969 impls, 94 clqs
137.96/138.01 c (round 14) 9994 del vars, 10791 del conss, 1343 add conss, 1512 chg bounds, 0 chg sides, 49 chg coeffs, 4330 upgd conss, 88362 impls, 94 clqs
137.96/138.06 c (round 15) 9995 del vars, 10801 del conss, 1352 add conss, 1512 chg bounds, 0 chg sides, 49 chg coeffs, 4331 upgd conss, 88362 impls, 94 clqs
137.96/138.10 c (round 16) 9995 del vars, 10802 del conss, 1352 add conss, 1512 chg bounds, 0 chg sides, 49 chg coeffs, 4332 upgd conss, 88362 impls, 102 clqs
138.06/138.13 c presolving (17 rounds):
138.06/138.13 c 9995 deleted vars, 10802 deleted constraints, 1352 added constraints, 1512 tightened bounds, 0 added holes, 0 changed sides, 49 changed coefficients
138.06/138.13 c 88362 implications, 103 cliques
138.06/138.13 c presolved problem has 1671 variables (1552 bin, 0 int, 119 impl, 0 cont) and 2091 constraints
138.06/138.13 c 119 constraints of type <varbound>
138.06/138.13 c 278 constraints of type <knapsack>
138.06/138.13 c 300 constraints of type <setppc>
138.06/138.13 c 1021 constraints of type <and>
138.06/138.13 c 136 constraints of type <linear>
138.06/138.13 c 119 constraints of type <indicator>
138.06/138.13 c 97 constraints of type <logicor>
138.06/138.13 c 21 constraints of type <bounddisjunction>
138.06/138.13 c transformed objective value is always integral (scale: 1)
138.06/138.13 c Presolving Time: 0.61
138.06/138.14 c
138.06/138.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.06/138.17 c 138s| 1 | 0 |384454 | - | 61M| 0 | 328 |1671 |2091 |1671 |3085 | 0 | 90 | 0 | 0.000000e+00 | 3.000000e+00 | Inf
139.36/139.42 o 1
139.36/139.42 c Forcing restart, since the absolute gap is 1.000000.
139.36/139.42 c y 139s| 1 | 0 |384454 | - | 62M| 0 | 328 |1671 |2091 |1671 |3085 | 0 | 90 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
139.46/139.52 c 140s| 1 | 0 |385211 | - | 63M| 0 | 579 |1671 |3234 |1671 |3174 | 340 | 90 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
139.46/139.52 c 140s| 1 | 2 |385211 | - | 63M| 0 | 579 |1671 |3234 |1671 |3174 | 340 | 90 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
139.46/139.52 c (run 2, node 1) performing user restart
139.46/139.52 c
139.46/139.53 c (restart) converted 138 cuts from the global cut pool into linear constraints
139.46/139.53 c
139.46/139.53 c presolving:
139.46/139.54 c (round 1) 263 del vars, 10 del conss, 2 add conss, 8 chg bounds, 1 chg sides, 22 chg coeffs, 0 upgd conss, 91995 impls, 107 clqs
139.46/139.55 c (round 2) 284 del vars, 43 del conss, 2 add conss, 8 chg bounds, 1 chg sides, 26 chg coeffs, 1 upgd conss, 92147 impls, 105 clqs
139.46/139.55 c (round 3) 288 del vars, 53 del conss, 2 add conss, 8 chg bounds, 1 chg sides, 28 chg coeffs, 1 upgd conss, 92147 impls, 105 clqs
139.46/139.58 c (round 4) 290 del vars, 707 del conss, 19 add conss, 8 chg bounds, 32 chg sides, 28 chg coeffs, 7 upgd conss, 92153 impls, 105 clqs
139.57/139.64 c (round 5) 290 del vars, 815 del conss, 21 add conss, 8 chg bounds, 32 chg sides, 28 chg coeffs, 1020 upgd conss, 92153 impls, 122 clqs
139.57/139.69 c (round 6) 290 del vars, 854 del conss, 22 add conss, 8 chg bounds, 35 chg sides, 38 chg coeffs, 1020 upgd conss, 92153 impls, 122 clqs
139.68/139.71 c (round 7) 290 del vars, 1102 del conss, 104 add conss, 8 chg bounds, 35 chg sides, 38 chg coeffs, 1020 upgd conss, 92153 impls, 122 clqs
139.68/139.71 c (round 8) 292 del vars, 1109 del conss, 111 add conss, 8 chg bounds, 35 chg sides, 38 chg coeffs, 1020 upgd conss, 92247 impls, 123 clqs
139.68/139.76 c (round 9) 295 del vars, 1114 del conss, 113 add conss, 8 chg bounds, 35 chg sides, 38 chg coeffs, 1020 upgd conss, 92283 impls, 130 clqs
139.76/139.81 c (round 10) 295 del vars, 1115 del conss, 113 add conss, 8 chg bounds, 35 chg sides, 38 chg coeffs, 1020 upgd conss, 92283 impls, 131 clqs
139.76/139.83 c presolving (11 rounds):
139.76/139.83 c 295 deleted vars, 1115 deleted constraints, 113 added constraints, 8 tightened bounds, 0 added holes, 35 changed sides, 38 changed coefficients
139.76/139.83 c 92283 implications, 131 cliques
139.76/139.83 c presolved problem has 1376 variables (1376 bin, 0 int, 0 impl, 0 cont) and 2362 constraints
139.76/139.83 c 309 constraints of type <knapsack>
139.76/139.83 c 309 constraints of type <setppc>
139.76/139.83 c 1045 constraints of type <and>
139.76/139.83 c 661 constraints of type <logicor>
139.76/139.83 c 38 constraints of type <bounddisjunction>
139.76/139.83 c transformed objective value is always integral (scale: 1)
139.76/139.83 c Presolving Time: 0.91
139.76/139.83 c
139.76/139.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.76/139.87 c 140s| 1 | 0 |385880 | - | 61M| 0 | 387 |1376 |2362 |1376 |2752 | 0 | 90 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
139.97/140.06 c 140s| 1 | 0 |386584 | - | 62M| 0 | 541 |1376 |2362 |1376 |3024 | 272 | 90 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
140.17/140.29 c 140s| 1 | 2 |387503 | - | 62M| 0 | 541 |1376 |2365 |1376 |3024 | 272 | 93 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
144.07/144.17 c 144s| 100 | 44 |407687 |1412.1 | 62M| 28 | - |1376 |2517 | 0 | 0 |2136 | 245 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
146.17/146.29 c
146.17/146.29 c SCIP Status : problem is solved [optimal solution found]
146.17/146.29 c Solving Time (sec) : 146.28
146.17/146.29 c Solving Nodes : 161 (total of 343 nodes in 3 runs)
146.17/146.29 c Primal Bound : +1.00000000000000e+00 (172 solutions)
146.17/146.29 c Dual Bound : +1.00000000000000e+00
146.17/146.29 c Gap : 0.00 %
146.17/146.29 s OPTIMUM FOUND
146.17/146.29 v -x1804 -x1803 -x1802 x1801 x1800 x1799 x1798 -x1797 -x1796 x1795 x1794 -x1793 -x1792 -x1791 -x1790 x1789 -x1788 -x1787 -x1786 x1785
146.17/146.29 v x1784 -x1783 x1782 -x1781 x1780 x1779 x1778 x1777 x1776 -x1775 -x1774 x1773 -x1772 x1771 x1770 -x1769 -x1768 -x1767 -x1766
146.17/146.29 v x1765 x1764 x1763 x1762 x1761 -x1760 x1759 x1758 -x1757 -x1756 x1755 x1754 -x1753 -x1752 -x1751 x1750 -x1749 x1748 x1747 x1746
146.17/146.29 v -x1745 x1744 x1743 x1742 -x1741 -x1740 x1739 x1738 x1737 x1736 x1735 x1734 x1733 x1732 -x1731 x1730 x1729 x1728 -x1727 -x1726
146.17/146.29 v -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 x1717 x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708
146.17/146.29 v -x1707 -x1706 -x1705 -x1704 -x1703 x1702 x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690
146.17/146.29 v -x1689 -x1688 x1687 -x1686 -x1685 -x1684 -x1683 -x1682 x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 x1674 x1673 -x1672
146.17/146.29 v -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 x1662 x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654
146.17/146.29 v -x1653 -x1652 -x1651 x1650 -x1649 -x1648 -x1647 -x1646 -x1645 x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 x1637 x1636 -x1635
146.17/146.29 v -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 x1628 x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 x1619 x1618 -x1617
146.17/146.29 v -x1616 -x1615 -x1614 -x1613 -x1612 x1611 x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 x1602 x1601 -x1600 -x1599 -x1598
146.17/146.29 v -x1597 -x1596 -x1595 -x1594 x1593 -x1592 -x1591 -x1590 x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580
146.17/146.29 v -x1579 x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 x1568 x1567 -x1566 -x1565 -x1564 -x1563 -x1562
146.17/146.29 v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 x1555 x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544
146.17/146.29 v -x1543 x1542 -x1541 -x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 -x1532 -x1531 x1530 x1529 -x1528 -x1527 -x1526 -x1525
146.17/146.29 v -x1524 -x1523 -x1522 -x1521 x1520 x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 x1510 -x1509 -x1508 -x1507
146.17/146.29 v -x1506 -x1505 x1504 -x1503 -x1502 -x1501 -x1500 -x1499 x1498 x1497 -x1496 -x1495 -x1494 -x1493 -x1492 x1491 x1490 -x1489 -x1488
146.17/146.29 v -x1487 -x1486 -x1485 x1484 x1483 -x1482 -x1481 -x1480 -x1479 -x1478 x1477 x1476 -x1475 -x1474 x1473 x1472 -x1471 -x1470
146.17/146.29 v x1469 -x1468 -x1467 -x1466 x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 x1455 -x1454 -x1453 -x1452 -x1451
146.17/146.29 v -x1450 -x1449 -x1448 -x1447 x1446 x1445 x1444 -x1443 -x1442 x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 x1433
146.17/146.29 v -x1432 x1431 x1430 x1429 -x1428 -x1427 x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 x1418 -x1417 x1416 x1415 x1414
146.17/146.29 v -x1413 -x1412 -x1411 -x1410 -x1409 x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 x1399 x1398 x1397 x1396 x1395
146.17/146.29 v -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377
146.17/146.29 v -x1376 -x1375 x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359
146.17/146.29 v -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 x1343 -x1342 -x1341
146.17/146.29 v -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 x1333 x1332 x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323
146.17/146.29 v -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305
146.17/146.29 v -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 x1289 -x1288 -x1287
146.17/146.29 v -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269
146.17/146.29 v x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 x1256 -x1255 -x1254 -x1253 -x1252 -x1251
146.17/146.29 v -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233
146.17/146.29 v x1232 x1231 x1230 x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215
146.17/146.29 v -x1214 -x1213 -x1212 x1211 x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196
146.17/146.29 v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 -x1181 -x1180 -x1179 -x1178
146.17/146.29 v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161
146.17/146.29 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143
146.17/146.29 v -x1142 -x1141 -x1140 -x1139 x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125
146.17/146.29 v -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107
146.17/146.29 v -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089
146.17/146.29 v -x1088 -x1087 x1086 x1085 x1084 x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070
146.17/146.29 v -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052
146.17/146.29 v -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034
146.17/146.29 v -x1033 x1032 -x1031 -x1030 -x1029 -x1028 x1027 -x1026 -x1025 -x1024 -x1023 x1022 -x1021 -x1020 -x1019 -x1018 x1017 -x1016
146.17/146.29 v -x1015 -x1014 x1013 -x1012 -x1011 -x1010 -x1009 -x1008 x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 x998 -x997
146.17/146.29 v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 x982 x981 x980 -x979 -x978 -x977 -x976
146.17/146.29 v -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 x956 x955 -x954
146.17/146.29 v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934
146.17/146.29 v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 x919 x918 -x917 -x916 -x915 -x914 -x913 -x912
146.17/146.29 v -x911 -x910 -x909 -x908 x907 -x906 -x905 -x904 x903 x902 x901 -x900 -x899 x898 x897 x896 -x895 -x894 -x893 x892 -x891 -x890
146.17/146.29 v -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 x880 -x879 -x878 -x877 -x876 x875 -x874 -x873 -x872 -x871 -x870 x869
146.17/146.29 v -x868 -x867 -x866 -x865 -x864 -x863 x862 x861 x860 -x859 -x858 x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847
146.17/146.29 v -x846 x845 x844 x843 -x842 -x841 x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826
146.17/146.29 v -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804
146.17/146.29 v -x803 -x802 -x801 -x800 x799 -x798 -x797 -x796 -x795 x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783
146.17/146.29 v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 x771 x770 x769 x768 x767 x766 x765 x764 -x763 -x762 -x761
146.17/146.29 v x760 -x759 -x758 x757 -x756 x755 -x754 -x753 x752 x751 x750 x749 x748 x747 x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738
146.17/146.29 v -x737 -x736 -x735 x734 -x733 x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717
146.17/146.29 v -x716 -x715 -x714 -x713 -x712 -x711 x710 x709 x708 x707 -x706 x705 -x704 -x703 -x702 -x701 x700 -x699 -x698 -x697 -x696 -x695
146.17/146.29 v -x694 -x693 -x692 -x691 x690 x689 x688 x687 x686 x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673
146.17/146.29 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 x663 x662 -x661 -x660 x659 x658 x657 -x656 -x655 -x654 x653 x652 x651
146.17/146.29 v x650 -x649 x648 -x647 x646 x645 -x644 x643 -x642 x641 x640 x639 x638 -x637 -x636 x635 x634 x633 -x632 -x631 -x630 -x629 -x628
146.17/146.29 v -x627 x626 x625 x624 x623 x622 x621 x620 x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 -x608 -x607 -x606
146.17/146.29 v -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 x597 x596 x595 -x594 x593 x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584
146.17/146.29 v -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563
146.17/146.29 v -x562 -x561 -x560 x559 x558 x557 x556 -x555 x554 x553 -x552 -x551 x550 x549 x548 x547 x546 x545 x544 x543 x542 -x541 -x540
146.17/146.29 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
146.17/146.29 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 x499 -x498
146.17/146.29 v -x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 -x482 -x481 -x480 -x479 -x478 -x477
146.17/146.29 v -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455
146.17/146.29 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434
146.17/146.29 v -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 x414 -x413
146.17/146.29 v -x412 -x411 -x410 -x409 x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 x393 x392 x391
146.17/146.29 v x390 x389 x388 x387 x386 -x385 x384 x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 -x369
146.17/146.29 v -x368 -x367 x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347
146.17/146.29 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326
146.17/146.29 v -x325 x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304
146.17/146.29 v -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 x295 x294 x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 x283
146.17/146.29 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 x268 -x267 -x266 x265 x264 x263 -x262 -x261
146.17/146.29 v -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240
146.17/146.29 v -x239 -x238 x237 -x236 x235 -x234 -x233 x232 x231 -x230 x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 x218 x217
146.17/146.29 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196
146.17/146.29 v -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175
146.17/146.29 v -x174 -x173 -x172 -x171 x170 x169 -x168 x167 x166 -x165 -x164 -x163 -x162 x161 -x160 x159 x158 x157 -x156 -x155 -x154 -x153 -x152
146.17/146.29 v -x151 -x150 -x149 x148 -x147 x146 -x145 x144 x143 x142 -x141 -x140 x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 x130
146.17/146.29 v x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 x110 -x109
146.17/146.29 v -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 x94 x93 x92 -x91 -x90 x89 -x88 -x87 -x86 -x85
146.17/146.29 v -x84 -x83 -x82 -x81 x80 -x79 x78 -x77 x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 x66 -x65 x64 x63 x62 -x61 -x60 x59 -x58
146.17/146.29 v x57 -x56 x55 x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 x46 -x45 -x44 x43 -x42 -x41 -x40 x39 x38 x37 -x36 x35 -x34 -x33 -x32 -x31
146.17/146.29 v -x30 x29 -x28 -x27 x26 -x25 -x24 -x23 x22 -x21 -x20 x19 x18 x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 x9 -x8 x7 -x6 -x5 -x4 -x3
146.17/146.29 v -x2 x1
146.17/146.29 c SCIP Status : problem is solved [optimal solution found]
146.17/146.29 c Total Time : 146.28
146.17/146.29 c solving : 146.28
146.17/146.29 c presolving : 0.91 (included in solving)
146.17/146.29 c reading : 0.02 (included in solving)
146.17/146.29 c copying : 0.06 (2 #copies) (minimal 0.01, maximal 0.05, average 0.03)
146.17/146.29 c Original Problem :
146.17/146.29 c Problem name : HOME/instance-3717394-1338201637.wbo
146.17/146.29 c Variables : 6735 (6735 binary, 0 integer, 0 implicit integer, 0 continuous)
146.17/146.29 c Constraints : 4932 initial, 4932 maximal
146.17/146.29 c Objective sense : minimize
146.17/146.29 c Presolved Problem :
146.17/146.29 c Problem name : t_HOME/instance-3717394-1338201637.wbo
146.17/146.29 c Variables : 1376 (1376 binary, 0 integer, 0 implicit integer, 0 continuous)
146.17/146.29 c Constraints : 2362 initial, 2584 maximal
146.17/146.29 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
146.17/146.29 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
146.17/146.29 c trivial : 0.03 0.00 8473 0 0 0 0 0 0 0 0
146.17/146.29 c dualfix : 0.00 0.00 11 0 0 0 0 0 0 0 0
146.17/146.29 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
146.17/146.29 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
146.17/146.29 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
146.17/146.29 c gateextraction : 0.01 0.00 0 0 0 0 0 3905 1295 0 0
146.17/146.29 c implics : 0.01 0.00 0 179 0 0 0 0 0 0 0
146.17/146.29 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
146.17/146.29 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
146.17/146.29 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
146.17/146.29 c varbound : 0.00 0.00 0 0 0 0 0 1 0 0 0
146.17/146.29 c knapsack : 0.02 0.00 0 0 0 0 0 1 3 4 15
146.17/146.29 c setppc : 0.02 0.00 1 4 0 0 0 95 0 0 0
146.17/146.29 c and : 0.35 0.00 15 82 0 0 0 195 167 0 17
146.17/146.29 c linear : 0.25 0.01 1512 4 0 6449 0 6167 0 143 279
146.17/146.29 c indicator : 0.00 0.01 9 0 0 0 0 1418 0 0 0
146.17/146.29 c logicor : 0.07 0.00 0 0 0 2 0 124 0 0 0
146.17/146.29 c bounddisjunction : 0.00 0.00 0 0 0 0 0 12 0 0 0
146.17/146.29 c root node : - - 9037 - - 9037 - - - - -
146.17/146.29 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
146.17/146.29 c integral : 0 0 0 0 313 0 642 0 0 0 0 0 624
146.17/146.29 c knapsack : 309 309 3 3843 0 0 158 288 2 308 602 0 0
146.17/146.29 c setppc : 309 309 3 3841 0 0 1 1653 15 3194 0 0 0
146.17/146.29 c and : 1045 1045 392 3826 0 0 1 6503 73 18051 3599 0 0
146.17/146.29 c logicor : 661+ 883 4 1449 0 0 1 589 20 481 2 0 0
146.17/146.29 c bounddisjunction : 38 38 0 356 0 0 0 5 0 6 0 0 0
146.17/146.29 c countsols : 0 0 0 0 1 0 453 0 0 0 0 0 0
146.17/146.29 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
146.17/146.29 c integral : 0.14 0.00 0.00 0.00 0.03 0.00 0.11 0.00
146.17/146.29 c knapsack : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00
146.17/146.29 c setppc : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00
146.17/146.29 c and : 0.18 0.00 0.07 0.11 0.00 0.00 0.00 0.00
146.17/146.29 c logicor : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00
146.17/146.29 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
146.17/146.29 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
146.17/146.29 c Propagators : #Propagate #ResProp Cutoffs DomReds
146.17/146.29 c rootredcost : 4 0 0 4803
146.17/146.29 c pseudoobj : 4767 254 5 12180
146.17/146.29 c vbounds : 185 270 0 13748
146.17/146.29 c redcost : 608 0 0 1639
146.17/146.29 c probing : 0 0 0 0
146.17/146.29 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
146.17/146.29 c rootredcost : 0.02 0.00 0.00 0.02 0.00
146.17/146.29 c pseudoobj : 0.38 0.01 0.00 0.30 0.08
146.17/146.29 c vbounds : 0.40 0.01 0.00 0.40 0.00
146.17/146.29 c redcost : 0.11 0.00 0.00 0.11 0.00
146.17/146.29 c probing : 0.02 0.00 0.01 0.00 0.00
146.17/146.29 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
146.17/146.29 c propagation : 0.09 159 159 448 13.7 7 10.3 -
146.17/146.29 c infeasible LP : 0.01 10 10 28 17.9 0 0.0 0
146.17/146.29 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
146.17/146.29 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
146.17/146.29 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
146.17/146.29 c applied globally : - - - 326 13.5 - - -
146.17/146.29 c applied locally : - - - 0 0.0 - - -
146.17/146.29 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
146.17/146.29 c cut pool : 0.00 0 - - 0 - (maximal pool size: 635)
146.17/146.29 c closecuts : 0.00 0.00 0 0 0 0 0
146.17/146.29 c impliedbounds : 0.01 0.00 9 0 0 630 0
146.17/146.29 c intobj : 0.00 0.00 0 0 0 0 0
146.17/146.29 c gomory : 1.05 0.00 9 0 0 404 0
146.17/146.29 c cgmip : 0.00 0.00 0 0 0 0 0
146.17/146.29 c strongcg : 2.00 0.00 9 0 0 3698 0
146.17/146.29 c cmir : 1.15 0.00 9 0 0 387 0
146.17/146.29 c flowcover : 1.09 0.00 9 0 0 1213 0
146.17/146.29 c clique : 0.04 0.00 3 0 0 17 0
146.17/146.29 c zerohalf : 0.00 0.00 0 0 0 0 0
146.17/146.29 c mcf : 0.02 0.00 3 0 0 0 0
146.17/146.29 c oddcycle : 0.00 0.00 0 0 0 0 0
146.17/146.29 c rapidlearning : 1.15 0.00 1 0 243 0 1454
146.17/146.29 c Pricers : ExecTime SetupTime Calls Vars
146.17/146.29 c problem variables: 0.00 - 0 0
146.17/146.29 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
146.17/146.29 c inference : 0.03 0.00 312 0 0 0 0 624
146.17/146.29 c relpscost : 0.00 0.00 0 0 0 0 0 0
146.17/146.29 c pscost : 0.00 0.00 0 0 0 0 0 0
146.17/146.29 c mostinf : 0.00 0.00 0 0 0 0 0 0
146.17/146.29 c leastinf : 0.00 0.00 0 0 0 0 0 0
146.17/146.29 c fullstrong : 0.00 0.00 0 0 0 0 0 0
146.17/146.29 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
146.17/146.29 c random : 0.00 0.00 0 0 0 0 0 0
146.17/146.29 c Primal Heuristics : ExecTime SetupTime Calls Found
146.17/146.29 c LP solutions : 0.00 - - 1
146.17/146.29 c pseudo solutions : 0.00 - - 0
146.17/146.29 c crossover : 0.00 0.00 0 0
146.17/146.29 c intshifting : 0.00 0.00 0 0
146.17/146.29 c oneopt : 0.04 0.00 10 0
146.17/146.29 c rootsoldiving : 3.03 0.00 1 0
146.17/146.29 c objpscostdiving : 50.73 0.00 1 107
146.17/146.29 c guideddiving : 8.69 0.00 4 1
146.17/146.29 c veclendiving : 7.43 0.00 4 2
146.17/146.29 c linesearchdiving : 7.80 0.00 17 1
146.17/146.29 c smallcard : 0.00 0.00 0 0
146.17/146.29 c trivial : 0.01 0.00 2 1
146.17/146.29 c shiftandpropagate: 0.00 0.00 0 0
146.17/146.29 c simplerounding : 0.01 0.00 593 0
146.17/146.29 c zirounding : 0.13 0.00 177 0
146.17/146.29 c rounding : 0.15 0.00 309 0
146.17/146.29 c shifting : 0.15 0.00 59 0
146.17/146.29 c twoopt : 0.00 0.00 0 0
146.17/146.29 c indoneopt : 1.70 0.00 15 9
146.17/146.29 c indtwoopt : 0.00 0.00 0 0
146.17/146.29 c fixandinfer : 0.00 0.00 0 0
146.17/146.29 c feaspump : 0.00 0.00 0 0
146.17/146.29 c clique : 0.00 0.00 0 0
146.17/146.29 c indcoefdiving : 0.00 0.00 0 0
146.17/146.29 c coefdiving : 26.47 0.00 24 11
146.17/146.29 c indrounding : 1.25 0.00 310 33
146.17/146.29 c pscostdiving : 6.33 0.00 2 0
146.17/146.29 c nlpdiving : 0.00 0.00 0 0
146.17/146.29 c fracdiving : 7.25 0.00 3 0
146.17/146.29 c intdiving : 0.00 0.00 0 0
146.17/146.29 c actconsdiving : 0.00 0.00 0 0
146.17/146.29 c octane : 0.00 0.00 0 0
146.17/146.29 c rens : 0.30 0.00 1 0
146.17/146.29 c rins : 0.00 0.00 0 0
146.17/146.29 c localbranching : 0.00 0.00 0 0
146.17/146.29 c mutation : 0.00 0.00 0 0
146.17/146.29 c dins : 0.00 0.00 0 0
146.17/146.29 c vbounds : 0.00 0.00 0 0
146.17/146.29 c undercover : 0.00 0.00 0 0
146.17/146.29 c subnlp : 0.00 0.00 0 0
146.17/146.29 c trysol : 0.03 0.00 5 5
146.17/146.29 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
146.17/146.29 c primal LP : 0.01 3 0 0.00 - 0.01 3
146.17/146.29 c dual LP : 15.53 610 80694 136.08 5197.42 0.06 17
146.17/146.29 c lex dual LP : 0.00 0 0 0.00 -
146.17/146.29 c barrier LP : 0.00 0 0 0.00 - 0.00 0
146.17/146.29 c diving/probing LP: 101.96 4521 339808 75.16 3332.86
146.17/146.29 c strong branching : 0.00 0 0 0.00 -
146.17/146.29 c (at root node) : - 0 0 0.00 -
146.17/146.29 c conflict analysis: 0.00 0 0 0.00 -
146.17/146.29 c B&B Tree :
146.17/146.29 c number of runs : 3
146.17/146.29 c nodes : 161
146.17/146.29 c nodes (total) : 343
146.17/146.29 c nodes left : 0
146.17/146.29 c max depth : 28
146.17/146.29 c max depth (total): 68
146.17/146.29 c backtracks : 53 (32.9%)
146.17/146.29 c delayed cutoffs : 106
146.17/146.29 c repropagations : 114 (8504 domain reductions, 27 cutoffs)
146.17/146.29 c avg switch length: 3.95
146.17/146.29 c switching time : 0.17
146.17/146.29 c Solution :
146.17/146.29 c Solutions found : 172 (17 improvements)
146.17/146.29 c First Solution : +2.48952000000000e+05 (in run 1, after 0 nodes, 0.08 seconds, depth 0, found by <trivial>)
146.17/146.29 c Primal Bound : +1.00000000000000e+00 (in run 2, after 1 nodes, 139.42 seconds, depth 0, found by <trysol>)
146.17/146.29 c Dual Bound : +1.00000000000000e+00
146.17/146.29 c Gap : 0.00 %
146.17/146.29 c Root Dual Bound : +0.00000000000000e+00
146.17/146.29 c Root Iterations : 10895
146.27/146.34 c Time complete: 146.31.
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3717394-1338201637/watcher-3717394-1338201637 -o /tmp/evaluation-result-3717394-1338201637/solver-3717394-1338201637 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717394-1338201637.wbo -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24711 /proc/meminfo: memFree=30059052/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=8128 CPUtime=0 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 697 0 0 0 0 0 0 0 20 0 1 0 286292205 8323072 652 33554432000 4194304 10173063 140733694149152 140733608313480 8846909 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 2032 660 391 1460 0 563 0 [startup+0.083355 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24711 /proc/meminfo: memFree=30059052/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=45432 CPUtime=0.06 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 9897 0 0 0 5 1 0 0 20 0 1 0 286292205 46522368 9852 33554432000 4194304 10173063 140733694149152 140733608313480 5479915 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 11358 9852 523 1460 0 9889 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 45432 [startup+0.10039 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24711 /proc/meminfo: memFree=30059052/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=50956 CPUtime=0.09 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 11033 0 0 0 7 2 0 0 20 0 1 0 286292205 52178944 10988 33554432000 4194304 10173063 140733694149152 140733608313480 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 12739 10988 551 1460 0 11270 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 50956 [startup+0.300317 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24711 /proc/meminfo: memFree=30059052/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=57440 CPUtime=0.28 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 12924 0 0 0 25 3 0 0 20 0 1 0 286292205 58818560 12545 33554432000 4194304 10173063 140733694149152 140733608313480 5762524 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 14360 12545 630 1460 0 12891 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 57440 [startup+0.700306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24711 /proc/meminfo: memFree=30059052/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=57440 CPUtime=0.68 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 12924 0 0 0 65 3 0 0 20 0 1 0 286292205 58818560 12545 33554432000 4194304 10173063 140733694149152 140733694145432 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 14360 12545 630 1460 0 12891 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 57440 [startup+1.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24712 /proc/meminfo: memFree=30011428/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=81464 CPUtime=1.49 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 19035 0 0 0 145 4 0 0 20 0 1 0 286292205 83419136 18538 33554432000 4194304 10173063 140733694149152 140733694145432 5643183 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 20366 18538 754 1460 0 18897 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 81464 [startup+3.10027 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24712 /proc/meminfo: memFree=29985240/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=87568 CPUtime=3.09 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 20657 0 0 0 303 6 0 0 20 0 1 0 286292205 89669632 20045 33554432000 4194304 10173063 140733694149152 140733694144536 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 21892 20045 786 1460 0 20423 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 87568 [startup+6.30025 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24712 /proc/meminfo: memFree=29975072/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=94696 CPUtime=6.28 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 22563 0 0 0 621 7 0 0 20 0 1 0 286292205 96968704 21888 33554432000 4194304 10173063 140733694149152 140733694144312 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 23674 21888 786 1460 0 22205 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 94696 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24712 /proc/meminfo: memFree=29966540/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=101824 CPUtime=12.68 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 37747 0 0 0 1256 12 0 0 20 0 1 0 286292205 104267776 23761 33554432000 4194304 10173063 140733694149152 140733694144040 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 25456 23761 832 1460 0 23987 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 101824 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24712 /proc/meminfo: memFree=29957620/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=108392 CPUtime=25.49 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 39357 0 0 0 2530 19 0 0 20 0 1 0 286292205 110993408 25371 33554432000 4194304 10173063 140733694149152 140733694144184 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 27098 25371 838 1460 0 25629 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 108392 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24712 /proc/meminfo: memFree=29954768/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=110800 CPUtime=51.08 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 39970 0 0 0 5079 29 0 0 20 0 1 0 286292205 113459200 25984 33554432000 4194304 10173063 140733694149152 140733694142328 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 27700 25984 838 1460 0 26231 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 110800 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24713 /proc/meminfo: memFree=29922772/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=125932 CPUtime=102.28 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 43707 0 0 0 10178 50 0 0 20 0 1 0 286292205 128954368 29720 33554432000 4194304 10173063 140733694149152 140733694142552 7915824 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 31483 29720 838 1460 0 30014 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 125932 Solver just ended. Dumping a history of the last processes samples [startup+127.9 s] /proc/loadavg: 2.07 2.02 2.00 3/177 24713 /proc/meminfo: memFree=29915176/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=126888 CPUtime=127.87 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 43896 0 0 0 12726 61 0 0 20 0 1 0 286292205 129933312 29909 33554432000 4194304 10173063 140733694149152 140733694142472 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 31722 29909 838 1460 0 30253 0 Current children cumulated CPU time (s) 127.87 Current children cumulated vsize (KiB) 126888 [startup+134.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 24713 /proc/meminfo: memFree=29911876/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=129588 CPUtime=134.26 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 44497 0 0 0 13364 62 0 0 20 0 1 0 286292205 132698112 30510 33554432000 4194304 10173063 140733694149152 140733694142456 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 32397 30510 841 1460 0 30928 0 Current children cumulated CPU time (s) 134.26 Current children cumulated vsize (KiB) 129588 [startup+140.7 s] /proc/loadavg: 2.05 2.01 2.00 3/177 24713 /proc/meminfo: memFree=29866988/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=173700 CPUtime=140.67 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 57084 0 0 0 13964 103 0 0 20 0 1 0 286292205 177868800 41631 33554432000 4194304 10173063 140733694149152 140733694142504 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 43425 41631 884 1460 0 41956 0 Current children cumulated CPU time (s) 140.67 Current children cumulated vsize (KiB) 173700 [startup+143.9 s] /proc/loadavg: 2.05 2.01 2.00 3/177 24713 /proc/meminfo: memFree=29866988/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=173700 CPUtime=143.87 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 57084 0 0 0 14281 106 0 0 20 0 1 0 286292205 177868800 41631 33554432000 4194304 10173063 140733694149152 140733694142792 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 43425 41631 884 1460 0 41956 0 Current children cumulated CPU time (s) 143.87 Current children cumulated vsize (KiB) 173700 [startup+145.5 s] /proc/loadavg: 2.05 2.01 2.00 3/177 24713 /proc/meminfo: memFree=29866988/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=173700 CPUtime=145.47 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 57084 0 0 0 14440 107 0 0 20 0 1 0 286292205 177868800 41631 33554432000 4194304 10173063 140733694149152 140733694142792 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 43425 41631 884 1460 0 41956 0 Current children cumulated CPU time (s) 145.47 Current children cumulated vsize (KiB) 173700 [startup+145.9 s] /proc/loadavg: 2.05 2.01 2.00 3/177 24713 /proc/meminfo: memFree=29866988/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=173700 CPUtime=145.86 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 57084 0 0 0 14479 107 0 0 20 0 1 0 286292205 177868800 41631 33554432000 4194304 10173063 140733694149152 140733694142408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 43425 41631 884 1460 0 41956 0 Current children cumulated CPU time (s) 145.86 Current children cumulated vsize (KiB) 173700 [startup+146.307 s] /proc/loadavg: 2.05 2.01 2.00 3/177 24713 /proc/meminfo: memFree=29866988/32873844 swapFree=7108/7108 [pid=24711] ppid=24709 vsize=172288 CPUtime=146.27 cores=1,3,5,7 /proc/24711/stat : 24711 (scip-2.1.1.4fix) R 24709 24711 23491 0 -1 4202496 57137 0 0 0 14519 108 0 0 20 0 1 0 286292205 176422912 41331 33554432000 4194304 10173063 140733694149152 140733694142408 5885632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/24711/statm: 43072 41331 886 1460 0 41603 0 Current children cumulated CPU time (s) 146.27 Current children cumulated vsize (KiB) 172288 Child status: 0 Real time (s): 146.347 CPU time (s): 146.321 CPU user time (s): 145.222 CPU system time (s): 1.09883 CPU usage (%): 99.9822 Max. virtual memory (cumulated for all children) (KiB): 173700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 145.222 system time used= 1.09883 maximum resident set size= 166536 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57139 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= 152 runsolver used 0.254961 second user time and 0.691894 second system time The end
Begin job on node102 at 2012-05-28 12:40:37 IDJOB=3717394 IDBENCH=79335 IDSOLVER=2300 FILE ID=node102/3717394-1338201637 RUNJOBID= node102-1338194241-23508 PBS_JOBID= 14624595 Free space on /tmp= 71516 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl--soft-0-100-0.wbo COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717394-1338201637/watcher-3717394-1338201637 -o /tmp/evaluation-result-3717394-1338201637/solver-3717394-1338201637 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717394-1338201637.wbo -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 17c8063899ee49ebb532fe8c9b769f44 RANDOM SEED=423955249 node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30059316 kB Buffers: 389084 kB Cached: 1298076 kB SwapCached: 0 kB Active: 1256956 kB Inactive: 719124 kB Active(anon): 280276 kB Inactive(anon): 11036 kB Active(file): 976680 kB Inactive(file): 708088 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13636 kB Writeback: 0 kB AnonPages: 295780 kB Mapped: 17676 kB Shmem: 200 kB Slab: 698068 kB SReclaimable: 140528 kB SUnreclaim: 557540 kB KernelStack: 1472 kB PageTables: 4192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 404484 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 227328 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71504 MiB End job on node102 at 2012-05-28 12:43:03