0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664017-1276613642.opb>
0.00/0.01 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 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) 1 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 7 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 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 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 - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
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 = 10000
0.00/0.02 c
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 = 1800
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 = 1620
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 243k| 0 | - | 50 | 6 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.32 c 1.2s| 10000 | 6935 | 0 | 0.0 |2828k| 29 | - | 50 | 341 | 0 | 0 | 0 | 435 | 0 | 0.000000e+00 | -- | Inf
2.89/2.90 c 2.6s| 20000 | 12344 | 0 | 0.0 |5195k| 30 | - | 50 | 693 | 0 | 0 | 0 |1040 | 0 | 0.000000e+00 | -- | Inf
4.59/4.62 c 4.2s| 30000 | 17242 | 0 | 0.0 |7426k| 30 | - | 50 |1048 | 0 | 0 | 0 |1811 | 0 | 0.000000e+00 | -- | Inf
6.09/6.16 c 5.6s| 40000 | 23919 | 0 | 0.0 |9684k| 31 | - | 50 | 923 | 0 | 0 | 0 |2392 | 0 | 0.000000e+00 | -- | Inf
7.69/7.70 c 7.0s| 50000 | 30156 | 0 | 0.0 | 11M| 31 | - | 50 | 707 | 0 | 0 | 0 |2963 | 0 | 0.000000e+00 | -- | Inf
9.19/9.24 c 8.4s| 60000 | 35973 | 0 | 0.0 | 13M| 31 | - | 50 | 641 | 0 | 0 | 0 |3594 | 0 | 0.000000e+00 | -- | Inf
10.78/10.81 c 9.9s| 70000 | 41491 | 0 | 0.0 | 16M| 32 | - | 50 | 626 | 0 | 0 | 0 |4258 | 0 | 0.000000e+00 | -- | Inf
12.39/12.42 c 11.3s| 80000 | 46610 | 0 | 0.0 | 18M| 32 | - | 50 | 643 | 0 | 0 | 0 |4952 | 0 | 0.000000e+00 | -- | Inf
13.99/14.07 c 12.8s| 90000 | 51372 | 0 | 0.0 | 20M| 32 | - | 50 | 619 | 0 | 0 | 0 |5634 | 0 | 0.000000e+00 | -- | Inf
15.68/15.76 c 14.4s|100000 | 55782 | 0 | 0.0 | 22M| 32 | - | 50 | 671 | 0 | 0 | 0 |6425 | 0 | 0.000000e+00 | -- | Inf
17.49/17.50 c 16.0s|110000 | 59842 | 0 | 0.0 | 24M| 32 | - | 50 | 646 | 0 | 0 | 0 |7268 | 0 | 0.000000e+00 | -- | Inf
19.29/19.34 c 17.7s|120000 | 63266 | 0 | 0.0 | 25M| 32 | - | 50 | 771 | 0 | 0 | 0 |8224 | 0 | 0.000000e+00 | -- | Inf
21.19/21.27 c 19.5s|130000 | 66087 | 0 | 0.0 | 27M| 32 | - | 50 | 892 | 0 | 0 | 0 |9116 | 0 | 0.000000e+00 | -- | Inf
23.28/23.32 c 21.4s|140000 | 68442 | 0 | 0.0 | 29M| 32 | - | 50 |1114 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
25.48/25.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.48/25.56 c 23.5s|150000 | 69798 | 0 | 0.0 | 30M| 32 | - | 50 |1404 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
26.89/26.96 c 24.8s|160000 | 76950 | 0 | 0.0 | 32M| 33 | - | 50 | 642 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
28.28/28.32 c 26.0s|170000 | 83827 | 0 | 0.0 | 35M| 33 | - | 50 | 601 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
29.69/29.71 c 27.3s|180000 | 90444 | 0 | 0.0 | 37M| 33 | - | 50 | 630 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
31.08/31.10 c 28.5s|190000 | 97005 | 0 | 0.0 | 39M| 33 | - | 50 | 611 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
32.48/32.53 c 29.8s|200000 |103353 | 0 | 0.0 | 41M| 33 | - | 50 | 630 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
33.88/33.98 c 31.1s|210000 |109619 | 0 | 0.0 | 43M| 33 | - | 50 | 746 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
35.38/35.47 c 32.5s|220000 |115736 | 0 | 0.0 | 46M| 33 | - | 50 | 657 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
36.88/36.92 c 33.8s|230000 |121886 | 0 | 0.0 | 48M| 33 | - | 50 | 663 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
38.39/38.43 c 35.2s|240000 |127732 | 0 | 0.0 | 50M| 33 | - | 50 | 761 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
39.88/39.95 c 36.6s|250000 |133637 | 0 | 0.0 | 52M| 33 | - | 50 | 723 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
41.38/41.45 c 37.9s|260000 |139483 | 0 | 0.0 | 54M| 33 | - | 50 | 687 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
42.88/43.00 c 39.4s|270000 |145106 | 0 | 0.0 | 56M| 33 | - | 50 | 762 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
44.47/44.56 c 40.8s|280000 |150679 | 0 | 0.0 | 58M| 33 | - | 50 | 858 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
46.08/46.14 c 42.3s|290000 |156305 | 0 | 0.0 | 60M| 33 | - | 50 | 832 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
47.68/47.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.68/47.75 c 43.7s|300000 |161715 | 0 | 0.0 | 62M| 33 | - | 50 | 838 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
49.28/49.36 c 45.2s|310000 |167050 | 0 | 0.0 | 64M| 33 | - | 50 | 800 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
50.88/50.98 c 46.7s|320000 |172332 | 0 | 0.0 | 66M| 33 | - | 50 | 833 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
52.58/52.66 c 48.2s|330000 |177606 | 0 | 0.0 | 69M| 33 | - | 50 | 980 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
54.28/54.33 c 49.8s|340000 |182794 | 0 | 0.0 | 71M| 33 | - | 50 | 899 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
55.99/56.05 c 51.4s|350000 |187729 | 0 | 0.0 | 73M| 33 | - | 50 | 936 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
57.67/57.77 c 53.0s|360000 |192641 | 0 | 0.0 | 75M| 33 | - | 50 | 947 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
59.38/59.49 c 54.6s|370000 |197599 | 0 | 0.0 | 77M| 33 | - | 50 | 904 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
61.07/61.19 c 56.2s|380000 |202533 | 0 | 0.0 | 79M| 33 | - | 50 | 986 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
62.97/63.00 c 57.9s|390000 |207256 | 0 | 0.0 | 81M| 33 | - | 50 |1111 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
64.78/64.84 c 59.5s|400000 |211712 | 0 | 0.0 | 82M| 33 | - | 50 |1122 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
66.67/66.70 c 61.3s|410000 |216219 | 0 | 0.0 | 84M| 33 | - | 50 |1124 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
68.47/68.53 c 63.0s|420000 |220707 | 0 | 0.0 | 86M| 33 | - | 50 |1096 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
70.28/70.34 c 64.7s|430000 |225250 | 0 | 0.0 | 88M| 33 | - | 50 |1064 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
72.17/72.23 c 66.4s|440000 |229753 | 0 | 0.0 | 90M| 33 | - | 50 |1232 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
74.17/74.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.17/74.23 c 68.3s|450000 |233797 | 0 | 0.0 | 92M| 33 | - | 50 |1322 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
76.18/76.22 c 70.1s|460000 |237852 | 0 | 0.0 | 94M| 33 | - | 50 |1285 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
78.17/78.21 c 72.0s|470000 |241827 | 0 | 0.0 | 96M| 33 | - | 50 |1336 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
80.17/80.20 c 73.8s|480000 |245820 | 0 | 0.0 | 98M| 33 | - | 50 |1309 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
82.17/82.20 c 75.7s|490000 |249857 | 0 | 0.0 | 100M| 33 | - | 50 |1302 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
84.16/84.23 c 77.6s|500000 |253864 | 0 | 0.0 | 102M| 33 | - | 50 |1350 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
86.27/86.32 c 79.5s|510000 |257737 | 0 | 0.0 | 104M| 33 | - | 50 |1462 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
88.47/88.52 c 81.6s|520000 |261127 | 0 | 0.0 | 106M| 33 | - | 50 |1537 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
90.66/90.72 c 83.7s|530000 |264489 | 0 | 0.0 | 107M| 33 | - | 50 |1576 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
92.86/92.92 c 85.8s|540000 |267892 | 0 | 0.0 | 109M| 33 | - | 50 |1547 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
95.06/95.16 c 87.8s|550000 |271288 | 0 | 0.0 | 111M| 33 | - | 50 |1544 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
97.37/97.40 c 90.0s|560000 |274686 | 0 | 0.0 | 113M| 33 | - | 50 |1506 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
99.56/99.61 c 92.0s|570000 |278176 | 0 | 0.0 | 115M| 33 | - | 50 |1569 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
101.76/101.81 c 94.1s|580000 |281544 | 0 | 0.0 | 117M| 33 | - | 50 |1577 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
104.16/104.23 c 96.4s|590000 |284219 | 0 | 0.0 | 118M| 33 | - | 50 |1793 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
106.67/106.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.67/106.76 c 98.7s|600000 |286871 | 0 | 0.0 | 120M| 33 | - | 50 |1762 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
109.16/109.29 c 101s|610000 |289584 | 0 | 0.0 | 122M| 33 | - | 50 |1765 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
111.67/111.73 c 103s|620000 |292390 | 0 | 0.0 | 124M| 33 | - | 50 |1730 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
114.06/114.15 c 106s|630000 |295128 | 0 | 0.0 | 125M| 33 | - | 50 |1690 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
116.57/116.60 c 108s|640000 |297852 | 0 | 0.0 | 127M| 33 | - | 50 |1745 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
118.96/119.04 c 110s|650000 |300640 | 0 | 0.0 | 129M| 33 | - | 50 |1766 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
121.46/121.56 c 113s|660000 |302790 | 0 | 0.0 | 130M| 33 | - | 50 |2015 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
124.17/124.22 c 115s|670000 |304764 | 0 | 0.0 | 132M| 33 | - | 50 |2182 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
127.06/127.10 c 118s|680000 |306660 | 0 | 0.0 | 133M| 33 | - | 50 |2191 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
129.86/129.95 c 121s|690000 |308577 | 0 | 0.0 | 135M| 33 | - | 50 |2135 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
132.66/132.72 c 123s|700000 |310545 | 0 | 0.0 | 137M| 33 | - | 50 |2174 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
135.45/135.53 c 126s|710000 |312502 | 0 | 0.0 | 138M| 33 | - | 50 |2123 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
138.15/138.25 c 129s|720000 |313967 | 0 | 0.0 | 139M| 33 | - | 50 |2275 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
141.16/141.27 c 131s|730000 |314995 | 0 | 0.0 | 141M| 33 | - | 50 |2526 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
144.25/144.38 c 134s|740000 |316058 | 0 | 0.0 | 142M| 33 | - | 50 |2648 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
147.65/147.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.65/147.75 c 138s|750000 |316610 | 0 | 0.0 | 143M| 34 | - | 50 |2783 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
149.35/149.42 c 139s|760000 |323831 | 0 | 0.0 | 145M| 34 | - | 50 |1702 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
150.95/151.02 c 141s|770000 |330898 | 0 | 0.0 | 147M| 34 | - | 50 |1579 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
152.55/152.62 c 142s|780000 |337796 | 0 | 0.0 | 149M| 34 | - | 50 |1636 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
154.05/154.18 c 144s|790000 |344649 | 0 | 0.0 | 152M| 34 | - | 50 |1679 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
155.75/155.82 c 145s|800000 |351364 | 0 | 0.0 | 154M| 34 | - | 50 |1731 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
157.35/157.48 c 147s|810000 |358086 | 0 | 0.0 | 156M| 34 | - | 50 |1615 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
159.04/159.16 c 148s|820000 |364733 | 0 | 0.0 | 158M| 34 | - | 50 |1806 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
160.85/160.90 c 150s|830000 |371203 | 0 | 0.0 | 160M| 34 | - | 50 |1825 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
162.55/162.64 c 151s|840000 |377709 | 0 | 0.0 | 163M| 34 | - | 50 |1770 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
164.25/164.33 c 153s|850000 |384280 | 0 | 0.0 | 165M| 34 | - | 50 |1689 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
166.05/166.11 c 155s|860000 |390605 | 0 | 0.0 | 167M| 34 | - | 50 |1937 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
167.85/167.93 c 156s|870000 |396928 | 0 | 0.0 | 169M| 34 | - | 50 |1869 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
169.65/169.77 c 158s|880000 |403256 | 0 | 0.0 | 171M| 34 | - | 50 |1883 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
171.46/171.57 c 160s|890000 |409559 | 0 | 0.0 | 173M| 34 | - | 50 |1835 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
173.24/173.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.24/173.37 c 161s|900000 |415916 | 0 | 0.0 | 176M| 34 | - | 50 |1659 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
175.04/175.19 c 163s|910000 |422076 | 0 | 0.0 | 178M| 34 | - | 50 |1928 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
177.05/177.13 c 165s|920000 |428228 | 0 | 0.0 | 180M| 34 | - | 50 |2033 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
178.95/179.09 c 167s|930000 |434304 | 0 | 0.0 | 182M| 34 | - | 50 |2055 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
180.94/181.03 c 168s|940000 |440466 | 0 | 0.0 | 184M| 34 | - | 50 |2034 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
182.84/182.93 c 170s|950000 |446630 | 0 | 0.0 | 186M| 34 | - | 50 |1808 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
184.75/184.81 c 172s|960000 |452768 | 0 | 0.0 | 188M| 34 | - | 50 |1928 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
186.65/186.70 c 174s|970000 |458877 | 0 | 0.0 | 190M| 34 | - | 50 |1826 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
188.44/188.58 c 175s|980000 |464927 | 0 | 0.0 | 193M| 34 | - | 50 |1836 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
190.44/190.52 c 177s|990000 |470783 | 0 | 0.0 | 195M| 34 | - | 50 |1881 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
192.34/192.48 c 179s| 1000k|476692 | 0 | 0.0 | 197M| 34 | - | 50 |2229 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
194.44/194.58 c 181s| 1010k|482551 | 0 | 0.0 | 199M| 34 | - | 50 |2252 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
196.54/196.64 c 183s| 1020k|488489 | 0 | 0.0 | 201M| 34 | - | 50 |2177 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
198.64/198.73 c 185s| 1030k|494392 | 0 | 0.0 | 203M| 34 | - | 50 |2131 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
200.64/200.76 c 187s| 1040k|500298 | 0 | 0.0 | 205M| 34 | - | 50 |2154 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
202.74/202.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.74/202.83 c 189s| 1050k|506190 | 0 | 0.0 | 207M| 34 | - | 50 |2054 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
204.73/204.89 c 191s| 1060k|512144 | 0 | 0.0 | 209M| 34 | - | 50 |1947 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
206.74/206.89 c 193s| 1070k|517967 | 0 | 0.0 | 211M| 34 | - | 50 |2050 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
208.84/208.96 c 195s| 1080k|523712 | 0 | 0.0 | 214M| 34 | - | 50 |2052 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
210.93/211.07 c 197s| 1090k|529344 | 0 | 0.0 | 216M| 34 | - | 50 |2038 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
213.04/213.16 c 198s| 1100k|534960 | 0 | 0.0 | 218M| 34 | - | 50 |1997 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
215.13/215.28 c 200s| 1110k|540602 | 0 | 0.0 | 220M| 34 | - | 50 |2119 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
217.23/217.37 c 202s| 1120k|546245 | 0 | 0.0 | 222M| 34 | - | 50 |2097 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
219.43/219.52 c 204s| 1130k|551824 | 0 | 0.0 | 224M| 34 | - | 50 |2084 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
221.53/221.69 c 206s| 1140k|557371 | 0 | 0.0 | 226M| 34 | - | 50 |2322 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
223.83/223.92 c 209s| 1150k|562946 | 0 | 0.0 | 228M| 34 | - | 50 |2398 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
226.03/226.19 c 211s| 1160k|568567 | 0 | 0.0 | 230M| 34 | - | 50 |2282 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
228.32/228.46 c 213s| 1170k|574222 | 0 | 0.0 | 232M| 34 | - | 50 |2419 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
230.63/230.72 c 215s| 1180k|579809 | 0 | 0.0 | 234M| 34 | - | 50 |2289 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
232.72/232.87 c 217s| 1190k|585440 | 0 | 0.0 | 236M| 34 | - | 50 |2309 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
235.03/235.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.03/235.12 c 219s| 1200k|590983 | 0 | 0.0 | 238M| 34 | - | 50 |2279 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
237.32/237.44 c 221s| 1210k|596294 | 0 | 0.0 | 240M| 34 | - | 50 |2313 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
239.63/239.78 c 224s| 1220k|601581 | 0 | 0.0 | 242M| 34 | - | 50 |2346 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
242.02/242.17 c 226s| 1230k|606895 | 0 | 0.0 | 244M| 34 | - | 50 |2380 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
244.42/244.56 c 228s| 1240k|612177 | 0 | 0.0 | 246M| 34 | - | 50 |2393 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
246.82/246.94 c 230s| 1250k|617439 | 0 | 0.0 | 248M| 34 | - | 50 |2375 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
249.22/249.31 c 233s| 1260k|622706 | 0 | 0.0 | 250M| 34 | - | 50 |2351 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
251.52/251.61 c 235s| 1270k|628008 | 0 | 0.0 | 252M| 34 | - | 50 |2334 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
253.82/253.98 c 237s| 1280k|633295 | 0 | 0.0 | 255M| 34 | - | 50 |2363 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
256.23/256.38 c 239s| 1290k|638583 | 0 | 0.0 | 257M| 34 | - | 50 |2431 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
258.72/258.81 c 241s| 1300k|643921 | 0 | 0.0 | 259M| 34 | - | 50 |2534 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
261.12/261.22 c 244s| 1310k|649239 | 0 | 0.0 | 261M| 34 | - | 50 |2513 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
263.62/263.74 c 246s| 1320k|654421 | 0 | 0.0 | 263M| 34 | - | 50 |2687 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
266.12/266.24 c 249s| 1330k|659717 | 0 | 0.0 | 265M| 34 | - | 50 |2711 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
268.62/268.76 c 251s| 1340k|664985 | 0 | 0.0 | 267M| 34 | - | 50 |2604 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
271.12/271.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.12/271.25 c 253s| 1350k|670287 | 0 | 0.0 | 269M| 34 | - | 50 |2629 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
273.73/273.80 c 256s| 1360k|675476 | 0 | 0.0 | 271M| 34 | - | 50 |2609 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
276.32/276.43 c 258s| 1370k|680444 | 0 | 0.0 | 273M| 34 | - | 50 |2580 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
278.92/279.09 c 261s| 1380k|685344 | 0 | 0.0 | 275M| 34 | - | 50 |2637 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
281.62/281.77 c 263s| 1390k|690263 | 0 | 0.0 | 277M| 34 | - | 50 |2641 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
284.32/284.44 c 266s| 1400k|695207 | 0 | 0.0 | 279M| 34 | - | 50 |2704 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
287.02/287.14 c 268s| 1410k|700104 | 0 | 0.0 | 281M| 34 | - | 50 |2670 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
289.72/289.85 c 271s| 1420k|704998 | 0 | 0.0 | 283M| 34 | - | 50 |2607 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
292.32/292.46 c 273s| 1430k|709864 | 0 | 0.0 | 285M| 34 | - | 50 |2647 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
295.01/295.13 c 276s| 1440k|714802 | 0 | 0.0 | 287M| 34 | - | 50 |2675 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
297.71/297.84 c 279s| 1450k|719757 | 0 | 0.0 | 289M| 34 | - | 50 |2738 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
300.41/300.56 c 281s| 1460k|724663 | 0 | 0.0 | 291M| 34 | - | 50 |2724 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
303.11/303.27 c 284s| 1470k|729625 | 0 | 0.0 | 293M| 34 | - | 50 |2681 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
305.81/305.90 c 286s| 1480k|734576 | 0 | 0.0 | 295M| 34 | - | 50 |2650 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
308.40/308.56 c 289s| 1490k|739515 | 0 | 0.0 | 297M| 34 | - | 50 |2678 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
311.00/311.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.00/311.17 c 291s| 1500k|744447 | 0 | 0.0 | 299M| 34 | - | 50 |2603 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
313.70/313.84 c 294s| 1510k|749334 | 0 | 0.0 | 301M| 34 | - | 50 |2691 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
316.40/316.56 c 296s| 1520k|754201 | 0 | 0.0 | 303M| 34 | - | 50 |2737 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
319.11/319.27 c 299s| 1530k|759118 | 0 | 0.0 | 305M| 34 | - | 50 |2880 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
321.90/322.02 c 301s| 1540k|764022 | 0 | 0.0 | 307M| 34 | - | 50 |2861 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
324.60/324.78 c 304s| 1550k|768943 | 0 | 0.0 | 309M| 34 | - | 50 |2903 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
327.61/327.71 c 307s| 1560k|773618 | 0 | 0.0 | 311M| 34 | - | 50 |2906 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
330.60/330.71 c 310s| 1570k|778064 | 0 | 0.0 | 313M| 34 | - | 50 |3031 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
333.60/333.78 c 313s| 1580k|782536 | 0 | 0.0 | 315M| 34 | - | 50 |3026 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
336.70/336.90 c 316s| 1590k|786980 | 0 | 0.0 | 317M| 34 | - | 50 |3069 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
339.90/340.03 c 319s| 1600k|791396 | 0 | 0.0 | 318M| 34 | - | 50 |2969 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
343.01/343.11 c 322s| 1610k|795832 | 0 | 0.0 | 320M| 34 | - | 50 |2975 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
345.99/346.12 c 324s| 1620k|800334 | 0 | 0.0 | 322M| 34 | - | 50 |3012 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
349.00/349.18 c 327s| 1630k|804880 | 0 | 0.0 | 324M| 34 | - | 50 |3021 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
352.09/352.22 c 330s| 1640k|809408 | 0 | 0.0 | 326M| 34 | - | 50 |3103 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
355.20/355.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
355.20/355.32 c 333s| 1650k|813899 | 0 | 0.0 | 328M| 34 | - | 50 |3108 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
358.19/358.39 c 336s| 1660k|818415 | 0 | 0.0 | 330M| 34 | - | 50 |2944 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
361.19/361.37 c 339s| 1670k|823021 | 0 | 0.0 | 332M| 34 | - | 50 |2970 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
364.19/364.35 c 342s| 1680k|827571 | 0 | 0.0 | 334M| 34 | - | 50 |3038 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
367.20/367.34 c 345s| 1690k|832108 | 0 | 0.0 | 336M| 34 | - | 50 |2979 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
370.19/370.37 c 348s| 1700k|836549 | 0 | 0.0 | 338M| 34 | - | 50 |3059 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
373.29/373.42 c 351s| 1710k|841023 | 0 | 0.0 | 340M| 34 | - | 50 |3079 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
376.29/376.41 c 353s| 1720k|845554 | 0 | 0.0 | 342M| 34 | - | 50 |3002 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
379.30/379.49 c 356s| 1730k|850052 | 0 | 0.0 | 344M| 34 | - | 50 |3042 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
382.38/382.53 c 359s| 1740k|854569 | 0 | 0.0 | 346M| 34 | - | 50 |3061 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
385.38/385.57 c 362s| 1750k|859093 | 0 | 0.0 | 348M| 34 | - | 50 |3039 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
388.38/388.60 c 365s| 1760k|863576 | 0 | 0.0 | 350M| 34 | - | 50 |3084 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
391.58/391.73 c 368s| 1770k|868037 | 0 | 0.0 | 351M| 34 | - | 50 |3165 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
394.69/394.86 c 371s| 1780k|872530 | 0 | 0.0 | 353M| 34 | - | 50 |3172 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
397.78/397.95 c 374s| 1790k|876974 | 0 | 0.0 | 355M| 34 | - | 50 |3248 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
401.18/401.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.18/401.37 c 377s| 1800k|881044 | 0 | 0.0 | 357M| 34 | - | 50 |3366 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
404.68/404.87 c 381s| 1810k|885051 | 0 | 0.0 | 359M| 34 | - | 50 |3323 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
408.18/408.35 c 384s| 1820k|889039 | 0 | 0.0 | 361M| 34 | - | 50 |3425 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
411.88/412.01 c 388s| 1830k|892932 | 0 | 0.0 | 363M| 34 | - | 50 |3470 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
415.48/415.67 c 391s| 1840k|896866 | 0 | 0.0 | 365M| 34 | - | 50 |3523 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
418.98/419.18 c 394s| 1850k|900853 | 0 | 0.0 | 367M| 34 | - | 50 |3464 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
422.67/422.82 c 398s| 1860k|904827 | 0 | 0.0 | 369M| 34 | - | 50 |3419 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
426.26/426.43 c 401s| 1870k|908851 | 0 | 0.0 | 371M| 34 | - | 50 |3461 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
429.87/430.02 c 405s| 1880k|912859 | 0 | 0.0 | 373M| 34 | - | 50 |3499 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
433.37/433.54 c 408s| 1890k|916870 | 0 | 0.0 | 374M| 34 | - | 50 |3509 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
436.86/437.03 c 412s| 1900k|920959 | 0 | 0.0 | 376M| 34 | - | 50 |3398 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
440.27/440.48 c 415s| 1910k|924995 | 0 | 0.0 | 378M| 34 | - | 50 |3363 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
443.76/443.94 c 418s| 1920k|929058 | 0 | 0.0 | 380M| 34 | - | 50 |3374 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
447.26/447.46 c 422s| 1930k|933004 | 0 | 0.0 | 382M| 34 | - | 50 |3404 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
450.77/450.95 c 425s| 1940k|937017 | 0 | 0.0 | 384M| 34 | - | 50 |3396 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
454.26/454.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.26/454.49 c 428s| 1950k|941058 | 0 | 0.0 | 386M| 34 | - | 50 |3478 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
457.76/457.99 c 432s| 1960k|945063 | 0 | 0.0 | 388M| 34 | - | 50 |3463 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
461.35/461.53 c 435s| 1970k|949063 | 0 | 0.0 | 390M| 34 | - | 50 |3498 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
464.86/465.07 c 439s| 1980k|953113 | 0 | 0.0 | 392M| 34 | - | 50 |3531 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
468.55/468.74 c 442s| 1990k|957081 | 0 | 0.0 | 393M| 34 | - | 50 |3499 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
472.15/472.33 c 446s| 2000k|961049 | 0 | 0.0 | 395M| 34 | - | 50 |3516 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
475.75/475.90 c 449s| 2010k|965054 | 0 | 0.0 | 397M| 34 | - | 50 |3494 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
479.15/479.39 c 452s| 2020k|969047 | 0 | 0.0 | 399M| 34 | - | 50 |3445 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
482.76/482.95 c 456s| 2030k|972977 | 0 | 0.0 | 401M| 34 | - | 50 |3468 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
486.25/486.42 c 459s| 2040k|976976 | 0 | 0.0 | 403M| 34 | - | 50 |3466 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
489.75/489.97 c 462s| 2050k|980958 | 0 | 0.0 | 405M| 34 | - | 50 |3477 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
493.35/493.52 c 466s| 2060k|984939 | 0 | 0.0 | 407M| 34 | - | 50 |3545 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
496.95/497.16 c 469s| 2070k|988950 | 0 | 0.0 | 409M| 34 | - | 50 |3644 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
500.74/500.91 c 473s| 2080k|992532 | 0 | 0.0 | 410M| 34 | - | 50 |3680 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
504.65/504.84 c 477s| 2090k|995960 | 0 | 0.0 | 412M| 34 | - | 50 |3618 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
508.34/508.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.34/508.57 c 480s| 2100k|999402 | 0 | 0.0 | 414M| 34 | - | 50 |3640 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
512.14/512.39 c 484s| 2110k| 1002k| 0 | 0.0 | 416M| 34 | - | 50 |3689 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
516.04/516.29 c 488s| 2120k| 1006k| 0 | 0.0 | 418M| 34 | - | 50 |3759 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
520.04/520.25 c 492s| 2130k| 1009k| 0 | 0.0 | 419M| 34 | - | 50 |3802 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
523.93/524.18 c 495s| 2140k| 1012k| 0 | 0.0 | 421M| 34 | - | 50 |3794 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
528.23/528.44 c 500s| 2150k| 1016k| 0 | 0.0 | 423M| 34 | - | 50 |3901 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
532.53/532.78 c 504s| 2160k| 1019k| 0 | 0.0 | 425M| 34 | - | 50 |4043 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
536.94/537.17 c 508s| 2170k| 1023k| 0 | 0.0 | 427M| 34 | - | 50 |4084 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
541.33/541.55 c 512s| 2180k| 1026k| 0 | 0.0 | 429M| 34 | - | 50 |4061 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
545.63/545.89 c 516s| 2190k| 1029k| 0 | 0.0 | 431M| 34 | - | 50 |4047 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
550.03/550.26 c 521s| 2200k| 1033k| 0 | 0.0 | 432M| 34 | - | 50 |4149 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
554.43/554.67 c 525s| 2210k| 1036k| 0 | 0.0 | 434M| 34 | - | 50 |4117 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
558.83/559.00 c 529s| 2220k| 1039k| 0 | 0.0 | 436M| 34 | - | 50 |4030 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
563.12/563.35 c 533s| 2230k| 1043k| 0 | 0.0 | 438M| 35 | - | 50 |4004 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
567.43/567.65 c 537s| 2240k| 1046k| 0 | 0.0 | 440M| 35 | - | 50 |4003 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
571.73/571.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.73/571.96 c 542s| 2250k| 1050k| 0 | 0.0 | 442M| 35 | - | 50 |3950 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
575.92/576.19 c 546s| 2260k| 1053k| 0 | 0.0 | 443M| 35 | - | 50 |4006 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
580.32/580.53 c 550s| 2270k| 1056k| 0 | 0.0 | 445M| 35 | - | 50 |4035 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
584.72/584.95 c 554s| 2280k| 1060k| 0 | 0.0 | 447M| 35 | - | 50 |4113 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
589.02/589.24 c 558s| 2290k| 1063k| 0 | 0.0 | 449M| 35 | - | 50 |4010 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
593.22/593.47 c 562s| 2300k| 1067k| 0 | 0.0 | 451M| 35 | - | 50 |4050 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
597.71/597.95 c 567s| 2310k| 1070k| 0 | 0.0 | 452M| 35 | - | 50 |4122 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
602.12/602.37 c 571s| 2320k| 1073k| 0 | 0.0 | 454M| 35 | - | 50 |4035 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
606.51/606.72 c 575s| 2330k| 1077k| 0 | 0.0 | 456M| 35 | - | 50 |4063 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
610.71/610.99 c 579s| 2340k| 1080k| 0 | 0.0 | 458M| 35 | - | 50 |4011 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
615.01/615.21 c 583s| 2350k| 1084k| 0 | 0.0 | 460M| 35 | - | 50 |3999 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
619.22/619.49 c 588s| 2360k| 1087k| 0 | 0.0 | 461M| 35 | - | 50 |3982 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
623.52/623.74 c 592s| 2370k| 1090k| 0 | 0.0 | 463M| 35 | - | 50 |4073 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
627.92/628.12 c 596s| 2380k| 1094k| 0 | 0.0 | 465M| 35 | - | 50 |4182 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
632.31/632.55 c 600s| 2390k| 1097k| 0 | 0.0 | 467M| 35 | - | 50 |4177 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
636.61/636.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
636.61/636.90 c 604s| 2400k| 1101k| 0 | 0.0 | 469M| 35 | - | 50 |4161 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
641.30/641.58 c 609s| 2410k| 1103k| 0 | 0.0 | 471M| 35 | - | 50 |4288 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
646.11/646.35 c 614s| 2420k| 1106k| 0 | 0.0 | 472M| 35 | - | 50 |4349 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
650.91/651.19 c 618s| 2430k| 1109k| 0 | 0.0 | 474M| 35 | - | 50 |4374 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
655.81/656.07 c 623s| 2440k| 1111k| 0 | 0.0 | 476M| 35 | - | 50 |4473 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
660.81/661.04 c 628s| 2450k| 1114k| 0 | 0.0 | 478M| 35 | - | 50 |4464 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
665.69/665.98 c 633s| 2460k| 1117k| 0 | 0.0 | 479M| 35 | - | 50 |4469 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
670.60/670.86 c 637s| 2470k| 1119k| 0 | 0.0 | 481M| 35 | - | 50 |4550 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
675.49/675.77 c 642s| 2480k| 1122k| 0 | 0.0 | 483M| 35 | - | 50 |4660 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
680.60/680.81 c 647s| 2490k| 1125k| 0 | 0.0 | 485M| 35 | - | 50 |4589 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
685.40/685.67 c 652s| 2500k| 1128k| 0 | 0.0 | 486M| 35 | - | 50 |4550 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
690.30/690.50 c 656s| 2510k| 1130k| 0 | 0.0 | 488M| 35 | - | 50 |4589 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
695.09/695.33 c 661s| 2520k| 1133k| 0 | 0.0 | 490M| 35 | - | 50 |4632 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
699.98/700.28 c 666s| 2530k| 1136k| 0 | 0.0 | 491M| 35 | - | 50 |4603 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
704.99/705.22 c 671s| 2540k| 1138k| 0 | 0.0 | 493M| 35 | - | 50 |4687 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
710.39/710.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.39/710.68 c 676s| 2550k| 1141k| 0 | 0.0 | 495M| 35 | - | 50 |4657 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
715.68/715.99 c 681s| 2560k| 1143k| 0 | 0.0 | 497M| 35 | - | 50 |4749 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
721.08/721.34 c 686s| 2570k| 1146k| 0 | 0.0 | 498M| 35 | - | 50 |4851 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
726.69/726.99 c 692s| 2580k| 1149k| 0 | 0.0 | 500M| 35 | - | 50 |4929 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
732.29/732.58 c 697s| 2590k| 1151k| 0 | 0.0 | 502M| 35 | - | 50 |4886 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
737.79/738.04 c 703s| 2600k| 1154k| 0 | 0.0 | 503M| 35 | - | 50 |4795 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
743.08/743.33 c 708s| 2610k| 1157k| 0 | 0.0 | 505M| 35 | - | 50 |4794 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
748.38/748.64 c 713s| 2620k| 1159k| 0 | 0.0 | 507M| 35 | - | 50 |4634 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
753.58/753.85 c 718s| 2630k| 1162k| 0 | 0.0 | 509M| 35 | - | 50 |4697 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
758.78/759.07 c 723s| 2640k| 1165k| 0 | 0.0 | 510M| 35 | - | 50 |4660 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
763.98/764.29 c 728s| 2650k| 1167k| 0 | 0.0 | 512M| 35 | - | 50 |4711 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
769.17/769.45 c 733s| 2660k| 1170k| 0 | 0.0 | 514M| 35 | - | 50 |4640 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
774.37/774.64 c 738s| 2670k| 1173k| 0 | 0.0 | 515M| 35 | - | 50 |4738 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
779.67/779.97 c 743s| 2680k| 1175k| 0 | 0.0 | 517M| 35 | - | 50 |4718 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
785.07/785.30 c 749s| 2690k| 1178k| 0 | 0.0 | 519M| 35 | - | 50 |4727 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
790.16/790.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
790.16/790.50 c 754s| 2700k| 1181k| 0 | 0.0 | 521M| 35 | - | 50 |4641 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
795.36/795.61 c 759s| 2710k| 1183k| 0 | 0.0 | 522M| 35 | - | 50 |4697 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
800.57/800.88 c 764s| 2720k| 1186k| 0 | 0.0 | 524M| 35 | - | 50 |4767 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
805.97/806.23 c 769s| 2730k| 1189k| 0 | 0.0 | 526M| 35 | - | 50 |4833 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
811.47/811.72 c 774s| 2740k| 1191k| 0 | 0.0 | 528M| 35 | - | 50 |4967 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
816.86/817.18 c 780s| 2750k| 1194k| 0 | 0.0 | 529M| 35 | - | 50 |4789 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
822.36/822.64 c 785s| 2760k| 1196k| 0 | 0.0 | 531M| 35 | - | 50 |4936 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
828.06/828.31 c 790s| 2770k| 1198k| 0 | 0.0 | 532M| 35 | - | 50 |5059 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
833.75/834.03 c 796s| 2780k| 1200k| 0 | 0.0 | 534M| 35 | - | 50 |5209 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
839.56/839.84 c 802s| 2790k| 1202k| 0 | 0.0 | 536M| 35 | - | 50 |5304 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
845.25/845.59 c 807s| 2800k| 1204k| 0 | 0.0 | 537M| 35 | - | 50 |5358 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
851.16/851.44 c 813s| 2810k| 1206k| 0 | 0.0 | 539M| 35 | - | 50 |5463 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
857.05/857.39 c 819s| 2820k| 1208k| 0 | 0.0 | 541M| 35 | - | 50 |5481 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
863.05/863.31 c 825s| 2830k| 1210k| 0 | 0.0 | 542M| 35 | - | 50 |5577 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
868.84/869.13 c 830s| 2840k| 1212k| 0 | 0.0 | 544M| 35 | - | 50 |5682 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
874.84/875.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.84/875.11 c 836s| 2850k| 1214k| 0 | 0.0 | 545M| 35 | - | 50 |5622 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
880.34/880.65 c 841s| 2860k| 1216k| 0 | 0.0 | 547M| 35 | - | 50 |5416 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
885.94/886.25 c 847s| 2870k| 1218k| 0 | 0.0 | 549M| 35 | - | 50 |5489 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
891.74/892.00 c 853s| 2880k| 1220k| 0 | 0.0 | 550M| 35 | - | 50 |5511 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
897.43/897.78 c 858s| 2890k| 1222k| 0 | 0.0 | 552M| 35 | - | 50 |5504 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
903.23/903.56 c 864s| 2900k| 1224k| 0 | 0.0 | 553M| 35 | - | 50 |5685 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
909.34/909.69 c 870s| 2910k| 1225k| 0 | 0.0 | 555M| 35 | - | 50 |5697 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
915.94/916.21 c 876s| 2920k| 1227k| 0 | 0.0 | 556M| 35 | - | 50 |5577 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
922.23/922.54 c 882s| 2930k| 1229k| 0 | 0.0 | 558M| 35 | - | 50 |5531 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
928.63/928.93 c 889s| 2940k| 1231k| 0 | 0.0 | 560M| 35 | - | 50 |5556 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
934.92/935.28 c 895s| 2950k| 1233k| 0 | 0.0 | 561M| 35 | - | 50 |5558 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
941.02/941.37 c 901s| 2960k| 1235k| 0 | 0.0 | 563M| 35 | - | 50 |5456 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
947.13/947.47 c 907s| 2970k| 1237k| 0 | 0.0 | 564M| 35 | - | 50 |5456 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
953.32/953.62 c 913s| 2980k| 1239k| 0 | 0.0 | 566M| 35 | - | 50 |5484 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
959.32/959.68 c 919s| 2990k| 1241k| 0 | 0.0 | 567M| 35 | - | 50 |5536 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
965.62/965.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
965.62/965.99 c 925s| 3000k| 1243k| 0 | 0.0 | 569M| 35 | - | 50 |5540 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
971.92/972.22 c 931s| 3010k| 1245k| 0 | 0.0 | 571M| 35 | - | 50 |5474 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
978.02/978.38 c 937s| 3020k| 1247k| 0 | 0.0 | 572M| 35 | - | 50 |5420 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
984.22/984.51 c 943s| 3030k| 1249k| 0 | 0.0 | 574M| 35 | - | 50 |5432 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
990.31/990.67 c 949s| 3040k| 1251k| 0 | 0.0 | 575M| 35 | - | 50 |5512 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
996.61/996.93 c 955s| 3050k| 1252k| 0 | 0.0 | 577M| 35 | - | 50 |5532 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1002.71/1003.08 c 961s| 3060k| 1254k| 0 | 0.0 | 578M| 35 | - | 50 |5545 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1009.21/1009.55 c 967s| 3070k| 1255k| 0 | 0.0 | 580M| 35 | - | 50 |5766 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1015.41/1015.75 c 973s| 3080k| 1257k| 0 | 0.0 | 581M| 35 | - | 50 |5863 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1021.51/1021.87 c 979s| 3090k| 1258k| 0 | 0.0 | 583M| 35 | - | 50 |6006 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1027.91/1028.22 c 986s| 3100k| 1259k| 0 | 0.0 | 584M| 35 | - | 50 |6125 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1034.10/1034.42 c 992s| 3110k| 1260k| 0 | 0.0 | 585M| 35 | - | 50 |6170 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1040.40/1040.70 c 998s| 3120k| 1262k| 0 | 0.0 | 587M| 35 | - | 50 |6179 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1046.30/1046.66 c 1004s| 3130k| 1263k| 0 | 0.0 | 588M| 35 | - | 50 |6138 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1052.30/1052.61 c 1009s| 3140k| 1264k| 0 | 0.0 | 590M| 35 | - | 50 |6237 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1059.39/1059.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1059.39/1059.70 c 1016s| 3150k| 1265k| 0 | 0.0 | 591M| 35 | - | 50 |6387 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1066.50/1066.83 c 1023s| 3160k| 1267k| 0 | 0.0 | 592M| 35 | - | 50 |6404 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1073.59/1073.97 c 1030s| 3170k| 1268k| 0 | 0.0 | 593M| 35 | - | 50 |6445 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1080.79/1081.12 c 1037s| 3180k| 1269k| 0 | 0.0 | 595M| 35 | - | 50 |6461 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1087.98/1088.39 c 1044s| 3190k| 1270k| 0 | 0.0 | 596M| 35 | - | 50 |6409 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
1094.99/1095.36 c 1051s| 3200k| 1271k| 0 | 0.0 | 597M| 35 | - | 50 |6411 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1101.99/1102.32 c 1058s| 3210k| 1272k| 0 | 0.0 | 599M| 35 | - | 50 |6312 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1108.58/1108.98 c 1065s| 3220k| 1273k| 0 | 0.0 | 600M| 35 | - | 50 |6452 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1114.68/1115.02 c 1070s| 3230k| 1274k| 0 | 0.0 | 601M| 35 | - | 50 |6642 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
1122.08/1122.44 c 1078s| 3240k| 1274k| 0 | 0.0 | 602M| 35 | - | 50 |6882 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1129.78/1130.16 c 1085s| 3250k| 1275k| 0 | 0.0 | 603M| 35 | - | 50 |6287 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1132.58/1132.97 c 1088s| 3260k| 1283k| 0 | 0.0 | 605M| 35 | - | 50 |5104 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1135.38/1135.76 c 1091s| 3270k| 1290k| 0 | 0.0 | 607M| 35 | - | 50 |4911 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1138.27/1138.66 c 1093s| 3280k| 1297k| 0 | 0.0 | 610M| 35 | - | 50 |4869 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1141.18/1141.59 c 1096s| 3290k| 1304k| 0 | 0.0 | 612M| 35 | - | 50 |4774 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1144.37/1144.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1144.37/1144.74 c 1099s| 3300k| 1311k| 0 | 0.0 | 614M| 35 | - | 50 |4891 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1147.48/1147.84 c 1102s| 3310k| 1317k| 0 | 0.0 | 616M| 35 | - | 50 |4846 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1150.57/1150.91 c 1105s| 3320k| 1324k| 0 | 0.0 | 619M| 35 | - | 50 |4762 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1153.67/1154.06 c 1108s| 3330k| 1331k| 0 | 0.0 | 621M| 35 | - | 50 |5040 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1156.97/1157.38 c 1111s| 3340k| 1338k| 0 | 0.0 | 623M| 35 | - | 50 |5036 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1160.27/1160.62 c 1114s| 3350k| 1344k| 0 | 0.0 | 625M| 35 | - | 50 |5040 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1163.57/1163.90 c 1118s| 3360k| 1351k| 0 | 0.0 | 627M| 35 | - | 50 |5140 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1166.78/1167.12 c 1121s| 3370k| 1358k| 0 | 0.0 | 630M| 35 | - | 50 |5072 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1169.97/1170.39 c 1124s| 3380k| 1364k| 0 | 0.0 | 632M| 35 | - | 50 |5068 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1173.56/1173.92 c 1127s| 3390k| 1371k| 0 | 0.0 | 634M| 35 | - | 50 |5282 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1177.26/1177.60 c 1131s| 3400k| 1377k| 0 | 0.0 | 636M| 35 | - | 50 |5404 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1180.86/1181.28 c 1134s| 3410k| 1384k| 0 | 0.0 | 638M| 35 | - | 50 |5399 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1184.46/1184.88 c 1138s| 3420k| 1390k| 0 | 0.0 | 641M| 35 | - | 50 |5406 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1188.16/1188.51 c 1141s| 3430k| 1397k| 0 | 0.0 | 643M| 35 | - | 50 |5266 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1191.56/1191.99 c 1145s| 3440k| 1403k| 0 | 0.0 | 645M| 35 | - | 50 |5406 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1195.27/1195.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.27/1195.62 c 1148s| 3450k| 1410k| 0 | 0.0 | 647M| 35 | - | 50 |5280 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1198.85/1199.20 c 1151s| 3460k| 1416k| 0 | 0.0 | 649M| 35 | - | 50 |5187 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1202.25/1202.65 c 1155s| 3470k| 1423k| 0 | 0.0 | 651M| 35 | - | 50 |5205 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1206.06/1206.43 c 1158s| 3480k| 1429k| 0 | 0.0 | 654M| 35 | - | 50 |5442 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1209.95/1210.38 c 1162s| 3490k| 1435k| 0 | 0.0 | 656M| 35 | - | 50 |5551 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1213.85/1214.22 c 1166s| 3500k| 1441k| 0 | 0.0 | 658M| 35 | - | 50 |5592 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1217.85/1218.22 c 1170s| 3510k| 1448k| 0 | 0.0 | 660M| 35 | - | 50 |5664 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1221.75/1222.18 c 1174s| 3520k| 1454k| 0 | 0.0 | 662M| 35 | - | 50 |5617 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1225.75/1226.13 c 1177s| 3530k| 1460k| 0 | 0.0 | 664M| 35 | - | 50 |5758 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1229.74/1230.13 c 1181s| 3540k| 1467k| 0 | 0.0 | 667M| 35 | - | 50 |5707 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1233.65/1234.10 c 1185s| 3550k| 1473k| 0 | 0.0 | 669M| 35 | - | 50 |5383 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1237.55/1237.95 c 1189s| 3560k| 1479k| 0 | 0.0 | 671M| 35 | - | 50 |5584 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1241.45/1241.82 c 1193s| 3570k| 1485k| 0 | 0.0 | 673M| 35 | - | 50 |5485 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1245.34/1245.77 c 1196s| 3580k| 1492k| 0 | 0.0 | 675M| 35 | - | 50 |5477 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1249.15/1249.52 c 1200s| 3590k| 1498k| 0 | 0.0 | 677M| 35 | - | 50 |5374 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1252.94/1253.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1252.94/1253.30 c 1204s| 3600k| 1504k| 0 | 0.0 | 679M| 35 | - | 50 |5168 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1256.74/1257.15 c 1207s| 3610k| 1510k| 0 | 0.0 | 681M| 35 | - | 50 |5438 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1260.84/1261.21 c 1211s| 3620k| 1517k| 0 | 0.0 | 684M| 35 | - | 50 |5517 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1264.74/1265.19 c 1215s| 3630k| 1523k| 0 | 0.0 | 686M| 35 | - | 50 |5716 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1269.05/1269.40 c 1219s| 3640k| 1529k| 0 | 0.0 | 688M| 35 | - | 50 |5860 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1273.35/1273.70 c 1223s| 3650k| 1535k| 0 | 0.0 | 690M| 35 | - | 50 |5747 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1277.44/1277.88 c 1227s| 3660k| 1541k| 0 | 0.0 | 692M| 35 | - | 50 |5945 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1281.94/1282.35 c 1232s| 3670k| 1547k| 0 | 0.0 | 694M| 35 | - | 50 |5931 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1286.23/1286.67 c 1236s| 3680k| 1553k| 0 | 0.0 | 696M| 35 | - | 50 |5766 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
1290.53/1290.97 c 1240s| 3690k| 1559k| 0 | 0.0 | 699M| 35 | - | 50 |5981 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1294.93/1295.35 c 1244s| 3700k| 1565k| 0 | 0.0 | 701M| 35 | - | 50 |5800 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1299.23/1299.64 c 1248s| 3710k| 1571k| 0 | 0.0 | 703M| 35 | - | 50 |5863 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1303.43/1303.84 c 1253s| 3720k| 1577k| 0 | 0.0 | 705M| 35 | - | 50 |5782 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1307.63/1308.03 c 1257s| 3730k| 1583k| 0 | 0.0 | 707M| 35 | - | 50 |5664 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1311.72/1312.16 c 1261s| 3740k| 1589k| 0 | 0.0 | 709M| 35 | - | 50 |5910 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1315.92/1316.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.92/1316.36 c 1265s| 3750k| 1595k| 0 | 0.0 | 711M| 35 | - | 50 |5818 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1320.13/1320.59 c 1269s| 3760k| 1601k| 0 | 0.0 | 713M| 35 | - | 50 |5698 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1324.33/1324.77 c 1273s| 3770k| 1607k| 0 | 0.0 | 715M| 35 | - | 50 |5661 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1328.52/1328.95 c 1277s| 3780k| 1613k| 0 | 0.0 | 717M| 35 | - | 50 |5663 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1332.83/1333.22 c 1281s| 3790k| 1619k| 0 | 0.0 | 720M| 35 | - | 50 |5599 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1337.02/1337.49 c 1285s| 3800k| 1626k| 0 | 0.0 | 722M| 35 | - | 50 |5638 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1341.42/1341.83 c 1289s| 3810k| 1631k| 0 | 0.0 | 724M| 35 | - | 50 |5935 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1345.81/1346.27 c 1294s| 3820k| 1637k| 0 | 0.0 | 726M| 35 | - | 50 |6107 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1350.43/1350.86 c 1298s| 3830k| 1643k| 0 | 0.0 | 728M| 35 | - | 50 |6232 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1355.31/1355.72 c 1303s| 3840k| 1649k| 0 | 0.0 | 730M| 35 | - | 50 |6320 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1360.11/1360.50 c 1307s| 3850k| 1654k| 0 | 0.0 | 732M| 35 | - | 50 |6347 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1364.91/1365.30 c 1312s| 3860k| 1660k| 0 | 0.0 | 734M| 35 | - | 50 |6329 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1369.51/1369.96 c 1317s| 3870k| 1666k| 0 | 0.0 | 736M| 35 | - | 50 |6235 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1374.41/1374.88 c 1321s| 3880k| 1672k| 0 | 0.0 | 739M| 35 | - | 50 |6386 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1379.51/1379.91 c 1326s| 3890k| 1678k| 0 | 0.0 | 741M| 35 | - | 50 |6319 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1384.41/1384.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.41/1384.82 c 1331s| 3900k| 1683k| 0 | 0.0 | 743M| 35 | - | 50 |6236 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1389.20/1389.62 c 1336s| 3910k| 1689k| 0 | 0.0 | 745M| 35 | - | 50 |6185 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1394.00/1394.50 c 1341s| 3920k| 1695k| 0 | 0.0 | 747M| 35 | - | 50 |6193 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1398.81/1399.26 c 1345s| 3930k| 1701k| 0 | 0.0 | 749M| 35 | - | 50 |6357 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1403.60/1404.04 c 1350s| 3940k| 1707k| 0 | 0.0 | 751M| 35 | - | 50 |6314 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1408.40/1408.86 c 1354s| 3950k| 1713k| 0 | 0.0 | 753M| 35 | - | 50 |6296 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1413.20/1413.63 c 1359s| 3960k| 1718k| 0 | 0.0 | 755M| 35 | - | 50 |6172 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1418.00/1418.41 c 1364s| 3970k| 1724k| 0 | 0.0 | 757M| 35 | - | 50 |6181 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1422.80/1423.27 c 1368s| 3980k| 1730k| 0 | 0.0 | 759M| 35 | - | 50 |5956 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1427.60/1428.02 c 1373s| 3990k| 1736k| 0 | 0.0 | 761M| 35 | - | 50 |5925 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1432.19/1432.62 c 1378s| 4000k| 1742k| 0 | 0.0 | 763M| 35 | - | 50 |6134 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1436.79/1437.29 c 1382s| 4010k| 1748k| 0 | 0.0 | 765M| 35 | - | 50 |6267 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1441.60/1442.01 c 1387s| 4020k| 1753k| 0 | 0.0 | 768M| 35 | - | 50 |6285 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
1446.29/1446.74 c 1391s| 4030k| 1759k| 0 | 0.0 | 770M| 35 | - | 50 |6312 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1450.99/1451.49 c 1396s| 4040k| 1765k| 0 | 0.0 | 772M| 35 | - | 50 |6240 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1455.79/1456.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1455.79/1456.24 c 1400s| 4050k| 1771k| 0 | 0.0 | 774M| 35 | - | 50 |6158 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1460.48/1460.96 c 1405s| 4060k| 1777k| 0 | 0.0 | 776M| 35 | - | 50 |6082 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1464.99/1465.42 c 1409s| 4070k| 1782k| 0 | 0.0 | 778M| 35 | - | 50 |6095 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1469.88/1470.33 c 1414s| 4080k| 1788k| 0 | 0.0 | 780M| 35 | - | 50 |6049 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1474.98/1475.45 c 1419s| 4090k| 1794k| 0 | 0.0 | 782M| 35 | - | 50 |6144 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1480.09/1480.59 c 1424s| 4100k| 1799k| 0 | 0.0 | 784M| 35 | - | 50 |6236 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1485.38/1485.84 c 1429s| 4110k| 1805k| 0 | 0.0 | 786M| 35 | - | 50 |6222 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1490.47/1490.97 c 1434s| 4120k| 1810k| 0 | 0.0 | 788M| 35 | - | 50 |6239 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1495.58/1496.09 c 1439s| 4130k| 1816k| 0 | 0.0 | 790M| 35 | - | 50 |6480 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1500.78/1501.20 c 1444s| 4140k| 1822k| 0 | 0.0 | 793M| 35 | - | 50 |6530 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1505.88/1506.34 c 1449s| 4150k| 1827k| 0 | 0.0 | 795M| 35 | - | 50 |6429 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
1511.07/1511.59 c 1454s| 4160k| 1832k| 0 | 0.0 | 797M| 35 | - | 50 |6530 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
1516.57/1517.00 c 1459s| 4170k| 1838k| 0 | 0.0 | 799M| 35 | - | 50 |6374 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1521.67/1522.16 c 1464s| 4180k| 1844k| 0 | 0.0 | 801M| 35 | - | 50 |6374 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1526.77/1527.22 c 1469s| 4190k| 1849k| 0 | 0.0 | 803M| 35 | - | 50 |6503 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1531.88/1532.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1531.88/1532.38 c 1474s| 4200k| 1855k| 0 | 0.0 | 805M| 35 | - | 50 |6688 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1537.06/1537.52 c 1479s| 4210k| 1860k| 0 | 0.0 | 807M| 35 | - | 50 |6847 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1542.56/1543.01 c 1485s| 4220k| 1866k| 0 | 0.0 | 809M| 35 | - | 50 |6926 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1547.86/1548.31 c 1490s| 4230k| 1871k| 0 | 0.0 | 811M| 35 | - | 50 |6810 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1553.26/1553.72 c 1495s| 4240k| 1877k| 0 | 0.0 | 813M| 35 | - | 50 |7046 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
1558.76/1559.21 c 1501s| 4250k| 1882k| 0 | 0.0 | 815M| 35 | - | 50 |6936 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1564.26/1564.70 c 1506s| 4260k| 1888k| 0 | 0.0 | 817M| 35 | - | 50 |6972 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1569.85/1570.30 c 1511s| 4270k| 1893k| 0 | 0.0 | 819M| 35 | - | 50 |7045 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
1575.35/1575.86 c 1517s| 4280k| 1899k| 0 | 0.0 | 821M| 35 | - | 50 |6952 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1580.96/1581.44 c 1522s| 4290k| 1904k| 0 | 0.0 | 823M| 35 | - | 50 |6889 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
1586.45/1586.98 c 1528s| 4300k| 1910k| 0 | 0.0 | 825M| 35 | - | 50 |6996 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
1592.15/1592.60 c 1533s| 4310k| 1915k| 0 | 0.0 | 827M| 35 | - | 50 |7095 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1597.76/1598.24 c 1539s| 4320k| 1921k| 0 | 0.0 | 830M| 35 | - | 50 |7047 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1603.45/1603.91 c 1544s| 4330k| 1926k| 0 | 0.0 | 832M| 35 | - | 50 |7073 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1608.95/1609.46 c 1550s| 4340k| 1932k| 0 | 0.0 | 834M| 35 | - | 50 |6988 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1614.55/1615.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.55/1615.08 c 1555s| 4350k| 1937k| 0 | 0.0 | 836M| 35 | - | 50 |6833 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1620.15/1620.66 c 1560s| 4360k| 1943k| 0 | 0.0 | 838M| 35 | - | 50 |6788 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1625.74/1626.27 c 1566s| 4370k| 1948k| 0 | 0.0 | 840M| 35 | - | 50 |6679 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1631.34/1631.80 c 1571s| 4380k| 1954k| 0 | 0.0 | 842M| 35 | - | 50 |6942 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1636.84/1637.36 c 1577s| 4390k| 1959k| 0 | 0.0 | 844M| 35 | - | 50 |7024 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1642.54/1643.09 c 1582s| 4400k| 1965k| 0 | 0.0 | 846M| 35 | - | 50 |7050 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1648.23/1648.76 c 1588s| 4410k| 1970k| 0 | 0.0 | 848M| 35 | - | 50 |6907 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1653.74/1654.20 c 1593s| 4420k| 1976k| 0 | 0.0 | 850M| 35 | - | 50 |6881 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1659.44/1659.99 c 1599s| 4430k| 1981k| 0 | 0.0 | 852M| 35 | - | 50 |6752 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1664.84/1665.39 c 1604s| 4440k| 1987k| 0 | 0.0 | 854M| 35 | - | 50 |6837 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1670.53/1671.04 c 1610s| 4450k| 1992k| 0 | 0.0 | 856M| 35 | - | 50 |6771 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1676.42/1676.93 c 1615s| 4460k| 1998k| 0 | 0.0 | 858M| 35 | - | 50 |6840 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1682.63/1683.10 c 1621s| 4470k| 2003k| 0 | 0.0 | 860M| 35 | - | 50 |6916 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1688.83/1689.35 c 1627s| 4480k| 2008k| 0 | 0.0 | 862M| 35 | - | 50 |6945 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1694.82/1695.35 c 1633s| 4490k| 2013k| 0 | 0.0 | 864M| 35 | - | 50 |7020 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1700.83/1701.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1700.83/1701.36 c 1639s| 4500k| 2018k| 0 | 0.0 | 866M| 35 | - | 50 |7172 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1706.82/1707.39 c 1645s| 4510k| 2024k| 0 | 0.0 | 868M| 35 | - | 50 |7212 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1713.02/1713.51 c 1651s| 4520k| 2029k| 0 | 0.0 | 870M| 35 | - | 50 |7082 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1718.83/1719.36 c 1657s| 4530k| 2034k| 0 | 0.0 | 872M| 35 | - | 50 |7168 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1725.12/1725.64 c 1663s| 4540k| 2039k| 0 | 0.0 | 874M| 35 | - | 50 |7040 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1731.11/1731.62 c 1669s| 4550k| 2044k| 0 | 0.0 | 876M| 35 | - | 50 |7048 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1737.31/1737.88 c 1675s| 4560k| 2049k| 0 | 0.0 | 878M| 35 | - | 50 |7029 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1743.41/1743.95 c 1681s| 4570k| 2055k| 0 | 0.0 | 880M| 35 | - | 50 |6988 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
1749.52/1750.07 c 1687s| 4580k| 2060k| 0 | 0.0 | 882M| 35 | - | 50 |7040 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1755.51/1756.07 c 1693s| 4590k| 2065k| 0 | 0.0 | 884M| 35 | - | 50 |7042 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1761.81/1762.32 c 1699s| 4600k| 2070k| 0 | 0.0 | 886M| 35 | - | 50 |7080 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1768.21/1768.71 c 1705s| 4610k| 2076k| 0 | 0.0 | 888M| 35 | - | 50 |7075 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1774.30/1774.86 c 1711s| 4620k| 2081k| 0 | 0.0 | 890M| 35 | - | 50 |7093 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | -- | Inf
1780.61/1781.10 c 1717s| 4630k| 2086k| 0 | 0.0 | 892M| 35 | - | 50 |7002 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1787.01/1787.56 c 1723s| 4640k| 2091k| 0 | 0.0 | 894M| 35 | - | 50 |6918 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1793.40/1793.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1793.40/1793.90 c 1729s| 4650k| 2096k| 0 | 0.0 | 896M| 35 | - | 50 |6978 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1799.70/1800.29 c 1736s| 4660k| 2101k| 0 | 0.0 | 898M| 35 | - | 50 |7068 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
1800.11/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.11/1800.61 c
1800.11/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.61 c Solving Time (sec) : 1736.03
1800.11/1800.61 c Solving Nodes : 4660518
1800.11/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.11/1800.61 c Dual Bound : +0.00000000000000e+00
1800.11/1800.61 c Gap : infinite
1800.11/1800.61 s UNKNOWN
1800.11/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.61 c Solving Time : 1736.03
1800.11/1800.61 c Original Problem :
1800.11/1800.61 c Problem name : HOME/instance-2664017-1276613642.opb
1800.11/1800.61 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.61 c Constraints : 13 initial, 13 maximal
1800.11/1800.61 c Presolved Problem :
1800.11/1800.61 c Problem name : t_HOME/instance-2664017-1276613642.opb
1800.11/1800.61 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.61 c Constraints : 6 initial, 7311 maximal
1800.11/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.11/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.11/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c linear : 0.01 0 0 0 0 0 7 0 0
1800.11/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c root node : - 0 - - 0 - - - -
1800.11/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.11/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.11/1800.61 c linear : 6 0 6166642 0 3409082 1306833 16854546 0 0 0
1800.11/1800.61 c logicor : 0+ 0 2222370 0 0 5 256248 0 0 0
1800.11/1800.61 c countsols : 0 0 0 0 3409082 0 0 0 0 0
1800.11/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.11/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.11/1800.61 c linear : 418.73 0.00 416.20 0.00 2.53
1800.11/1800.61 c logicor : 649.15 0.00 649.15 0.00 0.00
1800.11/1800.61 c countsols : 1.30 0.00 0.00 0.00 1.30
1800.11/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.11/1800.61 c vbounds : 2.88 2 0 0
1800.11/1800.61 c rootredcost : 2.89 0 0 0
1800.11/1800.61 c pseudoobj : 2.80 0 0 0
1800.11/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.11/1800.61 c propagation : 135.90 1306838 386671 917862 33.9 0 0.0 -
1800.11/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.11/1800.61 c applied globally : - - - 301319 28.0 - - -
1800.11/1800.61 c applied locally : - - - 87219 38.6 - - -
1800.11/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.11/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.11/1800.61 c redcost : 0.00 0 0 0 0 0
1800.11/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.11/1800.61 c intobj : 0.00 0 0 0 0 0
1800.11/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.11/1800.61 c gomory : 0.00 0 0 0 0 0
1800.11/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.11/1800.61 c cmir : 0.00 0 0 0 0 0
1800.11/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.11/1800.61 c clique : 0.00 0 0 0 0 0
1800.11/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.11/1800.61 c mcf : 0.00 0 0 0 0 0
1800.11/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.11/1800.61 c Pricers : Time Calls Vars
1800.11/1800.61 c problem variables: 0.00 0 0
1800.11/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.11/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.11/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.11/1800.61 c inference : 26.08 3409082 0 0 0 0 6818164
1800.11/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.11/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.11/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.61 c random : 0.00 0 0 0 0 0 0
1800.11/1800.61 c Primal Heuristics : Time Calls Found
1800.11/1800.61 c LP solutions : 0.00 - 0
1800.11/1800.61 c pseudo solutions : 0.00 - 0
1800.11/1800.61 c oneopt : 2.21 0 0
1800.11/1800.61 c trivial : 0.00 2 0
1800.11/1800.61 c simplerounding : 0.00 0 0
1800.11/1800.61 c zirounding : 0.00 0 0
1800.11/1800.61 c rounding : 0.00 0 0
1800.11/1800.61 c shifting : 0.00 0 0
1800.11/1800.61 c intshifting : 0.00 0 0
1800.11/1800.61 c twoopt : 0.00 0 0
1800.11/1800.61 c fixandinfer : 0.00 0 0
1800.11/1800.61 c feaspump : 0.00 0 0
1800.11/1800.61 c coefdiving : 0.00 0 0
1800.11/1800.61 c pscostdiving : 0.00 0 0
1800.11/1800.61 c fracdiving : 0.00 0 0
1800.11/1800.61 c veclendiving : 0.00 0 0
1800.11/1800.61 c intdiving : 0.00 0 0
1800.11/1800.61 c actconsdiving : 0.00 0 0
1800.11/1800.61 c objpscostdiving : 0.00 0 0
1800.11/1800.61 c rootsoldiving : 0.00 0 0
1800.11/1800.61 c linesearchdiving : 0.00 0 0
1800.11/1800.61 c guideddiving : 0.00 0 0
1800.11/1800.61 c octane : 0.00 0 0
1800.11/1800.61 c rens : 0.00 0 0
1800.11/1800.61 c rins : 0.00 0 0
1800.11/1800.61 c localbranching : 0.00 0 0
1800.11/1800.61 c mutation : 0.00 0 0
1800.11/1800.61 c crossover : 0.00 0 0
1800.11/1800.61 c dins : 0.00 0 0
1800.11/1800.61 c undercover : 0.00 0 0
1800.11/1800.61 c nlp : 2.21 0 0
1800.11/1800.61 c trysol : 1.88 0 0
1800.11/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.11/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.11/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.11/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.11/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.11/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.11/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.11/1800.61 c (at root node) : - 0 0 0.00 -
1800.11/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.11/1800.61 c B&B Tree :
1800.11/1800.61 c number of runs : 1
1800.11/1800.61 c nodes : 4660518
1800.11/1800.61 c nodes (total) : 4660518
1800.11/1800.61 c nodes left : 2102237
1800.11/1800.61 c max depth : 35
1800.11/1800.61 c max depth (total): 35
1800.11/1800.61 c backtracks : 416477 (8.9%)
1800.11/1800.61 c delayed cutoffs : 55410
1800.11/1800.61 c repropagations : 368969 (558503 domain reductions, 55402 cutoffs)
1800.11/1800.61 c avg switch length: 5.52
1800.11/1800.61 c switching time : 399.63
1800.11/1800.61 c Solution :
1800.11/1800.61 c Solutions found : 0 (0 improvements)
1800.11/1800.61 c Primal Bound : -
1800.11/1800.61 c Dual Bound : +0.00000000000000e+00
1800.11/1800.61 c Gap : infinite
1800.11/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.11/1800.61 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664017-1276613642/watcher-2664017-1276613642 -o /tmp/evaluation-result-2664017-1276613642/solver-2664017-1276613642 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664017-1276613642.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11680
/proc/meminfo: memFree=1404492/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=5552 CPUtime=0
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 879 0 0 0 0 0 0 0 25 0 1 0 2657906 5685248 802 1992294400 4194304 7136930 140737224171088 18446744073709551615 6356804 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11680/statm: 1389 810 249 719 0 668 0
[startup+0.074254 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11680
/proc/meminfo: memFree=1404492/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=10960 CPUtime=0.07
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 2965 0 0 0 6 1 0 0 18 0 1 0 2657906 11223040 2021 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 2740 2021 387 719 0 2019 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10960
[startup+0.101258 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11680
/proc/meminfo: memFree=1404492/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=11092 CPUtime=0.09
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 2992 0 0 0 8 1 0 0 18 0 1 0 2657906 11358208 2048 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 2773 2048 387 719 0 2052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11092
[startup+0.30128 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11680
/proc/meminfo: memFree=1404492/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=11780 CPUtime=0.29
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 3151 0 0 0 26 3 0 0 18 0 1 0 2657906 12062720 2207 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 2945 2207 387 719 0 2224 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11780
[startup+0.701324 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11680
/proc/meminfo: memFree=1404492/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=12692 CPUtime=0.69
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 3407 0 0 0 61 8 0 0 18 0 1 0 2657906 12996608 2463 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 3173 2463 387 719 0 2452 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12692
[startup+1.50141 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11681
/proc/meminfo: memFree=1394936/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=14800 CPUtime=1.49
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 3931 0 0 0 133 16 0 0 20 0 1 0 2657906 15155200 2987 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 3700 2987 387 719 0 2979 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14800
[startup+3.10159 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11681
/proc/meminfo: memFree=1392828/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=17276 CPUtime=3.09
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 4599 0 0 0 281 28 0 0 25 0 1 0 2657906 17690624 3655 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 4319 3655 387 719 0 3598 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17276
[startup+6.30094 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11681
/proc/meminfo: memFree=1387124/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=22060 CPUtime=6.29
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 5834 0 0 0 574 55 0 0 25 0 1 0 2657906 22589440 4890 1992294400 4194304 7136930 140737224171088 18446744073709551615 4981628 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 5515 4890 387 719 0 4794 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22060
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11681
/proc/meminfo: memFree=1377328/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=31380 CPUtime=12.69
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 8229 0 0 0 1159 110 0 0 25 0 1 0 2657906 32133120 7285 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 7845 7285 387 719 0 7124 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31380
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11681
/proc/meminfo: memFree=1361580/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=48568 CPUtime=25.48
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 12098 0 0 0 2343 205 0 0 25 0 1 0 2657906 49733632 11154 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 12142 11154 387 719 0 11421 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48568
[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11681
/proc/meminfo: memFree=1321404/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=87876 CPUtime=51.08
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 22298 0 0 0 4683 425 0 0 25 0 1 0 2657906 89985024 21354 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 21969 21354 387 719 0 21248 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87876
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11683
/proc/meminfo: memFree=1264116/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=145636 CPUtime=102.27
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 36157 0 0 0 9455 772 0 0 25 0 1 0 2657906 149131264 35213 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 36409 35213 387 719 0 35688 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 145636
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11685
/proc/meminfo: memFree=1220840/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=187428 CPUtime=162.25
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 46939 0 0 0 15105 1120 0 0 25 0 1 0 2657906 191926272 45995 1992294400 4194304 7136930 140737224171088 18446744073709551615 4981607 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 46857 45995 387 719 0 46136 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 187428
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11687
/proc/meminfo: memFree=1150904/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=262528 CPUtime=222.23
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 64384 0 0 0 20706 1517 0 0 25 0 1 0 2657906 268828672 63440 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 65632 63440 387 719 0 64911 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 262528
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11687
/proc/meminfo: memFree=1098204/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=313476 CPUtime=282.21
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 77642 0 0 0 26374 1847 0 0 25 0 1 0 2657906 320999424 76698 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 78369 76698 387 719 0 77648 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 313476
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11689
/proc/meminfo: memFree=1054680/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=354880 CPUtime=342.2
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 88339 0 0 0 32082 2138 0 0 25 0 1 0 2657906 363397120 87395 1992294400 4194304 7136930 140737224171088 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 88720 87395 387 719 0 87999 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 354880
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11691
/proc/meminfo: memFree=1015496/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=392936 CPUtime=402.18
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 98218 0 0 0 37817 2401 0 0 25 0 1 0 2657906 402366464 97274 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 98234 97274 387 719 0 97513 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 392936
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11702
/proc/meminfo: memFree=981272/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=425068 CPUtime=462.16
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 106504 0 0 0 43587 2629 0 0 25 0 1 0 2657906 435269632 105560 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 106267 105560 387 719 0 105546 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 425068
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11704
/proc/meminfo: memFree=951512/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=470680 CPUtime=522.13
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 114058 0 0 0 49363 2850 0 0 25 0 1 0 2657906 481976320 113114 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 117670 113114 387 719 0 116949 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 470680
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11704
/proc/meminfo: memFree=921752/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=499248 CPUtime=582.12
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 121364 0 0 0 55161 3051 0 0 25 0 1 0 2657906 511229952 120420 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 124812 120420 387 719 0 124091 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 499248
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11706
/proc/meminfo: memFree=898440/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=522188 CPUtime=642.11
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 127199 0 0 0 60970 3241 0 0 25 0 1 0 2657906 534720512 126255 1992294400 4194304 7136930 140737224171088 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 130547 126255 387 719 0 129826 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 522188
[startup+702.301 s]
################
# More data... #
################
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 154845 0 0 0 96016 4185 0 0 25 0 1 0 2657906 645885952 153901 1992294400 4194304 7136930 140737224171088 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 157687 153901 387 719 0 156966 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 630748
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11718
/proc/meminfo: memFree=774688/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=643508 CPUtime=1062
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 158090 0 0 0 101886 4314 0 0 25 0 1 0 2657906 658952192 157146 1992294400 4194304 7136930 140737224171088 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 160877 157146 387 719 0 160156 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 643508
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11720
/proc/meminfo: memFree=765884/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=651200 CPUtime=1121.98
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 160061 0 0 0 107755 4443 0 0 25 0 1 0 2657906 666828800 159117 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 162800 159117 387 719 0 162079 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 651200
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11720
/proc/meminfo: memFree=723104/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=692576 CPUtime=1181.96
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 170806 0 0 0 113520 4676 0 0 25 0 1 0 2657906 709197824 169862 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 173144 169862 387 719 0 172423 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 692576
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11722
/proc/meminfo: memFree=686648/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=726864 CPUtime=1241.95
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 179707 0 0 0 119300 4895 0 0 25 0 1 0 2657906 744308736 178763 1992294400 4194304 7136930 140737224171088 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 181716 178763 387 719 0 180995 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 726864
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11724
/proc/meminfo: memFree=657880/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=754272 CPUtime=1301.94
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 186852 0 0 0 125106 5088 0 0 25 0 1 0 2657906 772374528 185908 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 188568 185908 387 719 0 187847 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 754272
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11726
/proc/meminfo: memFree=625764/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=785024 CPUtime=1361.91
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 194869 0 0 0 130917 5274 0 0 25 0 1 0 2657906 803864576 193925 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 196256 193925 387 719 0 195535 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 785024
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11728
/proc/meminfo: memFree=601212/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=808240 CPUtime=1421.91
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 200962 0 0 0 136752 5439 0 0 25 0 1 0 2657906 827637760 200018 1992294400 4194304 7136930 140737224171088 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 202060 200018 387 719 0 201339 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 808240
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11728
/proc/meminfo: memFree=570584/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=837560 CPUtime=1481.88
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 208584 0 0 0 142572 5616 0 0 25 0 1 0 2657906 857661440 207640 1992294400 4194304 7136930 140737224171088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 209390 207640 387 719 0 208669 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 837560
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11730
/proc/meminfo: memFree=545536/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=861556 CPUtime=1541.86
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 214822 0 0 0 148406 5780 0 0 25 0 1 0 2657906 882233344 213878 1992294400 4194304 7136930 140737224171088 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 215389 213878 387 719 0 214668 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 861556
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11732
/proc/meminfo: memFree=524952/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=881964 CPUtime=1601.85
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 220199 0 0 0 154253 5932 0 0 25 0 1 0 2657906 903131136 219255 1992294400 4194304 7136930 140737224171088 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 220491 219255 387 719 0 219770 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 881964
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11734
/proc/meminfo: memFree=499656/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=905152 CPUtime=1661.84
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 226232 0 0 0 160103 6081 0 0 25 0 1 0 2657906 926875648 225288 1992294400 4194304 7136930 140737224171088 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 226288 225288 387 719 0 225567 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 905152
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11736
/proc/meminfo: memFree=480684/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=956456 CPUtime=1721.82
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 230908 0 0 0 165954 6228 0 0 25 0 1 0 2657906 979410944 229964 1992294400 4194304 7136930 140737224171088 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 239114 229964 387 719 0 238393 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 956456
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11736
/proc/meminfo: memFree=459604/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=976288 CPUtime=1781.8
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 236072 0 0 0 171813 6367 0 0 25 0 1 0 2657906 999718912 235128 1992294400 4194304 7136930 140737224171088 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 244072 235128 387 719 0 243351 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 976288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11738
/proc/meminfo: memFree=455264/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=980432 CPUtime=1800.11
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 237166 0 0 0 173603 6408 0 0 25 0 1 0 2657906 1003962368 236222 1992294400 4194304 7136930 140737224171088 18446744073709551615 5484165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11680/statm: 245108 236222 387 719 0 244387 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 980432
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11680
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11738
/proc/meminfo: memFree=455264/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=980432 CPUtime=1800.9
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 237172 0 0 0 173682 6408 0 0 18 0 1 0 2657906 1003962368 236228 1992294400 4194304 7136930 140737224171088 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11680/statm: 245108 236228 393 719 0 244387 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 980432
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11739
/proc/meminfo: memFree=455132/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=980432 CPUtime=1801.7
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 237172 0 0 0 173762 6408 0 0 20 0 1 0 2657906 1003962368 236228 1992294400 4194304 7136930 140737224171088 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11680/statm: 245108 236228 393 719 0 244387 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 980432
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11739
/proc/meminfo: memFree=455132/2059040 swapFree=4192956/4192956
[pid=11680] ppid=11678 vsize=980432 CPUtime=1802.1
/proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11157 0 -1 4202496 237172 0 0 0 173802 6408 0 0 21 0 1 0 2657906 1003962368 236228 1992294400 4194304 7136930 140737224171088 18446744073709551615 4670081 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11680/statm: 245108 236228 393 719 0 244387 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 980432
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.7
CPU time (s): 1802.2
CPU user time (s): 1738.04
CPU system time (s): 64.1642
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 980432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1738.04
system time used= 64.1642
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237172
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= 4
involuntary context switches= 1412
runsolver used 2.97555 second user time and 8.5337 second system time
The end