0.00/0.01 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.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2665661-1276616466.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.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # 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 | 36 | - | 564k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 o 436
0.09/0.15 c y 0.1s| 1 | 0 | 36 | - | 614k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 42 | - | 748k| 0 | 10 | 172 | 97 | 172 | 15 | 8 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 49 | - | 827k| 0 | 11 | 172 | 97 | 172 | 20 | 13 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 60 | - | 933k| 0 | 12 | 172 | 97 | 172 | 25 | 18 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 65 | - |1006k| 0 | 13 | 172 | 97 | 172 | 29 | 22 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 75 | - |1041k| 0 | 15 | 172 | 97 | 172 | 31 | 24 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 82 | - |1065k| 0 | 17 | 172 | 97 | 172 | 34 | 27 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.29/0.36 c 0.3s| 1 | 2 | 82 | - |1066k| 0 | 17 | 172 | 97 | 172 | 34 | 27 | 0 | 13 | 0.000000e+00 | 4.360000e+02 | Inf
0.49/0.54 o 337
0.49/0.54 c p 0.5s| 36 | 37 | 396 | 9.0 |1173k| 21 | - | 172 | 97 | 172 | 17 | 27 | 3 | 207 | 0.000000e+00 | 3.370000e+02 | Inf
1.10/1.17 o 263
1.10/1.17 c f 1.0s| 474 | 475 | 3276 | 6.8 |1391k| 51 | - | 172 | 99 | 172 | 17 | 27 | 21 | 501 | 0.000000e+00 | 2.630000e+02 | Inf
1.19/1.29 o 262
1.19/1.29 c p 1.1s| 598 | 598 | 3935 | 6.5 |1434k| 51 | - | 172 | 99 | 172 | 17 | 27 | 24 | 517 | 0.000000e+00 | 2.620000e+02 | Inf
1.39/1.49 o 194
1.39/1.49 c c 1.3s| 777 | 776 | 5333 | 6.8 |1526k| 51 | - | 172 | 100 | 172 | 17 | 27 | 27 | 549 | 0.000000e+00 | 1.940000e+02 | Inf
4.30/4.36 o 119
4.30/4.36 c f 3.7s| 2698 | 2627 | 16864 | 6.2 |2389k| 51 | - | 172 | 111 | 172 | 17 | 27 | 138 | 678 | 0.000000e+00 | 1.190000e+02 | Inf
6.60/6.69 o 82
6.60/6.69 c f 5.8s| 5014 | 4834 | 30400 | 6.0 |3365k| 51 | - | 172 | 117 | 172 | 17 | 27 | 244 | 754 | 0.000000e+00 | 8.200000e+01 | Inf
12.88/12.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.88/12.96 c 11.3s| 10000 | 9612 | 62843 | 6.3 |5592k| 51 | 7 | 172 | 31 | 172 | 17 | 27 | 556 | 944 | 0.000000e+00 | 8.200000e+01 | Inf
16.68/16.71 o 80
16.68/16.71 c *14.6s| 14206 | 13571 | 83312 | 5.9 |7450k| 51 | - | 172 | 32 | 172 | 17 | 27 | 699 |1188 | 0.000000e+00 | 8.000000e+01 | Inf
17.59/17.67 o 79
17.59/17.67 c p15.4s| 15273 | 14575 | 88619 | 5.8 |7962k| 51 | - | 172 | 30 | 172 | 17 | 27 | 736 |1246 | 0.000000e+00 | 7.900000e+01 | Inf
22.08/22.18 c 19.4s| 20000 | 18865 |113537 | 5.7 | 10M| 51 | 7 | 172 | 34 | 172 | 17 | 27 | 920 |1494 | 0.000000e+00 | 7.900000e+01 | Inf
22.29/22.36 o 78
22.29/22.36 c *19.6s| 20165 | 19003 |114597 | 5.7 | 10M| 51 | - | 172 | 34 | 172 | 17 | 27 | 930 |1512 | 0.000000e+00 | 7.800000e+01 | Inf
31.48/31.55 c 27.6s| 30000 | 27776 |172711 | 5.8 | 14M| 55 | 7 | 172 | 42 | 172 | 17 | 27 |1277 |2023 | 0.000000e+00 | 7.800000e+01 | Inf
32.89/32.95 o 76
32.89/32.95 c l28.9s| 31581 | 29052 |181024 | 5.7 | 15M| 55 | - | 172 | 42 | 172 | 17 | 27 |1330 |2103 | 0.000000e+00 | 7.600000e+01 | Inf
36.88/36.90 o 74
36.88/36.90 c *32.4s| 35620 | 32368 |205262 | 5.8 | 17M| 55 | - | 172 | 41 | 172 | 17 | 27 |1501 |2294 | 0.000000e+00 | 7.400000e+01 | Inf
38.49/38.57 o 73
38.49/38.57 c *33.8s| 37450 | 33804 |215507 | 5.8 | 18M| 55 | - | 172 | 39 | 172 | 17 | 27 |1561 |2375 | 0.000000e+00 | 7.300000e+01 | Inf
38.79/38.82 o 55
38.79/38.82 c f34.0s| 37710 | 31130 |216897 | 5.7 | 15M| 55 | - | 172 | 39 | 172 | 17 | 27 |1567 |2387 | 0.000000e+00 | 5.500000e+01 | Inf
41.08/41.19 c 36.1s| 40000 | 32904 |230934 | 5.8 | 16M| 55 | - | 172 | 32 | 172 | 17 | 27 |1699 |2541 | 0.000000e+00 | 5.500000e+01 | Inf
49.88/49.92 c 43.9s| 50000 | 40578 |285013 | 5.7 | 21M| 55 | - | 172 | 35 | 172 | 17 | 27 |2170 |2932 | 0.000000e+00 | 5.500000e+01 | Inf
58.38/58.42 c 51.4s| 60000 | 48339 |336568 | 5.6 | 25M| 55 | 7 | 172 | 46 | 172 | 17 | 27 |2654 |3188 | 0.000000e+00 | 5.500000e+01 | Inf
66.77/66.88 c 58.8s| 70000 | 56146 |388318 | 5.5 | 30M| 55 | - | 172 | 49 | 172 | 17 | 27 |3136 |3466 | 0.000000e+00 | 5.500000e+01 | Inf
75.27/75.39 c 66.3s| 80000 | 63843 |440743 | 5.5 | 34M| 55 | 7 | 172 | 53 | 172 | 17 | 27 |3659 |3730 | 0.000000e+00 | 5.500000e+01 | Inf
83.87/83.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.87/83.93 c 73.8s| 90000 | 71066 |493184 | 5.5 | 39M| 55 | 7 | 172 | 53 | 172 | 17 | 27 |4213 |3968 | 0.000000e+00 | 5.500000e+01 | Inf
91.77/91.85 o 54
91.77/91.85 c l80.8s| 99142 | 77473 |542537 | 5.5 | 43M| 55 | - | 172 | 57 | 172 | 17 | 27 |4725 |4165 | 0.000000e+00 | 5.400000e+01 | Inf
92.56/92.62 c 81.5s|100000 | 78082 |547290 | 5.5 | 43M| 55 | 7 | 172 | 55 | 172 | 17 | 27 |4772 |4183 | 0.000000e+00 | 5.400000e+01 | Inf
93.77/93.81 o 53
93.77/93.81 c *82.5s|101090 | 78716 |554877 | 5.5 | 43M| 55 | - | 172 | 51 | 172 | 17 | 27 |4843 |4198 | 0.000000e+00 | 5.300000e+01 | Inf
94.36/94.41 o 52
94.36/94.41 c *83.1s|101730 | 78877 |558575 | 5.5 | 43M| 55 | - | 172 | 51 | 172 | 17 | 27 |4868 |4217 | 0.000000e+00 | 5.200000e+01 | Inf
95.57/95.68 o 50
95.57/95.68 c *84.2s|103154 | 79240 |566418 | 5.5 | 43M| 57 | - | 172 | 48 | 172 | 17 | 27 |4943 |4250 | 0.000000e+00 | 5.000000e+01 | Inf
101.57/101.69 c 89.5s|110000 | 83707 |603694 | 5.5 | 46M| 57 | 7 | 172 | 51 | 172 | 17 | 27 |5381 |4369 | 0.000000e+00 | 5.000000e+01 | Inf
102.36/102.48 o 41
102.36/102.48 c p90.2s|110846 | 79503 |608527 | 5.5 | 41M| 57 | - | 172 | 47 | 172 | 17 | 27 |5421 |4380 | 0.000000e+00 | 4.100000e+01 | Inf
110.66/110.77 c 97.5s|120000 | 84865 |660374 | 5.5 | 45M| 57 | 7 | 172 | 51 | 172 | 17 | 27 |6058 |4570 | 0.000000e+00 | 4.100000e+01 | Inf
114.16/114.29 o 40
114.16/114.29 c * 101s|123855 | 86651 |682381 | 5.5 | 46M| 57 | - | 172 | 55 | 172 | 17 | 27 |6263 |4664 | 0.000000e+00 | 4.000000e+01 | Inf
117.86/117.92 o 38
117.86/117.92 c * 104s|127978 | 87947 |704992 | 5.5 | 47M| 57 | - | 172 | 61 | 172 | 17 | 27 |6534 |4748 | 0.000000e+00 | 3.800000e+01 | Inf
117.86/117.93 o 36
117.86/117.93 c * 104s|127979 | 86784 |704992 | 5.5 | 46M| 57 | - | 172 | 61 | 172 | 17 | 27 |6534 |4748 | 0.000000e+00 | 3.600000e+01 | Inf
119.66/119.80 c 105s|130000 | 88030 |715908 | 5.5 | 46M| 57 | 7 | 172 | 57 | 172 | 17 | 27 |6650 |4783 | 0.000000e+00 | 3.600000e+01 | Inf
128.36/128.47 c 113s|140000 | 93325 |769799 | 5.5 | 50M| 57 | 7 | 172 | 52 | 172 | 17 | 27 |7275 |4969 | 0.000000e+00 | 3.600000e+01 | Inf
134.55/134.66 o 34
134.55/134.66 c * 119s|146762 | 95643 |807505 | 5.5 | 52M| 57 | - | 172 | 51 | 172 | 17 | 27 |7771 |5082 | 0.000000e+00 | 3.400000e+01 | Inf
137.26/137.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.26/137.35 c 121s|150000 | 97252 |824519 | 5.5 | 53M| 57 | 7 | 172 | 52 | 172 | 17 | 27 |7940 |5157 | 0.000000e+00 | 3.400000e+01 | Inf
138.46/138.56 o 33
138.46/138.56 c * 122s|151361 | 97382 |831914 | 5.5 | 53M| 57 | - | 172 | 53 | 172 | 17 | 27 |8020 |5179 | 0.000000e+00 | 3.300000e+01 | Inf
145.96/146.08 c 129s|160000 |101681 |877182 | 5.5 | 56M| 57 | - | 172 | 62 | 172 | 17 | 27 |8706 |5306 | 0.000000e+00 | 3.300000e+01 | Inf
149.95/150.02 o 32
149.95/150.02 c * 132s|164499 | 94164 |900985 | 5.5 | 52M| 57 | - | 172 | 79 | 172 | 17 | 27 |9035 |5387 | 0.000000e+00 | 3.200000e+01 | Inf
150.46/150.57 o 30
150.46/150.57 c * 133s|165093 | 93672 |904754 | 5.5 | 51M| 57 | - | 172 | 77 | 172 | 17 | 27 |9081 |5405 | 0.000000e+00 | 3.000000e+01 | Inf
154.55/154.66 c 136s|170000 | 96055 |932970 | 5.5 | 52M| 57 | 7 | 172 | 82 | 172 | 17 | 27 |9373 |5500 | 0.000000e+00 | 3.000000e+01 | Inf
154.75/154.87 o 29
154.75/154.87 c * 136s|170293 | 95668 |934500 | 5.5 | 52M| 57 | - | 172 | 82 | 172 | 17 | 27 |9385 |5514 | 0.000000e+00 | 2.900000e+01 | Inf
158.86/158.98 o 28
158.86/158.98 c * 140s|174864 | 97610 |961777 | 5.5 | 53M| 57 | - | 172 | 89 | 172 | 17 | 27 |9686 |5596 | 0.000000e+00 | 2.800000e+01 | Inf
163.15/163.22 c 144s|180000 |100186 |990827 | 5.5 | 54M| 57 | 7 | 172 | 92 | 172 | 17 | 27 |9948 |5687 | 0.000000e+00 | 2.800000e+01 | Inf
164.15/164.28 o 27
164.15/164.28 c * 145s|181325 |100275 |997903 | 5.5 | 54M| 57 | - | 172 | 94 | 172 | 17 | 27 | 10k|5703 | 0.000000e+00 | 2.700000e+01 | Inf
164.15/164.29 o 25
164.15/164.29 c * 145s|181326 | 99014 |997903 | 5.5 | 53M| 57 | - | 172 | 94 | 172 | 17 | 27 | 10k|5703 | 0.000000e+00 | 2.500000e+01 | Inf
171.05/171.14 c 151s|190000 |103029 | 1045k| 5.5 | 55M| 57 | 7 | 172 | 94 | 172 | 17 | 27 | 10k|5863 | 0.000000e+00 | 2.500000e+01 | Inf
179.05/179.16 c 158s|200000 |107639 | 1099k| 5.5 | 58M| 57 | - | 172 | 90 | 0 | 0 | 27 | 11k|6034 | 0.000000e+00 | 2.500000e+01 | Inf
186.85/187.00 c 165s|210000 |111889 | 1153k| 5.5 | 61M| 57 | 7 | 172 | 88 | 172 | 17 | 27 | 11k|6204 | 0.000000e+00 | 2.500000e+01 | Inf
192.04/192.11 o 21
192.04/192.11 c * 169s|216496 |111091 | 1189k| 5.5 | 59M| 57 | - | 172 | 81 | 172 | 17 | 27 | 11k|6304 | 0.000000e+00 | 2.100000e+01 | Inf
194.74/194.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.74/194.81 c 172s|220000 |112489 | 1207k| 5.5 | 60M| 57 | 7 | 172 | 102 | 172 | 17 | 27 | 12k|6342 | 0.000000e+00 | 2.100000e+01 | Inf
202.35/202.41 c 178s|230000 |116080 | 1260k| 5.5 | 63M| 57 | - | 172 | 89 | 172 | 17 | 27 | 12k|6474 | 0.000000e+00 | 2.100000e+01 | Inf
210.05/210.12 c 185s|240000 |120249 | 1313k| 5.5 | 66M| 57 | 7 | 172 | 80 | 172 | 17 | 27 | 13k|6582 | 0.000000e+00 | 2.100000e+01 | Inf
217.65/217.70 c 192s|250000 |123666 | 1366k| 5.5 | 68M| 57 | 7 | 172 | 72 | 172 | 17 | 27 | 13k|6712 | 0.000000e+00 | 2.100000e+01 | Inf
224.93/225.02 c 198s|260000 |126677 | 1418k| 5.5 | 70M| 57 | - | 172 | 78 | 172 | 17 | 27 | 14k|6845 | 0.000000e+00 | 2.100000e+01 | Inf
232.93/233.09 c 205s|270000 |130577 | 1474k| 5.5 | 73M| 57 | - | 172 | 76 | 172 | 17 | 27 | 14k|6953 | 0.000000e+00 | 2.100000e+01 | Inf
240.74/240.90 c 212s|280000 |134610 | 1529k| 5.5 | 75M| 57 | 7 | 172 | 75 | 172 | 17 | 27 | 14k|7086 | 0.000000e+00 | 2.100000e+01 | Inf
248.33/248.43 c 219s|290000 |138186 | 1583k| 5.5 | 77M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 15k|7197 | 0.000000e+00 | 2.100000e+01 | Inf
255.72/255.88 c 225s|300000 |141466 | 1636k| 5.5 | 80M| 57 | - | 172 | 78 | 172 | 17 | 27 | 15k|7344 | 0.000000e+00 | 2.100000e+01 | Inf
263.12/263.22 c 232s|310000 |144252 | 1687k| 5.4 | 82M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 16k|7473 | 0.000000e+00 | 2.100000e+01 | Inf
270.43/270.52 c 238s|320000 |146851 | 1739k| 5.4 | 84M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 16k|7602 | 0.000000e+00 | 2.100000e+01 | Inf
275.82/275.98 o 19
275.82/275.98 c * 243s|327565 |146026 | 1778k| 5.4 | 82M| 57 | - | 172 | 77 | 172 | 17 | 27 | 17k|7666 | 0.000000e+00 | 1.900000e+01 | Inf
280.71/280.83 c 247s|330000 |146509 | 1791k| 5.4 | 82M| 57 | - | 172 | 76 | 172 | 17 | 27 | 17k|7694 | 0.000000e+00 | 1.900000e+01 | Inf
287.82/287.91 c 253s|340000 |148888 | 1842k| 5.4 | 84M| 57 | - | 172 | 77 | 172 | 17 | 27 | 17k|7812 | 0.000000e+00 | 1.900000e+01 | Inf
294.82/294.98 c 260s|350000 |151131 | 1894k| 5.4 | 85M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 17k|7934 | 0.000000e+00 | 1.900000e+01 | Inf
301.81/301.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
301.81/301.94 c 266s|360000 |153275 | 1944k| 5.4 | 87M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 18k|8063 | 0.000000e+00 | 1.900000e+01 | Inf
309.21/309.31 c 272s|370000 |155818 | 1996k| 5.4 | 89M| 57 | 7 | 172 | 77 | 172 | 17 | 27 | 18k|8172 | 0.000000e+00 | 1.900000e+01 | Inf
316.11/316.21 c 278s|380000 |157566 | 2048k| 5.4 | 90M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 19k|8290 | 0.000000e+00 | 1.900000e+01 | Inf
322.90/323.01 c 284s|390000 |159402 | 2097k| 5.4 | 92M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 19k|8427 | 0.000000e+00 | 1.900000e+01 | Inf
329.71/329.81 c 290s|400000 |160976 | 2147k| 5.4 | 93M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 19k|8542 | 0.000000e+00 | 1.900000e+01 | Inf
336.60/336.78 c 296s|410000 |162864 | 2197k| 5.4 | 95M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 20k|8650 | 0.000000e+00 | 1.900000e+01 | Inf
343.40/343.58 c 302s|420000 |164411 | 2246k| 5.3 | 96M| 57 | - | 172 | 83 | 172 | 17 | 27 | 20k|8756 | 0.000000e+00 | 1.900000e+01 | Inf
350.40/350.56 c 308s|430000 |166492 | 2295k| 5.3 | 98M| 57 | - | 172 | 75 | 172 | 17 | 27 | 21k|8879 | 0.000000e+00 | 1.900000e+01 | Inf
357.20/357.34 c 314s|440000 |167978 | 2345k| 5.3 | 99M| 57 | - | 172 | 74 | 0 | 0 | 27 | 21k|8988 | 0.000000e+00 | 1.900000e+01 | Inf
364.10/364.28 c 320s|450000 |169827 | 2396k| 5.3 | 100M| 57 | 7 | 172 | 74 | 172 | 17 | 27 | 21k|9088 | 0.000000e+00 | 1.900000e+01 | Inf
371.20/371.34 c 327s|460000 |171950 | 2448k| 5.3 | 102M| 57 | 7 | 172 | 71 | 172 | 17 | 27 | 22k|9205 | 0.000000e+00 | 1.900000e+01 | Inf
378.09/378.20 c 333s|470000 |173554 | 2499k| 5.3 | 103M| 57 | 7 | 172 | 73 | 172 | 17 | 27 | 22k|9325 | 0.000000e+00 | 1.900000e+01 | Inf
384.80/384.91 c 339s|480000 |174958 | 2548k| 5.3 | 105M| 57 | 7 | 172 | 78 | 172 | 17 | 27 | 22k|9428 | 0.000000e+00 | 1.900000e+01 | Inf
391.69/391.87 c 345s|490000 |177133 | 2598k| 5.3 | 106M| 57 | - | 172 | 71 | 0 | 0 | 27 | 23k|9542 | 0.000000e+00 | 1.900000e+01 | Inf
398.69/398.89 c 351s|500000 |179597 | 2648k| 5.3 | 108M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 23k|9632 | 0.000000e+00 | 1.900000e+01 | Inf
406.49/406.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.49/406.60 c 358s|510000 |183480 | 2702k| 5.3 | 110M| 57 | 7 | 172 | 74 | 172 | 17 | 27 | 24k|9734 | 0.000000e+00 | 1.900000e+01 | Inf
413.58/413.75 c 364s|520000 |186645 | 2752k| 5.3 | 112M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 24k|9844 | 0.000000e+00 | 1.900000e+01 | Inf
421.28/421.41 c 371s|530000 |190535 | 2804k| 5.3 | 115M| 57 | 7 | 172 | 68 | 172 | 17 | 27 | 24k|9932 | 0.000000e+00 | 1.900000e+01 | Inf
428.48/428.63 c 377s|540000 |193481 | 2855k| 5.3 | 117M| 57 | - | 172 | 73 | 0 | 0 | 27 | 25k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
435.67/435.88 c 383s|550000 |196391 | 2906k| 5.3 | 119M| 57 | 7 | 172 | 75 | 172 | 17 | 27 | 25k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
442.68/442.86 c 389s|560000 |198731 | 2955k| 5.3 | 120M| 57 | 7 | 172 | 74 | 172 | 17 | 27 | 26k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
449.79/449.96 c 396s|570000 |201459 | 3004k| 5.3 | 122M| 57 | - | 172 | 75 | 172 | 17 | 27 | 26k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
456.87/457.08 c 402s|580000 |204375 | 3054k| 5.3 | 124M| 57 | - | 172 | 75 | 172 | 17 | 27 | 26k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
463.97/464.14 c 408s|590000 |207100 | 3105k| 5.3 | 126M| 57 | 7 | 172 | 72 | 172 | 17 | 27 | 27k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
470.87/471.06 c 414s|600000 |209503 | 3155k| 5.3 | 128M| 57 | 7 | 172 | 75 | 172 | 17 | 27 | 27k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
477.87/478.00 c 420s|610000 |211697 | 3204k| 5.3 | 130M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 28k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
485.07/485.24 c 427s|620000 |214496 | 3255k| 5.3 | 132M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 28k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
492.06/492.23 c 433s|630000 |216831 | 3305k| 5.2 | 134M| 57 | 7 | 172 | 75 | 172 | 17 | 27 | 28k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
498.86/499.06 c 439s|640000 |218995 | 3354k| 5.2 | 135M| 57 | 7 | 172 | 77 | 172 | 17 | 27 | 29k| 11k| 0.000000e+00 | 1.900000e+01 | Inf
502.36/502.58 o 17
502.36/502.58 c * 442s|645129 |216424 | 3379k| 5.2 | 131M| 57 | - | 172 | 71 | 172 | 17 | 27 | 29k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
502.46/502.61 o 15
502.46/502.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
502.46/502.61 c * 442s|645130 |208453 | 3379k| 5.2 | 124M| 57 | - | 172 | 71 | 172 | 17 | 27 | 29k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
508.76/508.92 c 447s|650000 |209286 | 3403k| 5.2 | 124M| 57 | 7 | 172 | 78 | 172 | 17 | 27 | 29k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
515.35/515.59 c 453s|660000 |211074 | 3454k| 5.2 | 125M| 57 | 7 | 172 | 80 | 172 | 17 | 27 | 29k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
521.96/522.16 c 459s|670000 |212933 | 3504k| 5.2 | 127M| 57 | - | 172 | 83 | 172 | 17 | 27 | 30k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
528.56/528.71 c 465s|680000 |214676 | 3553k| 5.2 | 128M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 30k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
535.25/535.45 c 471s|690000 |216432 | 3604k| 5.2 | 129M| 57 | - | 172 | 88 | 0 | 0 | 27 | 31k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
544.65/544.81 c 479s|700000 |218272 | 3654k| 5.2 | 130M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 31k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
551.15/551.33 c 484s|710000 |220019 | 3703k| 5.2 | 131M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 31k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
557.74/557.94 c 490s|720000 |221599 | 3754k| 5.2 | 133M| 57 | 7 | 172 | 74 | 172 | 17 | 27 | 32k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
564.35/564.51 c 496s|730000 |223339 | 3804k| 5.2 | 134M| 57 | - | 172 | 79 | 0 | 0 | 27 | 32k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
570.94/571.13 c 502s|740000 |225117 | 3855k| 5.2 | 135M| 57 | - | 172 | 77 | 172 | 17 | 27 | 32k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
577.44/577.67 c 508s|750000 |226404 | 3908k| 5.2 | 136M| 57 | - | 172 | 81 | 172 | 17 | 27 | 33k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
584.14/584.38 c 513s|760000 |227931 | 3964k| 5.2 | 137M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 33k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
590.84/591.02 c 519s|770000 |229534 | 4018k| 5.2 | 138M| 57 | 7 | 172 | 88 | 172 | 17 | 27 | 34k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
597.44/597.62 c 525s|780000 |230314 | 4074k| 5.2 | 139M| 57 | - | 172 | 92 | 0 | 0 | 27 | 34k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
604.03/604.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.03/604.26 c 531s|790000 |231469 | 4128k| 5.2 | 140M| 57 | 7 | 172 | 84 | 172 | 17 | 27 | 34k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
610.53/610.76 c 537s|800000 |232860 | 4179k| 5.2 | 141M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 35k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
617.23/617.47 c 542s|810000 |235325 | 4229k| 5.2 | 142M| 57 | - | 172 | 85 | 172 | 17 | 27 | 35k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
623.82/624.08 c 548s|820000 |237432 | 4279k| 5.2 | 144M| 57 | 7 | 172 | 91 | 172 | 17 | 27 | 36k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
630.43/630.67 c 554s|830000 |239560 | 4329k| 5.2 | 145M| 57 | - | 172 | 90 | 172 | 17 | 27 | 36k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
637.02/637.29 c 560s|840000 |241789 | 4378k| 5.2 | 146M| 57 | - | 172 | 75 | 172 | 17 | 27 | 36k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
643.63/643.88 c 566s|850000 |243456 | 4429k| 5.2 | 148M| 57 | - | 172 | 83 | 172 | 17 | 27 | 37k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
650.12/650.39 c 571s|860000 |244952 | 4480k| 5.2 | 149M| 57 | - | 172 | 81 | 172 | 17 | 27 | 37k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
656.82/657.05 c 577s|870000 |246844 | 4535k| 5.2 | 150M| 57 | 7 | 172 | 65 | 172 | 17 | 27 | 37k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
663.81/664.04 c 583s|880000 |249763 | 4589k| 5.2 | 152M| 57 | - | 172 | 77 | 172 | 17 | 27 | 38k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
670.61/670.86 c 589s|890000 |252781 | 4643k| 5.2 | 153M| 57 | - | 172 | 79 | 172 | 17 | 27 | 38k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
677.42/677.66 c 595s|900000 |255672 | 4696k| 5.2 | 155M| 57 | 7 | 172 | 72 | 172 | 17 | 27 | 39k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
684.12/684.38 c 601s|910000 |258253 | 4750k| 5.2 | 156M| 57 | - | 172 | 79 | 172 | 17 | 27 | 39k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
691.11/691.32 c 607s|920000 |261053 | 4805k| 5.2 | 158M| 57 | - | 172 | 78 | 172 | 17 | 27 | 39k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
697.91/698.14 c 613s|930000 |263594 | 4861k| 5.2 | 160M| 57 | - | 172 | 80 | 0 | 0 | 27 | 40k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
704.61/704.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.61/704.85 c 619s|940000 |265603 | 4915k| 5.2 | 161M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 40k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
711.10/711.35 c 625s|950000 |267343 | 4965k| 5.2 | 162M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 41k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
717.70/717.94 c 630s|960000 |269731 | 5015k| 5.2 | 163M| 57 | - | 172 | 76 | 172 | 17 | 27 | 41k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
724.21/724.49 c 636s|970000 |271500 | 5065k| 5.2 | 165M| 57 | - | 172 | 89 | 172 | 17 | 27 | 41k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
730.71/730.93 c 642s|980000 |273104 | 5114k| 5.2 | 166M| 57 | - | 172 | 81 | 172 | 17 | 27 | 42k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
737.10/737.34 c 648s|990000 |275061 | 5163k| 5.2 | 167M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 42k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
743.50/743.74 c 653s| 1000k|276775 | 5211k| 5.2 | 168M| 57 | - | 172 | 87 | 172 | 17 | 27 | 42k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
749.90/750.20 c 659s| 1010k|277998 | 5260k| 5.2 | 169M| 57 | 7 | 172 | 80 | 172 | 17 | 27 | 43k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
756.50/756.71 c 664s| 1020k|279911 | 5310k| 5.2 | 170M| 57 | 7 | 172 | 78 | 172 | 17 | 27 | 43k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
763.10/763.31 c 670s| 1030k|281925 | 5361k| 5.2 | 172M| 57 | 7 | 172 | 83 | 172 | 17 | 27 | 43k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
769.59/769.89 c 676s| 1040k|283844 | 5412k| 5.2 | 173M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 44k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
776.09/776.38 c 682s| 1050k|285326 | 5462k| 5.2 | 174M| 57 | - | 172 | 80 | 0 | 0 | 27 | 44k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
782.49/782.77 c 687s| 1060k|286525 | 5512k| 5.2 | 175M| 57 | 7 | 172 | 80 | 172 | 17 | 27 | 45k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
788.89/789.15 c 693s| 1070k|288281 | 5560k| 5.2 | 176M| 57 | 7 | 172 | 90 | 172 | 17 | 27 | 45k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
795.28/795.56 c 699s| 1080k|289517 | 5609k| 5.2 | 177M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 45k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
801.69/801.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
801.69/801.95 c 704s| 1090k|290880 | 5658k| 5.2 | 178M| 57 | - | 172 | 95 | 172 | 17 | 27 | 46k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
808.18/808.43 c 710s| 1100k|292575 | 5707k| 5.2 | 179M| 57 | - | 172 | 83 | 172 | 17 | 27 | 46k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
814.48/814.72 c 715s| 1110k|293745 | 5756k| 5.2 | 180M| 57 | 7 | 172 | 84 | 172 | 17 | 27 | 47k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
820.98/821.22 c 721s| 1120k|295719 | 5805k| 5.2 | 181M| 57 | - | 172 | 92 | 0 | 0 | 27 | 47k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
827.37/827.69 c 727s| 1130k|297068 | 5855k| 5.2 | 182M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 47k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
833.88/834.19 c 732s| 1140k|298435 | 5905k| 5.2 | 183M| 57 | - | 172 | 80 | 172 | 17 | 27 | 48k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
840.38/840.64 c 738s| 1150k|299369 | 5955k| 5.2 | 184M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 48k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
846.77/847.09 c 744s| 1160k|300623 | 6006k| 5.2 | 185M| 57 | - | 172 | 85 | 172 | 17 | 27 | 48k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
853.38/853.61 c 749s| 1170k|302425 | 6057k| 5.2 | 186M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 49k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
859.77/860.06 c 755s| 1180k|303925 | 6107k| 5.2 | 187M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 49k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
866.16/866.48 c 761s| 1190k|304872 | 6157k| 5.2 | 188M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 50k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
872.66/872.99 c 766s| 1200k|306096 | 6208k| 5.2 | 189M| 57 | 7 | 172 | 75 | 172 | 17 | 27 | 50k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
879.26/879.50 c 772s| 1210k|306898 | 6261k| 5.2 | 190M| 57 | 7 | 172 | 83 | 172 | 17 | 27 | 50k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
885.66/885.90 c 778s| 1220k|307850 | 6312k| 5.2 | 191M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 51k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
892.06/892.38 c 783s| 1230k|308872 | 6363k| 5.2 | 192M| 57 | - | 172 | 87 | 172 | 17 | 27 | 51k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
898.55/898.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
898.55/898.83 c 789s| 1240k|309698 | 6414k| 5.2 | 192M| 57 | - | 172 | 82 | 172 | 17 | 27 | 51k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
904.96/905.22 c 795s| 1250k|310675 | 6464k| 5.2 | 193M| 57 | - | 172 | 84 | 172 | 17 | 27 | 52k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
911.56/911.81 c 800s| 1260k|311973 | 6516k| 5.2 | 194M| 57 | 7 | 172 | 88 | 172 | 17 | 27 | 52k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
917.95/918.29 c 806s| 1270k|312902 | 6567k| 5.2 | 195M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 52k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
924.55/924.82 c 812s| 1280k|314020 | 6618k| 5.2 | 196M| 57 | - | 172 | 85 | 172 | 17 | 27 | 53k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
930.94/931.29 c 817s| 1290k|315391 | 6668k| 5.2 | 197M| 57 | 7 | 172 | 80 | 172 | 17 | 27 | 53k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
937.45/937.79 c 823s| 1300k|316155 | 6719k| 5.2 | 198M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 54k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
944.05/944.37 c 829s| 1310k|317648 | 6770k| 5.2 | 199M| 57 | 7 | 172 | 82 | 172 | 17 | 27 | 54k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
950.44/950.79 c 834s| 1320k|318397 | 6820k| 5.2 | 199M| 57 | - | 172 | 77 | 172 | 17 | 27 | 54k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
956.95/957.23 c 840s| 1330k|319487 | 6872k| 5.2 | 200M| 57 | - | 172 | 80 | 172 | 17 | 27 | 55k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
963.35/963.63 c 846s| 1340k|320368 | 6922k| 5.2 | 201M| 57 | - | 172 | 85 | 172 | 17 | 27 | 55k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
969.85/970.16 c 851s| 1350k|320999 | 6973k| 5.2 | 202M| 57 | - | 172 | 86 | 0 | 0 | 27 | 55k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
976.34/976.61 c 857s| 1360k|323017 | 7023k| 5.2 | 203M| 57 | - | 172 | 92 | 172 | 17 | 27 | 56k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
982.74/983.05 c 863s| 1370k|324363 | 7073k| 5.2 | 204M| 57 | - | 172 | 89 | 0 | 0 | 27 | 56k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
989.23/989.51 c 868s| 1380k|325141 | 7123k| 5.2 | 205M| 57 | 7 | 172 | 97 | 172 | 17 | 27 | 56k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
995.64/995.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.64/995.93 c 874s| 1390k|325969 | 7172k| 5.2 | 206M| 57 | - | 172 | 90 | 172 | 17 | 27 | 57k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
1002.03/1002.39 c 880s| 1400k|326837 | 7221k| 5.2 | 206M| 57 | - | 172 | 86 | 0 | 0 | 27 | 57k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1008.63/1008.90 c 885s| 1410k|327749 | 7270k| 5.2 | 207M| 57 | - | 172 | 85 | 172 | 17 | 27 | 58k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1015.22/1015.51 c 891s| 1420k|328742 | 7322k| 5.2 | 208M| 57 | - | 172 | 90 | 172 | 17 | 27 | 58k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1021.64/1021.94 c 897s| 1430k|329521 | 7372k| 5.2 | 209M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 58k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1028.02/1028.37 c 903s| 1440k|330322 | 7421k| 5.2 | 210M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 59k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1034.52/1034.87 c 908s| 1450k|331084 | 7471k| 5.2 | 210M| 57 | - | 172 | 84 | 172 | 17 | 27 | 59k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1040.92/1041.26 c 914s| 1460k|332075 | 7520k| 5.2 | 211M| 57 | 7 | 172 | 78 | 172 | 17 | 27 | 60k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1047.42/1047.71 c 919s| 1470k|332742 | 7571k| 5.2 | 212M| 57 | - | 172 | 89 | 172 | 17 | 27 | 60k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1053.92/1054.26 c 925s| 1480k|333449 | 7625k| 5.2 | 213M| 57 | - | 172 | 82 | 172 | 17 | 27 | 60k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1060.41/1060.77 c 931s| 1490k|334514 | 7677k| 5.2 | 214M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 61k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1066.92/1067.22 c 937s| 1500k|335234 | 7728k| 5.2 | 214M| 57 | 7 | 172 | 90 | 172 | 17 | 27 | 61k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1073.32/1073.64 c 942s| 1510k|336044 | 7780k| 5.2 | 215M| 57 | - | 172 | 91 | 172 | 17 | 27 | 61k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1079.82/1080.13 c 948s| 1520k|337152 | 7832k| 5.2 | 216M| 57 | - | 172 | 79 | 0 | 0 | 27 | 62k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1086.30/1086.60 c 954s| 1530k|337886 | 7884k| 5.2 | 216M| 57 | - | 172 | 82 | 172 | 17 | 27 | 62k| 17k| 0.000000e+00 | 1.500000e+01 | Inf
1092.91/1093.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.91/1093.22 c 959s| 1540k|340023 | 7935k| 5.2 | 218M| 57 | - | 172 | 82 | 172 | 17 | 27 | 63k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1099.50/1099.88 c 965s| 1550k|342109 | 7988k| 5.2 | 219M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 63k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1106.01/1106.32 c 971s| 1560k|343672 | 8038k| 5.2 | 220M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 63k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1112.30/1112.65 c 976s| 1570k|344904 | 8088k| 5.2 | 221M| 57 | 7 | 172 | 92 | 172 | 17 | 27 | 64k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1118.90/1119.21 c 982s| 1580k|346675 | 8139k| 5.2 | 222M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 64k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1125.60/1125.92 c 988s| 1590k|348691 | 8192k| 5.2 | 224M| 57 | - | 172 | 84 | 172 | 17 | 27 | 65k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1132.19/1132.59 c 994s| 1600k|350555 | 8246k| 5.2 | 225M| 57 | - | 172 | 86 | 172 | 17 | 27 | 65k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1138.79/1139.16 c 1000s| 1610k|352197 | 8300k| 5.2 | 226M| 57 | - | 172 | 79 | 172 | 17 | 27 | 65k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1145.39/1145.70 c 1005s| 1620k|353298 | 8353k| 5.2 | 227M| 57 | - | 172 | 82 | 0 | 0 | 27 | 66k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1151.89/1152.26 c 1011s| 1630k|354631 | 8405k| 5.2 | 228M| 57 | 7 | 172 | 80 | 172 | 17 | 27 | 66k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1158.49/1158.82 c 1017s| 1640k|355810 | 8457k| 5.2 | 229M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 66k| 18k| 0.000000e+00 | 1.500000e+01 | Inf
1160.10/1160.48 o 14
1160.10/1160.48 c *1018s| 1642k|353274 | 8471k| 5.2 | 225M| 57 | - | 172 | 85 | 172 | 17 | 27 | 67k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1164.99/1165.32 c 1023s| 1650k|354086 | 8509k| 5.2 | 226M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 67k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1171.49/1171.80 c 1028s| 1660k|354929 | 8560k| 5.2 | 226M| 57 | 7 | 172 | 90 | 172 | 17 | 27 | 67k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1177.99/1178.34 c 1034s| 1670k|355814 | 8613k| 5.2 | 227M| 57 | - | 172 | 79 | 172 | 17 | 27 | 68k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1184.48/1184.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.48/1184.87 c 1040s| 1680k|356325 | 8664k| 5.2 | 228M| 57 | 7 | 172 | 82 | 172 | 17 | 27 | 68k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1190.89/1191.30 c 1045s| 1690k|357149 | 8715k| 5.2 | 228M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 68k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1197.36/1197.80 c 1051s| 1700k|357961 | 8767k| 5.2 | 229M| 57 | 7 | 172 | 83 | 172 | 17 | 27 | 69k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1203.87/1204.26 c 1057s| 1710k|358683 | 8818k| 5.2 | 230M| 57 | 7 | 172 | 92 | 172 | 17 | 27 | 69k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1210.26/1210.68 c 1062s| 1720k|359385 | 8867k| 5.2 | 231M| 57 | 7 | 172 | 82 | 172 | 17 | 27 | 69k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1216.66/1217.07 c 1068s| 1730k|359984 | 8916k| 5.2 | 231M| 57 | - | 172 | 83 | 0 | 0 | 27 | 70k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1222.96/1223.38 c 1073s| 1740k|360556 | 8964k| 5.2 | 232M| 57 | - | 172 | 88 | 172 | 17 | 27 | 70k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1229.47/1229.85 c 1079s| 1750k|361329 | 9012k| 5.2 | 232M| 57 | 7 | 172 | 80 | 172 | 17 | 27 | 71k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1235.85/1236.27 c 1085s| 1760k|361780 | 9060k| 5.1 | 233M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 71k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1242.26/1242.60 c 1090s| 1770k|362352 | 9107k| 5.1 | 234M| 57 | 7 | 172 | 84 | 172 | 17 | 27 | 71k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1248.55/1248.96 c 1096s| 1780k|362866 | 9155k| 5.1 | 234M| 57 | 7 | 172 | 89 | 172 | 17 | 27 | 72k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1254.95/1255.35 c 1101s| 1790k|363590 | 9202k| 5.1 | 235M| 57 | - | 172 | 87 | 0 | 0 | 27 | 72k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1261.36/1261.74 c 1107s| 1800k|364095 | 9250k| 5.1 | 235M| 57 | 7 | 172 | 77 | 172 | 17 | 27 | 72k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1267.65/1268.08 c 1113s| 1810k|364701 | 9297k| 5.1 | 236M| 57 | - | 172 | 81 | 172 | 17 | 27 | 73k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1274.05/1274.43 c 1118s| 1820k|365211 | 9344k| 5.1 | 237M| 57 | - | 172 | 86 | 0 | 0 | 27 | 73k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1280.34/1280.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1280.34/1280.76 c 1124s| 1830k|365452 | 9392k| 5.1 | 237M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 74k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1286.65/1287.08 c 1129s| 1840k|365974 | 9439k| 5.1 | 238M| 57 | - | 172 | 85 | 0 | 0 | 27 | 74k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1292.94/1293.39 c 1135s| 1850k|366544 | 9486k| 5.1 | 238M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 74k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1299.34/1299.72 c 1140s| 1860k|366942 | 9534k| 5.1 | 239M| 57 | 7 | 172 | 90 | 172 | 17 | 27 | 75k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1305.74/1306.10 c 1146s| 1870k|367224 | 9581k| 5.1 | 239M| 57 | - | 172 | 86 | 0 | 0 | 27 | 75k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1312.03/1312.49 c 1151s| 1880k|367531 | 9630k| 5.1 | 240M| 57 | - | 172 | 79 | 172 | 17 | 27 | 75k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1318.44/1318.87 c 1157s| 1890k|367582 | 9679k| 5.1 | 240M| 57 | - | 172 | 81 | 172 | 17 | 27 | 76k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1324.93/1325.31 c 1163s| 1900k|367743 | 9729k| 5.1 | 241M| 57 | 7 | 172 | 83 | 172 | 17 | 27 | 76k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1331.23/1331.70 c 1168s| 1910k|368188 | 9777k| 5.1 | 241M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 76k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1337.73/1338.12 c 1174s| 1920k|369100 | 9826k| 5.1 | 242M| 57 | - | 172 | 80 | 172 | 17 | 27 | 77k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1344.22/1344.61 c 1180s| 1930k|370239 | 9875k| 5.1 | 243M| 57 | 7 | 172 | 78 | 172 | 17 | 27 | 77k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1350.63/1351.06 c 1185s| 1940k|370907 | 9924k| 5.1 | 244M| 57 | 7 | 172 | 84 | 172 | 17 | 27 | 78k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1357.12/1357.53 c 1191s| 1950k|372425 | 9972k| 5.1 | 245M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 78k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1363.83/1364.23 c 1197s| 1960k|374499 | 10024k| 5.1 | 246M| 57 | - | 172 | 84 | 0 | 0 | 27 | 78k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1370.52/1370.92 c 1203s| 1970k|376470 | 10075k| 5.1 | 247M| 57 | - | 172 | 75 | 172 | 17 | 27 | 79k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1377.12/1377.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.12/1377.55 c 1209s| 1980k|378555 | 10125k| 5.1 | 249M| 57 | 7 | 172 | 78 | 172 | 17 | 27 | 79k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1383.52/1383.98 c 1214s| 1990k|379959 | 10174k| 5.1 | 250M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 80k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1390.22/1390.64 c 1220s| 2000k|382333 | 10224k| 5.1 | 251M| 57 | - | 172 | 94 | 172 | 17 | 27 | 80k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1396.82/1397.22 c 1226s| 2010k|383929 | 10273k| 5.1 | 252M| 57 | - | 172 | 93 | 0 | 0 | 27 | 80k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1403.31/1403.74 c 1232s| 2020k|385315 | 10322k| 5.1 | 253M| 57 | - | 172 | 85 | 172 | 17 | 27 | 81k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1409.82/1410.21 c 1237s| 2030k|386376 | 10371k| 5.1 | 254M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 81k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1416.31/1416.71 c 1243s| 2040k|388043 | 10421k| 5.1 | 255M| 57 | 7 | 172 | 77 | 172 | 17 | 27 | 81k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1422.70/1423.17 c 1249s| 2050k|389732 | 10470k| 5.1 | 256M| 57 | - | 172 | 79 | 172 | 17 | 27 | 82k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1429.21/1429.65 c 1254s| 2060k|391212 | 10518k| 5.1 | 257M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 82k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1435.81/1436.28 c 1260s| 2070k|392558 | 10567k| 5.1 | 258M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 83k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1443.10/1443.54 c 1267s| 2080k|396058 | 10620k| 5.1 | 260M| 57 | - | 172 | 83 | 172 | 17 | 27 | 83k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1449.90/1450.33 c 1273s| 2090k|398796 | 10672k| 5.1 | 262M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 83k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1457.11/1457.56 c 1279s| 2100k|402259 | 10724k| 5.1 | 264M| 57 | - | 172 | 86 | 172 | 17 | 27 | 84k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1464.09/1464.59 c 1285s| 2110k|405281 | 10776k| 5.1 | 265M| 57 | 7 | 172 | 90 | 172 | 17 | 27 | 84k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1471.40/1471.85 c 1292s| 2120k|408750 | 10829k| 5.1 | 267M| 57 | - | 172 | 94 | 172 | 17 | 27 | 85k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1478.30/1478.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.30/1478.74 c 1298s| 2130k|411795 | 10881k| 5.1 | 269M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 85k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1485.39/1485.83 c 1304s| 2140k|414944 | 10933k| 5.1 | 271M| 57 | - | 172 | 83 | 0 | 0 | 27 | 86k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1492.20/1492.70 c 1310s| 2150k|417524 | 10985k| 5.1 | 272M| 57 | 7 | 172 | 97 | 172 | 17 | 27 | 86k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1499.39/1499.88 c 1316s| 2160k|421203 | 11037k| 5.1 | 274M| 57 | 7 | 172 | 85 | 172 | 17 | 27 | 86k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1506.19/1506.70 c 1322s| 2170k|423630 | 11087k| 5.1 | 276M| 57 | 7 | 172 | 88 | 172 | 17 | 27 | 87k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1513.20/1513.63 c 1328s| 2180k|426700 | 11137k| 5.1 | 277M| 57 | 7 | 172 | 106 | 172 | 17 | 27 | 87k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1520.28/1520.71 c 1334s| 2190k|430098 | 11189k| 5.1 | 279M| 57 | 7 | 172 | 95 | 172 | 17 | 27 | 88k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1527.28/1527.76 c 1341s| 2200k|433101 | 11242k| 5.1 | 281M| 57 | 7 | 172 | 84 | 172 | 17 | 27 | 88k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1533.99/1534.48 c 1347s| 2210k|435673 | 11292k| 5.1 | 283M| 57 | 7 | 172 | 95 | 172 | 17 | 27 | 89k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1540.77/1541.29 c 1352s| 2220k|438216 | 11342k| 5.1 | 284M| 57 | - | 172 | 86 | 0 | 0 | 27 | 89k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1547.37/1547.88 c 1358s| 2230k|440474 | 11391k| 5.1 | 285M| 57 | - | 172 | 100 | 172 | 17 | 27 | 90k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1554.37/1554.86 c 1364s| 2240k|443558 | 11442k| 5.1 | 287M| 57 | 7 | 172 | 92 | 172 | 17 | 27 | 90k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1561.27/1561.72 c 1370s| 2250k|446419 | 11493k| 5.1 | 289M| 57 | 7 | 172 | 86 | 172 | 17 | 27 | 90k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1568.18/1568.63 c 1376s| 2260k|449442 | 11546k| 5.1 | 291M| 57 | - | 172 | 75 | 172 | 17 | 27 | 91k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1574.78/1575.22 c 1382s| 2270k|451624 | 11596k| 5.1 | 292M| 57 | 7 | 172 | 79 | 172 | 17 | 27 | 91k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1581.77/1582.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.77/1582.20 c 1388s| 2280k|454760 | 11649k| 5.1 | 294M| 57 | - | 172 | 79 | 172 | 17 | 27 | 91k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1588.46/1588.96 c 1394s| 2290k|457246 | 11701k| 5.1 | 295M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 92k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1595.26/1595.77 c 1400s| 2300k|459382 | 11752k| 5.1 | 296M| 57 | - | 172 | 89 | 172 | 17 | 27 | 92k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1602.27/1602.79 c 1406s| 2310k|461894 | 11806k| 5.1 | 298M| 57 | 7 | 172 | 83 | 172 | 17 | 27 | 93k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1609.06/1609.50 c 1412s| 2320k|463831 | 11858k| 5.1 | 299M| 57 | 7 | 172 | 88 | 172 | 17 | 27 | 93k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1615.76/1616.25 c 1418s| 2330k|465948 | 11909k| 5.1 | 301M| 57 | - | 172 | 92 | 172 | 17 | 27 | 93k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1622.95/1623.49 c 1425s| 2340k|468889 | 11965k| 5.1 | 302M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 94k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1630.16/1630.67 c 1431s| 2350k|472199 | 12021k| 5.1 | 304M| 57 | - | 172 | 70 | 172 | 17 | 27 | 94k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1637.36/1637.90 c 1437s| 2360k|474990 | 12077k| 5.1 | 306M| 57 | 7 | 172 | 72 | 172 | 17 | 27 | 95k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1645.06/1645.56 c 1444s| 2370k|479234 | 12134k| 5.1 | 308M| 57 | 7 | 172 | 82 | 172 | 17 | 27 | 95k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1653.14/1653.67 c 1451s| 2380k|483719 | 12193k| 5.1 | 310M| 57 | 7 | 172 | 87 | 172 | 17 | 27 | 95k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1660.65/1661.12 c 1458s| 2390k|487394 | 12249k| 5.1 | 312M| 57 | 7 | 172 | 90 | 172 | 17 | 27 | 96k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1667.85/1668.33 c 1464s| 2400k|490532 | 12304k| 5.1 | 314M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 96k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1675.34/1675.84 c 1471s| 2410k|494356 | 12360k| 5.1 | 316M| 57 | - | 172 | 83 | 0 | 0 | 27 | 97k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1682.45/1683.00 c 1477s| 2420k|497653 | 12414k| 5.1 | 318M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 97k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1689.64/1690.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.64/1690.13 c 1483s| 2430k|500823 | 12467k| 5.1 | 320M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 97k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1696.75/1697.23 c 1490s| 2440k|503803 | 12521k| 5.1 | 321M| 57 | 7 | 172 | 91 | 172 | 17 | 27 | 98k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1703.93/1704.42 c 1496s| 2450k|507057 | 12576k| 5.1 | 323M| 57 | 7 | 172 | 72 | 172 | 17 | 27 | 98k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1711.04/1711.52 c 1502s| 2460k|510077 | 12629k| 5.1 | 325M| 57 | 7 | 172 | 78 | 172 | 17 | 27 | 99k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1717.93/1718.43 c 1508s| 2470k|512841 | 12680k| 5.1 | 327M| 57 | 7 | 172 | 76 | 172 | 17 | 27 | 99k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1724.92/1725.41 c 1514s| 2480k|516115 | 12730k| 5.1 | 328M| 57 | - | 172 | 82 | 172 | 17 | 27 | 99k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1731.73/1732.29 c 1520s| 2490k|518477 | 12781k| 5.1 | 330M| 57 | 7 | 172 | 89 | 172 | 17 | 27 | 100k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1738.63/1739.14 c 1526s| 2500k|520975 | 12830k| 5.1 | 331M| 57 | 7 | 172 | 81 | 172 | 17 | 27 | 100k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1745.42/1745.92 c 1532s| 2510k|523466 | 12880k| 5.1 | 333M| 57 | 7 | 172 | 95 | 172 | 17 | 27 | 100k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1752.23/1752.78 c 1538s| 2520k|526267 | 12930k| 5.1 | 334M| 57 | 7 | 172 | 88 | 172 | 17 | 27 | 101k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1758.92/1759.42 c 1544s| 2530k|528711 | 12979k| 5.1 | 336M| 57 | - | 172 | 95 | 172 | 17 | 27 | 101k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1765.52/1766.04 c 1550s| 2540k|530935 | 13028k| 5.1 | 337M| 57 | 7 | 172 | 83 | 172 | 17 | 27 | 102k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1772.32/1772.88 c 1556s| 2550k|533533 | 13078k| 5.1 | 339M| 57 | - | 172 | 88 | 172 | 17 | 27 | 102k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1779.22/1779.75 c 1562s| 2560k|536808 | 13128k| 5.1 | 341M| 57 | - | 172 | 87 | 172 | 17 | 27 | 102k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1785.92/1786.48 c 1568s| 2570k|539612 | 13177k| 5.1 | 342M| 57 | 7 | 172 | 91 | 172 | 17 | 27 | 103k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1792.52/1793.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.52/1793.04 c 1574s| 2580k|542095 | 13225k| 5.1 | 344M| 57 | 7 | 172 | 89 | 172 | 17 | 27 | 103k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1799.12/1799.68 c 1580s| 2590k|544391 | 13274k| 5.1 | 345M| 57 | - | 172 | 89 | 172 | 17 | 27 | 103k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1580.22
1800.01/1800.50 c Solving Nodes : 2591261
1800.01/1800.50 c Primal Bound : +1.40000000000000e+01 (48 solutions)
1800.01/1800.50 c Dual Bound : +0.00000000000000e+00
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 s SATISFIABLE
1800.01/1800.50 v -x172 x171 x170 -x169 -x168 x167 x166 -x165 x164 x163 x162 x161 x160 -x159 x158 -x157 -x156 -x155 x154 x153 x152 x151 -x150 -x149
1800.01/1800.50 v -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 x130 x129 -x128 -x127
1800.01/1800.50 v x126 x125 x124 -x123 x122 -x121 x120 x119 -x118 x117 -x116 x115 x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.01/1800.50 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
1800.01/1800.50 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
1800.01/1800.50 v -x55 -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.01/1800.50 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.01/1800.50 v -x2 x1
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1580.22
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-2665661-1276616466.opb
1800.01/1800.50 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 14 initial, 14 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-2665661-1276616466.opb
1800.01/1800.50 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 7 initial, 118 maximal
1800.01/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.50 c linear : 0.01 0 0 0 0 0 7 0 0
1800.01/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c root node : - 56 - - 56 - - - -
1800.01/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c integral : 0 0 0 1603104 0 131 3204 0 0 3199702
1800.01/1800.50 c linear : 7+ 7 4011306 1 0 357172 2258827 0 0 0
1800.01/1800.50 c logicor : 0+ 0 989848 0 0 2817 32120 0 0 0
1800.01/1800.50 c countsols : 0 0 0 23 0 0 0 0 0 0
1800.01/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.50 c integral : 27.21 0.00 0.00 27.21 0.00
1800.01/1800.50 c linear : 304.11 0.00 304.11 0.00 0.00
1800.01/1800.50 c logicor : 4.28 0.00 4.28 0.00 0.00
1800.01/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.50 c vbounds : 1.86 2 0 0
1800.01/1800.50 c rootredcost : 1.54 35 0 56
1800.01/1800.50 c pseudoobj : 35.54 4015018 3888 374910
1800.01/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.50 c propagation : 25.39 361826 75319 91477 59.5 30 32.0 -
1800.01/1800.50 c infeasible LP : 2.59 30630 29238 35954 36.0 2 33.0 0
1800.01/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c pseudo solution : 0.00 6 6 6 2.3 0 0.0 -
1800.01/1800.50 c applied globally : - - - 16575 26.8 - - -
1800.01/1800.50 c applied locally : - - - 87350 56.5 - - -
1800.01/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.50 c cut pool : 0.00 5 - - 8 - (maximal pool size: 107)
1800.01/1800.50 c redcost : 56.63 2203859 0 11669373 0 0
1800.01/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.50 c intobj : 0.00 0 0 0 0 0
1800.01/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.50 c gomory : 0.01 6 0 0 0 0
1800.01/1800.50 c strongcg : 0.01 6 0 0 47 0
1800.01/1800.50 c cmir : 0.02 6 0 0 32 0
1800.01/1800.50 c flowcover : 0.07 6 0 0 37 0
1800.01/1800.50 c clique : 0.00 1 0 0 0 0
1800.01/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.50 c mcf : 0.00 1 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.09 1 0 0 0 90
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 25.16 1603081 131 3204 0 0 3199702
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.22 - 23
1800.01/1800.51 c pseudo solutions : 0.00 - 0
1800.01/1800.51 c intshifting : 0.15 0 0
1800.01/1800.51 c oneopt : 1.65 35 0
1800.01/1800.51 c feaspump : 0.21 2 0
1800.01/1800.51 c crossover : 9.66 4 0
1800.01/1800.51 c rootsoldiving : 10.87 2144 12
1800.01/1800.51 c fracdiving : 21.64 5054 4
1800.01/1800.51 c veclendiving : 16.30 5054 0
1800.01/1800.51 c guideddiving : 16.90 5054 0
1800.01/1800.51 c pscostdiving : 22.04 5055 4
1800.01/1800.51 c linesearchdiving : 16.43 5055 2
1800.01/1800.51 c coefdiving : 42.48 5055 1
1800.01/1800.51 c objpscostdiving : 5.30 2528 0
1800.01/1800.51 c trivial : 0.00 2 0
1800.01/1800.51 c simplerounding : 1.46 0 0
1800.01/1800.51 c zirounding : 1.44 1000 0
1800.01/1800.51 c rounding : 2.62 18551 0
1800.01/1800.51 c shifting : 7.38 8199 1
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.04 1 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 1.23 0 0
1800.01/1800.51 c trysol : 2.12 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 735.38 2393965 12103366 5.06 16458.66
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 95.28 466161 1177380 2.53 12357.05
1800.01/1800.51 c strong branching : 8.30 23279 82736 3.55 9968.19
1800.01/1800.51 c (at root node) : - 13 782 60.15 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 2591261
1800.01/1800.51 c nodes (total) : 2591261
1800.01/1800.51 c nodes left : 544613
1800.01/1800.51 c max depth : 57
1800.01/1800.51 c max depth (total): 57
1800.01/1800.51 c backtracks : 508127 (19.6%)
1800.01/1800.51 c delayed cutoffs : 16274
1800.01/1800.51 c repropagations : 33356 (117340 domain reductions, 16262 cutoffs)
1800.01/1800.51 c avg switch length: 5.50
1800.01/1800.51 c switching time : 92.71
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 48 (35 improvements)
1800.01/1800.51 c First Solution : +4.36000000000000e+02 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.01/1800.51 c Primal Bound : +1.40000000000000e+01 (in run 1, after 1642510 nodes, 1018.26 seconds, depth 47, found by <relaxation>)
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Root Iterations : 82
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665661-1276616466/watcher-2665661-1276616466 -o /tmp/evaluation-result-2665661-1276616466/solver-2665661-1276616466 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665661-1276616466.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 2/105 12137
/proc/meminfo: memFree=1406544/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=10316 CPUtime=0
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 1436 0 0 0 0 0 0 0 23 0 1 0 2940092 10563584 1357 1992294400 4194304 9819077 140735555195984 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12137/statm: 2579 1365 371 1374 0 1200 0
[startup+0.088702 s]
/proc/loadavg: 0.92 0.98 0.99 2/105 12137
/proc/meminfo: memFree=1406544/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=22696 CPUtime=0.08
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 5006 0 0 0 6 2 0 0 23 0 1 0 2940092 23240704 4050 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 5674 4050 673 1374 0 4295 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22696
[startup+0.100703 s]
/proc/loadavg: 0.92 0.98 0.99 2/105 12137
/proc/meminfo: memFree=1406544/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=22860 CPUtime=0.09
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 5039 0 0 0 7 2 0 0 23 0 1 0 2940092 23408640 4083 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 5715 4083 673 1374 0 4336 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22860
[startup+0.300724 s]
/proc/loadavg: 0.92 0.98 0.99 2/105 12137
/proc/meminfo: memFree=1406544/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=24912 CPUtime=0.29
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 8453 0 0 0 25 4 0 0 24 0 1 0 2940092 25509888 4480 1992294400 4194304 9819077 140735555195984 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 6108 4477 714 1374 0 4729 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24912
[startup+0.700765 s]
/proc/loadavg: 0.92 0.98 0.99 2/105 12137
/proc/meminfo: memFree=1406544/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=17328 CPUtime=0.69
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 14271 0 0 0 58 11 0 0 25 0 1 0 2940092 17743872 2974 1992294400 4194304 9819077 140735555195984 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 4412 2976 723 1374 0 3033 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17328
[startup+1.50085 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 12138
/proc/meminfo: memFree=1396864/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=17008 CPUtime=1.49
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 22044 0 0 0 129 20 0 0 25 0 1 0 2940092 17416192 2975 1992294400 4194304 9819077 140735555195984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 4252 2975 724 1374 0 2873 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17008
[startup+3.10101 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 12138
/proc/meminfo: memFree=1396492/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=26284 CPUtime=3.09
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 41947 0 0 0 265 44 0 0 25 0 1 0 2940092 26914816 4762 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 6571 4762 725 1374 0 5192 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26284
[startup+6.30034 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 12138
/proc/meminfo: memFree=1395624/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=19256 CPUtime=6.29
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 78521 0 0 0 544 85 0 0 25 0 1 0 2940092 19718144 3521 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 4814 3521 725 1374 0 3435 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19256
[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 12138
/proc/meminfo: memFree=1392648/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=21680 CPUtime=12.69
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 142332 0 0 0 1111 158 0 0 25 0 1 0 2940092 22200320 4131 1992294400 4194304 9819077 140735555195984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 5420 4131 725 1374 0 4041 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21680
[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/106 12138
/proc/meminfo: memFree=1385456/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=28452 CPUtime=25.49
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 276986 0 0 0 2232 317 0 0 25 0 1 0 2940092 29134848 5914 1992294400 4194304 9819077 140735555195984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 7113 5914 725 1374 0 5734 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28452
[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/106 12140
/proc/meminfo: memFree=1372684/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=40456 CPUtime=51.08
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 536050 0 0 0 4492 616 0 0 25 0 1 0 2940092 41426944 8972 1992294400 4194304 9819077 140735555195984 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 10114 8972 725 1374 0 8735 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40456
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/106 12142
/proc/meminfo: memFree=1343172/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=71620 CPUtime=102.27
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 1024123 0 0 0 9004 1223 0 0 25 0 1 0 2940092 73338880 16416 1992294400 4194304 9819077 140735555195984 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 17905 16416 725 1374 0 16526 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 71620
[startup+162.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 12142
/proc/meminfo: memFree=1329532/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=84168 CPUtime=162.25
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 1597626 0 0 0 14298 1927 0 0 25 0 1 0 2940092 86188032 19634 1992294400 4194304 9819077 140735555195984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 21042 19634 725 1374 0 19663 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 84168
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 12144
/proc/meminfo: memFree=1316512/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=97736 CPUtime=222.23
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 2171963 0 0 0 19583 2640 0 0 25 0 1 0 2940092 100081664 23047 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 24434 23047 725 1374 0 23055 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 97736
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 12146
/proc/meminfo: memFree=1298780/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=114124 CPUtime=282.22
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 2764316 0 0 0 24837 3385 0 0 25 0 1 0 2940092 116862976 27293 1992294400 4194304 9819077 140735555195984 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 28531 27293 725 1374 0 27152 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 114124
[startup+342.301 s]
/proc/loadavg: 1.11 1.02 1.01 2/106 12148
/proc/meminfo: memFree=1287620/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=125724 CPUtime=342.2
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 3338153 0 0 0 30111 4109 0 0 25 0 1 0 2940092 128741376 30199 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 31431 30199 725 1374 0 30052 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 125724
[startup+402.301 s]
/proc/loadavg: 1.11 1.03 1.00 3/106 12148
/proc/meminfo: memFree=1274352/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=139344 CPUtime=402.19
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 3913838 0 0 0 35375 4844 0 0 25 0 1 0 2940092 142688256 33671 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 34836 33671 725 1374 0 33457 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 139344
[startup+462.301 s]
/proc/loadavg: 1.11 1.04 1.00 2/106 12150
/proc/meminfo: memFree=1256992/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=159516 CPUtime=462.17
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 4485673 0 0 0 40652 5565 0 0 25 0 1 0 2940092 163344384 37792 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 39879 37792 725 1374 0 38500 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 159516
[startup+522.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/106 12152
/proc/meminfo: memFree=1239136/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=176300 CPUtime=522.16
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 5085297 0 0 0 45910 6306 0 0 25 0 1 0 2940092 180531200 42090 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 44075 42090 725 1374 0 42696 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 176300
[startup+582.301 s]
/proc/loadavg: 1.09 1.05 1.00 2/106 12154
/proc/meminfo: memFree=1233928/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=181868 CPUtime=582.13
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 5697571 0 0 0 51159 7054 0 0 25 0 1 0 2940092 186232832 43510 1992294400 4194304 9819077 140735555195984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 45467 43510 725 1374 0 44088 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 181868
[startup+642.301 s]
/proc/loadavg: 1.08 1.05 1.00 2/106 12156
/proc/meminfo: memFree=1223264/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=192192 CPUtime=642.13
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 6288569 0 0 0 56421 7792 0 0 25 0 1 0 2940092 196804608 46126 1992294400 4194304 9819077 140735555195984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 48048 46126 725 1374 0 46669 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 192192
[startup+702.301 s]
################
# More data... #
################
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 10428395 0 0 0 93225 12976 0 0 25 0 1 0 2940092 254894080 60718 1992294400 4194304 9819077 140735555195984 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 62270 60719 725 1374 0 60891 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 248920
[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 12168
/proc/meminfo: memFree=1151964/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=261096 CPUtime=1122
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 11024719 0 0 0 98484 13716 0 0 25 0 1 0 2940092 267362304 63757 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 65274 63757 725 1374 0 63895 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 261096
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 12170
/proc/meminfo: memFree=1144400/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=267532 CPUtime=1181.98
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 11615684 0 0 0 103743 14455 0 0 25 0 1 0 2940092 273952768 65434 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 66883 65434 725 1374 0 65504 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 267532
[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 12181
/proc/meminfo: memFree=1138572/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=272960 CPUtime=1241.95
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 12214971 0 0 0 109007 15188 0 0 25 0 1 0 2940092 279511040 66815 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 68240 66815 725 1374 0 66861 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 272960
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 12183
/proc/meminfo: memFree=1134108/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=277956 CPUtime=1301.95
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 12816090 0 0 0 114254 15941 0 0 25 0 1 0 2940092 284626944 68053 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 69489 68053 725 1374 0 68110 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 277956
[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 12183
/proc/meminfo: memFree=1125056/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=286844 CPUtime=1361.92
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 13415002 0 0 0 119518 16674 0 0 25 0 1 0 2940092 293728256 70285 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 71711 70285 725 1374 0 70332 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 286844
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12185
/proc/meminfo: memFree=1116128/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=295480 CPUtime=1421.92
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 14004467 0 0 0 124787 17405 0 0 25 0 1 0 2940092 302571520 72505 1992294400 4194304 9819077 140735555195984 18446744073709551615 4923501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 73870 72505 725 1374 0 72491 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 295480
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12187
/proc/meminfo: memFree=1102240/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=308836 CPUtime=1481.89
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 14592214 0 0 0 130069 18120 0 0 25 0 1 0 2940092 316248064 75935 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 77209 75935 725 1374 0 75830 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 308836
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12189
/proc/meminfo: memFree=1088848/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=321668 CPUtime=1541.88
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 15178993 0 0 0 135338 18850 0 0 25 0 1 0 2940092 329388032 79252 1992294400 4194304 9819077 140735555195984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 80417 79252 725 1374 0 79038 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 321668
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12191
/proc/meminfo: memFree=1076696/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=342132 CPUtime=1601.86
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 15765701 0 0 0 140600 19586 0 0 25 0 1 0 2940092 350343168 82393 1992294400 4194304 9819077 140735555195984 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 85533 82393 725 1374 0 84154 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 342132
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12191
/proc/meminfo: memFree=1057352/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=360468 CPUtime=1661.84
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 16342001 0 0 0 145887 20297 0 0 25 0 1 0 2940092 369119232 87095 1992294400 4194304 9819077 140735555195984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 90117 87095 725 1374 0 88738 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 360468
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12193
/proc/meminfo: memFree=1043216/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=374092 CPUtime=1721.83
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 16920056 0 0 0 151163 21020 0 0 25 0 1 0 2940092 383070208 90635 1992294400 4194304 9819077 140735555195984 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 93563 90636 725 1374 0 92184 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 374092
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12195
/proc/meminfo: memFree=1026724/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=388912 CPUtime=1781.81
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 17501362 0 0 0 156429 21752 0 0 25 0 1 0 2940092 398245888 94634 1992294400 4194304 9819077 140735555195984 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 97428 94638 725 1374 0 96049 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 388912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12195
/proc/meminfo: memFree=1023376/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=393124 CPUtime=1800.01
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 17678557 0 0 0 158022 21979 0 0 25 0 1 0 2940092 402558976 95458 1992294400 4194304 9819077 140735555195984 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12137/statm: 98281 95458 725 1374 0 96902 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 393124
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12137
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 12196
/proc/meminfo: memFree=1023368/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=393124 CPUtime=1800.91
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 17678563 0 0 0 158112 21979 0 0 25 0 1 0 2940092 402558976 95459 1992294400 4194304 9819077 140735555195984 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12137/statm: 98281 95459 726 1374 0 96902 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 393124
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12196
/proc/meminfo: memFree=1023244/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=393124 CPUtime=1801.71
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 17678563 0 0 0 158192 21979 0 0 25 0 1 0 2940092 402558976 95459 1992294400 4194304 9819077 140735555195984 18446744073709551615 6179982 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12137/statm: 98281 95459 726 1374 0 96902 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 393124
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12196
/proc/meminfo: memFree=1023244/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=393124 CPUtime=1801.91
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 17678563 0 0 0 158212 21979 0 0 25 0 1 0 2940092 402558976 95459 1992294400 4194304 9819077 140735555195984 18446744073709551615 6180576 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12137/statm: 98281 95459 726 1374 0 96902 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 393124
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12196
/proc/meminfo: memFree=1023244/2059040 swapFree=4192956/4192956
[pid=12137] ppid=12135 vsize=393124 CPUtime=1802.01
/proc/12137/stat : 12137 (pbscip.linux.x8) R 12135 12137 12112 0 -1 4202496 17678563 0 0 0 158222 21979 0 0 25 0 1 0 2940092 402558976 95459 1992294400 4194304 9819077 140735555195984 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12137/statm: 98281 95459 726 1374 0 96902 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 393124
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.55
CPU time (s): 1802.06
CPU user time (s): 1582.23
CPU system time (s): 219.834
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 393124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1582.23
system time used= 219.834
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17678563
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3831
runsolver used 3.2865 second user time and 8.21775 second system time
The end