0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869518-1245176158.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/115 (87.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 5 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 115 variables (115 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c OPT-LIN
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = c 1620
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = c 1791
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = c 10000
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving problem
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 50 | 399k| 0 | 5 | 115 | 5 | 5 | 115 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 79 | 459k| 0 | 9 | 115 | 5 | 5 | 115 | 10 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 84 | 507k| 0 | 10 | 115 | 5 | 5 | 115 | 14 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 92 | 561k| 0 | 13 | 115 | 5 | 5 | 115 | 19 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.06/0.07 c 0.1s| 1 | 0 | 99 | 610k| 0 | 17 | 115 | 5 | 5 | 115 | 22 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.06/0.09 c 0.1s| 1 | 0 | 111 | 627k| 0 | 16 | 115 | 5 | 5 | 115 | 26 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.11 c 0.1s| 1 | 0 | 130 | 651k| 0 | 12 | 115 | 5 | 5 | 115 | 30 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.16 c 0.1s| 1 | 2 | 130 | 652k| 0 | 12 | 115 | 5 | 5 | 115 | 30 | 25 | 0 | 12 | 0.000000e+00 | -- | Inf
0.19/0.23 o 511
0.19/0.23 c c 0.2s| 24 | 25 | 287 | 704k| 23 | - | 115 | 5 | 0 | 115 | 14 | 25 | 2 | 134 | 0.000000e+00 | 5.110000e+02 | Inf
0.19/0.26 o 240
0.19/0.26 c p 0.2s| 38 | 39 | 366 | 707k| 23 | - | 115 | 5 | 2 | 115 | 14 | 25 | 2 | 184 | 0.000000e+00 | 2.400000e+02 | Inf
0.19/0.28 o 189
0.19/0.28 c f 0.2s| 52 | 53 | 512 | 724k| 23 | - | 115 | 5 | 1 | 115 | 14 | 25 | 3 | 216 | 0.000000e+00 | 1.890000e+02 | Inf
0.29/0.34 o 187
0.29/0.34 c l 0.3s| 111 | 103 | 814 | 743k| 31 | - | 115 | 7 | 0 | 115 | 14 | 25 | 7 | 346 | 0.000000e+00 | 1.870000e+02 | Inf
0.29/0.37 o 181
0.29/0.37 c c 0.3s| 142 | 132 | 953 | 757k| 31 | - | 115 | 7 | 4 | 115 | 14 | 25 | 7 | 376 | 0.000000e+00 | 1.810000e+02 | Inf
0.39/0.44 o 135
0.39/0.44 c g 0.4s| 271 | 224 | 1541 | 796k| 31 | - | 115 | 7 | 3 | 115 | 14 | 25 | 9 | 427 | 0.000000e+00 | 1.350000e+02 | Inf
0.39/0.47 o 134
0.39/0.47 c * 0.4s| 301 | 251 | 1683 | 808k| 35 | - | 115 | 7 | 0 | 115 | 14 | 25 | 9 | 470 | 0.000000e+00 | 1.340000e+02 | Inf
0.39/0.47 o 132
0.39/0.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.47 c * 0.4s| 302 | 250 | 1684 | 810k| 35 | - | 115 | 7 | 0 | 115 | 14 | 25 | 9 | 470 | 0.000000e+00 | 1.320000e+02 | Inf
0.49/0.51 o 130
0.49/0.51 c * 0.5s| 358 | 297 | 2140 | 844k| 37 | - | 115 | 13 | 3 | 115 | 14 | 25 | 16 | 522 | 0.000000e+00 | 1.300000e+02 | Inf
0.49/0.53 o 128
0.49/0.53 c * 0.5s| 388 | 315 | 2233 | 856k| 37 | - | 115 | 13 | 1 | 115 | 14 | 25 | 17 | 558 | 0.000000e+00 | 1.280000e+02 | Inf
0.49/0.56 o 122
0.49/0.56 c * 0.5s| 439 | 350 | 2407 | 871k| 37 | - | 115 | 10 | 5 | 115 | 14 | 25 | 18 | 578 | 0.000000e+00 | 1.220000e+02 | Inf
0.49/0.59 o 121
0.49/0.59 c * 0.6s| 498 | 407 | 2639 | 898k| 37 | - | 115 | 10 | 0 | 115 | 14 | 25 | 20 | 591 | 0.000000e+00 | 1.210000e+02 | Inf
0.59/0.65 o 119
0.59/0.65 c * 0.6s| 620 | 497 | 3032 | 942k| 37 | - | 115 | 10 | 1 | 115 | 14 | 25 | 20 | 605 | 0.000000e+00 | 1.190000e+02 | Inf
0.59/0.65 o 117
0.59/0.65 c * 0.6s| 621 | 495 | 3033 | 941k| 37 | - | 115 | 10 | 1 | 115 | 14 | 25 | 20 | 605 | 0.000000e+00 | 1.170000e+02 | Inf
0.89/0.91 o 72
0.89/0.91 c C 0.8s| 821 | 665 | 4068 |1003k| 37 | 5 | 115 | 14 | 9 | 115 | 14 | 25 | 33 | 624 | 0.000000e+00 | 7.200000e+01 | Inf
1.39/1.41 o 70
1.39/1.41 c g 1.3s| 1700 | 1495 | 8469 |1409k| 37 | - | 115 | 35 | 11 | 115 | 14 | 25 | 117 | 648 | 0.000000e+00 | 7.000000e+01 | Inf
1.69/1.72 o 68
1.69/1.72 c v 1.6s| 2238 | 1998 | 11403 |1643k| 37 | - | 115 | 48 | 13 | 115 | 14 | 25 | 185 | 654 | 0.000000e+00 | 6.800000e+01 | Inf
1.69/1.74 o 67
1.69/1.74 c * 1.6s| 2259 | 2013 | 11507 |1646k| 37 | - | 115 | 48 | 19 | 115 | 14 | 25 | 185 | 656 | 0.000000e+00 | 6.700000e+01 | Inf
1.89/1.90 o 50
1.89/1.90 c g 1.8s| 2513 | 2210 | 12924 |1732k| 37 | - | 115 | 48 | 20 | 115 | 14 | 25 | 209 | 658 | 0.000000e+00 | 5.000000e+01 | Inf
2.49/2.53 o 49
2.49/2.53 c l 2.3s| 3401 | 3040 | 18182 |2068k| 37 | - | 115 | 49 | 2 | 115 | 14 | 25 | 337 | 682 | 0.000000e+00 | 4.900000e+01 | Inf
2.79/2.84 o 48
2.79/2.84 c p 2.6s| 3806 | 3411 | 20852 |2238k| 37 | - | 115 | 51 | 3 | 115 | 14 | 25 | 391 | 689 | 0.000000e+00 | 4.800000e+01 | Inf
2.99/3.06 o 46
2.99/3.06 c * 2.8s| 4107 | 3661 | 22668 |2343k| 37 | - | 115 | 50 | 8 | 115 | 14 | 25 | 432 | 694 | 0.000000e+00 | 4.600000e+01 | Inf
2.99/3.06 o 44
2.99/3.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.06 c * 2.8s| 4108 | 3648 | 22669 |2338k| 37 | - | 115 | 50 | 7 | 115 | 14 | 25 | 432 | 695 | 0.000000e+00 | 4.400000e+01 | Inf
3.38/3.41 o 42
3.38/3.41 c v 3.1s| 4531 | 3997 | 25584 |2499k| 37 | - | 115 | 51 | 2 | 115 | 14 | 25 | 517 | 699 | 0.000000e+00 | 4.200000e+01 | Inf
3.68/3.70 o 40
3.68/3.70 c l 3.4s| 4926 | 4302 | 28165 |2634k| 37 | - | 115 | 48 | 2 | 115 | 14 | 25 | 574 | 703 | 0.000000e+00 | 4.000000e+01 | Inf
4.68/4.78 o 39
4.68/4.78 c p 4.4s| 6414 | 5447 | 37198 |3213k| 37 | - | 115 | 43 | 1 | 115 | 14 | 25 | 803 | 713 | 0.000000e+00 | 3.900000e+01 | Inf
4.78/4.86 o 38
4.78/4.86 c p 4.5s| 6538 | 5535 | 37889 |3255k| 37 | - | 115 | 42 | 0 | 115 | 14 | 25 | 818 | 716 | 0.000000e+00 | 3.800000e+01 | Inf
5.88/5.91 o 37
5.88/5.91 c l 5.5s| 8027 | 6665 | 46784 |3850k| 37 | - | 115 | 44 | 1 | 115 | 14 | 25 |1061 | 746 | 0.000000e+00 | 3.700000e+01 | Inf
5.88/5.93 o 35
5.88/5.93 c * 5.5s| 8061 | 6647 | 46896 |3831k| 37 | - | 115 | 44 | 1 | 115 | 14 | 25 |1063 | 761 | 0.000000e+00 | 3.500000e+01 | Inf
7.09/7.13 c 6.6s| 10000 | 8030 | 57077 |4635k| 37 | 5 | 115 | 44 | 10 | 115 | 14 | 25 |1352 | 820 | 0.000000e+00 | 3.500000e+01 | Inf
7.28/7.31 o 34
7.28/7.31 c * 6.8s| 10333 | 8194 | 58757 |4733k| 37 | - | 115 | 48 | 0 | 115 | 14 | 25 |1381 | 825 | 0.000000e+00 | 3.400000e+01 | Inf
7.59/7.63 o 33
7.59/7.63 c p 7.1s| 10910 | 8525 | 61486 |4971k| 37 | - | 115 | 47 | 3 | 115 | 14 | 25 |1448 | 849 | 0.000000e+00 | 3.300000e+01 | Inf
8.08/8.11 o 32
8.08/8.11 c f 7.5s| 11748 | 8587 | 65708 |4869k| 37 | - | 115 | 45 | 1 | 115 | 14 | 25 |1566 | 876 | 0.000000e+00 | 3.200000e+01 | Inf
8.48/8.54 o 31
8.48/8.54 c * 7.9s| 12491 | 9065 | 69264 |5113k| 37 | - | 115 | 41 | 0 | 115 | 14 | 25 |1706 | 921 | 0.000000e+00 | 3.100000e+01 | Inf
8.48/8.54 o 29
8.48/8.54 c * 7.9s| 12492 | 9005 | 69267 |5060k| 37 | - | 115 | 41 | 0 | 115 | 14 | 25 |1706 | 921 | 0.000000e+00 | 2.900000e+01 | Inf
10.58/10.68 o 28
10.58/10.68 c * 9.9s| 16506 | 11540 | 86923 |6431k| 37 | - | 115 | 47 | 2 | 115 | 14 | 25 |2292 |1074 | 0.000000e+00 | 2.800000e+01 | Inf
10.58/10.68 o 26
10.58/10.68 c * 9.9s| 16507 | 11428 | 86925 |6344k| 37 | - | 115 | 47 | 2 | 115 | 14 | 25 |2292 |1074 | 0.000000e+00 | 2.600000e+01 | Inf
10.68/10.79 o 25
10.68/10.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.68/10.79 c *10.0s| 16748 | 11473 | 87817 |6345k| 37 | - | 115 | 46 | 0 | 115 | 14 | 25 |2310 |1082 | 0.000000e+00 | 2.500000e+01 | Inf
11.98/12.02 o 23
11.98/12.02 c *11.1s| 18706 | 12465 | 96071 |6876k| 37 | - | 115 | 48 | 0 | 115 | 14 | 25 |2593 |1145 | 0.000000e+00 | 2.300000e+01 | Inf
11.98/12.02 o 21
11.98/12.02 c *11.1s| 18707 | 12270 | 96071 |6707k| 37 | - | 115 | 48 | 0 | 115 | 14 | 25 |2593 |1145 | 0.000000e+00 | 2.100000e+01 | Inf
12.59/12.61 c 11.6s| 20000 | 12935 |101326 |7127k| 37 | 5 | 115 | 54 | 9 | 115 | 14 | 25 |2775 |1187 | 0.000000e+00 | 2.100000e+01 | Inf
13.09/13.16 o 17
13.09/13.16 c g12.2s| 21337 | 12907 |106111 |7063k| 37 | - | 115 | 52 | 1 | 115 | 14 | 25 |2924 |1250 | 0.000000e+00 | 1.700000e+01 | Inf
13.09/13.17 o 15
13.09/13.17 c *12.2s| 21350 | 11731 |106165 |6405k| 37 | - | 115 | 52 | 0 | 115 | 14 | 25 |2928 |1253 | 0.000000e+00 | 1.500000e+01 | Inf
13.09/13.17 o 13
13.09/13.17 c *12.2s| 21353 | 11411 |106169 |6175k| 37 | - | 115 | 45 | 11 | 115 | 14 | 25 |2928 |1259 | 0.000000e+00 | 1.300000e+01 | Inf
13.09/13.19 o 11
13.09/13.19 c *12.2s| 21394 | 11082 |106309 |5924k| 37 | - | 115 | 45 | 3 | 115 | 14 | 25 |2934 |1265 | 0.000000e+00 | 1.100000e+01 | Inf
13.09/13.19 o 9
13.09/13.19 c *12.2s| 21395 | 10673 |106310 |5620k| 37 | - | 115 | 45 | 3 | 115 | 14 | 25 |2934 |1265 | 0.000000e+00 | 9.000000e+00 | Inf
16.28/16.34 c 15.1s| 30000 | 13052 |134837 |6953k| 37 | - | 115 | 71 | 6 | 0 | 0 | 25 |3503 |1593 | 0.000000e+00 | 9.000000e+00 | Inf
16.49/16.53 o 8
16.49/16.53 c *15.3s| 30549 | 12895 |136563 |6812k| 37 | - | 115 | 73 | 1 | 115 | 14 | 25 |3552 |1621 | 0.000000e+00 | 8.000000e+00 | Inf
19.69/19.79 c 18.3s| 40000 | 14790 |166987 |7884k| 37 | - | 115 | 106 | 8 | 0 | 0 | 25 |4139 |1855 | 0.000000e+00 | 8.000000e+00 | Inf
22.99/23.01 o 7
22.99/23.01 c *21.2s| 49086 | 16646 |196410 |8819k| 37 | - | 115 | 145 | 0 | 115 | 14 | 25 |4688 |2013 | 0.000000e+00 | 7.000000e+00 | Inf
23.28/23.38 c 21.6s| 50000 | 17079 |199621 |9010k| 37 | 5 | 115 | 160 | 6 | 115 | 14 | 25 |4750 |2021 | 0.000000e+00 | 7.000000e+00 | Inf
26.98/27.07 c 25.0s| 60000 | 20313 |234005 | 10M| 37 | - | 115 | 224 | 6 | 115 | 14 | 25 |5368 |2192 | 0.000000e+00 | 7.000000e+00 | Inf
30.28/30.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.28/30.36 c 28.0s| 70000 | 22527 |264766 | 11M| 37 | 5 | 115 | 212 | 26 | 115 | 14 | 25 |5850 |2359 | 0.000000e+00 | 7.000000e+00 | Inf
33.37/33.42 c 30.8s| 80000 | 23446 |293472 | 12M| 37 | 5 | 115 | 189 | 15 | 115 | 14 | 25 |6330 |2509 | 0.000000e+00 | 7.000000e+00 | Inf
35.17/35.22 o 5
35.17/35.22 c *32.5s| 85684 | 23471 |310030 | 12M| 37 | - | 115 | 176 | 3 | 115 | 14 | 25 |6668 |2621 | 0.000000e+00 | 5.000000e+00 | Inf
36.38/36.47 c 33.6s| 90000 | 23506 |321323 | 12M| 37 | 5 | 115 | 172 | 12 | 115 | 14 | 25 |6843 |2739 | 0.000000e+00 | 5.000000e+00 | Inf
39.47/39.52 c 36.4s|100000 | 24341 |349153 | 12M| 37 | 5 | 115 | 171 | 7 | 115 | 14 | 25 |7312 |3034 | 0.000000e+00 | 5.000000e+00 | Inf
42.37/42.41 c 39.1s|110000 | 24199 |375300 | 12M| 37 | 5 | 115 | 175 | 20 | 115 | 14 | 25 |7775 |3270 | 0.000000e+00 | 5.000000e+00 | Inf
45.36/45.41 c 41.8s|120000 | 24624 |402432 | 13M| 37 | - | 115 | 168 | 5 | 115 | 14 | 25 |8212 |3539 | 0.000000e+00 | 5.000000e+00 | Inf
48.47/48.50 c 44.7s|130000 | 26130 |431485 | 14M| 37 | 5 | 115 | 187 | 16 | 115 | 14 | 25 |8714 |3813 | 0.000000e+00 | 5.000000e+00 | Inf
51.47/51.58 c 47.5s|140000 | 27667 |460433 | 15M| 37 | 5 | 115 | 156 | 7 | 115 | 14 | 25 |9183 |4025 | 0.000000e+00 | 5.000000e+00 | Inf
54.47/54.50 c 50.2s|150000 | 28461 |487846 | 15M| 37 | 5 | 115 | 157 | 5 | 115 | 14 | 25 |9567 |4262 | 0.000000e+00 | 5.000000e+00 | Inf
57.36/57.45 c 52.9s|160000 | 29058 |515621 | 16M| 37 | 5 | 115 | 144 | 6 | 115 | 14 | 25 |9992 |4474 | 0.000000e+00 | 5.000000e+00 | Inf
60.57/60.65 c 55.8s|170000 | 30372 |545551 | 16M| 37 | 5 | 115 | 135 | 6 | 115 | 14 | 25 | 10k|4693 | 0.000000e+00 | 5.000000e+00 | Inf
64.27/64.33 c 59.2s|180000 | 33737 |579591 | 18M| 37 | 5 | 115 | 140 | 5 | 115 | 14 | 25 | 10k|4873 | 0.000000e+00 | 5.000000e+00 | Inf
67.46/67.58 c 62.2s|190000 | 35972 |609866 | 19M| 37 | 5 | 115 | 147 | 6 | 115 | 14 | 25 | 11k|5090 | 0.000000e+00 | 5.000000e+00 | Inf
71.06/71.17 c 65.5s|200000 | 37416 |638814 | 20M| 37 | 5 | 115 | 105 | 13 | 115 | 14 | 25 | 11k|5322 | 0.000000e+00 | 5.000000e+00 | Inf
74.36/74.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.36/74.41 c 68.5s|210000 | 39754 |669478 | 21M| 37 | - | 115 | 112 | 14 | 115 | 14 | 25 | 12k|5475 | 0.000000e+00 | 5.000000e+00 | Inf
77.26/77.39 c 71.2s|220000 | 40709 |697824 | 22M| 37 | 5 | 115 | 101 | 9 | 115 | 14 | 25 | 13k|5640 | 0.000000e+00 | 5.000000e+00 | Inf
80.36/80.41 c 74.0s|230000 | 41810 |725212 | 23M| 37 | 5 | 115 | 111 | 5 | 115 | 14 | 25 | 13k|5794 | 0.000000e+00 | 5.000000e+00 | Inf
83.16/83.29 c 76.7s|240000 | 42357 |751326 | 23M| 37 | - | 115 | 109 | 6 | 115 | 14 | 25 | 14k|5927 | 0.000000e+00 | 5.000000e+00 | Inf
86.25/86.30 c 79.4s|250000 | 44027 |778668 | 24M| 37 | 5 | 115 | 110 | 6 | 115 | 14 | 25 | 14k|6044 | 0.000000e+00 | 5.000000e+00 | Inf
89.06/89.16 c 82.1s|260000 | 44759 |804675 | 25M| 37 | 5 | 115 | 100 | 8 | 115 | 14 | 25 | 15k|6181 | 0.000000e+00 | 5.000000e+00 | Inf
91.95/92.02 c 84.7s|270000 | 45202 |830924 | 25M| 37 | - | 115 | 104 | 5 | 115 | 14 | 25 | 15k|6293 | 0.000000e+00 | 5.000000e+00 | Inf
94.66/94.79 c 87.3s|280000 | 45186 |855735 | 25M| 37 | 5 | 115 | 100 | 5 | 115 | 14 | 25 | 15k|6419 | 0.000000e+00 | 5.000000e+00 | Inf
97.56/97.62 c 89.9s|290000 | 45303 |880916 | 26M| 37 | 5 | 115 | 103 | 6 | 115 | 14 | 25 | 16k|6537 | 0.000000e+00 | 5.000000e+00 | Inf
100.45/100.54 c 92.6s|300000 | 45875 |907007 | 26M| 37 | 5 | 115 | 92 | 6 | 115 | 14 | 25 | 16k|6676 | 0.000000e+00 | 5.000000e+00 | Inf
103.25/103.39 c 95.2s|310000 | 46268 |932795 | 26M| 37 | 5 | 115 | 86 | 6 | 115 | 14 | 25 | 17k|6820 | 0.000000e+00 | 5.000000e+00 | Inf
106.35/106.43 c 98.0s|320000 | 48035 |960903 | 27M| 37 | 5 | 115 | 99 | 6 | 115 | 14 | 25 | 18k|6982 | 0.000000e+00 | 5.000000e+00 | Inf
109.25/109.34 c 101s|330000 | 48989 |988080 | 28M| 37 | 5 | 115 | 94 | 8 | 115 | 14 | 25 | 18k|7162 | 0.000000e+00 | 5.000000e+00 | Inf
112.16/112.20 c 103s|340000 | 49935 | 1014k| 29M| 37 | - | 115 | 84 | 5 | 115 | 14 | 25 | 18k|7324 | 0.000000e+00 | 5.000000e+00 | Inf
114.95/115.07 c 106s|350000 | 50554 | 1040k| 29M| 37 | - | 115 | 86 | 6 | 0 | 0 | 25 | 19k|7508 | 0.000000e+00 | 5.000000e+00 | Inf
117.85/117.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.85/117.93 c 109s|360000 | 51186 | 1067k| 30M| 37 | 5 | 115 | 89 | 5 | 115 | 14 | 25 | 19k|7652 | 0.000000e+00 | 5.000000e+00 | Inf
120.64/120.75 c 111s|370000 | 51599 | 1093k| 30M| 37 | - | 115 | 84 | 5 | 115 | 14 | 25 | 20k|7838 | 0.000000e+00 | 5.000000e+00 | Inf
123.55/123.63 c 114s|380000 | 52208 | 1120k| 31M| 37 | 5 | 115 | 95 | 7 | 115 | 14 | 25 | 20k|7991 | 0.000000e+00 | 5.000000e+00 | Inf
126.35/126.44 c 116s|390000 | 52230 | 1146k| 31M| 37 | - | 115 | 90 | 5 | 115 | 14 | 25 | 21k|8147 | 0.000000e+00 | 5.000000e+00 | Inf
129.15/129.25 c 119s|400000 | 52113 | 1171k| 31M| 37 | 5 | 115 | 82 | 5 | 115 | 14 | 25 | 21k|8344 | 0.000000e+00 | 5.000000e+00 | Inf
132.04/132.11 c 122s|410000 | 52505 | 1198k| 31M| 37 | 5 | 115 | 89 | 7 | 115 | 14 | 25 | 22k|8494 | 0.000000e+00 | 5.000000e+00 | Inf
134.84/134.92 c 124s|420000 | 52513 | 1224k| 31M| 37 | - | 115 | 81 | 5 | 115 | 14 | 25 | 22k|8641 | 0.000000e+00 | 5.000000e+00 | Inf
137.64/137.70 c 127s|430000 | 52475 | 1249k| 32M| 37 | - | 115 | 87 | 7 | 115 | 14 | 25 | 23k|8806 | 0.000000e+00 | 5.000000e+00 | Inf
140.44/140.54 c 129s|440000 | 52560 | 1275k| 32M| 37 | 5 | 115 | 80 | 5 | 115 | 14 | 25 | 23k|9024 | 0.000000e+00 | 5.000000e+00 | Inf
143.24/143.39 c 132s|450000 | 52376 | 1301k| 32M| 37 | - | 115 | 83 | 7 | 115 | 14 | 25 | 24k|9262 | 0.000000e+00 | 5.000000e+00 | Inf
146.15/146.23 c 135s|460000 | 52127 | 1327k| 32M| 37 | 5 | 115 | 84 | 5 | 115 | 14 | 25 | 24k|9428 | 0.000000e+00 | 5.000000e+00 | Inf
148.94/149.03 c 137s|470000 | 51755 | 1353k| 32M| 37 | - | 115 | 81 | 6 | 115 | 14 | 25 | 25k|9593 | 0.000000e+00 | 5.000000e+00 | Inf
151.74/151.85 c 140s|480000 | 51659 | 1379k| 32M| 37 | - | 115 | 82 | 5 | 115 | 14 | 25 | 25k|9731 | 0.000000e+00 | 5.000000e+00 | Inf
154.54/154.62 c 142s|490000 | 51387 | 1405k| 32M| 37 | - | 115 | 80 | 5 | 115 | 14 | 25 | 26k|9914 | 0.000000e+00 | 5.000000e+00 | Inf
157.34/157.46 c 145s|500000 | 51193 | 1431k| 32M| 37 | 5 | 115 | 83 | 5 | 115 | 14 | 25 | 26k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
160.13/160.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.13/160.27 c 148s|510000 | 51252 | 1456k| 32M| 37 | - | 115 | 64 | 5 | 115 | 14 | 25 | 27k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
162.94/163.05 c 150s|520000 | 51077 | 1481k| 32M| 37 | 5 | 115 | 76 | 5 | 115 | 14 | 25 | 27k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
165.84/165.93 c 153s|530000 | 50901 | 1507k| 32M| 37 | - | 115 | 64 | 7 | 115 | 14 | 25 | 28k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
168.63/168.74 c 155s|540000 | 50873 | 1533k| 32M| 37 | 5 | 115 | 57 | 5 | 115 | 14 | 25 | 28k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
171.54/171.61 c 158s|550000 | 50915 | 1560k| 32M| 37 | - | 115 | 75 | 5 | 115 | 14 | 25 | 28k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
174.34/174.42 c 160s|560000 | 50804 | 1587k| 32M| 37 | 5 | 115 | 65 | 6 | 115 | 14 | 25 | 29k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
177.13/177.26 c 163s|570000 | 50762 | 1614k| 32M| 37 | 5 | 115 | 58 | 5 | 115 | 14 | 25 | 29k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
179.93/180.06 c 166s|580000 | 50644 | 1639k| 32M| 37 | 4 | 115 | 60 | 5 | 115 | 14 | 25 | 30k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
182.73/182.88 c 168s|590000 | 50503 | 1665k| 32M| 37 | - | 115 | 55 | 5 | 115 | 14 | 25 | 30k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
185.63/185.80 c 171s|600000 | 51078 | 1692k| 33M| 37 | - | 115 | 51 | 5 | 115 | 14 | 25 | 31k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
188.54/188.66 c 174s|610000 | 51142 | 1719k| 33M| 37 | 5 | 115 | 52 | 5 | 115 | 14 | 25 | 31k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
191.43/191.53 c 176s|620000 | 51252 | 1746k| 33M| 37 | - | 115 | 61 | 7 | 0 | 0 | 25 | 32k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
194.23/194.39 c 179s|630000 | 51645 | 1773k| 33M| 37 | 5 | 115 | 61 | 5 | 115 | 14 | 25 | 32k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
197.13/197.27 c 182s|640000 | 52351 | 1800k| 34M| 37 | - | 115 | 59 | 5 | 115 | 14 | 25 | 32k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
200.03/200.13 c 184s|650000 | 51971 | 1826k| 34M| 37 | 5 | 115 | 52 | 5 | 115 | 14 | 25 | 33k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
202.82/202.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.82/202.97 c 187s|660000 | 52091 | 1852k| 34M| 37 | 5 | 115 | 52 | 5 | 115 | 14 | 25 | 33k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
205.63/205.79 c 189s|670000 | 51786 | 1879k| 34M| 37 | 5 | 115 | 57 | 6 | 115 | 14 | 25 | 34k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
208.53/208.62 c 192s|680000 | 51900 | 1905k| 34M| 37 | 5 | 115 | 67 | 6 | 115 | 14 | 25 | 34k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
211.32/211.40 c 195s|690000 | 51351 | 1930k| 34M| 37 | - | 115 | 59 | 5 | 115 | 14 | 25 | 35k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
214.13/214.23 c 197s|700000 | 51394 | 1957k| 34M| 37 | - | 115 | 66 | 5 | 0 | 0 | 25 | 35k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
216.93/217.07 c 200s|710000 | 51127 | 1983k| 34M| 37 | 5 | 115 | 75 | 16 | 115 | 14 | 25 | 36k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
219.83/219.94 c 202s|720000 | 51352 | 2008k| 34M| 37 | 5 | 115 | 68 | 5 | 115 | 14 | 25 | 36k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
222.63/222.76 c 205s|730000 | 50673 | 2034k| 33M| 37 | - | 115 | 72 | 5 | 115 | 14 | 25 | 37k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
225.42/225.59 c 208s|740000 | 50680 | 2060k| 34M| 37 | 5 | 115 | 82 | 5 | 115 | 14 | 25 | 37k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
228.32/228.42 c 210s|750000 | 50305 | 2086k| 33M| 37 | - | 115 | 68 | 7 | 115 | 14 | 25 | 38k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
231.12/231.29 c 213s|760000 | 50629 | 2113k| 34M| 37 | 5 | 115 | 79 | 7 | 115 | 14 | 25 | 38k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
233.92/234.06 c 216s|770000 | 50113 | 2138k| 33M| 37 | - | 115 | 67 | 5 | 115 | 14 | 25 | 39k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
236.72/236.83 c 218s|780000 | 49500 | 2164k| 33M| 37 | - | 115 | 68 | 5 | 115 | 14 | 25 | 39k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
239.52/239.66 c 221s|790000 | 49388 | 2190k| 33M| 37 | 5 | 115 | 69 | 5 | 115 | 14 | 25 | 39k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
242.42/242.52 c 223s|800000 | 49748 | 2217k| 33M| 37 | - | 115 | 75 | 9 | 115 | 14 | 25 | 40k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
245.12/245.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.12/245.29 c 226s|810000 | 49248 | 2242k| 33M| 37 | - | 115 | 66 | 5 | 115 | 14 | 25 | 40k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
247.92/248.09 c 228s|820000 | 48734 | 2267k| 33M| 37 | 5 | 115 | 69 | 5 | 115 | 14 | 25 | 41k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
250.72/250.89 c 231s|830000 | 48812 | 2294k| 33M| 37 | - | 115 | 74 | 9 | 0 | 0 | 25 | 41k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
253.61/253.79 c 234s|840000 | 48838 | 2320k| 33M| 37 | - | 115 | 97 | 6 | 115 | 14 | 25 | 42k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
256.51/256.60 c 236s|850000 | 48524 | 2346k| 33M| 37 | - | 115 | 80 | 6 | 115 | 14 | 25 | 42k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
259.21/259.39 c 239s|860000 | 48450 | 2372k| 33M| 37 | 5 | 115 | 79 | 8 | 115 | 14 | 25 | 42k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
262.11/262.20 c 241s|870000 | 48313 | 2399k| 33M| 37 | - | 115 | 78 | 5 | 115 | 14 | 25 | 43k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
264.91/265.01 c 244s|880000 | 48071 | 2425k| 32M| 37 | 5 | 115 | 79 | 5 | 115 | 14 | 25 | 43k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
267.71/267.80 c 247s|890000 | 48033 | 2451k| 33M| 37 | - | 115 | 83 | 5 | 115 | 14 | 25 | 44k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
270.42/270.57 c 249s|900000 | 47860 | 2477k| 33M| 37 | - | 115 | 85 | 6 | 115 | 14 | 25 | 44k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
273.21/273.34 c 252s|910000 | 47871 | 2503k| 33M| 37 | - | 115 | 92 | 5 | 0 | 0 | 25 | 45k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
276.10/276.21 c 254s|920000 | 47993 | 2530k| 33M| 37 | - | 115 | 111 | 8 | 115 | 14 | 25 | 45k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
279.01/279.15 c 257s|930000 | 49131 | 2558k| 33M| 37 | 5 | 115 | 103 | 5 | 115 | 14 | 25 | 45k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
281.91/282.04 c 260s|940000 | 49602 | 2586k| 34M| 37 | 5 | 115 | 96 | 6 | 115 | 14 | 25 | 46k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
284.81/284.96 c 262s|950000 | 50232 | 2613k| 34M| 37 | 5 | 115 | 102 | 6 | 115 | 14 | 25 | 47k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
287.80/287.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.80/287.92 c 265s|960000 | 51495 | 2641k| 35M| 37 | 5 | 115 | 94 | 5 | 115 | 14 | 25 | 47k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
290.90/291.09 c 268s|970000 | 53875 | 2671k| 36M| 37 | 5 | 115 | 92 | 5 | 115 | 14 | 25 | 48k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
294.01/294.13 c 271s|980000 | 55467 | 2700k| 37M| 37 | 5 | 115 | 92 | 5 | 115 | 14 | 25 | 48k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
297.10/297.23 c 274s|990000 | 57469 | 2730k| 38M| 37 | 5 | 115 | 79 | 5 | 115 | 14 | 25 | 49k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
300.10/300.25 c 276s| 1000k| 58898 | 2759k| 39M| 37 | 5 | 115 | 81 | 5 | 115 | 14 | 25 | 49k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
303.10/303.21 c 279s| 1010k| 60105 | 2787k| 40M| 37 | - | 115 | 74 | 5 | 115 | 14 | 25 | 50k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
306.10/306.20 c 282s| 1020k| 61447 | 2815k| 41M| 37 | - | 115 | 71 | 5 | 115 | 14 | 25 | 50k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
308.91/309.10 c 285s| 1030k| 62465 | 2842k| 42M| 37 | - | 115 | 66 | 5 | 0 | 0 | 25 | 50k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
312.00/312.13 c 287s| 1040k| 63903 | 2872k| 42M| 37 | - | 115 | 76 | 5 | 0 | 0 | 25 | 51k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
314.90/315.01 c 290s| 1050k| 64475 | 2899k| 43M| 37 | - | 115 | 70 | 7 | 0 | 0 | 25 | 51k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
317.70/317.88 c 293s| 1060k| 65204 | 2926k| 43M| 37 | 5 | 115 | 61 | 5 | 115 | 14 | 25 | 52k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
320.60/320.78 c 295s| 1070k| 66083 | 2953k| 44M| 37 | - | 115 | 65 | 5 | 0 | 0 | 25 | 52k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
323.59/323.72 c 298s| 1080k| 66829 | 2980k| 45M| 37 | 5 | 115 | 71 | 5 | 115 | 14 | 25 | 53k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
326.40/326.57 c 301s| 1090k| 67332 | 3007k| 45M| 37 | 5 | 115 | 80 | 5 | 115 | 14 | 25 | 53k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
329.29/329.42 c 303s| 1100k| 67990 | 3034k| 46M| 37 | - | 115 | 81 | 5 | 115 | 14 | 25 | 54k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
332.10/332.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.10/332.28 c 306s| 1110k| 68353 | 3061k| 46M| 37 | 5 | 115 | 71 | 5 | 115 | 14 | 25 | 54k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
335.00/335.14 c 309s| 1120k| 68785 | 3087k| 46M| 37 | 5 | 115 | 78 | 5 | 115 | 14 | 25 | 55k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
337.89/338.03 c 311s| 1130k| 69480 | 3114k| 47M| 37 | - | 115 | 78 | 6 | 115 | 14 | 25 | 55k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
340.80/340.92 c 314s| 1140k| 70082 | 3141k| 47M| 37 | 5 | 115 | 85 | 5 | 115 | 14 | 25 | 56k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
343.60/343.79 c 317s| 1150k| 70579 | 3168k| 48M| 37 | - | 115 | 76 | 6 | 0 | 0 | 25 | 56k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
346.49/346.67 c 319s| 1160k| 71173 | 3195k| 48M| 37 | - | 115 | 78 | 6 | 115 | 14 | 25 | 57k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
349.40/349.54 c 322s| 1170k| 71805 | 3221k| 49M| 37 | 5 | 115 | 81 | 6 | 115 | 14 | 25 | 57k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
352.19/352.36 c 324s| 1180k| 72219 | 3248k| 49M| 37 | 5 | 115 | 84 | 5 | 115 | 14 | 25 | 58k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
355.10/355.22 c 327s| 1190k| 72404 | 3274k| 50M| 37 | 5 | 115 | 84 | 5 | 115 | 14 | 25 | 58k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
357.89/358.08 c 330s| 1200k| 72741 | 3300k| 50M| 37 | - | 115 | 95 | 6 | 0 | 0 | 25 | 59k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
360.78/360.97 c 332s| 1210k| 73485 | 3327k| 51M| 37 | - | 115 | 84 | 6 | 115 | 14 | 25 | 59k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
363.69/363.83 c 335s| 1220k| 74144 | 3354k| 51M| 37 | - | 115 | 86 | 9 | 0 | 0 | 25 | 60k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
366.58/366.70 c 338s| 1230k| 74442 | 3381k| 51M| 37 | - | 115 | 83 | 5 | 115 | 14 | 25 | 60k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
369.39/369.55 c 340s| 1240k| 74713 | 3408k| 52M| 37 | 5 | 115 | 88 | 6 | 115 | 14 | 25 | 61k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
372.18/372.39 c 343s| 1250k| 75257 | 3434k| 52M| 37 | 5 | 115 | 94 | 7 | 115 | 14 | 25 | 61k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
375.09/375.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.09/375.21 c 345s| 1260k| 75538 | 3460k| 52M| 37 | - | 115 | 88 | 6 | 115 | 14 | 25 | 61k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
377.89/378.08 c 348s| 1270k| 75788 | 3487k| 53M| 37 | 5 | 115 | 90 | 7 | 115 | 14 | 25 | 62k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
380.78/380.93 c 351s| 1280k| 76072 | 3514k| 53M| 37 | - | 115 | 90 | 5 | 115 | 14 | 25 | 62k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
383.58/383.77 c 353s| 1290k| 76059 | 3540k| 53M| 37 | - | 115 | 93 | 5 | 115 | 14 | 25 | 63k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
386.48/386.61 c 356s| 1300k| 76343 | 3567k| 54M| 37 | - | 115 | 86 | 8 | 115 | 14 | 25 | 63k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
389.29/389.44 c 358s| 1310k| 76449 | 3594k| 54M| 37 | 5 | 115 | 78 | 5 | 115 | 14 | 25 | 64k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
392.08/392.26 c 361s| 1320k| 76580 | 3621k| 54M| 37 | 5 | 115 | 85 | 7 | 115 | 14 | 25 | 64k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
394.88/395.06 c 364s| 1330k| 76508 | 3647k| 54M| 37 | 5 | 115 | 82 | 5 | 115 | 14 | 25 | 64k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
397.78/397.93 c 366s| 1340k| 76633 | 3674k| 54M| 37 | - | 115 | 93 | 11 | 115 | 14 | 25 | 65k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
400.57/400.76 c 369s| 1350k| 76518 | 3700k| 54M| 37 | 5 | 115 | 86 | 6 | 115 | 14 | 25 | 65k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
403.49/403.64 c 372s| 1360k| 76383 | 3726k| 55M| 37 | 5 | 115 | 71 | 5 | 115 | 14 | 25 | 66k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
406.27/406.46 c 374s| 1370k| 76100 | 3752k| 55M| 37 | 5 | 115 | 74 | 5 | 115 | 14 | 25 | 66k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
409.08/409.28 c 377s| 1380k| 76081 | 3779k| 55M| 37 | - | 115 | 69 | 6 | 115 | 14 | 25 | 67k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
411.98/412.13 c 379s| 1390k| 76647 | 3807k| 55M| 37 | 5 | 115 | 75 | 6 | 115 | 14 | 25 | 67k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
414.78/414.93 c 382s| 1400k| 76752 | 3834k| 55M| 37 | - | 115 | 72 | 6 | 115 | 14 | 25 | 68k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
417.57/417.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.57/417.72 c 385s| 1410k| 76620 | 3859k| 55M| 37 | 5 | 115 | 70 | 5 | 115 | 14 | 25 | 68k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
418.27/418.49 o 4
418.27/418.49 c * 385s| 1412k| 75348 | 3866k| 53M| 37 | - | 115 | 66 | 1 | 115 | 14 | 25 | 68k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
420.38/420.51 c 387s| 1420k| 75585 | 3886k| 54M| 37 | 5 | 115 | 81 | 10 | 115 | 14 | 25 | 68k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
423.07/423.22 c 390s| 1430k| 75309 | 3912k| 54M| 37 | 5 | 115 | 88 | 8 | 115 | 14 | 25 | 69k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
425.77/425.98 c 392s| 1440k| 75384 | 3939k| 54M| 37 | 5 | 115 | 84 | 6 | 115 | 14 | 25 | 69k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
428.57/428.74 c 395s| 1450k| 75359 | 3967k| 54M| 37 | - | 115 | 85 | 5 | 115 | 14 | 25 | 70k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
431.27/431.45 c 397s| 1460k| 75626 | 3993k| 54M| 37 | - | 115 | 77 | 5 | 115 | 14 | 25 | 70k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
433.97/434.19 c 400s| 1470k| 75661 | 4020k| 54M| 37 | - | 115 | 87 | 5 | 115 | 14 | 25 | 71k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
436.77/436.96 c 402s| 1480k| 75956 | 4048k| 55M| 37 | - | 115 | 78 | 9 | 0 | 0 | 25 | 71k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
439.47/439.68 c 405s| 1490k| 75783 | 4075k| 55M| 37 | 5 | 115 | 81 | 6 | 115 | 14 | 25 | 71k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
442.37/442.50 c 407s| 1500k| 76502 | 4102k| 55M| 37 | - | 115 | 86 | 5 | 115 | 14 | 25 | 72k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
445.06/445.20 c 410s| 1510k| 76335 | 4128k| 55M| 37 | 5 | 115 | 93 | 8 | 115 | 14 | 25 | 72k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
447.76/447.92 c 412s| 1520k| 76095 | 4154k| 55M| 37 | 5 | 115 | 83 | 7 | 115 | 14 | 25 | 73k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
450.36/450.58 c 415s| 1530k| 76385 | 4180k| 55M| 37 | 5 | 115 | 92 | 5 | 115 | 14 | 25 | 73k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
453.16/453.34 c 417s| 1540k| 76916 | 4206k| 56M| 37 | - | 115 | 81 | 6 | 0 | 0 | 25 | 74k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
455.87/456.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.87/456.00 c 420s| 1550k| 76760 | 4232k| 56M| 37 | - | 115 | 84 | 8 | 115 | 14 | 25 | 74k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
458.47/458.69 c 422s| 1560k| 76437 | 4258k| 56M| 37 | 5 | 115 | 73 | 5 | 115 | 14 | 25 | 74k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
461.26/461.42 c 425s| 1570k| 76224 | 4284k| 56M| 37 | - | 115 | 95 | 5 | 115 | 14 | 25 | 75k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
463.97/464.15 c 427s| 1580k| 75803 | 4309k| 56M| 37 | - | 115 | 99 | 6 | 115 | 14 | 25 | 75k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
466.66/466.86 c 430s| 1590k| 75631 | 4336k| 56M| 37 | 5 | 115 | 89 | 5 | 115 | 14 | 25 | 76k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
469.46/469.60 c 432s| 1600k| 75664 | 4363k| 56M| 37 | 5 | 115 | 98 | 5 | 115 | 14 | 25 | 76k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
472.16/472.32 c 435s| 1610k| 75295 | 4389k| 56M| 37 | 5 | 115 | 94 | 7 | 115 | 14 | 25 | 77k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
474.76/474.99 c 437s| 1620k| 75003 | 4415k| 56M| 37 | - | 115 | 89 | 6 | 115 | 14 | 25 | 77k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
477.46/477.63 c 440s| 1630k| 74623 | 4440k| 55M| 37 | 5 | 115 | 80 | 5 | 115 | 14 | 25 | 77k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
480.16/480.39 c 442s| 1640k| 74598 | 4466k| 55M| 37 | - | 115 | 81 | 8 | 115 | 14 | 25 | 78k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
482.96/483.13 c 445s| 1650k| 74500 | 4494k| 56M| 37 | - | 115 | 93 | 9 | 115 | 14 | 25 | 78k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
485.66/485.87 c 447s| 1660k| 74500 | 4520k| 56M| 37 | - | 115 | 102 | 5 | 115 | 14 | 25 | 79k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
488.35/488.60 c 450s| 1670k| 74960 | 4546k| 56M| 37 | 5 | 115 | 100 | 5 | 115 | 14 | 25 | 79k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
491.06/491.27 c 452s| 1680k| 74646 | 4571k| 56M| 37 | - | 115 | 110 | 9 | 115 | 14 | 25 | 80k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
493.86/494.01 c 455s| 1690k| 74297 | 4597k| 56M| 37 | - | 115 | 92 | 5 | 115 | 14 | 25 | 80k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
496.56/496.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
496.56/496.72 c 457s| 1700k| 74057 | 4623k| 56M| 37 | - | 115 | 95 | 9 | 115 | 14 | 25 | 81k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
499.26/499.40 c 460s| 1710k| 74023 | 4648k| 56M| 37 | - | 115 | 98 | 5 | 115 | 14 | 25 | 81k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
501.95/502.12 c 462s| 1720k| 74204 | 4674k| 56M| 37 | 5 | 115 | 96 | 6 | 115 | 14 | 25 | 81k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
504.65/504.89 c 465s| 1730k| 74212 | 4701k| 56M| 37 | 5 | 115 | 107 | 8 | 115 | 14 | 25 | 82k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
507.35/507.56 c 467s| 1740k| 74239 | 4727k| 56M| 37 | 5 | 115 | 102 | 5 | 115 | 14 | 25 | 82k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
510.05/510.25 c 470s| 1750k| 74058 | 4752k| 56M| 37 | 5 | 115 | 98 | 6 | 115 | 14 | 25 | 83k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
512.75/512.92 c 472s| 1760k| 74217 | 4777k| 56M| 37 | 5 | 115 | 107 | 6 | 115 | 14 | 25 | 83k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
515.35/515.59 c 475s| 1770k| 73661 | 4802k| 56M| 37 | - | 115 | 83 | 6 | 0 | 0 | 25 | 84k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
518.15/518.30 c 477s| 1780k| 73643 | 4829k| 56M| 37 | 5 | 115 | 92 | 7 | 115 | 14 | 25 | 84k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
520.75/520.96 c 479s| 1790k| 73651 | 4853k| 56M| 37 | 5 | 115 | 89 | 6 | 115 | 14 | 25 | 84k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
523.55/523.70 c 482s| 1800k| 73227 | 4879k| 56M| 37 | 5 | 115 | 102 | 7 | 115 | 14 | 25 | 85k| 19k| 0.000000e+00 | 4.000000e+00 | Inf
526.25/526.44 c 484s| 1810k| 73049 | 4905k| 56M| 37 | - | 115 | 90 | 5 | 115 | 14 | 25 | 85k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
528.95/529.15 c 487s| 1820k| 73154 | 4932k| 56M| 37 | 5 | 115 | 88 | 9 | 115 | 14 | 25 | 86k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
531.64/531.88 c 489s| 1830k| 73384 | 4958k| 56M| 37 | - | 115 | 90 | 6 | 0 | 0 | 25 | 86k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
534.54/534.72 c 492s| 1840k| 73768 | 4985k| 56M| 37 | - | 115 | 91 | 6 | 115 | 14 | 25 | 87k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
537.34/537.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
537.34/537.58 c 495s| 1850k| 75405 | 5013k| 57M| 37 | 5 | 115 | 86 | 5 | 115 | 14 | 25 | 87k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
540.14/540.30 c 497s| 1860k| 76018 | 5040k| 58M| 37 | - | 115 | 88 | 9 | 115 | 14 | 25 | 88k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
542.84/543.02 c 500s| 1870k| 76648 | 5067k| 58M| 37 | 5 | 115 | 89 | 5 | 115 | 14 | 25 | 88k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
545.45/545.69 c 502s| 1880k| 76791 | 5092k| 58M| 37 | 5 | 115 | 85 | 7 | 115 | 14 | 25 | 88k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
548.14/548.35 c 505s| 1890k| 76965 | 5118k| 59M| 37 | - | 115 | 82 | 5 | 115 | 14 | 25 | 89k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
550.84/551.02 c 507s| 1900k| 76868 | 5145k| 59M| 37 | - | 115 | 79 | 5 | 0 | 0 | 25 | 89k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
553.44/553.69 c 510s| 1910k| 76730 | 5171k| 59M| 37 | - | 115 | 85 | 7 | 0 | 0 | 25 | 89k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
556.14/556.35 c 512s| 1920k| 76497 | 5197k| 59M| 37 | 5 | 115 | 70 | 5 | 115 | 14 | 25 | 90k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
558.84/559.02 c 514s| 1930k| 76191 | 5222k| 59M| 37 | 5 | 115 | 79 | 10 | 115 | 14 | 25 | 90k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
561.44/561.68 c 517s| 1940k| 75787 | 5248k| 59M| 37 | - | 115 | 78 | 5 | 115 | 14 | 25 | 90k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
564.14/564.34 c 519s| 1950k| 75190 | 5273k| 58M| 37 | - | 115 | 75 | 5 | 115 | 14 | 25 | 91k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
566.73/566.98 c 522s| 1960k| 74876 | 5298k| 58M| 37 | - | 115 | 64 | 5 | 115 | 14 | 25 | 91k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
569.43/569.61 c 524s| 1970k| 74175 | 5323k| 58M| 37 | 5 | 115 | 73 | 5 | 115 | 14 | 25 | 91k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
572.03/572.29 c 527s| 1980k| 73965 | 5349k| 58M| 37 | 5 | 115 | 75 | 5 | 115 | 14 | 25 | 92k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
574.83/575.00 c 529s| 1990k| 73824 | 5375k| 57M| 37 | 5 | 115 | 81 | 6 | 115 | 14 | 25 | 92k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
577.54/577.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.54/577.73 c 532s| 2000k| 73577 | 5401k| 57M| 37 | 5 | 115 | 88 | 5 | 115 | 14 | 25 | 93k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
580.24/580.41 c 534s| 2010k| 73256 | 5427k| 57M| 37 | 5 | 115 | 92 | 7 | 115 | 14 | 25 | 93k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
582.93/583.11 c 537s| 2020k| 73004 | 5453k| 57M| 37 | - | 115 | 78 | 6 | 115 | 14 | 25 | 93k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
585.63/585.84 c 539s| 2030k| 72459 | 5479k| 57M| 37 | - | 115 | 92 | 6 | 115 | 14 | 25 | 94k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
588.23/588.49 c 542s| 2040k| 72043 | 5504k| 56M| 37 | - | 115 | 88 | 6 | 115 | 14 | 25 | 94k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
590.93/591.15 c 544s| 2050k| 71930 | 5530k| 56M| 37 | 5 | 115 | 80 | 5 | 115 | 14 | 25 | 95k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
593.63/593.87 c 547s| 2060k| 71531 | 5556k| 56M| 37 | 5 | 115 | 87 | 5 | 115 | 14 | 25 | 95k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
596.43/596.60 c 549s| 2070k| 71932 | 5582k| 56M| 37 | 5 | 115 | 89 | 5 | 115 | 14 | 25 | 95k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
599.03/599.27 c 552s| 2080k| 72068 | 5607k| 57M| 37 | 5 | 115 | 89 | 5 | 115 | 14 | 25 | 96k| 20k| 0.000000e+00 | 4.000000e+00 | Inf
599.83/600.07 o 2
599.83/600.07 c * 552s| 2082k| 66687 | 5614k| 47M| 37 | - | 115 | 91 | 0 | 115 | 14 | 25 | 96k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
601.62/601.83 c 554s| 2090k| 65842 | 5631k| 46M| 37 | - | 115 | 86 | 6 | 115 | 14 | 25 | 96k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
604.22/604.40 c 556s| 2100k| 65925 | 5657k| 46M| 37 | 5 | 115 | 113 | 7 | 115 | 14 | 25 | 97k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
606.73/606.92 c 559s| 2110k| 65543 | 5683k| 46M| 37 | - | 115 | 110 | 6 | 0 | 0 | 25 | 97k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
609.33/609.59 c 561s| 2120k| 66627 | 5711k| 47M| 37 | - | 115 | 118 | 6 | 115 | 14 | 25 | 97k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
611.92/612.10 c 563s| 2130k| 66790 | 5736k| 47M| 37 | - | 115 | 105 | 6 | 115 | 14 | 25 | 97k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
614.32/614.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.32/614.59 c 566s| 2140k| 66456 | 5762k| 47M| 37 | 5 | 115 | 121 | 6 | 115 | 14 | 25 | 98k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
616.82/617.06 c 568s| 2150k| 65700 | 5787k| 46M| 37 | 5 | 115 | 116 | 10 | 115 | 14 | 25 | 98k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
619.42/619.63 c 570s| 2160k| 65830 | 5813k| 46M| 37 | - | 115 | 111 | 5 | 115 | 14 | 25 | 98k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
621.92/622.16 c 573s| 2170k| 65728 | 5839k| 46M| 37 | 5 | 115 | 112 | 7 | 115 | 14 | 25 | 98k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
624.42/624.65 c 575s| 2180k| 65365 | 5864k| 46M| 37 | 5 | 115 | 104 | 8 | 115 | 14 | 25 | 99k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
627.02/627.20 c 577s| 2190k| 65023 | 5890k| 46M| 37 | 5 | 115 | 102 | 6 | 115 | 14 | 25 | 99k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
629.42/629.70 c 579s| 2200k| 65006 | 5914k| 46M| 37 | - | 115 | 120 | 8 | 115 | 14 | 25 | 99k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
631.92/632.17 c 582s| 2210k| 64449 | 5939k| 46M| 37 | - | 115 | 101 | 6 | 115 | 14 | 25 | 100k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
634.42/634.67 c 584s| 2220k| 63867 | 5964k| 45M| 37 | - | 115 | 91 | 6 | 115 | 14 | 25 | 100k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
636.91/637.18 c 586s| 2230k| 63470 | 5989k| 45M| 37 | - | 115 | 105 | 5 | 115 | 14 | 25 | 100k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
639.41/639.70 c 589s| 2240k| 62986 | 6014k| 45M| 37 | - | 115 | 112 | 6 | 115 | 14 | 25 | 100k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
642.02/642.23 c 591s| 2250k| 62588 | 6039k| 44M| 37 | 5 | 115 | 94 | 11 | 115 | 14 | 25 | 101k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
644.51/644.76 c 593s| 2260k| 62188 | 6065k| 44M| 37 | 5 | 115 | 102 | 5 | 115 | 14 | 25 | 101k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
647.12/647.30 c 596s| 2270k| 62279 | 6092k| 44M| 37 | 5 | 115 | 99 | 8 | 115 | 14 | 25 | 101k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
649.52/649.77 c 598s| 2280k| 62041 | 6117k| 44M| 37 | 5 | 115 | 100 | 8 | 115 | 14 | 25 | 102k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
652.02/652.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
652.02/652.30 c 600s| 2290k| 61681 | 6143k| 44M| 37 | 5 | 115 | 99 | 6 | 115 | 14 | 25 | 102k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
654.61/654.80 c 603s| 2300k| 61394 | 6169k| 43M| 37 | 5 | 115 | 104 | 6 | 115 | 14 | 25 | 102k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
657.12/657.35 c 605s| 2310k| 61269 | 6196k| 43M| 37 | 5 | 115 | 88 | 27 | 115 | 14 | 25 | 102k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
659.61/659.87 c 607s| 2320k| 60876 | 6222k| 43M| 37 | 5 | 115 | 73 | 5 | 115 | 14 | 25 | 103k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
662.21/662.43 c 610s| 2330k| 61327 | 6248k| 43M| 37 | - | 115 | 81 | 7 | 115 | 14 | 25 | 103k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
664.71/664.92 c 612s| 2340k| 60640 | 6273k| 43M| 37 | 5 | 115 | 76 | 5 | 115 | 14 | 25 | 103k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
667.21/667.48 c 614s| 2350k| 60302 | 6299k| 43M| 37 | 5 | 115 | 93 | 9 | 115 | 14 | 25 | 103k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
669.72/669.97 c 616s| 2360k| 59754 | 6324k| 42M| 37 | - | 115 | 73 | 12 | 115 | 14 | 25 | 104k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
672.21/672.46 c 619s| 2370k| 59699 | 6349k| 42M| 37 | 5 | 115 | 79 | 5 | 115 | 14 | 25 | 104k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
674.81/675.00 c 621s| 2380k| 59473 | 6375k| 42M| 37 | 5 | 115 | 99 | 5 | 115 | 14 | 25 | 104k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
677.31/677.52 c 623s| 2390k| 59439 | 6401k| 42M| 37 | - | 115 | 119 | 6 | 115 | 14 | 25 | 104k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
679.80/680.09 c 626s| 2400k| 58987 | 6426k| 42M| 37 | - | 115 | 122 | 6 | 115 | 14 | 25 | 105k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
682.40/682.62 c 628s| 2410k| 58966 | 6452k| 42M| 37 | 5 | 115 | 122 | 5 | 115 | 14 | 25 | 105k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
685.11/685.31 c 631s| 2420k| 60077 | 6480k| 42M| 37 | - | 115 | 115 | 7 | 115 | 14 | 25 | 105k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
687.61/687.85 c 633s| 2430k| 60278 | 6506k| 43M| 37 | 5 | 115 | 113 | 6 | 115 | 14 | 25 | 106k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
690.10/690.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.10/690.39 c 635s| 2440k| 60424 | 6531k| 43M| 37 | 5 | 115 | 107 | 8 | 115 | 14 | 25 | 106k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
692.90/693.19 c 638s| 2450k| 62566 | 6560k| 44M| 37 | 5 | 115 | 103 | 6 | 115 | 14 | 25 | 106k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
695.61/695.82 c 640s| 2460k| 63892 | 6588k| 45M| 37 | 5 | 115 | 89 | 6 | 115 | 14 | 25 | 106k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
698.20/698.43 c 643s| 2470k| 64948 | 6615k| 45M| 37 | 5 | 115 | 85 | 6 | 115 | 14 | 25 | 107k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
700.71/700.99 c 645s| 2480k| 65620 | 6641k| 46M| 37 | 5 | 115 | 81 | 6 | 115 | 14 | 25 | 107k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
703.30/703.58 c 647s| 2490k| 66161 | 6668k| 46M| 37 | - | 115 | 95 | 9 | 115 | 14 | 25 | 107k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
705.90/706.15 c 650s| 2500k| 66732 | 6694k| 47M| 37 | 5 | 115 | 81 | 5 | 115 | 14 | 25 | 107k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
708.40/708.68 c 652s| 2510k| 67226 | 6720k| 47M| 37 | - | 115 | 88 | 5 | 0 | 0 | 25 | 108k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
710.90/711.15 c 654s| 2520k| 67378 | 6746k| 47M| 37 | - | 115 | 82 | 7 | 115 | 14 | 25 | 108k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
713.40/713.68 c 657s| 2530k| 67612 | 6773k| 48M| 37 | 5 | 115 | 91 | 5 | 115 | 14 | 25 | 108k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
715.90/716.19 c 659s| 2540k| 67967 | 6799k| 48M| 37 | 5 | 115 | 90 | 8 | 115 | 14 | 25 | 108k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
718.50/718.71 c 661s| 2550k| 68052 | 6824k| 48M| 37 | 5 | 115 | 81 | 6 | 115 | 14 | 25 | 109k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
720.99/721.23 c 663s| 2560k| 67961 | 6851k| 48M| 37 | - | 115 | 82 | 7 | 115 | 14 | 25 | 109k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
723.50/723.75 c 666s| 2570k| 68151 | 6876k| 49M| 37 | - | 115 | 86 | 5 | 115 | 14 | 25 | 109k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
726.00/726.28 c 668s| 2580k| 68205 | 6902k| 49M| 37 | - | 115 | 81 | 5 | 115 | 14 | 25 | 109k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
728.50/728.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
728.50/728.76 c 670s| 2590k| 68211 | 6928k| 49M| 37 | 5 | 115 | 77 | 5 | 115 | 14 | 25 | 109k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
731.00/731.25 c 673s| 2600k| 68204 | 6954k| 49M| 37 | - | 115 | 83 | 6 | 115 | 14 | 25 | 110k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
733.50/733.77 c 675s| 2610k| 68225 | 6981k| 49M| 37 | 5 | 115 | 92 | 6 | 115 | 14 | 25 | 110k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
735.99/736.26 c 677s| 2620k| 67858 | 7006k| 49M| 37 | - | 115 | 88 | 5 | 115 | 14 | 25 | 110k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
738.49/738.77 c 679s| 2630k| 67675 | 7032k| 49M| 37 | - | 115 | 92 | 6 | 115 | 14 | 25 | 110k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
740.99/741.29 c 682s| 2640k| 67020 | 7057k| 48M| 37 | 5 | 115 | 85 | 5 | 115 | 14 | 25 | 111k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
743.49/743.77 c 684s| 2650k| 66378 | 7082k| 48M| 37 | 5 | 115 | 79 | 5 | 115 | 14 | 25 | 111k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
745.99/746.27 c 686s| 2660k| 65754 | 7108k| 48M| 37 | 5 | 115 | 68 | 5 | 115 | 14 | 25 | 111k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
748.49/748.77 c 689s| 2670k| 65297 | 7133k| 48M| 37 | - | 115 | 73 | 9 | 115 | 14 | 25 | 111k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
751.00/751.24 c 691s| 2680k| 64878 | 7159k| 47M| 37 | - | 115 | 78 | 6 | 115 | 14 | 25 | 111k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
753.48/753.74 c 693s| 2690k| 64690 | 7185k| 47M| 37 | - | 115 | 85 | 10 | 115 | 14 | 25 | 112k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
755.99/756.25 c 696s| 2700k| 64853 | 7211k| 47M| 37 | 5 | 115 | 82 | 6 | 115 | 14 | 25 | 112k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
758.49/758.76 c 698s| 2710k| 64966 | 7237k| 48M| 37 | 5 | 115 | 81 | 6 | 115 | 14 | 25 | 112k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
760.99/761.28 c 700s| 2720k| 64677 | 7263k| 47M| 37 | 5 | 115 | 92 | 9 | 115 | 14 | 25 | 112k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
763.48/763.79 c 702s| 2730k| 64549 | 7288k| 47M| 37 | 5 | 115 | 79 | 5 | 115 | 14 | 25 | 113k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
766.08/766.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
766.08/766.30 c 705s| 2740k| 64140 | 7314k| 47M| 37 | 5 | 115 | 77 | 6 | 115 | 14 | 25 | 113k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
768.59/768.89 c 707s| 2750k| 64242 | 7341k| 47M| 37 | - | 115 | 90 | 12 | 0 | 0 | 25 | 113k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
771.38/771.63 c 710s| 2760k| 66177 | 7370k| 48M| 37 | 5 | 115 | 83 | 5 | 115 | 14 | 25 | 113k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
773.98/774.21 c 712s| 2770k| 67374 | 7397k| 49M| 37 | 5 | 115 | 62 | 5 | 115 | 14 | 25 | 114k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
776.48/776.77 c 714s| 2780k| 68090 | 7424k| 49M| 37 | - | 115 | 68 | 11 | 115 | 14 | 25 | 114k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
779.08/779.33 c 717s| 2790k| 68469 | 7450k| 50M| 37 | - | 115 | 70 | 6 | 115 | 14 | 25 | 114k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
781.68/781.91 c 719s| 2800k| 68896 | 7476k| 50M| 37 | - | 115 | 86 | 5 | 115 | 14 | 25 | 114k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
784.18/784.46 c 721s| 2810k| 69190 | 7502k| 50M| 37 | 5 | 115 | 70 | 5 | 115 | 14 | 25 | 115k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
786.78/787.07 c 724s| 2820k| 69626 | 7529k| 51M| 37 | - | 115 | 69 | 7 | 115 | 14 | 25 | 115k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
789.28/789.59 c 726s| 2830k| 69716 | 7555k| 51M| 37 | - | 115 | 78 | 5 | 115 | 14 | 25 | 115k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
791.88/792.14 c 728s| 2840k| 70323 | 7582k| 52M| 37 | - | 115 | 81 | 5 | 115 | 14 | 25 | 115k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
794.38/794.64 c 731s| 2850k| 70567 | 7608k| 52M| 37 | 5 | 115 | 82 | 9 | 115 | 14 | 25 | 115k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
796.88/797.15 c 733s| 2860k| 70883 | 7634k| 52M| 37 | - | 115 | 74 | 5 | 115 | 14 | 25 | 116k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
799.39/799.65 c 735s| 2870k| 70946 | 7660k| 52M| 37 | 5 | 115 | 71 | 6 | 115 | 14 | 25 | 116k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
801.88/802.15 c 738s| 2880k| 70727 | 7686k| 52M| 37 | 5 | 115 | 72 | 7 | 115 | 14 | 25 | 116k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
804.37/804.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
804.37/804.67 c 740s| 2890k| 70549 | 7711k| 52M| 37 | 5 | 115 | 85 | 6 | 115 | 14 | 25 | 116k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
806.98/807.21 c 742s| 2900k| 70461 | 7738k| 52M| 37 | - | 115 | 77 | 7 | 0 | 0 | 25 | 116k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
809.48/809.72 c 745s| 2910k| 70372 | 7765k| 52M| 37 | 5 | 115 | 80 | 13 | 115 | 14 | 25 | 117k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
811.97/812.20 c 747s| 2920k| 70453 | 7791k| 52M| 37 | - | 115 | 73 | 7 | 115 | 14 | 25 | 117k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
814.38/814.70 c 749s| 2930k| 70072 | 7816k| 52M| 37 | 5 | 115 | 83 | 6 | 115 | 14 | 25 | 117k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
816.88/817.16 c 751s| 2940k| 69532 | 7842k| 52M| 37 | - | 115 | 72 | 5 | 0 | 0 | 25 | 117k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
819.37/819.67 c 754s| 2950k| 69170 | 7867k| 52M| 37 | - | 115 | 73 | 5 | 115 | 14 | 25 | 117k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
821.97/822.20 c 756s| 2960k| 68991 | 7893k| 52M| 37 | - | 115 | 82 | 9 | 115 | 14 | 25 | 118k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
824.37/824.68 c 758s| 2970k| 68391 | 7918k| 51M| 37 | 5 | 115 | 83 | 7 | 115 | 14 | 25 | 118k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
826.87/827.18 c 760s| 2980k| 68226 | 7943k| 51M| 37 | - | 115 | 86 | 12 | 115 | 14 | 25 | 118k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
829.37/829.66 c 763s| 2990k| 68276 | 7970k| 51M| 37 | 5 | 115 | 80 | 6 | 115 | 14 | 25 | 118k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
831.87/832.16 c 765s| 3000k| 67596 | 7995k| 51M| 37 | - | 115 | 73 | 6 | 115 | 14 | 25 | 118k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
834.37/834.65 c 767s| 3010k| 66694 | 8021k| 50M| 37 | - | 115 | 71 | 6 | 115 | 14 | 25 | 119k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
836.87/837.17 c 770s| 3020k| 65855 | 8047k| 49M| 37 | - | 115 | 76 | 6 | 115 | 14 | 25 | 119k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
839.37/839.70 c 772s| 3030k| 65727 | 8073k| 49M| 37 | 5 | 115 | 94 | 10 | 115 | 14 | 25 | 119k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
841.97/842.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.97/842.28 c 774s| 3040k| 65835 | 8099k| 49M| 37 | 5 | 115 | 94 | 8 | 115 | 14 | 25 | 119k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
844.56/844.80 c 777s| 3050k| 65598 | 8124k| 49M| 37 | 5 | 115 | 85 | 5 | 115 | 14 | 25 | 120k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
847.07/847.36 c 779s| 3060k| 65278 | 8150k| 49M| 37 | - | 115 | 76 | 7 | 115 | 14 | 25 | 120k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
849.67/849.91 c 781s| 3070k| 65629 | 8177k| 49M| 37 | 5 | 115 | 78 | 7 | 115 | 14 | 25 | 120k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
852.17/852.42 c 784s| 3080k| 65569 | 8203k| 49M| 37 | 5 | 115 | 63 | 6 | 115 | 14 | 25 | 120k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
854.66/854.96 c 786s| 3090k| 65494 | 8229k| 49M| 37 | - | 115 | 84 | 6 | 115 | 14 | 25 | 120k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
857.16/857.46 c 788s| 3100k| 65253 | 8256k| 49M| 37 | - | 115 | 83 | 4 | 0 | 0 | 25 | 121k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
859.76/860.01 c 791s| 3110k| 64735 | 8283k| 49M| 37 | 5 | 115 | 78 | 5 | 115 | 14 | 25 | 121k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
863.86/864.19 c 794s| 3120k| 66272 | 8314k| 49M| 37 | - | 115 | 91 | 11 | 115 | 14 | 25 | 121k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
866.86/867.14 c 797s| 3130k| 68478 | 8345k| 51M| 37 | - | 115 | 86 | 5 | 115 | 14 | 25 | 122k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
869.66/869.92 c 800s| 3140k| 70311 | 8374k| 52M| 37 | - | 115 | 89 | 6 | 115 | 14 | 25 | 122k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
872.46/872.71 c 802s| 3150k| 72051 | 8404k| 52M| 37 | - | 115 | 86 | 6 | 115 | 14 | 25 | 122k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
875.16/875.47 c 805s| 3160k| 73614 | 8433k| 53M| 37 | 5 | 115 | 85 | 7 | 115 | 14 | 25 | 122k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
878.16/878.48 c 807s| 3170k| 75233 | 8463k| 54M| 37 | 5 | 115 | 106 | 10 | 115 | 14 | 25 | 123k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
880.96/881.25 c 810s| 3180k| 76995 | 8492k| 55M| 37 | - | 115 | 88 | 5 | 115 | 14 | 25 | 123k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
883.75/884.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.75/884.02 c 812s| 3190k| 78562 | 8521k| 56M| 37 | - | 115 | 88 | 5 | 115 | 14 | 25 | 123k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
886.36/886.68 c 815s| 3200k| 79648 | 8549k| 57M| 37 | - | 115 | 92 | 6 | 115 | 14 | 25 | 123k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
889.06/889.33 c 817s| 3210k| 81230 | 8576k| 58M| 37 | - | 115 | 95 | 6 | 115 | 14 | 25 | 124k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
892.05/892.32 c 820s| 3220k| 81985 | 8604k| 58M| 37 | 5 | 115 | 82 | 5 | 115 | 14 | 25 | 124k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
894.56/894.89 c 822s| 3230k| 82915 | 8631k| 59M| 37 | - | 115 | 83 | 5 | 115 | 14 | 25 | 124k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
897.26/897.53 c 825s| 3240k| 84071 | 8658k| 59M| 37 | - | 115 | 85 | 5 | 115 | 14 | 25 | 124k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
899.85/900.15 c 827s| 3250k| 85142 | 8685k| 60M| 37 | - | 115 | 94 | 5 | 115 | 14 | 25 | 125k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
902.65/902.96 c 830s| 3260k| 86966 | 8715k| 61M| 37 | 5 | 115 | 91 | 9 | 115 | 14 | 25 | 125k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
905.35/905.68 c 832s| 3270k| 88425 | 8744k| 62M| 37 | - | 115 | 102 | 5 | 115 | 14 | 25 | 125k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
908.05/908.30 c 835s| 3280k| 89509 | 8772k| 63M| 37 | 5 | 115 | 85 | 5 | 115 | 14 | 25 | 125k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
910.55/910.89 c 837s| 3290k| 90244 | 8799k| 63M| 37 | 5 | 115 | 89 | 6 | 115 | 14 | 25 | 126k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
913.15/913.48 c 839s| 3300k| 91157 | 8827k| 64M| 37 | - | 115 | 106 | 11 | 115 | 14 | 25 | 126k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
915.75/916.05 c 842s| 3310k| 91767 | 8853k| 64M| 37 | 5 | 115 | 112 | 6 | 115 | 14 | 25 | 126k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
918.35/918.65 c 844s| 3320k| 92356 | 8880k| 65M| 37 | 5 | 115 | 93 | 7 | 115 | 14 | 25 | 126k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
920.95/921.29 c 846s| 3330k| 92987 | 8908k| 65M| 37 | 5 | 115 | 111 | 6 | 115 | 14 | 25 | 126k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
923.65/923.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.65/923.98 c 849s| 3340k| 94152 | 8935k| 66M| 37 | - | 115 | 114 | 6 | 115 | 14 | 25 | 127k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
926.34/926.61 c 851s| 3350k| 94952 | 8963k| 66M| 37 | - | 115 | 105 | 5 | 115 | 14 | 25 | 127k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
928.84/929.19 c 854s| 3360k| 95626 | 8990k| 67M| 37 | 5 | 115 | 108 | 6 | 115 | 14 | 25 | 127k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
931.45/931.75 c 856s| 3370k| 96086 | 9017k| 67M| 37 | - | 115 | 107 | 6 | 115 | 14 | 25 | 127k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
934.15/934.43 c 858s| 3380k| 96991 | 9044k| 68M| 37 | 5 | 115 | 121 | 8 | 115 | 14 | 25 | 128k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
936.74/937.07 c 861s| 3390k| 97693 | 9072k| 68M| 37 | - | 115 | 123 | 7 | 115 | 14 | 25 | 128k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
939.34/939.69 c 863s| 3400k| 98223 | 9099k| 69M| 37 | - | 115 | 106 | 5 | 115 | 14 | 25 | 128k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
942.04/942.30 c 866s| 3410k| 98855 | 9125k| 69M| 37 | 5 | 115 | 118 | 5 | 115 | 14 | 25 | 128k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
944.54/944.89 c 868s| 3420k| 99149 | 9152k| 70M| 37 | - | 115 | 109 | 5 | 0 | 0 | 25 | 128k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
947.14/947.47 c 870s| 3430k| 99738 | 9178k| 70M| 37 | - | 115 | 114 | 5 | 115 | 14 | 25 | 129k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
949.74/950.08 c 873s| 3440k|100228 | 9205k| 70M| 37 | - | 115 | 133 | 11 | 0 | 0 | 25 | 129k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
952.34/952.66 c 875s| 3450k|100699 | 9232k| 71M| 37 | 5 | 115 | 111 | 7 | 115 | 14 | 25 | 129k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
954.93/955.22 c 877s| 3460k|101174 | 9259k| 71M| 37 | 5 | 115 | 112 | 9 | 115 | 14 | 25 | 129k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
957.54/957.81 c 880s| 3470k|101370 | 9285k| 72M| 37 | - | 115 | 122 | 5 | 115 | 14 | 25 | 129k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
960.14/960.42 c 882s| 3480k|101749 | 9311k| 72M| 37 | 5 | 115 | 121 | 5 | 115 | 14 | 25 | 130k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
962.74/963.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.74/963.02 c 884s| 3490k|102339 | 9338k| 72M| 37 | - | 115 | 122 | 7 | 115 | 14 | 25 | 130k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
965.33/965.69 c 887s| 3500k|103453 | 9364k| 73M| 37 | 5 | 115 | 120 | 5 | 115 | 14 | 25 | 130k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
968.04/968.30 c 889s| 3510k|104326 | 9391k| 74M| 37 | 5 | 115 | 115 | 5 | 115 | 14 | 25 | 130k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
970.54/970.80 c 892s| 3520k|104873 | 9416k| 74M| 37 | 5 | 115 | 125 | 9 | 115 | 14 | 25 | 130k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
973.14/973.42 c 894s| 3530k|105500 | 9441k| 75M| 37 | - | 115 | 131 | 5 | 115 | 14 | 25 | 131k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
975.63/975.97 c 896s| 3540k|105641 | 9467k| 75M| 37 | - | 115 | 120 | 9 | 115 | 14 | 25 | 131k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
978.24/978.52 c 899s| 3550k|105828 | 9491k| 75M| 37 | - | 115 | 119 | 5 | 115 | 14 | 25 | 131k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
980.84/981.12 c 901s| 3560k|105912 | 9517k| 75M| 37 | 5 | 115 | 127 | 7 | 115 | 14 | 25 | 131k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
983.43/983.70 c 904s| 3570k|106402 | 9543k| 76M| 37 | - | 115 | 134 | 7 | 115 | 14 | 25 | 132k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
986.03/986.34 c 906s| 3580k|107418 | 9570k| 76M| 37 | 5 | 115 | 127 | 11 | 115 | 14 | 25 | 132k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
988.53/988.83 c 908s| 3590k|107534 | 9596k| 76M| 37 | - | 115 | 117 | 5 | 115 | 14 | 25 | 132k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
991.03/991.34 c 910s| 3600k|107548 | 9621k| 77M| 37 | - | 115 | 129 | 5 | 115 | 14 | 25 | 132k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
993.53/993.86 c 913s| 3610k|107533 | 9647k| 77M| 37 | - | 115 | 124 | 6 | 115 | 14 | 25 | 132k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
996.03/996.39 c 915s| 3620k|107617 | 9672k| 77M| 37 | 5 | 115 | 127 | 5 | 115 | 14 | 25 | 132k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
998.63/998.92 c 917s| 3630k|107660 | 9697k| 77M| 37 | - | 115 | 128 | 12 | 115 | 14 | 25 | 133k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1001.13/1001.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.13/1001.49 c 920s| 3640k|107843 | 9723k| 77M| 37 | 5 | 115 | 136 | 5 | 115 | 14 | 25 | 133k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1003.83/1004.10 c 922s| 3650k|108062 | 9750k| 78M| 37 | 5 | 115 | 136 | 8 | 115 | 14 | 25 | 133k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1006.32/1006.65 c 924s| 3660k|108094 | 9775k| 78M| 37 | 5 | 115 | 139 | 5 | 115 | 14 | 25 | 133k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1008.82/1009.20 c 927s| 3670k|108138 | 9801k| 78M| 37 | 5 | 115 | 134 | 11 | 115 | 14 | 25 | 133k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1011.43/1011.73 c 929s| 3680k|108369 | 9827k| 78M| 37 | - | 115 | 127 | 6 | 115 | 14 | 25 | 134k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1013.93/1014.24 c 931s| 3690k|108419 | 9853k| 78M| 37 | - | 115 | 147 | 6 | 115 | 14 | 25 | 134k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1016.52/1016.80 c 934s| 3700k|108374 | 9879k| 78M| 37 | 5 | 115 | 132 | 6 | 115 | 14 | 25 | 134k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1019.02/1019.33 c 936s| 3710k|108739 | 9905k| 79M| 37 | - | 115 | 132 | 6 | 115 | 14 | 25 | 134k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1021.52/1021.90 c 939s| 3720k|108916 | 9931k| 79M| 37 | - | 115 | 138 | 5 | 0 | 0 | 25 | 134k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1024.12/1024.47 c 941s| 3730k|108796 | 9956k| 79M| 37 | 5 | 115 | 150 | 8 | 115 | 14 | 25 | 134k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1026.72/1027.01 c 943s| 3740k|109014 | 9981k| 79M| 37 | 5 | 115 | 153 | 12 | 115 | 14 | 25 | 135k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1029.23/1029.58 c 946s| 3750k|109111 | 10007k| 79M| 37 | - | 115 | 155 | 5 | 115 | 14 | 25 | 135k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1031.82/1032.13 c 948s| 3760k|109134 | 10032k| 80M| 37 | 5 | 115 | 143 | 7 | 115 | 14 | 25 | 135k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1034.42/1034.70 c 950s| 3770k|109092 | 10058k| 80M| 37 | - | 115 | 137 | 5 | 115 | 14 | 25 | 135k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1036.92/1037.21 c 953s| 3780k|109213 | 10083k| 80M| 37 | - | 115 | 131 | 7 | 0 | 0 | 25 | 135k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1039.52/1039.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.52/1039.83 c 955s| 3790k|109494 | 10109k| 80M| 37 | 5 | 115 | 141 | 5 | 115 | 14 | 25 | 136k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1042.12/1042.41 c 957s| 3800k|109596 | 10135k| 80M| 37 | 5 | 115 | 138 | 5 | 115 | 14 | 25 | 136k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1044.62/1044.96 c 960s| 3810k|109683 | 10160k| 80M| 37 | 5 | 115 | 141 | 7 | 115 | 14 | 25 | 136k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1047.41/1047.72 c 962s| 3820k|111399 | 10188k| 81M| 37 | 5 | 115 | 147 | 6 | 115 | 14 | 25 | 136k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1050.02/1050.31 c 965s| 3830k|112673 | 10215k| 82M| 37 | - | 115 | 141 | 8 | 115 | 14 | 25 | 136k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1052.61/1052.97 c 967s| 3840k|113939 | 10243k| 83M| 37 | 5 | 115 | 140 | 7 | 115 | 14 | 25 | 137k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1055.22/1055.54 c 969s| 3850k|114609 | 10268k| 83M| 37 | - | 115 | 129 | 6 | 115 | 14 | 25 | 137k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1057.81/1058.12 c 972s| 3860k|115160 | 10294k| 84M| 37 | - | 115 | 137 | 10 | 115 | 14 | 25 | 137k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1060.41/1060.71 c 974s| 3870k|115670 | 10320k| 84M| 37 | - | 115 | 127 | 5 | 115 | 14 | 25 | 137k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1063.02/1063.30 c 976s| 3880k|116110 | 10346k| 85M| 37 | - | 115 | 136 | 5 | 115 | 14 | 25 | 137k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1065.51/1065.87 c 979s| 3890k|116493 | 10371k| 85M| 37 | - | 115 | 146 | 5 | 115 | 14 | 25 | 138k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1068.11/1068.41 c 981s| 3900k|116731 | 10396k| 85M| 37 | - | 115 | 144 | 9 | 115 | 14 | 25 | 138k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1070.61/1070.95 c 983s| 3910k|116886 | 10421k| 86M| 37 | - | 115 | 155 | 5 | 115 | 14 | 25 | 138k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1073.11/1073.46 c 986s| 3920k|116898 | 10445k| 86M| 37 | 5 | 115 | 152 | 8 | 115 | 14 | 25 | 138k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1075.70/1076.04 c 988s| 3930k|117140 | 10470k| 86M| 37 | 5 | 115 | 151 | 8 | 115 | 14 | 25 | 139k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1079.41/1079.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.41/1079.75 c 991s| 3940k|117263 | 10495k| 86M| 37 | 5 | 115 | 141 | 5 | 115 | 14 | 25 | 139k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1081.90/1082.29 c 994s| 3950k|117205 | 10519k| 86M| 37 | 5 | 115 | 140 | 5 | 115 | 14 | 25 | 139k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1084.50/1084.84 c 996s| 3960k|117151 | 10544k| 86M| 37 | 5 | 115 | 140 | 5 | 115 | 14 | 25 | 139k| 23k| 0.000000e+00 | 2.000000e+00 | Inf
1087.00/1087.38 c 998s| 3970k|117178 | 10569k| 86M| 37 | 5 | 115 | 134 | 5 | 115 | 14 | 25 | 139k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1089.60/1089.91 c 1001s| 3980k|117188 | 10594k| 87M| 37 | - | 115 | 137 | 6 | 115 | 14 | 25 | 139k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1092.10/1092.42 c 1003s| 3990k|117122 | 10619k| 87M| 37 | - | 115 | 141 | 5 | 115 | 14 | 25 | 140k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1094.60/1094.94 c 1005s| 4000k|117010 | 10643k| 87M| 37 | - | 115 | 153 | 9 | 115 | 14 | 25 | 140k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1097.10/1097.43 c 1008s| 4010k|116741 | 10667k| 87M| 37 | 5 | 115 | 135 | 6 | 115 | 14 | 25 | 140k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1099.60/1099.93 c 1010s| 4020k|116500 | 10691k| 87M| 37 | 5 | 115 | 140 | 6 | 115 | 14 | 25 | 140k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1102.10/1102.46 c 1012s| 4030k|116164 | 10716k| 87M| 37 | - | 115 | 142 | 5 | 115 | 14 | 25 | 140k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1104.60/1104.99 c 1015s| 4040k|115989 | 10740k| 87M| 37 | - | 115 | 137 | 7 | 115 | 14 | 25 | 140k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1107.20/1107.52 c 1017s| 4050k|115849 | 10766k| 86M| 37 | 5 | 115 | 141 | 10 | 115 | 14 | 25 | 141k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1109.70/1110.03 c 1019s| 4060k|115728 | 10790k| 86M| 37 | - | 115 | 140 | 6 | 115 | 14 | 25 | 141k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1112.20/1112.55 c 1022s| 4070k|115525 | 10815k| 86M| 37 | 5 | 115 | 134 | 10 | 115 | 14 | 25 | 141k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1114.69/1115.06 c 1024s| 4080k|115135 | 10839k| 86M| 37 | - | 115 | 148 | 9 | 115 | 14 | 25 | 141k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1117.30/1117.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1117.30/1117.66 c 1026s| 4090k|115739 | 10865k| 87M| 37 | - | 115 | 147 | 7 | 115 | 14 | 25 | 141k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1119.89/1120.21 c 1029s| 4100k|116605 | 10890k| 87M| 37 | 5 | 115 | 112 | 5 | 115 | 14 | 25 | 142k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1122.39/1122.74 c 1031s| 4110k|116963 | 10915k| 88M| 37 | 5 | 115 | 119 | 7 | 115 | 14 | 25 | 142k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1124.90/1125.24 c 1033s| 4120k|117014 | 10939k| 88M| 37 | 5 | 115 | 122 | 11 | 115 | 14 | 25 | 142k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1127.39/1127.74 c 1036s| 4130k|116758 | 10964k| 88M| 37 | - | 115 | 118 | 5 | 115 | 14 | 25 | 142k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1129.89/1130.24 c 1038s| 4140k|116511 | 10988k| 88M| 37 | - | 115 | 106 | 5 | 115 | 14 | 25 | 142k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1132.40/1132.77 c 1040s| 4150k|116326 | 11013k| 88M| 37 | 5 | 115 | 116 | 5 | 115 | 14 | 25 | 143k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1134.89/1135.27 c 1042s| 4160k|115972 | 11038k| 88M| 37 | 5 | 115 | 112 | 5 | 115 | 14 | 25 | 143k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1137.50/1137.88 c 1045s| 4170k|116378 | 11066k| 88M| 37 | - | 115 | 129 | 6 | 115 | 14 | 25 | 143k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1140.09/1140.44 c 1047s| 4180k|115934 | 11092k| 88M| 37 | 5 | 115 | 111 | 10 | 115 | 14 | 25 | 143k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1142.59/1142.99 c 1049s| 4190k|115820 | 11117k| 88M| 37 | 5 | 115 | 120 | 6 | 115 | 14 | 25 | 143k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1145.19/1145.57 c 1052s| 4200k|115738 | 11142k| 88M| 37 | - | 115 | 115 | 5 | 115 | 14 | 25 | 143k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1147.79/1148.10 c 1054s| 4210k|115478 | 11166k| 88M| 37 | - | 115 | 113 | 7 | 115 | 14 | 25 | 144k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1150.29/1150.63 c 1056s| 4220k|115151 | 11191k| 87M| 37 | - | 115 | 111 | 3 | 115 | 14 | 25 | 144k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1152.88/1153.22 c 1059s| 4230k|114958 | 11217k| 87M| 37 | 5 | 115 | 95 | 5 | 115 | 14 | 25 | 144k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1155.39/1155.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.39/1155.73 c 1061s| 4240k|114594 | 11242k| 87M| 37 | - | 115 | 113 | 5 | 115 | 14 | 25 | 144k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1157.89/1158.29 c 1063s| 4250k|114836 | 11267k| 88M| 37 | - | 115 | 118 | 5 | 115 | 14 | 25 | 144k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1160.59/1160.93 c 1066s| 4260k|115470 | 11294k| 88M| 37 | - | 115 | 118 | 5 | 115 | 14 | 25 | 145k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1163.18/1163.58 c 1068s| 4270k|116028 | 11320k| 88M| 37 | - | 115 | 130 | 5 | 115 | 14 | 25 | 145k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1165.79/1166.18 c 1071s| 4280k|116070 | 11345k| 89M| 37 | - | 115 | 106 | 5 | 115 | 14 | 25 | 145k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1168.38/1168.76 c 1073s| 4290k|116135 | 11370k| 89M| 37 | 5 | 115 | 112 | 5 | 115 | 14 | 25 | 145k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1170.99/1171.35 c 1075s| 4300k|116922 | 11397k| 89M| 37 | 5 | 115 | 118 | 6 | 115 | 14 | 25 | 145k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1173.48/1173.90 c 1078s| 4310k|116888 | 11422k| 89M| 37 | 5 | 115 | 121 | 7 | 115 | 14 | 25 | 146k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1176.08/1176.43 c 1080s| 4320k|116809 | 11447k| 89M| 37 | 5 | 115 | 112 | 5 | 115 | 14 | 25 | 146k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1178.69/1179.00 c 1082s| 4330k|116994 | 11472k| 90M| 37 | - | 115 | 111 | 4 | 0 | 0 | 25 | 146k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1181.18/1181.56 c 1085s| 4340k|116683 | 11497k| 90M| 37 | 5 | 115 | 115 | 5 | 115 | 14 | 25 | 146k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1183.78/1184.14 c 1087s| 4350k|117132 | 11522k| 90M| 37 | - | 115 | 115 | 5 | 115 | 14 | 25 | 146k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1186.38/1186.74 c 1089s| 4360k|117173 | 11548k| 90M| 37 | - | 115 | 114 | 6 | 115 | 14 | 25 | 147k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1188.88/1189.28 c 1092s| 4370k|116828 | 11574k| 90M| 37 | - | 115 | 105 | 6 | 115 | 14 | 25 | 147k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1191.48/1191.81 c 1094s| 4380k|116872 | 11598k| 90M| 37 | 5 | 115 | 109 | 7 | 115 | 14 | 25 | 147k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1193.98/1194.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1193.98/1194.37 c 1096s| 4390k|117015 | 11623k| 90M| 37 | - | 115 | 103 | 8 | 0 | 0 | 25 | 147k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1196.48/1196.88 c 1099s| 4400k|116979 | 11647k| 90M| 37 | 5 | 115 | 112 | 5 | 115 | 14 | 25 | 147k| 24k| 0.000000e+00 | 2.000000e+00 | Inf
1199.08/1199.44 c 1101s| 4410k|116586 | 11672k| 90M| 37 | 5 | 115 | 120 | 5 | 115 | 14 | 25 | 148k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1201.68/1202.01 c 1103s| 4420k|116251 | 11696k| 90M| 37 | - | 115 | 111 | 5 | 115 | 14 | 25 | 148k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1204.18/1204.58 c 1106s| 4430k|116177 | 11721k| 90M| 37 | 5 | 115 | 123 | 7 | 115 | 14 | 25 | 148k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1206.77/1207.11 c 1108s| 4440k|116048 | 11747k| 90M| 37 | 5 | 115 | 121 | 5 | 115 | 14 | 25 | 148k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1209.27/1209.65 c 1110s| 4450k|116241 | 11772k| 90M| 37 | 5 | 115 | 135 | 8 | 115 | 14 | 25 | 148k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1211.77/1212.14 c 1113s| 4460k|115813 | 11796k| 90M| 37 | - | 115 | 114 | 5 | 115 | 14 | 25 | 148k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1214.27/1214.68 c 1115s| 4470k|115692 | 11821k| 90M| 37 | - | 115 | 111 | 7 | 115 | 14 | 25 | 149k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1216.87/1217.22 c 1117s| 4480k|115722 | 11846k| 90M| 37 | 5 | 115 | 126 | 7 | 115 | 14 | 25 | 149k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1219.37/1219.77 c 1120s| 4490k|115593 | 11871k| 90M| 37 | - | 115 | 128 | 5 | 115 | 14 | 25 | 149k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1221.97/1222.35 c 1122s| 4500k|115402 | 11896k| 90M| 37 | - | 115 | 130 | 5 | 115 | 14 | 25 | 149k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1224.47/1224.88 c 1124s| 4510k|115153 | 11921k| 90M| 37 | 5 | 115 | 125 | 5 | 115 | 14 | 25 | 149k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1227.07/1227.46 c 1127s| 4520k|115257 | 11946k| 90M| 37 | 5 | 115 | 135 | 11 | 115 | 14 | 25 | 150k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1229.67/1230.05 c 1129s| 4530k|115152 | 11972k| 90M| 37 | - | 115 | 125 | 5 | 115 | 14 | 25 | 150k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1232.17/1232.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.17/1232.58 c 1131s| 4540k|114894 | 11996k| 90M| 37 | 5 | 115 | 117 | 5 | 115 | 14 | 25 | 150k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1234.76/1235.12 c 1134s| 4550k|114610 | 12022k| 90M| 37 | 5 | 115 | 120 | 5 | 115 | 14 | 25 | 150k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1237.26/1237.68 c 1136s| 4560k|115051 | 12048k| 90M| 37 | 5 | 115 | 123 | 10 | 115 | 14 | 25 | 150k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1239.86/1240.23 c 1138s| 4570k|114488 | 12073k| 90M| 37 | 5 | 115 | 115 | 5 | 115 | 14 | 25 | 150k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1242.37/1242.76 c 1141s| 4580k|114025 | 12098k| 89M| 37 | - | 115 | 136 | 8 | 115 | 14 | 25 | 151k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1244.97/1245.36 c 1143s| 4590k|114191 | 12124k| 89M| 37 | 5 | 115 | 128 | 8 | 115 | 14 | 25 | 151k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1247.46/1247.88 c 1145s| 4600k|114350 | 12149k| 90M| 37 | 5 | 115 | 128 | 5 | 115 | 14 | 25 | 151k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1249.96/1250.40 c 1148s| 4610k|114041 | 12173k| 90M| 37 | - | 115 | 141 | 5 | 115 | 14 | 25 | 151k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1252.57/1252.99 c 1150s| 4620k|113775 | 12199k| 89M| 37 | 5 | 115 | 132 | 6 | 115 | 14 | 25 | 151k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1255.16/1255.52 c 1152s| 4630k|113546 | 12224k| 89M| 37 | - | 115 | 126 | 5 | 115 | 14 | 25 | 152k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1257.66/1258.04 c 1155s| 4640k|113388 | 12248k| 89M| 37 | - | 115 | 151 | 5 | 115 | 14 | 25 | 152k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1260.27/1260.64 c 1157s| 4650k|113099 | 12274k| 89M| 37 | - | 115 | 138 | 6 | 0 | 0 | 25 | 152k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1262.76/1263.18 c 1159s| 4660k|112959 | 12300k| 89M| 37 | 5 | 115 | 118 | 5 | 115 | 14 | 25 | 152k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1265.36/1265.76 c 1162s| 4670k|112928 | 12326k| 89M| 37 | 5 | 115 | 133 | 8 | 115 | 14 | 25 | 152k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1267.97/1268.37 c 1164s| 4680k|113068 | 12353k| 89M| 37 | - | 115 | 134 | 6 | 115 | 14 | 25 | 152k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1270.46/1270.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.46/1270.89 c 1166s| 4690k|113066 | 12378k| 89M| 37 | - | 115 | 126 | 6 | 115 | 14 | 25 | 153k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1273.06/1273.44 c 1169s| 4700k|113085 | 12403k| 89M| 37 | 5 | 115 | 122 | 8 | 115 | 14 | 25 | 153k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1275.56/1275.98 c 1171s| 4710k|113303 | 12428k| 90M| 37 | 5 | 115 | 127 | 5 | 115 | 14 | 25 | 153k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1278.16/1278.54 c 1173s| 4720k|112800 | 12454k| 89M| 37 | 5 | 115 | 131 | 5 | 115 | 14 | 25 | 153k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1280.66/1281.08 c 1176s| 4730k|112887 | 12479k| 89M| 37 | - | 115 | 122 | 5 | 115 | 14 | 25 | 153k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1283.26/1283.68 c 1178s| 4740k|113147 | 12505k| 90M| 37 | 5 | 115 | 119 | 6 | 115 | 14 | 25 | 154k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1285.85/1286.25 c 1180s| 4750k|112765 | 12531k| 90M| 37 | - | 115 | 126 | 14 | 115 | 14 | 25 | 154k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1288.56/1288.91 c 1183s| 4760k|113150 | 12557k| 90M| 37 | 5 | 115 | 125 | 7 | 115 | 14 | 25 | 154k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1291.16/1291.52 c 1185s| 4770k|114139 | 12585k| 90M| 37 | - | 115 | 134 | 7 | 115 | 14 | 25 | 154k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1293.76/1294.13 c 1188s| 4780k|115188 | 12612k| 91M| 37 | 5 | 115 | 134 | 6 | 115 | 14 | 25 | 154k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1296.35/1296.75 c 1190s| 4790k|116066 | 12640k| 92M| 37 | 5 | 115 | 135 | 8 | 115 | 14 | 25 | 155k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1298.95/1299.36 c 1192s| 4800k|116547 | 12666k| 92M| 37 | 5 | 115 | 136 | 6 | 115 | 14 | 25 | 155k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1301.55/1301.98 c 1195s| 4810k|116995 | 12692k| 92M| 37 | 5 | 115 | 141 | 6 | 115 | 14 | 25 | 155k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1304.16/1304.59 c 1197s| 4820k|117600 | 12718k| 93M| 37 | 5 | 115 | 128 | 7 | 115 | 14 | 25 | 155k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1306.75/1307.16 c 1200s| 4830k|117902 | 12744k| 93M| 37 | - | 115 | 129 | 7 | 115 | 14 | 25 | 155k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1309.25/1309.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1309.25/1309.66 c 1202s| 4840k|118223 | 12769k| 93M| 37 | 5 | 115 | 131 | 6 | 115 | 14 | 25 | 155k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1311.86/1312.22 c 1204s| 4850k|118836 | 12795k| 94M| 37 | 4 | 115 | 131 | 6 | 115 | 14 | 25 | 156k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1314.35/1314.72 c 1206s| 4860k|119219 | 12819k| 94M| 37 | - | 115 | 128 | 5 | 0 | 0 | 25 | 156k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1316.85/1317.26 c 1209s| 4870k|119512 | 12844k| 94M| 37 | - | 115 | 137 | 7 | 115 | 14 | 25 | 156k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1319.44/1319.88 c 1211s| 4880k|119857 | 12869k| 95M| 37 | - | 115 | 136 | 13 | 115 | 14 | 25 | 156k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1322.05/1322.44 c 1213s| 4890k|120183 | 12894k| 95M| 37 | - | 115 | 133 | 5 | 115 | 14 | 25 | 156k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1324.64/1325.03 c 1216s| 4900k|120553 | 12919k| 95M| 37 | 5 | 115 | 140 | 5 | 115 | 14 | 25 | 157k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1327.25/1327.63 c 1218s| 4910k|121017 | 12945k| 96M| 37 | - | 115 | 140 | 8 | 115 | 14 | 25 | 157k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1329.74/1330.15 c 1221s| 4920k|121098 | 12968k| 96M| 37 | 5 | 115 | 137 | 5 | 115 | 14 | 25 | 157k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1332.34/1332.76 c 1223s| 4930k|121480 | 12994k| 96M| 37 | - | 115 | 135 | 11 | 115 | 14 | 25 | 157k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1334.94/1335.32 c 1225s| 4940k|122004 | 13019k| 97M| 37 | 5 | 115 | 137 | 5 | 115 | 14 | 25 | 157k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1337.54/1337.95 c 1228s| 4950k|122872 | 13047k| 97M| 37 | 5 | 115 | 130 | 5 | 115 | 14 | 25 | 158k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1340.14/1340.58 c 1230s| 4960k|123392 | 13074k| 98M| 37 | - | 115 | 140 | 6 | 115 | 14 | 25 | 158k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1342.84/1343.24 c 1232s| 4970k|123982 | 13101k| 98M| 37 | - | 115 | 142 | 6 | 0 | 0 | 25 | 158k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1345.44/1345.83 c 1235s| 4980k|124313 | 13127k| 98M| 37 | - | 115 | 142 | 11 | 0 | 0 | 25 | 158k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1348.04/1348.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1348.04/1348.43 c 1237s| 4990k|124703 | 13152k| 99M| 37 | - | 115 | 120 | 4 | 115 | 14 | 25 | 158k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1350.54/1350.99 c 1240s| 5000k|124892 | 13178k| 99M| 37 | 5 | 115 | 101 | 6 | 115 | 14 | 25 | 159k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1353.14/1353.59 c 1242s| 5010k|125190 | 13204k| 99M| 37 | - | 115 | 93 | 6 | 115 | 14 | 25 | 159k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1355.84/1356.26 c 1244s| 5020k|126400 | 13232k| 100M| 37 | - | 115 | 98 | 9 | 115 | 14 | 25 | 159k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1358.44/1358.88 c 1247s| 5030k|127327 | 13259k| 100M| 37 | 5 | 115 | 90 | 8 | 115 | 14 | 25 | 159k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1361.14/1361.50 c 1249s| 5040k|128082 | 13285k| 101M| 37 | 5 | 115 | 89 | 6 | 115 | 14 | 25 | 160k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1363.63/1364.05 c 1252s| 5050k|128715 | 13310k| 101M| 37 | 5 | 115 | 86 | 5 | 115 | 14 | 25 | 160k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1366.23/1366.63 c 1254s| 5060k|128863 | 13336k| 102M| 37 | 5 | 115 | 83 | 7 | 115 | 14 | 25 | 160k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1368.74/1369.15 c 1256s| 5070k|128835 | 13361k| 102M| 37 | - | 115 | 73 | 8 | 115 | 14 | 25 | 160k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1371.34/1371.73 c 1259s| 5080k|129384 | 13388k| 102M| 37 | 5 | 115 | 79 | 6 | 115 | 14 | 25 | 160k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1373.84/1374.26 c 1261s| 5090k|129293 | 13412k| 102M| 37 | - | 115 | 94 | 10 | 115 | 14 | 25 | 160k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1376.43/1376.80 c 1263s| 5100k|129536 | 13437k| 103M| 37 | - | 115 | 95 | 5 | 115 | 14 | 25 | 161k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1378.93/1379.37 c 1266s| 5110k|129491 | 13462k| 103M| 37 | 5 | 115 | 84 | 5 | 115 | 14 | 25 | 161k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1381.53/1381.95 c 1268s| 5120k|129794 | 13487k| 103M| 37 | - | 115 | 79 | 5 | 115 | 14 | 25 | 161k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1384.13/1384.52 c 1270s| 5130k|129963 | 13512k| 103M| 37 | - | 115 | 85 | 7 | 115 | 14 | 25 | 161k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1386.63/1387.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.63/1387.09 c 1273s| 5140k|129941 | 13538k| 103M| 37 | 5 | 115 | 86 | 5 | 115 | 14 | 25 | 161k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1389.23/1389.65 c 1275s| 5150k|130222 | 13563k| 104M| 37 | - | 115 | 90 | 7 | 115 | 14 | 25 | 162k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1391.83/1392.22 c 1277s| 5160k|130713 | 13589k| 104M| 37 | - | 115 | 85 | 6 | 115 | 14 | 25 | 162k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1394.33/1394.74 c 1280s| 5170k|130634 | 13613k| 104M| 37 | 5 | 115 | 92 | 8 | 115 | 14 | 25 | 162k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1396.93/1397.30 c 1282s| 5180k|130887 | 13638k| 104M| 37 | 5 | 115 | 94 | 5 | 115 | 14 | 25 | 162k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1399.43/1399.85 c 1284s| 5190k|131095 | 13662k| 105M| 37 | - | 115 | 91 | 5 | 115 | 14 | 25 | 162k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1402.03/1402.42 c 1287s| 5200k|131284 | 13687k| 105M| 37 | 5 | 115 | 94 | 5 | 115 | 14 | 25 | 163k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1404.63/1405.00 c 1289s| 5210k|131200 | 13711k| 105M| 37 | 5 | 115 | 79 | 5 | 115 | 14 | 25 | 163k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1407.12/1407.55 c 1291s| 5220k|131234 | 13736k| 105M| 37 | - | 115 | 81 | 4 | 0 | 0 | 25 | 163k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1409.62/1410.08 c 1294s| 5230k|131132 | 13761k| 105M| 37 | - | 115 | 92 | 7 | 0 | 0 | 25 | 163k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1412.22/1412.64 c 1296s| 5240k|131265 | 13786k| 105M| 37 | - | 115 | 111 | 5 | 0 | 0 | 25 | 163k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1414.72/1415.17 c 1298s| 5250k|131356 | 13811k| 105M| 37 | 5 | 115 | 95 | 10 | 115 | 14 | 25 | 163k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1417.32/1417.74 c 1301s| 5260k|131517 | 13835k| 105M| 37 | 5 | 115 | 89 | 6 | 115 | 14 | 25 | 164k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1419.92/1420.36 c 1303s| 5270k|132148 | 13862k| 106M| 37 | - | 115 | 87 | 6 | 115 | 14 | 25 | 164k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1422.52/1422.92 c 1305s| 5280k|132090 | 13887k| 106M| 37 | 5 | 115 | 85 | 10 | 115 | 14 | 25 | 164k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1425.03/1425.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1425.03/1425.47 c 1308s| 5290k|132050 | 13911k| 106M| 37 | 5 | 115 | 94 | 5 | 115 | 14 | 25 | 164k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1427.62/1428.04 c 1310s| 5300k|131751 | 13936k| 106M| 37 | - | 115 | 92 | 6 | 115 | 14 | 25 | 164k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1430.12/1430.59 c 1312s| 5310k|131647 | 13961k| 106M| 37 | - | 115 | 77 | 7 | 115 | 14 | 25 | 164k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1432.72/1433.14 c 1315s| 5320k|131533 | 13986k| 106M| 37 | 5 | 115 | 86 | 6 | 115 | 14 | 25 | 165k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1435.21/1435.63 c 1317s| 5330k|131687 | 14010k| 106M| 37 | - | 115 | 95 | 6 | 115 | 14 | 25 | 165k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1437.72/1438.15 c 1319s| 5340k|131491 | 14033k| 106M| 37 | - | 115 | 87 | 10 | 115 | 14 | 25 | 165k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1440.31/1440.74 c 1322s| 5350k|131235 | 14057k| 106M| 37 | 5 | 115 | 89 | 6 | 115 | 14 | 25 | 165k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1442.91/1443.32 c 1324s| 5360k|130919 | 14082k| 106M| 37 | - | 115 | 95 | 5 | 115 | 14 | 25 | 165k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1445.42/1445.89 c 1326s| 5370k|131166 | 14107k| 106M| 37 | - | 115 | 96 | 5 | 115 | 14 | 25 | 165k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1448.01/1448.40 c 1329s| 5380k|130574 | 14130k| 106M| 37 | - | 115 | 102 | 5 | 115 | 14 | 25 | 166k| 25k| 0.000000e+00 | 2.000000e+00 | Inf
1450.52/1450.95 c 1331s| 5390k|130534 | 14155k| 106M| 37 | 5 | 115 | 103 | 5 | 115 | 14 | 25 | 166k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1453.01/1453.48 c 1333s| 5400k|130998 | 14180k| 106M| 37 | 5 | 115 | 97 | 6 | 115 | 14 | 25 | 166k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1455.61/1456.02 c 1336s| 5410k|131030 | 14204k| 106M| 37 | - | 115 | 106 | 7 | 115 | 14 | 25 | 166k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1458.21/1458.64 c 1338s| 5420k|131337 | 14229k| 107M| 37 | 5 | 115 | 96 | 6 | 115 | 14 | 25 | 166k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1460.81/1461.24 c 1340s| 5430k|131044 | 14254k| 106M| 37 | - | 115 | 88 | 4 | 0 | 0 | 25 | 167k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1463.41/1463.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1463.41/1463.88 c 1343s| 5440k|131469 | 14280k| 107M| 37 | 5 | 115 | 95 | 5 | 115 | 14 | 25 | 167k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1466.01/1466.44 c 1345s| 5450k|131079 | 14305k| 107M| 37 | - | 115 | 92 | 6 | 115 | 14 | 25 | 167k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1468.51/1468.96 c 1347s| 5460k|131122 | 14330k| 107M| 37 | - | 115 | 92 | 6 | 115 | 14 | 25 | 167k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1471.11/1471.50 c 1350s| 5470k|131091 | 14354k| 107M| 37 | 5 | 115 | 100 | 5 | 115 | 14 | 25 | 167k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1473.61/1474.04 c 1352s| 5480k|130882 | 14378k| 107M| 37 | - | 115 | 88 | 5 | 115 | 14 | 25 | 167k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1476.11/1476.59 c 1354s| 5490k|130585 | 14401k| 107M| 37 | - | 115 | 99 | 5 | 115 | 14 | 25 | 168k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1478.71/1479.17 c 1357s| 5500k|131144 | 14427k| 107M| 37 | 5 | 115 | 95 | 6 | 115 | 14 | 25 | 168k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1481.31/1481.74 c 1359s| 5510k|130922 | 14451k| 107M| 37 | - | 115 | 90 | 5 | 115 | 14 | 25 | 168k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1483.80/1484.29 c 1362s| 5520k|131006 | 14476k| 107M| 37 | 5 | 115 | 93 | 8 | 115 | 14 | 25 | 168k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1486.41/1486.89 c 1364s| 5530k|131876 | 14502k| 108M| 37 | - | 115 | 107 | 7 | 115 | 14 | 25 | 168k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1488.91/1489.38 c 1366s| 5540k|131417 | 14525k| 108M| 37 | - | 115 | 106 | 8 | 115 | 14 | 25 | 169k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1491.50/1491.91 c 1369s| 5550k|131668 | 14550k| 108M| 37 | - | 115 | 110 | 5 | 115 | 14 | 25 | 169k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1494.00/1494.43 c 1371s| 5560k|131313 | 14574k| 108M| 37 | 5 | 115 | 95 | 5 | 115 | 14 | 25 | 169k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1496.50/1497.00 c 1373s| 5570k|131281 | 14598k| 108M| 37 | 5 | 115 | 92 | 5 | 115 | 14 | 25 | 169k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1499.10/1499.55 c 1376s| 5580k|131153 | 14622k| 108M| 37 | - | 115 | 101 | 5 | 115 | 14 | 25 | 169k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1501.60/1502.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1501.60/1502.06 c 1378s| 5590k|130929 | 14645k| 108M| 37 | - | 115 | 100 | 6 | 115 | 14 | 25 | 170k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1504.20/1504.64 c 1380s| 5600k|131353 | 14669k| 108M| 37 | - | 115 | 100 | 6 | 115 | 14 | 25 | 170k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1506.70/1507.16 c 1382s| 5610k|130902 | 14693k| 108M| 37 | - | 115 | 92 | 5 | 115 | 14 | 25 | 170k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1509.20/1509.68 c 1385s| 5620k|130648 | 14717k| 108M| 37 | - | 115 | 100 | 5 | 115 | 14 | 25 | 170k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1511.79/1512.22 c 1387s| 5630k|130830 | 14742k| 108M| 37 | - | 115 | 96 | 7 | 115 | 14 | 25 | 170k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1514.30/1514.73 c 1389s| 5640k|130669 | 14766k| 108M| 37 | 5 | 115 | 106 | 8 | 115 | 14 | 25 | 171k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1516.99/1517.42 c 1392s| 5650k|131366 | 14792k| 108M| 37 | 5 | 115 | 125 | 9 | 115 | 14 | 25 | 171k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1519.49/1519.97 c 1394s| 5660k|131389 | 14817k| 108M| 37 | 5 | 115 | 111 | 5 | 115 | 14 | 25 | 171k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1522.09/1522.50 c 1396s| 5670k|131265 | 14841k| 108M| 37 | 5 | 115 | 124 | 9 | 115 | 14 | 25 | 171k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1524.59/1525.04 c 1399s| 5680k|130927 | 14865k| 108M| 37 | 5 | 115 | 99 | 6 | 115 | 14 | 25 | 171k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1527.09/1527.56 c 1401s| 5690k|130736 | 14889k| 108M| 37 | 5 | 115 | 95 | 6 | 115 | 14 | 25 | 172k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1529.59/1530.05 c 1403s| 5700k|130683 | 14913k| 108M| 37 | - | 115 | 106 | 5 | 115 | 14 | 25 | 172k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1531.99/1532.49 c 1406s| 5710k|130858 | 14936k| 108M| 37 | - | 115 | 111 | 5 | 115 | 14 | 25 | 172k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1534.49/1534.97 c 1408s| 5720k|130752 | 14959k| 108M| 37 | - | 115 | 122 | 5 | 115 | 14 | 25 | 172k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1537.09/1537.54 c 1410s| 5730k|131200 | 14985k| 109M| 37 | 5 | 115 | 111 | 6 | 115 | 14 | 25 | 172k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1539.69/1540.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.69/1540.12 c 1413s| 5740k|131733 | 15012k| 109M| 37 | 5 | 115 | 114 | 6 | 115 | 14 | 25 | 172k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1542.29/1542.72 c 1415s| 5750k|132421 | 15039k| 110M| 37 | 5 | 115 | 113 | 5 | 115 | 14 | 25 | 173k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1544.78/1545.27 c 1417s| 5760k|132709 | 15064k| 110M| 37 | - | 115 | 113 | 7 | 0 | 0 | 25 | 173k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1547.29/1547.78 c 1420s| 5770k|132745 | 15089k| 110M| 37 | 5 | 115 | 113 | 5 | 115 | 14 | 25 | 173k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1549.78/1550.26 c 1422s| 5780k|132681 | 15113k| 110M| 37 | - | 115 | 112 | 6 | 115 | 14 | 25 | 173k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1552.29/1552.77 c 1424s| 5790k|132489 | 15138k| 110M| 37 | 5 | 115 | 120 | 7 | 115 | 14 | 25 | 173k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1554.79/1555.27 c 1426s| 5800k|132461 | 15163k| 110M| 37 | 5 | 115 | 134 | 8 | 115 | 14 | 25 | 174k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1557.39/1557.81 c 1429s| 5810k|132595 | 15187k| 110M| 37 | 5 | 115 | 128 | 6 | 115 | 14 | 25 | 174k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1559.88/1560.38 c 1431s| 5820k|132087 | 15213k| 110M| 37 | 5 | 115 | 112 | 5 | 115 | 14 | 25 | 174k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1562.48/1562.96 c 1433s| 5830k|131976 | 15239k| 110M| 37 | - | 115 | 125 | 8 | 115 | 14 | 25 | 174k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1565.08/1565.51 c 1436s| 5840k|131897 | 15262k| 110M| 37 | 5 | 115 | 113 | 5 | 115 | 14 | 25 | 174k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1567.58/1568.08 c 1438s| 5850k|131769 | 15286k| 110M| 37 | - | 115 | 110 | 6 | 115 | 14 | 25 | 175k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1570.18/1570.61 c 1440s| 5860k|131796 | 15310k| 110M| 37 | 5 | 115 | 116 | 8 | 115 | 14 | 25 | 175k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1572.68/1573.11 c 1443s| 5870k|131324 | 15333k| 109M| 37 | - | 115 | 106 | 6 | 115 | 14 | 25 | 175k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1575.18/1575.61 c 1445s| 5880k|131125 | 15356k| 109M| 37 | 5 | 115 | 115 | 5 | 115 | 14 | 25 | 175k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1577.68/1578.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1577.68/1578.11 c 1447s| 5890k|130889 | 15380k| 109M| 37 | - | 115 | 113 | 7 | 115 | 14 | 25 | 175k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1580.28/1580.71 c 1450s| 5900k|131185 | 15406k| 109M| 37 | 5 | 115 | 112 | 5 | 115 | 14 | 25 | 176k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1582.78/1583.29 c 1452s| 5910k|131433 | 15431k| 110M| 37 | 5 | 115 | 130 | 9 | 115 | 14 | 25 | 176k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1585.38/1585.85 c 1454s| 5920k|131507 | 15455k| 110M| 37 | - | 115 | 114 | 5 | 115 | 14 | 25 | 176k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1587.88/1588.40 c 1457s| 5930k|131805 | 15480k| 110M| 37 | - | 115 | 132 | 7 | 115 | 14 | 25 | 176k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1590.48/1590.95 c 1459s| 5940k|132373 | 15504k| 110M| 37 | - | 115 | 127 | 5 | 115 | 14 | 25 | 176k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1592.97/1593.43 c 1461s| 5950k|132297 | 15528k| 111M| 37 | 5 | 115 | 125 | 6 | 115 | 14 | 25 | 177k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1595.38/1595.88 c 1464s| 5960k|132325 | 15551k| 111M| 37 | 5 | 115 | 130 | 5 | 115 | 14 | 25 | 177k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1597.97/1598.40 c 1466s| 5970k|132231 | 15575k| 111M| 37 | - | 115 | 136 | 5 | 115 | 14 | 25 | 177k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1600.47/1600.96 c 1468s| 5980k|132215 | 15599k| 111M| 37 | 5 | 115 | 132 | 6 | 115 | 14 | 25 | 177k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1603.07/1603.54 c 1471s| 5990k|132117 | 15624k| 111M| 37 | - | 115 | 142 | 5 | 115 | 14 | 25 | 177k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1605.67/1606.10 c 1473s| 6000k|131380 | 15648k| 110M| 37 | 5 | 115 | 125 | 5 | 115 | 14 | 25 | 177k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1608.17/1608.64 c 1475s| 6010k|131127 | 15672k| 110M| 37 | - | 115 | 124 | 5 | 115 | 14 | 25 | 178k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1610.67/1611.14 c 1478s| 6020k|130859 | 15695k| 110M| 37 | 5 | 115 | 121 | 5 | 115 | 14 | 25 | 178k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1613.17/1613.67 c 1480s| 6030k|130566 | 15719k| 110M| 37 | 5 | 115 | 132 | 6 | 115 | 14 | 25 | 178k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1615.67/1616.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1615.67/1616.18 c 1482s| 6040k|130663 | 15743k| 110M| 37 | 5 | 115 | 136 | 5 | 115 | 14 | 25 | 178k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1618.27/1618.76 c 1485s| 6050k|130612 | 15768k| 110M| 37 | 5 | 115 | 117 | 7 | 115 | 14 | 25 | 178k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1620.87/1621.34 c 1487s| 6060k|130556 | 15793k| 110M| 37 | 5 | 115 | 126 | 6 | 115 | 14 | 25 | 179k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1623.47/1623.92 c 1489s| 6070k|130667 | 15818k| 110M| 37 | - | 115 | 122 | 5 | 115 | 14 | 25 | 179k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1625.97/1626.49 c 1492s| 6080k|130133 | 15841k| 110M| 37 | 5 | 115 | 117 | 7 | 115 | 14 | 25 | 179k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1628.57/1629.01 c 1494s| 6090k|129813 | 15865k| 109M| 37 | - | 115 | 117 | 5 | 115 | 14 | 25 | 179k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1631.07/1631.52 c 1496s| 6100k|129940 | 15890k| 110M| 37 | - | 115 | 146 | 5 | 0 | 0 | 25 | 180k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1633.57/1634.05 c 1499s| 6110k|129895 | 15914k| 110M| 37 | - | 115 | 108 | 9 | 115 | 14 | 25 | 180k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1636.17/1636.61 c 1501s| 6120k|130029 | 15938k| 110M| 37 | 5 | 115 | 111 | 5 | 115 | 14 | 25 | 180k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1638.66/1639.18 c 1503s| 6130k|129787 | 15962k| 110M| 37 | 5 | 115 | 118 | 6 | 115 | 14 | 25 | 180k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1641.26/1641.75 c 1506s| 6140k|129697 | 15988k| 110M| 37 | 5 | 115 | 130 | 7 | 115 | 14 | 25 | 180k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1643.86/1644.34 c 1508s| 6150k|129375 | 16013k| 109M| 37 | - | 115 | 120 | 5 | 115 | 14 | 25 | 180k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1646.46/1646.94 c 1510s| 6160k|129324 | 16037k| 109M| 37 | - | 115 | 123 | 6 | 115 | 14 | 25 | 181k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1649.06/1649.53 c 1513s| 6170k|129414 | 16062k| 110M| 37 | - | 115 | 103 | 5 | 115 | 14 | 25 | 181k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1651.66/1652.13 c 1515s| 6180k|129530 | 16087k| 110M| 37 | - | 115 | 107 | 6 | 115 | 14 | 25 | 181k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1654.26/1654.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1654.26/1654.71 c 1517s| 6190k|129361 | 16111k| 110M| 37 | 5 | 115 | 108 | 7 | 115 | 14 | 25 | 181k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1656.86/1657.31 c 1520s| 6200k|129558 | 16136k| 110M| 37 | - | 115 | 113 | 6 | 115 | 14 | 25 | 181k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1659.36/1659.87 c 1522s| 6210k|128982 | 16160k| 110M| 37 | - | 115 | 112 | 5 | 115 | 14 | 25 | 182k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1661.96/1662.43 c 1524s| 6220k|128824 | 16185k| 109M| 37 | - | 115 | 121 | 6 | 115 | 14 | 25 | 182k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1664.56/1665.00 c 1527s| 6230k|128555 | 16210k| 109M| 37 | 5 | 115 | 130 | 5 | 115 | 14 | 25 | 182k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1667.06/1667.59 c 1529s| 6240k|128340 | 16235k| 109M| 37 | - | 115 | 116 | 6 | 115 | 14 | 25 | 182k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1669.65/1670.14 c 1532s| 6250k|128297 | 16260k| 109M| 37 | 5 | 115 | 129 | 12 | 115 | 14 | 25 | 182k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1672.15/1672.69 c 1534s| 6260k|128534 | 16285k| 109M| 37 | - | 115 | 116 | 5 | 115 | 14 | 25 | 183k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1674.65/1675.19 c 1536s| 6270k|128315 | 16308k| 109M| 37 | - | 115 | 121 | 4 | 0 | 0 | 25 | 183k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1677.25/1677.71 c 1538s| 6280k|128195 | 16332k| 109M| 37 | 5 | 115 | 117 | 8 | 115 | 14 | 25 | 183k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1679.75/1680.27 c 1541s| 6290k|128087 | 16356k| 109M| 37 | 5 | 115 | 113 | 6 | 115 | 14 | 25 | 183k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1682.35/1682.80 c 1543s| 6300k|127876 | 16380k| 109M| 37 | - | 115 | 123 | 8 | 115 | 14 | 25 | 183k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1684.86/1685.36 c 1545s| 6310k|127431 | 16405k| 109M| 37 | - | 115 | 116 | 6 | 115 | 14 | 25 | 184k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1687.45/1687.94 c 1548s| 6320k|127934 | 16430k| 109M| 37 | 5 | 115 | 140 | 13 | 115 | 14 | 25 | 184k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1689.95/1690.46 c 1550s| 6330k|128081 | 16454k| 110M| 37 | - | 115 | 121 | 6 | 115 | 14 | 25 | 184k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1692.46/1693.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1692.46/1693.00 c 1552s| 6340k|128314 | 16478k| 110M| 37 | - | 115 | 136 | 5 | 115 | 14 | 25 | 184k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1695.05/1695.55 c 1555s| 6350k|128693 | 16502k| 110M| 37 | 5 | 115 | 131 | 8 | 115 | 14 | 25 | 184k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1697.55/1698.08 c 1557s| 6360k|128557 | 16526k| 110M| 37 | - | 115 | 128 | 6 | 115 | 14 | 25 | 185k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1700.15/1700.62 c 1559s| 6370k|128688 | 16551k| 110M| 37 | 5 | 115 | 122 | 6 | 115 | 14 | 25 | 185k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1702.65/1703.18 c 1562s| 6380k|128597 | 16575k| 110M| 37 | - | 115 | 131 | 6 | 115 | 14 | 25 | 185k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1705.25/1705.73 c 1564s| 6390k|128272 | 16600k| 110M| 37 | - | 115 | 132 | 5 | 115 | 14 | 25 | 185k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1707.75/1708.30 c 1566s| 6400k|127924 | 16624k| 110M| 37 | 5 | 115 | 124 | 5 | 115 | 14 | 25 | 185k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1710.34/1710.82 c 1569s| 6410k|127480 | 16648k| 109M| 37 | - | 115 | 115 | 5 | 0 | 0 | 25 | 186k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1712.85/1713.33 c 1571s| 6420k|127376 | 16674k| 109M| 37 | 5 | 115 | 124 | 5 | 115 | 14 | 25 | 186k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1715.34/1715.85 c 1573s| 6430k|127211 | 16699k| 109M| 37 | - | 115 | 126 | 6 | 115 | 14 | 25 | 186k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1717.94/1718.43 c 1576s| 6440k|126389 | 16724k| 109M| 37 | - | 115 | 108 | 6 | 115 | 14 | 25 | 186k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1720.54/1721.00 c 1578s| 6450k|125895 | 16748k| 109M| 37 | - | 115 | 116 | 5 | 115 | 14 | 25 | 186k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1723.03/1723.56 c 1580s| 6460k|125801 | 16772k| 108M| 37 | 5 | 115 | 134 | 5 | 115 | 14 | 25 | 187k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1725.64/1726.12 c 1583s| 6470k|125522 | 16796k| 108M| 37 | - | 115 | 134 | 5 | 115 | 14 | 25 | 187k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1728.14/1728.68 c 1585s| 6480k|125562 | 16821k| 108M| 37 | - | 115 | 149 | 5 | 115 | 14 | 25 | 187k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1730.64/1731.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1730.64/1731.16 c 1587s| 6490k|125690 | 16844k| 109M| 37 | 5 | 115 | 132 | 8 | 115 | 14 | 25 | 187k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1733.14/1733.68 c 1590s| 6500k|125331 | 16869k| 108M| 37 | 5 | 115 | 125 | 8 | 115 | 14 | 25 | 187k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1735.84/1736.30 c 1592s| 6510k|126478 | 16895k| 109M| 37 | 5 | 115 | 144 | 5 | 115 | 14 | 25 | 188k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1738.43/1738.92 c 1595s| 6520k|127148 | 16919k| 109M| 37 | - | 115 | 132 | 6 | 115 | 14 | 25 | 188k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1740.93/1741.49 c 1597s| 6530k|127282 | 16943k| 110M| 37 | 5 | 115 | 132 | 5 | 115 | 14 | 25 | 188k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1743.53/1744.02 c 1599s| 6540k|127162 | 16966k| 110M| 37 | - | 115 | 133 | 7 | 115 | 14 | 25 | 188k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1746.14/1746.67 c 1602s| 6550k|127982 | 16991k| 110M| 37 | - | 115 | 131 | 5 | 0 | 0 | 25 | 189k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1748.73/1749.25 c 1604s| 6560k|128223 | 17016k| 111M| 37 | - | 115 | 113 | 5 | 115 | 14 | 25 | 189k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1751.33/1751.81 c 1606s| 6570k|128161 | 17040k| 111M| 37 | 5 | 115 | 126 | 5 | 115 | 14 | 25 | 189k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1754.04/1754.54 c 1609s| 6580k|129805 | 17067k| 112M| 37 | 5 | 115 | 127 | 11 | 115 | 14 | 25 | 189k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1756.63/1757.13 c 1611s| 6590k|130609 | 17091k| 112M| 37 | - | 115 | 132 | 5 | 115 | 14 | 25 | 190k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1759.32/1759.88 c 1614s| 6600k|132706 | 17118k| 113M| 37 | - | 115 | 116 | 5 | 115 | 14 | 25 | 190k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1761.93/1762.49 c 1616s| 6610k|133869 | 17144k| 114M| 37 | - | 115 | 113 | 5 | 115 | 14 | 25 | 190k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1764.53/1765.07 c 1619s| 6620k|134627 | 17168k| 114M| 37 | 5 | 115 | 117 | 5 | 115 | 14 | 25 | 190k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1767.13/1767.65 c 1621s| 6630k|135572 | 17192k| 115M| 37 | - | 115 | 119 | 7 | 115 | 14 | 25 | 191k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1769.62/1770.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.62/1770.18 c 1623s| 6640k|136281 | 17215k| 116M| 37 | - | 115 | 128 | 9 | 115 | 14 | 25 | 191k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1772.22/1772.73 c 1626s| 6650k|136631 | 17239k| 116M| 37 | 5 | 115 | 117 | 6 | 115 | 14 | 25 | 191k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1774.83/1775.33 c 1628s| 6660k|137492 | 17263k| 117M| 37 | 5 | 115 | 133 | 13 | 115 | 14 | 25 | 192k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1777.33/1777.88 c 1630s| 6670k|137923 | 17287k| 117M| 37 | 5 | 115 | 121 | 6 | 115 | 14 | 25 | 192k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1779.92/1780.42 c 1633s| 6680k|138062 | 17309k| 117M| 37 | - | 115 | 117 | 5 | 115 | 14 | 25 | 192k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1782.42/1782.99 c 1635s| 6690k|138199 | 17333k| 117M| 37 | - | 115 | 122 | 7 | 115 | 14 | 25 | 192k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1785.02/1785.57 c 1637s| 6700k|138706 | 17357k| 118M| 37 | 5 | 115 | 117 | 5 | 115 | 14 | 25 | 193k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1787.62/1788.13 c 1640s| 6710k|138993 | 17380k| 118M| 37 | 5 | 115 | 118 | 6 | 115 | 14 | 25 | 193k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1790.12/1790.64 c 1642s| 6720k|139184 | 17403k| 118M| 37 | 5 | 115 | 114 | 5 | 115 | 14 | 25 | 193k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1792.62/1793.19 c 1644s| 6730k|139064 | 17426k| 119M| 37 | 5 | 115 | 131 | 5 | 115 | 14 | 25 | 193k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1795.22/1795.73 c 1647s| 6740k|139351 | 17449k| 119M| 37 | - | 115 | 130 | 7 | 115 | 14 | 25 | 194k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1797.72/1798.27 c 1649s| 6750k|139639 | 17473k| 119M| 37 | 5 | 115 | 136 | 7 | 115 | 14 | 25 | 194k| 26k| 0.000000e+00 | 2.000000e+00 | Inf
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1650.93
1800.02/1800.50 c Solving Nodes : 6758740
1800.02/1800.50 c Primal Bound : +2.00000000000000e+00 (52 solutions)
1800.02/1800.50 c Dual Bound : +0.00000000000000e+00
1800.02/1800.50 c Gap : infinite
1800.02/1800.50 c NODE 6758740
1800.02/1800.50 c DUAL BOUND 0
1800.02/1800.50 c PRIMAL BOUND 2
1800.02/1800.50 c GAP 1e+20
1800.02/1800.50 s SATISFIABLE
1800.02/1800.50 v x120 -x119 -x118 x117 x116 x115 -x114 -x113 x112 x111 -x110 x109 x108 x107 -x106 x105 -x104 -x103 x102 x101 -x100 -x99 x98 -x97
1800.02/1800.50 v -x96 -x95 x94 x93 x92 x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.02/1800.50 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
1800.02/1800.50 v -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21
1800.02/1800.50 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time : 1650.93
1800.02/1800.50 c Original Problem :
1800.02/1800.50 c Problem name : HOME/instance-1869518-1245176158.opb
1800.02/1800.50 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 10 initial, 10 maximal
1800.02/1800.50 c Presolved Problem :
1800.02/1800.50 c Problem name : t_HOME/instance-1869518-1245176158.opb
1800.02/1800.50 c Variables : 115 (115 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 5 initial, 225 maximal
1800.02/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c linear : 0.01 0 5 0 0 0 5 0 0
1800.02/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c root node : - 70 - - 70 - - - -
1800.02/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c integral : 0 0 0 3487328 0 2218 19511 0 0 6931282
1800.02/1800.50 c linear : 5 6 8266869 1 0 804009 5198438 15 0 0
1800.02/1800.50 c logicor : 0+ 0 2937400 0 0 7160 64740 0 0 0
1800.02/1800.50 c countsols : 0 0 0 29 0 0 0 0 0 0
1800.02/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.50 c integral : 37.00 0.00 0.00 37.00 0.00
1800.02/1800.50 c linear : 368.53 0.00 368.53 0.00 0.00
1800.02/1800.50 c logicor : 11.22 0.00 11.22 0.00 0.00
1800.02/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.50 c rootredcost : 2.84 49 0 70
1800.02/1800.50 c pseudoobj : 52.09 8290493 23768 172093
1800.02/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.50 c propagation : 39.31 834937 176699 216295 34.8 1 20.0 -
1800.02/1800.50 c infeasible LP : 0.93 17444 17443 17780 15.9 0 0.0 0
1800.02/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c pseudo solution : 0.00 2 2 4 29.0 0 0.0 -
1800.02/1800.50 c applied globally : - - - 36860 22.5 - - -
1800.02/1800.50 c applied locally : - - - 157768 35.7 - - -
1800.02/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.50 c cut pool : 0.00 5 - - 22 - (maximal pool size: 107)
1800.02/1800.50 c redcost : 32.19 3836299 0 5056066 0 0
1800.02/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.50 c intobj : 0.00 0 0 0 0 0
1800.02/1800.50 c gomory : 0.01 6 0 0 0 0
1800.02/1800.50 c strongcg : 0.00 6 0 0 26 0
1800.02/1800.50 c cmir : 0.04 6 0 0 37 0
1800.02/1800.50 c flowcover : 0.03 6 0 0 52 0
1800.02/1800.50 c clique : 0.00 1 0 0 0 0
1800.02/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.50 c mcf : 0.00 1 0 0 0 0
1800.02/1800.50 c Pricers : Time Calls Vars
1800.02/1800.50 c problem variables: 0.00 0 0
1800.02/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c relpscost : 33.67 3487299 2218 19511 0 0 6931282
1800.02/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.50 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.50 c random : 0.00 0 0 0 0 0 0
1800.02/1800.50 c Primal Heuristics : Time Calls Found
1800.02/1800.50 c LP solutions : 0.05 - 29
1800.02/1800.50 c pseudo solutions : 0.00 - 0
1800.02/1800.50 c oneopt : 2.76 49 0
1800.02/1800.50 c crossover : 4.71 9 2
1800.02/1800.50 c linesearchdiving : 10.23 10334 4
1800.02/1800.50 c coefdiving : 12.04 10334 2
1800.02/1800.50 c guideddiving : 10.43 10334 4
1800.02/1800.50 c simplerounding : 1.85 0 0
1800.02/1800.50 c rounding : 2.63 27421 0
1800.02/1800.50 c shifting : 7.64 9748 0
1800.02/1800.50 c intshifting : 0.36 0 0
1800.02/1800.50 c fixandinfer : 0.00 0 0
1800.02/1800.50 c feaspump : 0.18 1 0
1800.02/1800.50 c pscostdiving : 11.75 10334 5
1800.02/1800.50 c fracdiving : 11.05 10334 2
1800.02/1800.50 c veclendiving : 10.59 10335 2
1800.02/1800.50 c intdiving : 0.00 0 0
1800.02/1800.50 c actconsdiving : 0.00 0 0
1800.02/1800.50 c objpscostdiving : 6.53 5168 1
1800.02/1800.50 c rootsoldiving : 8.29 3607 1
1800.02/1800.50 c octane : 0.00 0 0
1800.02/1800.50 c rens : 0.02 1 0
1800.02/1800.50 c rins : 0.00 0 0
1800.02/1800.50 c localbranching : 0.00 0 0
1800.02/1800.50 c mutation : 0.00 0 0
1800.02/1800.50 c dins : 0.00 0 0
1800.02/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.50 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.50 c dual LP : 624.77 6300279 16614972 2.64 26593.74
1800.02/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.50 c diving/probing LP: 37.53 382579 878315 2.30 23403.01
1800.02/1800.50 c strong branching : 4.39 26829 83769 3.12 19081.78
1800.02/1800.50 c (at root node) : - 12 416 34.67 -
1800.02/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.50 c B&B Tree :
1800.02/1800.50 c number of runs : 1
1800.02/1800.50 c nodes : 6758740
1800.02/1800.50 c nodes (total) : 6758740
1800.02/1800.50 c nodes left : 139757
1800.02/1800.50 c max depth : 37
1800.02/1800.50 c max depth (total): 37
1800.02/1800.50 c backtracks : 1857947 (27.5%)
1800.02/1800.50 c delayed cutoffs : 20933
1800.02/1800.50 c repropagations : 73257 (110675 domain reductions, 17298 cutoffs)
1800.02/1800.50 c avg switch length: 5.62
1800.02/1800.50 c switching time : 146.66
1800.02/1800.50 c Solution :
1800.02/1800.50 c Solutions found : 52 (49 improvements)
1800.02/1800.50 c Primal Bound : +2.00000000000000e+00 (in run 1, after 2082861 nodes, 552.23 seconds, depth 28, found by <relaxation>)
1800.02/1800.50 c Dual Bound : +0.00000000000000e+00
1800.02/1800.50 c Gap : infinite
1800.02/1800.50 c Root Dual Bound : +0.00000000000000e+00
1800.81/1801.38 c Time complete: 1800.9.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869518-1245176158/watcher-1869518-1245176158 -o /tmp/evaluation-result-1869518-1245176158/solver-1869518-1245176158 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869518-1245176158.opb
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/64 32143
/proc/meminfo: memFree=1831080/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=4324 CPUtime=0
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 185211279 4427776 448 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/32143/statm: 1081 460 297 886 0 191 0
[startup+0.0673111 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32143
/proc/meminfo: memFree=1831080/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=12576 CPUtime=0.06
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 2697 0 0 0 5 1 0 0 18 0 1 0 185211279 12877824 2325 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 3144 2325 551 886 0 2254 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12576
[startup+0.101315 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32143
/proc/meminfo: memFree=1831080/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=12780 CPUtime=0.1
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 2762 0 0 0 9 1 0 0 18 0 1 0 185211279 13086720 2390 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 3195 2390 551 886 0 2305 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12780
[startup+0.301334 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32143
/proc/meminfo: memFree=1831080/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=12780 CPUtime=0.29
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 4638 0 0 0 26 3 0 0 19 0 1 0 185211279 13086720 2455 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 3195 2455 576 886 0 2305 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12780
[startup+0.701374 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32143
/proc/meminfo: memFree=1831080/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=13064 CPUtime=0.69
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 4700 0 0 0 64 5 0 0 22 0 1 0 185211279 13377536 2517 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 3266 2517 578 886 0 2376 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13064
[startup+1.50246 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1822944/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=13816 CPUtime=1.5
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 6452 0 0 0 138 12 0 0 25 0 1 0 185211279 14147584 2708 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 3454 2708 578 886 0 2564 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 13816
[startup+3.10161 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1821280/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=17608 CPUtime=3.09
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 8069 0 0 0 286 23 0 0 25 0 1 0 185211279 18030592 3674 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 4402 3674 578 886 0 3512 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17608
[startup+6.30193 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1816416/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=19688 CPUtime=6.29
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 9256 0 0 0 583 46 0 0 25 0 1 0 185211279 20160512 4210 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 4922 4210 578 886 0 4032 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19688
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1815024/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=21212 CPUtime=12.69
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 13385 0 0 0 1172 97 0 0 25 0 1 0 185211279 21721088 4584 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 5303 4584 579 886 0 4413 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21212
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1808688/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=27288 CPUtime=25.48
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 15603 0 0 0 2355 193 0 0 25 0 1 0 185211279 27942912 6155 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 6822 6155 579 886 0 5932 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27288
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1806064/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=29944 CPUtime=51.07
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 16273 0 0 0 4705 402 0 0 25 0 1 0 185211279 30662656 6825 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 7486 6825 579 886 0 6596 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29944
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1794480/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=41136 CPUtime=102.25
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 22270 0 0 0 9417 808 0 0 25 0 1 0 185211279 42123264 9695 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 10284 9695 579 886 0 9394 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 41136
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1788336/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=47032 CPUtime=162.23
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 23794 0 0 0 14939 1284 0 0 25 0 1 0 185211279 48160768 11219 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 11758 11219 579 886 0 10868 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 47032
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1785648/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=49624 CPUtime=222.22
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 24417 0 0 0 20465 1757 0 0 25 0 1 0 185211279 50814976 11842 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 12406 11842 579 886 0 11516 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49624
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1785008/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=50220 CPUtime=282.21
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 24566 0 0 0 25992 2229 0 0 25 0 1 0 185211279 51425280 11991 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 12555 11991 579 886 0 11665 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 50220
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1771760/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=64512 CPUtime=342.19
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 27849 0 0 0 31512 2707 0 0 25 0 1 0 185211279 66060288 15274 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 16128 15274 579 886 0 15238 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 64512
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1764336/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=71884 CPUtime=402.17
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 29679 0 0 0 37033 3184 0 0 25 0 1 0 185211279 73609216 17104 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 17971 17104 579 886 0 17081 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 71884
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1761328/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=74740 CPUtime=462.16
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 30394 0 0 0 42546 3670 0 0 25 0 1 0 185211279 76533760 17819 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 18685 17819 579 886 0 17795 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 74740
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1760880/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=75136 CPUtime=522.14
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 30493 0 0 0 48070 4144 0 0 25 0 1 0 185211279 76939264 17918 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 18784 17918 579 886 0 17894 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 75136
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1758576/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=77424 CPUtime=582.13
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 31065 0 0 0 53589 4624 0 0 25 0 1 0 185211279 79282176 18490 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 19356 18490 579 886 0 18466 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 77424
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1758448/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=77424 CPUtime=642.12
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 31065 0 0 0 59104 5108 0 0 25 0 1 0 185211279 79282176 18490 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 19356 18490 579 886 0 18466 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 77424
[startup+702.301 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1728112/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=106512 CPUtime=1062.01
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 43388 0 0 0 97542 8659 0 0 25 0 1 0 185211279 109068288 25876 1992294400 4194304 7823515 548682068736 18446744073709551615 4884532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 26628 25876 579 886 0 25738 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 106512
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1725040/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=109984 CPUtime=1121.99
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 46124 0 0 0 103052 9147 0 0 25 0 1 0 185211279 112623616 26748 1992294400 4194304 7823515 548682068736 18446744073709551615 5813914 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 27496 26748 579 886 0 26606 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 109984
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1722864/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=111344 CPUtime=1181.99
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 46496 0 0 0 108540 9659 0 0 25 0 1 0 185211279 114016256 27120 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 27836 27120 579 886 0 26946 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 111344
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1721904/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=112244 CPUtime=1241.97
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 46690 0 0 0 114018 10179 0 0 25 0 1 0 185211279 114937856 27314 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 28061 27314 579 886 0 27171 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 112244
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1719024/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=114844 CPUtime=1301.96
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 47368 0 0 0 119508 10688 0 0 25 0 1 0 185211279 117600256 27992 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 28711 27992 579 886 0 27821 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 114844
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1711216/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=122580 CPUtime=1361.94
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 49305 0 0 0 124992 11202 0 0 25 0 1 0 185211279 125521920 29929 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 30645 29929 579 886 0 29755 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 122580
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1706736/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=126788 CPUtime=1421.92
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 50401 0 0 0 130479 11713 0 0 25 0 1 0 185211279 129830912 31025 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 31697 31025 579 886 0 30807 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 126788
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1705392/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=128132 CPUtime=1481.91
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 50705 0 0 0 135971 12220 0 0 25 0 1 0 185211279 131207168 31329 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 32033 31329 579 886 0 31143 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 128132
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1703088/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=130308 CPUtime=1541.88
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 51250 0 0 0 141457 12731 0 0 25 0 1 0 185211279 133435392 31874 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 32577 31874 579 886 0 31687 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 130308
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1701872/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=131556 CPUtime=1601.87
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 51562 0 0 0 146945 13242 0 0 25 0 1 0 185211279 134713344 32186 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 32889 32186 579 886 0 31999 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 131556
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1701552/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=131688 CPUtime=1661.85
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 51603 0 0 0 152429 13756 0 0 25 0 1 0 185211279 134848512 32227 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 32922 32227 579 886 0 32032 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 131688
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1698736/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=134320 CPUtime=1721.84
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 52282 0 0 0 157923 14261 0 0 25 0 1 0 185211279 137543680 32906 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 33580 32906 579 886 0 32690 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 134320
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1695024/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=137772 CPUtime=1781.83
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 53131 0 0 0 163428 14755 0 0 25 0 1 0 185211279 141078528 33755 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 34443 33755 579 886 0 33553 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 137772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32144
/proc/meminfo: memFree=1692912/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=139884 CPUtime=1800.02
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 53663 0 0 0 165093 14909 0 0 25 0 1 0 185211279 143241216 34287 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32143/statm: 34971 34287 579 886 0 34081 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 139884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32145
/proc/meminfo: memFree=1692904/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=139884 CPUtime=1800.12
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 53665 0 0 0 165103 14909 0 0 25 0 1 0 185211279 143241216 34289 1992294400 4194304 7823515 548682068736 18446744073709551615 4745372 0 0 4096 0 0 0 0 17 1 0 0
/proc/32143/statm: 34971 34289 581 886 0 34081 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 139884
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32145
/proc/meminfo: memFree=1692904/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=139884 CPUtime=1800.51
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 53665 0 0 0 165142 14909 0 0 25 0 1 0 185211279 143241216 34289 1992294400 4194304 7823515 548682068736 18446744073709551615 4743854 0 0 4096 0 0 0 0 17 1 0 0
/proc/32143/statm: 34971 34289 581 886 0 34081 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (KiB) 139884
[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32145
/proc/meminfo: memFree=1692904/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=139884 CPUtime=1800.71
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 53665 0 0 0 165162 14909 0 0 25 0 1 0 185211279 143241216 34289 1992294400 4194304 7823515 548682068736 18446744073709551615 5875147 0 0 4096 0 0 0 0 17 1 0 0
/proc/32143/statm: 34971 34289 581 886 0 34081 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 139884
[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32145
/proc/meminfo: memFree=1692904/2055920 swapFree=4182328/4192956
[pid=32143] ppid=32141 vsize=139884 CPUtime=1800.81
/proc/32143/stat : 32143 (pbscip.linux.x8) R 32141 32143 32106 0 -1 4194304 53665 0 0 0 165172 14909 0 0 25 0 1 0 185211279 143241216 34289 1992294400 4194304 7823515 548682068736 18446744073709551615 5838891 0 0 4096 0 0 0 0 17 1 0 0
/proc/32143/statm: 34971 34289 581 886 0 34081 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 139884
Child status: 0
Real time (s): 1801.39
CPU time (s): 1800.91
CPU user time (s): 1651.79
CPU system time (s): 149.121
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 139884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1651.79
system time used= 149.121
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2091
runsolver used 1.35579 second user time and 3.78842 second system time
The end