Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.12 | 1802.51 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo |
| MD5SUM | 1f875ef306d18e6f86db860a031faa4e |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 96 |
| Best CPU time to get the best result obtained on this benchmark | 0.011997 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 400 |
| Total number of constraints | 60 |
| Number of soft constraints | 16 |
| Number of constraints which are clauses | 40 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 20 |
| Top cost | 813 |
| Min constraint cost | 1 |
| Max constraint cost | 95 |
| Sum of constraints costs | 812 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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-2693681-1277886808.wbo>
0.00/0.00 c original problem has 432 variables (416 bin, 0 int, 0 impl, 16 cont) and 77 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16 impls, 18 clqs
0.00/0.00 c (round 2) 0 del vars, 1 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16 impls, 18 clqs
0.00/0.01 c (round 3) 0 del vars, 1 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 26 upgd conss, 16 impls, 18 clqs
0.00/0.01 c (round 4) 0 del vars, 1 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 44 upgd conss, 16 impls, 18 clqs
0.00/0.01 c (0.0s) probing: 101/416 (24.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (5 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 16 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 16 implications, 18 cliques
0.00/0.01 c presolved problem has 432 variables (416 bin, 0 int, 0 impl, 16 cont) and 76 constraints
0.00/0.01 c 16 constraints of type <indicator>
0.00/0.01 c 18 constraints of type <setppc>
0.00/0.01 c 16 constraints of type <linear>
0.00/0.01 c 26 constraints of type <logicor>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c lp/solvefreq = -1
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 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.01 c 0.0s| 1 | 2 | 0 | - |1015k| 0 | - | 432 | 76 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.70 c 0.6s| 10000 | 8948 | 0 | 0.0 |5246k| 182 | - | 432 | 861 | 0 | 0 | 0 |3273 | 0 | 0.000000e+00 | -- | Inf
1.40/1.43 c 1.3s| 20000 | 17942 | 0 | 0.0 |9086k| 182 | - | 432 |1018 | 0 | 0 | 0 |6930 | 0 | 0.000000e+00 | -- | Inf
2.09/2.18 c 2.0s| 30000 | 26801 | 0 | 0.0 | 12M| 182 | - | 432 |1161 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
2.89/2.94 c 2.7s| 40000 | 35594 | 0 | 0.0 | 16M| 182 | - | 432 |1269 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
3.69/3.75 c 3.4s| 50000 | 44110 | 0 | 0.0 | 20M| 182 | - | 432 |1471 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
4.59/4.66 c 4.3s| 60000 | 52221 | 0 | 0.0 | 25M| 182 | - | 432 |1653 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
5.59/5.63 c 5.2s| 70000 | 59996 | 0 | 0.0 | 29M| 182 | - | 432 |1797 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
6.59/6.67 c 6.1s| 80000 | 67484 | 0 | 0.0 | 34M| 182 | - | 432 |1993 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
7.79/7.86 c 7.2s| 90000 | 74216 | 0 | 0.0 | 38M| 182 | - | 432 |2127 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
8.70/8.78 c 8.1s|100000 | 82258 | 0 | 0.0 | 42M| 243 | - | 432 | 979 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
9.49/9.56 c 8.8s|110000 | 91095 | 0 | 0.0 | 46M| 243 | - | 432 |1403 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
10.29/10.37 c 9.5s|120000 | 99829 | 0 | 0.0 | 50M| 243 | - | 432 |1517 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
11.09/11.17 c 10.3s|130000 |108614 | 0 | 0.0 | 54M| 243 | - | 432 |1469 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
11.89/11.98 c 11.0s|140000 |117322 | 0 | 0.0 | 57M| 243 | - | 432 |1547 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
12.80/12.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.80/12.80 c 11.8s|150000 |125984 | 0 | 0.0 | 61M| 243 | - | 432 |1582 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
13.60/13.62 c 12.5s|160000 |134701 | 0 | 0.0 | 65M| 243 | - | 432 |1601 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
14.39/14.45 c 13.3s|170000 |143300 | 0 | 0.0 | 69M| 243 | - | 432 |1572 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
15.19/15.30 c 14.1s|180000 |151918 | 0 | 0.0 | 73M| 243 | - | 432 |1634 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
16.09/16.14 c 14.9s|190000 |160549 | 0 | 0.0 | 77M| 243 | - | 432 |1737 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
16.99/17.02 c 15.7s|200000 |169126 | 0 | 0.0 | 81M| 243 | - | 432 |1790 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
17.79/17.88 c 16.5s|210000 |177682 | 0 | 0.0 | 85M| 243 | - | 432 |1668 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
18.69/18.74 c 17.2s|220000 |186244 | 0 | 0.0 | 89M| 243 | - | 432 |1861 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
19.59/19.61 c 18.1s|230000 |194779 | 0 | 0.0 | 93M| 243 | - | 432 |1999 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
20.39/20.48 c 18.9s|240000 |203311 | 0 | 0.0 | 97M| 243 | - | 432 |1871 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
21.29/21.36 c 19.7s|250000 |211805 | 0 | 0.0 | 101M| 243 | - | 432 |1939 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
22.19/22.27 c 20.5s|260000 |220210 | 0 | 0.0 | 104M| 243 | - | 432 |1948 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
23.10/23.17 c 21.3s|270000 |228683 | 0 | 0.0 | 108M| 243 | - | 432 |2048 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
23.99/24.09 c 22.2s|280000 |237022 | 0 | 0.0 | 112M| 243 | - | 432 |2070 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
24.99/25.00 c 23.0s|290000 |245416 | 0 | 0.0 | 116M| 243 | - | 432 |2117 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
25.89/25.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.89/25.90 c 23.9s|300000 |253841 | 0 | 0.0 | 120M| 243 | - | 432 |2212 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
26.79/26.83 c 24.7s|310000 |262182 | 0 | 0.0 | 124M| 243 | - | 432 |2032 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
27.69/27.76 c 25.6s|320000 |270555 | 0 | 0.0 | 128M| 243 | - | 432 |2273 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
28.69/28.70 c 26.5s|330000 |278856 | 0 | 0.0 | 132M| 243 | - | 432 |2188 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
29.60/29.65 c 27.3s|340000 |287145 | 0 | 0.0 | 136M| 243 | - | 432 |2216 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
30.49/30.58 c 28.2s|350000 |295489 | 0 | 0.0 | 140M| 243 | - | 432 |2066 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
31.49/31.53 c 29.1s|360000 |303724 | 0 | 0.0 | 144M| 243 | - | 432 |2202 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
32.39/32.46 c 29.9s|370000 |312094 | 0 | 0.0 | 148M| 243 | - | 432 |2299 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
33.36/33.47 c 30.8s|380000 |320290 | 0 | 0.0 | 152M| 243 | - | 432 |2255 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
34.36/34.41 c 31.7s|390000 |328629 | 0 | 0.0 | 156M| 243 | - | 432 |2440 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
35.35/35.44 c 32.6s|400000 |336711 | 0 | 0.0 | 160M| 243 | - | 432 |2343 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
36.26/36.38 c 33.5s|410000 |345020 | 0 | 0.0 | 164M| 243 | - | 432 |2481 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
37.36/37.42 c 34.5s|420000 |353040 | 0 | 0.0 | 168M| 243 | - | 432 |2440 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
38.25/38.38 c 35.4s|430000 |361315 | 0 | 0.0 | 173M| 243 | - | 432 |2620 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
39.36/39.43 c 36.4s|440000 |369332 | 0 | 0.0 | 177M| 243 | - | 432 |2392 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
40.36/40.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.36/40.40 c 37.2s|450000 |377559 | 0 | 0.0 | 181M| 243 | - | 432 |2529 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
41.36/41.45 c 38.2s|460000 |385562 | 0 | 0.0 | 185M| 243 | - | 432 |2528 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
42.36/42.45 c 39.2s|470000 |393687 | 0 | 0.0 | 189M| 243 | - | 432 |2682 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
43.46/43.51 c 40.1s|480000 |401642 | 0 | 0.0 | 193M| 243 | - | 432 |2606 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
44.46/44.52 c 41.1s|490000 |409730 | 0 | 0.0 | 197M| 243 | - | 432 |2687 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
45.46/45.58 c 42.1s|500000 |417687 | 0 | 0.0 | 201M| 243 | - | 432 |2721 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
46.56/46.63 c 43.1s|510000 |425701 | 0 | 0.0 | 206M| 243 | - | 432 |2806 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
47.56/47.68 c 44.1s|520000 |433693 | 0 | 0.0 | 210M| 243 | - | 432 |2808 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
48.66/48.78 c 45.1s|530000 |441567 | 0 | 0.0 | 214M| 243 | - | 432 |2688 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
49.75/49.82 c 46.0s|540000 |449602 | 0 | 0.0 | 218M| 243 | - | 432 |2862 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
50.85/50.96 c 47.1s|550000 |457409 | 0 | 0.0 | 222M| 243 | - | 432 |2810 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
51.95/52.03 c 48.1s|560000 |465372 | 0 | 0.0 | 226M| 243 | - | 432 |2822 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
53.05/53.17 c 49.2s|570000 |473113 | 0 | 0.0 | 231M| 243 | - | 432 |2914 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
54.16/54.28 c 50.2s|580000 |480970 | 0 | 0.0 | 235M| 243 | - | 432 |2887 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
55.36/55.46 c 51.3s|590000 |488597 | 0 | 0.0 | 239M| 243 | - | 432 |2992 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
56.55/56.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.55/56.60 c 52.4s|600000 |496379 | 0 | 0.0 | 244M| 243 | - | 432 |3008 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
57.66/57.74 c 53.5s|610000 |504141 | 0 | 0.0 | 248M| 243 | - | 432 |2991 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
58.85/58.93 c 54.6s|620000 |511794 | 0 | 0.0 | 252M| 243 | - | 432 |3373 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
60.05/60.11 c 55.7s|630000 |519483 | 0 | 0.0 | 257M| 243 | - | 432 |3332 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
61.25/61.33 c 56.8s|640000 |527058 | 0 | 0.0 | 261M| 243 | - | 432 |3262 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
62.36/62.48 c 57.9s|650000 |534858 | 0 | 0.0 | 265M| 243 | - | 432 |3112 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
63.66/63.75 c 59.1s|660000 |542239 | 0 | 0.0 | 270M| 243 | - | 432 |3553 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
64.87/64.92 c 60.2s|670000 |549956 | 0 | 0.0 | 274M| 243 | - | 432 |3068 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
66.05/66.19 c 61.4s|680000 |557332 | 0 | 0.0 | 278M| 243 | - | 432 |3702 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
67.35/67.42 c 62.5s|690000 |564953 | 0 | 0.0 | 283M| 243 | - | 432 |3131 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
68.56/68.69 c 63.8s|700000 |572300 | 0 | 0.0 | 287M| 243 | - | 432 |3664 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | -- | Inf
69.86/69.94 c 64.9s|710000 |579881 | 0 | 0.0 | 291M| 243 | - | 432 |3287 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | -- | Inf
71.15/71.25 c 66.2s|720000 |587172 | 0 | 0.0 | 296M| 243 | - | 432 |3890 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
72.46/72.54 c 67.4s|730000 |594656 | 0 | 0.0 | 300M| 243 | - | 432 |3295 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | -- | Inf
73.75/73.85 c 68.6s|740000 |601936 | 0 | 0.0 | 305M| 243 | - | 432 |3984 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
75.06/75.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.06/75.19 c 69.9s|750000 |609279 | 0 | 0.0 | 309M| 243 | - | 432 |3422 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
76.36/76.48 c 71.1s|760000 |616576 | 0 | 0.0 | 314M| 243 | - | 432 |4224 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
77.65/77.78 c 72.3s|770000 |624001 | 0 | 0.0 | 318M| 243 | - | 432 |3482 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | -- | Inf
79.06/79.15 c 73.6s|780000 |631060 | 0 | 0.0 | 323M| 243 | - | 432 |4229 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | -- | Inf
80.36/80.46 c 74.8s|790000 |638462 | 0 | 0.0 | 327M| 243 | - | 432 |3618 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | -- | Inf
81.75/81.82 c 76.1s|800000 |645556 | 0 | 0.0 | 332M| 243 | - | 432 |4263 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | -- | Inf
83.06/83.15 c 77.4s|810000 |652866 | 0 | 0.0 | 336M| 243 | - | 432 |3484 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | -- | Inf
84.56/84.63 c 78.8s|820000 |659814 | 0 | 0.0 | 341M| 243 | - | 432 |4411 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | -- | Inf
85.95/86.02 c 80.1s|830000 |667102 | 0 | 0.0 | 345M| 243 | - | 432 |3503 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | -- | Inf
87.55/87.62 c 81.6s|840000 |673829 | 0 | 0.0 | 350M| 243 | - | 432 |4533 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | -- | Inf
89.06/89.13 c 83.0s|850000 |680848 | 0 | 0.0 | 354M| 243 | - | 432 |4105 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | -- | Inf
90.66/90.71 c 84.6s|860000 |687713 | 0 | 0.0 | 359M| 243 | - | 432 |3930 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | -- | Inf
92.26/92.32 c 86.1s|870000 |694437 | 0 | 0.0 | 364M| 243 | - | 432 |4810 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | -- | Inf
93.75/93.88 c 87.6s|880000 |701490 | 0 | 0.0 | 368M| 243 | - | 432 |3875 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | -- | Inf
95.56/95.63 c 89.3s|890000 |707936 | 0 | 0.0 | 372M| 243 | - | 432 |4554 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | -- | Inf
97.16/97.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.16/97.21 c 90.8s|900000 |714714 | 0 | 0.0 | 377M| 243 | - | 432 |4717 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | -- | Inf
98.87/98.93 c 92.4s|910000 |721427 | 0 | 0.0 | 381M| 243 | - | 432 |4009 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | -- | Inf
100.56/100.61 c 94.0s|920000 |727915 | 0 | 0.0 | 386M| 243 | - | 432 |4975 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | -- | Inf
102.27/102.31 c 95.7s|930000 |734499 | 0 | 0.0 | 391M| 243 | - | 432 |5342 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | -- | Inf
103.85/103.98 c 97.2s|940000 |741318 | 0 | 0.0 | 395M| 243 | - | 432 |4138 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | -- | Inf
105.75/105.80 c 99.0s|950000 |747562 | 0 | 0.0 | 400M| 243 | - | 432 |4762 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | -- | Inf
107.56/107.63 c 101s|960000 |753868 | 0 | 0.0 | 405M| 243 | - | 432 |5852 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | -- | Inf
109.26/109.39 c 102s|970000 |760373 | 0 | 0.0 | 409M| 243 | - | 432 |5803 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | -- | Inf
111.15/111.21 c 104s|980000 |767012 | 0 | 0.0 | 413M| 243 | - | 432 |4350 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | -- | Inf
113.05/113.17 c 106s|990000 |773086 | 0 | 0.0 | 418M| 243 | - | 432 |4828 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | -- | Inf
115.06/115.18 c 108s| 1000k|779014 | 0 | 0.0 | 423M| 243 | - | 432 |5217 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | -- | Inf
117.16/117.24 c 110s| 1010k|785004 | 0 | 0.0 | 427M| 243 | - | 432 |5656 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | -- | Inf
119.16/119.28 c 112s| 1020k|790999 | 0 | 0.0 | 432M| 243 | - | 432 |5852 | 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | -- | Inf
121.25/121.33 c 114s| 1030k|796981 | 0 | 0.0 | 436M| 243 | - | 432 |6043 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | -- | Inf
123.25/123.37 c 116s| 1040k|802918 | 0 | 0.0 | 441M| 243 | - | 432 |5936 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | -- | Inf
125.36/125.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.36/125.40 c 118s| 1050k|809028 | 0 | 0.0 | 445M| 243 | - | 432 |5773 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | -- | Inf
127.16/127.28 c 120s| 1060k|815364 | 0 | 0.0 | 449M| 243 | - | 432 |5298 | 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | -- | Inf
129.15/129.22 c 121s| 1070k|821301 | 0 | 0.0 | 454M| 243 | - | 432 |5971 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | -- | Inf
131.05/131.17 c 123s| 1080k|827483 | 0 | 0.0 | 458M| 243 | - | 432 |5942 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | -- | Inf
132.96/133.03 c 125s| 1090k|833893 | 0 | 0.0 | 462M| 243 | - | 432 |5200 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | -- | Inf
134.86/134.95 c 127s| 1100k|839870 | 0 | 0.0 | 467M| 243 | - | 432 |5890 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | -- | Inf
136.75/136.89 c 129s| 1110k|845959 | 0 | 0.0 | 472M| 243 | - | 432 |5119 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | -- | Inf
138.85/138.95 c 131s| 1120k|851641 | 0 | 0.0 | 477M| 243 | - | 432 |5280 | 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | -- | Inf
140.96/141.09 c 133s| 1130k|857032 | 0 | 0.0 | 481M| 243 | - | 432 |5318 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | -- | Inf
142.97/143.07 c 135s| 1140k|862552 | 0 | 0.0 | 486M| 243 | - | 432 |5304 | 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | -- | Inf
145.26/145.39 c 137s| 1150k|867468 | 0 | 0.0 | 491M| 243 | - | 432 |5202 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | -- | Inf
147.96/148.03 c 139s| 1160k|871570 | 0 | 0.0 | 496M| 243 | - | 432 |5382 | 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | -- | Inf
150.75/150.85 c 142s| 1170k|874980 | 0 | 0.0 | 501M| 243 | - | 432 |5228 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | -- | Inf
153.76/153.82 c 145s| 1180k|876917 | 0 | 0.0 | 504M| 243 | - | 432 |4554 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | -- | Inf
154.56/154.60 c 146s| 1190k|886276 | 0 | 0.0 | 506M| 243 | - | 432 | 989 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | -- | Inf
155.16/155.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.16/155.20 c 146s| 1200k|896209 | 0 | 0.0 | 509M| 243 | - | 432 | 564 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | -- | Inf
155.66/155.77 c 147s| 1210k|906138 | 0 | 0.0 | 513M| 243 | - | 432 | 581 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | -- | Inf
156.25/156.32 c 147s| 1220k|916078 | 0 | 0.0 | 516M| 243 | - | 432 | 624 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | -- | Inf
156.75/156.88 c 148s| 1230k|926026 | 0 | 0.0 | 519M| 243 | - | 432 | 654 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | -- | Inf
157.35/157.43 c 148s| 1240k|935969 | 0 | 0.0 | 522M| 243 | - | 432 | 719 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | -- | Inf
157.86/157.98 c 149s| 1250k|945910 | 0 | 0.0 | 525M| 243 | - | 432 | 746 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | -- | Inf
158.46/158.54 c 149s| 1260k|955868 | 0 | 0.0 | 528M| 243 | - | 432 | 786 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | -- | Inf
159.06/159.13 c 150s| 1270k|965829 | 0 | 0.0 | 531M| 243 | - | 432 | 761 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | -- | Inf
159.66/159.72 c 150s| 1280k|975749 | 0 | 0.0 | 535M| 243 | - | 432 | 815 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | -- | Inf
160.26/160.33 c 151s| 1290k|985673 | 0 | 0.0 | 538M| 243 | - | 432 | 923 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | -- | Inf
160.86/160.94 c 151s| 1300k|995591 | 0 | 0.0 | 541M| 243 | - | 432 |1015 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | -- | Inf
161.45/161.54 c 152s| 1310k| 1005k| 0 | 0.0 | 545M| 243 | - | 432 |1127 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | -- | Inf
162.06/162.15 c 152s| 1320k| 1015k| 0 | 0.0 | 548M| 243 | - | 432 |1276 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | -- | Inf
162.66/162.76 c 153s| 1330k| 1025k| 0 | 0.0 | 551M| 243 | - | 432 |1404 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | -- | Inf
163.26/163.37 c 154s| 1340k| 1035k| 0 | 0.0 | 554M| 243 | - | 432 |1513 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | -- | Inf
163.87/163.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.87/163.97 c 154s| 1350k| 1045k| 0 | 0.0 | 557M| 243 | - | 432 |1706 | 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | -- | Inf
164.45/164.53 c 155s| 1360k| 1055k| 0 | 0.0 | 561M| 243 | - | 432 |1780 | 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | -- | Inf
165.06/165.13 c 155s| 1370k| 1064k| 0 | 0.0 | 564M| 243 | - | 432 |1899 | 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | -- | Inf
165.96/166.09 c 156s| 1380k| 1073k| 0 | 0.0 | 567M| 243 | - | 432 |1973 | 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | -- | Inf
167.16/167.22 c 157s| 1390k| 1081k| 0 | 0.0 | 571M| 243 | - | 432 |2210 | 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | -- | Inf
168.36/168.40 c 158s| 1400k| 1090k| 0 | 0.0 | 576M| 243 | - | 432 |2405 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | -- | Inf
169.45/169.59 c 159s| 1410k| 1098k| 0 | 0.0 | 580M| 243 | - | 432 |2704 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | -- | Inf
170.65/170.74 c 160s| 1420k| 1106k| 0 | 0.0 | 584M| 243 | - | 432 |2655 | 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | -- | Inf
171.76/171.81 c 161s| 1430k| 1115k| 0 | 0.0 | 588M| 243 | - | 432 |2810 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | -- | Inf
172.96/173.04 c 163s| 1440k| 1123k| 0 | 0.0 | 592M| 243 | - | 432 |2701 | 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | -- | Inf
174.15/174.23 c 164s| 1450k| 1131k| 0 | 0.0 | 596M| 243 | - | 432 |2936 | 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | -- | Inf
175.35/175.41 c 165s| 1460k| 1140k| 0 | 0.0 | 600M| 243 | - | 432 |2828 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | -- | Inf
176.56/176.64 c 166s| 1470k| 1148k| 0 | 0.0 | 605M| 243 | - | 432 |3023 | 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | -- | Inf
177.76/177.88 c 167s| 1480k| 1156k| 0 | 0.0 | 609M| 243 | - | 432 |2976 | 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | -- | Inf
178.96/179.02 c 168s| 1490k| 1165k| 0 | 0.0 | 613M| 243 | - | 432 |3312 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | -- | Inf
180.16/180.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.16/180.22 c 169s| 1500k| 1173k| 0 | 0.0 | 617M| 243 | - | 432 |3186 | 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | -- | Inf
181.26/181.40 c 170s| 1510k| 1181k| 0 | 0.0 | 621M| 243 | - | 432 |3193 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | -- | Inf
182.56/182.65 c 172s| 1520k| 1189k| 0 | 0.0 | 625M| 243 | - | 432 |3513 | 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | -- | Inf
183.76/183.82 c 173s| 1530k| 1198k| 0 | 0.0 | 629M| 243 | - | 432 |3461 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | -- | Inf
184.85/184.94 c 174s| 1540k| 1206k| 0 | 0.0 | 633M| 243 | - | 432 |3382 | 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | -- | Inf
186.06/186.16 c 175s| 1550k| 1214k| 0 | 0.0 | 638M| 243 | - | 432 |3945 | 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | -- | Inf
187.26/187.38 c 176s| 1560k| 1222k| 0 | 0.0 | 642M| 243 | - | 432 |3566 | 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | -- | Inf
188.45/188.59 c 177s| 1570k| 1231k| 0 | 0.0 | 646M| 243 | - | 432 |3674 | 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | -- | Inf
189.66/189.76 c 178s| 1580k| 1239k| 0 | 0.0 | 650M| 243 | - | 432 |3698 | 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | -- | Inf
190.95/191.03 c 180s| 1590k| 1247k| 0 | 0.0 | 654M| 243 | - | 432 |3787 | 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | -- | Inf
192.15/192.20 c 181s| 1600k| 1255k| 0 | 0.0 | 658M| 243 | - | 432 |3698 | 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | -- | Inf
193.36/193.45 c 182s| 1610k| 1264k| 0 | 0.0 | 662M| 243 | - | 432 |3826 | 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | -- | Inf
194.56/194.63 c 183s| 1620k| 1272k| 0 | 0.0 | 666M| 243 | - | 432 |3768 | 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | -- | Inf
195.86/195.91 c 184s| 1630k| 1280k| 0 | 0.0 | 670M| 243 | - | 432 |4329 | 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | -- | Inf
197.16/197.24 c 185s| 1640k| 1288k| 0 | 0.0 | 674M| 243 | - | 432 |4004 | 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | -- | Inf
198.35/198.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.35/198.45 c 187s| 1650k| 1296k| 0 | 0.0 | 679M| 243 | - | 432 |4036 | 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | -- | Inf
199.66/199.74 c 188s| 1660k| 1305k| 0 | 0.0 | 683M| 243 | - | 432 |4100 | 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | -- | Inf
200.96/201.02 c 189s| 1670k| 1313k| 0 | 0.0 | 687M| 243 | - | 432 |3981 | 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | -- | Inf
202.27/202.37 c 190s| 1680k| 1321k| 0 | 0.0 | 691M| 243 | - | 432 |4503 | 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | -- | Inf
203.76/203.80 c 192s| 1690k| 1329k| 0 | 0.0 | 695M| 243 | - | 432 |4363 | 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | -- | Inf
205.06/205.11 c 193s| 1700k| 1337k| 0 | 0.0 | 699M| 243 | - | 432 |4185 | 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | -- | Inf
206.36/206.47 c 194s| 1710k| 1345k| 0 | 0.0 | 703M| 243 | - | 432 |4136 | 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | -- | Inf
207.65/207.78 c 195s| 1720k| 1353k| 0 | 0.0 | 707M| 243 | - | 432 |4148 | 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | -- | Inf
208.96/209.04 c 197s| 1730k| 1362k| 0 | 0.0 | 711M| 243 | - | 432 |4215 | 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | -- | Inf
210.46/210.58 c 198s| 1740k| 1369k| 0 | 0.0 | 716M| 243 | - | 432 |4601 | 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | -- | Inf
211.96/212.00 c 199s| 1750k| 1377k| 0 | 0.0 | 720M| 243 | - | 432 |4557 | 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | -- | Inf
213.37/213.46 c 201s| 1760k| 1386k| 0 | 0.0 | 724M| 243 | - | 432 |4542 | 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | -- | Inf
214.66/214.78 c 202s| 1770k| 1394k| 0 | 0.0 | 728M| 243 | - | 432 |4373 | 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | -- | Inf
215.96/216.08 c 203s| 1780k| 1402k| 0 | 0.0 | 732M| 243 | - | 432 |4418 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | -- | Inf
217.35/217.40 c 205s| 1790k| 1410k| 0 | 0.0 | 736M| 243 | - | 432 |4440 | 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | -- | Inf
218.76/218.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.76/218.86 c 206s| 1800k| 1418k| 0 | 0.0 | 741M| 243 | - | 432 |5103 | 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | -- | Inf
220.26/220.36 c 207s| 1810k| 1426k| 0 | 0.0 | 745M| 243 | - | 432 |4858 | 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | -- | Inf
221.66/221.71 c 209s| 1820k| 1434k| 0 | 0.0 | 749M| 243 | - | 432 |4787 | 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | -- | Inf
222.96/223.09 c 210s| 1830k| 1442k| 0 | 0.0 | 753M| 243 | - | 432 |4756 | 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | -- | Inf
224.46/224.53 c 211s| 1840k| 1450k| 0 | 0.0 | 757M| 243 | - | 432 |4834 | 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | -- | Inf
225.76/225.83 c 213s| 1850k| 1458k| 0 | 0.0 | 761M| 243 | - | 432 |4594 | 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | -- | Inf
227.16/227.23 c 214s| 1860k| 1467k| 0 | 0.0 | 766M| 243 | - | 432 |4868 | 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | -- | Inf
228.76/228.86 c 216s| 1870k| 1474k| 0 | 0.0 | 770M| 243 | - | 432 |5176 | 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | -- | Inf
230.26/230.35 c 217s| 1880k| 1482k| 0 | 0.0 | 774M| 243 | - | 432 |5114 | 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | -- | Inf
231.76/231.85 c 218s| 1890k| 1490k| 0 | 0.0 | 778M| 243 | - | 432 |5089 | 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | -- | Inf
233.17/233.27 c 220s| 1900k| 1498k| 0 | 0.0 | 782M| 243 | - | 432 |4896 | 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | -- | Inf
234.56/234.68 c 221s| 1910k| 1507k| 0 | 0.0 | 787M| 243 | - | 432 |4905 | 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | -- | Inf
236.05/236.12 c 222s| 1920k| 1515k| 0 | 0.0 | 791M| 243 | - | 432 |4897 | 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | -- | Inf
237.66/237.71 c 224s| 1930k| 1523k| 0 | 0.0 | 795M| 243 | - | 432 |5225 | 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | -- | Inf
239.46/239.52 c 226s| 1940k| 1531k| 0 | 0.0 | 799M| 243 | - | 432 |5003 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | -- | Inf
241.26/241.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.26/241.37 c 227s| 1950k| 1539k| 0 | 0.0 | 803M| 243 | - | 432 |5589 | 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | -- | Inf
242.96/243.04 c 229s| 1960k| 1546k| 0 | 0.0 | 808M| 243 | - | 432 |5498 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | -- | Inf
244.46/244.59 c 231s| 1970k| 1554k| 0 | 0.0 | 812M| 243 | - | 432 |5224 | 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | -- | Inf
245.95/246.10 c 232s| 1980k| 1562k| 0 | 0.0 | 816M| 243 | - | 432 |5282 | 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | -- | Inf
247.37/247.49 c 233s| 1990k| 1571k| 0 | 0.0 | 820M| 243 | - | 432 |5085 | 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | -- | Inf
248.86/248.91 c 235s| 2000k| 1579k| 0 | 0.0 | 824M| 243 | - | 432 |5132 | 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | -- | Inf
250.46/250.53 c 236s| 2010k| 1586k| 0 | 0.0 | 828M| 243 | - | 432 |5406 | 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | -- | Inf
251.87/251.95 c 238s| 2020k| 1594k| 0 | 0.0 | 833M| 243 | - | 432 |5346 | 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | -- | Inf
253.36/253.46 c 239s| 2030k| 1602k| 0 | 0.0 | 837M| 243 | - | 432 |5413 | 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | -- | Inf
254.96/255.05 c 240s| 2040k| 1610k| 0 | 0.0 | 841M| 243 | - | 432 |6037 | 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | -- | Inf
256.46/256.55 c 242s| 2050k| 1618k| 0 | 0.0 | 845M| 243 | - | 432 |5749 | 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | -- | Inf
257.96/258.02 c 243s| 2060k| 1626k| 0 | 0.0 | 850M| 243 | - | 432 |5601 | 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | -- | Inf
259.36/259.47 c 245s| 2070k| 1634k| 0 | 0.0 | 854M| 243 | - | 432 |5489 | 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | -- | Inf
260.85/260.99 c 246s| 2080k| 1642k| 0 | 0.0 | 858M| 243 | - | 432 |5423 | 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | -- | Inf
262.46/262.54 c 248s| 2090k| 1650k| 0 | 0.0 | 862M| 243 | - | 432 |5567 | 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | -- | Inf
264.16/264.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.16/264.20 c 249s| 2100k| 1658k| 0 | 0.0 | 866M| 243 | - | 432 |5718 | 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | -- | Inf
265.66/265.79 c 251s| 2110k| 1666k| 0 | 0.0 | 870M| 243 | - | 432 |5501 | 0 | 0 | 0 |1423k| 0 | 0.000000e+00 | -- | Inf
267.27/267.34 c 252s| 2120k| 1674k| 0 | 0.0 | 874M| 243 | - | 432 |5605 | 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | -- | Inf
268.96/269.03 c 254s| 2130k| 1682k| 0 | 0.0 | 879M| 243 | - | 432 |6253 | 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | -- | Inf
270.66/270.74 c 255s| 2140k| 1689k| 0 | 0.0 | 883M| 243 | - | 432 |6139 | 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | -- | Inf
272.25/272.36 c 257s| 2150k| 1697k| 0 | 0.0 | 887M| 243 | - | 432 |5893 | 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | -- | Inf
273.77/273.87 c 258s| 2160k| 1705k| 0 | 0.0 | 891M| 243 | - | 432 |5746 | 0 | 0 | 0 |1461k| 0 | 0.000000e+00 | -- | Inf
275.46/275.58 c 260s| 2170k| 1713k| 0 | 0.0 | 896M| 243 | - | 432 |6029 | 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | -- | Inf
277.26/277.34 c 262s| 2180k| 1721k| 0 | 0.0 | 900M| 243 | - | 432 |5872 | 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | -- | Inf
278.96/279.01 c 263s| 2190k| 1729k| 0 | 0.0 | 904M| 243 | - | 432 |5914 | 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | -- | Inf
280.47/280.54 c 265s| 2200k| 1737k| 0 | 0.0 | 908M| 243 | - | 432 |5854 | 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | -- | Inf
281.96/282.09 c 266s| 2210k| 1745k| 0 | 0.0 | 912M| 243 | - | 432 |5829 | 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | -- | Inf
283.67/283.72 c 268s| 2220k| 1753k| 0 | 0.0 | 916M| 243 | - | 432 |5892 | 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | -- | Inf
285.27/285.30 c 269s| 2230k| 1760k| 0 | 0.0 | 921M| 243 | - | 432 |6555 | 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | -- | Inf
286.66/286.77 c 271s| 2240k| 1768k| 0 | 0.0 | 925M| 243 | - | 432 |6415 | 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | -- | Inf
288.07/288.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.07/288.19 c 272s| 2250k| 1776k| 0 | 0.0 | 929M| 243 | - | 432 |6061 | 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | -- | Inf
289.46/289.56 c 273s| 2260k| 1784k| 0 | 0.0 | 933M| 243 | - | 432 |5974 | 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | -- | Inf
290.96/291.01 c 275s| 2270k| 1792k| 0 | 0.0 | 938M| 243 | - | 432 |6096 | 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | -- | Inf
292.47/292.53 c 276s| 2280k| 1800k| 0 | 0.0 | 942M| 243 | - | 432 |6151 | 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | -- | Inf
293.86/293.95 c 278s| 2290k| 1808k| 0 | 0.0 | 946M| 243 | - | 432 |6000 | 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | -- | Inf
295.26/295.36 c 279s| 2300k| 1816k| 0 | 0.0 | 950M| 243 | - | 432 |6233 | 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | -- | Inf
296.67/296.74 c 280s| 2310k| 1824k| 0 | 0.0 | 954M| 243 | - | 432 |6163 | 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | -- | Inf
298.06/298.13 c 282s| 2320k| 1832k| 0 | 0.0 | 959M| 243 | - | 432 |6174 | 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | -- | Inf
299.46/299.54 c 283s| 2330k| 1840k| 0 | 0.0 | 963M| 243 | - | 432 |6477 | 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | -- | Inf
301.06/301.13 c 284s| 2340k| 1848k| 0 | 0.0 | 968M| 243 | - | 432 |6994 | 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | -- | Inf
302.56/302.64 c 286s| 2350k| 1855k| 0 | 0.0 | 972M| 243 | - | 432 |6478 | 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | -- | Inf
304.06/304.10 c 287s| 2360k| 1863k| 0 | 0.0 | 976M| 243 | - | 432 |6394 | 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | -- | Inf
305.46/305.58 c 289s| 2370k| 1871k| 0 | 0.0 | 980M| 243 | - | 432 |6506 | 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | -- | Inf
307.06/307.14 c 290s| 2380k| 1879k| 0 | 0.0 | 985M| 243 | - | 432 |6581 | 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | -- | Inf
308.56/308.68 c 292s| 2390k| 1887k| 0 | 0.0 | 989M| 243 | - | 432 |6294 | 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | -- | Inf
310.06/310.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.06/310.17 c 293s| 2400k| 1895k| 0 | 0.0 | 993M| 243 | - | 432 |6521 | 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | -- | Inf
311.56/311.62 c 294s| 2410k| 1902k| 0 | 0.0 | 997M| 243 | - | 432 |6523 | 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | -- | Inf
312.96/313.04 c 296s| 2420k| 1910k| 0 | 0.0 |1002M| 243 | - | 432 |6453 | 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | -- | Inf
314.36/314.45 c 297s| 2430k| 1918k| 0 | 0.0 |1006M| 243 | - | 432 |6501 | 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | -- | Inf
315.76/315.89 c 298s| 2440k| 1926k| 0 | 0.0 |1010M| 243 | - | 432 |6497 | 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | -- | Inf
317.36/317.47 c 300s| 2450k| 1934k| 0 | 0.0 |1015M| 243 | - | 432 |7439 | 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | -- | Inf
319.06/319.10 c 302s| 2460k| 1942k| 0 | 0.0 |1019M| 243 | - | 432 |6804 | 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | -- | Inf
320.56/320.62 c 303s| 2470k| 1950k| 0 | 0.0 |1023M| 243 | - | 432 |6724 | 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | -- | Inf
322.06/322.19 c 304s| 2480k| 1957k| 0 | 0.0 |1027M| 243 | - | 432 |6883 | 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | -- | Inf
323.76/323.83 c 306s| 2490k| 1965k| 0 | 0.0 |1031M| 243 | - | 432 |6795 | 0 | 0 | 0 |1717k| 0 | 0.000000e+00 | -- | Inf
325.36/325.40 c 308s| 2500k| 1973k| 0 | 0.0 |1035M| 243 | - | 432 |6725 | 0 | 0 | 0 |1725k| 0 | 0.000000e+00 | -- | Inf
326.87/326.90 c 309s| 2510k| 1981k| 0 | 0.0 |1040M| 243 | - | 432 |6912 | 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | -- | Inf
328.26/328.38 c 310s| 2520k| 1989k| 0 | 0.0 |1044M| 243 | - | 432 |6842 | 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | -- | Inf
329.76/329.89 c 312s| 2530k| 1997k| 0 | 0.0 |1048M| 243 | - | 432 |6748 | 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | -- | Inf
331.37/331.42 c 313s| 2540k| 2004k| 0 | 0.0 |1052M| 243 | - | 432 |6769 | 0 | 0 | 0 |1756k| 0 | 0.000000e+00 | -- | Inf
332.87/332.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.87/332.94 c 315s| 2550k| 2012k| 0 | 0.0 |1056M| 243 | - | 432 |6851 | 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | -- | Inf
334.36/334.44 c 316s| 2560k| 2020k| 0 | 0.0 |1061M| 243 | - | 432 |6952 | 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | -- | Inf
335.96/336.03 c 318s| 2570k| 2028k| 0 | 0.0 |1065M| 243 | - | 432 |7897 | 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | -- | Inf
337.67/337.75 c 319s| 2580k| 2035k| 0 | 0.0 |1069M| 243 | - | 432 |7385 | 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | -- | Inf
339.26/339.32 c 321s| 2590k| 2043k| 0 | 0.0 |1074M| 243 | - | 432 |7051 | 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | -- | Inf
340.87/340.96 c 322s| 2600k| 2051k| 0 | 0.0 |1078M| 243 | - | 432 |7163 | 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | -- | Inf
342.46/342.56 c 324s| 2610k| 2059k| 0 | 0.0 |1082M| 243 | - | 432 |7242 | 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | -- | Inf
344.06/344.13 c 325s| 2620k| 2066k| 0 | 0.0 |1086M| 243 | - | 432 |7310 | 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | -- | Inf
345.56/345.67 c 327s| 2630k| 2074k| 0 | 0.0 |1090M| 243 | - | 432 |7089 | 0 | 0 | 0 |1826k| 0 | 0.000000e+00 | -- | Inf
347.17/347.21 c 328s| 2640k| 2082k| 0 | 0.0 |1095M| 243 | - | 432 |7278 | 0 | 0 | 0 |1832k| 0 | 0.000000e+00 | -- | Inf
348.57/348.66 c 330s| 2650k| 2090k| 0 | 0.0 |1099M| 243 | - | 432 |7241 | 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | -- | Inf
350.07/350.12 c 331s| 2660k| 2098k| 0 | 0.0 |1103M| 243 | - | 432 |7155 | 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | -- | Inf
351.66/351.70 c 333s| 2670k| 2106k| 0 | 0.0 |1107M| 243 | - | 432 |7072 | 0 | 0 | 0 |1851k| 0 | 0.000000e+00 | -- | Inf
353.16/353.23 c 334s| 2680k| 2114k| 0 | 0.0 |1111M| 243 | - | 432 |7046 | 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | -- | Inf
354.66/354.77 c 335s| 2690k| 2122k| 0 | 0.0 |1115M| 243 | - | 432 |7237 | 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | -- | Inf
356.27/356.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
356.27/356.39 c 337s| 2700k| 2130k| 0 | 0.0 |1120M| 243 | - | 432 |7699 | 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | -- | Inf
358.07/358.13 c 339s| 2710k| 2137k| 0 | 0.0 |1124M| 243 | - | 432 |7404 | 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | -- | Inf
359.97/360.09 c 341s| 2720k| 2145k| 0 | 0.0 |1128M| 243 | - | 432 |7440 | 0 | 0 | 0 |1886k| 0 | 0.000000e+00 | -- | Inf
362.06/362.11 c 343s| 2730k| 2153k| 0 | 0.0 |1132M| 243 | - | 432 |7551 | 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | -- | Inf
363.97/364.06 c 344s| 2740k| 2160k| 0 | 0.0 |1137M| 243 | - | 432 |7794 | 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | -- | Inf
365.96/366.02 c 346s| 2750k| 2168k| 0 | 0.0 |1141M| 243 | - | 432 |7724 | 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | -- | Inf
367.96/368.00 c 348s| 2760k| 2175k| 0 | 0.0 |1145M| 243 | - | 432 |7785 | 0 | 0 | 0 |1915k| 0 | 0.000000e+00 | -- | Inf
369.76/369.88 c 350s| 2770k| 2183k| 0 | 0.0 |1149M| 243 | - | 432 |7764 | 0 | 0 | 0 |1922k| 0 | 0.000000e+00 | -- | Inf
371.66/371.75 c 352s| 2780k| 2191k| 0 | 0.0 |1153M| 243 | - | 432 |7662 | 0 | 0 | 0 |1929k| 0 | 0.000000e+00 | -- | Inf
373.46/373.56 c 354s| 2790k| 2198k| 0 | 0.0 |1157M| 243 | - | 432 |7569 | 0 | 0 | 0 |1936k| 0 | 0.000000e+00 | -- | Inf
375.46/375.53 c 355s| 2800k| 2206k| 0 | 0.0 |1162M| 243 | - | 432 |7583 | 0 | 0 | 0 |1943k| 0 | 0.000000e+00 | -- | Inf
377.36/377.41 c 357s| 2810k| 2214k| 0 | 0.0 |1166M| 243 | - | 432 |7521 | 0 | 0 | 0 |1949k| 0 | 0.000000e+00 | -- | Inf
379.27/379.33 c 359s| 2820k| 2222k| 0 | 0.0 |1170M| 243 | - | 432 |7535 | 0 | 0 | 0 |1955k| 0 | 0.000000e+00 | -- | Inf
381.07/381.15 c 361s| 2830k| 2229k| 0 | 0.0 |1174M| 243 | - | 432 |7539 | 0 | 0 | 0 |1962k| 0 | 0.000000e+00 | -- | Inf
382.96/383.02 c 363s| 2840k| 2237k| 0 | 0.0 |1178M| 243 | - | 432 |7673 | 0 | 0 | 0 |1969k| 0 | 0.000000e+00 | -- | Inf
384.76/384.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.76/384.83 c 364s| 2850k| 2245k| 0 | 0.0 |1182M| 243 | - | 432 |7598 | 0 | 0 | 0 |1975k| 0 | 0.000000e+00 | -- | Inf
386.57/386.65 c 366s| 2860k| 2253k| 0 | 0.0 |1186M| 243 | - | 432 |7385 | 0 | 0 | 0 |1982k| 0 | 0.000000e+00 | -- | Inf
388.66/388.78 c 368s| 2870k| 2260k| 0 | 0.0 |1191M| 243 | - | 432 |8127 | 0 | 0 | 0 |1990k| 0 | 0.000000e+00 | -- | Inf
390.86/390.98 c 370s| 2880k| 2267k| 0 | 0.0 |1195M| 243 | - | 432 |8451 | 0 | 0 | 0 |1998k| 0 | 0.000000e+00 | -- | Inf
393.06/393.19 c 372s| 2890k| 2275k| 0 | 0.0 |1199M| 243 | - | 432 |8402 | 0 | 0 | 0 |2006k| 0 | 0.000000e+00 | -- | Inf
395.16/395.21 c 374s| 2900k| 2282k| 0 | 0.0 |1203M| 243 | - | 432 |8105 | 0 | 0 | 0 |2013k| 0 | 0.000000e+00 | -- | Inf
397.27/397.34 c 376s| 2910k| 2290k| 0 | 0.0 |1208M| 243 | - | 432 |8036 | 0 | 0 | 0 |2021k| 0 | 0.000000e+00 | -- | Inf
399.17/399.28 c 378s| 2920k| 2298k| 0 | 0.0 |1212M| 243 | - | 432 |7994 | 0 | 0 | 0 |2028k| 0 | 0.000000e+00 | -- | Inf
401.16/401.29 c 380s| 2930k| 2305k| 0 | 0.0 |1216M| 243 | - | 432 |7959 | 0 | 0 | 0 |2035k| 0 | 0.000000e+00 | -- | Inf
403.26/403.35 c 382s| 2940k| 2313k| 0 | 0.0 |1220M| 243 | - | 432 |7903 | 0 | 0 | 0 |2041k| 0 | 0.000000e+00 | -- | Inf
405.07/405.19 c 384s| 2950k| 2321k| 0 | 0.0 |1224M| 243 | - | 432 |7792 | 0 | 0 | 0 |2048k| 0 | 0.000000e+00 | -- | Inf
407.07/407.15 c 386s| 2960k| 2328k| 0 | 0.0 |1228M| 243 | - | 432 |7756 | 0 | 0 | 0 |2054k| 0 | 0.000000e+00 | -- | Inf
408.86/408.90 c 387s| 2970k| 2336k| 0 | 0.0 |1232M| 243 | - | 432 |7821 | 0 | 0 | 0 |2061k| 0 | 0.000000e+00 | -- | Inf
410.76/410.84 c 389s| 2980k| 2344k| 0 | 0.0 |1236M| 243 | - | 432 |8044 | 0 | 0 | 0 |2068k| 0 | 0.000000e+00 | -- | Inf
412.87/412.90 c 391s| 2990k| 2351k| 0 | 0.0 |1241M| 243 | - | 432 |7872 | 0 | 0 | 0 |2075k| 0 | 0.000000e+00 | -- | Inf
414.77/414.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.77/414.86 c 393s| 3000k| 2359k| 0 | 0.0 |1245M| 243 | - | 432 |7551 | 0 | 0 | 0 |2081k| 0 | 0.000000e+00 | -- | Inf
416.77/416.89 c 395s| 3010k| 2367k| 0 | 0.0 |1249M| 243 | - | 432 |7735 | 0 | 0 | 0 |2088k| 0 | 0.000000e+00 | -- | Inf
418.66/418.72 c 397s| 3020k| 2374k| 0 | 0.0 |1253M| 243 | - | 432 |7842 | 0 | 0 | 0 |2095k| 0 | 0.000000e+00 | -- | Inf
420.77/420.88 c 399s| 3030k| 2382k| 0 | 0.0 |1258M| 243 | - | 432 |8928 | 0 | 0 | 0 |2104k| 0 | 0.000000e+00 | -- | Inf
423.17/423.21 c 401s| 3040k| 2389k| 0 | 0.0 |1262M| 243 | - | 432 |8497 | 0 | 0 | 0 |2112k| 0 | 0.000000e+00 | -- | Inf
425.36/425.46 c 403s| 3050k| 2396k| 0 | 0.0 |1266M| 243 | - | 432 |8647 | 0 | 0 | 0 |2120k| 0 | 0.000000e+00 | -- | Inf
427.57/427.60 c 406s| 3060k| 2404k| 0 | 0.0 |1270M| 243 | - | 432 |8380 | 0 | 0 | 0 |2128k| 0 | 0.000000e+00 | -- | Inf
429.66/429.73 c 408s| 3070k| 2411k| 0 | 0.0 |1274M| 243 | - | 432 |8468 | 0 | 0 | 0 |2135k| 0 | 0.000000e+00 | -- | Inf
431.66/431.76 c 409s| 3080k| 2419k| 0 | 0.0 |1279M| 243 | - | 432 |8241 | 0 | 0 | 0 |2143k| 0 | 0.000000e+00 | -- | Inf
433.56/433.65 c 411s| 3090k| 2427k| 0 | 0.0 |1283M| 243 | - | 432 |8112 | 0 | 0 | 0 |2149k| 0 | 0.000000e+00 | -- | Inf
435.57/435.68 c 413s| 3100k| 2434k| 0 | 0.0 |1287M| 243 | - | 432 |8108 | 0 | 0 | 0 |2156k| 0 | 0.000000e+00 | -- | Inf
437.56/437.68 c 415s| 3110k| 2442k| 0 | 0.0 |1291M| 243 | - | 432 |8187 | 0 | 0 | 0 |2163k| 0 | 0.000000e+00 | -- | Inf
439.56/439.67 c 417s| 3120k| 2450k| 0 | 0.0 |1295M| 243 | - | 432 |8034 | 0 | 0 | 0 |2170k| 0 | 0.000000e+00 | -- | Inf
441.66/441.74 c 419s| 3130k| 2457k| 0 | 0.0 |1299M| 243 | - | 432 |8369 | 0 | 0 | 0 |2177k| 0 | 0.000000e+00 | -- | Inf
443.66/443.75 c 421s| 3140k| 2465k| 0 | 0.0 |1303M| 243 | - | 432 |8179 | 0 | 0 | 0 |2184k| 0 | 0.000000e+00 | -- | Inf
445.66/445.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.66/445.76 c 423s| 3150k| 2472k| 0 | 0.0 |1308M| 243 | - | 432 |7909 | 0 | 0 | 0 |2191k| 0 | 0.000000e+00 | -- | Inf
447.67/447.73 c 425s| 3160k| 2480k| 0 | 0.0 |1312M| 243 | - | 432 |8030 | 0 | 0 | 0 |2198k| 0 | 0.000000e+00 | -- | Inf
449.46/449.56 c 427s| 3170k| 2488k| 0 | 0.0 |1316M| 243 | - | 432 |8009 | 0 | 0 | 0 |2204k| 0 | 0.000000e+00 | -- | Inf
451.36/451.47 c 428s| 3180k| 2495k| 0 | 0.0 |1320M| 243 | - | 432 |7979 | 0 | 0 | 0 |2211k| 0 | 0.000000e+00 | -- | Inf
453.46/453.50 c 430s| 3190k| 2503k| 0 | 0.0 |1325M| 243 | - | 432 |9134 | 0 | 0 | 0 |2219k| 0 | 0.000000e+00 | -- | Inf
455.86/455.97 c 433s| 3200k| 2510k| 0 | 0.0 |1329M| 243 | - | 432 |8969 | 0 | 0 | 0 |2228k| 0 | 0.000000e+00 | -- | Inf
458.16/458.26 c 435s| 3210k| 2517k| 0 | 0.0 |1333M| 243 | - | 432 |8863 | 0 | 0 | 0 |2236k| 0 | 0.000000e+00 | -- | Inf
460.26/460.37 c 437s| 3220k| 2525k| 0 | 0.0 |1338M| 243 | - | 432 |8772 | 0 | 0 | 0 |2244k| 0 | 0.000000e+00 | -- | Inf
462.47/462.55 c 439s| 3230k| 2532k| 0 | 0.0 |1342M| 243 | - | 432 |8559 | 0 | 0 | 0 |2252k| 0 | 0.000000e+00 | -- | Inf
464.66/464.71 c 441s| 3240k| 2540k| 0 | 0.0 |1346M| 243 | - | 432 |8415 | 0 | 0 | 0 |2259k| 0 | 0.000000e+00 | -- | Inf
466.76/466.89 c 443s| 3250k| 2547k| 0 | 0.0 |1350M| 243 | - | 432 |8495 | 0 | 0 | 0 |2266k| 0 | 0.000000e+00 | -- | Inf
468.77/468.88 c 445s| 3260k| 2555k| 0 | 0.0 |1354M| 243 | - | 432 |8473 | 0 | 0 | 0 |2274k| 0 | 0.000000e+00 | -- | Inf
470.77/470.84 c 447s| 3270k| 2562k| 0 | 0.0 |1358M| 243 | - | 432 |8432 | 0 | 0 | 0 |2281k| 0 | 0.000000e+00 | -- | Inf
472.77/472.83 c 449s| 3280k| 2570k| 0 | 0.0 |1363M| 243 | - | 432 |8585 | 0 | 0 | 0 |2288k| 0 | 0.000000e+00 | -- | Inf
474.86/474.94 c 451s| 3290k| 2577k| 0 | 0.0 |1367M| 243 | - | 432 |8440 | 0 | 0 | 0 |2295k| 0 | 0.000000e+00 | -- | Inf
476.77/476.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
476.77/476.87 c 453s| 3300k| 2585k| 0 | 0.0 |1371M| 243 | - | 432 |8377 | 0 | 0 | 0 |2302k| 0 | 0.000000e+00 | -- | Inf
478.77/478.86 c 455s| 3310k| 2592k| 0 | 0.0 |1375M| 243 | - | 432 |8447 | 0 | 0 | 0 |2310k| 0 | 0.000000e+00 | -- | Inf
480.87/480.90 c 457s| 3320k| 2600k| 0 | 0.0 |1380M| 243 | - | 432 |8106 | 0 | 0 | 0 |2316k| 0 | 0.000000e+00 | -- | Inf
482.66/482.75 c 459s| 3330k| 2608k| 0 | 0.0 |1384M| 243 | - | 432 |8061 | 0 | 0 | 0 |2323k| 0 | 0.000000e+00 | -- | Inf
484.47/484.59 c 460s| 3340k| 2615k| 0 | 0.0 |1388M| 243 | - | 432 |8369 | 0 | 0 | 0 |2330k| 0 | 0.000000e+00 | -- | Inf
486.46/486.51 c 462s| 3350k| 2623k| 0 | 0.0 |1392M| 243 | - | 432 |8124 | 0 | 0 | 0 |2336k| 0 | 0.000000e+00 | -- | Inf
488.67/488.71 c 464s| 3360k| 2630k| 0 | 0.0 |1397M| 243 | - | 432 |9363 | 0 | 0 | 0 |2345k| 0 | 0.000000e+00 | -- | Inf
491.16/491.20 c 467s| 3370k| 2638k| 0 | 0.0 |1401M| 243 | - | 432 |9415 | 0 | 0 | 0 |2354k| 0 | 0.000000e+00 | -- | Inf
493.57/493.67 c 469s| 3380k| 2645k| 0 | 0.0 |1406M| 243 | - | 432 |9395 | 0 | 0 | 0 |2363k| 0 | 0.000000e+00 | -- | Inf
495.97/496.09 c 471s| 3390k| 2652k| 0 | 0.0 |1410M| 243 | - | 432 |9018 | 0 | 0 | 0 |2371k| 0 | 0.000000e+00 | -- | Inf
498.27/498.39 c 474s| 3400k| 2659k| 0 | 0.0 |1414M| 243 | - | 432 |8968 | 0 | 0 | 0 |2379k| 0 | 0.000000e+00 | -- | Inf
500.67/500.71 c 476s| 3410k| 2667k| 0 | 0.0 |1418M| 243 | - | 432 |8897 | 0 | 0 | 0 |2387k| 0 | 0.000000e+00 | -- | Inf
502.97/503.03 c 478s| 3420k| 2674k| 0 | 0.0 |1423M| 243 | - | 432 |8753 | 0 | 0 | 0 |2395k| 0 | 0.000000e+00 | -- | Inf
505.17/505.20 c 480s| 3430k| 2681k| 0 | 0.0 |1427M| 243 | - | 432 |8564 | 0 | 0 | 0 |2401k| 0 | 0.000000e+00 | -- | Inf
507.46/507.52 c 483s| 3440k| 2689k| 0 | 0.0 |1431M| 243 | - | 432 |8906 | 0 | 0 | 0 |2409k| 0 | 0.000000e+00 | -- | Inf
509.77/509.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.77/509.82 c 485s| 3450k| 2696k| 0 | 0.0 |1435M| 243 | - | 432 |8727 | 0 | 0 | 0 |2417k| 0 | 0.000000e+00 | -- | Inf
511.96/512.07 c 487s| 3460k| 2704k| 0 | 0.0 |1439M| 243 | - | 432 |8647 | 0 | 0 | 0 |2424k| 0 | 0.000000e+00 | -- | Inf
514.26/514.39 c 489s| 3470k| 2711k| 0 | 0.0 |1444M| 243 | - | 432 |8513 | 0 | 0 | 0 |2431k| 0 | 0.000000e+00 | -- | Inf
516.46/516.55 c 491s| 3480k| 2719k| 0 | 0.0 |1448M| 243 | - | 432 |8437 | 0 | 0 | 0 |2438k| 0 | 0.000000e+00 | -- | Inf
518.57/518.64 c 493s| 3490k| 2726k| 0 | 0.0 |1452M| 243 | - | 432 |8295 | 0 | 0 | 0 |2445k| 0 | 0.000000e+00 | -- | Inf
520.76/520.85 c 495s| 3500k| 2734k| 0 | 0.0 |1456M| 243 | - | 432 |8394 | 0 | 0 | 0 |2452k| 0 | 0.000000e+00 | -- | Inf
522.77/522.84 c 497s| 3510k| 2741k| 0 | 0.0 |1461M| 243 | - | 432 |8394 | 0 | 0 | 0 |2459k| 0 | 0.000000e+00 | -- | Inf
524.68/524.76 c 499s| 3520k| 2749k| 0 | 0.0 |1465M| 243 | - | 432 |8582 | 0 | 0 | 0 |2466k| 0 | 0.000000e+00 | -- | Inf
526.67/526.75 c 501s| 3530k| 2756k| 0 | 0.0 |1469M| 243 | - | 432 |8320 | 0 | 0 | 0 |2473k| 0 | 0.000000e+00 | -- | Inf
529.07/529.16 c 503s| 3540k| 2763k| 0 | 0.0 |1474M| 243 | - | 432 |9767 | 0 | 0 | 0 |2482k| 0 | 0.000000e+00 | -- | Inf
531.47/531.55 c 506s| 3550k| 2770k| 0 | 0.0 |1478M| 243 | - | 432 |9664 | 0 | 0 | 0 |2492k| 0 | 0.000000e+00 | -- | Inf
533.96/534.02 c 508s| 3560k| 2778k| 0 | 0.0 |1482M| 243 | - | 432 |9263 | 0 | 0 | 0 |2500k| 0 | 0.000000e+00 | -- | Inf
536.37/536.41 c 510s| 3570k| 2785k| 0 | 0.0 |1486M| 243 | - | 432 |9221 | 0 | 0 | 0 |2508k| 0 | 0.000000e+00 | -- | Inf
538.67/538.71 c 513s| 3580k| 2792k| 0 | 0.0 |1491M| 243 | - | 432 |8986 | 0 | 0 | 0 |2516k| 0 | 0.000000e+00 | -- | Inf
540.97/541.00 c 515s| 3590k| 2799k| 0 | 0.0 |1495M| 243 | - | 432 |9031 | 0 | 0 | 0 |2524k| 0 | 0.000000e+00 | -- | Inf
543.27/543.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.27/543.30 c 517s| 3600k| 2807k| 0 | 0.0 |1499M| 243 | - | 432 |8919 | 0 | 0 | 0 |2531k| 0 | 0.000000e+00 | -- | Inf
545.47/545.59 c 519s| 3610k| 2814k| 0 | 0.0 |1503M| 243 | - | 432 |9073 | 0 | 0 | 0 |2539k| 0 | 0.000000e+00 | -- | Inf
547.86/547.94 c 522s| 3620k| 2821k| 0 | 0.0 |1508M| 243 | - | 432 |8990 | 0 | 0 | 0 |2547k| 0 | 0.000000e+00 | -- | Inf
550.16/550.29 c 524s| 3630k| 2829k| 0 | 0.0 |1512M| 243 | - | 432 |8714 | 0 | 0 | 0 |2554k| 0 | 0.000000e+00 | -- | Inf
552.57/552.61 c 526s| 3640k| 2836k| 0 | 0.0 |1516M| 243 | - | 432 |8835 | 0 | 0 | 0 |2562k| 0 | 0.000000e+00 | -- | Inf
554.86/554.92 c 528s| 3650k| 2844k| 0 | 0.0 |1520M| 243 | - | 432 |8717 | 0 | 0 | 0 |2570k| 0 | 0.000000e+00 | -- | Inf
556.97/557.04 c 530s| 3660k| 2851k| 0 | 0.0 |1525M| 243 | - | 432 |8724 | 0 | 0 | 0 |2578k| 0 | 0.000000e+00 | -- | Inf
559.07/559.16 c 532s| 3670k| 2859k| 0 | 0.0 |1529M| 243 | - | 432 |8565 | 0 | 0 | 0 |2586k| 0 | 0.000000e+00 | -- | Inf
561.36/561.42 c 535s| 3680k| 2866k| 0 | 0.0 |1533M| 243 | - | 432 |8680 | 0 | 0 | 0 |2594k| 0 | 0.000000e+00 | -- | Inf
563.36/563.47 c 537s| 3690k| 2874k| 0 | 0.0 |1537M| 243 | - | 432 |8714 | 0 | 0 | 0 |2602k| 0 | 0.000000e+00 | -- | Inf
565.57/565.67 c 539s| 3700k| 2881k| 0 | 0.0 |1541M| 243 | - | 432 |8718 | 0 | 0 | 0 |2609k| 0 | 0.000000e+00 | -- | Inf
567.66/567.77 c 541s| 3710k| 2889k| 0 | 0.0 |1545M| 243 | - | 432 |8526 | 0 | 0 | 0 |2617k| 0 | 0.000000e+00 | -- | Inf
569.97/570.01 c 543s| 3720k| 2896k| 0 | 0.0 |1550M| 243 | - | 432 |9873 | 0 | 0 | 0 |2625k| 0 | 0.000000e+00 | -- | Inf
572.66/572.73 c 546s| 3730k| 2903k| 0 | 0.0 |1554M| 243 | - | 432 |9514 | 0 | 0 | 0 |2634k| 0 | 0.000000e+00 | -- | Inf
575.36/575.43 c 548s| 3740k| 2910k| 0 | 0.0 |1559M| 243 | - | 432 |9677 | 0 | 0 | 0 |2643k| 0 | 0.000000e+00 | -- | Inf
577.87/577.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.87/577.97 c 551s| 3750k| 2917k| 0 | 0.0 |1563M| 243 | - | 432 |9466 | 0 | 0 | 0 |2651k| 0 | 0.000000e+00 | -- | Inf
580.37/580.43 c 553s| 3760k| 2924k| 0 | 0.0 |1567M| 243 | - | 432 |9247 | 0 | 0 | 0 |2660k| 0 | 0.000000e+00 | -- | Inf
582.87/582.94 c 555s| 3770k| 2932k| 0 | 0.0 |1571M| 243 | - | 432 |9055 | 0 | 0 | 0 |2667k| 0 | 0.000000e+00 | -- | Inf
585.27/585.35 c 558s| 3780k| 2939k| 0 | 0.0 |1575M| 243 | - | 432 |9081 | 0 | 0 | 0 |2675k| 0 | 0.000000e+00 | -- | Inf
587.57/587.64 c 560s| 3790k| 2946k| 0 | 0.0 |1580M| 243 | - | 432 |9206 | 0 | 0 | 0 |2683k| 0 | 0.000000e+00 | -- | Inf
589.97/590.08 c 562s| 3800k| 2953k| 0 | 0.0 |1584M| 243 | - | 432 |9214 | 0 | 0 | 0 |2691k| 0 | 0.000000e+00 | -- | Inf
592.37/592.48 c 565s| 3810k| 2961k| 0 | 0.0 |1588M| 243 | - | 432 |8965 | 0 | 0 | 0 |2699k| 0 | 0.000000e+00 | -- | Inf
594.66/594.72 c 567s| 3820k| 2968k| 0 | 0.0 |1593M| 243 | - | 432 |8723 | 0 | 0 | 0 |2707k| 0 | 0.000000e+00 | -- | Inf
597.07/597.16 c 569s| 3830k| 2975k| 0 | 0.0 |1597M| 243 | - | 432 |8763 | 0 | 0 | 0 |2714k| 0 | 0.000000e+00 | -- | Inf
599.27/599.33 c 571s| 3840k| 2983k| 0 | 0.0 |1601M| 243 | - | 432 |8746 | 0 | 0 | 0 |2722k| 0 | 0.000000e+00 | -- | Inf
601.37/601.47 c 573s| 3850k| 2990k| 0 | 0.0 |1606M| 243 | - | 432 |8812 | 0 | 0 | 0 |2730k| 0 | 0.000000e+00 | -- | Inf
603.57/603.61 c 575s| 3860k| 2997k| 0 | 0.0 |1610M| 243 | - | 432 |8654 | 0 | 0 | 0 |2737k| 0 | 0.000000e+00 | -- | Inf
605.87/605.96 c 578s| 3870k| 3005k| 0 | 0.0 |1614M| 243 | - | 432 |8753 | 0 | 0 | 0 |2744k| 0 | 0.000000e+00 | -- | Inf
608.07/608.12 c 580s| 3880k| 3012k| 0 | 0.0 |1618M| 243 | - | 432 |8612 | 0 | 0 | 0 |2752k| 0 | 0.000000e+00 | -- | Inf
610.26/610.32 c 582s| 3890k| 3020k| 0 | 0.0 |1623M| 243 | - | 432 |8921 | 0 | 0 | 0 |2759k| 0 | 0.000000e+00 | -- | Inf
612.46/612.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.46/612.59 c 584s| 3900k| 3027k| 0 | 0.0 |1627M| 243 | - | 432 |8965 | 0 | 0 | 0 |2767k| 0 | 0.000000e+00 | -- | Inf
615.26/615.32 c 587s| 3910k| 3034k| 0 | 0.0 |1631M| 243 | - | 432 | 10k| 0 | 0 | 0 |2777k| 0 | 0.000000e+00 | -- | Inf
617.77/617.89 c 589s| 3920k| 3041k| 0 | 0.0 |1636M| 243 | - | 432 | 10k| 0 | 0 | 0 |2786k| 0 | 0.000000e+00 | -- | Inf
620.46/620.57 c 592s| 3930k| 3048k| 0 | 0.0 |1640M| 243 | - | 432 |9906 | 0 | 0 | 0 |2795k| 0 | 0.000000e+00 | -- | Inf
623.17/623.22 c 594s| 3940k| 3055k| 0 | 0.0 |1644M| 243 | - | 432 |9758 | 0 | 0 | 0 |2804k| 0 | 0.000000e+00 | -- | Inf
625.67/625.72 c 597s| 3950k| 3062k| 0 | 0.0 |1649M| 243 | - | 432 |9376 | 0 | 0 | 0 |2812k| 0 | 0.000000e+00 | -- | Inf
628.17/628.27 c 599s| 3960k| 3069k| 0 | 0.0 |1653M| 243 | - | 432 |9555 | 0 | 0 | 0 |2820k| 0 | 0.000000e+00 | -- | Inf
630.67/630.75 c 602s| 3970k| 3077k| 0 | 0.0 |1657M| 243 | - | 432 |9364 | 0 | 0 | 0 |2828k| 0 | 0.000000e+00 | -- | Inf
633.17/633.23 c 604s| 3980k| 3084k| 0 | 0.0 |1661M| 243 | - | 432 |9125 | 0 | 0 | 0 |2836k| 0 | 0.000000e+00 | -- | Inf
635.47/635.57 c 606s| 3990k| 3091k| 0 | 0.0 |1666M| 243 | - | 432 |9084 | 0 | 0 | 0 |2844k| 0 | 0.000000e+00 | -- | Inf
638.07/638.11 c 609s| 4000k| 3098k| 0 | 0.0 |1670M| 243 | - | 432 |8903 | 0 | 0 | 0 |2852k| 0 | 0.000000e+00 | -- | Inf
640.66/640.76 c 611s| 4010k| 3105k| 0 | 0.0 |1674M| 243 | - | 432 |9000 | 0 | 0 | 0 |2860k| 0 | 0.000000e+00 | -- | Inf
642.97/643.03 c 614s| 4020k| 3113k| 0 | 0.0 |1679M| 243 | - | 432 |8851 | 0 | 0 | 0 |2868k| 0 | 0.000000e+00 | -- | Inf
645.47/645.51 c 616s| 4030k| 3120k| 0 | 0.0 |1683M| 243 | - | 432 |8798 | 0 | 0 | 0 |2875k| 0 | 0.000000e+00 | -- | Inf
647.77/647.82 c 618s| 4040k| 3127k| 0 | 0.0 |1687M| 243 | - | 432 |8843 | 0 | 0 | 0 |2883k| 0 | 0.000000e+00 | -- | Inf
649.97/650.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.97/650.10 c 620s| 4050k| 3135k| 0 | 0.0 |1691M| 243 | - | 432 |8806 | 0 | 0 | 0 |2891k| 0 | 0.000000e+00 | -- | Inf
652.37/652.46 c 623s| 4060k| 3142k| 0 | 0.0 |1696M| 243 | - | 432 |8947 | 0 | 0 | 0 |2899k| 0 | 0.000000e+00 | -- | Inf
654.67/654.76 c 625s| 4070k| 3149k| 0 | 0.0 |1700M| 243 | - | 432 |8934 | 0 | 0 | 0 |2907k| 0 | 0.000000e+00 | -- | Inf
656.87/656.96 c 627s| 4080k| 3157k| 0 | 0.0 |1704M| 243 | - | 432 |9023 | 0 | 0 | 0 |2915k| 0 | 0.000000e+00 | -- | Inf
659.37/659.40 c 630s| 4090k| 3164k| 0 | 0.0 |1708M| 243 | - | 432 |8937 | 0 | 0 | 0 |2922k| 0 | 0.000000e+00 | -- | Inf
661.87/661.95 c 632s| 4100k| 3171k| 0 | 0.0 |1713M| 243 | - | 432 | 10k| 0 | 0 | 0 |2932k| 0 | 0.000000e+00 | -- | Inf
664.97/665.05 c 635s| 4110k| 3178k| 0 | 0.0 |1718M| 243 | - | 432 | 10k| 0 | 0 | 0 |2942k| 0 | 0.000000e+00 | -- | Inf
667.77/667.84 c 638s| 4120k| 3185k| 0 | 0.0 |1722M| 243 | - | 432 |9946 | 0 | 0 | 0 |2952k| 0 | 0.000000e+00 | -- | Inf
670.37/670.47 c 640s| 4130k| 3192k| 0 | 0.0 |1726M| 243 | - | 432 |9530 | 0 | 0 | 0 |2960k| 0 | 0.000000e+00 | -- | Inf
672.97/673.04 c 643s| 4140k| 3199k| 0 | 0.0 |1730M| 243 | - | 432 |9497 | 0 | 0 | 0 |2969k| 0 | 0.000000e+00 | -- | Inf
675.57/675.65 c 645s| 4150k| 3206k| 0 | 0.0 |1735M| 243 | - | 432 |9712 | 0 | 0 | 0 |2978k| 0 | 0.000000e+00 | -- | Inf
678.07/678.10 c 648s| 4160k| 3213k| 0 | 0.0 |1739M| 243 | - | 432 |9569 | 0 | 0 | 0 |2986k| 0 | 0.000000e+00 | -- | Inf
680.37/680.49 c 650s| 4170k| 3220k| 0 | 0.0 |1744M| 243 | - | 432 |9446 | 0 | 0 | 0 |2995k| 0 | 0.000000e+00 | -- | Inf
683.07/683.15 c 653s| 4180k| 3227k| 0 | 0.0 |1748M| 243 | - | 432 |9146 | 0 | 0 | 0 |3003k| 0 | 0.000000e+00 | -- | Inf
685.67/685.78 c 655s| 4190k| 3234k| 0 | 0.0 |1752M| 243 | - | 432 |9127 | 0 | 0 | 0 |3011k| 0 | 0.000000e+00 | -- | Inf
687.97/688.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
687.97/688.10 c 657s| 4200k| 3241k| 0 | 0.0 |1757M| 243 | - | 432 |9016 | 0 | 0 | 0 |3019k| 0 | 0.000000e+00 | -- | Inf
690.37/690.43 c 660s| 4210k| 3248k| 0 | 0.0 |1761M| 243 | - | 432 |8830 | 0 | 0 | 0 |3027k| 0 | 0.000000e+00 | -- | Inf
692.77/692.82 c 662s| 4220k| 3256k| 0 | 0.0 |1765M| 243 | - | 432 |8931 | 0 | 0 | 0 |3035k| 0 | 0.000000e+00 | -- | Inf
695.18/695.22 c 664s| 4230k| 3263k| 0 | 0.0 |1769M| 243 | - | 432 |8904 | 0 | 0 | 0 |3043k| 0 | 0.000000e+00 | -- | Inf
697.77/697.83 c 667s| 4240k| 3270k| 0 | 0.0 |1774M| 243 | - | 432 |9090 | 0 | 0 | 0 |3051k| 0 | 0.000000e+00 | -- | Inf
699.87/699.94 c 669s| 4250k| 3277k| 0 | 0.0 |1778M| 243 | - | 432 |9106 | 0 | 0 | 0 |3058k| 0 | 0.000000e+00 | -- | Inf
702.17/702.26 c 671s| 4260k| 3285k| 0 | 0.0 |1783M| 243 | - | 432 |9190 | 0 | 0 | 0 |3066k| 0 | 0.000000e+00 | -- | Inf
704.57/704.68 c 673s| 4270k| 3292k| 0 | 0.0 |1787M| 243 | - | 432 |9164 | 0 | 0 | 0 |3074k| 0 | 0.000000e+00 | -- | Inf
706.97/707.00 c 676s| 4280k| 3299k| 0 | 0.0 |1791M| 243 | - | 432 |8997 | 0 | 0 | 0 |3081k| 0 | 0.000000e+00 | -- | Inf
709.17/709.20 c 678s| 4290k| 3307k| 0 | 0.0 |1796M| 243 | - | 432 |9500 | 0 | 0 | 0 |3089k| 0 | 0.000000e+00 | -- | Inf
712.17/712.26 c 681s| 4300k| 3313k| 0 | 0.0 |1800M| 243 | - | 432 | 10k| 0 | 0 | 0 |3102k| 0 | 0.000000e+00 | -- | Inf
715.07/715.11 c 684s| 4310k| 3320k| 0 | 0.0 |1805M| 243 | - | 432 |9631 | 0 | 0 | 0 |3113k| 0 | 0.000000e+00 | -- | Inf
717.77/717.85 c 686s| 4320k| 3327k| 0 | 0.0 |1809M| 243 | - | 432 |9584 | 0 | 0 | 0 |3123k| 0 | 0.000000e+00 | -- | Inf
720.38/720.50 c 689s| 4330k| 3334k| 0 | 0.0 |1813M| 243 | - | 432 |9802 | 0 | 0 | 0 |3132k| 0 | 0.000000e+00 | -- | Inf
723.37/723.40 c 692s| 4340k| 3340k| 0 | 0.0 |1818M| 243 | - | 432 | 10k| 0 | 0 | 0 |3141k| 0 | 0.000000e+00 | -- | Inf
725.98/726.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
725.98/726.10 c 694s| 4350k| 3347k| 0 | 0.0 |1822M| 243 | - | 432 |9403 | 0 | 0 | 0 |3150k| 0 | 0.000000e+00 | -- | Inf
728.67/728.77 c 697s| 4360k| 3354k| 0 | 0.0 |1826M| 243 | - | 432 |9400 | 0 | 0 | 0 |3159k| 0 | 0.000000e+00 | -- | Inf
731.38/731.47 c 699s| 4370k| 3361k| 0 | 0.0 |1831M| 243 | - | 432 |9309 | 0 | 0 | 0 |3168k| 0 | 0.000000e+00 | -- | Inf
733.87/733.92 c 702s| 4380k| 3368k| 0 | 0.0 |1835M| 243 | - | 432 |9281 | 0 | 0 | 0 |3177k| 0 | 0.000000e+00 | -- | Inf
736.17/736.29 c 704s| 4390k| 3375k| 0 | 0.0 |1839M| 243 | - | 432 |9052 | 0 | 0 | 0 |3185k| 0 | 0.000000e+00 | -- | Inf
738.77/738.88 c 707s| 4400k| 3382k| 0 | 0.0 |1844M| 243 | - | 432 |9044 | 0 | 0 | 0 |3193k| 0 | 0.000000e+00 | -- | Inf
741.28/741.40 c 709s| 4410k| 3390k| 0 | 0.0 |1848M| 243 | - | 432 |9188 | 0 | 0 | 0 |3201k| 0 | 0.000000e+00 | -- | Inf
744.07/744.13 c 712s| 4420k| 3397k| 0 | 0.0 |1853M| 243 | - | 432 |9195 | 0 | 0 | 0 |3209k| 0 | 0.000000e+00 | -- | Inf
746.57/746.61 c 714s| 4430k| 3404k| 0 | 0.0 |1857M| 243 | - | 432 |9345 | 0 | 0 | 0 |3217k| 0 | 0.000000e+00 | -- | Inf
748.98/749.02 c 716s| 4440k| 3411k| 0 | 0.0 |1862M| 243 | - | 432 |9337 | 0 | 0 | 0 |3226k| 0 | 0.000000e+00 | -- | Inf
751.28/751.39 c 719s| 4450k| 3419k| 0 | 0.0 |1866M| 243 | - | 432 |9179 | 0 | 0 | 0 |3233k| 0 | 0.000000e+00 | -- | Inf
753.67/753.76 c 721s| 4460k| 3426k| 0 | 0.0 |1870M| 243 | - | 432 |9190 | 0 | 0 | 0 |3241k| 0 | 0.000000e+00 | -- | Inf
755.97/756.10 c 723s| 4470k| 3433k| 0 | 0.0 |1874M| 243 | - | 432 |9325 | 0 | 0 | 0 |3248k| 0 | 0.000000e+00 | -- | Inf
758.57/758.60 c 726s| 4480k| 3440k| 0 | 0.0 |1879M| 243 | - | 432 |9311 | 0 | 0 | 0 |3257k| 0 | 0.000000e+00 | -- | Inf
761.18/761.20 c 728s| 4490k| 3447k| 0 | 0.0 |1883M| 243 | - | 432 | 10k| 0 | 0 | 0 |3267k| 0 | 0.000000e+00 | -- | Inf
764.28/764.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
764.28/764.31 c 731s| 4500k| 3454k| 0 | 0.0 |1888M| 243 | - | 432 | 10k| 0 | 0 | 0 |3278k| 0 | 0.000000e+00 | -- | Inf
767.17/767.20 c 734s| 4510k| 3461k| 0 | 0.0 |1892M| 243 | - | 432 | 10k| 0 | 0 | 0 |3288k| 0 | 0.000000e+00 | -- | Inf
769.98/770.04 c 737s| 4520k| 3467k| 0 | 0.0 |1897M| 243 | - | 432 | 10k| 0 | 0 | 0 |3298k| 0 | 0.000000e+00 | -- | Inf
772.97/773.07 c 740s| 4530k| 3474k| 0 | 0.0 |1901M| 243 | - | 432 | 10k| 0 | 0 | 0 |3308k| 0 | 0.000000e+00 | -- | Inf
775.98/776.05 c 743s| 4540k| 3481k| 0 | 0.0 |1905M| 243 | - | 432 |9560 | 0 | 0 | 0 |3317k| 0 | 0.000000e+00 | -- | Inf
779.07/779.12 c 746s| 4550k| 3487k| 0 | 0.0 |1910M| 243 | - | 432 |9530 | 0 | 0 | 0 |3326k| 0 | 0.000000e+00 | -- | Inf
781.77/781.87 c 748s| 4560k| 3494k| 0 | 0.0 |1914M| 243 | - | 432 |9583 | 0 | 0 | 0 |3336k| 0 | 0.000000e+00 | -- | Inf
784.47/784.50 c 751s| 4570k| 3501k| 0 | 0.0 |1918M| 243 | - | 432 |9547 | 0 | 0 | 0 |3344k| 0 | 0.000000e+00 | -- | Inf
787.07/787.14 c 754s| 4580k| 3508k| 0 | 0.0 |1923M| 243 | - | 432 |9342 | 0 | 0 | 0 |3353k| 0 | 0.000000e+00 | -- | Inf
789.27/789.34 c 756s| 4590k| 3515k| 0 | 0.0 |1927M| 243 | - | 432 |9153 | 0 | 0 | 0 |3361k| 0 | 0.000000e+00 | -- | Inf
791.37/791.41 c 758s| 4600k| 3522k| 0 | 0.0 |1932M| 243 | - | 432 |9256 | 0 | 0 | 0 |3369k| 0 | 0.000000e+00 | -- | Inf
793.57/793.60 c 760s| 4610k| 3530k| 0 | 0.0 |1936M| 243 | - | 432 |9390 | 0 | 0 | 0 |3378k| 0 | 0.000000e+00 | -- | Inf
795.67/795.75 c 762s| 4620k| 3537k| 0 | 0.0 |1940M| 243 | - | 432 |9395 | 0 | 0 | 0 |3386k| 0 | 0.000000e+00 | -- | Inf
797.77/797.83 c 764s| 4630k| 3544k| 0 | 0.0 |1945M| 243 | - | 432 |9335 | 0 | 0 | 0 |3394k| 0 | 0.000000e+00 | -- | Inf
799.88/799.93 c 766s| 4640k| 3551k| 0 | 0.0 |1949M| 243 | - | 432 |9233 | 0 | 0 | 0 |3402k| 0 | 0.000000e+00 | -- | Inf
801.78/801.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
801.78/801.88 c 768s| 4650k| 3559k| 0 | 0.0 |1953M| 243 | - | 432 |9313 | 0 | 0 | 0 |3410k| 0 | 0.000000e+00 | -- | Inf
803.88/803.97 c 770s| 4660k| 3566k| 0 | 0.0 |1958M| 243 | - | 432 |9208 | 0 | 0 | 0 |3418k| 0 | 0.000000e+00 | -- | Inf
805.88/805.95 c 772s| 4670k| 3573k| 0 | 0.0 |1962M| 243 | - | 432 |9433 | 0 | 0 | 0 |3426k| 0 | 0.000000e+00 | -- | Inf
807.97/808.01 c 774s| 4680k| 3580k| 0 | 0.0 |1966M| 243 | - | 432 |9303 | 0 | 0 | 0 |3434k| 0 | 0.000000e+00 | -- | Inf
809.98/810.08 c 776s| 4690k| 3588k| 0 | 0.0 |1971M| 243 | - | 432 |9351 | 0 | 0 | 0 |3442k| 0 | 0.000000e+00 | -- | Inf
812.68/812.75 c 778s| 4700k| 3594k| 0 | 0.0 |1976M| 243 | - | 432 | 10k| 0 | 0 | 0 |3453k| 0 | 0.000000e+00 | -- | Inf
815.27/815.37 c 781s| 4710k| 3601k| 0 | 0.0 |1980M| 243 | - | 432 | 10k| 0 | 0 | 0 |3463k| 0 | 0.000000e+00 | -- | Inf
818.07/818.11 c 783s| 4720k| 3607k| 0 | 0.0 |1985M| 243 | - | 432 | 11k| 0 | 0 | 0 |3473k| 0 | 0.000000e+00 | -- | Inf
820.58/820.67 c 786s| 4730k| 3614k| 0 | 0.0 |1989M| 243 | - | 432 | 10k| 0 | 0 | 0 |3483k| 0 | 0.000000e+00 | -- | Inf
823.17/823.29 c 788s| 4740k| 3621k| 0 | 0.0 |1993M| 243 | - | 432 |9772 | 0 | 0 | 0 |3492k| 0 | 0.000000e+00 | -- | Inf
825.57/825.65 c 791s| 4750k| 3628k| 0 | 0.0 |1998M| 243 | - | 432 |9875 | 0 | 0 | 0 |3501k| 0 | 0.000000e+00 | -- | Inf
827.97/828.04 c 793s| 4760k| 3634k| 0 | 0.0 |2002M| 243 | - | 432 |9752 | 0 | 0 | 0 |3511k| 0 | 0.000000e+00 | -- | Inf
830.27/830.31 c 795s| 4770k| 3641k| 0 | 0.0 |2006M| 243 | - | 432 |9485 | 0 | 0 | 0 |3520k| 0 | 0.000000e+00 | -- | Inf
832.58/832.61 c 797s| 4780k| 3648k| 0 | 0.0 |2011M| 243 | - | 432 |9328 | 0 | 0 | 0 |3528k| 0 | 0.000000e+00 | -- | Inf
834.78/834.89 c 800s| 4790k| 3655k| 0 | 0.0 |2015M| 243 | - | 432 |9379 | 0 | 0 | 0 |3537k| 0 | 0.000000e+00 | -- | Inf
837.08/837.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.08/837.14 c 802s| 4800k| 3662k| 0 | 0.0 |2020M| 243 | - | 432 |9450 | 0 | 0 | 0 |3545k| 0 | 0.000000e+00 | -- | Inf
839.27/839.32 c 804s| 4810k| 3669k| 0 | 0.0 |2024M| 243 | - | 432 |9399 | 0 | 0 | 0 |3554k| 0 | 0.000000e+00 | -- | Inf
841.48/841.51 c 806s| 4820k| 3676k| 0 | 0.0 |2029M| 243 | - | 432 |9551 | 0 | 0 | 0 |3562k| 0 | 0.000000e+00 | -- | Inf
843.68/843.71 c 808s| 4830k| 3684k| 0 | 0.0 |2033M| 243 | - | 432 |9108 | 0 | 0 | 0 |3571k| 0 | 0.000000e+00 | -- | Inf
845.57/845.68 c 810s| 4840k| 3691k| 0 | 0.0 |2037M| 243 | - | 432 |9438 | 0 | 0 | 0 |3579k| 0 | 0.000000e+00 | -- | Inf
847.87/847.99 c 812s| 4850k| 3698k| 0 | 0.0 |2042M| 243 | - | 432 |9529 | 0 | 0 | 0 |3588k| 0 | 0.000000e+00 | -- | Inf
849.98/850.09 c 814s| 4860k| 3705k| 0 | 0.0 |2046M| 243 | - | 432 |9565 | 0 | 0 | 0 |3597k| 0 | 0.000000e+00 | -- | Inf
852.18/852.28 c 816s| 4870k| 3712k| 0 | 0.0 |2050M| 243 | - | 432 |9434 | 0 | 0 | 0 |3605k| 0 | 0.000000e+00 | -- | Inf
854.28/854.35 c 818s| 4880k| 3720k| 0 | 0.0 |2055M| 243 | - | 432 |9510 | 0 | 0 | 0 |3613k| 0 | 0.000000e+00 | -- | Inf
856.48/856.56 c 821s| 4890k| 3727k| 0 | 0.0 |2059M| 243 | - | 432 |9299 | 0 | 0 | 0 |3622k| 0 | 0.000000e+00 | -- | Inf
858.88/858.95 c 823s| 4900k| 3734k| 0 | 0.0 |2064M| 243 | - | 432 | 10k| 0 | 0 | 0 |3631k| 0 | 0.000000e+00 | -- | Inf
861.78/861.80 c 826s| 4910k| 3740k| 0 | 0.0 |2068M| 243 | - | 432 | 11k| 0 | 0 | 0 |3643k| 0 | 0.000000e+00 | -- | Inf
864.58/864.61 c 828s| 4920k| 3747k| 0 | 0.0 |2073M| 243 | - | 432 | 11k| 0 | 0 | 0 |3653k| 0 | 0.000000e+00 | -- | Inf
867.28/867.35 c 831s| 4930k| 3753k| 0 | 0.0 |2077M| 243 | - | 432 | 10k| 0 | 0 | 0 |3664k| 0 | 0.000000e+00 | -- | Inf
869.77/869.85 c 833s| 4940k| 3760k| 0 | 0.0 |2082M| 243 | - | 432 |9968 | 0 | 0 | 0 |3673k| 0 | 0.000000e+00 | -- | Inf
872.18/872.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.18/872.27 c 836s| 4950k| 3767k| 0 | 0.0 |2086M| 243 | - | 432 |9895 | 0 | 0 | 0 |3683k| 0 | 0.000000e+00 | -- | Inf
874.67/874.79 c 838s| 4960k| 3773k| 0 | 0.0 |2091M| 243 | - | 432 |9785 | 0 | 0 | 0 |3693k| 0 | 0.000000e+00 | -- | Inf
877.17/877.20 c 840s| 4970k| 3780k| 0 | 0.0 |2095M| 243 | - | 432 |9675 | 0 | 0 | 0 |3702k| 0 | 0.000000e+00 | -- | Inf
879.47/879.59 c 843s| 4980k| 3787k| 0 | 0.0 |2100M| 243 | - | 432 |9651 | 0 | 0 | 0 |3711k| 0 | 0.000000e+00 | -- | Inf
881.88/881.93 c 845s| 4990k| 3794k| 0 | 0.0 |2104M| 243 | - | 432 |9532 | 0 | 0 | 0 |3720k| 0 | 0.000000e+00 | -- | Inf
883.98/884.07 c 847s| 5000k| 3801k| 0 | 0.0 |2109M| 243 | - | 432 |9689 | 0 | 0 | 0 |3729k| 0 | 0.000000e+00 | -- | Inf
886.17/886.27 c 849s| 5010k| 3808k| 0 | 0.0 |2113M| 243 | - | 432 |9641 | 0 | 0 | 0 |3737k| 0 | 0.000000e+00 | -- | Inf
888.47/888.55 c 851s| 5020k| 3815k| 0 | 0.0 |2118M| 243 | - | 432 |9409 | 0 | 0 | 0 |3746k| 0 | 0.000000e+00 | -- | Inf
890.58/890.69 c 854s| 5030k| 3822k| 0 | 0.0 |2122M| 243 | - | 432 |9668 | 0 | 0 | 0 |3754k| 0 | 0.000000e+00 | -- | Inf
892.97/893.04 c 856s| 5040k| 3829k| 0 | 0.0 |2127M| 243 | - | 432 |9551 | 0 | 0 | 0 |3764k| 0 | 0.000000e+00 | -- | Inf
894.98/895.07 c 858s| 5050k| 3837k| 0 | 0.0 |2131M| 243 | - | 432 |9421 | 0 | 0 | 0 |3772k| 0 | 0.000000e+00 | -- | Inf
897.17/897.28 c 860s| 5060k| 3844k| 0 | 0.0 |2135M| 243 | - | 432 |9515 | 0 | 0 | 0 |3781k| 0 | 0.000000e+00 | -- | Inf
899.38/899.40 c 862s| 5070k| 3851k| 0 | 0.0 |2140M| 243 | - | 432 |9369 | 0 | 0 | 0 |3789k| 0 | 0.000000e+00 | -- | Inf
901.58/901.66 c 864s| 5080k| 3858k| 0 | 0.0 |2144M| 243 | - | 432 |9505 | 0 | 0 | 0 |3798k| 0 | 0.000000e+00 | -- | Inf
903.78/903.87 c 866s| 5090k| 3865k| 0 | 0.0 |2149M| 243 | - | 432 |9357 | 0 | 0 | 0 |3806k| 0 | 0.000000e+00 | -- | Inf
906.18/906.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
906.18/906.20 c 868s| 5100k| 3872k| 0 | 0.0 |2153M| 243 | - | 432 |9484 | 0 | 0 | 0 |3815k| 0 | 0.000000e+00 | -- | Inf
908.77/908.84 c 871s| 5110k| 3879k| 0 | 0.0 |2158M| 243 | - | 432 | 10k| 0 | 0 | 0 |3826k| 0 | 0.000000e+00 | -- | Inf
911.58/911.63 c 874s| 5120k| 3885k| 0 | 0.0 |2163M| 243 | - | 432 | 11k| 0 | 0 | 0 |3837k| 0 | 0.000000e+00 | -- | Inf
914.48/914.58 c 877s| 5130k| 3891k| 0 | 0.0 |2167M| 243 | - | 432 | 10k| 0 | 0 | 0 |3848k| 0 | 0.000000e+00 | -- | Inf
917.17/917.21 c 879s| 5140k| 3898k| 0 | 0.0 |2172M| 243 | - | 432 | 10k| 0 | 0 | 0 |3859k| 0 | 0.000000e+00 | -- | Inf
919.88/919.99 c 882s| 5150k| 3904k| 0 | 0.0 |2176M| 243 | - | 432 | 10k| 0 | 0 | 0 |3869k| 0 | 0.000000e+00 | -- | Inf
922.48/922.57 c 884s| 5160k| 3911k| 0 | 0.0 |2180M| 243 | - | 432 |9723 | 0 | 0 | 0 |3879k| 0 | 0.000000e+00 | -- | Inf
924.87/924.99 c 887s| 5170k| 3918k| 0 | 0.0 |2185M| 243 | - | 432 |9654 | 0 | 0 | 0 |3889k| 0 | 0.000000e+00 | -- | Inf
927.28/927.36 c 889s| 5180k| 3925k| 0 | 0.0 |2189M| 243 | - | 432 |9770 | 0 | 0 | 0 |3897k| 0 | 0.000000e+00 | -- | Inf
929.58/929.62 c 891s| 5190k| 3932k| 0 | 0.0 |2194M| 243 | - | 432 |9640 | 0 | 0 | 0 |3906k| 0 | 0.000000e+00 | -- | Inf
931.97/932.03 c 893s| 5200k| 3938k| 0 | 0.0 |2198M| 243 | - | 432 |9798 | 0 | 0 | 0 |3915k| 0 | 0.000000e+00 | -- | Inf
934.18/934.27 c 896s| 5210k| 3945k| 0 | 0.0 |2203M| 243 | - | 432 |9487 | 0 | 0 | 0 |3924k| 0 | 0.000000e+00 | -- | Inf
936.38/936.46 c 898s| 5220k| 3952k| 0 | 0.0 |2207M| 243 | - | 432 |9759 | 0 | 0 | 0 |3932k| 0 | 0.000000e+00 | -- | Inf
938.67/938.79 c 900s| 5230k| 3959k| 0 | 0.0 |2212M| 243 | - | 432 |9651 | 0 | 0 | 0 |3942k| 0 | 0.000000e+00 | -- | Inf
940.88/940.97 c 902s| 5240k| 3966k| 0 | 0.0 |2216M| 243 | - | 432 |9461 | 0 | 0 | 0 |3950k| 0 | 0.000000e+00 | -- | Inf
943.28/943.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
943.28/943.30 c 904s| 5250k| 3973k| 0 | 0.0 |2221M| 243 | - | 432 |9513 | 0 | 0 | 0 |3959k| 0 | 0.000000e+00 | -- | Inf
945.47/945.50 c 906s| 5260k| 3980k| 0 | 0.0 |2225M| 243 | - | 432 |9573 | 0 | 0 | 0 |3967k| 0 | 0.000000e+00 | -- | Inf
947.68/947.78 c 909s| 5270k| 3987k| 0 | 0.0 |2230M| 243 | - | 432 |9617 | 0 | 0 | 0 |3976k| 0 | 0.000000e+00 | -- | Inf
949.78/949.89 c 911s| 5280k| 3995k| 0 | 0.0 |2234M| 243 | - | 432 |9391 | 0 | 0 | 0 |3984k| 0 | 0.000000e+00 | -- | Inf
952.18/952.20 c 913s| 5290k| 4002k| 0 | 0.0 |2239M| 243 | - | 432 |9651 | 0 | 0 | 0 |3993k| 0 | 0.000000e+00 | -- | Inf
954.28/954.35 c 915s| 5300k| 4009k| 0 | 0.0 |2243M| 243 | - | 432 |9621 | 0 | 0 | 0 |4001k| 0 | 0.000000e+00 | -- | Inf
956.57/956.66 c 917s| 5310k| 4016k| 0 | 0.0 |2247M| 243 | - | 432 |9624 | 0 | 0 | 0 |4010k| 0 | 0.000000e+00 | -- | Inf
959.38/959.49 c 920s| 5320k| 4022k| 0 | 0.0 |2253M| 243 | - | 432 | 11k| 0 | 0 | 0 |4022k| 0 | 0.000000e+00 | -- | Inf
962.38/962.49 c 923s| 5330k| 4028k| 0 | 0.0 |2257M| 243 | - | 432 | 10k| 0 | 0 | 0 |4034k| 0 | 0.000000e+00 | -- | Inf
965.08/965.20 c 926s| 5340k| 4034k| 0 | 0.0 |2261M| 243 | - | 432 | 10k| 0 | 0 | 0 |4044k| 0 | 0.000000e+00 | -- | Inf
967.88/967.98 c 928s| 5350k| 4041k| 0 | 0.0 |2266M| 243 | - | 432 | 10k| 0 | 0 | 0 |4055k| 0 | 0.000000e+00 | -- | Inf
970.58/970.64 c 931s| 5360k| 4047k| 0 | 0.0 |2270M| 243 | - | 432 | 10k| 0 | 0 | 0 |4066k| 0 | 0.000000e+00 | -- | Inf
973.17/973.25 c 933s| 5370k| 4054k| 0 | 0.0 |2275M| 243 | - | 432 |9802 | 0 | 0 | 0 |4075k| 0 | 0.000000e+00 | -- | Inf
975.69/975.73 c 936s| 5380k| 4061k| 0 | 0.0 |2280M| 243 | - | 432 |9808 | 0 | 0 | 0 |4085k| 0 | 0.000000e+00 | -- | Inf
978.08/978.14 c 938s| 5390k| 4067k| 0 | 0.0 |2284M| 243 | - | 432 |9710 | 0 | 0 | 0 |4094k| 0 | 0.000000e+00 | -- | Inf
980.37/980.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
980.37/980.43 c 940s| 5400k| 4074k| 0 | 0.0 |2289M| 243 | - | 432 |9736 | 0 | 0 | 0 |4103k| 0 | 0.000000e+00 | -- | Inf
982.78/982.80 c 943s| 5410k| 4081k| 0 | 0.0 |2293M| 243 | - | 432 |9824 | 0 | 0 | 0 |4112k| 0 | 0.000000e+00 | -- | Inf
985.08/985.10 c 945s| 5420k| 4088k| 0 | 0.0 |2298M| 243 | - | 432 |9696 | 0 | 0 | 0 |4121k| 0 | 0.000000e+00 | -- | Inf
987.28/987.35 c 947s| 5430k| 4095k| 0 | 0.0 |2302M| 243 | - | 432 |9672 | 0 | 0 | 0 |4131k| 0 | 0.000000e+00 | -- | Inf
989.58/989.60 c 949s| 5440k| 4102k| 0 | 0.0 |2307M| 243 | - | 432 |9687 | 0 | 0 | 0 |4140k| 0 | 0.000000e+00 | -- | Inf
991.67/991.75 c 951s| 5450k| 4109k| 0 | 0.0 |2311M| 243 | - | 432 |9656 | 0 | 0 | 0 |4149k| 0 | 0.000000e+00 | -- | Inf
994.08/994.12 c 954s| 5460k| 4116k| 0 | 0.0 |2316M| 243 | - | 432 |9623 | 0 | 0 | 0 |4157k| 0 | 0.000000e+00 | -- | Inf
996.27/996.32 c 956s| 5470k| 4123k| 0 | 0.0 |2320M| 243 | - | 432 |9510 | 0 | 0 | 0 |4166k| 0 | 0.000000e+00 | -- | Inf
998.48/998.57 c 958s| 5480k| 4130k| 0 | 0.0 |2324M| 243 | - | 432 |9554 | 0 | 0 | 0 |4175k| 0 | 0.000000e+00 | -- | Inf
1000.78/1000.83 c 960s| 5490k| 4137k| 0 | 0.0 |2329M| 243 | - | 432 |9673 | 0 | 0 | 0 |4184k| 0 | 0.000000e+00 | -- | Inf
1003.09/1003.18 c 962s| 5500k| 4144k| 0 | 0.0 |2333M| 243 | - | 432 |9527 | 0 | 0 | 0 |4193k| 0 | 0.000000e+00 | -- | Inf
1005.28/1005.36 c 964s| 5510k| 4151k| 0 | 0.0 |2338M| 243 | - | 432 |9492 | 0 | 0 | 0 |4201k| 0 | 0.000000e+00 | -- | Inf
1007.98/1008.01 c 967s| 5520k| 4158k| 0 | 0.0 |2342M| 243 | - | 432 | 10k| 0 | 0 | 0 |4211k| 0 | 0.000000e+00 | -- | Inf
1011.28/1011.34 c 970s| 5530k| 4163k| 0 | 0.0 |2347M| 243 | - | 432 | 11k| 0 | 0 | 0 |4224k| 0 | 0.000000e+00 | -- | Inf
1014.28/1014.31 c 973s| 5540k| 4170k| 0 | 0.0 |2352M| 243 | - | 432 | 10k| 0 | 0 | 0 |4236k| 0 | 0.000000e+00 | -- | Inf
1017.28/1017.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.28/1017.31 c 976s| 5550k| 4176k| 0 | 0.0 |2357M| 243 | - | 432 | 11k| 0 | 0 | 0 |4247k| 0 | 0.000000e+00 | -- | Inf
1020.07/1020.19 c 979s| 5560k| 4182k| 0 | 0.0 |2361M| 243 | - | 432 | 10k| 0 | 0 | 0 |4258k| 0 | 0.000000e+00 | -- | Inf
1022.68/1022.78 c 981s| 5570k| 4189k| 0 | 0.0 |2365M| 243 | - | 432 | 10k| 0 | 0 | 0 |4268k| 0 | 0.000000e+00 | -- | Inf
1025.38/1025.42 c 984s| 5580k| 4195k| 0 | 0.0 |2370M| 243 | - | 432 | 10k| 0 | 0 | 0 |4278k| 0 | 0.000000e+00 | -- | Inf
1027.78/1027.85 c 986s| 5590k| 4202k| 0 | 0.0 |2375M| 243 | - | 432 |9915 | 0 | 0 | 0 |4288k| 0 | 0.000000e+00 | -- | Inf
1030.18/1030.30 c 989s| 5600k| 4209k| 0 | 0.0 |2379M| 243 | - | 432 |9835 | 0 | 0 | 0 |4297k| 0 | 0.000000e+00 | -- | Inf
1032.68/1032.80 c 991s| 5610k| 4215k| 0 | 0.0 |2384M| 243 | - | 432 |9918 | 0 | 0 | 0 |4307k| 0 | 0.000000e+00 | -- | Inf
1035.27/1035.33 c 993s| 5620k| 4222k| 0 | 0.0 |2389M| 243 | - | 432 | 10k| 0 | 0 | 0 |4316k| 0 | 0.000000e+00 | -- | Inf
1037.78/1037.85 c 996s| 5630k| 4229k| 0 | 0.0 |2393M| 243 | - | 432 |9801 | 0 | 0 | 0 |4325k| 0 | 0.000000e+00 | -- | Inf
1040.38/1040.45 c 998s| 5640k| 4236k| 0 | 0.0 |2398M| 243 | - | 432 |9800 | 0 | 0 | 0 |4334k| 0 | 0.000000e+00 | -- | Inf
1042.88/1042.92 c 1001s| 5650k| 4243k| 0 | 0.0 |2402M| 243 | - | 432 |9770 | 0 | 0 | 0 |4343k| 0 | 0.000000e+00 | -- | Inf
1045.58/1045.61 c 1003s| 5660k| 4249k| 0 | 0.0 |2407M| 243 | - | 432 |9609 | 0 | 0 | 0 |4352k| 0 | 0.000000e+00 | -- | Inf
1047.98/1048.00 c 1006s| 5670k| 4256k| 0 | 0.0 |2411M| 243 | - | 432 | 10k| 0 | 0 | 0 |4362k| 0 | 0.000000e+00 | -- | Inf
1050.68/1050.71 c 1008s| 5680k| 4263k| 0 | 0.0 |2416M| 243 | - | 432 |9792 | 0 | 0 | 0 |4371k| 0 | 0.000000e+00 | -- | Inf
1053.08/1053.19 c 1011s| 5690k| 4270k| 0 | 0.0 |2420M| 243 | - | 432 |9594 | 0 | 0 | 0 |4379k| 0 | 0.000000e+00 | -- | Inf
1055.89/1055.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.89/1055.96 c 1013s| 5700k| 4277k| 0 | 0.0 |2424M| 243 | - | 432 | 10k| 0 | 0 | 0 |4388k| 0 | 0.000000e+00 | -- | Inf
1058.78/1058.85 c 1016s| 5710k| 4284k| 0 | 0.0 |2429M| 243 | - | 432 |9709 | 0 | 0 | 0 |4398k| 0 | 0.000000e+00 | -- | Inf
1061.68/1061.78 c 1019s| 5720k| 4291k| 0 | 0.0 |2433M| 243 | - | 432 | 10k| 0 | 0 | 0 |4407k| 0 | 0.000000e+00 | -- | Inf
1064.78/1064.88 c 1022s| 5730k| 4298k| 0 | 0.0 |2438M| 243 | - | 432 |9706 | 0 | 0 | 0 |4416k| 0 | 0.000000e+00 | -- | Inf
1068.28/1068.39 c 1026s| 5740k| 4304k| 0 | 0.0 |2443M| 243 | - | 432 | 11k| 0 | 0 | 0 |4427k| 0 | 0.000000e+00 | -- | Inf
1072.49/1072.53 c 1029s| 5750k| 4310k| 0 | 0.0 |2447M| 243 | - | 432 | 10k| 0 | 0 | 0 |4440k| 0 | 0.000000e+00 | -- | Inf
1076.88/1076.93 c 1034s| 5760k| 4316k| 0 | 0.0 |2452M| 243 | - | 432 | 11k| 0 | 0 | 0 |4452k| 0 | 0.000000e+00 | -- | Inf
1080.69/1081.14 c 1037s| 5770k| 4322k| 0 | 0.0 |2456M| 243 | - | 432 | 10k| 0 | 0 | 0 |4464k| 0 | 0.000000e+00 | -- | Inf
1084.60/1085.04 c 1041s| 5780k| 4328k| 0 | 0.0 |2461M| 243 | - | 432 | 10k| 0 | 0 | 0 |4474k| 0 | 0.000000e+00 | -- | Inf
1087.69/1088.18 c 1044s| 5790k| 4334k| 0 | 0.0 |2465M| 243 | - | 432 | 10k| 0 | 0 | 0 |4484k| 0 | 0.000000e+00 | -- | Inf
1090.80/1091.29 c 1047s| 5800k| 4341k| 0 | 0.0 |2470M| 243 | - | 432 | 10k| 0 | 0 | 0 |4494k| 0 | 0.000000e+00 | -- | Inf
1094.00/1094.43 c 1050s| 5810k| 4347k| 0 | 0.0 |2474M| 243 | - | 432 | 10k| 0 | 0 | 0 |4504k| 0 | 0.000000e+00 | -- | Inf
1097.19/1097.69 c 1053s| 5820k| 4354k| 0 | 0.0 |2479M| 243 | - | 432 |9975 | 0 | 0 | 0 |4514k| 0 | 0.000000e+00 | -- | Inf
1100.29/1100.76 c 1056s| 5830k| 4360k| 0 | 0.0 |2483M| 243 | - | 432 |9983 | 0 | 0 | 0 |4524k| 0 | 0.000000e+00 | -- | Inf
1103.39/1103.87 c 1059s| 5840k| 4367k| 0 | 0.0 |2488M| 243 | - | 432 |9987 | 0 | 0 | 0 |4533k| 0 | 0.000000e+00 | -- | Inf
1106.29/1106.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1106.29/1106.76 c 1062s| 5850k| 4374k| 0 | 0.0 |2492M| 243 | - | 432 |9966 | 0 | 0 | 0 |4542k| 0 | 0.000000e+00 | -- | Inf
1109.40/1109.85 c 1065s| 5860k| 4380k| 0 | 0.0 |2497M| 243 | - | 432 |9724 | 0 | 0 | 0 |4552k| 0 | 0.000000e+00 | -- | Inf
1112.29/1112.76 c 1068s| 5870k| 4387k| 0 | 0.0 |2501M| 243 | - | 432 | 10k| 0 | 0 | 0 |4561k| 0 | 0.000000e+00 | -- | Inf
1115.20/1115.69 c 1071s| 5880k| 4394k| 0 | 0.0 |2505M| 243 | - | 432 |9795 | 0 | 0 | 0 |4570k| 0 | 0.000000e+00 | -- | Inf
1117.99/1118.41 c 1073s| 5890k| 4401k| 0 | 0.0 |2510M| 243 | - | 432 |9597 | 0 | 0 | 0 |4579k| 0 | 0.000000e+00 | -- | Inf
1120.69/1121.13 c 1076s| 5900k| 4407k| 0 | 0.0 |2514M| 243 | - | 432 |9955 | 0 | 0 | 0 |4588k| 0 | 0.000000e+00 | -- | Inf
1123.70/1124.16 c 1079s| 5910k| 4414k| 0 | 0.0 |2519M| 243 | - | 432 |9839 | 0 | 0 | 0 |4598k| 0 | 0.000000e+00 | -- | Inf
1126.80/1127.22 c 1082s| 5920k| 4421k| 0 | 0.0 |2523M| 243 | - | 432 | 10k| 0 | 0 | 0 |4607k| 0 | 0.000000e+00 | -- | Inf
1129.89/1130.34 c 1085s| 5930k| 4428k| 0 | 0.0 |2527M| 243 | - | 432 |9807 | 0 | 0 | 0 |4616k| 0 | 0.000000e+00 | -- | Inf
1133.09/1133.53 c 1088s| 5940k| 4434k| 0 | 0.0 |2532M| 243 | - | 432 |9936 | 0 | 0 | 0 |4626k| 0 | 0.000000e+00 | -- | Inf
1135.90/1136.35 c 1091s| 5950k| 4441k| 0 | 0.0 |2536M| 243 | - | 432 |9965 | 0 | 0 | 0 |4636k| 0 | 0.000000e+00 | -- | Inf
1139.79/1140.22 c 1095s| 5960k| 4447k| 0 | 0.0 |2541M| 243 | - | 432 | 10k| 0 | 0 | 0 |4649k| 0 | 0.000000e+00 | -- | Inf
1143.79/1144.28 c 1099s| 5970k| 4452k| 0 | 0.0 |2546M| 243 | - | 432 | 11k| 0 | 0 | 0 |4661k| 0 | 0.000000e+00 | -- | Inf
1147.90/1148.35 c 1103s| 5980k| 4458k| 0 | 0.0 |2550M| 243 | - | 432 | 10k| 0 | 0 | 0 |4674k| 0 | 0.000000e+00 | -- | Inf
1151.40/1151.89 c 1106s| 5990k| 4464k| 0 | 0.0 |2555M| 243 | - | 432 | 10k| 0 | 0 | 0 |4685k| 0 | 0.000000e+00 | -- | Inf
1154.60/1155.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.60/1155.03 c 1109s| 6000k| 4470k| 0 | 0.0 |2559M| 243 | - | 432 | 10k| 0 | 0 | 0 |4695k| 0 | 0.000000e+00 | -- | Inf
1157.80/1158.26 c 1112s| 6010k| 4477k| 0 | 0.0 |2564M| 243 | - | 432 | 10k| 0 | 0 | 0 |4705k| 0 | 0.000000e+00 | -- | Inf
1160.99/1161.44 c 1115s| 6020k| 4483k| 0 | 0.0 |2569M| 243 | - | 432 | 10k| 0 | 0 | 0 |4715k| 0 | 0.000000e+00 | -- | Inf
1164.29/1164.79 c 1119s| 6030k| 4490k| 0 | 0.0 |2573M| 243 | - | 432 | 10k| 0 | 0 | 0 |4725k| 0 | 0.000000e+00 | -- | Inf
1167.49/1167.99 c 1122s| 6040k| 4496k| 0 | 0.0 |2578M| 243 | - | 432 | 10k| 0 | 0 | 0 |4735k| 0 | 0.000000e+00 | -- | Inf
1170.69/1171.15 c 1125s| 6050k| 4503k| 0 | 0.0 |2583M| 243 | - | 432 | 10k| 0 | 0 | 0 |4745k| 0 | 0.000000e+00 | -- | Inf
1173.40/1173.85 c 1127s| 6060k| 4509k| 0 | 0.0 |2587M| 243 | - | 432 |9892 | 0 | 0 | 0 |4755k| 0 | 0.000000e+00 | -- | Inf
1176.39/1176.81 c 1130s| 6070k| 4516k| 0 | 0.0 |2591M| 243 | - | 432 | 10k| 0 | 0 | 0 |4764k| 0 | 0.000000e+00 | -- | Inf
1179.59/1180.03 c 1133s| 6080k| 4523k| 0 | 0.0 |2596M| 243 | - | 432 |9889 | 0 | 0 | 0 |4774k| 0 | 0.000000e+00 | -- | Inf
1182.50/1182.98 c 1136s| 6090k| 4529k| 0 | 0.0 |2600M| 243 | - | 432 |9839 | 0 | 0 | 0 |4783k| 0 | 0.000000e+00 | -- | Inf
1185.89/1186.33 c 1140s| 6100k| 4536k| 0 | 0.0 |2605M| 243 | - | 432 | 10k| 0 | 0 | 0 |4793k| 0 | 0.000000e+00 | -- | Inf
1188.89/1189.33 c 1143s| 6110k| 4543k| 0 | 0.0 |2609M| 243 | - | 432 |9866 | 0 | 0 | 0 |4802k| 0 | 0.000000e+00 | -- | Inf
1191.90/1192.33 c 1146s| 6120k| 4550k| 0 | 0.0 |2614M| 243 | - | 432 | 10k| 0 | 0 | 0 |4811k| 0 | 0.000000e+00 | -- | Inf
1195.09/1195.50 c 1149s| 6130k| 4556k| 0 | 0.0 |2619M| 243 | - | 432 | 10k| 0 | 0 | 0 |4821k| 0 | 0.000000e+00 | -- | Inf
1198.19/1198.65 c 1152s| 6140k| 4563k| 0 | 0.0 |2623M| 243 | - | 432 |9828 | 0 | 0 | 0 |4830k| 0 | 0.000000e+00 | -- | Inf
1201.39/1201.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1201.39/1201.83 c 1155s| 6150k| 4569k| 0 | 0.0 |2628M| 243 | - | 432 | 10k| 0 | 0 | 0 |4841k| 0 | 0.000000e+00 | -- | Inf
1204.59/1205.01 c 1158s| 6160k| 4576k| 0 | 0.0 |2632M| 243 | - | 432 |9942 | 0 | 0 | 0 |4850k| 0 | 0.000000e+00 | -- | Inf
1208.40/1208.89 c 1162s| 6170k| 4582k| 0 | 0.0 |2637M| 243 | - | 432 | 11k| 0 | 0 | 0 |4862k| 0 | 0.000000e+00 | -- | Inf
1212.69/1213.16 c 1166s| 6180k| 4587k| 0 | 0.0 |2642M| 243 | - | 432 | 12k| 0 | 0 | 0 |4876k| 0 | 0.000000e+00 | -- | Inf
1216.79/1217.20 c 1170s| 6190k| 4593k| 0 | 0.0 |2646M| 243 | - | 432 | 10k| 0 | 0 | 0 |4887k| 0 | 0.000000e+00 | -- | Inf
1220.40/1220.81 c 1173s| 6200k| 4599k| 0 | 0.0 |2651M| 243 | - | 432 | 10k| 0 | 0 | 0 |4898k| 0 | 0.000000e+00 | -- | Inf
1223.70/1224.13 c 1177s| 6210k| 4605k| 0 | 0.0 |2655M| 243 | - | 432 | 10k| 0 | 0 | 0 |4909k| 0 | 0.000000e+00 | -- | Inf
1226.90/1227.33 c 1180s| 6220k| 4612k| 0 | 0.0 |2660M| 243 | - | 432 | 10k| 0 | 0 | 0 |4919k| 0 | 0.000000e+00 | -- | Inf
1230.09/1230.54 c 1183s| 6230k| 4618k| 0 | 0.0 |2664M| 243 | - | 432 | 10k| 0 | 0 | 0 |4930k| 0 | 0.000000e+00 | -- | Inf
1233.29/1233.72 c 1186s| 6240k| 4624k| 0 | 0.0 |2669M| 243 | - | 432 | 10k| 0 | 0 | 0 |4940k| 0 | 0.000000e+00 | -- | Inf
1236.59/1237.03 c 1189s| 6250k| 4631k| 0 | 0.0 |2674M| 243 | - | 432 | 10k| 0 | 0 | 0 |4950k| 0 | 0.000000e+00 | -- | Inf
1239.79/1240.25 c 1192s| 6260k| 4637k| 0 | 0.0 |2678M| 243 | - | 432 | 10k| 0 | 0 | 0 |4960k| 0 | 0.000000e+00 | -- | Inf
1242.99/1243.43 c 1195s| 6270k| 4644k| 0 | 0.0 |2683M| 243 | - | 432 | 10k| 0 | 0 | 0 |4970k| 0 | 0.000000e+00 | -- | Inf
1246.09/1246.56 c 1198s| 6280k| 4650k| 0 | 0.0 |2687M| 243 | - | 432 | 10k| 0 | 0 | 0 |4980k| 0 | 0.000000e+00 | -- | Inf
1249.40/1249.81 c 1202s| 6290k| 4657k| 0 | 0.0 |2692M| 243 | - | 432 | 10k| 0 | 0 | 0 |4989k| 0 | 0.000000e+00 | -- | Inf
1252.59/1253.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1252.59/1253.00 c 1205s| 6300k| 4663k| 0 | 0.0 |2696M| 243 | - | 432 | 10k| 0 | 0 | 0 |4999k| 0 | 0.000000e+00 | -- | Inf
1255.70/1256.13 c 1208s| 6310k| 4670k| 0 | 0.0 |2701M| 243 | - | 432 | 10k| 0 | 0 | 0 |5008k| 0 | 0.000000e+00 | -- | Inf
1258.69/1259.18 c 1211s| 6320k| 4677k| 0 | 0.0 |2705M| 243 | - | 432 |9902 | 0 | 0 | 0 |5018k| 0 | 0.000000e+00 | -- | Inf
1261.89/1262.39 c 1214s| 6330k| 4683k| 0 | 0.0 |2710M| 243 | - | 432 |9991 | 0 | 0 | 0 |5027k| 0 | 0.000000e+00 | -- | Inf
1265.19/1265.63 c 1217s| 6340k| 4690k| 0 | 0.0 |2714M| 243 | - | 432 | 10k| 0 | 0 | 0 |5037k| 0 | 0.000000e+00 | -- | Inf
1268.20/1268.68 c 1220s| 6350k| 4696k| 0 | 0.0 |2719M| 243 | - | 432 |9911 | 0 | 0 | 0 |5047k| 0 | 0.000000e+00 | -- | Inf
1271.10/1271.55 c 1223s| 6360k| 4703k| 0 | 0.0 |2723M| 243 | - | 432 |9890 | 0 | 0 | 0 |5057k| 0 | 0.000000e+00 | -- | Inf
1274.40/1274.83 c 1226s| 6370k| 4710k| 0 | 0.0 |2727M| 243 | - | 432 | 10k| 0 | 0 | 0 |5066k| 0 | 0.000000e+00 | -- | Inf
1278.69/1279.11 c 1230s| 6380k| 4715k| 0 | 0.0 |2733M| 243 | - | 432 | 12k| 0 | 0 | 0 |5080k| 0 | 0.000000e+00 | -- | Inf
1283.10/1283.58 c 1235s| 6390k| 4720k| 0 | 0.0 |2737M| 243 | - | 432 | 11k| 0 | 0 | 0 |5094k| 0 | 0.000000e+00 | -- | Inf
1287.00/1287.47 c 1238s| 6400k| 4726k| 0 | 0.0 |2741M| 243 | - | 432 | 10k| 0 | 0 | 0 |5105k| 0 | 0.000000e+00 | -- | Inf
1290.50/1290.91 c 1242s| 6410k| 4732k| 0 | 0.0 |2746M| 243 | - | 432 | 10k| 0 | 0 | 0 |5116k| 0 | 0.000000e+00 | -- | Inf
1293.90/1294.35 c 1245s| 6420k| 4738k| 0 | 0.0 |2751M| 243 | - | 432 | 10k| 0 | 0 | 0 |5127k| 0 | 0.000000e+00 | -- | Inf
1297.20/1297.66 c 1248s| 6430k| 4745k| 0 | 0.0 |2756M| 243 | - | 432 | 10k| 0 | 0 | 0 |5137k| 0 | 0.000000e+00 | -- | Inf
1300.80/1301.28 c 1252s| 6440k| 4751k| 0 | 0.0 |2760M| 243 | - | 432 | 10k| 0 | 0 | 0 |5147k| 0 | 0.000000e+00 | -- | Inf
1304.20/1304.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.20/1304.69 c 1255s| 6450k| 4757k| 0 | 0.0 |2765M| 243 | - | 432 | 10k| 0 | 0 | 0 |5158k| 0 | 0.000000e+00 | -- | Inf
1307.80/1308.20 c 1259s| 6460k| 4763k| 0 | 0.0 |2769M| 243 | - | 432 | 10k| 0 | 0 | 0 |5168k| 0 | 0.000000e+00 | -- | Inf
1311.00/1311.40 c 1262s| 6470k| 4770k| 0 | 0.0 |2774M| 243 | - | 432 | 10k| 0 | 0 | 0 |5179k| 0 | 0.000000e+00 | -- | Inf
1313.90/1314.37 c 1265s| 6480k| 4776k| 0 | 0.0 |2778M| 243 | - | 432 | 10k| 0 | 0 | 0 |5188k| 0 | 0.000000e+00 | -- | Inf
1316.90/1317.39 c 1268s| 6490k| 4783k| 0 | 0.0 |2783M| 243 | - | 432 | 10k| 0 | 0 | 0 |5198k| 0 | 0.000000e+00 | -- | Inf
1320.19/1320.66 c 1271s| 6500k| 4789k| 0 | 0.0 |2788M| 243 | - | 432 | 10k| 0 | 0 | 0 |5208k| 0 | 0.000000e+00 | -- | Inf
1323.29/1323.70 c 1274s| 6510k| 4796k| 0 | 0.0 |2792M| 243 | - | 432 | 10k| 0 | 0 | 0 |5218k| 0 | 0.000000e+00 | -- | Inf
1326.30/1326.70 c 1277s| 6520k| 4802k| 0 | 0.0 |2797M| 243 | - | 432 | 10k| 0 | 0 | 0 |5229k| 0 | 0.000000e+00 | -- | Inf
1329.40/1329.83 c 1280s| 6530k| 4809k| 0 | 0.0 |2801M| 243 | - | 432 | 10k| 0 | 0 | 0 |5239k| 0 | 0.000000e+00 | -- | Inf
1332.49/1332.96 c 1283s| 6540k| 4815k| 0 | 0.0 |2806M| 243 | - | 432 | 10k| 0 | 0 | 0 |5249k| 0 | 0.000000e+00 | -- | Inf
1335.89/1336.35 c 1286s| 6550k| 4822k| 0 | 0.0 |2810M| 243 | - | 432 | 10k| 0 | 0 | 0 |5259k| 0 | 0.000000e+00 | -- | Inf
1338.99/1339.41 c 1289s| 6560k| 4828k| 0 | 0.0 |2815M| 243 | - | 432 | 10k| 0 | 0 | 0 |5269k| 0 | 0.000000e+00 | -- | Inf
1342.29/1342.77 c 1292s| 6570k| 4835k| 0 | 0.0 |2819M| 243 | - | 432 | 10k| 0 | 0 | 0 |5279k| 0 | 0.000000e+00 | -- | Inf
1346.00/1346.44 c 1296s| 6580k| 4841k| 0 | 0.0 |2825M| 243 | - | 432 | 12k| 0 | 0 | 0 |5291k| 0 | 0.000000e+00 | -- | Inf
1350.50/1350.97 c 1300s| 6590k| 4846k| 0 | 0.0 |2829M| 243 | - | 432 | 12k| 0 | 0 | 0 |5305k| 0 | 0.000000e+00 | -- | Inf
1354.20/1354.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.20/1354.64 c 1304s| 6600k| 4852k| 0 | 0.0 |2833M| 243 | - | 432 | 10k| 0 | 0 | 0 |5317k| 0 | 0.000000e+00 | -- | Inf
1357.70/1358.11 c 1307s| 6610k| 4858k| 0 | 0.0 |2838M| 243 | - | 432 | 10k| 0 | 0 | 0 |5328k| 0 | 0.000000e+00 | -- | Inf
1360.90/1361.32 c 1310s| 6620k| 4864k| 0 | 0.0 |2843M| 243 | - | 432 | 10k| 0 | 0 | 0 |5339k| 0 | 0.000000e+00 | -- | Inf
1364.39/1364.83 c 1314s| 6630k| 4870k| 0 | 0.0 |2847M| 243 | - | 432 | 10k| 0 | 0 | 0 |5350k| 0 | 0.000000e+00 | -- | Inf
1367.80/1368.20 c 1317s| 6640k| 4876k| 0 | 0.0 |2852M| 243 | - | 432 | 10k| 0 | 0 | 0 |5360k| 0 | 0.000000e+00 | -- | Inf
1371.00/1371.49 c 1320s| 6650k| 4883k| 0 | 0.0 |2857M| 243 | - | 432 | 10k| 0 | 0 | 0 |5371k| 0 | 0.000000e+00 | -- | Inf
1374.30/1374.70 c 1323s| 6660k| 4889k| 0 | 0.0 |2861M| 243 | - | 432 | 10k| 0 | 0 | 0 |5382k| 0 | 0.000000e+00 | -- | Inf
1377.60/1378.00 c 1327s| 6670k| 4895k| 0 | 0.0 |2866M| 243 | - | 432 | 10k| 0 | 0 | 0 |5392k| 0 | 0.000000e+00 | -- | Inf
1379.50/1379.97 c (node 6676139) switching to memory saving mode (mem: 2736.0M/3420.0M)
1380.60/1381.04 c 1330s| 6680k| 4899k| 0 | 0.0 |2869M| 271 | - | 432 | 10k| 0 | 0 | 0 |5402k| 0 | 0.000000e+00 | -- | Inf
1382.20/1382.64 c 1331s| 6690k| 4899k| 0 | 0.0 |2869M| 271 | - | 432 | 12k| 0 | 0 | 0 |5413k| 0 | 0.000000e+00 | -- | Inf
1384.00/1384.50 c 1333s| 6700k| 4899k| 0 | 0.0 |2870M| 271 | - | 432 | 13k| 0 | 0 | 0 |5424k| 0 | 0.000000e+00 | -- | Inf
1386.20/1386.68 c 1335s| 6710k| 4899k| 0 | 0.0 |2871M| 271 | - | 432 | 14k| 0 | 0 | 0 |5437k| 0 | 0.000000e+00 | -- | Inf
1388.81/1389.21 c 1337s| 6720k| 4899k| 0 | 0.0 |2872M| 271 | - | 432 | 15k| 0 | 0 | 0 |5450k| 0 | 0.000000e+00 | -- | Inf
1391.40/1391.84 c 1340s| 6730k| 4899k| 0 | 0.0 |2872M| 271 | - | 432 | 15k| 0 | 0 | 0 |5462k| 0 | 0.000000e+00 | -- | Inf
1394.19/1394.60 c 1342s| 6740k| 4899k| 0 | 0.0 |2872M| 271 | - | 432 | 16k| 0 | 0 | 0 |5473k| 0 | 0.000000e+00 | -- | Inf
1397.00/1397.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1397.00/1397.41 c 1345s| 6750k| 4899k| 0 | 0.0 |2873M| 271 | - | 432 | 18k| 0 | 0 | 0 |5483k| 0 | 0.000000e+00 | -- | Inf
1399.80/1400.24 c 1348s| 6760k| 4899k| 0 | 0.0 |2874M| 276 | - | 432 | 17k| 0 | 0 | 0 |5493k| 0 | 0.000000e+00 | -- | Inf
1402.80/1403.23 c 1351s| 6770k| 4899k| 0 | 0.0 |2874M| 276 | - | 432 | 18k| 0 | 0 | 0 |5504k| 0 | 0.000000e+00 | -- | Inf
1406.10/1406.52 c 1354s| 6780k| 4899k| 0 | 0.0 |2875M| 276 | - | 432 | 20k| 0 | 0 | 0 |5515k| 0 | 0.000000e+00 | -- | Inf
1409.10/1409.56 o 342
1409.10/1409.56 c *1357s| 6788k| 4899k| 0 | 0.0 |2875M| 276 | - | 432 | 20k| 0 | 0 | 0 |5525k| 0 | 0.000000e+00 | 3.420000e+02 | Inf
1409.20/1409.62 o 317
1409.20/1409.62 c *1357s| 6788k| 4899k| 0 | 0.0 |2875M| 276 | - | 432 | 20k| 0 | 0 | 0 |5525k| 0 | 0.000000e+00 | 3.170000e+02 | Inf
1409.20/1409.69 o 255
1409.20/1409.69 c *1357s| 6788k| 4899k| 0 | 0.0 |2875M| 276 | - | 432 | 20k| 0 | 0 | 0 |5525k| 0 | 0.000000e+00 | 2.550000e+02 | Inf
1409.30/1409.75 o 230
1409.30/1409.75 c *1357s| 6788k| 4898k| 0 | 0.0 |2875M| 276 | - | 432 | 20k| 0 | 0 | 0 |5525k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
1409.40/1409.83 o 177
1409.40/1409.83 c *1357s| 6788k| 4894k| 0 | 0.0 |2874M| 276 | - | 432 | 20k| 0 | 0 | 0 |5525k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1409.40/1409.89 o 152
1409.40/1409.89 c *1357s| 6788k| 4893k| 0 | 0.0 |2874M| 276 | - | 432 | 20k| 0 | 0 | 0 |5525k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
1409.50/1409.96 o 149
1409.50/1409.96 c *1357s| 6788k| 4893k| 0 | 0.0 |2874M| 276 | - | 432 | 20k| 0 | 0 | 0 |5525k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
1409.60/1410.03 o 140
1409.60/1410.03 c *1357s| 6788k| 4893k| 0 | 0.0 |2873M| 276 | - | 432 | 20k| 0 | 0 | 0 |5525k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
1409.70/1410.11 o 115
1409.70/1410.11 c *1357s| 6788k| 4879k| 0 | 0.0 |2870M| 276 | - | 432 | 20k| 0 | 0 | 0 |5525k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
1409.70/1410.18 o 112
1409.70/1410.18 c *1357s| 6788k| 4879k| 0 | 0.0 |2870M| 276 | - | 432 | 20k| 0 | 0 | 0 |5525k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1410.30/1410.70 c 1358s| 6790k| 4879k| 0 | 0.0 |2870M| 276 | - | 432 | 20k| 0 | 0 | 0 |5527k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1413.50/1413.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1413.50/1413.96 c 1361s| 6800k| 4879k| 0 | 0.0 |2870M| 276 | - | 432 | 21k| 0 | 0 | 0 |5538k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1417.40/1417.87 c 1365s| 6810k| 4879k| 0 | 0.0 |2871M| 276 | - | 432 | 23k| 0 | 0 | 0 |5551k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1421.70/1422.15 c 1369s| 6820k| 4879k| 0 | 0.0 |2872M| 276 | - | 432 | 23k| 0 | 0 | 0 |5563k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1426.10/1426.53 c 1373s| 6830k| 4879k| 0 | 0.0 |2871M| 276 | - | 432 | 22k| 0 | 0 | 0 |5577k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1430.30/1430.74 c 1377s| 6840k| 4879k| 0 | 0.0 |2872M| 276 | - | 432 | 21k| 0 | 0 | 0 |5588k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1434.30/1434.74 c 1381s| 6850k| 4879k| 0 | 0.0 |2872M| 276 | - | 432 | 22k| 0 | 0 | 0 |5599k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1438.20/1438.62 c 1385s| 6860k| 4879k| 0 | 0.0 |2873M| 276 | - | 432 | 24k| 0 | 0 | 0 |5609k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1443.00/1443.40 c 1390s| 6870k| 4879k| 0 | 0.0 |2874M| 276 | - | 432 | 25k| 0 | 0 | 0 |5620k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1448.00/1448.45 c 1395s| 6880k| 4879k| 0 | 0.0 |2875M| 276 | - | 432 | 27k| 0 | 0 | 0 |5633k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1453.71/1454.11 c 1400s| 6890k| 4879k| 0 | 0.0 |2876M| 276 | - | 432 | 28k| 0 | 0 | 0 |5648k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1459.60/1460.03 c 1406s| 6900k| 4879k| 0 | 0.0 |2875M| 277 | - | 432 | 26k| 0 | 0 | 0 |5661k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1465.10/1465.55 c 1411s| 6910k| 4879k| 0 | 0.0 |2874M| 277 | - | 432 | 25k| 0 | 0 | 0 |5673k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1469.90/1470.38 c 1416s| 6920k| 4879k| 0 | 0.0 |2875M| 277 | - | 432 | 25k| 0 | 0 | 0 |5684k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1475.19/1475.65 c 1421s| 6930k| 4879k| 0 | 0.0 |2876M| 277 | - | 432 | 28k| 0 | 0 | 0 |5696k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1481.10/1481.51 c 1427s| 6940k| 4879k| 0 | 0.0 |2876M| 277 | - | 432 | 29k| 0 | 0 | 0 |5709k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1486.70/1487.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1486.70/1487.18 c 1433s| 6950k| 4879k| 0 | 0.0 |2876M| 277 | - | 432 | 28k| 0 | 0 | 0 |5721k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1492.60/1493.02 c 1438s| 6960k| 4879k| 0 | 0.0 |2876M| 277 | - | 432 | 26k| 0 | 0 | 0 |5735k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1497.50/1497.99 c 1443s| 6970k| 4879k| 0 | 0.0 |2877M| 277 | - | 432 | 28k| 0 | 0 | 0 |5746k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1502.80/1503.27 c 1448s| 6980k| 4879k| 0 | 0.0 |2878M| 277 | - | 432 | 30k| 0 | 0 | 0 |5758k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1508.80/1509.28 c 1454s| 6990k| 4879k| 0 | 0.0 |2878M| 277 | - | 432 | 30k| 0 | 0 | 0 |5771k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1515.41/1515.85 c 1461s| 7000k| 4879k| 0 | 0.0 |2878M| 277 | - | 432 | 31k| 0 | 0 | 0 |5783k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1521.70/1522.19 c 1467s| 7010k| 4879k| 0 | 0.0 |2877M| 277 | - | 432 | 27k| 0 | 0 | 0 |5795k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1527.40/1527.89 c 1472s| 7020k| 4879k| 0 | 0.0 |2878M| 277 | - | 432 | 29k| 0 | 0 | 0 |5807k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1533.40/1533.89 c 1478s| 7030k| 4879k| 0 | 0.0 |2879M| 277 | - | 432 | 31k| 0 | 0 | 0 |5817k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1539.20/1539.62 c 1484s| 7040k| 4879k| 0 | 0.0 |2879M| 277 | - | 432 | 31k| 0 | 0 | 0 |5827k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1545.20/1545.62 c 1490s| 7050k| 4879k| 0 | 0.0 |2880M| 277 | - | 432 | 33k| 0 | 0 | 0 |5838k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1552.10/1552.57 c 1497s| 7060k| 4879k| 0 | 0.0 |2881M| 277 | - | 432 | 35k| 0 | 0 | 0 |5851k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1559.70/1560.12 c 1504s| 7070k| 4879k| 0 | 0.0 |2881M| 277 | - | 432 | 34k| 0 | 0 | 0 |5864k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1567.51/1567.91 c 1512s| 7080k| 4879k| 0 | 0.0 |2881M| 277 | - | 432 | 34k| 0 | 0 | 0 |5877k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1574.11/1574.54 c 1518s| 7090k| 4879k| 0 | 0.0 |2879M| 277 | - | 432 | 31k| 0 | 0 | 0 |5888k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1580.21/1580.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.21/1580.63 c 1524s| 7100k| 4879k| 0 | 0.0 |2879M| 277 | - | 432 | 31k| 0 | 0 | 0 |5898k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1586.30/1586.77 c 1530s| 7110k| 4879k| 0 | 0.0 |2880M| 277 | - | 432 | 31k| 0 | 0 | 0 |5909k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1593.20/1593.67 c 1537s| 7120k| 4879k| 0 | 0.0 |2880M| 277 | - | 432 | 32k| 0 | 0 | 0 |5923k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1600.31/1600.71 c 1544s| 7130k| 4879k| 0 | 0.0 |2881M| 277 | - | 432 | 33k| 0 | 0 | 0 |5934k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1607.40/1607.84 c 1551s| 7140k| 4879k| 0 | 0.0 |2881M| 277 | - | 432 | 33k| 0 | 0 | 0 |5945k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1614.81/1615.27 c 1558s| 7150k| 4879k| 0 | 0.0 |2882M| 277 | - | 432 | 34k| 0 | 0 | 0 |5956k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1620.91/1621.39 c 1564s| 7160k| 4879k| 0 | 0.0 |2882M| 277 | - | 432 | 35k| 0 | 0 | 0 |5968k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1628.51/1628.92 c 1572s| 7170k| 4879k| 0 | 0.0 |2883M| 277 | - | 432 | 36k| 0 | 0 | 0 |5981k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1636.91/1637.30 c 1580s| 7180k| 4879k| 0 | 0.0 |2883M| 277 | - | 432 | 37k| 0 | 0 | 0 |5994k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1645.31/1645.76 c 1588s| 7190k| 4879k| 0 | 0.0 |2884M| 277 | - | 432 | 39k| 0 | 0 | 0 |6006k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1654.90/1655.34 c 1598s| 7200k| 4879k| 0 | 0.0 |2884M| 277 | - | 432 | 38k| 0 | 0 | 0 |6019k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1664.30/1664.76 c 1607s| 7210k| 4879k| 0 | 0.0 |2881M| 277 | - | 432 | 31k| 0 | 0 | 0 |6031k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1672.81/1673.20 c 1615s| 7220k| 4879k| 0 | 0.0 |2881M| 277 | - | 432 | 32k| 0 | 0 | 0 |6042k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1681.70/1682.19 c 1624s| 7230k| 4879k| 0 | 0.0 |2882M| 277 | - | 432 | 34k| 0 | 0 | 0 |6054k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1691.00/1691.45 c 1633s| 7240k| 4879k| 0 | 0.0 |2883M| 277 | - | 432 | 35k| 0 | 0 | 0 |6065k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1700.51/1700.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1700.51/1700.94 c 1642s| 7250k| 4879k| 0 | 0.0 |2884M| 277 | - | 432 | 36k| 0 | 0 | 0 |6077k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1709.70/1710.18 c 1652s| 7260k| 4879k| 0 | 0.0 |2884M| 277 | - | 432 | 36k| 0 | 0 | 0 |6090k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1719.21/1719.60 c 1661s| 7270k| 4879k| 0 | 0.0 |2883M| 277 | - | 432 | 32k| 0 | 0 | 0 |6103k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1728.31/1728.73 c 1670s| 7280k| 4879k| 0 | 0.0 |2883M| 277 | - | 432 | 33k| 0 | 0 | 0 |6113k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1737.00/1737.43 c 1678s| 7290k| 4879k| 0 | 0.0 |2884M| 277 | - | 432 | 35k| 0 | 0 | 0 |6124k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1746.61/1747.09 c 1688s| 7300k| 4879k| 0 | 0.0 |2885M| 277 | - | 432 | 36k| 0 | 0 | 0 |6137k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1756.80/1757.29 c 1698s| 7310k| 4879k| 0 | 0.0 |2885M| 277 | - | 432 | 38k| 0 | 0 | 0 |6151k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1767.11/1767.50 c 1708s| 7320k| 4879k| 0 | 0.0 |2886M| 277 | - | 432 | 39k| 0 | 0 | 0 |6164k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1778.31/1778.71 c 1719s| 7330k| 4879k| 0 | 0.0 |2886M| 277 | - | 432 | 38k| 0 | 0 | 0 |6177k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1789.10/1789.54 c 1730s| 7340k| 4879k| 0 | 0.0 |2886M| 277 | - | 432 | 38k| 0 | 0 | 0 |6192k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1798.70/1799.18 c 1739s| 7350k| 4879k| 0 | 0.0 |2885M| 277 | - | 432 | 36k| 0 | 0 | 0 |6203k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
1800.01/1800.40 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.40 c
1800.01/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.40 c Solving Time (sec) : 1740.53
1800.01/1800.40 c Solving Nodes : 7351313
1800.01/1800.40 c Primal Bound : +1.12000000000000e+02 (10 solutions)
1800.01/1800.40 c Dual Bound : +0.00000000000000e+00
1800.01/1800.40 c Gap : infinite
1800.01/1800.40 s SATISFIABLE
1800.01/1800.40 v -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 x380 -x379
1800.01/1800.40 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
1800.01/1800.40 v -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337
1800.01/1800.40 v -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316
1800.01/1800.40 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294
1800.01/1800.40 v -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273
1800.01/1800.40 v -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 x252
1800.01/1800.40 v -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231
1800.01/1800.40 v -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210
1800.01/1800.40 v -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189
1800.01/1800.40 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167
1800.01/1800.40 v -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146
1800.01/1800.40 v x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1800.01/1800.40 v -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1800.01/1800.40 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79
1800.01/1800.40 v -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54
1800.01/1800.40 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 -x28
1800.01/1800.40 v -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1
1800.01/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.40 c Solving Time : 1740.53
1800.01/1800.40 c Original Problem :
1800.01/1800.40 c Problem name : HOME/instance-2693681-1277886808.wbo
1800.01/1800.40 c Variables : 432 (416 binary, 0 integer, 0 implicit integer, 16 continuous)
1800.01/1800.40 c Constraints : 77 initial, 77 maximal
1800.01/1800.40 c Presolved Problem :
1800.01/1800.40 c Problem name : t_HOME/instance-2693681-1277886808.wbo
1800.01/1800.40 c Variables : 432 (416 binary, 0 integer, 0 implicit integer, 16 continuous)
1800.01/1800.40 c Constraints : 76 initial, 40149 maximal
1800.01/1800.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.40 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.40 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c linear : 0.00 0 0 0 16 0 1 0 0
1800.01/1800.40 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.40 c root node : - 0 - - 0 - - - -
1800.01/1800.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.40 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.40 c indicator : 16 0 255568 0 193460 5 5834 0 0 0
1800.01/1800.40 c setppc : 18 0 15947536 0 6550400 694705 65157830 0 0 0
1800.01/1800.40 c linear : 16 0 15256053 0 6550419 262037 10207233 0 0 0
1800.01/1800.40 c logicor : 26+ 0 10188568 0 6550409 557830 10262368 0 0 0
1800.01/1800.40 c bounddisjunction : 0+ 0 1425 0 0 0 32 0 0 0
1800.01/1800.40 c countsols : 0 0 0 0 6550419 0 0 0 0 0
1800.01/1800.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.40 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.40 c indicator : 0.39 0.00 0.09 0.00 0.30
1800.01/1800.40 c setppc : 128.92 0.00 103.43 0.00 25.49
1800.01/1800.40 c linear : 59.60 0.00 57.04 0.00 2.56
1800.01/1800.40 c logicor : 552.94 0.00 533.02 0.00 19.92
1800.01/1800.40 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.40 c countsols : 1.06 0.00 0.00 0.00 1.06
1800.01/1800.40 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.40 c vbounds : 3.53 2 0 0
1800.01/1800.40 c rootredcost : 3.53 0 0 0
1800.01/1800.40 c pseudoobj : 11.35 15950604 40 2520
1800.01/1800.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.41 c propagation : 62.39 1514612 1514609 8889335 34.0 1247985 10.5 -
1800.01/1800.41 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.41 c pseudo solution : 0.00 1 1 1 3.0 0 0.0 -
1800.01/1800.41 c applied globally : - - - 6108362 23.0 - - -
1800.01/1800.41 c applied locally : - - - 97002 46.1 - - -
1800.01/1800.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.41 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.41 c redcost : 0.00 0 0 0 0 0
1800.01/1800.41 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.41 c intobj : 0.00 0 0 0 0 0
1800.01/1800.41 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.41 c gomory : 0.00 0 0 0 0 0
1800.01/1800.41 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.41 c cmir : 0.00 0 0 0 0 0
1800.01/1800.41 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.41 c clique : 0.00 0 0 0 0 0
1800.01/1800.41 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.41 c mcf : 0.00 0 0 0 0 0
1800.01/1800.41 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.41 c Pricers : Time Calls Vars
1800.01/1800.41 c problem variables: 0.00 0 0
1800.01/1800.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.41 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.41 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.41 c inference : 129.21 6550409 0 0 0 0 13100818
1800.01/1800.41 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.41 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.41 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.41 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.41 c random : 0.00 0 0 0 0 0 0
1800.01/1800.41 c Primal Heuristics : Time Calls Found
1800.01/1800.41 c LP solutions : 0.00 - 0
1800.01/1800.41 c pseudo solutions : 0.68 - 10
1800.01/1800.41 c oneopt : 1.89 0 0
1800.01/1800.41 c trivial : 0.00 2 0
1800.01/1800.41 c simplerounding : 0.00 0 0
1800.01/1800.41 c zirounding : 0.00 0 0
1800.01/1800.41 c rounding : 0.00 0 0
1800.01/1800.41 c shifting : 0.00 0 0
1800.01/1800.41 c intshifting : 0.00 0 0
1800.01/1800.41 c twoopt : 0.00 0 0
1800.01/1800.41 c fixandinfer : 0.00 0 0
1800.01/1800.41 c feaspump : 0.00 0 0
1800.01/1800.41 c coefdiving : 0.00 0 0
1800.01/1800.41 c pscostdiving : 0.00 0 0
1800.01/1800.41 c fracdiving : 0.00 0 0
1800.01/1800.41 c veclendiving : 0.00 0 0
1800.01/1800.41 c intdiving : 0.00 0 0
1800.01/1800.41 c actconsdiving : 0.00 0 0
1800.01/1800.41 c objpscostdiving : 0.00 0 0
1800.01/1800.41 c rootsoldiving : 0.00 0 0
1800.01/1800.41 c linesearchdiving : 0.00 0 0
1800.01/1800.41 c guideddiving : 0.00 0 0
1800.01/1800.41 c octane : 0.00 0 0
1800.01/1800.41 c rens : 0.00 0 0
1800.01/1800.41 c rins : 0.00 0 0
1800.01/1800.41 c localbranching : 0.00 0 0
1800.01/1800.41 c mutation : 0.00 0 0
1800.01/1800.41 c crossover : 0.00 0 0
1800.01/1800.41 c dins : 0.00 0 0
1800.01/1800.41 c undercover : 0.00 0 0
1800.01/1800.41 c nlp : 1.65 0 0
1800.01/1800.41 c trysol : 1.16 1 0
1800.01/1800.41 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.41 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.41 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.41 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.41 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.41 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.41 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.41 c (at root node) : - 0 0 0.00 -
1800.01/1800.41 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.41 c B&B Tree :
1800.01/1800.41 c number of runs : 1
1800.01/1800.41 c nodes : 7351313
1800.01/1800.41 c nodes (total) : 7351313
1800.01/1800.41 c nodes left : 4879333
1800.01/1800.41 c max depth : 277
1800.01/1800.41 c max depth (total): 277
1800.01/1800.41 c backtracks : 753687 (10.3%)
1800.01/1800.41 c delayed cutoffs : 850137
1800.01/1800.41 c repropagations : 1602719 (31676030 domain reductions, 713724 cutoffs)
1800.01/1800.41 c avg switch length: 7.35
1800.01/1800.41 c switching time : 590.30
1800.01/1800.41 c Solution :
1800.01/1800.41 c Solutions found : 10 (10 improvements)
1800.01/1800.41 c First Solution : +3.42000000000000e+02 (in run 1, after 6788319 nodes, 1356.79 seconds, depth 263, found by <relaxation>)
1800.01/1800.41 c Primal Bound : +1.12000000000000e+02 (in run 1, after 6788410 nodes, 1357.42 seconds, depth 254, found by <relaxation>)
1800.01/1800.41 c Dual Bound : +0.00000000000000e+00
1800.01/1800.41 c Gap : infinite
1800.01/1800.41 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.41 c Root Iterations : 0
OK 112
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693681-1277886808/watcher-2693681-1277886808 -o /tmp/evaluation-result-2693681-1277886808/solver-2693681-1277886808 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693681-1277886808.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.81 1.02 4/197 21311 /proc/meminfo: memFree=30771912/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=8368 CPUtime=0 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 1569 0 0 0 0 0 0 0 25 0 1 0 162320333 8568832 1139 4089446400 4194304 7136930 140736161690336 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21311/statm: 1739 1139 276 719 0 1018 0 [startup+0.0452499 s] /proc/loadavg: 2.00 1.81 1.02 4/197 21311 /proc/meminfo: memFree=30771912/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=12452 CPUtime=0.03 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 4117 0 0 0 3 0 0 0 18 0 1 0 162320333 12750848 2402 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 3113 2402 394 719 0 2392 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12452 [startup+0.100225 s] /proc/loadavg: 2.00 1.81 1.02 4/197 21311 /proc/meminfo: memFree=30771912/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=13404 CPUtime=0.09 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 4341 0 0 0 8 1 0 0 18 0 1 0 162320333 13725696 2626 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 3351 2626 394 719 0 2630 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13404 [startup+0.300201 s] /proc/loadavg: 2.00 1.81 1.02 4/197 21311 /proc/meminfo: memFree=30771912/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=15260 CPUtime=0.29 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 4839 0 0 0 25 4 0 0 18 0 1 0 162320333 15626240 3124 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 3815 3124 394 719 0 3094 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15260 [startup+0.700131 s] /proc/loadavg: 2.00 1.81 1.02 4/197 21311 /proc/meminfo: memFree=30771912/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=17792 CPUtime=0.69 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 5493 0 0 0 62 7 0 0 18 0 1 0 162320333 18219008 3778 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 4448 3778 394 719 0 3727 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17792 [startup+1.50099 s] /proc/loadavg: 2.00 1.81 1.02 3/198 21312 /proc/meminfo: memFree=30756196/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=22604 CPUtime=1.49 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 6713 0 0 0 136 13 0 0 20 0 1 0 162320333 23146496 4998 4089446400 4194304 7136930 140736161690336 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 5651 4998 394 719 0 4930 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22604 [startup+3.10071 s] /proc/loadavg: 2.00 1.81 1.02 3/198 21312 /proc/meminfo: memFree=30749252/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=32272 CPUtime=3.09 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 9190 0 0 0 282 27 0 0 25 0 1 0 162320333 33046528 7475 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 8068 7475 394 719 0 7347 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32272 [startup+6.30014 s] /proc/loadavg: 2.00 1.81 1.02 3/198 21312 /proc/meminfo: memFree=30730524/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=51160 CPUtime=6.29 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 14029 0 0 0 579 50 0 0 25 0 1 0 162320333 52387840 12314 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 12790 12314 394 719 0 12069 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51160 [startup+12.701 s] /proc/loadavg: 2.00 1.82 1.03 3/198 21312 /proc/meminfo: memFree=30694940/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=83812 CPUtime=12.69 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 21882 0 0 0 1169 100 0 0 25 0 1 0 162320333 85823488 20167 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 20953 20167 394 719 0 20232 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 83812 [startup+25.5008 s] /proc/loadavg: 2.00 1.82 1.04 3/198 21312 /proc/meminfo: memFree=30631172/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=148872 CPUtime=25.49 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 37597 0 0 0 2348 201 0 0 25 0 1 0 162320333 152444928 35882 4089446400 4194304 7136930 140736161690336 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 37218 35882 394 719 0 36497 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 148872 [startup+51.1003 s] /proc/loadavg: 2.13 1.87 1.08 3/199 21315 /proc/meminfo: memFree=30425520/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=260980 CPUtime=51.06 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 66390 0 0 0 4726 380 0 0 25 0 1 0 162320333 267243520 64675 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 65245 64675 394 719 0 64524 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 260980 [startup+102.306 s] /proc/loadavg: 2.05 1.89 1.13 3/199 21316 /proc/meminfo: memFree=30232940/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=453340 CPUtime=102.27 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 113491 0 0 0 9565 662 0 0 25 0 1 0 162320333 464220160 111776 4089446400 4194304 7136930 140736161690336 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 113335 111776 394 719 0 112614 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 453340 [startup+162.301 s] /proc/loadavg: 2.02 1.90 1.18 3/199 21318 /proc/meminfo: memFree=30076620/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=623180 CPUtime=162.26 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 152921 0 0 0 15262 964 0 0 25 0 1 0 162320333 638136320 151206 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 155795 151206 394 719 0 155074 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 623180 [startup+222.301 s] /proc/loadavg: 2.00 1.92 1.23 3/199 21320 /proc/meminfo: memFree=29860552/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=829612 CPUtime=222.26 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 206182 0 0 0 20925 1301 0 0 25 0 1 0 162320333 849522688 204467 4089446400 4194304 7136930 140736161690336 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 207403 204467 394 719 0 206682 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 829612 [startup+282.301 s] /proc/loadavg: 2.00 1.93 1.27 3/199 21321 /proc/meminfo: memFree=29694464/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=991200 CPUtime=282.26 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 247746 0 0 0 26655 1571 0 0 25 0 1 0 162320333 1014988800 246031 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 247800 246031 394 719 0 247079 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 991200 [startup+342.301 s] /proc/loadavg: 2.00 1.94 1.31 4/199 21322 /proc/meminfo: memFree=29513744/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=1198764 CPUtime=342.27 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 292656 0 0 0 32361 1866 0 0 25 0 1 0 162320333 1227534336 290941 4089446400 4194304 7136930 140736161690336 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 299691 290941 394 719 0 298970 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 1198764 [startup+402.3 s] /proc/loadavg: 2.10 1.98 1.37 3/199 21324 /proc/meminfo: memFree=29378276/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=1331184 CPUtime=402.26 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 326691 0 0 0 38114 2112 0 0 25 0 1 0 162320333 1363132416 324976 4089446400 4194304 7136930 140736161690336 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 332796 324976 394 719 0 332075 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 1331184 [startup+462.301 s] /proc/loadavg: 2.42 2.06 1.43 3/199 21329 /proc/meminfo: memFree=29245636/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=1460060 CPUtime=462.26 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 359749 0 0 0 43887 2339 0 0 25 0 1 0 162320333 1495101440 358034 4089446400 4194304 7136930 140736161690336 18446744073709551615 4210611 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 365015 358034 394 719 0 364294 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 1460060 [startup+522.3 s] /proc/loadavg: 2.09 2.03 1.46 3/199 21331 /proc/meminfo: memFree=29126224/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=1574628 CPUtime=522.27 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 389219 0 0 0 49680 2547 0 0 25 0 1 0 162320333 1612419072 387504 4089446400 4194304 7136930 140736161690336 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 393657 387504 394 719 0 392936 0 Current children cumulated CPU time (s) 522.27 Current children cumulated vsize (KiB) 1574628 [startup+582.301 s] /proc/loadavg: 2.03 2.03 1.49 3/199 21332 /proc/meminfo: memFree=29009984/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=1686988 CPUtime=582.27 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 417982 0 0 0 55486 2741 0 0 25 0 1 0 162320333 1727475712 416267 4089446400 4194304 7136930 140736161690336 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 421747 416267 394 719 0 421026 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 1686988 [startup+642.301 s] /proc/loadavg: 2.01 2.02 1.52 3/199 21333 /proc/meminfo: memFree=28912464/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=1781216 CPUtime=642.28 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 442260 0 0 0 61292 2936 0 0 25 0 1 0 162320333 1823965184 440545 4089446400 4194304 7136930 140736161690336 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 445304 440545 394 719 0 444583 0 Current children cumulated CPU time (s) 642.28 Current children cumulated vsize (KiB) 1781216 [startup+702.3 s] ################ # More data... # ################ /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 637807 0 0 0 101961 4267 0 0 25 0 1 0 162320333 2673876992 636092 4089446400 4194304 7136930 140736161690336 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21311/statm: 652802 636092 394 719 0 652081 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 2611208 [startup+1122.3 s] /proc/loadavg: 2.13 2.06 1.72 3/180 21574 /proc/meminfo: memFree=28632504/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=2684900 CPUtime=1121.9 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 656759 0 0 0 107717 4473 0 0 25 0 1 0 162320333 2749337600 655044 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21311/statm: 671225 655044 394 719 0 670504 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 2684900 [startup+1182.3 s] /proc/loadavg: 2.05 2.05 1.74 3/180 21575 /proc/meminfo: memFree=28552368/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=2769412 CPUtime=1181.89 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 678405 0 0 0 113570 4619 0 0 25 0 1 0 162320333 2835877888 676690 4089446400 4194304 7136930 140736161690336 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21311/statm: 692353 676690 394 719 0 691632 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 2769412 [startup+1242.3 s] /proc/loadavg: 2.10 2.05 1.75 3/180 21576 /proc/meminfo: memFree=28463568/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=2850740 CPUtime=1241.89 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 699012 0 0 0 119428 4761 0 0 25 0 1 0 162320333 2919157760 697297 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21311/statm: 712685 697297 394 719 0 711964 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 2850740 [startup+1302.3 s] /proc/loadavg: 2.03 2.04 1.76 3/180 21578 /proc/meminfo: memFree=28386392/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=2924516 CPUtime=1301.91 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 717919 0 0 0 125286 4905 0 0 25 0 1 0 162320333 2994704384 716204 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21311/statm: 731129 716204 394 719 0 730408 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 2924516 [startup+1362.3 s] /proc/loadavg: 2.01 2.03 1.78 3/180 21580 /proc/meminfo: memFree=28302624/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=3006920 CPUtime=1361.9 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 739003 0 0 0 131139 5051 0 0 25 0 1 0 162320333 3079086080 737288 4089446400 4194304 7136930 140736161690336 18446744073709551615 4999858 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21311/statm: 751730 737288 394 719 0 751009 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 3006920 [startup+1422.31 s] /proc/loadavg: 2.00 2.02 1.79 3/180 21582 /proc/meminfo: memFree=28247176/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=3041208 CPUtime=1421.9 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 766790 0 0 0 136921 5269 0 0 25 0 1 0 162320333 3114196992 745935 4089446400 4194304 7136930 140736161690336 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21311/statm: 760302 745935 394 719 0 759581 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 3041208 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 1.80 3/180 21583 /proc/meminfo: memFree=28241048/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=3047432 CPUtime=1481.9 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 768232 0 0 0 142778 5412 0 0 25 0 1 0 162320333 3120570368 747377 4089446400 4194304 7136930 140736161690336 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21311/statm: 761858 747377 396 719 0 761137 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 3047432 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 1.81 3/180 21584 /proc/meminfo: memFree=28236772/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=3052176 CPUtime=1541.9 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 769226 0 0 0 148646 5544 0 0 25 0 1 0 162320333 3125428224 748371 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21311/statm: 763044 748371 397 719 0 762323 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 3052176 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.82 3/180 21586 /proc/meminfo: memFree=28234240/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=3054592 CPUtime=1601.9 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 769758 0 0 0 154533 5657 0 0 25 0 1 0 162320333 3127902208 748903 4089446400 4194304 7136930 140736161690336 18446744073709551615 4220934 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21311/statm: 763648 748903 397 719 0 762927 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 3054592 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.83 3/180 21597 /proc/meminfo: memFree=28229484/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=3059716 CPUtime=1661.9 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 770705 0 0 0 160438 5752 0 0 25 0 1 0 162320333 3133149184 749850 4089446400 4194304 7136930 140736161690336 18446744073709551615 4210552 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21311/statm: 764929 749850 397 719 0 764208 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 3059716 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.83 3/180 21599 /proc/meminfo: memFree=28229168/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=3061052 CPUtime=1721.9 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 770928 0 0 0 166348 5842 0 0 25 0 1 0 162320333 3134517248 750073 4089446400 4194304 7136930 140736161690336 18446744073709551615 4431478 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21311/statm: 765263 750073 397 719 0 764542 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 3061052 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.84 3/180 21600 /proc/meminfo: memFree=28223176/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=3062392 CPUtime=1781.9 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 771098 0 0 0 172268 5922 0 0 25 0 1 0 162320333 3135889408 750243 4089446400 4194304 7136930 140736161690336 18446744073709551615 4210635 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21311/statm: 765598 750243 397 719 0 764877 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 3062392 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 1.84 3/180 21601 /proc/meminfo: memFree=28222308/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=3063348 CPUtime=1800.01 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 771241 0 0 0 174053 5948 0 0 25 0 1 0 162320333 3136868352 750386 4089446400 4194304 7136930 140736161690336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21311/statm: 765837 750386 397 719 0 765116 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 3063348 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -21311 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 1.84 3/181 21602 /proc/meminfo: memFree=28221928/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=3063444 CPUtime=1801 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 771283 0 0 0 174152 5948 0 0 25 0 1 0 162320333 3136966656 750428 4089446400 4194304 7136930 140736161690336 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21311/statm: 765861 750428 402 719 0 765140 0 Current children cumulated CPU time (s) 1801 Current children cumulated vsize (KiB) 3063444 [startup+1802.2 s] /proc/loadavg: 2.00 2.00 1.84 3/181 21602 /proc/meminfo: memFree=28221680/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=3063444 CPUtime=1801.8 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 771283 0 0 0 174232 5948 0 0 25 0 1 0 162320333 3136966656 750428 4089446400 4194304 7136930 140736161690336 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21311/statm: 765861 750428 402 719 0 765140 0 Current children cumulated CPU time (s) 1801.8 Current children cumulated vsize (KiB) 3063444 [startup+1802.4 s] /proc/loadavg: 2.00 2.00 1.84 3/181 21602 /proc/meminfo: memFree=28221680/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=3063444 CPUtime=1802 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4202496 771283 0 0 0 174252 5948 0 0 25 0 1 0 162320333 3136966656 750428 4089446400 4194304 7136930 140736161690336 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21311/statm: 765861 750428 402 719 0 765140 0 Current children cumulated CPU time (s) 1802 Current children cumulated vsize (KiB) 3063444 [startup+1802.5 s] /proc/loadavg: 2.00 2.00 1.84 3/181 21602 /proc/meminfo: memFree=28221680/32951124 swapFree=67111528/67111528 [pid=21311] ppid=21309 vsize=0 CPUtime=1802.1 /proc/21311/stat : 21311 (pbscip.linux.x8) R 21309 21311 21078 0 -1 4203524 771283 0 0 0 174253 5957 0 0 25 0 1 0 162320333 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 /proc/21311/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.1 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.51 CPU time (s): 1802.12 CPU user time (s): 1742.53 CPU system time (s): 59.5909 CPU usage (%): 99.9785 Max. virtual memory (cumulated for all children) (KiB): 3160592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1742.53 system time used= 59.5909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 771283 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= 2 involuntary context switches= 12412 runsolver used 3.22451 second user time and 6.36203 second system time The end
Begin job on node119 at 2010-06-30 10:33:28 IDJOB=2693681 IDBENCH=78667 IDSOLVER=1206 FILE ID=node119/2693681-1277886808 PBS_JOBID= 11197116 Free space on /tmp= 74200 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693681-1277886808/watcher-2693681-1277886808 -o /tmp/evaluation-result-2693681-1277886808/solver-2693681-1277886808 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693681-1277886808.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1f875ef306d18e6f86db860a031faa4e RANDOM SEED=932213320 node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30772316 kB Buffers: 171224 kB Cached: 933740 kB SwapCached: 0 kB Active: 1413380 kB Inactive: 622232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30772316 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3136 kB Writeback: 0 kB AnonPages: 930580 kB Mapped: 20376 kB Slab: 78044 kB PageTables: 6484 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1659944 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74184 MiB End job on node119 at 2010-06-30 11:03:31