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.17 | 1802.18 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-66-100-0.wbo |
| MD5SUM | e60bec5d313c91289af640357d00991f |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 302.619 |
| 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 | 904 |
| 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 | 44120 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 44119 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 697 |
| 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-2694101-1277905410.wbo>
0.00/0.02 c original problem has 2039 variables (1135 bin, 0 int, 0 impl, 904 cont) and 3612 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.00/0.07 c (round 2) 0 del vars, 115 del conss, 904 chg bounds, 43 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.00/0.09 c (round 3) 43 del vars, 285 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.09/0.10 c (round 4) 115 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs
0.09/0.11 c (round 5) 144 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs
0.09/0.15 c (0.1s) probing: 101/1063 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 144 deleted vars, 314 deleted constraints, 933 tightened bounds, 0 added holes, 170 changed sides, 0 changed coefficients
0.09/0.15 c 1114 implications, 18 cliques
0.09/0.15 c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3298 constraints
0.09/0.15 c 832 constraints of type <indicator>
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 18 constraints of type <setppc>
0.09/0.15 c 832 constraints of type <linear>
0.09/0.15 c 1615 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.10
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.16 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.16 c 0.1s| 1 | 2 | 0 | - |7460k| 0 | - |1895 |3298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.05 o 475
0.99/1.05 c * 0.9s| 3988 | 3497 | 0 | 0.0 | 10M|1017 | - |1895 |3831 | 0 | 0 | 0 | 780 | 0 | 0.000000e+00 | 4.750000e+02 | Inf
0.99/1.08 o 466
0.99/1.08 c * 0.9s| 4099 | 3602 | 0 | 0.0 | 10M|1017 | - |1895 |3836 | 0 | 0 | 0 | 789 | 0 | 0.000000e+00 | 4.660000e+02 | Inf
0.99/1.08 o 409
0.99/1.08 c * 0.9s| 4100 | 3527 | 0 | 0.0 | 10M|1017 | - |1895 |3836 | 0 | 0 | 0 | 789 | 0 | 0.000000e+00 | 4.090000e+02 | Inf
1.09/1.18 o 377
1.09/1.18 c * 1.0s| 4545 | 3914 | 0 | 0.0 | 10M|1017 | - |1895 |3849 | 0 | 0 | 0 | 824 | 0 | 0.000000e+00 | 3.770000e+02 | Inf
1.09/1.19 o 345
1.09/1.19 c * 1.0s| 4546 | 3884 | 0 | 0.0 | 10M|1017 | - |1895 |3849 | 0 | 0 | 0 | 824 | 0 | 0.000000e+00 | 3.450000e+02 | Inf
2.48/2.52 c 2.2s| 10000 | 8500 | 0 | 0.0 | 14M|1017 | - |1895 |4365 | 0 | 0 | 0 |2642 | 0 | 0.000000e+00 | 3.450000e+02 | Inf
5.29/5.39 c 4.8s| 20000 | 16080 | 0 | 0.0 | 21M|1017 | - |1895 |5047 | 0 | 0 | 0 |7664 | 0 | 0.000000e+00 | 3.450000e+02 | Inf
8.79/8.90 o 236
8.79/8.90 c * 8.0s| 28219 | 20198 | 0 | 0.0 | 27M|1017 | - |1895 |6919 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 2.360000e+02 | Inf
8.99/9.06 o 209
8.99/9.06 c * 8.1s| 28808 | 20750 | 0 | 0.0 | 28M|1017 | - |1895 |6683 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 2.090000e+02 | Inf
9.29/9.32 o 183
9.29/9.32 c * 8.4s| 29678 | 21549 | 0 | 0.0 | 28M|1017 | - |1895 |6212 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.830000e+02 | Inf
9.29/9.32 o 180
9.29/9.32 c * 8.4s| 29679 | 21444 | 0 | 0.0 | 28M|1017 | - |1895 |6212 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
9.29/9.36 o 165
9.29/9.36 c * 8.4s| 29810 | 21543 | 0 | 0.0 | 28M|1017 | - |1895 |6099 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
9.39/9.42 c 8.4s| 30000 | 21721 | 0 | 0.0 | 28M|1017 | - |1895 |6001 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
9.49/9.59 o 160
9.49/9.59 c * 8.6s| 30595 | 22269 | 0 | 0.0 | 28M|1017 | - |1895 |5841 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
9.69/9.72 o 123
9.69/9.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.69/9.72 c * 8.7s| 31017 | 22555 | 0 | 0.0 | 28M|1017 | - |1895 |5588 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.230000e+02 | Inf
10.39/10.41 o 107
10.39/10.41 c * 9.4s| 33097 | 24386 | 0 | 0.0 | 30M|1017 | - |1895 |4976 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
10.39/10.48 o 104
10.39/10.48 c * 9.4s| 33304 | 24560 | 0 | 0.0 | 31M|1017 | - |1895 |4934 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
11.28/11.34 o 90
11.28/11.34 c *10.2s| 36099 | 26621 | 0 | 0.0 | 33M|1017 | - |1895 |4764 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
12.38/12.47 c 11.2s| 40000 | 29795 | 0 | 0.0 | 36M|1017 | - |1895 |5155 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
12.38/12.49 o 77
12.38/12.49 c *11.3s| 40074 | 28925 | 0 | 0.0 | 34M|1017 | - |1895 |5160 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
15.28/15.35 c 13.8s| 50000 | 36604 | 0 | 0.0 | 41M|1017 | - |1895 |5916 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
18.38/18.49 c 16.7s| 60000 | 43933 | 0 | 0.0 | 48M|1017 | - |1895 |6339 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
21.99/22.03 c 19.9s| 70000 | 50698 | 0 | 0.0 | 55M|1017 | - |1895 |6668 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
25.69/25.73 c 23.3s| 80000 | 57247 | 0 | 0.0 | 62M|1017 | - |1895 |7372 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
29.79/29.81 c 27.1s| 90000 | 63253 | 0 | 0.0 | 69M|1017 | - |1895 |7806 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
34.20/34.21 c 31.2s|100000 | 68917 | 0 | 0.0 | 76M|1017 | - |1895 |8561 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
38.79/38.87 c 35.5s|110000 | 74345 | 0 | 0.0 | 84M|1017 | - |1895 |9111 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
43.59/43.63 c 40.0s|120000 | 79611 | 0 | 0.0 | 91M|1017 | - |1895 |9239 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
48.59/48.68 c 44.6s|130000 | 84638 | 0 | 0.0 | 98M|1017 | - |1895 | 10k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
54.09/54.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.09/54.10 c 49.7s|140000 | 89222 | 0 | 0.0 | 106M|1017 | - |1895 | 10k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
59.99/60.02 c 55.3s|150000 | 93329 | 0 | 0.0 | 113M|1017 | - |1895 | 11k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
67.59/67.66 c 62.5s|160000 | 95777 | 0 | 0.0 | 120M|1017 | - |1895 | 14k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
73.19/73.26 o 68
73.19/73.26 c *67.8s|168093 | 99309 | 0 | 0.0 | 123M|1017 | - |1895 |6583 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
73.89/73.97 c 68.5s|170000 |100971 | 0 | 0.0 | 124M|1017 | - |1895 |4701 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
74.59/74.69 o 66
74.59/74.69 c *69.2s|172172 |102807 | 0 | 0.0 | 126M|1017 | - |1895 |4613 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
74.89/74.97 o 64
74.89/74.97 c *69.4s|172956 |103462 | 0 | 0.0 | 127M|1017 | - |1895 |4425 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
76.38/76.41 o 53
76.38/76.41 c *70.7s|177064 |106617 | 0 | 0.0 | 129M|1017 | - |1895 |4171 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
77.39/77.45 c 71.6s|180000 |109050 | 0 | 0.0 | 131M|1017 | - |1895 |4219 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
78.79/78.89 o 52
78.79/78.89 c *73.0s|184030 |112315 | 0 | 0.0 | 135M|1017 | - |1895 |4284 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
78.89/78.99 o 50
78.89/78.99 c *73.0s|184315 |112513 | 0 | 0.0 | 135M|1017 | - |1895 |4279 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
80.79/80.82 o 41
80.79/80.82 c *74.7s|189410 |116298 | 0 | 0.0 | 137M|1017 | - |1895 |4325 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
80.99/81.03 c 74.9s|190000 |116765 | 0 | 0.0 | 138M|1017 | - |1895 |4317 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
81.29/81.31 o 38
81.29/81.31 c *75.1s|190730 |117262 | 0 | 0.0 | 138M|1017 | - |1895 |4327 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
84.79/84.83 c 78.3s|200000 |124271 | 0 | 0.0 | 146M|1017 | - |1895 |5107 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
85.38/85.41 o 18
85.38/85.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.38/85.41 c *78.9s|201465 |124475 | 0 | 0.0 | 144M|1017 | - |1895 |5130 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
89.59/89.61 c 82.7s|210000 |129662 | 0 | 0.0 | 152M|1017 | - |1895 |6636 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
90.49/90.59 o 15
90.49/90.59 c *83.7s|211431 |130136 | 0 | 0.0 | 153M|1017 | - |1895 |7138 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
94.18/94.26 c 87.0s|220000 |135677 | 0 | 0.0 | 158M|1017 | - |1895 |5274 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
98.19/98.21 c 90.6s|230000 |142378 | 0 | 0.0 | 165M|1017 | - |1895 |5313 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
101.89/101.97 c 94.0s|240000 |149199 | 0 | 0.0 | 172M|1017 | - |1895 |6292 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
105.29/105.38 c 97.1s|250000 |156472 | 0 | 0.0 | 178M|1017 | - |1895 |7240 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
108.78/108.83 c 100s|260000 |163679 | 0 | 0.0 | 184M|1017 | - |1895 |6566 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
112.29/112.32 c 103s|270000 |170767 | 0 | 0.0 | 191M|1017 | - |1895 |6425 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
115.88/115.95 c 107s|280000 |178020 | 0 | 0.0 | 197M|1017 | - |1895 |4351 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
120.08/120.14 c 110s|290000 |183971 | 0 | 0.0 | 205M|1017 | - |1895 |5168 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
124.48/124.53 c 114s|300000 |189526 | 0 | 0.0 | 212M|1017 | - |1895 |5905 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
129.09/129.18 c 119s|310000 |194775 | 0 | 0.0 | 219M|1017 | - |1895 |6224 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
133.89/133.91 c 123s|320000 |199886 | 0 | 0.0 | 226M|1017 | - |1895 |6150 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
138.78/138.85 c 128s|330000 |204694 | 0 | 0.0 | 233M|1017 | - |1895 |6595 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
143.99/144.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.99/144.01 c 133s|340000 |209263 | 0 | 0.0 | 240M|1017 | - |1895 |7265 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
149.28/149.35 c 138s|350000 |213567 | 0 | 0.0 | 248M|1017 | - |1895 |7717 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
154.78/154.88 c 143s|360000 |217771 | 0 | 0.0 | 255M|1017 | - |1895 |8005 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
160.59/160.67 c 148s|370000 |221573 | 0 | 0.0 | 262M|1017 | - |1895 |8335 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
166.48/166.59 c 154s|380000 |225294 | 0 | 0.0 | 269M|1017 | - |1895 |8791 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
172.58/172.69 c 159s|390000 |228828 | 0 | 0.0 | 275M|1017 | - |1895 |9135 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
178.68/178.75 c 165s|400000 |232421 | 0 | 0.0 | 282M|1017 | - |1895 |9517 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
184.89/184.93 c 171s|410000 |235938 | 0 | 0.0 | 288M|1017 | - |1895 |9576 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
191.49/191.57 c 177s|420000 |238993 | 0 | 0.0 | 294M|1017 | - |1895 |9946 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
197.99/198.09 c 183s|430000 |242145 | 0 | 0.0 | 301M|1017 | - |1895 | 10k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
204.48/204.59 c 189s|440000 |245330 | 0 | 0.0 | 307M|1017 | - |1895 |9598 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
211.19/211.28 c 195s|450000 |248267 | 0 | 0.0 | 313M|1017 | - |1895 |9747 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
217.79/217.82 c 202s|460000 |251496 | 0 | 0.0 | 319M|1017 | - |1895 |9717 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
224.49/224.56 c 208s|470000 |254454 | 0 | 0.0 | 324M|1017 | - |1895 |9734 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
231.39/231.40 c 214s|480000 |257237 | 0 | 0.0 | 330M|1017 | - |1895 |9746 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
238.29/238.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.29/238.39 c 221s|490000 |259856 | 0 | 0.0 | 336M|1017 | - |1895 | 10k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
245.69/245.73 c 228s|500000 |262193 | 0 | 0.0 | 341M|1017 | - |1895 | 11k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
253.18/253.26 c 235s|510000 |264520 | 0 | 0.0 | 347M|1017 | - |1895 | 11k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
261.18/261.22 c 242s|520000 |266578 | 0 | 0.0 | 352M|1017 | - |1895 | 10k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
269.59/269.61 c 250s|530000 |267984 | 0 | 0.0 | 357M|1017 | - |1895 | 12k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
278.48/278.56 c 259s|540000 |269207 | 0 | 0.0 | 362M|1017 | - |1895 | 11k| 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
288.07/288.18 c 268s|550000 |269812 | 0 | 0.0 | 367M|1017 | - |1895 | 12k| 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
297.97/298.03 c 277s|560000 |266900 | 0 | 0.0 | 368M|1017 | - |1895 | 11k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
305.89/305.98 c 285s|570000 |263337 | 0 | 0.0 | 361M|1017 | - |1895 |6822 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
309.48/309.57 c 288s|580000 |271160 | 0 | 0.0 | 371M|1017 | - |1895 |5167 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
310.98/311.00 o 5
310.98/311.00 c * 289s|583878 |272902 | 0 | 0.0 | 373M|1017 | - |1895 |5054 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
313.38/313.41 c 292s|590000 |277412 | 0 | 0.0 | 385M|1017 | - |1895 |5539 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
317.37/317.49 c 295s|600000 |284624 | 0 | 0.0 | 408M|1017 | - |1895 |6098 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
321.77/321.88 c 299s|610000 |291640 | 0 | 0.0 | 435M|1017 | - |1895 |6501 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
326.38/326.45 c 304s|620000 |298438 | 0 | 0.0 | 461M|1017 | - |1895 |6810 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
331.28/331.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.28/331.34 c 308s|630000 |304954 | 0 | 0.0 | 489M|1017 | - |1895 |6929 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
336.28/336.31 c 313s|640000 |311446 | 0 | 0.0 | 520M|1017 | - |1895 |7412 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
341.47/341.58 c 318s|650000 |317648 | 0 | 0.0 | 551M|1017 | - |1895 |7675 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
346.77/346.86 c 323s|660000 |323897 | 0 | 0.0 | 583M|1017 | - |1895 |7785 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
352.37/352.41 c 328s|670000 |329817 | 0 | 0.0 | 615M|1017 | - |1895 |7702 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
358.68/358.77 c 334s|680000 |335369 | 0 | 0.0 | 648M|1017 | - |1895 |8248 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
364.57/364.62 c 339s|690000 |341101 | 0 | 0.0 | 681M|1017 | - |1895 |8742 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
370.56/370.63 c 345s|700000 |346705 | 0 | 0.0 | 713M|1017 | - |1895 |8432 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
376.76/376.81 c 350s|710000 |352065 | 0 | 0.0 | 744M|1017 | - |1895 |8089 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
383.26/383.30 c 356s|720000 |357023 | 0 | 0.0 | 773M|1017 | - |1895 |9127 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
390.06/390.10 c 363s|730000 |361816 | 0 | 0.0 | 803M|1017 | - |1895 |9190 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
396.77/396.80 c 369s|740000 |366758 | 0 | 0.0 | 830M|1017 | - |1895 |9542 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
402.97/403.02 c 375s|750000 |371520 | 0 | 0.0 | 843M|1017 | - |1895 |4388 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
408.17/408.29 c 379s|760000 |375612 | 0 | 0.0 | 849M|1017 | - |1895 |5765 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
413.27/413.31 c 384s|770000 |380108 | 0 | 0.0 | 855M|1017 | - |1895 |6105 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
418.66/418.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.66/418.74 c 389s|780000 |383922 | 0 | 0.0 | 861M|1017 | - |1895 |6383 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
424.16/424.28 c 394s|790000 |387609 | 0 | 0.0 | 866M|1017 | - |1895 |6980 | 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
430.07/430.12 c 400s|800000 |390982 | 0 | 0.0 | 872M|1017 | - |1895 |6955 | 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
433.56/433.62 o 4
433.56/433.62 c * 403s|805498 |390207 | 0 | 0.0 | 869M|1017 | - |1895 |7404 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
436.67/436.77 c 406s|810000 |391248 | 0 | 0.0 | 872M|1017 | - |1895 |7972 | 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
444.57/444.69 c 413s|820000 |391962 | 0 | 0.0 | 876M|1017 | - |1895 |9437 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
449.06/449.15 c 417s|830000 |397740 | 0 | 0.0 | 880M|1017 | - |1895 |4547 | 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
452.57/452.68 c 420s|840000 |404571 | 0 | 0.0 | 886M|1017 | - |1895 |5302 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
456.47/456.59 c 424s|850000 |410923 | 0 | 0.0 | 893M|1017 | - |1895 |5891 | 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
460.87/460.92 c 428s|860000 |416578 | 0 | 0.0 | 900M|1017 | - |1895 |6688 | 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
466.06/466.15 c 432s|870000 |421017 | 0 | 0.0 | 907M|1017 | - |1895 |7348 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
472.26/472.34 c 438s|880000 |424183 | 0 | 0.0 | 914M|1017 | - |1895 |9174 | 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
478.17/478.22 c 443s|890000 |428050 | 0 | 0.0 | 917M|1017 | - |1895 |4842 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
481.46/481.57 c 446s|900000 |435195 | 0 | 0.0 | 924M|1017 | - |1895 |5161 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
485.17/485.25 c 450s|910000 |441737 | 0 | 0.0 | 931M|1017 | - |1895 |5724 | 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
489.26/489.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
489.26/489.37 c 454s|920000 |447585 | 0 | 0.0 | 938M|1017 | - |1895 |6374 | 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
493.97/494.00 c 458s|930000 |452701 | 0 | 0.0 | 945M|1017 | - |1895 |7140 | 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
499.37/499.41 c 463s|940000 |456687 | 0 | 0.0 | 951M|1017 | - |1895 |7843 | 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
506.36/506.43 c 469s|950000 |458482 | 0 | 0.0 | 956M|1017 | - |1895 | 10k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
509.66/509.77 c 472s|960000 |465854 | 0 | 0.0 | 961M|1017 | - |1895 |5050 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
513.16/513.21 c 475s|970000 |472792 | 0 | 0.0 | 967M|1017 | - |1895 |5392 | 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
516.97/517.05 c 479s|980000 |479088 | 0 | 0.0 | 974M|1017 | - |1895 |6010 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
521.27/521.33 c 483s|990000 |484739 | 0 | 0.0 | 981M|1017 | - |1895 |6861 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
526.27/526.38 c 487s| 1000k|489360 | 0 | 0.0 | 988M|1017 | - |1895 |7723 | 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
532.37/532.41 c 493s| 1010k|492599 | 0 | 0.0 | 994M|1017 | - |1895 |9065 | 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
537.97/538.07 c 498s| 1020k|496598 | 0 | 0.0 | 998M|1017 | - |1895 |5296 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
541.06/541.13 c 501s| 1030k|504214 | 0 | 0.0 |1004M|1017 | - |1895 |5240 | 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
544.27/544.33 c 504s| 1040k|511498 | 0 | 0.0 |1010M|1017 | - |1895 |5720 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
547.77/547.83 c 507s| 1050k|518374 | 0 | 0.0 |1016M|1017 | - |1895 |6211 | 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
552.27/552.33 c 511s| 1060k|523685 | 0 | 0.0 |1023M|1017 | - |1895 |7118 | 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
557.67/557.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.67/557.74 c 516s| 1070k|527733 | 0 | 0.0 |1030M|1017 | - |1895 |8118 | 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
563.96/564.04 c 522s| 1080k|530760 | 0 | 0.0 |1035M|1017 | - |1895 |7111 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
567.76/567.84 c 525s| 1090k|537187 | 0 | 0.0 |1040M|1017 | - |1895 |5158 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
571.27/571.37 c 528s| 1100k|543979 | 0 | 0.0 |1046M|1017 | - |1895 |5309 | 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
575.16/575.21 c 532s| 1110k|550240 | 0 | 0.0 |1052M|1017 | - |1895 |6017 | 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
579.67/579.76 c 536s| 1120k|555423 | 0 | 0.0 |1059M|1017 | - |1895 |6812 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
585.27/585.34 c 541s| 1130k|559177 | 0 | 0.0 |1065M|1017 | - |1895 |8614 | 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
591.17/591.28 c 547s| 1140k|563113 | 0 | 0.0 |1069M|1017 | - |1895 |4055 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
594.27/594.35 c 549s| 1150k|570746 | 0 | 0.0 |1075M|1017 | - |1895 |4748 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
598.37/598.40 c 553s| 1160k|576846 | 0 | 0.0 |1081M|1017 | - |1895 |4917 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
601.87/601.98 c 556s| 1170k|583394 | 0 | 0.0 |1088M|1017 | - |1895 |5615 | 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
605.16/605.21 c 559s| 1180k|590598 | 0 | 0.0 |1094M|1017 | - |1895 |4929 | 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
608.27/608.33 c 562s| 1190k|598150 | 0 | 0.0 |1099M|1017 | - |1895 |3828 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
611.57/611.63 c 565s| 1200k|605193 | 0 | 0.0 |1106M|1017 | - |1895 |5098 | 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
615.37/615.42 c 568s| 1210k|611508 | 0 | 0.0 |1112M|1017 | - |1895 |4157 | 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
618.87/618.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.87/618.90 c 572s| 1220k|618190 | 0 | 0.0 |1118M|1017 | - |1895 |3804 | 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
621.97/622.08 c 575s| 1230k|625480 | 0 | 0.0 |1124M|1017 | - |1895 |4324 | 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
628.07/628.13 c 580s| 1240k|628394 | 0 | 0.0 |1131M|1017 | - |1895 |6426 | 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
634.57/634.61 c 586s| 1250k|631189 | 0 | 0.0 |1137M|1017 | - |1895 |7811 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
641.67/641.77 c 593s| 1260k|633343 | 0 | 0.0 |1143M|1017 | - |1895 |8656 | 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
649.47/649.50 c 600s| 1270k|634896 | 0 | 0.0 |1147M|1017 | - |1895 |7260 | 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
657.36/657.46 c 608s| 1280k|636043 | 0 | 0.0 |1152M|1017 | - |1895 |8133 | 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
665.57/665.66 c 615s| 1290k|637068 | 0 | 0.0 |1157M|1017 | - |1895 |8055 | 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
673.87/673.93 c 623s| 1300k|637998 | 0 | 0.0 |1161M|1017 | - |1895 |8072 | 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
681.97/682.05 c 631s| 1310k|639414 | 0 | 0.0 |1167M|1017 | - |1895 |7983 | 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
690.66/690.79 c 639s| 1320k|639727 | 0 | 0.0 |1172M|1017 | - |1895 | 10k| 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
699.67/699.77 c 648s| 1330k|640005 | 0 | 0.0 |1175M|1017 | - |1895 |9970 | 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
708.47/708.53 c 656s| 1340k|640627 | 0 | 0.0 |1178M|1017 | - |1895 |9473 | 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
716.97/717.01 c 664s| 1350k|642086 | 0 | 0.0 |1183M|1017 | - |1895 |9038 | 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
726.07/726.12 c 673s| 1360k|642254 | 0 | 0.0 |1186M|1017 | - |1895 | 11k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
735.47/735.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.47/735.57 c 682s| 1370k|642226 | 0 | 0.0 |1189M|1017 | - |1895 | 10k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
744.17/744.23 c 690s| 1380k|643912 | 0 | 0.0 |1194M|1017 | - |1895 |8772 | 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
753.87/753.95 c 699s| 1390k|643781 | 0 | 0.0 |1197M|1017 | - |1895 | 12k| 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
763.66/763.76 c 708s| 1400k|643702 | 0 | 0.0 |1199M|1017 | - |1895 | 12k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
772.97/773.09 c 717s| 1410k|644558 | 0 | 0.0 |1202M|1017 | - |1895 | 10k| 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
782.17/782.28 c 726s| 1420k|645657 | 0 | 0.0 |1207M|1017 | - |1895 | 12k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
791.97/792.01 c 735s| 1430k|645787 | 0 | 0.0 |1209M|1017 | - |1895 | 13k| 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
801.76/801.87 c 745s| 1440k|645860 | 0 | 0.0 |1210M|1017 | - |1895 | 13k| 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
812.27/812.39 c 755s| 1450k|645370 | 0 | 0.0 |1213M|1017 | - |1895 | 13k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
823.07/823.10 c 765s| 1460k|644697 | 0 | 0.0 |1215M|1017 | - |1895 | 14k| 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
834.77/834.84 c 776s| 1470k|643106 | 0 | 0.0 |1217M|1017 | - |1895 | 15k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
846.47/846.56 c 787s| 1480k|641565 | 0 | 0.0 |1218M|1017 | - |1895 | 15k| 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
858.17/858.29 c 798s| 1490k|639549 | 0 | 0.0 |1218M|1017 | - |1895 | 15k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
870.97/871.04 c 811s| 1500k|635885 | 0 | 0.0 |1215M|1017 | - |1895 | 15k| 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
884.86/884.96 c 824s| 1510k|631195 | 0 | 0.0 |1210M|1017 | - |1895 | 16k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
900.37/900.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
900.37/900.42 c 839s| 1520k|623032 | 0 | 0.0 |1197M|1017 | - |1895 | 15k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
915.47/915.51 c 853s| 1530k|614296 | 0 | 0.0 |1173M|1017 | - |1895 |8368 | 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
919.57/919.65 c 857s| 1540k|620967 | 0 | 0.0 |1178M|1017 | - |1895 |4937 | 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
923.17/923.27 c 860s| 1550k|627999 | 0 | 0.0 |1184M|1017 | - |1895 |4660 | 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
927.07/927.15 c 864s| 1560k|634575 | 0 | 0.0 |1191M|1017 | - |1895 |4588 | 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
930.97/931.08 c 867s| 1570k|641024 | 0 | 0.0 |1197M|1017 | - |1895 |4766 | 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
935.08/935.16 c 871s| 1580k|647376 | 0 | 0.0 |1203M|1017 | - |1895 |4803 | 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
938.87/938.95 c 874s| 1590k|654121 | 0 | 0.0 |1209M|1017 | - |1895 |4575 | 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
942.78/942.86 c 878s| 1600k|660529 | 0 | 0.0 |1215M|1017 | - |1895 |5325 | 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
947.07/947.16 c 882s| 1610k|666412 | 0 | 0.0 |1221M|1017 | - |1895 |5894 | 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
951.37/951.45 c 886s| 1620k|672456 | 0 | 0.0 |1227M|1017 | - |1895 |5108 | 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
955.88/955.90 c 890s| 1630k|678162 | 0 | 0.0 |1234M|1017 | - |1895 |5830 | 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
960.27/960.39 c 894s| 1640k|683805 | 0 | 0.0 |1240M|1017 | - |1895 |6007 | 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
964.68/964.70 c 898s| 1650k|689772 | 0 | 0.0 |1246M|1017 | - |1895 |5694 | 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
969.37/969.45 c 902s| 1660k|695015 | 0 | 0.0 |1253M|1017 | - |1895 |6436 | 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
973.78/973.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.78/973.87 c 906s| 1670k|700944 | 0 | 0.0 |1258M|1017 | - |1895 |5158 | 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
978.77/978.88 c 911s| 1680k|705783 | 0 | 0.0 |1265M|1017 | - |1895 |6642 | 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
983.27/983.34 c 915s| 1690k|711629 | 0 | 0.0 |1271M|1017 | - |1895 |5178 | 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
983.27/983.38 o 3
983.27/983.38 c * 915s| 1690k|700415 | 0 | 0.0 |1262M|1017 | - |1895 |5182 | 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
988.37/988.49 c 919s| 1700k|705042 | 0 | 0.0 |1268M|1017 | - |1895 |6876 | 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
992.97/993.08 c 924s| 1710k|710747 | 0 | 0.0 |1274M|1017 | - |1895 |5484 | 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
998.37/998.42 c 928s| 1720k|715119 | 0 | 0.0 |1280M|1017 | - |1895 |6894 | 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1002.77/1002.83 c 932s| 1730k|720938 | 0 | 0.0 |1286M|1017 | - |1895 |6240 | 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1007.98/1008.08 c 937s| 1740k|725460 | 0 | 0.0 |1292M|1017 | - |1895 |7177 | 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1012.97/1013.05 c 942s| 1750k|730632 | 0 | 0.0 |1298M|1017 | - |1895 |6800 | 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1018.38/1018.45 c 947s| 1760k|735070 | 0 | 0.0 |1304M|1017 | - |1895 |6856 | 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1024.08/1024.15 c 952s| 1770k|739255 | 0 | 0.0 |1311M|1017 | - |1895 |7142 | 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1028.87/1028.96 c 956s| 1780k|744672 | 0 | 0.0 |1317M|1017 | - |1895 |5733 | 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1034.97/1035.01 c 962s| 1790k|748130 | 0 | 0.0 |1323M|1017 | - |1895 |7259 | 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1040.37/1040.41 c 967s| 1800k|752887 | 0 | 0.0 |1329M|1017 | - |1895 |6347 | 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1046.47/1046.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.47/1046.59 c 973s| 1810k|756235 | 0 | 0.0 |1334M|1017 | - |1895 |7843 | 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1052.17/1052.20 c 978s| 1820k|760637 | 0 | 0.0 |1341M|1017 | - |1895 |7614 | 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1058.47/1058.51 c 984s| 1830k|763947 | 0 | 0.0 |1345M|1017 | - |1895 |8040 | 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1064.57/1064.68 c 989s| 1840k|767765 | 0 | 0.0 |1352M|1017 | - |1895 |7583 | 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1070.57/1070.68 c 995s| 1850k|771398 | 0 | 0.0 |1357M|1017 | - |1895 |7597 | 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1076.87/1076.96 c 1001s| 1860k|774898 | 0 | 0.0 |1363M|1017 | - |1895 |7995 | 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1082.57/1082.62 c 1006s| 1870k|779345 | 0 | 0.0 |1370M|1017 | - |1895 |6418 | 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1089.37/1089.42 c 1012s| 1880k|781914 | 0 | 0.0 |1374M|1017 | - |1895 |8134 | 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1095.38/1095.43 c 1018s| 1890k|785878 | 0 | 0.0 |1381M|1017 | - |1895 |7311 | 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1102.28/1102.34 c 1024s| 1900k|788404 | 0 | 0.0 |1385M|1017 | - |1895 |8451 | 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1108.47/1108.56 c 1030s| 1910k|792201 | 0 | 0.0 |1392M|1017 | - |1895 |7381 | 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1115.27/1115.30 c 1036s| 1920k|795014 | 0 | 0.0 |1395M|1017 | - |1895 |8510 | 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1121.87/1121.91 c 1042s| 1930k|798392 | 0 | 0.0 |1401M|1017 | - |1895 |7909 | 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1127.77/1127.88 c 1048s| 1940k|802404 | 0 | 0.0 |1407M|1017 | - |1895 |7089 | 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1135.38/1135.46 c 1055s| 1950k|804268 | 0 | 0.0 |1410M|1017 | - |1895 |8450 | 0 | 0 | 0 |1804k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1141.57/1141.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1141.57/1141.60 c 1061s| 1960k|808200 | 0 | 0.0 |1417M|1017 | - |1895 |7525 | 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1148.87/1148.97 c 1067s| 1970k|810377 | 0 | 0.0 |1419M|1017 | - |1895 |8957 | 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1155.57/1155.61 c 1074s| 1980k|813747 | 0 | 0.0 |1426M|1017 | - |1895 |7818 | 0 | 0 | 0 |1835k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1163.07/1163.10 c 1081s| 1990k|815861 | 0 | 0.0 |1428M|1017 | - |1895 |8889 | 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1169.78/1169.87 c 1087s| 2000k|819010 | 0 | 0.0 |1434M|1017 | - |1895 |7832 | 0 | 0 | 0 |1858k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1177.27/1177.35 c 1094s| 2010k|821165 | 0 | 0.0 |1436M|1017 | - |1895 |9238 | 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1184.28/1184.39 c 1100s| 2020k|824161 | 0 | 0.0 |1442M|1017 | - |1895 |7767 | 0 | 0 | 0 |1881k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1192.07/1192.11 c 1108s| 2030k|825984 | 0 | 0.0 |1444M|1017 | - |1895 |9227 | 0 | 0 | 0 |1893k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1198.88/1198.99 c 1114s| 2040k|829132 | 0 | 0.0 |1450M|1017 | - |1895 |8303 | 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1206.88/1206.93 c 1121s| 2050k|830872 | 0 | 0.0 |1452M|1017 | - |1895 |9390 | 0 | 0 | 0 |1916k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1213.67/1213.72 c 1128s| 2060k|834145 | 0 | 0.0 |1458M|1017 | - |1895 |8238 | 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1221.67/1221.73 c 1135s| 2070k|835937 | 0 | 0.0 |1459M|1017 | - |1895 |9147 | 0 | 0 | 0 |1940k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1228.68/1228.73 c 1142s| 2080k|839067 | 0 | 0.0 |1466M|1017 | - |1895 |9000 | 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1237.18/1237.20 c 1150s| 2090k|840651 | 0 | 0.0 |1467M|1017 | - |1895 |9370 | 0 | 0 | 0 |1964k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1244.18/1244.22 c 1156s| 2100k|843831 | 0 | 0.0 |1474M|1017 | - |1895 | 10k| 0 | 0 | 0 |1975k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1253.17/1253.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1253.17/1253.22 c 1165s| 2110k|844978 | 0 | 0.0 |1475M|1017 | - |1895 |9473 | 0 | 0 | 0 |1988k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1261.87/1261.96 c 1173s| 2120k|846450 | 0 | 0.0 |1479M|1017 | - |1895 | 11k| 0 | 0 | 0 |2001k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1269.77/1269.81 c 1180s| 2130k|849118 | 0 | 0.0 |1485M|1017 | - |1895 | 10k| 0 | 0 | 0 |2013k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1279.07/1279.13 c 1189s| 2140k|850283 | 0 | 0.0 |1489M|1017 | - |1895 | 10k| 0 | 0 | 0 |2027k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1288.28/1288.35 c 1198s| 2150k|851749 | 0 | 0.0 |1493M|1017 | - |1895 | 12k| 0 | 0 | 0 |2040k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1296.88/1296.94 c 1206s| 2160k|854151 | 0 | 0.0 |1497M|1017 | - |1895 |3916 | 0 | 0 | 0 |2052k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1304.78/1304.89 c 1213s| 2170k|855321 | 0 | 0.0 |1501M|1017 | - |1895 |6308 | 0 | 0 | 0 |2065k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1312.57/1312.67 c 1220s| 2180k|856359 | 0 | 0.0 |1504M|1017 | - |1895 |7803 | 0 | 0 | 0 |2078k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1320.57/1320.69 c 1228s| 2190k|857467 | 0 | 0.0 |1508M|1017 | - |1895 |8374 | 0 | 0 | 0 |2091k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1328.88/1328.91 c 1236s| 2200k|858444 | 0 | 0.0 |1511M|1017 | - |1895 |8110 | 0 | 0 | 0 |2104k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1337.27/1337.33 c 1243s| 2210k|859266 | 0 | 0.0 |1514M|1017 | - |1895 |8205 | 0 | 0 | 0 |2118k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1345.88/1345.90 c 1251s| 2220k|859918 | 0 | 0.0 |1518M|1017 | - |1895 |9225 | 0 | 0 | 0 |2132k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1355.18/1355.26 c 1260s| 2230k|859935 | 0 | 0.0 |1520M|1017 | - |1895 |9466 | 0 | 0 | 0 |2147k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1364.98/1365.02 c 1269s| 2240k|859749 | 0 | 0.0 |1522M|1017 | - |1895 | 10k| 0 | 0 | 0 |2162k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1377.28/1377.32 c 1281s| 2250k|857048 | 0 | 0.0 |1521M|1017 | - |1895 | 11k| 0 | 0 | 0 |2182k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1384.38/1384.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.38/1384.43 c 1288s| 2260k|859889 | 0 | 0.0 |1521M|1017 | - |1895 |5247 | 0 | 0 | 0 |2194k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1388.08/1388.20 c 1291s| 2270k|866424 | 0 | 0.0 |1528M|1017 | - |1895 |6274 | 0 | 0 | 0 |2199k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1392.28/1392.31 c 1295s| 2280k|872629 | 0 | 0.0 |1534M|1017 | - |1895 |6952 | 0 | 0 | 0 |2205k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1396.67/1396.70 c 1299s| 2290k|878545 | 0 | 0.0 |1540M|1017 | - |1895 |7358 | 0 | 0 | 0 |2210k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1401.08/1401.13 c 1303s| 2300k|884397 | 0 | 0.0 |1546M|1017 | - |1895 |7924 | 0 | 0 | 0 |2217k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1405.79/1405.89 c 1307s| 2310k|889918 | 0 | 0.0 |1552M|1017 | - |1895 |7509 | 0 | 0 | 0 |2223k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1410.68/1410.71 c 1312s| 2320k|895270 | 0 | 0.0 |1558M|1017 | - |1895 |7366 | 0 | 0 | 0 |2230k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1415.37/1415.48 c 1316s| 2330k|900639 | 0 | 0.0 |1564M|1017 | - |1895 |7604 | 0 | 0 | 0 |2237k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1420.47/1420.51 c 1320s| 2340k|905695 | 0 | 0.0 |1570M|1017 | - |1895 |8138 | 0 | 0 | 0 |2244k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1425.58/1425.63 c 1325s| 2350k|910580 | 0 | 0.0 |1576M|1017 | - |1895 |8569 | 0 | 0 | 0 |2251k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1430.88/1430.95 c 1330s| 2360k|915220 | 0 | 0.0 |1582M|1017 | - |1895 |9155 | 0 | 0 | 0 |2259k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1436.88/1436.98 c 1336s| 2370k|919152 | 0 | 0.0 |1588M|1017 | - |1895 |9346 | 0 | 0 | 0 |2268k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1443.28/1443.33 c 1342s| 2380k|922854 | 0 | 0.0 |1594M|1017 | - |1895 |8884 | 0 | 0 | 0 |2277k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1449.68/1449.75 c 1347s| 2390k|926357 | 0 | 0.0 |1599M|1017 | - |1895 |9355 | 0 | 0 | 0 |2287k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1456.68/1456.75 c 1354s| 2400k|929161 | 0 | 0.0 |1605M|1017 | - |1895 |9878 | 0 | 0 | 0 |2298k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1464.18/1464.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1464.18/1464.26 c 1361s| 2410k|931639 | 0 | 0.0 |1611M|1017 | - |1895 | 11k| 0 | 0 | 0 |2309k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1471.88/1471.94 c 1368s| 2420k|934067 | 0 | 0.0 |1616M|1017 | - |1895 | 11k| 0 | 0 | 0 |2321k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1480.58/1480.68 c 1376s| 2430k|935524 | 0 | 0.0 |1620M|1017 | - |1895 | 11k| 0 | 0 | 0 |2335k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1489.88/1489.92 c 1385s| 2440k|936461 | 0 | 0.0 |1624M|1017 | - |1895 | 12k| 0 | 0 | 0 |2350k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1500.88/1500.90 c 1395s| 2450k|935465 | 0 | 0.0 |1624M|1017 | - |1895 |9978 | 0 | 0 | 0 |2367k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1504.68/1504.79 c 1399s| 2460k|942062 | 0 | 0.0 |1628M|1017 | - |1895 |5364 | 0 | 0 | 0 |2373k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1508.57/1508.60 c 1402s| 2470k|948493 | 0 | 0.0 |1634M|1017 | - |1895 |6118 | 0 | 0 | 0 |2378k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1512.38/1512.45 c 1406s| 2480k|954948 | 0 | 0.0 |1640M|1017 | - |1895 |6470 | 0 | 0 | 0 |2383k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1516.68/1516.77 c 1410s| 2490k|960871 | 0 | 0.0 |1646M|1017 | - |1895 |6559 | 0 | 0 | 0 |2389k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1521.28/1521.40 c 1414s| 2500k|966283 | 0 | 0.0 |1652M|1017 | - |1895 |7333 | 0 | 0 | 0 |2396k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1525.98/1526.03 c 1418s| 2510k|971736 | 0 | 0.0 |1658M|1017 | - |1895 |7604 | 0 | 0 | 0 |2403k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1530.88/1530.91 c 1423s| 2520k|976810 | 0 | 0.0 |1664M|1017 | - |1895 |7989 | 0 | 0 | 0 |2410k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1535.88/1535.99 c 1427s| 2530k|981722 | 0 | 0.0 |1670M|1017 | - |1895 |8290 | 0 | 0 | 0 |2417k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1541.38/1541.47 c 1432s| 2540k|986154 | 0 | 0.0 |1676M|1017 | - |1895 |8300 | 0 | 0 | 0 |2425k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1546.78/1546.86 c 1437s| 2550k|990777 | 0 | 0.0 |1682M|1017 | - |1895 |7867 | 0 | 0 | 0 |2433k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1553.38/1553.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.38/1553.40 c 1443s| 2560k|993671 | 0 | 0.0 |1687M|1017 | - |1895 |8895 | 0 | 0 | 0 |2443k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1560.28/1560.36 c 1450s| 2570k|996425 | 0 | 0.0 |1693M|1017 | - |1895 |9694 | 0 | 0 | 0 |2453k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1567.38/1567.42 c 1456s| 2580k|999153 | 0 | 0.0 |1699M|1017 | - |1895 |9252 | 0 | 0 | 0 |2464k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1575.38/1575.40 c 1464s| 2590k| 1000k| 0 | 0.0 |1703M|1017 | - |1895 | 10k| 0 | 0 | 0 |2476k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1583.68/1583.73 c 1471s| 2600k| 1002k| 0 | 0.0 |1707M|1017 | - |1895 | 10k| 0 | 0 | 0 |2489k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1592.28/1592.34 c 1480s| 2610k| 1003k| 0 | 0.0 |1712M|1017 | - |1895 | 11k| 0 | 0 | 0 |2503k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1601.98/1602.04 c 1489s| 2620k| 1003k| 0 | 0.0 |1715M|1017 | - |1895 | 12k| 0 | 0 | 0 |2518k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1614.18/1614.21 c 1500s| 2630k| 1001k| 0 | 0.0 |1716M|1017 | - |1895 | 16k| 0 | 0 | 0 |2539k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1618.97/1619.06 c 1505s| 2640k| 1007k| 0 | 0.0 |1718M|1017 | - |1895 |5832 | 0 | 0 | 0 |2545k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1622.98/1623.09 c 1508s| 2650k| 1013k| 0 | 0.0 |1724M|1017 | - |1895 |5979 | 0 | 0 | 0 |2550k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1627.08/1627.18 c 1512s| 2660k| 1019k| 0 | 0.0 |1730M|1017 | - |1895 |6186 | 0 | 0 | 0 |2556k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1631.29/1631.30 c 1516s| 2670k| 1025k| 0 | 0.0 |1736M|1017 | - |1895 |6905 | 0 | 0 | 0 |2562k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1635.58/1635.64 c 1520s| 2680k| 1031k| 0 | 0.0 |1742M|1017 | - |1895 |7179 | 0 | 0 | 0 |2568k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1639.88/1639.98 c 1523s| 2690k| 1037k| 0 | 0.0 |1748M|1017 | - |1895 |7331 | 0 | 0 | 0 |2574k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1644.49/1644.52 c 1528s| 2700k| 1043k| 0 | 0.0 |1754M|1017 | - |1895 |7542 | 0 | 0 | 0 |2580k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1648.99/1649.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1648.99/1649.07 c 1532s| 2710k| 1048k| 0 | 0.0 |1759M|1017 | - |1895 |8093 | 0 | 0 | 0 |2586k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1654.38/1654.46 c 1537s| 2720k| 1053k| 0 | 0.0 |1766M|1017 | - |1895 |8649 | 0 | 0 | 0 |2594k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1660.28/1660.30 c 1542s| 2730k| 1057k| 0 | 0.0 |1772M|1017 | - |1895 |8530 | 0 | 0 | 0 |2602k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1666.67/1666.79 c 1548s| 2740k| 1061k| 0 | 0.0 |1778M|1017 | - |1895 |8095 | 0 | 0 | 0 |2611k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1673.88/1673.97 c 1555s| 2750k| 1063k| 0 | 0.0 |1783M|1017 | - |1895 |9155 | 0 | 0 | 0 |2622k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1680.79/1680.88 c 1561s| 2760k| 1066k| 0 | 0.0 |1789M|1017 | - |1895 |9990 | 0 | 0 | 0 |2632k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1687.98/1688.08 c 1568s| 2770k| 1069k| 0 | 0.0 |1795M|1017 | - |1895 | 10k| 0 | 0 | 0 |2642k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1695.98/1696.03 c 1575s| 2780k| 1071k| 0 | 0.0 |1800M|1017 | - |1895 | 11k| 0 | 0 | 0 |2653k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1704.38/1704.47 c 1583s| 2790k| 1073k| 0 | 0.0 |1805M|1017 | - |1895 | 11k| 0 | 0 | 0 |2665k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1713.68/1713.76 c 1592s| 2800k| 1074k| 0 | 0.0 |1808M|1017 | - |1895 | 11k| 0 | 0 | 0 |2678k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1723.68/1723.80 c 1602s| 2810k| 1074k| 0 | 0.0 |1812M|1017 | - |1895 | 12k| 0 | 0 | 0 |2693k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1736.38/1736.45 c 1614s| 2820k| 1072k| 0 | 0.0 |1812M|1017 | - |1895 | 15k| 0 | 0 | 0 |2712k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1742.88/1742.90 c 1620s| 2830k| 1076k| 0 | 0.0 |1812M|1017 | - |1895 |5931 | 0 | 0 | 0 |2721k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1746.58/1746.68 c 1623s| 2840k| 1083k| 0 | 0.0 |1818M|1017 | - |1895 |6437 | 0 | 0 | 0 |2726k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1750.68/1750.76 c 1627s| 2850k| 1090k| 0 | 0.0 |1823M|1017 | - |1895 |6907 | 0 | 0 | 0 |2731k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1754.59/1754.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1754.59/1754.68 c 1630s| 2860k| 1096k| 0 | 0.0 |1829M|1017 | - |1895 |7335 | 0 | 0 | 0 |2736k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1758.78/1758.86 c 1634s| 2870k| 1102k| 0 | 0.0 |1835M|1017 | - |1895 |7167 | 0 | 0 | 0 |2741k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1763.08/1763.18 c 1638s| 2880k| 1108k| 0 | 0.0 |1840M|1017 | - |1895 |7332 | 0 | 0 | 0 |2746k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1767.28/1767.35 c 1642s| 2890k| 1115k| 0 | 0.0 |1846M|1017 | - |1895 |8468 | 0 | 0 | 0 |2751k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1771.68/1771.77 c 1646s| 2900k| 1121k| 0 | 0.0 |1851M|1017 | - |1895 |8662 | 0 | 0 | 0 |2757k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1776.38/1776.41 c 1650s| 2910k| 1126k| 0 | 0.0 |1857M|1017 | - |1895 |8765 | 0 | 0 | 0 |2763k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1781.99/1782.05 c 1655s| 2920k| 1131k| 0 | 0.0 |1864M|1017 | - |1895 |9421 | 0 | 0 | 0 |2770k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1788.08/1788.10 c 1661s| 2930k| 1135k| 0 | 0.0 |1870M|1017 | - |1895 |9918 | 0 | 0 | 0 |2778k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1794.08/1794.17 c 1666s| 2940k| 1139k| 0 | 0.0 |1876M|1017 | - |1895 |9904 | 0 | 0 | 0 |2786k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.09/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.10 c
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time (sec) : 1671.77
1800.09/1800.10 c Solving Nodes : 2949761
1800.09/1800.10 c Primal Bound : +3.00000000000000e+00 (29 solutions)
1800.09/1800.10 c Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Gap : infinite
1800.09/1800.11 s SATISFIABLE
1800.09/1800.11 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.09/1800.11 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.09/1800.11 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.09/1800.11 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 x148 -x147
1800.09/1800.11 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.09/1800.11 v -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.09/1800.11 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.09/1800.11 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 -x54
1800.09/1800.11 v -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.09/1800.11 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.09/1800.11 v -x1
1800.09/1800.11 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.11 c Solving Time : 1671.77
1800.09/1800.11 c Original Problem :
1800.09/1800.11 c Problem name : HOME/instance-2694101-1277905410.wbo
1800.09/1800.11 c Variables : 2039 (1135 binary, 0 integer, 0 implicit integer, 904 continuous)
1800.09/1800.11 c Constraints : 3612 initial, 3612 maximal
1800.09/1800.11 c Presolved Problem :
1800.09/1800.11 c Problem name : t_HOME/instance-2694101-1277905410.wbo
1800.09/1800.11 c Variables : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous)
1800.09/1800.11 c Constraints : 3298 initial, 17836 maximal
1800.09/1800.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.11 c trivial : 0.00 72 0 0 0 0 0 0 0
1800.09/1800.11 c dualfix : 0.00 72 0 0 0 0 0 0 0
1800.09/1800.11 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.11 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.11 c probing : 0.04 0 0 0 0 0 0 0 0
1800.09/1800.11 c indicator : 0.00 0 0 0 0 0 72 0 0
1800.09/1800.11 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.11 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.11 c linear : 0.04 0 0 0 933 0 242 170 0
1800.09/1800.11 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.11 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.11 c root node : - 817 - - 1634 - - - -
1800.09/1800.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.11 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.11 c indicator : 832 0 6912937 0 1728257 76 4307285 0 0 0
1800.09/1800.11 c knapsack : 1 0 10016170 0 2291079 255250 29866095 0 0 0
1800.09/1800.11 c setppc : 18 0 9794854 0 2290959 186366 11035798 0 0 0
1800.09/1800.11 c linear : 832 0 9608982 0 2291084 133391 9384707 0 0 0
1800.09/1800.11 c logicor : 1615+ 0 7435141 0 2291110 446472 19497019 0 0 0
1800.09/1800.11 c bounddisjunction : 0+ 0 318 0 0 0 0 0 0 0
1800.09/1800.11 c countsols : 0 0 0 0 2291110 0 0 0 0 0
1800.09/1800.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.11 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.11 c indicator : 5.76 0.00 3.75 0.00 2.01
1800.09/1800.11 c knapsack : 112.57 0.00 109.42 0.00 3.15
1800.09/1800.11 c setppc : 39.90 0.00 36.05 0.00 3.85
1800.09/1800.11 c linear : 140.81 0.00 140.45 0.00 0.36
1800.09/1800.11 c logicor : 500.26 0.00 395.69 0.00 104.57
1800.09/1800.11 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.11 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.11 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.11 c vbounds : 0.03 2 0 0
1800.09/1800.11 c rootredcost : 0.02 0 0 0
1800.09/1800.11 c pseudoobj : 161.85 10051346 673 4298363
1800.09/1800.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.11 c propagation : 29.29 1022152 1022087 4773721 19.2 79329 9.3 -
1800.09/1800.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.11 c pseudo solution : 0.00 34 34 186 30.2 23 6.6 -
1800.09/1800.11 c applied globally : - - - 2793925 17.4 - - -
1800.09/1800.11 c applied locally : - - - 48 123.6 - - -
1800.09/1800.11 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.11 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.11 c redcost : 0.00 0 0 0 0 0
1800.09/1800.11 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.11 c intobj : 0.00 0 0 0 0 0
1800.09/1800.11 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.11 c gomory : 0.00 0 0 0 0 0
1800.09/1800.11 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.11 c cmir : 0.00 0 0 0 0 0
1800.09/1800.11 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.11 c clique : 0.00 0 0 0 0 0
1800.09/1800.11 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.11 c mcf : 0.00 0 0 0 0 0
1800.09/1800.11 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.11 c Pricers : Time Calls Vars
1800.09/1800.11 c problem variables: 0.00 0 0
1800.09/1800.11 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.11 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.11 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.11 c inference : 27.81 2291081 0 0 0 0 4582162
1800.09/1800.11 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.11 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.11 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.11 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.11 c random : 0.00 0 0 0 0 0 0
1800.09/1800.11 c Primal Heuristics : Time Calls Found
1800.09/1800.11 c LP solutions : 0.00 - 0
1800.09/1800.11 c pseudo solutions : 0.09 - 29
1800.09/1800.11 c oneopt : 0.04 0 0
1800.09/1800.11 c trivial : 0.00 2 0
1800.09/1800.11 c simplerounding : 0.00 0 0
1800.09/1800.11 c zirounding : 0.00 0 0
1800.09/1800.11 c rounding : 0.00 0 0
1800.09/1800.11 c shifting : 0.00 0 0
1800.09/1800.11 c intshifting : 0.00 0 0
1800.09/1800.11 c twoopt : 0.00 0 0
1800.09/1800.11 c fixandinfer : 0.00 0 0
1800.09/1800.11 c feaspump : 0.00 0 0
1800.09/1800.11 c coefdiving : 0.00 0 0
1800.09/1800.11 c pscostdiving : 0.00 0 0
1800.09/1800.11 c fracdiving : 0.00 0 0
1800.09/1800.11 c veclendiving : 0.00 0 0
1800.09/1800.11 c intdiving : 0.00 0 0
1800.09/1800.11 c actconsdiving : 0.00 0 0
1800.09/1800.11 c objpscostdiving : 0.00 0 0
1800.09/1800.11 c rootsoldiving : 0.00 0 0
1800.09/1800.11 c linesearchdiving : 0.00 0 0
1800.09/1800.11 c guideddiving : 0.00 0 0
1800.09/1800.11 c octane : 0.00 0 0
1800.09/1800.11 c rens : 0.00 0 0
1800.09/1800.11 c rins : 0.00 0 0
1800.09/1800.11 c localbranching : 0.00 0 0
1800.09/1800.11 c mutation : 0.00 0 0
1800.09/1800.11 c crossover : 0.00 0 0
1800.09/1800.11 c dins : 0.00 0 0
1800.09/1800.11 c undercover : 0.00 0 0
1800.09/1800.11 c nlp : 0.01 0 0
1800.09/1800.11 c trysol : 0.00 1 0
1800.09/1800.11 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.11 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.11 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.11 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.11 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.11 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.11 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.11 c (at root node) : - 0 0 0.00 -
1800.09/1800.11 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.11 c B&B Tree :
1800.09/1800.11 c number of runs : 1
1800.09/1800.11 c nodes : 2949761
1800.09/1800.11 c nodes (total) : 2949761
1800.09/1800.11 c nodes left : 1144115
1800.09/1800.11 c max depth : 1017
1800.09/1800.11 c max depth (total): 1017
1800.09/1800.11 c backtracks : 626038 (21.2%)
1800.09/1800.11 c delayed cutoffs : 470000
1800.09/1800.11 c repropagations : 2330623 (21267409 domain reductions, 363611 cutoffs)
1800.09/1800.11 c avg switch length: 26.56
1800.09/1800.11 c switching time : 529.74
1800.09/1800.11 c Solution :
1800.09/1800.11 c Solutions found : 29 (29 improvements)
1800.09/1800.11 c First Solution : +4.75000000000000e+02 (in run 1, after 3988 nodes, 0.89 seconds, depth 432, found by <relaxation>)
1800.09/1800.11 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1690074 nodes, 914.71 seconds, depth 210, found by <relaxation>)
1800.09/1800.11 c Dual Bound : +0.00000000000000e+00
1800.09/1800.11 c Gap : infinite
1800.09/1800.11 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.11 c Root Iterations : 0
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694101-1277905410/watcher-2694101-1277905410 -o /tmp/evaluation-result-2694101-1277905410/solver-2694101-1277905410 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694101-1277905410.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: 3.11 2.71 2.41 3/199 23895 /proc/meminfo: memFree=31001040/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=8156 CPUtime=0 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 1543 0 0 0 0 0 0 0 25 0 1 0 164180602 8351744 1465 4089446400 4194304 7136930 140737347076848 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23895/statm: 2039 1465 275 719 0 1318 0 [startup+0.105591 s] /proc/loadavg: 3.11 2.71 2.41 3/199 23895 /proc/meminfo: memFree=31001040/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=22080 CPUtime=0.09 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 6978 0 0 0 8 1 0 0 25 0 1 0 164180602 22609920 4747 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23895/statm: 5520 4747 360 719 0 4799 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22080 [startup+0.200578 s] /proc/loadavg: 3.11 2.71 2.41 3/199 23895 /proc/meminfo: memFree=31001040/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=23544 CPUtime=0.19 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 9444 0 0 0 16 3 0 0 25 0 1 0 164180602 24109056 5157 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23895/statm: 5886 5157 399 719 0 5165 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 23544 [startup+0.300563 s] /proc/loadavg: 3.11 2.71 2.41 3/199 23895 /proc/meminfo: memFree=31001040/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=24064 CPUtime=0.29 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 9597 0 0 0 25 4 0 0 25 0 1 0 164180602 24641536 5310 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23895/statm: 6016 5310 399 719 0 5295 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24064 [startup+0.700496 s] /proc/loadavg: 3.11 2.71 2.41 3/199 23895 /proc/meminfo: memFree=31001040/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=26188 CPUtime=0.69 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 10120 0 0 0 61 8 0 0 25 0 1 0 164180602 26816512 5833 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23895/statm: 6547 5833 404 719 0 5826 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26188 [startup+1.50036 s] /proc/loadavg: 3.11 2.71 2.41 4/200 23896 /proc/meminfo: memFree=30979116/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=28016 CPUtime=1.48 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 10580 0 0 0 131 17 0 0 25 0 1 0 164180602 28688384 6293 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23895/statm: 7004 6293 405 719 0 6283 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 28016 [startup+3.1011 s] /proc/loadavg: 3.11 2.71 2.41 4/200 23896 /proc/meminfo: memFree=30975148/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=34392 CPUtime=3.08 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 12174 0 0 0 272 36 0 0 25 0 1 0 164180602 35217408 7887 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23895/statm: 8598 7887 405 719 0 7877 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 34392 [startup+6.30056 s] /proc/loadavg: 3.10 2.71 2.42 4/200 23896 /proc/meminfo: memFree=30964016/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=44416 CPUtime=6.29 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 14700 0 0 0 560 69 0 0 25 0 1 0 164180602 45481984 10413 4089446400 4194304 7136930 140737347076848 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23895/statm: 11104 10413 405 719 0 10383 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44416 [startup+12.7005 s] /proc/loadavg: 3.10 2.72 2.42 4/200 23896 /proc/meminfo: memFree=30943784/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=63324 CPUtime=12.69 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 19397 0 0 0 1147 122 0 0 25 0 1 0 164180602 64843776 15110 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23895/statm: 15831 15110 407 719 0 15110 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 63324 [startup+25.5003 s] /proc/loadavg: 3.00 2.71 2.42 4/200 23896 /proc/meminfo: memFree=30908812/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=97700 CPUtime=25.49 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 28041 0 0 0 2314 235 0 0 25 0 1 0 164180602 100044800 23754 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23895/statm: 24425 23754 407 719 0 23704 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 97700 [startup+51.101 s] /proc/loadavg: 3.00 2.74 2.44 4/200 23898 /proc/meminfo: memFree=30859392/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=146304 CPUtime=51.09 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 39728 0 0 0 4691 418 0 0 25 0 1 0 164180602 149815296 35441 4089446400 4194304 7136930 140737347076848 18446744073709551615 5000537 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23895/statm: 36576 35441 407 719 0 35855 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 146304 [startup+102.3 s] /proc/loadavg: 2.89 2.74 2.45 4/200 23898 /proc/meminfo: memFree=30765592/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=237728 CPUtime=102.29 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 62230 0 0 0 9432 797 0 0 25 0 1 0 164180602 243433472 57943 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23895/statm: 59432 57943 407 719 0 58711 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 237728 [startup+162.3 s] /proc/loadavg: 2.86 2.76 2.47 4/200 23900 /proc/meminfo: memFree=30664848/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=339112 CPUtime=162.28 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 86743 0 0 0 14969 1259 0 0 25 0 1 0 164180602 347250688 82456 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23895/statm: 84778 82456 407 719 0 84057 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 339112 [startup+222.306 s] /proc/loadavg: 3.03 2.85 2.52 4/200 23902 /proc/meminfo: memFree=30593484/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=405928 CPUtime=222.29 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 103432 0 0 0 20583 1646 0 0 25 0 1 0 164180602 415670272 99145 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23895/statm: 101482 99145 407 719 0 100761 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 405928 [startup+282.3 s] /proc/loadavg: 2.92 2.85 2.54 4/200 23904 /proc/meminfo: memFree=30540352/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=455344 CPUtime=282.28 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 115754 0 0 0 26232 1996 0 0 25 0 1 0 164180602 466272256 111467 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23895/statm: 113836 111467 407 719 0 113115 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 455344 [startup+342.3 s] /proc/loadavg: 2.37 2.70 2.51 3/179 23932 /proc/meminfo: memFree=30474936/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=684208 CPUtime=342.28 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 163432 0 0 0 31837 2391 0 0 25 0 1 0 164180602 700628992 159145 4089446400 4194304 7136930 140737347076848 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/23895/statm: 171052 159145 407 719 0 170331 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 684208 [startup+402.3 s] /proc/loadavg: 2.54 2.68 2.52 4/200 24002 /proc/meminfo: memFree=30104260/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=1040860 CPUtime=402.26 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 238070 0 0 0 37406 2820 0 0 25 0 1 0 164180602 1065840640 233783 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 260215 233783 407 719 0 259494 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 1040860 [startup+462.301 s] /proc/loadavg: 2.83 2.74 2.54 4/200 24004 /proc/meminfo: memFree=30026460/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=1102792 CPUtime=462.26 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 253677 0 0 0 42886 3340 0 0 25 0 1 0 164180602 1129259008 249390 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 275698 249390 407 719 0 274977 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 1102792 [startup+522.301 s] /proc/loadavg: 2.87 2.77 2.56 4/200 24006 /proc/meminfo: memFree=29926452/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=1203632 CPUtime=522.26 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 276882 0 0 0 48370 3856 0 0 25 0 1 0 164180602 1232519168 272595 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 300908 272595 407 719 0 300187 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 1203632 [startup+582.301 s] /proc/loadavg: 2.85 2.77 2.58 4/200 24008 /proc/meminfo: memFree=29839732/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=1279748 CPUtime=582.27 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 296189 0 0 0 53837 4390 0 0 25 0 1 0 164180602 1310461952 291902 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 319937 291902 407 719 0 319216 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 1279748 [startup+642.301 s] /proc/loadavg: 2.90 2.80 2.59 4/200 24008 /proc/meminfo: memFree=29752864/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=1359768 CPUtime=642.27 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 316534 0 0 0 59339 4888 0 0 25 0 1 0 164180602 1392402432 312247 4089446400 4194304 7136930 140737347076848 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 339942 312247 407 719 0 339221 0 Current children cumulated CPU time (s) 642.27 Current children cumulated vsize (KiB) 1359768 [startup+702.301 s] ################ # More data... # ################ /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 356448 0 0 0 93203 7024 0 0 25 0 1 0 164180602 1560875008 352161 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 381073 352161 407 719 0 380352 0 Current children cumulated CPU time (s) 1002.27 Current children cumulated vsize (KiB) 1524292 [startup+1062.3 s] /proc/loadavg: 2.00 2.20 2.37 3/179 24057 /proc/meminfo: memFree=29013228/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=1609956 CPUtime=1062.27 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 376720 0 0 0 98724 7503 0 0 25 0 1 0 164180602 1648594944 372433 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 402489 372433 407 719 0 401768 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 1609956 [startup+1122.3 s] /proc/loadavg: 2.00 2.16 2.35 3/179 24059 /proc/meminfo: memFree=28856004/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=1691260 CPUtime=1122.27 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 396680 0 0 0 104259 7968 0 0 25 0 1 0 164180602 1731850240 392393 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 422815 392393 407 719 0 422094 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 1691260 [startup+1182.3 s] /proc/loadavg: 2.08 2.14 2.33 3/179 24061 /proc/meminfo: memFree=28695208/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=1759908 CPUtime=1182.27 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 412431 0 0 0 109844 8383 0 0 25 0 1 0 164180602 1802145792 408144 4089446400 4194304 7136930 140737347076848 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 439977 408144 407 719 0 439256 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 1759908 [startup+1242.3 s] /proc/loadavg: 2.03 2.12 2.30 3/179 24061 /proc/meminfo: memFree=28566172/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=1805772 CPUtime=1242.27 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 424137 0 0 0 115447 8780 0 0 25 0 1 0 164180602 1849110528 419850 4089446400 4194304 7136930 140737347076848 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 451443 419850 407 719 0 450722 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 1805772 [startup+1302.3 s] /proc/loadavg: 2.01 2.09 2.28 3/179 24063 /proc/meminfo: memFree=28425052/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=1843592 CPUtime=1302.27 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 433480 0 0 0 121071 9156 0 0 25 0 1 0 164180602 1887838208 429193 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 460898 429193 407 719 0 460177 0 Current children cumulated CPU time (s) 1302.27 Current children cumulated vsize (KiB) 1843592 [startup+1362.3 s] /proc/loadavg: 2.00 2.07 2.26 3/179 24065 /proc/meminfo: memFree=28300104/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=1864864 CPUtime=1362.27 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 438857 0 0 0 126685 9542 0 0 25 0 1 0 164180602 1909620736 434570 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 466216 434570 407 719 0 465495 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 1864864 [startup+1422.3 s] /proc/loadavg: 2.00 2.06 2.24 3/179 24067 /proc/meminfo: memFree=28158672/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=1915424 CPUtime=1422.28 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 451752 0 0 0 132212 10016 0 0 25 0 1 0 164180602 1961394176 447465 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 478856 447465 407 719 0 478135 0 Current children cumulated CPU time (s) 1422.28 Current children cumulated vsize (KiB) 1915424 [startup+1482.3 s] /proc/loadavg: 2.00 2.04 2.23 3/179 24069 /proc/meminfo: memFree=28021080/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=1965204 CPUtime=1482.27 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 464113 0 0 0 137782 10445 0 0 25 0 1 0 164180602 2012368896 459826 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 491301 459826 407 719 0 490580 0 Current children cumulated CPU time (s) 1482.27 Current children cumulated vsize (KiB) 1965204 [startup+1542.31 s] /proc/loadavg: 2.00 2.03 2.21 3/179 24069 /proc/meminfo: memFree=27888572/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=2031112 CPUtime=1542.28 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 476693 0 0 0 143294 10934 0 0 25 0 1 0 164180602 2079858688 472406 4089446400 4194304 7136930 140737347076848 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 507778 472406 407 719 0 507057 0 Current children cumulated CPU time (s) 1542.28 Current children cumulated vsize (KiB) 2031112 [startup+1602.3 s] /proc/loadavg: 2.00 2.03 2.19 3/179 24071 /proc/meminfo: memFree=27783964/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=2073904 CPUtime=1602.28 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 487429 0 0 0 148899 11329 0 0 25 0 1 0 164180602 2123677696 483142 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 518476 483142 407 719 0 517755 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 2073904 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.18 3/179 24073 /proc/meminfo: memFree=27676624/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=2130176 CPUtime=1662.28 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 501717 0 0 0 154393 11835 0 0 25 0 1 0 164180602 2181300224 497430 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 532544 497430 407 719 0 531823 0 Current children cumulated CPU time (s) 1662.28 Current children cumulated vsize (KiB) 2130176 [startup+1722.3 s] /proc/loadavg: 2.03 2.03 2.17 3/179 24075 /proc/meminfo: memFree=27569404/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=2169880 CPUtime=1722.28 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 511558 0 0 0 160012 12216 0 0 25 0 1 0 164180602 2221957120 507271 4089446400 4194304 7136930 140737347076848 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 542470 507271 407 719 0 541749 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 2169880 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.16 3/179 24077 /proc/meminfo: memFree=27439500/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=2222360 CPUtime=1782.28 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 524962 0 0 0 165533 12695 0 0 25 0 1 0 164180602 2275696640 520675 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 555590 520675 407 719 0 554869 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (KiB) 2222360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.01 2.02 2.15 3/179 24077 /proc/meminfo: memFree=27395472/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=2236304 CPUtime=1800.09 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 528505 0 0 0 167179 12830 0 0 25 0 1 0 164180602 2289975296 524218 4089446400 4194304 7136930 140737347076848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23895/statm: 559076 524218 407 719 0 558355 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 2236304 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -23895 Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 2.01 2.02 2.15 3/180 24078 /proc/meminfo: memFree=27393832/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=2236304 CPUtime=1801.48 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 528511 0 0 0 167318 12830 0 0 19 0 1 0 164180602 2289975296 524224 4089446400 4194304 7136930 140737347076848 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23895/statm: 559076 524224 412 719 0 558355 0 Current children cumulated CPU time (s) 1801.48 Current children cumulated vsize (KiB) 2236304 [startup+1801.91 s] /proc/loadavg: 2.01 2.02 2.15 3/180 24078 /proc/meminfo: memFree=27393584/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=2236304 CPUtime=1801.89 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 528511 0 0 0 167359 12830 0 0 20 0 1 0 164180602 2289975296 524224 4089446400 4194304 7136930 140737347076848 18446744073709551615 6166190 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23895/statm: 559076 524224 412 719 0 558355 0 Current children cumulated CPU time (s) 1801.89 Current children cumulated vsize (KiB) 2236304 [startup+1802.1 s] /proc/loadavg: 2.01 2.02 2.15 3/180 24078 /proc/meminfo: memFree=27393584/32951124 swapFree=67111528/67111528 [pid=23895] ppid=23893 vsize=2235280 CPUtime=1802.08 /proc/23895/stat : 23895 (pbscip.linux.x8) R 23893 23895 23338 0 -1 4202496 528511 0 0 0 167378 12830 0 0 21 0 1 0 164180602 2288926720 523969 4089446400 4194304 7136930 140737347076848 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23895/statm: 558820 523969 412 719 0 558099 0 Current children cumulated CPU time (s) 1802.08 Current children cumulated vsize (KiB) 2235280 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.18 CPU time (s): 1802.17 CPU user time (s): 1673.8 CPU system time (s): 128.371 CPU usage (%): 99.9995 Max. virtual memory (cumulated for all children) (KiB): 2236304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1673.8 system time used= 128.371 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 528511 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= 5 involuntary context switches= 15864 runsolver used 3.08053 second user time and 5.97709 second system time The end
Begin job on node118 at 2010-06-30 15:43:30 IDJOB=2694101 IDBENCH=78929 IDSOLVER=1206 FILE ID=node118/2694101-1277905410 PBS_JOBID= 11197244 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.1900576151--soft-66-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-2694101-1277905410/watcher-2694101-1277905410 -o /tmp/evaluation-result-2694101-1277905410/solver-2694101-1277905410 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694101-1277905410.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e60bec5d313c91289af640357d00991f RANDOM SEED=1939485642 node118.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.791 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.58 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.791 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.791 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.76 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.791 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.791 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.791 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.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31001940 kB Buffers: 189212 kB Cached: 1296232 kB SwapCached: 0 kB Active: 788804 kB Inactive: 1016056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31001940 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3180 kB Writeback: 0 kB AnonPages: 319388 kB Mapped: 20684 kB Slab: 78392 kB PageTables: 5816 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1653912 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= 74204 MiB End job on node118 at 2010-06-30 16:13:33