Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.1 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo |
| MD5SUM | 05d9157cdbd186fca72e4e6dc0ec425d |
| 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 | 6 |
| Best CPU time to get the best result obtained on this benchmark | 341.13 |
| 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 | 1839 |
| 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 | 91769 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 91768 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 755 |
| 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: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693590-1277912293.wbo>
0.00/0.03 c original problem has 3909 variables (2070 bin, 0 int, 0 impl, 1839 cont) and 4547 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.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, 1965 impls, 9 clqs
0.00/0.09 c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.10/0.11 c (round 3) 47 del vars, 152 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.10/0.12 c (round 4) 116 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.10/0.13 c (round 5) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.10/0.19 c (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.19 c presolving (6 rounds):
0.10/0.19 c 138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.10/0.19 c 1965 implications, 9 cliques
0.10/0.19 c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints
0.10/0.19 c 1770 constraints of type <indicator>
0.10/0.19 c 9 constraints of type <setppc>
0.10/0.19 c 1770 constraints of type <linear>
0.10/0.19 c 824 constraints of type <logicor>
0.10/0.19 c transformed objective value is always integral (scale: 1)
0.10/0.19 c Presolving Time: 0.12
0.10/0.19 c - non default parameters ----------------------------------------------------------------------
0.10/0.19 c # SCIP version 1.2.1.2
0.10/0.19 c
0.10/0.19 c # frequency for displaying node information lines
0.10/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.19 c display/freq = 10000
0.10/0.19 c
0.10/0.19 c # maximal time in seconds to run
0.10/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.19 c limits/time = 1799.98
0.10/0.19 c
0.10/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.19 c limits/memory = 3420
0.10/0.19 c
0.10/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.19 c lp/solvefreq = -1
0.10/0.19 c
0.10/0.19 c # should presolving try to simplify inequalities
0.10/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.19 c constraints/linear/simplifyinequalities = TRUE
0.10/0.19 c
0.10/0.19 c # should presolving try to simplify knapsacks
0.10/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.19 c
0.10/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.19 c separating/rapidlearning/freq = 0
0.10/0.19 c
0.10/0.19 c -----------------------------------------------------------------------------------------------
0.10/0.19 c start solving
0.10/0.19 c
0.10/0.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.10/0.19 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3771 |4373 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.79/2.83 o 1084
2.79/2.83 c * 2.7s| 9389 | 8940 | 0 | 0.0 | 18M|1926 | - |3771 |5031 | 0 | 0 | 0 |1196 | 0 | 0.000000e+00 | 1.084000e+03 | Inf
2.89/2.96 o 601
2.89/2.96 c * 2.8s| 9780 | 5564 | 0 | 0.0 | 17M|1926 | - |3771 |5028 | 0 | 0 | 0 |1216 | 0 | 0.000000e+00 | 6.010000e+02 | Inf
2.89/2.96 o 514
2.89/2.96 c * 2.8s| 9781 | 5497 | 0 | 0.0 | 17M|1926 | - |3771 |5028 | 0 | 0 | 0 |1216 | 0 | 0.000000e+00 | 5.140000e+02 | Inf
2.99/3.02 o 510
2.99/3.02 c * 2.9s| 9963 | 5665 | 0 | 0.0 | 17M|1926 | - |3771 |5017 | 0 | 0 | 0 |1216 | 0 | 0.000000e+00 | 5.100000e+02 | Inf
2.99/3.04 c 2.9s| 10000 | 5702 | 0 | 0.0 | 17M|1926 | - |3771 |5005 | 0 | 0 | 0 |1216 | 0 | 0.000000e+00 | 5.100000e+02 | Inf
3.08/3.13 o 360
3.08/3.13 c * 3.0s| 10316 | 5719 | 0 | 0.0 | 17M|1926 | - |3771 |4998 | 0 | 0 | 0 |1235 | 0 | 0.000000e+00 | 3.600000e+02 | Inf
3.19/3.20 o 272
3.19/3.20 c * 3.1s| 10549 | 5848 | 0 | 0.0 | 17M|1926 | - |3771 |5003 | 0 | 0 | 0 |1273 | 0 | 0.000000e+00 | 2.720000e+02 | Inf
6.39/6.47 c 6.3s| 20000 | 13557 | 0 | 0.0 | 25M|1926 | - |3771 |6361 | 0 | 0 | 0 |8052 | 0 | 0.000000e+00 | 2.720000e+02 | Inf
10.99/11.05 c 10.7s| 30000 | 20274 | 0 | 0.0 | 35M|1926 | - |3771 |7600 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.720000e+02 | Inf
13.29/13.31 o 237
13.29/13.31 c *12.9s| 33237 | 21792 | 0 | 0.0 | 38M|1926 | - |3771 |7806 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
13.98/14.06 o 236
13.98/14.06 c *13.7s| 34858 | 23360 | 0 | 0.0 | 39M|1926 | - |3771 |7282 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.360000e+02 | Inf
13.98/14.06 o 196
13.98/14.06 c *13.7s| 34859 | 23238 | 0 | 0.0 | 39M|1926 | - |3771 |7282 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
14.38/14.48 o 163
14.38/14.48 c *14.1s| 35658 | 23788 | 0 | 0.0 | 39M|1926 | - |3771 |6752 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
14.58/14.65 o 161
14.58/14.65 c *14.3s| 35991 | 24093 | 0 | 0.0 | 39M|1926 | - |3771 |6612 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
14.58/14.65 o 152
14.58/14.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.58/14.65 c *14.3s| 35992 | 24057 | 0 | 0.0 | 39M|1926 | - |3771 |6612 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
14.98/15.08 o 142
14.98/15.08 c *14.7s| 36850 | 24811 | 0 | 0.0 | 40M|1926 | - |3771 |6452 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
14.98/15.09 o 117
14.98/15.09 c *14.7s| 36851 | 23743 | 0 | 0.0 | 40M|1926 | - |3771 |6452 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
15.68/15.75 o 103
15.68/15.75 c *15.3s| 38094 | 24734 | 0 | 0.0 | 41M|1926 | - |3771 |6156 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
16.68/16.75 c 16.3s| 40000 | 26517 | 0 | 0.0 | 43M|1926 | - |3771 |5915 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
16.88/16.95 o 87
16.88/16.95 c *16.5s| 40456 | 26497 | 0 | 0.0 | 43M|1926 | - |3771 |5849 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
17.78/17.84 o 84
17.78/17.84 c *17.4s| 42306 | 28106 | 0 | 0.0 | 46M|1926 | - |3771 |5738 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
17.78/17.84 o 80
17.78/17.84 c *17.4s| 42307 | 27983 | 0 | 0.0 | 46M|1926 | - |3771 |5738 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
18.38/18.40 o 75
18.38/18.40 c *17.9s| 43250 | 28481 | 0 | 0.0 | 46M|1926 | - |3771 |5434 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
18.38/18.40 o 61
18.38/18.40 c *17.9s| 43251 | 27411 | 0 | 0.0 | 45M|1926 | - |3771 |5434 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
18.58/18.64 o 46
18.58/18.64 c *18.2s| 43687 | 26347 | 0 | 0.0 | 43M|1926 | - |3771 |5120 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
20.48/20.55 o 43
20.48/20.55 c *20.1s| 48529 | 30554 | 0 | 0.0 | 47M|1926 | - |3771 |5155 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
21.08/21.14 c 20.6s| 50000 | 31771 | 0 | 0.0 | 49M|1926 | - |3771 |5393 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
25.29/25.39 c 24.8s| 60000 | 39594 | 0 | 0.0 | 57M|1926 | - |3771 |5851 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
29.99/30.08 c 29.4s| 70000 | 46960 | 0 | 0.0 | 66M|1926 | - |3771 |6405 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
34.88/34.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.88/34.95 c 34.1s| 80000 | 54183 | 0 | 0.0 | 75M|1926 | - |3771 |6887 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
40.08/40.13 c 39.2s| 90000 | 61131 | 0 | 0.0 | 83M|1926 | - |3771 |7257 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
45.59/45.66 c 44.6s|100000 | 67728 | 0 | 0.0 | 92M|1926 | - |3771 |7790 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
52.08/52.13 c 51.0s|110000 | 73577 | 0 | 0.0 | 101M|1926 | - |3771 |8404 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
59.29/59.39 c 58.2s|120000 | 78810 | 0 | 0.0 | 110M|1926 | - |3771 |8966 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
67.19/67.27 c 65.9s|130000 | 83580 | 0 | 0.0 | 119M|1926 | - |3771 |9309 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
75.58/75.62 c 74.2s|140000 | 87896 | 0 | 0.0 | 128M|1926 | - |3771 | 10k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
84.89/84.96 c 83.4s|150000 | 91447 | 0 | 0.0 | 137M|1926 | - |3771 | 10k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
96.79/96.81 c 95.1s|160000 | 93012 | 0 | 0.0 | 145M|1926 | - |3771 | 13k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
103.08/103.18 c 101s|170000 |101051 | 0 | 0.0 | 151M|1926 | - |3771 |4446 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
109.08/109.18 c 107s|180000 |109126 | 0 | 0.0 | 166M|1926 | - |3771 |4751 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
115.28/115.34 c 113s|190000 |117044 | 0 | 0.0 | 180M|1926 | - |3771 |4665 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
121.18/121.29 c 119s|200000 |124989 | 0 | 0.0 | 191M|1926 | - |3771 |4514 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
127.38/127.47 c 125s|210000 |132851 | 0 | 0.0 | 204M|1926 | - |3771 |4785 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
133.28/133.34 c 131s|220000 |140486 | 0 | 0.0 | 218M|1926 | - |3771 |4711 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
134.19/134.21 o 38
134.19/134.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.19/134.21 c * 132s|221751 |141569 | 0 | 0.0 | 216M|1926 | - |3771 |4888 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
134.19/134.22 o 23
134.19/134.22 c * 132s|221752 |139635 | 0 | 0.0 | 203M|1926 | - |3771 |4887 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
138.39/138.48 c 136s|230000 |145838 | 0 | 0.0 | 212M|1926 | - |3771 |5089 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
143.49/143.52 c 141s|240000 |153322 | 0 | 0.0 | 222M|1926 | - |3771 |6023 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
148.09/148.10 c 145s|250000 |161445 | 0 | 0.0 | 231M|1926 | - |3771 |6178 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
152.68/152.71 c 150s|260000 |169292 | 0 | 0.0 | 240M|1926 | - |3771 |5974 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
157.69/157.76 c 155s|270000 |176749 | 0 | 0.0 | 249M|1926 | - |3771 |6399 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
161.98/162.05 c 159s|280000 |184915 | 0 | 0.0 | 258M|1926 | - |3771 |7115 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
166.69/166.75 c 164s|290000 |192761 | 0 | 0.0 | 267M|1926 | - |3771 |6799 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
171.59/171.64 c 168s|300000 |200327 | 0 | 0.0 | 275M|1926 | - |3771 |6950 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
176.28/176.33 c 173s|310000 |208059 | 0 | 0.0 | 283M|1926 | - |3771 |8330 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
180.69/180.77 c 177s|320000 |216061 | 0 | 0.0 | 292M|1926 | - |3771 |7840 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
185.28/185.38 c 182s|330000 |223843 | 0 | 0.0 | 300M|1926 | - |3771 |7811 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
190.69/190.72 c 187s|340000 |230909 | 0 | 0.0 | 309M|1926 | - |3771 |8068 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
195.69/195.79 c 192s|350000 |238269 | 0 | 0.0 | 318M|1926 | - |3771 |8585 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
201.49/201.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.49/201.58 c 198s|360000 |244954 | 0 | 0.0 | 326M|1926 | - |3771 |9010 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
206.29/206.30 c 202s|370000 |252409 | 0 | 0.0 | 334M|1926 | - |3771 |8542 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
211.69/211.72 c 207s|380000 |259344 | 0 | 0.0 | 342M|1926 | - |3771 |8763 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
216.70/216.77 c 212s|390000 |266848 | 0 | 0.0 | 350M|1926 | - |3771 |5070 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
220.58/220.62 c 216s|400000 |275110 | 0 | 0.0 | 358M|1926 | - |3771 |5390 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
226.49/226.57 c 222s|410000 |281247 | 0 | 0.0 | 367M|1926 | - |3771 |6914 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
234.30/234.32 c 230s|420000 |286137 | 0 | 0.0 | 376M|1926 | - |3771 |7940 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
242.19/242.28 c 237s|430000 |290921 | 0 | 0.0 | 385M|1926 | - |3771 |8809 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
250.19/250.26 c 245s|440000 |295769 | 0 | 0.0 | 393M|1926 | - |3771 |8734 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
258.39/258.46 c 253s|450000 |300459 | 0 | 0.0 | 401M|1926 | - |3771 |9788 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
266.89/266.91 c 262s|460000 |305105 | 0 | 0.0 | 409M|1926 | - |3771 |9271 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
276.09/276.15 c 271s|470000 |309005 | 0 | 0.0 | 416M|1926 | - |3771 | 10k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
285.19/285.27 c 280s|480000 |313026 | 0 | 0.0 | 424M|1926 | - |3771 | 10k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
294.99/295.01 c 289s|490000 |316545 | 0 | 0.0 | 432M|1926 | - |3771 | 10k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
304.89/304.94 c 299s|500000 |319931 | 0 | 0.0 | 440M|1926 | - |3771 | 11k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
315.29/315.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.29/315.30 c 310s|510000 |323080 | 0 | 0.0 | 447M|1926 | - |3771 | 11k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
325.70/325.79 c 320s|520000 |326165 | 0 | 0.0 | 454M|1926 | - |3771 | 10k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
337.09/337.18 c 331s|530000 |328395 | 0 | 0.0 | 461M|1926 | - |3771 | 11k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
348.59/348.70 c 343s|540000 |330705 | 0 | 0.0 | 467M|1926 | - |3771 | 11k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
360.49/360.50 c 354s|550000 |332781 | 0 | 0.0 | 474M|1926 | - |3771 | 12k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
372.09/372.10 c 366s|560000 |334138 | 0 | 0.0 | 481M|1926 | - |3771 | 12k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
383.18/383.23 c 376s|570000 |335686 | 0 | 0.0 | 488M|1926 | - |3771 | 13k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
395.09/395.16 c 388s|580000 |336545 | 0 | 0.0 | 493M|1926 | - |3771 | 12k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
407.28/407.30 c 400s|590000 |337211 | 0 | 0.0 | 500M|1926 | - |3771 | 14k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
419.68/419.75 c 412s|600000 |337934 | 0 | 0.0 | 505M|1926 | - |3771 | 14k| 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
432.58/432.62 c 424s|610000 |338375 | 0 | 0.0 | 510M|1926 | - |3771 | 15k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
445.49/445.53 c 437s|620000 |338888 | 0 | 0.0 | 516M|1926 | - |3771 | 16k| 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
459.79/459.80 c 450s|630000 |338337 | 0 | 0.0 | 519M|1926 | - |3771 | 17k| 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
477.49/477.55 c 468s|640000 |335432 | 0 | 0.0 | 516M|1926 | - |3771 | 16k| 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
482.29/482.37 c 472s|650000 |343777 | 0 | 0.0 | 522M|1926 | - |3771 |5779 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
486.78/486.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.78/486.87 c 477s|660000 |351894 | 0 | 0.0 | 531M|1926 | - |3771 |5736 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
491.18/491.24 c 481s|670000 |359950 | 0 | 0.0 | 540M|1926 | - |3771 |6283 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
495.79/495.85 c 485s|680000 |367850 | 0 | 0.0 | 549M|1926 | - |3771 |5799 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
500.50/500.56 c 489s|690000 |375508 | 0 | 0.0 | 559M|1926 | - |3771 |6525 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
505.39/505.45 c 494s|700000 |383047 | 0 | 0.0 | 569M|1926 | - |3771 |7130 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
510.39/510.43 c 498s|710000 |390547 | 0 | 0.0 | 580M|1926 | - |3771 |7733 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
515.68/515.71 c 503s|720000 |397872 | 0 | 0.0 | 591M|1926 | - |3771 |8058 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
516.18/516.29 o 19
516.18/516.29 c * 504s|721076 |391515 | 0 | 0.0 | 560M|1926 | - |3771 |8120 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
522.69/522.72 c 510s|730000 |397049 | 0 | 0.0 | 573M|1926 | - |3771 |8961 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
531.19/531.28 c 518s|740000 |402023 | 0 | 0.0 | 584M|1926 | - |3771 | 10k| 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
540.79/540.81 c 527s|750000 |406181 | 0 | 0.0 | 595M|1926 | - |3771 | 11k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
551.69/551.74 c 538s|760000 |409353 | 0 | 0.0 | 606M|1926 | - |3771 | 12k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
565.89/565.98 c 551s|770000 |410208 | 0 | 0.0 | 614M|1926 | - |3771 | 12k| 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
573.09/573.17 c 558s|780000 |416530 | 0 | 0.0 | 624M|1926 | - |3771 |6894 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
578.89/578.93 c 563s|790000 |423741 | 0 | 0.0 | 636M|1926 | - |3771 |7349 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
584.69/584.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
584.69/584.70 c 569s|800000 |430907 | 0 | 0.0 | 648M|1926 | - |3771 |8004 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
590.49/590.52 c 574s|810000 |438041 | 0 | 0.0 | 659M|1926 | - |3771 |8377 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
596.49/596.52 c 580s|820000 |445063 | 0 | 0.0 | 670M|1926 | - |3771 |8656 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
603.09/603.13 c 586s|830000 |451635 | 0 | 0.0 | 682M|1926 | - |3771 |8672 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
611.09/611.18 c 594s|840000 |457203 | 0 | 0.0 | 695M|1926 | - |3771 |8621 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
619.49/619.55 c 602s|850000 |462493 | 0 | 0.0 | 708M|1926 | - |3771 |8495 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
624.59/624.62 o 15
624.59/624.62 c * 607s|855973 |459886 | 0 | 0.0 | 689M|1926 | - |3771 |8331 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
627.49/627.58 o 12
627.49/627.58 c * 609s|858636 |460073 | 0 | 0.0 | 688M|1926 | - |3771 |8123 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
629.09/629.16 c 611s|860000 |460677 | 0 | 0.0 | 691M|1926 | - |3771 |8345 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
638.99/639.08 c 620s|870000 |465380 | 0 | 0.0 | 707M|1926 | - |3771 |8354 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
648.00/648.00 c 629s|880000 |470484 | 0 | 0.0 | 722M|1926 | - |3771 |8156 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
656.19/656.21 c 637s|890000 |475638 | 0 | 0.0 | 733M|1926 | - |3771 |8540 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
664.29/664.32 c 644s|900000 |480395 | 0 | 0.0 | 742M|1926 | - |3771 |9566 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
673.20/673.22 c 653s|910000 |484651 | 0 | 0.0 | 752M|1926 | - |3771 | 11k| 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
684.39/684.40 c 664s|920000 |487263 | 0 | 0.0 | 761M|1926 | - |3771 | 13k| 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
696.49/696.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.49/696.56 c 675s|930000 |489303 | 0 | 0.0 | 765M|1926 | - |3771 |9082 | 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
701.80/701.89 c 680s|940000 |496352 | 0 | 0.0 | 774M|1926 | - |3771 |9326 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
707.70/707.79 c 686s|950000 |502989 | 0 | 0.0 | 783M|1926 | - |3771 | 10k| 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
714.49/714.54 c 692s|960000 |508955 | 0 | 0.0 | 792M|1926 | - |3771 | 10k| 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
722.59/722.66 c 700s|970000 |513948 | 0 | 0.0 | 802M|1926 | - |3771 | 11k| 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
732.90/732.90 c 710s|980000 |517395 | 0 | 0.0 | 811M|1926 | - |3771 | 13k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
746.60/746.66 c 723s|990000 |518375 | 0 | 0.0 | 818M|1926 | - |3771 | 12k| 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
752.09/752.18 c 729s| 1000k|525559 | 0 | 0.0 | 826M|1926 | - |3771 | 10k| 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
758.29/758.38 c 734s| 1010k|532185 | 0 | 0.0 | 835M|1926 | - |3771 | 11k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
765.20/765.21 c 741s| 1020k|538387 | 0 | 0.0 | 845M|1926 | - |3771 | 12k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
773.49/773.57 c 749s| 1030k|543529 | 0 | 0.0 | 855M|1926 | - |3771 | 14k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
784.60/784.65 c 760s| 1040k|546885 | 0 | 0.0 | 864M|1926 | - |3771 | 15k| 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
798.00/798.08 c 773s| 1050k|548681 | 0 | 0.0 | 869M|1926 | - |3771 | 13k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
803.69/803.75 c 778s| 1060k|555975 | 0 | 0.0 | 878M|1926 | - |3771 | 11k| 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
809.99/810.09 c 784s| 1070k|562618 | 0 | 0.0 | 887M|1926 | - |3771 | 12k| 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
817.20/817.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.20/817.20 c 791s| 1080k|568682 | 0 | 0.0 | 896M|1926 | - |3771 | 13k| 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
825.40/825.43 c 799s| 1090k|573973 | 0 | 0.0 | 906M|1926 | - |3771 | 14k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
835.60/835.69 c 808s| 1100k|577910 | 0 | 0.0 | 914M|1926 | - |3771 | 15k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
849.39/849.47 c 822s| 1110k|579429 | 0 | 0.0 | 922M|1926 | - |3771 | 18k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
857.59/857.65 c 830s| 1120k|584988 | 0 | 0.0 | 928M|1926 | - |3771 | 12k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
863.19/863.26 c 835s| 1130k|592282 | 0 | 0.0 | 936M|1926 | - |3771 | 12k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
869.40/869.40 c 841s| 1140k|599096 | 0 | 0.0 | 945M|1926 | - |3771 | 13k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
875.80/875.87 c 847s| 1150k|605615 | 0 | 0.0 | 954M|1926 | - |3771 | 13k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
883.00/883.00 c 854s| 1160k|611615 | 0 | 0.0 | 963M|1926 | - |3771 | 14k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
891.11/891.13 c 861s| 1170k|616904 | 0 | 0.0 | 972M|1926 | - |3771 | 15k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
901.20/901.24 c 871s| 1180k|620996 | 0 | 0.0 | 982M|1926 | - |3771 | 16k| 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
915.10/915.11 c 885s| 1190k|622500 | 0 | 0.0 | 990M|1926 | - |3771 | 18k| 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
923.40/923.47 c 893s| 1200k|628268 | 0 | 0.0 | 996M|1926 | - |3771 | 12k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
929.30/929.39 c 898s| 1210k|635449 | 0 | 0.0 |1006M|1926 | - |3771 | 13k| 0 | 0 | 0 |1101k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
935.50/935.59 c 904s| 1220k|642401 | 0 | 0.0 |1015M|1926 | - |3771 | 14k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
942.00/942.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
942.00/942.00 c 910s| 1230k|649131 | 0 | 0.0 |1025M|1926 | - |3771 | 15k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
949.10/949.10 c 917s| 1240k|655458 | 0 | 0.0 |1034M|1926 | - |3771 | 16k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
957.40/957.45 c 925s| 1250k|660985 | 0 | 0.0 |1043M|1926 | - |3771 | 17k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
968.60/968.61 c 936s| 1260k|664684 | 0 | 0.0 |1053M|1926 | - |3771 | 18k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
983.10/983.14 c 950s| 1270k|666233 | 0 | 0.0 |1061M|1926 | - |3771 | 19k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
991.80/991.81 c 958s| 1280k|672084 | 0 | 0.0 |1067M|1926 | - |3771 | 14k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
997.80/997.87 c 964s| 1290k|679443 | 0 | 0.0 |1077M|1926 | - |3771 | 14k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1004.30/1004.35 c 970s| 1300k|686454 | 0 | 0.0 |1086M|1926 | - |3771 | 15k| 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1011.40/1011.41 c 977s| 1310k|692977 | 0 | 0.0 |1096M|1926 | - |3771 | 15k| 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1019.40/1019.46 c 984s| 1320k|698717 | 0 | 0.0 |1106M|1926 | - |3771 | 16k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1028.70/1028.77 c 993s| 1330k|703603 | 0 | 0.0 |1116M|1926 | - |3771 | 17k| 0 | 0 | 0 |1203k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1040.30/1040.34 c 1004s| 1340k|706990 | 0 | 0.0 |1126M|1926 | - |3771 | 18k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1053.11/1053.17 c 1017s| 1350k|709472 | 0 | 0.0 |1130M|1926 | - |3771 | 12k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1058.31/1058.32 c 1021s| 1360k|716978 | 0 | 0.0 |1139M|1926 | - |3771 | 12k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1063.71/1063.80 c 1027s| 1370k|724048 | 0 | 0.0 |1147M|1926 | - |3771 | 13k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1069.71/1069.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.71/1069.70 c 1032s| 1380k|730643 | 0 | 0.0 |1155M|1926 | - |3771 | 13k| 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1076.20/1076.29 c 1038s| 1390k|736653 | 0 | 0.0 |1163M|1926 | - |3771 | 13k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1083.51/1083.52 c 1045s| 1400k|741981 | 0 | 0.0 |1171M|1926 | - |3771 | 14k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1092.90/1092.93 c 1054s| 1410k|745423 | 0 | 0.0 |1180M|1926 | - |3771 | 15k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1103.91/1103.91 c 1065s| 1420k|747774 | 0 | 0.0 |1185M|1926 | - |3771 | 12k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1109.10/1109.11 c 1069s| 1430k|755224 | 0 | 0.0 |1193M|1926 | - |3771 | 12k| 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
1111.20/1111.24 o 10
1111.20/1111.24 c *1071s| 1434k|755851 | 0 | 0.0 |1184M|1926 | - |3771 | 13k| 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1114.71/1114.78 c 1075s| 1440k|760044 | 0 | 0.0 |1190M|1926 | - |3771 | 13k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1121.40/1121.40 c 1081s| 1450k|766219 | 0 | 0.0 |1198M|1926 | - |3771 | 14k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1128.80/1128.85 c 1088s| 1460k|771686 | 0 | 0.0 |1207M|1926 | - |3771 | 14k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1137.80/1137.85 c 1097s| 1470k|775769 | 0 | 0.0 |1215M|1926 | - |3771 | 14k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1147.61/1147.65 c 1106s| 1480k|778999 | 0 | 0.0 |1223M|1926 | - |3771 | 13k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1155.01/1155.09 c 1113s| 1490k|784254 | 0 | 0.0 |1231M|1926 | - |3771 | 13k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1161.71/1161.75 c 1119s| 1500k|790160 | 0 | 0.0 |1238M|1926 | - |3771 | 13k| 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1168.71/1168.78 c 1126s| 1510k|795760 | 0 | 0.0 |1246M|1926 | - |3771 | 14k| 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1177.41/1177.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.41/1177.45 c 1134s| 1520k|800014 | 0 | 0.0 |1255M|1926 | - |3771 | 15k| 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1188.21/1188.23 c 1144s| 1530k|802475 | 0 | 0.0 |1264M|1926 | - |3771 | 16k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1199.60/1199.67 c 1155s| 1540k|804528 | 0 | 0.0 |1267M|1926 | - |3771 | 12k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1205.40/1205.41 c 1161s| 1550k|811643 | 0 | 0.0 |1276M|1926 | - |3771 | 13k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1212.32/1212.31 c 1167s| 1560k|817689 | 0 | 0.0 |1284M|1926 | - |3771 | 14k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1220.81/1220.89 c 1176s| 1570k|822389 | 0 | 0.0 |1293M|1926 | - |3771 | 15k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1231.51/1231.58 c 1186s| 1580k|825495 | 0 | 0.0 |1302M|1926 | - |3771 | 16k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1240.92/1240.95 c 1195s| 1590k|829520 | 0 | 0.0 |1308M|1926 | - |3771 | 13k| 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1247.70/1247.78 c 1201s| 1600k|835598 | 0 | 0.0 |1315M|1926 | - |3771 | 13k| 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1254.81/1254.85 c 1208s| 1610k|841538 | 0 | 0.0 |1323M|1926 | - |3771 | 14k| 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1263.81/1263.80 c 1217s| 1620k|845945 | 0 | 0.0 |1332M|1926 | - |3771 | 15k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1274.81/1274.86 c 1227s| 1630k|848606 | 0 | 0.0 |1341M|1926 | - |3771 | 17k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1284.01/1284.03 c 1236s| 1640k|853000 | 0 | 0.0 |1346M|1926 | - |3771 | 13k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1289.61/1289.69 c 1241s| 1650k|860090 | 0 | 0.0 |1354M|1926 | - |3771 | 13k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1296.41/1296.40 c 1248s| 1660k|866280 | 0 | 0.0 |1362M|1926 | - |3771 | 14k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1305.11/1305.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.11/1305.16 c 1256s| 1670k|870911 | 0 | 0.0 |1371M|1926 | - |3771 | 15k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1314.62/1314.62 c 1265s| 1680k|874881 | 0 | 0.0 |1379M|1926 | - |3771 | 16k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1325.91/1325.99 c 1276s| 1690k|877422 | 0 | 0.0 |1384M|1926 | - |3771 | 13k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1331.51/1331.52 c 1282s| 1700k|884610 | 0 | 0.0 |1392M|1926 | - |3771 | 13k| 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1337.52/1337.53 c 1287s| 1710k|891283 | 0 | 0.0 |1400M|1926 | - |3771 | 14k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1343.91/1343.93 c 1293s| 1720k|897505 | 0 | 0.0 |1408M|1926 | - |3771 | 14k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1353.52/1353.54 c 1302s| 1730k|901365 | 0 | 0.0 |1416M|1926 | - |3771 | 16k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1361.82/1361.86 c 1310s| 1740k|906156 | 0 | 0.0 |1419M|1926 | - |3771 |5165 | 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1366.52/1366.56 c 1315s| 1750k|912889 | 0 | 0.0 |1427M|1926 | - |3771 |4492 | 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1371.11/1371.19 c 1319s| 1760k|919656 | 0 | 0.0 |1436M|1926 | - |3771 |4595 | 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1375.81/1375.83 c 1323s| 1770k|926455 | 0 | 0.0 |1444M|1926 | - |3771 |5149 | 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1380.41/1380.46 c 1328s| 1780k|933094 | 0 | 0.0 |1452M|1926 | - |3771 |4706 | 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1384.81/1384.87 c 1332s| 1790k|939856 | 0 | 0.0 |1460M|1926 | - |3771 |4683 | 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1389.32/1389.31 c 1336s| 1800k|946532 | 0 | 0.0 |1468M|1926 | - |3771 |4697 | 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1393.61/1393.65 c 1340s| 1810k|953378 | 0 | 0.0 |1475M|1926 | - |3771 |4674 | 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1398.01/1398.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.01/1398.01 c 1344s| 1820k|960183 | 0 | 0.0 |1483M|1926 | - |3771 |4749 | 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1402.01/1402.01 c 1347s| 1830k|967365 | 0 | 0.0 |1491M|1926 | - |3771 |5275 | 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1406.61/1406.61 c 1352s| 1840k|973930 | 0 | 0.0 |1499M|1926 | - |3771 |4856 | 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1410.61/1410.68 c 1355s| 1850k|981142 | 0 | 0.0 |1507M|1926 | - |3771 |5096 | 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1415.11/1415.15 c 1359s| 1860k|987875 | 0 | 0.0 |1516M|1926 | - |3771 |5364 | 0 | 0 | 0 |1546k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1420.11/1420.11 c 1364s| 1870k|994031 | 0 | 0.0 |1524M|1926 | - |3771 |6087 | 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1424.62/1424.65 c 1368s| 1880k| 1000k| 0 | 0.0 |1533M|1926 | - |3771 |5530 | 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1429.02/1429.09 c 1372s| 1890k| 1007k| 0 | 0.0 |1541M|1926 | - |3771 |5615 | 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1433.52/1433.52 c 1376s| 1900k| 1014k| 0 | 0.0 |1549M|1926 | - |3771 |5578 | 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1437.82/1437.81 c 1380s| 1910k| 1020k| 0 | 0.0 |1556M|1926 | - |3771 |4070 | 0 | 0 | 0 |1570k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1441.12/1441.18 c 1383s| 1920k| 1028k| 0 | 0.0 |1563M|1926 | - |3771 |3928 | 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1452.31/1452.35 c 1394s| 1930k| 1028k| 0 | 0.0 |1566M|1926 | - |3771 |8045 | 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1464.02/1464.03 c 1405s| 1940k| 1028k| 0 | 0.0 |1571M|1926 | - |3771 |9064 | 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1477.12/1477.20 c 1418s| 1950k| 1027k| 0 | 0.0 |1574M|1926 | - |3771 | 10k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1490.71/1490.75 c 1431s| 1960k| 1026k| 0 | 0.0 |1579M|1926 | - |3771 | 11k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1504.81/1504.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.81/1504.90 c 1445s| 1970k| 1025k| 0 | 0.0 |1582M|1926 | - |3771 | 12k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1519.52/1519.53 c 1459s| 1980k| 1024k| 0 | 0.0 |1585M|1926 | - |3771 | 12k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1534.62/1534.65 c 1474s| 1990k| 1023k| 0 | 0.0 |1587M|1926 | - |3771 | 13k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1550.11/1550.14 c 1489s| 2000k| 1021k| 0 | 0.0 |1589M|1926 | - |3771 | 13k| 0 | 0 | 0 |1695k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1566.42/1566.46 c 1505s| 2010k| 1019k| 0 | 0.0 |1589M|1926 | - |3771 | 12k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1582.92/1582.92 c 1521s| 2020k| 1016k| 0 | 0.0 |1589M|1926 | - |3771 | 12k| 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1599.81/1599.80 c 1537s| 2030k| 1014k| 0 | 0.0 |1589M|1926 | - |3771 | 12k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1616.91/1616.97 c 1554s| 2040k| 1011k| 0 | 0.0 |1586M|1926 | - |3771 | 12k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1634.82/1634.80 c 1571s| 2050k| 1008k| 0 | 0.0 |1583M|1926 | - |3771 | 13k| 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1653.12/1653.17 c 1589s| 2060k| 1005k| 0 | 0.0 |1580M|1926 | - |3771 | 13k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1671.61/1671.61 c 1607s| 2070k| 1001k| 0 | 0.0 |1577M|1926 | - |3771 | 14k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1691.02/1691.07 c 1626s| 2080k|998135 | 0 | 0.0 |1572M|1926 | - |3771 | 14k| 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1713.32/1713.35 c 1648s| 2090k|986679 | 0 | 0.0 |1550M|1926 | - |3771 | 16k| 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1729.72/1729.77 c 1663s| 2100k|976498 | 0 | 0.0 |1512M|1926 | - |3771 |4512 | 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1735.02/1735.05 c 1668s| 2110k|983270 | 0 | 0.0 |1521M|1926 | - |3771 |4983 | 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1740.22/1740.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.22/1740.25 c 1673s| 2120k|989968 | 0 | 0.0 |1530M|1926 | - |3771 |5313 | 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1745.72/1745.74 c 1678s| 2130k|996355 | 0 | 0.0 |1539M|1926 | - |3771 |5527 | 0 | 0 | 0 |1893k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1751.72/1751.77 c 1684s| 2140k| 1002k| 0 | 0.0 |1548M|1926 | - |3771 |6077 | 0 | 0 | 0 |1898k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1757.93/1757.99 c 1690s| 2150k| 1008k| 0 | 0.0 |1557M|1926 | - |3771 |6561 | 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1764.43/1764.45 c 1696s| 2160k| 1013k| 0 | 0.0 |1566M|1926 | - |3771 |6961 | 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1771.03/1771.09 c 1702s| 2170k| 1019k| 0 | 0.0 |1574M|1926 | - |3771 |7040 | 0 | 0 | 0 |1916k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1777.82/1777.87 c 1708s| 2180k| 1024k| 0 | 0.0 |1583M|1926 | - |3771 |7372 | 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1785.12/1785.12 c 1715s| 2190k| 1029k| 0 | 0.0 |1591M|1926 | - |3771 |7586 | 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1792.82/1792.84 c 1722s| 2200k| 1033k| 0 | 0.0 |1600M|1926 | - |3771 |7942 | 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1729.21
1800.03/1800.00 c Solving Nodes : 2209149
1800.03/1800.00 c Primal Bound : +1.00000000000000e+01 (28 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.04 s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/1800.04 v -x1
1800.03/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.04 c Solving Time : 1729.21
1800.03/1800.04 c Original Problem :
1800.03/1800.04 c Problem name : HOME/instance-2693590-1277912293.wbo
1800.03/1800.04 c Variables : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.03/1800.04 c Constraints : 4547 initial, 4547 maximal
1800.03/1800.04 c Presolved Problem :
1800.03/1800.04 c Problem name : t_HOME/instance-2693590-1277912293.wbo
1800.03/1800.04 c Variables : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.03/1800.04 c Constraints : 4373 initial, 21409 maximal
1800.03/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.04 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.03/1800.04 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.03/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.04 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.03/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c linear : 0.08 0 0 0 1861 0 105 91 0
1800.03/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c root node : - 1584 - - 3168 - - - -
1800.03/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.04 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.04 c indicator : 1770 0 4820410 0 1390795 281 3166850 0 0 0
1800.03/1800.04 c setppc : 9 0 7155145 0 1787251 31553 4530616 0 0 0
1800.03/1800.04 c linear : 1770 0 7130505 0 1791572 446518 37748513 0 0 0
1800.03/1800.04 c logicor : 824+ 0 4261250 0 1791587 174004 7100492 0 0 0
1800.03/1800.04 c bounddisjunction : 0+ 0 36683 0 0 0 12 0 0 0
1800.03/1800.04 c countsols : 0 0 0 0 1791587 0 0 0 0 0
1800.03/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.04 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.04 c indicator : 26.57 0.00 11.59 0.00 14.98
1800.03/1800.04 c setppc : 23.25 0.00 21.20 0.00 2.05
1800.03/1800.04 c linear : 329.14 0.00 327.95 0.00 1.19
1800.03/1800.04 c logicor : 389.36 0.00 340.28 0.00 49.08
1800.03/1800.04 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.03/1800.04 c countsols : 0.05 0.00 0.00 0.00 0.05
1800.03/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.04 c vbounds : 0.33 2 0 0
1800.03/1800.04 c rootredcost : 0.37 0 0 0
1800.03/1800.04 c pseudoobj : 272.16 7166329 4079 3100190
1800.03/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.04 c propagation : 39.03 656154 656149 2972443 19.1 212300 10.1 -
1800.03/1800.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.04 c pseudo solution : 0.01 118 118 391 13.6 189 9.3 -
1800.03/1800.04 c applied globally : - - - 1944702 16.8 - - -
1800.03/1800.04 c applied locally : - - - 2 208.5 - - -
1800.03/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.04 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.04 c redcost : 0.00 0 0 0 0 0
1800.03/1800.04 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.04 c intobj : 0.00 0 0 0 0 0
1800.03/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.04 c gomory : 0.00 0 0 0 0 0
1800.03/1800.04 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.04 c cmir : 0.00 0 0 0 0 0
1800.03/1800.04 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.04 c clique : 0.00 0 0 0 0 0
1800.03/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.04 c mcf : 0.00 0 0 0 0 0
1800.03/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.04 c Pricers : Time Calls Vars
1800.03/1800.04 c problem variables: 0.00 0 0
1800.03/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.04 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.04 c inference : 43.65 1791559 0 0 0 0 3583118
1800.03/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.04 c random : 0.00 0 0 0 0 0 0
1800.03/1800.04 c Primal Heuristics : Time Calls Found
1800.03/1800.04 c LP solutions : 0.00 - 0
1800.03/1800.04 c pseudo solutions : 0.12 - 28
1800.03/1800.04 c oneopt : 0.27 0 0
1800.03/1800.04 c trivial : 0.00 2 0
1800.03/1800.04 c simplerounding : 0.00 0 0
1800.03/1800.04 c zirounding : 0.00 0 0
1800.03/1800.04 c rounding : 0.00 0 0
1800.03/1800.04 c shifting : 0.00 0 0
1800.03/1800.04 c intshifting : 0.00 0 0
1800.03/1800.04 c twoopt : 0.00 0 0
1800.03/1800.04 c fixandinfer : 0.00 0 0
1800.03/1800.04 c feaspump : 0.00 0 0
1800.03/1800.04 c coefdiving : 0.00 0 0
1800.03/1800.04 c pscostdiving : 0.00 0 0
1800.03/1800.04 c fracdiving : 0.00 0 0
1800.03/1800.04 c veclendiving : 0.00 0 0
1800.03/1800.04 c intdiving : 0.00 0 0
1800.03/1800.04 c actconsdiving : 0.00 0 0
1800.03/1800.04 c objpscostdiving : 0.00 0 0
1800.03/1800.04 c rootsoldiving : 0.00 0 0
1800.03/1800.04 c linesearchdiving : 0.00 0 0
1800.03/1800.04 c guideddiving : 0.00 0 0
1800.03/1800.04 c octane : 0.00 0 0
1800.03/1800.04 c rens : 0.00 0 0
1800.03/1800.04 c rins : 0.00 0 0
1800.03/1800.04 c localbranching : 0.00 0 0
1800.03/1800.04 c mutation : 0.00 0 0
1800.03/1800.04 c crossover : 0.00 0 0
1800.03/1800.04 c dins : 0.00 0 0
1800.03/1800.04 c undercover : 0.00 0 0
1800.03/1800.04 c nlp : 0.20 0 0
1800.03/1800.04 c trysol : 0.09 1 0
1800.03/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.04 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.04 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.04 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.04 c (at root node) : - 0 0 0.00 -
1800.03/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.04 c B&B Tree :
1800.03/1800.04 c number of runs : 1
1800.03/1800.04 c nodes : 2209149
1800.03/1800.04 c nodes (total) : 2209149
1800.03/1800.04 c nodes left : 1037698
1800.03/1800.04 c max depth : 1926
1800.03/1800.04 c max depth (total): 1926
1800.03/1800.04 c backtracks : 401118 (18.2%)
1800.03/1800.04 c delayed cutoffs : 307888
1800.03/1800.04 c repropagations : 1581586 (17321599 domain reductions, 238991 cutoffs)
1800.03/1800.04 c avg switch length: 30.78
1800.03/1800.04 c switching time : 530.52
1800.03/1800.04 c Solution :
1800.03/1800.04 c Solutions found : 28 (28 improvements)
1800.03/1800.04 c First Solution : +1.08400000000000e+03 (in run 1, after 9389 nodes, 2.71 seconds, depth 1386, found by <relaxation>)
1800.03/1800.04 c Primal Bound : +1.00000000000000e+01 (in run 1, after 1434000 nodes, 1071.34 seconds, depth 1127, found by <relaxation>)
1800.03/1800.04 c Dual Bound : +0.00000000000000e+00
1800.03/1800.04 c Gap : infinite
1800.03/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.04 c Root Iterations : 0
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693590-1277912293/watcher-2693590-1277912293 -o /tmp/evaluation-result-2693590-1277912293/solver-2693590-1277912293 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693590-1277912293.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.92 2.63 2.32 4/199 13611 /proc/meminfo: memFree=31022716/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=8604 CPUtime=0 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 1604 0 0 0 0 0 0 0 25 0 1 0 132524772 8810496 1528 4089446400 4194304 7136930 140736470660496 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13611/statm: 2151 1546 275 719 0 1430 0 [startup+0.104111 s] /proc/loadavg: 2.92 2.63 2.32 4/199 13611 /proc/meminfo: memFree=31022716/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=28300 CPUtime=0.1 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 7472 0 0 0 9 1 0 0 25 0 1 0 132524772 28979200 6270 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13611/statm: 7075 6270 354 719 0 6354 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 28300 [startup+0.201105 s] /proc/loadavg: 2.92 2.63 2.32 4/199 13611 /proc/meminfo: memFree=31022716/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=29740 CPUtime=0.19 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 10230 0 0 0 18 1 0 0 25 0 1 0 132524772 30453760 6715 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13611/statm: 7435 6715 391 719 0 6714 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 29740 [startup+0.301073 s] /proc/loadavg: 2.92 2.63 2.32 4/199 13611 /proc/meminfo: memFree=31022716/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=30324 CPUtime=0.29 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 10354 0 0 0 28 1 0 0 25 0 1 0 132524772 31051776 6839 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13611/statm: 7581 6839 391 719 0 6860 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30324 [startup+0.700998 s] /proc/loadavg: 2.92 2.63 2.32 4/199 13611 /proc/meminfo: memFree=31022716/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=32112 CPUtime=0.69 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 10800 0 0 0 66 3 0 0 25 0 1 0 132524772 32882688 7285 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13611/statm: 8028 7285 395 719 0 7307 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32112 [startup+1.50089 s] /proc/loadavg: 2.92 2.63 2.32 4/200 13612 /proc/meminfo: memFree=30992204/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=34632 CPUtime=1.48 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 11444 0 0 0 143 5 0 0 25 0 1 0 132524772 35463168 7929 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13611/statm: 8658 7929 395 719 0 7937 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 34632 [startup+3.10059 s] /proc/loadavg: 2.92 2.63 2.32 4/200 13612 /proc/meminfo: memFree=30989724/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=38828 CPUtime=3.08 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 12519 0 0 0 299 9 0 0 25 0 1 0 132524772 39759872 9004 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13611/statm: 9707 9004 396 719 0 8986 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 38828 [startup+6.30101 s] /proc/loadavg: 2.93 2.63 2.32 4/200 13612 /proc/meminfo: memFree=30978960/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=48608 CPUtime=6.29 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 14971 0 0 0 612 17 0 0 25 0 1 0 132524772 49774592 11456 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13611/statm: 12152 11456 396 719 0 11431 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48608 [startup+12.7009 s] /proc/loadavg: 2.85 2.62 2.32 3/200 13612 /proc/meminfo: memFree=30961264/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=64580 CPUtime=12.69 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 18951 0 0 0 1237 32 0 0 25 0 1 0 132524772 66129920 15436 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13611/statm: 16145 15436 396 719 0 15424 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64580 [startup+25.5006 s] /proc/loadavg: 2.88 2.64 2.33 4/200 13613 /proc/meminfo: memFree=30926680/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=98820 CPUtime=25.48 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 27357 0 0 0 2491 57 0 0 25 0 1 0 132524772 101191680 23842 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13611/statm: 24705 23842 398 719 0 23984 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 98820 [startup+51.1009 s] /proc/loadavg: 2.92 2.67 2.35 4/200 13614 /proc/meminfo: memFree=30883804/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=143312 CPUtime=51.08 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 38040 0 0 0 5000 108 0 0 25 0 1 0 132524772 146751488 34525 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13611/statm: 35828 34525 398 719 0 35107 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 143312 [startup+102.301 s] /proc/loadavg: 2.92 2.70 2.37 4/200 13615 /proc/meminfo: memFree=30813180/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=207700 CPUtime=102.29 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 54055 0 0 0 10048 181 0 0 25 0 1 0 132524772 212684800 50540 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13611/statm: 51925 50540 398 719 0 51204 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 207700 [startup+162.301 s] /proc/loadavg: 2.93 2.74 2.40 4/200 13616 /proc/meminfo: memFree=30659708/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=367972 CPUtime=162.29 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 91291 0 0 0 15917 312 0 0 25 0 1 0 132524772 376803328 87776 4089446400 4194304 7136930 140736470660496 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13611/statm: 91993 87776 398 719 0 91272 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 367972 [startup+222.307 s] /proc/loadavg: 2.97 2.78 2.44 4/200 13618 /proc/meminfo: memFree=30548392/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=478596 CPUtime=222.3 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 117843 0 0 0 21783 447 0 0 25 0 1 0 132524772 490082304 114328 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13611/statm: 119649 114328 398 719 0 118928 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 478596 [startup+282.3 s] /proc/loadavg: 2.84 2.78 2.46 4/200 13620 /proc/meminfo: memFree=30481868/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=541768 CPUtime=282.29 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 133716 0 0 0 27693 536 0 0 25 0 1 0 132524772 554770432 130201 4089446400 4194304 7136930 140736470660496 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13611/statm: 135442 130201 398 719 0 134721 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 541768 [startup+342.3 s] /proc/loadavg: 2.86 2.79 2.48 4/200 13622 /proc/meminfo: memFree=30426856/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=592952 CPUtime=342.29 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 146553 0 0 0 33620 609 0 0 25 0 1 0 132524772 607182848 143038 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13611/statm: 148238 143038 398 719 0 147517 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 592952 [startup+402.301 s] /proc/loadavg: 2.33 2.65 2.45 3/197 13690 /proc/meminfo: memFree=30476552/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=626136 CPUtime=402.29 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 154811 0 0 0 39487 742 0 0 25 0 1 0 132524772 641163264 151296 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 156534 151296 398 719 0 155813 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 626136 [startup+462.301 s] /proc/loadavg: 2.12 2.53 2.42 3/197 13691 /proc/meminfo: memFree=30428908/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=653984 CPUtime=462.29 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 161747 0 0 0 45294 935 0 0 25 0 1 0 132524772 669679616 158232 4089446400 4194304 7136930 140736470660496 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 163496 158232 398 719 0 162775 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 653984 [startup+522.301 s] /proc/loadavg: 2.04 2.43 2.39 4/197 13693 /proc/meminfo: memFree=30337344/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=743160 CPUtime=522.29 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 182226 0 0 0 50963 1266 0 0 25 0 1 0 132524772 760995840 178683 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 185790 178683 398 719 0 185069 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 743160 [startup+582.301 s] /proc/loadavg: 2.01 2.35 2.36 3/197 13695 /proc/meminfo: memFree=30260028/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=812688 CPUtime=582.29 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 198230 0 0 0 56662 1567 0 0 25 0 1 0 132524772 832192512 194687 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 203172 194687 398 719 0 202451 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 812688 [startup+642.3 s] /proc/loadavg: 2.00 2.28 2.34 3/197 13697 /proc/meminfo: memFree=30148256/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=931396 CPUtime=642.3 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 223218 0 0 0 62342 1888 0 0 25 0 1 0 132524772 953749504 219675 4089446400 4194304 7136930 140736470660496 18446744073709551615 5000337 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 232849 219675 398 719 0 232128 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 931396 [startup+702.3 s] ################ # More data... # ################ /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 331053 0 0 0 102515 3715 0 0 25 0 1 0 132524772 1400270848 327510 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 341863 327510 398 719 0 341142 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1367452 [startup+1122.3 s] /proc/loadavg: 2.00 2.06 2.19 3/197 13709 /proc/meminfo: memFree=29601812/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1431836 CPUtime=1122.31 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 347221 0 0 0 108172 4059 0 0 25 0 1 0 132524772 1466200064 343678 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 357959 343678 398 719 0 357238 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1431836 [startup+1182.3 s] /proc/loadavg: 2.00 2.05 2.18 3/197 13711 /proc/meminfo: memFree=29524640/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1505440 CPUtime=1182.31 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 365523 0 0 0 113881 4350 0 0 25 0 1 0 132524772 1541570560 361980 4089446400 4194304 7136930 140736470660496 18446744073709551615 5950832 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 376360 361980 398 719 0 375639 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1505440 [startup+1242.3 s] /proc/loadavg: 2.00 2.04 2.17 3/197 13713 /proc/meminfo: memFree=29466684/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1553480 CPUtime=1242.31 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 377714 0 0 0 119613 4618 0 0 25 0 1 0 132524772 1590763520 374171 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 388370 374171 398 719 0 387649 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1553480 [startup+1302.3 s] /proc/loadavg: 2.04 2.04 2.16 3/197 13714 /proc/meminfo: memFree=29406376/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1606824 CPUtime=1302.31 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 391236 0 0 0 125352 4879 0 0 25 0 1 0 132524772 1645387776 387693 4089446400 4194304 7136930 140736470660496 18446744073709551615 4431706 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 401706 387693 398 719 0 400985 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 1606824 [startup+1362.3 s] /proc/loadavg: 2.01 2.03 2.15 3/197 13715 /proc/meminfo: memFree=29345080/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1665884 CPUtime=1362.31 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 405981 0 0 0 131083 5148 0 0 25 0 1 0 132524772 1705865216 402438 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 416471 402438 398 719 0 415750 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1665884 [startup+1422.3 s] /proc/loadavg: 2.00 2.02 2.14 3/197 13726 /proc/meminfo: memFree=29235272/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1783868 CPUtime=1422.32 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 431647 0 0 0 136604 5628 0 0 25 0 1 0 132524772 1826680832 428104 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 445967 428104 398 719 0 445246 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1783868 [startup+1482.3 s] /proc/loadavg: 2.04 2.03 2.13 3/197 13728 /proc/meminfo: memFree=29192080/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1826436 CPUtime=1482.31 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 442422 0 0 0 142292 5939 0 0 25 0 1 0 132524772 1870270464 438879 4089446400 4194304 7136930 140736470660496 18446744073709551615 4979010 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 456609 438879 398 719 0 455888 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1826436 [startup+1542.31 s] /proc/loadavg: 2.01 2.02 2.12 3/197 13730 /proc/meminfo: memFree=29178264/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1840152 CPUtime=1542.32 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 445854 0 0 0 148111 6121 0 0 25 0 1 0 132524772 1884315648 442311 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 460038 442311 398 719 0 459317 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1840152 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.11 3/197 13731 /proc/meminfo: memFree=29173896/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1844424 CPUtime=1602.32 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 446850 0 0 0 153941 6291 0 0 25 0 1 0 132524772 1888690176 443307 4089446400 4194304 7136930 140736470660496 18446744073709551615 4923493 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 461106 443307 398 719 0 460385 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1844424 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.09 3/197 13732 /proc/meminfo: memFree=29172864/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1845448 CPUtime=1662.31 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 447111 0 0 0 159782 6449 0 0 25 0 1 0 132524772 1889738752 443568 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 461362 443568 398 719 0 460641 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 1845448 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.09 3/197 13734 /proc/meminfo: memFree=29172468/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1845892 CPUtime=1722.32 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 447222 0 0 0 165623 6609 0 0 25 0 1 0 132524772 1890193408 443679 4089446400 4194304 7136930 140736470660496 18446744073709551615 5000303 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 461473 443679 398 719 0 460752 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 1845892 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.08 3/197 13736 /proc/meminfo: memFree=29160724/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1855104 CPUtime=1782.32 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 449448 0 0 0 171250 6982 0 0 25 0 1 0 132524772 1899626496 445905 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 463776 445905 398 719 0 463055 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 1855104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.08 3/197 13736 /proc/meminfo: memFree=29147540/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1867540 CPUtime=1800.03 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 452492 0 0 0 172923 7080 0 0 25 0 1 0 132524772 1912360960 448949 4089446400 4194304 7136930 140736470660496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13611/statm: 466885 448949 398 719 0 466164 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1867540 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13611 Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.00 2.00 2.08 3/198 13737 /proc/meminfo: memFree=29147408/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1867540 CPUtime=1800.73 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 452505 0 0 0 172993 7080 0 0 25 0 1 0 132524772 1912360960 448962 4089446400 4194304 7136930 140736470660496 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13611/statm: 466885 448962 403 719 0 466164 0 Current children cumulated CPU time (s) 1800.73 Current children cumulated vsize (KiB) 1867540 [startup+1801.5 s] /proc/loadavg: 2.00 2.00 2.08 3/198 13737 /proc/meminfo: memFree=29147408/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1866516 CPUtime=1801.52 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 452505 0 0 0 173072 7080 0 0 25 0 1 0 132524772 1911312384 448707 4089446400 4194304 7136930 140736470660496 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13611/statm: 466629 448707 403 719 0 465908 0 Current children cumulated CPU time (s) 1801.52 Current children cumulated vsize (KiB) 1866516 [startup+1801.91 s] /proc/loadavg: 2.00 2.00 2.08 3/198 13737 /proc/meminfo: memFree=29148772/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1865488 CPUtime=1801.93 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 452505 0 0 0 173113 7080 0 0 25 0 1 0 132524772 1910259712 448450 4089446400 4194304 7136930 140736470660496 18446744073709551615 4212411 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13611/statm: 466372 448450 403 719 0 465651 0 Current children cumulated CPU time (s) 1801.93 Current children cumulated vsize (KiB) 1865488 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.08 3/198 13737 /proc/meminfo: memFree=29148772/32951124 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=1864464 CPUtime=1802.02 /proc/13611/stat : 13611 (pbscip.linux.x8) R 13609 13611 12083 0 -1 4202496 452505 0 0 0 173122 7080 0 0 25 0 1 0 132524772 1909211136 448194 4089446400 4194304 7136930 140736470660496 18446744073709551615 6165617 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13611/statm: 466116 448194 403 719 0 465395 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 1864464 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.1 CPU user time (s): 1731.23 CPU system time (s): 70.8642 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1867540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1731.23 system time used= 70.8642 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 452505 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= 13813 runsolver used 3.13952 second user time and 6.26905 second system time The end
Begin job on node137 at 2010-06-30 17:38:13 IDJOB=2693590 IDBENCH=78995 IDSOLVER=1206 FILE ID=node137/2693590-1277912293 PBS_JOBID= 11197239 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693590-1277912293/watcher-2693590-1277912293 -o /tmp/evaluation-result-2693590-1277912293/solver-2693590-1277912293 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693590-1277912293.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 05d9157cdbd186fca72e4e6dc0ec425d RANDOM SEED=1409853486 node137.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 : 5332.75 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.74 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.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.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.83 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.74 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31023492 kB Buffers: 198316 kB Cached: 1259568 kB SwapCached: 0 kB Active: 869756 kB Inactive: 915280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31023492 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3160 kB Writeback: 0 kB AnonPages: 327060 kB Mapped: 20344 kB Slab: 79964 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1658152 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 node137 at 2010-06-30 18:08:15