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-2664242-1276618519.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/172 (58.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 2 | 0 | - | 486k| 0 | - | 172 | 7 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.42 c 1.3s| 10000 | 9983 | 0 | 0.0 |4109k| 135 | - | 172 | 7 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
2.89/2.91 c 2.6s| 20000 | 19604 | 0 | 0.0 |7707k| 136 | - | 172 | 7 | 0 | 0 | 0 | 223 | 0 | 0.000000e+00 | -- | Inf
4.29/4.34 c 3.9s| 30000 | 29589 | 0 | 0.0 | 11M| 136 | - | 172 | 7 | 0 | 0 | 0 | 231 | 0 | 0.000000e+00 | -- | Inf
5.69/5.76 c 5.2s| 40000 | 39569 | 0 | 0.0 | 14M| 136 | - | 172 | 7 | 0 | 0 | 0 | 241 | 0 | 0.000000e+00 | -- | Inf
7.09/7.19 c 6.5s| 50000 | 49567 | 0 | 0.0 | 18M| 136 | - | 172 | 7 | 0 | 0 | 0 | 242 | 0 | 0.000000e+00 | -- | Inf
8.58/8.60 c 7.8s| 60000 | 59565 | 0 | 0.0 | 22M| 136 | - | 172 | 7 | 0 | 0 | 0 | 243 | 0 | 0.000000e+00 | -- | Inf
9.90/9.99 c 9.0s| 70000 | 69557 | 0 | 0.0 | 26M| 136 | - | 172 | 7 | 0 | 0 | 0 | 247 | 0 | 0.000000e+00 | -- | Inf
11.29/11.33 c 10.2s| 80000 | 79557 | 0 | 0.0 | 30M| 136 | - | 172 | 7 | 0 | 0 | 0 | 247 | 0 | 0.000000e+00 | -- | Inf
12.59/12.67 c 11.4s| 90000 | 89555 | 0 | 0.0 | 34M| 136 | - | 172 | 7 | 0 | 0 | 0 | 248 | 0 | 0.000000e+00 | -- | Inf
13.89/13.99 c 12.6s|100000 | 99553 | 0 | 0.0 | 38M| 136 | - | 172 | 7 | 0 | 0 | 0 | 249 | 0 | 0.000000e+00 | -- | Inf
15.28/15.36 c 13.8s|110000 |109553 | 0 | 0.0 | 42M| 136 | - | 172 | 7 | 0 | 0 | 0 | 249 | 0 | 0.000000e+00 | -- | Inf
17.18/17.21 c 15.5s|120000 |117713 | 0 | 0.0 | 46M| 137 | - | 172 | 7 | 0 | 0 | 0 |1292 | 0 | 0.000000e+00 | -- | Inf
18.69/18.79 c 17.0s|130000 |127177 | 0 | 0.0 | 49M| 137 | - | 172 | 23 | 0 | 0 | 0 |1564 | 0 | 0.000000e+00 | -- | Inf
20.89/20.95 c 19.0s|140000 |134640 | 0 | 0.0 | 53M| 137 | - | 172 | 9 | 0 | 0 | 0 |2963 | 0 | 0.000000e+00 | -- | Inf
22.58/22.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.58/22.65 c 20.5s|150000 |143710 | 0 | 0.0 | 56M| 137 | - | 172 | 7 | 0 | 0 | 0 |3491 | 0 | 0.000000e+00 | -- | Inf
23.98/24.09 c 21.9s|160000 |153708 | 0 | 0.0 | 59M| 137 | - | 172 | 7 | 0 | 0 | 0 |3492 | 0 | 0.000000e+00 | -- | Inf
25.48/25.52 c 23.2s|170000 |163708 | 0 | 0.0 | 63M| 137 | - | 172 | 7 | 0 | 0 | 0 |3492 | 0 | 0.000000e+00 | -- | Inf
26.88/26.94 c 24.4s|180000 |173708 | 0 | 0.0 | 66M| 137 | - | 172 | 7 | 0 | 0 | 0 |3492 | 0 | 0.000000e+00 | -- | Inf
28.29/28.37 c 25.7s|190000 |183706 | 0 | 0.0 | 69M| 137 | - | 172 | 7 | 0 | 0 | 0 |3493 | 0 | 0.000000e+00 | -- | Inf
29.69/29.80 c 27.0s|200000 |193704 | 0 | 0.0 | 73M| 137 | - | 172 | 7 | 0 | 0 | 0 |3494 | 0 | 0.000000e+00 | -- | Inf
31.19/31.22 c 28.4s|210000 |203704 | 0 | 0.0 | 76M| 137 | - | 172 | 7 | 0 | 0 | 0 |3494 | 0 | 0.000000e+00 | -- | Inf
32.58/32.66 c 29.7s|220000 |213700 | 0 | 0.0 | 80M| 137 | - | 172 | 7 | 0 | 0 | 0 |3496 | 0 | 0.000000e+00 | -- | Inf
33.98/34.09 c 31.0s|230000 |223697 | 0 | 0.0 | 83M| 137 | - | 172 | 7 | 0 | 0 | 0 |3498 | 0 | 0.000000e+00 | -- | Inf
35.49/35.52 c 32.2s|240000 |233697 | 0 | 0.0 | 87M| 137 | - | 172 | 7 | 0 | 0 | 0 |3498 | 0 | 0.000000e+00 | -- | Inf
36.89/36.95 c 33.5s|250000 |243697 | 0 | 0.0 | 90M| 137 | - | 172 | 7 | 0 | 0 | 0 |3498 | 0 | 0.000000e+00 | -- | Inf
38.28/38.39 c 34.9s|260000 |253697 | 0 | 0.0 | 94M| 137 | - | 172 | 7 | 0 | 0 | 0 |3498 | 0 | 0.000000e+00 | -- | Inf
39.79/39.82 c 36.1s|270000 |263695 | 0 | 0.0 | 98M| 137 | - | 172 | 7 | 0 | 0 | 0 |3499 | 0 | 0.000000e+00 | -- | Inf
41.18/41.27 c 37.5s|280000 |273695 | 0 | 0.0 | 101M| 137 | - | 172 | 7 | 0 | 0 | 0 |3499 | 0 | 0.000000e+00 | -- | Inf
42.68/42.74 c 38.8s|290000 |283689 | 0 | 0.0 | 105M| 137 | - | 172 | 7 | 0 | 0 | 0 |3502 | 0 | 0.000000e+00 | -- | Inf
44.09/44.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.09/44.19 c 40.1s|300000 |293681 | 0 | 0.0 | 108M| 137 | - | 172 | 7 | 0 | 0 | 0 |3506 | 0 | 0.000000e+00 | -- | Inf
45.57/45.63 c 41.4s|310000 |303673 | 0 | 0.0 | 112M| 137 | - | 172 | 7 | 0 | 0 | 0 |3510 | 0 | 0.000000e+00 | -- | Inf
47.07/47.10 c 42.8s|320000 |313667 | 0 | 0.0 | 116M| 137 | - | 172 | 7 | 0 | 0 | 0 |3513 | 0 | 0.000000e+00 | -- | Inf
48.49/48.56 c 44.1s|330000 |323655 | 0 | 0.0 | 119M| 137 | - | 172 | 7 | 0 | 0 | 0 |3519 | 0 | 0.000000e+00 | -- | Inf
49.98/50.01 c 45.4s|340000 |333648 | 0 | 0.0 | 123M| 137 | - | 172 | 7 | 0 | 0 | 0 |3523 | 0 | 0.000000e+00 | -- | Inf
51.38/51.44 c 46.7s|350000 |343648 | 0 | 0.0 | 127M| 137 | - | 172 | 7 | 0 | 0 | 0 |3523 | 0 | 0.000000e+00 | -- | Inf
52.79/52.89 c 48.0s|360000 |353648 | 0 | 0.0 | 131M| 137 | - | 172 | 7 | 0 | 0 | 0 |3523 | 0 | 0.000000e+00 | -- | Inf
54.28/54.34 c 49.3s|370000 |363640 | 0 | 0.0 | 135M| 137 | - | 172 | 7 | 0 | 0 | 0 |3527 | 0 | 0.000000e+00 | -- | Inf
55.67/55.78 c 50.6s|380000 |373640 | 0 | 0.0 | 138M| 137 | - | 172 | 7 | 0 | 0 | 0 |3527 | 0 | 0.000000e+00 | -- | Inf
57.18/57.21 c 51.9s|390000 |383640 | 0 | 0.0 | 142M| 137 | - | 172 | 7 | 0 | 0 | 0 |3527 | 0 | 0.000000e+00 | -- | Inf
58.57/58.65 c 53.2s|400000 |393640 | 0 | 0.0 | 146M| 137 | - | 172 | 7 | 0 | 0 | 0 |3527 | 0 | 0.000000e+00 | -- | Inf
59.97/60.08 c 54.5s|410000 |403633 | 0 | 0.0 | 150M| 137 | - | 172 | 7 | 0 | 0 | 0 |3531 | 0 | 0.000000e+00 | -- | Inf
61.48/61.50 c 55.8s|420000 |413615 | 0 | 0.0 | 154M| 137 | - | 172 | 7 | 0 | 0 | 0 |3540 | 0 | 0.000000e+00 | -- | Inf
62.87/62.93 c 57.0s|430000 |423611 | 0 | 0.0 | 158M| 137 | - | 172 | 7 | 0 | 0 | 0 |3542 | 0 | 0.000000e+00 | -- | Inf
64.28/64.34 c 58.3s|440000 |433611 | 0 | 0.0 | 161M| 137 | - | 172 | 7 | 0 | 0 | 0 |3542 | 0 | 0.000000e+00 | -- | Inf
65.67/65.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.67/65.77 c 59.6s|450000 |443611 | 0 | 0.0 | 165M| 137 | - | 172 | 7 | 0 | 0 | 0 |3542 | 0 | 0.000000e+00 | -- | Inf
67.08/67.16 c 60.9s|460000 |453611 | 0 | 0.0 | 169M| 137 | - | 172 | 7 | 0 | 0 | 0 |3542 | 0 | 0.000000e+00 | -- | Inf
68.47/68.57 c 62.1s|470000 |463609 | 0 | 0.0 | 173M| 137 | - | 172 | 7 | 0 | 0 | 0 |3543 | 0 | 0.000000e+00 | -- | Inf
69.87/69.98 c 63.4s|480000 |473603 | 0 | 0.0 | 177M| 137 | - | 172 | 7 | 0 | 0 | 0 |3546 | 0 | 0.000000e+00 | -- | Inf
71.27/71.37 c 64.7s|490000 |483601 | 0 | 0.0 | 181M| 137 | - | 172 | 7 | 0 | 0 | 0 |3547 | 0 | 0.000000e+00 | -- | Inf
72.68/72.77 c 65.9s|500000 |493599 | 0 | 0.0 | 185M| 137 | - | 172 | 7 | 0 | 0 | 0 |3548 | 0 | 0.000000e+00 | -- | Inf
74.08/74.16 c 67.2s|510000 |503595 | 0 | 0.0 | 189M| 137 | - | 172 | 7 | 0 | 0 | 0 |3550 | 0 | 0.000000e+00 | -- | Inf
75.47/75.58 c 68.5s|520000 |513585 | 0 | 0.0 | 193M| 137 | - | 172 | 7 | 0 | 0 | 0 |3555 | 0 | 0.000000e+00 | -- | Inf
76.98/77.01 c 69.8s|530000 |523581 | 0 | 0.0 | 197M| 137 | - | 172 | 7 | 0 | 0 | 0 |3557 | 0 | 0.000000e+00 | -- | Inf
78.37/78.43 c 71.0s|540000 |533571 | 0 | 0.0 | 201M| 137 | - | 172 | 7 | 0 | 0 | 0 |3562 | 0 | 0.000000e+00 | -- | Inf
79.77/79.82 c 72.3s|550000 |543557 | 0 | 0.0 | 205M| 137 | - | 172 | 7 | 0 | 0 | 0 |3569 | 0 | 0.000000e+00 | -- | Inf
81.16/81.23 c 73.6s|560000 |553555 | 0 | 0.0 | 209M| 137 | - | 172 | 7 | 0 | 0 | 0 |3570 | 0 | 0.000000e+00 | -- | Inf
82.57/82.63 c 74.8s|570000 |563547 | 0 | 0.0 | 213M| 137 | - | 172 | 7 | 0 | 0 | 0 |3574 | 0 | 0.000000e+00 | -- | Inf
83.96/84.04 c 76.1s|580000 |573543 | 0 | 0.0 | 217M| 137 | - | 172 | 7 | 0 | 0 | 0 |3576 | 0 | 0.000000e+00 | -- | Inf
85.37/85.45 c 77.3s|590000 |583543 | 0 | 0.0 | 222M| 137 | - | 172 | 7 | 0 | 0 | 0 |3576 | 0 | 0.000000e+00 | -- | Inf
86.77/86.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.77/86.85 c 78.6s|600000 |593543 | 0 | 0.0 | 226M| 137 | - | 172 | 7 | 0 | 0 | 0 |3576 | 0 | 0.000000e+00 | -- | Inf
88.16/88.23 c 79.8s|610000 |603535 | 0 | 0.0 | 230M| 137 | - | 172 | 7 | 0 | 0 | 0 |3580 | 0 | 0.000000e+00 | -- | Inf
89.57/89.61 c 81.0s|620000 |613529 | 0 | 0.0 | 234M| 137 | - | 172 | 7 | 0 | 0 | 0 |3583 | 0 | 0.000000e+00 | -- | Inf
90.87/90.99 c 82.3s|630000 |623527 | 0 | 0.0 | 238M| 137 | - | 172 | 7 | 0 | 0 | 0 |3584 | 0 | 0.000000e+00 | -- | Inf
92.26/92.37 c 83.6s|640000 |633525 | 0 | 0.0 | 242M| 137 | - | 172 | 7 | 0 | 0 | 0 |3585 | 0 | 0.000000e+00 | -- | Inf
93.66/93.75 c 84.8s|650000 |643517 | 0 | 0.0 | 247M| 137 | - | 172 | 7 | 0 | 0 | 0 |3589 | 0 | 0.000000e+00 | -- | Inf
95.07/95.13 c 86.0s|660000 |653517 | 0 | 0.0 | 251M| 137 | - | 172 | 7 | 0 | 0 | 0 |3589 | 0 | 0.000000e+00 | -- | Inf
96.46/96.50 c 87.3s|670000 |663515 | 0 | 0.0 | 255M| 137 | - | 172 | 7 | 0 | 0 | 0 |3590 | 0 | 0.000000e+00 | -- | Inf
97.77/97.87 c 88.5s|680000 |673513 | 0 | 0.0 | 259M| 137 | - | 172 | 7 | 0 | 0 | 0 |3591 | 0 | 0.000000e+00 | -- | Inf
99.17/99.23 c 89.8s|690000 |683511 | 0 | 0.0 | 264M| 137 | - | 172 | 7 | 0 | 0 | 0 |3592 | 0 | 0.000000e+00 | -- | Inf
100.46/100.57 c 91.0s|700000 |693509 | 0 | 0.0 | 268M| 137 | - | 172 | 7 | 0 | 0 | 0 |3593 | 0 | 0.000000e+00 | -- | Inf
101.86/101.94 c 92.2s|710000 |703507 | 0 | 0.0 | 272M| 137 | - | 172 | 7 | 0 | 0 | 0 |3594 | 0 | 0.000000e+00 | -- | Inf
103.26/103.30 c 93.4s|720000 |713507 | 0 | 0.0 | 276M| 137 | - | 172 | 7 | 0 | 0 | 0 |3594 | 0 | 0.000000e+00 | -- | Inf
104.57/104.64 c 94.6s|730000 |723503 | 0 | 0.0 | 281M| 137 | - | 172 | 7 | 0 | 0 | 0 |3596 | 0 | 0.000000e+00 | -- | Inf
105.96/106.01 c 95.8s|740000 |733501 | 0 | 0.0 | 285M| 137 | - | 172 | 7 | 0 | 0 | 0 |3597 | 0 | 0.000000e+00 | -- | Inf
107.26/107.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.26/107.35 c 97.0s|750000 |743499 | 0 | 0.0 | 289M| 137 | - | 172 | 7 | 0 | 0 | 0 |3598 | 0 | 0.000000e+00 | -- | Inf
108.66/108.71 c 98.3s|760000 |753499 | 0 | 0.0 | 293M| 137 | - | 172 | 7 | 0 | 0 | 0 |3598 | 0 | 0.000000e+00 | -- | Inf
109.96/110.10 c 99.5s|770000 |763483 | 0 | 0.0 | 298M| 137 | - | 172 | 7 | 0 | 0 | 0 |3606 | 0 | 0.000000e+00 | -- | Inf
111.36/111.46 c 101s|780000 |773483 | 0 | 0.0 | 302M| 137 | - | 172 | 7 | 0 | 0 | 0 |3606 | 0 | 0.000000e+00 | -- | Inf
112.66/112.78 c 102s|790000 |783483 | 0 | 0.0 | 306M| 137 | - | 172 | 7 | 0 | 0 | 0 |3606 | 0 | 0.000000e+00 | -- | Inf
114.06/114.13 c 103s|800000 |793483 | 0 | 0.0 | 311M| 137 | - | 172 | 7 | 0 | 0 | 0 |3606 | 0 | 0.000000e+00 | -- | Inf
115.36/115.45 c 104s|810000 |803483 | 0 | 0.0 | 315M| 137 | - | 172 | 7 | 0 | 0 | 0 |3606 | 0 | 0.000000e+00 | -- | Inf
116.67/116.76 c 106s|820000 |813481 | 0 | 0.0 | 320M| 137 | - | 172 | 7 | 0 | 0 | 0 |3607 | 0 | 0.000000e+00 | -- | Inf
118.77/118.87 c 107s|830000 |820643 | 0 | 0.0 | 323M| 137 | - | 172 | 7 | 0 | 0 | 0 |5141 | 0 | 0.000000e+00 | -- | Inf
121.36/121.49 c 110s|840000 |826180 | 0 | 0.0 | 326M| 137 | - | 172 | 7 | 0 | 0 | 0 |7622 | 0 | 0.000000e+00 | -- | Inf
124.46/124.50 c 113s|850000 |830569 | 0 | 0.0 | 329M| 137 | - | 172 | 7 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
127.66/127.75 c 116s|860000 |834062 | 0 | 0.0 | 332M| 140 | - | 172 | 7 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
129.16/129.25 c 117s|870000 |843780 | 0 | 0.0 | 335M| 140 | - | 172 | 7 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
130.66/130.74 c 119s|880000 |853488 | 0 | 0.0 | 338M| 140 | - | 172 | 8 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
132.16/132.26 c 120s|890000 |863152 | 0 | 0.0 | 342M| 140 | - | 172 | 18 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
133.76/133.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.76/133.82 c 121s|900000 |872619 | 0 | 0.0 | 346M| 140 | - | 172 | 37 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
135.26/135.39 c 123s|910000 |881980 | 0 | 0.0 | 349M| 140 | - | 172 | 49 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
136.86/136.96 c 124s|920000 |891336 | 0 | 0.0 | 353M| 140 | - | 172 | 65 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
138.45/138.53 c 126s|930000 |900634 | 0 | 0.0 | 357M| 140 | - | 172 | 64 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
139.95/140.08 c 127s|940000 |909962 | 0 | 0.0 | 361M| 140 | - | 172 | 53 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
141.55/141.66 c 128s|950000 |919246 | 0 | 0.0 | 365M| 140 | - | 172 | 56 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
143.26/143.30 c 130s|960000 |928246 | 0 | 0.0 | 369M| 140 | - | 172 | 43 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
145.26/145.38 c 132s|970000 |935935 | 0 | 0.0 | 373M| 140 | - | 172 | 36 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
147.95/148.04 c 134s|980000 |941549 | 0 | 0.0 | 376M| 140 | - | 172 | 28 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
150.66/150.70 c 137s|990000 |947067 | 0 | 0.0 | 379M| 140 | - | 172 | 28 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
153.44/153.51 c 140s| 1000k|951857 | 0 | 0.0 | 381M| 140 | - | 172 | 24 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
155.64/155.73 c 142s| 1010k|958963 | 0 | 0.0 | 385M| 140 | - | 172 | 13 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
157.55/157.68 c 143s| 1020k|967162 | 0 | 0.0 | 389M| 140 | - | 172 | 16 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
159.95/160.05 c 146s| 1030k|974073 | 0 | 0.0 | 392M| 140 | - | 172 | 13 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
162.45/162.56 c 148s| 1040k|980610 | 0 | 0.0 | 395M| 140 | - | 172 | 13 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
165.24/165.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.24/165.32 c 151s| 1050k|986137 | 0 | 0.0 | 399M| 140 | - | 172 | 13 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
167.44/167.55 c 153s| 1060k|993192 | 0 | 0.0 | 402M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
168.84/168.96 c 154s| 1070k| 1003k| 0 | 0.0 | 405M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
170.25/170.37 c 155s| 1080k| 1013k| 0 | 0.0 | 408M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
171.65/171.78 c 156s| 1090k| 1023k| 0 | 0.0 | 412M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
173.04/173.18 c 158s| 1100k| 1033k| 0 | 0.0 | 415M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
174.45/174.59 c 159s| 1110k| 1043k| 0 | 0.0 | 418M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
175.84/175.99 c 160s| 1120k| 1053k| 0 | 0.0 | 422M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
177.34/177.42 c 162s| 1130k| 1063k| 0 | 0.0 | 425M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
178.74/178.85 c 163s| 1140k| 1073k| 0 | 0.0 | 429M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
180.14/180.28 c 164s| 1150k| 1083k| 0 | 0.0 | 432M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
181.64/181.71 c 166s| 1160k| 1093k| 0 | 0.0 | 436M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
183.04/183.15 c 167s| 1170k| 1103k| 0 | 0.0 | 439M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
184.44/184.57 c 168s| 1180k| 1113k| 0 | 0.0 | 442M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
185.85/185.99 c 169s| 1190k| 1123k| 0 | 0.0 | 446M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
187.24/187.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.24/187.39 c 171s| 1200k| 1133k| 0 | 0.0 | 449M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
188.74/188.83 c 172s| 1210k| 1143k| 0 | 0.0 | 453M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
190.14/190.26 c 173s| 1220k| 1153k| 0 | 0.0 | 456M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
191.54/191.68 c 175s| 1230k| 1163k| 0 | 0.0 | 460M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
193.04/193.11 c 176s| 1240k| 1173k| 0 | 0.0 | 463M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
194.44/194.52 c 177s| 1250k| 1183k| 0 | 0.0 | 467M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
195.84/195.95 c 178s| 1260k| 1193k| 0 | 0.0 | 470M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
197.34/197.40 c 180s| 1270k| 1203k| 0 | 0.0 | 474M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
198.74/198.85 c 181s| 1280k| 1213k| 0 | 0.0 | 477M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
200.15/200.28 c 182s| 1290k| 1223k| 0 | 0.0 | 481M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
201.63/201.70 c 184s| 1300k| 1233k| 0 | 0.0 | 484M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
203.04/203.12 c 185s| 1310k| 1243k| 0 | 0.0 | 488M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
204.44/204.53 c 186s| 1320k| 1253k| 0 | 0.0 | 491M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
205.84/205.95 c 188s| 1330k| 1263k| 0 | 0.0 | 494M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
207.24/207.37 c 189s| 1340k| 1273k| 0 | 0.0 | 498M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
208.64/208.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.64/208.79 c 190s| 1350k| 1283k| 0 | 0.0 | 501M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
210.14/210.23 c 191s| 1360k| 1293k| 0 | 0.0 | 505M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
211.54/211.68 c 193s| 1370k| 1302k| 0 | 0.0 | 508M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
212.93/213.09 c 194s| 1380k| 1312k| 0 | 0.0 | 512M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
214.44/214.52 c 195s| 1390k| 1322k| 0 | 0.0 | 515M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
215.83/215.95 c 197s| 1400k| 1332k| 0 | 0.0 | 519M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
217.23/217.37 c 198s| 1410k| 1342k| 0 | 0.0 | 522M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
218.73/218.80 c 199s| 1420k| 1352k| 0 | 0.0 | 526M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
220.13/220.23 c 200s| 1430k| 1362k| 0 | 0.0 | 529M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
221.53/221.67 c 202s| 1440k| 1372k| 0 | 0.0 | 533M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
222.93/223.09 c 203s| 1450k| 1382k| 0 | 0.0 | 536M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
224.43/224.54 c 204s| 1460k| 1392k| 0 | 0.0 | 540M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
225.83/225.98 c 206s| 1470k| 1402k| 0 | 0.0 | 543M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
227.33/227.42 c 207s| 1480k| 1412k| 0 | 0.0 | 547M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
228.73/228.85 c 208s| 1490k| 1422k| 0 | 0.0 | 550M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
230.13/230.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.13/230.28 c 210s| 1500k| 1432k| 0 | 0.0 | 554M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
231.63/231.72 c 211s| 1510k| 1442k| 0 | 0.0 | 558M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
233.03/233.14 c 212s| 1520k| 1452k| 0 | 0.0 | 561M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
234.42/234.58 c 214s| 1530k| 1462k| 0 | 0.0 | 565M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
235.92/236.01 c 215s| 1540k| 1472k| 0 | 0.0 | 568M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
237.32/237.44 c 216s| 1550k| 1482k| 0 | 0.0 | 572M| 140 | - | 172 | 14 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
238.74/238.87 c 217s| 1560k| 1492k| 0 | 0.0 | 575M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
240.12/240.29 c 219s| 1570k| 1502k| 0 | 0.0 | 579M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
241.62/241.71 c 220s| 1580k| 1512k| 0 | 0.0 | 582M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
243.04/243.15 c 221s| 1590k| 1522k| 0 | 0.0 | 586M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
244.43/244.58 c 223s| 1600k| 1532k| 0 | 0.0 | 590M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
245.92/246.00 c 224s| 1610k| 1542k| 0 | 0.0 | 593M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
247.32/247.40 c 225s| 1620k| 1552k| 0 | 0.0 | 597M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
248.72/248.82 c 226s| 1630k| 1562k| 0 | 0.0 | 600M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
250.12/250.24 c 228s| 1640k| 1572k| 0 | 0.0 | 604M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
251.52/251.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.52/251.67 c 229s| 1650k| 1582k| 0 | 0.0 | 607M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
252.93/253.08 c 230s| 1660k| 1592k| 0 | 0.0 | 611M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
254.42/254.51 c 232s| 1670k| 1602k| 0 | 0.0 | 614M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
255.82/255.93 c 233s| 1680k| 1612k| 0 | 0.0 | 618M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
257.22/257.34 c 234s| 1690k| 1622k| 0 | 0.0 | 622M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
258.62/258.77 c 236s| 1700k| 1632k| 0 | 0.0 | 625M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
260.02/260.19 c 237s| 1710k| 1642k| 0 | 0.0 | 629M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
261.51/261.62 c 238s| 1720k| 1652k| 0 | 0.0 | 632M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
262.92/263.05 c 239s| 1730k| 1662k| 0 | 0.0 | 636M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
264.32/264.48 c 241s| 1740k| 1672k| 0 | 0.0 | 640M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
265.72/265.88 c 242s| 1750k| 1682k| 0 | 0.0 | 643M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
267.23/267.33 c 243s| 1760k| 1692k| 0 | 0.0 | 647M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
268.62/268.77 c 245s| 1770k| 1702k| 0 | 0.0 | 650M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
270.12/270.21 c 246s| 1780k| 1712k| 0 | 0.0 | 654M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
271.52/271.64 c 247s| 1790k| 1722k| 0 | 0.0 | 658M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
272.91/273.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.91/273.07 c 248s| 1800k| 1732k| 0 | 0.0 | 661M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
274.42/274.50 c 250s| 1810k| 1742k| 0 | 0.0 | 665M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
275.82/275.94 c 251s| 1820k| 1752k| 0 | 0.0 | 669M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
277.23/277.36 c 252s| 1830k| 1762k| 0 | 0.0 | 672M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
278.61/278.77 c 254s| 1840k| 1772k| 0 | 0.0 | 676M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
280.02/280.18 c 255s| 1850k| 1782k| 0 | 0.0 | 680M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
281.52/281.60 c 256s| 1860k| 1792k| 0 | 0.0 | 683M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
282.92/283.02 c 258s| 1870k| 1802k| 0 | 0.0 | 687M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
284.31/284.46 c 259s| 1880k| 1812k| 0 | 0.0 | 691M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
285.72/285.89 c 260s| 1890k| 1822k| 0 | 0.0 | 694M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
287.21/287.31 c 261s| 1900k| 1832k| 0 | 0.0 | 698M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
288.62/288.73 c 263s| 1910k| 1842k| 0 | 0.0 | 702M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
290.01/290.13 c 264s| 1920k| 1852k| 0 | 0.0 | 706M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
291.42/291.56 c 265s| 1930k| 1862k| 0 | 0.0 | 709M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
292.81/292.99 c 267s| 1940k| 1872k| 0 | 0.0 | 713M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
294.31/294.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.31/294.42 c 268s| 1950k| 1882k| 0 | 0.0 | 717M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
295.71/295.86 c 269s| 1960k| 1892k| 0 | 0.0 | 720M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
297.11/297.28 c 270s| 1970k| 1902k| 0 | 0.0 | 724M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
298.60/298.71 c 272s| 1980k| 1912k| 0 | 0.0 | 728M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
300.01/300.15 c 273s| 1990k| 1922k| 0 | 0.0 | 731M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
301.42/301.57 c 274s| 2000k| 1932k| 0 | 0.0 | 735M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
302.81/302.98 c 276s| 2010k| 1942k| 0 | 0.0 | 739M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
304.31/304.40 c 277s| 2020k| 1952k| 0 | 0.0 | 742M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
305.71/305.82 c 278s| 2030k| 1962k| 0 | 0.0 | 746M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
307.11/307.23 c 279s| 2040k| 1972k| 0 | 0.0 | 750M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
308.50/308.64 c 281s| 2050k| 1982k| 0 | 0.0 | 754M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
309.91/310.04 c 282s| 2060k| 1992k| 0 | 0.0 | 757M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
311.31/311.46 c 283s| 2070k| 2002k| 0 | 0.0 | 761M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
312.71/312.86 c 285s| 2080k| 2012k| 0 | 0.0 | 765M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
314.11/314.28 c 286s| 2090k| 2022k| 0 | 0.0 | 769M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
315.50/315.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.50/315.68 c 287s| 2100k| 2032k| 0 | 0.0 | 772M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
316.90/317.09 c 288s| 2110k| 2042k| 0 | 0.0 | 776M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
318.40/318.52 c 290s| 2120k| 2052k| 0 | 0.0 | 780M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
319.81/319.93 c 291s| 2130k| 2062k| 0 | 0.0 | 783M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
321.22/321.37 c 292s| 2140k| 2072k| 0 | 0.0 | 787M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
322.60/322.78 c 294s| 2150k| 2082k| 0 | 0.0 | 791M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
324.10/324.21 c 295s| 2160k| 2092k| 0 | 0.0 | 795M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
325.51/325.63 c 296s| 2170k| 2102k| 0 | 0.0 | 798M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
326.90/327.04 c 297s| 2180k| 2112k| 0 | 0.0 | 802M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
328.30/328.43 c 299s| 2190k| 2122k| 0 | 0.0 | 806M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
329.70/329.84 c 300s| 2200k| 2132k| 0 | 0.0 | 810M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
331.11/331.24 c 301s| 2210k| 2142k| 0 | 0.0 | 813M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
332.50/332.64 c 302s| 2220k| 2152k| 0 | 0.0 | 817M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
333.90/334.04 c 304s| 2230k| 2162k| 0 | 0.0 | 821M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
335.30/335.43 c 305s| 2240k| 2172k| 0 | 0.0 | 825M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
336.70/336.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.70/336.82 c 306s| 2250k| 2182k| 0 | 0.0 | 828M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
338.10/338.20 c 307s| 2260k| 2192k| 0 | 0.0 | 832M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
339.40/339.59 c 309s| 2270k| 2202k| 0 | 0.0 | 836M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
340.79/340.99 c 310s| 2280k| 2212k| 0 | 0.0 | 840M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
342.30/342.40 c 311s| 2290k| 2222k| 0 | 0.0 | 844M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
343.60/343.78 c 313s| 2300k| 2232k| 0 | 0.0 | 847M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
345.00/345.17 c 314s| 2310k| 2242k| 0 | 0.0 | 851M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
346.40/346.55 c 315s| 2320k| 2252k| 0 | 0.0 | 855M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
347.80/347.94 c 316s| 2330k| 2262k| 0 | 0.0 | 859M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
349.20/349.31 c 318s| 2340k| 2272k| 0 | 0.0 | 863M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
350.50/350.69 c 319s| 2350k| 2282k| 0 | 0.0 | 866M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
351.90/352.07 c 320s| 2360k| 2292k| 0 | 0.0 | 870M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
353.29/353.45 c 321s| 2370k| 2302k| 0 | 0.0 | 874M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
354.69/354.83 c 323s| 2380k| 2312k| 0 | 0.0 | 878M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
356.00/356.19 c 324s| 2390k| 2322k| 0 | 0.0 | 881M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
357.40/357.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.40/357.55 c 325s| 2400k| 2332k| 0 | 0.0 | 885M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
358.79/358.92 c 326s| 2410k| 2342k| 0 | 0.0 | 889M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
360.20/360.30 c 327s| 2420k| 2352k| 0 | 0.0 | 893M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
361.49/361.68 c 329s| 2430k| 2362k| 0 | 0.0 | 897M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
362.90/363.06 c 330s| 2440k| 2372k| 0 | 0.0 | 900M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
364.29/364.43 c 331s| 2450k| 2382k| 0 | 0.0 | 904M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
365.69/365.82 c 332s| 2460k| 2392k| 0 | 0.0 | 908M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
367.09/367.21 c 334s| 2470k| 2402k| 0 | 0.0 | 912M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
368.50/368.61 c 335s| 2480k| 2412k| 0 | 0.0 | 916M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
369.79/369.98 c 336s| 2490k| 2422k| 0 | 0.0 | 919M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
371.19/371.37 c 337s| 2500k| 2432k| 0 | 0.0 | 923M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
372.59/372.76 c 339s| 2510k| 2442k| 0 | 0.0 | 927M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
374.00/374.16 c 340s| 2520k| 2452k| 0 | 0.0 | 931M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
375.39/375.57 c 341s| 2530k| 2462k| 0 | 0.0 | 935M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
376.79/376.96 c 342s| 2540k| 2472k| 0 | 0.0 | 939M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
378.19/378.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.19/378.34 c 344s| 2550k| 2482k| 0 | 0.0 | 943M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
379.59/379.73 c 345s| 2560k| 2492k| 0 | 0.0 | 946M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
380.99/381.13 c 346s| 2570k| 2502k| 0 | 0.0 | 950M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
382.39/382.53 c 347s| 2580k| 2512k| 0 | 0.0 | 954M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
383.79/383.91 c 349s| 2590k| 2522k| 0 | 0.0 | 958M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
385.09/385.30 c 350s| 2600k| 2532k| 0 | 0.0 | 962M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
386.59/386.70 c 351s| 2610k| 2542k| 0 | 0.0 | 966M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
387.89/388.09 c 353s| 2620k| 2552k| 0 | 0.0 | 969M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
389.29/389.49 c 354s| 2630k| 2562k| 0 | 0.0 | 973M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
390.69/390.88 c 355s| 2640k| 2572k| 0 | 0.0 | 977M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
392.09/392.27 c 356s| 2650k| 2582k| 0 | 0.0 | 981M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
393.49/393.67 c 358s| 2660k| 2592k| 0 | 0.0 | 985M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
394.89/395.06 c 359s| 2670k| 2602k| 0 | 0.0 | 989M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
396.28/396.45 c 360s| 2680k| 2612k| 0 | 0.0 | 992M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
397.68/397.83 c 361s| 2690k| 2622k| 0 | 0.0 | 996M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
399.08/399.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
399.08/399.21 c 363s| 2700k| 2632k| 0 | 0.0 |1000M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
400.39/400.59 c 364s| 2710k| 2642k| 0 | 0.0 |1004M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
401.78/401.95 c 365s| 2720k| 2652k| 0 | 0.0 |1008M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
403.18/403.32 c 366s| 2730k| 2662k| 0 | 0.0 |1012M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
404.48/404.68 c 367s| 2740k| 2672k| 0 | 0.0 |1016M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
405.88/406.06 c 369s| 2750k| 2682k| 0 | 0.0 |1019M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
407.28/407.41 c 370s| 2760k| 2692k| 0 | 0.0 |1023M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
408.58/408.77 c 371s| 2770k| 2702k| 0 | 0.0 |1027M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
409.97/410.15 c 372s| 2780k| 2712k| 0 | 0.0 |1031M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
411.38/411.52 c 374s| 2790k| 2722k| 0 | 0.0 |1035M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
412.78/412.90 c 375s| 2800k| 2732k| 0 | 0.0 |1039M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
414.08/414.27 c 376s| 2810k| 2742k| 0 | 0.0 |1043M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
415.48/415.63 c 377s| 2820k| 2752k| 0 | 0.0 |1047M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
416.89/417.01 c 379s| 2830k| 2762k| 0 | 0.0 |1050M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
418.18/418.38 c 380s| 2840k| 2772k| 0 | 0.0 |1054M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
419.58/419.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.58/419.75 c 381s| 2850k| 2782k| 0 | 0.0 |1058M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
420.97/421.11 c 382s| 2860k| 2792k| 0 | 0.0 |1062M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
422.28/422.49 c 383s| 2870k| 2802k| 0 | 0.0 |1066M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
423.67/423.86 c 385s| 2880k| 2812k| 0 | 0.0 |1070M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
425.08/425.23 c 386s| 2890k| 2822k| 0 | 0.0 |1074M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
426.37/426.59 c 387s| 2900k| 2832k| 0 | 0.0 |1078M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
427.79/427.95 c 388s| 2910k| 2842k| 0 | 0.0 |1082M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
429.17/429.33 c 390s| 2920k| 2852k| 0 | 0.0 |1086M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
430.57/430.72 c 391s| 2930k| 2862k| 0 | 0.0 |1090M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
431.97/432.10 c 392s| 2940k| 2872k| 0 | 0.0 |1094M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
433.28/433.47 c 393s| 2950k| 2882k| 0 | 0.0 |1098M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
434.67/434.85 c 395s| 2960k| 2892k| 0 | 0.0 |1101M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
436.07/436.23 c 396s| 2970k| 2902k| 0 | 0.0 |1105M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
437.47/437.60 c 397s| 2980k| 2912k| 0 | 0.0 |1109M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
438.78/438.99 c 398s| 2990k| 2922k| 0 | 0.0 |1113M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
440.17/440.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.17/440.38 c 400s| 3000k| 2932k| 0 | 0.0 |1117M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
441.57/441.74 c 401s| 3010k| 2942k| 0 | 0.0 |1121M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
442.97/443.13 c 402s| 3020k| 2952k| 0 | 0.0 |1125M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
444.38/444.52 c 403s| 3030k| 2962k| 0 | 0.0 |1129M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
445.77/445.91 c 405s| 3040k| 2972k| 0 | 0.0 |1133M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
447.06/447.29 c 406s| 3050k| 2982k| 0 | 0.0 |1137M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
448.47/448.66 c 407s| 3060k| 2992k| 0 | 0.0 |1141M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
449.87/450.04 c 408s| 3070k| 3002k| 0 | 0.0 |1145M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
451.26/451.42 c 410s| 3080k| 3012k| 0 | 0.0 |1149M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
452.66/452.80 c 411s| 3090k| 3022k| 0 | 0.0 |1153M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
453.97/454.17 c 412s| 3100k| 3032k| 0 | 0.0 |1157M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
455.37/455.53 c 413s| 3110k| 3042k| 0 | 0.0 |1161M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
456.67/456.89 c 414s| 3120k| 3052k| 0 | 0.0 |1165M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
458.07/458.26 c 416s| 3130k| 3062k| 0 | 0.0 |1169M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
459.47/459.62 c 417s| 3140k| 3072k| 0 | 0.0 |1173M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
460.77/460.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
460.77/460.99 c 418s| 3150k| 3082k| 0 | 0.0 |1177M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
462.16/462.35 c 419s| 3160k| 3092k| 0 | 0.0 |1181M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
463.57/463.72 c 421s| 3170k| 3102k| 0 | 0.0 |1185M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
464.87/465.07 c 422s| 3180k| 3112k| 0 | 0.0 |1189M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
466.27/466.43 c 423s| 3190k| 3122k| 0 | 0.0 |1193M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
467.67/467.80 c 424s| 3200k| 3132k| 0 | 0.0 |1197M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
468.96/469.16 c 426s| 3210k| 3142k| 0 | 0.0 |1201M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
470.36/470.51 c 427s| 3220k| 3152k| 0 | 0.0 |1205M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
471.67/471.88 c 428s| 3230k| 3162k| 0 | 0.0 |1209M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
473.06/473.23 c 429s| 3240k| 3172k| 0 | 0.0 |1212M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
474.36/474.58 c 430s| 3250k| 3182k| 0 | 0.0 |1216M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
475.76/475.94 c 432s| 3260k| 3192k| 0 | 0.0 |1220M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
477.16/477.30 c 433s| 3270k| 3202k| 0 | 0.0 |1224M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
478.47/478.67 c 434s| 3280k| 3212k| 0 | 0.0 |1228M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
479.86/480.03 c 435s| 3290k| 3222k| 0 | 0.0 |1232M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
481.16/481.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.16/481.37 c 437s| 3300k| 3232k| 0 | 0.0 |1236M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
482.56/482.73 c 438s| 3310k| 3242k| 0 | 0.0 |1240M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
483.86/484.08 c 439s| 3320k| 3252k| 0 | 0.0 |1244M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
485.26/485.43 c 440s| 3330k| 3262k| 0 | 0.0 |1248M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
486.56/486.79 c 441s| 3340k| 3272k| 0 | 0.0 |1252M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
487.96/488.14 c 443s| 3350k| 3282k| 0 | 0.0 |1256M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
489.26/489.49 c 444s| 3360k| 3292k| 0 | 0.0 |1260M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
490.66/490.83 c 445s| 3370k| 3302k| 0 | 0.0 |1264M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
491.96/492.18 c 446s| 3380k| 3312k| 0 | 0.0 |1268M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
493.35/493.55 c 448s| 3390k| 3322k| 0 | 0.0 |1272M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
494.76/494.91 c 449s| 3400k| 3332k| 0 | 0.0 |1276M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
496.06/496.27 c 450s| 3410k| 3342k| 0 | 0.0 |1280M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
497.46/497.64 c 451s| 3420k| 3352k| 0 | 0.0 |1284M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
498.85/499.00 c 452s| 3430k| 3362k| 0 | 0.0 |1288M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
500.15/500.37 c 454s| 3440k| 3372k| 0 | 0.0 |1292M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
501.56/501.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.56/501.73 c 455s| 3450k| 3382k| 0 | 0.0 |1296M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
502.85/503.08 c 456s| 3460k| 3392k| 0 | 0.0 |1300M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
504.25/504.45 c 457s| 3470k| 3402k| 0 | 0.0 |1304M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
505.65/505.82 c 459s| 3480k| 3412k| 0 | 0.0 |1308M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
506.96/507.18 c 460s| 3490k| 3422k| 0 | 0.0 |1312M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
508.35/508.56 c 461s| 3500k| 3432k| 0 | 0.0 |1316M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
509.75/509.91 c 462s| 3510k| 3442k| 0 | 0.0 |1320M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
511.05/511.27 c 464s| 3520k| 3452k| 0 | 0.0 |1324M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
512.45/512.63 c 465s| 3530k| 3462k| 0 | 0.0 |1329M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
513.85/514.01 c 466s| 3540k| 3472k| 0 | 0.0 |1333M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
515.15/515.38 c 467s| 3550k| 3482k| 0 | 0.0 |1337M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
516.55/516.77 c 468s| 3560k| 3492k| 0 | 0.0 |1341M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
517.96/518.14 c 470s| 3570k| 3502k| 0 | 0.0 |1345M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
519.35/519.51 c 471s| 3580k| 3512k| 0 | 0.0 |1349M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
520.65/520.88 c 472s| 3590k| 3522k| 0 | 0.0 |1353M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
522.05/522.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.05/522.25 c 473s| 3600k| 3532k| 0 | 0.0 |1357M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
522.54/522.73 c (node 3603455) switching to memory saving mode (mem: 1296.0M/1620.0M)
524.95/525.16 o 1103
524.95/525.16 c * 476s| 3603k| 3280k| 0 | 0.0 |1273M| 140 | - | 172 | 13 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
528.34/528.50 c 479s| 3610k| 3280k| 0 | 0.0 |1273M| 151 | - | 172 | 13 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
533.05/533.26 c 484s| 3620k| 3280k| 0 | 0.0 |1273M| 154 | - | 172 | 13 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
537.94/538.19 c 489s| 3630k| 3280k| 0 | 0.0 |1273M| 154 | - | 172 | 13 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
542.84/543.09 c 493s| 3640k| 3280k| 0 | 0.0 |1273M| 154 | - | 172 | 13 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
547.65/547.80 c 498s| 3650k| 3280k| 0 | 0.0 |1273M| 155 | - | 172 | 13 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
552.44/552.63 c 502s| 3660k| 3280k| 0 | 0.0 |1272M| 155 | - | 172 | 13 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
557.24/557.48 c 507s| 3670k| 3280k| 0 | 0.0 |1272M| 155 | - | 172 | 13 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
562.14/562.37 c 511s| 3680k| 3280k| 0 | 0.0 |1272M| 156 | - | 172 | 13 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
567.04/567.24 c 516s| 3690k| 3280k| 0 | 0.0 |1272M| 156 | - | 172 | 13 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
571.84/572.08 c 521s| 3700k| 3280k| 0 | 0.0 |1272M| 156 | - | 172 | 13 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
576.63/576.89 c 525s| 3710k| 3280k| 0 | 0.0 |1272M| 156 | - | 172 | 13 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
581.63/581.82 c 530s| 3720k| 3280k| 0 | 0.0 |1272M| 156 | - | 172 | 13 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
586.53/586.71 c 535s| 3730k| 3280k| 0 | 0.0 |1272M| 156 | - | 172 | 13 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
591.33/591.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
591.33/591.58 c 539s| 3740k| 3280k| 0 | 0.0 |1272M| 156 | - | 172 | 13 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
596.14/596.34 c 544s| 3750k| 3280k| 0 | 0.0 |1272M| 156 | - | 172 | 13 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
601.03/601.24 c 548s| 3760k| 3280k| 0 | 0.0 |1272M| 156 | - | 172 | 13 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
605.83/606.04 c 553s| 3770k| 3280k| 0 | 0.0 |1272M| 156 | - | 172 | 13 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
610.62/610.86 c 557s| 3780k| 3279k| 0 | 0.0 |1272M| 156 | - | 172 | 13 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
615.32/615.59 c 562s| 3790k| 3279k| 0 | 0.0 |1272M| 157 | - | 172 | 13 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
620.12/620.38 c 566s| 3800k| 3279k| 0 | 0.0 |1272M| 157 | - | 172 | 13 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
624.82/625.05 c 571s| 3810k| 3279k| 0 | 0.0 |1272M| 157 | - | 172 | 13 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
628.92/629.19 c 575s| 3820k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
633.31/633.58 c 579s| 3830k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
638.11/638.38 c 583s| 3840k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
642.92/643.15 c 588s| 3850k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
647.72/647.90 c 592s| 3860k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
651.82/652.00 c 596s| 3870k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
656.11/656.39 c 600s| 3880k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
660.71/660.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.71/660.92 c 605s| 3890k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
665.21/665.42 c 609s| 3900k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
669.72/669.96 c 613s| 3910k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
674.61/674.87 c 618s| 3920k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
679.40/679.64 c 622s| 3930k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
684.21/684.45 c 627s| 3940k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
689.01/689.23 c 631s| 3950k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
693.91/694.14 c 636s| 3960k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
698.70/698.99 c 640s| 3970k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
703.60/703.85 c 645s| 3980k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
708.60/708.83 c 650s| 3990k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
713.49/713.76 c 654s| 4000k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
718.29/718.53 c 659s| 4010k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
723.10/723.37 c 664s| 4020k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
727.99/728.27 c 668s| 4030k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
732.40/732.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.40/732.63 c 672s| 4040k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
737.09/737.30 c 677s| 4050k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
741.89/742.16 c 681s| 4060k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
746.69/747.00 c 686s| 4070k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
751.19/751.49 c 690s| 4080k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
755.49/755.77 c 694s| 4090k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
759.69/759.96 c 698s| 4100k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
764.39/764.67 c 702s| 4110k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
769.38/769.62 c 707s| 4120k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
774.29/774.58 c 712s| 4130k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
778.88/779.16 c 716s| 4140k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
783.18/783.42 c 720s| 4150k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
787.27/787.59 c 724s| 4160k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
791.58/791.83 c 728s| 4170k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
795.77/796.06 c 732s| 4180k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
799.97/800.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
799.97/800.29 c 736s| 4190k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
804.77/805.00 c 740s| 4200k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
809.57/809.88 c 745s| 4210k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
814.37/814.67 c 749s| 4220k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
818.87/819.17 c 754s| 4230k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
823.07/823.30 c 758s| 4240k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
827.16/827.49 c 761s| 4250k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
831.27/831.59 c 765s| 4260k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
835.37/835.69 c 769s| 4270k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
839.56/839.85 c 773s| 4280k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
843.66/843.95 c 777s| 4290k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
848.35/848.65 c 781s| 4300k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
853.46/853.71 c 786s| 4310k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
858.06/858.39 c 791s| 4320k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
862.95/863.28 c 795s| 4330k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
867.85/868.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.85/868.11 c 800s| 4340k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
872.55/872.80 c 804s| 4350k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
876.65/876.95 c 808s| 4360k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
880.86/881.11 c 812s| 4370k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
884.95/885.28 c 816s| 4380k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
888.95/889.29 c 820s| 4390k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
893.14/893.48 c 824s| 4400k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
897.24/897.50 c 827s| 4410k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
901.24/901.50 c 831s| 4420k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
905.15/905.47 c 835s| 4430k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
909.95/910.27 c 839s| 4440k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
914.24/914.50 c 843s| 4450k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
918.44/918.75 c 847s| 4460k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
922.53/922.89 c 851s| 4470k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
926.84/927.11 c 855s| 4480k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
931.45/931.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.45/931.76 c 859s| 4490k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
935.54/935.88 c 863s| 4500k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
940.04/940.37 c 868s| 4510k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
944.84/945.19 c 872s| 4520k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
949.22/949.54 c 876s| 4530k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
953.93/954.30 c 881s| 4540k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
958.62/958.97 c 885s| 4550k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
962.82/963.14 c 889s| 4560k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
966.92/967.22 c 893s| 4570k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
971.42/971.75 c 897s| 4580k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
975.72/976.05 c 901s| 4590k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
980.12/980.46 c 905s| 4600k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
984.92/985.25 c 910s| 4610k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
989.83/990.12 c 914s| 4620k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
994.62/994.98 c 919s| 4630k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
999.52/999.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.52/999.81 c 924s| 4640k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1004.52/1004.80 c 928s| 4650k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1009.42/1009.75 c 933s| 4660k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1014.41/1014.70 c 938s| 4670k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1019.31/1019.68 c 942s| 4680k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1023.72/1024.01 c 946s| 4690k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1027.81/1028.17 c 950s| 4700k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1031.91/1032.28 c 954s| 4710k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1036.11/1036.46 c 958s| 4720k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1040.81/1041.13 c 962s| 4730k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1045.61/1045.95 c 967s| 4740k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1050.21/1050.52 c 971s| 4750k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1054.30/1054.64 c 975s| 4760k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1058.50/1058.80 c 979s| 4770k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1062.60/1062.96 c 983s| 4780k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1066.71/1067.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1066.71/1067.01 c 987s| 4790k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1070.90/1071.23 c 991s| 4800k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1075.00/1075.34 c 994s| 4810k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1079.20/1079.59 c 998s| 4820k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1083.60/1083.96 c 1003s| 4830k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1088.00/1088.33 c 1007s| 4840k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1092.19/1092.59 c 1011s| 4850k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1096.40/1096.76 c 1015s| 4860k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1100.80/1101.12 c 1019s| 4870k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1104.98/1105.38 c 1023s| 4880k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1109.29/1109.61 c 1027s| 4890k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1113.38/1113.75 c 1030s| 4900k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1117.48/1117.89 c 1034s| 4910k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1121.59/1121.97 c 1038s| 4920k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1126.38/1126.73 c 1043s| 4930k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1131.28/1131.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1131.28/1131.65 c 1047s| 4940k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1136.28/1136.68 c 1052s| 4950k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1141.18/1141.55 c 1057s| 4960k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1145.68/1146.09 c 1061s| 4970k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1149.88/1150.26 c 1065s| 4980k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1153.98/1154.39 c 1069s| 4990k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1158.17/1158.51 c 1073s| 5000k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1162.38/1162.75 c 1076s| 5010k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1166.57/1166.99 c 1080s| 5020k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1170.67/1171.08 c 1084s| 5030k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1174.76/1175.12 c 1088s| 5040k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1179.07/1179.46 c 1092s| 5050k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1183.47/1183.85 c 1096s| 5060k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1187.67/1188.07 c 1100s| 5070k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1191.86/1192.23 c 1104s| 5080k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1195.96/1196.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.96/1196.38 c 1108s| 5090k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1200.06/1200.48 c 1112s| 5100k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1204.16/1204.56 c 1116s| 5110k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1208.35/1208.72 c 1119s| 5120k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1212.56/1212.93 c 1123s| 5130k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1217.16/1217.58 c 1128s| 5140k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1221.35/1221.70 c 1132s| 5150k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1225.46/1225.86 c 1136s| 5160k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1229.56/1229.93 c 1139s| 5170k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1233.56/1233.95 c 1143s| 5180k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1237.65/1238.03 c 1147s| 5190k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1241.85/1242.24 c 1151s| 5200k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1245.85/1246.26 c 1155s| 5210k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1249.84/1250.22 c 1158s| 5220k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1254.35/1254.73 c 1163s| 5230k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1258.54/1258.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1258.54/1258.93 c 1167s| 5240k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1262.64/1263.05 c 1170s| 5250k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1266.74/1267.11 c 1174s| 5260k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1271.24/1271.69 c 1179s| 5270k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1275.65/1276.02 c 1183s| 5280k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1279.84/1280.22 c 1187s| 5290k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1284.04/1284.40 c 1190s| 5300k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1288.13/1288.55 c 1194s| 5310k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1292.33/1292.74 c 1198s| 5320k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1296.54/1296.96 c 1202s| 5330k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1300.83/1301.20 c 1206s| 5340k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1304.94/1305.34 c 1210s| 5350k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1309.13/1309.57 c 1214s| 5360k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1313.32/1313.72 c 1218s| 5370k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1317.43/1317.84 c 1222s| 5380k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1321.43/1321.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.43/1321.88 c 1226s| 5390k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1325.73/1326.13 c 1230s| 5400k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1330.33/1330.71 c 1234s| 5410k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1335.13/1335.53 c 1239s| 5420k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1339.53/1339.96 c 1243s| 5430k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1343.72/1344.18 c 1247s| 5440k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1347.92/1348.32 c 1250s| 5450k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1352.12/1352.51 c 1254s| 5460k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1356.21/1356.68 c 1258s| 5470k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1360.32/1360.78 c 1262s| 5480k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1364.82/1365.23 c 1266s| 5490k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1369.72/1370.15 c 1271s| 5500k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1374.12/1374.56 c 1275s| 5510k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1378.21/1378.69 c 1279s| 5520k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1382.42/1382.83 c 1283s| 5530k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1386.51/1386.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.51/1386.92 c 1287s| 5540k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1391.31/1391.76 c 1291s| 5550k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1396.01/1396.40 c 1296s| 5560k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1400.20/1400.60 c 1300s| 5570k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1404.61/1405.08 c 1304s| 5580k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1409.50/1409.99 c 1308s| 5590k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1414.41/1414.85 c 1313s| 5600k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1419.30/1419.77 c 1318s| 5610k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1424.20/1424.65 c 1322s| 5620k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1429.00/1429.50 c 1327s| 5630k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1433.80/1434.27 c 1331s| 5640k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1438.59/1439.08 c 1336s| 5650k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1442.90/1443.36 c 1340s| 5660k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1447.00/1447.50 c 1344s| 5670k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1451.09/1451.56 c 1348s| 5680k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1455.39/1455.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1455.39/1455.82 c 1352s| 5690k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1459.49/1459.97 c 1355s| 5700k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1463.59/1464.04 c 1359s| 5710k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1186k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1467.59/1468.09 c 1363s| 5720k| 3279k| 0 | 0.0 |1272M| 158 | - | 172 | 13 | 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1471.89/1472.39 c 1367s| 5730k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1476.09/1476.55 c 1371s| 5740k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1480.29/1480.72 c 1375s| 5750k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1484.38/1484.86 c 1379s| 5760k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1213k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1488.58/1489.01 c 1383s| 5770k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1492.68/1493.11 c 1387s| 5780k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1496.78/1497.27 c 1390s| 5790k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1500.87/1501.37 c 1394s| 5800k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1504.98/1505.42 c 1398s| 5810k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1509.08/1509.51 c 1402s| 5820k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1513.29/1513.76 c 1406s| 5830k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1517.37/1517.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1517.37/1517.83 c 1410s| 5840k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1521.67/1522.15 c 1414s| 5850k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1525.87/1526.35 c 1418s| 5860k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1530.17/1530.68 c 1422s| 5870k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1534.37/1534.82 c 1426s| 5880k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1538.87/1539.33 c 1430s| 5890k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1543.27/1543.70 c 1434s| 5900k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1547.37/1547.88 c 1438s| 5910k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1551.46/1551.98 c 1442s| 5920k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1555.66/1556.13 c 1446s| 5930k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1559.76/1560.28 c 1450s| 5940k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1563.87/1564.34 c 1453s| 5950k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1568.06/1568.53 c 1457s| 5960k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1572.86/1573.37 c 1462s| 5970k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1577.16/1577.67 c 1466s| 5980k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1581.36/1581.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.36/1581.89 c 1470s| 5990k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1585.66/1586.11 c 1474s| 6000k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1589.86/1590.32 c 1478s| 6010k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1594.56/1595.08 c 1482s| 6020k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1599.35/1599.80 c 1487s| 6030k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1603.75/1604.21 c 1491s| 6040k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1608.35/1608.88 c 1495s| 6050k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1612.94/1613.46 c 1500s| 6060k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1617.15/1617.67 c 1504s| 6070k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1621.45/1621.90 c 1508s| 6080k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1625.74/1626.22 c 1512s| 6090k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1630.24/1630.71 c 1516s| 6100k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1634.44/1634.95 c 1520s| 6110k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1638.84/1639.34 c 1524s| 6120k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1643.04/1643.52 c 1528s| 6130k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1647.45/1647.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1647.45/1647.92 c 1532s| 6140k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1651.64/1652.10 c 1536s| 6150k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1656.33/1656.83 c 1540s| 6160k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1660.84/1661.37 c 1545s| 6170k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1665.04/1665.58 c 1549s| 6180k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1669.33/1669.82 c 1553s| 6190k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1674.43/1674.98 c 1557s| 6200k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1679.43/1679.99 c 1562s| 6210k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1684.42/1684.90 c 1567s| 6220k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1689.33/1689.83 c 1571s| 6230k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1694.23/1694.74 c 1576s| 6240k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1698.73/1699.28 c 1580s| 6250k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1703.12/1703.63 c 1584s| 6260k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1707.62/1708.12 c 1589s| 6270k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1711.82/1712.34 c 1593s| 6280k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1716.12/1716.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.12/1716.65 c 1597s| 6290k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1720.32/1720.89 c 1601s| 6300k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1724.82/1725.37 c 1605s| 6310k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1729.21/1729.70 c 1609s| 6320k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1733.42/1733.95 c 1613s| 6330k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1737.62/1738.17 c 1617s| 6340k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1741.81/1742.39 c 1621s| 6350k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1746.01/1746.57 c 1625s| 6360k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1750.31/1750.81 c 1629s| 6370k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1755.01/1755.58 c 1633s| 6380k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1759.71/1760.26 c 1638s| 6390k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1764.10/1764.69 c 1642s| 6400k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1562k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1768.31/1768.90 c 1646s| 6410k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1772.51/1773.04 c 1650s| 6420k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1776.61/1777.18 c 1654s| 6430k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1780.80/1781.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.80/1781.36 c 1657s| 6440k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1785.10/1785.62 c 1661s| 6450k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1789.21/1789.74 c 1665s| 6460k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1793.30/1793.85 c 1669s| 6470k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1600k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1797.50/1798.10 c 1673s| 6480k| 3279k| 0 | 0.0 |1272M| 159 | - | 172 | 13 | 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 1.103000e+03 | Inf
1800.00/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.50 c
1800.00/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.50 c Solving Time (sec) : 1675.31
1800.00/1800.50 c Solving Nodes : 6485778
1800.00/1800.50 c Primal Bound : +1.10300000000000e+03 (1 solutions)
1800.00/1800.50 c Dual Bound : +0.00000000000000e+00
1800.00/1800.50 c Gap : infinite
1800.00/1800.50 s SATISFIABLE
1800.00/1800.50 v -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 x160 x159 -x158 x157 -x156 x155 x154 -x153 -x152 x151 x150
1800.00/1800.50 v x149 x148 x147 x146 -x145 x144 -x143 x142 -x141 x140 x139 x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 x129 -x128 -x127
1800.00/1800.50 v x126 x125 x124 -x123 x122 -x121 x120 -x119 -x118 x117 x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.00/1800.50 v x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 x92 -x91 x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.00/1800.50 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 x56 x55 -x54
1800.00/1800.50 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.00/1800.50 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.00/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.50 c Solving Time : 1675.31
1800.00/1800.50 c Original Problem :
1800.00/1800.50 c Problem name : HOME/instance-2664242-1276618519.opb
1800.00/1800.50 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.50 c Constraints : 14 initial, 14 maximal
1800.00/1800.50 c Presolved Problem :
1800.00/1800.50 c Problem name : t_HOME/instance-2664242-1276618519.opb
1800.00/1800.50 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.50 c Constraints : 7 initial, 72 maximal
1800.00/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c probing : 0.02 0 0 0 0 0 0 0 0
1800.00/1800.50 c linear : 0.00 0 0 0 0 0 7 0 0
1800.00/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.50 c root node : - 0 - - 0 - - - -
1800.00/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.50 c linear : 7 0 16502000 0 5149816 1614816 26701096 0 0 0
1800.00/1800.50 c logicor : 0+ 0 1715537 0 0 0 1600724 0 0 0
1800.00/1800.50 c countsols : 0 0 0 0 5149817 0 0 0 0 0
1800.00/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.50 c linear : 1179.84 0.00 1176.59 0.00 3.25
1800.00/1800.50 c logicor : 8.86 0.00 8.86 0.00 0.00
1800.00/1800.50 c countsols : 2.19 0.00 0.00 0.00 2.19
1800.00/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.50 c vbounds : 6.70 2 0 0
1800.00/1800.50 c rootredcost : 7.31 0 0 0
1800.00/1800.50 c pseudoobj : 106.94 16501801 0 0
1800.00/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.50 c propagation : 560.32 1614816 1609072 6128491 106.1 5 71.0 -
1800.00/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.50 c applied globally : - - - 414 29.2 - - -
1800.00/1800.50 c applied locally : - - - 1608659 72.7 - - -
1800.00/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.50 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.50 c redcost : 0.00 0 0 0 0 0
1800.00/1800.50 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.50 c intobj : 0.00 0 0 0 0 0
1800.00/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.50 c gomory : 0.00 0 0 0 0 0
1800.00/1800.50 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.50 c cmir : 0.00 0 0 0 0 0
1800.00/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.50 c clique : 0.00 0 0 0 0 0
1800.00/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.50 c mcf : 0.00 0 0 0 0 0
1800.00/1800.50 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.50 c Pricers : Time Calls Vars
1800.00/1800.50 c problem variables: 0.00 0 0
1800.00/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.50 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.50 c inference : 86.08 5149816 0 0 0 0 10299632
1800.00/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.50 c random : 0.00 0 0 0 0 0 0
1800.00/1800.51 c Primal Heuristics : Time Calls Found
1800.00/1800.51 c LP solutions : 0.00 - 0
1800.00/1800.51 c pseudo solutions : 1.58 - 1
1800.00/1800.51 c oneopt : 3.56 0 0
1800.00/1800.51 c trivial : 0.00 2 0
1800.00/1800.51 c simplerounding : 0.00 0 0
1800.00/1800.51 c zirounding : 0.00 0 0
1800.00/1800.51 c rounding : 0.00 0 0
1800.00/1800.51 c shifting : 0.00 0 0
1800.00/1800.51 c intshifting : 0.00 0 0
1800.00/1800.51 c twoopt : 0.00 0 0
1800.00/1800.51 c fixandinfer : 0.00 0 0
1800.00/1800.51 c feaspump : 0.00 0 0
1800.00/1800.51 c coefdiving : 0.00 0 0
1800.00/1800.51 c pscostdiving : 0.00 0 0
1800.00/1800.51 c fracdiving : 0.00 0 0
1800.00/1800.51 c veclendiving : 0.00 0 0
1800.00/1800.51 c intdiving : 0.00 0 0
1800.00/1800.51 c actconsdiving : 0.00 0 0
1800.00/1800.51 c objpscostdiving : 0.00 0 0
1800.00/1800.51 c rootsoldiving : 0.00 0 0
1800.00/1800.51 c linesearchdiving : 0.00 0 0
1800.00/1800.51 c guideddiving : 0.00 0 0
1800.00/1800.51 c octane : 0.00 0 0
1800.00/1800.51 c rens : 0.00 0 0
1800.00/1800.51 c rins : 0.00 0 0
1800.00/1800.51 c localbranching : 0.00 0 0
1800.00/1800.51 c mutation : 0.00 0 0
1800.00/1800.51 c crossover : 0.00 0 0
1800.00/1800.51 c dins : 0.00 0 0
1800.00/1800.51 c undercover : 0.00 0 0
1800.00/1800.51 c nlp : 2.79 0 0
1800.00/1800.51 c trysol : 2.29 0 0
1800.00/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.51 c (at root node) : - 0 0 0.00 -
1800.00/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.51 c B&B Tree :
1800.00/1800.51 c number of runs : 1
1800.00/1800.51 c nodes : 6485778
1800.00/1800.51 c nodes (total) : 6485778
1800.00/1800.51 c nodes left : 3279607
1800.00/1800.51 c max depth : 159
1800.00/1800.51 c max depth (total): 159
1800.00/1800.51 c backtracks : 436494 (6.7%)
1800.00/1800.51 c delayed cutoffs : 278860
1800.00/1800.51 c repropagations : 6641282 (3572120 domain reductions, 278855 cutoffs)
1800.00/1800.51 c avg switch length: 4.66
1800.00/1800.51 c switching time : 80.90
1800.00/1800.51 c Solution :
1800.00/1800.51 c Solutions found : 1 (1 improvements)
1800.00/1800.51 c First Solution : +1.10300000000000e+03 (in run 1, after 3603501 nodes, 474.66 seconds, depth 81, found by <relaxation>)
1800.00/1800.51 c Primal Bound : +1.10300000000000e+03 (in run 1, after 3603501 nodes, 474.66 seconds, depth 81, found by <relaxation>)
1800.00/1800.51 c Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Gap : infinite
1800.00/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664242-1276618519/watcher-2664242-1276618519 -o /tmp/evaluation-result-2664242-1276618519/solver-2664242-1276618519 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664242-1276618519.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10490
/proc/meminfo: memFree=1758648/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=6584 CPUtime=0
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 1062 0 0 0 0 0 0 0 25 0 1 0 3145390 6742016 984 1992294400 4194304 7136930 140734360090048 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10490/statm: 1646 994 254 719 0 925 0
[startup+0.101799 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10490
/proc/meminfo: memFree=1758648/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=11560 CPUtime=0.1
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 2835 0 0 0 8 2 0 0 25 0 1 0 3145390 11837440 2147 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 2890 2147 383 719 0 2169 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11560
[startup+0.200809 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10490
/proc/meminfo: memFree=1758648/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=11968 CPUtime=0.19
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 2944 0 0 0 16 3 0 0 25 0 1 0 3145390 12255232 2256 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 2992 2256 383 719 0 2271 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11968
[startup+0.300818 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10490
/proc/meminfo: memFree=1758648/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=12128 CPUtime=0.29
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 3007 0 0 0 25 4 0 0 25 0 1 0 3145390 12419072 2319 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 3032 2319 383 719 0 2311 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12128
[startup+0.700858 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10490
/proc/meminfo: memFree=1758648/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=13688 CPUtime=0.69
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 3397 0 0 0 61 8 0 0 25 0 1 0 3145390 14016512 2709 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 3422 2709 383 719 0 2701 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13688
[startup+1.50093 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10491
/proc/meminfo: memFree=1748100/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=16072 CPUtime=1.49
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 4002 0 0 0 133 16 0 0 25 0 1 0 3145390 16457728 3314 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 4018 3314 383 719 0 3297 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16072
[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10491
/proc/meminfo: memFree=1744628/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=20732 CPUtime=3.09
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 5224 0 0 0 279 30 0 0 25 0 1 0 3145390 21229568 4536 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 5183 4536 383 719 0 4462 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20732
[startup+6.3014 s]
/proc/loadavg: 1.08 1.02 1.01 2/106 10493
/proc/meminfo: memFree=1734832/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=29732 CPUtime=6.29
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 7537 0 0 0 570 59 0 0 25 0 1 0 3145390 30445568 6849 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 7433 6849 383 719 0 6712 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29732
[startup+12.701 s]
/proc/loadavg: 1.08 1.02 1.00 2/106 10493
/proc/meminfo: memFree=1713256/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=52200 CPUtime=12.69
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 12815 0 0 0 1145 124 0 0 25 0 1 0 3145390 53452800 12127 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 13050 12127 383 719 0 12329 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52200
[startup+25.5012 s]
/proc/loadavg: 1.06 1.02 1.00 2/106 10493
/proc/meminfo: memFree=1676428/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=86124 CPUtime=25.48
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 21596 0 0 0 2315 233 0 0 25 0 1 0 3145390 88190976 20908 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 21531 20908 383 719 0 20810 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86124
[startup+51.1007 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 10493
/proc/meminfo: memFree=1606740/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=157400 CPUtime=51.08
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 39095 0 0 0 4638 470 0 0 25 0 1 0 3145390 161177600 38407 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 39350 38407 383 719 0 38629 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 157400
[startup+102.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 10495
/proc/meminfo: memFree=1451616/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=313284 CPUtime=102.27
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 77456 0 0 0 9251 976 0 0 25 0 1 0 3145390 320802816 76768 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 78321 76768 383 719 0 77600 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 313284
[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10497
/proc/meminfo: memFree=1322160/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=438244 CPUtime=162.25
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 109747 0 0 0 14772 1453 0 0 25 0 1 0 3145390 448761856 109059 1992294400 4194304 7136930 140734360090048 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 109561 109059 383 719 0 108840 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 438244
[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10497
/proc/meminfo: memFree=1178692/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=591584 CPUtime=222.24
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 145545 0 0 0 20239 1985 0 0 25 0 1 0 3145390 605782016 144857 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 147896 144857 383 719 0 147175 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 591584
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10499
/proc/meminfo: memFree=1022576/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=742688 CPUtime=282.21
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 184965 0 0 0 25685 2536 0 0 25 0 1 0 3145390 760512512 184277 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 185672 184277 383 719 0 184951 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 742688
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10501
/proc/meminfo: memFree=859764/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=929256 CPUtime=342.19
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 225053 0 0 0 31120 3099 0 0 25 0 1 0 3145390 951558144 224365 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 232314 224365 383 719 0 231593 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 929256
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10503
/proc/meminfo: memFree=689884/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1094512 CPUtime=402.18
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 268062 0 0 0 36530 3688 0 0 25 0 1 0 3145390 1120780288 267374 1992294400 4194304 7136930 140734360090048 18446744073709551615 4979010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 273628 267374 383 719 0 272907 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1094512
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10505
/proc/meminfo: memFree=512688/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1263736 CPUtime=462.16
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 312075 0 0 0 41934 4282 0 0 25 0 1 0 3145390 1294065664 311387 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 315934 311387 383 719 0 315213 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1263736
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10505
/proc/meminfo: memFree=330284/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1438536 CPUtime=522.15
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 357508 0 0 0 47346 4869 0 0 25 0 1 0 3145390 1473060864 356820 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359634 356820 383 719 0 358913 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1438536
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10507
/proc/meminfo: memFree=327556/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=582.13
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371476 0 0 0 53033 5180 0 0 25 0 1 0 3145390 1473736704 356973 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356973 383 719 0 359078 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1439196
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10509
/proc/meminfo: memFree=327432/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=642.12
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371484 0 0 0 58704 5508 0 0 25 0 1 0 3145390 1473736704 356981 1992294400 4194304 7136930 140734360090048 18446744073709551615 4704829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356981 383 719 0 359078 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1439196
[startup+702.301 s]
################
# More data... #
################
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371490 0 0 0 98225 7975 0 0 25 0 1 0 3145390 1473736704 356987 1992294400 4194304 7136930 140734360090048 18446744073709551615 4978982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356987 383 719 0 359078 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1439196
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10524
/proc/meminfo: memFree=326068/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1121.98
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371490 0 0 0 103842 8356 0 0 25 0 1 0 3145390 1473736704 356987 1992294400 4194304 7136930 140734360090048 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356987 383 719 0 359078 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1439196
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10526
/proc/meminfo: memFree=326068/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1181.97
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371490 0 0 0 109474 8723 0 0 25 0 1 0 3145390 1473736704 356987 1992294400 4194304 7136930 140734360090048 18446744073709551615 5919185 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356987 383 719 0 359078 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1439196
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10528
/proc/meminfo: memFree=325944/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1241.95
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371490 0 0 0 115093 9102 0 0 25 0 1 0 3145390 1473736704 356987 1992294400 4194304 7136930 140734360090048 18446744073709551615 5908947 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356987 383 719 0 359078 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1439196
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10530
/proc/meminfo: memFree=325820/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1301.93
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371490 0 0 0 120726 9467 0 0 25 0 1 0 3145390 1473736704 356987 1992294400 4194304 7136930 140734360090048 18446744073709551615 4948426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356987 383 719 0 359078 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1439196
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10532
/proc/meminfo: memFree=325696/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1361.92
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371490 0 0 0 126357 9835 0 0 25 0 1 0 3145390 1473736704 356987 1992294400 4194304 7136930 140734360090048 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356987 383 719 0 359078 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1439196
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10532
/proc/meminfo: memFree=325572/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1421.91
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371492 0 0 0 132006 10185 0 0 25 0 1 0 3145390 1473736704 356989 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356989 383 719 0 359078 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1439196
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10534
/proc/meminfo: memFree=325448/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1481.88
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371492 0 0 0 137640 10548 0 0 25 0 1 0 3145390 1473736704 356989 1992294400 4194304 7136930 140734360090048 18446744073709551615 4240357 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356989 383 719 0 359078 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1439196
[startup+1542.31 s]
/proc/loadavg: 1.06 1.01 1.00 2/106 10536
/proc/meminfo: memFree=325448/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1541.88
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371492 0 0 0 143268 10920 0 0 25 0 1 0 3145390 1473736704 356989 1992294400 4194304 7136930 140734360090048 18446744073709551615 5918634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356989 383 719 0 359078 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1439196
[startup+1602.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 10538
/proc/meminfo: memFree=325448/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1601.85
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371492 0 0 0 148907 11278 0 0 25 0 1 0 3145390 1473736704 356989 1992294400 4194304 7136930 140734360090048 18446744073709551615 4240452 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356989 383 719 0 359078 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1439196
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10540
/proc/meminfo: memFree=325448/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1661.83
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371492 0 0 0 154548 11635 0 0 25 0 1 0 3145390 1473736704 356989 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356989 383 719 0 359078 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1439196
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10540
/proc/meminfo: memFree=325200/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1721.81
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371494 0 0 0 160202 11979 0 0 25 0 1 0 3145390 1473736704 356991 1992294400 4194304 7136930 140734360090048 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356991 383 719 0 359078 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1439196
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10542
/proc/meminfo: memFree=324952/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1781.8
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371494 0 0 0 165828 12352 0 0 25 0 1 0 3145390 1473736704 356991 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356991 383 719 0 359078 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1439196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10542
/proc/meminfo: memFree=324952/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1800
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371494 0 0 0 167531 12469 0 0 25 0 1 0 3145390 1473736704 356991 1992294400 4194304 7136930 140734360090048 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356991 383 719 0 359078 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1439196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10490
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10543
/proc/meminfo: memFree=324944/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1800.99
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371500 0 0 0 167630 12469 0 0 25 0 1 0 3145390 1473736704 356997 1992294400 4194304 7136930 140734360090048 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356997 389 719 0 359078 0
Current children cumulated CPU time (s) 1800.99
Current children cumulated vsize (KiB) 1439196
[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10543
/proc/meminfo: memFree=324944/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1801.79
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371500 0 0 0 167710 12469 0 0 25 0 1 0 3145390 1473736704 356997 1992294400 4194304 7136930 140734360090048 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356997 389 719 0 359078 0
Current children cumulated CPU time (s) 1801.79
Current children cumulated vsize (KiB) 1439196
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10543
/proc/meminfo: memFree=324944/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=1439196 CPUtime=1801.99
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4202496 371500 0 0 0 167730 12469 0 0 25 0 1 0 3145390 1473736704 356997 1992294400 4194304 7136930 140734360090048 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10490/statm: 359799 356997 389 719 0 359078 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 1439196
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10543
/proc/meminfo: memFree=324944/2059040 swapFree=4192956/4192956
[pid=10490] ppid=10488 vsize=0 CPUtime=1802.09
/proc/10490/stat : 10490 (pbscip.linux.x8) R 10488 10490 10380 0 -1 4203524 371500 0 0 0 167731 12478 0 0 25 0 1 0 3145390 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/10490/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.14
CPU user time (s): 1677.32
CPU system time (s): 124.819
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1503192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1677.32
system time used= 124.819
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371500
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= 1
involuntary context switches= 4937
runsolver used 3.12552 second user time and 8.41172 second system time
The end