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.12 | 1802.09 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-66-100-0.wbo |
| MD5SUM | 318d96c5cecc5e1278f112ac94857622 |
| 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 | 3 |
| Best CPU time to get the best result obtained on this benchmark | 417.538 |
| 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 | 689 |
| 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-2694045-1277902433.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.03 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.03/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.03/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.15 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.15 c 0.1s| 1 | 2 | 0 | - |7460k| 0 | - |1895 |3298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.14 o 448
1.10/1.14 c * 1.1s| 4493 | 3556 | 0 | 0.0 | 10M|1017 | - |1895 |3838 | 0 | 0 | 0 | 698 | 0 | 0.000000e+00 | 4.480000e+02 | Inf
1.10/1.17 o 445
1.10/1.17 c * 1.1s| 4599 | 3657 | 0 | 0.0 | 10M|1017 | - |1895 |3839 | 0 | 0 | 0 | 703 | 0 | 0.000000e+00 | 4.450000e+02 | Inf
2.39/2.45 c 2.3s| 10000 | 8264 | 0 | 0.0 | 13M|1017 | - |1895 |4357 | 0 | 0 | 0 |2373 | 0 | 0.000000e+00 | 4.450000e+02 | Inf
5.19/5.21 c 5.0s| 20000 | 16040 | 0 | 0.0 | 20M|1017 | - |1895 |5178 | 0 | 0 | 0 |7095 | 0 | 0.000000e+00 | 4.450000e+02 | Inf
8.09/8.11 o 384
8.09/8.11 c * 7.8s| 27497 | 20149 | 0 | 0.0 | 26M|1017 | - |1895 |6423 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.840000e+02 | Inf
8.09/8.11 o 365
8.09/8.11 c * 7.8s| 27498 | 20143 | 0 | 0.0 | 26M|1017 | - |1895 |6423 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.650000e+02 | Inf
8.19/8.24 o 327
8.19/8.24 c * 7.9s| 27976 | 20565 | 0 | 0.0 | 26M|1017 | - |1895 |6227 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.270000e+02 | Inf
8.19/8.25 o 323
8.19/8.25 c * 7.9s| 27977 | 20561 | 0 | 0.0 | 26M|1017 | - |1895 |6227 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.230000e+02 | Inf
8.19/8.27 o 265
8.19/8.27 c * 7.9s| 28051 | 20565 | 0 | 0.0 | 26M|1017 | - |1895 |6179 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.650000e+02 | Inf
8.30/8.38 o 250
8.30/8.38 c * 8.0s| 28455 | 20938 | 0 | 0.0 | 26M|1017 | - |1895 |6049 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.500000e+02 | Inf
8.30/8.38 o 240
8.30/8.38 c * 8.0s| 28456 | 20933 | 0 | 0.0 | 26M|1017 | - |1895 |6049 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.400000e+02 | Inf
8.49/8.52 o 230
8.49/8.52 c * 8.1s| 28939 | 21388 | 0 | 0.0 | 27M|1017 | - |1895 |5823 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
8.49/8.58 o 204
8.49/8.58 c * 8.2s| 29163 | 21592 | 0 | 0.0 | 27M|1017 | - |1895 |5778 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.040000e+02 | Inf
8.49/8.58 o 167
8.49/8.58 c * 8.2s| 29164 | 21572 | 0 | 0.0 | 27M|1017 | - |1895 |5778 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
8.70/8.79 o 135
8.70/8.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.70/8.79 c * 8.4s| 29884 | 22159 | 0 | 0.0 | 27M|1017 | - |1895 |5615 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
8.80/8.82 c 8.4s| 30000 | 22270 | 0 | 0.0 | 27M|1017 | - |1895 |5576 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
8.89/8.94 o 134
8.89/8.94 c * 8.6s| 30390 | 22627 | 0 | 0.0 | 28M|1017 | - |1895 |5509 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
8.89/8.94 o 111
8.89/8.94 c * 8.6s| 30400 | 22609 | 0 | 0.0 | 28M|1017 | - |1895 |5508 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
8.89/8.94 o 92
8.89/8.94 c * 8.6s| 30401 | 22467 | 0 | 0.0 | 27M|1017 | - |1895 |5508 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
9.29/9.38 o 87
9.29/9.38 c * 9.0s| 31756 | 23571 | 0 | 0.0 | 29M|1017 | - |1895 |5181 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
9.69/9.75 o 81
9.69/9.75 c * 9.3s| 32875 | 24446 | 0 | 0.0 | 30M|1017 | - |1895 |5166 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
11.89/11.98 c 11.5s| 40000 | 30382 | 0 | 0.0 | 36M|1017 | - |1895 |4579 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
14.89/14.92 c 14.3s| 50000 | 38186 | 0 | 0.0 | 43M|1017 | - |1895 |4784 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
17.89/17.94 c 17.2s| 60000 | 45732 | 0 | 0.0 | 49M|1017 | - |1895 |5242 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
21.19/21.28 c 20.4s| 70000 | 52754 | 0 | 0.0 | 56M|1017 | - |1895 |5495 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
24.89/24.96 c 23.9s| 80000 | 59215 | 0 | 0.0 | 63M|1017 | - |1895 |5944 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
28.79/28.83 c 27.6s| 90000 | 65454 | 0 | 0.0 | 71M|1017 | - |1895 |6430 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
32.89/32.99 c 31.6s|100000 | 71277 | 0 | 0.0 | 78M|1017 | - |1895 |6855 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
37.30/37.40 c 35.9s|110000 | 76700 | 0 | 0.0 | 85M|1017 | - |1895 |7349 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
41.89/41.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.89/41.95 c 40.3s|120000 | 81957 | 0 | 0.0 | 92M|1017 | - |1895 |7838 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
46.69/46.76 c 45.0s|130000 | 86854 | 0 | 0.0 | 100M|1017 | - |1895 |8115 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
51.89/51.96 c 50.0s|140000 | 91153 | 0 | 0.0 | 107M|1017 | - |1895 |8791 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
57.69/57.79 c 55.7s|150000 | 94687 | 0 | 0.0 | 114M|1017 | - |1895 |9603 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
65.39/65.43 c 63.2s|160000 | 95913 | 0 | 0.0 | 119M|1017 | - |1895 | 11k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
65.49/65.58 o 65
65.49/65.58 c *63.3s|160444 | 96062 | 0 | 0.0 | 119M|1017 | - |1895 | 10k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
68.69/68.74 c 66.4s|170000 |104470 | 0 | 0.0 | 125M|1017 | - |1895 |4532 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
70.49/70.56 o 54
70.49/70.56 c *68.2s|175793 |108536 | 0 | 0.0 | 128M|1017 | - |1895 |4707 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
71.80/71.88 c 69.4s|180000 |112154 | 0 | 0.0 | 131M|1017 | - |1895 |4636 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
72.79/72.88 o 49
72.79/72.88 c *70.3s|183108 |114699 | 0 | 0.0 | 133M|1017 | - |1895 |4678 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
73.19/73.29 o 42
73.19/73.29 c *70.7s|184374 |115474 | 0 | 0.0 | 133M|1017 | - |1895 |4703 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
73.30/73.30 o 22
73.30/73.30 c *70.8s|184377 |114703 | 0 | 0.0 | 131M|1017 | - |1895 |4709 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
74.99/75.01 c 72.4s|190000 |119420 | 0 | 0.0 | 137M|1017 | - |1895 |4884 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
78.10/78.11 c 75.4s|200000 |127521 | 0 | 0.0 | 144M|1017 | - |1895 |5198 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
81.69/81.74 c 78.9s|210000 |134911 | 0 | 0.0 | 152M|1017 | - |1895 |6069 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
86.29/86.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.29/86.34 c 83.3s|220000 |141110 | 0 | 0.0 | 160M|1017 | - |1895 |7551 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
90.79/90.82 c 87.7s|230000 |147408 | 0 | 0.0 | 167M|1017 | - |1895 |5251 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
94.29/94.38 c 91.1s|240000 |154309 | 0 | 0.0 | 175M|1017 | - |1895 |7671 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
97.59/97.64 c 94.2s|250000 |161956 | 0 | 0.0 | 181M|1017 | - |1895 |6191 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
101.20/101.28 c 97.7s|260000 |168755 | 0 | 0.0 | 188M|1017 | - |1895 |6102 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
104.50/104.50 c 101s|270000 |176311 | 0 | 0.0 | 195M|1017 | - |1895 |7408 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
107.89/108.00 c 104s|280000 |183438 | 0 | 0.0 | 201M|1017 | - |1895 |6420 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
111.49/111.57 c 108s|290000 |190345 | 0 | 0.0 | 207M|1017 | - |1895 |6331 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
115.09/115.12 c 111s|300000 |197358 | 0 | 0.0 | 214M|1017 | - |1895 |5100 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
118.09/118.18 c 114s|310000 |205398 | 0 | 0.0 | 220M|1017 | - |1895 |4856 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
121.40/121.47 c 117s|320000 |212429 | 0 | 0.0 | 228M|1017 | - |1895 |5746 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
124.89/124.96 c 120s|330000 |219235 | 0 | 0.0 | 234M|1017 | - |1895 |6021 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
128.49/128.55 c 124s|340000 |225880 | 0 | 0.0 | 241M|1017 | - |1895 |6096 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
132.30/132.36 c 128s|350000 |232201 | 0 | 0.0 | 248M|1017 | - |1895 |6720 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
136.19/136.26 c 131s|360000 |238403 | 0 | 0.0 | 255M|1017 | - |1895 |7005 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
140.39/140.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.39/140.41 c 135s|370000 |244274 | 0 | 0.0 | 262M|1017 | - |1895 |7016 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
144.90/144.98 c 140s|380000 |249526 | 0 | 0.0 | 269M|1017 | - |1895 |7432 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
149.80/149.88 c 145s|390000 |254393 | 0 | 0.0 | 276M|1017 | - |1895 |7695 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
154.90/154.91 c 149s|400000 |259162 | 0 | 0.0 | 283M|1017 | - |1895 |8026 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
160.19/160.23 c 155s|410000 |263614 | 0 | 0.0 | 290M|1017 | - |1895 |8397 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
165.69/165.70 c 160s|420000 |267894 | 0 | 0.0 | 297M|1017 | - |1895 |8911 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
171.50/171.54 c 166s|430000 |271813 | 0 | 0.0 | 303M|1017 | - |1895 |9054 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
177.59/177.63 c 172s|440000 |275428 | 0 | 0.0 | 310M|1017 | - |1895 |9505 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
183.79/183.88 c 178s|450000 |278983 | 0 | 0.0 | 316M|1017 | - |1895 |9955 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
190.30/190.32 c 184s|460000 |282351 | 0 | 0.0 | 323M|1017 | - |1895 | 10k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
196.90/196.97 c 190s|470000 |285669 | 0 | 0.0 | 329M|1017 | - |1895 |9934 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
203.51/203.54 c 197s|480000 |289140 | 0 | 0.0 | 335M|1017 | - |1895 |9738 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
210.30/210.36 c 203s|490000 |292101 | 0 | 0.0 | 342M|1017 | - |1895 | 11k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
217.19/217.21 c 210s|500000 |295169 | 0 | 0.0 | 348M|1017 | - |1895 | 11k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
224.09/224.18 c 217s|510000 |298172 | 0 | 0.0 | 354M|1017 | - |1895 | 12k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
231.59/231.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.59/231.63 c 224s|520000 |300768 | 0 | 0.0 | 360M|1017 | - |1895 | 12k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
239.10/239.10 c 232s|530000 |303344 | 0 | 0.0 | 366M|1017 | - |1895 | 12k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
246.79/246.86 c 239s|540000 |305718 | 0 | 0.0 | 372M|1017 | - |1895 | 12k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
254.80/254.87 c 247s|550000 |307868 | 0 | 0.0 | 378M|1017 | - |1895 | 12k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
263.00/263.06 c 255s|560000 |309785 | 0 | 0.0 | 383M|1017 | - |1895 | 12k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
271.70/271.73 c 263s|570000 |311340 | 0 | 0.0 | 389M|1017 | - |1895 | 13k| 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
280.09/280.17 c 272s|580000 |313215 | 0 | 0.0 | 395M|1017 | - |1895 | 14k| 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
289.69/289.72 c 281s|590000 |314053 | 0 | 0.0 | 399M|1017 | - |1895 | 14k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
299.90/299.91 c 291s|600000 |314435 | 0 | 0.0 | 403M|1017 | - |1895 | 15k| 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
310.69/310.75 c 302s|610000 |314662 | 0 | 0.0 | 407M|1017 | - |1895 | 15k| 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
323.00/323.08 c 314s|620000 |313709 | 0 | 0.0 | 411M|1017 | - |1895 | 17k| 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
337.00/337.01 c 328s|630000 |311596 | 0 | 0.0 | 411M|1017 | - |1895 | 17k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
343.59/343.63 c 334s|640000 |317274 | 0 | 0.0 | 421M|1017 | - |1895 |6481 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
345.70/345.79 o 15
345.70/345.79 c * 336s|646096 |321021 | 0 | 0.0 | 428M|1017 | - |1895 |6455 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
347.19/347.23 c 338s|650000 |324145 | 0 | 0.0 | 437M|1017 | - |1895 |6406 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
350.90/350.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.90/350.97 c 341s|660000 |332086 | 0 | 0.0 | 460M|1017 | - |1895 |6740 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
354.79/354.83 c 345s|670000 |339898 | 0 | 0.0 | 484M|1017 | - |1895 |7274 | 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
358.70/358.73 c 349s|680000 |347683 | 0 | 0.0 | 509M|1017 | - |1895 |7790 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
362.79/362.82 c 353s|690000 |355273 | 0 | 0.0 | 534M|1017 | - |1895 |8069 | 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
366.80/366.87 c 356s|700000 |362945 | 0 | 0.0 | 559M|1017 | - |1895 |8433 | 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
371.00/371.04 c 360s|710000 |370528 | 0 | 0.0 | 584M|1017 | - |1895 |8484 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
375.29/375.38 c 365s|720000 |377948 | 0 | 0.0 | 609M|1017 | - |1895 |8493 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
379.70/379.79 c 369s|730000 |385277 | 0 | 0.0 | 634M|1017 | - |1895 |8734 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
384.10/384.15 c 373s|740000 |392693 | 0 | 0.0 | 659M|1017 | - |1895 |8781 | 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
388.60/388.63 c 377s|750000 |400022 | 0 | 0.0 | 685M|1017 | - |1895 |8811 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
393.00/393.07 c 382s|760000 |407401 | 0 | 0.0 | 710M|1017 | - |1895 |9303 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
397.60/397.69 c 386s|770000 |414580 | 0 | 0.0 | 735M|1017 | - |1895 |9131 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
402.39/402.48 c 391s|780000 |421576 | 0 | 0.0 | 759M|1017 | - |1895 |9329 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
407.70/407.70 c 396s|790000 |428435 | 0 | 0.0 | 783M|1017 | - |1895 |9465 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
413.00/413.05 c 401s|800000 |435192 | 0 | 0.0 | 805M|1017 | - |1895 |9544 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
418.40/418.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.40/418.46 c 406s|810000 |441920 | 0 | 0.0 | 826M|1017 | - |1895 |9823 | 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
423.60/423.69 c 411s|820000 |448796 | 0 | 0.0 | 845M|1017 | - |1895 |9593 | 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
429.20/429.26 c 416s|830000 |455429 | 0 | 0.0 | 867M|1017 | - |1895 |9629 | 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
434.99/435.03 c 421s|840000 |461876 | 0 | 0.0 | 889M|1017 | - |1895 | 10k| 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
441.01/441.01 c 427s|850000 |468104 | 0 | 0.0 | 911M|1017 | - |1895 | 10k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
447.00/447.01 c 432s|860000 |474341 | 0 | 0.0 | 928M|1017 | - |1895 | 10k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
452.70/452.79 c 438s|870000 |480809 | 0 | 0.0 | 944M|1017 | - |1895 |9507 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
459.00/459.03 c 443s|880000 |486746 | 0 | 0.0 | 964M|1017 | - |1895 |9989 | 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
465.50/465.53 c 449s|890000 |492515 | 0 | 0.0 | 984M|1017 | - |1895 | 10k| 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
472.00/472.09 c 456s|900000 |498198 | 0 | 0.0 |1002M|1017 | - |1895 | 11k| 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
478.20/478.24 c 461s|910000 |504300 | 0 | 0.0 |1014M|1017 | - |1895 | 10k| 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
485.11/485.15 c 468s|920000 |509871 | 0 | 0.0 |1031M|1017 | - |1895 | 11k| 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
492.40/492.40 c 475s|930000 |515214 | 0 | 0.0 |1048M|1017 | - |1895 | 11k| 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
499.50/499.53 c 481s|940000 |520552 | 0 | 0.0 |1064M|1017 | - |1895 | 12k| 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
506.80/506.85 c 488s|950000 |525766 | 0 | 0.0 |1078M|1017 | - |1895 | 11k| 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
514.30/514.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.30/514.35 c 495s|960000 |530920 | 0 | 0.0 |1090M|1017 | - |1895 | 11k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
521.70/521.77 c 502s|970000 |536026 | 0 | 0.0 |1102M|1017 | - |1895 | 12k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
529.70/529.76 c 510s|980000 |540784 | 0 | 0.0 |1115M|1017 | - |1895 | 12k| 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
538.10/538.13 c 518s|990000 |545266 | 0 | 0.0 |1128M|1017 | - |1895 | 13k| 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
546.80/546.81 c 526s| 1000k|549605 | 0 | 0.0 |1139M|1017 | - |1895 | 13k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
555.60/555.65 c 534s| 1010k|553876 | 0 | 0.0 |1151M|1017 | - |1895 | 13k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
565.50/565.57 c 544s| 1020k|557335 | 0 | 0.0 |1161M|1017 | - |1895 | 14k| 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
576.20/576.29 c 554s| 1030k|560331 | 0 | 0.0 |1171M|1017 | - |1895 | 15k| 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
589.30/589.38 c 566s| 1040k|561566 | 0 | 0.0 |1180M|1017 | - |1895 | 17k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
594.01/594.04 c 571s| 1050k|569337 | 0 | 0.0 |1185M|1017 | - |1895 | 10k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
597.70/597.74 c 574s| 1060k|577303 | 0 | 0.0 |1194M|1017 | - |1895 | 10k| 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
601.71/601.75 c 578s| 1070k|584981 | 0 | 0.0 |1203M|1017 | - |1895 | 11k| 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
606.20/606.22 c 582s| 1080k|592335 | 0 | 0.0 |1213M|1017 | - |1895 | 12k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
611.00/611.00 c 586s| 1090k|599454 | 0 | 0.0 |1223M|1017 | - |1895 | 13k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
616.50/616.53 c 591s| 1100k|606018 | 0 | 0.0 |1233M|1017 | - |1895 | 14k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
622.80/622.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.80/622.83 c 597s| 1110k|611973 | 0 | 0.0 |1244M|1017 | - |1895 | 15k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
629.90/629.90 c 604s| 1120k|617307 | 0 | 0.0 |1254M|1017 | - |1895 | 15k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
638.01/638.01 c 612s| 1130k|621717 | 0 | 0.0 |1264M|1017 | - |1895 | 16k| 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
648.91/648.91 c 622s| 1140k|623757 | 0 | 0.0 |1273M|1017 | - |1895 | 18k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
653.90/653.91 c 627s| 1150k|631399 | 0 | 0.0 |1279M|1017 | - |1895 | 12k| 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
657.81/657.89 c 630s| 1160k|639226 | 0 | 0.0 |1287M|1017 | - |1895 | 11k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
662.00/662.06 c 634s| 1170k|646758 | 0 | 0.0 |1296M|1017 | - |1895 | 12k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
666.61/666.61 c 638s| 1180k|653987 | 0 | 0.0 |1304M|1017 | - |1895 | 12k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
671.40/671.45 c 643s| 1190k|660925 | 0 | 0.0 |1314M|1017 | - |1895 | 13k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
676.80/676.80 c 648s| 1200k|667516 | 0 | 0.0 |1323M|1017 | - |1895 | 14k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
682.80/682.86 c 654s| 1210k|673455 | 0 | 0.0 |1332M|1017 | - |1895 | 15k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
690.00/690.08 c 660s| 1220k|678471 | 0 | 0.0 |1341M|1017 | - |1895 | 16k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
697.31/697.32 c 667s| 1230k|681867 | 0 | 0.0 |1345M|1017 | - |1895 | 10k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
703.80/703.87 c 673s| 1240k|685721 | 0 | 0.0 |1349M|1017 | - |1895 |7492 | 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
707.21/707.26 c 676s| 1250k|693517 | 0 | 0.0 |1355M|1017 | - |1895 |7857 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
710.81/710.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.81/710.81 c 680s| 1260k|701044 | 0 | 0.0 |1362M|1017 | - |1895 |8277 | 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
714.70/714.78 c 683s| 1270k|707941 | 0 | 0.0 |1368M|1017 | - |1895 |8696 | 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
719.11/719.11 c 687s| 1280k|714327 | 0 | 0.0 |1375M|1017 | - |1895 |9237 | 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
723.91/723.96 c 692s| 1290k|720111 | 0 | 0.0 |1382M|1017 | - |1895 |9786 | 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
729.40/729.42 c 697s| 1300k|725107 | 0 | 0.0 |1388M|1017 | - |1895 | 10k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
736.10/736.14 c 703s| 1310k|728620 | 0 | 0.0 |1395M|1017 | - |1895 | 11k| 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
743.81/743.88 c 710s| 1320k|731007 | 0 | 0.0 |1399M|1017 | - |1895 |9211 | 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
747.10/747.13 c 713s| 1330k|738904 | 0 | 0.0 |1405M|1017 | - |1895 |7647 | 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
750.71/750.75 c 717s| 1340k|746226 | 0 | 0.0 |1412M|1017 | - |1895 |8449 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
754.71/754.79 c 720s| 1350k|752960 | 0 | 0.0 |1418M|1017 | - |1895 |9130 | 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
759.20/759.23 c 724s| 1360k|759158 | 0 | 0.0 |1425M|1017 | - |1895 |9638 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
764.30/764.34 c 729s| 1370k|764496 | 0 | 0.0 |1432M|1017 | - |1895 | 10k| 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
770.71/770.71 c 735s| 1380k|768620 | 0 | 0.0 |1439M|1017 | - |1895 | 11k| 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
776.70/776.78 c 740s| 1390k|773223 | 0 | 0.0 |1443M|1017 | - |1895 |8721 | 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
781.01/781.09 c 744s| 1400k|779762 | 0 | 0.0 |1449M|1017 | - |1895 |8482 | 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
785.00/785.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.00/785.07 c 748s| 1410k|786685 | 0 | 0.0 |1456M|1017 | - |1895 |9226 | 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
789.51/789.54 c 752s| 1420k|793050 | 0 | 0.0 |1462M|1017 | - |1895 | 10k| 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
794.60/794.61 c 757s| 1430k|798736 | 0 | 0.0 |1469M|1017 | - |1895 | 10k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
801.10/801.13 c 763s| 1440k|802923 | 0 | 0.0 |1475M|1017 | - |1895 | 13k| 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
808.81/808.88 c 770s| 1450k|805988 | 0 | 0.0 |1477M|1017 | - |1895 |4580 | 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
811.81/811.81 c 773s| 1460k|814227 | 0 | 0.0 |1483M|1017 | - |1895 |3897 | 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
815.11/815.14 c 776s| 1470k|821678 | 0 | 0.0 |1491M|1017 | - |1895 |5009 | 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
819.10/819.18 c 779s| 1480k|828109 | 0 | 0.0 |1498M|1017 | - |1895 |5187 | 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
822.51/822.59 c 782s| 1490k|835450 | 0 | 0.0 |1504M|1017 | - |1895 |4892 | 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
826.01/826.09 c 786s| 1500k|842654 | 0 | 0.0 |1511M|1017 | - |1895 |4126 | 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
830.01/830.07 c 789s| 1510k|848984 | 0 | 0.0 |1518M|1017 | - |1895 |5245 | 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
832.81/832.89 c 792s| 1520k|857227 | 0 | 0.0 |1524M|1017 | - |1895 |4061 | 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
836.21/836.24 c 795s| 1530k|864456 | 0 | 0.0 |1531M|1017 | - |1895 |5700 | 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
840.31/840.33 c 798s| 1540k|870739 | 0 | 0.0 |1536M|1017 | - |1895 |4209 | 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
844.00/844.06 c 802s| 1550k|877320 | 0 | 0.0 |1543M|1017 | - |1895 |5631 | 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
846.91/846.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.91/846.95 c 804s| 1560k|885491 | 0 | 0.0 |1549M|1017 | - |1895 |3747 | 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
851.31/851.36 c 808s| 1570k|891019 | 0 | 0.0 |1556M|1017 | - |1895 |5819 | 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
856.40/856.48 c 813s| 1580k|895819 | 0 | 0.0 |1562M|1017 | - |1895 |6624 | 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
861.91/861.97 c 818s| 1590k|900299 | 0 | 0.0 |1569M|1017 | - |1895 |6429 | 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
867.91/867.97 c 824s| 1600k|904231 | 0 | 0.0 |1575M|1017 | - |1895 |5900 | 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
873.80/873.89 c 829s| 1610k|908239 | 0 | 0.0 |1581M|1017 | - |1895 |7455 | 0 | 0 | 0 |1445k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
880.11/880.13 c 835s| 1620k|911853 | 0 | 0.0 |1587M|1017 | - |1895 |8258 | 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
886.81/886.81 c 841s| 1630k|915099 | 0 | 0.0 |1593M|1017 | - |1895 |8187 | 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
893.41/893.41 c 848s| 1640k|918706 | 0 | 0.0 |1598M|1017 | - |1895 |6504 | 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
900.20/900.22 c 854s| 1650k|921790 | 0 | 0.0 |1605M|1017 | - |1895 |9204 | 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
908.01/908.09 c 862s| 1660k|923944 | 0 | 0.0 |1609M|1017 | - |1895 |8730 | 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
914.81/914.81 c 868s| 1670k|927554 | 0 | 0.0 |1616M|1017 | - |1895 |9981 | 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
923.01/923.03 c 876s| 1680k|929410 | 0 | 0.0 |1620M|1017 | - |1895 |9556 | 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
930.10/930.15 c 882s| 1690k|932755 | 0 | 0.0 |1627M|1017 | - |1895 | 10k| 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
938.81/938.89 c 891s| 1700k|934293 | 0 | 0.0 |1631M|1017 | - |1895 |9754 | 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
946.31/946.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.31/946.31 c 898s| 1710k|937390 | 0 | 0.0 |1637M|1017 | - |1895 | 10k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
955.51/955.50 c 906s| 1720k|938431 | 0 | 0.0 |1640M|1017 | - |1895 |9818 | 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
963.01/963.09 c 914s| 1730k|941436 | 0 | 0.0 |1645M|1017 | - |1895 | 10k| 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
971.60/971.64 c 922s| 1740k|942987 | 0 | 0.0 |1647M|1017 | - |1895 |9661 | 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
980.41/980.41 c 930s| 1750k|944880 | 0 | 0.0 |1653M|1017 | - |1895 | 10k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
991.11/991.15 c 940s| 1760k|944899 | 0 | 0.0 |1655M|1017 | - |1895 | 10k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1001.51/1001.56 c 950s| 1770k|945364 | 0 | 0.0 |1657M|1017 | - |1895 |9139 | 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1012.31/1012.30 c 961s| 1780k|945594 | 0 | 0.0 |1661M|1017 | - |1895 | 10k| 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1023.61/1023.67 c 972s| 1790k|944757 | 0 | 0.0 |1663M|1017 | - |1895 | 11k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1034.91/1034.98 c 982s| 1800k|944345 | 0 | 0.0 |1664M|1017 | - |1895 | 10k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1046.11/1046.12 c 993s| 1810k|944471 | 0 | 0.0 |1667M|1017 | - |1895 |9280 | 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1057.71/1057.75 c 1004s| 1820k|943989 | 0 | 0.0 |1670M|1017 | - |1895 | 10k| 0 | 0 | 0 |1723k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1070.01/1070.05 c 1016s| 1830k|942557 | 0 | 0.0 |1671M|1017 | - |1895 | 11k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1082.51/1082.51 c 1028s| 1840k|941219 | 0 | 0.0 |1671M|1017 | - |1895 | 12k| 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1094.91/1094.94 c 1040s| 1850k|939851 | 0 | 0.0 |1672M|1017 | - |1895 | 11k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1107.21/1107.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1107.21/1107.22 c 1052s| 1860k|938871 | 0 | 0.0 |1672M|1017 | - |1895 | 11k| 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1118.81/1118.82 c 1063s| 1870k|938156 | 0 | 0.0 |1674M|1017 | - |1895 | 10k| 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1131.41/1131.49 c 1076s| 1880k|936859 | 0 | 0.0 |1675M|1017 | - |1895 | 10k| 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1144.61/1144.61 c 1088s| 1890k|935289 | 0 | 0.0 |1675M|1017 | - |1895 | 10k| 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1157.91/1157.93 c 1101s| 1900k|933555 | 0 | 0.0 |1675M|1017 | - |1895 | 10k| 0 | 0 | 0 |1868k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1171.31/1171.39 c 1114s| 1910k|931506 | 0 | 0.0 |1674M|1017 | - |1895 | 11k| 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1185.62/1185.63 c 1128s| 1920k|928757 | 0 | 0.0 |1673M|1017 | - |1895 | 12k| 0 | 0 | 0 |1907k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1199.62/1199.60 c 1142s| 1930k|926581 | 0 | 0.0 |1672M|1017 | - |1895 | 11k| 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1214.82/1214.87 c 1157s| 1940k|923025 | 0 | 0.0 |1668M|1017 | - |1895 | 12k| 0 | 0 | 0 |1949k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1230.31/1230.36 c 1172s| 1950k|919608 | 0 | 0.0 |1665M|1017 | - |1895 | 12k| 0 | 0 | 0 |1971k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1246.12/1246.17 c 1187s| 1960k|915652 | 0 | 0.0 |1660M|1017 | - |1895 | 11k| 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1262.01/1262.01 c 1202s| 1970k|909013 | 0 | 0.0 |1648M|1017 | - |1895 |9789 | 0 | 0 | 0 |2019k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1271.01/1271.04 c 1211s| 1980k|908627 | 0 | 0.0 |1639M|1017 | - |1895 |4769 | 0 | 0 | 0 |2032k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1275.21/1275.23 c 1215s| 1990k|915391 | 0 | 0.0 |1646M|1017 | - |1895 |4783 | 0 | 0 | 0 |2037k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1279.01/1279.09 c 1218s| 2000k|922391 | 0 | 0.0 |1652M|1017 | - |1895 |5409 | 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1283.41/1283.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1283.41/1283.48 c 1222s| 2010k|928978 | 0 | 0.0 |1659M|1017 | - |1895 |5228 | 0 | 0 | 0 |2047k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1287.82/1287.87 c 1226s| 2020k|935478 | 0 | 0.0 |1665M|1017 | - |1895 |5354 | 0 | 0 | 0 |2053k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1292.02/1292.00 c 1230s| 2030k|942316 | 0 | 0.0 |1672M|1017 | - |1895 |5268 | 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1296.12/1296.15 c 1234s| 2040k|949032 | 0 | 0.0 |1679M|1017 | - |1895 |5899 | 0 | 0 | 0 |2063k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1300.32/1300.36 c 1238s| 2050k|955649 | 0 | 0.0 |1685M|1017 | - |1895 |5868 | 0 | 0 | 0 |2068k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1304.62/1304.67 c 1242s| 2060k|962141 | 0 | 0.0 |1691M|1017 | - |1895 |5578 | 0 | 0 | 0 |2074k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1308.82/1308.80 c 1246s| 2070k|968794 | 0 | 0.0 |1698M|1017 | - |1895 |6163 | 0 | 0 | 0 |2079k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1313.32/1313.34 c 1250s| 2080k|975034 | 0 | 0.0 |1704M|1017 | - |1895 |6137 | 0 | 0 | 0 |2085k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1317.41/1317.41 c 1254s| 2090k|981792 | 0 | 0.0 |1711M|1017 | - |1895 |6387 | 0 | 0 | 0 |2090k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1321.82/1321.88 c 1258s| 2100k|988019 | 0 | 0.0 |1717M|1017 | - |1895 |6358 | 0 | 0 | 0 |2096k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1325.91/1325.93 c 1261s| 2110k|994765 | 0 | 0.0 |1724M|1017 | - |1895 |6645 | 0 | 0 | 0 |2101k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1330.21/1330.28 c 1265s| 2120k| 1001k| 0 | 0.0 |1730M|1017 | - |1895 |5978 | 0 | 0 | 0 |2107k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1334.91/1334.91 c 1270s| 2130k| 1007k| 0 | 0.0 |1737M|1017 | - |1895 |6829 | 0 | 0 | 0 |2113k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1339.12/1339.17 c 1274s| 2140k| 1013k| 0 | 0.0 |1743M|1017 | - |1895 |6683 | 0 | 0 | 0 |2119k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1343.91/1343.98 c 1278s| 2150k| 1019k| 0 | 0.0 |1750M|1017 | - |1895 |7013 | 0 | 0 | 0 |2125k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1348.31/1348.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1348.31/1348.32 c 1282s| 2160k| 1026k| 0 | 0.0 |1757M|1017 | - |1895 |6915 | 0 | 0 | 0 |2131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1352.62/1352.68 c 1286s| 2170k| 1032k| 0 | 0.0 |1763M|1017 | - |1895 |5816 | 0 | 0 | 0 |2136k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1357.61/1357.63 c 1291s| 2180k| 1038k| 0 | 0.0 |1770M|1017 | - |1895 |7148 | 0 | 0 | 0 |2143k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1362.02/1362.02 c 1295s| 2190k| 1044k| 0 | 0.0 |1776M|1017 | - |1895 |7060 | 0 | 0 | 0 |2149k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1366.52/1366.58 c 1299s| 2200k| 1050k| 0 | 0.0 |1782M|1017 | - |1895 |5865 | 0 | 0 | 0 |2155k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1371.72/1371.75 c 1304s| 2210k| 1055k| 0 | 0.0 |1789M|1017 | - |1895 |7509 | 0 | 0 | 0 |2162k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1376.32/1376.37 c 1308s| 2220k| 1062k| 0 | 0.0 |1796M|1017 | - |1895 |7297 | 0 | 0 | 0 |2169k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1381.11/1381.17 c 1313s| 2230k| 1068k| 0 | 0.0 |1802M|1017 | - |1895 |5735 | 0 | 0 | 0 |2175k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1386.61/1386.69 c 1318s| 2240k| 1073k| 0 | 0.0 |1809M|1017 | - |1895 |7634 | 0 | 0 | 0 |2183k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1391.21/1391.24 c 1322s| 2250k| 1079k| 0 | 0.0 |1815M|1017 | - |1895 |7453 | 0 | 0 | 0 |2189k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1396.12/1396.14 c 1327s| 2260k| 1085k| 0 | 0.0 |1821M|1017 | - |1895 |6457 | 0 | 0 | 0 |2195k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1401.81/1401.89 c 1332s| 2270k| 1090k| 0 | 0.0 |1827M|1017 | - |1895 |8019 | 0 | 0 | 0 |2204k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1406.61/1406.67 c 1337s| 2280k| 1096k| 0 | 0.0 |1834M|1017 | - |1895 |7651 | 0 | 0 | 0 |2210k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1411.72/1411.74 c 1341s| 2290k| 1102k| 0 | 0.0 |1841M|1017 | - |1895 |7318 | 0 | 0 | 0 |2217k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1417.02/1417.00 o 14
1417.02/1417.00 c *1346s| 2299k| 1105k| 0 | 0.0 |1842M|1017 | - |1895 |7308 | 0 | 0 | 0 |2225k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1417.11/1417.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.11/1417.19 c 1346s| 2300k| 1105k| 0 | 0.0 |1842M|1017 | - |1895 |7407 | 0 | 0 | 0 |2225k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1422.81/1422.80 c 1352s| 2310k| 1111k| 0 | 0.0 |1850M|1017 | - |1895 |7888 | 0 | 0 | 0 |2232k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1427.92/1427.94 c 1356s| 2320k| 1117k| 0 | 0.0 |1857M|1017 | - |1895 |7635 | 0 | 0 | 0 |2239k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1433.22/1433.24 c 1361s| 2330k| 1122k| 0 | 0.0 |1865M|1017 | - |1895 |6327 | 0 | 0 | 0 |2246k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1439.31/1439.37 c 1367s| 2340k| 1127k| 0 | 0.0 |1873M|1017 | - |1895 |8222 | 0 | 0 | 0 |2255k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1444.62/1444.62 c 1372s| 2350k| 1132k| 0 | 0.0 |1880M|1017 | - |1895 |7718 | 0 | 0 | 0 |2262k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1449.51/1449.56 c 1376s| 2360k| 1138k| 0 | 0.0 |1887M|1017 | - |1895 |7193 | 0 | 0 | 0 |2269k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1454.71/1454.79 c 1381s| 2370k| 1144k| 0 | 0.0 |1893M|1017 | - |1895 |5768 | 0 | 0 | 0 |2276k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1461.12/1461.11 c 1387s| 2380k| 1148k| 0 | 0.0 |1901M|1017 | - |1895 |8509 | 0 | 0 | 0 |2285k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1466.33/1466.37 c 1392s| 2390k| 1154k| 0 | 0.0 |1907M|1017 | - |1895 |7969 | 0 | 0 | 0 |2293k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1471.52/1471.51 c 1396s| 2400k| 1159k| 0 | 0.0 |1914M|1017 | - |1895 |7307 | 0 | 0 | 0 |2300k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1476.71/1476.77 c 1401s| 2410k| 1165k| 0 | 0.0 |1920M|1017 | - |1895 |5843 | 0 | 0 | 0 |2307k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1483.11/1483.12 c 1407s| 2420k| 1169k| 0 | 0.0 |1927M|1017 | - |1895 |8371 | 0 | 0 | 0 |2316k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1488.32/1488.37 c 1412s| 2430k| 1174k| 0 | 0.0 |1934M|1017 | - |1895 |7581 | 0 | 0 | 0 |2324k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1493.41/1493.43 c 1417s| 2440k| 1180k| 0 | 0.0 |1941M|1017 | - |1895 |7347 | 0 | 0 | 0 |2331k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1498.42/1498.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1498.42/1498.46 c 1421s| 2450k| 1186k| 0 | 0.0 |1947M|1017 | - |1895 |6026 | 0 | 0 | 0 |2338k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1504.82/1504.89 c 1427s| 2460k| 1190k| 0 | 0.0 |1954M|1017 | - |1895 |8661 | 0 | 0 | 0 |2348k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1510.32/1510.33 c 1432s| 2470k| 1195k| 0 | 0.0 |1961M|1017 | - |1895 |8124 | 0 | 0 | 0 |2355k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1515.42/1515.46 c 1437s| 2480k| 1201k| 0 | 0.0 |1968M|1017 | - |1895 |7592 | 0 | 0 | 0 |2363k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1520.22/1520.29 c 1441s| 2490k| 1206k| 0 | 0.0 |1974M|1017 | - |1895 |6876 | 0 | 0 | 0 |2370k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1526.02/1526.08 c 1447s| 2500k| 1211k| 0 | 0.0 |1981M|1017 | - |1895 |7850 | 0 | 0 | 0 |2378k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1532.22/1532.30 c 1453s| 2510k| 1216k| 0 | 0.0 |1988M|1017 | - |1895 |8632 | 0 | 0 | 0 |2388k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1537.72/1537.78 c 1458s| 2520k| 1221k| 0 | 0.0 |1994M|1017 | - |1895 |8186 | 0 | 0 | 0 |2395k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1542.91/1542.93 c 1462s| 2530k| 1226k| 0 | 0.0 |2001M|1017 | - |1895 |7563 | 0 | 0 | 0 |2403k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1547.82/1547.82 c 1467s| 2540k| 1232k| 0 | 0.0 |2007M|1017 | - |1895 |6129 | 0 | 0 | 0 |2409k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1554.61/1554.60 c 1473s| 2550k| 1236k| 0 | 0.0 |2014M|1017 | - |1895 |9088 | 0 | 0 | 0 |2420k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1560.71/1560.70 c 1479s| 2560k| 1241k| 0 | 0.0 |2020M|1017 | - |1895 |8328 | 0 | 0 | 0 |2428k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1566.12/1566.19 c 1484s| 2570k| 1246k| 0 | 0.0 |2026M|1017 | - |1895 |7927 | 0 | 0 | 0 |2436k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1571.32/1571.30 c 1489s| 2580k| 1251k| 0 | 0.0 |2032M|1017 | - |1895 |7500 | 0 | 0 | 0 |2444k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1576.41/1576.47 c 1493s| 2590k| 1257k| 0 | 0.0 |2038M|1017 | - |1895 |5609 | 0 | 0 | 0 |2451k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1583.61/1583.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.61/1583.65 c 1500s| 2600k| 1260k| 0 | 0.0 |2045M|1017 | - |1895 |9127 | 0 | 0 | 0 |2463k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1589.72/1589.73 c 1506s| 2610k| 1265k| 0 | 0.0 |2051M|1017 | - |1895 |8530 | 0 | 0 | 0 |2471k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1595.03/1595.09 c 1511s| 2620k| 1270k| 0 | 0.0 |2057M|1017 | - |1895 |7952 | 0 | 0 | 0 |2479k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1600.12/1600.16 c 1515s| 2630k| 1276k| 0 | 0.0 |2064M|1017 | - |1895 |7383 | 0 | 0 | 0 |2486k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1605.62/1605.62 c 1520s| 2640k| 1281k| 0 | 0.0 |2069M|1017 | - |1895 |6647 | 0 | 0 | 0 |2495k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1612.53/1612.56 c 1527s| 2650k| 1284k| 0 | 0.0 |2076M|1017 | - |1895 |9143 | 0 | 0 | 0 |2505k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1618.81/1618.83 c 1532s| 2660k| 1289k| 0 | 0.0 |2081M|1017 | - |1895 |8691 | 0 | 0 | 0 |2514k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1624.02/1624.07 c 1537s| 2670k| 1294k| 0 | 0.0 |2087M|1017 | - |1895 |7803 | 0 | 0 | 0 |2522k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1628.91/1628.99 c 1542s| 2680k| 1300k| 0 | 0.0 |2094M|1017 | - |1895 |7701 | 0 | 0 | 0 |2529k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1634.32/1634.31 c 1547s| 2690k| 1306k| 0 | 0.0 |2100M|1017 | - |1895 |5559 | 0 | 0 | 0 |2537k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1641.92/1641.96 c 1554s| 2700k| 1308k| 0 | 0.0 |2106M|1017 | - |1895 |9324 | 0 | 0 | 0 |2549k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1648.32/1648.31 c 1560s| 2710k| 1312k| 0 | 0.0 |2112M|1017 | - |1895 |8403 | 0 | 0 | 0 |2558k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1653.81/1653.84 c 1565s| 2720k| 1318k| 0 | 0.0 |2117M|1017 | - |1895 |7918 | 0 | 0 | 0 |2566k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1659.22/1659.27 c 1570s| 2730k| 1323k| 0 | 0.0 |2124M|1017 | - |1895 |7740 | 0 | 0 | 0 |2574k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1665.72/1665.77 c 1576s| 2740k| 1326k| 0 | 0.0 |2130M|1017 | - |1895 |7570 | 0 | 0 | 0 |2584k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1673.32/1673.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.32/1673.30 c 1583s| 2750k| 1329k| 0 | 0.0 |2136M|1017 | - |1895 |9383 | 0 | 0 | 0 |2596k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1679.42/1679.44 c 1589s| 2760k| 1334k| 0 | 0.0 |2141M|1017 | - |1895 |8447 | 0 | 0 | 0 |2605k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1685.32/1685.36 c 1594s| 2770k| 1339k| 0 | 0.0 |2148M|1017 | - |1895 |8328 | 0 | 0 | 0 |2614k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1691.32/1691.34 c 1600s| 2780k| 1344k| 0 | 0.0 |2154M|1017 | - |1895 |7261 | 0 | 0 | 0 |2622k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1698.33/1698.31 c 1606s| 2790k| 1347k| 0 | 0.0 |2160M|1017 | - |1895 |9215 | 0 | 0 | 0 |2634k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1705.62/1705.66 c 1613s| 2800k| 1350k| 0 | 0.0 |2165M|1017 | - |1895 |9677 | 0 | 0 | 0 |2645k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1712.01/1712.04 c 1619s| 2810k| 1355k| 0 | 0.0 |2171M|1017 | - |1895 |8783 | 0 | 0 | 0 |2654k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1718.02/1718.07 c 1625s| 2820k| 1359k| 0 | 0.0 |2177M|1017 | - |1895 |8120 | 0 | 0 | 0 |2663k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1724.02/1724.03 c 1631s| 2830k| 1364k| 0 | 0.0 |2183M|1017 | - |1895 |6332 | 0 | 0 | 0 |2672k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1732.12/1732.19 c 1638s| 2840k| 1366k| 0 | 0.0 |2188M|1017 | - |1895 | 10k| 0 | 0 | 0 |2684k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1739.42/1739.41 c 1645s| 2850k| 1370k| 0 | 0.0 |2193M|1017 | - |1895 |9398 | 0 | 0 | 0 |2695k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1745.82/1745.84 c 1651s| 2860k| 1374k| 0 | 0.0 |2199M|1017 | - |1895 |8647 | 0 | 0 | 0 |2704k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1751.72/1751.73 c 1657s| 2870k| 1379k| 0 | 0.0 |2205M|1017 | - |1895 |7994 | 0 | 0 | 0 |2713k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1758.93/1758.96 c 1664s| 2880k| 1382k| 0 | 0.0 |2211M|1017 | - |1895 |8915 | 0 | 0 | 0 |2724k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1766.92/1766.95 c 1671s| 2890k| 1384k| 0 | 0.0 |2215M|1017 | - |1895 |9765 | 0 | 0 | 0 |2736k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1773.72/1773.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.72/1773.79 c 1678s| 2900k| 1388k| 0 | 0.0 |2221M|1017 | - |1895 |8979 | 0 | 0 | 0 |2746k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1780.02/1780.04 c 1683s| 2910k| 1393k| 0 | 0.0 |2227M|1017 | - |1895 |8313 | 0 | 0 | 0 |2756k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1786.22/1786.26 c 1689s| 2920k| 1397k| 0 | 0.0 |2233M|1017 | - |1895 |6102 | 0 | 0 | 0 |2765k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1795.32/1795.33 c 1698s| 2930k| 1398k| 0 | 0.0 |2237M|1017 | - |1895 | 10k| 0 | 0 | 0 |2779k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1702.40
1800.02/1800.00 c Solving Nodes : 2936219
1800.02/1800.00 c Primal Bound : +1.40000000000000e+01 (25 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.02 s SATISFIABLE
1800.02/1800.02 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210
1800.02/1800.02 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
1800.02/1800.02 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.02 v -x167 -x166 x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.02 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125
1800.02/1800.02 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.02/1800.02 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.02/1800.02 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.02/1800.02 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.02/1800.02 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.02/1800.02 v -x1
1800.02/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.02 c Solving Time : 1702.40
1800.02/1800.02 c Original Problem :
1800.02/1800.02 c Problem name : HOME/instance-2694045-1277902433.wbo
1800.02/1800.02 c Variables : 2039 (1135 binary, 0 integer, 0 implicit integer, 904 continuous)
1800.02/1800.02 c Constraints : 3612 initial, 3612 maximal
1800.02/1800.02 c Presolved Problem :
1800.02/1800.02 c Problem name : t_HOME/instance-2694045-1277902433.wbo
1800.02/1800.02 c Variables : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous)
1800.02/1800.02 c Constraints : 3298 initial, 18918 maximal
1800.02/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.02 c trivial : 0.00 72 0 0 0 0 0 0 0
1800.02/1800.02 c dualfix : 0.00 72 0 0 0 0 0 0 0
1800.02/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.02 c indicator : 0.00 0 0 0 0 0 72 0 0
1800.02/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c linear : 0.06 0 0 0 933 0 242 170 0
1800.02/1800.02 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c root node : - 711 - - 1422 - - - -
1800.02/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.02 c indicator : 832 0 5891046 0 1699792 518 7137049 0 0 0
1800.02/1800.02 c knapsack : 1 0 9333621 0 2370323 211315 26489745 0 0 0
1800.02/1800.02 c setppc : 18 0 9151278 0 2369862 138298 9218321 0 0 0
1800.02/1800.02 c linear : 832 0 9013830 0 2370396 125774 9567962 0 0 0
1800.02/1800.02 c logicor : 1615+ 0 6839505 0 2370415 418903 17434140 0 0 0
1800.02/1800.02 c bounddisjunction : 0+ 0 63201 0 0 0 12036 0 0 0
1800.02/1800.02 c countsols : 0 0 0 0 2370412 0 0 0 0 0
1800.02/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.02 c indicator : 17.83 0.00 9.92 0.00 7.91
1800.02/1800.02 c knapsack : 97.05 0.00 93.10 0.00 3.95
1800.02/1800.02 c setppc : 37.88 0.00 33.20 0.00 4.68
1800.02/1800.02 c linear : 130.14 0.00 129.11 0.00 1.03
1800.02/1800.02 c logicor : 514.33 0.00 410.74 0.00 103.59
1800.02/1800.02 c bounddisjunction : 0.14 0.00 0.14 0.00 0.00
1800.02/1800.02 c countsols : 0.12 0.00 0.00 0.00 0.12
1800.02/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.02 c vbounds : 0.55 2 0 0
1800.02/1800.02 c rootredcost : 0.44 0 0 0
1800.02/1800.02 c pseudoobj : 166.01 9367723 3864 7014979
1800.02/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.02 c propagation : 32.64 898154 898136 4374769 21.0 236452 9.3 -
1800.02/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.02 c pseudo solution : 0.02 47 47 248 21.0 35 9.9 -
1800.02/1800.02 c applied globally : - - - 2786195 18.4 - - -
1800.02/1800.02 c applied locally : - - - 19 120.7 - - -
1800.02/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.02 c redcost : 0.00 0 0 0 0 0
1800.02/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.02 c intobj : 0.00 0 0 0 0 0
1800.02/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.02 c gomory : 0.00 0 0 0 0 0
1800.02/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.02 c cmir : 0.00 0 0 0 0 0
1800.02/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.02 c clique : 0.00 0 0 0 0 0
1800.02/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.02 c mcf : 0.00 0 0 0 0 0
1800.02/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.02 c Pricers : Time Calls Vars
1800.02/1800.02 c problem variables: 0.00 0 0
1800.02/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.02 c inference : 38.65 2370387 0 0 0 0 4740774
1800.02/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.02 c random : 0.00 0 0 0 0 0 0
1800.02/1800.02 c Primal Heuristics : Time Calls Found
1800.02/1800.02 c LP solutions : 0.00 - 0
1800.02/1800.02 c pseudo solutions : 0.06 - 25
1800.02/1800.02 c oneopt : 0.36 0 0
1800.02/1800.02 c trivial : 0.00 2 0
1800.02/1800.02 c simplerounding : 0.00 0 0
1800.02/1800.02 c zirounding : 0.00 0 0
1800.02/1800.02 c rounding : 0.00 0 0
1800.02/1800.02 c shifting : 0.00 0 0
1800.02/1800.02 c intshifting : 0.00 0 0
1800.02/1800.02 c twoopt : 0.00 0 0
1800.02/1800.02 c fixandinfer : 0.00 0 0
1800.02/1800.02 c feaspump : 0.00 0 0
1800.02/1800.02 c coefdiving : 0.00 0 0
1800.02/1800.02 c pscostdiving : 0.00 0 0
1800.02/1800.02 c fracdiving : 0.00 0 0
1800.02/1800.02 c veclendiving : 0.00 0 0
1800.02/1800.02 c intdiving : 0.00 0 0
1800.02/1800.02 c actconsdiving : 0.00 0 0
1800.02/1800.02 c objpscostdiving : 0.00 0 0
1800.02/1800.02 c rootsoldiving : 0.00 0 0
1800.02/1800.02 c linesearchdiving : 0.00 0 0
1800.02/1800.02 c guideddiving : 0.00 0 0
1800.02/1800.02 c octane : 0.00 0 0
1800.02/1800.02 c rens : 0.00 0 0
1800.02/1800.02 c rins : 0.00 0 0
1800.02/1800.02 c localbranching : 0.00 0 0
1800.02/1800.02 c mutation : 0.00 0 0
1800.02/1800.02 c crossover : 0.00 0 0
1800.02/1800.02 c dins : 0.00 0 0
1800.02/1800.02 c undercover : 0.00 0 0
1800.02/1800.02 c nlp : 0.22 0 0
1800.02/1800.02 c trysol : 0.13 1 0
1800.02/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.02 c (at root node) : - 0 0 0.00 -
1800.02/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.02 c B&B Tree :
1800.02/1800.02 c number of runs : 1
1800.02/1800.02 c nodes : 2936219
1800.02/1800.02 c nodes (total) : 2936219
1800.02/1800.02 c nodes left : 1400966
1800.02/1800.02 c max depth : 1017
1800.02/1800.02 c max depth (total): 1017
1800.02/1800.02 c backtracks : 536716 (18.3%)
1800.02/1800.02 c delayed cutoffs : 397696
1800.02/1800.02 c repropagations : 1855089 (20702250 domain reductions, 332912 cutoffs)
1800.02/1800.02 c avg switch length: 22.84
1800.02/1800.02 c switching time : 550.09
1800.02/1800.02 c Solution :
1800.02/1800.02 c Solutions found : 25 (25 improvements)
1800.02/1800.02 c First Solution : +4.48000000000000e+02 (in run 1, after 4493 nodes, 1.06 seconds, depth 479, found by <relaxation>)
1800.02/1800.02 c Primal Bound : +1.40000000000000e+01 (in run 1, after 2299690 nodes, 1346.20 seconds, depth 234, found by <relaxation>)
1800.02/1800.02 c Dual Bound : +0.00000000000000e+00
1800.02/1800.02 c Gap : infinite
1800.02/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.02 c Root Iterations : 0
OK 13
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694045-1277902433/watcher-2694045-1277902433 -o /tmp/evaluation-result-2694045-1277902433/solver-2694045-1277902433 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694045-1277902433.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.00 2.00 2.00 4/178 11688 /proc/meminfo: memFree=31445620/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=8296 CPUtime=0 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 1553 0 0 0 0 0 0 0 25 0 1 0 131539669 8495104 1476 4089446400 4194304 7136930 140736791192592 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/11688/statm: 2074 1476 275 719 0 1353 0 [startup+0.049204 s] /proc/loadavg: 2.00 2.00 2.00 4/178 11688 /proc/meminfo: memFree=31445620/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=21324 CPUtime=0.03 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 5487 0 0 0 3 0 0 0 25 0 1 0 131539669 21835776 4542 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 5331 4542 348 719 0 4610 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21324 [startup+0.100203 s] /proc/loadavg: 2.00 2.00 2.00 4/178 11688 /proc/meminfo: memFree=31445620/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=23112 CPUtime=0.09 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 6721 0 0 0 8 1 0 0 25 0 1 0 131539669 23666688 5005 4089446400 4194304 7136930 140736791192592 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 5778 4748 360 719 0 5057 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23112 [startup+0.300161 s] /proc/loadavg: 2.00 2.00 2.00 4/178 11688 /proc/meminfo: memFree=31445620/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=24068 CPUtime=0.29 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 9597 0 0 0 27 2 0 0 25 0 1 0 131539669 24645632 5311 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 6017 5311 399 719 0 5296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24068 [startup+0.701103 s] /proc/loadavg: 2.00 2.00 2.00 4/178 11688 /proc/meminfo: memFree=31445620/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=26136 CPUtime=0.69 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 10100 0 0 0 65 4 0 0 25 0 1 0 131539669 26763264 5814 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 6534 5814 404 719 0 5813 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26136 [startup+1.50096 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11689 /proc/meminfo: memFree=31422920/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=27788 CPUtime=1.49 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 10537 0 0 0 143 6 0 0 25 0 1 0 131539669 28454912 6251 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 6947 6251 405 719 0 6226 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27788 [startup+3.10077 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11689 /proc/meminfo: memFree=31419448/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=33816 CPUtime=3.09 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 12042 0 0 0 296 13 0 0 25 0 1 0 131539669 34627584 7756 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 8454 7756 405 719 0 7733 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33816 [startup+6.30015 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11689 /proc/meminfo: memFree=31408720/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=43676 CPUtime=6.3 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 14542 0 0 0 602 28 0 0 25 0 1 0 131539669 44724224 10256 4089446400 4194304 7136930 140736791192592 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 10919 10256 405 719 0 10198 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 43676 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11689 /proc/meminfo: memFree=31388564/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=65220 CPUtime=12.69 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 19849 0 0 0 1213 56 0 0 25 0 1 0 131539669 66785280 15563 4089446400 4194304 7136930 140736791192592 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 16305 15563 405 719 0 15584 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65220 [startup+25.501 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11691 /proc/meminfo: memFree=31354976/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=95420 CPUtime=25.5 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 27487 0 0 0 2445 105 0 0 25 0 1 0 131539669 97710080 23201 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 23855 23201 405 719 0 23134 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 95420 [startup+51.1006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11691 /proc/meminfo: memFree=31302980/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=148136 CPUtime=51.1 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 40211 0 0 0 4924 186 0 0 25 0 1 0 131539669 151691264 35925 4089446400 4194304 7136930 140736791192592 18446744073709551615 4221571 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 37034 35925 405 719 0 36313 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 148136 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11693 /proc/meminfo: memFree=31200884/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=249056 CPUtime=102.3 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 65021 0 0 0 9870 360 0 0 25 0 1 0 131539669 255033344 60735 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 62264 60735 405 719 0 61543 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 249056 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11693 /proc/meminfo: memFree=31081676/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=369708 CPUtime=162.29 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 94376 0 0 0 15659 570 0 0 25 0 1 0 131539669 378580992 90090 4089446400 4194304 7136930 140736791192592 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 92427 90090 405 719 0 91706 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 369708 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11695 /proc/meminfo: memFree=31020116/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=427824 CPUtime=222.29 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 109073 0 0 0 21513 716 0 0 25 0 1 0 131539669 438091776 104787 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 106956 104787 405 719 0 106235 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 427824 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11697 /proc/meminfo: memFree=30964760/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=483512 CPUtime=282.3 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 122678 0 0 0 27385 845 0 0 25 0 1 0 131539669 495116288 118392 4089446400 4194304 7136930 140736791192592 18446744073709551615 5004476 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 120878 118392 405 719 0 120157 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 483512 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11699 /proc/meminfo: memFree=30937924/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=510260 CPUtime=342.3 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 129081 0 0 0 33277 953 0 0 25 0 1 0 131539669 522506240 124795 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 127565 124795 405 719 0 126844 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 510260 [startup+402.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 11701 /proc/meminfo: memFree=30592776/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=915552 CPUtime=402.3 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 215910 0 0 0 39063 1167 0 0 25 0 1 0 131539669 937525248 211624 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11688/statm: 228888 211624 405 719 0 228167 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 915552 [startup+462.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 11756 /proc/meminfo: memFree=30344956/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=1170188 CPUtime=462.3 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 271625 0 0 0 44651 1579 0 0 25 0 1 0 131539669 1198272512 267339 4089446400 4194304 7136930 140736791192592 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 292547 267339 407 719 0 291826 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1170188 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 10/197 11758 /proc/meminfo: memFree=30173528/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=1328264 CPUtime=522.3 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 307702 0 0 0 50269 1961 0 0 25 0 1 0 131539669 1360142336 303416 4089446400 4194304 7136930 140736791192592 18446744073709551615 4221185 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 332066 303416 407 719 0 331345 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1328264 [startup+582.301 s] /proc/loadavg: 2.08 2.02 2.01 3/197 11760 /proc/meminfo: memFree=30073284/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=1400644 CPUtime=582.3 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 324918 0 0 0 55964 2266 0 0 25 0 1 0 131539669 1434259456 320632 4089446400 4194304 7136930 140736791192592 18446744073709551615 4221899 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 350161 320632 407 719 0 349440 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1400644 [startup+642.301 s] /proc/loadavg: 2.03 2.01 2.00 3/197 11762 /proc/meminfo: memFree=29946636/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=1501904 CPUtime=642.31 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 350165 0 0 0 61563 2668 0 0 25 0 1 0 131539669 1537949696 345879 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 375476 345879 407 719 0 374755 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1501904 [startup+702.301 s] ################ # More data... # ################ /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 448569 0 0 0 95108 5123 0 0 25 0 1 0 131539669 1935929344 444283 4089446400 4194304 7136930 140736791192592 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 472639 444283 407 719 0 471918 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1890556 [startup+1062.3 s] /proc/loadavg: 2.01 2.04 2.01 3/197 11772 /proc/meminfo: memFree=29321384/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=1900880 CPUtime=1062.31 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 451157 0 0 0 100882 5349 0 0 25 0 1 0 131539669 1946501120 446871 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 475220 446871 407 719 0 474499 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1900880 [startup+1122.3 s] /proc/loadavg: 2.00 2.03 2.00 3/197 11774 /proc/meminfo: memFree=29288860/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=1906260 CPUtime=1122.31 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 452526 0 0 0 106686 5545 0 0 25 0 1 0 131539669 1952010240 448240 4089446400 4194304 7136930 140736791192592 18446744073709551615 5004476 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 476565 448240 407 719 0 475844 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1906260 [startup+1182.3 s] /proc/loadavg: 2.27 2.11 2.03 3/197 11776 /proc/meminfo: memFree=29270212/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=1908120 CPUtime=1182.31 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 453009 0 0 0 112507 5724 0 0 25 0 1 0 131539669 1953914880 448723 4089446400 4194304 7136930 140736791192592 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 477030 448723 407 719 0 476309 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1908120 [startup+1242.3 s] /proc/loadavg: 2.13 2.10 2.03 3/197 11778 /proc/meminfo: memFree=29248600/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=1910012 CPUtime=1242.31 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 453485 0 0 0 118326 5905 0 0 25 0 1 0 131539669 1955852288 449199 4089446400 4194304 7136930 140736791192592 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 477503 449199 407 719 0 476782 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1910012 [startup+1302.3 s] /proc/loadavg: 2.05 2.08 2.02 3/197 11780 /proc/meminfo: memFree=29214316/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=1935224 CPUtime=1302.32 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 458777 0 0 0 123968 6264 0 0 25 0 1 0 131539669 1981669376 454491 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 483806 454491 407 719 0 483085 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1935224 [startup+1362.3 s] /proc/loadavg: 2.02 2.06 2.02 7/197 11780 /proc/meminfo: memFree=29126868/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=2039272 CPUtime=1362.32 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 480645 0 0 0 129513 6719 0 0 25 0 1 0 131539669 2088214528 476359 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 509818 476359 407 719 0 509097 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2039272 [startup+1422.31 s] /proc/loadavg: 2.00 2.05 2.01 3/197 11782 /proc/meminfo: memFree=29050192/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=2113500 CPUtime=1422.32 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 499373 0 0 0 135122 7110 0 0 25 0 1 0 131539669 2164224000 495087 4089446400 4194304 7136930 140736791192592 18446744073709551615 4221906 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 528375 495087 407 719 0 527654 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 2113500 [startup+1482.3 s] /proc/loadavg: 2.00 2.04 2.00 3/197 11784 /proc/meminfo: memFree=28961972/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=2203420 CPUtime=1482.32 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 521518 0 0 0 140643 7589 0 0 25 0 1 0 131539669 2256302080 517232 4089446400 4194304 7136930 140736791192592 18446744073709551615 4219809 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 550855 517232 407 719 0 550134 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2203420 [startup+1542.3 s] /proc/loadavg: 2.08 2.04 2.01 3/197 11786 /proc/meminfo: memFree=28878712/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=2286132 CPUtime=1542.31 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 542130 0 0 0 146180 8051 0 0 25 0 1 0 131539669 2340999168 537844 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 571533 537844 407 719 0 570812 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 2286132 [startup+1602.3 s] /proc/loadavg: 2.03 2.03 2.00 3/197 11788 /proc/meminfo: memFree=28803504/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=2360484 CPUtime=1602.32 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 560959 0 0 0 151713 8519 0 0 25 0 1 0 131539669 2417135616 556673 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 590121 556673 407 719 0 589400 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2360484 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.00 4/197 11788 /proc/meminfo: memFree=28744288/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=2417444 CPUtime=1662.32 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 575542 0 0 0 157268 8964 0 0 25 0 1 0 131539669 2475462656 571256 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 604361 571256 407 719 0 603640 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 2417444 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 11790 /proc/meminfo: memFree=28680856/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=2480708 CPUtime=1722.32 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 591570 0 0 0 162893 9339 0 0 25 0 1 0 131539669 2540244992 587284 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 620177 587284 407 719 0 619456 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 2480708 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 11792 /proc/meminfo: memFree=28638784/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=2519648 CPUtime=1782.32 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 601775 0 0 0 168561 9671 0 0 25 0 1 0 131539669 2580119552 597489 4089446400 4194304 7136930 140736791192592 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 629912 597489 407 719 0 629191 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 2519648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 2.00 3/197 11792 /proc/meminfo: memFree=28622400/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=2536480 CPUtime=1800.02 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 605868 0 0 0 170242 9760 0 0 25 0 1 0 131539669 2597355520 601582 4089446400 4194304 7136930 140736791192592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11688/statm: 634120 601582 407 719 0 633399 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2536480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11688 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.01 2.00 3/198 11793 /proc/meminfo: memFree=28622144/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=2536480 CPUtime=1801.42 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 605874 0 0 0 170382 9760 0 0 19 0 1 0 131539669 2597355520 601588 4089446400 4194304 7136930 140736791192592 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11688/statm: 634120 601588 412 719 0 633399 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 2536480 [startup+1801.81 s] /proc/loadavg: 2.00 2.01 2.00 3/198 11793 /proc/meminfo: memFree=28622144/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=2536480 CPUtime=1801.82 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 605874 0 0 0 170422 9760 0 0 20 0 1 0 131539669 2597355520 601588 4089446400 4194304 7136930 140736791192592 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11688/statm: 634120 601588 412 719 0 633399 0 Current children cumulated CPU time (s) 1801.82 Current children cumulated vsize (KiB) 2536480 [startup+1802 s] /proc/loadavg: 2.00 2.01 2.00 3/198 11793 /proc/meminfo: memFree=28622144/32950928 swapFree=67111528/67111528 [pid=11688] ppid=11686 vsize=2536480 CPUtime=1802.02 /proc/11688/stat : 11688 (pbscip.linux.x8) R 11686 11688 11517 0 -1 4202496 605874 0 0 0 170442 9760 0 0 21 0 1 0 131539669 2597355520 601588 4089446400 4194304 7136930 140736791192592 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11688/statm: 634120 601588 412 719 0 633399 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 2536480 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.12 CPU user time (s): 1704.43 CPU system time (s): 97.6911 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2536480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1704.43 system time used= 97.6911 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 605874 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= 4 involuntary context switches= 5258 runsolver used 3.47447 second user time and 6.23405 second system time The end
Begin job on node126 at 2010-06-30 14:53:53 IDJOB=2694045 IDBENCH=78901 IDSOLVER=1206 FILE ID=node126/2694045-1277902433 PBS_JOBID= 11197245 Free space on /tmp= 74188 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.1900584219--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-2694045-1277902433/watcher-2694045-1277902433 -o /tmp/evaluation-result-2694045-1277902433/solver-2694045-1277902433 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694045-1277902433.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 318d96c5cecc5e1278f112ac94857622 RANDOM SEED=2092796788 node126.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.835 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.67 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.835 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.83 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.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 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.835 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.72 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.835 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 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.835 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: 32950928 kB MemFree: 31446272 kB Buffers: 183440 kB Cached: 924740 kB SwapCached: 0 kB Active: 718688 kB Inactive: 644508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31446272 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3156 kB Writeback: 0 kB AnonPages: 254772 kB Mapped: 16936 kB Slab: 77372 kB PageTables: 5068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 404212 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= 74188 MiB End job on node126 at 2010-06-30 15:23:55