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.13 | 1802.08 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo |
| MD5SUM | 9fdf6a24194e0c0ae14212c193866ebe |
| 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 | 403.22 |
| 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 | 1830 |
| 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 | 92327 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 92326 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 683 |
| 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-2694149-1277907911.wbo>
0.00/0.03 c original problem has 3891 variables (2061 bin, 0 int, 0 impl, 1830 cont) and 4538 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.08/0.09 c (round 2) 0 del vars, 63 del conss, 1830 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.08/0.10 c (round 3) 48 del vars, 129 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.09/0.11 c (round 4) 107 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs
0.09/0.12 c (round 5) 118 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs
0.09/0.17 c (0.1s) probing: 101/2002 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 118 deleted vars, 140 deleted constraints, 1841 tightened bounds, 0 added holes, 66 changed sides, 0 changed coefficients
0.09/0.17 c 1960 implications, 7 cliques
0.09/0.17 c presolved problem has 3773 variables (2002 bin, 0 int, 0 impl, 1771 cont) and 4398 constraints
0.09/0.17 c 1771 constraints of type <indicator>
0.09/0.17 c 7 constraints of type <setppc>
0.09/0.17 c 1771 constraints of type <linear>
0.09/0.17 c 849 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3773 |4398 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.79/1.85 o 820
1.79/1.85 c * 1.7s| 6758 | 4140 | 0 | 0.0 | 16M|1936 | - |3773 |4811 | 0 | 0 | 0 | 617 | 0 | 0.000000e+00 | 8.200000e+02 | Inf
2.20/2.22 o 523
2.20/2.22 c * 2.0s| 8057 | 4914 | 0 | 0.0 | 16M|1936 | - |3773 |4824 | 0 | 0 | 0 | 702 | 0 | 0.000000e+00 | 5.230000e+02 | Inf
2.20/2.22 o 429
2.20/2.22 c * 2.0s| 8058 | 4758 | 0 | 0.0 | 16M|1936 | - |3773 |4824 | 0 | 0 | 0 | 702 | 0 | 0.000000e+00 | 4.290000e+02 | Inf
2.68/2.70 c 2.5s| 10000 | 6508 | 0 | 0.0 | 18M|1936 | - |3773 |5387 | 0 | 0 | 0 |1680 | 0 | 0.000000e+00 | 4.290000e+02 | Inf
5.99/6.01 o 411
5.99/6.01 c * 5.5s| 19758 | 13070 | 0 | 0.0 | 28M|1936 | - |3773 |8317 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 4.110000e+02 | Inf
5.99/6.07 o 394
5.99/6.07 c * 5.6s| 19897 | 13124 | 0 | 0.0 | 28M|1936 | - |3773 |8272 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.940000e+02 | Inf
6.09/6.11 c 5.6s| 20000 | 13225 | 0 | 0.0 | 28M|1936 | - |3773 |8238 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.940000e+02 | Inf
6.50/6.59 o 370
6.50/6.59 c * 6.1s| 21070 | 14239 | 0 | 0.0 | 28M|1936 | - |3773 |7678 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.700000e+02 | Inf
6.50/6.59 o 299
6.50/6.59 c * 6.1s| 21071 | 14024 | 0 | 0.0 | 28M|1936 | - |3773 |7678 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.990000e+02 | Inf
6.59/6.64 o 268
6.59/6.64 c * 6.1s| 21182 | 14063 | 0 | 0.0 | 28M|1936 | - |3773 |7622 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
7.19/7.24 o 265
7.19/7.24 c * 6.7s| 22473 | 15284 | 0 | 0.0 | 29M|1936 | - |3773 |6770 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.650000e+02 | Inf
7.19/7.25 o 262
7.19/7.25 c * 6.7s| 22486 | 15277 | 0 | 0.0 | 29M|1936 | - |3773 |6770 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
7.19/7.25 o 251
7.19/7.25 c * 6.7s| 22487 | 15206 | 0 | 0.0 | 29M|1936 | - |3773 |6770 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.510000e+02 | Inf
7.29/7.34 o 231
7.29/7.34 c * 6.8s| 22699 | 15320 | 0 | 0.0 | 29M|1936 | - |3773 |6661 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.310000e+02 | Inf
7.29/7.35 o 225
7.29/7.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.29/7.35 c * 6.8s| 22700 | 15299 | 0 | 0.0 | 29M|1936 | - |3773 |6661 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.250000e+02 | Inf
7.60/7.67 o 224
7.60/7.67 c * 7.1s| 23438 | 15978 | 0 | 0.0 | 30M|1936 | - |3773 |6434 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.240000e+02 | Inf
8.19/8.29 o 208
8.19/8.29 c * 7.7s| 24903 | 17246 | 0 | 0.0 | 31M|1936 | - |3773 |6192 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.080000e+02 | Inf
8.19/8.29 o 201
8.19/8.29 c * 7.7s| 24904 | 17208 | 0 | 0.0 | 31M|1936 | - |3773 |6192 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
8.39/8.44 o 193
8.39/8.44 c * 7.8s| 25276 | 17444 | 0 | 0.0 | 31M|1936 | - |3773 |6155 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
9.69/9.74 o 180
9.69/9.74 c * 9.1s| 28488 | 20313 | 0 | 0.0 | 34M|1936 | - |3773 |5988 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
10.28/10.33 c 9.6s| 30000 | 21724 | 0 | 0.0 | 36M|1936 | - |3773 |5999 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
10.69/10.77 o 163
10.69/10.77 c *10.0s| 31175 | 22521 | 0 | 0.0 | 35M|1936 | - |3773 |6065 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
11.69/11.76 o 162
11.69/11.76 c *10.9s| 33876 | 25004 | 0 | 0.0 | 38M|1936 | - |3773 |6243 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.620000e+02 | Inf
11.69/11.76 o 156
11.69/11.76 c *10.9s| 33877 | 24472 | 0 | 0.0 | 37M|1936 | - |3773 |6243 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
13.39/13.48 o 135
13.39/13.48 c *12.6s| 38989 | 28624 | 0 | 0.0 | 40M|1936 | - |3773 |6595 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
13.59/13.61 o 125
13.59/13.61 c *12.7s| 39344 | 28578 | 0 | 0.0 | 40M|1936 | - |3773 |6666 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
13.79/13.82 c 12.9s| 40000 | 29172 | 0 | 0.0 | 41M|1936 | - |3773 |6740 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
16.19/16.22 o 116
16.19/16.22 c *15.1s| 47490 | 35536 | 0 | 0.0 | 47M|1936 | - |3773 |7212 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
16.19/16.22 o 109
16.19/16.22 c *15.1s| 47491 | 35301 | 0 | 0.0 | 47M|1936 | - |3773 |7212 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
16.19/16.29 o 101
16.19/16.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.19/16.29 c *15.2s| 47648 | 35099 | 0 | 0.0 | 46M|1936 | - |3773 |7147 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
16.19/16.30 o 84
16.19/16.30 c *15.2s| 47649 | 33297 | 0 | 0.0 | 44M|1936 | - |3773 |7147 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
16.49/16.53 o 55
16.49/16.53 c *15.4s| 48315 | 30208 | 0 | 0.0 | 41M|1936 | - |3773 |6774 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
16.99/17.05 c 15.9s| 50000 | 31560 | 0 | 0.0 | 43M|1936 | - |3773 |6761 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
20.29/20.33 c 18.9s| 60000 | 39454 | 0 | 0.0 | 52M|1936 | - |3773 |8548 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
23.69/23.75 c 22.1s| 70000 | 47252 | 0 | 0.0 | 60M|1936 | - |3773 |9265 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
27.19/27.22 c 25.3s| 80000 | 54950 | 0 | 0.0 | 69M|1936 | - |3773 |9810 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
31.29/31.38 c 29.2s| 90000 | 62113 | 0 | 0.0 | 79M|1936 | - |3773 | 11k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
36.09/36.20 c 33.8s|100000 | 68631 | 0 | 0.0 | 89M|1936 | - |3773 | 12k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
41.89/41.90 c 39.1s|110000 | 74382 | 0 | 0.0 | 99M|1936 | - |3773 | 13k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
48.70/48.74 c 45.6s|120000 | 79260 | 0 | 0.0 | 109M|1936 | - |3773 | 15k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
57.89/57.98 c 54.5s|130000 | 82340 | 0 | 0.0 | 120M|1936 | - |3773 | 21k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
58.39/58.48 o 47
58.39/58.48 c *54.9s|130790 | 82840 | 0 | 0.0 | 121M|1936 | - |3773 | 19k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
58.79/58.87 o 35
58.79/58.87 c *55.3s|131404 | 82989 | 0 | 0.0 | 121M|1936 | - |3773 | 16k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
63.70/63.76 c 59.9s|140000 | 90581 | 0 | 0.0 | 153M|1936 | - |3773 |7511 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
68.49/68.52 o 26
68.49/68.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.49/68.52 c *64.3s|149106 | 95483 | 0 | 0.0 | 161M|1936 | - |3773 |9180 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
68.49/68.52 o 24
68.49/68.52 c *64.3s|149107 | 95404 | 0 | 0.0 | 161M|1936 | - |3773 |9180 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
69.19/69.23 c 65.0s|150000 | 95942 | 0 | 0.0 | 162M|1936 | - |3773 |8823 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
74.19/74.26 c 69.7s|160000 |103837 | 0 | 0.0 | 179M|1936 | - |3773 |7877 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
79.20/79.28 c 74.4s|170000 |111483 | 0 | 0.0 | 191M|1936 | - |3773 |8123 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
83.29/83.37 c 78.2s|180000 |119753 | 0 | 0.0 | 202M|1936 | - |3773 |9662 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
88.09/88.14 c 82.7s|190000 |127589 | 0 | 0.0 | 213M|1936 | - |3773 |8935 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
93.30/93.32 c 87.5s|200000 |135036 | 0 | 0.0 | 226M|1936 | - |3773 |9741 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
97.19/97.21 c 91.1s|210000 |143450 | 0 | 0.0 | 236M|1936 | - |3773 | 10k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
101.99/102.03 c 95.6s|220000 |151252 | 0 | 0.0 | 250M|1936 | - |3773 | 10k| 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
102.79/102.89 o 10
102.79/102.89 c *96.3s|222002 |148919 | 0 | 0.0 | 234M|1936 | - |3773 | 10k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
107.09/107.17 c 100s|230000 |154647 | 0 | 0.0 | 247M|1936 | - |3773 | 11k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
112.00/112.00 c 105s|240000 |163044 | 0 | 0.0 | 280M|1936 | - |3773 |7835 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
115.69/115.70 c 108s|250000 |170841 | 0 | 0.0 | 288M|1936 | - |3773 |7553 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
119.50/119.50 c 112s|260000 |178396 | 0 | 0.0 | 296M|1936 | - |3773 |8111 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
122.19/122.22 o 8
122.19/122.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.19/122.22 c * 114s|268384 |184442 | 0 | 0.0 | 300M|1936 | - |3773 |7957 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
122.19/122.23 o 7
122.19/122.23 c * 114s|268385 |183792 | 0 | 0.0 | 298M|1936 | - |3773 |7957 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
122.79/122.83 c 115s|270000 |185054 | 0 | 0.0 | 300M|1936 | - |3773 |8217 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
126.29/126.33 c 118s|280000 |193067 | 0 | 0.0 | 308M|1936 | - |3773 |7487 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
129.49/129.58 c 121s|290000 |201371 | 0 | 0.0 | 316M|1936 | - |3773 |8054 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
133.99/134.01 c 125s|300000 |208142 | 0 | 0.0 | 325M|1936 | - |3773 | 10k| 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
137.60/137.66 c 128s|310000 |216002 | 0 | 0.0 | 332M|1936 | - |3773 |8429 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
141.89/141.96 c 132s|320000 |223019 | 0 | 0.0 | 340M|1936 | - |3773 |8147 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
146.09/146.12 c 136s|330000 |230424 | 0 | 0.0 | 348M|1936 | - |3773 |8148 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
149.70/149.75 c 139s|340000 |238442 | 0 | 0.0 | 356M|1936 | - |3773 |8362 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
154.20/154.23 c 143s|350000 |245361 | 0 | 0.0 | 365M|1936 | - |3773 |9756 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
157.90/157.96 c 147s|360000 |253296 | 0 | 0.0 | 373M|1936 | - |3773 |8401 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
162.19/162.21 c 151s|370000 |260547 | 0 | 0.0 | 382M|1936 | - |3773 |9536 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
166.30/166.37 c 154s|380000 |267925 | 0 | 0.0 | 388M|1936 | - |3773 |4518 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
169.69/169.75 c 158s|390000 |275983 | 0 | 0.0 | 396M|1936 | - |3773 |4762 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
173.30/173.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.30/173.32 c 161s|400000 |283701 | 0 | 0.0 | 405M|1936 | - |3773 |5569 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
178.00/178.01 c 165s|410000 |290223 | 0 | 0.0 | 414M|1936 | - |3773 |6328 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
182.69/182.73 c 170s|420000 |296677 | 0 | 0.0 | 422M|1936 | - |3773 |7071 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
187.70/187.77 c 174s|430000 |302812 | 0 | 0.0 | 430M|1936 | - |3773 |7394 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
192.69/192.79 c 179s|440000 |308966 | 0 | 0.0 | 439M|1936 | - |3773 |8452 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
198.10/198.11 c 184s|450000 |314876 | 0 | 0.0 | 448M|1936 | - |3773 |8908 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
203.50/203.50 c 189s|460000 |320713 | 0 | 0.0 | 457M|1936 | - |3773 |9507 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
209.00/209.09 c 194s|470000 |326410 | 0 | 0.0 | 465M|1936 | - |3773 |9980 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
214.60/214.68 c 199s|480000 |332094 | 0 | 0.0 | 474M|1936 | - |3773 | 10k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
220.60/220.61 c 205s|490000 |337545 | 0 | 0.0 | 483M|1936 | - |3773 | 10k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
226.70/226.74 c 211s|500000 |342919 | 0 | 0.0 | 491M|1936 | - |3773 | 10k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
232.70/232.73 c 216s|510000 |348452 | 0 | 0.0 | 499M|1936 | - |3773 | 11k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
239.30/239.33 c 223s|520000 |353396 | 0 | 0.0 | 508M|1936 | - |3773 | 12k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
246.20/246.25 c 229s|530000 |358175 | 0 | 0.0 | 517M|1936 | - |3773 | 12k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
253.40/253.42 c 236s|540000 |362853 | 0 | 0.0 | 525M|1936 | - |3773 | 13k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
260.60/260.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
260.60/260.65 c 243s|550000 |367579 | 0 | 0.0 | 534M|1936 | - |3773 | 13k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
267.70/267.79 c 250s|560000 |372497 | 0 | 0.0 | 543M|1936 | - |3773 | 14k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
275.90/275.91 c 257s|570000 |376720 | 0 | 0.0 | 551M|1936 | - |3773 | 15k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
284.30/284.34 c 265s|580000 |380838 | 0 | 0.0 | 559M|1936 | - |3773 | 16k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
292.90/292.96 c 274s|590000 |384933 | 0 | 0.0 | 567M|1936 | - |3773 | 17k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
302.00/302.05 c 282s|600000 |388762 | 0 | 0.0 | 575M|1936 | - |3773 | 17k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
311.69/311.71 c 292s|610000 |392277 | 0 | 0.0 | 582M|1936 | - |3773 | 18k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
321.49/321.55 c 301s|620000 |395776 | 0 | 0.0 | 590M|1936 | - |3773 | 19k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
331.80/331.89 c 311s|630000 |399011 | 0 | 0.0 | 597M|1936 | - |3773 | 20k| 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
343.30/343.31 c 323s|640000 |401768 | 0 | 0.0 | 604M|1936 | - |3773 | 20k| 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
355.10/355.12 c 334s|650000 |404184 | 0 | 0.0 | 611M|1936 | - |3773 | 22k| 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
367.60/367.68 c 346s|660000 |406247 | 0 | 0.0 | 616M|1936 | - |3773 | 23k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
380.10/380.19 c 358s|670000 |408512 | 0 | 0.0 | 622M|1936 | - |3773 | 23k| 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
394.99/395.03 c 373s|680000 |409431 | 0 | 0.0 | 627M|1936 | - |3773 | 25k| 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
411.50/411.57 c 389s|690000 |409889 | 0 | 0.0 | 624M|1936 | - |3773 | 12k| 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
415.10/415.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
415.10/415.11 c 392s|700000 |418039 | 0 | 0.0 | 630M|1936 | - |3773 |4783 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
418.50/418.57 c 396s|710000 |426109 | 0 | 0.0 | 638M|1936 | - |3773 |5183 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
422.30/422.30 c 399s|720000 |433899 | 0 | 0.0 | 646M|1936 | - |3773 |5666 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
426.10/426.11 c 402s|730000 |441588 | 0 | 0.0 | 654M|1936 | - |3773 |5975 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
430.01/430.08 c 406s|740000 |449059 | 0 | 0.0 | 663M|1936 | - |3773 |6521 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
434.30/434.35 c 410s|750000 |456206 | 0 | 0.0 | 671M|1936 | - |3773 |7126 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
438.91/438.91 c 414s|760000 |463041 | 0 | 0.0 | 680M|1936 | - |3773 |7884 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
443.70/443.73 c 419s|770000 |469652 | 0 | 0.0 | 689M|1936 | - |3773 |8636 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
449.30/449.33 c 424s|780000 |475604 | 0 | 0.0 | 699M|1936 | - |3773 |9652 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
455.60/455.69 c 430s|790000 |480892 | 0 | 0.0 | 708M|1936 | - |3773 | 10k| 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
463.00/463.02 c 437s|800000 |485290 | 0 | 0.0 | 717M|1936 | - |3773 | 12k| 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
472.40/472.48 c 446s|810000 |487783 | 0 | 0.0 | 724M|1936 | - |3773 | 14k| 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
478.41/478.47 c 451s|820000 |493847 | 0 | 0.0 | 727M|1936 | - |3773 |5211 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
481.90/481.99 c 455s|830000 |501821 | 0 | 0.0 | 736M|1936 | - |3773 |5453 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
485.60/485.64 c 458s|840000 |509646 | 0 | 0.0 | 744M|1936 | - |3773 |5920 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
489.31/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.31/489.37 c 461s|850000 |517360 | 0 | 0.0 | 752M|1936 | - |3773 |6271 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
492.20/492.22 o 6
492.20/492.22 c * 464s|857420 |518924 | 0 | 0.0 | 750M|1936 | - |3773 |6448 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
493.20/493.27 c 465s|860000 |520895 | 0 | 0.0 | 752M|1936 | - |3773 |6249 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
497.50/497.55 c 469s|870000 |528094 | 0 | 0.0 | 760M|1936 | - |3773 |6949 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
502.01/502.00 c 473s|880000 |535078 | 0 | 0.0 | 769M|1936 | - |3773 |7392 | 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
506.90/506.97 c 477s|890000 |541551 | 0 | 0.0 | 777M|1936 | - |3773 |8058 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
512.30/512.32 c 482s|900000 |547621 | 0 | 0.0 | 786M|1936 | - |3773 |9098 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
518.21/518.27 c 488s|910000 |553179 | 0 | 0.0 | 795M|1936 | - |3773 | 10k| 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
525.81/525.86 c 495s|920000 |557426 | 0 | 0.0 | 804M|1936 | - |3773 | 12k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
534.90/534.90 c 504s|930000 |560691 | 0 | 0.0 | 808M|1936 | - |3773 |7646 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
538.30/538.34 c 507s|940000 |568794 | 0 | 0.0 | 815M|1936 | - |3773 |6497 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
541.90/541.96 c 510s|950000 |576601 | 0 | 0.0 | 824M|1936 | - |3773 |7072 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
545.70/545.77 c 514s|960000 |584235 | 0 | 0.0 | 832M|1936 | - |3773 |7474 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
549.80/549.82 c 517s|970000 |591651 | 0 | 0.0 | 840M|1936 | - |3773 |7834 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
554.00/554.09 c 521s|980000 |598808 | 0 | 0.0 | 849M|1936 | - |3773 |8472 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
558.71/558.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
558.71/558.75 c 526s|990000 |605575 | 0 | 0.0 | 858M|1936 | - |3773 |9269 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
564.00/564.01 c 530s| 1000k|611785 | 0 | 0.0 | 868M|1936 | - |3773 | 10k| 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
569.81/569.83 c 536s| 1010k|617483 | 0 | 0.0 | 877M|1936 | - |3773 | 10k| 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
576.51/576.51 c 542s| 1020k|622438 | 0 | 0.0 | 886M|1936 | - |3773 | 12k| 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
584.50/584.59 c 550s| 1030k|626274 | 0 | 0.0 | 894M|1936 | - |3773 | 11k| 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
590.10/590.17 c 555s| 1040k|632085 | 0 | 0.0 | 900M|1936 | - |3773 |7387 | 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
594.01/594.02 c 559s| 1050k|639546 | 0 | 0.0 | 907M|1936 | - |3773 |7176 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
597.80/597.87 c 562s| 1060k|647122 | 0 | 0.0 | 915M|1936 | - |3773 |7522 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
597.91/597.90 o 5
597.91/597.90 c * 562s| 1060k|646984 | 0 | 0.0 | 914M|1936 | - |3773 |7525 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
602.01/602.09 c 566s| 1070k|654441 | 0 | 0.0 | 924M|1936 | - |3773 |8081 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
606.41/606.48 c 570s| 1080k|661631 | 0 | 0.0 | 933M|1936 | - |3773 |8533 | 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
611.10/611.11 c 574s| 1090k|668560 | 0 | 0.0 | 942M|1936 | - |3773 |9294 | 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
616.11/616.14 c 579s| 1100k|675108 | 0 | 0.0 | 951M|1936 | - |3773 |9947 | 0 | 0 | 0 | 875k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
621.61/621.67 c 584s| 1110k|681169 | 0 | 0.0 | 961M|1936 | - |3773 | 10k| 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
628.01/628.05 c 590s| 1120k|686365 | 0 | 0.0 | 970M|1936 | - |3773 | 11k| 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
635.50/635.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
635.50/635.60 c 597s| 1130k|690633 | 0 | 0.0 | 978M|1936 | - |3773 | 12k| 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
643.11/643.11 c 604s| 1140k|695235 | 0 | 0.0 | 983M|1936 | - |3773 |7847 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
646.61/646.67 c 607s| 1150k|703334 | 0 | 0.0 | 991M|1936 | - |3773 |7722 | 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
650.31/650.32 c 611s| 1160k|711246 | 0 | 0.0 | 999M|1936 | - |3773 |8317 | 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
654.31/654.30 c 614s| 1170k|718863 | 0 | 0.0 |1008M|1936 | - |3773 |9054 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
658.61/658.65 c 618s| 1180k|726119 | 0 | 0.0 |1016M|1936 | - |3773 |9786 | 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
663.01/663.09 c 622s| 1190k|733303 | 0 | 0.0 |1024M|1936 | - |3773 | 10k| 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
668.01/668.02 c 627s| 1200k|740018 | 0 | 0.0 |1033M|1936 | - |3773 | 10k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
673.50/673.50 c 632s| 1210k|746272 | 0 | 0.0 |1042M|1936 | - |3773 | 11k| 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
679.71/679.76 c 638s| 1220k|751909 | 0 | 0.0 |1051M|1936 | - |3773 | 12k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
686.60/686.64 c 644s| 1230k|756931 | 0 | 0.0 |1060M|1936 | - |3773 | 14k| 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
695.01/695.00 c 652s| 1240k|761021 | 0 | 0.0 |1067M|1936 | - |3773 | 14k| 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
700.91/700.90 c 658s| 1250k|766977 | 0 | 0.0 |1073M|1936 | - |3773 |9271 | 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
705.11/705.15 c 662s| 1260k|774437 | 0 | 0.0 |1080M|1936 | - |3773 |8961 | 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
709.31/709.38 c 666s| 1270k|781916 | 0 | 0.0 |1089M|1936 | - |3773 |9611 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
713.61/713.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.61/713.67 c 670s| 1280k|789322 | 0 | 0.0 |1097M|1936 | - |3773 | 10k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
718.32/718.31 c 674s| 1290k|796439 | 0 | 0.0 |1105M|1936 | - |3773 | 11k| 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
723.21/723.29 c 679s| 1300k|803290 | 0 | 0.0 |1113M|1936 | - |3773 | 11k| 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
728.61/728.63 c 684s| 1310k|809739 | 0 | 0.0 |1122M|1936 | - |3773 | 12k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
734.41/734.44 c 689s| 1320k|815759 | 0 | 0.0 |1131M|1936 | - |3773 | 14k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
741.21/741.26 c 695s| 1330k|821098 | 0 | 0.0 |1140M|1936 | - |3773 | 16k| 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
750.70/750.73 c 705s| 1340k|824665 | 0 | 0.0 |1148M|1936 | - |3773 | 19k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
758.01/758.08 c 712s| 1350k|830567 | 0 | 0.0 |1152M|1936 | - |3773 |9812 | 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
761.91/761.97 c 715s| 1360k|838555 | 0 | 0.0 |1161M|1936 | - |3773 |9371 | 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
766.11/766.18 c 719s| 1370k|846244 | 0 | 0.0 |1170M|1936 | - |3773 |9818 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
770.81/770.89 c 723s| 1380k|853680 | 0 | 0.0 |1178M|1936 | - |3773 |7336 | 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
775.11/775.16 c 727s| 1390k|860816 | 0 | 0.0 |1187M|1936 | - |3773 |8774 | 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
779.41/779.48 c 731s| 1400k|867893 | 0 | 0.0 |1195M|1936 | - |3773 |8946 | 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
784.31/784.31 c 736s| 1410k|874428 | 0 | 0.0 |1203M|1936 | - |3773 |9574 | 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
789.41/789.49 c 741s| 1420k|880535 | 0 | 0.0 |1211M|1936 | - |3773 | 10k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
795.31/795.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.31/795.34 c 746s| 1430k|886059 | 0 | 0.0 |1220M|1936 | - |3773 | 11k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
802.11/802.10 c 753s| 1440k|890736 | 0 | 0.0 |1228M|1936 | - |3773 | 12k| 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
809.91/809.95 c 760s| 1450k|894572 | 0 | 0.0 |1233M|1936 | - |3773 |9913 | 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
811.41/811.48 o 4
811.41/811.48 c * 762s| 1454k|896660 | 0 | 0.0 |1232M|1936 | - |3773 |8357 | 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
813.41/813.49 c 763s| 1460k|901179 | 0 | 0.0 |1237M|1936 | - |3773 |8325 | 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
817.11/817.10 c 767s| 1470k|909183 | 0 | 0.0 |1245M|1936 | - |3773 |8504 | 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
820.91/820.94 c 770s| 1480k|916846 | 0 | 0.0 |1253M|1936 | - |3773 |9036 | 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
824.92/824.97 c 774s| 1490k|924244 | 0 | 0.0 |1261M|1936 | - |3773 |9648 | 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
829.32/829.37 c 778s| 1500k|931269 | 0 | 0.0 |1269M|1936 | - |3773 |9932 | 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
833.82/833.89 c 782s| 1510k|938147 | 0 | 0.0 |1277M|1936 | - |3773 | 10k| 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
838.91/838.91 c 787s| 1520k|944560 | 0 | 0.0 |1286M|1936 | - |3773 | 10k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
844.52/844.54 c 792s| 1530k|950376 | 0 | 0.0 |1294M|1936 | - |3773 | 12k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
851.11/851.13 c 798s| 1540k|955387 | 0 | 0.0 |1303M|1936 | - |3773 | 13k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
859.61/859.67 c 807s| 1550k|958617 | 0 | 0.0 |1310M|1936 | - |3773 | 15k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
864.21/864.29 c 811s| 1560k|965834 | 0 | 0.0 |1314M|1936 | - |3773 |8390 | 0 | 0 | 0 |1186k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
867.92/867.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.92/867.94 c 814s| 1570k|973697 | 0 | 0.0 |1322M|1936 | - |3773 |8779 | 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
871.62/871.61 c 818s| 1580k|981510 | 0 | 0.0 |1330M|1936 | - |3773 |9252 | 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
875.52/875.55 c 821s| 1590k|989075 | 0 | 0.0 |1338M|1936 | - |3773 |9618 | 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
879.92/879.94 c 825s| 1600k|996134 | 0 | 0.0 |1347M|1936 | - |3773 | 10k| 0 | 0 | 0 |1203k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
884.71/884.73 c 830s| 1610k| 1002k| 0 | 0.0 |1355M|1936 | - |3773 | 11k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
889.81/889.87 c 835s| 1620k| 1009k| 0 | 0.0 |1364M|1936 | - |3773 | 11k| 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
895.41/895.48 c 840s| 1630k| 1015k| 0 | 0.0 |1372M|1936 | - |3773 | 12k| 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
901.72/901.73 c 846s| 1640k| 1020k| 0 | 0.0 |1380M|1936 | - |3773 | 12k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
909.01/909.07 c 853s| 1650k| 1024k| 0 | 0.0 |1388M|1936 | - |3773 | 15k| 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
916.01/916.01 c 859s| 1660k| 1030k| 0 | 0.0 |1392M|1936 | - |3773 |8441 | 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
919.72/919.71 c 863s| 1670k| 1038k| 0 | 0.0 |1400M|1936 | - |3773 |8545 | 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
923.32/923.35 c 866s| 1680k| 1045k| 0 | 0.0 |1408M|1936 | - |3773 |8629 | 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
927.11/927.17 c 870s| 1690k| 1053k| 0 | 0.0 |1416M|1936 | - |3773 |8986 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
931.12/931.16 c 873s| 1700k| 1061k| 0 | 0.0 |1423M|1936 | - |3773 |9325 | 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
935.12/935.18 c 877s| 1710k| 1069k| 0 | 0.0 |1431M|1936 | - |3773 |9679 | 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
939.32/939.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
939.32/939.39 c 881s| 1720k| 1076k| 0 | 0.0 |1439M|1936 | - |3773 |9714 | 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
943.82/943.88 c 885s| 1730k| 1083k| 0 | 0.0 |1447M|1936 | - |3773 | 10k| 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
948.62/948.61 c 890s| 1740k| 1090k| 0 | 0.0 |1454M|1936 | - |3773 | 10k| 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
953.41/953.49 c 894s| 1750k| 1097k| 0 | 0.0 |1462M|1936 | - |3773 | 11k| 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
958.41/958.47 c 899s| 1760k| 1104k| 0 | 0.0 |1470M|1936 | - |3773 | 11k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
963.62/963.68 c 904s| 1770k| 1110k| 0 | 0.0 |1478M|1936 | - |3773 | 11k| 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
969.12/969.19 c 909s| 1780k| 1117k| 0 | 0.0 |1486M|1936 | - |3773 | 12k| 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
974.71/974.73 c 914s| 1790k| 1123k| 0 | 0.0 |1494M|1936 | - |3773 | 12k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
980.51/980.59 c 920s| 1800k| 1129k| 0 | 0.0 |1501M|1936 | - |3773 | 12k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
986.72/986.73 c 925s| 1810k| 1134k| 0 | 0.0 |1509M|1936 | - |3773 | 13k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
993.32/993.34 c 932s| 1820k| 1140k| 0 | 0.0 |1517M|1936 | - |3773 | 14k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1000.41/1000.47 c 938s| 1830k| 1144k| 0 | 0.0 |1524M|1936 | - |3773 | 14k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1008.32/1008.30 c 946s| 1840k| 1149k| 0 | 0.0 |1532M|1936 | - |3773 | 15k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1018.42/1018.50 c 956s| 1850k| 1152k| 0 | 0.0 |1539M|1936 | - |3773 | 18k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1026.52/1026.54 c 963s| 1860k| 1157k| 0 | 0.0 |1542M|1936 | - |3773 |9368 | 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1030.52/1030.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.52/1030.59 c 967s| 1870k| 1164k| 0 | 0.0 |1549M|1936 | - |3773 |9374 | 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1034.72/1034.75 c 971s| 1880k| 1172k| 0 | 0.0 |1557M|1936 | - |3773 |9737 | 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1039.02/1039.08 c 975s| 1890k| 1179k| 0 | 0.0 |1565M|1936 | - |3773 | 10k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1043.72/1043.79 c 979s| 1900k| 1186k| 0 | 0.0 |1573M|1936 | - |3773 | 10k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1048.92/1048.91 c 984s| 1910k| 1192k| 0 | 0.0 |1581M|1936 | - |3773 | 11k| 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1054.92/1054.95 c 990s| 1920k| 1198k| 0 | 0.0 |1590M|1936 | - |3773 | 12k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1057.71/1057.72 o 3
1057.71/1057.72 c * 992s| 1923k| 1194k| 0 | 0.0 |1584M|1936 | - |3773 | 13k| 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1062.02/1062.07 c 997s| 1930k| 1196k| 0 | 0.0 |1590M|1936 | - |3773 | 13k| 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1070.32/1070.38 c 1004s| 1940k| 1200k| 0 | 0.0 |1598M|1936 | - |3773 | 14k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1079.61/1079.62 c 1013s| 1950k| 1204k| 0 | 0.0 |1602M|1936 | - |3773 |9221 | 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1083.62/1083.63 c 1017s| 1960k| 1211k| 0 | 0.0 |1610M|1936 | - |3773 |9145 | 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1087.93/1087.96 c 1021s| 1970k| 1219k| 0 | 0.0 |1618M|1936 | - |3773 |9993 | 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1092.52/1092.50 c 1025s| 1980k| 1226k| 0 | 0.0 |1626M|1936 | - |3773 | 10k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1097.22/1097.27 c 1030s| 1990k| 1233k| 0 | 0.0 |1634M|1936 | - |3773 | 10k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1102.32/1102.36 c 1034s| 2000k| 1239k| 0 | 0.0 |1642M|1936 | - |3773 | 11k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1108.42/1108.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1108.42/1108.45 c 1040s| 2010k| 1245k| 0 | 0.0 |1651M|1936 | - |3773 | 13k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1115.42/1115.43 c 1047s| 2020k| 1249k| 0 | 0.0 |1659M|1936 | - |3773 | 14k| 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1123.72/1123.70 c 1055s| 2030k| 1253k| 0 | 0.0 |1663M|1936 | - |3773 |9517 | 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1127.62/1127.68 c 1058s| 2040k| 1261k| 0 | 0.0 |1671M|1936 | - |3773 |9136 | 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1131.83/1131.88 c 1062s| 2050k| 1269k| 0 | 0.0 |1679M|1936 | - |3773 |9360 | 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1136.12/1136.15 c 1066s| 2060k| 1276k| 0 | 0.0 |1687M|1936 | - |3773 |9404 | 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1140.42/1140.40 c 1070s| 2070k| 1283k| 0 | 0.0 |1695M|1936 | - |3773 |9727 | 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1144.92/1144.97 c 1074s| 2080k| 1290k| 0 | 0.0 |1702M|1936 | - |3773 |9981 | 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1149.82/1149.82 c 1079s| 2090k| 1296k| 0 | 0.0 |1710M|1936 | - |3773 | 10k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1154.62/1154.66 c 1083s| 2100k| 1303k| 0 | 0.0 |1718M|1936 | - |3773 | 10k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1160.02/1160.01 c 1088s| 2110k| 1309k| 0 | 0.0 |1726M|1936 | - |3773 | 10k| 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1165.42/1165.48 c 1094s| 2120k| 1315k| 0 | 0.0 |1734M|1936 | - |3773 | 11k| 0 | 0 | 0 |1521k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1171.22/1171.29 c 1099s| 2130k| 1321k| 0 | 0.0 |1742M|1936 | - |3773 | 11k| 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1177.32/1177.38 c 1105s| 2140k| 1327k| 0 | 0.0 |1750M|1936 | - |3773 | 11k| 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1183.53/1183.52 c 1111s| 2150k| 1332k| 0 | 0.0 |1757M|1936 | - |3773 | 12k| 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1190.02/1190.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1190.02/1190.01 c 1117s| 2160k| 1337k| 0 | 0.0 |1764M|1936 | - |3773 | 12k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1196.92/1196.90 c 1123s| 2170k| 1342k| 0 | 0.0 |1772M|1936 | - |3773 | 12k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1205.32/1205.32 c 1131s| 2180k| 1346k| 0 | 0.0 |1779M|1936 | - |3773 | 14k| 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1210.52/1210.58 c 1136s| 2190k| 1352k| 0 | 0.0 |1785M|1936 | - |3773 |8888 | 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1214.42/1214.48 c 1140s| 2200k| 1360k| 0 | 0.0 |1792M|1936 | - |3773 |9347 | 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1218.42/1218.41 c 1144s| 2210k| 1368k| 0 | 0.0 |1800M|1936 | - |3773 |9452 | 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1222.42/1222.41 c 1147s| 2220k| 1375k| 0 | 0.0 |1807M|1936 | - |3773 |9610 | 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1226.83/1226.83 c 1151s| 2230k| 1382k| 0 | 0.0 |1815M|1936 | - |3773 |9832 | 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1231.72/1231.78 c 1156s| 2240k| 1389k| 0 | 0.0 |1823M|1936 | - |3773 | 10k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1237.02/1237.04 c 1161s| 2250k| 1396k| 0 | 0.0 |1830M|1936 | - |3773 | 10k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1242.62/1242.68 c 1166s| 2260k| 1402k| 0 | 0.0 |1838M|1936 | - |3773 | 11k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1248.53/1248.55 c 1172s| 2270k| 1408k| 0 | 0.0 |1846M|1936 | - |3773 | 11k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1254.72/1254.76 c 1178s| 2280k| 1413k| 0 | 0.0 |1854M|1936 | - |3773 | 12k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1261.22/1261.27 c 1184s| 2290k| 1419k| 0 | 0.0 |1862M|1936 | - |3773 | 13k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1268.13/1268.12 c 1190s| 2300k| 1424k| 0 | 0.0 |1869M|1936 | - |3773 | 13k| 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1275.32/1275.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1275.32/1275.37 c 1197s| 2310k| 1429k| 0 | 0.0 |1877M|1936 | - |3773 | 13k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1283.43/1283.44 c 1205s| 2320k| 1433k| 0 | 0.0 |1885M|1936 | - |3773 | 15k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1293.53/1293.55 c 1215s| 2330k| 1436k| 0 | 0.0 |1891M|1936 | - |3773 | 13k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1298.13/1298.10 c 1219s| 2340k| 1443k| 0 | 0.0 |1897M|1936 | - |3773 |8858 | 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1302.33/1302.38 c 1223s| 2350k| 1451k| 0 | 0.0 |1905M|1936 | - |3773 |6769 | 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1306.83/1306.81 c 1227s| 2360k| 1458k| 0 | 0.0 |1913M|1936 | - |3773 |6880 | 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1311.03/1311.08 c 1231s| 2370k| 1465k| 0 | 0.0 |1921M|1936 | - |3773 |6398 | 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1315.13/1315.19 c 1235s| 2380k| 1472k| 0 | 0.0 |1929M|1936 | - |3773 |6604 | 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1320.03/1320.09 c 1239s| 2390k| 1479k| 0 | 0.0 |1937M|1936 | - |3773 |6379 | 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1323.83/1323.81 c 1243s| 2400k| 1487k| 0 | 0.0 |1944M|1936 | - |3773 |6583 | 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1328.74/1328.71 c 1247s| 2410k| 1493k| 0 | 0.0 |1952M|1936 | - |3773 |6372 | 0 | 0 | 0 |1695k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1332.92/1332.98 c 1251s| 2420k| 1500k| 0 | 0.0 |1960M|1936 | - |3773 |6479 | 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1337.13/1337.11 c 1255s| 2430k| 1508k| 0 | 0.0 |1967M|1936 | - |3773 |6560 | 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1341.23/1341.29 c 1259s| 2440k| 1515k| 0 | 0.0 |1975M|1936 | - |3773 |7856 | 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1344.83/1344.84 c 1262s| 2450k| 1523k| 0 | 0.0 |1983M|1936 | - |3773 |6191 | 0 | 0 | 0 |1711k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1349.73/1349.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1349.73/1349.72 c 1267s| 2460k| 1529k| 0 | 0.0 |1991M|1936 | - |3773 |7594 | 0 | 0 | 0 |1716k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1354.32/1354.35 c 1271s| 2470k| 1536k| 0 | 0.0 |1999M|1936 | - |3773 |7911 | 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1358.43/1358.48 c 1275s| 2480k| 1543k| 0 | 0.0 |2007M|1936 | - |3773 |8133 | 0 | 0 | 0 |1725k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1362.23/1362.26 c 1278s| 2490k| 1551k| 0 | 0.0 |2014M|1936 | - |3773 |7541 | 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1365.93/1365.92 c 1282s| 2500k| 1558k| 0 | 0.0 |2022M|1936 | - |3773 |6305 | 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1369.83/1369.89 c 1286s| 2510k| 1566k| 0 | 0.0 |2029M|1936 | - |3773 |6936 | 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1374.13/1374.15 c 1289s| 2520k| 1573k| 0 | 0.0 |2037M|1936 | - |3773 |7367 | 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1378.43/1378.40 c 1293s| 2530k| 1580k| 0 | 0.0 |2044M|1936 | - |3773 |6764 | 0 | 0 | 0 |1743k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1382.73/1382.72 c 1297s| 2540k| 1587k| 0 | 0.0 |2052M|1936 | - |3773 |6458 | 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1386.73/1386.77 c 1301s| 2550k| 1595k| 0 | 0.0 |2060M|1936 | - |3773 |6337 | 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1392.83/1392.80 c 1307s| 2560k| 1600k| 0 | 0.0 |2067M|1936 | - |3773 |7679 | 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1401.03/1401.07 c 1315s| 2570k| 1603k| 0 | 0.0 |2075M|1936 | - |3773 |9101 | 0 | 0 | 0 |1768k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1409.43/1409.49 c 1323s| 2580k| 1606k| 0 | 0.0 |2082M|1936 | - |3773 |9658 | 0 | 0 | 0 |1778k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1418.23/1418.24 c 1331s| 2590k| 1609k| 0 | 0.0 |2090M|1936 | - |3773 |9847 | 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1426.82/1426.87 c 1339s| 2600k| 1613k| 0 | 0.0 |2098M|1936 | - |3773 | 11k| 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1436.43/1436.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.43/1436.49 c 1349s| 2610k| 1615k| 0 | 0.0 |2105M|1936 | - |3773 | 11k| 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1445.93/1445.93 c 1358s| 2620k| 1619k| 0 | 0.0 |2113M|1936 | - |3773 | 11k| 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1456.13/1456.10 c 1368s| 2630k| 1621k| 0 | 0.0 |2120M|1936 | - |3773 | 12k| 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1466.03/1466.03 c 1377s| 2640k| 1624k| 0 | 0.0 |2128M|1936 | - |3773 | 11k| 0 | 0 | 0 |1840k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1477.33/1477.33 c 1388s| 2650k| 1626k| 0 | 0.0 |2134M|1936 | - |3773 | 13k| 0 | 0 | 0 |1852k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1487.63/1487.66 c 1398s| 2660k| 1629k| 0 | 0.0 |2142M|1936 | - |3773 | 12k| 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1499.53/1499.50 c 1410s| 2670k| 1631k| 0 | 0.0 |2148M|1936 | - |3773 | 14k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1510.23/1510.25 c 1420s| 2680k| 1634k| 0 | 0.0 |2156M|1936 | - |3773 | 15k| 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1522.83/1522.84 c 1432s| 2690k| 1635k| 0 | 0.0 |2161M|1936 | - |3773 | 15k| 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1534.43/1534.49 c 1444s| 2700k| 1638k| 0 | 0.0 |2170M|1936 | - |3773 | 17k| 0 | 0 | 0 |1911k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1545.43/1545.49 c 1454s| 2710k| 1641k| 0 | 0.0 |2176M|1936 | - |3773 | 13k| 0 | 0 | 0 |1922k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1558.64/1558.67 c 1467s| 2720k| 1642k| 0 | 0.0 |2182M|1936 | - |3773 | 16k| 0 | 0 | 0 |1935k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1570.33/1570.37 c 1478s| 2730k| 1644k| 0 | 0.0 |2189M|1936 | - |3773 | 17k| 0 | 0 | 0 |1947k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1583.94/1583.99 c 1492s| 2740k| 1646k| 0 | 0.0 |2194M|1936 | - |3773 | 17k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1596.84/1596.82 c 1504s| 2750k| 1648k| 0 | 0.0 |2201M|1936 | - |3773 | 18k| 0 | 0 | 0 |1973k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1608.43/1608.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1608.43/1608.41 c 1515s| 2760k| 1651k| 0 | 0.0 |2207M|1936 | - |3773 | 16k| 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1623.43/1623.40 c 1530s| 2770k| 1651k| 0 | 0.0 |2212M|1936 | - |3773 | 19k| 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1635.83/1635.82 c 1542s| 2780k| 1654k| 0 | 0.0 |2219M|1936 | - |3773 | 20k| 0 | 0 | 0 |2010k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1650.14/1650.17 c 1556s| 2790k| 1655k| 0 | 0.0 |2223M|1936 | - |3773 | 19k| 0 | 0 | 0 |2024k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1664.13/1664.13 c 1570s| 2800k| 1657k| 0 | 0.0 |2230M|1936 | - |3773 | 21k| 0 | 0 | 0 |2037k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1676.34/1676.31 c 1581s| 2810k| 1660k| 0 | 0.0 |2237M|1936 | - |3773 | 19k| 0 | 0 | 0 |2048k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1692.34/1692.36 c 1597s| 2820k| 1660k| 0 | 0.0 |2241M|1936 | - |3773 | 21k| 0 | 0 | 0 |2064k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1705.74/1705.71 c 1610s| 2830k| 1663k| 0 | 0.0 |2248M|1936 | - |3773 | 22k| 0 | 0 | 0 |2076k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1720.74/1720.76 c 1625s| 2840k| 1664k| 0 | 0.0 |2251M|1936 | - |3773 | 22k| 0 | 0 | 0 |2090k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1736.13/1736.12 c 1640s| 2850k| 1665k| 0 | 0.0 |2257M|1936 | - |3773 | 23k| 0 | 0 | 0 |2104k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1749.83/1749.83 c 1653s| 2860k| 1668k| 0 | 0.0 |2263M|1936 | - |3773 | 21k| 0 | 0 | 0 |2116k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1767.54/1767.53 c 1670s| 2870k| 1668k| 0 | 0.0 |2267M|1936 | - |3773 | 25k| 0 | 0 | 0 |2133k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1781.94/1781.96 c 1684s| 2880k| 1670k| 0 | 0.0 |2273M|1936 | - |3773 | 24k| 0 | 0 | 0 |2146k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1702.16
1800.05/1800.00 c Solving Nodes : 2889974
1800.05/1800.00 c Primal Bound : +3.00000000000000e+00 (39 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.03 s SATISFIABLE
1800.05/1800.03 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.05/1800.03 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.03 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168
1800.05/1800.03 v -x167 -x166 -x165 x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.03 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125
1800.05/1800.03 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.03 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.03 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.05/1800.03 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.05/1800.03 v -x28 -x27 x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.05/1800.03 v -x1
1800.05/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.03 c Solving Time : 1702.16
1800.05/1800.03 c Original Problem :
1800.05/1800.03 c Problem name : HOME/instance-2694149-1277907911.wbo
1800.05/1800.03 c Variables : 3891 (2061 binary, 0 integer, 0 implicit integer, 1830 continuous)
1800.05/1800.03 c Constraints : 4538 initial, 4538 maximal
1800.05/1800.03 c Presolved Problem :
1800.05/1800.03 c Problem name : t_HOME/instance-2694149-1277907911.wbo
1800.05/1800.03 c Variables : 3773 (2002 binary, 0 integer, 0 implicit integer, 1771 continuous)
1800.05/1800.03 c Constraints : 4398 initial, 29293 maximal
1800.05/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.03 c trivial : 0.00 59 0 0 0 0 0 0 0
1800.05/1800.03 c dualfix : 0.00 59 0 0 0 0 0 0 0
1800.05/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.03 c indicator : 0.00 0 0 0 0 0 59 0 0
1800.05/1800.03 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.03 c linear : 0.05 0 0 0 1841 0 81 66 0
1800.05/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c root node : - 1695 - - 3390 - - - -
1800.05/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c indicator : 1771 0 5721864 0 1850747 80 1604935 0 0 0
1800.05/1800.03 c setppc : 7 0 8421958 0 2426217 17452 2031554 0 0 0
1800.05/1800.03 c linear : 1771 0 8539961 0 2454118 505181 44315210 0 0 0
1800.05/1800.03 c logicor : 849+ 0 5379709 0 2454142 190588 8355465 0 0 0
1800.05/1800.03 c bounddisjunction : 0+ 0 333532 0 0 0 71 0 0 0
1800.05/1800.03 c countsols : 0 0 0 0 2454140 0 0 0 0 0
1800.05/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.03 c indicator : 11.28 0.00 4.34 0.00 6.94
1800.05/1800.03 c setppc : 11.57 0.00 9.85 0.00 1.72
1800.05/1800.03 c linear : 321.47 0.00 320.31 0.00 1.16
1800.05/1800.03 c logicor : 408.03 0.00 343.05 0.00 64.98
1800.05/1800.03 c bounddisjunction : 0.18 0.00 0.18 0.00 0.00
1800.05/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.03 c vbounds : 0.00 2 0 0
1800.05/1800.03 c rootredcost : 0.01 0 0 0
1800.05/1800.03 c pseudoobj : 278.25 8558562 1120 1583141
1800.05/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.03 c propagation : 34.26 714341 714332 3639348 20.5 142492 9.9 -
1800.05/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c pseudo solution : 0.04 86 86 357 21.4 285 10.4 -
1800.05/1800.03 c applied globally : - - - 2162398 18.0 - - -
1800.05/1800.03 c applied locally : - - - 0 0.0 - - -
1800.05/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.03 c redcost : 0.00 0 0 0 0 0
1800.05/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.03 c intobj : 0.00 0 0 0 0 0
1800.05/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.03 c gomory : 0.00 0 0 0 0 0
1800.05/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.03 c cmir : 0.00 0 0 0 0 0
1800.05/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.03 c clique : 0.00 0 0 0 0 0
1800.05/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.03 c mcf : 0.00 0 0 0 0 0
1800.05/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.03 c Pricers : Time Calls Vars
1800.05/1800.03 c problem variables: 0.00 0 0
1800.05/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.03 c inference : 37.97 2454101 0 0 0 0 4908202
1800.05/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.03 c random : 0.00 0 0 0 0 0 0
1800.05/1800.03 c Primal Heuristics : Time Calls Found
1800.05/1800.03 c LP solutions : 0.00 - 0
1800.05/1800.03 c pseudo solutions : 0.12 - 39
1800.05/1800.03 c oneopt : 0.09 0 0
1800.05/1800.03 c trivial : 0.01 2 0
1800.05/1800.03 c simplerounding : 0.00 0 0
1800.05/1800.03 c zirounding : 0.00 0 0
1800.05/1800.03 c rounding : 0.00 0 0
1800.05/1800.03 c shifting : 0.00 0 0
1800.05/1800.03 c intshifting : 0.00 0 0
1800.05/1800.03 c twoopt : 0.00 0 0
1800.05/1800.03 c fixandinfer : 0.00 0 0
1800.05/1800.03 c feaspump : 0.00 0 0
1800.05/1800.03 c coefdiving : 0.00 0 0
1800.05/1800.03 c pscostdiving : 0.00 0 0
1800.05/1800.03 c fracdiving : 0.00 0 0
1800.05/1800.03 c veclendiving : 0.00 0 0
1800.05/1800.03 c intdiving : 0.00 0 0
1800.05/1800.03 c actconsdiving : 0.00 0 0
1800.05/1800.03 c objpscostdiving : 0.00 0 0
1800.05/1800.03 c rootsoldiving : 0.00 0 0
1800.05/1800.03 c linesearchdiving : 0.00 0 0
1800.05/1800.03 c guideddiving : 0.00 0 0
1800.05/1800.03 c octane : 0.00 0 0
1800.05/1800.03 c rens : 0.00 0 0
1800.05/1800.03 c rins : 0.00 0 0
1800.05/1800.03 c localbranching : 0.00 0 0
1800.05/1800.03 c mutation : 0.00 0 0
1800.05/1800.03 c crossover : 0.00 0 0
1800.05/1800.03 c dins : 0.00 0 0
1800.05/1800.03 c undercover : 0.00 0 0
1800.05/1800.03 c nlp : 0.01 0 0
1800.05/1800.03 c trysol : 0.00 1 0
1800.05/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.03 c (at root node) : - 0 0 0.00 -
1800.05/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.03 c B&B Tree :
1800.05/1800.03 c number of runs : 1
1800.05/1800.03 c nodes : 2889974
1800.05/1800.03 c nodes (total) : 2889974
1800.05/1800.03 c nodes left : 1670893
1800.05/1800.03 c max depth : 1936
1800.05/1800.03 c max depth (total): 1936
1800.05/1800.03 c backtracks : 395652 (13.7%)
1800.05/1800.03 c delayed cutoffs : 314148
1800.05/1800.03 c repropagations : 1503022 (17109974 domain reductions, 278673 cutoffs)
1800.05/1800.03 c avg switch length: 22.26
1800.05/1800.03 c switching time : 514.23
1800.05/1800.03 c Solution :
1800.05/1800.03 c Solutions found : 39 (39 improvements)
1800.05/1800.03 c First Solution : +8.20000000000000e+02 (in run 1, after 6758 nodes, 1.67 seconds, depth 1360, found by <relaxation>)
1800.05/1800.03 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1923994 nodes, 992.36 seconds, depth 1236, found by <relaxation>)
1800.05/1800.03 c Dual Bound : +0.00000000000000e+00
1800.05/1800.03 c Gap : infinite
1800.05/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.03 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-2694149-1277907911/watcher-2694149-1277907911 -o /tmp/evaluation-result-2694149-1277907911/solver-2694149-1277907911 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694149-1277907911.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.36 2.25 2.41 4/178 12099 /proc/meminfo: memFree=31266752/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=8264 CPUtime=0 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 1548 0 0 0 0 0 0 0 25 0 1 0 132088807 8462336 1470 4089446400 4194304 7136930 140733227225600 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12099/statm: 2066 1470 275 719 0 1345 0 [startup+0.087119 s] /proc/loadavg: 2.36 2.25 2.41 4/178 12099 /proc/meminfo: memFree=31266752/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=28188 CPUtime=0.08 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 7200 0 0 0 7 1 0 0 25 0 1 0 132088807 28864512 6254 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 7047 6254 348 719 0 6326 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 28188 [startup+0.101097 s] /proc/loadavg: 2.36 2.25 2.41 4/178 12099 /proc/meminfo: memFree=31266752/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=28188 CPUtime=0.09 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 7730 0 0 0 8 1 0 0 25 0 1 0 132088807 28864512 6270 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 7047 6270 354 719 0 6326 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28188 [startup+0.301072 s] /proc/loadavg: 2.36 2.25 2.41 4/178 12099 /proc/meminfo: memFree=31266752/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=30332 CPUtime=0.29 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 10353 0 0 0 26 3 0 0 25 0 1 0 132088807 31059968 6837 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 7583 6837 391 719 0 6862 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30332 [startup+0.700979 s] /proc/loadavg: 2.36 2.25 2.41 4/178 12099 /proc/meminfo: memFree=31266752/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=32088 CPUtime=0.69 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 10813 0 0 0 62 7 0 0 25 0 1 0 132088807 32858112 7297 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 8022 7297 395 719 0 7301 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32088 [startup+1.50081 s] /proc/loadavg: 2.36 2.25 2.41 3/179 12100 /proc/meminfo: memFree=31237860/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=34584 CPUtime=1.49 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 11437 0 0 0 136 13 0 0 25 0 1 0 132088807 35414016 7921 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 8646 7921 395 719 0 7925 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34584 [startup+3.10055 s] /proc/loadavg: 2.36 2.25 2.41 3/179 12100 /proc/meminfo: memFree=31235876/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=39692 CPUtime=3.09 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 12701 0 0 0 284 25 0 0 25 0 1 0 132088807 40644608 9185 4089446400 4194304 7136930 140733227225600 18446744073709551615 4210552 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 9923 9185 397 719 0 9202 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39692 [startup+6.30096 s] /proc/loadavg: 2.33 2.25 2.41 3/179 12100 /proc/meminfo: memFree=31220264/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=53164 CPUtime=6.29 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 16094 0 0 0 581 48 0 0 25 0 1 0 132088807 54439936 12578 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 13291 12578 398 719 0 12570 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53164 [startup+12.7008 s] /proc/loadavg: 2.30 2.24 2.40 3/179 12100 /proc/meminfo: memFree=31200388/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=72808 CPUtime=12.69 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 20825 0 0 0 1185 84 0 0 25 0 1 0 132088807 74555392 17309 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 18202 17309 398 719 0 17481 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 72808 [startup+25.5005 s] /proc/loadavg: 2.24 2.23 2.40 3/179 12101 /proc/meminfo: memFree=31165396/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=107524 CPUtime=25.49 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 29553 0 0 0 2377 172 0 0 25 0 1 0 132088807 110104576 26037 4089446400 4194304 7136930 140733227225600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 26881 26037 398 719 0 26160 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 107524 [startup+51.1008 s] /proc/loadavg: 2.15 2.21 2.38 3/179 12102 /proc/meminfo: memFree=31106832/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=168736 CPUtime=51.1 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 44399 0 0 0 4785 325 0 0 25 0 1 0 132088807 172785664 40883 4089446400 4194304 7136930 140733227225600 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 42184 40883 398 719 0 41463 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 168736 [startup+102.306 s] /proc/loadavg: 2.07 2.17 2.36 3/179 12103 /proc/meminfo: memFree=30954636/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=330836 CPUtime=102.3 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 81566 0 0 0 9583 647 0 0 25 0 1 0 132088807 338776064 78023 4089446400 4194304 7136930 140733227225600 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 82709 78023 398 719 0 81988 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 330836 [startup+162.301 s] /proc/loadavg: 2.10 2.16 2.34 3/179 12104 /proc/meminfo: memFree=30804408/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=492572 CPUtime=162.3 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 119167 0 0 0 15077 1153 0 0 25 0 1 0 132088807 504393728 115624 4089446400 4194304 7136930 140733227225600 18446744073709551615 4210300 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 123143 115624 398 719 0 122422 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 492572 [startup+222.301 s] /proc/loadavg: 2.04 2.12 2.32 3/179 12106 /proc/meminfo: memFree=30691868/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=602612 CPUtime=222.3 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 146912 0 0 0 20658 1572 0 0 25 0 1 0 132088807 617074688 143369 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 150653 143369 398 719 0 149932 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 602612 [startup+282.301 s] /proc/loadavg: 2.01 2.10 2.30 3/179 12135 /proc/meminfo: memFree=30615232/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=678052 CPUtime=282.3 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 165896 0 0 0 26349 1881 0 0 25 0 1 0 132088807 694325248 162353 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 169513 162353 398 719 0 168792 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 678052 [startup+342.301 s] /proc/loadavg: 2.00 2.08 2.27 3/179 12137 /proc/meminfo: memFree=30400480/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=727296 CPUtime=342.3 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 178267 0 0 0 32158 2072 0 0 25 0 1 0 132088807 744751104 174724 4089446400 4194304 7136930 140733227225600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 181824 174724 398 719 0 181103 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 727296 [startup+402.301 s] /proc/loadavg: 2.00 2.06 2.25 3/179 12141 /proc/meminfo: memFree=30236824/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=752752 CPUtime=402.3 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 184526 0 0 0 38014 2216 0 0 25 0 1 0 132088807 770818048 180983 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 188188 180983 398 719 0 187467 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 752752 [startup+462.3 s] /proc/loadavg: 2.00 2.05 2.24 3/179 12169 /proc/meminfo: memFree=30290976/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=862028 CPUtime=462.3 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 209434 0 0 0 43607 2623 0 0 25 0 1 0 132088807 882716672 205891 4089446400 4194304 7136930 140733227225600 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 215507 205891 398 719 0 214786 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 862028 [startup+522.3 s] /proc/loadavg: 2.00 2.04 2.22 3/179 12171 /proc/meminfo: memFree=30030656/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=960584 CPUtime=522.3 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 233990 0 0 0 49179 3051 0 0 25 0 1 0 132088807 983638016 230447 4089446400 4194304 7136930 140733227225600 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 240146 230447 398 719 0 239425 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 960584 [startup+582.3 s] /proc/loadavg: 2.00 2.03 2.20 3/179 12173 /proc/meminfo: memFree=29769460/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=1047740 CPUtime=582.3 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 256008 0 0 0 54764 3466 0 0 25 0 1 0 132088807 1072885760 252465 4089446400 4194304 7136930 140733227225600 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12099/statm: 261935 252465 398 719 0 261214 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1047740 [startup+642.301 s] /proc/loadavg: 2.00 2.02 2.18 3/179 12175 /proc/meminfo: memFree=29664752/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=1143400 CPUtime=642.31 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 280025 0 0 0 60343 3888 0 0 25 0 1 0 132088807 1170841600 276482 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 285850 276482 398 719 0 285129 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1143400 [startup+702.301 s] ################ # More data... # ################ /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 417893 0 0 0 94015 6217 0 0 25 0 1 0 132088807 1747689472 414350 4089446400 4194304 7136930 140733227225600 18446744073709551615 4644815 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 426682 414350 398 719 0 425961 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1706728 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.11 3/179 12212 /proc/meminfo: memFree=29528100/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=1781948 CPUtime=1062.31 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 436906 0 0 0 99675 6556 0 0 25 0 1 0 132088807 1824714752 433363 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 445487 433363 398 719 0 444766 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1781948 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.09 3/179 12214 /proc/meminfo: memFree=29457984/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=1851236 CPUtime=1122.32 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 454384 0 0 0 105330 6902 0 0 25 0 1 0 132088807 1895665664 450841 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 462809 450841 398 719 0 462088 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1851236 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.09 3/179 12216 /proc/meminfo: memFree=29370524/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=1937592 CPUtime=1182.32 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 476233 0 0 0 110955 7277 0 0 25 0 1 0 132088807 1984094208 472690 4089446400 4194304 7136930 140733227225600 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 484398 472690 398 719 0 483677 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1937592 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 12218 /proc/meminfo: memFree=29287644/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=2019848 CPUtime=1242.33 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 497034 0 0 0 116595 7638 0 0 25 0 1 0 132088807 2068324352 493491 4089446400 4194304 7136930 140733227225600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 504962 493491 398 719 0 504241 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 2019848 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 2.08 3/179 12219 /proc/meminfo: memFree=29219504/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=2085668 CPUtime=1302.33 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 513669 0 0 0 122283 7950 0 0 25 0 1 0 132088807 2135724032 510126 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 521417 510126 398 719 0 520696 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2085668 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.07 3/179 12220 /proc/meminfo: memFree=29107236/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=2196648 CPUtime=1362.33 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 541667 0 0 0 127853 8380 0 0 25 0 1 0 132088807 2249367552 538124 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 549162 538124 398 719 0 548441 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2196648 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.07 3/179 12222 /proc/meminfo: memFree=29028072/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=2273564 CPUtime=1422.34 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 561229 0 0 0 133507 8727 0 0 25 0 1 0 132088807 2328129536 557686 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 568391 557686 398 719 0 567670 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2273564 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 12224 /proc/meminfo: memFree=28989212/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=2312092 CPUtime=1482.33 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 570840 0 0 0 139297 8936 0 0 25 0 1 0 132088807 2367582208 567297 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 578023 567297 398 719 0 577302 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2312092 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 12226 /proc/meminfo: memFree=28956556/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=2344460 CPUtime=1542.33 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 579003 0 0 0 145110 9123 0 0 25 0 1 0 132088807 2400727040 575460 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 586115 575460 398 719 0 585394 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2344460 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 12227 /proc/meminfo: memFree=28919072/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=2381628 CPUtime=1602.33 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 588345 0 0 0 150932 9301 0 0 25 0 1 0 132088807 2438787072 584802 4089446400 4194304 7136930 140733227225600 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 595407 584802 398 719 0 594686 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2381628 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 12228 /proc/meminfo: memFree=28893220/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=2407812 CPUtime=1662.34 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 594897 0 0 0 156773 9461 0 0 25 0 1 0 132088807 2465599488 591354 4089446400 4194304 7136930 140733227225600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 601953 591354 398 719 0 601232 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2407812 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 12230 /proc/meminfo: memFree=28868636/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=2431452 CPUtime=1722.34 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 600848 0 0 0 162620 9614 0 0 25 0 1 0 132088807 2489806848 597305 4089446400 4194304 7136930 140733227225600 18446744073709551615 6123181 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 607863 597305 398 719 0 607142 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2431452 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.03 3/179 12232 /proc/meminfo: memFree=28846268/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=2454036 CPUtime=1782.34 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 606426 0 0 0 168483 9751 0 0 25 0 1 0 132088807 2512932864 602883 4089446400 4194304 7136930 140733227225600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 613509 602883 398 719 0 612788 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2454036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.03 3/179 12232 /proc/meminfo: memFree=28844644/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=2455728 CPUtime=1800.05 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 606839 0 0 0 170218 9787 0 0 25 0 1 0 132088807 2514665472 603296 4089446400 4194304 7136930 140733227225600 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12099/statm: 613932 603296 398 719 0 613211 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2455728 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12099 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.03 3/180 12233 /proc/meminfo: memFree=28844636/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=2455728 CPUtime=1801.44 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 606844 0 0 0 170357 9787 0 0 19 0 1 0 132088807 2514665472 603301 4089446400 4194304 7136930 140733227225600 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12099/statm: 613932 603301 403 719 0 613211 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2455728 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.03 3/180 12233 /proc/meminfo: memFree=28844636/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=2455728 CPUtime=1801.85 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 606844 0 0 0 170398 9787 0 0 20 0 1 0 132088807 2514665472 603301 4089446400 4194304 7136930 140733227225600 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12099/statm: 613932 603301 403 719 0 613211 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 2455728 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.03 3/180 12233 /proc/meminfo: memFree=28844636/32951124 swapFree=67111528/67111528 [pid=12099] ppid=12097 vsize=2455728 CPUtime=1802.04 /proc/12099/stat : 12099 (pbscip.linux.x8) R 12097 12099 11183 0 -1 4202496 606844 0 0 0 170417 9787 0 0 21 0 1 0 132088807 2514665472 603301 4089446400 4194304 7136930 140733227225600 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12099/statm: 613932 603301 403 719 0 613211 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2455728 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.13 CPU user time (s): 1704.18 CPU system time (s): 97.9471 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2455728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1704.18 system time used= 97.9471 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 606844 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2453 runsolver used 2.66459 second user time and 5.54916 second system time The end
Begin job on node106 at 2010-06-30 16:25:11 IDJOB=2694149 IDBENCH=78953 IDSOLVER=1206 FILE ID=node106/2694149-1277907911 PBS_JOBID= 11197224 Free space on /tmp= 74208 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.1900582300--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694149-1277907911/watcher-2694149-1277907911 -o /tmp/evaluation-result-2694149-1277907911/solver-2694149-1277907911 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694149-1277907911.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9fdf6a24194e0c0ae14212c193866ebe RANDOM SEED=1319385297 node106.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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.76 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.73 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.825 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.83 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.825 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31267280 kB Buffers: 191156 kB Cached: 1271688 kB SwapCached: 0 kB Active: 517776 kB Inactive: 1025572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31267280 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3176 kB Writeback: 0 kB AnonPages: 80788 kB Mapped: 15444 kB Slab: 78356 kB PageTables: 4792 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 223928 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node106 at 2010-06-30 16:55:13