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-2665658-1276599083.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 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, 8 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/198 (51.0%) - 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, 8 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 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 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.03/0.03 c
0.03/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.04 c 0.0s| 1 | 0 | 41 | - | 633k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 o 987
0.09/0.16 c y 0.1s| 1 | 0 | 41 | - | 692k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 47 | - | 818k| 0 | 11 | 198 | 70 | 198 | 14 | 6 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 61 | - | 902k| 0 | 14 | 198 | 70 | 198 | 19 | 11 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 69 | - | 964k| 0 | 15 | 198 | 70 | 198 | 24 | 16 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 74 | - | 993k| 0 | 18 | 198 | 70 | 198 | 26 | 18 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 89 | - |1001k| 0 | 16 | 198 | 70 | 198 | 28 | 20 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.19/0.29 c 0.3s| 1 | 0 | 105 | - |1031k| 0 | 18 | 198 | 70 | 198 | 32 | 24 | 0 | 0 | 0.000000e+00 | 9.870000e+02 | Inf
0.29/0.35 c 0.3s| 1 | 2 | 105 | - |1031k| 0 | 18 | 198 | 70 | 198 | 32 | 24 | 0 | 9 | 0.000000e+00 | 9.870000e+02 | Inf
0.59/0.60 o 235
0.59/0.60 c c 0.5s| 52 | 51 | 375 | 5.3 |1110k| 51 | - | 198 | 70 | 198 | 18 | 24 | 0 | 269 | 0.000000e+00 | 2.350000e+02 | Inf
1.10/1.13 o 233
1.10/1.13 c * 1.0s| 364 | 354 | 1895 | 4.9 |1271k| 62 | - | 198 | 70 | 198 | 18 | 24 | 6 | 670 | 0.000000e+00 | 2.330000e+02 | Inf
1.69/1.75 o 232
1.69/1.75 c * 1.5s| 883 | 853 | 4708 | 5.2 |1520k| 62 | - | 198 | 70 | 198 | 18 | 24 | 19 | 795 | 0.000000e+00 | 2.320000e+02 | Inf
1.69/1.76 o 231
1.69/1.76 c * 1.5s| 885 | 852 | 4722 | 5.2 |1521k| 62 | - | 198 | 70 | 198 | 18 | 24 | 19 | 801 | 0.000000e+00 | 2.310000e+02 | Inf
1.69/1.77 o 229
1.69/1.77 c l 1.6s| 888 | 853 | 4724 | 5.2 |1540k| 62 | - | 198 | 70 | 198 | 18 | 24 | 20 | 812 | 0.000000e+00 | 2.290000e+02 | Inf
1.69/1.77 o 227
1.69/1.77 c g 1.6s| 888 | 852 | 4724 | 5.2 |1543k| 62 | - | 198 | 70 | 198 | 18 | 24 | 21 | 812 | 0.000000e+00 | 2.270000e+02 | Inf
2.59/2.65 o 167
2.59/2.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.59/2.65 c g 2.3s| 1582 | 1506 | 9473 | 5.9 |1857k| 62 | - | 198 | 70 | 198 | 18 | 24 | 39 | 879 | 0.000000e+00 | 1.670000e+02 | Inf
4.69/4.73 o 118
4.69/4.73 c g 4.2s| 3213 | 3041 | 20954 | 6.5 |2585k| 62 | - | 198 | 70 | 198 | 18 | 24 | 122 | 903 | 0.000000e+00 | 1.180000e+02 | Inf
12.69/12.71 o 116
12.69/12.71 c *11.3s| 9695 | 9360 | 65121 | 6.7 |5595k| 62 | - | 198 | 9 | 198 | 18 | 24 | 340 |1011 | 0.000000e+00 | 1.160000e+02 | Inf
12.99/13.00 c 11.6s| 10000 | 9653 | 66753 | 6.7 |5726k| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 344 |1021 | 0.000000e+00 | 1.160000e+02 | Inf
15.39/15.45 o 114
15.39/15.45 c l13.7s| 12409 | 11945 | 80676 | 6.5 |6805k| 62 | - | 198 | 9 | 198 | 18 | 24 | 401 |1130 | 0.000000e+00 | 1.140000e+02 | Inf
15.99/16.03 o 113
15.99/16.03 c f14.2s| 12877 | 12396 | 84067 | 6.5 |7018k| 62 | - | 198 | 9 | 198 | 18 | 24 | 416 |1159 | 0.000000e+00 | 1.130000e+02 | Inf
22.48/22.50 o 74
22.48/22.50 c f20.0s| 18821 | 17620 |119433 | 6.3 |9100k| 62 | - | 198 | 9 | 198 | 18 | 24 | 581 |1385 | 0.000000e+00 | 7.400000e+01 | Inf
24.99/25.00 c 22.2s| 20000 | 18634 |127801 | 6.4 |9597k| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 636 |1463 | 0.000000e+00 | 7.400000e+01 | Inf
33.28/33.37 o 72
33.28/33.37 c *29.7s| 28025 | 25326 |173126 | 6.2 | 13M| 62 | - | 198 | 9 | 198 | 18 | 24 | 831 |1965 | 0.000000e+00 | 7.200000e+01 | Inf
33.28/33.38 o 70
33.28/33.38 c *29.7s| 28027 | 25278 |173126 | 6.2 | 13M| 62 | - | 198 | 9 | 198 | 18 | 24 | 831 |1968 | 0.000000e+00 | 7.000000e+01 | Inf
37.29/37.33 c 33.1s| 30000 | 26978 |184028 | 6.1 | 14M| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 873 |2069 | 0.000000e+00 | 7.000000e+01 | Inf
47.48/47.59 c 42.2s| 40000 | 34759 |242153 | 6.1 | 18M| 62 | 8 | 198 | 9 | 198 | 18 | 24 |1128 |2582 | 0.000000e+00 | 7.000000e+01 | Inf
57.97/58.02 c 51.5s| 50000 | 42283 |302606 | 6.1 | 23M| 62 | - | 198 | 11 | 198 | 18 | 24 |1435 |3080 | 0.000000e+00 | 7.000000e+01 | Inf
59.68/59.79 o 69
59.68/59.79 c *53.1s| 51761 | 43649 |312940 | 6.0 | 24M| 62 | - | 198 | 11 | 198 | 18 | 24 |1489 |3136 | 0.000000e+00 | 6.900000e+01 | Inf
68.08/68.13 o 68
68.08/68.13 c *60.6s| 59735 | 49602 |363493 | 6.1 | 28M| 62 | - | 198 | 12 | 198 | 18 | 24 |1751 |3451 | 0.000000e+00 | 6.800000e+01 | Inf
68.37/68.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.37/68.45 c 60.9s| 60000 | 49781 |365418 | 6.1 | 28M| 62 | 8 | 198 | 12 | 198 | 18 | 24 |1767 |3460 | 0.000000e+00 | 6.800000e+01 | Inf
79.47/79.59 c 70.8s| 70000 | 57155 |426149 | 6.1 | 33M| 62 | 8 | 198 | 11 | 198 | 18 | 24 |2094 |3792 | 0.000000e+00 | 6.800000e+01 | Inf
84.47/84.50 o 66
84.47/84.50 c *75.2s| 74924 | 60608 |454988 | 6.1 | 35M| 62 | - | 198 | 12 | 198 | 18 | 24 |2217 |3931 | 0.000000e+00 | 6.600000e+01 | Inf
89.66/89.79 c 80.0s| 80000 | 64238 |485843 | 6.1 | 38M| 62 | 8 | 198 | 11 | 198 | 18 | 24 |2385 |4101 | 0.000000e+00 | 6.600000e+01 | Inf
100.07/100.16 c 89.2s| 90000 | 71669 |548551 | 6.1 | 43M| 62 | 8 | 198 | 10 | 198 | 18 | 24 |2716 |4396 | 0.000000e+00 | 6.600000e+01 | Inf
110.16/110.23 c 98.2s|100000 | 78915 |609927 | 6.1 | 48M| 62 | 8 | 198 | 10 | 198 | 18 | 24 |3029 |4669 | 0.000000e+00 | 6.600000e+01 | Inf
120.26/120.38 c 107s|110000 | 86381 |670282 | 6.1 | 53M| 62 | - | 198 | 10 | 198 | 18 | 24 |3386 |4940 | 0.000000e+00 | 6.600000e+01 | Inf
130.36/130.47 c 116s|120000 | 93618 |731317 | 6.1 | 58M| 62 | 8 | 198 | 9 | 198 | 18 | 24 |3674 |5186 | 0.000000e+00 | 6.600000e+01 | Inf
136.95/137.05 o 64
136.95/137.05 c * 122s|126542 | 95956 |771548 | 6.1 | 58M| 62 | - | 198 | 9 | 198 | 18 | 24 |3882 |5357 | 0.000000e+00 | 6.400000e+01 | Inf
136.95/137.07 o 62
136.95/137.07 c * 122s|126545 | 95543 |771553 | 6.1 | 57M| 62 | - | 198 | 9 | 198 | 18 | 24 |3882 |5367 | 0.000000e+00 | 6.200000e+01 | Inf
140.45/140.56 c 125s|130000 | 97930 |794128 | 6.1 | 59M| 62 | - | 198 | 9 | 198 | 18 | 24 |3995 |5475 | 0.000000e+00 | 6.200000e+01 | Inf
150.66/150.73 c 134s|140000 |104988 |860913 | 6.1 | 63M| 62 | 8 | 198 | 11 | 198 | 18 | 24 |4341 |5731 | 0.000000e+00 | 6.200000e+01 | Inf
158.86/158.94 o 60
158.86/158.94 c * 142s|148072 |110414 |914688 | 6.2 | 66M| 62 | - | 198 | 12 | 198 | 18 | 24 |4610 |5914 | 0.000000e+00 | 6.000000e+01 | Inf
158.86/158.95 o 56
158.86/158.95 c g 142s|148074 |108807 |914692 | 6.2 | 64M| 62 | - | 198 | 12 | 198 | 18 | 24 |4610 |5918 | 0.000000e+00 | 5.600000e+01 | Inf
161.05/161.19 c 144s|150000 |110022 |929283 | 6.2 | 65M| 62 | 8 | 198 | 14 | 198 | 18 | 24 |4708 |5962 | 0.000000e+00 | 5.600000e+01 | Inf
170.75/170.81 o 55
170.75/170.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.75/170.81 c * 152s|159313 |115936 |992488 | 6.2 | 68M| 62 | - | 198 | 12 | 198 | 18 | 24 |4989 |6160 | 0.000000e+00 | 5.500000e+01 | Inf
171.34/171.48 c 153s|160000 |116375 |996727 | 6.2 | 68M| 62 | 8 | 198 | 12 | 198 | 18 | 24 |5007 |6164 | 0.000000e+00 | 5.500000e+01 | Inf
181.46/181.56 c 162s|170000 |123056 | 1062k| 6.3 | 73M| 62 | - | 198 | 10 | 198 | 18 | 24 |5343 |6374 | 0.000000e+00 | 5.500000e+01 | Inf
191.64/191.73 c 171s|180000 |129763 | 1129k| 6.3 | 77M| 62 | - | 198 | 13 | 198 | 18 | 24 |5676 |6566 | 0.000000e+00 | 5.500000e+01 | Inf
201.84/201.93 c 180s|190000 |136566 | 1196k| 6.3 | 81M| 62 | 8 | 198 | 15 | 198 | 18 | 24 |6024 |6751 | 0.000000e+00 | 5.500000e+01 | Inf
212.14/212.29 c 190s|200000 |142846 | 1265k| 6.3 | 86M| 62 | 8 | 198 | 14 | 198 | 18 | 24 |6427 |6923 | 0.000000e+00 | 5.500000e+01 | Inf
222.53/222.64 c 199s|210000 |149487 | 1335k| 6.4 | 90M| 62 | 8 | 198 | 14 | 198 | 18 | 24 |6764 |7100 | 0.000000e+00 | 5.500000e+01 | Inf
232.83/232.95 c 208s|220000 |156008 | 1402k| 6.4 | 94M| 62 | - | 198 | 10 | 198 | 18 | 24 |7117 |7259 | 0.000000e+00 | 5.500000e+01 | Inf
238.43/238.58 o 54
238.43/238.58 c * 213s|225572 |159218 | 1439k| 6.4 | 96M| 62 | - | 198 | 11 | 198 | 18 | 24 |7311 |7349 | 0.000000e+00 | 5.400000e+01 | Inf
238.43/238.59 o 52
238.43/238.59 c * 213s|225573 |157821 | 1439k| 6.4 | 94M| 62 | - | 198 | 11 | 198 | 18 | 24 |7311 |7349 | 0.000000e+00 | 5.200000e+01 | Inf
238.83/238.99 o 51
238.83/238.99 c * 214s|225984 |157203 | 1441k| 6.4 | 93M| 62 | - | 198 | 11 | 198 | 18 | 24 |7328 |7364 | 0.000000e+00 | 5.100000e+01 | Inf
238.93/239.01 o 49
238.93/239.01 c * 214s|225986 |155555 | 1441k| 6.4 | 91M| 62 | - | 198 | 11 | 198 | 18 | 24 |7328 |7367 | 0.000000e+00 | 4.900000e+01 | Inf
242.93/243.04 c 217s|230000 |158149 | 1468k| 6.4 | 93M| 62 | 8 | 198 | 12 | 198 | 18 | 24 |7455 |7420 | 0.000000e+00 | 4.900000e+01 | Inf
253.13/253.23 c 226s|240000 |164226 | 1534k| 6.4 | 97M| 62 | 8 | 198 | 12 | 198 | 18 | 24 |7815 |7575 | 0.000000e+00 | 4.900000e+01 | Inf
263.32/263.47 c 235s|250000 |170450 | 1601k| 6.4 | 101M| 62 | 8 | 198 | 10 | 198 | 18 | 24 |8168 |7737 | 0.000000e+00 | 4.900000e+01 | Inf
273.62/273.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.62/273.71 c 245s|260000 |176481 | 1668k| 6.4 | 105M| 62 | 8 | 198 | 10 | 198 | 18 | 24 |8598 |7897 | 0.000000e+00 | 4.900000e+01 | Inf
275.12/275.21 o 47
275.12/275.21 c * 246s|261427 |175008 | 1677k| 6.4 | 103M| 62 | - | 198 | 10 | 198 | 18 | 24 |8657 |7935 | 0.000000e+00 | 4.700000e+01 | Inf
278.62/278.79 o 46
278.62/278.79 c * 249s|264961 |176218 | 1700k| 6.4 | 104M| 62 | - | 198 | 9 | 198 | 18 | 24 |8769 |8005 | 0.000000e+00 | 4.600000e+01 | Inf
278.72/278.80 o 44
278.72/278.80 c * 249s|264962 |174121 | 1700k| 6.4 | 101M| 62 | - | 198 | 9 | 198 | 18 | 24 |8769 |8005 | 0.000000e+00 | 4.400000e+01 | Inf
284.42/284.56 o 43
284.42/284.56 c * 254s|267437 |174491 | 1716k| 6.4 | 101M| 62 | - | 198 | 9 | 198 | 18 | 24 |8853 |8030 | 0.000000e+00 | 4.300000e+01 | Inf
287.03/287.19 c 256s|270000 |175934 | 1733k| 6.4 | 102M| 62 | 8 | 198 | 9 | 198 | 18 | 24 |8971 |8071 | 0.000000e+00 | 4.300000e+01 | Inf
297.11/297.27 c 266s|280000 |181554 | 1799k| 6.4 | 106M| 62 | - | 198 | 9 | 198 | 18 | 24 |9296 |8237 | 0.000000e+00 | 4.300000e+01 | Inf
307.41/307.50 c 275s|290000 |187447 | 1864k| 6.4 | 110M| 62 | 8 | 198 | 10 | 198 | 18 | 24 |9641 |8373 | 0.000000e+00 | 4.300000e+01 | Inf
317.61/317.73 c 284s|300000 |192985 | 1930k| 6.4 | 114M| 62 | 8 | 198 | 13 | 198 | 18 | 24 |9974 |8517 | 0.000000e+00 | 4.300000e+01 | Inf
327.91/328.04 c 293s|310000 |198576 | 1997k| 6.4 | 118M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 10k|8679 | 0.000000e+00 | 4.300000e+01 | Inf
338.10/338.29 c 302s|320000 |204053 | 2064k| 6.5 | 122M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 10k|8814 | 0.000000e+00 | 4.300000e+01 | Inf
348.00/348.18 c 311s|330000 |209463 | 2127k| 6.4 | 125M| 62 | - | 198 | 11 | 198 | 18 | 24 | 10k|8959 | 0.000000e+00 | 4.300000e+01 | Inf
358.30/358.43 c 320s|340000 |214994 | 2193k| 6.5 | 129M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 11k|9104 | 0.000000e+00 | 4.300000e+01 | Inf
368.60/368.71 c 330s|350000 |220928 | 2259k| 6.5 | 133M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 11k|9237 | 0.000000e+00 | 4.300000e+01 | Inf
378.50/378.63 c 339s|360000 |226463 | 2323k| 6.5 | 137M| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 11k|9361 | 0.000000e+00 | 4.300000e+01 | Inf
388.59/388.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.59/388.75 c 348s|370000 |231876 | 2388k| 6.5 | 141M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 12k|9504 | 0.000000e+00 | 4.300000e+01 | Inf
398.59/398.76 c 357s|380000 |237227 | 2453k| 6.5 | 144M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 12k|9650 | 0.000000e+00 | 4.300000e+01 | Inf
406.19/406.37 o 41
406.19/406.37 c v 364s|387685 |238530 | 2501k| 6.5 | 144M| 62 | - | 198 | 12 | 198 | 18 | 24 | 12k|9770 | 0.000000e+00 | 4.100000e+01 | Inf
406.19/406.39 o 39
406.19/406.39 c g 364s|387685 |235598 | 2501k| 6.5 | 141M| 62 | - | 198 | 12 | 198 | 18 | 24 | 12k|9770 | 0.000000e+00 | 3.900000e+01 | Inf
408.58/408.74 c 366s|390000 |236857 | 2519k| 6.5 | 141M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 12k|9789 | 0.000000e+00 | 3.900000e+01 | Inf
418.68/418.81 c 375s|400000 |242348 | 2585k| 6.5 | 145M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 13k|9924 | 0.000000e+00 | 3.900000e+01 | Inf
428.48/428.62 c 384s|410000 |247418 | 2648k| 6.5 | 149M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 13k| 10k| 0.000000e+00 | 3.900000e+01 | Inf
438.38/438.51 c 392s|420000 |252525 | 2711k| 6.5 | 153M| 62 | - | 198 | 10 | 198 | 18 | 24 | 13k| 10k| 0.000000e+00 | 3.900000e+01 | Inf
448.28/448.49 c 401s|430000 |257730 | 2775k| 6.5 | 156M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 14k| 10k| 0.000000e+00 | 3.900000e+01 | Inf
457.38/457.51 o 38
457.38/457.51 c * 409s|438974 |260834 | 2832k| 6.5 | 158M| 62 | - | 198 | 9 | 198 | 18 | 24 | 14k| 10k| 0.000000e+00 | 3.800000e+01 | Inf
457.38/457.53 o 36
457.38/457.53 c c 409s|438976 |257248 | 2833k| 6.5 | 154M| 62 | - | 198 | 9 | 198 | 18 | 24 | 14k| 10k| 0.000000e+00 | 3.600000e+01 | Inf
457.38/457.56 o 34
457.38/457.56 c l 410s|438976 |253352 | 2833k| 6.5 | 150M| 62 | - | 198 | 9 | 198 | 18 | 24 | 14k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
458.58/458.74 c 411s|440000 |253795 | 2839k| 6.5 | 150M| 62 | - | 198 | 9 | 198 | 18 | 24 | 14k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
468.87/469.04 c 420s|450000 |258074 | 2904k| 6.5 | 153M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 14k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
478.46/478.64 c 428s|460000 |262709 | 2966k| 6.4 | 157M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 14k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
488.06/488.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
488.06/488.28 c 437s|470000 |267346 | 3029k| 6.4 | 160M| 62 | - | 198 | 9 | 0 | 0 | 24 | 15k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
497.36/497.52 c 445s|480000 |271625 | 3091k| 6.4 | 164M| 62 | - | 198 | 10 | 0 | 0 | 24 | 15k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
506.56/506.75 c 453s|490000 |275913 | 3152k| 6.4 | 167M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 15k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
516.36/516.56 c 462s|500000 |280846 | 3215k| 6.4 | 171M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 15k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
525.85/526.08 c 471s|510000 |285676 | 3277k| 6.4 | 174M| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 16k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
535.26/535.41 c 479s|520000 |290388 | 3339k| 6.4 | 177M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 16k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
544.45/544.64 c 487s|530000 |294831 | 3400k| 6.4 | 181M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 16k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
552.85/553.00 o 33
552.85/553.00 c * 495s|539174 |296320 | 3456k| 6.4 | 181M| 62 | - | 198 | 9 | 198 | 18 | 24 | 17k| 11k| 0.000000e+00 | 3.300000e+01 | Inf
552.85/553.05 o 31
552.85/553.05 c * 495s|539175 |284642 | 3456k| 6.4 | 172M| 62 | - | 198 | 9 | 198 | 18 | 24 | 17k| 11k| 0.000000e+00 | 3.100000e+01 | Inf
553.54/553.76 c 496s|540000 |284915 | 3461k| 6.4 | 172M| 62 | - | 198 | 9 | 0 | 0 | 24 | 17k| 11k| 0.000000e+00 | 3.100000e+01 | Inf
562.74/562.91 c 504s|550000 |289148 | 3527k| 6.4 | 175M| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 17k| 11k| 0.000000e+00 | 3.100000e+01 | Inf
571.75/571.96 c 512s|560000 |293425 | 3593k| 6.4 | 178M| 62 | - | 198 | 11 | 198 | 18 | 24 | 17k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
580.82/581.01 c 520s|570000 |297479 | 3659k| 6.4 | 181M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 17k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
589.73/589.96 c 528s|580000 |301690 | 3725k| 6.4 | 184M| 62 | - | 198 | 14 | 198 | 18 | 24 | 18k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
598.82/599.01 c 536s|590000 |305929 | 3791k| 6.4 | 187M| 62 | - | 198 | 10 | 0 | 0 | 24 | 18k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
607.62/607.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
607.62/607.86 c 544s|600000 |309719 | 3858k| 6.4 | 189M| 62 | - | 198 | 12 | 198 | 18 | 24 | 18k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
616.52/616.71 c 552s|610000 |313569 | 3924k| 6.4 | 192M| 62 | - | 198 | 13 | 198 | 18 | 24 | 18k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
625.41/625.65 c 560s|620000 |317528 | 3990k| 6.4 | 195M| 62 | - | 198 | 10 | 198 | 18 | 24 | 18k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
634.42/634.65 c 568s|630000 |321626 | 4056k| 6.4 | 197M| 62 | - | 198 | 11 | 198 | 18 | 24 | 19k| 12k| 0.000000e+00 | 3.100000e+01 | Inf
643.41/643.66 c 576s|640000 |325503 | 4123k| 6.4 | 200M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 19k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
652.61/652.85 c 584s|650000 |329862 | 4190k| 6.4 | 203M| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 19k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
661.50/661.73 c 592s|660000 |333746 | 4256k| 6.4 | 206M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 19k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
670.50/670.70 c 600s|670000 |337981 | 4323k| 6.5 | 208M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 20k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
679.30/679.53 c 608s|680000 |341685 | 4388k| 6.5 | 211M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 20k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
688.10/688.34 c 616s|690000 |345469 | 4455k| 6.5 | 214M| 62 | - | 198 | 12 | 198 | 18 | 24 | 20k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
696.80/697.08 c 624s|700000 |349574 | 4520k| 6.5 | 216M| 62 | - | 198 | 14 | 198 | 18 | 24 | 20k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
705.70/705.95 c 632s|710000 |353612 | 4585k| 6.5 | 219M| 62 | - | 198 | 11 | 198 | 18 | 24 | 20k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
714.39/714.68 c 640s|720000 |357294 | 4650k| 6.5 | 222M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 21k| 13k| 0.000000e+00 | 3.100000e+01 | Inf
723.09/723.39 c 648s|730000 |360955 | 4714k| 6.5 | 224M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 21k| 14k| 0.000000e+00 | 3.100000e+01 | Inf
731.89/732.16 c 655s|740000 |364927 | 4779k| 6.5 | 227M| 62 | - | 198 | 11 | 198 | 18 | 24 | 21k| 14k| 0.000000e+00 | 3.100000e+01 | Inf
743.79/744.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
743.79/744.08 c 666s|750000 |368800 | 4844k| 6.5 | 230M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 21k| 14k| 0.000000e+00 | 3.100000e+01 | Inf
751.78/752.08 o 29
751.78/752.08 c * 673s|758614 |367825 | 4902k| 6.5 | 227M| 62 | - | 198 | 11 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
753.08/753.37 c 674s|760000 |368404 | 4912k| 6.5 | 227M| 62 | - | 198 | 11 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
762.57/762.80 o 28
762.57/762.80 c * 682s|767017 |368341 | 4958k| 6.5 | 226M| 62 | - | 198 | 11 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
762.57/762.84 o 26
762.57/762.84 c * 682s|767018 |362693 | 4958k| 6.5 | 219M| 62 | - | 198 | 11 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
765.18/765.43 c 685s|770000 |363631 | 4978k| 6.5 | 220M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
773.98/774.25 c 693s|780000 |367112 | 5042k| 6.5 | 222M| 62 | - | 198 | 16 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
782.37/782.66 c 700s|790000 |370258 | 5105k| 6.5 | 225M| 62 | - | 198 | 13 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
791.28/791.55 c 708s|800000 |374322 | 5170k| 6.5 | 227M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 22k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
799.97/800.24 c 716s|810000 |377879 | 5235k| 6.5 | 230M| 62 | - | 198 | 13 | 0 | 0 | 24 | 23k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
808.57/808.84 c 724s|820000 |381335 | 5298k| 6.5 | 232M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 23k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
817.27/817.58 c 731s|830000 |385187 | 5363k| 6.5 | 235M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 23k| 14k| 0.000000e+00 | 2.600000e+01 | Inf
825.57/825.81 c 739s|840000 |388371 | 5423k| 6.5 | 237M| 62 | - | 198 | 15 | 198 | 18 | 24 | 23k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
834.26/834.54 c 747s|850000 |392119 | 5484k| 6.5 | 240M| 62 | - | 198 | 10 | 0 | 0 | 24 | 23k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
842.86/843.16 c 754s|860000 |395847 | 5545k| 6.4 | 242M| 62 | - | 198 | 12 | 198 | 18 | 24 | 24k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
851.16/851.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.16/851.46 c 762s|870000 |399034 | 5605k| 6.4 | 244M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 24k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
862.86/863.14 c 772s|880000 |402125 | 5666k| 6.4 | 247M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 24k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
871.25/871.52 c 779s|890000 |405225 | 5728k| 6.4 | 249M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 24k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
879.65/880.00 c 787s|900000 |408303 | 5790k| 6.4 | 251M| 62 | - | 198 | 12 | 0 | 0 | 24 | 25k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
888.55/888.87 c 795s|910000 |411706 | 5855k| 6.4 | 254M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 25k| 15k| 0.000000e+00 | 2.600000e+01 | Inf
896.84/897.13 o 25
896.84/897.13 c * 802s|919740 |411715 | 5917k| 6.4 | 252M| 62 | - | 198 | 13 | 198 | 18 | 24 | 25k| 15k| 0.000000e+00 | 2.500000e+01 | Inf
896.84/897.18 o 23
896.84/897.18 c * 802s|919741 |404616 | 5917k| 6.4 | 244M| 62 | - | 198 | 13 | 198 | 18 | 24 | 25k| 15k| 0.000000e+00 | 2.300000e+01 | Inf
897.05/897.38 c 802s|920000 |404665 | 5918k| 6.4 | 244M| 62 | - | 198 | 13 | 0 | 0 | 24 | 25k| 15k| 0.000000e+00 | 2.300000e+01 | Inf
905.45/905.71 c 810s|930000 |407537 | 5982k| 6.4 | 247M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 25k| 15k| 0.000000e+00 | 2.300000e+01 | Inf
913.85/914.13 c 817s|940000 |410882 | 6044k| 6.4 | 249M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 25k| 15k| 0.000000e+00 | 2.300000e+01 | Inf
922.14/922.46 c 825s|950000 |414237 | 6105k| 6.4 | 251M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 26k| 15k| 0.000000e+00 | 2.300000e+01 | Inf
930.03/930.34 c 832s|960000 |416908 | 6165k| 6.4 | 253M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 26k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
938.23/938.51 c 839s|970000 |419744 | 6226k| 6.4 | 256M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 26k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
946.43/946.72 c 847s|980000 |422494 | 6288k| 6.4 | 258M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 26k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
955.33/955.68 c 855s|990000 |426818 | 6350k| 6.4 | 260M| 62 | - | 198 | 17 | 0 | 0 | 24 | 26k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
963.92/964.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.92/964.26 c 862s| 1000k|430687 | 6411k| 6.4 | 263M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 27k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
971.92/972.29 c 870s| 1010k|433724 | 6470k| 6.4 | 265M| 62 | - | 198 | 13 | 198 | 18 | 24 | 27k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
979.92/980.24 c 877s| 1020k|436774 | 6529k| 6.4 | 267M| 62 | - | 198 | 13 | 198 | 18 | 24 | 27k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
990.92/991.27 c 886s| 1030k|439571 | 6590k| 6.4 | 269M| 62 | - | 198 | 12 | 198 | 18 | 24 | 27k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
998.91/999.26 c 893s| 1040k|442392 | 6649k| 6.4 | 271M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 28k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
1006.72/1007.06 c 900s| 1050k|444797 | 6708k| 6.4 | 273M| 62 | - | 198 | 12 | 198 | 18 | 24 | 28k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
1015.02/1015.35 c 908s| 1060k|447931 | 6770k| 6.4 | 275M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 28k| 16k| 0.000000e+00 | 2.300000e+01 | Inf
1022.91/1023.30 c 915s| 1070k|450589 | 6831k| 6.4 | 277M| 62 | - | 198 | 13 | 198 | 18 | 24 | 28k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1030.91/1031.25 c 922s| 1080k|453087 | 6893k| 6.4 | 279M| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 28k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1039.81/1040.11 c 930s| 1090k|457372 | 6956k| 6.4 | 282M| 62 | 8 | 198 | 9 | 198 | 18 | 24 | 29k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1048.01/1048.32 c 937s| 1100k|460727 | 7018k| 6.4 | 284M| 62 | - | 198 | 10 | 198 | 18 | 24 | 29k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1056.31/1056.64 c 945s| 1110k|463725 | 7081k| 6.4 | 286M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 29k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1064.70/1065.01 c 952s| 1120k|466905 | 7145k| 6.4 | 289M| 62 | - | 198 | 11 | 198 | 18 | 24 | 29k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1074.20/1074.53 c 961s| 1130k|471294 | 7213k| 6.4 | 291M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 30k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1083.11/1083.47 c 969s| 1140k|475299 | 7278k| 6.4 | 294M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 30k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1092.20/1092.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.20/1092.54 c 977s| 1150k|479795 | 7343k| 6.4 | 296M| 62 | - | 198 | 12 | 198 | 18 | 24 | 30k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1100.70/1101.10 c 985s| 1160k|483250 | 7409k| 6.4 | 299M| 62 | - | 198 | 15 | 0 | 0 | 24 | 30k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1109.60/1109.92 c 993s| 1170k|487206 | 7474k| 6.4 | 301M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 30k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1118.78/1119.10 c 1001s| 1180k|491630 | 7541k| 6.4 | 304M| 62 | - | 198 | 20 | 198 | 18 | 24 | 31k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1127.38/1127.71 c 1008s| 1190k|495592 | 7605k| 6.4 | 306M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 31k| 17k| 0.000000e+00 | 2.300000e+01 | Inf
1136.08/1136.41 c 1016s| 1200k|499261 | 7669k| 6.4 | 309M| 62 | - | 198 | 10 | 198 | 18 | 24 | 31k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1144.69/1145.01 c 1024s| 1210k|502927 | 7733k| 6.4 | 311M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 31k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1152.97/1153.33 c 1031s| 1220k|506322 | 7795k| 6.4 | 314M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 32k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1161.87/1162.28 c 1039s| 1230k|510554 | 7860k| 6.4 | 316M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 32k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1170.67/1171.07 c 1047s| 1240k|514565 | 7924k| 6.4 | 318M| 62 | - | 198 | 10 | 0 | 0 | 24 | 32k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1179.17/1179.52 c 1055s| 1250k|518297 | 7986k| 6.4 | 321M| 62 | - | 198 | 11 | 198 | 18 | 24 | 32k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1187.68/1188.05 c 1062s| 1260k|521799 | 8050k| 6.4 | 323M| 62 | - | 198 | 10 | 198 | 18 | 24 | 32k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1196.26/1196.62 c 1070s| 1270k|525411 | 8114k| 6.4 | 326M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 33k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1204.56/1204.92 c 1077s| 1280k|528902 | 8176k| 6.4 | 328M| 62 | - | 198 | 9 | 0 | 0 | 24 | 33k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1212.56/1212.99 c 1085s| 1290k|532268 | 8238k| 6.4 | 330M| 62 | - | 198 | 9 | 198 | 18 | 24 | 33k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1220.66/1221.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1220.66/1221.09 c 1092s| 1300k|535332 | 8301k| 6.4 | 332M| 62 | 8 | 198 | 11 | 198 | 18 | 24 | 33k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1228.66/1229.06 c 1099s| 1310k|538418 | 8360k| 6.4 | 334M| 62 | 8 | 198 | 10 | 198 | 18 | 24 | 33k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1236.86/1237.27 c 1106s| 1320k|541526 | 8421k| 6.4 | 337M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 34k| 18k| 0.000000e+00 | 2.300000e+01 | Inf
1244.96/1245.31 c 1114s| 1330k|544631 | 8480k| 6.4 | 339M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 34k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1252.95/1253.37 c 1121s| 1340k|547502 | 8540k| 6.4 | 341M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 34k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1261.15/1261.56 c 1128s| 1350k|550585 | 8601k| 6.4 | 343M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 34k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1269.15/1269.52 c 1135s| 1360k|553491 | 8660k| 6.4 | 345M| 62 | 8 | 198 | 15 | 198 | 18 | 24 | 35k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1277.14/1277.51 c 1142s| 1370k|556546 | 8719k| 6.4 | 348M| 62 | - | 198 | 17 | 0 | 0 | 24 | 35k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1285.04/1285.47 c 1149s| 1380k|559266 | 8778k| 6.4 | 350M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 35k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1293.14/1293.51 c 1157s| 1390k|562149 | 8839k| 6.4 | 352M| 62 | - | 198 | 14 | 198 | 18 | 24 | 35k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1302.14/1302.58 c 1165s| 1400k|566444 | 8901k| 6.4 | 354M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 36k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1310.54/1310.97 c 1172s| 1410k|570198 | 8961k| 6.4 | 357M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 36k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1319.03/1319.43 c 1180s| 1420k|573507 | 9033k| 6.4 | 359M| 62 | 8 | 198 | 15 | 198 | 18 | 24 | 36k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1327.24/1327.63 c 1187s| 1430k|576187 | 9104k| 6.4 | 361M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 36k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1335.23/1335.60 c 1194s| 1440k|578920 | 9166k| 6.4 | 363M| 62 | - | 198 | 12 | 198 | 18 | 24 | 36k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1343.23/1343.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1343.23/1343.69 c 1202s| 1450k|581694 | 9227k| 6.4 | 365M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 37k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1351.43/1351.82 c 1209s| 1460k|584672 | 9288k| 6.4 | 367M| 62 | - | 198 | 13 | 198 | 18 | 24 | 37k| 19k| 0.000000e+00 | 2.300000e+01 | Inf
1359.33/1359.74 c 1216s| 1470k|587299 | 9348k| 6.4 | 369M| 62 | - | 198 | 12 | 0 | 0 | 24 | 37k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1367.12/1367.59 c 1223s| 1480k|589699 | 9407k| 6.4 | 371M| 62 | - | 198 | 16 | 198 | 18 | 24 | 37k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1375.42/1375.85 c 1230s| 1490k|593110 | 9467k| 6.4 | 373M| 62 | 8 | 198 | 16 | 198 | 18 | 24 | 38k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1383.22/1383.69 c 1237s| 1500k|595391 | 9526k| 6.4 | 375M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 38k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1391.32/1391.73 c 1245s| 1510k|598381 | 9586k| 6.3 | 377M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 38k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1399.11/1399.53 c 1251s| 1520k|600919 | 9644k| 6.3 | 379M| 62 | - | 198 | 12 | 198 | 18 | 24 | 38k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1407.41/1407.84 c 1259s| 1530k|604240 | 9706k| 6.3 | 381M| 62 | - | 198 | 15 | 0 | 0 | 24 | 38k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1415.22/1415.65 c 1266s| 1540k|606994 | 9765k| 6.3 | 383M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 39k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1423.02/1423.42 c 1273s| 1550k|609373 | 9824k| 6.3 | 385M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 39k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1430.81/1431.22 c 1280s| 1560k|611675 | 9882k| 6.3 | 387M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 39k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1438.70/1439.15 c 1287s| 1570k|614120 | 9943k| 6.3 | 389M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 39k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1446.70/1447.17 c 1294s| 1580k|616779 | 10003k| 6.3 | 391M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 40k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1454.69/1455.12 c 1301s| 1590k|619463 | 10063k| 6.3 | 393M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 40k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1462.50/1462.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1462.50/1462.97 c 1308s| 1600k|622274 | 10122k| 6.3 | 395M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 40k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1470.40/1470.85 c 1315s| 1610k|624888 | 10182k| 6.3 | 397M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 40k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1478.19/1478.69 c 1322s| 1620k|627175 | 10242k| 6.3 | 399M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 40k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1486.10/1486.56 c 1329s| 1630k|629211 | 10304k| 6.3 | 401M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 41k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1493.89/1494.39 c 1336s| 1640k|631409 | 10363k| 6.3 | 403M| 62 | - | 198 | 16 | 198 | 18 | 24 | 41k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1501.68/1502.12 c 1343s| 1650k|633476 | 10423k| 6.3 | 404M| 62 | 8 | 198 | 15 | 198 | 18 | 24 | 41k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1509.48/1509.97 c 1350s| 1660k|635791 | 10484k| 6.3 | 406M| 62 | - | 198 | 14 | 0 | 0 | 24 | 41k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1517.49/1517.97 c 1357s| 1670k|638100 | 10545k| 6.3 | 408M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 41k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1525.68/1526.11 c 1365s| 1680k|641091 | 10606k| 6.3 | 410M| 62 | 8 | 198 | 17 | 198 | 18 | 24 | 42k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1533.58/1534.05 c 1372s| 1690k|644013 | 10667k| 6.3 | 412M| 62 | - | 198 | 15 | 198 | 18 | 24 | 42k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1541.28/1541.76 c 1379s| 1700k|646161 | 10727k| 6.3 | 414M| 62 | - | 198 | 13 | 198 | 18 | 24 | 42k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1548.97/1549.48 c 1386s| 1710k|648269 | 10786k| 6.3 | 416M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 42k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1556.77/1557.22 c 1392s| 1720k|650566 | 10844k| 6.3 | 418M| 62 | - | 198 | 12 | 198 | 18 | 24 | 42k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1564.67/1565.17 c 1400s| 1730k|652920 | 10906k| 6.3 | 419M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 43k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1572.57/1573.04 c 1407s| 1740k|655448 | 10966k| 6.3 | 421M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 43k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1580.28/1580.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.28/1580.71 c 1414s| 1750k|657807 | 11026k| 6.3 | 423M| 62 | 8 | 198 | 12 | 198 | 18 | 24 | 43k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1587.98/1588.45 c 1421s| 1760k|660087 | 11085k| 6.3 | 425M| 62 | - | 198 | 13 | 198 | 18 | 24 | 43k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1595.77/1596.28 c 1428s| 1770k|662161 | 11145k| 6.3 | 427M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 43k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1603.56/1604.03 c 1434s| 1780k|664355 | 11204k| 6.3 | 429M| 62 | 8 | 198 | 15 | 198 | 18 | 24 | 44k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1611.26/1611.79 c 1441s| 1790k|666764 | 11263k| 6.3 | 430M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 44k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1619.96/1620.47 c 1449s| 1800k|670373 | 11325k| 6.3 | 433M| 62 | - | 198 | 14 | 198 | 18 | 24 | 44k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1627.86/1628.35 c 1456s| 1810k|673255 | 11383k| 6.3 | 435M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 44k| 21k| 0.000000e+00 | 2.300000e+01 | Inf
1635.75/1636.20 c 1463s| 1820k|675850 | 11441k| 6.3 | 437M| 62 | 8 | 198 | 16 | 198 | 18 | 24 | 45k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1643.55/1644.09 c 1470s| 1830k|678438 | 11501k| 6.3 | 439M| 62 | - | 198 | 13 | 0 | 0 | 24 | 45k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1651.34/1651.83 c 1477s| 1840k|680727 | 11560k| 6.3 | 440M| 62 | - | 198 | 15 | 0 | 0 | 24 | 45k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1659.05/1659.58 c 1484s| 1850k|682998 | 11619k| 6.3 | 442M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 45k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1666.85/1667.34 c 1491s| 1860k|685210 | 11678k| 6.3 | 444M| 62 | - | 198 | 16 | 198 | 18 | 24 | 45k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1674.54/1675.09 c 1498s| 1870k|687363 | 11737k| 6.3 | 446M| 62 | - | 198 | 13 | 198 | 18 | 24 | 46k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1682.34/1682.89 c 1505s| 1880k|689784 | 11795k| 6.3 | 448M| 62 | - | 198 | 14 | 198 | 18 | 24 | 46k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1690.34/1690.88 c 1512s| 1890k|692377 | 11855k| 6.3 | 450M| 62 | 8 | 198 | 14 | 198 | 18 | 24 | 46k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1698.23/1698.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.23/1698.73 c 1519s| 1900k|694908 | 11914k| 6.3 | 451M| 62 | 8 | 198 | 15 | 198 | 18 | 24 | 46k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1706.04/1706.54 c 1526s| 1910k|697251 | 11972k| 6.3 | 453M| 62 | 8 | 198 | 16 | 198 | 18 | 24 | 47k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1714.24/1714.72 c 1533s| 1920k|699778 | 12035k| 6.3 | 455M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 47k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1722.93/1723.40 c 1541s| 1930k|703529 | 12098k| 6.3 | 458M| 62 | 8 | 198 | 15 | 198 | 18 | 24 | 47k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1730.94/1731.49 c 1548s| 1940k|706558 | 12160k| 6.3 | 460M| 62 | - | 198 | 13 | 198 | 18 | 24 | 47k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1738.82/1739.34 c 1555s| 1950k|709111 | 12220k| 6.3 | 462M| 62 | - | 198 | 15 | 198 | 18 | 24 | 47k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1746.73/1747.23 c 1562s| 1960k|711606 | 12280k| 6.3 | 464M| 62 | 8 | 198 | 16 | 198 | 18 | 24 | 48k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1754.32/1754.88 c 1569s| 1970k|713749 | 12339k| 6.3 | 465M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 48k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1762.12/1762.62 c 1576s| 1980k|715988 | 12400k| 6.3 | 467M| 62 | - | 198 | 13 | 0 | 0 | 24 | 48k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1769.91/1770.41 c 1583s| 1990k|718148 | 12460k| 6.3 | 469M| 62 | 8 | 198 | 13 | 198 | 18 | 24 | 48k| 22k| 0.000000e+00 | 2.300000e+01 | Inf
1777.71/1778.22 c 1590s| 2000k|720456 | 12520k| 6.3 | 471M| 62 | - | 198 | 13 | 198 | 18 | 24 | 48k| 23k| 0.000000e+00 | 2.300000e+01 | Inf
1785.42/1785.94 c 1597s| 2010k|722417 | 12579k| 6.3 | 473M| 62 | - | 198 | 13 | 198 | 18 | 24 | 49k| 23k| 0.000000e+00 | 2.300000e+01 | Inf
1793.12/1793.60 c 1604s| 2020k|724292 | 12638k| 6.3 | 474M| 62 | - | 198 | 14 | 198 | 18 | 24 | 49k| 23k| 0.000000e+00 | 2.300000e+01 | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1609.93
1800.02/1800.50 c Solving Nodes : 2028996
1800.02/1800.50 c Primal Bound : +2.30000000000000e+01 (60 solutions)
1800.02/1800.50 c Dual Bound : +0.00000000000000e+00
1800.02/1800.50 c Gap : infinite
1800.02/1800.50 s SATISFIABLE
1800.02/1800.50 v -x198 x197 x196 x195 x194 x193 -x192 -x191 -x190 x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 x177 -x176
1800.02/1800.50 v x175 x174 -x173 x172 -x171 x170 -x169 x168 x167 -x166 -x165 -x164 x163 x162 -x161 -x160 -x159 x158 x157 x156 x155 x154 x153
1800.02/1800.50 v -x152 -x151 -x150 x149 -x148 x147 x146 -x145 -x144 x143 -x142 x141 x140 x139 -x138 x137 -x136 -x135 -x134 x133 -x132 x131 x130
1800.02/1800.50 v x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 x113 -x112 -x111 -x110 -x109
1800.02/1800.50 v -x108 x107 x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85
1800.02/1800.50 v -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60
1800.02/1800.50 v -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
1800.02/1800.50 v -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9
1800.02/1800.50 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time : 1609.93
1800.02/1800.50 c Original Problem :
1800.02/1800.50 c Problem name : HOME/instance-2665658-1276599083.opb
1800.02/1800.50 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 16 initial, 16 maximal
1800.02/1800.50 c Presolved Problem :
1800.02/1800.50 c Problem name : t_HOME/instance-2665658-1276599083.opb
1800.02/1800.50 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 8 initial, 70 maximal
1800.02/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c probing : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.50 c linear : 0.00 0 0 0 0 0 8 0 0
1800.02/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c root node : - 48 - - 48 - - - -
1800.02/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c integral : 0 0 0 1419191 0 55 3989 0 0 2830598
1800.02/1800.50 c linear : 8+ 7 3672481 0 0 182273 1274775 0 0 0
1800.02/1800.50 c logicor : 0+ 0 194342 0 0 1714 13080 0 0 0
1800.02/1800.50 c countsols : 0 0 0 29 0 0 0 0 0 0
1800.02/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.50 c integral : 25.11 0.00 0.00 25.11 0.00
1800.02/1800.50 c linear : 327.91 0.00 327.91 0.00 0.00
1800.02/1800.50 c logicor : 0.68 0.00 0.68 0.00 0.00
1800.02/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.50 c vbounds : 1.87 2 0 0
1800.02/1800.50 c rootredcost : 1.53 43 0 48
1800.02/1800.51 c pseudoobj : 34.41 3675276 2965 341838
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 16.03 185278 36611 48005 72.8 26 36.4 -
1800.02/1800.51 c infeasible LP : 1.84 22248 16530 19746 44.0 2 54.5 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.00 2 2 2 2.5 0 0.0 -
1800.02/1800.51 c applied globally : - - - 1046 28.5 - - -
1800.02/1800.51 c applied locally : - - - 48379 65.2 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 5 - - 9 - (maximal pool size: 70)
1800.02/1800.51 c redcost : 56.41 2028406 0 11824569 0 0
1800.02/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.00 6 0 0 0 0
1800.02/1800.51 c strongcg : 0.01 6 0 0 28 0
1800.02/1800.51 c cmir : 0.05 6 0 0 20 0
1800.02/1800.51 c flowcover : 0.06 6 0 0 26 0
1800.02/1800.51 c clique : 0.00 1 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 1 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.11 1 0 0 0 62
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 23.39 1419162 55 3989 0 0 2830598
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.37 - 29
1800.02/1800.51 c pseudo solutions : 0.00 - 0
1800.02/1800.51 c feaspump : 0.15 1 0
1800.02/1800.51 c oneopt : 1.24 40 0
1800.02/1800.51 c crossover : 17.54 11 0
1800.02/1800.51 c rootsoldiving : 9.87 1309 17
1800.02/1800.51 c objpscostdiving : 5.75 1840 0
1800.02/1800.51 c guideddiving : 32.63 5884 5
1800.02/1800.51 c coefdiving : 80.49 5885 2
1800.02/1800.51 c pscostdiving : 40.35 5885 0
1800.02/1800.51 c fracdiving : 42.61 5885 2
1800.02/1800.51 c veclendiving : 25.79 5885 1
1800.02/1800.51 c linesearchdiving : 27.74 5885 3
1800.02/1800.51 c trivial : 0.00 2 0
1800.02/1800.51 c simplerounding : 1.36 0 0
1800.02/1800.51 c zirounding : 1.16 1000 0
1800.02/1800.51 c rounding : 2.29 17179 0
1800.02/1800.51 c shifting : 5.79 5385 0
1800.02/1800.51 c intshifting : 0.06 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.02 1 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 0.76 0 0
1800.02/1800.51 c trysol : 1.81 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 699.30 1936508 10884373 5.62 15564.67
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 168.08 770463 1807661 2.35 10754.77
1800.02/1800.51 c strong branching : 9.02 23192 93801 4.04 10399.22
1800.02/1800.51 c (at root node) : - 9 480 53.33 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 2028996
1800.02/1800.51 c nodes (total) : 2028996
1800.02/1800.51 c nodes left : 726114
1800.02/1800.51 c max depth : 62
1800.02/1800.51 c max depth (total): 62
1800.02/1800.51 c backtracks : 305648 (15.1%)
1800.02/1800.51 c delayed cutoffs : 5994
1800.02/1800.51 c repropagations : 13975 (49165 domain reductions, 5994 cutoffs)
1800.02/1800.51 c avg switch length: 5.52
1800.02/1800.51 c switching time : 75.00
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 60 (43 improvements)
1800.02/1800.51 c First Solution : +9.87000000000000e+02 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.02/1800.51 c Primal Bound : +2.30000000000000e+01 (in run 1, after 919741 nodes, 802.28 seconds, depth 48, found by <relaxation>)
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Root Iterations : 105
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665658-1276599083/watcher-2665658-1276599083 -o /tmp/evaluation-result-2665658-1276599083/solver-2665658-1276599083 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665658-1276599083.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.99 0.98 0.99 3/105 9311
/proc/meminfo: memFree=1537236/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=9288 CPUtime=0
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 1132 0 0 0 0 0 0 0 25 0 1 0 1202440 9510912 1053 1992294400 4194304 9819077 140733737686384 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9311/statm: 2322 1062 371 1374 0 943 0
[startup+0.0392959 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 9311
/proc/meminfo: memFree=1537236/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=13992 CPUtime=0.03
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 2811 0 0 0 3 0 0 0 25 0 1 0 1202440 14327808 2122 1992294400 4194304 9819077 140733737686384 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 3498 2138 506 1374 0 2119 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13992
[startup+0.101301 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 9311
/proc/meminfo: memFree=1537236/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=22876 CPUtime=0.09
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 5060 0 0 0 8 1 0 0 25 0 1 0 1202440 23425024 4104 1992294400 4194304 9819077 140733737686384 18446744073709551615 5908915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 5719 4104 673 1374 0 4340 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22876
[startup+0.301322 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 9311
/proc/meminfo: memFree=1537236/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=20972 CPUtime=0.29
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 6247 0 0 0 27 2 0 0 25 0 1 0 1202440 21475328 3968 1992294400 4194304 9819077 140733737686384 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 5243 3968 686 1374 0 3864 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20972
[startup+0.701364 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 9311
/proc/meminfo: memFree=1537236/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=17628 CPUtime=0.69
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 13416 0 0 0 61 8 0 0 25 0 1 0 1202440 18051072 3010 1992294400 4194304 9819077 140733737686384 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 4327 3008 722 1374 0 2948 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17628
[startup+1.50145 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9312
/proc/meminfo: memFree=1527184/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=17148 CPUtime=1.49
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 22525 0 0 0 131 18 0 0 25 0 1 0 1202440 17559552 3010 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 4287 3010 724 1374 0 2908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17148
[startup+3.10161 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9312
/proc/meminfo: memFree=1527184/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=17648 CPUtime=3.09
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 41417 0 0 0 271 38 0 0 25 0 1 0 1202440 18071552 3123 1992294400 4194304 9819077 140733737686384 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 4412 3123 726 1374 0 3033 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17648
[startup+6.30095 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9312
/proc/meminfo: memFree=1525696/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=19312 CPUtime=6.29
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 70389 0 0 0 558 71 0 0 25 0 1 0 1202440 19775488 3521 1992294400 4194304 9819077 140733737686384 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 4828 3521 726 1374 0 3449 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19312
[startup+12.7016 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9312
/proc/meminfo: memFree=1522844/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=21912 CPUtime=12.69
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 127532 0 0 0 1130 139 0 0 25 0 1 0 1202440 22437888 4226 1992294400 4194304 9819077 140733737686384 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 5518 4227 726 1374 0 4139 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21912
[startup+25.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9312
/proc/meminfo: memFree=1517760/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=26408 CPUtime=25.48
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 258140 0 0 0 2263 285 0 0 25 0 1 0 1202440 27041792 5380 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 6602 5380 727 1374 0 5223 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26408
[startup+51.1006 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9314
/proc/meminfo: memFree=1505732/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=38776 CPUtime=51.08
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 503858 0 0 0 4536 572 0 0 25 0 1 0 1202440 39706624 8516 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 9694 8516 727 1374 0 8315 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38776
[startup+102.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9314
/proc/meminfo: memFree=1475848/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=69844 CPUtime=102.27
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 960405 0 0 0 9117 1110 0 0 25 0 1 0 1202440 71520256 15914 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 17461 15914 727 1374 0 16082 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 69844
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9316
/proc/meminfo: memFree=1446832/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=97460 CPUtime=162.25
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 1468732 0 0 0 14475 1750 0 0 25 0 1 0 1202440 99799040 22979 1992294400 4194304 9819077 140733737686384 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 24365 22979 727 1374 0 22986 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 97460
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9318
/proc/meminfo: memFree=1422156/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=122684 CPUtime=222.23
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 1971828 0 0 0 19849 2374 0 0 25 0 1 0 1202440 125628416 29384 1992294400 4194304 9819077 140733737686384 18446744073709551615 7816434 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 30671 29384 727 1374 0 29292 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 122684
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9320
/proc/meminfo: memFree=1397232/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=149076 CPUtime=282.22
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 2495420 0 0 0 25211 3011 0 0 25 0 1 0 1202440 152653824 35615 1992294400 4194304 9819077 140733737686384 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 37269 35615 727 1374 0 35890 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 149076
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9322
/proc/meminfo: memFree=1387064/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=160264 CPUtime=342.2
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 3000007 0 0 0 30600 3620 0 0 25 0 1 0 1202440 164110336 37984 1992294400 4194304 9819077 140733737686384 18446744073709551615 4978487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 40066 37984 727 1374 0 38687 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 160264
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9322
/proc/meminfo: memFree=1360528/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=187188 CPUtime=402.18
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 3500613 0 0 0 35985 4233 0 0 25 0 1 0 1202440 191680512 44883 1992294400 4194304 9819077 140733737686384 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 46837 44884 727 1374 0 45458 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 187188
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9324
/proc/meminfo: memFree=1345772/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=199832 CPUtime=462.18
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 4003582 0 0 0 41375 4843 0 0 25 0 1 0 1202440 204627968 48147 1992294400 4194304 9819077 140733737686384 18446744073709551615 4979102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 49958 48147 727 1374 0 48579 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 199832
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9326
/proc/meminfo: memFree=1331884/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=214004 CPUtime=522.15
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 4506408 0 0 0 46745 5470 0 0 25 0 1 0 1202440 219140096 51745 1992294400 4194304 9819077 140733737686384 18446744073709551615 7816416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 53501 51745 727 1374 0 52122 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 214004
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9337
/proc/meminfo: memFree=1319856/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=225376 CPUtime=582.13
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 5009870 0 0 0 52133 6080 0 0 25 0 1 0 1202440 230785024 54660 1992294400 4194304 9819077 140733737686384 18446744073709551615 4979111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 56344 54660 727 1374 0 54965 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 225376
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9339
/proc/meminfo: memFree=1303860/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=241072 CPUtime=642.12
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 5513607 0 0 0 57499 6713 0 0 25 0 1 0 1202440 246857728 58656 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 60268 58656 727 1374 0 58889 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 241072
[startup+702.301 s]
################
# More data... #
################
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 9171136 0 0 0 94989 11211 0 0 25 0 1 0 1202440 343859200 80845 1992294400 4194304 9819077 140733737686384 18446744073709551615 6589170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 83950 80845 727 1374 0 82571 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 335800
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9351
/proc/meminfo: memFree=1199328/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=350392 CPUtime=1121.99
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 9681725 0 0 0 100356 11843 0 0 25 0 1 0 1202440 358801408 84610 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 87598 84610 727 1374 0 86219 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 350392
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9353
/proc/meminfo: memFree=1176512/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=372568 CPUtime=1181.97
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 10192795 0 0 0 105723 12474 0 0 25 0 1 0 1202440 381509632 90244 1992294400 4194304 9819077 140733737686384 18446744073709551615 6372765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 93142 90244 727 1374 0 91763 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 372568
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9355
/proc/meminfo: memFree=1160020/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=388432 CPUtime=1241.95
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 10705359 0 0 0 111086 13109 0 0 25 0 1 0 1202440 397754368 94302 1992294400 4194304 9819077 140733737686384 18446744073709551615 4978064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 97108 94302 727 1374 0 95729 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 388432
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9355
/proc/meminfo: memFree=1145636/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=402360 CPUtime=1301.95
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 11216421 0 0 0 116457 13738 0 0 25 0 1 0 1202440 412016640 97887 1992294400 4194304 9819077 140733737686384 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 100590 97887 727 1374 0 99211 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 402360
[startup+1362.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/106 9357
/proc/meminfo: memFree=1130880/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=417208 CPUtime=1361.92
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 11721188 0 0 0 121820 14372 0 0 25 0 1 0 1202440 427220992 101635 1992294400 4194304 9819077 140733737686384 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 104302 101635 727 1374 0 102923 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 417208
[startup+1422.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 9359
/proc/meminfo: memFree=1114636/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=432812 CPUtime=1421.92
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 12226390 0 0 0 127186 15006 0 0 25 0 1 0 1202440 443199488 105698 1992294400 4194304 9819077 140733737686384 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 108243 105699 727 1374 0 106864 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 432812
[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 9361
/proc/meminfo: memFree=1095788/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=450908 CPUtime=1481.89
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 12733212 0 0 0 132548 15641 0 0 25 0 1 0 1202440 461729792 110244 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 112727 110244 727 1374 0 111348 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 450908
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9363
/proc/meminfo: memFree=1083140/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=463188 CPUtime=1541.88
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 13240190 0 0 0 137916 16272 0 0 25 0 1 0 1202440 474304512 113377 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 115797 113377 727 1374 0 114418 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 463188
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9363
/proc/meminfo: memFree=1070740/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=475312 CPUtime=1601.86
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 13749478 0 0 0 143293 16893 0 0 25 0 1 0 1202440 486719488 116486 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 118828 116486 727 1374 0 117449 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 475312
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9365
/proc/meminfo: memFree=1054744/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=491304 CPUtime=1661.84
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 14260781 0 0 0 148658 17526 0 0 25 0 1 0 1202440 503095296 120553 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 122826 120553 727 1374 0 121447 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 491304
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9367
/proc/meminfo: memFree=1040608/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=504960 CPUtime=1721.83
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 14772517 0 0 0 154013 18170 0 0 25 0 1 0 1202440 517079040 124046 1992294400 4194304 9819077 140733737686384 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 126000 124041 727 1374 0 124621 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 504960
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9369
/proc/meminfo: memFree=1023992/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=520712 CPUtime=1781.81
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 15281946 0 0 0 159368 18813 0 0 25 0 1 0 1202440 533209088 128026 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 130178 128026 727 1374 0 128799 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 520712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9369
/proc/meminfo: memFree=1021264/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=523300 CPUtime=1800.02
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 15435799 0 0 0 160993 19009 0 0 25 0 1 0 1202440 535859200 128719 1992294400 4194304 9819077 140733737686384 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9311/statm: 130825 128719 727 1374 0 129446 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 523300
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9311
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9370
/proc/meminfo: memFree=1021256/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=523300 CPUtime=1800.91
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 15435805 0 0 0 161082 19009 0 0 19 0 1 0 1202440 535859200 128720 1992294400 4194304 9819077 140733737686384 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9311/statm: 130825 128720 728 1374 0 129446 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 523300
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9370
/proc/meminfo: memFree=1021132/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=523300 CPUtime=1801.71
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 15435805 0 0 0 161162 19009 0 0 20 0 1 0 1202440 535859200 128720 1992294400 4194304 9819077 140733737686384 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9311/statm: 130825 128720 728 1374 0 129446 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 523300
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9370
/proc/meminfo: memFree=1021132/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=520980 CPUtime=1801.91
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 15435805 0 0 0 161182 19009 0 0 20 0 1 0 1202440 533483520 128140 1992294400 4194304 9819077 140733737686384 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9311/statm: 130245 128140 728 1374 0 128866 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 520980
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9370
/proc/meminfo: memFree=1021132/2059040 swapFree=4192956/4192956
[pid=9311] ppid=9309 vsize=519956 CPUtime=1802.01
/proc/9311/stat : 9311 (pbscip.linux.x8) R 9309 9311 2452 0 -1 4202496 15435805 0 0 0 161192 19009 0 0 21 0 1 0 1202440 532434944 127884 1992294400 4194304 9819077 140733737686384 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9311/statm: 129989 127884 728 1374 0 128610 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 519956
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.56
CPU time (s): 1802.07
CPU user time (s): 1611.93
CPU system time (s): 190.142
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 523300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1611.93
system time used= 190.142
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15435805
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= 3
involuntary context switches= 1293
runsolver used 3.11153 second user time and 8.39272 second system time
The end