0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665654-1276615391.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/172 (58.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 39 | - | 564k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 o 1093
0.09/0.14 c y 0.1s| 1 | 0 | 39 | - | 630k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 50 | - | 701k| 0 | 12 | 172 | 30 | 172 | 16 | 9 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 56 | - | 759k| 0 | 10 | 172 | 30 | 172 | 21 | 14 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 65 | - | 809k| 0 | 14 | 172 | 30 | 172 | 26 | 19 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 71 | - | 838k| 0 | 10 | 172 | 30 | 172 | 28 | 21 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 79 | - | 900k| 0 | 15 | 172 | 30 | 172 | 31 | 24 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 85 | - | 953k| 0 | 15 | 172 | 30 | 172 | 33 | 26 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.19/0.29 c 0.3s| 1 | 0 | 89 | - |1014k| 0 | 16 | 172 | 30 | 172 | 35 | 28 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.30/0.35 c 0.3s| 1 | 2 | 89 | - |1015k| 0 | 16 | 172 | 30 | 172 | 35 | 28 | 0 | 13 | 0.000000e+00 | 1.093000e+03 | Inf
0.59/0.63 o 276
0.59/0.63 c f 0.5s| 86 | 87 | 604 | 6.1 |1122k| 41 | - | 172 | 30 | 172 | 16 | 28 | 4 | 323 | 0.000000e+00 | 2.760000e+02 | Inf
0.79/0.80 o 173
0.79/0.80 c g 0.7s| 197 | 198 | 1434 | 6.9 |1172k| 43 | - | 172 | 31 | 172 | 16 | 28 | 5 | 405 | 0.000000e+00 | 1.730000e+02 | Inf
4.79/4.81 o 134
4.79/4.81 c g 4.2s| 3906 | 3884 | 24574 | 6.3 |2834k| 56 | - | 172 | 43 | 172 | 16 | 28 | 152 | 748 | 0.000000e+00 | 1.340000e+02 | Inf
10.29/10.35 o 60
10.29/10.35 c f 9.0s| 7904 | 7187 | 48976 | 6.2 |4359k| 56 | - | 172 | 23 | 172 | 16 | 28 | 326 | 811 | 0.000000e+00 | 6.000000e+01 | Inf
12.38/12.41 c 10.8s| 10000 | 9021 | 60036 | 6.0 |5153k| 56 | 7 | 172 | 18 | 172 | 16 | 28 | 419 | 920 | 0.000000e+00 | 6.000000e+01 | Inf
16.28/16.33 o 59
16.28/16.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.28/16.33 c *14.2s| 14543 | 12977 | 81656 | 5.6 |6948k| 56 | - | 172 | 25 | 172 | 16 | 28 | 550 |1120 | 0.000000e+00 | 5.900000e+01 | Inf
18.99/19.01 o 56
18.99/19.01 c g16.6s| 17700 | 15502 | 96569 | 5.5 |8121k| 56 | - | 172 | 26 | 172 | 16 | 28 | 668 |1295 | 0.000000e+00 | 5.600000e+01 | Inf
20.68/20.70 o 55
20.68/20.70 c *18.1s| 19454 | 16902 |106265 | 5.5 |8797k| 56 | - | 172 | 25 | 172 | 16 | 28 | 739 |1360 | 0.000000e+00 | 5.500000e+01 | Inf
21.08/21.18 c 18.5s| 20000 | 17310 |109088 | 5.5 |9010k| 56 | - | 172 | 26 | 172 | 16 | 28 | 758 |1381 | 0.000000e+00 | 5.500000e+01 | Inf
22.48/22.54 o 54
22.48/22.54 c *19.7s| 21592 | 18519 |116889 | 5.4 |9613k| 56 | - | 172 | 24 | 172 | 16 | 28 | 814 |1463 | 0.000000e+00 | 5.400000e+01 | Inf
22.48/22.54 o 52
22.48/22.54 c *19.7s| 21593 | 18453 |116889 | 5.4 |9555k| 56 | - | 172 | 24 | 172 | 16 | 28 | 814 |1463 | 0.000000e+00 | 5.200000e+01 | Inf
23.78/23.85 o 50
23.78/23.85 c *20.8s| 23115 | 19547 |124139 | 5.4 | 10M| 56 | - | 172 | 22 | 172 | 16 | 28 | 873 |1549 | 0.000000e+00 | 5.000000e+01 | Inf
23.78/23.85 o 48
23.78/23.85 c *20.8s| 23116 | 19454 |124139 | 5.4 | 10M| 56 | - | 172 | 22 | 172 | 16 | 28 | 873 |1549 | 0.000000e+00 | 4.800000e+01 | Inf
30.28/30.33 o 46
30.28/30.33 c *26.4s| 28357 | 22877 |150765 | 5.3 | 11M| 56 | - | 172 | 24 | 172 | 16 | 28 |1088 |1768 | 0.000000e+00 | 4.600000e+01 | Inf
31.69/31.72 c 27.6s| 30000 | 23960 |158862 | 5.3 | 12M| 56 | 7 | 172 | 28 | 172 | 16 | 28 |1155 |1833 | 0.000000e+00 | 4.600000e+01 | Inf
33.78/33.83 o 45
33.78/33.83 c *29.4s| 32472 | 25513 |171376 | 5.3 | 13M| 56 | - | 172 | 25 | 172 | 16 | 28 |1266 |1933 | 0.000000e+00 | 4.500000e+01 | Inf
40.08/40.13 c 34.9s| 40000 | 30481 |208821 | 5.2 | 16M| 56 | 7 | 172 | 36 | 172 | 16 | 28 |1643 |2236 | 0.000000e+00 | 4.500000e+01 | Inf
48.57/48.60 c 42.4s| 50000 | 37231 |260806 | 5.2 | 19M| 56 | - | 172 | 36 | 0 | 0 | 28 |2135 |2669 | 0.000000e+00 | 4.500000e+01 | Inf
50.48/50.56 o 44
50.48/50.56 c *44.1s| 52340 | 38808 |272834 | 5.2 | 20M| 56 | - | 172 | 41 | 172 | 16 | 28 |2242 |2773 | 0.000000e+00 | 4.400000e+01 | Inf
50.48/50.57 o 42
50.48/50.57 c *44.1s| 52343 | 38598 |272839 | 5.2 | 20M| 56 | - | 172 | 41 | 172 | 16 | 28 |2242 |2778 | 0.000000e+00 | 4.200000e+01 | Inf
50.48/50.58 o 40
50.48/50.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.48/50.58 c *44.1s| 52345 | 38287 |272839 | 5.2 | 20M| 56 | - | 172 | 41 | 172 | 16 | 28 |2242 |2780 | 0.000000e+00 | 4.000000e+01 | Inf
54.37/54.47 o 39
54.37/54.47 c *47.6s| 57035 | 41185 |296755 | 5.2 | 21M| 56 | - | 172 | 42 | 172 | 16 | 28 |2490 |2950 | 0.000000e+00 | 3.900000e+01 | Inf
56.87/56.98 c 49.8s| 60000 | 42918 |312514 | 5.2 | 22M| 56 | - | 172 | 36 | 0 | 0 | 28 |2659 |3062 | 0.000000e+00 | 3.900000e+01 | Inf
68.37/68.42 c 59.6s| 70000 | 48787 |365705 | 5.2 | 26M| 56 | 7 | 172 | 40 | 172 | 16 | 28 |3194 |3352 | 0.000000e+00 | 3.900000e+01 | Inf
72.76/72.86 o 37
72.76/72.86 c *63.6s| 75299 | 51525 |393614 | 5.2 | 28M| 56 | - | 172 | 40 | 172 | 16 | 28 |3483 |3514 | 0.000000e+00 | 3.700000e+01 | Inf
72.76/72.86 o 35
72.76/72.86 c *63.6s| 75300 | 51020 |393614 | 5.2 | 27M| 56 | - | 172 | 40 | 172 | 16 | 28 |3483 |3514 | 0.000000e+00 | 3.500000e+01 | Inf
78.08/78.18 c 68.2s| 80000 | 53559 |419553 | 5.2 | 29M| 56 | - | 172 | 36 | 0 | 0 | 28 |3749 |3651 | 0.000000e+00 | 3.500000e+01 | Inf
87.37/87.43 c 76.3s| 90000 | 59466 |470907 | 5.2 | 32M| 56 | 7 | 172 | 33 | 172 | 16 | 28 |4260 |3890 | 0.000000e+00 | 3.500000e+01 | Inf
90.77/90.88 o 33
90.77/90.88 c *79.4s| 94262 | 61557 |491653 | 5.2 | 33M| 56 | - | 172 | 32 | 172 | 16 | 28 |4441 |3976 | 0.000000e+00 | 3.300000e+01 | Inf
92.47/92.55 o 32
92.47/92.55 c *80.9s| 96294 | 61476 |502203 | 5.2 | 33M| 56 | - | 172 | 37 | 172 | 16 | 28 |4540 |4042 | 0.000000e+00 | 3.200000e+01 | Inf
92.47/92.56 o 30
92.47/92.56 c *80.9s| 96296 | 60920 |502203 | 5.2 | 32M| 56 | - | 172 | 30 | 172 | 16 | 28 |4540 |4046 | 0.000000e+00 | 3.000000e+01 | Inf
92.47/92.56 o 28
92.47/92.56 c *80.9s| 96297 | 60220 |502203 | 5.2 | 31M| 56 | - | 172 | 30 | 172 | 16 | 28 |4540 |4046 | 0.000000e+00 | 2.800000e+01 | Inf
95.46/95.53 c 83.5s|100000 | 62100 |522835 | 5.2 | 32M| 56 | 7 | 172 | 30 | 172 | 16 | 28 |4725 |4208 | 0.000000e+00 | 2.800000e+01 | Inf
104.76/104.82 c 91.6s|110000 | 66929 |583563 | 5.3 | 35M| 56 | - | 172 | 49 | 172 | 16 | 28 |5311 |4614 | 0.000000e+00 | 2.800000e+01 | Inf
112.46/112.51 c 98.3s|120000 | 71027 |643773 | 5.4 | 38M| 56 | 7 | 172 | 56 | 172 | 16 | 28 |5858 |4954 | 0.000000e+00 | 2.800000e+01 | Inf
116.26/116.37 o 27
116.26/116.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.26/116.37 c * 102s|125330 | 72851 |669870 | 5.3 | 39M| 56 | - | 172 | 52 | 172 | 16 | 28 |6140 |5048 | 0.000000e+00 | 2.700000e+01 | Inf
116.26/116.38 o 25
116.26/116.38 c * 102s|125331 | 72026 |669870 | 5.3 | 38M| 56 | - | 172 | 52 | 172 | 16 | 28 |6140 |5048 | 0.000000e+00 | 2.500000e+01 | Inf
121.45/121.51 c 106s|130000 | 73927 |694210 | 5.3 | 39M| 56 | 7 | 172 | 62 | 172 | 16 | 28 |6411 |5132 | 0.000000e+00 | 2.500000e+01 | Inf
129.35/129.44 c 113s|140000 | 77583 |742844 | 5.3 | 42M| 56 | - | 172 | 60 | 0 | 0 | 28 |6907 |5325 | 0.000000e+00 | 2.500000e+01 | Inf
136.65/136.70 c 119s|150000 | 81068 |792651 | 5.3 | 44M| 56 | 7 | 172 | 59 | 172 | 16 | 28 |7422 |5492 | 0.000000e+00 | 2.500000e+01 | Inf
143.74/143.80 c 126s|160000 | 84366 |841361 | 5.3 | 46M| 56 | 7 | 172 | 48 | 172 | 16 | 28 |7980 |5657 | 0.000000e+00 | 2.500000e+01 | Inf
146.75/146.89 o 23
146.75/146.89 c * 128s|164264 | 84864 |862167 | 5.2 | 46M| 56 | - | 172 | 51 | 172 | 16 | 28 |8176 |5744 | 0.000000e+00 | 2.300000e+01 | Inf
146.84/146.90 o 21
146.84/146.90 c * 128s|164265 | 83543 |862167 | 5.2 | 45M| 56 | - | 172 | 51 | 172 | 16 | 28 |8176 |5744 | 0.000000e+00 | 2.100000e+01 | Inf
150.75/150.89 c 132s|170000 | 85284 |889242 | 5.2 | 46M| 56 | 7 | 172 | 49 | 172 | 16 | 28 |8477 |5840 | 0.000000e+00 | 2.100000e+01 | Inf
157.64/157.74 c 138s|180000 | 87894 |936224 | 5.2 | 48M| 56 | 7 | 172 | 52 | 172 | 16 | 28 |8969 |6002 | 0.000000e+00 | 2.100000e+01 | Inf
159.04/159.18 o 20
159.04/159.18 c * 139s|181985 | 87717 |946081 | 5.2 | 47M| 56 | - | 172 | 51 | 172 | 16 | 28 |9043 |6043 | 0.000000e+00 | 2.000000e+01 | Inf
159.04/159.19 o 18
159.04/159.19 c * 139s|181986 | 86036 |946081 | 5.2 | 46M| 56 | - | 172 | 51 | 172 | 16 | 28 |9043 |6043 | 0.000000e+00 | 1.800000e+01 | Inf
167.54/167.62 c 146s|190000 | 87625 |984442 | 5.2 | 47M| 56 | 7 | 172 | 42 | 172 | 16 | 28 |9466 |6213 | 0.000000e+00 | 1.800000e+01 | Inf
174.34/174.48 c 152s|200000 | 89968 | 1032k| 5.2 | 49M| 56 | 7 | 172 | 37 | 172 | 16 | 28 |9957 |6366 | 0.000000e+00 | 1.800000e+01 | Inf
181.34/181.42 c 158s|210000 | 92625 | 1080k| 5.1 | 50M| 56 | - | 172 | 38 | 172 | 16 | 28 | 10k|6559 | 0.000000e+00 | 1.800000e+01 | Inf
188.24/188.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.24/188.38 c 164s|220000 | 95824 | 1130k| 5.1 | 52M| 56 | 7 | 172 | 32 | 172 | 16 | 28 | 10k|6709 | 0.000000e+00 | 1.800000e+01 | Inf
195.83/195.99 c 171s|230000 | 99841 | 1182k| 5.1 | 55M| 56 | - | 172 | 30 | 172 | 16 | 28 | 11k|6837 | 0.000000e+00 | 1.800000e+01 | Inf
206.34/206.49 c 180s|240000 |103398 | 1235k| 5.1 | 57M| 56 | 7 | 172 | 33 | 172 | 16 | 28 | 11k|6995 | 0.000000e+00 | 1.800000e+01 | Inf
213.52/213.65 c 186s|250000 |106513 | 1286k| 5.1 | 59M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 12k|7114 | 0.000000e+00 | 1.800000e+01 | Inf
221.42/221.52 c 193s|260000 |110375 | 1340k| 5.2 | 61M| 56 | - | 172 | 28 | 172 | 16 | 28 | 12k|7251 | 0.000000e+00 | 1.800000e+01 | Inf
228.63/228.75 c 200s|270000 |113872 | 1391k| 5.2 | 63M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 13k|7393 | 0.000000e+00 | 1.800000e+01 | Inf
236.02/236.15 c 206s|280000 |117622 | 1443k| 5.2 | 65M| 56 | - | 172 | 23 | 172 | 16 | 28 | 13k|7542 | 0.000000e+00 | 1.800000e+01 | Inf
243.32/243.40 c 213s|290000 |120993 | 1493k| 5.1 | 67M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 14k|7668 | 0.000000e+00 | 1.800000e+01 | Inf
250.92/251.04 c 219s|300000 |125400 | 1544k| 5.1 | 70M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 14k|7777 | 0.000000e+00 | 1.800000e+01 | Inf
257.92/258.03 c 225s|310000 |128564 | 1593k| 5.1 | 72M| 56 | 7 | 172 | 28 | 172 | 16 | 28 | 15k|7895 | 0.000000e+00 | 1.800000e+01 | Inf
264.81/264.99 c 232s|320000 |131557 | 1641k| 5.1 | 73M| 56 | - | 172 | 19 | 172 | 16 | 28 | 15k|8034 | 0.000000e+00 | 1.800000e+01 | Inf
271.92/272.00 c 238s|330000 |134734 | 1690k| 5.1 | 75M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 16k|8182 | 0.000000e+00 | 1.800000e+01 | Inf
278.41/278.58 c 243s|340000 |137186 | 1736k| 5.1 | 77M| 56 | 7 | 172 | 20 | 172 | 16 | 28 | 16k|8284 | 0.000000e+00 | 1.800000e+01 | Inf
284.91/285.07 c 249s|350000 |139471 | 1781k| 5.1 | 78M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 17k|8394 | 0.000000e+00 | 1.800000e+01 | Inf
291.51/291.65 c 255s|360000 |141615 | 1828k| 5.1 | 80M| 56 | - | 172 | 23 | 0 | 0 | 28 | 17k|8509 | 0.000000e+00 | 1.800000e+01 | Inf
298.01/298.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.01/298.18 c 261s|370000 |143735 | 1874k| 5.1 | 81M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 18k|8650 | 0.000000e+00 | 1.800000e+01 | Inf
304.80/304.98 c 267s|380000 |146296 | 1923k| 5.1 | 83M| 56 | 7 | 172 | 28 | 172 | 16 | 28 | 18k|8768 | 0.000000e+00 | 1.800000e+01 | Inf
311.31/311.48 c 272s|390000 |148298 | 1969k| 5.0 | 84M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 19k|8873 | 0.000000e+00 | 1.800000e+01 | Inf
320.60/320.74 c 280s|400000 |150316 | 2015k| 5.0 | 86M| 56 | - | 172 | 28 | 172 | 16 | 28 | 19k|8981 | 0.000000e+00 | 1.800000e+01 | Inf
327.30/327.43 c 286s|410000 |152628 | 2062k| 5.0 | 87M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 19k|9082 | 0.000000e+00 | 1.800000e+01 | Inf
333.69/333.85 c 292s|420000 |154254 | 2107k| 5.0 | 89M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 20k|9192 | 0.000000e+00 | 1.800000e+01 | Inf
334.20/334.37 o 17
334.20/334.37 c * 292s|420794 |153414 | 2110k| 5.0 | 87M| 56 | - | 172 | 25 | 172 | 16 | 28 | 20k|9196 | 0.000000e+00 | 1.700000e+01 | Inf
345.89/346.04 c 302s|430000 |154993 | 2152k| 5.0 | 89M| 56 | - | 172 | 25 | 172 | 16 | 28 | 20k|9293 | 0.000000e+00 | 1.700000e+01 | Inf
352.39/352.58 c 308s|440000 |156749 | 2198k| 5.0 | 90M| 56 | - | 172 | 27 | 0 | 0 | 28 | 21k|9406 | 0.000000e+00 | 1.700000e+01 | Inf
361.98/362.18 c 316s|450000 |158393 | 2250k| 5.0 | 91M| 56 | 7 | 172 | 37 | 172 | 16 | 28 | 21k|9588 | 0.000000e+00 | 1.700000e+01 | Inf
368.69/368.81 c 322s|460000 |160405 | 2302k| 5.0 | 93M| 56 | - | 172 | 30 | 172 | 16 | 28 | 22k|9794 | 0.000000e+00 | 1.700000e+01 | Inf
375.28/375.46 c 328s|470000 |162513 | 2351k| 5.0 | 94M| 56 | 7 | 172 | 29 | 172 | 16 | 28 | 22k|9944 | 0.000000e+00 | 1.700000e+01 | Inf
381.78/381.91 c 333s|480000 |164327 | 2399k| 5.0 | 95M| 56 | 7 | 172 | 34 | 172 | 16 | 28 | 23k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
388.28/388.46 c 339s|490000 |165872 | 2448k| 5.0 | 96M| 56 | - | 172 | 28 | 172 | 16 | 28 | 23k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
394.87/395.05 c 345s|500000 |167533 | 2497k| 5.0 | 98M| 56 | - | 172 | 22 | 172 | 16 | 28 | 24k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
401.38/401.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.38/401.59 c 351s|510000 |169749 | 2545k| 5.0 | 99M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 24k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
407.78/407.99 c 356s|520000 |171550 | 2590k| 5.0 | 100M| 56 | - | 172 | 23 | 172 | 16 | 28 | 25k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
414.17/414.32 c 362s|530000 |173002 | 2636k| 5.0 | 102M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 25k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
420.47/420.70 c 367s|540000 |174635 | 2681k| 5.0 | 103M| 56 | - | 172 | 23 | 172 | 16 | 28 | 26k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
426.86/427.08 c 373s|550000 |175909 | 2726k| 5.0 | 104M| 56 | - | 172 | 21 | 172 | 16 | 28 | 26k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
433.47/433.63 c 379s|560000 |177270 | 2772k| 5.0 | 105M| 56 | 7 | 172 | 44 | 172 | 16 | 28 | 27k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
440.16/440.37 c 384s|570000 |180091 | 2819k| 4.9 | 107M| 56 | 7 | 172 | 31 | 172 | 16 | 28 | 28k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
446.66/446.89 c 390s|580000 |182368 | 2865k| 4.9 | 108M| 56 | - | 172 | 30 | 172 | 16 | 28 | 28k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
453.16/453.34 c 396s|590000 |183971 | 2910k| 4.9 | 109M| 56 | 7 | 172 | 31 | 172 | 16 | 28 | 29k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
459.46/459.68 c 401s|600000 |185427 | 2956k| 4.9 | 110M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 29k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
466.36/466.57 c 407s|610000 |188424 | 3005k| 4.9 | 112M| 56 | - | 172 | 23 | 172 | 16 | 28 | 29k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
472.96/473.16 c 413s|620000 |190684 | 3052k| 4.9 | 113M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 30k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
479.75/479.99 c 419s|630000 |193267 | 3100k| 4.9 | 115M| 56 | - | 172 | 32 | 172 | 16 | 28 | 31k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
486.35/486.51 c 425s|640000 |195082 | 3147k| 4.9 | 116M| 56 | - | 172 | 26 | 172 | 16 | 28 | 31k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
492.85/493.02 c 430s|650000 |196982 | 3194k| 4.9 | 118M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 32k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
499.25/499.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.25/499.49 c 436s|660000 |198441 | 3241k| 4.9 | 119M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 32k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
505.65/505.87 c 442s|670000 |199816 | 3287k| 4.9 | 120M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 32k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
512.04/512.24 c 447s|680000 |201265 | 3333k| 4.9 | 121M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 33k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
518.45/518.67 c 453s|690000 |202785 | 3380k| 4.9 | 122M| 56 | 7 | 172 | 37 | 172 | 16 | 28 | 33k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
524.94/525.10 c 459s|700000 |204251 | 3425k| 4.9 | 123M| 56 | - | 172 | 38 | 0 | 0 | 28 | 34k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
531.34/531.50 c 464s|710000 |205701 | 3471k| 4.9 | 124M| 56 | - | 172 | 29 | 172 | 16 | 28 | 35k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
537.75/537.93 c 470s|720000 |207344 | 3516k| 4.9 | 125M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 35k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
544.34/544.52 c 476s|730000 |209241 | 3563k| 4.9 | 127M| 56 | - | 172 | 27 | 0 | 0 | 28 | 35k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
551.03/551.27 c 482s|740000 |211718 | 3612k| 4.9 | 128M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 36k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
557.83/558.06 c 488s|750000 |214674 | 3660k| 4.9 | 130M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 36k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
564.93/565.15 c 494s|760000 |218447 | 3708k| 4.9 | 132M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 37k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
571.74/571.93 c 500s|770000 |221572 | 3756k| 4.9 | 134M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 37k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
578.34/578.58 c 506s|780000 |224133 | 3803k| 4.9 | 136M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 38k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
584.93/585.20 c 511s|790000 |226333 | 3850k| 4.9 | 137M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 38k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
591.63/591.82 c 517s|800000 |228503 | 3897k| 4.9 | 139M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 39k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
598.23/598.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.23/598.46 c 523s|810000 |230911 | 3944k| 4.9 | 140M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 39k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
604.82/605.07 c 529s|820000 |233167 | 3991k| 4.9 | 142M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 40k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
611.52/611.73 c 535s|830000 |235609 | 4039k| 4.9 | 144M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 40k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
618.02/618.24 c 540s|840000 |237528 | 4086k| 4.9 | 145M| 56 | 7 | 172 | 35 | 172 | 16 | 28 | 41k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
624.52/624.77 c 546s|850000 |239382 | 4133k| 4.9 | 146M| 56 | - | 172 | 34 | 172 | 16 | 28 | 41k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
631.02/631.28 c 552s|860000 |241413 | 4179k| 4.9 | 148M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 42k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
637.51/637.75 c 558s|870000 |243099 | 4226k| 4.9 | 149M| 56 | - | 172 | 24 | 172 | 16 | 28 | 42k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
644.00/644.26 c 563s|880000 |244928 | 4273k| 4.9 | 150M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 43k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
650.70/650.99 c 569s|890000 |246609 | 4325k| 4.9 | 152M| 56 | 7 | 172 | 17 | 172 | 16 | 28 | 43k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
659.00/659.26 c 576s|900000 |251304 | 4384k| 4.9 | 154M| 56 | - | 172 | 20 | 172 | 16 | 28 | 44k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
666.90/667.17 c 583s|910000 |255947 | 4440k| 4.9 | 157M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 44k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
674.99/675.20 c 590s|920000 |260817 | 4497k| 4.9 | 159M| 56 | - | 172 | 23 | 172 | 16 | 28 | 45k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
682.39/682.63 c 597s|930000 |264812 | 4551k| 4.9 | 162M| 56 | 7 | 172 | 19 | 172 | 16 | 28 | 45k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
689.70/689.93 c 603s|940000 |268632 | 4603k| 4.9 | 164M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 46k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
696.99/697.25 c 610s|950000 |272350 | 4657k| 4.9 | 166M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 46k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
704.08/704.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.08/704.33 c 616s|960000 |275880 | 4708k| 4.9 | 168M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 47k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
711.40/711.65 c 623s|970000 |279617 | 4760k| 4.9 | 170M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 47k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
718.49/718.70 c 629s|980000 |282948 | 4811k| 4.9 | 172M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 48k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
725.98/726.20 c 635s|990000 |286623 | 4867k| 4.9 | 175M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 48k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
732.79/733.03 c 641s| 1000k|289676 | 4919k| 4.9 | 176M| 56 | 7 | 172 | 28 | 172 | 16 | 28 | 49k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
739.78/740.03 c 648s| 1010k|292620 | 4974k| 4.9 | 178M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 49k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
746.69/746.90 c 654s| 1020k|295512 | 5027k| 4.9 | 180M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 50k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
753.78/754.06 c 660s| 1030k|298872 | 5083k| 4.9 | 182M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 50k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
760.78/761.03 c 666s| 1040k|302032 | 5137k| 4.9 | 184M| 56 | - | 172 | 26 | 0 | 0 | 28 | 51k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
767.87/768.11 c 672s| 1050k|305131 | 5192k| 4.9 | 186M| 56 | - | 172 | 25 | 172 | 16 | 28 | 51k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
774.57/774.88 c 678s| 1060k|307685 | 5242k| 4.9 | 188M| 56 | - | 172 | 19 | 172 | 16 | 28 | 52k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
781.66/781.90 c 685s| 1070k|310738 | 5292k| 4.9 | 190M| 56 | 7 | 172 | 29 | 172 | 16 | 28 | 52k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
788.67/788.90 c 691s| 1080k|314112 | 5340k| 4.9 | 192M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 53k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
795.37/795.66 c 697s| 1090k|316673 | 5389k| 4.9 | 193M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 53k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
802.06/802.33 c 703s| 1100k|319046 | 5438k| 4.9 | 195M| 56 | - | 172 | 26 | 172 | 16 | 28 | 54k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
809.16/809.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.16/809.43 c 709s| 1110k|322056 | 5490k| 4.9 | 197M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 54k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
815.97/816.30 c 715s| 1120k|324812 | 5542k| 4.9 | 198M| 56 | - | 172 | 28 | 172 | 16 | 28 | 55k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
823.16/823.45 c 721s| 1130k|328419 | 5592k| 4.9 | 200M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 55k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
829.86/830.18 c 727s| 1140k|331222 | 5641k| 4.9 | 202M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 55k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
836.55/836.88 c 733s| 1150k|333953 | 5689k| 4.9 | 204M| 56 | 7 | 172 | 29 | 172 | 16 | 28 | 56k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
843.46/843.75 c 739s| 1160k|336533 | 5740k| 4.9 | 206M| 56 | - | 172 | 32 | 0 | 0 | 28 | 56k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
850.15/850.47 c 745s| 1170k|339251 | 5789k| 4.9 | 207M| 56 | - | 172 | 25 | 172 | 16 | 28 | 57k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
857.14/857.42 c 751s| 1180k|342386 | 5839k| 4.9 | 209M| 56 | 7 | 172 | 28 | 172 | 16 | 28 | 57k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
864.44/864.76 c 758s| 1190k|346017 | 5892k| 5.0 | 211M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 58k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
871.24/871.56 c 764s| 1200k|349028 | 5941k| 5.0 | 213M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 58k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
878.14/878.43 c 770s| 1210k|351904 | 5990k| 5.0 | 215M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 59k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
885.04/885.30 c 776s| 1220k|354676 | 6040k| 5.0 | 217M| 56 | - | 172 | 24 | 0 | 0 | 28 | 59k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
891.74/892.00 c 782s| 1230k|357216 | 6088k| 5.0 | 218M| 56 | - | 172 | 26 | 172 | 16 | 28 | 60k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
898.53/898.87 c 788s| 1240k|359932 | 6138k| 5.0 | 220M| 56 | 7 | 172 | 28 | 172 | 16 | 28 | 60k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
905.83/906.17 c 794s| 1250k|363621 | 6191k| 5.0 | 222M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 61k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
912.94/913.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.94/913.24 c 800s| 1260k|367048 | 6242k| 5.0 | 224M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 61k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
919.53/919.87 c 806s| 1270k|369832 | 6291k| 5.0 | 226M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 62k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
926.33/926.64 c 812s| 1280k|372639 | 6340k| 5.0 | 227M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 62k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
933.02/933.32 c 818s| 1290k|375273 | 6388k| 5.0 | 229M| 56 | 7 | 172 | 29 | 172 | 16 | 28 | 63k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
939.53/939.85 c 824s| 1300k|377454 | 6436k| 5.0 | 231M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 63k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
946.02/946.39 c 829s| 1310k|379800 | 6484k| 4.9 | 232M| 56 | 7 | 172 | 19 | 172 | 16 | 28 | 63k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
952.62/952.92 c 835s| 1320k|381974 | 6532k| 4.9 | 234M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 64k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
959.12/959.48 c 841s| 1330k|384496 | 6580k| 4.9 | 236M| 56 | - | 172 | 21 | 0 | 0 | 28 | 64k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
965.82/966.10 c 847s| 1340k|386895 | 6630k| 4.9 | 237M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 65k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
972.52/972.88 c 853s| 1350k|389619 | 6679k| 4.9 | 239M| 56 | - | 172 | 25 | 172 | 16 | 28 | 65k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
979.11/979.48 c 858s| 1360k|392008 | 6728k| 4.9 | 240M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 66k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
985.91/986.29 c 864s| 1370k|394608 | 6777k| 4.9 | 242M| 56 | - | 172 | 32 | 172 | 16 | 28 | 66k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
992.91/993.23 c 871s| 1380k|397565 | 6829k| 4.9 | 244M| 56 | - | 172 | 24 | 172 | 16 | 28 | 66k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
999.51/999.87 c 876s| 1390k|399913 | 6878k| 4.9 | 245M| 56 | - | 172 | 24 | 172 | 16 | 28 | 67k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
1006.11/1006.46 c 882s| 1400k|401938 | 6927k| 4.9 | 247M| 56 | - | 172 | 31 | 172 | 16 | 28 | 67k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
1012.71/1013.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.71/1013.02 c 888s| 1410k|404152 | 6975k| 4.9 | 248M| 56 | 7 | 172 | 20 | 172 | 16 | 28 | 68k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1019.31/1019.63 c 894s| 1420k|406204 | 7023k| 4.9 | 250M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 68k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1026.30/1026.62 c 900s| 1430k|409366 | 7073k| 4.9 | 252M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 69k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1033.00/1033.34 c 906s| 1440k|412246 | 7122k| 4.9 | 254M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 69k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1039.70/1040.06 c 912s| 1450k|414622 | 7171k| 4.9 | 255M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 70k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1046.29/1046.67 c 918s| 1460k|416967 | 7219k| 4.9 | 257M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 70k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1052.89/1053.29 c 923s| 1470k|419098 | 7267k| 4.9 | 258M| 56 | - | 172 | 20 | 0 | 0 | 28 | 71k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1059.39/1059.73 c 929s| 1480k|421128 | 7315k| 4.9 | 260M| 56 | - | 172 | 24 | 172 | 16 | 28 | 71k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1066.19/1066.56 c 935s| 1490k|423697 | 7364k| 4.9 | 262M| 56 | 7 | 172 | 19 | 172 | 16 | 28 | 72k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1073.09/1073.44 c 941s| 1500k|426761 | 7413k| 4.9 | 263M| 56 | - | 172 | 21 | 172 | 16 | 28 | 72k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1079.68/1080.06 c 947s| 1510k|429293 | 7460k| 4.9 | 265M| 56 | - | 172 | 20 | 172 | 16 | 28 | 73k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1086.28/1086.64 c 953s| 1520k|431505 | 7507k| 4.9 | 267M| 56 | - | 172 | 20 | 172 | 16 | 28 | 73k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1093.09/1093.44 c 959s| 1530k|434389 | 7556k| 4.9 | 269M| 56 | 7 | 172 | 28 | 172 | 16 | 28 | 74k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1099.59/1099.96 c 964s| 1540k|436466 | 7603k| 4.9 | 270M| 56 | - | 172 | 23 | 172 | 16 | 28 | 74k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1106.08/1106.46 c 970s| 1550k|438246 | 7649k| 4.9 | 271M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 75k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1112.67/1113.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.67/1113.04 c 976s| 1560k|440263 | 7698k| 4.9 | 273M| 56 | 7 | 172 | 19 | 172 | 16 | 28 | 75k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1119.28/1119.63 c 982s| 1570k|442300 | 7746k| 4.9 | 274M| 56 | - | 172 | 27 | 172 | 16 | 28 | 76k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1125.87/1126.27 c 988s| 1580k|444663 | 7794k| 4.9 | 276M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 76k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1132.47/1132.88 c 993s| 1590k|446837 | 7842k| 4.9 | 278M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 76k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1138.97/1139.31 c 999s| 1600k|449101 | 7890k| 4.9 | 279M| 56 | - | 172 | 28 | 172 | 16 | 28 | 77k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1145.47/1145.85 c 1005s| 1610k|451581 | 7936k| 4.9 | 281M| 56 | 7 | 172 | 32 | 172 | 16 | 28 | 77k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1152.07/1152.48 c 1011s| 1620k|453601 | 7984k| 4.9 | 282M| 56 | - | 172 | 27 | 172 | 16 | 28 | 78k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1158.56/1159.00 c 1016s| 1630k|455731 | 8031k| 4.9 | 284M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 78k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1165.27/1165.68 c 1022s| 1640k|458144 | 8079k| 4.9 | 285M| 56 | 7 | 172 | 20 | 172 | 16 | 28 | 79k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1171.96/1172.30 c 1028s| 1650k|460487 | 8126k| 4.9 | 287M| 56 | - | 172 | 26 | 0 | 0 | 28 | 79k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1178.46/1178.88 c 1034s| 1660k|462487 | 8174k| 4.9 | 288M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 80k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1185.06/1185.40 c 1040s| 1670k|464628 | 8220k| 4.9 | 290M| 56 | 7 | 172 | 20 | 172 | 16 | 28 | 80k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1191.86/1192.26 c 1046s| 1680k|467668 | 8269k| 4.9 | 292M| 56 | - | 172 | 27 | 172 | 16 | 28 | 81k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1198.36/1198.78 c 1051s| 1690k|470082 | 8315k| 4.9 | 293M| 56 | - | 172 | 24 | 172 | 16 | 28 | 81k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1204.85/1205.25 c 1057s| 1700k|472088 | 8361k| 4.9 | 295M| 56 | - | 172 | 26 | 172 | 16 | 28 | 82k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1211.35/1211.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.35/1211.72 c 1063s| 1710k|473826 | 8407k| 4.9 | 296M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 82k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1218.05/1218.44 c 1069s| 1720k|476513 | 8455k| 4.9 | 298M| 56 | - | 172 | 21 | 172 | 16 | 28 | 83k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1224.54/1224.92 c 1074s| 1730k|478216 | 8501k| 4.9 | 299M| 56 | - | 172 | 18 | 172 | 16 | 28 | 83k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1231.05/1231.44 c 1080s| 1740k|480246 | 8548k| 4.9 | 300M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 84k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1237.54/1237.97 c 1086s| 1750k|482207 | 8595k| 4.9 | 302M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 84k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1244.14/1244.58 c 1092s| 1760k|484049 | 8647k| 4.9 | 303M| 56 | - | 172 | 20 | 0 | 0 | 28 | 85k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1250.74/1251.15 c 1097s| 1770k|485927 | 8698k| 4.9 | 304M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 85k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1257.53/1257.99 c 1104s| 1780k|488398 | 8751k| 4.9 | 306M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 85k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1264.24/1264.63 c 1109s| 1790k|490153 | 8804k| 4.9 | 307M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 86k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1270.84/1271.23 c 1115s| 1800k|491885 | 8855k| 4.9 | 309M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 86k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1277.54/1277.96 c 1121s| 1810k|494503 | 8907k| 4.9 | 310M| 56 | 7 | 172 | 29 | 172 | 16 | 28 | 87k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1284.23/1284.63 c 1127s| 1820k|496573 | 8960k| 4.9 | 312M| 56 | - | 172 | 33 | 172 | 16 | 28 | 87k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1290.93/1291.32 c 1133s| 1830k|498625 | 9011k| 4.9 | 313M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 88k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1297.43/1297.85 c 1138s| 1840k|500314 | 9061k| 4.9 | 314M| 56 | - | 172 | 25 | 172 | 16 | 28 | 88k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1303.92/1304.37 c 1144s| 1850k|502051 | 9113k| 4.9 | 316M| 56 | 7 | 172 | 33 | 172 | 16 | 28 | 89k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1310.62/1311.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1310.62/1311.03 c 1150s| 1860k|504094 | 9164k| 4.9 | 317M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 89k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1317.33/1317.72 c 1156s| 1870k|506013 | 9217k| 4.9 | 319M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 90k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1324.02/1324.45 c 1162s| 1880k|508132 | 9269k| 4.9 | 320M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 90k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1330.72/1331.19 c 1168s| 1890k|510699 | 9321k| 4.9 | 322M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 91k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1338.11/1338.57 c 1174s| 1900k|514075 | 9375k| 4.9 | 324M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 91k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1345.92/1346.31 c 1181s| 1910k|518224 | 9433k| 4.9 | 326M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 91k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1353.11/1353.58 c 1187s| 1920k|521719 | 9488k| 4.9 | 328M| 56 | 7 | 172 | 31 | 172 | 16 | 28 | 92k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1360.50/1360.90 c 1194s| 1930k|525149 | 9545k| 4.9 | 330M| 56 | - | 172 | 28 | 172 | 16 | 28 | 92k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1367.51/1367.91 c 1200s| 1940k|528403 | 9598k| 4.9 | 332M| 56 | 7 | 172 | 36 | 172 | 16 | 28 | 93k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1374.51/1374.98 c 1206s| 1950k|531434 | 9652k| 4.9 | 333M| 56 | - | 172 | 41 | 172 | 16 | 28 | 93k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1381.61/1382.04 c 1213s| 1960k|534256 | 9706k| 5.0 | 335M| 56 | 7 | 172 | 36 | 172 | 16 | 28 | 94k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1388.40/1388.87 c 1219s| 1970k|537173 | 9759k| 5.0 | 337M| 56 | - | 172 | 30 | 0 | 0 | 28 | 94k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1395.41/1395.88 c 1225s| 1980k|540236 | 9811k| 5.0 | 339M| 56 | 7 | 172 | 29 | 172 | 16 | 28 | 95k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1402.50/1402.92 c 1231s| 1990k|543239 | 9864k| 5.0 | 340M| 56 | - | 172 | 27 | 0 | 0 | 28 | 95k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1409.59/1410.09 c 1237s| 2000k|546324 | 9918k| 5.0 | 342M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 95k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1416.89/1417.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.89/1417.31 c 1244s| 2010k|549834 | 9972k| 5.0 | 344M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 96k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1423.79/1424.27 c 1250s| 2020k|552598 | 10025k| 5.0 | 346M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 96k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1431.09/1431.50 c 1256s| 2030k|555879 | 10078k| 5.0 | 348M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 97k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1437.88/1438.36 c 1262s| 2040k|558466 | 10130k| 5.0 | 350M| 56 | - | 172 | 23 | 172 | 16 | 28 | 97k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1444.89/1445.37 c 1268s| 2050k|561207 | 10184k| 5.0 | 351M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 98k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1451.78/1452.23 c 1274s| 2060k|563874 | 10235k| 5.0 | 353M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 98k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1458.58/1459.00 c 1280s| 2070k|566598 | 10286k| 5.0 | 355M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 98k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1465.37/1465.88 c 1286s| 2080k|569461 | 10338k| 5.0 | 356M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 99k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1472.18/1472.63 c 1292s| 2090k|571918 | 10390k| 5.0 | 358M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 99k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1479.27/1479.78 c 1299s| 2100k|575102 | 10445k| 5.0 | 360M| 56 | - | 172 | 29 | 172 | 16 | 28 | 100k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1486.17/1486.60 c 1305s| 2110k|577871 | 10497k| 5.0 | 362M| 56 | - | 172 | 24 | 0 | 0 | 28 | 100k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1493.17/1493.63 c 1311s| 2120k|580975 | 10549k| 5.0 | 363M| 56 | - | 172 | 20 | 172 | 16 | 28 | 101k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1500.07/1500.54 c 1317s| 2130k|583836 | 10602k| 5.0 | 365M| 56 | - | 172 | 21 | 172 | 16 | 28 | 101k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1506.87/1507.35 c 1323s| 2140k|585953 | 10654k| 5.0 | 367M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 102k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1513.77/1514.23 c 1329s| 2150k|588525 | 10706k| 5.0 | 368M| 56 | 7 | 172 | 28 | 172 | 16 | 28 | 102k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1520.67/1521.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1520.67/1521.11 c 1335s| 2160k|591022 | 10758k| 5.0 | 370M| 56 | - | 172 | 27 | 0 | 0 | 28 | 103k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1527.66/1528.16 c 1341s| 2170k|594109 | 10810k| 5.0 | 372M| 56 | - | 172 | 30 | 172 | 16 | 28 | 103k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1534.46/1534.94 c 1347s| 2180k|596512 | 10862k| 5.0 | 373M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 103k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1541.26/1541.70 c 1353s| 2190k|598957 | 10913k| 5.0 | 375M| 56 | - | 172 | 25 | 172 | 16 | 28 | 104k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1548.15/1548.62 c 1359s| 2200k|601886 | 10965k| 5.0 | 377M| 56 | - | 172 | 34 | 172 | 16 | 28 | 104k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1554.87/1555.38 c 1365s| 2210k|604234 | 11017k| 5.0 | 378M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 105k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1561.66/1562.19 c 1371s| 2220k|606560 | 11069k| 5.0 | 380M| 56 | 7 | 172 | 29 | 172 | 16 | 28 | 105k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1568.35/1568.88 c 1377s| 2230k|608790 | 11120k| 5.0 | 381M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 106k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1575.45/1575.95 c 1383s| 2240k|611402 | 11174k| 5.0 | 383M| 56 | - | 172 | 24 | 0 | 0 | 28 | 106k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1582.85/1583.32 c 1390s| 2250k|614450 | 11230k| 5.0 | 385M| 56 | - | 172 | 25 | 172 | 16 | 28 | 107k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1590.05/1590.60 c 1396s| 2260k|617950 | 11286k| 5.0 | 387M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 107k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1597.14/1597.70 c 1402s| 2270k|620833 | 11340k| 5.0 | 389M| 56 | - | 172 | 29 | 172 | 16 | 28 | 107k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1604.14/1604.63 c 1408s| 2280k|623543 | 11392k| 5.0 | 390M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 108k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1610.84/1611.33 c 1414s| 2290k|625814 | 11442k| 5.0 | 392M| 56 | - | 172 | 24 | 0 | 0 | 28 | 108k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1617.44/1617.99 c 1420s| 2300k|628217 | 11490k| 5.0 | 393M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 109k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1624.25/1624.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.25/1624.76 c 1426s| 2310k|630531 | 11541k| 5.0 | 395M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 109k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1625.83/1626.33 o 16
1625.83/1626.33 c *1428s| 2312k|627872 | 11552k| 5.0 | 390M| 56 | - | 172 | 23 | 172 | 16 | 28 | 109k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1631.03/1631.53 c 1432s| 2320k|629981 | 11591k| 5.0 | 392M| 56 | - | 172 | 30 | 0 | 0 | 28 | 110k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1637.73/1638.22 c 1438s| 2330k|632326 | 11641k| 5.0 | 393M| 56 | - | 172 | 27 | 172 | 16 | 28 | 110k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1644.23/1644.79 c 1444s| 2340k|634884 | 11690k| 5.0 | 394M| 56 | 7 | 172 | 40 | 172 | 16 | 28 | 111k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1650.82/1651.30 c 1450s| 2350k|636883 | 11738k| 5.0 | 396M| 56 | 7 | 172 | 33 | 172 | 16 | 28 | 111k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1657.42/1657.91 c 1455s| 2360k|639222 | 11788k| 5.0 | 397M| 56 | 7 | 172 | 42 | 172 | 16 | 28 | 112k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1663.93/1664.42 c 1461s| 2370k|641048 | 11837k| 5.0 | 398M| 56 | 7 | 172 | 41 | 172 | 16 | 28 | 112k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1670.62/1671.11 c 1467s| 2380k|643491 | 11888k| 5.0 | 400M| 56 | - | 172 | 38 | 172 | 16 | 28 | 112k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1677.12/1677.66 c 1473s| 2390k|645468 | 11939k| 5.0 | 401M| 56 | 7 | 172 | 47 | 172 | 16 | 28 | 113k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1683.71/1684.29 c 1478s| 2400k|647507 | 11989k| 5.0 | 402M| 56 | 7 | 172 | 43 | 172 | 16 | 28 | 113k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1690.32/1690.86 c 1484s| 2410k|649557 | 12041k| 5.0 | 403M| 56 | 7 | 172 | 40 | 172 | 16 | 28 | 114k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1696.91/1697.45 c 1490s| 2420k|651325 | 12090k| 5.0 | 405M| 56 | - | 172 | 45 | 172 | 16 | 28 | 114k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1703.61/1704.13 c 1496s| 2430k|653919 | 12142k| 5.0 | 406M| 56 | - | 172 | 39 | 172 | 16 | 28 | 115k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1710.21/1710.75 c 1502s| 2440k|656234 | 12192k| 5.0 | 408M| 56 | 7 | 172 | 38 | 172 | 16 | 28 | 115k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1716.71/1717.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.71/1717.20 c 1507s| 2450k|658238 | 12239k| 5.0 | 409M| 56 | 7 | 172 | 41 | 172 | 16 | 28 | 116k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1722.02/1722.52 o 15
1722.02/1722.52 c *1512s| 2457k|658290 | 12277k| 5.0 | 405M| 56 | - | 172 | 34 | 172 | 16 | 28 | 116k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1723.60/1724.14 c 1514s| 2460k|659001 | 12288k| 5.0 | 405M| 56 | - | 172 | 38 | 172 | 16 | 28 | 116k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1730.11/1730.64 c 1519s| 2470k|661143 | 12335k| 5.0 | 407M| 56 | 7 | 172 | 33 | 172 | 16 | 28 | 117k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1736.60/1737.16 c 1525s| 2480k|663276 | 12383k| 5.0 | 408M| 56 | - | 172 | 42 | 172 | 16 | 28 | 117k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1743.01/1743.55 c 1531s| 2490k|664973 | 12429k| 5.0 | 409M| 56 | 7 | 172 | 36 | 172 | 16 | 28 | 117k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1749.70/1750.21 c 1536s| 2500k|667295 | 12478k| 5.0 | 411M| 56 | 7 | 172 | 34 | 172 | 16 | 28 | 118k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1756.20/1756.73 c 1542s| 2510k|668991 | 12526k| 5.0 | 412M| 56 | 7 | 172 | 36 | 172 | 16 | 28 | 118k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1762.71/1763.24 c 1548s| 2520k|671290 | 12574k| 5.0 | 413M| 56 | 7 | 172 | 36 | 172 | 16 | 28 | 119k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1769.30/1769.83 c 1554s| 2530k|673866 | 12622k| 5.0 | 415M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 119k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1775.80/1776.32 c 1559s| 2540k|675800 | 12670k| 5.0 | 416M| 56 | 7 | 172 | 32 | 172 | 16 | 28 | 120k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1782.29/1782.82 c 1565s| 2550k|677536 | 12717k| 5.0 | 417M| 56 | - | 172 | 41 | 172 | 16 | 28 | 120k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1788.69/1789.25 c 1571s| 2560k|679294 | 12764k| 5.0 | 418M| 56 | 7 | 172 | 33 | 172 | 16 | 28 | 120k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1795.19/1795.74 c 1577s| 2570k|681262 | 12811k| 5.0 | 419M| 56 | 7 | 172 | 36 | 172 | 16 | 28 | 121k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.61 c
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time (sec) : 1580.78
1800.10/1800.61 c Solving Nodes : 2577490
1800.10/1800.61 c Primal Bound : +1.50000000000000e+01 (49 solutions)
1800.10/1800.61 c Dual Bound : +0.00000000000000e+00
1800.10/1800.61 c Gap : infinite
1800.10/1800.61 s SATISFIABLE
1800.10/1800.61 v -x172 x171 x170 x169 x168 x167 x166 x165 -x164 x163 -x162 x161 x160 x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 x151 x150 -x149
1800.10/1800.61 v -x148 -x147 -x146 x145 -x144 x143 -x142 -x141 x140 -x139 x138 x137 x136 x135 -x134 -x133 -x132 -x131 x130 -x129 x128 -x127
1800.10/1800.61 v -x126 -x125 -x124 x123 x122 x121 x120 x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105
1800.10/1800.61 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81
1800.10/1800.61 v -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.10/1800.61 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.10/1800.61 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.10/1800.61 v -x2 x1
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time : 1580.78
1800.10/1800.61 c Original Problem :
1800.10/1800.61 c Problem name : HOME/instance-2665654-1276615391.opb
1800.10/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 14 initial, 14 maximal
1800.10/1800.61 c Presolved Problem :
1800.10/1800.61 c Problem name : t_HOME/instance-2665654-1276615391.opb
1800.10/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 7 initial, 66 maximal
1800.10/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.61 c linear : 0.00 0 0 0 0 0 7 0 0
1800.10/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c root node : - 56 - - 56 - - - -
1800.10/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c integral : 0 0 0 1662263 0 156 12706 0 0 3299036
1800.10/1800.61 c linear : 7+ 8 4072037 0 0 380407 2545397 0 0 0
1800.10/1800.61 c logicor : 0+ 0 731925 0 0 4264 38737 0 0 0
1800.10/1800.61 c countsols : 0 0 0 27 0 0 0 0 0 0
1800.10/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.61 c integral : 27.30 0.00 0.00 27.30 0.00
1800.10/1800.61 c linear : 311.96 0.00 311.96 0.00 0.00
1800.10/1800.61 c logicor : 2.26 0.00 2.26 0.00 0.00
1800.10/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.61 c vbounds : 1.88 2 0 0
1800.10/1800.61 c rootredcost : 1.88 33 0 56
1800.10/1800.61 c pseudoobj : 37.47 4077868 6004 469357
1800.10/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.61 c propagation : 27.14 387153 99775 119167 60.6 23 32.1 -
1800.10/1800.61 c infeasible LP : 2.32 25048 23171 31928 40.3 4 33.0 0
1800.10/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c pseudo solution : 0.00 1 1 1 2.0 0 0.0 -
1800.10/1800.61 c applied globally : - - - 8434 27.0 - - -
1800.10/1800.61 c applied locally : - - - 113296 57.9 - - -
1800.10/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.61 c cut pool : 0.00 6 - - 7 - (maximal pool size: 100)
1800.10/1800.61 c redcost : 53.33 2245434 0 13574462 0 0
1800.10/1800.61 c impliedbounds : 0.00 7 0 0 0 0
1800.10/1800.61 c intobj : 0.00 0 0 0 0 0
1800.10/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.61 c gomory : 0.02 7 0 0 0 0
1800.10/1800.61 c strongcg : 0.02 7 0 0 55 0
1800.10/1800.61 c cmir : 0.04 7 0 0 16 0
1800.10/1800.61 c flowcover : 0.07 7 0 0 35 0
1800.10/1800.61 c clique : 0.00 1 0 0 0 0
1800.10/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.61 c mcf : 0.00 1 0 0 0 0
1800.10/1800.61 c rapidlearning : 0.09 1 0 0 0 23
1800.10/1800.61 c Pricers : Time Calls Vars
1800.10/1800.61 c problem variables: 0.00 0 0
1800.10/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c relpscost : 25.28 1662236 156 12706 0 0 3299036
1800.10/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.10/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.61 c random : 0.00 0 0 0 0 0 0
1800.10/1800.61 c Primal Heuristics : Time Calls Found
1800.10/1800.61 c LP solutions : 0.12 - 27
1800.10/1800.61 c pseudo solutions : 0.00 - 0
1800.10/1800.61 c feaspump : 0.23 1 0
1800.10/1800.61 c oneopt : 1.88 33 0
1800.10/1800.61 c crossover : 25.56 16 0
1800.10/1800.61 c rootsoldiving : 9.83 1740 16
1800.10/1800.61 c objpscostdiving : 5.74 2418 0
1800.10/1800.61 c pscostdiving : 23.75 5939 0
1800.10/1800.61 c coefdiving : 45.30 5940 0
1800.10/1800.61 c linesearchdiving : 18.72 5940 0
1800.10/1800.61 c guideddiving : 19.90 5940 3
1800.10/1800.61 c fracdiving : 24.36 5940 2
1800.10/1800.61 c veclendiving : 18.46 5940 0
1800.10/1800.61 c trivial : 0.00 2 0
1800.10/1800.61 c simplerounding : 1.45 0 0
1800.10/1800.61 c zirounding : 1.38 1000 0
1800.10/1800.61 c rounding : 2.69 19068 0
1800.10/1800.61 c shifting : 5.50 5985 0
1800.10/1800.61 c intshifting : 0.15 0 0
1800.10/1800.61 c twoopt : 0.00 0 0
1800.10/1800.61 c fixandinfer : 0.00 0 0
1800.10/1800.61 c intdiving : 0.00 0 0
1800.10/1800.61 c actconsdiving : 0.00 0 0
1800.10/1800.61 c octane : 0.00 0 0
1800.10/1800.61 c rens : 0.02 1 0
1800.10/1800.61 c rins : 0.00 0 0
1800.10/1800.61 c localbranching : 0.00 0 0
1800.10/1800.61 c mutation : 0.00 0 0
1800.10/1800.61 c dins : 0.00 0 0
1800.10/1800.61 c undercover : 0.00 0 0
1800.10/1800.61 c nlp : 1.09 0 0
1800.10/1800.61 c trysol : 2.25 0 0
1800.10/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.61 c dual LP : 713.20 2395540 11521483 4.81 16154.63
1800.10/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.61 c diving/probing LP: 103.96 510789 1325554 2.60 12750.62
1800.10/1800.61 c strong branching : 8.61 23646 122664 5.19 14246.69
1800.10/1800.61 c (at root node) : - 13 328 25.23 -
1800.10/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.61 c B&B Tree :
1800.10/1800.61 c number of runs : 1
1800.10/1800.61 c nodes : 2577490
1800.10/1800.61 c nodes (total) : 2577490
1800.10/1800.61 c nodes left : 683055
1800.10/1800.61 c max depth : 56
1800.10/1800.61 c max depth (total): 56
1800.10/1800.61 c backtracks : 468088 (18.2%)
1800.10/1800.61 c delayed cutoffs : 20181
1800.10/1800.61 c repropagations : 40290 (153329 domain reductions, 20172 cutoffs)
1800.10/1800.61 c avg switch length: 5.31
1800.10/1800.61 c switching time : 87.14
1800.10/1800.61 c Solution :
1800.10/1800.61 c Solutions found : 49 (33 improvements)
1800.10/1800.61 c First Solution : +1.09300000000000e+03 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.10/1800.61 c Primal Bound : +1.50000000000000e+01 (in run 1, after 2457619 nodes, 1512.11 seconds, depth 42, found by <relaxation>)
1800.10/1800.61 c Dual Bound : +0.00000000000000e+00
1800.10/1800.61 c Gap : infinite
1800.10/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.10/1800.61 c Root Iterations : 89
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665654-1276615391/watcher-2665654-1276615391 -o /tmp/evaluation-result-2665654-1276615391/solver-2665654-1276615391 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665654-1276615391.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: 0.92 0.98 0.99 3/105 12370
/proc/meminfo: memFree=1756592/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=10316 CPUtime=0
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 1374 0 0 0 0 0 0 0 23 0 1 0 2832249 10563584 1295 1992294400 4194304 9819077 140735757700640 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12370/statm: 2579 1305 371 1374 0 1200 0
[startup+0.0691589 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 12370
/proc/meminfo: memFree=1756592/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=22556 CPUtime=0.06
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 4983 0 0 0 5 1 0 0 18 0 1 0 2832249 23097344 4027 1992294400 4194304 9819077 140735757700640 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 5639 4033 673 1374 0 4260 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22556
[startup+0.101162 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 12370
/proc/meminfo: memFree=1756592/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=22820 CPUtime=0.09
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 5026 0 0 0 8 1 0 0 18 0 1 0 2832249 23367680 4070 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 5705 4070 673 1374 0 4326 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22820
[startup+0.301188 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 12370
/proc/meminfo: memFree=1756592/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=22608 CPUtime=0.3
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 6447 0 0 0 27 3 0 0 18 0 1 0 2832249 23150592 4168 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 5652 4168 687 1374 0 4273 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 22608
[startup+0.701238 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 12370
/proc/meminfo: memFree=1756592/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=17632 CPUtime=0.69
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 15248 0 0 0 60 9 0 0 18 0 1 0 2832249 18055168 2934 1992294400 4194304 9819077 140735757700640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 4288 2931 723 1374 0 2909 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17632
[startup+1.50134 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 12371
/proc/meminfo: memFree=1746788/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=16832 CPUtime=1.5
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 24582 0 0 0 130 20 0 0 19 0 1 0 2832249 17235968 2933 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 4208 2932 725 1374 0 2829 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 16832
[startup+3.10154 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 12371
/proc/meminfo: memFree=1746788/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=17712 CPUtime=3.1
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 41939 0 0 0 270 40 0 0 25 0 1 0 2832249 18137088 3140 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 4268 3135 725 1374 0 2889 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 17712
[startup+6.30195 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 12371
/proc/meminfo: memFree=1744432/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=28120 CPUtime=6.29
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 82977 0 0 0 544 85 0 0 25 0 1 0 2832249 28794880 5224 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 7030 5224 725 1374 0 5651 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28120
[startup+12.7008 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 12371
/proc/meminfo: memFree=1742820/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=21416 CPUtime=12.69
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 150338 0 0 0 1105 164 0 0 25 0 1 0 2832249 21929984 4095 1992294400 4194304 9819077 140735757700640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 5354 4095 725 1374 0 3975 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21416
[startup+25.5004 s]
/proc/loadavg: 0.95 0.98 0.99 2/106 12371
/proc/meminfo: memFree=1730172/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=36044 CPUtime=25.48
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 298829 0 0 0 2217 331 0 0 25 0 1 0 2832249 36909056 7268 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 8971 7267 725 1374 0 7592 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36044
[startup+51.1007 s]
/proc/loadavg: 0.96 0.98 0.99 2/106 12373
/proc/meminfo: memFree=1724468/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=39196 CPUtime=51.07
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 564942 0 0 0 4460 647 0 0 25 0 1 0 2832249 40136704 8663 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 9799 8663 725 1374 0 8420 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39196
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/106 12373
/proc/meminfo: memFree=1707728/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=56744 CPUtime=102.26
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 1122467 0 0 0 8935 1291 0 0 25 0 1 0 2832249 58105856 12632 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 14186 12631 725 1374 0 12807 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 56744
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 12375
/proc/meminfo: memFree=1684664/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=82112 CPUtime=162.25
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 1746515 0 0 0 14166 2059 0 0 25 0 1 0 2832249 84082688 18552 1992294400 4194304 9819077 140735757700640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 20568 18553 725 1374 0 19189 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 82112
[startup+222.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 12377
/proc/meminfo: memFree=1677720/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=86504 CPUtime=222.22
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 2375103 0 0 0 19405 2817 0 0 25 0 1 0 2832249 88580096 20200 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 21426 20195 725 1374 0 20047 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 86504
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 12379
/proc/meminfo: memFree=1659988/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=103692 CPUtime=282.21
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 2971938 0 0 0 24670 3551 0 0 25 0 1 0 2832249 106180608 24611 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 25923 24611 725 1374 0 24544 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 103692
[startup+342.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 12379
/proc/meminfo: memFree=1645356/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=117140 CPUtime=342.19
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 3634843 0 0 0 29873 4346 0 0 25 0 1 0 2832249 119951360 28068 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 29285 28068 725 1374 0 27906 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 117140
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 12381
/proc/meminfo: memFree=1633452/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=130552 CPUtime=402.17
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 4256471 0 0 0 35116 5101 0 0 25 0 1 0 2832249 133685248 31424 1992294400 4194304 9819077 140735757700640 18446744073709551615 4923131 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 32638 31424 725 1374 0 31259 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 130552
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 12383
/proc/meminfo: memFree=1621176/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=141388 CPUtime=462.16
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 4860739 0 0 0 40357 5859 0 0 25 0 1 0 2832249 144781312 34261 1992294400 4194304 9819077 140735757700640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 35387 34262 725 1374 0 34008 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 141388
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 12385
/proc/meminfo: memFree=1608032/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=158452 CPUtime=522.14
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 5463013 0 0 0 45623 6591 0 0 25 0 1 0 2832249 162254848 37506 1992294400 4194304 9819077 140735757700640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 39613 37506 725 1374 0 38234 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 158452
[startup+582.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/106 12390
/proc/meminfo: memFree=1594020/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=171480 CPUtime=582.13
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 6057058 0 0 0 50889 7324 0 0 25 0 1 0 2832249 175595520 40851 1992294400 4194304 9819077 140735757700640 18446744073709551615 6372719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 42870 40851 725 1374 0 41491 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 171480
[startup+642.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/106 12390
/proc/meminfo: memFree=1581496/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=183772 CPUtime=642.12
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 6650006 0 0 0 56158 8054 0 0 25 0 1 0 2832249 188182528 43997 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 45943 43997 725 1374 0 44564 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 183772
[startup+702.301 s]
################
# More data... #
################
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 10168218 0 0 0 87851 12350 0 0 25 0 1 0 2832249 291794944 69902 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 71239 69902 726 1374 0 69860 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 284956
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12402
/proc/meminfo: memFree=1462952/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=299236 CPUtime=1061.99
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 10752602 0 0 0 93128 13071 0 0 25 0 1 0 2832249 306417664 73548 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 74809 73548 726 1374 0 73430 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 299236
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12404
/proc/meminfo: memFree=1443484/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=317968 CPUtime=1121.97
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 11335634 0 0 0 98404 13793 0 0 25 0 1 0 2832249 325599232 78304 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 79492 78304 726 1374 0 78113 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 317968
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12406
/proc/meminfo: memFree=1432076/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=337224 CPUtime=1181.95
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 11919578 0 0 0 103685 14510 0 0 25 0 1 0 2832249 345317376 81152 1992294400 4194304 9819077 140735757700640 18446744073709551615 4948281 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 84306 81152 726 1374 0 82927 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 337224
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12406
/proc/meminfo: memFree=1416204/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=352312 CPUtime=1241.94
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 12504127 0 0 0 108963 15231 0 0 25 0 1 0 2832249 360767488 84989 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 88078 84989 726 1374 0 86699 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 352312
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12408
/proc/meminfo: memFree=1404920/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=363108 CPUtime=1301.93
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 13080119 0 0 0 114238 15955 0 0 25 0 1 0 2832249 371822592 87753 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 90617 87748 726 1374 0 89238 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 363108
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12410
/proc/meminfo: memFree=1387064/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=380624 CPUtime=1361.9
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 13656666 0 0 0 119516 16674 0 0 25 0 1 0 2832249 389758976 92220 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 94916 92215 726 1374 0 93537 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 380624
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12412
/proc/meminfo: memFree=1370696/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=396396 CPUtime=1421.9
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 14231627 0 0 0 124808 17382 0 0 25 0 1 0 2832249 405909504 96279 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 98979 96276 726 1374 0 97600 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 396396
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12414
/proc/meminfo: memFree=1354452/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=413764 CPUtime=1481.87
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 14802846 0 0 0 130088 18099 0 0 25 0 1 0 2832249 423694336 100754 1992294400 4194304 9819077 140735757700640 18446744073709551615 4947373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 103441 100754 726 1374 0 102062 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 413764
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12414
/proc/meminfo: memFree=1339572/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=427424 CPUtime=1541.86
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 15374029 0 0 0 135368 18818 0 0 25 0 1 0 2832249 437682176 104243 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 106856 104243 726 1374 0 105477 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 427424
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12416
/proc/meminfo: memFree=1324320/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=441232 CPUtime=1601.84
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 15943602 0 0 0 140641 19543 0 0 25 0 1 0 2832249 451821568 107788 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 110308 107788 726 1374 0 108929 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 441232
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12418
/proc/meminfo: memFree=1312292/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=452644 CPUtime=1661.83
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 16519572 0 0 0 145922 20261 0 0 25 0 1 0 2832249 463507456 110741 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 113161 110741 726 1374 0 111782 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 452644
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12420
/proc/meminfo: memFree=1302248/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=462152 CPUtime=1721.81
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 17091230 0 0 0 151194 20987 0 0 25 0 1 0 2832249 473243648 113229 1992294400 4194304 9819077 140735757700640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 115578 113230 726 1374 0 114199 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 462152
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12422
/proc/meminfo: memFree=1292824/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=471176 CPUtime=1781.79
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 17670707 0 0 0 156473 21706 0 0 25 0 1 0 2832249 482484224 115494 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 117794 115494 726 1374 0 116415 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 471176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12422
/proc/meminfo: memFree=1289724/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=474212 CPUtime=1800.1
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 17847586 0 0 0 158078 21932 0 0 25 0 1 0 2832249 485593088 116275 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12370/statm: 118553 116275 726 1374 0 117174 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 474212
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12370
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 12422
/proc/meminfo: memFree=1289724/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=474212 CPUtime=1800.89
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 17847592 0 0 0 158157 21932 0 0 25 0 1 0 2832249 485593088 116276 1992294400 4194304 9819077 140735757700640 18446744073709551615 4616591 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12370/statm: 118553 116276 727 1374 0 117174 0
Current children cumulated CPU time (s) 1800.89
Current children cumulated vsize (KiB) 474212
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12423
/proc/meminfo: memFree=1289592/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=474212 CPUtime=1801.69
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 17847592 0 0 0 158237 21932 0 0 25 0 1 0 2832249 485593088 116276 1992294400 4194304 9819077 140735757700640 18446744073709551615 6179982 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12370/statm: 118553 116276 727 1374 0 117174 0
Current children cumulated CPU time (s) 1801.69
Current children cumulated vsize (KiB) 474212
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12423
/proc/meminfo: memFree=1289592/2059040 swapFree=4192956/4192956
[pid=12370] ppid=12368 vsize=474212 CPUtime=1802.09
/proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 17847592 0 0 0 158277 21932 0 0 25 0 1 0 2832249 485593088 116276 1992294400 4194304 9819077 140735757700640 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12370/statm: 118553 116276 727 1374 0 117174 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 474212
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.66
CPU time (s): 1802.15
CPU user time (s): 1582.79
CPU system time (s): 219.367
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 474212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1582.79
system time used= 219.367
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17847592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1659
runsolver used 3.11453 second user time and 8.38772 second system time
The end