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-2665666-1276600073.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.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 | 27 | - | 422k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 o 922
0.09/0.11 c y 0.1s| 1 | 0 | 27 | - | 456k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 32 | - | 622k| 0 | 9 | 120 | 109 | 120 | 12 | 7 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 38 | - | 667k| 0 | 11 | 120 | 109 | 120 | 16 | 11 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 44 | - | 705k| 0 | 14 | 120 | 109 | 120 | 18 | 13 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 54 | - | 718k| 0 | 16 | 120 | 109 | 120 | 21 | 16 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 60 | - | 728k| 0 | 19 | 120 | 109 | 120 | 23 | 18 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.29/0.38 c 0.3s| 1 | 2 | 60 | - | 728k| 0 | 19 | 120 | 109 | 120 | 23 | 18 | 0 | 9 | 0.000000e+00 | 9.220000e+02 | Inf
0.40/0.50 o 457
0.40/0.50 c c 0.4s| 38 | 39 | 231 | 4.6 | 767k| 37 | - | 120 | 109 | 120 | 19 | 18 | 0 | 158 | 0.000000e+00 | 4.570000e+02 | Inf
0.49/0.57 o 239
0.49/0.57 c f 0.5s| 73 | 66 | 393 | 4.6 | 809k| 37 | - | 120 | 109 | 120 | 19 | 18 | 2 | 230 | 0.000000e+00 | 2.390000e+02 | Inf
0.79/0.85 o 237
0.79/0.85 c g 0.7s| 280 | 271 | 1320 | 4.5 | 921k| 37 | - | 120 | 113 | 120 | 19 | 18 | 12 | 411 | 0.000000e+00 | 2.370000e+02 | Inf
0.89/0.91 o 236
0.89/0.91 c c 0.7s| 338 | 322 | 1749 | 5.0 | 948k| 41 | - | 120 | 115 | 120 | 19 | 18 | 14 | 434 | 0.000000e+00 | 2.360000e+02 | Inf
1.00/1.00 o 151
1.00/1.00 c g 0.8s| 428 | 396 | 2070 | 4.7 |1001k| 41 | - | 120 | 124 | 120 | 19 | 18 | 26 | 454 | 0.000000e+00 | 1.510000e+02 | Inf
1.00/1.05 o 70
1.00/1.05 c f 0.9s| 487 | 400 | 2301 | 4.6 |1015k| 41 | - | 120 | 125 | 120 | 19 | 18 | 29 | 460 | 0.000000e+00 | 7.000000e+01 | Inf
1.00/1.09 o 69
1.00/1.09 c * 0.9s| 534 | 417 | 2431 | 4.4 |1010k| 41 | - | 120 | 21 | 120 | 19 | 18 | 33 | 475 | 0.000000e+00 | 6.900000e+01 | Inf
1.10/1.14 o 68
1.10/1.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.14 c * 0.9s| 595 | 466 | 2601 | 4.3 |1035k| 41 | - | 120 | 21 | 120 | 19 | 18 | 39 | 489 | 0.000000e+00 | 6.800000e+01 | Inf
1.10/1.15 o 66
1.10/1.15 c l 0.9s| 598 | 468 | 2606 | 4.3 |1042k| 41 | - | 120 | 21 | 120 | 19 | 18 | 40 | 501 | 0.000000e+00 | 6.600000e+01 | Inf
1.10/1.15 o 64
1.10/1.15 c g 0.9s| 598 | 463 | 2606 | 4.3 |1044k| 41 | - | 120 | 21 | 120 | 19 | 18 | 41 | 501 | 0.000000e+00 | 6.400000e+01 | Inf
1.29/1.33 o 62
1.29/1.33 c C 1.1s| 798 | 648 | 3389 | 4.2 |1117k| 41 | 5 | 120 | 24 | 120 | 19 | 18 | 61 | 528 | 0.000000e+00 | 6.200000e+01 | Inf
1.49/1.55 o 61
1.49/1.55 c l 1.3s| 1007 | 827 | 4365 | 4.3 |1210k| 41 | - | 120 | 34 | 120 | 19 | 18 | 91 | 570 | 0.000000e+00 | 6.100000e+01 | Inf
2.49/2.57 o 60
2.49/2.57 c v 2.1s| 1612 | 1374 | 7391 | 4.6 |1469k| 41 | - | 120 | 61 | 120 | 19 | 18 | 166 | 595 | 0.000000e+00 | 6.000000e+01 | Inf
2.89/2.93 o 32
2.89/2.93 c f 2.4s| 2028 | 1504 | 9414 | 4.6 |1525k| 41 | - | 120 | 69 | 120 | 19 | 18 | 219 | 602 | 0.000000e+00 | 3.200000e+01 | Inf
6.69/6.75 o 31
6.69/6.75 c * 5.7s| 5311 | 3893 | 29144 | 5.5 |2689k| 41 | - | 120 | 144 | 120 | 19 | 18 | 897 | 672 | 0.000000e+00 | 3.100000e+01 | Inf
7.09/7.14 o 27
7.09/7.14 c g 6.1s| 5716 | 4116 | 31272 | 5.5 |2781k| 41 | - | 120 | 147 | 120 | 19 | 18 | 968 | 690 | 0.000000e+00 | 2.700000e+01 | Inf
7.89/7.90 o 26
7.89/7.90 c * 6.7s| 6508 | 4649 | 35518 | 5.4 |3043k| 41 | - | 120 | 150 | 120 | 19 | 18 |1097 | 717 | 0.000000e+00 | 2.600000e+01 | Inf
8.80/8.84 o 25
8.80/8.84 c * 7.5s| 7570 | 5318 | 41044 | 5.4 |3386k| 41 | - | 120 | 156 | 120 | 19 | 18 |1270 | 763 | 0.000000e+00 | 2.500000e+01 | Inf
8.80/8.84 o 23
8.80/8.84 c * 7.5s| 7572 | 5207 | 41044 | 5.4 |3314k| 41 | - | 120 | 156 | 120 | 19 | 18 |1270 | 766 | 0.000000e+00 | 2.300000e+01 | Inf
8.80/8.84 o 21
8.80/8.84 c * 7.5s| 7573 | 5152 | 41044 | 5.4 |3263k| 41 | - | 120 | 156 | 120 | 19 | 18 |1270 | 766 | 0.000000e+00 | 2.100000e+01 | Inf
10.19/10.24 o 20
10.19/10.24 c * 8.7s| 9377 | 5996 | 48622 | 5.2 |3733k| 41 | - | 120 | 163 | 120 | 19 | 18 |1491 | 838 | 0.000000e+00 | 2.000000e+01 | Inf
10.19/10.24 o 18
10.19/10.24 c * 8.7s| 9378 | 5911 | 48622 | 5.2 |3648k| 41 | - | 120 | 163 | 120 | 19 | 18 |1491 | 838 | 0.000000e+00 | 1.800000e+01 | Inf
10.68/10.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.68/10.72 c 9.1s| 10000 | 6200 | 51212 | 5.1 |3809k| 41 | - | 120 | 158 | 120 | 19 | 18 |1562 | 868 | 0.000000e+00 | 1.800000e+01 | Inf
11.69/11.74 o 16
11.69/11.74 c *10.0s| 11218 | 6085 | 55901 | 5.0 |3802k| 41 | - | 120 | 152 | 120 | 19 | 18 |1692 | 916 | 0.000000e+00 | 1.600000e+01 | Inf
11.69/11.76 o 3
11.69/11.76 c s10.0s| 11226 | 5155 | 55911 | 5.0 |2930k| 41 | - | 120 | 140 | 120 | 19 | 18 |1695 | 922 | 0.000000e+00 | 3.000000e+00 | Inf
11.69/11.76 o 2
11.69/11.76 c *10.0s| 11227 | 5085 | 55913 | 5.0 |2876k| 41 | - | 120 | 135 | 120 | 19 | 18 |1696 | 922 | 0.000000e+00 | 2.000000e+00 | Inf
16.50/16.51 c 14.0s| 20000 | 6529 | 87408 | 4.4 |3752k| 41 | - | 120 | 393 | 120 | 19 | 18 |2193 | 962 | 0.000000e+00 | 2.000000e+00 | Inf
21.58/21.64 c 18.3s| 30000 | 6818 |120129 | 4.0 |4158k| 41 | 5 | 120 | 759 | 120 | 19 | 18 |2836 |1014 | 0.000000e+00 | 2.000000e+00 | Inf
26.79/26.89 c 22.8s| 40000 | 6672 |153125 | 3.8 |4220k| 41 | - | 120 |1073 | 120 | 19 | 18 |3588 |1096 | 0.000000e+00 | 2.000000e+00 | Inf
31.98/32.05 c 27.1s| 50000 | 6907 |185708 | 3.7 |4508k| 41 | 5 | 120 |1304 | 120 | 19 | 18 |4142 |1157 | 0.000000e+00 | 2.000000e+00 | Inf
37.28/37.35 c 31.6s| 60000 | 6934 |220034 | 3.7 |4651k| 41 | - | 120 |1538 | 120 | 19 | 18 |4817 |1229 | 0.000000e+00 | 2.000000e+00 | Inf
42.57/42.68 c 36.1s| 70000 | 7035 |250461 | 3.6 |4803k| 41 | - | 120 |1682 | 120 | 19 | 18 |5650 |1296 | 0.000000e+00 | 2.000000e+00 | Inf
47.77/47.86 c 40.5s| 80000 | 6866 |280331 | 3.5 |4575k| 41 | - | 120 |1317 | 120 | 19 | 18 |6482 |1332 | 0.000000e+00 | 2.000000e+00 | Inf
52.87/52.96 c 44.8s| 90000 | 7138 |311975 | 3.5 |4756k| 41 | - | 120 |1202 | 120 | 19 | 18 |7092 |1409 | 0.000000e+00 | 2.000000e+00 | Inf
57.97/58.05 c 49.1s|100000 | 7086 |344052 | 3.4 |4704k| 41 | 5 | 120 |1190 | 120 | 19 | 18 |7785 |1438 | 0.000000e+00 | 2.000000e+00 | Inf
62.97/63.09 c 53.3s|110000 | 6954 |374288 | 3.4 |4664k| 41 | 5 | 120 |1273 | 120 | 19 | 18 |8568 |1485 | 0.000000e+00 | 2.000000e+00 | Inf
68.17/68.26 c 57.6s|120000 | 7042 |406297 | 3.4 |4734k| 41 | - | 120 |1271 | 120 | 19 | 18 |9307 |1568 | 0.000000e+00 | 2.000000e+00 | Inf
73.36/73.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.36/73.42 c 61.9s|130000 | 7122 |439478 | 3.4 |4714k| 41 | 5 | 120 |1204 | 120 | 19 | 18 |9924 |1632 | 0.000000e+00 | 2.000000e+00 | Inf
78.36/78.49 c 66.2s|140000 | 7242 |471697 | 3.4 |4897k| 41 | - | 120 |1268 | 120 | 19 | 18 | 10k|1674 | 0.000000e+00 | 2.000000e+00 | Inf
83.58/83.67 c 70.5s|150000 | 6968 |504620 | 3.4 |4662k| 41 | - | 120 |1231 | 0 | 0 | 18 | 11k|1756 | 0.000000e+00 | 2.000000e+00 | Inf
88.76/88.83 c 74.8s|160000 | 7007 |538295 | 3.4 |4742k| 41 | - | 120 |1379 | 120 | 19 | 18 | 12k|1827 | 0.000000e+00 | 2.000000e+00 | Inf
93.86/93.97 c 79.1s|170000 | 6925 |571225 | 3.4 |4597k| 41 | - | 120 |1244 | 120 | 19 | 18 | 12k|1901 | 0.000000e+00 | 2.000000e+00 | Inf
98.96/99.09 c 83.3s|180000 | 6848 |603533 | 3.4 |4622k| 41 | 5 | 120 |1389 | 120 | 19 | 18 | 13k|1964 | 0.000000e+00 | 2.000000e+00 | Inf
104.16/104.23 c 87.7s|190000 | 7033 |635717 | 3.3 |4801k| 41 | - | 120 |1485 | 120 | 19 | 18 | 14k|2008 | 0.000000e+00 | 2.000000e+00 | Inf
109.36/109.40 c 92.0s|200000 | 6905 |667598 | 3.3 |4741k| 41 | 5 | 120 |1576 | 120 | 19 | 18 | 15k|2098 | 0.000000e+00 | 2.000000e+00 | Inf
114.46/114.58 c 96.3s|210000 | 6825 |698531 | 3.3 |4681k| 41 | - | 120 |1596 | 0 | 0 | 18 | 15k|2158 | 0.000000e+00 | 2.000000e+00 | Inf
119.55/119.66 c 101s|220000 | 6803 |729489 | 3.3 |4659k| 41 | 5 | 120 |1602 | 120 | 19 | 18 | 16k|2191 | 0.000000e+00 | 2.000000e+00 | Inf
124.75/124.84 c 105s|230000 | 6643 |764497 | 3.3 |4421k| 41 | 5 | 120 |1238 | 120 | 19 | 18 | 17k|2302 | 0.000000e+00 | 2.000000e+00 | Inf
130.05/130.18 c 109s|240000 | 6750 |796798 | 3.3 |4437k| 41 | 5 | 120 |1044 | 120 | 19 | 18 | 17k|2881 | 0.000000e+00 | 2.000000e+00 | Inf
135.05/135.19 c 114s|250000 | 6894 |828438 | 3.3 |4623k| 41 | 5 | 120 |1114 | 120 | 19 | 18 | 18k|2935 | 0.000000e+00 | 2.000000e+00 | Inf
140.15/140.22 c 118s|260000 | 6885 |859756 | 3.3 |4663k| 41 | 5 | 120 |1183 | 120 | 19 | 18 | 19k|2984 | 0.000000e+00 | 2.000000e+00 | Inf
145.16/145.21 c 122s|270000 | 6779 |891133 | 3.3 |4609k| 41 | 5 | 120 |1213 | 120 | 19 | 18 | 19k|3039 | 0.000000e+00 | 2.000000e+00 | Inf
150.15/150.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.15/150.26 c 126s|280000 | 6882 |922849 | 3.3 |4653k| 41 | 5 | 120 |1231 | 120 | 19 | 18 | 20k|3078 | 0.000000e+00 | 2.000000e+00 | Inf
155.15/155.28 c 130s|290000 | 6726 |954542 | 3.3 |4565k| 41 | - | 120 |1265 | 120 | 19 | 18 | 21k|3134 | 0.000000e+00 | 2.000000e+00 | Inf
160.24/160.36 c 135s|300000 | 6720 |986844 | 3.3 |4578k| 41 | - | 120 |1352 | 120 | 19 | 18 | 22k|3191 | 0.000000e+00 | 2.000000e+00 | Inf
165.24/165.35 c 139s|310000 | 6702 | 1017k| 3.3 |4597k| 41 | - | 120 |1376 | 120 | 19 | 18 | 22k|3240 | 0.000000e+00 | 2.000000e+00 | Inf
170.24/170.38 c 143s|320000 | 6599 | 1050k| 3.3 |4391k| 41 | 5 | 120 |1264 | 120 | 19 | 18 | 23k|3287 | 0.000000e+00 | 2.000000e+00 | Inf
175.24/175.37 c 147s|330000 | 6586 | 1082k| 3.3 |4410k| 41 | 5 | 120 |1336 | 120 | 19 | 18 | 23k|3367 | 0.000000e+00 | 2.000000e+00 | Inf
180.35/180.47 c 152s|340000 | 6645 | 1115k| 3.3 |4484k| 41 | 5 | 120 |1408 | 120 | 19 | 18 | 24k|3420 | 0.000000e+00 | 2.000000e+00 | Inf
185.44/185.58 c 156s|350000 | 6588 | 1147k| 3.3 |4464k| 41 | 5 | 120 |1475 | 120 | 19 | 18 | 25k|3462 | 0.000000e+00 | 2.000000e+00 | Inf
190.53/190.68 c 160s|360000 | 6706 | 1180k| 3.3 |4607k| 41 | - | 120 |1459 | 120 | 19 | 18 | 25k|3533 | 0.000000e+00 | 2.000000e+00 | Inf
195.65/195.72 c 164s|370000 | 6947 | 1212k| 3.3 |4839k| 41 | 5 | 120 |1533 | 120 | 19 | 18 | 26k|3572 | 0.000000e+00 | 2.000000e+00 | Inf
200.73/200.84 c 169s|380000 | 6645 | 1244k| 3.3 |4571k| 41 | - | 120 |1576 | 120 | 19 | 18 | 27k|3654 | 0.000000e+00 | 2.000000e+00 | Inf
205.93/206.00 c 173s|390000 | 6795 | 1277k| 3.3 |4706k| 41 | - | 120 |1581 | 0 | 0 | 18 | 28k|3703 | 0.000000e+00 | 2.000000e+00 | Inf
211.04/211.16 c 177s|400000 | 6806 | 1308k| 3.3 |4743k| 41 | - | 120 |1596 | 120 | 19 | 18 | 28k|3773 | 0.000000e+00 | 2.000000e+00 | Inf
216.33/216.49 c 182s|410000 | 6519 | 1340k| 3.3 |4337k| 41 | - | 120 |1120 | 120 | 19 | 18 | 29k|4052 | 0.000000e+00 | 2.000000e+00 | Inf
221.33/221.43 c 186s|420000 | 6740 | 1372k| 3.3 |4565k| 41 | 5 | 120 |1277 | 120 | 19 | 18 | 30k|4102 | 0.000000e+00 | 2.000000e+00 | Inf
226.33/226.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.33/226.46 c 190s|430000 | 6861 | 1403k| 3.3 |4754k| 41 | - | 120 |1405 | 120 | 19 | 18 | 31k|4162 | 0.000000e+00 | 2.000000e+00 | Inf
231.32/231.44 c 194s|440000 | 6919 | 1434k| 3.3 |4853k| 41 | 5 | 120 |1456 | 120 | 19 | 18 | 31k|4211 | 0.000000e+00 | 2.000000e+00 | Inf
236.43/236.53 c 198s|450000 | 6902 | 1465k| 3.3 |4862k| 41 | 5 | 120 |1483 | 120 | 19 | 18 | 32k|4289 | 0.000000e+00 | 2.000000e+00 | Inf
241.43/241.53 c 203s|460000 | 6803 | 1495k| 3.3 |4826k| 41 | - | 120 |1602 | 120 | 19 | 18 | 33k|4347 | 0.000000e+00 | 2.000000e+00 | Inf
246.43/246.58 c 207s|470000 | 6776 | 1526k| 3.2 |4796k| 41 | - | 120 |1647 | 0 | 0 | 18 | 33k|4408 | 0.000000e+00 | 2.000000e+00 | Inf
251.52/251.63 c 211s|480000 | 6841 | 1557k| 3.2 |4921k| 41 | 5 | 120 |1793 | 120 | 19 | 18 | 34k|4454 | 0.000000e+00 | 2.000000e+00 | Inf
256.62/256.70 c 215s|490000 | 6795 | 1588k| 3.2 |4868k| 41 | - | 120 |1772 | 120 | 19 | 18 | 35k|4493 | 0.000000e+00 | 2.000000e+00 | Inf
261.62/261.80 c 220s|500000 | 6907 | 1618k| 3.2 |4951k| 41 | - | 120 |1820 | 120 | 19 | 18 | 36k|4533 | 0.000000e+00 | 2.000000e+00 | Inf
266.92/267.00 c 224s|510000 | 6703 | 1649k| 3.2 |4747k| 41 | - | 120 |1679 | 0 | 0 | 18 | 37k|4656 | 0.000000e+00 | 2.000000e+00 | Inf
271.92/272.07 c 228s|520000 | 6733 | 1679k| 3.2 |4863k| 41 | 5 | 120 |1842 | 120 | 19 | 18 | 37k|4718 | 0.000000e+00 | 2.000000e+00 | Inf
277.02/277.15 c 233s|530000 | 6819 | 1710k| 3.2 |4855k| 41 | - | 120 |1767 | 0 | 0 | 18 | 38k|4771 | 0.000000e+00 | 2.000000e+00 | Inf
282.02/282.15 c 237s|540000 | 6863 | 1740k| 3.2 |5007k| 41 | 5 | 120 |1853 | 120 | 19 | 18 | 39k|4814 | 0.000000e+00 | 2.000000e+00 | Inf
287.11/287.28 c 241s|550000 | 6636 | 1772k| 3.2 |4699k| 41 | 5 | 120 |1607 | 120 | 19 | 18 | 39k|4895 | 0.000000e+00 | 2.000000e+00 | Inf
292.21/292.32 c 245s|560000 | 6762 | 1803k| 3.2 |4797k| 41 | 5 | 120 |1464 | 120 | 19 | 18 | 40k|4951 | 0.000000e+00 | 2.000000e+00 | Inf
297.21/297.31 c 249s|570000 | 6690 | 1834k| 3.2 |4721k| 41 | 5 | 120 |1531 | 120 | 19 | 18 | 41k|5013 | 0.000000e+00 | 2.000000e+00 | Inf
302.21/302.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.21/302.37 c 254s|580000 | 6691 | 1865k| 3.2 |4753k| 41 | - | 120 |1624 | 120 | 19 | 18 | 42k|5094 | 0.000000e+00 | 2.000000e+00 | Inf
307.21/307.37 c 258s|590000 | 6674 | 1896k| 3.2 |4801k| 41 | 5 | 120 |1728 | 120 | 19 | 18 | 42k|5133 | 0.000000e+00 | 2.000000e+00 | Inf
312.32/312.46 c 262s|600000 | 6669 | 1926k| 3.2 |4727k| 41 | 5 | 120 |1644 | 120 | 19 | 18 | 43k|5219 | 0.000000e+00 | 2.000000e+00 | Inf
317.40/317.56 c 266s|610000 | 6893 | 1958k| 3.2 |4908k| 41 | 5 | 120 |1593 | 120 | 19 | 18 | 44k|5269 | 0.000000e+00 | 2.000000e+00 | Inf
322.31/322.47 c 271s|620000 | 6760 | 1988k| 3.2 |4847k| 41 | - | 120 |1670 | 120 | 19 | 18 | 45k|5314 | 0.000000e+00 | 2.000000e+00 | Inf
327.30/327.49 c 275s|630000 | 6692 | 2019k| 3.2 |4778k| 41 | - | 120 |1619 | 120 | 19 | 18 | 45k|5385 | 0.000000e+00 | 2.000000e+00 | Inf
332.40/332.51 c 279s|640000 | 6724 | 2049k| 3.2 |4809k| 41 | - | 120 |1659 | 120 | 19 | 18 | 46k|5454 | 0.000000e+00 | 2.000000e+00 | Inf
337.39/337.56 c 283s|650000 | 6695 | 2081k| 3.2 |4791k| 41 | - | 120 |1697 | 120 | 19 | 18 | 47k|5509 | 0.000000e+00 | 2.000000e+00 | Inf
342.39/342.54 c 287s|660000 | 6711 | 2112k| 3.2 |4837k| 41 | 5 | 120 |1783 | 120 | 19 | 18 | 47k|5548 | 0.000000e+00 | 2.000000e+00 | Inf
347.40/347.52 c 292s|670000 | 6666 | 2142k| 3.2 |4843k| 41 | 5 | 120 |1870 | 120 | 19 | 18 | 48k|5579 | 0.000000e+00 | 2.000000e+00 | Inf
352.40/352.55 c 296s|680000 | 6644 | 2172k| 3.2 |4856k| 41 | 5 | 120 |1940 | 120 | 19 | 18 | 49k|5601 | 0.000000e+00 | 2.000000e+00 | Inf
357.59/357.75 c 300s|690000 | 6570 | 2204k| 3.2 |4603k| 41 | 5 | 120 |1451 | 120 | 19 | 18 | 49k|5703 | 0.000000e+00 | 2.000000e+00 | Inf
362.59/362.77 c 304s|700000 | 6604 | 2236k| 3.2 |4620k| 41 | 5 | 120 |1436 | 120 | 19 | 18 | 50k|5756 | 0.000000e+00 | 2.000000e+00 | Inf
367.50/367.69 c 309s|710000 | 6527 | 2266k| 3.2 |4584k| 41 | - | 120 |1499 | 120 | 19 | 18 | 51k|5799 | 0.000000e+00 | 2.000000e+00 | Inf
372.49/372.65 c 313s|720000 | 6584 | 2297k| 3.2 |4630k| 41 | 5 | 120 |1501 | 120 | 19 | 18 | 51k|5850 | 0.000000e+00 | 2.000000e+00 | Inf
377.59/377.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.59/377.75 c 317s|730000 | 6550 | 2329k| 3.2 |4529k| 41 | 5 | 120 |1410 | 120 | 19 | 18 | 52k|5968 | 0.000000e+00 | 2.000000e+00 | Inf
382.59/382.71 c 321s|740000 | 6810 | 2360k| 3.2 |4800k| 41 | 5 | 120 |1499 | 120 | 19 | 18 | 53k|6023 | 0.000000e+00 | 2.000000e+00 | Inf
387.49/387.65 c 325s|750000 | 6871 | 2391k| 3.2 |4917k| 41 | 5 | 120 |1564 | 120 | 19 | 18 | 53k|6100 | 0.000000e+00 | 2.000000e+00 | Inf
392.39/392.57 c 329s|760000 | 6873 | 2421k| 3.2 |5003k| 41 | - | 120 |1692 | 120 | 19 | 18 | 54k|6157 | 0.000000e+00 | 2.000000e+00 | Inf
397.39/397.57 c 334s|770000 | 6970 | 2451k| 3.2 |5140k| 41 | - | 120 |1740 | 120 | 19 | 18 | 55k|6213 | 0.000000e+00 | 2.000000e+00 | Inf
402.40/402.51 c 338s|780000 | 6796 | 2481k| 3.2 |4970k| 41 | 5 | 120 |1721 | 120 | 19 | 18 | 56k|6255 | 0.000000e+00 | 2.000000e+00 | Inf
407.38/407.56 c 342s|790000 | 6939 | 2513k| 3.2 |5073k| 41 | 5 | 120 |1700 | 120 | 19 | 18 | 56k|6316 | 0.000000e+00 | 2.000000e+00 | Inf
412.48/412.64 c 346s|800000 | 6752 | 2544k| 3.2 |4947k| 41 | 5 | 120 |1729 | 120 | 19 | 18 | 57k|6412 | 0.000000e+00 | 2.000000e+00 | Inf
417.38/417.58 c 350s|810000 | 6786 | 2573k| 3.2 |4960k| 41 | - | 120 |1717 | 120 | 19 | 18 | 58k|6479 | 0.000000e+00 | 2.000000e+00 | Inf
422.48/422.69 c 355s|820000 | 6714 | 2605k| 3.2 |4864k| 41 | - | 120 |1753 | 120 | 19 | 18 | 58k|6576 | 0.000000e+00 | 2.000000e+00 | Inf
427.57/427.76 c 359s|830000 | 6585 | 2637k| 3.2 |4674k| 41 | - | 120 |1640 | 120 | 19 | 18 | 59k|6642 | 0.000000e+00 | 2.000000e+00 | Inf
432.57/432.75 c 363s|840000 | 6576 | 2669k| 3.2 |4680k| 41 | 5 | 120 |1674 | 120 | 19 | 18 | 60k|6684 | 0.000000e+00 | 2.000000e+00 | Inf
437.48/437.66 c 367s|850000 | 6573 | 2698k| 3.2 |4757k| 41 | 5 | 120 |1887 | 120 | 19 | 18 | 61k|6751 | 0.000000e+00 | 2.000000e+00 | Inf
442.67/442.85 c 371s|860000 | 6589 | 2729k| 3.2 |4795k| 41 | 5 | 120 |1944 | 120 | 19 | 18 | 61k|6871 | 0.000000e+00 | 2.000000e+00 | Inf
447.77/447.96 c 376s|870000 | 6549 | 2760k| 3.2 |4746k| 41 | 5 | 120 |1938 | 120 | 19 | 18 | 62k|6944 | 0.000000e+00 | 2.000000e+00 | Inf
452.77/452.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.77/452.93 c 380s|880000 | 6651 | 2791k| 3.2 |4862k| 41 | 5 | 120 |1911 | 120 | 19 | 18 | 63k|6989 | 0.000000e+00 | 2.000000e+00 | Inf
457.77/457.96 c 384s|890000 | 6700 | 2821k| 3.2 |4806k| 41 | - | 120 |1826 | 120 | 19 | 18 | 63k|7049 | 0.000000e+00 | 2.000000e+00 | Inf
462.76/462.97 c 388s|900000 | 6512 | 2851k| 3.2 |4712k| 41 | - | 120 |1887 | 120 | 19 | 18 | 64k|7105 | 0.000000e+00 | 2.000000e+00 | Inf
468.07/468.29 c 393s|910000 | 6411 | 2884k| 3.2 |4340k| 41 | - | 120 |1001 | 120 | 19 | 18 | 65k|7411 | 0.000000e+00 | 2.000000e+00 | Inf
473.46/473.61 c 397s|920000 | 6413 | 2918k| 3.2 |4354k| 41 | - | 120 |1001 | 120 | 19 | 18 | 65k|7987 | 0.000000e+00 | 2.000000e+00 | Inf
478.27/478.50 c 401s|930000 | 6396 | 2949k| 3.2 |4387k| 41 | - | 120 |1110 | 120 | 19 | 18 | 66k|8044 | 0.000000e+00 | 2.000000e+00 | Inf
483.07/483.29 c 405s|940000 | 6392 | 2980k| 3.2 |4372k| 41 | 5 | 120 |1141 | 120 | 19 | 18 | 67k|8088 | 0.000000e+00 | 2.000000e+00 | Inf
487.96/488.16 c 409s|950000 | 6400 | 3010k| 3.2 |4429k| 41 | 5 | 120 |1261 | 120 | 19 | 18 | 67k|8156 | 0.000000e+00 | 2.000000e+00 | Inf
492.86/493.02 c 413s|960000 | 6432 | 3040k| 3.2 |4497k| 41 | 5 | 120 |1350 | 120 | 19 | 18 | 68k|8184 | 0.000000e+00 | 2.000000e+00 | Inf
497.76/497.93 c 417s|970000 | 6407 | 3071k| 3.2 |4508k| 41 | - | 120 |1436 | 120 | 19 | 18 | 69k|8219 | 0.000000e+00 | 2.000000e+00 | Inf
502.57/502.79 c 421s|980000 | 6425 | 3102k| 3.2 |4540k| 41 | 5 | 120 |1433 | 120 | 19 | 18 | 69k|8251 | 0.000000e+00 | 2.000000e+00 | Inf
507.56/507.76 c 426s|990000 | 6351 | 3133k| 3.2 |4422k| 41 | 5 | 120 |1281 | 120 | 19 | 18 | 70k|8348 | 0.000000e+00 | 2.000000e+00 | Inf
512.46/512.68 c 430s| 1000k| 6275 | 3166k| 3.2 |4361k| 41 | 5 | 120 |1141 | 120 | 19 | 18 | 70k|8408 | 0.000000e+00 | 2.000000e+00 | Inf
517.36/517.56 c 434s| 1010k| 6391 | 3198k| 3.2 |4500k| 41 | - | 120 |1300 | 120 | 19 | 18 | 71k|8472 | 0.000000e+00 | 2.000000e+00 | Inf
522.36/522.54 c 438s| 1020k| 6352 | 3230k| 3.2 |4462k| 41 | - | 120 |1260 | 120 | 19 | 18 | 72k|8537 | 0.000000e+00 | 2.000000e+00 | Inf
527.25/527.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
527.25/527.47 c 442s| 1030k| 6424 | 3263k| 3.2 |4637k| 41 | - | 120 |1380 | 120 | 19 | 18 | 72k|8598 | 0.000000e+00 | 2.000000e+00 | Inf
532.26/532.43 c 446s| 1040k| 6370 | 3294k| 3.2 |4577k| 41 | 5 | 120 |1503 | 120 | 19 | 18 | 73k|8661 | 0.000000e+00 | 2.000000e+00 | Inf
537.14/537.35 c 450s| 1050k| 6231 | 3325k| 3.2 |4423k| 41 | 5 | 120 |1363 | 120 | 19 | 18 | 74k|8701 | 0.000000e+00 | 2.000000e+00 | Inf
542.05/542.21 c 454s| 1060k| 6360 | 3357k| 3.2 |4549k| 41 | 5 | 120 |1520 | 120 | 19 | 18 | 74k|8739 | 0.000000e+00 | 2.000000e+00 | Inf
546.94/547.16 c 459s| 1070k| 6196 | 3388k| 3.2 |4453k| 41 | - | 120 |1495 | 120 | 19 | 18 | 75k|8777 | 0.000000e+00 | 2.000000e+00 | Inf
552.05/552.25 c 463s| 1080k| 6255 | 3420k| 3.2 |4440k| 41 | - | 120 |1322 | 120 | 19 | 18 | 76k|9015 | 0.000000e+00 | 2.000000e+00 | Inf
556.84/557.05 c 467s| 1090k| 6253 | 3451k| 3.2 |4476k| 41 | 5 | 120 |1385 | 120 | 19 | 18 | 76k|9074 | 0.000000e+00 | 2.000000e+00 | Inf
561.74/561.93 c 471s| 1100k| 6348 | 3482k| 3.2 |4625k| 41 | 5 | 120 |1434 | 120 | 19 | 18 | 77k|9140 | 0.000000e+00 | 2.000000e+00 | Inf
566.54/566.78 c 475s| 1110k| 6158 | 3512k| 3.2 |4353k| 41 | 5 | 120 |1268 | 120 | 19 | 18 | 78k|9195 | 0.000000e+00 | 2.000000e+00 | Inf
571.43/571.60 c 479s| 1120k| 6226 | 3544k| 3.2 |4384k| 41 | - | 120 |1128 | 120 | 19 | 18 | 78k|9247 | 0.000000e+00 | 2.000000e+00 | Inf
576.15/576.39 c 483s| 1130k| 6168 | 3573k| 3.2 |4450k| 41 | 5 | 120 |1287 | 120 | 19 | 18 | 79k|9311 | 0.000000e+00 | 2.000000e+00 | Inf
581.04/581.24 c 487s| 1140k| 6136 | 3603k| 3.2 |4381k| 41 | - | 120 |1326 | 120 | 19 | 18 | 80k|9357 | 0.000000e+00 | 2.000000e+00 | Inf
585.84/586.07 c 491s| 1150k| 6455 | 3633k| 3.2 |4636k| 41 | - | 120 |1392 | 120 | 19 | 18 | 80k|9425 | 0.000000e+00 | 2.000000e+00 | Inf
590.84/591.02 c 495s| 1160k| 6411 | 3664k| 3.2 |4659k| 41 | - | 120 |1407 | 120 | 19 | 18 | 81k|9497 | 0.000000e+00 | 2.000000e+00 | Inf
595.63/595.85 c 499s| 1170k| 6197 | 3693k| 3.2 |4549k| 41 | 5 | 120 |1482 | 120 | 19 | 18 | 82k|9551 | 0.000000e+00 | 2.000000e+00 | Inf
600.53/600.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.53/600.76 c 503s| 1180k| 6116 | 3724k| 3.2 |4428k| 41 | - | 120 |1489 | 120 | 19 | 18 | 82k|9631 | 0.000000e+00 | 2.000000e+00 | Inf
605.43/605.66 c 507s| 1190k| 6091 | 3755k| 3.2 |4357k| 41 | 5 | 120 |1253 | 120 | 19 | 18 | 83k|9725 | 0.000000e+00 | 2.000000e+00 | Inf
610.33/610.59 c 512s| 1200k| 6503 | 3788k| 3.2 |4591k| 41 | 5 | 120 |1224 | 120 | 19 | 18 | 84k|9812 | 0.000000e+00 | 2.000000e+00 | Inf
615.33/615.54 c 516s| 1210k| 6475 | 3820k| 3.2 |4733k| 41 | - | 120 |1326 | 120 | 19 | 18 | 85k|9889 | 0.000000e+00 | 2.000000e+00 | Inf
620.23/620.42 c 520s| 1220k| 6584 | 3851k| 3.2 |4894k| 41 | - | 120 |1482 | 0 | 0 | 18 | 85k|9960 | 0.000000e+00 | 2.000000e+00 | Inf
625.02/625.26 c 524s| 1230k| 6467 | 3881k| 3.2 |4881k| 41 | - | 120 |1533 | 120 | 19 | 18 | 86k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
629.92/630.16 c 528s| 1240k| 6545 | 3912k| 3.2 |5016k| 41 | 5 | 120 |1560 | 120 | 19 | 18 | 86k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
634.82/635.05 c 532s| 1250k| 6646 | 3943k| 3.2 |5149k| 41 | - | 120 |1681 | 120 | 19 | 18 | 87k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
639.72/639.99 c 536s| 1260k| 6615 | 3973k| 3.2 |5150k| 41 | 5 | 120 |1658 | 120 | 19 | 18 | 88k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
644.82/645.01 c 540s| 1270k| 6207 | 4003k| 3.2 |4703k| 41 | - | 120 |1564 | 120 | 19 | 18 | 89k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
649.62/649.88 c 544s| 1280k| 6203 | 4033k| 3.2 |4646k| 41 | - | 120 |1641 | 0 | 0 | 18 | 89k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
654.61/654.83 c 548s| 1290k| 6216 | 4064k| 3.2 |4621k| 41 | - | 120 |1630 | 120 | 19 | 18 | 90k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
659.52/659.77 c 553s| 1300k| 6109 | 4095k| 3.2 |4579k| 41 | - | 120 |1746 | 120 | 19 | 18 | 91k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
664.41/664.65 c 557s| 1310k| 6240 | 4126k| 3.1 |4763k| 41 | 5 | 120 |1845 | 120 | 19 | 18 | 91k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
669.31/669.51 c 561s| 1320k| 6223 | 4156k| 3.1 |4798k| 41 | 5 | 120 |1915 | 120 | 19 | 18 | 92k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
674.22/674.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.22/674.45 c 565s| 1330k| 6167 | 4187k| 3.1 |4704k| 41 | 5 | 120 |1868 | 120 | 19 | 18 | 92k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
679.11/679.35 c 569s| 1340k| 6301 | 4217k| 3.1 |4856k| 41 | 5 | 120 |1937 | 120 | 19 | 18 | 93k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
684.11/684.37 c 573s| 1350k| 6022 | 4248k| 3.1 |4548k| 41 | 5 | 120 |1944 | 120 | 19 | 18 | 94k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
689.00/689.23 c 577s| 1360k| 6102 | 4278k| 3.1 |4628k| 41 | 5 | 120 |1886 | 120 | 19 | 18 | 94k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
694.11/694.38 c 582s| 1370k| 6329 | 4310k| 3.1 |4632k| 41 | - | 120 |1658 | 120 | 19 | 18 | 95k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
699.31/699.54 c 586s| 1380k| 7235 | 4341k| 3.1 |5231k| 41 | - | 120 |1721 | 0 | 0 | 18 | 95k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
704.20/704.45 c 590s| 1390k| 7682 | 4372k| 3.1 |5606k| 41 | - | 120 |1715 | 120 | 19 | 18 | 96k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
709.10/709.35 c 594s| 1400k| 7901 | 4401k| 3.1 |5864k| 41 | 5 | 120 |1708 | 120 | 19 | 18 | 97k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
714.10/714.36 c 598s| 1410k| 7701 | 4431k| 3.1 |5876k| 41 | 5 | 120 |1758 | 120 | 19 | 18 | 97k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
719.00/719.20 c 602s| 1420k| 8372 | 4460k| 3.1 |6367k| 41 | - | 120 |1832 | 120 | 19 | 18 | 98k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
724.00/724.20 c 607s| 1430k| 8073 | 4490k| 3.1 |6257k| 41 | 5 | 120 |1713 | 120 | 19 | 18 | 99k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
728.90/729.10 c 611s| 1440k| 8269 | 4519k| 3.1 |6450k| 41 | - | 120 |1732 | 120 | 19 | 18 | 99k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
733.80/734.04 c 615s| 1450k| 8088 | 4549k| 3.1 |6419k| 41 | 5 | 120 |1735 | 120 | 19 | 18 | 100k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
738.79/739.01 c 619s| 1460k| 8083 | 4579k| 3.1 |6442k| 41 | 5 | 120 |1711 | 120 | 19 | 18 | 101k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
743.59/743.85 c 623s| 1470k| 9214 | 4611k| 3.1 |7146k| 41 | 5 | 120 |1758 | 120 | 19 | 18 | 101k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
748.50/748.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
748.50/748.71 c 627s| 1480k| 9861 | 4642k| 3.1 |7649k| 41 | 5 | 120 |1771 | 120 | 19 | 18 | 102k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
753.39/753.60 c 631s| 1490k| 10309 | 4673k| 3.1 |8030k| 41 | 5 | 120 |1785 | 120 | 19 | 18 | 103k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
758.29/758.52 c 635s| 1500k| 10452 | 4704k| 3.1 |8270k| 41 | - | 120 |1821 | 120 | 19 | 18 | 103k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
763.09/763.39 c 639s| 1510k| 10954 | 4735k| 3.1 |8678k| 41 | - | 120 |1843 | 120 | 19 | 18 | 104k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
768.09/768.38 c 644s| 1520k| 11047 | 4766k| 3.1 |8858k| 41 | 5 | 120 |1828 | 120 | 19 | 18 | 104k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
773.18/773.45 c 648s| 1530k| 10685 | 4797k| 3.1 |8738k| 41 | 5 | 120 |1770 | 120 | 19 | 18 | 105k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
778.18/778.48 c 652s| 1540k| 10400 | 4829k| 3.1 |8660k| 41 | - | 120 |1803 | 120 | 19 | 18 | 106k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
783.29/783.57 c 656s| 1550k| 10203 | 4860k| 3.1 |8612k| 41 | 5 | 120 |1828 | 120 | 19 | 18 | 107k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
788.18/788.45 c 660s| 1560k| 10283 | 4890k| 3.1 |8781k| 41 | - | 120 |1916 | 120 | 19 | 18 | 107k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
793.18/793.47 c 665s| 1570k| 10210 | 4920k| 3.1 |8787k| 41 | - | 120 |1885 | 120 | 19 | 18 | 108k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
798.18/798.44 c 669s| 1580k| 10279 | 4951k| 3.1 |8891k| 41 | - | 120 |1912 | 120 | 19 | 18 | 109k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
803.18/803.44 c 673s| 1590k| 10078 | 4981k| 3.1 |8748k| 41 | 5 | 120 |1806 | 120 | 19 | 18 | 109k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
808.08/808.38 c 677s| 1600k| 9850 | 5011k| 3.1 |8650k| 41 | - | 120 |1785 | 120 | 19 | 18 | 110k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
813.07/813.37 c 681s| 1610k| 9716 | 5042k| 3.1 |8618k| 41 | - | 120 |1829 | 120 | 19 | 18 | 111k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
817.87/818.13 c 685s| 1620k| 10431 | 5071k| 3.1 |9088k| 41 | - | 120 |1856 | 120 | 19 | 18 | 111k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
822.67/822.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.67/822.97 c 689s| 1630k| 10522 | 5099k| 3.1 |9277k| 41 | - | 120 |1877 | 120 | 19 | 18 | 112k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
827.57/827.82 c 693s| 1640k| 10212 | 5127k| 3.1 |9155k| 41 | 5 | 120 |1922 | 120 | 19 | 18 | 113k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
832.38/832.69 c 697s| 1650k| 10273 | 5156k| 3.1 |9241k| 41 | - | 120 |1984 | 120 | 19 | 18 | 113k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
837.47/837.72 c 702s| 1660k| 10022 | 5185k| 3.1 |8996k| 41 | 5 | 120 |1734 | 120 | 19 | 18 | 114k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
842.28/842.51 c 706s| 1670k| 10939 | 5215k| 3.1 |9639k| 41 | - | 120 |1853 | 0 | 0 | 18 | 114k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
847.07/847.34 c 710s| 1680k| 11343 | 5245k| 3.1 |9994k| 41 | - | 120 |1886 | 120 | 19 | 18 | 115k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
851.86/852.16 c 714s| 1690k| 11736 | 5274k| 3.1 | 10M| 41 | 5 | 120 |1864 | 120 | 19 | 18 | 116k| 12k| 0.000000e+00 | 2.000000e+00 | Inf
856.76/857.07 c 718s| 1700k| 11686 | 5304k| 3.1 | 10M| 41 | 5 | 120 |1899 | 120 | 19 | 18 | 116k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
861.77/862.03 c 722s| 1710k| 11768 | 5335k| 3.1 | 10M| 41 | - | 120 |1940 | 120 | 19 | 18 | 117k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
866.66/866.90 c 726s| 1720k| 12435 | 5366k| 3.1 | 11M| 41 | - | 120 |2028 | 120 | 19 | 18 | 117k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
871.56/871.83 c 730s| 1730k| 12606 | 5395k| 3.1 | 11M| 41 | 5 | 120 |2069 | 120 | 19 | 18 | 118k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
876.47/876.76 c 734s| 1740k| 12676 | 5424k| 3.1 | 11M| 41 | 5 | 120 |2011 | 120 | 19 | 18 | 119k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
881.36/881.70 c 738s| 1750k| 12723 | 5453k| 3.1 | 11M| 41 | 5 | 120 |1944 | 120 | 19 | 18 | 120k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
886.36/886.67 c 743s| 1760k| 12453 | 5483k| 3.1 | 11M| 41 | - | 120 |1904 | 120 | 19 | 18 | 120k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
891.25/891.54 c 747s| 1770k| 13034 | 5512k| 3.1 | 11M| 41 | 5 | 120 |1945 | 120 | 19 | 18 | 121k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
896.16/896.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
896.16/896.46 c 751s| 1780k| 13216 | 5542k| 3.1 | 12M| 41 | - | 120 |2028 | 120 | 19 | 18 | 122k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
901.16/901.49 c 755s| 1790k| 12804 | 5570k| 3.1 | 11M| 41 | 5 | 120 |1967 | 120 | 19 | 18 | 122k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
906.16/906.49 c 759s| 1800k| 12822 | 5601k| 3.1 | 11M| 41 | 5 | 120 |1965 | 120 | 19 | 18 | 123k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
911.15/911.44 c 763s| 1810k| 12888 | 5632k| 3.1 | 12M| 41 | 5 | 120 |1949 | 120 | 19 | 18 | 124k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
916.05/916.38 c 768s| 1820k| 13274 | 5664k| 3.1 | 12M| 41 | 5 | 120 |1974 | 120 | 19 | 18 | 124k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
920.95/921.29 c 772s| 1830k| 13341 | 5695k| 3.1 | 12M| 41 | 5 | 120 |2017 | 120 | 19 | 18 | 125k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
925.95/926.27 c 776s| 1840k| 13402 | 5727k| 3.1 | 12M| 41 | - | 120 |2021 | 120 | 19 | 18 | 125k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
930.94/931.24 c 780s| 1850k| 13638 | 5760k| 3.1 | 12M| 41 | - | 120 |2025 | 0 | 0 | 18 | 126k| 13k| 0.000000e+00 | 2.000000e+00 | Inf
935.85/936.19 c 784s| 1860k| 13804 | 5792k| 3.1 | 13M| 41 | 5 | 120 |2024 | 120 | 19 | 18 | 126k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
940.74/941.09 c 788s| 1870k| 13978 | 5822k| 3.1 | 13M| 41 | - | 120 |2042 | 120 | 19 | 18 | 127k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
945.84/946.13 c 793s| 1880k| 13294 | 5853k| 3.1 | 12M| 41 | 5 | 120 |1940 | 120 | 19 | 18 | 127k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
950.84/951.15 c 797s| 1890k| 12909 | 5884k| 3.1 | 12M| 41 | - | 120 |1904 | 0 | 0 | 18 | 128k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
955.74/956.08 c 801s| 1900k| 13118 | 5915k| 3.1 | 12M| 41 | - | 120 |1915 | 0 | 0 | 18 | 129k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
960.83/961.10 c 805s| 1910k| 13028 | 5946k| 3.1 | 12M| 41 | 5 | 120 |1950 | 120 | 19 | 18 | 129k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
965.63/965.92 c 809s| 1920k| 13201 | 5975k| 3.1 | 12M| 41 | 5 | 120 |2024 | 120 | 19 | 18 | 130k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
970.53/970.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.53/970.84 c 813s| 1930k| 12887 | 6005k| 3.1 | 12M| 41 | 5 | 120 |1977 | 120 | 19 | 18 | 130k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
975.45/975.74 c 818s| 1940k| 13094 | 6035k| 3.1 | 12M| 41 | 5 | 120 |2018 | 120 | 19 | 18 | 131k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
980.34/980.62 c 822s| 1950k| 13330 | 6065k| 3.1 | 12M| 41 | - | 120 |2103 | 120 | 19 | 18 | 132k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
985.24/985.50 c 826s| 1960k| 13307 | 6094k| 3.1 | 13M| 41 | 5 | 120 |2126 | 120 | 19 | 18 | 132k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
990.13/990.48 c 830s| 1970k| 12945 | 6123k| 3.1 | 12M| 41 | - | 120 |2099 | 120 | 19 | 18 | 133k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
995.03/995.39 c 834s| 1980k| 13849 | 6155k| 3.1 | 13M| 41 | 5 | 120 |2048 | 120 | 19 | 18 | 134k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1000.13/1000.41 c 838s| 1990k| 13910 | 6185k| 3.1 | 13M| 41 | - | 120 |2035 | 120 | 19 | 18 | 134k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1005.13/1005.49 c 842s| 2000k| 13320 | 6215k| 3.1 | 13M| 41 | - | 120 |1998 | 120 | 19 | 18 | 135k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1010.23/1010.59 c 847s| 2010k| 12998 | 6245k| 3.1 | 12M| 41 | - | 120 |1820 | 120 | 19 | 18 | 136k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1015.12/1015.47 c 851s| 2020k| 13128 | 6276k| 3.1 | 13M| 41 | 5 | 120 |1866 | 120 | 19 | 18 | 136k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1020.13/1020.41 c 855s| 2030k| 12778 | 6306k| 3.1 | 12M| 41 | - | 120 |1862 | 120 | 19 | 18 | 137k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1025.02/1025.37 c 859s| 2040k| 12722 | 6337k| 3.1 | 12M| 41 | 5 | 120 |1849 | 120 | 19 | 18 | 138k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1030.02/1030.37 c 863s| 2050k| 12397 | 6367k| 3.1 | 12M| 41 | - | 120 |1818 | 0 | 0 | 18 | 138k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1035.02/1035.38 c 868s| 2060k| 12645 | 6397k| 3.1 | 12M| 41 | - | 120 |1784 | 0 | 0 | 18 | 139k| 14k| 0.000000e+00 | 2.000000e+00 | Inf
1039.91/1040.25 c 872s| 2070k| 12860 | 6428k| 3.1 | 12M| 41 | - | 120 |1792 | 120 | 19 | 18 | 139k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1044.72/1045.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.72/1045.06 c 876s| 2080k| 13776 | 6459k| 3.1 | 13M| 41 | - | 120 |1891 | 120 | 19 | 18 | 140k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1049.62/1049.93 c 880s| 2090k| 14276 | 6489k| 3.1 | 13M| 41 | - | 120 |1906 | 120 | 19 | 18 | 140k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1054.52/1054.84 c 884s| 2100k| 14241 | 6518k| 3.1 | 14M| 41 | 5 | 120 |1906 | 120 | 19 | 18 | 141k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1059.41/1059.76 c 888s| 2110k| 14312 | 6549k| 3.1 | 14M| 41 | - | 120 |1836 | 120 | 19 | 18 | 141k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1064.31/1064.66 c 892s| 2120k| 14507 | 6579k| 3.1 | 14M| 41 | - | 120 |1870 | 0 | 0 | 18 | 142k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1069.21/1069.50 c 896s| 2130k| 15190 | 6610k| 3.1 | 14M| 41 | - | 120 |1919 | 120 | 19 | 18 | 143k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1074.11/1074.45 c 900s| 2140k| 15320 | 6641k| 3.1 | 15M| 41 | 5 | 120 |1987 | 120 | 19 | 18 | 143k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1079.01/1079.35 c 905s| 2150k| 16117 | 6671k| 3.1 | 15M| 41 | - | 120 |1984 | 120 | 19 | 18 | 144k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1083.91/1084.26 c 909s| 2160k| 16297 | 6701k| 3.1 | 15M| 41 | - | 120 |2009 | 120 | 19 | 18 | 145k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1088.91/1089.20 c 913s| 2170k| 16359 | 6732k| 3.1 | 16M| 41 | - | 120 |1933 | 120 | 19 | 18 | 145k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1093.80/1094.14 c 917s| 2180k| 16416 | 6761k| 3.1 | 16M| 41 | 5 | 120 |1935 | 120 | 19 | 18 | 146k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1098.61/1098.95 c 921s| 2190k| 16807 | 6792k| 3.1 | 16M| 41 | - | 120 |1993 | 0 | 0 | 18 | 146k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1103.50/1103.84 c 925s| 2200k| 16728 | 6820k| 3.1 | 16M| 41 | - | 120 |1884 | 120 | 19 | 18 | 147k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1108.51/1108.85 c 929s| 2210k| 16776 | 6851k| 3.1 | 16M| 41 | 5 | 120 |1795 | 120 | 19 | 18 | 148k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1113.30/1113.68 c 933s| 2220k| 17387 | 6883k| 3.1 | 17M| 41 | - | 120 |1824 | 120 | 19 | 18 | 148k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1118.20/1118.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.20/1118.50 c 937s| 2230k| 17433 | 6913k| 3.1 | 17M| 41 | 5 | 120 |1834 | 120 | 19 | 18 | 149k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1123.20/1123.50 c 942s| 2240k| 16935 | 6944k| 3.1 | 16M| 41 | - | 120 |1780 | 120 | 19 | 18 | 149k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1128.09/1128.42 c 946s| 2250k| 17634 | 6975k| 3.1 | 17M| 41 | 5 | 120 |1802 | 120 | 19 | 18 | 150k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1132.89/1133.25 c 950s| 2260k| 18192 | 7005k| 3.1 | 17M| 41 | - | 120 |1837 | 120 | 19 | 18 | 150k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1137.79/1138.13 c 954s| 2270k| 18515 | 7034k| 3.1 | 18M| 41 | - | 120 |1832 | 120 | 19 | 18 | 151k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1142.79/1143.11 c 958s| 2280k| 18617 | 7064k| 3.1 | 18M| 41 | - | 120 |1840 | 120 | 19 | 18 | 152k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1147.69/1148.03 c 962s| 2290k| 18538 | 7094k| 3.1 | 18M| 41 | - | 120 |1881 | 120 | 19 | 18 | 153k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1152.59/1152.97 c 966s| 2300k| 18231 | 7123k| 3.1 | 18M| 41 | - | 120 |1900 | 120 | 19 | 18 | 154k| 15k| 0.000000e+00 | 2.000000e+00 | Inf
1157.49/1157.88 c 971s| 2310k| 18682 | 7154k| 3.1 | 18M| 41 | - | 120 |1915 | 120 | 19 | 18 | 154k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1162.48/1162.81 c 975s| 2320k| 18812 | 7184k| 3.1 | 18M| 41 | 5 | 120 |1957 | 120 | 19 | 18 | 155k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1167.49/1167.89 c 979s| 2330k| 18147 | 7214k| 3.1 | 18M| 41 | 5 | 120 |1867 | 120 | 19 | 18 | 156k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1172.48/1172.82 c 983s| 2340k| 18137 | 7243k| 3.1 | 18M| 41 | 5 | 120 |1910 | 120 | 19 | 18 | 157k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1177.48/1177.86 c 987s| 2350k| 17650 | 7273k| 3.1 | 18M| 41 | 5 | 120 |1809 | 120 | 19 | 18 | 157k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1182.48/1182.85 c 991s| 2360k| 17319 | 7303k| 3.1 | 17M| 41 | 5 | 120 |1877 | 120 | 19 | 18 | 158k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1187.38/1187.78 c 996s| 2370k| 17350 | 7333k| 3.1 | 18M| 41 | - | 120 |1927 | 120 | 19 | 18 | 159k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1192.48/1192.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.48/1192.81 c 1000s| 2380k| 17096 | 7363k| 3.1 | 17M| 41 | 5 | 120 |1867 | 120 | 19 | 18 | 159k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1197.37/1197.79 c 1004s| 2390k| 16831 | 7393k| 3.1 | 17M| 41 | 5 | 120 |1832 | 120 | 19 | 18 | 160k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1202.28/1202.60 c 1008s| 2400k| 17231 | 7423k| 3.1 | 18M| 41 | - | 120 |1894 | 120 | 19 | 18 | 161k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1207.08/1207.40 c 1012s| 2410k| 17274 | 7451k| 3.1 | 18M| 41 | - | 120 |1909 | 120 | 19 | 18 | 161k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1212.07/1212.48 c 1016s| 2420k| 16768 | 7482k| 3.1 | 17M| 41 | 5 | 120 |1870 | 120 | 19 | 18 | 162k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1217.08/1217.46 c 1021s| 2430k| 16610 | 7513k| 3.1 | 17M| 41 | 5 | 120 |1894 | 120 | 19 | 18 | 163k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1222.08/1222.44 c 1025s| 2440k| 16521 | 7543k| 3.1 | 17M| 41 | 5 | 120 |1935 | 120 | 19 | 18 | 163k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1226.97/1227.31 c 1029s| 2450k| 16388 | 7572k| 3.1 | 17M| 41 | 5 | 120 |1955 | 120 | 19 | 18 | 164k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1231.87/1232.28 c 1033s| 2460k| 16223 | 7602k| 3.1 | 17M| 41 | 5 | 120 |1950 | 120 | 19 | 18 | 165k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1236.77/1237.15 c 1037s| 2470k| 16418 | 7631k| 3.1 | 17M| 41 | 5 | 120 |2117 | 120 | 19 | 18 | 166k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1241.86/1242.25 c 1041s| 2480k| 16087 | 7661k| 3.1 | 17M| 41 | - | 120 |1935 | 120 | 19 | 18 | 166k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1246.87/1247.20 c 1046s| 2490k| 16077 | 7692k| 3.1 | 17M| 41 | - | 120 |1939 | 120 | 19 | 18 | 167k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1251.66/1252.05 c 1050s| 2500k| 16241 | 7721k| 3.1 | 17M| 41 | - | 120 |2013 | 0 | 0 | 18 | 168k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1256.66/1257.08 c 1054s| 2510k| 16117 | 7751k| 3.1 | 17M| 41 | - | 120 |2059 | 0 | 0 | 18 | 168k| 16k| 0.000000e+00 | 2.000000e+00 | Inf
1261.66/1262.01 c 1058s| 2520k| 16547 | 7781k| 3.1 | 17M| 41 | - | 120 |2151 | 120 | 19 | 18 | 169k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1266.56/1266.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1266.56/1266.95 c 1062s| 2530k| 17004 | 7810k| 3.1 | 18M| 41 | 5 | 120 |2223 | 120 | 19 | 18 | 170k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1271.45/1271.87 c 1066s| 2540k| 17949 | 7840k| 3.1 | 18M| 41 | 5 | 120 |2267 | 120 | 19 | 18 | 171k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1276.46/1276.83 c 1070s| 2550k| 18594 | 7870k| 3.1 | 19M| 41 | 5 | 120 |2331 | 120 | 19 | 18 | 171k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1281.26/1281.69 c 1075s| 2560k| 19681 | 7897k| 3.1 | 19M| 41 | - | 120 |2389 | 120 | 19 | 18 | 172k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1286.26/1286.62 c 1079s| 2570k| 20033 | 7926k| 3.1 | 20M| 41 | 5 | 120 |2299 | 120 | 19 | 18 | 173k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1291.15/1291.59 c 1083s| 2580k| 20144 | 7955k| 3.1 | 20M| 41 | - | 120 |2263 | 120 | 19 | 18 | 173k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1296.25/1296.64 c 1087s| 2590k| 19944 | 7984k| 3.1 | 20M| 41 | 5 | 120 |2271 | 120 | 19 | 18 | 174k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1301.25/1301.62 c 1091s| 2600k| 20040 | 8012k| 3.1 | 20M| 41 | - | 120 |2251 | 120 | 19 | 18 | 175k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1306.15/1306.53 c 1096s| 2610k| 20767 | 8040k| 3.1 | 21M| 41 | 5 | 120 |2237 | 120 | 19 | 18 | 175k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1311.05/1311.45 c 1100s| 2620k| 21424 | 8069k| 3.1 | 21M| 41 | - | 120 |2247 | 120 | 19 | 18 | 176k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1315.95/1316.35 c 1104s| 2630k| 22569 | 8098k| 3.1 | 22M| 41 | 5 | 120 |2266 | 120 | 19 | 18 | 177k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1321.05/1321.42 c 1108s| 2640k| 23196 | 8128k| 3.1 | 22M| 41 | - | 120 |2282 | 120 | 19 | 18 | 177k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1325.84/1326.29 c 1112s| 2650k| 23871 | 8157k| 3.1 | 23M| 41 | 5 | 120 |2356 | 120 | 19 | 18 | 178k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1330.94/1331.34 c 1117s| 2660k| 24284 | 8186k| 3.1 | 23M| 41 | 5 | 120 |2239 | 120 | 19 | 18 | 179k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1336.05/1336.40 c 1121s| 2670k| 24258 | 8215k| 3.1 | 23M| 41 | - | 120 |2253 | 120 | 19 | 18 | 179k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1340.94/1341.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.94/1341.37 c 1125s| 2680k| 24731 | 8245k| 3.1 | 24M| 41 | 5 | 120 |2264 | 120 | 19 | 18 | 180k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1345.94/1346.36 c 1129s| 2690k| 25410 | 8276k| 3.1 | 24M| 41 | 5 | 120 |2301 | 120 | 19 | 18 | 180k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1350.94/1351.38 c 1134s| 2700k| 25463 | 8306k| 3.1 | 24M| 41 | - | 120 |2264 | 120 | 19 | 18 | 181k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1356.04/1356.43 c 1138s| 2710k| 25567 | 8335k| 3.1 | 25M| 41 | 5 | 120 |2287 | 120 | 19 | 18 | 182k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1361.14/1361.52 c 1142s| 2720k| 25302 | 8364k| 3.1 | 24M| 41 | 5 | 120 |2234 | 120 | 19 | 18 | 182k| 17k| 0.000000e+00 | 2.000000e+00 | Inf
1366.24/1366.63 c 1147s| 2730k| 25012 | 8394k| 3.1 | 24M| 41 | 5 | 120 |2236 | 120 | 19 | 18 | 183k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1371.53/1371.93 c 1151s| 2740k| 24322 | 8423k| 3.1 | 24M| 41 | 5 | 120 |2189 | 120 | 19 | 18 | 184k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1376.53/1376.93 c 1155s| 2750k| 24666 | 8452k| 3.1 | 24M| 41 | - | 120 |2206 | 120 | 19 | 18 | 184k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1381.44/1381.81 c 1159s| 2760k| 25421 | 8481k| 3.1 | 25M| 41 | 5 | 120 |2229 | 120 | 19 | 18 | 185k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1386.33/1386.72 c 1163s| 2770k| 25710 | 8510k| 3.1 | 25M| 41 | 5 | 120 |2248 | 120 | 19 | 18 | 185k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1391.23/1391.68 c 1168s| 2780k| 25852 | 8540k| 3.1 | 25M| 41 | 5 | 120 |2255 | 120 | 19 | 18 | 186k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1396.22/1396.67 c 1172s| 2790k| 25520 | 8568k| 3.1 | 25M| 41 | 5 | 120 |2233 | 120 | 19 | 18 | 187k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1401.32/1401.71 c 1176s| 2800k| 25267 | 8597k| 3.1 | 25M| 41 | - | 120 |2156 | 120 | 19 | 18 | 187k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1406.33/1406.79 c 1180s| 2810k| 24927 | 8625k| 3.1 | 25M| 41 | 5 | 120 |2219 | 120 | 19 | 18 | 188k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1411.53/1411.95 c 1185s| 2820k| 24619 | 8654k| 3.1 | 25M| 41 | - | 120 |2180 | 0 | 0 | 18 | 189k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1416.62/1417.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.62/1417.07 c 1189s| 2830k| 24284 | 8682k| 3.1 | 25M| 41 | 5 | 120 |2206 | 120 | 19 | 18 | 189k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1421.93/1422.32 c 1194s| 2840k| 23685 | 8712k| 3.1 | 24M| 41 | - | 120 |2172 | 120 | 19 | 18 | 190k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1427.12/1427.55 c 1198s| 2850k| 23025 | 8740k| 3.1 | 24M| 41 | 5 | 120 |2199 | 120 | 19 | 18 | 191k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1432.22/1432.67 c 1202s| 2860k| 22826 | 8769k| 3.1 | 24M| 41 | - | 120 |2219 | 0 | 0 | 18 | 192k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1437.23/1437.62 c 1207s| 2870k| 23747 | 8800k| 3.1 | 24M| 41 | - | 120 |2226 | 120 | 19 | 18 | 192k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1442.12/1442.59 c 1211s| 2880k| 24357 | 8830k| 3.1 | 25M| 41 | - | 120 |2236 | 120 | 19 | 18 | 193k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1447.22/1447.60 c 1215s| 2890k| 24590 | 8859k| 3.1 | 25M| 41 | - | 120 |2266 | 120 | 19 | 18 | 194k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1452.21/1452.67 c 1219s| 2900k| 24530 | 8888k| 3.1 | 25M| 41 | 5 | 120 |2235 | 120 | 19 | 18 | 194k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1457.32/1457.78 c 1224s| 2910k| 24201 | 8919k| 3.1 | 25M| 41 | 5 | 120 |2221 | 120 | 19 | 18 | 195k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1462.41/1462.89 c 1228s| 2920k| 24025 | 8949k| 3.1 | 25M| 41 | - | 120 |2284 | 0 | 0 | 18 | 195k| 18k| 0.000000e+00 | 2.000000e+00 | Inf
1467.41/1467.89 c 1232s| 2930k| 23889 | 8978k| 3.1 | 25M| 41 | 5 | 120 |2307 | 120 | 19 | 18 | 196k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1472.52/1472.95 c 1236s| 2940k| 23635 | 9006k| 3.1 | 25M| 41 | 5 | 120 |2298 | 120 | 19 | 18 | 197k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1477.71/1478.10 c 1241s| 2950k| 23267 | 9036k| 3.1 | 25M| 41 | 5 | 120 |2304 | 120 | 19 | 18 | 197k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1482.80/1483.25 c 1245s| 2960k| 22872 | 9065k| 3.1 | 25M| 41 | 5 | 120 |2312 | 120 | 19 | 18 | 198k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1488.11/1488.57 c 1250s| 2970k| 22302 | 9095k| 3.1 | 24M| 41 | - | 120 |2322 | 0 | 0 | 18 | 199k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1493.31/1493.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.31/1493.72 c 1254s| 2980k| 21807 | 9124k| 3.1 | 24M| 41 | 5 | 120 |2343 | 120 | 19 | 18 | 200k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1498.81/1499.21 c 1259s| 2990k| 20996 | 9154k| 3.1 | 23M| 41 | - | 120 |2268 | 0 | 0 | 18 | 200k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1503.70/1504.16 c 1263s| 3000k| 21549 | 9184k| 3.1 | 23M| 41 | 5 | 120 |2319 | 120 | 19 | 18 | 201k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1508.81/1509.25 c 1267s| 3010k| 21066 | 9214k| 3.1 | 23M| 41 | - | 120 |2319 | 120 | 19 | 18 | 202k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1514.21/1514.62 c 1272s| 3020k| 20056 | 9243k| 3.1 | 22M| 41 | - | 120 |2292 | 120 | 19 | 18 | 202k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1519.30/1519.76 c 1276s| 3030k| 20358 | 9274k| 3.1 | 22M| 41 | 5 | 120 |2321 | 120 | 19 | 18 | 203k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1524.30/1524.70 c 1280s| 3040k| 20524 | 9303k| 3.1 | 23M| 41 | - | 120 |2346 | 120 | 19 | 18 | 204k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1529.20/1529.70 c 1284s| 3050k| 20712 | 9333k| 3.1 | 23M| 41 | 5 | 120 |2367 | 120 | 19 | 18 | 204k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1534.19/1534.60 c 1288s| 3060k| 20871 | 9362k| 3.1 | 23M| 41 | - | 120 |2422 | 120 | 19 | 18 | 205k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1539.09/1539.58 c 1292s| 3070k| 20534 | 9390k| 3.1 | 23M| 41 | - | 120 |2360 | 120 | 19 | 18 | 206k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1544.09/1544.58 c 1297s| 3080k| 20225 | 9419k| 3.1 | 23M| 41 | - | 120 |2405 | 120 | 19 | 18 | 206k| 19k| 0.000000e+00 | 2.000000e+00 | Inf
1549.19/1549.63 c 1301s| 3090k| 20599 | 9448k| 3.1 | 23M| 41 | 5 | 120 |2457 | 120 | 19 | 18 | 207k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1554.09/1554.55 c 1305s| 3100k| 20662 | 9476k| 3.1 | 23M| 41 | - | 120 |2503 | 120 | 19 | 18 | 207k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1559.29/1559.73 c 1309s| 3110k| 20566 | 9505k| 3.1 | 23M| 41 | - | 120 |2439 | 120 | 19 | 18 | 208k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1564.28/1564.78 c 1314s| 3120k| 20636 | 9536k| 3.1 | 23M| 41 | 5 | 120 |2469 | 120 | 19 | 18 | 209k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1569.39/1569.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.39/1569.83 c 1318s| 3130k| 20690 | 9565k| 3.1 | 23M| 41 | - | 120 |2480 | 120 | 19 | 18 | 209k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1574.48/1575.00 c 1322s| 3140k| 21368 | 9596k| 3.1 | 24M| 41 | - | 120 |2515 | 120 | 19 | 18 | 210k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1579.68/1580.16 c 1327s| 3150k| 22062 | 9627k| 3.1 | 24M| 41 | 5 | 120 |2548 | 120 | 19 | 18 | 210k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1584.78/1585.28 c 1331s| 3160k| 22363 | 9657k| 3.1 | 24M| 41 | 5 | 120 |2566 | 120 | 19 | 18 | 211k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1589.88/1590.39 c 1335s| 3170k| 22752 | 9686k| 3.1 | 25M| 41 | - | 120 |2594 | 120 | 19 | 18 | 212k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1595.08/1595.58 c 1340s| 3180k| 22770 | 9716k| 3.1 | 25M| 41 | 5 | 120 |2582 | 120 | 19 | 18 | 213k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1600.28/1600.72 c 1344s| 3190k| 22535 | 9744k| 3.1 | 25M| 41 | - | 120 |2560 | 120 | 19 | 18 | 213k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1605.48/1605.99 c 1349s| 3200k| 22214 | 9775k| 3.1 | 25M| 41 | 5 | 120 |2550 | 120 | 19 | 18 | 214k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1610.87/1611.37 c 1353s| 3210k| 21427 | 9804k| 3.1 | 24M| 41 | 5 | 120 |2545 | 120 | 19 | 18 | 215k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1615.97/1616.42 c 1357s| 3220k| 21940 | 9833k| 3.1 | 25M| 41 | - | 120 |2574 | 120 | 19 | 18 | 215k| 20k| 0.000000e+00 | 2.000000e+00 | Inf
1621.37/1621.81 c 1362s| 3230k| 21013 | 9861k| 3.1 | 24M| 41 | - | 120 |2514 | 0 | 0 | 18 | 216k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1626.48/1626.96 c 1366s| 3240k| 20899 | 9891k| 3.1 | 24M| 41 | 5 | 120 |2546 | 120 | 19 | 18 | 217k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1631.57/1632.08 c 1371s| 3250k| 20944 | 9920k| 3.1 | 24M| 41 | 5 | 120 |2502 | 120 | 19 | 18 | 217k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1636.56/1637.09 c 1375s| 3260k| 21054 | 9950k| 3.1 | 24M| 41 | - | 120 |2501 | 120 | 19 | 18 | 218k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1641.67/1642.13 c 1379s| 3270k| 20979 | 9979k| 3.1 | 24M| 41 | - | 120 |2538 | 120 | 19 | 18 | 219k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1646.66/1647.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.66/1647.14 c 1383s| 3280k| 21382 | 10009k| 3.1 | 24M| 41 | 5 | 120 |2606 | 120 | 19 | 18 | 219k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1651.67/1652.18 c 1388s| 3290k| 21441 | 10039k| 3.1 | 24M| 41 | 5 | 120 |2637 | 120 | 19 | 18 | 220k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1656.86/1657.33 c 1392s| 3300k| 20966 | 10067k| 3.1 | 24M| 41 | 5 | 120 |2650 | 120 | 19 | 18 | 220k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1661.96/1662.41 c 1396s| 3310k| 21185 | 10097k| 3.1 | 24M| 41 | - | 120 |2588 | 120 | 19 | 18 | 221k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1666.96/1667.47 c 1400s| 3320k| 21768 | 10129k| 3.1 | 25M| 41 | - | 120 |2570 | 120 | 19 | 18 | 221k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1672.16/1672.65 c 1405s| 3330k| 21755 | 10161k| 3.1 | 25M| 41 | 5 | 120 |2560 | 120 | 19 | 18 | 222k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1677.16/1677.66 c 1409s| 3340k| 21916 | 10190k| 3.1 | 25M| 41 | 5 | 120 |2616 | 120 | 19 | 18 | 222k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1682.35/1682.84 c 1413s| 3350k| 21521 | 10220k| 3.1 | 25M| 41 | 5 | 120 |2597 | 120 | 19 | 18 | 223k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1687.45/1687.96 c 1418s| 3360k| 21212 | 10250k| 3.1 | 24M| 41 | - | 120 |2625 | 120 | 19 | 18 | 223k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1692.46/1692.97 c 1422s| 3370k| 21333 | 10279k| 3.1 | 25M| 41 | 5 | 120 |2593 | 120 | 19 | 18 | 224k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1697.65/1698.14 c 1426s| 3380k| 21058 | 10308k| 3.0 | 24M| 41 | - | 120 |2460 | 120 | 19 | 18 | 225k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1702.75/1703.21 c 1430s| 3390k| 21425 | 10339k| 3.0 | 24M| 41 | 5 | 120 |2467 | 120 | 19 | 18 | 225k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1707.95/1708.49 c 1435s| 3400k| 20957 | 10369k| 3.0 | 24M| 41 | - | 120 |2270 | 120 | 19 | 18 | 226k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1712.85/1713.38 c 1439s| 3410k| 21489 | 10398k| 3.0 | 25M| 41 | - | 120 |2340 | 120 | 19 | 18 | 227k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1717.95/1718.46 c 1443s| 3420k| 20993 | 10426k| 3.0 | 24M| 41 | - | 120 |2274 | 120 | 19 | 18 | 228k| 21k| 0.000000e+00 | 2.000000e+00 | Inf
1722.94/1723.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.94/1723.44 c 1448s| 3430k| 21271 | 10456k| 3.0 | 24M| 41 | 5 | 120 |2364 | 120 | 19 | 18 | 228k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1728.04/1728.55 c 1452s| 3440k| 21131 | 10486k| 3.0 | 24M| 41 | 5 | 120 |2213 | 120 | 19 | 18 | 229k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1733.05/1733.51 c 1456s| 3450k| 21604 | 10516k| 3.0 | 25M| 41 | 5 | 120 |2264 | 120 | 19 | 18 | 230k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1737.84/1738.33 c 1460s| 3460k| 22734 | 10545k| 3.0 | 25M| 41 | - | 120 |2288 | 0 | 0 | 18 | 230k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1742.74/1743.22 c 1464s| 3470k| 23432 | 10574k| 3.0 | 26M| 41 | 5 | 120 |2306 | 120 | 19 | 18 | 231k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1747.64/1748.14 c 1468s| 3480k| 24186 | 10604k| 3.0 | 26M| 41 | 5 | 120 |2284 | 120 | 19 | 18 | 232k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1752.54/1753.09 c 1473s| 3490k| 24602 | 10633k| 3.0 | 27M| 41 | 5 | 120 |2294 | 120 | 19 | 18 | 232k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1757.64/1758.18 c 1477s| 3500k| 24706 | 10663k| 3.0 | 27M| 41 | 5 | 120 |2283 | 120 | 19 | 18 | 233k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1762.74/1763.22 c 1481s| 3510k| 24724 | 10692k| 3.0 | 27M| 41 | - | 120 |2298 | 0 | 0 | 18 | 234k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1767.83/1768.31 c 1485s| 3520k| 24465 | 10720k| 3.0 | 27M| 41 | 5 | 120 |2340 | 120 | 19 | 18 | 234k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1773.03/1773.52 c 1490s| 3530k| 24035 | 10750k| 3.0 | 27M| 41 | - | 120 |2274 | 120 | 19 | 18 | 235k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1778.04/1778.51 c 1494s| 3540k| 24452 | 10779k| 3.0 | 27M| 41 | 5 | 120 |2398 | 120 | 19 | 18 | 236k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1783.03/1783.54 c 1498s| 3550k| 24848 | 10810k| 3.0 | 28M| 41 | - | 120 |2402 | 0 | 0 | 18 | 236k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1787.93/1788.46 c 1502s| 3560k| 25288 | 10839k| 3.0 | 28M| 41 | - | 120 |2464 | 120 | 19 | 18 | 237k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1792.93/1793.42 c 1507s| 3570k| 25217 | 10867k| 3.0 | 28M| 41 | - | 120 |2481 | 120 | 19 | 18 | 238k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1798.12/1798.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1798.12/1798.61 c 1511s| 3580k| 24921 | 10896k| 3.0 | 28M| 41 | - | 120 |2291 | 120 | 19 | 18 | 239k| 22k| 0.000000e+00 | 2.000000e+00 | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1512.56
1800.03/1800.50 c Solving Nodes : 3583742
1800.03/1800.50 c Primal Bound : +2.00000000000000e+00 (27 solutions)
1800.03/1800.50 c Dual Bound : +0.00000000000000e+00
1800.03/1800.50 c Gap : infinite
1800.03/1800.50 s SATISFIABLE
1800.03/1800.50 v -x120 x119 x118 -x117 x116 x115 -x114 x113 x112 -x111 x110 -x109 x108 -x107 -x106 -x105 x104 x103 x102 x101 x100 x99 -x98 -x97
1800.03/1800.50 v x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 x85 x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.03/1800.50 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
1800.03/1800.50 v -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1800.03/1800.50 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time : 1512.56
1800.03/1800.50 c Original Problem :
1800.03/1800.50 c Problem name : HOME/instance-2665666-1276600073.opb
1800.03/1800.50 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.50 c Constraints : 10 initial, 10 maximal
1800.03/1800.50 c Presolved Problem :
1800.03/1800.50 c Problem name : t_HOME/instance-2665666-1276600073.opb
1800.03/1800.50 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.50 c Constraints : 5 initial, 2704 maximal
1800.03/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c linear : 0.01 0 0 0 0 0 5 0 0
1800.03/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c root node : - 70 - - 70 - - - -
1800.03/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.50 c integral : 0 0 0 1833291 0 6423 14162 0 0 3625448
1800.03/1800.50 c linear : 5+ 7 4521902 0 0 411605 3180199 0 0 0
1800.03/1800.50 c logicor : 0+ 0 2457166 0 0 15105 148241 0 0 0
1800.03/1800.50 c countsols : 0 0 0 11 0 0 0 0 0 0
1800.03/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.50 c integral : 26.64 0.00 0.00 26.64 0.00
1800.03/1800.50 c linear : 218.34 0.00 218.34 0.00 0.00
1800.03/1800.50 c logicor : 64.40 0.00 64.40 0.00 0.00
1800.03/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.50 c vbounds : 2.48 2 0 0
1800.03/1800.50 c rootredcost : 2.01 26 0 70
1800.03/1800.50 c pseudoobj : 27.00 4522128 412 103688
1800.03/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.50 c propagation : 21.74 427122 133780 194923 33.3 0 0.0 -
1800.03/1800.50 c infeasible LP : 5.70 97164 97076 106961 17.1 33 26.6 0
1800.03/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.50 c pseudo solution : 0.00 1 1 1 1.0 0 0.0 -
1800.03/1800.50 c applied globally : - - - 134400 19.4 - - -
1800.03/1800.50 c applied locally : - - - 104876 34.6 - - -
1800.03/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.50 c cut pool : 0.00 5 - - 6 - (maximal pool size: 50)
1800.03/1800.50 c redcost : 15.83 1931393 0 1371738 0 0
1800.03/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.50 c intobj : 0.00 0 0 0 0 0
1800.03/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.50 c gomory : 0.00 6 0 0 0 0
1800.03/1800.50 c strongcg : 0.00 6 0 0 24 0
1800.03/1800.50 c cmir : 0.01 6 0 0 12 0
1800.03/1800.50 c flowcover : 0.04 6 0 0 19 0
1800.03/1800.50 c clique : 0.00 1 0 0 0 0
1800.03/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.50 c mcf : 0.00 1 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.08 1 0 0 0 104
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 23.98 1833280 6423 14162 0 0 3625448
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.00 - 11
1800.03/1800.51 c pseudo solutions : 0.00 - 0
1800.03/1800.51 c oneopt : 2.38 25 0
1800.03/1800.51 c crossover : 3.24 5 1
1800.03/1800.51 c fracdiving : 3.18 3945 3
1800.03/1800.51 c linesearchdiving : 3.01 3945 2
1800.03/1800.51 c veclendiving : 3.25 3945 1
1800.03/1800.51 c pscostdiving : 3.06 3946 0
1800.03/1800.51 c coefdiving : 3.67 3947 2
1800.03/1800.51 c guideddiving : 3.00 3950 4
1800.03/1800.51 c rootsoldiving : 4.36 2774 0
1800.03/1800.51 c objpscostdiving : 1.99 2775 0
1800.03/1800.51 c trivial : 0.00 2 0
1800.03/1800.51 c simplerounding : 1.31 0 0
1800.03/1800.51 c zirounding : 1.85 1000 0
1800.03/1800.51 c rounding : 2.05 19670 0
1800.03/1800.51 c shifting : 18.03 24374 2
1800.03/1800.51 c intshifting : 0.21 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c feaspump : 0.24 1 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.13 1 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 1.42 0 0
1800.03/1800.51 c trysol : 2.36 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 758.98 3312305 10821870 3.27 14258.44
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 11.27 39177 86625 2.21 7686.34
1800.03/1800.51 c strong branching : 5.93 22913 44742 1.95 7545.03
1800.03/1800.51 c (at root node) : - 9 326 36.22 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 3583742
1800.03/1800.51 c nodes (total) : 3583742
1800.03/1800.51 c nodes left : 24932
1800.03/1800.51 c max depth : 41
1800.03/1800.51 c max depth (total): 41
1800.03/1800.51 c backtracks : 939555 (26.2%)
1800.03/1800.51 c delayed cutoffs : 14481
1800.03/1800.51 c repropagations : 166460 (161718 domain reductions, 13207 cutoffs)
1800.03/1800.51 c avg switch length: 4.48
1800.03/1800.51 c switching time : 126.52
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 27 (26 improvements)
1800.03/1800.51 c First Solution : +9.22000000000000e+02 (in run 1, after 1 nodes, 0.09 seconds, depth 0, found by <trysol>)
1800.03/1800.51 c Primal Bound : +2.00000000000000e+00 (in run 1, after 11227 nodes, 10.01 seconds, depth 30, found by <relaxation>)
1800.03/1800.51 c Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Root Iterations : 60
1800.14/1800.69 c Time complete: 1800.23.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665666-1276600073/watcher-2665666-1276600073 -o /tmp/evaluation-result-2665666-1276600073/solver-2665666-1276600073 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665666-1276600073.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/106 2968
/proc/meminfo: memFree=1780752/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=8260 CPUtime=0
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 1013 0 0 0 0 0 0 0 20 0 1 0 35593684 8458240 934 1992294400 4194304 9819077 140736798590880 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2968/statm: 2322 943 371 1374 0 943 0
[startup+0.0942541 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 2968
/proc/meminfo: memFree=1780752/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=22256 CPUtime=0.08
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 4891 0 0 0 7 1 0 0 20 0 1 0 35593684 22790144 3935 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5564 3935 673 1374 0 4185 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22256
[startup+0.101254 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 2968
/proc/meminfo: memFree=1780752/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=22256 CPUtime=0.09
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 4894 0 0 0 8 1 0 0 20 0 1 0 35593684 22790144 3938 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5564 3938 673 1374 0 4185 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22256
[startup+0.301274 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 2968
/proc/meminfo: memFree=1780752/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=23992 CPUtime=0.29
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 9886 0 0 0 24 5 0 0 20 0 1 0 35593684 24567808 4269 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5998 4269 714 1374 0 4619 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23992
[startup+0.701314 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 2968
/proc/meminfo: memFree=1780752/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=16828 CPUtime=0.7
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 17508 0 0 0 55 15 0 0 20 0 1 0 35593684 17231872 2848 1992294400 4194304 9819077 140736798590880 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 4287 2850 723 1374 0 2908 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 16828
[startup+1.50139 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 2969
/proc/meminfo: memFree=1771560/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=16460 CPUtime=1.49
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 28588 0 0 0 124 25 0 0 22 0 1 0 35593684 16855040 2850 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 4115 2850 726 1374 0 2736 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16460
[startup+3.10055 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 2969
/proc/meminfo: memFree=1765732/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=16956 CPUtime=3.09
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 52075 0 0 0 257 52 0 0 25 0 1 0 35593684 17362944 2933 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 4239 2933 726 1374 0 2860 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16956
[startup+6.30088 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 2969
/proc/meminfo: memFree=1770320/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=26396 CPUtime=6.29
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 88939 0 0 0 534 95 0 0 25 0 1 0 35593684 27029504 4805 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 6599 4805 727 1374 0 5220 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26396
[startup+12.7005 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 2969
/proc/meminfo: memFree=1767476/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=20260 CPUtime=12.69
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 165110 0 0 0 1081 188 0 0 25 0 1 0 35593684 20746240 3812 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 4905 3808 727 1374 0 3526 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20260
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2969
/proc/meminfo: memFree=1766856/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=21172 CPUtime=25.49
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 325716 0 0 0 2159 390 0 0 25 0 1 0 35593684 21680128 3986 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5293 3986 727 1374 0 3914 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21172
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2969
/proc/meminfo: memFree=1765864/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=21856 CPUtime=51.07
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 639395 0 0 0 4323 784 0 0 25 0 1 0 35593684 22380544 4170 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5464 4170 727 1374 0 4085 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21856
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2971
/proc/meminfo: memFree=1765616/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=21856 CPUtime=102.26
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 1288901 0 0 0 8603 1623 0 0 25 0 1 0 35593684 22380544 4206 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5464 4206 727 1374 0 4085 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21856
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2973
/proc/meminfo: memFree=1765368/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=21324 CPUtime=162.25
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 2058300 0 0 0 13626 2599 0 0 25 0 1 0 35593684 21835776 4214 1992294400 4194304 9819077 140736798590880 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5451 4217 727 1374 0 4072 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 21324
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2975
/proc/meminfo: memFree=1765368/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=21988 CPUtime=222.23
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 2821704 0 0 0 18652 3571 0 0 25 0 1 0 35593684 22515712 4274 1992294400 4194304 9819077 140736798590880 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5537 4275 727 1374 0 4158 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 21988
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2975
/proc/meminfo: memFree=1764996/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=22384 CPUtime=282.22
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 3566061 0 0 0 23688 4534 0 0 25 0 1 0 35593684 22921216 4342 1992294400 4194304 9819077 140736798590880 18446744073709551615 5434202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5596 4342 727 1374 0 4217 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 22384
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2977
/proc/meminfo: memFree=1764872/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=22480 CPUtime=342.2
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 4317974 0 0 0 28726 5494 0 0 25 0 1 0 35593684 23019520 4348 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5620 4348 727 1374 0 4241 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 22480
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2979
/proc/meminfo: memFree=1764748/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=22480 CPUtime=402.19
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 5070722 0 0 0 33746 6473 0 0 25 0 1 0 35593684 23019520 4348 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5620 4348 727 1374 0 4241 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 22480
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2981
/proc/meminfo: memFree=1764376/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=22480 CPUtime=462.17
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 5825528 0 0 0 38773 7444 0 0 25 0 1 0 35593684 23019520 4361 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5620 4361 727 1374 0 4241 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 22480
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2986
/proc/meminfo: memFree=1763508/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=22480 CPUtime=522.15
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 6590482 0 0 0 43770 8445 0 0 25 0 1 0 35593684 23019520 4361 1992294400 4194304 9819077 140736798590880 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5620 4361 727 1374 0 4241 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 22480
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2986
/proc/meminfo: memFree=1763632/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=22480 CPUtime=582.13
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 7354280 0 0 0 48788 9425 0 0 25 0 1 0 35593684 23019520 4361 1992294400 4194304 9819077 140736798590880 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5620 4361 727 1374 0 4241 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 22480
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2988
/proc/meminfo: memFree=1763632/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=22804 CPUtime=642.13
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 8117442 0 0 0 53807 10406 0 0 25 0 1 0 35593684 23351296 4442 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 5541 4437 727 1374 0 4162 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 22804
[startup+702.302 s]
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2994
/proc/meminfo: memFree=1757804/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=28868 CPUtime=882.06
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 11082319 0 0 0 73896 14310 0 0 25 0 1 0 35593684 29560832 5960 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 7057 5955 727 1374 0 5678 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 28868
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2996
/proc/meminfo: memFree=1756440/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=30228 CPUtime=942.04
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 11821415 0 0 0 78952 15252 0 0 25 0 1 0 35593684 30953472 6304 1992294400 4194304 9819077 140736798590880 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 7557 6304 727 1374 0 6178 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 30228
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2998
/proc/meminfo: memFree=1755820/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=30744 CPUtime=1002.03
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 12553368 0 0 0 83976 16227 0 0 25 0 1 0 35593684 31481856 6433 1992294400 4194304 9819077 140736798590880 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 7686 6433 727 1374 0 6307 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 30744
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3000
/proc/meminfo: memFree=1755076/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=31588 CPUtime=1062.01
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 13283435 0 0 0 89022 17179 0 0 25 0 1 0 35593684 32346112 6647 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 7897 6647 727 1374 0 6518 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 31588
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3002
/proc/meminfo: memFree=1751852/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=34648 CPUtime=1122
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 14018195 0 0 0 94066 18134 0 0 25 0 1 0 35593684 35479552 7402 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 8662 7402 727 1374 0 7283 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 34648
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3002
/proc/meminfo: memFree=1750364/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=36004 CPUtime=1181.98
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 14749553 0 0 0 99102 19096 0 0 25 0 1 0 35593684 36868096 7755 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 9001 7755 727 1374 0 7622 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 36004
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3004
/proc/meminfo: memFree=1750116/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=36004 CPUtime=1241.97
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 15478348 0 0 0 104145 20052 0 0 25 0 1 0 35593684 36868096 7755 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 9001 7755 727 1374 0 7622 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 36004
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3006
/proc/meminfo: memFree=1748380/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=37560 CPUtime=1301.96
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 16193327 0 0 0 109208 20988 0 0 25 0 1 0 35593684 38461440 8149 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 9390 8149 727 1374 0 8011 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 37560
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3008
/proc/meminfo: memFree=1743916/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=41928 CPUtime=1361.94
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 16898829 0 0 0 114290 21904 0 0 25 0 1 0 35593684 42934272 9270 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 10482 9270 727 1374 0 9103 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 41928
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3010
/proc/meminfo: memFree=1742800/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=42964 CPUtime=1421.93
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 17597609 0 0 0 119354 22839 0 0 25 0 1 0 35593684 43995136 9529 1992294400 4194304 9819077 140736798590880 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 10741 9529 727 1374 0 9362 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 42964
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3010
/proc/meminfo: memFree=1742676/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=42964 CPUtime=1481.9
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 18298483 0 0 0 124424 23766 0 0 25 0 1 0 35593684 43995136 9529 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 10741 9529 727 1374 0 9362 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 42964
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3012
/proc/meminfo: memFree=1742676/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=42804 CPUtime=1541.9
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 19001230 0 0 0 129477 24713 0 0 25 0 1 0 35593684 43831296 9528 1992294400 4194304 9819077 140736798590880 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 10741 9529 727 1374 0 9362 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 42804
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3014
/proc/meminfo: memFree=1742552/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=43128 CPUtime=1601.88
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 19705163 0 0 0 134548 25640 0 0 25 0 1 0 35593684 44163072 9552 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 10782 9552 727 1374 0 9403 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 43128
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3016
/proc/meminfo: memFree=1741684/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=43440 CPUtime=1661.86
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 20400476 0 0 0 139602 26584 0 0 25 0 1 0 35593684 44482560 9702 1992294400 4194304 9819077 140736798590880 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 10900 9703 727 1374 0 9521 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 43440
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3018
/proc/meminfo: memFree=1741560/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=43708 CPUtime=1721.85
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 21109056 0 0 0 144657 27528 0 0 25 0 1 0 35593684 44756992 9706 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 10927 9706 727 1374 0 9548 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 43708
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3018
/proc/meminfo: memFree=1739576/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=45408 CPUtime=1781.83
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 21820597 0 0 0 149719 28464 0 0 25 0 1 0 35593684 46497792 10124 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 11352 10124 727 1374 0 9973 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 45408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3020
/proc/meminfo: memFree=1738336/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=46684 CPUtime=1800.03
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 22036505 0 0 0 151256 28747 0 0 25 0 1 0 35593684 47804416 10442 1992294400 4194304 9819077 140736798590880 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2968/statm: 11671 10442 727 1374 0 10292 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 46684
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3021
/proc/meminfo: memFree=1738328/2059040 swapFree=4134608/4192956
[pid=2968] ppid=2966 vsize=46684 CPUtime=1800.14
/proc/2968/stat : 2968 (pbscip.linux.x8) R 2966 2968 2403 0 -1 4202496 22036511 0 0 0 151267 28747 0 0 25 0 1 0 35593684 47804416 10443 1992294400 4194304 9819077 140736798590880 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2968/statm: 11671 10443 728 1374 0 10292 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 46684
Child status: 0
Real time (s): 1800.7
CPU time (s): 1800.23
CPU user time (s): 1512.75
CPU system time (s): 287.481
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 47804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1512.75
system time used= 287.481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22036515
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= 4957
runsolver used 2.90956 second user time and 8.59669 second system time
The end