Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | MSAT (TO) | 1800.18 | 1800.12 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-33-100-0.wbo |
| MD5SUM | d42cf4effb818ceec652d99deb164158 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 379.165 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 1783 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 90636 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 90635 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 711 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692761-1277902040.wbo>
0.00/0.03 c original problem has 3797 variables (2014 bin, 0 int, 0 impl, 1783 cont) and 4491 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.07/0.09 c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.07/0.09 c (round 3) 55 del vars, 169 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.09/0.11 c (round 4) 134 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.12 c (round 5) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.17 c (0.1s) probing: 101/1935 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 158 deleted vars, 193 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients
0.09/0.17 c 1931 implications, 11 cliques
0.09/0.17 c presolved problem has 3639 variables (1935 bin, 0 int, 0 impl, 1704 cont) and 4298 constraints
0.09/0.17 c 1704 constraints of type <indicator>
0.09/0.17 c 11 constraints of type <setppc>
0.09/0.17 c 1704 constraints of type <linear>
0.09/0.17 c 879 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.10
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c 0.1s| 1 | 0 | 11 | - | 13M| 0 | 7 |3639 |4298 |3639 | 890 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 86790
0.09/0.19 c y 0.1s| 1 | 0 | 13 | - | 13M| 0 | 7 |3639 |4298 |3639 | 890 | 0 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 55 | - | 13M| 0 | 32 |3639 |4298 |3639 | 909 | 19 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 131 | - | 13M| 0 | 42 |3639 |4298 |3639 | 941 | 51 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.29/0.32 c 0.2s| 1 | 0 | 171 | - | 14M| 0 | 49 |3639 |4298 |3639 | 957 | 67 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.29/0.38 c 0.3s| 1 | 0 | 198 | - | 14M| 0 | 52 |3639 |4298 |3639 | 964 | 74 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.39/0.46 c 0.4s| 1 | 0 | 209 | - | 14M| 0 | 56 |3639 |4298 |3639 | 967 | 77 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.49/0.53 c 0.5s| 1 | 0 | 230 | - | 14M| 0 | 55 |3639 |4298 |3639 | 972 | 82 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.89/0.92 c 0.8s| 1 | 2 | 230 | - | 14M| 0 | 55 |3639 |4298 |3639 | 972 | 82 | 0 | 33 | 0.000000e+00 | 8.679000e+04 | Inf
24.39/24.46 c 23.5s| 10000 | 9976 | 33350 | 3.3 | 37M| 161 | 0 |3639 |4340 |3639 | 992 |3040 | 47 |1674 | 0.000000e+00 | 8.679000e+04 | Inf
38.40/38.45 c 37.0s| 20000 | 19968 | 43666 | 2.2 | 55M| 161 | 0 |3639 |4346 |3639 | 990 |4173 | 64 |1708 | 0.000000e+00 | 8.679000e+04 | Inf
38.59/38.68 o 1080
38.59/38.68 c *37.2s| 20172 | 19229 | 43859 | 2.2 | 53M| 161 | - |3639 |4346 |3639 | 981 |4180 | 64 |1708 | 0.000000e+00 | 1.080000e+03 | Inf
55.29/55.32 c 53.4s| 30000 | 29040 | 67011 | 2.2 | 71M| 161 | 0 |3639 |4335 |3639 |1001 |7721 | 98 |1744 | 0.000000e+00 | 1.080000e+03 | Inf
73.19/73.21 c 70.8s| 40000 | 38992 | 93284 | 2.3 | 90M| 163 | 5 |3639 |4347 |3639 | 998 | 12k| 167 |1758 | 0.000000e+00 | 1.080000e+03 | Inf
76.29/76.36 o 1079
76.29/76.36 c *73.9s| 41579 | 40562 | 99332 | 2.4 | 93M| 163 | - |3639 |4344 |3639 | 992 | 13k| 167 |1758 | 0.000000e+00 | 1.079000e+03 | Inf
76.29/76.37 o 1062
76.29/76.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.29/76.37 c *73.9s| 41580 | 40430 | 99335 | 2.4 | 93M| 163 | - |3639 |4344 |3639 | 992 | 13k| 167 |1758 | 0.000000e+00 | 1.062000e+03 | Inf
85.90/85.96 o 1055
85.90/85.96 c *83.2s| 46392 | 45143 |118159 | 2.5 | 102M| 163 | - |3639 |4400 |3639 | 988 | 15k| 248 |1765 | 0.000000e+00 | 1.055000e+03 | Inf
85.90/85.96 o 1050
85.90/85.96 c *83.2s| 46393 | 45104 |118159 | 2.5 | 102M| 163 | - |3639 |4400 |3639 | 988 | 15k| 248 |1765 | 0.000000e+00 | 1.050000e+03 | Inf
86.60/86.68 o 1026
86.60/86.68 c *83.9s| 46664 | 45128 |120050 | 2.6 | 102M| 163 | - |3639 |4405 |3639 | 989 | 15k| 259 |1769 | 0.000000e+00 | 1.026000e+03 | Inf
93.19/93.24 c 90.3s| 50000 | 48379 |131179 | 2.6 | 109M| 163 | 1 |3639 |4437 |3639 | 976 | 17k| 353 |1772 | 0.000000e+00 | 1.026000e+03 | Inf
94.09/94.15 o 1023
94.09/94.15 c *91.2s| 50421 | 48744 |133390 | 2.6 | 110M| 163 | - |3639 |4463 |3639 |1000 | 17k| 387 |1772 | 0.000000e+00 | 1.023000e+03 | Inf
97.99/98.04 o 1017
97.99/98.04 c *95.0s| 52129 | 50370 |143700 | 2.8 | 113M| 163 | - |3639 |4422 |3639 | 997 | 18k| 419 |1776 | 0.000000e+00 | 1.017000e+03 | Inf
102.50/102.53 o 997
102.50/102.53 c *99.3s| 54020 | 51996 |156162 | 2.9 | 116M| 163 | - |3639 |4393 |3639 | 998 | 19k| 434 |1783 | 0.000000e+00 | 9.970000e+02 | Inf
109.80/109.86 o 989
109.80/109.86 c * 106s| 57246 | 55083 |176382 | 3.1 | 122M| 163 | - |3639 |4452 |3639 | 995 | 20k| 544 |1796 | 0.000000e+00 | 9.890000e+02 | Inf
115.99/116.03 c 112s| 60000 | 57820 |191005 | 3.2 | 127M| 173 | 1 |3639 |4415 |3639 | 982 | 21k| 579 |1796 | 0.000000e+00 | 9.890000e+02 | Inf
117.49/117.51 o 979
117.49/117.51 c * 114s| 60724 | 58386 |193832 | 3.2 | 128M| 173 | - |3639 |4402 |3639 | 983 | 22k| 586 |1796 | 0.000000e+00 | 9.790000e+02 | Inf
117.60/117.61 o 959
117.60/117.61 c * 114s| 60761 | 58104 |194044 | 3.2 | 127M| 173 | - |3639 |4398 |3639 | 987 | 22k| 586 |1796 | 0.000000e+00 | 9.590000e+02 | Inf
118.09/118.18 o 950
118.09/118.18 c * 114s| 61012 | 58215 |195344 | 3.2 | 128M| 173 | - |3639 |4412 |3639 | 988 | 22k| 607 |1797 | 0.000000e+00 | 9.500000e+02 | Inf
118.20/118.27 o 944
118.20/118.27 c * 115s| 61049 | 58154 |195471 | 3.2 | 127M| 173 | - |3639 |4420 |3639 | 981 | 22k| 615 |1797 | 0.000000e+00 | 9.440000e+02 | Inf
118.90/118.98 o 923
118.90/118.98 c * 115s| 61356 | 58171 |196946 | 3.2 | 127M| 173 | - |3639 |4420 |3639 | 993 | 22k| 623 |1797 | 0.000000e+00 | 9.230000e+02 | Inf
120.69/120.73 o 918
120.69/120.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.69/120.73 c * 117s| 62228 | 58961 |200045 | 3.2 | 129M| 173 | - |3639 |4421 |3639 | 997 | 23k| 642 |1797 | 0.000000e+00 | 9.180000e+02 | Inf
123.69/123.72 o 908
123.69/123.72 c * 120s| 63632 | 60178 |205393 | 3.2 | 132M| 173 | - |3639 |4465 |3639 | 996 | 23k| 734 |1797 | 0.000000e+00 | 9.080000e+02 | Inf
125.50/125.53 o 900
125.50/125.53 c * 122s| 64457 | 60808 |209266 | 3.2 | 133M| 173 | - |3639 |4528 |3639 | 997 | 24k| 823 |1797 | 0.000000e+00 | 9.000000e+02 | Inf
125.50/125.59 o 886
125.50/125.59 c * 122s| 64485 | 60557 |209412 | 3.2 | 133M| 173 | - |3639 |4543 |3639 | 996 | 24k| 838 |1797 | 0.000000e+00 | 8.860000e+02 | Inf
131.49/131.59 o 880
131.49/131.59 c * 127s| 67252 | 63096 |222908 | 3.3 | 138M| 173 | - |3639 |4700 |3639 | 983 | 25k|1167 |1797 | 0.000000e+00 | 8.800000e+02 | Inf
132.60/132.66 o 877
132.60/132.66 c * 128s| 67595 | 63350 |227076 | 3.4 | 139M| 173 | - |3639 |4738 |3639 | 982 | 25k|1267 |1797 | 0.000000e+00 | 8.770000e+02 | Inf
133.99/134.06 o 874
133.99/134.06 c * 130s| 68185 | 63824 |230348 | 3.4 | 141M| 173 | - |3639 |4794 |3639 | 982 | 26k|1404 |1797 | 0.000000e+00 | 8.740000e+02 | Inf
134.10/134.18 o 865
134.10/134.18 c * 130s| 68230 | 63633 |230567 | 3.4 | 141M| 173 | - |3639 |4798 |3639 | 979 | 26k|1416 |1797 | 0.000000e+00 | 8.650000e+02 | Inf
134.49/134.53 o 864
134.49/134.53 c * 130s| 68368 | 63724 |231153 | 3.4 | 141M| 173 | - |3639 |4862 |3639 | 979 | 26k|1496 |1797 | 0.000000e+00 | 8.640000e+02 | Inf
134.49/134.55 o 846
134.49/134.55 c * 130s| 68372 | 63317 |231159 | 3.4 | 140M| 173 | - |3639 |4862 |3639 | 979 | 26k|1496 |1797 | 0.000000e+00 | 8.460000e+02 | Inf
136.79/136.82 o 836
136.79/136.82 c * 132s| 69371 | 63999 |234784 | 3.4 | 143M| 173 | - |3639 |4820 |3639 | 984 | 26k|1606 |1797 | 0.000000e+00 | 8.360000e+02 | Inf
137.29/137.33 o 814
137.29/137.33 c * 133s| 69581 | 63680 |235712 | 3.4 | 141M| 173 | - |3639 |4812 |3639 | 980 | 26k|1620 |1797 | 0.000000e+00 | 8.140000e+02 | Inf
138.19/138.24 c 134s| 70000 | 64079 |237519 | 3.4 | 142M| 173 | 9 |3639 |4839 |3639 |1006 | 27k|1683 |1797 | 0.000000e+00 | 8.140000e+02 | Inf
142.69/142.78 o 782
142.69/142.78 c * 138s| 71827 | 64778 |249352 | 3.5 | 143M| 173 | - |3639 |4879 |3639 | 988 | 28k|2113 |1833 | 0.000000e+00 | 7.820000e+02 | Inf
148.69/148.71 o 780
148.69/148.71 c * 144s| 74479 | 67269 |262866 | 3.5 | 149M| 173 | - |3639 |4863 |3639 | 981 | 31k|2382 |1876 | 0.000000e+00 | 7.800000e+02 | Inf
149.30/149.36 o 765
149.30/149.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.30/149.36 c * 145s| 74731 | 66938 |264168 | 3.5 | 148M| 173 | - |3639 |4896 |3639 | 981 | 31k|2492 |1883 | 0.000000e+00 | 7.650000e+02 | Inf
149.30/149.38 o 755
149.30/149.38 c * 145s| 74735 | 66637 |264172 | 3.5 | 147M| 173 | - |3639 |4895 |3639 | 981 | 31k|2492 |1883 | 0.000000e+00 | 7.550000e+02 | Inf
149.39/149.44 o 745
149.39/149.44 c * 145s| 74751 | 66349 |264287 | 3.5 | 147M| 173 | - |3639 |4894 |3639 | 979 | 31k|2492 |1883 | 0.000000e+00 | 7.450000e+02 | Inf
149.39/149.46 o 735
149.39/149.46 c * 145s| 74755 | 66043 |264288 | 3.5 | 146M| 173 | - |3639 |4894 |3639 | 979 | 31k|2492 |1883 | 0.000000e+00 | 7.350000e+02 | Inf
149.50/149.52 o 724
149.50/149.52 c * 145s| 74773 | 65690 |264447 | 3.5 | 145M| 173 | - |3639 |4903 |3639 | 980 | 31k|2506 |1883 | 0.000000e+00 | 7.240000e+02 | Inf
150.09/150.18 o 707
150.09/150.18 c * 145s| 75050 | 65305 |265826 | 3.5 | 144M| 173 | - |3639 |4943 |3639 |1008 | 31k|2571 |1887 | 0.000000e+00 | 7.070000e+02 | Inf
151.70/151.71 o 700
151.70/151.71 c * 147s| 75691 | 65636 |269194 | 3.6 | 146M| 173 | - |3639 |5039 |3639 | 982 | 31k|2765 |1890 | 0.000000e+00 | 7.000000e+02 | Inf
151.80/151.81 o 683
151.80/151.81 c * 147s| 75727 | 64995 |269452 | 3.6 | 144M| 173 | - |3639 |5056 |3639 | 988 | 31k|2789 |1890 | 0.000000e+00 | 6.830000e+02 | Inf
152.00/152.04 o 673
152.00/152.04 c * 147s| 75815 | 64665 |270190 | 3.6 | 144M| 173 | - |3639 |5090 |3639 | 980 | 32k|2848 |1890 | 0.000000e+00 | 6.730000e+02 | Inf
152.80/152.87 o 663
152.80/152.87 c * 148s| 76208 | 64607 |271695 | 3.6 | 144M| 179 | - |3639 |5112 |3639 | 982 | 32k|2936 |1891 | 0.000000e+00 | 6.630000e+02 | Inf
153.20/153.30 o 660
153.20/153.30 c * 148s| 76359 | 64510 |272974 | 3.6 | 144M| 179 | - |3639 |5174 |3639 |1002 | 32k|3042 |1893 | 0.000000e+00 | 6.600000e+02 | Inf
153.50/153.56 o 653
153.50/153.56 c * 149s| 76454 | 64252 |273415 | 3.6 | 144M| 179 | - |3639 |5186 |3639 | 992 | 32k|3086 |1893 | 0.000000e+00 | 6.530000e+02 | Inf
153.79/153.83 o 649
153.79/153.83 c * 149s| 76533 | 64122 |274422 | 3.6 | 143M| 179 | - |3639 |5189 |3639 | 983 | 32k|3126 |1893 | 0.000000e+00 | 6.490000e+02 | Inf
154.29/154.39 o 639
154.29/154.39 c * 149s| 76751 | 63719 |276093 | 3.6 | 143M| 179 | - |3639 |5305 |3639 | 989 | 32k|3293 |1893 | 0.000000e+00 | 6.390000e+02 | Inf
154.50/154.51 o 634
154.50/154.51 c * 150s| 76785 | 63451 |276521 | 3.6 | 142M| 179 | - |3639 |5295 |3639 | 990 | 32k|3299 |1893 | 0.000000e+00 | 6.340000e+02 | Inf
154.60/154.64 o 615
154.60/154.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.60/154.64 c * 150s| 76820 | 62385 |276998 | 3.6 | 140M| 179 | - |3639 |5288 |3639 | 987 | 32k|3310 |1893 | 0.000000e+00 | 6.150000e+02 | Inf
158.19/158.25 o 605
158.19/158.25 c * 153s| 78247 | 63012 |285728 | 3.6 | 143M| 179 | - |3639 |5436 |3639 | 988 | 34k|3825 |1955 | 0.000000e+00 | 6.050000e+02 | Inf
158.30/158.32 o 574
158.30/158.32 c * 153s| 78277 | 61152 |285894 | 3.6 | 139M| 179 | - |3639 |5443 |3639 | 987 | 34k|3840 |1955 | 0.000000e+00 | 5.740000e+02 | Inf
158.60/158.60 o 568
158.60/158.60 c * 153s| 78383 | 60878 |286587 | 3.7 | 138M| 179 | - |3639 |5444 |3639 | 991 | 34k|3888 |1956 | 0.000000e+00 | 5.680000e+02 | Inf
159.40/159.44 o 557
159.40/159.44 c * 154s| 78699 | 60531 |288979 | 3.7 | 138M| 179 | - |3639 |5471 |3639 | 979 | 34k|4061 |1961 | 0.000000e+00 | 5.570000e+02 | Inf
160.10/160.18 o 552
160.10/160.18 c * 155s| 78964 | 60375 |290999 | 3.7 | 138M| 179 | - |3639 |5567 |3639 | 979 | 34k|4318 |1963 | 0.000000e+00 | 5.520000e+02 | Inf
160.19/160.21 o 551
160.19/160.21 c * 155s| 78971 | 60315 |291027 | 3.7 | 138M| 179 | - |3639 |5567 |3639 | 979 | 34k|4326 |1963 | 0.000000e+00 | 5.510000e+02 | Inf
160.19/160.23 o 544
160.19/160.23 c * 155s| 78977 | 59863 |291056 | 3.7 | 137M| 179 | - |3639 |5570 |3639 | 979 | 34k|4337 |1963 | 0.000000e+00 | 5.440000e+02 | Inf
160.30/160.36 o 540
160.30/160.36 c * 155s| 79015 | 59671 |291423 | 3.7 | 136M| 179 | - |3639 |5560 |3639 | 979 | 34k|4346 |1963 | 0.000000e+00 | 5.400000e+02 | Inf
160.30/160.36 o 537
160.30/160.36 c * 155s| 79016 | 59471 |291423 | 3.7 | 136M| 179 | - |3639 |5560 |3639 | 979 | 34k|4346 |1963 | 0.000000e+00 | 5.370000e+02 | Inf
160.40/160.49 o 534
160.40/160.49 c * 155s| 79053 | 59302 |291887 | 3.7 | 136M| 179 | - |3639 |5549 |3639 | 977 | 34k|4358 |1963 | 0.000000e+00 | 5.340000e+02 | Inf
160.40/160.49 o 531
160.40/160.49 c * 155s| 79054 | 59062 |291887 | 3.7 | 136M| 179 | - |3639 |5549 |3639 | 977 | 34k|4358 |1963 | 0.000000e+00 | 5.310000e+02 | Inf
162.30/162.34 o 524
162.30/162.34 c * 157s| 79573 | 58960 |298944 | 3.8 | 136M| 179 | - |3639 |5469 |3639 | 985 | 35k|4590 |1969 | 0.000000e+00 | 5.240000e+02 | Inf
162.30/162.35 o 522
162.30/162.35 c * 157s| 79577 | 58808 |298978 | 3.8 | 136M| 179 | - |3639 |5468 |3639 | 987 | 35k|4590 |1969 | 0.000000e+00 | 5.220000e+02 | Inf
163.29/163.32 o 511
163.29/163.32 c * 158s| 79894 | 58218 |301745 | 3.8 | 136M| 179 | - |3639 |5529 |3639 | 995 | 35k|4835 |1971 | 0.000000e+00 | 5.110000e+02 | Inf
163.49/163.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.49/163.57 c 158s| 80000 | 58300 |302486 | 3.8 | 136M| 179 | 0 |3639 |5527 |3639 |1001 | 35k|4885 |1972 | 0.000000e+00 | 5.110000e+02 | Inf
164.69/164.71 o 509
164.69/164.71 c * 159s| 80334 | 58434 |305760 | 3.8 | 137M| 179 | - |3639 |5484 |3639 | 989 | 35k|4972 |2014 | 0.000000e+00 | 5.090000e+02 | Inf
164.69/164.71 o 506
164.69/164.71 c * 159s| 80335 | 58220 |305760 | 3.8 | 136M| 179 | - |3639 |5484 |3639 | 989 | 35k|4972 |2014 | 0.000000e+00 | 5.060000e+02 | Inf
165.60/165.62 o 503
165.60/165.62 c * 160s| 80537 | 58173 |309502 | 3.8 | 137M| 179 | - |3639 |5452 |3639 | 992 | 36k|5058 |2031 | 0.000000e+00 | 5.030000e+02 | Inf
165.70/165.70 o 495
165.70/165.70 c * 160s| 80548 | 57491 |309863 | 3.8 | 135M| 179 | - |3639 |5452 |3639 | 997 | 36k|5064 |2031 | 0.000000e+00 | 4.950000e+02 | Inf
166.10/166.12 o 492
166.10/166.12 c * 161s| 80652 | 57418 |311331 | 3.9 | 135M| 179 | - |3639 |5446 |3639 | 995 | 36k|5100 |2032 | 0.000000e+00 | 4.920000e+02 | Inf
166.10/166.12 o 489
166.10/166.12 c * 161s| 80653 | 57185 |311331 | 3.9 | 135M| 179 | - |3639 |5446 |3639 | 995 | 36k|5100 |2032 | 0.000000e+00 | 4.890000e+02 | Inf
170.80/170.87 o 488
170.80/170.87 c * 165s| 82792 | 59063 |319249 | 3.9 | 140M| 179 | - |3639 |5486 |3639 |1004 | 37k|5609 |2053 | 0.000000e+00 | 4.880000e+02 | Inf
171.80/171.80 o 486
171.80/171.80 c * 166s| 83082 | 59081 |322278 | 3.9 | 140M| 179 | - |3639 |5514 |3639 | 987 | 37k|5763 |2056 | 0.000000e+00 | 4.860000e+02 | Inf
171.80/171.80 o 481
171.80/171.80 c * 166s| 83083 | 58701 |322278 | 3.9 | 139M| 179 | - |3639 |5514 |3639 | 987 | 37k|5763 |2056 | 0.000000e+00 | 4.810000e+02 | Inf
173.49/173.54 o 479
173.49/173.54 c * 168s| 83603 | 58970 |328235 | 3.9 | 141M| 179 | - |3639 |5525 |3639 | 992 | 38k|6007 |2082 | 0.000000e+00 | 4.790000e+02 | Inf
175.00/175.01 o 473
175.00/175.01 c * 169s| 84086 | 58898 |332490 | 4.0 | 141M| 179 | - |3639 |5559 |3639 | 994 | 38k|6222 |2118 | 0.000000e+00 | 4.730000e+02 | Inf
176.00/176.09 o 470
176.00/176.09 c * 170s| 84444 | 58811 |335964 | 4.0 | 141M| 179 | - |3639 |5725 |3639 |1001 | 39k|6564 |2130 | 0.000000e+00 | 4.700000e+02 | Inf
177.10/177.13 o 450
177.10/177.13 c * 171s| 84717 | 57262 |340517 | 4.0 | 137M| 179 | - |3639 |5719 |3639 | 988 | 39k|6678 |2135 | 0.000000e+00 | 4.500000e+02 | Inf
182.79/182.89 o 447
182.79/182.89 c * 177s| 87036 | 59059 |354418 | 4.1 | 142M| 179 | - |3639 |5531 |3639 | 986 | 41k|7144 |2194 | 0.000000e+00 | 4.470000e+02 | Inf
182.90/182.90 o 444
182.90/182.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.90/182.90 c * 177s| 87037 | 58838 |354418 | 4.1 | 141M| 179 | - |3639 |5531 |3639 | 986 | 41k|7144 |2194 | 0.000000e+00 | 4.440000e+02 | Inf
182.99/183.00 o 441
182.99/183.00 c * 177s| 87050 | 58631 |354823 | 4.1 | 140M| 179 | - |3639 |5521 |3639 | 983 | 41k|7152 |2202 | 0.000000e+00 | 4.410000e+02 | Inf
183.19/183.26 o 439
183.19/183.26 c * 177s| 87148 | 58498 |355538 | 4.1 | 140M| 179 | - |3639 |5517 |3639 | 997 | 41k|7203 |2205 | 0.000000e+00 | 4.390000e+02 | Inf
184.29/184.33 o 431
184.29/184.33 c * 178s| 87534 | 58161 |358609 | 4.1 | 139M| 179 | - |3639 |5550 |3639 | 991 | 42k|7316 |2215 | 0.000000e+00 | 4.310000e+02 | Inf
184.59/184.66 o 416
184.59/184.66 c * 178s| 87686 | 56974 |359017 | 4.1 | 137M| 179 | - |3639 |5552 |3639 | 996 | 42k|7349 |2216 | 0.000000e+00 | 4.160000e+02 | Inf
185.40/185.44 o 408
185.40/185.44 c * 179s| 88032 | 56595 |360100 | 4.1 | 136M| 179 | - |3639 |5600 |3639 |1003 | 42k|7472 |2223 | 0.000000e+00 | 4.080000e+02 | Inf
185.80/185.82 o 404
185.80/185.82 c * 180s| 88180 | 56326 |360881 | 4.1 | 135M| 179 | - |3639 |5693 |3639 |1002 | 42k|7614 |2227 | 0.000000e+00 | 4.040000e+02 | Inf
187.50/187.53 o 381
187.50/187.53 c * 181s| 88719 | 54592 |366193 | 4.1 | 131M| 179 | - |3639 |5640 |3639 | 983 | 42k|7818 |2233 | 0.000000e+00 | 3.810000e+02 | Inf
187.50/187.58 o 377
187.50/187.58 c * 181s| 88724 | 54102 |366459 | 4.1 | 130M| 179 | - |3639 |5623 |3639 | 978 | 42k|7818 |2233 | 0.000000e+00 | 3.770000e+02 | Inf
187.80/187.80 o 375
187.80/187.80 c * 181s| 88781 | 53967 |367402 | 4.1 | 130M| 179 | - |3639 |5611 |3639 | 992 | 42k|7844 |2233 | 0.000000e+00 | 3.750000e+02 | Inf
187.90/187.92 o 372
187.90/187.92 c * 182s| 88804 | 53753 |367823 | 4.1 | 129M| 179 | - |3639 |5611 |3639 | 997 | 43k|7862 |2233 | 0.000000e+00 | 3.720000e+02 | Inf
188.00/188.08 o 358
188.00/188.08 c * 182s| 88834 | 52184 |368542 | 4.1 | 126M| 179 | - |3639 |5613 |3639 |1002 | 43k|7886 |2233 | 0.000000e+00 | 3.580000e+02 | Inf
188.10/188.17 o 357
188.10/188.17 c * 182s| 88844 | 52128 |368938 | 4.2 | 126M| 179 | - |3639 |5601 |3639 | 996 | 43k|7889 |2233 | 0.000000e+00 | 3.570000e+02 | Inf
188.10/188.17 o 354
188.10/188.17 c * 182s| 88845 | 51830 |368938 | 4.2 | 125M| 179 | - |3639 |5601 |3639 | 996 | 43k|7889 |2233 | 0.000000e+00 | 3.540000e+02 | Inf
188.19/188.29 o 348
188.19/188.29 c * 182s| 88862 | 51163 |369523 | 4.2 | 123M| 179 | - |3639 |5605 |3639 | 989 | 43k|7904 |2233 | 0.000000e+00 | 3.480000e+02 | Inf
188.40/188.46 o 345
188.40/188.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.40/188.46 c * 182s| 88890 | 50863 |370142 | 4.2 | 123M| 179 | - |3639 |5609 |3639 | 984 | 43k|7920 |2234 | 0.000000e+00 | 3.450000e+02 | Inf
188.79/188.88 o 328
188.79/188.88 c * 183s| 89046 | 48847 |371268 | 4.2 | 120M| 179 | - |3639 |5623 |3639 | 991 | 43k|7973 |2234 | 0.000000e+00 | 3.280000e+02 | Inf
189.20/189.26 o 324
189.20/189.26 c * 183s| 89158 | 48314 |372513 | 4.2 | 119M| 179 | - |3639 |5630 |3639 |1001 | 43k|8063 |2234 | 0.000000e+00 | 3.240000e+02 | Inf
190.00/190.07 o 316
190.00/190.07 c * 184s| 89395 | 47349 |374906 | 4.2 | 118M| 179 | - |3639 |5615 |3639 | 990 | 43k|8130 |2235 | 0.000000e+00 | 3.160000e+02 | Inf
190.10/190.12 o 314
190.10/190.12 c * 184s| 89399 | 46992 |375177 | 4.2 | 118M| 179 | - |3639 |5615 |3639 | 978 | 43k|8137 |2235 | 0.000000e+00 | 3.140000e+02 | Inf
190.20/190.24 o 306
190.20/190.24 c * 184s| 89424 | 45672 |375689 | 4.2 | 115M| 179 | - |3639 |5610 |3639 | 995 | 43k|8142 |2243 | 0.000000e+00 | 3.060000e+02 | Inf
191.20/191.26 o 305
191.20/191.26 c * 185s| 89704 | 45688 |378788 | 4.2 | 116M| 179 | - |3639 |5587 |3639 | 975 | 44k|8283 |2274 | 0.000000e+00 | 3.050000e+02 | Inf
191.30/191.40 o 299
191.30/191.40 c * 185s| 89753 | 44692 |379013 | 4.2 | 115M| 179 | - |3639 |5578 |3639 |1000 | 44k|8298 |2277 | 0.000000e+00 | 2.990000e+02 | Inf
191.70/191.74 o 279
191.70/191.74 c * 185s| 89881 | 41433 |379878 | 4.2 | 109M| 179 | - |3639 |5583 |3639 |1003 | 44k|8349 |2285 | 0.000000e+00 | 2.790000e+02 | Inf
192.00/192.00 o 277
192.00/192.00 c * 186s| 89964 | 40765 |380417 | 4.2 | 107M| 179 | - |3639 |5561 |3639 | 995 | 44k|8359 |2292 | 0.000000e+00 | 2.770000e+02 | Inf
192.00/192.00 o 262
192.00/192.00 c * 186s| 89965 | 37960 |380417 | 4.2 | 102M| 179 | - |3639 |5561 |3639 | 995 | 44k|8359 |2292 | 0.000000e+00 | 2.620000e+02 | Inf
192.10/192.11 c 186s| 90000 | 37990 |380724 | 4.2 | 102M| 179 | 0 |3639 |5557 |3639 | 994 | 44k|8367 |2292 | 0.000000e+00 | 2.620000e+02 | Inf
192.10/192.13 o 258
192.10/192.13 c * 186s| 90010 | 37167 |380724 | 4.2 | 100M| 179 | - |3639 |5557 |3639 | 994 | 44k|8367 |2292 | 0.000000e+00 | 2.580000e+02 | Inf
192.10/192.14 o 243
192.10/192.14 c * 186s| 90011 | 34044 |380724 | 4.2 | 94M| 179 | - |3639 |5557 |3639 | 994 | 44k|8367 |2292 | 0.000000e+00 | 2.430000e+02 | Inf
192.80/192.89 o 237
192.80/192.89 c * 186s| 90250 | 32737 |382751 | 4.2 | 92M| 179 | - |3639 |5629 |3639 |1003 | 44k|8562 |2303 | 0.000000e+00 | 2.370000e+02 | Inf
192.90/192.90 o 222
192.90/192.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.90/192.90 c * 186s| 90251 | 29020 |382751 | 4.2 | 85M| 179 | - |3639 |5629 |3639 |1003 | 44k|8562 |2303 | 0.000000e+00 | 2.220000e+02 | Inf
193.20/193.27 o 215
193.20/193.27 c * 187s| 90374 | 27653 |383557 | 4.2 | 83M| 179 | - |3639 |5612 |3639 | 976 | 44k|8619 |2309 | 0.000000e+00 | 2.150000e+02 | Inf
193.30/193.37 o 203
193.30/193.37 c * 187s| 90414 | 25501 |383802 | 4.2 | 78M| 179 | - |3639 |5610 |3639 |1001 | 44k|8643 |2309 | 0.000000e+00 | 2.030000e+02 | Inf
193.60/193.64 o 189
193.60/193.64 c * 187s| 90516 | 23172 |384262 | 4.2 | 74M| 179 | - |3639 |5673 |3639 | 982 | 44k|8751 |2311 | 0.000000e+00 | 1.890000e+02 | Inf
193.60/193.68 o 178
193.60/193.68 c * 187s| 90522 | 21316 |384419 | 4.2 | 70M| 179 | - |3639 |5672 |3639 | 990 | 44k|8755 |2311 | 0.000000e+00 | 1.780000e+02 | Inf
194.00/194.07 o 174
194.00/194.07 c * 188s| 90655 | 20629 |385204 | 4.2 | 69M| 179 | - |3639 |5708 |3639 | 988 | 45k|8842 |2315 | 0.000000e+00 | 1.740000e+02 | Inf
194.19/194.24 o 172
194.19/194.24 c * 188s| 90718 | 20496 |385436 | 4.2 | 69M| 179 | - |3639 |5710 |3639 | 991 | 45k|8859 |2316 | 0.000000e+00 | 1.720000e+02 | Inf
194.60/194.68 o 156
194.60/194.68 c * 188s| 90886 | 17807 |386081 | 4.2 | 64M| 179 | - |3639 |5774 |3639 | 990 | 45k|8955 |2317 | 0.000000e+00 | 1.560000e+02 | Inf
194.70/194.75 o 140
194.70/194.75 c * 188s| 90906 | 13706 |386127 | 4.2 | 55M| 179 | - |3639 |5772 |3639 | 996 | 45k|8955 |2317 | 0.000000e+00 | 1.400000e+02 | Inf
194.70/194.76 o 131
194.70/194.76 c * 188s| 90907 | 12685 |386127 | 4.2 | 52M| 179 | - |3639 |5771 |3639 | 996 | 45k|8955 |2317 | 0.000000e+00 | 1.310000e+02 | Inf
194.79/194.82 o 108
194.79/194.82 c * 188s| 90927 | 10544 |386150 | 4.2 | 48M| 179 | - |3639 |5770 |3639 | 977 | 45k|8955 |2317 | 0.000000e+00 | 1.080000e+02 | Inf
195.00/195.00 o 97
195.00/195.00 c * 188s| 90993 | 9719 |386329 | 4.2 | 46M| 179 | - |3639 |5818 |3639 | 986 | 45k|9012 |2317 | 0.000000e+00 | 9.700000e+01 | Inf
195.10/195.10 o 95
195.10/195.10 c * 188s| 91037 | 9606 |386378 | 4.2 | 46M| 179 | - |3639 |5739 |3639 | 975 | 45k|9036 |2317 | 0.000000e+00 | 9.500000e+01 | Inf
195.40/195.44 o 93
195.40/195.44 c * 189s| 91164 | 9288 |386891 | 4.2 | 45M| 179 | - |3639 |5630 |3639 | 980 | 45k|9140 |2319 | 0.000000e+00 | 9.300000e+01 | Inf
195.70/195.79 o 86
195.70/195.79 c * 189s| 91301 | 8232 |387481 | 4.2 | 43M| 179 | - |3639 |5494 |3639 | 983 | 45k|9265 |2321 | 0.000000e+00 | 8.600000e+01 | Inf
195.70/195.80 o 75
195.70/195.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.70/195.80 c * 189s| 91302 | 7200 |387487 | 4.2 | 40M| 179 | - |3639 |5494 |3639 | 979 | 45k|9265 |2321 | 0.000000e+00 | 7.500000e+01 | Inf
196.20/196.23 o 60
196.20/196.23 c * 190s| 91468 | 2508 |388624 | 4.2 | 29M| 179 | - |3639 |5144 |3639 | 982 | 45k|9489 |2322 | 0.000000e+00 | 6.000000e+01 | Inf
213.90/213.99 o 55
213.90/213.99 c * 207s| 99607 | 1953 |425075 | 4.3 | 35M| 179 | - |3639 |7862 |3639 | 984 | 47k| 20k|2411 | 0.000000e+00 | 5.500000e+01 | Inf
214.80/214.80 c 207s|100000 | 1909 |426158 | 4.3 | 35M| 179 | - |3639 |7629 | 0 | 0 | 47k| 20k|2411 | 0.000000e+00 | 5.500000e+01 | Inf
220.30/220.36 o 52
220.30/220.36 c * 213s|102657 | 1886 |435940 | 4.2 | 35M| 179 | - |3639 |6884 |3639 | 975 | 47k| 24k|2460 | 0.000000e+00 | 5.200000e+01 | Inf
220.30/220.38 o 46
220.30/220.38 c * 213s|102661 | 1801 |435954 | 4.2 | 35M| 179 | - |3639 |6769 |3639 | 975 | 47k| 24k|2460 | 0.000000e+00 | 4.600000e+01 | Inf
220.89/220.94 o 37
220.89/220.94 c * 213s|102986 | 1726 |436554 | 4.2 | 34M| 179 | - |3639 |7044 |3639 | 975 | 47k| 24k|2460 | 0.000000e+00 | 3.700000e+01 | Inf
220.89/220.99 o 33
220.89/220.99 c * 213s|103000 | 1660 |436614 | 4.2 | 34M| 179 | - |3639 |6819 |3639 | 975 | 47k| 24k|2460 | 0.000000e+00 | 3.300000e+01 | Inf
221.00/221.03 o 28
221.00/221.03 c * 213s|103013 | 1550 |436663 | 4.2 | 33M| 179 | - |3639 |6678 |3639 | 975 | 47k| 24k|2460 | 0.000000e+00 | 2.800000e+01 | Inf
221.00/221.07 o 17
221.00/221.07 c * 213s|103022 | 1407 |436721 | 4.2 | 32M| 179 | - |3639 |6538 |3639 | 984 | 47k| 24k|2460 | 0.000000e+00 | 1.700000e+01 | Inf
233.10/233.17 c 225s|110000 | 1172 |469633 | 4.3 | 32M| 179 | - |3639 |8284 | 0 | 0 | 48k| 33k|2521 | 0.000000e+00 | 1.700000e+01 | Inf
237.00/237.08 o 15
237.00/237.08 c * 228s|112445 | 1122 |478975 | 4.3 | 32M| 179 | - |3639 |9053 |3639 | 976 | 49k| 37k|2524 | 0.000000e+00 | 1.500000e+01 | Inf
248.79/248.84 c 240s|120000 | 1145 |501436 | 4.2 | 34M| 179 | 12 |3639 | 13k|3639 | 976 | 49k| 46k|2560 | 0.000000e+00 | 1.500000e+01 | Inf
266.10/266.19 c 256s|130000 | 1146 |533793 | 4.1 | 36M| 179 | - |3639 | 16k| 0 | 0 | 51k| 60k|2655 | 0.000000e+00 | 1.500000e+01 | Inf
285.20/285.26 c 275s|140000 | 1150 |573293 | 4.1 | 37M| 179 | - |3639 | 18k| 0 | 0 | 52k| 73k|2721 | 0.000000e+00 | 1.500000e+01 | Inf
304.40/304.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.40/304.48 c 293s|150000 | 1189 |606541 | 4.0 | 39M| 179 | - |3639 | 23k| 0 | 0 | 53k| 86k|2790 | 0.000000e+00 | 1.500000e+01 | Inf
324.51/324.51 c 312s|160000 | 1146 |642298 | 4.0 | 37M| 179 | 22 |3639 | 15k|3639 | 972 | 54k| 100k|2929 | 0.000000e+00 | 1.500000e+01 | Inf
342.50/342.55 c 329s|170000 | 1118 |678556 | 4.0 | 37M| 179 | - |3639 | 14k| 0 | 0 | 55k| 113k|3028 | 0.000000e+00 | 1.500000e+01 | Inf
362.00/362.03 c 348s|180000 | 1123 |717368 | 4.0 | 38M| 179 | 13 |3639 | 17k|3639 | 976 | 56k| 125k|3148 | 0.000000e+00 | 1.500000e+01 | Inf
381.61/381.69 c 367s|190000 | 1142 |753398 | 4.0 | 41M| 179 | 1 |3639 | 23k|3639 | 976 | 57k| 138k|3200 | 0.000000e+00 | 1.500000e+01 | Inf
401.70/401.75 c 386s|200000 | 1210 |790968 | 4.0 | 42M| 179 | - |3639 | 22k| 0 | 0 | 58k| 151k|3284 | 0.000000e+00 | 1.500000e+01 | Inf
422.00/422.06 c 406s|210000 | 1157 |825858 | 3.9 | 42M| 179 | - |3639 | 23k| 0 | 0 | 59k| 165k|3345 | 0.000000e+00 | 1.500000e+01 | Inf
442.50/442.51 c 425s|220000 | 1187 |854377 | 3.9 | 43M| 179 | 16 |3639 | 24k|3639 | 984 | 60k| 178k|3393 | 0.000000e+00 | 1.500000e+01 | Inf
462.81/462.83 c 445s|230000 | 1189 |880220 | 3.8 | 45M| 179 | - |3639 | 27k| 0 | 0 | 61k| 191k|3443 | 0.000000e+00 | 1.500000e+01 | Inf
484.10/484.13 c 465s|240000 | 1232 |910468 | 3.8 | 46M| 179 | 8 |3639 | 29k|3639 | 976 | 62k| 205k|3486 | 0.000000e+00 | 1.500000e+01 | Inf
504.91/504.92 c 485s|250000 | 1301 |942084 | 3.8 | 46M| 179 | 6 |3639 | 27k|3639 | 976 | 63k| 219k|3599 | 0.000000e+00 | 1.500000e+01 | Inf
525.21/525.27 c 505s|260000 | 1239 |971790 | 3.7 | 44M| 179 | 12 |3639 | 21k|3639 | 976 | 64k| 233k|3693 | 0.000000e+00 | 1.500000e+01 | Inf
544.51/544.59 c 524s|270000 | 1257 | 1002k| 3.7 | 44M| 179 | 13 |3639 | 19k|3639 | 976 | 65k| 246k|3746 | 0.000000e+00 | 1.500000e+01 | Inf
563.21/563.23 c 541s|280000 | 1285 | 1037k| 3.7 | 45M| 179 | 15 |3639 | 21k|3639 | 976 | 67k| 260k|3821 | 0.000000e+00 | 1.500000e+01 | Inf
584.11/584.14 c 562s|290000 | 1246 | 1083k| 3.7 | 45M| 179 | 14 |3639 | 19k|3639 | 982 | 70k| 273k|3942 | 0.000000e+00 | 1.500000e+01 | Inf
590.10/590.18 o 13
590.10/590.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
590.10/590.18 c * 567s|292991 | 1207 | 1096k| 3.7 | 44M| 179 | - |3639 | 20k|3639 | 992 | 71k| 277k|3976 | 0.000000e+00 | 1.300000e+01 | Inf
604.92/604.92 c 581s|300000 | 1191 | 1126k| 3.8 | 44M| 179 | 16 |3639 | 20k|3639 | 976 | 73k| 286k|4039 | 0.000000e+00 | 1.300000e+01 | Inf
625.51/625.56 c 601s|310000 | 1157 | 1164k| 3.8 | 43M| 179 | 1 |3639 | 18k|3639 | 976 | 75k| 300k|4122 | 0.000000e+00 | 1.300000e+01 | Inf
643.91/643.93 c 619s|320000 | 1132 | 1199k| 3.7 | 43M| 179 | - |3639 | 19k| 0 | 0 | 76k| 313k|4182 | 0.000000e+00 | 1.300000e+01 | Inf
663.51/663.51 c 638s|330000 | 1132 | 1231k| 3.7 | 44M| 179 | 8 |3639 | 23k|3639 | 976 | 77k| 327k|4231 | 0.000000e+00 | 1.300000e+01 | Inf
684.41/684.42 c 659s|340000 | 1205 | 1267k| 3.7 | 46M| 179 | - |3639 | 25k| 0 | 0 | 78k| 341k|4290 | 0.000000e+00 | 1.300000e+01 | Inf
704.91/704.91 c 678s|350000 | 1274 | 1302k| 3.7 | 47M| 179 | 1 |3639 | 24k|3639 | 976 | 80k| 354k|4350 | 0.000000e+00 | 1.300000e+01 | Inf
725.01/725.03 c 698s|360000 | 1256 | 1336k| 3.7 | 47M| 179 | 7 |3639 | 24k|3639 | 976 | 81k| 367k|4398 | 0.000000e+00 | 1.300000e+01 | Inf
744.41/744.48 c 717s|370000 | 1270 | 1364k| 3.7 | 48M| 179 | 7 |3639 | 26k|3639 | 976 | 82k| 381k|4438 | 0.000000e+00 | 1.300000e+01 | Inf
765.12/765.14 c 737s|380000 | 1278 | 1395k| 3.7 | 48M| 179 | 16 |3639 | 27k|3639 | 976 | 82k| 394k|4491 | 0.000000e+00 | 1.300000e+01 | Inf
786.61/786.63 c 758s|390000 | 1346 | 1428k| 3.7 | 50M| 179 | 20 |3639 | 29k|3639 | 976 | 83k| 408k|4551 | 0.000000e+00 | 1.300000e+01 | Inf
808.01/808.03 c 778s|400000 | 1319 | 1458k| 3.6 | 51M| 179 | 17 |3639 | 30k|3639 | 976 | 84k| 423k|4610 | 0.000000e+00 | 1.300000e+01 | Inf
829.32/829.39 c 799s|410000 | 1298 | 1494k| 3.6 | 49M| 179 | - |3639 | 24k| 0 | 0 | 85k| 436k|4687 | 0.000000e+00 | 1.300000e+01 | Inf
850.42/850.44 c 820s|420000 | 1298 | 1527k| 3.6 | 49M| 179 | 11 |3639 | 23k|3639 | 976 | 86k| 449k|4745 | 0.000000e+00 | 1.300000e+01 | Inf
871.12/871.12 c 840s|430000 | 1315 | 1561k| 3.6 | 49M| 179 | 24 |3639 | 23k|3639 | 976 | 87k| 463k|4846 | 0.000000e+00 | 1.300000e+01 | Inf
890.52/890.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
890.52/890.52 c 858s|440000 | 1341 | 1594k| 3.6 | 51M| 179 | - |3639 | 24k| 0 | 0 | 87k| 476k|4900 | 0.000000e+00 | 1.300000e+01 | Inf
911.02/911.09 c 878s|450000 | 1358 | 1628k| 3.6 | 52M| 179 | - |3639 | 25k| 0 | 0 | 88k| 490k|4941 | 0.000000e+00 | 1.300000e+01 | Inf
932.92/932.92 c 900s|460000 | 1377 | 1664k| 3.6 | 53M| 179 | - |3639 | 27k| 0 | 0 | 89k| 504k|4992 | 0.000000e+00 | 1.300000e+01 | Inf
954.02/954.02 c 920s|470000 | 1371 | 1700k| 3.6 | 53M| 179 | 17 |3639 | 27k|3639 | 976 | 90k| 517k|5048 | 0.000000e+00 | 1.300000e+01 | Inf
974.92/974.92 c 940s|480000 | 1385 | 1734k| 3.6 | 53M| 179 | 14 |3639 | 27k|3639 | 976 | 91k| 530k|5131 | 0.000000e+00 | 1.300000e+01 | Inf
996.22/996.21 c 961s|490000 | 1413 | 1770k| 3.6 | 54M| 179 | - |3639 | 29k| 0 | 0 | 92k| 544k|5190 | 0.000000e+00 | 1.300000e+01 | Inf
1018.12/1018.14 c 982s|500000 | 1404 | 1803k| 3.6 | 55M| 179 | - |3639 | 30k| 0 | 0 | 93k| 559k|5228 | 0.000000e+00 | 1.300000e+01 | Inf
1025.12/1025.12 o 10
1025.12/1025.12 c * 989s|503465 | 1285 | 1813k| 3.6 | 53M| 179 | - |3639 | 31k|3639 | 976 | 93k| 563k|5243 | 0.000000e+00 | 1.000000e+01 | Inf
1038.82/1038.85 c 1003s|510000 | 1272 | 1838k| 3.6 | 49M| 179 | 1 |3639 | 21k|3639 | 976 | 94k| 572k|5255 | 0.000000e+00 | 1.000000e+01 | Inf
1058.33/1058.30 c 1021s|520000 | 1289 | 1873k| 3.6 | 51M| 179 | - |3639 | 23k| 0 | 0 | 94k| 586k|5359 | 0.000000e+00 | 1.000000e+01 | Inf
1077.93/1077.98 c 1040s|530000 | 1314 | 1910k| 3.6 | 51M| 179 | 15 |3639 | 23k|3639 | 976 | 95k| 600k|5419 | 0.000000e+00 | 1.000000e+01 | Inf
1097.32/1097.37 c 1059s|540000 | 1307 | 1944k| 3.6 | 51M| 179 | - |3639 | 23k| 0 | 0 | 97k| 615k|5474 | 0.000000e+00 | 1.000000e+01 | Inf
1117.22/1117.24 c 1078s|550000 | 1395 | 1982k| 3.6 | 51M| 179 | 7 |3639 | 20k|3639 | 976 | 98k| 628k|5515 | 0.000000e+00 | 1.000000e+01 | Inf
1136.52/1136.52 c 1097s|560000 | 1445 | 2018k| 3.6 | 52M| 179 | - |3639 | 21k| 0 | 0 | 99k| 643k|5554 | 0.000000e+00 | 1.000000e+01 | Inf
1154.93/1154.99 c 1114s|570000 | 1513 | 2049k| 3.6 | 52M| 179 | 8 |3639 | 20k|3639 | 976 | 100k| 657k|5613 | 0.000000e+00 | 1.000000e+01 | Inf
1174.12/1174.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1174.12/1174.12 c 1133s|580000 | 1540 | 2081k| 3.6 | 53M| 179 | 1 |3639 | 22k|3639 | 976 | 101k| 671k|5667 | 0.000000e+00 | 1.000000e+01 | Inf
1193.63/1193.60 c 1151s|590000 | 1540 | 2112k| 3.6 | 53M| 179 | 14 |3639 | 21k|3639 | 976 | 102k| 685k|5709 | 0.000000e+00 | 1.000000e+01 | Inf
1213.12/1213.13 c 1170s|600000 | 1567 | 2143k| 3.6 | 54M| 179 | - |3639 | 21k| 0 | 0 | 103k| 699k|5782 | 0.000000e+00 | 1.000000e+01 | Inf
1231.93/1231.93 c 1188s|610000 | 1548 | 2176k| 3.6 | 54M| 179 | 16 |3639 | 20k|3639 | 976 | 104k| 714k|5796 | 0.000000e+00 | 1.000000e+01 | Inf
1250.43/1250.47 c 1206s|620000 | 1587 | 2209k| 3.6 | 55M| 179 | 14 |3639 | 22k|3639 | 976 | 105k| 729k|5840 | 0.000000e+00 | 1.000000e+01 | Inf
1270.13/1270.11 c 1225s|630000 | 1609 | 2241k| 3.6 | 55M| 179 | 1 |3639 | 21k|3639 | 976 | 106k| 743k|5918 | 0.000000e+00 | 1.000000e+01 | Inf
1288.63/1288.66 c 1243s|640000 | 1568 | 2275k| 3.6 | 55M| 179 | - |3639 | 21k| 0 | 0 | 107k| 758k|5943 | 0.000000e+00 | 1.000000e+01 | Inf
1307.63/1307.61 c 1261s|650000 | 1560 | 2310k| 3.6 | 55M| 179 | 17 |3639 | 18k|3639 | 976 | 108k| 772k|5991 | 0.000000e+00 | 1.000000e+01 | Inf
1325.43/1325.41 c 1278s|660000 | 1583 | 2341k| 3.5 | 55M| 179 | 10 |3639 | 18k|3639 | 976 | 108k| 786k|6047 | 0.000000e+00 | 1.000000e+01 | Inf
1343.14/1343.19 c 1295s|670000 | 1566 | 2375k| 3.5 | 55M| 179 | - |3639 | 17k| 0 | 0 | 109k| 801k|6090 | 0.000000e+00 | 1.000000e+01 | Inf
1362.44/1362.47 c 1313s|680000 | 1552 | 2410k| 3.5 | 56M| 179 | - |3639 | 18k| 0 | 0 | 110k| 815k|6104 | 0.000000e+00 | 1.000000e+01 | Inf
1382.64/1382.65 c 1333s|690000 | 1557 | 2447k| 3.5 | 56M| 179 | - |3639 | 19k| 0 | 0 | 111k| 829k|6163 | 0.000000e+00 | 1.000000e+01 | Inf
1401.93/1401.91 c 1351s|700000 | 1586 | 2484k| 3.5 | 57M| 179 | 12 |3639 | 20k|3639 | 976 | 112k| 843k|6248 | 0.000000e+00 | 1.000000e+01 | Inf
1422.83/1422.82 c 1371s|710000 | 1626 | 2524k| 3.6 | 59M| 179 | - |3639 | 21k| 0 | 0 | 113k| 857k|6304 | 0.000000e+00 | 1.000000e+01 | Inf
1443.14/1443.17 c 1391s|720000 | 1596 | 2562k| 3.6 | 59M| 179 | 1 |3639 | 24k|3639 | 976 | 114k| 872k|6324 | 0.000000e+00 | 1.000000e+01 | Inf
1462.83/1462.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1462.83/1462.81 c 1410s|730000 | 1567 | 2598k| 3.6 | 58M| 179 | - |3639 | 19k| 0 | 0 | 115k| 887k|6459 | 0.000000e+00 | 1.000000e+01 | Inf
1482.03/1482.02 c 1428s|740000 | 1536 | 2636k| 3.6 | 59M| 179 | - |3639 | 23k| 0 | 0 | 117k| 901k|6485 | 0.000000e+00 | 1.000000e+01 | Inf
1503.13/1503.15 c 1449s|750000 | 1530 | 2675k| 3.6 | 58M| 179 | 11 |3639 | 19k|3639 | 972 | 120k| 915k|6598 | 0.000000e+00 | 1.000000e+01 | Inf
1524.04/1524.03 c 1469s|760000 | 1453 | 2727k| 3.6 | 55M| 179 | - |3639 | 17k| 0 | 0 | 124k| 929k|6678 | 0.000000e+00 | 1.000000e+01 | Inf
1545.64/1545.67 c 1489s|770000 | 1465 | 2777k| 3.6 | 57M| 179 | 16 |3639 | 22k|3639 | 969 | 129k| 942k|6741 | 0.000000e+00 | 1.000000e+01 | Inf
1570.04/1570.08 c 1513s|780000 | 1528 | 2835k| 3.6 | 59M| 179 | 18 |3639 | 25k|3639 | 977 | 137k| 956k|6806 | 0.000000e+00 | 1.000000e+01 | Inf
1593.64/1593.66 c 1536s|790000 | 1482 | 2885k| 3.7 | 59M| 179 | - |3639 | 27k| 0 | 0 | 142k| 969k|6869 | 0.000000e+00 | 1.000000e+01 | Inf
1618.54/1618.59 c 1560s|800000 | 1441 | 2938k| 3.7 | 59M| 179 | 9 |3639 | 26k|3639 | 969 | 147k| 982k|6957 | 0.000000e+00 | 1.000000e+01 | Inf
1642.64/1642.69 c 1583s|810000 | 1426 | 2987k| 3.7 | 60M| 179 | 17 |3639 | 29k|3639 | 972 | 150k| 996k|7035 | 0.000000e+00 | 1.000000e+01 | Inf
1666.24/1666.21 c 1606s|820000 | 1276 | 3032k| 3.7 | 56M| 179 | 1 |3639 | 23k|3639 | 976 | 153k|1010k|7114 | 0.000000e+00 | 1.000000e+01 | Inf
1687.05/1687.02 c 1626s|830000 | 1166 | 3067k| 3.7 | 56M| 179 | - |3639 | 25k| 0 | 0 | 154k|1023k|7133 | 0.000000e+00 | 1.000000e+01 | Inf
1709.44/1709.49 c 1648s|840000 | 1132 | 3110k| 3.7 | 55M| 179 | 19 |3639 | 24k|3639 | 979 | 156k|1036k|7210 | 0.000000e+00 | 1.000000e+01 | Inf
1731.74/1731.70 c 1669s|850000 | 1095 | 3152k| 3.7 | 56M| 179 | - |3639 | 25k|3639 | 976 | 157k|1049k|7263 | 0.000000e+00 | 1.000000e+01 | Inf
1754.55/1754.58 c 1691s|860000 | 1158 | 3193k| 3.7 | 58M| 179 | - |3639 | 29k| 0 | 0 | 158k|1062k|7289 | 0.000000e+00 | 1.000000e+01 | Inf
1778.65/1778.60 c 1714s|870000 | 1051 | 3235k| 3.7 | 56M| 179 | 1 |3639 | 26k|3639 | 976 | 159k|1075k|7324 | 0.000000e+00 | 1.000000e+01 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1734.87
1800.05/1800.00 c Solving Nodes : 879216
1800.05/1800.00 c Primal Bound : +1.00000000000000e+01 (229 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.05 s SATISFIABLE
1800.05/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.05/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
1800.05/1800.05 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.05 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.05 v x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.05/1800.05 v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.05/1800.05 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.05 v -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55
1800.05/1800.05 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.05/1800.05 v -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 -x2
1800.05/1800.05 v -x1
1800.05/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.05 c Solving Time : 1734.87
1800.05/1800.05 c Original Problem :
1800.05/1800.05 c Problem name : HOME/instance-2692761-1277902040.wbo
1800.05/1800.05 c Variables : 3797 (2014 binary, 0 integer, 0 implicit integer, 1783 continuous)
1800.05/1800.05 c Constraints : 4491 initial, 4491 maximal
1800.05/1800.05 c Presolved Problem :
1800.05/1800.05 c Problem name : t_HOME/instance-2692761-1277902040.wbo
1800.05/1800.05 c Variables : 3639 (1935 binary, 0 integer, 0 implicit integer, 1704 continuous)
1800.05/1800.05 c Constraints : 4298 initial, 31549 maximal
1800.05/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.05 c trivial : 0.00 79 0 0 0 0 0 0 0
1800.05/1800.05 c dualfix : 0.00 79 0 0 0 0 0 0 0
1800.05/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 0.00 0 0 0 0 0 79 0 0
1800.05/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c linear : 0.05 0 0 0 1807 0 114 97 0
1800.05/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c root node : - 1554 - - 3108 - - - -
1800.05/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c integral : 0 0 0 548165 0 19 540 0 0 889570
1800.05/1800.05 c indicator : 1704 0 4144154 102845 0 437 3143254 0 0 0
1800.05/1800.05 c setppc : 11 6 4129350 85752 0 30171 1634383 0 0 0
1800.05/1800.05 c linear : 1704 6 4123371 100687 0 199009 19009870 161042 0 0
1800.05/1800.05 c logicor : 879+ 6 1605380 77030 0 178526 3758091 0 0 0
1800.05/1800.05 c bounddisjunction : 0+ 0 126658 0 0 0 0 0 0 0
1800.05/1800.05 c countsols : 0 0 0 77030 0 0 0 0 0 0
1800.05/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.05 c integral : 22.88 0.00 0.00 22.88 0.00
1800.05/1800.05 c indicator : 26.33 0.00 15.55 10.78 0.00
1800.05/1800.05 c setppc : 10.77 0.00 10.75 0.02 0.00
1800.05/1800.05 c linear : 129.04 0.00 125.64 3.40 0.00
1800.05/1800.05 c logicor : 269.48 0.00 268.82 0.66 0.00
1800.05/1800.05 c bounddisjunction : 0.15 0.00 0.15 0.00 0.00
1800.05/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.05 c vbounds : 0.01 2 0 0
1800.05/1800.05 c rootredcost : 0.02 130 0 1554
1800.05/1800.05 c pseudoobj : 139.12 4162260 5259 2311948
1800.05/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.05 c propagation : 20.07 412965 412840 2600606 28.1 17204 23.9 -
1800.05/1800.05 c infeasible LP : 5.26 19052 19051 155088 40.5 197 20.7 0
1800.05/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c pseudo solution : 0.04 166 166 1097 18.1 117 5.5 -
1800.05/1800.05 c applied globally : - - - 1087764 22.3 - - -
1800.05/1800.05 c applied locally : - - - 0 0.0 - - -
1800.05/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.05 c cut pool : 0.00 5 - - 58 - (maximal pool size: 101)
1800.05/1800.05 c redcost : 28.80 551815 0 711258 0 0
1800.05/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.05 c intobj : 0.00 0 0 0 0 0
1800.05/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.05 c gomory : 0.11 6 0 0 625 0
1800.05/1800.05 c strongcg : 0.08 6 0 0 116 0
1800.05/1800.05 c cmir : 0.02 6 0 0 1 0
1800.05/1800.05 c flowcover : 0.07 6 0 0 2 0
1800.05/1800.05 c clique : 0.00 6 0 0 0 0
1800.05/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.05 c mcf : 0.00 1 0 0 0 0
1800.05/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.05 c Pricers : Time Calls Vars
1800.05/1800.05 c problem variables: 0.00 0 0
1800.05/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c relpscost : 22.76 445244 19 540 0 0 889570
1800.05/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c inference : 10.20 76901 0 0 0 0 153802
1800.05/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c random : 0.00 0 0 0 0 0 0
1800.05/1800.05 c Primal Heuristics : Time Calls Found
1800.05/1800.05 c LP solutions : 0.27 - 129
1800.05/1800.05 c pseudo solutions : 0.00 - 0
1800.05/1800.05 c feaspump : 0.01 1 0
1800.05/1800.05 c intshifting : 0.01 9 0
1800.05/1800.05 c oneopt : 0.76 116 0
1800.05/1800.05 c crossover : 2.33 107 0
1800.05/1800.05 c guideddiving : 2.69 2802 0
1800.05/1800.05 c fracdiving : 2.71 2803 0
1800.05/1800.05 c veclendiving : 2.63 2803 0
1800.05/1800.05 c coefdiving : 2.56 2803 0
1800.05/1800.05 c pscostdiving : 3.00 2803 0
1800.05/1800.05 c linesearchdiving : 2.66 2803 0
1800.05/1800.05 c objpscostdiving : 2.48 2567 0
1800.05/1800.05 c rootsoldiving : 2.55 2581 0
1800.05/1800.05 c trivial : 0.00 2 0
1800.05/1800.05 c simplerounding : 0.53 446365 0
1800.05/1800.05 c zirounding : 0.03 1000 0
1800.05/1800.05 c rounding : 2.21 9461 0
1800.05/1800.05 c shifting : 1.33 2884 0
1800.05/1800.05 c twoopt : 0.00 0 0
1800.05/1800.05 c fixandinfer : 0.00 0 0
1800.05/1800.05 c intdiving : 0.00 0 0
1800.05/1800.05 c actconsdiving : 0.00 0 0
1800.05/1800.05 c octane : 0.00 0 0
1800.05/1800.05 c rens : 0.02 1 0
1800.05/1800.05 c rins : 0.00 0 0
1800.05/1800.05 c localbranching : 0.00 0 0
1800.05/1800.05 c mutation : 0.00 0 0
1800.05/1800.05 c dins : 0.00 0 0
1800.05/1800.05 c undercover : 0.00 0 0
1800.05/1800.05 c nlp : 0.00 0 0
1800.05/1800.05 c trysol : 0.53 8992 100
1800.05/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.05 c dual LP : 535.95 496535 3273185 6.59 6107.26
1800.05/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.05 c diving/probing LP: 0.65 317 4812 15.18 7403.08
1800.05/1800.05 c strong branching : 18.95 7396 129840 17.56 6851.72
1800.05/1800.05 c (at root node) : - 33 3188 96.61 -
1800.05/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.05 c B&B Tree :
1800.05/1800.05 c number of runs : 1
1800.05/1800.05 c nodes : 879216
1800.05/1800.05 c nodes (total) : 879216
1800.05/1800.05 c nodes left : 1022
1800.05/1800.05 c max depth : 179
1800.05/1800.05 c max depth (total): 179
1800.05/1800.05 c backtracks : 89301 (10.2%)
1800.05/1800.05 c delayed cutoffs : 78112
1800.05/1800.05 c repropagations : 1835718 (5997834 domain reductions, 75149 cutoffs)
1800.05/1800.05 c avg switch length: 5.62
1800.05/1800.05 c switching time : 266.11
1800.05/1800.05 c Solution :
1800.05/1800.05 c Solutions found : 229 (130 improvements)
1800.05/1800.05 c First Solution : +8.67900000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.05/1800.05 c Primal Bound : +1.00000000000000e+01 (in run 1, after 503465 nodes, 989.21 seconds, depth 41, found by <relaxation>)
1800.05/1800.05 c Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Gap : infinite
1800.05/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Root Iterations : 230
1800.15/1800.12 c Time complete: 1800.17.
OK 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692761-1277902040/watcher-2692761-1277902040 -o /tmp/evaluation-result-2692761-1277902040/solver-2692761-1277902040 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692761-1277902040.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 3/178 14338 /proc/meminfo: memFree=31388648/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=9412 CPUtime=0 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 1647 0 0 0 0 0 0 0 20 0 1 0 131498639 9637888 1567 4089446400 4194304 8223781 140735315424832 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14338/statm: 2353 1568 369 984 0 1366 0 [startup+0.0807559 s] /proc/loadavg: 1.92 1.98 1.99 3/178 14338 /proc/meminfo: memFree=31388648/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=29308 CPUtime=0.07 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 7204 0 0 0 6 1 0 0 21 0 1 0 131498639 30011392 6246 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14338/statm: 7327 6246 446 984 0 6340 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 29308 [startup+0.100751 s] /proc/loadavg: 1.92 1.98 1.99 3/178 14338 /proc/meminfo: memFree=31388648/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=29308 CPUtime=0.09 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 7730 0 0 0 8 1 0 0 21 0 1 0 131498639 30011392 6258 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14338/statm: 7327 6258 452 984 0 6340 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29308 [startup+0.300716 s] /proc/loadavg: 1.92 1.98 1.99 3/178 14338 /proc/meminfo: memFree=31388648/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=35336 CPUtime=0.29 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 11490 0 0 0 25 4 0 0 21 0 1 0 131498639 36184064 7934 4089446400 4194304 8223781 140735315424832 18446744073709551615 4482885 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14338/statm: 8834 7934 573 984 0 7847 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35336 [startup+0.700643 s] /proc/loadavg: 1.92 1.98 1.99 3/178 14338 /proc/meminfo: memFree=31388648/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=37688 CPUtime=0.69 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 18669 0 0 0 63 6 0 0 22 0 1 0 131498639 38592512 8494 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14338/statm: 9422 8494 589 984 0 8435 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37688 [startup+1.5005 s] /proc/loadavg: 1.92 1.98 1.99 3/179 14339 /proc/meminfo: memFree=31357020/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=37688 CPUtime=1.49 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 18670 0 0 0 139 10 0 0 25 0 1 0 131498639 38592512 8495 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14338/statm: 9422 8495 590 984 0 8435 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37688 [startup+3.1002 s] /proc/loadavg: 1.92 1.98 1.99 3/179 14339 /proc/meminfo: memFree=31357020/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=37688 CPUtime=3.09 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 18675 0 0 0 291 18 0 0 25 0 1 0 131498639 38592512 8500 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14338/statm: 9422 8500 591 984 0 8435 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37688 [startup+6.30062 s] /proc/loadavg: 1.93 1.98 1.99 3/179 14339 /proc/meminfo: memFree=31357272/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=39304 CPUtime=6.29 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 23583 0 0 0 599 30 0 0 25 0 1 0 131498639 40247296 8789 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 9826 8789 593 984 0 8839 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39304 [startup+12.7005 s] /proc/loadavg: 1.93 1.98 1.99 3/179 14339 /proc/meminfo: memFree=31348356/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=47808 CPUtime=12.69 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 41444 0 0 0 1213 56 0 0 25 0 1 0 131498639 48955392 10861 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 11952 10861 596 984 0 10965 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47808 [startup+25.5011 s] /proc/loadavg: 1.95 1.98 1.99 3/179 14339 /proc/meminfo: memFree=31333628/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=63120 CPUtime=25.5 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 59534 0 0 0 2450 100 0 0 25 0 1 0 131498639 64634880 14724 4089446400 4194304 8223781 140735315424832 18446744073709551615 4643315 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 15780 14724 597 984 0 14793 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 63120 [startup+51.1004 s] /proc/loadavg: 1.96 1.98 1.99 2/177 14341 /proc/meminfo: memFree=31397292/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=92424 CPUtime=51.09 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 105829 0 0 0 4925 184 0 0 25 0 1 0 131498639 94642176 22127 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 23106 22127 597 984 0 22119 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 92424 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.99 3/179 14369 /proc/meminfo: memFree=31189448/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=145788 CPUtime=102.3 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 222439 0 0 0 9914 316 0 0 25 0 1 0 131498639 149286912 35537 4089446400 4194304 8223781 140735315424832 18446744073709551615 4561118 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 36447 35537 597 984 0 35460 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 145788 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 14371 /proc/meminfo: memFree=30975596/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=199364 CPUtime=162.3 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 415516 0 0 0 15700 530 0 0 25 0 1 0 131498639 204148736 48422 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 49841 48422 597 984 0 48854 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 199364 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 14373 /proc/meminfo: memFree=30759660/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=248508 CPUtime=222.3 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 613531 0 0 0 21446 784 0 0 25 0 1 0 131498639 254472192 60532 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 62127 60532 606 984 0 61140 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 248508 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 14374 /proc/meminfo: memFree=30728488/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=253920 CPUtime=282.3 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 684833 0 0 0 27173 1057 0 0 25 0 1 0 131498639 260014080 61869 4089446400 4194304 8223781 140735315424832 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 63480 61869 606 984 0 62493 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 253920 [startup+342.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 14376 /proc/meminfo: memFree=30724220/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=258296 CPUtime=342.3 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 695135 0 0 0 32917 1313 0 0 25 0 1 0 131498639 264495104 62956 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 64574 62956 606 984 0 63587 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 258296 [startup+402.3 s] /proc/loadavg: 2.04 2.00 2.00 3/179 14377 /proc/meminfo: memFree=30634900/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=260536 CPUtime=402.31 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 701913 0 0 0 38665 1566 0 0 25 0 1 0 131498639 266788864 63456 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 65134 63456 606 984 0 64147 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 260536 [startup+462.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14379 /proc/meminfo: memFree=30535652/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=262492 CPUtime=462.3 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 706551 0 0 0 44438 1792 0 0 25 0 1 0 131498639 268791808 63939 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 65623 63939 606 984 0 64636 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 262492 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14381 /proc/meminfo: memFree=30443728/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=264520 CPUtime=522.31 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 708911 0 0 0 50217 2014 0 0 25 0 1 0 131498639 270868480 64412 4089446400 4194304 8223781 140735315424832 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 66130 64412 606 984 0 65143 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 264520 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14382 /proc/meminfo: memFree=30353404/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=266324 CPUtime=582.3 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 713070 0 0 0 55975 2255 0 0 25 0 1 0 131498639 272715776 64847 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 66581 64847 606 984 0 65594 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 266324 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14411 /proc/meminfo: memFree=31106056/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=267552 CPUtime=642.32 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 756062 0 0 0 61769 2463 0 0 25 0 1 0 131498639 273973248 65125 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 66888 65125 606 984 0 65901 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 267552 [startup+702.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14426 /proc/meminfo: memFree=30714428/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=270676 CPUtime=882.32 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 782496 0 0 0 85054 3178 0 0 25 0 1 0 131498639 277172224 65940 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 67669 65940 606 984 0 66682 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 270676 [startup+942.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 14428 /proc/meminfo: memFree=30660452/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=271848 CPUtime=942.31 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 783822 0 0 0 90883 3348 0 0 25 0 1 0 131498639 278372352 66208 4089446400 4194304 8223781 140735315424832 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 67962 66208 606 984 0 66975 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 271848 [startup+1002.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14429 /proc/meminfo: memFree=30565680/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=272692 CPUtime=1002.32 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 784318 0 0 0 96704 3528 0 0 25 0 1 0 131498639 279236608 66374 4089446400 4194304 8223781 140735315424832 18446744073709551615 4210013 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 68173 66374 606 984 0 67186 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 272692 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14431 /proc/meminfo: memFree=30481304/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=274536 CPUtime=1062.33 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 827821 0 0 0 102521 3712 0 0 25 0 1 0 131498639 281124864 66857 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 68634 66857 606 984 0 67647 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 274536 [startup+1122.3 s] /proc/loadavg: 1.95 1.98 1.99 3/197 14478 /proc/meminfo: memFree=31141896/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=275480 CPUtime=1122.33 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 838532 0 0 0 108296 3937 0 0 25 0 1 0 131498639 282091520 67026 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 68870 67026 606 984 0 67883 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 275480 [startup+1182.3 s] /proc/loadavg: 1.98 1.98 1.99 3/197 14479 /proc/meminfo: memFree=31138108/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=276828 CPUtime=1182.32 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 843338 0 0 0 114057 4175 0 0 25 0 1 0 131498639 283471872 67361 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 69207 67361 606 984 0 68220 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 276828 [startup+1242.3 s] /proc/loadavg: 1.99 1.98 1.99 3/197 14481 /proc/meminfo: memFree=31135796/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=277908 CPUtime=1242.33 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 849107 0 0 0 119813 4420 0 0 25 0 1 0 131498639 284577792 67616 4089446400 4194304 8223781 140735315424832 18446744073709551615 4208878 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 69477 67616 606 984 0 68490 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 277908 [startup+1302.3 s] /proc/loadavg: 2.03 2.00 2.00 3/197 14482 /proc/meminfo: memFree=31134132/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=279552 CPUtime=1302.33 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 850478 0 0 0 125581 4652 0 0 25 0 1 0 131498639 286261248 67894 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 69888 67894 606 984 0 68901 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 279552 [startup+1362.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14484 /proc/meminfo: memFree=31133304/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=280060 CPUtime=1362.33 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 852072 0 0 0 131327 4906 0 0 25 0 1 0 131498639 286781440 68035 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 70015 68035 606 984 0 69028 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 280060 [startup+1422.31 s] /proc/loadavg: 2.04 2.01 2.00 3/197 14486 /proc/meminfo: memFree=31131752/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=280720 CPUtime=1422.34 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 863901 0 0 0 137083 5151 0 0 25 0 1 0 131498639 287457280 68166 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 70180 68166 606 984 0 69193 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 280720 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 14487 /proc/meminfo: memFree=31127340/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=281532 CPUtime=1482.34 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 873414 0 0 0 142843 5391 0 0 25 0 1 0 131498639 288288768 68406 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 70383 68406 606 984 0 69396 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 281532 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14489 /proc/meminfo: memFree=31126896/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=282120 CPUtime=1542.34 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 882762 0 0 0 148611 5623 0 0 25 0 1 0 131498639 288890880 68500 4089446400 4194304 8223781 140735315424832 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 70530 68500 606 984 0 69543 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 282120 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14518 /proc/meminfo: memFree=31160716/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=283400 CPUtime=1602.34 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 893996 0 0 0 154400 5834 0 0 25 0 1 0 131498639 290201600 68765 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 70850 68765 606 984 0 69863 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 283400 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14520 /proc/meminfo: memFree=31114876/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=284476 CPUtime=1662.34 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 894617 0 0 0 160208 6026 0 0 25 0 1 0 131498639 291303424 69106 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 71119 69106 606 984 0 70132 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 284476 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14522 /proc/meminfo: memFree=31104304/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=285536 CPUtime=1722.35 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 900924 0 0 0 166000 6235 0 0 25 0 1 0 131498639 292388864 69286 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 71384 69286 606 984 0 70397 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 285536 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14523 /proc/meminfo: memFree=31099792/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=286516 CPUtime=1782.34 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 906154 0 0 0 171783 6451 0 0 25 0 1 0 131498639 293392384 69554 4089446400 4194304 8223781 140735315424832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 71629 69554 606 984 0 70642 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 286516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14524 /proc/meminfo: memFree=31096180/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=286652 CPUtime=1800.05 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 909566 0 0 0 173489 6516 0 0 25 0 1 0 131498639 293531648 69620 4089446400 4194304 8223781 140735315424832 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/14338/statm: 71663 69620 606 984 0 70676 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 286652 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14524 /proc/meminfo: memFree=31096180/32951124 swapFree=67111528/67111528 [pid=14338] ppid=14336 vsize=251464 CPUtime=1800.15 /proc/14338/stat : 14338 (pbscip.linux.x8) R 14336 14338 13704 0 -1 4202496 909568 0 0 0 173499 6516 0 0 18 0 1 0 131498639 257499136 61345 4089446400 4194304 8223781 140735315424832 18446744073709551615 4240882 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/14338/statm: 62866 61345 608 984 0 61879 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 251464 Child status: 0 Real time (s): 1800.12 CPU time (s): 1800.18 CPU user time (s): 1735 CPU system time (s): 65.1741 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 297132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1735 system time used= 65.1741 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 909572 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= 19242 runsolver used 3.65944 second user time and 5.96509 second system time The end
Begin job on node142 at 2010-06-30 14:47:20 IDJOB=2692761 IDBENCH=78897 IDSOLVER=1204 FILE ID=node142/2692761-1277902040 PBS_JOBID= 11197194 Free space on /tmp= 74172 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568706--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692761-1277902040/watcher-2692761-1277902040 -o /tmp/evaluation-result-2692761-1277902040/solver-2692761-1277902040 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692761-1277902040.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d42cf4effb818ceec652d99deb164158 RANDOM SEED=74622193 node142.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31389300 kB Buffers: 183388 kB Cached: 1076756 kB SwapCached: 0 kB Active: 587388 kB Inactive: 830016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31389300 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4720 kB Writeback: 0 kB AnonPages: 157728 kB Mapped: 17460 kB Slab: 79144 kB PageTables: 5020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 304784 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74168 MiB End job on node142 at 2010-06-30 15:17:22