Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 1119 | 1802.16 | 1802.64 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
| MD5SUM | a70b0edfadf87ffd0bc1b32400cae43b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 1792.37 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 18 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14 |
| Minimum length of a constraint | 74 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1648 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5454 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-2664231-1276616433.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/172 (58.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 2 | 0 | - | 486k| 0 | - | 172 | 7 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.54 c 1.4s| 10000 | 9984 | 0 | 0.0 |4283k| 142 | - | 172 | 7 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
3.09/3.17 c 2.9s| 20000 | 19403 | 0 | 0.0 |7904k| 148 | - | 172 | 7 | 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | -- | Inf
4.69/4.71 c 4.3s| 30000 | 29394 | 0 | 0.0 | 11M| 148 | - | 172 | 7 | 0 | 0 | 0 | 329 | 0 | 0.000000e+00 | -- | Inf
6.19/6.23 c 5.7s| 40000 | 39390 | 0 | 0.0 | 14M| 148 | - | 172 | 7 | 0 | 0 | 0 | 331 | 0 | 0.000000e+00 | -- | Inf
7.70/7.75 c 7.0s| 50000 | 49386 | 0 | 0.0 | 18M| 148 | - | 172 | 7 | 0 | 0 | 0 | 333 | 0 | 0.000000e+00 | -- | Inf
9.19/9.27 c 8.4s| 60000 | 59382 | 0 | 0.0 | 22M| 148 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
10.69/10.77 c 9.8s| 70000 | 69376 | 0 | 0.0 | 26M| 148 | - | 172 | 7 | 0 | 0 | 0 | 338 | 0 | 0.000000e+00 | -- | Inf
12.19/12.25 c 11.1s| 80000 | 79373 | 0 | 0.0 | 29M| 148 | - | 172 | 8 | 0 | 0 | 0 | 340 | 0 | 0.000000e+00 | -- | Inf
13.69/13.70 c 12.4s| 90000 | 89373 | 0 | 0.0 | 33M| 148 | - | 172 | 8 | 0 | 0 | 0 | 340 | 0 | 0.000000e+00 | -- | Inf
15.09/15.12 c 13.7s|100000 | 99371 | 0 | 0.0 | 37M| 148 | - | 172 | 7 | 0 | 0 | 0 | 341 | 0 | 0.000000e+00 | -- | Inf
16.49/16.53 c 14.9s|110000 |109369 | 0 | 0.0 | 42M| 148 | - | 172 | 7 | 0 | 0 | 0 | 342 | 0 | 0.000000e+00 | -- | Inf
17.89/17.93 c 16.2s|120000 |119367 | 0 | 0.0 | 46M| 148 | - | 172 | 7 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
19.29/19.33 c 17.4s|130000 |129365 | 0 | 0.0 | 50M| 148 | - | 172 | 7 | 0 | 0 | 0 | 344 | 0 | 0.000000e+00 | -- | Inf
21.49/21.51 c 19.4s|140000 |136427 | 0 | 0.0 | 53M| 149 | - | 172 | 7 | 0 | 0 | 0 |1950 | 0 | 0.000000e+00 | -- | Inf
23.38/23.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.38/23.41 c 21.2s|150000 |145040 | 0 | 0.0 | 57M| 150 | - | 172 | 7 | 0 | 0 | 0 |2714 | 0 | 0.000000e+00 | -- | Inf
25.58/25.60 c 23.2s|160000 |152415 | 0 | 0.0 | 60M| 150 | - | 172 | 7 | 0 | 0 | 0 |4156 | 0 | 0.000000e+00 | -- | Inf
28.09/28.10 c 25.5s|170000 |158571 | 0 | 0.0 | 63M| 150 | - | 172 | 7 | 0 | 0 | 0 |6240 | 0 | 0.000000e+00 | -- | Inf
29.69/29.72 c 27.0s|180000 |168058 | 0 | 0.0 | 66M| 150 | - | 172 | 7 | 0 | 0 | 0 |6519 | 0 | 0.000000e+00 | -- | Inf
31.19/31.21 c 28.4s|190000 |178058 | 0 | 0.0 | 70M| 150 | - | 172 | 7 | 0 | 0 | 0 |6519 | 0 | 0.000000e+00 | -- | Inf
32.58/32.68 c 29.7s|200000 |188058 | 0 | 0.0 | 73M| 150 | - | 172 | 7 | 0 | 0 | 0 |6519 | 0 | 0.000000e+00 | -- | Inf
34.09/34.15 c 31.0s|210000 |198058 | 0 | 0.0 | 77M| 150 | - | 172 | 7 | 0 | 0 | 0 |6519 | 0 | 0.000000e+00 | -- | Inf
35.58/35.62 c 32.4s|220000 |208058 | 0 | 0.0 | 80M| 150 | - | 172 | 7 | 0 | 0 | 0 |6519 | 0 | 0.000000e+00 | -- | Inf
36.98/37.09 c 33.7s|230000 |218054 | 0 | 0.0 | 84M| 150 | - | 172 | 7 | 0 | 0 | 0 |6521 | 0 | 0.000000e+00 | -- | Inf
38.48/38.55 c 35.0s|240000 |228054 | 0 | 0.0 | 88M| 150 | - | 172 | 7 | 0 | 0 | 0 |6521 | 0 | 0.000000e+00 | -- | Inf
39.98/40.01 c 36.3s|250000 |238048 | 0 | 0.0 | 91M| 150 | - | 172 | 7 | 0 | 0 | 0 |6524 | 0 | 0.000000e+00 | -- | Inf
41.38/41.47 c 37.6s|260000 |248048 | 0 | 0.0 | 95M| 150 | - | 172 | 7 | 0 | 0 | 0 |6524 | 0 | 0.000000e+00 | -- | Inf
42.89/42.98 c 39.0s|270000 |258017 | 0 | 0.0 | 98M| 150 | - | 172 | 7 | 0 | 0 | 0 |6540 | 0 | 0.000000e+00 | -- | Inf
44.48/44.51 c 40.4s|280000 |267970 | 0 | 0.0 | 102M| 150 | - | 172 | 7 | 0 | 0 | 0 |6564 | 0 | 0.000000e+00 | -- | Inf
45.98/46.02 c 41.8s|290000 |277934 | 0 | 0.0 | 105M| 150 | - | 172 | 7 | 0 | 0 | 0 |6582 | 0 | 0.000000e+00 | -- | Inf
47.48/47.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.48/47.51 c 43.1s|300000 |287885 | 0 | 0.0 | 109M| 150 | - | 172 | 8 | 0 | 0 | 0 |6607 | 0 | 0.000000e+00 | -- | Inf
48.97/49.02 c 44.5s|310000 |297783 | 0 | 0.0 | 113M| 150 | - | 172 | 7 | 0 | 0 | 0 |6660 | 0 | 0.000000e+00 | -- | Inf
50.38/50.50 c 45.8s|320000 |307755 | 0 | 0.0 | 116M| 150 | - | 172 | 7 | 0 | 0 | 0 |6674 | 0 | 0.000000e+00 | -- | Inf
51.97/52.00 c 47.1s|330000 |317723 | 0 | 0.0 | 120M| 150 | - | 172 | 7 | 0 | 0 | 0 |6690 | 0 | 0.000000e+00 | -- | Inf
53.48/53.52 c 48.5s|340000 |327689 | 0 | 0.0 | 124M| 150 | - | 172 | 7 | 0 | 0 | 0 |6707 | 0 | 0.000000e+00 | -- | Inf
54.99/55.02 c 49.9s|350000 |337666 | 0 | 0.0 | 128M| 150 | - | 172 | 7 | 0 | 0 | 0 |6719 | 0 | 0.000000e+00 | -- | Inf
56.47/56.53 c 51.2s|360000 |347648 | 0 | 0.0 | 131M| 150 | - | 172 | 9 | 0 | 0 | 0 |6728 | 0 | 0.000000e+00 | -- | Inf
57.98/58.04 c 52.6s|370000 |357620 | 0 | 0.0 | 135M| 150 | - | 172 | 9 | 0 | 0 | 0 |6742 | 0 | 0.000000e+00 | -- | Inf
59.47/59.55 c 54.0s|380000 |367578 | 0 | 0.0 | 139M| 150 | - | 172 | 7 | 0 | 0 | 0 |6763 | 0 | 0.000000e+00 | -- | Inf
60.97/61.05 c 55.3s|390000 |377546 | 0 | 0.0 | 143M| 150 | - | 172 | 7 | 0 | 0 | 0 |6779 | 0 | 0.000000e+00 | -- | Inf
62.48/62.54 c 56.6s|400000 |387522 | 0 | 0.0 | 147M| 150 | - | 172 | 8 | 0 | 0 | 0 |6791 | 0 | 0.000000e+00 | -- | Inf
63.98/64.04 c 58.0s|410000 |397474 | 0 | 0.0 | 150M| 150 | - | 172 | 7 | 0 | 0 | 0 |6816 | 0 | 0.000000e+00 | -- | Inf
65.48/65.55 c 59.4s|420000 |407430 | 0 | 0.0 | 154M| 150 | - | 172 | 7 | 0 | 0 | 0 |6838 | 0 | 0.000000e+00 | -- | Inf
66.98/67.03 c 60.7s|430000 |417420 | 0 | 0.0 | 158M| 150 | - | 172 | 7 | 0 | 0 | 0 |6843 | 0 | 0.000000e+00 | -- | Inf
68.47/68.52 c 62.1s|440000 |427412 | 0 | 0.0 | 162M| 150 | - | 172 | 7 | 0 | 0 | 0 |6847 | 0 | 0.000000e+00 | -- | Inf
69.97/70.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.97/70.02 c 63.4s|450000 |437400 | 0 | 0.0 | 166M| 150 | - | 172 | 7 | 0 | 0 | 0 |6853 | 0 | 0.000000e+00 | -- | Inf
71.48/71.52 c 64.7s|460000 |447382 | 0 | 0.0 | 170M| 150 | - | 172 | 7 | 0 | 0 | 0 |6862 | 0 | 0.000000e+00 | -- | Inf
72.98/73.02 c 66.1s|470000 |457354 | 0 | 0.0 | 174M| 150 | - | 172 | 7 | 0 | 0 | 0 |6876 | 0 | 0.000000e+00 | -- | Inf
74.47/74.53 c 67.5s|480000 |467338 | 0 | 0.0 | 178M| 150 | - | 172 | 7 | 0 | 0 | 0 |6884 | 0 | 0.000000e+00 | -- | Inf
75.97/76.02 c 68.8s|490000 |477311 | 0 | 0.0 | 182M| 150 | - | 172 | 7 | 0 | 0 | 0 |6898 | 0 | 0.000000e+00 | -- | Inf
77.37/77.49 c 70.1s|500000 |487299 | 0 | 0.0 | 186M| 150 | - | 172 | 7 | 0 | 0 | 0 |6904 | 0 | 0.000000e+00 | -- | Inf
78.87/78.97 c 71.5s|510000 |497299 | 0 | 0.0 | 189M| 150 | - | 172 | 7 | 0 | 0 | 0 |6904 | 0 | 0.000000e+00 | -- | Inf
80.37/80.47 c 72.8s|520000 |507266 | 0 | 0.0 | 193M| 150 | - | 172 | 7 | 0 | 0 | 0 |6921 | 0 | 0.000000e+00 | -- | Inf
81.87/81.97 c 74.2s|530000 |517244 | 0 | 0.0 | 197M| 150 | - | 172 | 7 | 0 | 0 | 0 |6932 | 0 | 0.000000e+00 | -- | Inf
83.37/83.46 c 75.5s|540000 |527220 | 0 | 0.0 | 201M| 150 | - | 172 | 8 | 0 | 0 | 0 |6944 | 0 | 0.000000e+00 | -- | Inf
84.87/84.94 c 76.8s|550000 |537188 | 0 | 0.0 | 205M| 150 | - | 172 | 7 | 0 | 0 | 0 |6960 | 0 | 0.000000e+00 | -- | Inf
86.27/86.39 c 78.1s|560000 |547184 | 0 | 0.0 | 209M| 150 | - | 172 | 7 | 0 | 0 | 0 |6962 | 0 | 0.000000e+00 | -- | Inf
87.77/87.89 c 79.5s|570000 |557076 | 0 | 0.0 | 213M| 150 | - | 172 | 7 | 0 | 0 | 0 |7019 | 0 | 0.000000e+00 | -- | Inf
89.26/89.36 c 80.8s|580000 |567058 | 0 | 0.0 | 218M| 150 | - | 172 | 7 | 0 | 0 | 0 |7028 | 0 | 0.000000e+00 | -- | Inf
90.76/90.83 c 82.1s|590000 |577036 | 0 | 0.0 | 222M| 150 | - | 172 | 7 | 0 | 0 | 0 |7039 | 0 | 0.000000e+00 | -- | Inf
92.17/92.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.17/92.27 c 83.4s|600000 |587028 | 0 | 0.0 | 226M| 150 | - | 172 | 7 | 0 | 0 | 0 |7043 | 0 | 0.000000e+00 | -- | Inf
93.67/93.74 c 84.7s|610000 |596942 | 0 | 0.0 | 230M| 150 | - | 172 | 7 | 0 | 0 | 0 |7090 | 0 | 0.000000e+00 | -- | Inf
95.06/95.17 c 86.0s|620000 |606937 | 0 | 0.0 | 234M| 150 | - | 172 | 7 | 0 | 0 | 0 |7093 | 0 | 0.000000e+00 | -- | Inf
96.57/96.60 c 87.2s|630000 |616937 | 0 | 0.0 | 238M| 150 | - | 172 | 7 | 0 | 0 | 0 |7093 | 0 | 0.000000e+00 | -- | Inf
97.97/98.05 c 88.5s|640000 |626925 | 0 | 0.0 | 242M| 150 | - | 172 | 7 | 0 | 0 | 0 |7099 | 0 | 0.000000e+00 | -- | Inf
99.47/99.50 c 89.8s|650000 |636915 | 0 | 0.0 | 246M| 150 | - | 172 | 7 | 0 | 0 | 0 |7104 | 0 | 0.000000e+00 | -- | Inf
100.87/100.94 c 91.1s|660000 |646907 | 0 | 0.0 | 250M| 150 | - | 172 | 7 | 0 | 0 | 0 |7108 | 0 | 0.000000e+00 | -- | Inf
102.28/102.38 c 92.4s|670000 |656900 | 0 | 0.0 | 254M| 150 | - | 172 | 7 | 0 | 0 | 0 |7112 | 0 | 0.000000e+00 | -- | Inf
103.76/103.80 c 93.7s|680000 |666884 | 0 | 0.0 | 258M| 150 | - | 172 | 8 | 0 | 0 | 0 |7120 | 0 | 0.000000e+00 | -- | Inf
105.16/105.22 c 94.9s|690000 |676880 | 0 | 0.0 | 262M| 150 | - | 172 | 7 | 0 | 0 | 0 |7122 | 0 | 0.000000e+00 | -- | Inf
106.57/106.64 c 96.2s|700000 |686869 | 0 | 0.0 | 266M| 150 | - | 172 | 7 | 0 | 0 | 0 |7128 | 0 | 0.000000e+00 | -- | Inf
107.96/108.08 c 97.5s|710000 |696861 | 0 | 0.0 | 271M| 150 | - | 172 | 7 | 0 | 0 | 0 |7132 | 0 | 0.000000e+00 | -- | Inf
109.36/109.49 c 98.8s|720000 |706861 | 0 | 0.0 | 275M| 150 | - | 172 | 7 | 0 | 0 | 0 |7132 | 0 | 0.000000e+00 | -- | Inf
110.86/110.91 c 100s|730000 |716859 | 0 | 0.0 | 279M| 150 | - | 172 | 7 | 0 | 0 | 0 |7133 | 0 | 0.000000e+00 | -- | Inf
112.27/112.30 c 101s|740000 |726849 | 0 | 0.0 | 283M| 150 | - | 172 | 7 | 0 | 0 | 0 |7138 | 0 | 0.000000e+00 | -- | Inf
113.56/113.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.56/113.69 c 103s|750000 |736845 | 0 | 0.0 | 287M| 150 | - | 172 | 7 | 0 | 0 | 0 |7140 | 0 | 0.000000e+00 | -- | Inf
114.96/115.09 c 104s|760000 |746843 | 0 | 0.0 | 291M| 150 | - | 172 | 7 | 0 | 0 | 0 |7141 | 0 | 0.000000e+00 | -- | Inf
116.47/116.52 c 105s|770000 |756839 | 0 | 0.0 | 295M| 150 | - | 172 | 7 | 0 | 0 | 0 |7143 | 0 | 0.000000e+00 | -- | Inf
117.87/117.93 c 106s|780000 |766835 | 0 | 0.0 | 300M| 150 | - | 172 | 7 | 0 | 0 | 0 |7145 | 0 | 0.000000e+00 | -- | Inf
119.26/119.35 c 108s|790000 |776831 | 0 | 0.0 | 304M| 150 | - | 172 | 7 | 0 | 0 | 0 |7147 | 0 | 0.000000e+00 | -- | Inf
120.66/120.76 c 109s|800000 |786829 | 0 | 0.0 | 308M| 150 | - | 172 | 7 | 0 | 0 | 0 |7148 | 0 | 0.000000e+00 | -- | Inf
122.07/122.16 c 110s|810000 |796825 | 0 | 0.0 | 312M| 150 | - | 172 | 7 | 0 | 0 | 0 |7150 | 0 | 0.000000e+00 | -- | Inf
123.46/123.54 c 111s|820000 |806825 | 0 | 0.0 | 317M| 150 | - | 172 | 7 | 0 | 0 | 0 |7150 | 0 | 0.000000e+00 | -- | Inf
124.86/124.94 c 113s|830000 |816825 | 0 | 0.0 | 321M| 150 | - | 172 | 7 | 0 | 0 | 0 |7150 | 0 | 0.000000e+00 | -- | Inf
126.26/126.35 c 114s|840000 |826825 | 0 | 0.0 | 325M| 150 | - | 172 | 7 | 0 | 0 | 0 |7150 | 0 | 0.000000e+00 | -- | Inf
127.66/127.75 c 115s|850000 |836823 | 0 | 0.0 | 329M| 150 | - | 172 | 7 | 0 | 0 | 0 |7151 | 0 | 0.000000e+00 | -- | Inf
129.06/129.14 c 116s|860000 |846823 | 0 | 0.0 | 334M| 150 | - | 172 | 7 | 0 | 0 | 0 |7151 | 0 | 0.000000e+00 | -- | Inf
130.46/130.52 c 117s|870000 |856819 | 0 | 0.0 | 338M| 150 | - | 172 | 7 | 0 | 0 | 0 |7153 | 0 | 0.000000e+00 | -- | Inf
131.86/131.91 c 119s|880000 |866817 | 0 | 0.0 | 342M| 150 | - | 172 | 7 | 0 | 0 | 0 |7154 | 0 | 0.000000e+00 | -- | Inf
133.26/133.31 c 120s|890000 |876813 | 0 | 0.0 | 347M| 150 | - | 172 | 7 | 0 | 0 | 0 |7156 | 0 | 0.000000e+00 | -- | Inf
134.66/134.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.66/134.72 c 121s|900000 |886813 | 0 | 0.0 | 351M| 150 | - | 172 | 7 | 0 | 0 | 0 |7156 | 0 | 0.000000e+00 | -- | Inf
136.05/136.13 c 122s|910000 |896809 | 0 | 0.0 | 356M| 150 | - | 172 | 7 | 0 | 0 | 0 |7158 | 0 | 0.000000e+00 | -- | Inf
137.47/137.52 c 124s|920000 |906807 | 0 | 0.0 | 360M| 150 | - | 172 | 7 | 0 | 0 | 0 |7159 | 0 | 0.000000e+00 | -- | Inf
138.75/138.89 c 125s|930000 |916807 | 0 | 0.0 | 364M| 150 | - | 172 | 7 | 0 | 0 | 0 |7159 | 0 | 0.000000e+00 | -- | Inf
140.15/140.26 c 126s|940000 |926807 | 0 | 0.0 | 369M| 150 | - | 172 | 7 | 0 | 0 | 0 |7159 | 0 | 0.000000e+00 | -- | Inf
141.56/141.65 c 127s|950000 |936807 | 0 | 0.0 | 373M| 150 | - | 172 | 7 | 0 | 0 | 0 |7159 | 0 | 0.000000e+00 | -- | Inf
142.96/143.03 c 129s|960000 |946796 | 0 | 0.0 | 378M| 150 | - | 172 | 7 | 0 | 0 | 0 |7165 | 0 | 0.000000e+00 | -- | Inf
144.35/144.41 c 130s|970000 |956787 | 0 | 0.0 | 382M| 150 | - | 172 | 7 | 0 | 0 | 0 |7170 | 0 | 0.000000e+00 | -- | Inf
146.26/146.34 c 132s|980000 |965110 | 0 | 0.0 | 386M| 150 | - | 172 | 7 | 0 | 0 | 0 |8088 | 0 | 0.000000e+00 | -- | Inf
149.15/149.21 c 134s|990000 |970005 | 0 | 0.0 | 388M| 150 | - | 172 | 7 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
152.05/152.16 c 137s| 1000k|974390 | 0 | 0.0 | 391M| 150 | - | 172 | 7 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
155.06/155.10 c 140s| 1010k|978790 | 0 | 0.0 | 394M| 154 | - | 172 | 7 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
157.95/158.04 c 143s| 1020k|983103 | 0 | 0.0 | 396M| 154 | - | 172 | 7 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
161.35/161.40 c 146s| 1030k|986010 | 0 | 0.0 | 399M| 156 | - | 172 | 7 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
163.25/163.39 c 147s| 1040k|994340 | 0 | 0.0 | 402M| 156 | - | 172 | 7 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
165.05/165.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.05/165.10 c 149s| 1050k| 1003k| 0 | 0.0 | 406M| 156 | - | 172 | 7 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
166.75/166.82 c 151s| 1060k| 1013k| 0 | 0.0 | 409M| 156 | - | 172 | 7 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
168.45/168.58 c 152s| 1070k| 1022k| 0 | 0.0 | 413M| 156 | - | 172 | 7 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
170.25/170.35 c 154s| 1080k| 1031k| 0 | 0.0 | 416M| 156 | - | 172 | 7 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
172.04/172.15 c 155s| 1090k| 1040k| 0 | 0.0 | 420M| 156 | - | 172 | 7 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
173.85/173.99 c 157s| 1100k| 1049k| 0 | 0.0 | 424M| 156 | - | 172 | 7 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
175.75/175.87 c 159s| 1110k| 1058k| 0 | 0.0 | 428M| 156 | - | 172 | 7 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
177.65/177.77 c 161s| 1120k| 1066k| 0 | 0.0 | 432M| 156 | - | 172 | 7 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
179.45/179.58 c 162s| 1130k| 1075k| 0 | 0.0 | 436M| 156 | - | 172 | 7 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
181.35/181.47 c 164s| 1140k| 1084k| 0 | 0.0 | 441M| 156 | - | 172 | 7 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
183.25/183.32 c 166s| 1150k| 1093k| 0 | 0.0 | 445M| 156 | - | 172 | 7 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
185.14/185.27 c 168s| 1160k| 1101k| 0 | 0.0 | 448M| 156 | - | 172 | 7 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
187.45/187.58 c 170s| 1170k| 1108k| 0 | 0.0 | 452M| 156 | - | 172 | 7 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
190.25/190.32 c 172s| 1180k| 1113k| 0 | 0.0 | 455M| 156 | - | 172 | 7 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
193.04/193.17 c 175s| 1190k| 1118k| 0 | 0.0 | 457M| 156 | - | 172 | 7 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
195.84/195.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.84/195.93 c 178s| 1200k| 1124k| 0 | 0.0 | 460M| 156 | - | 172 | 7 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
198.74/198.83 c 180s| 1210k| 1129k| 0 | 0.0 | 463M| 156 | - | 172 | 7 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
201.54/201.64 c 183s| 1220k| 1133k| 0 | 0.0 | 465M| 156 | - | 172 | 7 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
204.24/204.37 c 185s| 1230k| 1139k| 0 | 0.0 | 468M| 156 | - | 172 | 7 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
206.04/206.10 c 187s| 1240k| 1148k| 0 | 0.0 | 472M| 156 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
208.04/208.11 c 189s| 1250k| 1156k| 0 | 0.0 | 475M| 156 | - | 172 | 7 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
210.34/210.45 c 191s| 1260k| 1163k| 0 | 0.0 | 479M| 156 | - | 172 | 7 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
213.04/213.13 c 194s| 1270k| 1168k| 0 | 0.0 | 482M| 156 | - | 172 | 7 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
215.84/215.93 c 196s| 1280k| 1173k| 0 | 0.0 | 484M| 156 | - | 172 | 7 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
218.63/218.75 c 199s| 1290k| 1178k| 0 | 0.0 | 487M| 156 | - | 172 | 7 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
221.44/221.58 c 201s| 1300k| 1183k| 0 | 0.0 | 490M| 156 | - | 172 | 7 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
224.35/224.45 c 204s| 1310k| 1188k| 0 | 0.0 | 492M| 156 | - | 172 | 7 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
227.43/227.51 c 207s| 1320k| 1192k| 0 | 0.0 | 495M| 156 | - | 172 | 7 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
229.64/229.73 c 209s| 1330k| 1200k| 0 | 0.0 | 498M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
231.13/231.27 c 210s| 1340k| 1210k| 0 | 0.0 | 501M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
232.73/232.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.73/232.80 c 212s| 1350k| 1220k| 0 | 0.0 | 505M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
234.24/234.35 c 213s| 1360k| 1230k| 0 | 0.0 | 508M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
235.84/235.91 c 215s| 1370k| 1240k| 0 | 0.0 | 511M| 156 | - | 172 | 8 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
237.33/237.46 c 216s| 1380k| 1249k| 0 | 0.0 | 515M| 156 | - | 172 | 8 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
238.93/239.00 c 218s| 1390k| 1259k| 0 | 0.0 | 518M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
240.43/240.51 c 219s| 1400k| 1269k| 0 | 0.0 | 522M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
241.94/242.01 c 220s| 1410k| 1279k| 0 | 0.0 | 525M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
243.43/243.57 c 222s| 1420k| 1289k| 0 | 0.0 | 529M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
245.03/245.15 c 223s| 1430k| 1299k| 0 | 0.0 | 532M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
246.63/246.71 c 225s| 1440k| 1309k| 0 | 0.0 | 536M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
248.13/248.29 c 226s| 1450k| 1319k| 0 | 0.0 | 539M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
249.73/249.81 c 227s| 1460k| 1329k| 0 | 0.0 | 543M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
251.23/251.34 c 229s| 1470k| 1339k| 0 | 0.0 | 546M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
252.73/252.85 c 230s| 1480k| 1349k| 0 | 0.0 | 550M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
254.23/254.38 c 231s| 1490k| 1358k| 0 | 0.0 | 553M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
255.83/255.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.83/255.92 c 233s| 1500k| 1368k| 0 | 0.0 | 557M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
257.33/257.44 c 234s| 1510k| 1378k| 0 | 0.0 | 560M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
258.82/258.95 c 236s| 1520k| 1388k| 0 | 0.0 | 564M| 156 | - | 172 | 7 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
260.43/260.51 c 237s| 1530k| 1398k| 0 | 0.0 | 567M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
261.93/262.04 c 238s| 1540k| 1408k| 0 | 0.0 | 571M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
263.43/263.54 c 240s| 1550k| 1418k| 0 | 0.0 | 574M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
264.93/265.06 c 241s| 1560k| 1428k| 0 | 0.0 | 578M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
266.53/266.60 c 243s| 1570k| 1438k| 0 | 0.0 | 581M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
268.03/268.15 c 244s| 1580k| 1447k| 0 | 0.0 | 585M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
269.53/269.69 c 245s| 1590k| 1457k| 0 | 0.0 | 588M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
271.13/271.27 c 247s| 1600k| 1467k| 0 | 0.0 | 592M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
272.73/272.82 c 248s| 1610k| 1477k| 0 | 0.0 | 595M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
274.23/274.35 c 250s| 1620k| 1487k| 0 | 0.0 | 599M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
275.73/275.87 c 251s| 1630k| 1497k| 0 | 0.0 | 602M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
277.23/277.37 c 252s| 1640k| 1507k| 0 | 0.0 | 606M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
278.82/278.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.82/278.92 c 254s| 1650k| 1517k| 0 | 0.0 | 609M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
280.33/280.41 c 255s| 1660k| 1527k| 0 | 0.0 | 613M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
281.82/281.91 c 256s| 1670k| 1537k| 0 | 0.0 | 616M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
283.32/283.41 c 258s| 1680k| 1547k| 0 | 0.0 | 620M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
284.83/284.91 c 259s| 1690k| 1557k| 0 | 0.0 | 623M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
286.32/286.42 c 260s| 1700k| 1567k| 0 | 0.0 | 627M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
287.82/287.92 c 262s| 1710k| 1577k| 0 | 0.0 | 630M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
289.32/289.45 c 263s| 1720k| 1587k| 0 | 0.0 | 634M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
290.81/290.96 c 265s| 1730k| 1597k| 0 | 0.0 | 638M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
292.32/292.46 c 266s| 1740k| 1607k| 0 | 0.0 | 641M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
293.82/293.96 c 267s| 1750k| 1617k| 0 | 0.0 | 645M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
295.32/295.46 c 269s| 1760k| 1627k| 0 | 0.0 | 648M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
296.82/296.95 c 270s| 1770k| 1636k| 0 | 0.0 | 652M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
298.31/298.45 c 271s| 1780k| 1646k| 0 | 0.0 | 655M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
299.81/299.94 c 273s| 1790k| 1656k| 0 | 0.0 | 659M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
301.32/301.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
301.32/301.43 c 274s| 1800k| 1666k| 0 | 0.0 | 662M| 156 | - | 172 | 7 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
302.82/302.93 c 275s| 1810k| 1676k| 0 | 0.0 | 666M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
304.32/304.44 c 277s| 1820k| 1686k| 0 | 0.0 | 669M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
305.82/305.97 c 278s| 1830k| 1696k| 0 | 0.0 | 673M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
307.31/307.49 c 280s| 1840k| 1706k| 0 | 0.0 | 676M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
308.92/309.00 c 281s| 1850k| 1716k| 0 | 0.0 | 680M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
310.42/310.50 c 282s| 1860k| 1726k| 0 | 0.0 | 684M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
311.92/312.01 c 284s| 1870k| 1736k| 0 | 0.0 | 687M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
313.32/313.50 c 285s| 1880k| 1746k| 0 | 0.0 | 691M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
314.81/314.97 c 286s| 1890k| 1756k| 0 | 0.0 | 694M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
316.31/316.47 c 288s| 1900k| 1766k| 0 | 0.0 | 698M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
317.82/317.94 c 289s| 1910k| 1776k| 0 | 0.0 | 702M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
319.32/319.43 c 290s| 1920k| 1786k| 0 | 0.0 | 705M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
320.81/320.93 c 292s| 1930k| 1796k| 0 | 0.0 | 709M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
322.22/322.39 c 293s| 1940k| 1806k| 0 | 0.0 | 712M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
323.72/323.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
323.72/323.89 c 294s| 1950k| 1816k| 0 | 0.0 | 716M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
325.31/325.43 c 296s| 1960k| 1826k| 0 | 0.0 | 720M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
326.81/326.96 c 297s| 1970k| 1835k| 0 | 0.0 | 723M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
328.31/328.46 c 298s| 1980k| 1845k| 0 | 0.0 | 727M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
329.92/330.01 c 300s| 1990k| 1855k| 0 | 0.0 | 731M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
331.41/331.54 c 301s| 2000k| 1865k| 0 | 0.0 | 734M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
332.91/333.06 c 303s| 2010k| 1875k| 0 | 0.0 | 738M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
334.41/334.57 c 304s| 2020k| 1885k| 0 | 0.0 | 742M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
335.91/336.06 c 305s| 2030k| 1895k| 0 | 0.0 | 745M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
337.41/337.58 c 307s| 2040k| 1905k| 0 | 0.0 | 749M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
338.90/339.06 c 308s| 2050k| 1915k| 0 | 0.0 | 753M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
340.41/340.59 c 309s| 2060k| 1925k| 0 | 0.0 | 756M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
341.91/342.08 c 311s| 2070k| 1935k| 0 | 0.0 | 760M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
343.50/343.61 c 312s| 2080k| 1945k| 0 | 0.0 | 764M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
345.01/345.16 c 314s| 2090k| 1954k| 0 | 0.0 | 768M| 156 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
346.50/346.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.50/346.68 c 315s| 2100k| 1964k| 0 | 0.0 | 771M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
348.11/348.20 c 316s| 2110k| 1974k| 0 | 0.0 | 775M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
349.62/349.74 c 318s| 2120k| 1984k| 0 | 0.0 | 779M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
351.11/351.25 c 319s| 2130k| 1994k| 0 | 0.0 | 783M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
352.61/352.78 c 320s| 2140k| 2004k| 0 | 0.0 | 786M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
354.20/354.37 c 322s| 2150k| 2014k| 0 | 0.0 | 790M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
355.70/355.89 c 323s| 2160k| 2024k| 0 | 0.0 | 794M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
357.31/357.43 c 325s| 2170k| 2033k| 0 | 0.0 | 797M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
358.80/358.96 c 326s| 2180k| 2043k| 0 | 0.0 | 801M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
360.30/360.49 c 327s| 2190k| 2053k| 0 | 0.0 | 805M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
361.90/362.02 c 329s| 2200k| 2063k| 0 | 0.0 | 808M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
363.40/363.52 c 330s| 2210k| 2073k| 0 | 0.0 | 812M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
364.90/365.04 c 331s| 2220k| 2083k| 0 | 0.0 | 816M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
366.40/366.50 c 333s| 2230k| 2093k| 0 | 0.0 | 820M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
367.90/368.02 c 334s| 2240k| 2103k| 0 | 0.0 | 823M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
369.41/369.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.41/369.56 c 336s| 2250k| 2113k| 0 | 0.0 | 827M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
371.00/371.11 c 337s| 2260k| 2123k| 0 | 0.0 | 831M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
372.50/372.64 c 338s| 2270k| 2133k| 0 | 0.0 | 834M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
374.10/374.20 c 340s| 2280k| 2143k| 0 | 0.0 | 838M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
375.60/375.72 c 341s| 2290k| 2153k| 0 | 0.0 | 842M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
377.11/377.24 c 343s| 2300k| 2163k| 0 | 0.0 | 845M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
378.70/378.81 c 344s| 2310k| 2173k| 0 | 0.0 | 849M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
380.20/380.38 c 345s| 2320k| 2183k| 0 | 0.0 | 853M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
381.80/381.93 c 347s| 2330k| 2193k| 0 | 0.0 | 857M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
383.30/383.46 c 348s| 2340k| 2203k| 0 | 0.0 | 860M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
384.81/384.99 c 350s| 2350k| 2213k| 0 | 0.0 | 864M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
386.40/386.53 c 351s| 2360k| 2223k| 0 | 0.0 | 868M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
387.89/388.07 c 352s| 2370k| 2233k| 0 | 0.0 | 871M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
389.40/389.59 c 354s| 2380k| 2243k| 0 | 0.0 | 875M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
390.99/391.12 c 355s| 2390k| 2253k| 0 | 0.0 | 879M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
392.51/392.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.51/392.64 c 356s| 2400k| 2263k| 0 | 0.0 | 883M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
394.00/394.14 c 358s| 2410k| 2273k| 0 | 0.0 | 886M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
395.49/395.62 c 359s| 2420k| 2283k| 0 | 0.0 | 890M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
397.00/397.12 c 360s| 2430k| 2293k| 0 | 0.0 | 894M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
398.39/398.59 c 362s| 2440k| 2303k| 0 | 0.0 | 898M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
399.89/400.10 c 363s| 2450k| 2313k| 0 | 0.0 | 901M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
401.40/401.56 c 365s| 2460k| 2323k| 0 | 0.0 | 905M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
402.89/403.03 c 366s| 2470k| 2333k| 0 | 0.0 | 909M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
404.29/404.49 c 367s| 2480k| 2343k| 0 | 0.0 | 912M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
405.89/406.00 c 368s| 2490k| 2353k| 0 | 0.0 | 916M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
407.40/407.52 c 370s| 2500k| 2363k| 0 | 0.0 | 920M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
408.89/409.02 c 371s| 2510k| 2373k| 0 | 0.0 | 924M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
410.39/410.51 c 373s| 2520k| 2383k| 0 | 0.0 | 927M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
411.89/412.01 c 374s| 2530k| 2393k| 0 | 0.0 | 931M| 156 | - | 172 | 7 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
413.29/413.49 c 375s| 2540k| 2403k| 0 | 0.0 | 935M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
414.79/414.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.79/414.96 c 377s| 2550k| 2413k| 0 | 0.0 | 939M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
416.29/416.43 c 378s| 2560k| 2423k| 0 | 0.0 | 942M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
417.80/417.92 c 379s| 2570k| 2433k| 0 | 0.0 | 946M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
419.29/419.43 c 381s| 2580k| 2443k| 0 | 0.0 | 950M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
420.79/420.92 c 382s| 2590k| 2453k| 0 | 0.0 | 954M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
422.29/422.40 c 383s| 2600k| 2463k| 0 | 0.0 | 957M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
422.69/422.82 o 1408
422.69/422.82 c * 384s| 2602k| 2452k| 0 | 0.0 | 954M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
423.89/424.05 c 385s| 2610k| 2460k| 0 | 0.0 | 957M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
425.39/425.55 c 386s| 2620k| 2470k| 0 | 0.0 | 961M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
426.99/427.12 c 388s| 2630k| 2480k| 0 | 0.0 | 965M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
428.48/428.65 c 389s| 2640k| 2490k| 0 | 0.0 | 969M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
430.09/430.20 c 390s| 2650k| 2500k| 0 | 0.0 | 973M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
431.58/431.75 c 392s| 2660k| 2510k| 0 | 0.0 | 976M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
433.09/433.29 c 393s| 2670k| 2520k| 0 | 0.0 | 980M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
434.69/434.87 c 395s| 2680k| 2530k| 0 | 0.0 | 984M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
436.29/436.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.29/436.42 c 396s| 2690k| 2540k| 0 | 0.0 | 988M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
437.78/437.97 c 397s| 2700k| 2550k| 0 | 0.0 | 992M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
439.38/439.55 c 399s| 2710k| 2560k| 0 | 0.0 | 996M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
440.89/441.10 c 400s| 2720k| 2570k| 0 | 0.0 | 999M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
442.48/442.61 c 402s| 2730k| 2580k| 0 | 0.0 |1003M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
443.98/444.13 c 403s| 2740k| 2590k| 0 | 0.0 |1007M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
445.48/445.68 c 404s| 2750k| 2600k| 0 | 0.0 |1011M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
447.08/447.27 c 406s| 2760k| 2610k| 0 | 0.0 |1014M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
448.69/448.81 c 407s| 2770k| 2620k| 0 | 0.0 |1018M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.408000e+03 | Inf
449.48/449.61 o 1280
449.48/449.61 c * 408s| 2773k| 2580k| 0 | 0.0 |1005M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.280000e+03 | Inf
450.38/450.59 c 409s| 2780k| 2586k| 0 | 0.0 |1007M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.280000e+03 | Inf
452.08/452.20 c 410s| 2790k| 2596k| 0 | 0.0 |1011M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.280000e+03 | Inf
453.58/453.79 c 412s| 2800k| 2606k| 0 | 0.0 |1015M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.280000e+03 | Inf
455.29/455.43 c 413s| 2810k| 2616k| 0 | 0.0 |1019M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.280000e+03 | Inf
456.88/457.03 c 415s| 2820k| 2626k| 0 | 0.0 |1023M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.280000e+03 | Inf
458.49/458.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.49/458.61 c 416s| 2830k| 2635k| 0 | 0.0 |1027M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.280000e+03 | Inf
459.98/460.18 c 417s| 2840k| 2645k| 0 | 0.0 |1030M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.280000e+03 | Inf
461.57/461.78 c 419s| 2850k| 2655k| 0 | 0.0 |1034M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.280000e+03 | Inf
463.18/463.36 c 420s| 2860k| 2665k| 0 | 0.0 |1038M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.280000e+03 | Inf
464.78/464.96 c 422s| 2870k| 2675k| 0 | 0.0 |1042M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.280000e+03 | Inf
466.38/466.55 c 423s| 2880k| 2685k| 0 | 0.0 |1046M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.280000e+03 | Inf
466.58/466.78 o 1279
466.58/466.78 c * 423s| 2880k| 2685k| 0 | 0.0 |1046M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.279000e+03 | Inf
467.48/467.69 o 1275
467.48/467.69 c * 424s| 2885k| 2688k| 0 | 0.0 |1047M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
468.17/468.36 c 425s| 2890k| 2692k| 0 | 0.0 |1049M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
469.78/469.93 c 426s| 2900k| 2702k| 0 | 0.0 |1053M| 156 | - | 172 | 7 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
471.37/471.53 c 428s| 2910k| 2712k| 0 | 0.0 |1057M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
472.97/473.12 c 429s| 2920k| 2722k| 0 | 0.0 |1060M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
474.57/474.71 c 431s| 2930k| 2732k| 0 | 0.0 |1064M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
476.09/476.29 c 432s| 2940k| 2742k| 0 | 0.0 |1068M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
477.67/477.88 c 434s| 2950k| 2751k| 0 | 0.0 |1072M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
479.27/479.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
479.27/479.49 c 435s| 2960k| 2761k| 0 | 0.0 |1076M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
480.97/481.12 c 436s| 2970k| 2771k| 0 | 0.0 |1080M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
482.57/482.70 c 438s| 2980k| 2781k| 0 | 0.0 |1084M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
484.07/484.28 c 439s| 2990k| 2791k| 0 | 0.0 |1088M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
485.67/485.85 c 441s| 3000k| 2801k| 0 | 0.0 |1092M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
487.28/487.46 c 442s| 3010k| 2811k| 0 | 0.0 |1096M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
488.88/489.06 c 444s| 3020k| 2821k| 0 | 0.0 |1100M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
490.48/490.68 c 445s| 3030k| 2831k| 0 | 0.0 |1104M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.275000e+03 | Inf
490.77/490.99 o 1272
490.77/490.99 c * 445s| 3031k| 2830k| 0 | 0.0 |1103M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.272000e+03 | Inf
491.67/491.80 o 1265
491.67/491.80 c * 446s| 3035k| 2830k| 0 | 0.0 |1103M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.265000e+03 | Inf
491.77/491.92 o 1257
491.77/491.92 c * 446s| 3035k| 2824k| 0 | 0.0 |1101M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.257000e+03 | Inf
492.47/492.68 c 447s| 3040k| 2829k| 0 | 0.0 |1103M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.257000e+03 | Inf
494.17/494.31 c 448s| 3050k| 2839k| 0 | 0.0 |1107M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.257000e+03 | Inf
495.77/495.96 o 1256
495.77/495.96 c * 450s| 3059k| 2847k| 0 | 0.0 |1111M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.256000e+03 | Inf
495.88/496.01 c 450s| 3060k| 2847k| 0 | 0.0 |1111M| 156 | - | 172 | 7 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.256000e+03 | Inf
497.47/497.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.47/497.67 c 451s| 3070k| 2857k| 0 | 0.0 |1115M| 156 | - | 172 | 7 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.256000e+03 | Inf
499.07/499.26 c 453s| 3080k| 2867k| 0 | 0.0 |1119M| 156 | - | 172 | 7 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.256000e+03 | Inf
500.67/500.87 c 454s| 3090k| 2877k| 0 | 0.0 |1122M| 156 | - | 172 | 7 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.256000e+03 | Inf
502.26/502.47 c 456s| 3100k| 2886k| 0 | 0.0 |1126M| 156 | - | 172 | 7 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.256000e+03 | Inf
503.87/504.06 c 457s| 3110k| 2896k| 0 | 0.0 |1130M| 156 | - | 172 | 7 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.256000e+03 | Inf
505.46/505.64 c 459s| 3120k| 2906k| 0 | 0.0 |1134M| 156 | - | 172 | 7 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.256000e+03 | Inf
506.37/506.55 o 1254
506.37/506.55 c * 460s| 3124k| 2910k| 0 | 0.0 |1136M| 156 | - | 172 | 7 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.254000e+03 | Inf
507.17/507.36 c 460s| 3130k| 2915k| 0 | 0.0 |1138M| 156 | - | 172 | 7 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.254000e+03 | Inf
508.86/509.01 c 462s| 3140k| 2924k| 0 | 0.0 |1142M| 156 | - | 172 | 7 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.254000e+03 | Inf
510.46/510.62 c 463s| 3150k| 2934k| 0 | 0.0 |1146M| 156 | - | 172 | 7 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.254000e+03 | Inf
512.07/512.21 c 465s| 3160k| 2944k| 0 | 0.0 |1149M| 156 | - | 172 | 7 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.254000e+03 | Inf
513.66/513.82 c 466s| 3170k| 2954k| 0 | 0.0 |1153M| 156 | - | 172 | 7 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.254000e+03 | Inf
515.27/515.41 c 468s| 3180k| 2964k| 0 | 0.0 |1157M| 156 | - | 172 | 7 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.254000e+03 | Inf
516.87/517.00 c 469s| 3190k| 2974k| 0 | 0.0 |1161M| 156 | - | 172 | 7 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.254000e+03 | Inf
518.17/518.32 o 1243
518.17/518.32 c * 470s| 3197k| 2972k| 0 | 0.0 |1161M| 156 | - | 172 | 7 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
518.56/518.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
518.56/518.73 c 471s| 3200k| 2975k| 0 | 0.0 |1162M| 156 | - | 172 | 7 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
520.17/520.35 c 472s| 3210k| 2984k| 0 | 0.0 |1166M| 156 | - | 172 | 7 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
521.76/521.95 c 474s| 3220k| 2994k| 0 | 0.0 |1170M| 156 | - | 172 | 7 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
523.37/523.57 c 475s| 3230k| 3004k| 0 | 0.0 |1174M| 156 | - | 172 | 7 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
524.96/525.17 c 476s| 3240k| 3014k| 0 | 0.0 |1178M| 156 | - | 172 | 7 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
526.56/526.77 c 478s| 3250k| 3024k| 0 | 0.0 |1182M| 156 | - | 172 | 7 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
528.16/528.36 c 479s| 3260k| 3034k| 0 | 0.0 |1186M| 156 | - | 172 | 7 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
529.87/530.01 c 481s| 3270k| 3043k| 0 | 0.0 |1190M| 156 | - | 172 | 7 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
531.46/531.60 c 482s| 3280k| 3053k| 0 | 0.0 |1194M| 156 | - | 172 | 7 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
533.07/533.20 c 484s| 3290k| 3063k| 0 | 0.0 |1198M| 156 | - | 172 | 7 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
534.56/534.79 c 485s| 3300k| 3073k| 0 | 0.0 |1202M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
536.16/536.35 c 487s| 3310k| 3083k| 0 | 0.0 |1206M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
537.76/537.93 c 488s| 3320k| 3093k| 0 | 0.0 |1209M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
539.26/539.49 c 489s| 3330k| 3103k| 0 | 0.0 |1213M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
540.85/541.09 c 491s| 3340k| 3113k| 0 | 0.0 |1217M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
542.56/542.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.56/542.71 c 492s| 3350k| 3123k| 0 | 0.0 |1221M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
544.05/544.28 c 494s| 3360k| 3132k| 0 | 0.0 |1225M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
545.66/545.88 c 495s| 3370k| 3142k| 0 | 0.0 |1229M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
547.26/547.47 c 497s| 3380k| 3152k| 0 | 0.0 |1233M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
548.86/549.09 c 498s| 3390k| 3162k| 0 | 0.0 |1237M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
550.45/550.66 c 499s| 3400k| 3172k| 0 | 0.0 |1241M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
552.07/552.21 c 501s| 3410k| 3182k| 0 | 0.0 |1245M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
553.65/553.80 c 502s| 3420k| 3192k| 0 | 0.0 |1249M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
555.16/555.40 c 504s| 3430k| 3202k| 0 | 0.0 |1253M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
556.86/557.02 c 505s| 3440k| 3211k| 0 | 0.0 |1257M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
558.45/558.62 c 507s| 3450k| 3221k| 0 | 0.0 |1261M| 156 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
560.05/560.22 c 508s| 3460k| 3231k| 0 | 0.0 |1265M| 156 | - | 172 | 7 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
561.66/561.83 c 510s| 3470k| 3241k| 0 | 0.0 |1268M| 156 | - | 172 | 7 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
563.26/563.47 c 511s| 3480k| 3251k| 0 | 0.0 |1272M| 156 | - | 172 | 7 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
564.96/565.11 c 512s| 3490k| 3261k| 0 | 0.0 |1276M| 156 | - | 172 | 7 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
566.55/566.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.55/566.79 c 514s| 3500k| 3270k| 0 | 0.0 |1280M| 156 | - | 172 | 7 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
568.15/568.37 c 515s| 3510k| 3280k| 0 | 0.0 |1284M| 156 | - | 172 | 7 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
569.75/569.97 c 517s| 3520k| 3290k| 0 | 0.0 |1288M| 156 | - | 172 | 7 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
571.35/571.56 c 518s| 3530k| 3300k| 0 | 0.0 |1292M| 156 | - | 172 | 7 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
572.96/573.17 c 520s| 3540k| 3309k| 0 | 0.0 |1296M| 156 | - | 172 | 7 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
574.55/574.76 c 521s| 3550k| 3319k| 0 | 0.0 |1300M| 156 | - | 172 | 7 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
576.15/576.35 c 523s| 3560k| 3329k| 0 | 0.0 |1304M| 156 | - | 172 | 7 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
577.75/577.99 c 524s| 3570k| 3339k| 0 | 0.0 |1308M| 156 | - | 172 | 7 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
579.46/579.62 c 526s| 3580k| 3349k| 0 | 0.0 |1312M| 156 | - | 172 | 7 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
581.05/581.21 c 527s| 3590k| 3358k| 0 | 0.0 |1316M| 156 | - | 172 | 7 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
582.65/582.84 c 528s| 3600k| 3368k| 0 | 0.0 |1320M| 156 | - | 172 | 8 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
584.25/584.49 c 530s| 3610k| 3378k| 0 | 0.0 |1324M| 156 | - | 172 | 7 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
585.85/586.08 c 531s| 3620k| 3388k| 0 | 0.0 |1328M| 156 | - | 172 | 7 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
587.45/587.66 c 533s| 3630k| 3398k| 0 | 0.0 |1332M| 156 | - | 172 | 7 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
589.05/589.28 c 534s| 3640k| 3407k| 0 | 0.0 |1337M| 156 | - | 172 | 7 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
590.75/590.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
590.75/590.93 c 536s| 3650k| 3417k| 0 | 0.0 |1341M| 156 | - | 172 | 7 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
592.34/592.58 c 537s| 3660k| 3427k| 0 | 0.0 |1345M| 156 | - | 172 | 7 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
594.05/594.20 c 539s| 3670k| 3437k| 0 | 0.0 |1349M| 156 | - | 172 | 7 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
595.65/595.83 c 540s| 3680k| 3446k| 0 | 0.0 |1353M| 156 | - | 172 | 7 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
597.25/597.40 c 542s| 3690k| 3456k| 0 | 0.0 |1357M| 156 | - | 172 | 7 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.243000e+03 | Inf
597.85/598.04 c (node 3694032) switching to memory saving mode (mem: 1296.0M/1620.0M)
599.94/600.19 o 1119
599.94/600.19 c * 544s| 3694k| 3265k| 0 | 0.0 |1289M| 156 | - | 172 | 7 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
602.94/603.12 c 547s| 3700k| 3265k| 0 | 0.0 |1289M| 161 | - | 172 | 7 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
607.74/607.97 c 552s| 3710k| 3264k| 0 | 0.0 |1288M| 161 | - | 172 | 7 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
612.55/612.74 c 556s| 3720k| 3264k| 0 | 0.0 |1288M| 162 | - | 172 | 7 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
617.33/617.57 c 561s| 3730k| 3264k| 0 | 0.0 |1288M| 162 | - | 172 | 7 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
622.13/622.36 c 565s| 3740k| 3264k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
626.94/627.19 c 570s| 3750k| 3264k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
631.73/631.91 c 574s| 3760k| 3264k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
636.23/636.41 c 578s| 3770k| 3264k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
640.93/641.14 c 583s| 3780k| 3264k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
645.73/645.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
645.73/645.91 c 587s| 3790k| 3264k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
650.33/650.52 c 592s| 3800k| 3264k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
655.13/655.37 c 596s| 3810k| 3264k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
659.93/660.12 c 601s| 3820k| 3264k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
664.73/664.98 c 605s| 3830k| 3264k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
669.52/669.72 c 610s| 3840k| 3263k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
673.93/674.17 c 614s| 3850k| 3263k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
678.53/678.73 c 618s| 3860k| 3263k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
683.12/683.31 c 623s| 3870k| 3263k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
687.82/688.03 c 627s| 3880k| 3263k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
692.42/692.68 c 631s| 3890k| 3263k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
696.82/697.08 c 635s| 3900k| 3263k| 0 | 0.0 |1287M| 162 | - | 172 | 7 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
701.42/701.61 c 640s| 3910k| 3263k| 0 | 0.0 |1286M| 162 | - | 172 | 7 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
705.92/706.11 c 644s| 3920k| 3263k| 0 | 0.0 |1286M| 162 | - | 172 | 7 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
710.32/710.55 c 648s| 3930k| 3263k| 0 | 0.0 |1286M| 162 | - | 172 | 7 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
714.82/715.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.82/715.03 c 652s| 3940k| 3263k| 0 | 0.0 |1286M| 162 | - | 172 | 7 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
719.41/719.61 c 657s| 3950k| 3263k| 0 | 0.0 |1286M| 162 | - | 172 | 7 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
724.11/724.35 c 661s| 3960k| 3263k| 0 | 0.0 |1286M| 162 | - | 172 | 7 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
728.51/728.75 c 665s| 3970k| 3263k| 0 | 0.0 |1286M| 162 | - | 172 | 7 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
732.91/733.13 c 669s| 3980k| 3263k| 0 | 0.0 |1286M| 162 | - | 172 | 7 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
737.40/737.63 c 674s| 3990k| 3263k| 0 | 0.0 |1286M| 162 | - | 172 | 7 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
741.90/742.15 c 678s| 4000k| 3263k| 0 | 0.0 |1286M| 162 | - | 172 | 7 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
746.51/746.75 c 682s| 4010k| 3263k| 0 | 0.0 |1286M| 162 | - | 172 | 7 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
751.11/751.39 c 687s| 4020k| 3263k| 0 | 0.0 |1286M| 162 | - | 172 | 7 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
756.10/756.32 c 691s| 4030k| 3263k| 0 | 0.0 |1286M| 162 | - | 172 | 7 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
760.70/760.99 c 696s| 4040k| 3263k| 0 | 0.0 |1286M| 162 | - | 172 | 7 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
765.10/765.36 c 700s| 4050k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
769.80/770.04 c 704s| 4060k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
774.39/774.62 c 708s| 4070k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
778.89/779.12 c 713s| 4080k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
783.50/783.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.50/783.78 c 717s| 4090k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
788.10/788.33 c 721s| 4100k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
792.80/793.03 c 726s| 4110k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
797.30/797.51 c 730s| 4120k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
801.69/801.94 c 734s| 4130k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
806.18/806.43 c 738s| 4140k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
810.89/811.19 c 743s| 4150k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
815.78/816.06 c 747s| 4160k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
820.58/820.84 c 752s| 4170k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
825.58/825.89 c 756s| 4180k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
830.38/830.65 c 761s| 4190k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
835.18/835.42 c 765s| 4200k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
839.98/840.28 c 770s| 4210k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
844.88/845.10 c 774s| 4220k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
849.78/850.01 c 779s| 4230k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
854.58/854.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
854.58/854.80 c 784s| 4240k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
859.37/859.68 c 788s| 4250k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
864.28/864.52 c 793s| 4260k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
868.68/868.92 c 797s| 4270k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
873.08/873.34 c 801s| 4280k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
877.77/878.00 c 805s| 4290k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
882.47/882.79 c 810s| 4300k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
887.17/887.46 c 814s| 4310k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
891.56/891.87 c 818s| 4320k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
896.07/896.35 c 823s| 4330k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
900.47/900.75 c 827s| 4340k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
905.07/905.37 c 831s| 4350k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
909.66/909.96 c 836s| 4360k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
914.36/914.60 c 840s| 4370k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
918.76/919.00 c 844s| 4380k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
923.16/923.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.16/923.42 c 848s| 4390k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
927.76/928.01 c 852s| 4400k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
932.16/932.45 c 857s| 4410k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
936.97/937.22 c 861s| 4420k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
941.56/941.86 c 865s| 4430k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
946.05/946.39 c 870s| 4440k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
950.56/950.87 c 874s| 4450k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
955.05/955.35 c 878s| 4460k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
959.45/959.72 c 882s| 4470k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
963.85/964.14 c 886s| 4480k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
968.15/968.49 c 891s| 4490k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
972.65/972.94 c 895s| 4500k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
977.05/977.35 c 899s| 4510k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
981.34/981.63 c 903s| 4520k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
985.64/985.94 c 907s| 4530k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
989.94/990.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.94/990.26 c 911s| 4540k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
994.44/994.70 c 915s| 4550k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
998.74/999.03 c 919s| 4560k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1003.04/1003.32 c 923s| 4570k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1007.44/1007.75 c 927s| 4580k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1012.13/1012.45 c 932s| 4590k| 3263k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1016.94/1017.28 c 936s| 4600k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1021.43/1021.72 c 940s| 4610k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1025.73/1026.03 c 944s| 4620k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1030.13/1030.47 c 949s| 4630k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1034.53/1034.86 c 953s| 4640k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1038.92/1039.25 c 957s| 4650k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1043.33/1043.62 c 961s| 4660k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1047.62/1047.91 c 965s| 4670k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1051.93/1052.23 c 969s| 4680k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1056.33/1056.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.33/1056.61 c 973s| 4690k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1060.62/1060.97 c 977s| 4700k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1065.02/1065.34 c 981s| 4710k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1069.42/1069.78 c 985s| 4720k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1074.02/1074.30 c 990s| 4730k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1078.31/1078.62 c 994s| 4740k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1082.62/1082.98 c 998s| 4750k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1087.12/1087.45 c 1002s| 4760k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1091.51/1091.83 c 1006s| 4770k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1095.91/1096.22 c 1010s| 4780k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1100.21/1100.54 c 1014s| 4790k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1104.81/1105.12 c 1019s| 4800k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1109.01/1109.36 c 1023s| 4810k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1113.31/1113.69 c 1027s| 4820k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1117.70/1118.04 c 1031s| 4830k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1122.10/1122.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1122.10/1122.42 c 1035s| 4840k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1126.51/1126.81 c 1039s| 4850k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1130.80/1131.17 c 1043s| 4860k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1135.21/1135.58 c 1047s| 4870k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1139.80/1140.11 c 1051s| 4880k| 3262k| 0 | 0.0 |1286M| 163 | - | 172 | 7 | 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1144.60/1144.94 c 1056s| 4890k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1149.00/1149.34 c 1060s| 4900k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1153.30/1153.63 c 1064s| 4910k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1157.70/1158.08 c 1068s| 4920k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1162.20/1162.52 c 1072s| 4930k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1166.60/1166.91 c 1076s| 4940k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1170.99/1171.30 c 1081s| 4950k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1175.40/1175.78 c 1085s| 4960k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1179.80/1180.20 c 1089s| 4970k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1184.49/1184.83 c 1093s| 4980k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1188.89/1189.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.89/1189.25 c 1097s| 4990k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1193.29/1193.68 c 1102s| 5000k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1197.69/1198.09 c 1106s| 5010k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1202.39/1202.72 c 1110s| 5020k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1206.69/1207.09 c 1114s| 5030k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1211.28/1211.60 c 1119s| 5040k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1215.58/1215.94 c 1123s| 5050k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1220.38/1220.72 c 1127s| 5060k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1224.99/1225.31 c 1131s| 5070k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1229.26/1229.69 c 1136s| 5080k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1233.67/1234.03 c 1140s| 5090k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1237.96/1238.36 c 1144s| 5100k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1242.26/1242.61 c 1148s| 5110k| 3262k| 0 | 0.0 |1285M| 163 | - | 172 | 7 | 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1246.46/1246.89 c 1152s| 5120k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1250.76/1251.15 c 1156s| 5130k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1255.06/1255.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1255.06/1255.41 c 1160s| 5140k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1259.46/1259.85 c 1164s| 5150k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1263.96/1264.39 c 1168s| 5160k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1268.36/1268.75 c 1172s| 5170k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1272.86/1273.27 c 1176s| 5180k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1277.25/1277.62 c 1181s| 5190k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1281.76/1282.17 c 1185s| 5200k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1286.25/1286.61 c 1189s| 5210k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1290.65/1291.03 c 1193s| 5220k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1294.95/1295.39 c 1197s| 5230k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1299.35/1299.72 c 1201s| 5240k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1303.74/1304.17 c 1205s| 5250k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1308.14/1308.52 c 1210s| 5260k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1312.55/1312.98 c 1214s| 5270k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1317.04/1317.49 c 1218s| 5280k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1321.75/1322.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.75/1322.14 c 1222s| 5290k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1326.54/1326.95 c 1227s| 5300k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1330.94/1331.31 c 1231s| 5310k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1335.24/1335.62 c 1235s| 5320k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1339.54/1339.93 c 1239s| 5330k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1343.94/1344.30 c 1243s| 5340k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1348.34/1348.73 c 1247s| 5350k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1353.03/1353.48 c 1252s| 5360k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1357.53/1357.92 c 1256s| 5370k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1362.13/1362.54 c 1260s| 5380k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1366.43/1366.86 c 1264s| 5390k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1370.73/1371.19 c 1268s| 5400k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1375.03/1375.41 c 1272s| 5410k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1379.43/1379.82 c 1276s| 5420k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1384.23/1384.69 c 1281s| 5430k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1388.84/1389.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1388.84/1389.25 c 1285s| 5440k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1393.23/1393.67 c 1289s| 5450k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1397.74/1398.18 c 1294s| 5460k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1402.22/1402.60 c 1298s| 5470k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1406.62/1407.05 c 1302s| 5480k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1411.42/1411.83 c 1306s| 5490k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1415.82/1416.30 c 1311s| 5500k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1420.51/1420.98 c 1315s| 5510k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1425.31/1425.71 c 1319s| 5520k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1429.71/1430.18 c 1324s| 5530k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1434.31/1434.73 c 1328s| 5540k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1438.91/1439.36 c 1332s| 5550k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1443.51/1443.91 c 1336s| 5560k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1448.01/1448.47 c 1341s| 5570k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1452.81/1453.21 c 1345s| 5580k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1457.70/1458.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1457.70/1458.17 c 1350s| 5590k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1462.51/1462.97 c 1354s| 5600k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1467.21/1467.65 c 1359s| 5610k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1472.00/1472.48 c 1363s| 5620k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1477.00/1477.41 c 1368s| 5630k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1481.60/1482.05 c 1372s| 5640k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1486.30/1486.72 c 1377s| 5650k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1490.90/1491.36 c 1381s| 5660k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1495.61/1496.02 c 1385s| 5670k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1500.30/1500.79 c 1390s| 5680k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1505.20/1505.66 c 1395s| 5690k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1509.80/1510.26 c 1399s| 5700k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1514.60/1515.06 c 1403s| 5710k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1186k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1519.30/1519.72 c 1408s| 5720k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1523.69/1524.14 c 1412s| 5730k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1528.19/1528.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.19/1528.61 c 1416s| 5740k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1532.59/1533.03 c 1420s| 5750k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1536.89/1537.30 c 1424s| 5760k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1213k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1541.39/1541.88 c 1429s| 5770k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1546.09/1546.59 c 1433s| 5780k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1550.88/1551.32 c 1437s| 5790k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1555.88/1556.33 c 1442s| 5800k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1560.88/1561.30 c 1447s| 5810k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1565.78/1566.24 c 1452s| 5820k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1570.38/1570.83 c 1456s| 5830k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1575.17/1575.66 c 1460s| 5840k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1580.08/1580.60 c 1465s| 5850k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1584.97/1585.43 c 1470s| 5860k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1589.37/1589.88 c 1474s| 5870k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1593.88/1594.36 c 1478s| 5880k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1598.48/1598.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1598.48/1598.98 c 1482s| 5890k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1603.18/1603.64 c 1487s| 5900k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1607.87/1608.39 c 1491s| 5910k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1612.37/1612.89 c 1495s| 5920k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1617.07/1617.60 c 1500s| 5930k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1621.57/1622.04 c 1504s| 5940k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1626.48/1626.95 c 1508s| 5950k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1631.17/1631.63 c 1513s| 5960k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1636.16/1636.65 c 1518s| 5970k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1640.86/1641.30 c 1522s| 5980k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1645.66/1646.11 c 1527s| 5990k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1650.16/1650.66 c 1531s| 6000k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1654.86/1655.31 c 1535s| 6010k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1659.66/1660.11 c 1540s| 6020k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1664.36/1664.85 c 1544s| 6030k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1669.05/1669.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1669.05/1669.58 c 1549s| 6040k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1674.15/1674.61 c 1553s| 6050k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1678.75/1679.29 c 1558s| 6060k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1683.45/1683.94 c 1562s| 6070k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1688.15/1688.65 c 1567s| 6080k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1692.95/1693.47 c 1571s| 6090k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1697.74/1698.21 c 1576s| 6100k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1702.36/1702.81 c 1580s| 6110k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1706.95/1707.44 c 1584s| 6120k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1712.15/1712.61 c 1589s| 6130k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1717.24/1717.70 c 1594s| 6140k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1722.05/1722.59 c 1598s| 6150k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1726.93/1727.47 c 1603s| 6160k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1731.54/1732.09 c 1607s| 6170k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1736.44/1736.92 c 1612s| 6180k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1741.13/1741.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.13/1741.61 c 1616s| 6190k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1745.74/1746.23 c 1621s| 6200k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1750.33/1750.83 c 1625s| 6210k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1754.84/1755.30 c 1629s| 6220k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1759.14/1759.64 c 1633s| 6230k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1763.43/1763.91 c 1637s| 6240k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1767.73/1768.26 c 1641s| 6250k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1772.03/1772.56 c 1645s| 6260k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1776.33/1776.82 c 1649s| 6270k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1780.53/1781.09 c 1653s| 6280k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1784.93/1785.43 c 1658s| 6290k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1789.53/1790.04 c 1662s| 6300k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1794.32/1794.80 c 1666s| 6310k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1798.82/1799.33 c 1671s| 6320k| 3262k| 0 | 0.0 |1285M| 164 | - | 172 | 7 | 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 1.119000e+03 | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1671.72
1800.03/1800.50 c Solving Nodes : 6322427
1800.03/1800.50 c Primal Bound : +1.11900000000000e+03 (11 solutions)
1800.03/1800.50 c Dual Bound : +0.00000000000000e+00
1800.03/1800.50 c Gap : infinite
1800.03/1800.50 s SATISFIABLE
1800.03/1800.50 v -x172 -x171 x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 x160 x159 -x158 x157 x156 x155 -x154 x153 -x152 x151 x150
1800.03/1800.50 v x149 -x148 x147 -x146 x145 -x144 -x143 x142 -x141 -x140 x139 -x138 x137 x136 x135 x134 -x133 x132 -x131 -x130 -x129 x128 x127
1800.03/1800.50 v x126 -x125 -x124 x123 x122 -x121 x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105
1800.03/1800.50 v x104 x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 x81 -x80
1800.03/1800.50 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 -x53
1800.03/1800.50 v -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 x43 -x42 x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27
1800.03/1800.50 v -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 -x1
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time : 1671.72
1800.03/1800.50 c Original Problem :
1800.03/1800.50 c Problem name : HOME/instance-2664231-1276616433.opb
1800.03/1800.50 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.50 c Constraints : 14 initial, 14 maximal
1800.03/1800.50 c Presolved Problem :
1800.03/1800.50 c Problem name : t_HOME/instance-2664231-1276616433.opb
1800.03/1800.50 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.50 c Constraints : 7 initial, 10 maximal
1800.03/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.50 c linear : 0.00 0 0 0 0 0 7 0 0
1800.03/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c root node : - 0 - - 0 - - - -
1800.03/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.50 c linear : 7 0 15804136 0 5071494 1527413 25340091 0 0 0
1800.03/1800.50 c logicor : 0+ 0 1510802 0 0 69 1506254 0 0 0
1800.03/1800.50 c countsols : 0 0 0 0 5071497 0 0 0 0 0
1800.03/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.50 c linear : 1153.05 0.00 1149.76 0.00 3.29
1800.03/1800.51 c logicor : 7.98 0.00 7.98 0.00 0.00
1800.03/1800.51 c countsols : 1.88 0.00 0.00 0.00 1.88
1800.03/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.51 c vbounds : 7.11 2 0 0
1800.03/1800.51 c rootredcost : 7.17 0 0 0
1800.03/1800.51 c pseudoobj : 109.64 15807908 3969 94397
1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.51 c propagation : 531.15 1531445 1521798 4894296 104.2 4 65.5 -
1800.03/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c pseudo solution : 0.00 1 1 5 36.0 0 0.0 -
1800.03/1800.51 c applied globally : - - - 23 29.3 - - -
1800.03/1800.51 c applied locally : - - - 1521776 75.3 - - -
1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.51 c redcost : 0.00 0 0 0 0 0
1800.03/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.51 c intobj : 0.00 0 0 0 0 0
1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.51 c gomory : 0.00 0 0 0 0 0
1800.03/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.51 c cmir : 0.00 0 0 0 0 0
1800.03/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.51 c clique : 0.00 0 0 0 0 0
1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.51 c mcf : 0.00 0 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 89.41 5071486 0 0 0 0 10142972
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.00 - 0
1800.03/1800.51 c pseudo solutions : 2.53 - 11
1800.03/1800.51 c oneopt : 3.94 0 0
1800.03/1800.51 c trivial : 0.01 2 0
1800.03/1800.51 c simplerounding : 0.00 0 0
1800.03/1800.51 c zirounding : 0.00 0 0
1800.03/1800.51 c rounding : 0.00 0 0
1800.03/1800.51 c shifting : 0.00 0 0
1800.03/1800.51 c intshifting : 0.00 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c feaspump : 0.00 0 0
1800.03/1800.51 c coefdiving : 0.00 0 0
1800.03/1800.51 c pscostdiving : 0.00 0 0
1800.03/1800.51 c fracdiving : 0.00 0 0
1800.03/1800.51 c veclendiving : 0.00 0 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c objpscostdiving : 0.00 0 0
1800.03/1800.51 c rootsoldiving : 0.00 0 0
1800.03/1800.51 c linesearchdiving : 0.00 0 0
1800.03/1800.51 c guideddiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.00 0 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c crossover : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 2.83 0 0
1800.03/1800.51 c trysol : 2.87 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.51 c (at root node) : - 0 0 0.00 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 6322427
1800.03/1800.51 c nodes (total) : 6322427
1800.03/1800.51 c nodes left : 3262263
1800.03/1800.51 c max depth : 164
1800.03/1800.51 c max depth (total): 164
1800.03/1800.51 c backtracks : 422218 (6.7%)
1800.03/1800.51 c delayed cutoffs : 280547
1800.03/1800.51 c repropagations : 5930044 (3452892 domain reductions, 280522 cutoffs)
1800.03/1800.51 c avg switch length: 4.52
1800.03/1800.51 c switching time : 88.41
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 11 (11 improvements)
1800.03/1800.51 c First Solution : +1.40800000000000e+03 (in run 1, after 2602027 nodes, 383.54 seconds, depth 54, found by <relaxation>)
1800.03/1800.51 c Primal Bound : +1.11900000000000e+03 (in run 1, after 3694061 nodes, 543.09 seconds, depth 73, found by <relaxation>)
1800.03/1800.51 c Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Root Iterations : 0
OK 1119
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664231-1276616433/watcher-2664231-1276616433 -o /tmp/evaluation-result-2664231-1276616433/solver-2664231-1276616433 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664231-1276616433.opb -t 1800 -m 1800 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10103 /proc/meminfo: memFree=1770884/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=6584 CPUtime=0 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 976 0 0 0 0 0 0 0 18 0 1 0 2934815 6742016 900 1992294400 4194304 7136930 140736051128720 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10103/statm: 1646 909 254 719 0 925 0 [startup+0.0526009 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10103 /proc/meminfo: memFree=1770884/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=11296 CPUtime=0.05 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 2777 0 0 0 4 1 0 0 20 0 1 0 2934815 11567104 2090 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 2824 2094 375 719 0 2103 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11296 [startup+0.100605 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10103 /proc/meminfo: memFree=1770884/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=11568 CPUtime=0.09 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 2837 0 0 0 8 1 0 0 20 0 1 0 2934815 11845632 2150 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 2892 2150 383 719 0 2171 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11568 [startup+0.300623 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10103 /proc/meminfo: memFree=1770884/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=12216 CPUtime=0.29 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 3010 0 0 0 25 4 0 0 20 0 1 0 2934815 12509184 2323 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 3054 2323 383 719 0 2333 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12216 [startup+0.700659 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10103 /proc/meminfo: memFree=1770884/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=13788 CPUtime=0.69 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 3417 0 0 0 61 8 0 0 20 0 1 0 2934815 14118912 2730 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 3447 2730 383 719 0 2726 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13788 [startup+1.50073 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10104 /proc/meminfo: memFree=1760956/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=16076 CPUtime=1.49 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 4005 0 0 0 133 16 0 0 23 0 1 0 2934815 16461824 3318 1992294400 4194304 7136930 140736051128720 18446744073709551615 4947574 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 4019 3318 383 719 0 3298 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16076 [startup+3.10087 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10104 /proc/meminfo: memFree=1756492/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=19816 CPUtime=3.09 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 4996 0 0 0 279 30 0 0 25 0 1 0 2934815 20291584 4309 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 4954 4309 383 719 0 4233 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19816 [startup+6.30116 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10104 /proc/meminfo: memFree=1748308/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=28152 CPUtime=6.29 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 7144 0 0 0 573 56 0 0 25 0 1 0 2934815 28827648 6457 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 7038 6457 383 719 0 6317 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28152 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10106 /proc/meminfo: memFree=1728096/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=48644 CPUtime=12.69 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 11893 0 0 0 1151 118 0 0 25 0 1 0 2934815 49811456 11206 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 12161 11206 383 719 0 11440 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48644 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10106 /proc/meminfo: memFree=1691392/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=83196 CPUtime=25.49 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 20815 0 0 0 2313 236 0 0 25 0 1 0 2934815 85192704 20128 1992294400 4194304 7136930 140736051128720 18446744073709551615 4947114 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 20799 20128 383 719 0 20078 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 83196 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10106 /proc/meminfo: memFree=1628400/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=149240 CPUtime=51.07 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 36938 0 0 0 4633 474 0 0 25 0 1 0 2934815 152821760 36251 1992294400 4194304 7136930 140736051128720 18446744073709551615 4978944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 37310 36251 383 719 0 36589 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 149240 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10108 /proc/meminfo: memFree=1484684/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=294584 CPUtime=102.28 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 72585 0 0 0 9235 993 0 0 25 0 1 0 2934815 301654016 71898 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 73646 71898 383 719 0 72925 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 294584 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10110 /proc/meminfo: memFree=1328816/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=460408 CPUtime=162.25 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 111227 0 0 0 14651 1574 0 0 25 0 1 0 2934815 471457792 110540 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 115102 110540 383 719 0 114381 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 460408 [startup+222.301 s] /proc/loadavg: 1.08 1.02 1.01 2/107 10110 /proc/meminfo: memFree=1235196/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=551144 CPUtime=222.24 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 134640 0 0 0 20215 2009 0 0 25 0 1 0 2934815 564371456 133953 1992294400 4194304 7136930 140736051128720 18446744073709551615 4704749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 137786 133953 383 719 0 137065 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 551144 [startup+282.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 10112 /proc/meminfo: memFree=1106360/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=675576 CPUtime=282.22 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 167150 0 0 0 25676 2546 0 0 25 0 1 0 2934815 691789824 166463 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 168894 166463 383 719 0 168173 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 675576 [startup+342.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 10114 /proc/meminfo: memFree=952972/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=821344 CPUtime=342.2 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 205146 0 0 0 31093 3127 0 0 25 0 1 0 2934815 841056256 204459 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 205336 204459 383 719 0 204615 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 821344 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10116 /proc/meminfo: memFree=808264/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=992716 CPUtime=402.19 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 241326 0 0 0 36519 3700 0 0 25 0 1 0 2934815 1016541184 240639 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 248179 240639 383 719 0 247458 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 992716 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10118 /proc/meminfo: memFree=670996/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1123092 CPUtime=462.18 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 275212 0 0 0 41940 4278 0 0 25 0 1 0 2934815 1150046208 274525 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 280773 274525 383 719 0 280052 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 1123092 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10118 /proc/meminfo: memFree=539308/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1252600 CPUtime=522.16 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 308912 0 0 0 47380 4836 0 0 25 0 1 0 2934815 1282662400 308225 1992294400 4194304 7136930 140736051128720 18446744073709551615 4978047 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 313150 308225 383 719 0 312429 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1252600 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10120 /proc/meminfo: memFree=383688/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1400476 CPUtime=582.14 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 347313 0 0 0 52800 5414 0 0 25 0 1 0 2934815 1434087424 346626 1992294400 4194304 7136930 140736051128720 18446744073709551615 4661193 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 350119 346626 384 719 0 349398 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1400476 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10122 /proc/meminfo: memFree=340660/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1439712 CPUtime=642.14 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371013 0 0 0 58390 5824 0 0 25 0 1 0 2934815 1474265088 356807 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 359928 356807 384 719 0 359207 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 1439712 [startup+702.3 s] ################ # More data... # ################ /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371126 0 0 0 92214 7990 0 0 25 0 1 0 2934815 1474723840 356920 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360040 356920 384 719 0 359319 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1440160 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10134 /proc/meminfo: memFree=339668/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1062.03 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371128 0 0 0 97844 8359 0 0 25 0 1 0 2934815 1474863104 356922 1992294400 4194304 7136930 140736051128720 18446744073709551615 5921712 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356922 384 719 0 359353 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 1440296 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10134 /proc/meminfo: memFree=339544/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1122 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371128 0 0 0 103470 8730 0 0 25 0 1 0 2934815 1474863104 356922 1992294400 4194304 7136930 140736051128720 18446744073709551615 4948376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356922 384 719 0 359353 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1440296 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10136 /proc/meminfo: memFree=339420/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1181.99 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371136 0 0 0 109095 9104 0 0 25 0 1 0 2934815 1474863104 356930 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356930 384 719 0 359353 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1440296 [startup+1242.3 s] /proc/loadavg: 1.10 1.03 1.01 2/107 10147 /proc/meminfo: memFree=338304/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1241.96 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371137 0 0 0 114734 9462 0 0 25 0 1 0 2934815 1474863104 356931 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356931 384 719 0 359353 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1440296 [startup+1302.3 s] /proc/loadavg: 1.08 1.04 1.01 2/107 10149 /proc/meminfo: memFree=338304/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1301.96 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371138 0 0 0 120371 9825 0 0 25 0 1 0 2934815 1474863104 356932 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356932 384 719 0 359353 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1440296 [startup+1362.3 s] /proc/loadavg: 1.07 1.04 1.01 2/107 10151 /proc/meminfo: memFree=338304/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1361.93 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371138 0 0 0 126003 10190 0 0 25 0 1 0 2934815 1474863104 356932 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356932 384 719 0 359353 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1440296 [startup+1422.31 s] /proc/loadavg: 1.06 1.05 1.01 2/107 10151 /proc/meminfo: memFree=338428/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1421.93 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371138 0 0 0 131625 10568 0 0 25 0 1 0 2934815 1474863104 356932 1992294400 4194304 7136930 140736051128720 18446744073709551615 4648604 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356932 384 719 0 359353 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1440296 [startup+1482.3 s] /proc/loadavg: 1.11 1.06 1.01 2/107 10153 /proc/meminfo: memFree=338428/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1481.91 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371138 0 0 0 137264 10927 0 0 25 0 1 0 2934815 1474863104 356932 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356932 384 719 0 359353 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1440296 [startup+1542.3 s] /proc/loadavg: 1.04 1.05 1.01 2/107 10155 /proc/meminfo: memFree=338304/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1541.88 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371138 0 0 0 142900 11288 0 0 25 0 1 0 2934815 1474863104 356932 1992294400 4194304 7136930 140736051128720 18446744073709551615 4978371 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356932 384 719 0 359353 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1440296 [startup+1602.3 s] /proc/loadavg: 1.01 1.04 1.00 2/107 10157 /proc/meminfo: memFree=338304/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1601.87 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371138 0 0 0 148535 11652 0 0 25 0 1 0 2934815 1474863104 356932 1992294400 4194304 7136930 140736051128720 18446744073709551615 5917617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356932 384 719 0 359353 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1440296 [startup+1662.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 10159 /proc/meminfo: memFree=338304/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1661.86 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371138 0 0 0 154175 12011 0 0 25 0 1 0 2934815 1474863104 356932 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356932 384 719 0 359353 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1440296 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10159 /proc/meminfo: memFree=338180/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1721.84 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371146 0 0 0 159820 12364 0 0 25 0 1 0 2934815 1474863104 356940 1992294400 4194304 7136930 140736051128720 18446744073709551615 4978081 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356940 384 719 0 359353 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1440296 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10161 /proc/meminfo: memFree=337808/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1781.82 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371146 0 0 0 165457 12725 0 0 25 0 1 0 2934815 1474863104 356940 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356940 384 719 0 359353 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1440296 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10161 /proc/meminfo: memFree=337808/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1800.03 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371146 0 0 0 167172 12831 0 0 25 0 1 0 2934815 1474863104 356940 1992294400 4194304 7136930 140736051128720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356940 384 719 0 359353 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1440296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10103 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.02 1.00 2/108 10162 /proc/meminfo: memFree=337800/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1800.92 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371152 0 0 0 167261 12831 0 0 25 0 1 0 2934815 1474863104 356946 1992294400 4194304 7136930 140736051128720 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356946 390 719 0 359353 0 Current children cumulated CPU time (s) 1800.92 Current children cumulated vsize (KiB) 1440296 [startup+1802.2 s] /proc/loadavg: 1.00 1.01 1.00 2/108 10162 /proc/meminfo: memFree=337800/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1440296 CPUtime=1801.72 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4202496 371152 0 0 0 167341 12831 0 0 25 0 1 0 2934815 1474863104 356946 1992294400 4194304 7136930 140736051128720 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10103/statm: 360074 356946 390 719 0 359353 0 Current children cumulated CPU time (s) 1801.72 Current children cumulated vsize (KiB) 1440296 [startup+1802.6 s] /proc/loadavg: 1.00 1.01 1.00 2/108 10162 /proc/meminfo: memFree=337800/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=0 CPUtime=1802.12 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 9446 0 -1 4203524 371152 0 0 0 167372 12840 0 0 25 0 1 0 2934815 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/10103/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.64 CPU time (s): 1802.16 CPU user time (s): 1673.72 CPU system time (s): 128.443 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 1503556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1673.72 system time used= 128.443 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 371152 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= 3632 runsolver used 3.13452 second user time and 8.38472 second system time The end
Begin job on node051 at 2010-06-15 17:40:33 IDJOB=2664231 IDBENCH=2924 IDSOLVER=1167 FILE ID=node051/2664231-1276616433 PBS_JOBID= 11172278 Free space on /tmp= 62564 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb 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-2664231-1276616433/watcher-2664231-1276616433 -o /tmp/evaluation-result-2664231-1276616433/solver-2664231-1276616433 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664231-1276616433.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED=2029566849 node051.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.255 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.255 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1771412 kB Buffers: 31496 kB Cached: 132944 kB SwapCached: 0 kB Active: 108924 kB Inactive: 114924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1771412 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3236 kB Writeback: 0 kB AnonPages: 59436 kB Mapped: 15392 kB Slab: 42148 kB PageTables: 3920 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182300 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62560 MiB End job on node051 at 2010-06-15 18:10:36