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-2665657-1276602148.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 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, 6 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/146 (69.2%) - 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, 6 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 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.03 c 6 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 | 31 | - | 488k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.15 o 757
0.10/0.15 c y 0.1s| 1 | 0 | 31 | - | 531k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.10/0.16 c 0.1s| 1 | 0 | 42 | - | 713k| 0 | 11 | 146 | 114 | 146 | 12 | 6 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.10/0.17 c 0.1s| 1 | 0 | 54 | - | 765k| 0 | 14 | 146 | 114 | 146 | 17 | 11 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.10/0.19 c 0.2s| 1 | 0 | 69 | - | 810k| 0 | 15 | 146 | 114 | 146 | 20 | 14 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 81 | - | 841k| 0 | 15 | 146 | 114 | 146 | 23 | 17 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 88 | - | 869k| 0 | 16 | 146 | 114 | 146 | 26 | 20 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 97 | - | 896k| 0 | 17 | 146 | 114 | 146 | 29 | 23 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.29/0.34 c 0.3s| 1 | 2 | 97 | - | 897k| 0 | 17 | 146 | 114 | 146 | 29 | 23 | 0 | 12 | 0.000000e+00 | 7.570000e+02 | Inf
0.49/0.59 o 244
0.49/0.59 c f 0.5s| 76 | 77 | 532 | 5.8 | 992k| 37 | - | 146 | 114 | 146 | 17 | 23 | 5 | 286 | 0.000000e+00 | 2.440000e+02 | Inf
0.79/0.81 o 241
0.79/0.81 c f 0.7s| 245 | 242 | 1407 | 5.4 |1059k| 49 | - | 146 | 118 | 146 | 17 | 23 | 14 | 431 | 0.000000e+00 | 2.410000e+02 | Inf
0.79/0.89 o 239
0.79/0.89 c * 0.8s| 338 | 332 | 1807 | 5.1 |1103k| 49 | - | 146 | 118 | 146 | 17 | 23 | 15 | 462 | 0.000000e+00 | 2.390000e+02 | Inf
1.10/1.14 o 162
1.10/1.14 c f 1.0s| 577 | 551 | 2922 | 4.9 |1226k| 52 | - | 146 | 118 | 146 | 17 | 23 | 22 | 519 | 0.000000e+00 | 1.620000e+02 | Inf
1.20/1.24 o 161
1.20/1.24 c * 1.1s| 673 | 637 | 3380 | 4.9 |1252k| 52 | - | 146 | 118 | 146 | 17 | 23 | 22 | 534 | 0.000000e+00 | 1.610000e+02 | Inf
1.29/1.33 o 128
1.29/1.33 c f 1.2s| 747 | 698 | 3751 | 4.9 |1305k| 52 | - | 146 | 118 | 146 | 17 | 23 | 25 | 547 | 0.000000e+00 | 1.280000e+02 | Inf
1.29/1.36 o 126
1.29/1.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.36 c * 1.2s| 778 | 723 | 3850 | 4.8 |1302k| 52 | - | 146 | 118 | 146 | 17 | 23 | 25 | 561 | 0.000000e+00 | 1.260000e+02 | Inf
1.29/1.36 o 124
1.29/1.36 c * 1.2s| 779 | 722 | 3850 | 4.8 |1303k| 52 | - | 146 | 118 | 146 | 17 | 23 | 25 | 561 | 0.000000e+00 | 1.240000e+02 | Inf
1.49/1.51 o 87
1.49/1.51 c g 1.3s| 908 | 800 | 4533 | 4.9 |1354k| 52 | - | 146 | 119 | 146 | 17 | 23 | 32 | 588 | 0.000000e+00 | 8.700000e+01 | Inf
5.09/5.15 o 71
5.09/5.15 c f 4.5s| 4244 | 4040 | 22841 | 5.4 |2994k| 52 | - | 146 | 161 | 146 | 17 | 23 | 245 | 678 | 0.000000e+00 | 7.100000e+01 | Inf
5.19/5.22 o 67
5.19/5.22 c o 4.5s| 4339 | 4135 | 23229 | 5.3 |3027k| 52 | 0 | 146 | 161 | 146 | 17 | 23 | 248 | 680 | 0.000000e+00 | 6.700000e+01 | Inf
7.19/7.26 o 66
7.19/7.26 c l 6.3s| 5947 | 5600 | 34433 | 5.8 |3832k| 52 | - | 146 | 161 | 146 | 17 | 23 | 377 | 710 | 0.000000e+00 | 6.600000e+01 | Inf
11.39/11.44 o 64
11.39/11.44 c * 9.9s| 8809 | 7867 | 52552 | 6.0 |5001k| 52 | - | 146 | 47 | 146 | 17 | 23 | 676 | 790 | 0.000000e+00 | 6.400000e+01 | Inf
11.39/11.44 o 62
11.39/11.44 c * 9.9s| 8810 | 7851 | 52552 | 6.0 |4988k| 52 | - | 146 | 47 | 146 | 17 | 23 | 676 | 790 | 0.000000e+00 | 6.200000e+01 | Inf
12.38/12.47 c 10.8s| 10000 | 8869 | 58319 | 5.8 |5444k| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 757 | 842 | 0.000000e+00 | 6.200000e+01 | Inf
12.49/12.56 o 60
12.49/12.56 c *10.9s| 10091 | 8943 | 58846 | 5.8 |5478k| 52 | - | 146 | 48 | 146 | 17 | 23 | 762 | 844 | 0.000000e+00 | 6.000000e+01 | Inf
12.49/12.58 o 58
12.49/12.58 c *10.9s| 10113 | 8936 | 58914 | 5.8 |5462k| 52 | - | 146 | 48 | 146 | 17 | 23 | 762 | 850 | 0.000000e+00 | 5.800000e+01 | Inf
12.49/12.58 o 56
12.49/12.58 c *10.9s| 10115 | 8921 | 58914 | 5.8 |5447k| 52 | - | 146 | 48 | 146 | 17 | 23 | 762 | 853 | 0.000000e+00 | 5.600000e+01 | Inf
13.30/13.37 o 55
13.30/13.37 c *11.6s| 11054 | 9700 | 63058 | 5.7 |5787k| 52 | - | 146 | 52 | 146 | 17 | 23 | 811 | 913 | 0.000000e+00 | 5.500000e+01 | Inf
13.39/13.46 o 53
13.39/13.46 c l11.7s| 11143 | 9748 | 63507 | 5.7 |5808k| 52 | - | 146 | 51 | 146 | 17 | 23 | 820 | 923 | 0.000000e+00 | 5.300000e+01 | Inf
13.39/13.48 o 51
13.39/13.48 c g11.7s| 11164 | 9730 | 63578 | 5.7 |5797k| 52 | - | 146 | 51 | 146 | 17 | 23 | 822 | 939 | 0.000000e+00 | 5.100000e+01 | Inf
13.39/13.49 o 49
13.39/13.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.39/13.49 c l11.7s| 11164 | 9688 | 63578 | 5.7 |5757k| 52 | - | 146 | 51 | 146 | 17 | 23 | 825 | 939 | 0.000000e+00 | 4.900000e+01 | Inf
13.99/14.04 o 48
13.99/14.04 c *12.2s| 11608 | 10033 | 66543 | 5.7 |5902k| 52 | - | 146 | 50 | 146 | 17 | 23 | 864 | 958 | 0.000000e+00 | 4.800000e+01 | Inf
15.19/15.22 o 47
15.19/15.22 c p13.2s| 12255 | 10519 | 70546 | 5.7 |6144k| 52 | - | 146 | 53 | 146 | 17 | 23 | 928 |1005 | 0.000000e+00 | 4.700000e+01 | Inf
15.19/15.27 o 45
15.19/15.27 c *13.2s| 12295 | 10484 | 70813 | 5.8 |6108k| 52 | - | 146 | 53 | 146 | 17 | 23 | 931 |1010 | 0.000000e+00 | 4.500000e+01 | Inf
16.28/16.37 o 43
16.28/16.37 c *14.2s| 13334 | 11176 | 76783 | 5.8 |6455k| 52 | - | 146 | 50 | 146 | 17 | 23 |1054 |1053 | 0.000000e+00 | 4.300000e+01 | Inf
16.28/16.37 o 41
16.28/16.37 c *14.2s| 13335 | 11120 | 76783 | 5.8 |6419k| 52 | - | 146 | 50 | 146 | 17 | 23 |1054 |1053 | 0.000000e+00 | 4.100000e+01 | Inf
18.58/18.69 o 39
18.58/18.69 c *16.2s| 15783 | 12864 | 89413 | 5.7 |7293k| 52 | - | 146 | 67 | 146 | 17 | 23 |1278 |1161 | 0.000000e+00 | 3.900000e+01 | Inf
18.58/18.69 o 37
18.58/18.69 c *16.2s| 15784 | 12792 | 89413 | 5.7 |7235k| 52 | - | 146 | 67 | 146 | 17 | 23 |1278 |1161 | 0.000000e+00 | 3.700000e+01 | Inf
20.99/21.06 o 35
20.99/21.06 c *18.2s| 18512 | 14428 |101931 | 5.5 |8161k| 52 | - | 146 | 70 | 146 | 17 | 23 |1501 |1320 | 0.000000e+00 | 3.500000e+01 | Inf
20.99/21.07 o 33
20.99/21.07 c *18.2s| 18514 | 14330 |101932 | 5.5 |8083k| 52 | - | 146 | 70 | 146 | 17 | 23 |1501 |1323 | 0.000000e+00 | 3.300000e+01 | Inf
20.99/21.07 o 29
20.99/21.07 c *18.2s| 18515 | 13680 |101932 | 5.5 |7663k| 52 | - | 146 | 70 | 146 | 17 | 23 |1501 |1323 | 0.000000e+00 | 2.900000e+01 | Inf
22.98/23.01 c 19.9s| 20000 | 14608 |109142 | 5.5 |8117k| 52 | 6 | 146 | 58 | 146 | 17 | 23 |1625 |1381 | 0.000000e+00 | 2.900000e+01 | Inf
31.18/31.29 c 27.0s| 30000 | 19915 |155595 | 5.2 | 11M| 52 | - | 146 | 74 | 146 | 17 | 23 |2510 |1777 | 0.000000e+00 | 2.900000e+01 | Inf
37.98/38.00 o 27
37.98/38.00 c *32.8s| 39183 | 24170 |195457 | 5.0 | 13M| 52 | - | 146 | 83 | 146 | 17 | 23 |3369 |2070 | 0.000000e+00 | 2.700000e+01 | Inf
38.18/38.21 o 26
38.18/38.21 c *33.0s| 39426 | 24221 |196650 | 5.0 | 13M| 52 | - | 146 | 87 | 146 | 17 | 23 |3384 |2074 | 0.000000e+00 | 2.600000e+01 | Inf
38.58/38.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.58/38.69 c 33.4s| 40000 | 24547 |199436 | 5.0 | 13M| 52 | 6 | 146 | 85 | 146 | 17 | 23 |3439 |2086 | 0.000000e+00 | 2.600000e+01 | Inf
42.37/42.44 o 24
42.37/42.44 c *36.7s| 44971 | 26661 |221195 | 4.9 | 14M| 52 | - | 146 | 88 | 146 | 17 | 23 |3907 |2245 | 0.000000e+00 | 2.400000e+01 | Inf
43.67/43.78 o 22
43.67/43.78 c *37.8s| 46912 | 26987 |228860 | 4.9 | 15M| 52 | - | 146 | 83 | 146 | 17 | 23 |4098 |2310 | 0.000000e+00 | 2.200000e+01 | Inf
43.67/43.79 o 20
43.67/43.79 c *37.8s| 46913 | 26483 |228860 | 4.9 | 14M| 52 | - | 146 | 83 | 146 | 17 | 23 |4098 |2310 | 0.000000e+00 | 2.000000e+01 | Inf
47.07/47.14 c 40.6s| 50000 | 27608 |240941 | 4.8 | 15M| 52 | - | 146 | 79 | 146 | 17 | 23 |4357 |2389 | 0.000000e+00 | 2.000000e+01 | Inf
53.98/54.01 c 46.7s| 60000 | 30827 |282313 | 4.7 | 17M| 52 | 6 | 146 | 93 | 146 | 17 | 23 |5133 |2665 | 0.000000e+00 | 2.000000e+01 | Inf
60.47/60.53 c 52.6s| 70000 | 33755 |323921 | 4.6 | 19M| 52 | - | 146 | 90 | 146 | 17 | 23 |5877 |2925 | 0.000000e+00 | 2.000000e+01 | Inf
66.87/66.97 o 19
66.87/66.97 c *58.4s| 79615 | 36482 |364706 | 4.6 | 20M| 52 | - | 146 | 113 | 146 | 17 | 23 |6616 |3140 | 0.000000e+00 | 1.900000e+01 | Inf
66.87/66.98 o 17
66.87/66.98 c *58.4s| 79616 | 35833 |364706 | 4.6 | 20M| 52 | - | 146 | 113 | 146 | 17 | 23 |6616 |3140 | 0.000000e+00 | 1.700000e+01 | Inf
67.17/67.23 c 58.6s| 80000 | 35893 |366123 | 4.6 | 20M| 52 | - | 146 | 112 | 0 | 0 | 23 |6652 |3155 | 0.000000e+00 | 1.700000e+01 | Inf
74.56/74.68 c 65.1s| 90000 | 37809 |404946 | 4.5 | 21M| 52 | - | 146 | 109 | 146 | 17 | 23 |7551 |3377 | 0.000000e+00 | 1.700000e+01 | Inf
81.06/81.15 c 70.8s|100000 | 39406 |444648 | 4.4 | 22M| 52 | 6 | 146 | 74 | 146 | 17 | 23 |8446 |3586 | 0.000000e+00 | 1.700000e+01 | Inf
81.86/81.90 o 15
81.86/81.90 c *71.5s|101153 | 37669 |449045 | 4.4 | 21M| 52 | - | 146 | 75 | 146 | 17 | 23 |8534 |3598 | 0.000000e+00 | 1.500000e+01 | Inf
87.56/87.62 c 76.5s|110000 | 39134 |487301 | 4.4 | 22M| 52 | 6 | 146 | 75 | 146 | 17 | 23 |9233 |3776 | 0.000000e+00 | 1.500000e+01 | Inf
93.96/94.04 c 82.1s|120000 | 41655 |529726 | 4.4 | 24M| 52 | 6 | 146 | 67 | 146 | 17 | 23 | 10k|3974 | 0.000000e+00 | 1.500000e+01 | Inf
94.57/94.62 o 14
94.57/94.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.57/94.62 c *82.6s|120879 | 41523 |533594 | 4.4 | 23M| 52 | - | 146 | 69 | 146 | 17 | 23 | 10k|3987 | 0.000000e+00 | 1.400000e+01 | Inf
101.75/101.81 o 13
101.75/101.81 c *88.6s|128920 | 43004 |566805 | 4.4 | 24M| 52 | - | 146 | 69 | 146 | 17 | 23 | 10k|4133 | 0.000000e+00 | 1.300000e+01 | Inf
102.45/102.54 c 89.2s|130000 | 43343 |571813 | 4.4 | 24M| 52 | 6 | 146 | 74 | 146 | 17 | 23 | 10k|4157 | 0.000000e+00 | 1.300000e+01 | Inf
109.55/109.69 c 95.3s|140000 | 45759 |613360 | 4.4 | 25M| 52 | 6 | 146 | 59 | 146 | 17 | 23 | 11k|4338 | 0.000000e+00 | 1.300000e+01 | Inf
115.65/115.79 c 101s|150000 | 47540 |652901 | 4.4 | 27M| 52 | - | 146 | 49 | 146 | 17 | 23 | 12k|4501 | 0.000000e+00 | 1.300000e+01 | Inf
121.75/121.82 c 106s|160000 | 48897 |693655 | 4.3 | 27M| 52 | - | 146 | 53 | 146 | 17 | 23 | 13k|4680 | 0.000000e+00 | 1.300000e+01 | Inf
127.65/127.73 c 111s|170000 | 50087 |732962 | 4.3 | 28M| 52 | - | 146 | 51 | 146 | 17 | 23 | 13k|4856 | 0.000000e+00 | 1.300000e+01 | Inf
133.55/133.65 c 116s|180000 | 50935 |771827 | 4.3 | 29M| 52 | - | 146 | 55 | 146 | 17 | 23 | 14k|5013 | 0.000000e+00 | 1.300000e+01 | Inf
141.44/141.52 c 123s|190000 | 51713 |811402 | 4.3 | 30M| 52 | - | 146 | 52 | 146 | 17 | 23 | 15k|5172 | 0.000000e+00 | 1.300000e+01 | Inf
147.45/147.52 c 128s|200000 | 53047 |851955 | 4.3 | 31M| 52 | - | 146 | 61 | 0 | 0 | 23 | 16k|5324 | 0.000000e+00 | 1.300000e+01 | Inf
153.44/153.59 c 133s|210000 | 54286 |891644 | 4.2 | 32M| 52 | 6 | 146 | 65 | 146 | 17 | 23 | 16k|5466 | 0.000000e+00 | 1.300000e+01 | Inf
159.44/159.51 c 138s|220000 | 55302 |930370 | 4.2 | 32M| 52 | 6 | 146 | 56 | 146 | 17 | 23 | 17k|5607 | 0.000000e+00 | 1.300000e+01 | Inf
165.33/165.48 c 144s|230000 | 55795 |970305 | 4.2 | 33M| 52 | 6 | 146 | 53 | 146 | 17 | 23 | 18k|5751 | 0.000000e+00 | 1.300000e+01 | Inf
171.44/171.56 c 149s|240000 | 57361 | 1010k| 4.2 | 34M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 19k|5914 | 0.000000e+00 | 1.300000e+01 | Inf
177.43/177.56 c 154s|250000 | 58512 | 1052k| 4.2 | 35M| 52 | - | 146 | 51 | 146 | 17 | 23 | 19k|6068 | 0.000000e+00 | 1.300000e+01 | Inf
183.43/183.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.43/183.50 c 159s|260000 | 59407 | 1093k| 4.2 | 35M| 52 | - | 146 | 45 | 146 | 17 | 23 | 20k|6189 | 0.000000e+00 | 1.300000e+01 | Inf
189.73/189.80 c 165s|270000 | 61536 | 1135k| 4.2 | 37M| 52 | - | 146 | 47 | 146 | 17 | 23 | 21k|6314 | 0.000000e+00 | 1.300000e+01 | Inf
195.84/195.93 c 170s|280000 | 64074 | 1176k| 4.2 | 38M| 52 | - | 146 | 47 | 146 | 17 | 23 | 22k|6430 | 0.000000e+00 | 1.300000e+01 | Inf
202.02/202.10 c 175s|290000 | 66553 | 1218k| 4.2 | 39M| 52 | 6 | 146 | 45 | 146 | 17 | 23 | 22k|6545 | 0.000000e+00 | 1.300000e+01 | Inf
204.92/205.03 o 11
204.92/205.03 c * 178s|294936 | 66105 | 1238k| 4.2 | 38M| 52 | - | 146 | 51 | 146 | 17 | 23 | 23k|6606 | 0.000000e+00 | 1.100000e+01 | Inf
204.92/205.04 o 9
204.92/205.04 c * 178s|294937 | 64539 | 1238k| 4.2 | 37M| 52 | - | 146 | 51 | 146 | 17 | 23 | 23k|6606 | 0.000000e+00 | 9.000000e+00 | Inf
208.02/208.13 c 181s|300000 | 65657 | 1259k| 4.2 | 37M| 52 | 6 | 146 | 50 | 146 | 17 | 23 | 23k|6687 | 0.000000e+00 | 9.000000e+00 | Inf
213.92/214.09 c 186s|310000 | 67074 | 1300k| 4.2 | 38M| 52 | 6 | 146 | 57 | 146 | 17 | 23 | 24k|6837 | 0.000000e+00 | 9.000000e+00 | Inf
220.03/220.18 c 191s|320000 | 68770 | 1343k| 4.2 | 39M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 24k|7009 | 0.000000e+00 | 9.000000e+00 | Inf
226.12/226.28 c 196s|330000 | 69916 | 1385k| 4.2 | 40M| 52 | 6 | 146 | 46 | 146 | 17 | 23 | 25k|7174 | 0.000000e+00 | 9.000000e+00 | Inf
232.02/232.15 c 201s|340000 | 71029 | 1425k| 4.2 | 41M| 52 | - | 146 | 47 | 146 | 17 | 23 | 25k|7329 | 0.000000e+00 | 9.000000e+00 | Inf
237.92/238.06 c 207s|350000 | 72005 | 1466k| 4.2 | 41M| 52 | 6 | 146 | 46 | 146 | 17 | 23 | 26k|7488 | 0.000000e+00 | 9.000000e+00 | Inf
243.82/243.92 c 212s|360000 | 72666 | 1505k| 4.2 | 42M| 52 | - | 146 | 44 | 146 | 17 | 23 | 26k|7630 | 0.000000e+00 | 9.000000e+00 | Inf
249.72/249.85 c 217s|370000 | 73667 | 1545k| 4.2 | 42M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 27k|7779 | 0.000000e+00 | 9.000000e+00 | Inf
255.61/255.77 c 222s|380000 | 74140 | 1586k| 4.2 | 43M| 52 | - | 146 | 47 | 0 | 0 | 23 | 28k|7930 | 0.000000e+00 | 9.000000e+00 | Inf
261.51/261.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.51/261.66 c 227s|390000 | 74466 | 1626k| 4.2 | 43M| 52 | 6 | 146 | 45 | 146 | 17 | 23 | 29k|8072 | 0.000000e+00 | 9.000000e+00 | Inf
267.50/267.60 c 232s|400000 | 75137 | 1666k| 4.2 | 44M| 52 | 6 | 146 | 49 | 146 | 17 | 23 | 29k|8215 | 0.000000e+00 | 9.000000e+00 | Inf
273.41/273.51 c 237s|410000 | 75412 | 1707k| 4.2 | 44M| 52 | - | 146 | 53 | 146 | 17 | 23 | 30k|8380 | 0.000000e+00 | 9.000000e+00 | Inf
279.31/279.48 c 242s|420000 | 75690 | 1747k| 4.2 | 45M| 52 | - | 146 | 47 | 146 | 17 | 23 | 30k|8556 | 0.000000e+00 | 9.000000e+00 | Inf
285.21/285.36 c 247s|430000 | 76182 | 1786k| 4.2 | 45M| 52 | 6 | 146 | 45 | 146 | 17 | 23 | 31k|8697 | 0.000000e+00 | 9.000000e+00 | Inf
291.20/291.39 c 252s|440000 | 76902 | 1827k| 4.2 | 45M| 52 | 6 | 146 | 53 | 146 | 17 | 23 | 32k|8849 | 0.000000e+00 | 9.000000e+00 | Inf
297.20/297.38 c 258s|450000 | 78659 | 1868k| 4.2 | 47M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 32k|9014 | 0.000000e+00 | 9.000000e+00 | Inf
303.20/303.32 c 263s|460000 | 80033 | 1908k| 4.1 | 47M| 52 | 6 | 146 | 53 | 146 | 17 | 23 | 33k|9146 | 0.000000e+00 | 9.000000e+00 | Inf
309.11/309.22 c 268s|470000 | 81126 | 1949k| 4.1 | 48M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 33k|9282 | 0.000000e+00 | 9.000000e+00 | Inf
314.99/315.16 c 273s|480000 | 82272 | 1989k| 4.1 | 49M| 52 | 6 | 146 | 55 | 146 | 17 | 23 | 34k|9433 | 0.000000e+00 | 9.000000e+00 | Inf
320.79/320.97 c 278s|490000 | 83418 | 2028k| 4.1 | 50M| 52 | - | 146 | 46 | 146 | 17 | 23 | 35k|9566 | 0.000000e+00 | 9.000000e+00 | Inf
326.79/326.91 c 283s|500000 | 84404 | 2068k| 4.1 | 50M| 52 | - | 146 | 65 | 146 | 17 | 23 | 35k|9722 | 0.000000e+00 | 9.000000e+00 | Inf
332.59/332.72 c 288s|510000 | 85457 | 2106k| 4.1 | 51M| 52 | 6 | 146 | 50 | 146 | 17 | 23 | 36k|9828 | 0.000000e+00 | 9.000000e+00 | Inf
338.39/338.51 c 293s|520000 | 85859 | 2144k| 4.1 | 52M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 36k|9963 | 0.000000e+00 | 9.000000e+00 | Inf
344.09/344.25 c 298s|530000 | 86081 | 2182k| 4.1 | 52M| 52 | - | 146 | 48 | 146 | 17 | 23 | 37k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
349.98/350.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.98/350.13 c 303s|540000 | 86978 | 2221k| 4.1 | 53M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 38k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
355.78/355.95 c 308s|550000 | 87422 | 2259k| 4.1 | 53M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 38k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
361.68/361.81 c 313s|560000 | 87924 | 2299k| 4.1 | 53M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 39k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
367.47/367.65 c 318s|570000 | 88274 | 2337k| 4.1 | 54M| 52 | 6 | 146 | 50 | 146 | 17 | 23 | 39k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
373.38/373.59 c 323s|580000 | 89446 | 2378k| 4.1 | 55M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 40k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
379.27/379.49 c 328s|590000 | 91029 | 2418k| 4.1 | 56M| 52 | - | 146 | 47 | 146 | 17 | 23 | 41k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
385.17/385.38 c 333s|600000 | 91892 | 2456k| 4.1 | 56M| 52 | - | 146 | 45 | 146 | 17 | 23 | 41k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
391.06/391.22 c 338s|610000 | 92712 | 2494k| 4.1 | 57M| 52 | - | 146 | 45 | 146 | 17 | 23 | 42k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
396.86/397.06 c 343s|620000 | 93414 | 2532k| 4.1 | 57M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 43k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
402.76/402.91 c 348s|630000 | 93697 | 2570k| 4.1 | 58M| 52 | - | 146 | 43 | 0 | 0 | 23 | 43k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
408.66/408.83 c 353s|640000 | 94514 | 2609k| 4.1 | 58M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 44k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
414.56/414.71 c 358s|650000 | 95180 | 2650k| 4.1 | 59M| 52 | - | 146 | 53 | 146 | 17 | 23 | 45k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
420.46/420.60 c 363s|660000 | 95915 | 2689k| 4.1 | 59M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 45k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
426.25/426.49 c 368s|670000 | 96389 | 2728k| 4.1 | 60M| 52 | 6 | 146 | 46 | 146 | 17 | 23 | 46k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
432.16/432.36 c 373s|680000 | 96671 | 2768k| 4.1 | 60M| 52 | 6 | 146 | 52 | 146 | 17 | 23 | 46k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
438.05/438.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.05/438.26 c 378s|690000 | 96812 | 2807k| 4.1 | 60M| 52 | 6 | 146 | 41 | 146 | 17 | 23 | 47k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
443.95/444.19 c 383s|700000 | 97001 | 2845k| 4.1 | 61M| 52 | 6 | 146 | 42 | 146 | 17 | 23 | 48k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
449.94/450.19 c 389s|710000 | 97698 | 2886k| 4.1 | 61M| 52 | - | 146 | 53 | 146 | 17 | 23 | 48k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
455.85/456.08 c 394s|720000 | 98328 | 2925k| 4.1 | 62M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 49k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
461.75/461.92 c 399s|730000 | 98459 | 2964k| 4.1 | 62M| 52 | - | 146 | 46 | 146 | 17 | 23 | 49k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
467.54/467.76 c 404s|740000 | 98628 | 3003k| 4.1 | 62M| 52 | 6 | 146 | 44 | 146 | 17 | 23 | 50k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
473.44/473.69 c 409s|750000 | 98628 | 3042k| 4.1 | 62M| 52 | - | 146 | 43 | 146 | 17 | 23 | 50k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
479.34/479.56 c 414s|760000 | 98584 | 3081k| 4.1 | 63M| 52 | - | 146 | 44 | 146 | 17 | 23 | 51k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
485.33/485.52 c 419s|770000 | 98907 | 3120k| 4.1 | 63M| 52 | 6 | 146 | 94 | 146 | 17 | 23 | 52k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
491.44/491.65 c 424s|780000 |101203 | 3161k| 4.1 | 64M| 52 | - | 146 | 53 | 146 | 17 | 23 | 52k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
497.33/497.51 c 429s|790000 |102561 | 3200k| 4.1 | 65M| 52 | - | 146 | 46 | 146 | 17 | 23 | 52k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
503.23/503.47 c 434s|800000 |103999 | 3239k| 4.0 | 66M| 52 | 6 | 146 | 44 | 146 | 17 | 23 | 53k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
509.14/509.38 c 439s|810000 |105105 | 3277k| 4.0 | 67M| 52 | - | 146 | 45 | 146 | 17 | 23 | 54k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
515.02/515.27 c 444s|820000 |105974 | 3316k| 4.0 | 67M| 52 | - | 146 | 43 | 0 | 0 | 23 | 54k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
520.93/521.19 c 449s|830000 |106713 | 3354k| 4.0 | 68M| 52 | - | 146 | 50 | 146 | 17 | 23 | 55k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
526.83/527.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
526.83/527.04 c 454s|840000 |107306 | 3392k| 4.0 | 68M| 52 | - | 146 | 49 | 146 | 17 | 23 | 55k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
532.62/532.89 c 460s|850000 |107604 | 3430k| 4.0 | 69M| 52 | - | 146 | 46 | 146 | 17 | 23 | 55k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
538.52/538.78 c 465s|860000 |108080 | 3469k| 4.0 | 69M| 52 | - | 146 | 50 | 146 | 17 | 23 | 56k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
544.52/544.71 c 470s|870000 |108483 | 3508k| 4.0 | 70M| 52 | - | 146 | 51 | 146 | 17 | 23 | 56k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
550.41/550.65 c 475s|880000 |109277 | 3549k| 4.0 | 70M| 52 | - | 146 | 52 | 146 | 17 | 23 | 57k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
556.32/556.57 c 480s|890000 |110224 | 3588k| 4.0 | 71M| 52 | - | 146 | 54 | 146 | 17 | 23 | 57k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
562.21/562.46 c 485s|900000 |110781 | 3626k| 4.0 | 72M| 52 | 6 | 146 | 52 | 146 | 17 | 23 | 58k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
568.21/568.40 c 490s|910000 |110958 | 3664k| 4.0 | 72M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 58k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
574.30/574.53 c 495s|920000 |111763 | 3705k| 4.0 | 73M| 52 | - | 146 | 43 | 146 | 17 | 23 | 59k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
580.21/580.47 c 500s|930000 |112303 | 3743k| 4.0 | 73M| 52 | - | 146 | 43 | 0 | 0 | 23 | 59k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
586.31/586.51 c 505s|940000 |112514 | 3782k| 4.0 | 73M| 52 | - | 146 | 44 | 146 | 17 | 23 | 60k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
592.30/592.53 c 510s|950000 |112564 | 3821k| 4.0 | 74M| 52 | - | 146 | 47 | 0 | 0 | 23 | 60k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
598.31/598.51 c 515s|960000 |112617 | 3859k| 4.0 | 74M| 52 | - | 146 | 49 | 146 | 17 | 23 | 61k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
604.30/604.56 c 520s|970000 |112652 | 3898k| 4.0 | 74M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 61k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
610.31/610.52 c 526s|980000 |113064 | 3936k| 4.0 | 74M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 62k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
616.30/616.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.30/616.51 c 531s|990000 |114117 | 3974k| 4.0 | 75M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 62k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
622.19/622.44 c 536s| 1000k|114525 | 4012k| 4.0 | 76M| 52 | 6 | 146 | 45 | 146 | 17 | 23 | 63k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
628.09/628.34 c 541s| 1010k|114527 | 4050k| 4.0 | 76M| 52 | - | 146 | 47 | 0 | 0 | 23 | 64k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
634.09/634.32 c 546s| 1020k|114962 | 4089k| 4.0 | 76M| 52 | - | 146 | 50 | 146 | 17 | 23 | 64k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
640.09/640.32 c 551s| 1030k|115001 | 4128k| 4.0 | 76M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 65k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
646.08/646.37 c 556s| 1040k|114841 | 4166k| 4.0 | 76M| 52 | - | 146 | 46 | 146 | 17 | 23 | 65k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
652.09/652.35 c 561s| 1050k|114841 | 4205k| 4.0 | 77M| 52 | - | 146 | 50 | 146 | 17 | 23 | 66k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
658.07/658.31 c 566s| 1060k|115430 | 4243k| 4.0 | 77M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 66k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
663.87/664.17 c 571s| 1070k|115761 | 4281k| 4.0 | 77M| 52 | - | 146 | 45 | 146 | 17 | 23 | 67k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
669.78/670.09 c 576s| 1080k|115947 | 4319k| 4.0 | 78M| 52 | - | 146 | 46 | 146 | 17 | 23 | 67k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
675.67/675.97 c 581s| 1090k|116312 | 4356k| 4.0 | 78M| 52 | - | 146 | 46 | 146 | 17 | 23 | 68k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
681.67/681.91 c 586s| 1100k|116336 | 4394k| 4.0 | 78M| 52 | - | 146 | 47 | 146 | 17 | 23 | 68k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
687.57/687.88 c 591s| 1110k|116143 | 4433k| 4.0 | 78M| 52 | - | 146 | 45 | 146 | 17 | 23 | 69k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
693.56/693.89 c 596s| 1120k|115996 | 4471k| 4.0 | 78M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 69k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
699.56/699.84 c 601s| 1130k|116256 | 4510k| 4.0 | 79M| 52 | - | 146 | 49 | 0 | 0 | 23 | 70k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
705.46/705.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.46/705.76 c 606s| 1140k|116605 | 4547k| 4.0 | 79M| 52 | - | 146 | 47 | 146 | 17 | 23 | 70k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
711.47/711.77 c 611s| 1150k|116328 | 4585k| 4.0 | 79M| 52 | - | 146 | 50 | 146 | 17 | 23 | 71k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
717.46/717.78 c 616s| 1160k|116442 | 4623k| 4.0 | 79M| 52 | 6 | 146 | 50 | 146 | 17 | 23 | 71k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
723.46/723.75 c 622s| 1170k|116968 | 4661k| 4.0 | 80M| 52 | - | 146 | 50 | 0 | 0 | 23 | 72k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
729.45/729.72 c 627s| 1180k|116742 | 4699k| 4.0 | 80M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 73k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
735.35/735.68 c 632s| 1190k|116855 | 4737k| 4.0 | 80M| 52 | 6 | 146 | 49 | 146 | 17 | 23 | 73k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
741.36/741.65 c 637s| 1200k|116688 | 4775k| 4.0 | 80M| 52 | 6 | 146 | 56 | 146 | 17 | 23 | 74k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
747.35/747.63 c 642s| 1210k|116952 | 4814k| 4.0 | 80M| 52 | 6 | 146 | 49 | 146 | 17 | 23 | 74k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
753.26/753.53 c 647s| 1220k|116712 | 4851k| 4.0 | 80M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 75k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
759.35/759.66 c 652s| 1230k|116632 | 4891k| 4.0 | 80M| 52 | 6 | 146 | 56 | 146 | 17 | 23 | 75k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
765.35/765.61 c 657s| 1240k|116623 | 4930k| 4.0 | 81M| 52 | 6 | 146 | 55 | 146 | 17 | 23 | 76k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
771.24/771.58 c 662s| 1250k|116316 | 4968k| 4.0 | 80M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 77k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
777.24/777.58 c 667s| 1260k|116070 | 5007k| 4.0 | 80M| 52 | - | 146 | 52 | 146 | 17 | 23 | 77k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
783.34/783.60 c 672s| 1270k|115855 | 5045k| 4.0 | 80M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 78k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
789.23/789.56 c 677s| 1280k|116629 | 5083k| 4.0 | 81M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 78k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
795.14/795.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.14/795.47 c 682s| 1290k|116640 | 5120k| 4.0 | 81M| 52 | 6 | 146 | 50 | 146 | 17 | 23 | 78k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
801.13/801.44 c 687s| 1300k|116582 | 5159k| 4.0 | 81M| 52 | - | 146 | 49 | 0 | 0 | 23 | 79k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
807.13/807.41 c 692s| 1310k|116236 | 5197k| 4.0 | 81M| 52 | - | 146 | 46 | 146 | 17 | 23 | 80k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
813.13/813.41 c 698s| 1320k|116555 | 5236k| 4.0 | 81M| 52 | - | 146 | 53 | 146 | 17 | 23 | 80k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
819.03/819.38 c 703s| 1330k|117061 | 5276k| 4.0 | 82M| 52 | 6 | 146 | 53 | 146 | 17 | 23 | 80k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
825.03/825.35 c 708s| 1340k|116974 | 5314k| 4.0 | 82M| 52 | 6 | 146 | 45 | 146 | 17 | 23 | 81k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
830.92/831.23 c 713s| 1350k|117173 | 5352k| 4.0 | 82M| 52 | - | 146 | 49 | 146 | 17 | 23 | 82k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
837.02/837.30 c 718s| 1360k|116835 | 5391k| 4.0 | 82M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 82k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
843.02/843.37 c 723s| 1370k|117360 | 5431k| 4.0 | 83M| 52 | - | 146 | 47 | 146 | 17 | 23 | 83k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
849.11/849.45 c 728s| 1380k|118518 | 5472k| 4.0 | 83M| 52 | 6 | 146 | 45 | 146 | 17 | 23 | 83k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
855.12/855.47 c 733s| 1390k|119543 | 5513k| 4.0 | 84M| 52 | - | 146 | 50 | 146 | 17 | 23 | 84k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
861.12/861.43 c 738s| 1400k|120195 | 5552k| 4.0 | 85M| 52 | 6 | 146 | 53 | 146 | 17 | 23 | 84k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
867.11/867.43 c 743s| 1410k|120633 | 5591k| 4.0 | 85M| 52 | - | 146 | 46 | 146 | 17 | 23 | 85k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
873.01/873.37 c 748s| 1420k|121348 | 5630k| 4.0 | 86M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 85k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
879.00/879.33 c 753s| 1430k|121634 | 5669k| 4.0 | 86M| 52 | 6 | 146 | 51 | 146 | 17 | 23 | 86k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
885.01/885.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
885.01/885.33 c 759s| 1440k|121767 | 5708k| 4.0 | 86M| 52 | - | 146 | 44 | 146 | 17 | 23 | 86k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
890.91/891.23 c 764s| 1450k|122575 | 5747k| 4.0 | 87M| 52 | 6 | 146 | 45 | 146 | 17 | 23 | 87k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
896.90/897.21 c 769s| 1460k|122526 | 5786k| 4.0 | 87M| 52 | - | 146 | 44 | 146 | 17 | 23 | 87k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
902.91/903.21 c 774s| 1470k|122652 | 5826k| 4.0 | 88M| 52 | - | 146 | 50 | 146 | 17 | 23 | 88k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
908.79/909.13 c 779s| 1480k|122765 | 5864k| 4.0 | 88M| 52 | 6 | 146 | 44 | 146 | 17 | 23 | 88k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
914.70/915.04 c 784s| 1490k|122989 | 5902k| 4.0 | 88M| 52 | - | 146 | 49 | 146 | 17 | 23 | 89k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
920.69/921.00 c 789s| 1500k|122941 | 5942k| 4.0 | 88M| 52 | - | 146 | 44 | 146 | 17 | 23 | 89k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
926.80/927.11 c 794s| 1510k|124328 | 5982k| 4.0 | 89M| 52 | 6 | 146 | 55 | 146 | 17 | 23 | 90k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
932.79/933.13 c 799s| 1520k|125417 | 6022k| 4.0 | 90M| 52 | - | 146 | 48 | 146 | 17 | 23 | 91k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
938.69/939.06 c 804s| 1530k|126217 | 6061k| 4.0 | 90M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 91k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
944.70/945.02 c 809s| 1540k|127341 | 6100k| 4.0 | 91M| 52 | - | 146 | 45 | 146 | 17 | 23 | 92k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
950.69/951.01 c 814s| 1550k|127833 | 6140k| 4.0 | 92M| 52 | - | 146 | 44 | 146 | 17 | 23 | 93k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
956.59/956.94 c 819s| 1560k|128604 | 6178k| 4.0 | 92M| 52 | 6 | 146 | 44 | 146 | 17 | 23 | 93k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
962.59/962.93 c 824s| 1570k|128927 | 6218k| 4.0 | 93M| 52 | - | 146 | 44 | 0 | 0 | 23 | 94k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
968.58/968.96 c 830s| 1580k|129983 | 6258k| 4.0 | 94M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 95k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
974.58/974.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.58/974.96 c 835s| 1590k|130412 | 6298k| 4.0 | 94M| 52 | - | 146 | 42 | 0 | 0 | 23 | 95k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
980.58/980.96 c 840s| 1600k|130642 | 6337k| 4.0 | 94M| 52 | - | 146 | 40 | 146 | 17 | 23 | 96k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
986.67/987.07 c 845s| 1610k|130826 | 6378k| 4.0 | 95M| 52 | 6 | 146 | 41 | 146 | 17 | 23 | 96k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
992.67/993.05 c 850s| 1620k|131160 | 6418k| 4.0 | 95M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 97k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
998.78/999.11 c 855s| 1630k|131321 | 6458k| 4.0 | 95M| 52 | - | 146 | 46 | 146 | 17 | 23 | 97k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
1004.77/1005.11 c 860s| 1640k|131379 | 6497k| 4.0 | 96M| 52 | - | 146 | 42 | 146 | 17 | 23 | 98k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
1010.77/1011.19 c 865s| 1650k|131687 | 6536k| 4.0 | 96M| 52 | - | 146 | 41 | 146 | 17 | 23 | 99k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
1016.77/1017.17 c 870s| 1660k|132054 | 6575k| 4.0 | 96M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 99k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1022.77/1023.13 c 875s| 1670k|132406 | 6614k| 4.0 | 97M| 52 | - | 146 | 46 | 0 | 0 | 23 | 100k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1028.77/1029.15 c 881s| 1680k|132326 | 6653k| 4.0 | 97M| 52 | - | 146 | 41 | 146 | 17 | 23 | 101k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1034.87/1035.21 c 886s| 1690k|132274 | 6692k| 4.0 | 97M| 52 | 6 | 146 | 41 | 146 | 17 | 23 | 101k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1040.86/1041.24 c 891s| 1700k|133425 | 6731k| 4.0 | 98M| 52 | - | 146 | 41 | 146 | 17 | 23 | 102k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1046.86/1047.21 c 896s| 1710k|133999 | 6769k| 4.0 | 99M| 52 | - | 146 | 38 | 146 | 17 | 23 | 103k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1052.86/1053.22 c 901s| 1720k|134256 | 6807k| 4.0 | 99M| 52 | 6 | 146 | 42 | 146 | 17 | 23 | 103k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1058.76/1059.17 c 906s| 1730k|134250 | 6845k| 4.0 | 99M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 104k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1064.85/1065.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1064.85/1065.20 c 911s| 1740k|134118 | 6883k| 4.0 | 99M| 52 | - | 146 | 42 | 146 | 17 | 23 | 105k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1070.85/1071.27 c 916s| 1750k|133766 | 6922k| 4.0 | 99M| 52 | - | 146 | 44 | 146 | 17 | 23 | 105k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
1076.85/1077.26 c 921s| 1760k|133444 | 6961k| 4.0 | 99M| 52 | 6 | 146 | 40 | 146 | 17 | 23 | 106k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1082.85/1083.26 c 926s| 1770k|133209 | 7000k| 4.0 | 99M| 52 | 6 | 146 | 49 | 146 | 17 | 23 | 107k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1088.85/1089.23 c 931s| 1780k|133438 | 7040k| 4.0 | 99M| 52 | - | 146 | 47 | 0 | 0 | 23 | 107k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1094.84/1095.28 c 937s| 1790k|133360 | 7079k| 4.0 | 100M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 108k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1100.85/1101.25 c 942s| 1800k|133334 | 7118k| 4.0 | 100M| 52 | 6 | 146 | 49 | 146 | 17 | 23 | 109k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1106.84/1107.20 c 947s| 1810k|133936 | 7155k| 4.0 | 100M| 52 | - | 146 | 49 | 146 | 17 | 23 | 110k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1112.72/1113.18 c 952s| 1820k|133626 | 7193k| 4.0 | 100M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 110k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1118.81/1119.26 c 957s| 1830k|133413 | 7232k| 4.0 | 100M| 52 | - | 146 | 51 | 146 | 17 | 23 | 111k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1124.81/1125.26 c 962s| 1840k|133527 | 7271k| 4.0 | 100M| 52 | 6 | 146 | 48 | 146 | 17 | 23 | 111k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1130.81/1131.24 c 967s| 1850k|133803 | 7310k| 4.0 | 101M| 52 | - | 146 | 47 | 0 | 0 | 23 | 112k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
1136.80/1137.26 c 972s| 1860k|133295 | 7350k| 4.0 | 101M| 52 | - | 146 | 52 | 146 | 17 | 23 | 113k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1142.81/1143.29 c 977s| 1870k|133269 | 7389k| 4.0 | 101M| 52 | - | 146 | 49 | 146 | 17 | 23 | 113k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1148.80/1149.28 c 982s| 1880k|133160 | 7428k| 4.0 | 101M| 52 | - | 146 | 47 | 146 | 17 | 23 | 114k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1154.80/1155.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.80/1155.29 c 987s| 1890k|132775 | 7466k| 4.0 | 101M| 52 | 6 | 146 | 44 | 146 | 17 | 23 | 115k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1160.90/1161.34 c 993s| 1900k|132304 | 7505k| 4.0 | 101M| 52 | - | 146 | 42 | 146 | 17 | 23 | 115k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1166.90/1167.39 c 998s| 1910k|131707 | 7544k| 3.9 | 100M| 52 | - | 146 | 44 | 146 | 17 | 23 | 116k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1172.90/1173.39 c 1003s| 1920k|131445 | 7583k| 3.9 | 100M| 52 | 6 | 146 | 44 | 146 | 17 | 23 | 116k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1179.00/1179.46 c 1008s| 1930k|131073 | 7623k| 3.9 | 100M| 52 | 6 | 146 | 43 | 146 | 17 | 23 | 117k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1185.19/1185.62 c 1013s| 1940k|131806 | 7663k| 4.0 | 101M| 52 | 6 | 146 | 44 | 146 | 17 | 23 | 118k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1191.19/1191.68 c 1018s| 1950k|131705 | 7703k| 4.0 | 101M| 52 | 6 | 146 | 42 | 146 | 17 | 23 | 118k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1197.29/1197.72 c 1024s| 1960k|132397 | 7743k| 4.0 | 101M| 52 | 6 | 146 | 42 | 146 | 17 | 23 | 119k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
1203.29/1203.78 c 1029s| 1970k|132473 | 7783k| 4.0 | 102M| 52 | 6 | 146 | 47 | 146 | 17 | 23 | 119k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1209.39/1209.88 c 1034s| 1980k|132329 | 7823k| 4.0 | 102M| 52 | - | 146 | 45 | 146 | 17 | 23 | 120k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1215.48/1215.93 c 1039s| 1990k|132264 | 7864k| 4.0 | 102M| 52 | - | 146 | 52 | 146 | 17 | 23 | 121k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1221.48/1221.97 c 1044s| 2000k|132000 | 7902k| 4.0 | 102M| 52 | - | 146 | 45 | 146 | 17 | 23 | 121k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1227.68/1228.12 c 1049s| 2010k|131627 | 7942k| 4.0 | 102M| 52 | - | 146 | 48 | 146 | 17 | 23 | 122k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1233.68/1234.19 c 1054s| 2020k|130913 | 7981k| 4.0 | 101M| 52 | - | 146 | 48 | 146 | 17 | 23 | 123k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1239.78/1240.23 c 1060s| 2030k|130661 | 8021k| 4.0 | 101M| 52 | - | 146 | 45 | 146 | 17 | 23 | 123k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1245.78/1246.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1245.78/1246.28 c 1065s| 2040k|130703 | 8062k| 4.0 | 101M| 52 | - | 146 | 48 | 0 | 0 | 23 | 124k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1251.77/1252.24 c 1070s| 2050k|130624 | 8100k| 4.0 | 101M| 52 | - | 146 | 43 | 146 | 17 | 23 | 124k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1252.08/1252.50 o 8
1252.08/1252.50 c *1070s| 2050k|129157 | 8102k| 4.0 | 99M| 52 | - | 146 | 44 | 146 | 17 | 23 | 124k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1252.08/1252.53 o 6
1252.08/1252.53 c *1070s| 2050k|125286 | 8102k| 4.0 | 93M| 52 | - | 146 | 44 | 146 | 17 | 23 | 124k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1257.57/1258.04 c 1075s| 2060k|124719 | 8141k| 4.0 | 92M| 52 | - | 146 | 55 | 146 | 17 | 23 | 125k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1263.28/1263.76 c 1079s| 2070k|124170 | 8181k| 4.0 | 92M| 52 | - | 146 | 68 | 146 | 17 | 23 | 126k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1269.08/1269.54 c 1084s| 2080k|123717 | 8223k| 4.0 | 92M| 52 | 6 | 146 | 73 | 146 | 17 | 23 | 126k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1274.87/1275.35 c 1089s| 2090k|123172 | 8265k| 4.0 | 91M| 52 | - | 146 | 65 | 0 | 0 | 23 | 127k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1280.57/1281.08 c 1094s| 2100k|123366 | 8306k| 4.0 | 91M| 52 | - | 146 | 70 | 0 | 0 | 23 | 127k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1286.26/1286.77 c 1099s| 2110k|123697 | 8345k| 4.0 | 92M| 52 | - | 146 | 85 | 146 | 17 | 23 | 128k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1291.96/1292.44 c 1103s| 2120k|123574 | 8385k| 4.0 | 92M| 52 | 6 | 146 | 83 | 146 | 17 | 23 | 128k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1297.57/1298.07 c 1108s| 2130k|123169 | 8424k| 4.0 | 91M| 52 | 6 | 146 | 58 | 146 | 17 | 23 | 129k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1303.26/1303.73 c 1113s| 2140k|122686 | 8464k| 4.0 | 91M| 52 | 6 | 146 | 72 | 146 | 17 | 23 | 129k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1308.96/1309.42 c 1118s| 2150k|122258 | 8504k| 4.0 | 91M| 52 | 6 | 146 | 62 | 146 | 17 | 23 | 130k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1314.66/1315.13 c 1122s| 2160k|121497 | 8544k| 4.0 | 90M| 52 | - | 146 | 72 | 146 | 17 | 23 | 130k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1320.35/1320.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.35/1320.89 c 1127s| 2170k|120707 | 8585k| 4.0 | 90M| 52 | 6 | 146 | 67 | 146 | 17 | 23 | 131k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1326.06/1326.54 c 1132s| 2180k|120278 | 8625k| 4.0 | 89M| 52 | 6 | 146 | 72 | 146 | 17 | 23 | 131k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1331.76/1332.24 c 1137s| 2190k|120092 | 8665k| 4.0 | 89M| 52 | - | 146 | 69 | 146 | 17 | 23 | 131k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1337.45/1337.99 c 1142s| 2200k|119568 | 8706k| 4.0 | 89M| 52 | 6 | 146 | 81 | 146 | 17 | 23 | 132k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1343.15/1343.68 c 1146s| 2210k|119506 | 8746k| 4.0 | 89M| 52 | - | 146 | 79 | 146 | 17 | 23 | 132k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1348.85/1349.39 c 1151s| 2220k|119034 | 8786k| 4.0 | 89M| 52 | - | 146 | 77 | 146 | 17 | 23 | 133k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1354.54/1355.06 c 1156s| 2230k|118572 | 8826k| 4.0 | 88M| 52 | 6 | 146 | 80 | 146 | 17 | 23 | 133k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1360.25/1360.75 c 1161s| 2240k|117953 | 8866k| 4.0 | 88M| 52 | 6 | 146 | 88 | 146 | 17 | 23 | 134k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1365.85/1366.34 c 1165s| 2250k|117883 | 8905k| 4.0 | 88M| 52 | 6 | 146 | 88 | 146 | 17 | 23 | 134k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1371.65/1372.13 c 1170s| 2260k|117884 | 8948k| 4.0 | 88M| 52 | 6 | 146 | 79 | 146 | 17 | 23 | 135k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1377.45/1377.98 c 1175s| 2270k|118208 | 8991k| 4.0 | 88M| 52 | - | 146 | 74 | 146 | 17 | 23 | 135k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1383.24/1383.75 c 1180s| 2280k|118883 | 9034k| 4.0 | 89M| 52 | 6 | 146 | 61 | 146 | 17 | 23 | 136k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1389.04/1389.57 c 1185s| 2290k|119252 | 9077k| 4.0 | 89M| 52 | 6 | 146 | 68 | 146 | 17 | 23 | 136k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1394.84/1395.32 c 1190s| 2300k|119633 | 9120k| 4.0 | 89M| 52 | 6 | 146 | 68 | 146 | 17 | 23 | 137k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1400.54/1401.02 c 1195s| 2310k|119674 | 9161k| 4.0 | 89M| 52 | - | 146 | 62 | 146 | 17 | 23 | 137k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1406.33/1406.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1406.33/1406.81 c 1200s| 2320k|119432 | 9203k| 4.0 | 89M| 52 | 6 | 146 | 66 | 146 | 17 | 23 | 138k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1412.04/1412.56 c 1204s| 2330k|118979 | 9246k| 4.0 | 89M| 52 | - | 146 | 60 | 146 | 17 | 23 | 138k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1417.83/1418.32 c 1209s| 2340k|118689 | 9288k| 4.0 | 89M| 52 | 6 | 146 | 64 | 146 | 17 | 23 | 138k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1423.62/1424.12 c 1214s| 2350k|118171 | 9331k| 4.0 | 89M| 52 | - | 146 | 66 | 146 | 17 | 23 | 139k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1429.32/1429.85 c 1219s| 2360k|117554 | 9372k| 4.0 | 88M| 52 | - | 146 | 68 | 0 | 0 | 23 | 140k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1435.03/1435.55 c 1224s| 2370k|117984 | 9413k| 4.0 | 88M| 52 | - | 146 | 86 | 146 | 17 | 23 | 140k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1440.63/1441.17 c 1228s| 2380k|118150 | 9452k| 4.0 | 89M| 52 | - | 146 | 84 | 146 | 17 | 23 | 140k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1446.23/1446.79 c 1233s| 2390k|118674 | 9492k| 4.0 | 89M| 52 | - | 146 | 93 | 146 | 17 | 23 | 141k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1451.92/1452.49 c 1238s| 2400k|118771 | 9532k| 4.0 | 89M| 52 | 6 | 146 | 87 | 146 | 17 | 23 | 142k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1457.62/1458.16 c 1243s| 2410k|118379 | 9572k| 4.0 | 89M| 52 | - | 146 | 82 | 146 | 17 | 23 | 142k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1463.22/1463.76 c 1247s| 2420k|118147 | 9610k| 4.0 | 89M| 52 | 6 | 146 | 80 | 146 | 17 | 23 | 143k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1468.92/1469.41 c 1252s| 2430k|117872 | 9650k| 4.0 | 89M| 52 | - | 146 | 83 | 0 | 0 | 23 | 143k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1474.62/1475.10 c 1257s| 2440k|117271 | 9690k| 4.0 | 88M| 52 | 6 | 146 | 68 | 146 | 17 | 23 | 144k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1480.12/1480.69 c 1262s| 2450k|117172 | 9730k| 4.0 | 88M| 52 | 6 | 146 | 70 | 146 | 17 | 23 | 144k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1485.91/1486.41 c 1266s| 2460k|117225 | 9770k| 4.0 | 88M| 52 | - | 146 | 88 | 146 | 17 | 23 | 144k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1491.51/1492.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.51/1492.06 c 1271s| 2470k|117417 | 9810k| 4.0 | 88M| 52 | - | 146 | 80 | 146 | 17 | 23 | 145k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1497.20/1497.76 c 1276s| 2480k|117284 | 9850k| 4.0 | 88M| 52 | 6 | 146 | 76 | 146 | 17 | 23 | 145k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1502.80/1503.39 c 1281s| 2490k|117288 | 9889k| 4.0 | 88M| 52 | 6 | 146 | 81 | 146 | 17 | 23 | 146k| 27k| 0.000000e+00 | 6.000000e+00 | Inf
1508.41/1508.96 c 1285s| 2500k|117296 | 9926k| 4.0 | 88M| 52 | 6 | 146 | 85 | 146 | 17 | 23 | 147k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1514.00/1514.60 c 1290s| 2510k|117148 | 9966k| 4.0 | 88M| 52 | 6 | 146 | 85 | 146 | 17 | 23 | 147k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1519.71/1520.30 c 1295s| 2520k|117239 | 10007k| 4.0 | 88M| 52 | - | 146 | 94 | 0 | 0 | 23 | 148k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1525.49/1526.02 c 1300s| 2530k|117237 | 10049k| 4.0 | 88M| 52 | - | 146 | 90 | 146 | 17 | 23 | 148k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1531.20/1531.70 c 1305s| 2540k|117026 | 10089k| 4.0 | 88M| 52 | - | 146 | 84 | 146 | 17 | 23 | 149k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1536.79/1537.35 c 1309s| 2550k|116662 | 10129k| 4.0 | 88M| 52 | 6 | 146 | 87 | 146 | 17 | 23 | 149k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1542.49/1543.01 c 1314s| 2560k|116276 | 10169k| 4.0 | 88M| 52 | 6 | 146 | 74 | 146 | 17 | 23 | 150k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1548.19/1548.74 c 1319s| 2570k|115663 | 10210k| 4.0 | 87M| 52 | 6 | 146 | 84 | 146 | 17 | 23 | 150k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1553.90/1554.44 c 1324s| 2580k|116078 | 10250k| 4.0 | 88M| 52 | - | 146 | 84 | 0 | 0 | 23 | 151k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1559.59/1560.16 c 1328s| 2590k|115802 | 10292k| 4.0 | 88M| 52 | - | 146 | 81 | 146 | 17 | 23 | 151k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1565.19/1565.78 c 1333s| 2600k|115048 | 10332k| 4.0 | 87M| 52 | - | 146 | 77 | 146 | 17 | 23 | 152k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1570.88/1571.42 c 1338s| 2610k|114874 | 10371k| 4.0 | 87M| 52 | - | 146 | 82 | 0 | 0 | 23 | 152k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1576.49/1577.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.49/1577.08 c 1343s| 2620k|114352 | 10411k| 4.0 | 87M| 52 | - | 146 | 92 | 146 | 17 | 23 | 153k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1582.08/1582.68 c 1347s| 2630k|114642 | 10451k| 4.0 | 87M| 52 | 6 | 146 | 93 | 146 | 17 | 23 | 153k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1587.78/1588.35 c 1352s| 2640k|114461 | 10491k| 4.0 | 87M| 52 | 6 | 146 | 99 | 146 | 17 | 23 | 153k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1593.39/1593.98 c 1357s| 2650k|114927 | 10531k| 4.0 | 87M| 52 | - | 146 | 102 | 146 | 17 | 23 | 154k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1598.99/1599.59 c 1362s| 2660k|115040 | 10570k| 4.0 | 87M| 52 | 6 | 146 | 97 | 146 | 17 | 23 | 154k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1604.68/1605.26 c 1366s| 2670k|114316 | 10609k| 4.0 | 87M| 52 | - | 146 | 92 | 146 | 17 | 23 | 155k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1610.37/1610.97 c 1371s| 2680k|115109 | 10650k| 4.0 | 87M| 52 | - | 146 | 72 | 146 | 17 | 23 | 156k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1616.07/1616.64 c 1376s| 2690k|115958 | 10690k| 4.0 | 88M| 52 | - | 146 | 68 | 0 | 0 | 23 | 156k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1621.77/1622.32 c 1381s| 2700k|116360 | 10730k| 4.0 | 88M| 52 | 6 | 146 | 78 | 146 | 17 | 23 | 157k| 28k| 0.000000e+00 | 6.000000e+00 | Inf
1627.37/1628.00 c 1386s| 2710k|116713 | 10770k| 4.0 | 88M| 52 | - | 146 | 81 | 146 | 17 | 23 | 157k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1632.98/1633.58 c 1390s| 2720k|117081 | 10808k| 4.0 | 89M| 52 | 6 | 146 | 75 | 146 | 17 | 23 | 157k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1638.57/1639.17 c 1395s| 2730k|117007 | 10847k| 4.0 | 89M| 52 | 6 | 146 | 68 | 146 | 17 | 23 | 158k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1644.26/1644.86 c 1400s| 2740k|116758 | 10886k| 4.0 | 89M| 52 | - | 146 | 63 | 146 | 17 | 23 | 159k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1649.86/1650.49 c 1404s| 2750k|116379 | 10926k| 4.0 | 89M| 52 | 6 | 146 | 70 | 146 | 17 | 23 | 159k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1655.46/1656.07 c 1409s| 2760k|116413 | 10964k| 4.0 | 89M| 52 | 6 | 146 | 72 | 146 | 17 | 23 | 159k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1661.07/1661.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1661.07/1661.67 c 1414s| 2770k|116452 | 11002k| 4.0 | 89M| 52 | 6 | 146 | 73 | 146 | 17 | 23 | 160k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1666.66/1667.28 c 1419s| 2780k|116017 | 11041k| 4.0 | 89M| 52 | - | 146 | 67 | 146 | 17 | 23 | 160k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1672.35/1672.93 c 1423s| 2790k|116251 | 11080k| 4.0 | 89M| 52 | - | 146 | 65 | 146 | 17 | 23 | 161k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1677.95/1678.56 c 1428s| 2800k|116881 | 11120k| 4.0 | 89M| 52 | 6 | 146 | 73 | 146 | 17 | 23 | 161k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1683.56/1684.14 c 1433s| 2810k|117199 | 11158k| 4.0 | 89M| 52 | 6 | 146 | 80 | 146 | 17 | 23 | 162k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1689.16/1689.75 c 1438s| 2820k|116944 | 11198k| 4.0 | 89M| 52 | 6 | 146 | 70 | 146 | 17 | 23 | 162k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1694.85/1695.45 c 1442s| 2830k|116254 | 11237k| 4.0 | 89M| 52 | 6 | 146 | 69 | 146 | 17 | 23 | 163k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1700.55/1701.11 c 1447s| 2840k|116025 | 11276k| 4.0 | 89M| 52 | - | 146 | 63 | 146 | 17 | 23 | 163k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1706.15/1706.72 c 1452s| 2850k|115885 | 11315k| 4.0 | 89M| 52 | - | 146 | 73 | 146 | 17 | 23 | 164k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1711.74/1712.37 c 1457s| 2860k|115578 | 11355k| 4.0 | 88M| 52 | - | 146 | 65 | 146 | 17 | 23 | 164k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1717.45/1718.00 c 1461s| 2870k|115534 | 11394k| 4.0 | 88M| 52 | - | 146 | 77 | 146 | 17 | 23 | 165k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1723.15/1723.72 c 1466s| 2880k|115425 | 11434k| 4.0 | 88M| 52 | - | 146 | 73 | 146 | 17 | 23 | 165k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1728.84/1729.45 c 1471s| 2890k|114883 | 11474k| 4.0 | 88M| 52 | - | 146 | 62 | 146 | 17 | 23 | 166k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1734.54/1735.15 c 1476s| 2900k|115129 | 11515k| 4.0 | 88M| 52 | - | 146 | 85 | 146 | 17 | 23 | 166k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1740.23/1740.88 c 1481s| 2910k|114648 | 11555k| 4.0 | 88M| 52 | 6 | 146 | 76 | 146 | 17 | 23 | 167k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1745.94/1746.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.94/1746.50 c 1485s| 2920k|115214 | 11594k| 4.0 | 88M| 52 | - | 146 | 82 | 0 | 0 | 23 | 167k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1751.54/1752.10 c 1490s| 2930k|114932 | 11633k| 4.0 | 88M| 52 | 6 | 146 | 87 | 146 | 17 | 23 | 168k| 29k| 0.000000e+00 | 6.000000e+00 | Inf
1757.03/1757.68 c 1495s| 2940k|114436 | 11671k| 4.0 | 88M| 52 | - | 146 | 93 | 146 | 17 | 23 | 168k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1762.74/1763.37 c 1499s| 2950k|113735 | 11710k| 4.0 | 87M| 52 | 6 | 146 | 109 | 146 | 17 | 23 | 169k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1768.43/1769.06 c 1504s| 2960k|113191 | 11751k| 4.0 | 87M| 52 | 6 | 146 | 94 | 146 | 17 | 23 | 169k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1774.13/1774.70 c 1509s| 2970k|112910 | 11790k| 4.0 | 86M| 52 | - | 146 | 84 | 146 | 17 | 23 | 170k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1779.82/1780.42 c 1514s| 2980k|112491 | 11832k| 4.0 | 86M| 52 | 6 | 146 | 85 | 146 | 17 | 23 | 170k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1785.53/1786.15 c 1519s| 2990k|113424 | 11873k| 4.0 | 87M| 52 | 6 | 146 | 92 | 146 | 17 | 23 | 171k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1791.22/1791.84 c 1523s| 3000k|113315 | 11913k| 4.0 | 87M| 52 | - | 146 | 93 | 146 | 17 | 23 | 171k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1796.82/1797.49 c 1528s| 3010k|112751 | 11952k| 4.0 | 86M| 52 | 6 | 146 | 100 | 146 | 17 | 23 | 172k| 30k| 0.000000e+00 | 6.000000e+00 | Inf
1800.03/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.60 c
1800.03/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.60 c Solving Time (sec) : 1530.76
1800.03/1800.60 c Solving Nodes : 3015454
1800.03/1800.60 c Primal Bound : +6.00000000000000e+00 (54 solutions)
1800.03/1800.60 c Dual Bound : +0.00000000000000e+00
1800.03/1800.60 c Gap : infinite
1800.03/1800.60 s SATISFIABLE
1800.03/1800.60 v x117 x146 x145 -x144 -x143 -x142 x141 -x140 x139 -x138 x137 x136 -x135 x134 -x133 -x132 x131 x130 x129 x128 -x127 x126 -x125 -x124
1800.03/1800.60 v -x123 x122 x121 x120 -x119 x118 x116 x115 x114 -x113 -x112 -x111 x110 x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101
1800.03/1800.60 v -x100 x99 x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
1800.03/1800.60 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1800.03/1800.60 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25
1800.03/1800.60 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.03/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.60 c Solving Time : 1530.76
1800.03/1800.60 c Original Problem :
1800.03/1800.60 c Problem name : HOME/instance-2665657-1276602148.opb
1800.03/1800.60 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.60 c Constraints : 12 initial, 12 maximal
1800.03/1800.60 c Presolved Problem :
1800.03/1800.60 c Problem name : t_HOME/instance-2665657-1276602148.opb
1800.03/1800.60 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.60 c Constraints : 6 initial, 163 maximal
1800.03/1800.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.60 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.60 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.60 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.60 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.60 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.60 c linear : 0.01 0 0 0 0 0 6 0 0
1800.03/1800.60 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.60 c root node : - 60 - - 60 - - - -
1800.03/1800.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.60 c integral : 0 0 0 1606757 0 636 18269 0 0 3175858
1800.03/1800.60 c linear : 6+ 7 4111950 1 0 558591 3760701 0 0 0
1800.03/1800.60 c logicor : 0+ 0 1242438 0 0 2875 55292 0 0 0
1800.03/1800.60 c countsols : 0 0 0 33 0 0 0 0 0 0
1800.03/1800.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.60 c integral : 29.91 0.00 0.00 29.91 0.00
1800.03/1800.60 c linear : 279.74 0.00 279.74 0.00 0.00
1800.03/1800.60 c logicor : 4.21 0.00 4.21 0.00 0.00
1800.03/1800.60 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.60 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.60 c vbounds : 2.31 2 0 0
1800.03/1800.60 c rootredcost : 1.86 46 0 60
1800.03/1800.60 c pseudoobj : 36.47 4120513 8729 399843
1800.03/1800.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.60 c propagation : 34.94 569999 155418 181302 47.5 14 26.2 -
1800.03/1800.60 c infeasible LP : 1.50 16966 16914 22880 29.5 1 42.0 0
1800.03/1800.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.60 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.60 c applied globally : - - - 14275 22.3 - - -
1800.03/1800.60 c applied locally : - - - 158710 47.4 - - -
1800.03/1800.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.60 c cut pool : 0.00 5 - - 58 - (maximal pool size: 93)
1800.03/1800.60 c redcost : 55.79 2072254 0 10383337 0 0
1800.03/1800.60 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.60 c intobj : 0.00 0 0 0 0 0
1800.03/1800.60 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.60 c gomory : 0.01 6 0 0 0 0
1800.03/1800.60 c strongcg : 0.01 6 0 0 20 0
1800.03/1800.60 c cmir : 0.02 6 0 0 41 0
1800.03/1800.60 c flowcover : 0.03 6 0 0 54 0
1800.03/1800.60 c clique : 0.00 1 0 0 0 0
1800.03/1800.60 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.60 c mcf : 0.00 1 0 0 0 0
1800.03/1800.61 c rapidlearning : 0.11 1 0 0 0 108
1800.03/1800.61 c Pricers : Time Calls Vars
1800.03/1800.61 c problem variables: 0.00 0 0
1800.03/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c relpscost : 27.30 1606724 636 18269 0 0 3175858
1800.03/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c random : 0.00 0 0 0 0 0 0
1800.03/1800.61 c Primal Heuristics : Time Calls Found
1800.03/1800.61 c LP solutions : 0.09 - 33
1800.03/1800.61 c pseudo solutions : 0.00 - 0
1800.03/1800.61 c oneopt : 2.12 45 0
1800.03/1800.61 c crossover : 10.20 14 0
1800.03/1800.61 c trivial : 0.00 2 0
1800.03/1800.61 c simplerounding : 1.28 0 0
1800.03/1800.61 c zirounding : 1.65 1000 0
1800.03/1800.61 c rounding : 2.56 19393 0
1800.03/1800.61 c shifting : 6.57 8052 1
1800.03/1800.61 c intshifting : 0.13 0 0
1800.03/1800.61 c twoopt : 0.00 0 0
1800.03/1800.61 c fixandinfer : 0.00 0 0
1800.03/1800.61 c feaspump : 0.32 1 0
1800.03/1800.61 c coefdiving : 9.16 2309 0
1800.03/1800.61 c pscostdiving : 5.36 2309 1
1800.03/1800.61 c fracdiving : 5.70 2309 5
1800.03/1800.61 c veclendiving : 4.59 2309 0
1800.03/1800.61 c intdiving : 0.00 0 0
1800.03/1800.61 c actconsdiving : 0.00 0 0
1800.03/1800.61 c objpscostdiving : 1.97 1156 1
1800.03/1800.61 c rootsoldiving : 4.87 1153 7
1800.03/1800.61 c linesearchdiving : 4.73 2309 3
1800.03/1800.61 c guideddiving : 5.12 2309 2
1800.03/1800.61 c octane : 0.00 0 0
1800.03/1800.61 c rens : 0.04 1 0
1800.03/1800.61 c rins : 0.00 0 0
1800.03/1800.61 c localbranching : 0.00 0 0
1800.03/1800.61 c mutation : 0.00 0 0
1800.03/1800.61 c dins : 0.00 0 0
1800.03/1800.61 c undercover : 0.00 0 0
1800.03/1800.61 c nlp : 1.27 0 0
1800.03/1800.61 c trysol : 2.40 0 0
1800.03/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.61 c dual LP : 772.37 2781051 11659272 4.19 15095.45
1800.03/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.61 c diving/probing LP: 24.06 111860 314875 2.81 13087.07
1800.03/1800.61 c strong branching : 10.45 30364 125736 4.14 12032.15
1800.03/1800.61 c (at root node) : - 12 721 60.08 -
1800.03/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.61 c B&B Tree :
1800.03/1800.61 c number of runs : 1
1800.03/1800.61 c nodes : 3015454
1800.03/1800.61 c nodes (total) : 3015454
1800.03/1800.61 c nodes left : 112617
1800.03/1800.61 c max depth : 52
1800.03/1800.61 c max depth (total): 52
1800.03/1800.61 c backtracks : 723571 (24.0%)
1800.03/1800.61 c delayed cutoffs : 32841
1800.03/1800.61 c repropagations : 62958 (212835 domain reductions, 32539 cutoffs)
1800.03/1800.61 c avg switch length: 4.98
1800.03/1800.61 c switching time : 96.65
1800.03/1800.61 c Solution :
1800.03/1800.61 c Solutions found : 54 (46 improvements)
1800.03/1800.61 c First Solution : +7.57000000000000e+02 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.03/1800.61 c Primal Bound : +6.00000000000000e+00 (in run 1, after 2050441 nodes, 1069.94 seconds, depth 40, found by <relaxation>)
1800.03/1800.61 c Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Gap : infinite
1800.03/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Root Iterations : 97
1800.52/1801.13 c Time complete: 1800.55.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665657-1276602148/watcher-2665657-1276602148 -o /tmp/evaluation-result-2665657-1276602148/solver-2665657-1276602148 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665657-1276602148.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 1.90 1.78 3/106 9708
/proc/meminfo: memFree=1846904/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=9288 CPUtime=0
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 1026 0 0 0 0 0 0 0 18 0 1 0 35818748 9510912 946 1992294400 4194304 9819077 140734679767808 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9708/statm: 2322 955 371 1374 0 943 0
[startup+0.109834 s]
/proc/loadavg: 1.94 1.90 1.78 3/106 9708
/proc/meminfo: memFree=1846904/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=22612 CPUtime=0.1
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 4987 0 0 0 8 2 0 0 21 0 1 0 35818748 23154688 4030 1992294400 4194304 9819077 140734679767808 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 5653 4030 673 1374 0 4274 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 22612
[startup+0.201843 s]
/proc/loadavg: 1.94 1.90 1.78 3/106 9708
/proc/meminfo: memFree=1846904/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=16204 CPUtime=0.19
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 5115 0 0 0 17 2 0 0 21 0 1 0 35818748 16592896 2861 1992294400 4194304 9819077 140734679767808 18446744073709551615 6046755 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 4051 2861 686 1374 0 2672 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16204
[startup+0.301854 s]
/proc/loadavg: 1.94 1.90 1.78 3/106 9708
/proc/meminfo: memFree=1846904/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=24472 CPUtime=0.29
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 8795 0 0 0 25 4 0 0 21 0 1 0 35818748 25059328 4452 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 6118 4452 714 1374 0 4739 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24472
[startup+0.701894 s]
/proc/loadavg: 1.94 1.90 1.78 3/106 9708
/proc/meminfo: memFree=1846904/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=16428 CPUtime=0.69
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 13262 0 0 0 61 8 0 0 22 0 1 0 35818748 16822272 2947 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 4107 2947 724 1374 0 2728 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16428
[startup+1.50198 s]
/proc/loadavg: 1.94 1.90 1.78 2/107 9709
/proc/meminfo: memFree=1837224/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=16748 CPUtime=1.49
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 20833 0 0 0 132 17 0 0 25 0 1 0 35818748 17149952 2950 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 4187 2950 725 1374 0 2808 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16748
[startup+3.10114 s]
/proc/loadavg: 1.94 1.90 1.78 2/107 9709
/proc/meminfo: memFree=1836976/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=17420 CPUtime=3.08
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 40718 0 0 0 268 40 0 0 25 0 1 0 35818748 17838080 3058 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 4355 3058 725 1374 0 2976 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17420
[startup+6.30147 s]
/proc/loadavg: 1.95 1.90 1.78 2/107 9709
/proc/meminfo: memFree=1834248/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=19436 CPUtime=6.28
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 71897 0 0 0 549 79 0 0 25 0 1 0 35818748 19902464 3579 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 4859 3579 725 1374 0 3480 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19436
[startup+12.7011 s]
/proc/loadavg: 1.87 1.89 1.78 2/107 9709
/proc/meminfo: memFree=1832636/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=21852 CPUtime=12.68
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 142435 0 0 0 1102 166 0 0 25 0 1 0 35818748 22376448 4185 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 5463 4185 725 1374 0 4084 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21852
[startup+25.5014 s]
/proc/loadavg: 1.68 1.84 1.77 2/107 9709
/proc/meminfo: memFree=1828048/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=26152 CPUtime=25.48
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 286038 0 0 0 2203 345 0 0 25 0 1 0 35818748 26779648 5275 1992294400 4194304 9819077 140734679767808 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 6538 5275 725 1374 0 5159 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26152
[startup+51.1011 s]
/proc/loadavg: 1.45 1.77 1.74 2/107 9709
/proc/meminfo: memFree=1819244/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=35116 CPUtime=51.07
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 563443 0 0 0 4409 698 0 0 25 0 1 0 35818748 35958784 7595 1992294400 4194304 9819077 140734679767808 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 8619 7590 725 1374 0 7240 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35116
[startup+102.301 s]
/proc/loadavg: 1.28 1.67 1.71 2/107 9711
/proc/meminfo: memFree=1808952/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=43920 CPUtime=102.27
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 963771 0 0 0 8901 1326 0 0 25 0 1 0 35818748 44974080 9886 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 10980 9886 725 1374 0 9601 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43920
[startup+162.301 s]
/proc/loadavg: 1.15 1.57 1.67 2/107 9713
/proc/meminfo: memFree=1800520/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=52732 CPUtime=162.24
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 1503935 0 0 0 14086 2138 0 0 25 0 1 0 35818748 53997568 12104 1992294400 4194304 9819077 140734679767808 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 13183 12104 725 1374 0 11804 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 52732
[startup+222.309 s]
/proc/loadavg: 1.05 1.46 1.62 2/107 9715
/proc/meminfo: memFree=1791096/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=63188 CPUtime=222.23
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 2014295 0 0 0 19295 2928 0 0 25 0 1 0 35818748 64704512 14289 1992294400 4194304 9819077 140734679767808 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 15797 14289 725 1374 0 14418 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 63188
[startup+282.302 s]
/proc/loadavg: 1.02 1.38 1.58 3/107 9715
/proc/meminfo: memFree=1786384/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=68296 CPUtime=282.2
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 2555338 0 0 0 24460 3760 0 0 25 0 1 0 35818748 69935104 15593 1992294400 4194304 9819077 140734679767808 18446744073709551615 4978436 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 17074 15593 725 1374 0 15695 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 68296
[startup+342.302 s]
/proc/loadavg: 1.00 1.31 1.54 2/107 9717
/proc/meminfo: memFree=1780184/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=74632 CPUtime=342.19
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 3124041 0 0 0 29593 4626 0 0 25 0 1 0 35818748 76423168 17147 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 18658 17147 725 1374 0 17279 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 74632
[startup+402.301 s]
/proc/loadavg: 1.00 1.25 1.51 2/107 9719
/proc/meminfo: memFree=1774108/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=80636 CPUtime=402.16
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 3694152 0 0 0 34742 5474 0 0 25 0 1 0 35818748 82571264 18718 1992294400 4194304 9819077 140734679767808 18446744073709551615 4980271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 20159 18718 725 1374 0 18780 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 80636
[startup+462.301 s]
/proc/loadavg: 1.00 1.20 1.47 2/107 9721
/proc/meminfo: memFree=1769148/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=84924 CPUtime=462.15
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 4256681 0 0 0 39896 6319 0 0 25 0 1 0 35818748 86962176 19804 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 21231 19804 725 1374 0 19852 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 84924
[startup+522.301 s]
/proc/loadavg: 1.00 1.16 1.44 2/107 9723
/proc/meminfo: memFree=1762452/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=91424 CPUtime=522.12
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 4813567 0 0 0 45045 7167 0 0 25 0 1 0 35818748 93618176 21454 1992294400 4194304 9819077 140734679767808 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 22856 21454 725 1374 0 21477 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 91424
[startup+582.301 s]
/proc/loadavg: 1.00 1.13 1.41 2/107 9723
/proc/meminfo: memFree=1756872/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=96588 CPUtime=582.1
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 5409707 0 0 0 50158 8052 0 0 25 0 1 0 35818748 98906112 22789 1992294400 4194304 9819077 140734679767808 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 24187 22790 725 1374 0 22808 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 96588
[startup+642.302 s]
/proc/loadavg: 1.00 1.10 1.38 2/107 9725
/proc/meminfo: memFree=1754020/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=100144 CPUtime=642.09
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 6057424 0 0 0 55250 8959 0 0 25 0 1 0 35818748 102547456 23606 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 25036 23606 725 1374 0 23657 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 100144
[startup+702.302 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.26 2/107 9733
/proc/meminfo: memFree=1739016/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=113824 CPUtime=941.99
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 9288466 0 0 0 80678 13521 0 0 25 0 1 0 35818748 116555776 27108 1992294400 4194304 9819077 140734679767808 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 28456 27108 725 1374 0 27077 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 113824
[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.25 2/107 9735
/proc/meminfo: memFree=1733312/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=118952 CPUtime=1001.97
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 9928635 0 0 0 85772 14425 0 0 25 0 1 0 35818748 121806848 28505 1992294400 4194304 9819077 140734679767808 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 29818 28507 725 1374 0 28439 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 118952
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.23 2/107 9737
/proc/meminfo: memFree=1729468/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=123448 CPUtime=1061.95
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 10565710 0 0 0 90860 15335 0 0 25 0 1 0 35818748 126410752 29525 1992294400 4194304 9819077 140734679767808 18446744073709551615 4925526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 30862 29525 725 1374 0 29483 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 123448
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/107 9748
/proc/meminfo: memFree=1725996/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=125292 CPUtime=1121.91
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 11209081 0 0 0 95941 16250 0 0 25 0 1 0 35818748 128299008 30000 1992294400 4194304 9819077 140734679767808 18446744073709551615 6665251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 31323 30000 725 1374 0 29944 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 125292
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/107 9748
/proc/meminfo: memFree=1725500/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=126480 CPUtime=1181.89
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 11854286 0 0 0 101043 17146 0 0 25 0 1 0 35818748 129515520 30311 1992294400 4194304 9819077 140734679767808 18446744073709551615 4947664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 31620 30311 725 1374 0 30241 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 126480
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/107 9750
/proc/meminfo: memFree=1723764/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=128064 CPUtime=1241.88
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 12488347 0 0 0 106131 18057 0 0 25 0 1 0 35818748 131137536 30693 1992294400 4194304 9819077 140734679767808 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 32016 30693 725 1374 0 30637 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 128064
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 9752
/proc/meminfo: memFree=1723144/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=128064 CPUtime=1301.86
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 13170046 0 0 0 111175 19011 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 32016 30724 725 1374 0 30637 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 128064
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 9754
/proc/meminfo: memFree=1723144/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=128064 CPUtime=1361.85
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 13861250 0 0 0 116203 19982 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 32016 30724 725 1374 0 30637 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 128064
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 9756
/proc/meminfo: memFree=1723020/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=128064 CPUtime=1421.83
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 14552944 0 0 0 121244 20939 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 32016 30724 725 1374 0 30637 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 128064
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 9756
/proc/meminfo: memFree=1722896/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=128064 CPUtime=1481.81
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 15233435 0 0 0 126298 21883 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 32016 30724 725 1374 0 30637 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 128064
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.12 3/107 9758
/proc/meminfo: memFree=1722772/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=128064 CPUtime=1541.8
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 15914796 0 0 0 131346 22834 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 32016 30724 725 1374 0 30637 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 128064
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.11 3/107 9760
/proc/meminfo: memFree=1722896/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=128064 CPUtime=1601.77
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 16606302 0 0 0 136378 23799 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 7816434 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 32016 30724 725 1374 0 30637 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 128064
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 9762
/proc/meminfo: memFree=1722772/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=127424 CPUtime=1661.76
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 17284555 0 0 0 141437 24739 0 0 25 0 1 0 35818748 130482176 30720 1992294400 4194304 9819077 140734679767808 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 32016 30724 725 1374 0 30637 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 127424
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 9764
/proc/meminfo: memFree=1722524/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=127104 CPUtime=1721.74
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 17957682 0 0 0 146498 25676 0 0 25 0 1 0 35818748 130154496 30719 1992294400 4194304 9819077 140734679767808 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 31976 30723 725 1374 0 30597 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 127104
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 9764
/proc/meminfo: memFree=1722276/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=128064 CPUtime=1781.72
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 18636775 0 0 0 151539 26633 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 31896 30722 725 1374 0 30517 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 128064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 9766
/proc/meminfo: memFree=1722276/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=128064 CPUtime=1800.03
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 18844169 0 0 0 153076 26927 0 0 25 0 1 0 35818748 131137536 30724 1992294400 4194304 9819077 140734679767808 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9708/statm: 32016 30724 725 1374 0 30637 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 128064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 9767
/proc/meminfo: memFree=1722268/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=128064 CPUtime=1800.13
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 18844180 0 0 0 153086 26927 0 0 25 0 1 0 35818748 131137536 30725 1992294400 4194304 9819077 140734679767808 18446744073709551615 6179993 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9708/statm: 32016 30725 726 1374 0 30637 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 128064
[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 9767
/proc/meminfo: memFree=1722268/2059040 swapFree=4135684/4192956
[pid=9708] ppid=9706 vsize=122428 CPUtime=1800.52
/proc/9708/stat : 9708 (pbscip.linux.x8) R 9706 9708 4850 0 -1 4202496 18844180 0 0 0 153125 26927 0 0 25 0 1 0 35818748 125366272 29318 1992294400 4194304 9819077 140734679767808 18446744073709551615 6179993 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9708/statm: 30607 29318 726 1374 0 29228 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 122428
Child status: 0
Real time (s): 1801.13
CPU time (s): 1800.56
CPU user time (s): 1531.27
CPU system time (s): 269.292
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 129184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1531.27
system time used= 269.292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18844184
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= 24359
runsolver used 3.02654 second user time and 8.47471 second system time
The end