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.23 | 1800.18 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo |
| MD5SUM | 908c51b3c7715396d94712713af78fd9 |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 435.305 |
| 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 | 1868 |
| 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 | 94981 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 94980 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 709 |
| 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-2692926-1277910905.wbo>
0.00/0.03 c original problem has 3967 variables (2099 bin, 0 int, 0 impl, 1868 cont) and 4576 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.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.00/0.09 c (round 2) 0 del vars, 67 del conss, 1868 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.10 c (round 3) 49 del vars, 134 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.11 c (round 4) 106 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2042 (4.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 114 deleted vars, 142 deleted constraints, 1876 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.16 c 2006 implications, 5 cliques
0.09/0.16 c presolved problem has 3853 variables (2042 bin, 0 int, 0 impl, 1811 cont) and 4434 constraints
0.09/0.16 c 1811 constraints of type <indicator>
0.09/0.16 c 5 constraints of type <setppc>
0.09/0.16 c 1811 constraints of type <linear>
0.09/0.16 c 807 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
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 = 1799.97
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 = 3420
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
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 -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.17 c
0.09/0.17 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.17 c 0.1s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 92548
0.09/0.18 c y 0.1s| 1 | 0 | 18 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 63 | - | 14M| 0 | 27 |3853 |4434 |3853 | 829 | 17 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 152 | - | 14M| 0 | 43 |3853 |4434 |3853 | 864 | 52 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.30 c 0.2s| 1 | 0 | 184 | - | 14M| 0 | 46 |3853 |4434 |3853 | 877 | 65 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 193 | - | 14M| 0 | 48 |3853 |4434 |3853 | 882 | 70 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.39/0.43 c 0.4s| 1 | 0 | 215 | - | 14M| 0 | 51 |3853 |4434 |3853 | 889 | 77 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.49/0.50 c 0.4s| 1 | 0 | 230 | - | 14M| 0 | 51 |3853 |4434 |3853 | 894 | 82 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.89/0.91 c 0.8s| 1 | 2 | 230 | - | 14M| 0 | 51 |3853 |4434 |3853 | 894 | 82 | 0 | 33 | 0.000000e+00 | 9.254800e+04 | Inf
19.19/19.28 c 19.0s| 10000 | 10001 | 15460 | 1.5 | 37M| 365 | 0 |3853 |4434 |3853 | 956 |1715 | 0 |1000 | 0.000000e+00 | 9.254800e+04 | Inf
32.79/32.81 c 32.3s| 20000 | 20001 | 22309 | 1.1 | 54M| 365 | 0 |3853 |4434 |3853 | 950 |3123 | 0 |1137 | 0.000000e+00 | 9.254800e+04 | Inf
47.79/47.87 c 47.2s| 30000 | 29997 | 37631 | 1.2 | 71M| 365 | 0 |3853 |4444 |3853 | 990 |5389 | 10 |1418 | 0.000000e+00 | 9.254800e+04 | Inf
61.49/61.57 c 60.7s| 40000 | 39987 | 46723 | 1.2 | 89M| 365 | 0 |3853 |4453 |3853 | 932 |6962 | 28 |1462 | 0.000000e+00 | 9.254800e+04 | Inf
74.39/74.42 c 73.4s| 50000 | 49987 | 49905 | 1.0 | 106M| 365 | 0 |3853 |4452 |3853 | 945 |7950 | 28 |1469 | 0.000000e+00 | 9.254800e+04 | Inf
88.59/88.67 c 87.4s| 60000 | 59975 | 62847 | 1.0 | 123M| 365 | 0 |3853 |4485 |3853 | 936 |9853 | 64 |1498 | 0.000000e+00 | 9.254800e+04 | Inf
102.09/102.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.09/102.17 c 101s| 70000 | 69973 | 71038 | 1.0 | 140M| 365 | 0 |3853 |4480 |3853 | 938 | 11k| 74 |1515 | 0.000000e+00 | 9.254800e+04 | Inf
115.99/116.01 c 114s| 80000 | 79973 | 81182 | 1.0 | 156M| 365 | 0 |3853 |4465 |3853 | 945 | 12k| 74 |1549 | 0.000000e+00 | 9.254800e+04 | Inf
129.49/129.55 c 128s| 90000 | 89971 | 89326 | 1.0 | 173M| 365 | 0 |3853 |4469 |3853 | 925 | 13k| 80 |1562 | 0.000000e+00 | 9.254800e+04 | Inf
130.89/131.00 o 847
130.89/131.00 c * 129s| 91016 | 58933 | 90577 | 1.0 | 124M| 365 | - |3853 |4469 |3853 | 945 | 13k| 80 |1562 | 0.000000e+00 | 8.470000e+02 | Inf
131.69/131.78 o 842
131.69/131.78 c * 130s| 91394 | 58673 | 91874 | 1.0 | 124M| 365 | - |3853 |4730 |3853 | 928 | 13k| 341 |1562 | 0.000000e+00 | 8.420000e+02 | Inf
132.39/132.42 o 800
132.39/132.42 c * 131s| 91713 | 54457 | 92259 | 1.0 | 118M| 365 | - |3853 |4817 |3853 | 951 | 14k| 435 |1564 | 0.000000e+00 | 8.000000e+02 | Inf
132.59/132.61 o 792
132.59/132.61 c * 131s| 91793 | 53583 | 92841 | 1.0 | 117M| 365 | - |3853 |4848 |3853 | 948 | 14k| 471 |1564 | 0.000000e+00 | 7.920000e+02 | Inf
133.49/133.58 o 764
133.49/133.58 c * 132s| 92214 | 50766 | 95530 | 1.0 | 112M| 365 | - |3853 |5070 |3853 | 937 | 14k| 710 |1567 | 0.000000e+00 | 7.640000e+02 | Inf
133.89/133.92 o 762
133.89/133.92 c * 132s| 92373 | 50677 | 96278 | 1.0 | 112M| 365 | - |3853 |5121 |3853 | 940 | 14k| 768 |1567 | 0.000000e+00 | 7.620000e+02 | Inf
133.99/134.03 o 753
133.99/134.03 c * 132s| 92423 | 49639 | 96401 | 1.0 | 110M| 365 | - |3853 |5125 |3853 | 932 | 14k| 777 |1567 | 0.000000e+00 | 7.530000e+02 | Inf
134.60/134.62 o 745
134.60/134.62 c * 133s| 92697 | 48949 | 97419 | 1.0 | 110M| 365 | - |3853 |5159 |3853 | 932 | 14k| 838 |1571 | 0.000000e+00 | 7.450000e+02 | Inf
134.69/134.75 o 704
134.69/134.75 c * 133s| 92757 | 43890 | 97608 | 1.0 | 101M| 365 | - |3853 |5222 |3853 | 938 | 14k| 917 |1571 | 0.000000e+00 | 7.040000e+02 | Inf
134.99/135.06 o 701
134.99/135.06 c * 133s| 92899 | 43629 | 97937 | 1.1 | 101M| 365 | - |3853 |5241 |3853 | 933 | 14k| 966 |1572 | 0.000000e+00 | 7.010000e+02 | Inf
135.40/135.46 o 665
135.40/135.46 c * 134s| 93078 | 39287 | 98728 | 1.1 | 93M| 365 | - |3853 |5234 |3853 | 939 | 14k| 983 |1577 | 0.000000e+00 | 6.650000e+02 | Inf
136.40/136.50 o 627
136.40/136.50 c * 135s| 93599 | 35481 |100228 | 1.1 | 87M| 365 | - |3853 |5351 |3853 | 948 | 15k|1211 |1580 | 0.000000e+00 | 6.270000e+02 | Inf
136.90/136.91 o 626
136.90/136.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.90/136.91 c * 135s| 93785 | 35531 |101074 | 1.1 | 88M| 365 | - |3853 |5383 |3853 | 935 | 15k|1273 |1580 | 0.000000e+00 | 6.260000e+02 | Inf
137.99/138.05 o 625
137.99/138.05 c * 136s| 94162 | 35764 |104149 | 1.1 | 89M| 365 | - |3853 |5370 |3853 | 952 | 15k|1347 |1650 | 0.000000e+00 | 6.250000e+02 | Inf
139.10/139.18 o 623
139.10/139.18 c * 137s| 94538 | 35906 |109309 | 1.2 | 89M| 365 | - |3853 |5318 |3853 | 924 | 15k|1408 |1660 | 0.000000e+00 | 6.230000e+02 | Inf
139.80/139.83 o 620
139.80/139.83 c * 138s| 94788 | 35813 |111335 | 1.2 | 89M| 365 | - |3853 |5375 |3853 | 965 | 16k|1503 |1662 | 0.000000e+00 | 6.200000e+02 | Inf
141.79/141.87 o 613
141.79/141.87 c * 140s| 95567 | 35919 |118663 | 1.2 | 89M| 365 | - |3853 |5281 |3853 | 941 | 16k|1641 |1662 | 0.000000e+00 | 6.130000e+02 | Inf
147.50/147.59 o 606
147.50/147.59 c * 146s| 97845 | 37365 |135860 | 1.4 | 94M| 365 | - |3853 |5216 |3853 | 949 | 18k|2057 |1722 | 0.000000e+00 | 6.060000e+02 | Inf
152.79/152.81 c 151s|100000 | 39409 |151854 | 1.5 | 99M| 365 | 1 |3853 |5158 |3853 | 908 | 20k|2426 |1725 | 0.000000e+00 | 6.060000e+02 | Inf
153.49/153.58 o 597
153.49/153.58 c * 151s|100307 | 38848 |154410 | 1.5 | 98M| 365 | - |3853 |5125 |3853 | 942 | 20k|2469 |1725 | 0.000000e+00 | 5.970000e+02 | Inf
153.69/153.75 o 577
153.69/153.75 c * 152s|100372 | 37035 |154859 | 1.5 | 94M| 365 | - |3853 |5119 |3853 | 933 | 20k|2474 |1725 | 0.000000e+00 | 5.770000e+02 | Inf
154.69/154.70 o 575
154.69/154.70 c * 153s|100748 | 37202 |157806 | 1.6 | 94M| 365 | - |3853 |5132 |3853 | 960 | 21k|2580 |1728 | 0.000000e+00 | 5.750000e+02 | Inf
155.29/155.34 o 558
155.29/155.34 c * 153s|101008 | 35924 |159265 | 1.6 | 91M| 365 | - |3853 |5135 |3853 | 943 | 21k|2622 |1728 | 0.000000e+00 | 5.580000e+02 | Inf
155.39/155.42 o 549
155.39/155.42 c * 153s|101046 | 35183 |159407 | 1.6 | 90M| 365 | - |3853 |5148 |3853 | 934 | 21k|2639 |1728 | 0.000000e+00 | 5.490000e+02 | Inf
155.49/155.51 o 543
155.49/155.51 c * 153s|101080 | 34707 |159558 | 1.6 | 89M| 365 | - |3853 |5173 |3853 | 942 | 21k|2674 |1728 | 0.000000e+00 | 5.430000e+02 | Inf
157.69/157.70 o 534
157.69/157.70 c * 156s|101999 | 34700 |165669 | 1.6 | 89M| 365 | - |3853 |5347 |3853 | 925 | 22k|3066 |1728 | 0.000000e+00 | 5.340000e+02 | Inf
160.60/160.65 o 531
160.60/160.65 c * 158s|103202 | 35436 |174028 | 1.7 | 91M| 365 | - |3853 |5398 |3853 | 950 | 23k|3479 |1728 | 0.000000e+00 | 5.310000e+02 | Inf
160.89/160.92 o 530
160.89/160.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.89/160.92 c * 159s|103304 | 35435 |174794 | 1.7 | 92M| 365 | - |3853 |5379 |3853 | 930 | 23k|3483 |1729 | 0.000000e+00 | 5.300000e+02 | Inf
161.09/161.18 o 528
161.09/161.18 c * 159s|103380 | 35310 |175419 | 1.7 | 92M| 365 | - |3853 |5408 |3853 | 946 | 23k|3548 |1729 | 0.000000e+00 | 5.280000e+02 | Inf
162.79/162.87 o 524
162.79/162.87 c * 161s|103982 | 35323 |181219 | 1.7 | 93M| 365 | - |3853 |5599 |3853 | 943 | 23k|3908 |1729 | 0.000000e+00 | 5.240000e+02 | Inf
166.49/166.57 o 521
166.49/166.57 c * 164s|105260 | 35975 |193500 | 1.8 | 96M| 365 | - |3853 |5873 |3853 | 957 | 25k|4583 |1765 | 0.000000e+00 | 5.210000e+02 | Inf
166.49/166.58 o 519
166.49/166.58 c * 164s|105264 | 35729 |193510 | 1.8 | 95M| 365 | - |3853 |5873 |3853 | 959 | 25k|4583 |1765 | 0.000000e+00 | 5.190000e+02 | Inf
172.09/172.19 o 518
172.09/172.19 c * 170s|107330 | 37412 |210992 | 2.0 | 100M| 365 | - |3853 |5761 |3853 | 936 | 27k|5345 |1828 | 0.000000e+00 | 5.180000e+02 | Inf
172.09/172.20 o 516
172.09/172.20 c * 170s|107331 | 37188 |210992 | 2.0 | 100M| 365 | - |3853 |5761 |3853 | 936 | 27k|5345 |1828 | 0.000000e+00 | 5.160000e+02 | Inf
172.50/172.54 o 514
172.50/172.54 c * 170s|107471 | 37093 |212107 | 2.0 | 100M| 365 | - |3853 |5747 |3853 | 931 | 27k|5367 |1828 | 0.000000e+00 | 5.140000e+02 | Inf
179.89/179.92 c 177s|110000 | 39170 |237504 | 2.2 | 106M| 365 | 0 |3853 |5946 |3853 | 940 | 30k|6695 |1969 | 0.000000e+00 | 5.140000e+02 | Inf
180.09/180.17 o 507
180.09/180.17 c * 178s|110084 | 38448 |238260 | 2.2 | 105M| 365 | - |3853 |5990 |3853 | 947 | 30k|6764 |1969 | 0.000000e+00 | 5.070000e+02 | Inf
180.09/180.17 o 503
180.09/180.17 c * 178s|110085 | 38015 |238260 | 2.2 | 103M| 365 | - |3853 |5989 |3853 | 947 | 30k|6764 |1969 | 0.000000e+00 | 5.030000e+02 | Inf
181.29/181.34 o 500
181.29/181.34 c * 179s|110544 | 38114 |241316 | 2.2 | 104M| 365 | - |3853 |6036 |3853 | 925 | 30k|6938 |1979 | 0.000000e+00 | 5.000000e+02 | Inf
181.29/181.35 o 490
181.29/181.35 c * 179s|110545 | 37074 |241316 | 2.2 | 102M| 365 | - |3853 |6034 |3853 | 925 | 30k|6938 |1979 | 0.000000e+00 | 4.900000e+02 | Inf
181.39/181.44 o 486
181.39/181.44 c * 179s|110573 | 36669 |241562 | 2.2 | 101M| 365 | - |3853 |6042 |3853 | 925 | 30k|6950 |1980 | 0.000000e+00 | 4.860000e+02 | Inf
181.79/181.87 o 483
181.79/181.87 c * 179s|110735 | 36452 |242945 | 2.2 | 100M| 365 | - |3853 |6052 |3853 | 921 | 30k|6987 |1980 | 0.000000e+00 | 4.830000e+02 | Inf
182.90/182.97 o 480
182.90/182.97 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.97 c * 180s|111184 | 36517 |245405 | 2.2 | 101M| 365 | - |3853 |5959 |3853 | 924 | 31k|7022 |1984 | 0.000000e+00 | 4.800000e+02 | Inf
189.20/189.24 o 478
189.20/189.24 c * 187s|113332 | 38163 |266648 | 2.4 | 105M| 365 | - |3853 |5853 |3853 | 943 | 32k|7749 |2120 | 0.000000e+00 | 4.780000e+02 | Inf
189.20/189.26 o 470
189.20/189.26 c * 187s|113345 | 37263 |266658 | 2.4 | 103M| 365 | - |3853 |5853 |3853 | 943 | 32k|7749 |2120 | 0.000000e+00 | 4.700000e+02 | Inf
192.59/192.62 o 468
192.59/192.62 c * 190s|114469 | 37963 |278204 | 2.4 | 105M| 365 | - |3853 |5724 |3853 | 944 | 34k|8164 |2168 | 0.000000e+00 | 4.680000e+02 | Inf
192.59/192.62 o 467
192.59/192.62 c * 190s|114470 | 37861 |278210 | 2.4 | 105M| 365 | - |3853 |5724 |3853 | 944 | 34k|8164 |2168 | 0.000000e+00 | 4.670000e+02 | Inf
193.59/193.67 o 454
193.59/193.67 c * 191s|114918 | 36865 |280771 | 2.4 | 103M| 365 | - |3853 |5880 |3853 | 930 | 34k|8514 |2170 | 0.000000e+00 | 4.540000e+02 | Inf
196.90/196.95 o 452
196.90/196.95 c * 194s|116225 | 37750 |289691 | 2.5 | 105M| 365 | - |3853 |5680 |3853 | 946 | 35k|8926 |2234 | 0.000000e+00 | 4.520000e+02 | Inf
201.50/201.59 o 451
201.50/201.59 c * 199s|117811 | 38891 |305359 | 2.6 | 109M| 365 | - |3853 |5786 |3853 | 956 | 37k|9679 |2267 | 0.000000e+00 | 4.510000e+02 | Inf
201.59/201.60 o 450
201.59/201.60 c * 199s|117812 | 38786 |305359 | 2.6 | 109M| 365 | - |3853 |5786 |3853 | 956 | 37k|9679 |2267 | 0.000000e+00 | 4.500000e+02 | Inf
203.60/203.60 o 442
203.60/203.60 c * 201s|118425 | 38361 |312094 | 2.6 | 108M| 365 | - |3853 |5767 |3853 | 954 | 38k|9931 |2353 | 0.000000e+00 | 4.420000e+02 | Inf
204.99/205.07 o 440
204.99/205.07 c * 202s|118859 | 38453 |317597 | 2.7 | 109M| 365 | - |3853 |5697 |3853 | 940 | 38k| 10k|2369 | 0.000000e+00 | 4.400000e+02 | Inf
205.90/205.94 o 438
205.90/205.94 c * 203s|119226 | 38526 |319493 | 2.7 | 109M| 365 | - |3853 |5687 |3853 | 945 | 39k| 10k|2377 | 0.000000e+00 | 4.380000e+02 | Inf
208.39/208.47 c 205s|120000 | 39098 |329933 | 2.7 | 111M| 365 | 0 |3853 |5778 |3853 | 946 | 40k| 10k|2394 | 0.000000e+00 | 4.380000e+02 | Inf
210.20/210.23 o 437
210.20/210.23 c * 207s|120520 | 39369 |336396 | 2.8 | 112M| 365 | - |3853 |5842 |3853 | 952 | 40k| 11k|2433 | 0.000000e+00 | 4.370000e+02 | Inf
210.20/210.23 o 435
210.20/210.23 c * 207s|120521 | 39113 |336396 | 2.8 | 111M| 365 | - |3853 |5842 |3853 | 952 | 40k| 11k|2433 | 0.000000e+00 | 4.350000e+02 | Inf
210.99/211.09 o 415
210.99/211.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.99/211.09 c * 208s|120811 | 36868 |339162 | 2.8 | 103M| 365 | - |3853 |5850 |3853 | 940 | 41k| 11k|2444 | 0.000000e+00 | 4.150000e+02 | Inf
213.59/213.69 o 410
213.59/213.69 c * 211s|121757 | 37007 |345887 | 2.8 | 104M| 365 | - |3853 |6015 |3853 | 938 | 41k| 11k|2508 | 0.000000e+00 | 4.100000e+02 | Inf
220.29/220.39 o 407
220.29/220.39 c * 217s|123997 | 38186 |368366 | 3.0 | 109M| 365 | - |3853 |6346 |3853 | 933 | 44k| 13k|2595 | 0.000000e+00 | 4.070000e+02 | Inf
220.39/220.40 o 405
220.39/220.40 c * 217s|123998 | 37919 |368366 | 3.0 | 108M| 365 | - |3853 |6346 |3853 | 933 | 44k| 13k|2595 | 0.000000e+00 | 4.050000e+02 | Inf
223.20/223.20 o 396
223.20/223.20 c * 220s|125001 | 37678 |377715 | 3.0 | 108M| 365 | - |3853 |6204 |3853 | 934 | 45k| 13k|2610 | 0.000000e+00 | 3.960000e+02 | Inf
223.20/223.20 o 385
223.20/223.20 c * 220s|125002 | 36280 |377715 | 3.0 | 104M| 365 | - |3853 |6204 |3853 | 934 | 45k| 13k|2610 | 0.000000e+00 | 3.850000e+02 | Inf
223.20/223.30 o 379
223.20/223.30 c * 220s|125024 | 35545 |378154 | 3.0 | 102M| 365 | - |3853 |6190 |3853 | 933 | 45k| 13k|2610 | 0.000000e+00 | 3.790000e+02 | Inf
224.69/224.78 o 371
224.69/224.78 c * 222s|125530 | 34874 |383091 | 3.0 | 101M| 365 | - |3853 |6261 |3853 | 961 | 45k| 14k|2619 | 0.000000e+00 | 3.710000e+02 | Inf
225.90/225.91 o 370
225.90/225.91 c * 223s|125932 | 35024 |386934 | 3.1 | 101M| 365 | - |3853 |6273 |3853 | 936 | 46k| 14k|2633 | 0.000000e+00 | 3.700000e+02 | Inf
226.50/226.60 o 367
226.50/226.60 c * 223s|126095 | 34730 |389257 | 3.1 | 101M| 365 | - |3853 |6276 |3853 | 931 | 46k| 14k|2661 | 0.000000e+00 | 3.670000e+02 | Inf
226.90/226.99 o 365
226.90/226.99 c * 224s|126230 | 34561 |390258 | 3.1 | 101M| 365 | - |3853 |6284 |3853 | 917 | 46k| 14k|2667 | 0.000000e+00 | 3.650000e+02 | Inf
228.69/228.76 o 357
228.69/228.76 c * 225s|126839 | 34018 |395549 | 3.1 | 101M| 365 | - |3853 |6254 |3853 | 943 | 47k| 14k|2682 | 0.000000e+00 | 3.570000e+02 | Inf
228.79/228.86 o 352
228.79/228.86 c * 226s|126867 | 33390 |395876 | 3.1 | 99M| 365 | - |3853 |6242 |3853 | 949 | 47k| 14k|2682 | 0.000000e+00 | 3.520000e+02 | Inf
229.20/229.21 o 349
229.20/229.21 c * 226s|126980 | 33065 |396973 | 3.1 | 98M| 365 | - |3853 |6249 |3853 | 946 | 47k| 14k|2682 | 0.000000e+00 | 3.490000e+02 | Inf
229.20/229.25 o 336
229.20/229.25 c * 226s|127002 | 31605 |396977 | 3.1 | 94M| 365 | - |3853 |6249 |3853 | 946 | 47k| 14k|2682 | 0.000000e+00 | 3.360000e+02 | Inf
229.30/229.38 o 333
229.30/229.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.30/229.38 c * 226s|127046 | 31269 |397435 | 3.1 | 93M| 365 | - |3853 |6262 |3853 | 935 | 47k| 14k|2682 | 0.000000e+00 | 3.330000e+02 | Inf
230.09/230.11 o 322
230.09/230.11 c * 227s|127311 | 30211 |399480 | 3.1 | 90M| 365 | - |3853 |6335 |3853 | 925 | 47k| 15k|2682 | 0.000000e+00 | 3.220000e+02 | Inf
230.29/230.30 o 311
230.29/230.30 c * 227s|127371 | 29153 |400212 | 3.1 | 87M| 365 | - |3853 |6365 |3853 | 937 | 47k| 15k|2682 | 0.000000e+00 | 3.110000e+02 | Inf
230.50/230.54 o 301
230.50/230.54 c * 227s|127455 | 28155 |401024 | 3.1 | 85M| 365 | - |3853 |6387 |3853 | 946 | 47k| 15k|2682 | 0.000000e+00 | 3.010000e+02 | Inf
230.60/230.62 o 287
230.60/230.62 c * 227s|127491 | 26548 |401254 | 3.1 | 81M| 365 | - |3853 |6396 |3853 | 935 | 47k| 15k|2682 | 0.000000e+00 | 2.870000e+02 | Inf
230.69/230.70 o 278
230.69/230.70 c * 227s|127516 | 25614 |401502 | 3.1 | 78M| 365 | - |3853 |6389 |3853 | 948 | 47k| 15k|2682 | 0.000000e+00 | 2.780000e+02 | Inf
231.39/231.45 o 272
231.39/231.45 c * 228s|127749 | 25051 |403682 | 3.2 | 78M| 365 | - |3853 |6421 |3853 | 942 | 48k| 15k|2682 | 0.000000e+00 | 2.720000e+02 | Inf
231.80/231.85 o 269
231.80/231.85 c * 229s|127900 | 24850 |404934 | 3.2 | 78M| 365 | - |3853 |6424 |3853 | 960 | 48k| 15k|2683 | 0.000000e+00 | 2.690000e+02 | Inf
232.10/232.14 o 268
232.10/232.14 c * 229s|128007 | 24849 |405749 | 3.2 | 78M| 365 | - |3853 |6405 |3853 | 936 | 48k| 15k|2684 | 0.000000e+00 | 2.680000e+02 | Inf
232.20/232.28 o 266
232.20/232.28 c * 229s|128065 | 24679 |406017 | 3.2 | 78M| 365 | - |3853 |6414 |3853 | 933 | 48k| 15k|2684 | 0.000000e+00 | 2.660000e+02 | Inf
232.69/232.72 o 257
232.69/232.72 c * 229s|128234 | 23603 |407242 | 3.2 | 76M| 365 | - |3853 |6454 |3853 | 920 | 48k| 15k|2686 | 0.000000e+00 | 2.570000e+02 | Inf
232.89/232.95 o 245
232.89/232.95 c * 230s|128288 | 22143 |408062 | 3.2 | 73M| 365 | - |3853 |6463 |3853 | 920 | 48k| 15k|2695 | 0.000000e+00 | 2.450000e+02 | Inf
233.10/233.12 o 237
233.10/233.12 c * 230s|128338 | 21371 |408680 | 3.2 | 71M| 365 | - |3853 |6476 |3853 | 937 | 48k| 15k|2698 | 0.000000e+00 | 2.370000e+02 | Inf
234.19/234.25 o 235
234.19/234.25 c * 231s|128694 | 21448 |411664 | 3.2 | 72M| 365 | - |3853 |6519 |3853 | 943 | 49k| 15k|2741 | 0.000000e+00 | 2.350000e+02 | Inf
235.50/235.51 o 224
235.50/235.51 c * 232s|129116 | 20646 |415286 | 3.2 | 71M| 365 | - |3853 |6416 |3853 | 948 | 49k| 16k|2763 | 0.000000e+00 | 2.240000e+02 | Inf
235.60/235.65 o 219
235.60/235.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.60/235.65 c * 232s|129162 | 20139 |415804 | 3.2 | 69M| 365 | - |3853 |6407 |3853 | 952 | 49k| 16k|2763 | 0.000000e+00 | 2.190000e+02 | Inf
238.19/238.27 c 235s|130000 | 20859 |423991 | 3.3 | 73M| 365 | 11 |3853 |6231 |3853 | 935 | 50k| 16k|2778 | 0.000000e+00 | 2.190000e+02 | Inf
238.99/239.00 o 218
238.99/239.00 c * 236s|130194 | 20867 |427095 | 3.3 | 73M| 365 | - |3853 |6232 |3853 | 958 | 50k| 16k|2779 | 0.000000e+00 | 2.180000e+02 | Inf
240.69/240.71 o 217
240.69/240.71 c * 237s|130693 | 21031 |433194 | 3.3 | 74M| 365 | - |3853 |6342 |3853 | 937 | 51k| 17k|2803 | 0.000000e+00 | 2.170000e+02 | Inf
244.20/244.21 o 216
244.20/244.21 c * 241s|131782 | 21722 |445807 | 3.4 | 77M| 365 | - |3853 |6262 |3853 | 919 | 52k| 17k|2856 | 0.000000e+00 | 2.160000e+02 | Inf
244.30/244.37 o 215
244.30/244.37 c * 241s|131832 | 21642 |446290 | 3.4 | 77M| 365 | - |3853 |6262 |3853 | 930 | 52k| 17k|2856 | 0.000000e+00 | 2.150000e+02 | Inf
244.30/244.37 o 212
244.30/244.37 c * 241s|131833 | 21297 |446290 | 3.4 | 76M| 365 | - |3853 |6262 |3853 | 930 | 52k| 17k|2856 | 0.000000e+00 | 2.120000e+02 | Inf
244.49/244.59 o 210
244.49/244.59 c * 241s|131899 | 21102 |446878 | 3.4 | 75M| 365 | - |3853 |6287 |3853 | 951 | 52k| 17k|2857 | 0.000000e+00 | 2.100000e+02 | Inf
246.09/246.14 o 206
246.09/246.14 c * 243s|132442 | 21022 |450919 | 3.4 | 76M| 365 | - |3853 |6481 |3853 | 943 | 52k| 17k|2857 | 0.000000e+00 | 2.060000e+02 | Inf
248.00/248.08 o 193
248.00/248.08 c * 244s|133217 | 20362 |455706 | 3.4 | 74M| 365 | - |3853 |6509 |3853 | 961 | 53k| 18k|2874 | 0.000000e+00 | 1.930000e+02 | Inf
248.00/248.09 o 174
248.00/248.09 c * 244s|133218 | 18513 |455706 | 3.4 | 69M| 365 | - |3853 |6509 |3853 | 961 | 53k| 18k|2874 | 0.000000e+00 | 1.740000e+02 | Inf
248.89/248.94 o 162
248.89/248.94 c * 245s|133479 | 17544 |457863 | 3.4 | 68M| 365 | - |3853 |6616 |3853 | 947 | 53k| 18k|2887 | 0.000000e+00 | 1.620000e+02 | Inf
249.49/249.50 o 158
249.49/249.50 c * 246s|133667 | 17315 |459293 | 3.4 | 67M| 365 | - |3853 |6700 |3853 | 948 | 54k| 18k|2889 | 0.000000e+00 | 1.580000e+02 | Inf
250.80/250.81 o 157
250.80/250.81 c * 247s|134100 | 17398 |463060 | 3.5 | 68M| 365 | - |3853 |6468 |3853 | 940 | 54k| 18k|2912 | 0.000000e+00 | 1.570000e+02 | Inf
251.29/251.34 o 156
251.29/251.34 c * 248s|134275 | 17470 |464341 | 3.5 | 69M| 365 | - |3853 |6471 |3853 | 953 | 54k| 18k|2916 | 0.000000e+00 | 1.560000e+02 | Inf
251.80/251.81 o 146
251.80/251.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.80/251.81 c * 248s|134416 | 16687 |466084 | 3.5 | 67M| 365 | - |3853 |6507 |3853 | 929 | 54k| 19k|2919 | 0.000000e+00 | 1.460000e+02 | Inf
252.19/252.25 o 144
252.19/252.25 c * 249s|134539 | 16573 |467679 | 3.5 | 67M| 365 | - |3853 |6521 |3853 | 955 | 54k| 19k|2938 | 0.000000e+00 | 1.440000e+02 | Inf
252.70/252.71 o 142
252.70/252.71 c * 249s|134721 | 16529 |468684 | 3.5 | 67M| 365 | - |3853 |6561 |3853 | 945 | 55k| 19k|2943 | 0.000000e+00 | 1.420000e+02 | Inf
252.90/252.92 o 141
252.90/252.92 c * 249s|134769 | 16430 |469301 | 3.5 | 67M| 365 | - |3853 |6589 |3853 | 948 | 55k| 19k|2943 | 0.000000e+00 | 1.410000e+02 | Inf
253.20/253.24 o 138
253.20/253.24 c * 250s|134922 | 16142 |470040 | 3.5 | 66M| 365 | - |3853 |6449 |3853 | 953 | 55k| 19k|2947 | 0.000000e+00 | 1.380000e+02 | Inf
253.60/253.61 o 131
253.60/253.61 c * 250s|135058 | 15606 |471024 | 3.5 | 64M| 365 | - |3853 |6380 |3853 | 931 | 55k| 19k|2949 | 0.000000e+00 | 1.310000e+02 | Inf
253.89/253.91 o 130
253.89/253.91 c * 250s|135158 | 15593 |471715 | 3.5 | 65M| 365 | - |3853 |6333 |3853 | 935 | 55k| 19k|2951 | 0.000000e+00 | 1.300000e+02 | Inf
254.69/254.71 o 124
254.69/254.71 c * 251s|135375 | 14992 |473996 | 3.5 | 63M| 365 | - |3853 |6278 |3853 | 941 | 55k| 19k|2952 | 0.000000e+00 | 1.240000e+02 | Inf
255.00/255.06 o 116
255.00/255.06 c * 251s|135468 | 13840 |475118 | 3.5 | 59M| 365 | - |3853 |6285 |3853 | 930 | 55k| 19k|2953 | 0.000000e+00 | 1.160000e+02 | Inf
255.10/255.11 o 100
255.10/255.11 c * 251s|135497 | 12162 |475150 | 3.5 | 54M| 365 | - |3853 |6294 |3853 | 936 | 55k| 19k|2953 | 0.000000e+00 | 1.000000e+02 | Inf
256.00/256.06 o 98
256.00/256.06 c * 252s|135771 | 11869 |477952 | 3.5 | 54M| 365 | - |3853 |6261 |3853 | 935 | 55k| 20k|2955 | 0.000000e+00 | 9.800000e+01 | Inf
257.10/257.15 o 95
257.10/257.15 c * 253s|136216 | 11672 |480167 | 3.5 | 54M| 365 | - |3853 |5809 |3853 | 935 | 56k| 20k|2967 | 0.000000e+00 | 9.500000e+01 | Inf
257.10/257.18 o 91
257.10/257.18 c * 253s|136224 | 11267 |480177 | 3.5 | 52M| 365 | - |3853 |5721 |3853 | 935 | 56k| 20k|2967 | 0.000000e+00 | 9.100000e+01 | Inf
257.10/257.19 o 84
257.10/257.19 c * 253s|136225 | 9717 |480178 | 3.5 | 47M| 365 | - |3853 |5721 |3853 | 935 | 56k| 20k|2967 | 0.000000e+00 | 8.400000e+01 | Inf
257.40/257.48 o 79
257.40/257.48 c * 254s|136297 | 9039 |480924 | 3.5 | 46M| 365 | - |3853 |5448 |3853 | 931 | 56k| 20k|2972 | 0.000000e+00 | 7.900000e+01 | Inf
257.79/257.87 o 71
257.79/257.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.79/257.87 c * 254s|136385 | 8642 |482031 | 3.5 | 45M| 365 | - |3853 |5226 |3853 | 923 | 56k| 20k|2981 | 0.000000e+00 | 7.100000e+01 | Inf
258.00/258.02 o 69
258.00/258.02 c * 254s|136415 | 8533 |482543 | 3.5 | 45M| 365 | - |3853 |5028 |3853 | 931 | 56k| 20k|2983 | 0.000000e+00 | 6.900000e+01 | Inf
258.10/258.15 o 64
258.10/258.15 c * 254s|136459 | 8173 |482757 | 3.5 | 44M| 365 | - |3853 |4910 |3853 | 936 | 56k| 20k|2987 | 0.000000e+00 | 6.400000e+01 | Inf
258.99/259.03 o 63
258.99/259.03 c * 255s|136648 | 8215 |485421 | 3.6 | 44M| 365 | - |3853 |4619 |3853 | 937 | 56k| 20k|3022 | 0.000000e+00 | 6.300000e+01 | Inf
259.20/259.23 o 60
259.20/259.23 c * 255s|136685 | 8109 |486058 | 3.6 | 44M| 365 | - |3853 |4568 |3853 | 959 | 56k| 20k|3022 | 0.000000e+00 | 6.000000e+01 | Inf
259.30/259.36 o 57
259.30/259.36 c * 256s|136715 | 7860 |486415 | 3.6 | 43M| 365 | - |3853 |4492 |3853 | 944 | 56k| 20k|3022 | 0.000000e+00 | 5.700000e+01 | Inf
259.40/259.41 o 54
259.40/259.41 c * 256s|136721 | 7514 |486644 | 3.6 | 42M| 365 | - |3853 |4425 |3853 | 908 | 56k| 20k|3022 | 0.000000e+00 | 5.400000e+01 | Inf
259.40/259.47 o 49
259.40/259.47 c * 256s|136727 | 7273 |486881 | 3.6 | 42M| 365 | - |3853 |4334 |3853 | 944 | 56k| 20k|3022 | 0.000000e+00 | 4.900000e+01 | Inf
259.50/259.60 o 37
259.50/259.60 c * 256s|136742 | 6490 |487395 | 3.6 | 39M| 365 | - |3853 |4208 |3853 | 918 | 56k| 20k|3027 | 0.000000e+00 | 3.700000e+01 | Inf
259.60/259.64 o 26
259.60/259.64 c * 256s|136758 | 5633 |487422 | 3.6 | 37M| 365 | - |3853 |3984 |3853 | 925 | 56k| 20k|3027 | 0.000000e+00 | 2.600000e+01 | Inf
259.89/259.90 o 18
259.89/259.90 c * 256s|136809 | 4603 |488186 | 3.6 | 35M| 365 | - |3853 |3730 |3853 | 911 | 56k| 20k|3060 | 0.000000e+00 | 1.800000e+01 | Inf
259.89/259.97 o 14
259.89/259.97 c * 256s|136824 | 4456 |488367 | 3.6 | 34M| 365 | - |3853 |3589 |3853 | 908 | 56k| 20k|3067 | 0.000000e+00 | 1.400000e+01 | Inf
259.99/260.03 o 10
259.99/260.03 c * 256s|136846 | 4265 |488618 | 3.6 | 33M| 365 | - |3853 |3496 |3853 | 921 | 56k| 20k|3067 | 0.000000e+00 | 1.000000e+01 | Inf
259.99/260.05 o 9
259.99/260.05 c * 256s|136848 | 1115 |488643 | 3.6 | 26M| 365 | - |3853 |3421 |3853 | 912 | 56k| 20k|3067 | 0.000000e+00 | 9.000000e+00 | Inf
266.39/266.42 c 262s|140000 | 769 |509578 | 3.6 | 26M| 365 | 11 |3853 |5499 |3853 | 906 | 58k| 24k|3199 | 0.000000e+00 | 9.000000e+00 | Inf
284.59/284.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.59/284.61 c 280s|150000 | 1374 |560106 | 3.7 | 32M| 365 | 18 |3853 | 12k|3853 | 899 | 64k| 37k|3338 | 0.000000e+00 | 9.000000e+00 | Inf
304.29/304.33 c 300s|160000 | 1669 |607937 | 3.8 | 36M| 365 | 10 |3853 | 14k|3853 | 891 | 70k| 51k|3446 | 0.000000e+00 | 9.000000e+00 | Inf
325.20/325.26 c 320s|170000 | 1767 |658366 | 3.9 | 38M| 365 | 9 |3853 | 14k|3853 | 904 | 76k| 65k|3576 | 0.000000e+00 | 9.000000e+00 | Inf
345.90/345.96 c 341s|180000 | 1775 |708420 | 3.9 | 39M| 365 | - |3853 | 12k| 0 | 0 | 82k| 80k|3734 | 0.000000e+00 | 9.000000e+00 | Inf
368.30/368.36 c 363s|190000 | 2060 |770491 | 4.1 | 43M| 365 | 14 |3853 | 16k|3853 | 912 | 91k| 94k|3857 | 0.000000e+00 | 9.000000e+00 | Inf
390.40/390.47 c 385s|200000 | 2043 |825273 | 4.1 | 44M| 365 | 18 |3853 | 13k|3853 | 891 | 98k| 108k|4006 | 0.000000e+00 | 9.000000e+00 | Inf
409.70/409.73 c 403s|210000 | 2115 |871264 | 4.1 | 45M| 365 | - |3853 | 13k| 0 | 0 | 101k| 122k|4091 | 0.000000e+00 | 9.000000e+00 | Inf
430.11/430.15 c 424s|220000 | 2229 |921011 | 4.2 | 47M| 365 | 10 |3853 | 15k|3853 | 911 | 105k| 136k|4218 | 0.000000e+00 | 9.000000e+00 | Inf
450.70/450.79 c 444s|230000 | 2249 |968049 | 4.2 | 49M| 365 | 19 |3853 | 17k|3853 | 901 | 108k| 150k|4305 | 0.000000e+00 | 9.000000e+00 | Inf
472.70/472.78 c 465s|240000 | 2307 | 1020k| 4.2 | 51M| 365 | 22 |3853 | 20k|3853 | 906 | 113k| 165k|4439 | 0.000000e+00 | 9.000000e+00 | Inf
484.60/484.61 o 8
484.60/484.61 c * 477s|245142 | 2227 | 1049k| 4.3 | 49M| 365 | - |3853 | 14k|3853 | 897 | 116k| 172k|4506 | 0.000000e+00 | 8.000000e+00 | Inf
494.90/495.00 c 487s|250000 | 2169 | 1075k| 4.3 | 47M| 365 | - |3853 | 11k| 0 | 0 | 120k| 179k|4556 | 0.000000e+00 | 8.000000e+00 | Inf
515.00/515.05 c 507s|260000 | 2240 | 1128k| 4.3 | 49M| 365 | - |3853 | 11k| 0 | 0 | 125k| 192k|4708 | 0.000000e+00 | 8.000000e+00 | Inf
535.30/535.39 c 527s|270000 | 2332 | 1181k| 4.4 | 51M| 365 | 17 |3853 | 13k|3853 | 897 | 131k| 206k|4817 | 0.000000e+00 | 8.000000e+00 | Inf
556.50/556.55 c 548s|280000 | 2368 | 1236k| 4.4 | 53M| 365 | - |3853 | 14k| 0 | 0 | 137k| 221k|4897 | 0.000000e+00 | 8.000000e+00 | Inf
575.91/575.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.91/575.96 c 567s|290000 | 2205 | 1278k| 4.4 | 51M| 365 | - |3853 | 14k| 0 | 0 | 140k| 235k|4982 | 0.000000e+00 | 8.000000e+00 | Inf
595.40/595.42 c 586s|300000 | 2138 | 1317k| 4.4 | 53M| 365 | - |3853 | 16k| 0 | 0 | 143k| 249k|5067 | 0.000000e+00 | 8.000000e+00 | Inf
616.01/616.09 c 606s|310000 | 2025 | 1365k| 4.4 | 52M| 365 | - |3853 | 15k| 0 | 0 | 146k| 263k|5131 | 0.000000e+00 | 8.000000e+00 | Inf
637.30/637.37 c 627s|320000 | 2011 | 1414k| 4.4 | 53M| 365 | - |3853 | 17k| 0 | 0 | 151k| 277k|5193 | 0.000000e+00 | 8.000000e+00 | Inf
659.30/659.34 c 649s|330000 | 1883 | 1465k| 4.4 | 53M| 365 | 18 |3853 | 19k|3853 | 905 | 156k| 291k|5298 | 0.000000e+00 | 8.000000e+00 | Inf
681.40/681.44 c 671s|340000 | 1896 | 1511k| 4.4 | 55M| 365 | - |3853 | 22k|3853 | 913 | 157k| 304k|5369 | 0.000000e+00 | 8.000000e+00 | Inf
704.50/704.58 c 693s|350000 | 1933 | 1556k| 4.4 | 57M| 365 | 18 |3853 | 23k|3853 | 903 | 159k| 317k|5438 | 0.000000e+00 | 8.000000e+00 | Inf
728.51/728.50 c 717s|360000 | 2126 | 1603k| 4.5 | 60M| 365 | - |3853 | 26k| 0 | 0 | 161k| 331k|5504 | 0.000000e+00 | 8.000000e+00 | Inf
753.31/753.34 c 742s|370000 | 2068 | 1650k| 4.5 | 60M| 365 | - |3853 | 23k| 0 | 0 | 164k| 346k|5573 | 0.000000e+00 | 8.000000e+00 | Inf
774.52/774.52 c 762s|380000 | 2141 | 1689k| 4.4 | 61M| 365 | - |3853 | 21k| 0 | 0 | 166k| 359k|5620 | 0.000000e+00 | 8.000000e+00 | Inf
795.71/795.72 c 783s|390000 | 2176 | 1726k| 4.4 | 62M| 365 | - |3853 | 22k| 0 | 0 | 167k| 373k|5656 | 0.000000e+00 | 8.000000e+00 | Inf
818.11/818.10 c 805s|400000 | 2296 | 1765k| 4.4 | 64M| 365 | 13 |3853 | 22k|3853 | 901 | 169k| 386k|5696 | 0.000000e+00 | 8.000000e+00 | Inf
840.21/840.20 c 827s|410000 | 2357 | 1803k| 4.4 | 66M| 365 | - |3853 | 25k| 0 | 0 | 170k| 400k|5736 | 0.000000e+00 | 8.000000e+00 | Inf
863.41/863.42 c 850s|420000 | 2360 | 1842k| 4.4 | 67M| 365 | - |3853 | 26k| 0 | 0 | 172k| 414k|5789 | 0.000000e+00 | 8.000000e+00 | Inf
886.71/886.73 c 873s|430000 | 2383 | 1878k| 4.4 | 69M| 365 | 29 |3853 | 28k|3853 | 901 | 173k| 428k|5826 | 0.000000e+00 | 8.000000e+00 | Inf
910.61/910.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
910.61/910.61 c 897s|440000 | 2436 | 1913k| 4.3 | 71M| 365 | 5 |3853 | 28k|3853 | 891 | 175k| 442k|5965 | 0.000000e+00 | 8.000000e+00 | Inf
935.41/935.40 c 921s|450000 | 2599 | 1961k| 4.4 | 73M| 365 | 16 |3853 | 30k|3853 | 907 | 180k| 455k|6011 | 0.000000e+00 | 8.000000e+00 | Inf
959.11/959.10 c 944s|460000 | 2676 | 2001k| 4.4 | 75M| 365 | - |3853 | 32k| 0 | 0 | 184k| 468k|6057 | 0.000000e+00 | 8.000000e+00 | Inf
984.81/984.81 c 970s|470000 | 2704 | 2046k| 4.4 | 76M| 365 | - |3853 | 32k| 0 | 0 | 188k| 482k|6115 | 0.000000e+00 | 8.000000e+00 | Inf
1007.91/1007.93 c 993s|480000 | 2808 | 2085k| 4.3 | 78M| 365 | 6 |3853 | 34k|3853 | 910 | 190k| 497k|6161 | 0.000000e+00 | 8.000000e+00 | Inf
1032.92/1032.98 c 1017s|490000 | 2685 | 2124k| 4.3 | 76M| 365 | - |3853 | 26k| 0 | 0 | 193k| 511k|6269 | 0.000000e+00 | 8.000000e+00 | Inf
1056.22/1056.20 c 1040s|500000 | 2763 | 2167k| 4.3 | 76M| 365 | 4 |3853 | 23k|3853 | 891 | 197k| 525k|6319 | 0.000000e+00 | 8.000000e+00 | Inf
1081.51/1081.59 c 1065s|510000 | 2866 | 2217k| 4.3 | 79M| 365 | 11 |3853 | 25k|3853 | 902 | 202k| 538k|6385 | 0.000000e+00 | 8.000000e+00 | Inf
1108.72/1108.70 c 1092s|520000 | 2917 | 2274k| 4.4 | 81M| 365 | - |3853 | 27k| 0 | 0 | 208k| 551k|6479 | 0.000000e+00 | 8.000000e+00 | Inf
1136.72/1136.74 c 1120s|530000 | 2991 | 2335k| 4.4 | 83M| 365 | - |3853 | 31k| 0 | 0 | 215k| 565k|6531 | 0.000000e+00 | 8.000000e+00 | Inf
1166.42/1166.47 c 1149s|540000 | 3054 | 2398k| 4.4 | 85M| 365 | - |3853 | 34k| 0 | 0 | 222k| 579k|6607 | 0.000000e+00 | 8.000000e+00 | Inf
1196.41/1196.47 c 1179s|550000 | 2905 | 2456k| 4.5 | 81M| 365 | - |3853 | 27k| 0 | 0 | 228k| 593k|6703 | 0.000000e+00 | 8.000000e+00 | Inf
1220.32/1220.36 c 1202s|560000 | 3047 | 2506k| 4.5 | 81M| 365 | 1 |3853 | 21k|3853 | 920 | 234k| 606k|6779 | 0.000000e+00 | 8.000000e+00 | Inf
1243.62/1243.68 c 1225s|570000 | 3134 | 2554k| 4.5 | 83M| 365 | - |3853 | 22k| 0 | 0 | 239k| 619k|6835 | 0.000000e+00 | 8.000000e+00 | Inf
1267.12/1267.19 c 1248s|580000 | 3241 | 2602k| 4.5 | 85M| 365 | - |3853 | 25k| 0 | 0 | 244k| 633k|6893 | 0.000000e+00 | 8.000000e+00 | Inf
1291.52/1291.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.52/1291.51 c 1272s|590000 | 3346 | 2651k| 4.5 | 87M| 365 | - |3853 | 25k| 0 | 0 | 250k| 646k|6958 | 0.000000e+00 | 8.000000e+00 | Inf
1315.82/1315.82 c 1296s|600000 | 3472 | 2702k| 4.5 | 89M| 365 | - |3853 | 23k| 0 | 0 | 256k| 660k|7019 | 0.000000e+00 | 8.000000e+00 | Inf
1337.92/1337.99 c 1318s|610000 | 3601 | 2752k| 4.5 | 91M| 365 | 1 |3853 | 25k|3853 | 912 | 261k| 673k|7085 | 0.000000e+00 | 8.000000e+00 | Inf
1361.22/1361.23 c 1341s|620000 | 3668 | 2801k| 4.5 | 92M| 365 | - |3853 | 26k| 0 | 0 | 267k| 687k|7144 | 0.000000e+00 | 8.000000e+00 | Inf
1384.92/1384.91 c 1364s|630000 | 3778 | 2849k| 4.5 | 94M| 365 | 8 |3853 | 26k|3853 | 919 | 271k| 700k|7201 | 0.000000e+00 | 8.000000e+00 | Inf
1408.13/1408.17 c 1387s|640000 | 3886 | 2898k| 4.5 | 95M| 365 | - |3853 | 24k| 0 | 0 | 277k| 714k|7247 | 0.000000e+00 | 8.000000e+00 | Inf
1432.02/1432.09 c 1411s|650000 | 3978 | 2947k| 4.5 | 97M| 365 | 14 |3853 | 25k|3853 | 891 | 285k| 728k|7310 | 0.000000e+00 | 8.000000e+00 | Inf
1456.33/1456.39 c 1435s|660000 | 4127 | 3002k| 4.5 | 99M| 365 | 16 |3853 | 23k|3853 | 920 | 293k| 742k|7390 | 0.000000e+00 | 8.000000e+00 | Inf
1480.52/1480.59 c 1458s|670000 | 4246 | 3054k| 4.6 | 101M| 365 | 7 |3853 | 25k|3853 | 915 | 298k| 756k|7452 | 0.000000e+00 | 8.000000e+00 | Inf
1505.63/1505.68 c 1483s|680000 | 4294 | 3109k| 4.6 | 103M| 365 | 12 |3853 | 25k|3853 | 911 | 306k| 769k|7524 | 0.000000e+00 | 8.000000e+00 | Inf
1529.73/1529.74 c 1507s|690000 | 4371 | 3164k| 4.6 | 103M| 365 | 9 |3853 | 21k|3853 | 904 | 311k| 783k|7594 | 0.000000e+00 | 8.000000e+00 | Inf
1553.02/1553.04 c 1530s|700000 | 4534 | 3213k| 4.6 | 105M| 365 | - |3853 | 22k| 0 | 0 | 315k| 797k|7648 | 0.000000e+00 | 8.000000e+00 | Inf
1576.72/1576.76 c 1553s|710000 | 4664 | 3263k| 4.6 | 108M| 365 | 8 |3853 | 22k|3853 | 916 | 319k| 811k|7691 | 0.000000e+00 | 8.000000e+00 | Inf
1598.83/1598.81 c 1575s|720000 | 4750 | 3307k| 4.6 | 109M| 365 | 27 |3853 | 22k|3853 | 899 | 321k| 825k|7720 | 0.000000e+00 | 8.000000e+00 | Inf
1622.03/1622.07 c 1598s|730000 | 4861 | 3349k| 4.6 | 111M| 365 | 1 |3853 | 24k|3853 | 899 | 323k| 840k|7783 | 0.000000e+00 | 8.000000e+00 | Inf
1645.13/1645.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.13/1645.11 c 1621s|740000 | 4856 | 3391k| 4.6 | 112M| 365 | - |3853 | 23k|3853 | 906 | 325k| 855k|7844 | 0.000000e+00 | 8.000000e+00 | Inf
1667.23/1667.29 c 1643s|750000 | 4974 | 3434k| 4.6 | 114M| 365 | 20 |3853 | 25k|3853 | 899 | 327k| 870k|7874 | 0.000000e+00 | 8.000000e+00 | Inf
1689.74/1689.71 c 1665s|760000 | 5032 | 3475k| 4.6 | 115M| 365 | - |3853 | 25k| 0 | 0 | 328k| 884k|7904 | 0.000000e+00 | 8.000000e+00 | Inf
1712.53/1712.56 c 1687s|770000 | 5092 | 3519k| 4.6 | 116M| 365 | - |3853 | 24k| 0 | 0 | 330k| 899k|7965 | 0.000000e+00 | 8.000000e+00 | Inf
1735.03/1735.09 c 1709s|780000 | 5165 | 3559k| 4.6 | 118M| 365 | - |3853 | 24k|3853 | 920 | 331k| 913k|8020 | 0.000000e+00 | 8.000000e+00 | Inf
1757.33/1757.33 c 1731s|790000 | 5227 | 3599k| 4.6 | 120M| 365 | - |3853 | 25k| 0 | 0 | 332k| 928k|8047 | 0.000000e+00 | 8.000000e+00 | Inf
1778.54/1778.57 c 1752s|800000 | 5293 | 3638k| 4.5 | 121M| 365 | - |3853 | 25k| 0 | 0 | 334k| 942k|8079 | 0.000000e+00 | 8.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1773.40
1800.04/1800.00 c Solving Nodes : 809761
1800.04/1800.00 c Primal Bound : +8.00000000000000e+00 (228 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.04 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.04 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168
1800.04/1800.04 v -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126
1800.04/1800.04 v -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105
1800.04/1800.04 v -x104 -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.04/1800.04 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.04/1800.04 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.04/1800.04 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.04/1800.04 v -x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1773.40
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2692926-1277910905.wbo
1800.04/1800.04 c Variables : 3967 (2099 binary, 0 integer, 0 implicit integer, 1868 continuous)
1800.04/1800.04 c Constraints : 4576 initial, 4576 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2692926-1277910905.wbo
1800.04/1800.04 c Variables : 3853 (2042 binary, 0 integer, 0 implicit integer, 1811 continuous)
1800.04/1800.04 c Constraints : 4434 initial, 36387 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c linear : 0.06 0 0 0 1876 0 85 67 0
1800.04/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1677 - - 3354 - - - -
1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c integral : 0 0 0 549527 0 8 486 0 0 767678
1800.04/1800.04 c indicator : 1811 0 3754595 164568 0 360 4516534 0 0 0
1800.04/1800.04 c setppc : 5 6 3682337 78600 0 6586 805517 0 0 0
1800.04/1800.04 c linear : 1811 6 3774701 141637 0 193275 18335295 334994 0 0
1800.04/1800.04 c logicor : 807+ 6 1486542 119938 0 139083 3381389 0 0 0
1800.04/1800.04 c bounddisjunction : 0+ 0 8938 0 0 0 62 0 0 0
1800.04/1800.04 c countsols : 0 0 0 119938 0 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 23.54 0.00 0.00 23.54 0.00
1800.04/1800.04 c indicator : 34.34 0.02 17.02 17.30 0.00
1800.04/1800.04 c setppc : 5.77 0.00 5.75 0.02 0.00
1800.04/1800.04 c linear : 149.52 0.00 144.50 5.02 0.00
1800.04/1800.04 c logicor : 254.83 0.00 253.91 0.92 0.00
1800.04/1800.04 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.04/1800.04 c countsols : 0.03 0.00 0.00 0.03 0.00
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 0.80 2 0 0
1800.04/1800.04 c rootredcost : 0.77 129 0 1677
1800.04/1800.04 c pseudoobj : 133.67 3815865 7181 3102889
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 17.75 346125 345950 2175239 26.0 18789 17.5 -
1800.04/1800.04 c infeasible LP : 6.22 21415 21415 180343 39.1 354 14.1 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.04 224 224 1372 17.3 243 4.8 -
1800.04/1800.04 c applied globally : - - - 957012 21.1 - - -
1800.04/1800.04 c applied locally : - - - 0 0.0 - - -
1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.04 c cut pool : 0.00 5 - - 23 - (maximal pool size: 58)
1800.04/1800.04 c redcost : 32.13 561836 0 1227258 0 0
1800.04/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.04 c intobj : 0.00 0 0 0 0 0
1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.04 c gomory : 0.11 6 0 0 368 0
1800.04/1800.04 c strongcg : 0.08 6 0 0 78 0
1800.04/1800.04 c cmir : 0.01 6 0 0 0 0
1800.04/1800.04 c flowcover : 0.07 6 0 0 0 0
1800.04/1800.04 c clique : 0.00 6 0 0 0 0
1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.04 c mcf : 0.00 1 0 0 0 0
1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.04 c Pricers : Time Calls Vars
1800.04/1800.04 c problem variables: 0.00 0 0
1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c relpscost : 23.15 384245 8 486 0 0 767678
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 16.79 119810 0 0 0 0 239620
1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c random : 0.00 0 0 0 0 0 0
1800.04/1800.04 c Primal Heuristics : Time Calls Found
1800.04/1800.04 c LP solutions : 0.31 - 128
1800.04/1800.04 c pseudo solutions : 0.00 - 0
1800.04/1800.04 c feaspump : 0.00 1 0
1800.04/1800.04 c intshifting : 0.02 5 0
1800.04/1800.04 c oneopt : 0.91 118 0
1800.04/1800.04 c crossover : 1.91 73 0
1800.04/1800.04 c linesearchdiving : 1.10 1116 0
1800.04/1800.04 c guideddiving : 1.09 1116 0
1800.04/1800.04 c coefdiving : 1.09 1116 0
1800.04/1800.04 c pscostdiving : 1.08 1116 0
1800.04/1800.04 c fracdiving : 1.17 1116 0
1800.04/1800.04 c veclendiving : 1.18 1117 0
1800.04/1800.04 c rootsoldiving : 1.39 1100 0
1800.04/1800.04 c objpscostdiving : 1.23 1101 0
1800.04/1800.04 c trivial : 0.00 2 0
1800.04/1800.04 c simplerounding : 0.63 387136 0
1800.04/1800.04 c zirounding : 0.43 1000 0
1800.04/1800.04 c rounding : 1.65 8760 0
1800.04/1800.04 c shifting : 1.20 2736 0
1800.04/1800.04 c twoopt : 0.00 0 0
1800.04/1800.04 c fixandinfer : 0.00 0 0
1800.04/1800.04 c intdiving : 0.00 0 0
1800.04/1800.04 c actconsdiving : 0.00 0 0
1800.04/1800.04 c octane : 0.00 0 0
1800.04/1800.04 c rens : 0.02 1 0
1800.04/1800.04 c rins : 0.00 0 0
1800.04/1800.04 c localbranching : 0.00 0 0
1800.04/1800.04 c mutation : 0.00 0 0
1800.04/1800.04 c dins : 0.00 0 0
1800.04/1800.04 c undercover : 0.00 0 0
1800.04/1800.04 c nlp : 0.20 0 0
1800.04/1800.04 c trysol : 0.59 6855 100
1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.04 c dual LP : 571.74 459569 3671272 7.99 6421.23
1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.04 c diving/probing LP: 0.51 136 5089 37.42 9978.43
1800.04/1800.04 c strong branching : 19.72 8132 125724 15.46 6375.46
1800.04/1800.04 c (at root node) : - 33 3577 108.39 -
1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.04 c B&B Tree :
1800.04/1800.04 c number of runs : 1
1800.04/1800.04 c nodes : 809761
1800.04/1800.04 c nodes (total) : 809761
1800.04/1800.04 c nodes left : 5341
1800.04/1800.04 c max depth : 365
1800.04/1800.04 c max depth (total): 365
1800.04/1800.04 c backtracks : 76303 (9.4%)
1800.04/1800.04 c delayed cutoffs : 65865
1800.04/1800.04 c repropagations : 1473619 (5740224 domain reductions, 62114 cutoffs)
1800.04/1800.04 c avg switch length: 5.38
1800.04/1800.04 c switching time : 256.78
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 228 (129 improvements)
1800.04/1800.04 c First Solution : +9.25480000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.04/1800.04 c Primal Bound : +8.00000000000000e+00 (in run 1, after 245142 nodes, 477.11 seconds, depth 28, found by <relaxation>)
1800.04/1800.04 c Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Gap : infinite
1800.04/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Root Iterations : 230
1800.13/1800.18 c Time complete: 1800.22.
OK 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692926-1277910905/watcher-2692926-1277910905 -o /tmp/evaluation-result-2692926-1277910905/solver-2692926-1277910905 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692926-1277910905.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: 2.03 2.01 2.02 3/178 12935 /proc/meminfo: memFree=30240248/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=9288 CPUtime=0 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 1648 0 0 0 0 0 0 0 25 0 1 0 132387202 9510912 1567 4089446400 4194304 8223781 140735184484400 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12935/statm: 2355 1568 369 984 0 1368 0 [startup+0.100814 s] /proc/loadavg: 2.03 2.01 2.02 3/178 12935 /proc/meminfo: memFree=30240248/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=29780 CPUtime=0.09 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 7588 0 0 0 8 1 0 0 25 0 1 0 132387202 30494720 6372 4089446400 4194304 8223781 140735184484400 18446744073709551615 4936581 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12935/statm: 7445 6372 452 984 0 6458 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29780 [startup+0.200796 s] /proc/loadavg: 2.03 2.01 2.02 3/178 12935 /proc/meminfo: memFree=30240248/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=34908 CPUtime=0.19 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 11310 0 0 0 18 1 0 0 25 0 1 0 132387202 35745792 7758 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12935/statm: 8727 7758 559 984 0 7740 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 34908 [startup+0.300778 s] /proc/loadavg: 2.03 2.01 2.02 3/178 12935 /proc/meminfo: memFree=30240248/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=35744 CPUtime=0.29 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 11577 0 0 0 27 2 0 0 25 0 1 0 132387202 36601856 8021 4089446400 4194304 8223781 140735184484400 18446744073709551615 5734260 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12935/statm: 8936 8021 572 984 0 7949 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35744 [startup+0.700704 s] /proc/loadavg: 2.03 2.01 2.02 3/178 12935 /proc/meminfo: memFree=30240248/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=39704 CPUtime=0.69 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 18951 0 0 0 65 4 0 0 25 0 1 0 132387202 40656896 9014 4089446400 4194304 8223781 140735184484400 18446744073709551615 6446793 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12935/statm: 9926 9014 587 984 0 8939 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39704 [startup+1.50061 s] /proc/loadavg: 2.03 2.01 2.02 3/179 12936 /proc/meminfo: memFree=30204528/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=39704 CPUtime=1.49 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 18952 0 0 0 143 6 0 0 25 0 1 0 132387202 40656896 9015 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 9926 9015 588 984 0 8939 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39704 [startup+3.10038 s] /proc/loadavg: 2.02 2.01 2.02 3/179 12936 /proc/meminfo: memFree=30203020/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=39796 CPUtime=3.09 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 19011 0 0 0 302 7 0 0 25 0 1 0 132387202 40751104 9074 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 9949 9074 589 984 0 8962 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39796 [startup+6.30077 s] /proc/loadavg: 2.02 2.01 2.02 3/179 12937 /proc/meminfo: memFree=30198680/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=41488 CPUtime=6.29 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 30850 0 0 0 617 12 0 0 25 0 1 0 132387202 42483712 9502 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 10372 9502 591 984 0 9385 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41488 [startup+12.7006 s] /proc/loadavg: 2.02 2.01 2.02 3/179 12937 /proc/meminfo: memFree=30182816/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=52236 CPUtime=12.69 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 43828 0 0 0 1248 21 0 0 25 0 1 0 132387202 53489664 11961 4089446400 4194304 8223781 140735184484400 18446744073709551615 6003852 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 13059 11961 591 984 0 12072 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52236 [startup+25.5004 s] /proc/loadavg: 2.02 2.01 2.02 3/179 12937 /proc/meminfo: memFree=30145940/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=69152 CPUtime=25.49 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 61415 0 0 0 2512 37 0 0 25 0 1 0 132387202 70811648 16243 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 17288 16243 591 984 0 16301 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69152 [startup+51.1008 s] /proc/loadavg: 2.01 2.01 2.02 3/179 12937 /proc/meminfo: memFree=30080188/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=99788 CPUtime=51.09 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 74967 0 0 0 5039 70 0 0 25 0 1 0 132387202 102182912 23975 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 24947 23975 594 984 0 23960 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 99788 [startup+102.301 s] /proc/loadavg: 2.00 2.00 2.01 3/179 12939 /proc/meminfo: memFree=29956992/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=168516 CPUtime=102.29 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 98667 0 0 0 10092 137 0 0 25 0 1 0 132387202 172560384 40793 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 42129 40793 595 984 0 41142 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 168516 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.01 3/179 12941 /proc/meminfo: memFree=29884268/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=223644 CPUtime=162.29 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 201481 0 0 0 16008 221 0 0 25 0 1 0 132387202 229011456 54660 4089446400 4194304 8223781 140735184484400 18446744073709551615 4560346 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 55911 54660 597 984 0 54924 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 223644 [startup+222.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12942 /proc/meminfo: memFree=29823684/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=264820 CPUtime=222.3 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 337359 0 0 0 21914 316 0 0 25 0 1 0 132387202 271175680 64723 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 66205 64723 597 984 0 65218 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 264820 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12944 /proc/meminfo: memFree=29796340/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=286924 CPUtime=282.29 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 477710 0 0 0 27813 416 0 0 25 0 1 0 132387202 293810176 70186 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 71731 70186 604 984 0 70744 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 286924 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12945 /proc/meminfo: memFree=29784484/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=292532 CPUtime=342.3 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 496372 0 0 0 33715 515 0 0 25 0 1 0 132387202 299552768 71588 4089446400 4194304 8223781 140735184484400 18446744073709551615 4209174 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 73133 71588 604 984 0 72146 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 292532 [startup+402.301 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12947 /proc/meminfo: memFree=29773640/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=297304 CPUtime=402.3 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 513184 0 0 0 39616 614 0 0 25 0 1 0 132387202 304439296 72773 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 74326 72773 604 984 0 73339 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 297304 [startup+462.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 12949 /proc/meminfo: memFree=29703360/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=300680 CPUtime=462.3 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 516630 0 0 0 45517 713 0 0 25 0 1 0 132387202 307896320 73616 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 75170 73616 604 984 0 74183 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 300680 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12950 /proc/meminfo: memFree=29632716/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=304360 CPUtime=522.3 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 563159 0 0 0 51411 819 0 0 25 0 1 0 132387202 311664640 74541 4089446400 4194304 8223781 140735184484400 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 76090 74541 604 984 0 75103 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 304360 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12952 /proc/meminfo: memFree=29560176/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=307320 CPUtime=582.3 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 573363 0 0 0 57313 917 0 0 25 0 1 0 132387202 314695680 75233 4089446400 4194304 8223781 140735184484400 18446744073709551615 6482456 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 76830 75233 604 984 0 75843 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 307320 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12953 /proc/meminfo: memFree=29504188/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=308892 CPUtime=642.3 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 582525 0 0 0 63217 1013 0 0 25 0 1 0 132387202 316305408 75560 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 77223 75560 604 984 0 76236 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 308892 [startup+702.301 s] ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12960 /proc/meminfo: memFree=29370400/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=321616 CPUtime=882.32 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 593861 0 0 0 86869 1363 0 0 25 0 1 0 132387202 329334784 78398 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 80404 78398 604 984 0 79417 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 321616 [startup+942.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 12961 /proc/meminfo: memFree=29350260/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=325484 CPUtime=942.31 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 600089 0 0 0 92786 1445 0 0 25 0 1 0 132387202 333295616 79373 4089446400 4194304 8223781 140735184484400 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 81371 79373 604 984 0 80384 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 325484 [startup+1002.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12966 /proc/meminfo: memFree=29347672/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=327692 CPUtime=1002.32 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 600611 0 0 0 98703 1529 0 0 25 0 1 0 132387202 335556608 79870 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 81923 79870 604 984 0 80936 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 327692 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12968 /proc/meminfo: memFree=29338988/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=332904 CPUtime=1062.32 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 601641 0 0 0 104616 1616 0 0 25 0 1 0 132387202 340893696 80885 4089446400 4194304 8223781 140735184484400 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 83226 80885 604 984 0 82239 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 332904 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12969 /proc/meminfo: memFree=29310140/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=334876 CPUtime=1122.32 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 602518 0 0 0 110535 1697 0 0 25 0 1 0 132387202 342913024 81326 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 83719 81326 604 984 0 82732 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 334876 [startup+1182.3 s] /proc/loadavg: 2.07 2.03 2.01 3/197 13017 /proc/meminfo: memFree=30907192/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=338748 CPUtime=1182.31 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 603761 0 0 0 116459 1772 0 0 25 0 1 0 132387202 346877952 82280 4089446400 4194304 8223781 140735184484400 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 84687 82280 604 984 0 83700 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 338748 [startup+1242.3 s] /proc/loadavg: 2.02 2.02 2.00 3/197 13018 /proc/meminfo: memFree=30885552/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=340612 CPUtime=1242.32 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 604307 0 0 0 122369 1863 0 0 25 0 1 0 132387202 348786688 82681 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 85153 82681 604 984 0 84166 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 340612 [startup+1302.3 s] /proc/loadavg: 2.01 2.02 2.00 3/197 13020 /proc/meminfo: memFree=30870760/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=342660 CPUtime=1302.32 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 604850 0 0 0 128280 1952 0 0 25 0 1 0 132387202 350883840 83153 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 85665 83153 604 984 0 84678 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 342660 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 13022 /proc/meminfo: memFree=30860552/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=345132 CPUtime=1362.33 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 605777 0 0 0 134194 2039 0 0 25 0 1 0 132387202 353415168 83609 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 86283 83609 604 984 0 85296 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 345132 [startup+1422.3 s] /proc/loadavg: 2.07 2.02 2.00 3/197 13023 /proc/meminfo: memFree=30847360/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=349228 CPUtime=1422.32 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 606843 0 0 0 140109 2123 0 0 25 0 1 0 132387202 357609472 84540 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 87307 84540 604 984 0 86320 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 349228 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 13025 /proc/meminfo: memFree=30835432/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=352720 CPUtime=1482.32 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 613407 0 0 0 146019 2213 0 0 25 0 1 0 132387202 361185280 85356 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 88180 85356 604 984 0 87193 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 352720 [startup+1542.31 s] /proc/loadavg: 2.01 2.01 2.00 3/197 13026 /proc/meminfo: memFree=30824116/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=356156 CPUtime=1542.34 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 614268 0 0 0 151935 2299 0 0 25 0 1 0 132387202 364703744 86164 4089446400 4194304 8223781 140735184484400 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 89039 86164 604 984 0 88052 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 356156 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13028 /proc/meminfo: memFree=30811060/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=362620 CPUtime=1602.33 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 615823 0 0 0 157849 2384 0 0 25 0 1 0 132387202 371322880 87683 4089446400 4194304 8223781 140735184484400 18446744073709551615 4221576 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 90655 87683 604 984 0 89668 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 362620 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13030 /proc/meminfo: memFree=30799616/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=366284 CPUtime=1662.33 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 616679 0 0 0 163767 2466 0 0 25 0 1 0 132387202 375074816 88475 4089446400 4194304 8223781 140735184484400 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 91571 88475 604 984 0 90584 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 366284 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13031 /proc/meminfo: memFree=30791136/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=369024 CPUtime=1722.33 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 617345 0 0 0 169681 2552 0 0 25 0 1 0 132387202 377880576 89070 4089446400 4194304 8223781 140735184484400 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 92256 89070 604 984 0 91269 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 369024 [startup+1782.3 s] /proc/loadavg: 2.04 2.01 2.00 3/197 13033 /proc/meminfo: memFree=30782148/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=372608 CPUtime=1782.33 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 618171 0 0 0 175596 2637 0 0 25 0 1 0 132387202 381550592 89842 4089446400 4194304 8223781 140735184484400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 93152 89842 604 984 0 92165 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 372608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.01 2.00 3/197 13033 /proc/meminfo: memFree=30779764/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=373344 CPUtime=1800.04 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 618317 0 0 0 177343 2661 0 0 25 0 1 0 132387202 382304256 89978 4089446400 4194304 8223781 140735184484400 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12935/statm: 93336 89978 604 984 0 92349 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 373344 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.03 2.01 2.00 3/197 13033 /proc/meminfo: memFree=30779764/32950904 swapFree=67111528/67111528 [pid=12935] ppid=12933 vsize=349792 CPUtime=1800.13 /proc/12935/stat : 12935 (pbscip.linux.x8) R 12933 12935 11542 0 -1 4202496 618319 0 0 0 177352 2661 0 0 25 0 1 0 132387202 358187008 83836 4089446400 4194304 8223781 140735184484400 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12935/statm: 87070 83714 606 984 0 86083 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 349792 Child status: 0 Real time (s): 1800.18 CPU time (s): 1800.23 CPU user time (s): 1773.59 CPU system time (s): 26.6349 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 373344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1773.59 system time used= 26.6349 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 618323 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= 1 involuntary context switches= 2029 runsolver used 2.6546 second user time and 5.61115 second system time The end
Begin job on node121 at 2010-06-30 17:15:05 IDJOB=2692926 IDBENCH=78982 IDSOLVER=1204 FILE ID=node121/2692926-1277910905 PBS_JOBID= 11197191 Free space on /tmp= 74208 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.1900557362--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-2692926-1277910905/watcher-2692926-1277910905 -o /tmp/evaluation-result-2692926-1277910905/solver-2692926-1277910905 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692926-1277910905.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 908c51b3c7715396d94712713af78fd9 RANDOM SEED=113252531 node121.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.876 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.75 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.876 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.23 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.876 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.75 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.876 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.83 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.876 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.75 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.876 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.82 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.876 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.876 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: 32950904 kB MemFree: 30240776 kB Buffers: 194740 kB Cached: 1103120 kB SwapCached: 0 kB Active: 1774072 kB Inactive: 790372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 30240776 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4688 kB Writeback: 0 kB AnonPages: 1266624 kB Mapped: 16132 kB Slab: 80688 kB PageTables: 7200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 1498320 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= 74208 MiB End job on node121 at 2010-06-30 17:45:07