0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666875-1276612687.opb>
0.00/0.01 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 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.02 c 0.0s| 1 | 0 | 34 | - | 272k| 0 | 6 | 50 | 6 | 50 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 112 | - | 301k| 0 | 9 | 50 | 7 | 50 | 11 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 121 | - | 333k| 0 | 13 | 50 | 7 | 50 | 17 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 134 | - | 360k| 0 | 12 | 50 | 7 | 50 | 21 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 139 | - | 378k| 0 | 16 | 50 | 7 | 50 | 24 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 159 | - | 393k| 0 | 13 | 50 | 7 | 50 | 27 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 0 | 166 | - | 407k| 0 | 15 | 50 | 7 | 50 | 29 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 2 | 166 | - | 408k| 0 | 15 | 50 | 7 | 50 | 29 | 23 | 0 | 9 | 0.000000e+00 | -- | Inf
4.40/4.47 c 4.0s| 10000 | 3126 | 23692 | 2.4 |3848k| 43 | - | 50 |2940 | 50 | 15 | 23 |4679 | 493 | 0.000000e+00 | -- | Inf
8.79/8.84 c 8.0s| 20000 | 5941 | 46544 | 2.3 |5830k| 43 | 6 | 50 |2409 | 50 | 15 | 23 |9658 | 654 | 0.000000e+00 | -- | Inf
13.10/13.10 c 11.9s| 30000 | 8948 | 69509 | 2.3 |8099k| 44 | 6 | 50 |2993 | 50 | 15 | 23 | 14k| 764 | 0.000000e+00 | -- | Inf
17.28/17.37 c 15.8s| 40000 | 11966 | 92742 | 2.3 | 10M| 44 | 6 | 50 |3228 | 50 | 15 | 23 | 19k| 865 | 0.000000e+00 | -- | Inf
21.79/21.85 c 19.9s| 50000 | 14862 |115998 | 2.3 | 12M| 44 | 6 | 50 |2853 | 50 | 15 | 23 | 24k| 976 | 0.000000e+00 | -- | Inf
26.18/26.20 c 23.9s| 60000 | 17711 |139078 | 2.3 | 14M| 44 | 6 | 50 |3303 | 50 | 15 | 23 | 29k|1060 | 0.000000e+00 | -- | Inf
30.48/30.51 c 27.8s| 70000 | 21156 |163036 | 2.3 | 16M| 44 | 6 | 50 |4077 | 50 | 15 | 23 | 33k|1125 | 0.000000e+00 | -- | Inf
35.09/35.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.09/35.18 c 32.0s| 80000 | 24011 |185521 | 2.3 | 18M| 44 | - | 50 |3610 | 50 | 15 | 23 | 38k|1178 | 0.000000e+00 | -- | Inf
39.59/39.62 c 36.1s| 90000 | 27168 |208188 | 2.3 | 20M| 44 | 6 | 50 |3839 | 50 | 15 | 23 | 43k|1238 | 0.000000e+00 | -- | Inf
44.27/44.34 c 40.5s|100000 | 29975 |230523 | 2.3 | 22M| 44 | 6 | 50 |3469 | 50 | 15 | 23 | 48k|1340 | 0.000000e+00 | -- | Inf
48.78/48.83 c 44.6s|110000 | 33043 |252707 | 2.3 | 25M| 44 | 6 | 50 |4129 | 50 | 15 | 23 | 52k|1378 | 0.000000e+00 | -- | Inf
53.47/53.53 c 48.9s|120000 | 35995 |275254 | 2.3 | 27M| 44 | 6 | 50 |3959 | 50 | 15 | 23 | 57k|1441 | 0.000000e+00 | -- | Inf
58.18/58.27 c 53.2s|130000 | 38762 |296874 | 2.3 | 29M| 44 | - | 50 |3834 | 50 | 15 | 23 | 62k|1476 | 0.000000e+00 | -- | Inf
62.88/62.94 c 57.5s|140000 | 41807 |319249 | 2.3 | 31M| 44 | 6 | 50 |4630 | 50 | 15 | 23 | 67k|1520 | 0.000000e+00 | -- | Inf
67.77/67.89 c 62.1s|150000 | 44730 |342194 | 2.3 | 33M| 44 | - | 50 |4138 | 50 | 15 | 23 | 72k|1552 | 0.000000e+00 | -- | Inf
72.58/72.66 c 66.5s|160000 | 47525 |364518 | 2.3 | 35M| 44 | - | 50 |4467 | 0 | 0 | 23 | 77k|1591 | 0.000000e+00 | -- | Inf
77.56/77.63 c 71.0s|170000 | 50382 |387100 | 2.3 | 37M| 44 | 6 | 50 |4321 | 50 | 15 | 23 | 82k|1642 | 0.000000e+00 | -- | Inf
82.57/82.63 c 75.7s|180000 | 53014 |409396 | 2.3 | 39M| 44 | 6 | 50 |4742 | 50 | 15 | 23 | 87k|1679 | 0.000000e+00 | -- | Inf
87.47/87.53 c 80.2s|190000 | 56061 |432622 | 2.3 | 41M| 44 | 6 | 50 |5575 | 50 | 15 | 23 | 92k|1710 | 0.000000e+00 | -- | Inf
92.87/92.93 c 85.2s|200000 | 58986 |455761 | 2.3 | 43M| 44 | 6 | 50 |5342 | 50 | 15 | 23 | 97k|1784 | 0.000000e+00 | -- | Inf
98.37/98.43 c 90.3s|210000 | 61615 |477656 | 2.3 | 45M| 44 | 6 | 50 |4678 | 50 | 15 | 23 | 102k|1810 | 0.000000e+00 | -- | Inf
103.86/103.94 c 95.5s|220000 | 64133 |500054 | 2.3 | 47M| 44 | 6 | 50 |4281 | 50 | 15 | 23 | 107k|1848 | 0.000000e+00 | -- | Inf
108.77/108.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.77/108.88 c 100s|230000 | 67206 |522203 | 2.3 | 49M| 44 | 6 | 50 |4794 | 50 | 15 | 23 | 112k|1882 | 0.000000e+00 | -- | Inf
114.06/114.13 c 105s|240000 | 69737 |544693 | 2.3 | 51M| 45 | 6 | 50 |5426 | 50 | 15 | 23 | 117k|1915 | 0.000000e+00 | -- | Inf
119.56/119.63 c 110s|250000 | 72214 |566786 | 2.3 | 53M| 45 | 6 | 50 |4580 | 50 | 15 | 23 | 122k|1944 | 0.000000e+00 | -- | Inf
124.66/124.76 c 115s|260000 | 74873 |588695 | 2.3 | 55M| 45 | 6 | 50 |4802 | 50 | 15 | 23 | 127k|1985 | 0.000000e+00 | -- | Inf
129.86/129.98 c 120s|270000 | 77513 |610712 | 2.3 | 57M| 45 | 6 | 50 |5202 | 50 | 15 | 23 | 132k|2008 | 0.000000e+00 | -- | Inf
135.06/135.11 c 124s|280000 | 80283 |633716 | 2.3 | 59M| 45 | 6 | 50 |5931 | 50 | 15 | 23 | 137k|2028 | 0.000000e+00 | -- | Inf
140.95/141.03 c 130s|290000 | 82756 |656102 | 2.3 | 61M| 45 | 6 | 50 |4981 | 50 | 15 | 23 | 142k|2060 | 0.000000e+00 | -- | Inf
146.45/146.52 c 135s|300000 | 85348 |677773 | 2.3 | 63M| 45 | 6 | 50 |4746 | 50 | 15 | 23 | 147k|2091 | 0.000000e+00 | -- | Inf
151.45/151.57 c 140s|310000 | 88012 |699663 | 2.3 | 65M| 45 | - | 50 |5405 | 50 | 15 | 23 | 152k|2125 | 0.000000e+00 | -- | Inf
157.05/157.10 c 145s|320000 | 90675 |721985 | 2.3 | 67M| 45 | 6 | 50 |5246 | 50 | 15 | 23 | 157k|2155 | 0.000000e+00 | -- | Inf
162.34/162.40 c 150s|330000 | 93295 |744690 | 2.3 | 69M| 45 | - | 50 |5599 | 50 | 15 | 23 | 163k|2194 | 0.000000e+00 | -- | Inf
168.15/168.22 c 155s|340000 | 95770 |767009 | 2.3 | 71M| 45 | 6 | 50 |4961 | 50 | 15 | 23 | 168k|2226 | 0.000000e+00 | -- | Inf
173.65/173.74 c 160s|350000 | 98403 |789156 | 2.3 | 73M| 45 | - | 50 |5091 | 50 | 15 | 23 | 173k|2248 | 0.000000e+00 | -- | Inf
178.64/178.71 c 165s|360000 |101399 |810965 | 2.3 | 75M| 45 | 6 | 50 |5870 | 50 | 15 | 23 | 178k|2278 | 0.000000e+00 | -- | Inf
184.14/184.28 c 170s|370000 |104024 |833386 | 2.3 | 77M| 45 | 6 | 50 |5458 | 50 | 15 | 23 | 183k|2304 | 0.000000e+00 | -- | Inf
189.24/189.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.24/189.38 c 175s|380000 |106983 |855231 | 2.3 | 79M| 45 | 6 | 50 |5733 | 50 | 15 | 23 | 188k|2339 | 0.000000e+00 | -- | Inf
194.64/194.77 c 180s|390000 |109927 |877712 | 2.3 | 81M| 45 | - | 50 |5517 | 0 | 0 | 23 | 193k|2363 | 0.000000e+00 | -- | Inf
200.33/200.48 c 185s|400000 |112524 |899886 | 2.2 | 83M| 45 | - | 50 |4760 | 50 | 15 | 23 | 198k|2385 | 0.000000e+00 | -- | Inf
205.94/206.08 c 190s|410000 |114909 |922101 | 2.2 | 85M| 45 | 6 | 50 |5031 | 50 | 15 | 23 | 203k|2407 | 0.000000e+00 | -- | Inf
211.24/211.38 c 195s|420000 |117518 |943907 | 2.2 | 87M| 45 | 6 | 50 |5366 | 50 | 15 | 23 | 208k|2434 | 0.000000e+00 | -- | Inf
216.73/216.84 c 200s|430000 |120096 |965643 | 2.2 | 89M| 45 | 6 | 50 |5658 | 50 | 15 | 23 | 213k|2462 | 0.000000e+00 | -- | Inf
222.23/222.34 c 205s|440000 |122543 |987354 | 2.2 | 91M| 45 | - | 50 |5496 | 50 | 15 | 23 | 218k|2493 | 0.000000e+00 | -- | Inf
227.83/227.98 c 211s|450000 |125036 | 1009k| 2.2 | 93M| 45 | - | 50 |5292 | 50 | 15 | 23 | 223k|2527 | 0.000000e+00 | -- | Inf
233.53/233.69 c 216s|460000 |127632 | 1031k| 2.2 | 95M| 45 | - | 50 |5162 | 50 | 15 | 23 | 228k|2550 | 0.000000e+00 | -- | Inf
239.02/239.14 c 221s|470000 |130266 | 1054k| 2.2 | 96M| 45 | 6 | 50 |5101 | 50 | 15 | 23 | 233k|2572 | 0.000000e+00 | -- | Inf
244.73/244.80 c 226s|480000 |132711 | 1075k| 2.2 | 98M| 45 | 6 | 50 |5259 | 50 | 15 | 23 | 238k|2590 | 0.000000e+00 | -- | Inf
250.23/250.31 c 231s|490000 |135183 | 1097k| 2.2 | 100M| 45 | - | 50 |5128 | 50 | 15 | 23 | 244k|2609 | 0.000000e+00 | -- | Inf
255.83/255.96 c 237s|500000 |137825 | 1119k| 2.2 | 102M| 45 | 6 | 50 |5411 | 50 | 15 | 23 | 249k|2634 | 0.000000e+00 | -- | Inf
261.32/261.43 c 242s|510000 |140356 | 1140k| 2.2 | 104M| 45 | 6 | 50 |5584 | 50 | 15 | 23 | 254k|2647 | 0.000000e+00 | -- | Inf
266.82/266.90 c 247s|520000 |142932 | 1162k| 2.2 | 106M| 45 | 6 | 50 |6436 | 50 | 15 | 23 | 259k|2662 | 0.000000e+00 | -- | Inf
273.02/273.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.02/273.11 c 253s|530000 |145366 | 1185k| 2.2 | 108M| 45 | 6 | 50 |6013 | 50 | 15 | 23 | 264k|2679 | 0.000000e+00 | -- | Inf
279.01/279.19 c 259s|540000 |147889 | 1206k| 2.2 | 110M| 45 | - | 50 |5867 | 50 | 15 | 23 | 269k|2702 | 0.000000e+00 | -- | Inf
284.72/284.88 c 264s|550000 |150613 | 1228k| 2.2 | 112M| 45 | 6 | 50 |5969 | 50 | 15 | 23 | 274k|2716 | 0.000000e+00 | -- | Inf
290.72/290.82 c 269s|560000 |153210 | 1250k| 2.2 | 114M| 45 | 6 | 50 |6041 | 50 | 15 | 23 | 279k|2724 | 0.000000e+00 | -- | Inf
296.41/296.55 c 275s|570000 |155930 | 1272k| 2.2 | 116M| 45 | 6 | 50 |5903 | 50 | 15 | 23 | 284k|2740 | 0.000000e+00 | -- | Inf
302.21/302.36 c 280s|580000 |158508 | 1294k| 2.2 | 118M| 45 | - | 50 |5956 | 50 | 15 | 23 | 289k|2757 | 0.000000e+00 | -- | Inf
308.31/308.45 c 286s|590000 |160701 | 1315k| 2.2 | 120M| 45 | 6 | 50 |5989 | 50 | 15 | 23 | 294k|2772 | 0.000000e+00 | -- | Inf
314.61/314.78 c 292s|600000 |162908 | 1337k| 2.2 | 122M| 45 | 6 | 50 |5569 | 50 | 15 | 23 | 300k|2791 | 0.000000e+00 | -- | Inf
320.70/320.88 c 298s|610000 |165191 | 1359k| 2.2 | 124M| 45 | - | 50 |5436 | 50 | 15 | 23 | 305k|2809 | 0.000000e+00 | -- | Inf
326.40/326.57 c 303s|620000 |167780 | 1381k| 2.2 | 125M| 45 | 6 | 50 |5435 | 50 | 15 | 23 | 310k|2825 | 0.000000e+00 | -- | Inf
332.41/332.59 c 308s|630000 |170010 | 1402k| 2.2 | 127M| 45 | 6 | 50 |5337 | 50 | 15 | 23 | 315k|2849 | 0.000000e+00 | -- | Inf
338.51/338.63 c 314s|640000 |172303 | 1424k| 2.2 | 129M| 45 | 6 | 50 |5995 | 50 | 15 | 23 | 321k|2861 | 0.000000e+00 | -- | Inf
343.70/343.81 c 319s|650000 |175464 | 1446k| 2.2 | 132M| 45 | 6 | 50 |7276 | 50 | 15 | 23 | 325k|2883 | 0.000000e+00 | -- | Inf
349.61/349.73 c 324s|660000 |178202 | 1469k| 2.2 | 134M| 45 | 6 | 50 |6924 | 50 | 15 | 23 | 330k|2904 | 0.000000e+00 | -- | Inf
355.50/355.65 c 330s|670000 |180925 | 1491k| 2.2 | 135M| 45 | 6 | 50 |6205 | 50 | 15 | 23 | 336k|2922 | 0.000000e+00 | -- | Inf
361.80/361.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.80/361.92 c 336s|680000 |183299 | 1514k| 2.2 | 137M| 45 | 6 | 50 |6200 | 50 | 15 | 23 | 341k|2937 | 0.000000e+00 | -- | Inf
368.00/368.15 c 342s|690000 |185849 | 1536k| 2.2 | 139M| 45 | 6 | 50 |6600 | 50 | 15 | 23 | 346k|2958 | 0.000000e+00 | -- | Inf
374.19/374.36 c 348s|700000 |188329 | 1557k| 2.2 | 141M| 45 | 6 | 50 |6365 | 50 | 15 | 23 | 351k|2977 | 0.000000e+00 | -- | Inf
380.59/380.71 c 354s|710000 |190888 | 1579k| 2.2 | 143M| 45 | 6 | 50 |6477 | 50 | 15 | 23 | 356k|2990 | 0.000000e+00 | -- | Inf
385.79/385.92 c 358s|720000 |194054 | 1601k| 2.2 | 146M| 45 | - | 50 |7734 | 50 | 15 | 23 | 361k|3004 | 0.000000e+00 | -- | Inf
392.69/392.83 c 365s|730000 |196373 | 1623k| 2.2 | 147M| 45 | 6 | 50 |6220 | 50 | 15 | 23 | 366k|3017 | 0.000000e+00 | -- | Inf
399.10/399.30 c 371s|740000 |198651 | 1645k| 2.2 | 149M| 45 | 6 | 50 |6511 | 50 | 15 | 23 | 371k|3037 | 0.000000e+00 | -- | Inf
405.18/405.35 c 377s|750000 |201550 | 1667k| 2.2 | 151M| 45 | 6 | 50 |6296 | 50 | 15 | 23 | 376k|3054 | 0.000000e+00 | -- | Inf
410.58/410.71 c 382s|760000 |204770 | 1691k| 2.2 | 154M| 45 | 6 | 50 |7665 | 50 | 15 | 23 | 381k|3068 | 0.000000e+00 | -- | Inf
417.08/417.23 c 388s|770000 |207364 | 1713k| 2.2 | 155M| 45 | 6 | 50 |6848 | 50 | 15 | 23 | 386k|3074 | 0.000000e+00 | -- | Inf
422.88/423.02 c 393s|780000 |210043 | 1735k| 2.2 | 158M| 45 | - | 50 |7335 | 0 | 0 | 23 | 391k|3093 | 0.000000e+00 | -- | Inf
428.78/428.99 c 399s|790000 |212866 | 1758k| 2.2 | 159M| 45 | - | 50 |6895 | 50 | 15 | 23 | 396k|3107 | 0.000000e+00 | -- | Inf
434.97/435.18 c 405s|800000 |215522 | 1780k| 2.2 | 161M| 45 | 6 | 50 |6753 | 50 | 15 | 23 | 401k|3115 | 0.000000e+00 | -- | Inf
440.78/440.95 c 410s|810000 |218484 | 1803k| 2.2 | 164M| 45 | 6 | 50 |7840 | 50 | 15 | 23 | 406k|3123 | 0.000000e+00 | -- | Inf
446.88/447.05 c 416s|820000 |221565 | 1826k| 2.2 | 166M| 45 | 6 | 50 |8382 | 50 | 15 | 23 | 411k|3132 | 0.000000e+00 | -- | Inf
454.18/454.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.18/454.36 c 423s|830000 |223873 | 1849k| 2.2 | 167M| 45 | - | 50 |6257 | 50 | 15 | 23 | 416k|3140 | 0.000000e+00 | -- | Inf
460.37/460.52 c 429s|840000 |226395 | 1871k| 2.2 | 169M| 45 | 6 | 50 |6024 | 50 | 15 | 23 | 421k|3148 | 0.000000e+00 | -- | Inf
466.28/466.46 c 434s|850000 |229213 | 1893k| 2.2 | 171M| 45 | - | 50 |6561 | 50 | 15 | 23 | 426k|3156 | 0.000000e+00 | -- | Inf
472.56/472.70 c 440s|860000 |231732 | 1915k| 2.2 | 173M| 45 | 6 | 50 |6544 | 50 | 15 | 23 | 431k|3166 | 0.000000e+00 | -- | Inf
478.96/479.16 c 446s|870000 |234091 | 1937k| 2.2 | 175M| 45 | - | 50 |6029 | 50 | 15 | 23 | 436k|3172 | 0.000000e+00 | -- | Inf
485.26/485.49 c 452s|880000 |236463 | 1959k| 2.2 | 177M| 45 | 6 | 50 |6101 | 50 | 15 | 23 | 442k|3178 | 0.000000e+00 | -- | Inf
490.67/490.85 c 457s|890000 |239700 | 1981k| 2.2 | 179M| 45 | 6 | 50 |5969 | 50 | 15 | 23 | 446k|3184 | 0.000000e+00 | -- | Inf
495.87/496.04 c 462s|900000 |243049 | 2004k| 2.2 | 181M| 45 | 6 | 50 |6639 | 50 | 15 | 23 | 450k|3196 | 0.000000e+00 | -- | Inf
501.66/501.87 c 467s|910000 |245811 | 2027k| 2.2 | 183M| 45 | 6 | 50 |6920 | 50 | 15 | 23 | 455k|3211 | 0.000000e+00 | -- | Inf
508.26/508.43 c 473s|920000 |248297 | 2049k| 2.2 | 185M| 45 | 6 | 50 |6056 | 50 | 15 | 23 | 460k|3226 | 0.000000e+00 | -- | Inf
514.76/514.93 c 480s|930000 |250555 | 2071k| 2.2 | 187M| 45 | - | 50 |6286 | 50 | 15 | 23 | 465k|3237 | 0.000000e+00 | -- | Inf
521.16/521.33 c 486s|940000 |253174 | 2093k| 2.2 | 189M| 45 | 6 | 50 |6848 | 50 | 15 | 23 | 471k|3256 | 0.000000e+00 | -- | Inf
527.95/528.16 c 492s|950000 |255354 | 2116k| 2.2 | 191M| 45 | - | 50 |6059 | 50 | 15 | 23 | 476k|3272 | 0.000000e+00 | -- | Inf
533.75/533.91 c 497s|960000 |258344 | 2138k| 2.2 | 193M| 45 | - | 50 |6425 | 0 | 0 | 23 | 481k|3288 | 0.000000e+00 | -- | Inf
539.96/540.10 c 503s|970000 |261084 | 2161k| 2.2 | 195M| 45 | 6 | 50 |7304 | 50 | 15 | 23 | 486k|3296 | 0.000000e+00 | -- | Inf
546.85/547.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
546.85/547.09 c 510s|980000 |263478 | 2183k| 2.2 | 197M| 45 | - | 50 |7666 | 50 | 15 | 23 | 491k|3314 | 0.000000e+00 | -- | Inf
553.55/553.74 c 516s|990000 |266054 | 2206k| 2.2 | 199M| 45 | 6 | 50 |6331 | 50 | 15 | 23 | 496k|3328 | 0.000000e+00 | -- | Inf
560.04/560.24 c 522s| 1000k|268461 | 2227k| 2.2 | 201M| 45 | - | 50 |6126 | 0 | 0 | 23 | 501k|3339 | 0.000000e+00 | -- | Inf
565.74/565.93 c 528s| 1010k|271147 | 2249k| 2.2 | 203M| 45 | 6 | 50 |7188 | 50 | 15 | 23 | 506k|3352 | 0.000000e+00 | -- | Inf
572.45/572.67 c 534s| 1020k|273496 | 2270k| 2.2 | 204M| 45 | 6 | 50 |6386 | 50 | 15 | 23 | 512k|3367 | 0.000000e+00 | -- | Inf
578.74/578.95 c 540s| 1030k|276187 | 2292k| 2.2 | 206M| 45 | 6 | 50 |6746 | 50 | 15 | 23 | 517k|3380 | 0.000000e+00 | -- | Inf
584.84/585.08 c 546s| 1040k|279044 | 2314k| 2.2 | 208M| 45 | 6 | 50 |6353 | 50 | 15 | 23 | 521k|3395 | 0.000000e+00 | -- | Inf
591.33/591.50 c 552s| 1050k|281533 | 2336k| 2.2 | 210M| 45 | 6 | 50 |6658 | 50 | 15 | 23 | 526k|3403 | 0.000000e+00 | -- | Inf
596.94/597.17 c 557s| 1060k|284519 | 2358k| 2.2 | 213M| 45 | - | 50 |7286 | 0 | 0 | 23 | 531k|3415 | 0.000000e+00 | -- | Inf
604.03/604.27 c 564s| 1070k|286874 | 2380k| 2.2 | 214M| 45 | 6 | 50 |6704 | 50 | 15 | 23 | 536k|3424 | 0.000000e+00 | -- | Inf
610.34/610.56 c 570s| 1080k|289573 | 2402k| 2.2 | 216M| 45 | 6 | 50 |6451 | 50 | 15 | 23 | 542k|3438 | 0.000000e+00 | -- | Inf
616.94/617.12 c 576s| 1090k|292274 | 2424k| 2.2 | 218M| 45 | - | 50 |6381 | 50 | 15 | 23 | 547k|3450 | 0.000000e+00 | -- | Inf
623.23/623.43 c 582s| 1100k|294844 | 2446k| 2.2 | 220M| 45 | 6 | 50 |6354 | 50 | 15 | 23 | 552k|3466 | 0.000000e+00 | -- | Inf
629.33/629.55 c 588s| 1110k|297578 | 2468k| 2.2 | 222M| 45 | 6 | 50 |6952 | 50 | 15 | 23 | 557k|3476 | 0.000000e+00 | -- | Inf
635.54/635.71 c 593s| 1120k|300299 | 2489k| 2.2 | 224M| 45 | - | 50 |6915 | 50 | 15 | 23 | 561k|3486 | 0.000000e+00 | -- | Inf
642.02/642.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.02/642.25 c 599s| 1130k|302880 | 2511k| 2.2 | 226M| 45 | 6 | 50 |6304 | 50 | 15 | 23 | 567k|3502 | 0.000000e+00 | -- | Inf
648.43/648.69 c 606s| 1140k|305180 | 2533k| 2.2 | 228M| 45 | - | 50 |6038 | 50 | 15 | 23 | 572k|3514 | 0.000000e+00 | -- | Inf
654.73/654.99 c 611s| 1150k|307520 | 2555k| 2.2 | 230M| 45 | 6 | 50 |5699 | 50 | 15 | 23 | 577k|3529 | 0.000000e+00 | -- | Inf
661.22/661.40 c 617s| 1160k|309913 | 2577k| 2.2 | 231M| 45 | 6 | 50 |6142 | 50 | 15 | 23 | 582k|3538 | 0.000000e+00 | -- | Inf
667.82/668.04 c 624s| 1170k|312329 | 2599k| 2.2 | 233M| 45 | 6 | 50 |5791 | 50 | 15 | 23 | 587k|3552 | 0.000000e+00 | -- | Inf
674.51/674.74 c 630s| 1180k|314636 | 2621k| 2.2 | 235M| 45 | - | 50 |6234 | 50 | 15 | 23 | 593k|3562 | 0.000000e+00 | -- | Inf
680.62/680.90 c 636s| 1190k|317182 | 2643k| 2.2 | 237M| 45 | - | 50 |6785 | 50 | 15 | 23 | 598k|3580 | 0.000000e+00 | -- | Inf
686.91/687.10 c 642s| 1200k|319633 | 2665k| 2.2 | 239M| 45 | - | 50 |7689 | 50 | 15 | 23 | 603k|3590 | 0.000000e+00 | -- | Inf
692.92/693.11 c 647s| 1210k|322596 | 2688k| 2.2 | 242M| 45 | 6 | 50 |8961 | 50 | 15 | 23 | 608k|3602 | 0.000000e+00 | -- | Inf
700.71/700.92 c 655s| 1220k|324966 | 2710k| 2.2 | 243M| 45 | 6 | 50 |7275 | 50 | 15 | 23 | 613k|3612 | 0.000000e+00 | -- | Inf
707.51/707.79 c 661s| 1230k|327335 | 2732k| 2.2 | 245M| 45 | 6 | 50 |7010 | 50 | 15 | 23 | 618k|3622 | 0.000000e+00 | -- | Inf
714.61/714.84 c 668s| 1240k|329617 | 2754k| 2.2 | 247M| 45 | - | 50 |7303 | 50 | 15 | 23 | 624k|3628 | 0.000000e+00 | -- | Inf
721.31/721.58 c 674s| 1250k|331973 | 2776k| 2.2 | 249M| 45 | 6 | 50 |7075 | 50 | 15 | 23 | 629k|3634 | 0.000000e+00 | -- | Inf
727.50/727.76 c 680s| 1260k|334692 | 2798k| 2.2 | 251M| 45 | 6 | 50 |8110 | 50 | 15 | 23 | 634k|3643 | 0.000000e+00 | -- | Inf
734.80/735.01 c 687s| 1270k|337071 | 2821k| 2.2 | 253M| 45 | - | 50 |7136 | 50 | 15 | 23 | 639k|3655 | 0.000000e+00 | -- | Inf
741.11/741.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.11/741.36 c 693s| 1280k|339639 | 2842k| 2.2 | 255M| 45 | - | 50 |7504 | 50 | 15 | 23 | 644k|3674 | 0.000000e+00 | -- | Inf
747.30/747.50 c 699s| 1290k|342199 | 2864k| 2.2 | 257M| 45 | 6 | 50 |7636 | 50 | 15 | 23 | 649k|3681 | 0.000000e+00 | -- | Inf
754.60/754.87 c 706s| 1300k|344643 | 2887k| 2.2 | 258M| 45 | - | 50 |7066 | 0 | 0 | 23 | 654k|3691 | 0.000000e+00 | -- | Inf
761.69/761.91 c 712s| 1310k|346924 | 2908k| 2.2 | 260M| 45 | - | 50 |6238 | 50 | 15 | 23 | 660k|3699 | 0.000000e+00 | -- | Inf
767.79/768.04 c 718s| 1320k|349568 | 2929k| 2.2 | 262M| 45 | 6 | 50 |6695 | 50 | 15 | 23 | 665k|3703 | 0.000000e+00 | -- | Inf
773.99/774.24 c 724s| 1330k|352464 | 2951k| 2.2 | 264M| 45 | - | 50 |7483 | 50 | 15 | 23 | 669k|3725 | 0.000000e+00 | -- | Inf
780.99/781.25 c 731s| 1340k|354766 | 2973k| 2.2 | 266M| 45 | 6 | 50 |7306 | 50 | 15 | 23 | 675k|3735 | 0.000000e+00 | -- | Inf
788.19/788.40 c 737s| 1350k|357136 | 2995k| 2.2 | 268M| 45 | 6 | 50 |6393 | 50 | 15 | 23 | 680k|3747 | 0.000000e+00 | -- | Inf
795.00/795.21 c 744s| 1360k|359608 | 3016k| 2.2 | 270M| 45 | - | 50 |6414 | 50 | 15 | 23 | 685k|3755 | 0.000000e+00 | -- | Inf
801.18/801.49 c 750s| 1370k|362199 | 3038k| 2.2 | 272M| 45 | 6 | 50 |7112 | 50 | 15 | 23 | 690k|3761 | 0.000000e+00 | -- | Inf
807.58/807.82 c 756s| 1380k|364723 | 3061k| 2.2 | 274M| 45 | 6 | 50 |7981 | 50 | 15 | 23 | 695k|3765 | 0.000000e+00 | -- | Inf
812.88/813.18 c 761s| 1390k|368330 | 3084k| 2.2 | 277M| 45 | 6 | 50 |9619 | 50 | 15 | 23 | 700k|3771 | 0.000000e+00 | -- | Inf
819.98/820.29 c 767s| 1400k|371071 | 3105k| 2.2 | 278M| 45 | 6 | 50 |8621 | 50 | 15 | 23 | 705k|3782 | 0.000000e+00 | -- | Inf
827.28/827.54 c 774s| 1410k|373369 | 3127k| 2.2 | 280M| 45 | - | 50 |7530 | 50 | 15 | 23 | 710k|3792 | 0.000000e+00 | -- | Inf
833.68/833.96 c 780s| 1420k|375972 | 3148k| 2.2 | 282M| 45 | 6 | 50 |7468 | 50 | 15 | 23 | 715k|3800 | 0.000000e+00 | -- | Inf
840.27/840.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.27/840.57 c 786s| 1430k|378771 | 3169k| 2.2 | 284M| 45 | 6 | 50 |6914 | 50 | 15 | 23 | 720k|3804 | 0.000000e+00 | -- | Inf
847.78/848.10 c 794s| 1440k|380967 | 3191k| 2.2 | 286M| 45 | 6 | 50 |6617 | 50 | 15 | 23 | 725k|3816 | 0.000000e+00 | -- | Inf
854.27/854.54 c 800s| 1450k|383348 | 3213k| 2.2 | 287M| 45 | 6 | 50 |6407 | 50 | 15 | 23 | 730k|3824 | 0.000000e+00 | -- | Inf
861.17/861.47 c 806s| 1460k|385637 | 3236k| 2.2 | 289M| 45 | 6 | 50 |6602 | 50 | 15 | 23 | 736k|3828 | 0.000000e+00 | -- | Inf
868.26/868.56 c 813s| 1470k|387991 | 3258k| 2.2 | 291M| 45 | 6 | 50 |6273 | 50 | 15 | 23 | 741k|3833 | 0.000000e+00 | -- | Inf
874.07/874.30 c 818s| 1480k|390956 | 3280k| 2.2 | 293M| 45 | 6 | 50 |7370 | 50 | 15 | 23 | 746k|3837 | 0.000000e+00 | -- | Inf
879.87/880.19 c 824s| 1490k|393775 | 3304k| 2.2 | 296M| 45 | 6 | 50 |8881 | 50 | 15 | 23 | 751k|3842 | 0.000000e+00 | -- | Inf
887.37/887.67 c 831s| 1500k|396186 | 3326k| 2.2 | 297M| 45 | 6 | 50 |6443 | 50 | 15 | 23 | 756k|3848 | 0.000000e+00 | -- | Inf
894.16/894.45 c 837s| 1510k|398597 | 3348k| 2.2 | 299M| 45 | 6 | 50 |6554 | 50 | 15 | 23 | 761k|3856 | 0.000000e+00 | -- | Inf
900.96/901.21 c 844s| 1520k|401018 | 3370k| 2.2 | 301M| 45 | - | 50 |7123 | 50 | 15 | 23 | 766k|3863 | 0.000000e+00 | -- | Inf
908.06/908.36 c 850s| 1530k|403364 | 3391k| 2.2 | 303M| 45 | - | 50 |6116 | 50 | 15 | 23 | 771k|3868 | 0.000000e+00 | -- | Inf
913.87/914.10 c 856s| 1540k|406257 | 3413k| 2.2 | 305M| 45 | 6 | 50 |6877 | 50 | 15 | 23 | 776k|3878 | 0.000000e+00 | -- | Inf
920.26/920.55 c 862s| 1550k|408721 | 3434k| 2.2 | 307M| 45 | - | 50 |6303 | 50 | 15 | 23 | 781k|3888 | 0.000000e+00 | -- | Inf
927.55/927.86 c 869s| 1560k|410950 | 3457k| 2.2 | 308M| 45 | - | 50 |6615 | 50 | 15 | 23 | 787k|3895 | 0.000000e+00 | -- | Inf
935.15/935.46 c 876s| 1570k|413046 | 3479k| 2.2 | 310M| 45 | 6 | 50 |6467 | 50 | 15 | 23 | 792k|3900 | 0.000000e+00 | -- | Inf
941.35/941.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
941.35/941.61 c 882s| 1580k|415817 | 3501k| 2.2 | 313M| 45 | 6 | 50 |7623 | 50 | 15 | 23 | 797k|3909 | 0.000000e+00 | -- | Inf
947.75/948.04 c 888s| 1590k|418455 | 3523k| 2.2 | 315M| 45 | 6 | 50 |8046 | 50 | 15 | 23 | 802k|3919 | 0.000000e+00 | -- | Inf
954.35/954.70 c 894s| 1600k|421010 | 3546k| 2.2 | 316M| 45 | 6 | 50 |7632 | 50 | 15 | 23 | 807k|3925 | 0.000000e+00 | -- | Inf
961.75/962.02 c 901s| 1610k|423349 | 3568k| 2.2 | 318M| 45 | 6 | 50 |7144 | 50 | 15 | 23 | 813k|3931 | 0.000000e+00 | -- | Inf
968.75/969.02 c 908s| 1620k|425656 | 3589k| 2.2 | 320M| 45 | - | 50 |6822 | 50 | 15 | 23 | 818k|3939 | 0.000000e+00 | -- | Inf
976.24/976.55 c 915s| 1630k|427810 | 3611k| 2.2 | 322M| 45 | 6 | 50 |6542 | 50 | 15 | 23 | 823k|3945 | 0.000000e+00 | -- | Inf
983.23/983.55 c 922s| 1640k|430050 | 3633k| 2.2 | 324M| 45 | - | 50 |6528 | 50 | 15 | 23 | 829k|3958 | 0.000000e+00 | -- | Inf
989.34/989.62 c 927s| 1650k|432788 | 3655k| 2.2 | 326M| 45 | 6 | 50 |6799 | 50 | 15 | 23 | 834k|3970 | 0.000000e+00 | -- | Inf
995.94/996.28 c 933s| 1660k|435020 | 3677k| 2.2 | 328M| 45 | 6 | 50 |7498 | 50 | 15 | 23 | 839k|3985 | 0.000000e+00 | -- | Inf
1003.14/1003.45 c 940s| 1670k|437501 | 3699k| 2.2 | 329M| 45 | 6 | 50 |6978 | 50 | 15 | 23 | 844k|3996 | 0.000000e+00 | -- | Inf
1009.73/1010.01 c 946s| 1680k|440070 | 3722k| 2.2 | 331M| 45 | 6 | 50 |7864 | 50 | 15 | 23 | 849k|4013 | 0.000000e+00 | -- | Inf
1016.94/1017.21 c 953s| 1690k|442374 | 3743k| 2.2 | 333M| 45 | 6 | 50 |7658 | 50 | 15 | 23 | 854k|4023 | 0.000000e+00 | -- | Inf
1023.84/1024.18 c 960s| 1700k|444880 | 3766k| 2.2 | 335M| 45 | 6 | 50 |7867 | 50 | 15 | 23 | 859k|4031 | 0.000000e+00 | -- | Inf
1031.43/1031.73 c 967s| 1710k|447156 | 3788k| 2.2 | 337M| 45 | 6 | 50 |7624 | 50 | 15 | 23 | 865k|4044 | 0.000000e+00 | -- | Inf
1038.52/1038.83 c 974s| 1720k|449471 | 3810k| 2.2 | 339M| 45 | - | 50 |7740 | 50 | 15 | 23 | 870k|4050 | 0.000000e+00 | -- | Inf
1045.62/1045.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.62/1045.96 c 980s| 1730k|452037 | 3832k| 2.2 | 341M| 45 | - | 50 |7746 | 50 | 15 | 23 | 875k|4056 | 0.000000e+00 | -- | Inf
1053.32/1053.64 c 988s| 1740k|454194 | 3855k| 2.2 | 343M| 45 | 6 | 50 |7682 | 50 | 15 | 23 | 881k|4070 | 0.000000e+00 | -- | Inf
1061.52/1061.80 c 996s| 1750k|456397 | 3877k| 2.2 | 344M| 45 | 6 | 50 |7197 | 50 | 15 | 23 | 886k|4080 | 0.000000e+00 | -- | Inf
1068.72/1069.05 c 1002s| 1760k|458684 | 3899k| 2.2 | 346M| 45 | 6 | 50 |6953 | 50 | 15 | 23 | 891k|4093 | 0.000000e+00 | -- | Inf
1075.61/1075.91 c 1009s| 1770k|461257 | 3920k| 2.2 | 348M| 45 | 6 | 50 |7375 | 50 | 15 | 23 | 896k|4099 | 0.000000e+00 | -- | Inf
1082.92/1083.26 c 1016s| 1780k|463660 | 3942k| 2.2 | 350M| 45 | - | 50 |6937 | 50 | 15 | 23 | 902k|4107 | 0.000000e+00 | -- | Inf
1090.12/1090.41 c 1023s| 1790k|466020 | 3964k| 2.2 | 352M| 45 | 6 | 50 |7219 | 50 | 15 | 23 | 907k|4116 | 0.000000e+00 | -- | Inf
1095.91/1096.23 c 1028s| 1800k|468963 | 3987k| 2.2 | 354M| 45 | 6 | 50 |7555 | 50 | 15 | 23 | 912k|4126 | 0.000000e+00 | -- | Inf
1102.92/1103.29 c 1035s| 1810k|471327 | 4008k| 2.2 | 356M| 45 | - | 50 |7248 | 50 | 15 | 23 | 917k|4128 | 0.000000e+00 | -- | Inf
1109.90/1110.28 c 1041s| 1820k|473880 | 4031k| 2.2 | 358M| 45 | - | 50 |7189 | 0 | 0 | 23 | 922k|4140 | 0.000000e+00 | -- | Inf
1116.71/1117.08 c 1048s| 1830k|476147 | 4052k| 2.2 | 360M| 45 | 6 | 50 |7258 | 50 | 15 | 23 | 927k|4149 | 0.000000e+00 | -- | Inf
1122.81/1123.18 c 1053s| 1840k|479332 | 4075k| 2.2 | 362M| 45 | 6 | 50 |7600 | 50 | 15 | 23 | 932k|4159 | 0.000000e+00 | -- | Inf
1128.81/1129.16 c 1059s| 1850k|482252 | 4097k| 2.2 | 364M| 45 | 6 | 50 |8514 | 50 | 15 | 23 | 937k|4174 | 0.000000e+00 | -- | Inf
1135.21/1135.54 c 1065s| 1860k|484996 | 4119k| 2.2 | 366M| 45 | - | 50 |9356 | 0 | 0 | 23 | 941k|4188 | 0.000000e+00 | -- | Inf
1142.90/1143.21 c 1072s| 1870k|487350 | 4141k| 2.2 | 368M| 45 | 6 | 50 |8699 | 50 | 15 | 23 | 947k|4194 | 0.000000e+00 | -- | Inf
1151.59/1151.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1151.59/1151.92 c 1081s| 1880k|489441 | 4164k| 2.2 | 369M| 45 | 6 | 50 |7433 | 50 | 15 | 23 | 952k|4201 | 0.000000e+00 | -- | Inf
1159.20/1159.58 c 1088s| 1890k|491712 | 4186k| 2.2 | 371M| 45 | 6 | 50 |7137 | 50 | 15 | 23 | 957k|4213 | 0.000000e+00 | -- | Inf
1166.40/1166.74 c 1095s| 1900k|494004 | 4207k| 2.2 | 373M| 45 | - | 50 |7219 | 0 | 0 | 23 | 963k|4218 | 0.000000e+00 | -- | Inf
1172.59/1172.91 c 1101s| 1910k|496425 | 4229k| 2.2 | 375M| 45 | 6 | 50 |7946 | 50 | 15 | 23 | 968k|4226 | 0.000000e+00 | -- | Inf
1179.29/1179.65 c 1107s| 1920k|498806 | 4250k| 2.2 | 377M| 45 | - | 50 |7644 | 50 | 15 | 23 | 973k|4234 | 0.000000e+00 | -- | Inf
1187.09/1187.49 c 1114s| 1930k|500969 | 4272k| 2.2 | 379M| 45 | - | 50 |6657 | 50 | 15 | 23 | 978k|4245 | 0.000000e+00 | -- | Inf
1194.39/1194.74 c 1121s| 1940k|503207 | 4294k| 2.2 | 380M| 45 | 6 | 50 |6781 | 50 | 15 | 23 | 983k|4261 | 0.000000e+00 | -- | Inf
1201.38/1201.74 c 1128s| 1950k|505415 | 4316k| 2.2 | 382M| 45 | - | 50 |7453 | 50 | 15 | 23 | 989k|4269 | 0.000000e+00 | -- | Inf
1208.08/1208.49 c 1134s| 1960k|507961 | 4338k| 2.2 | 384M| 45 | - | 50 |7798 | 50 | 15 | 23 | 994k|4278 | 0.000000e+00 | -- | Inf
1214.18/1214.51 c 1140s| 1970k|511387 | 4360k| 2.2 | 387M| 45 | - | 50 |7759 | 50 | 15 | 23 | 998k|4287 | 0.000000e+00 | -- | Inf
1219.98/1220.34 c 1145s| 1980k|514671 | 4383k| 2.2 | 389M| 45 | 6 | 50 |9017 | 50 | 15 | 23 |1003k|4302 | 0.000000e+00 | -- | Inf
1226.28/1226.68 c 1151s| 1990k|517856 | 4404k| 2.2 | 391M| 45 | 6 | 50 |9306 | 50 | 15 | 23 |1007k|4313 | 0.000000e+00 | -- | Inf
1233.07/1233.47 c 1158s| 2000k|520782 | 4426k| 2.2 | 393M| 45 | 6 | 50 |9098 | 50 | 15 | 23 |1012k|4323 | 0.000000e+00 | -- | Inf
1241.48/1241.85 c 1166s| 2010k|523023 | 4448k| 2.2 | 394M| 45 | 6 | 50 |7355 | 50 | 15 | 23 |1017k|4335 | 0.000000e+00 | -- | Inf
1248.97/1249.37 c 1173s| 2020k|525345 | 4470k| 2.2 | 396M| 45 | 6 | 50 |6383 | 50 | 15 | 23 |1023k|4345 | 0.000000e+00 | -- | Inf
1255.97/1256.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1255.97/1256.39 c 1180s| 2030k|527851 | 4492k| 2.2 | 398M| 45 | 6 | 50 |6766 | 50 | 15 | 23 |1028k|4353 | 0.000000e+00 | -- | Inf
1262.57/1262.98 c 1186s| 2040k|530345 | 4514k| 2.2 | 400M| 45 | 6 | 50 |7800 | 50 | 15 | 23 |1033k|4356 | 0.000000e+00 | -- | Inf
1269.76/1270.12 c 1193s| 2050k|532894 | 4535k| 2.2 | 402M| 45 | 6 | 50 |7181 | 50 | 15 | 23 |1038k|4365 | 0.000000e+00 | -- | Inf
1277.27/1277.69 c 1200s| 2060k|535167 | 4558k| 2.2 | 404M| 45 | 6 | 50 |6703 | 50 | 15 | 23 |1043k|4369 | 0.000000e+00 | -- | Inf
1283.96/1284.38 c 1206s| 2070k|537698 | 4579k| 2.2 | 406M| 45 | 6 | 50 |7520 | 50 | 15 | 23 |1048k|4373 | 0.000000e+00 | -- | Inf
1291.07/1291.45 c 1213s| 2080k|540196 | 4601k| 2.2 | 408M| 45 | 6 | 50 |7234 | 50 | 15 | 23 |1053k|4379 | 0.000000e+00 | -- | Inf
1297.36/1297.75 c 1219s| 2090k|542554 | 4623k| 2.2 | 410M| 45 | - | 50 |7920 | 0 | 0 | 23 |1058k|4385 | 0.000000e+00 | -- | Inf
1304.17/1304.55 c 1225s| 2100k|544997 | 4645k| 2.2 | 412M| 45 | 6 | 50 |8093 | 50 | 15 | 23 |1064k|4398 | 0.000000e+00 | -- | Inf
1311.46/1311.89 c 1232s| 2110k|547283 | 4667k| 2.2 | 414M| 45 | 6 | 50 |8202 | 50 | 15 | 23 |1069k|4409 | 0.000000e+00 | -- | Inf
1318.16/1318.58 c 1238s| 2120k|550450 | 4689k| 2.2 | 416M| 45 | - | 50 |7646 | 50 | 15 | 23 |1074k|4424 | 0.000000e+00 | -- | Inf
1323.75/1324.12 c 1243s| 2130k|553730 | 4710k| 2.2 | 418M| 45 | 6 | 50 |9157 | 50 | 15 | 23 |1078k|4435 | 0.000000e+00 | -- | Inf
1330.05/1330.41 c 1249s| 2140k|556633 | 4732k| 2.2 | 420M| 45 | 6 | 50 |9476 | 50 | 15 | 23 |1082k|4443 | 0.000000e+00 | -- | Inf
1337.75/1338.11 c 1257s| 2150k|559173 | 4754k| 2.2 | 422M| 45 | - | 50 |8295 | 50 | 15 | 23 |1087k|4455 | 0.000000e+00 | -- | Inf
1345.05/1345.46 c 1264s| 2160k|561408 | 4777k| 2.2 | 424M| 45 | 6 | 50 |8269 | 50 | 15 | 23 |1093k|4465 | 0.000000e+00 | -- | Inf
1352.35/1352.76 c 1271s| 2170k|563772 | 4799k| 2.2 | 426M| 45 | 6 | 50 |8275 | 50 | 15 | 23 |1098k|4476 | 0.000000e+00 | -- | Inf
1360.25/1360.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.25/1360.67 c 1278s| 2180k|566252 | 4821k| 2.2 | 427M| 45 | 6 | 50 |7423 | 50 | 15 | 23 |1103k|4487 | 0.000000e+00 | -- | Inf
1367.64/1368.08 c 1285s| 2190k|568715 | 4843k| 2.2 | 429M| 45 | 6 | 50 |7504 | 50 | 15 | 23 |1108k|4491 | 0.000000e+00 | -- | Inf
1374.63/1375.01 c 1292s| 2200k|571190 | 4864k| 2.2 | 431M| 45 | 6 | 50 |8321 | 50 | 15 | 23 |1113k|4498 | 0.000000e+00 | -- | Inf
1382.12/1382.58 c 1299s| 2210k|573668 | 4886k| 2.2 | 433M| 45 | 6 | 50 |7336 | 50 | 15 | 23 |1118k|4506 | 0.000000e+00 | -- | Inf
1389.02/1389.40 c 1305s| 2220k|576288 | 4907k| 2.2 | 435M| 45 | 6 | 50 |6862 | 50 | 15 | 23 |1123k|4515 | 0.000000e+00 | -- | Inf
1395.72/1396.17 c 1312s| 2230k|578596 | 4929k| 2.2 | 437M| 45 | 6 | 50 |7931 | 50 | 15 | 23 |1129k|4521 | 0.000000e+00 | -- | Inf
1403.02/1403.40 c 1318s| 2240k|581067 | 4951k| 2.2 | 439M| 45 | - | 50 |7867 | 50 | 15 | 23 |1134k|4532 | 0.000000e+00 | -- | Inf
1410.21/1410.64 c 1325s| 2250k|583399 | 4973k| 2.2 | 441M| 45 | - | 50 |7814 | 50 | 15 | 23 |1139k|4542 | 0.000000e+00 | -- | Inf
1418.11/1418.50 c 1333s| 2260k|585758 | 4995k| 2.2 | 442M| 45 | - | 50 |7085 | 50 | 15 | 23 |1144k|4554 | 0.000000e+00 | -- | Inf
1425.91/1426.35 c 1340s| 2270k|588036 | 5017k| 2.2 | 444M| 45 | 6 | 50 |6318 | 50 | 15 | 23 |1149k|4565 | 0.000000e+00 | -- | Inf
1432.41/1432.83 c 1346s| 2280k|590260 | 5039k| 2.2 | 446M| 45 | 6 | 50 |8001 | 50 | 15 | 23 |1155k|4571 | 0.000000e+00 | -- | Inf
1440.31/1440.71 c 1354s| 2290k|592506 | 5061k| 2.2 | 448M| 45 | - | 50 |7320 | 50 | 15 | 23 |1160k|4581 | 0.000000e+00 | -- | Inf
1447.21/1447.62 c 1360s| 2300k|594934 | 5083k| 2.2 | 450M| 45 | 6 | 50 |7696 | 50 | 15 | 23 |1165k|4587 | 0.000000e+00 | -- | Inf
1454.31/1454.75 c 1367s| 2310k|597272 | 5104k| 2.2 | 452M| 45 | - | 50 |7371 | 50 | 15 | 23 |1171k|4596 | 0.000000e+00 | -- | Inf
1461.91/1462.34 c 1374s| 2320k|599712 | 5126k| 2.2 | 453M| 45 | - | 50 |7089 | 50 | 15 | 23 |1176k|4607 | 0.000000e+00 | -- | Inf
1469.60/1470.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1469.60/1470.03 c 1381s| 2330k|601815 | 5148k| 2.2 | 455M| 45 | 6 | 50 |6206 | 50 | 15 | 23 |1181k|4618 | 0.000000e+00 | -- | Inf
1476.30/1476.71 c 1388s| 2340k|604182 | 5170k| 2.2 | 457M| 45 | 6 | 50 |7310 | 50 | 15 | 23 |1186k|4625 | 0.000000e+00 | -- | Inf
1483.41/1483.81 c 1394s| 2350k|606503 | 5192k| 2.2 | 459M| 45 | 6 | 50 |7614 | 50 | 15 | 23 |1192k|4630 | 0.000000e+00 | -- | Inf
1491.11/1491.51 c 1402s| 2360k|608739 | 5214k| 2.2 | 461M| 45 | - | 50 |7587 | 50 | 15 | 23 |1197k|4647 | 0.000000e+00 | -- | Inf
1498.90/1499.35 c 1409s| 2370k|610920 | 5236k| 2.2 | 463M| 45 | 6 | 50 |7603 | 50 | 15 | 23 |1202k|4657 | 0.000000e+00 | -- | Inf
1505.59/1506.05 c 1416s| 2380k|613662 | 5258k| 2.2 | 465M| 45 | 6 | 50 |8133 | 50 | 15 | 23 |1207k|4663 | 0.000000e+00 | -- | Inf
1513.10/1513.57 c 1423s| 2390k|616013 | 5279k| 2.2 | 467M| 45 | 6 | 50 |7670 | 50 | 15 | 23 |1212k|4672 | 0.000000e+00 | -- | Inf
1520.49/1520.98 c 1430s| 2400k|618159 | 5302k| 2.2 | 469M| 45 | 6 | 50 |8099 | 50 | 15 | 23 |1218k|4682 | 0.000000e+00 | -- | Inf
1528.49/1528.99 c 1437s| 2410k|620190 | 5324k| 2.2 | 470M| 45 | 6 | 50 |7557 | 50 | 15 | 23 |1223k|4691 | 0.000000e+00 | -- | Inf
1536.48/1536.98 c 1445s| 2420k|622321 | 5345k| 2.2 | 472M| 45 | 6 | 50 |6635 | 50 | 15 | 23 |1228k|4697 | 0.000000e+00 | -- | Inf
1543.78/1544.23 c 1452s| 2430k|624503 | 5367k| 2.2 | 474M| 45 | - | 50 |7633 | 50 | 15 | 23 |1234k|4709 | 0.000000e+00 | -- | Inf
1550.49/1550.97 c 1458s| 2440k|626926 | 5389k| 2.2 | 476M| 45 | - | 50 |8515 | 50 | 15 | 23 |1239k|4715 | 0.000000e+00 | -- | Inf
1558.28/1558.78 c 1466s| 2450k|629032 | 5411k| 2.2 | 478M| 45 | 6 | 50 |8430 | 50 | 15 | 23 |1244k|4722 | 0.000000e+00 | -- | Inf
1566.38/1566.80 c 1473s| 2460k|631277 | 5433k| 2.2 | 480M| 45 | 6 | 50 |8330 | 50 | 15 | 23 |1250k|4725 | 0.000000e+00 | -- | Inf
1575.17/1575.61 c 1482s| 2470k|633387 | 5454k| 2.2 | 481M| 45 | 6 | 50 |7253 | 50 | 15 | 23 |1255k|4730 | 0.000000e+00 | -- | Inf
1582.88/1583.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.88/1583.39 c 1489s| 2480k|635566 | 5476k| 2.2 | 483M| 45 | 6 | 50 |7090 | 50 | 15 | 23 |1261k|4741 | 0.000000e+00 | -- | Inf
1589.58/1590.07 c 1495s| 2490k|637919 | 5498k| 2.2 | 485M| 45 | 6 | 50 |7923 | 50 | 15 | 23 |1266k|4750 | 0.000000e+00 | -- | Inf
1597.97/1598.48 c 1503s| 2500k|640029 | 5520k| 2.2 | 486M| 45 | 6 | 50 |6581 | 50 | 15 | 23 |1271k|4756 | 0.000000e+00 | -- | Inf
1605.26/1605.79 c 1510s| 2510k|642227 | 5542k| 2.2 | 488M| 45 | 6 | 50 |6329 | 50 | 15 | 23 |1277k|4762 | 0.000000e+00 | -- | Inf
1611.77/1612.28 c 1517s| 2520k|644772 | 5564k| 2.2 | 490M| 45 | 6 | 50 |7547 | 50 | 15 | 23 |1282k|4772 | 0.000000e+00 | -- | Inf
1619.87/1620.35 c 1524s| 2530k|647010 | 5586k| 2.2 | 492M| 45 | 6 | 50 |6721 | 50 | 15 | 23 |1287k|4782 | 0.000000e+00 | -- | Inf
1626.76/1627.27 c 1531s| 2540k|649457 | 5607k| 2.2 | 494M| 45 | 6 | 50 |7787 | 50 | 15 | 23 |1292k|4793 | 0.000000e+00 | -- | Inf
1634.06/1634.55 c 1538s| 2550k|651901 | 5629k| 2.2 | 496M| 45 | - | 50 |7859 | 0 | 0 | 23 |1297k|4800 | 0.000000e+00 | -- | Inf
1641.56/1642.02 c 1545s| 2560k|654311 | 5651k| 2.2 | 498M| 45 | - | 50 |7661 | 50 | 15 | 23 |1302k|4807 | 0.000000e+00 | -- | Inf
1648.65/1649.11 c 1551s| 2570k|656678 | 5672k| 2.2 | 500M| 45 | 6 | 50 |7678 | 50 | 15 | 23 |1308k|4818 | 0.000000e+00 | -- | Inf
1655.66/1656.12 c 1558s| 2580k|658877 | 5694k| 2.2 | 502M| 45 | 6 | 50 |9061 | 50 | 15 | 23 |1313k|4823 | 0.000000e+00 | -- | Inf
1663.26/1663.71 c 1565s| 2590k|661269 | 5716k| 2.2 | 504M| 45 | - | 50 |8305 | 50 | 15 | 23 |1318k|4832 | 0.000000e+00 | -- | Inf
1671.05/1671.57 c 1573s| 2600k|663473 | 5738k| 2.2 | 505M| 45 | - | 50 |7769 | 50 | 15 | 23 |1323k|4841 | 0.000000e+00 | -- | Inf
1678.85/1679.30 c 1580s| 2610k|665776 | 5760k| 2.2 | 507M| 45 | - | 50 |7502 | 50 | 15 | 23 |1329k|4847 | 0.000000e+00 | -- | Inf
1684.75/1685.28 c 1586s| 2620k|668837 | 5783k| 2.2 | 509M| 45 | 6 | 50 |8978 | 50 | 15 | 23 |1333k|4854 | 0.000000e+00 | -- | Inf
1692.15/1692.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1692.15/1692.67 c 1593s| 2630k|670988 | 5805k| 2.2 | 511M| 45 | 6 | 50 |9345 | 50 | 15 | 23 |1339k|4866 | 0.000000e+00 | -- | Inf
1698.54/1699.09 c 1599s| 2640k|673927 | 5826k| 2.2 | 514M| 45 | 6 | 50 | 10k| 50 | 15 | 23 |1343k|4876 | 0.000000e+00 | -- | Inf
1706.34/1706.84 c 1606s| 2650k|676179 | 5848k| 2.2 | 516M| 45 | - | 50 | 10k| 0 | 0 | 23 |1349k|4885 | 0.000000e+00 | -- | Inf
1715.74/1716.26 c 1615s| 2660k|678347 | 5870k| 2.2 | 517M| 45 | - | 50 |8372 | 50 | 15 | 23 |1354k|4893 | 0.000000e+00 | -- | Inf
1722.74/1723.24 c 1622s| 2670k|680842 | 5891k| 2.2 | 519M| 45 | 6 | 50 |8660 | 50 | 15 | 23 |1359k|4901 | 0.000000e+00 | -- | Inf
1729.85/1730.32 c 1628s| 2680k|683239 | 5913k| 2.2 | 521M| 45 | - | 50 |8850 | 0 | 0 | 23 |1364k|4907 | 0.000000e+00 | -- | Inf
1737.23/1737.76 c 1636s| 2690k|685647 | 5935k| 2.2 | 523M| 45 | 6 | 50 |8941 | 50 | 15 | 23 |1370k|4914 | 0.000000e+00 | -- | Inf
1745.03/1745.52 c 1643s| 2700k|688244 | 5957k| 2.2 | 524M| 45 | - | 50 |8362 | 50 | 15 | 23 |1375k|4923 | 0.000000e+00 | -- | Inf
1752.84/1753.30 c 1650s| 2710k|690546 | 5978k| 2.2 | 526M| 45 | 6 | 50 |8371 | 50 | 15 | 23 |1380k|4931 | 0.000000e+00 | -- | Inf
1760.92/1761.43 c 1658s| 2720k|692789 | 6000k| 2.2 | 528M| 45 | 6 | 50 |8287 | 50 | 15 | 23 |1385k|4942 | 0.000000e+00 | -- | Inf
1768.23/1768.70 c 1665s| 2730k|695224 | 6022k| 2.2 | 530M| 45 | - | 50 |8764 | 50 | 15 | 23 |1390k|4953 | 0.000000e+00 | -- | Inf
1775.02/1775.59 c 1671s| 2740k|698026 | 6045k| 2.2 | 532M| 45 | - | 50 |8961 | 50 | 15 | 23 |1395k|4959 | 0.000000e+00 | -- | Inf
1781.82/1782.39 c 1678s| 2750k|700817 | 6067k| 2.2 | 535M| 45 | 6 | 50 | 10k| 50 | 15 | 23 |1400k|4969 | 0.000000e+00 | -- | Inf
1789.82/1790.33 c 1685s| 2760k|703257 | 6089k| 2.2 | 536M| 45 | - | 50 | 10k| 0 | 0 | 23 |1405k|4981 | 0.000000e+00 | -- | Inf
1798.72/1799.28 c 1694s| 2770k|705530 | 6111k| 2.2 | 538M| 45 | - | 50 |9107 | 50 | 15 | 23 |1410k|4987 | 0.000000e+00 | -- | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.51 c
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time (sec) : 1695.22
1800.02/1800.51 c Solving Nodes : 2771331
1800.02/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 s UNKNOWN
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1695.22
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2666875-1276612687.opb
1800.02/1800.51 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 13 initial, 13 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2666875-1276612687.opb
1800.02/1800.51 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 6 initial, 11185 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.51 c linear : 0.00 0 0 0 0 0 7 0 0
1800.02/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 1768607 0 584 2135 0 0 3532046
1800.02/1800.51 c linear : 6+ 7 6098182 0 0 250401 3180068 0 0 0
1800.02/1800.51 c logicor : 0+ 0 2625756 0 0 3777 922672 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 21.99 0.00 0.00 21.99 0.00
1800.02/1800.51 c linear : 259.51 0.00 259.51 0.00 0.00
1800.02/1800.51 c logicor : 468.42 0.00 468.42 0.00 0.00
1800.02/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 2.79 2 0 0
1800.02/1800.51 c rootredcost : 2.97 0 0 0
1800.02/1800.51 c pseudoobj : 2.60 0 0 0
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 22.73 254178 216705 727770 36.4 15 32.9 -
1800.02/1800.51 c infeasible LP : 51.21 801680 801659 1467174 23.7 7729 28.6 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 0 0 0 0.0 0 0.0 -
1800.02/1800.51 c applied globally : - - - 1150307 21.0 - - -
1800.02/1800.51 c applied locally : - - - 261331 34.5 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 5 - - 21 - (maximal pool size: 96)
1800.02/1800.51 c redcost : 3.98 1768604 0 0 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.00 6 0 0 25 0
1800.02/1800.51 c cmir : 0.03 6 0 0 34 0
1800.02/1800.51 c flowcover : 0.02 6 0 0 58 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.08 1 0 0 0 1
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 : 19.37 1768607 584 2135 0 0 3532046
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.00 - 0
1800.02/1800.51 c pseudo solutions : 0.00 - 0
1800.02/1800.51 c oneopt : 2.84 0 0
1800.02/1800.51 c crossover : 1.53 0 0
1800.02/1800.51 c guideddiving : 0.19 0 0
1800.02/1800.51 c linesearchdiving : 0.20 60 0
1800.02/1800.51 c pscostdiving : 0.22 61 0
1800.02/1800.51 c coefdiving : 0.20 61 0
1800.02/1800.51 c fracdiving : 0.08 61 0
1800.02/1800.51 c veclendiving : 0.19 61 0
1800.02/1800.51 c feaspump : 0.11 31 0
1800.02/1800.51 c objpscostdiving : 0.15 31 0
1800.02/1800.51 c rootsoldiving : 0.23 31 0
1800.02/1800.51 c trivial : 0.00 2 0
1800.02/1800.51 c simplerounding : 0.75 0 0
1800.02/1800.51 c zirounding : 1.51 1000 0
1800.02/1800.51 c rounding : 1.83 18921 0
1800.02/1800.51 c shifting : 3.22 5757 0
1800.02/1800.51 c intshifting : 0.05 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 : 1.37 0 0
1800.02/1800.51 c trysol : 1.83 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 : 230.87 2500846 6112293 2.44 26475.04
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: 0.12 1258 2435 1.94 20291.67
1800.02/1800.51 c strong branching : 1.06 4988 24388 4.89 23007.55
1800.02/1800.51 c (at root node) : - 9 373 41.44 -
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 : 2771331
1800.02/1800.51 c nodes (total) : 2771331
1800.02/1800.51 c nodes left : 705835
1800.02/1800.51 c max depth : 45
1800.02/1800.51 c max depth (total): 45
1800.02/1800.51 c backtracks : 346666 (12.5%)
1800.02/1800.51 c delayed cutoffs : 54881
1800.02/1800.51 c repropagations : 2124712 (1233919 domain reductions, 50405 cutoffs)
1800.02/1800.51 c avg switch length: 5.34
1800.02/1800.51 c switching time : 368.85
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 0 (0 improvements)
1800.02/1800.51 c Primal Bound : -
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 : 166
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666875-1276612687/watcher-2666875-1276612687 -o /tmp/evaluation-result-2666875-1276612687/solver-2666875-1276612687 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666875-1276612687.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.01 1.03 1.00 2/106 3565
/proc/meminfo: memFree=1757404/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=6696 CPUtime=0
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 1000 0 0 0 0 0 0 0 20 0 1 0 36855082 6856704 920 1992294400 4194304 8223781 140736077120432 18446744073709551615 7302042 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3565/statm: 1931 930 348 984 0 944 0
[startup+0.0775 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 3565
/proc/meminfo: memFree=1757404/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=19596 CPUtime=0.07
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 4905 0 0 0 5 2 0 0 20 0 1 0 36855082 20066304 3679 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 4899 3679 568 984 0 3912 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19596
[startup+0.100502 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 3565
/proc/meminfo: memFree=1757404/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=19728 CPUtime=0.09
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 4912 0 0 0 7 2 0 0 20 0 1 0 36855082 20201472 3686 1992294400 4194304 8223781 140736077120432 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 4932 3686 568 984 0 3945 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19728
[startup+0.300523 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 3565
/proc/meminfo: memFree=1757404/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=13264 CPUtime=0.29
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 8150 0 0 0 25 4 0 0 20 0 1 0 36855082 13582336 2469 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 3316 2469 586 984 0 2329 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13264
[startup+0.700562 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 3565
/proc/meminfo: memFree=1757404/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=13264 CPUtime=0.69
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 8152 0 0 0 61 8 0 0 21 0 1 0 36855082 13582336 2471 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 3316 2471 588 984 0 2329 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13264
[startup+1.50064 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 3566
/proc/meminfo: memFree=1749212/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=14632 CPUtime=1.49
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 8463 0 0 0 132 17 0 0 23 0 1 0 36855082 14983168 2782 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 3658 2782 588 984 0 2671 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14632
[startup+3.1008 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 3566
/proc/meminfo: memFree=1747848/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=16796 CPUtime=3.09
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 9008 0 0 0 275 34 0 0 25 0 1 0 36855082 17199104 3327 1992294400 4194304 8223781 140736077120432 18446744073709551615 4999754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 4199 3327 588 984 0 3212 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16796
[startup+6.30113 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 3566
/proc/meminfo: memFree=1744252/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=19184 CPUtime=6.29
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 9614 0 0 0 569 60 0 0 25 0 1 0 36855082 19644416 3933 1992294400 4194304 8223781 140736077120432 18446744073709551615 4704769 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 4796 3933 588 984 0 3809 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19184
[startup+12.7008 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 3566
/proc/meminfo: memFree=1740780/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=22920 CPUtime=12.69
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 10537 0 0 0 1152 117 0 0 25 0 1 0 36855082 23470080 4856 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 5730 4856 588 984 0 4743 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22920
[startup+25.5011 s]
/proc/loadavg: 1.09 1.04 1.01 2/107 3566
/proc/meminfo: memFree=1733588/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=29592 CPUtime=25.49
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 12263 0 0 0 2323 226 0 0 25 0 1 0 36855082 30302208 6582 1992294400 4194304 8223781 140736077120432 18446744073709551615 4999761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 7398 6582 588 984 0 6411 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29592
[startup+51.1006 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 3568
/proc/meminfo: memFree=1718956/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=43736 CPUtime=51.08
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 15803 0 0 0 4666 442 0 0 25 0 1 0 36855082 44785664 10122 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 10934 10122 588 984 0 9947 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43736
[startup+102.308 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 3568
/proc/meminfo: memFree=1695396/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=66680 CPUtime=102.27
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 21673 0 0 0 9396 831 0 0 25 0 1 0 36855082 68280320 15992 1992294400 4194304 8223781 140736077120432 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 16670 15992 588 984 0 15683 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 66680
[startup+162.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 3570
/proc/meminfo: memFree=1669728/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=94112 CPUtime=162.24
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 28097 0 0 0 14965 1259 0 0 25 0 1 0 36855082 96370688 22416 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 23528 22416 588 984 0 22541 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 94112
[startup+222.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 3572
/proc/meminfo: memFree=1647532/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=115520 CPUtime=222.23
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 33526 0 0 0 20545 1678 0 0 25 0 1 0 36855082 118292480 27845 1992294400 4194304 8223781 140736077120432 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 28880 27845 588 984 0 27893 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 115520
[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 3574
/proc/meminfo: memFree=1624220/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=138128 CPUtime=282.22
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 39296 0 0 0 26143 2079 0 0 25 0 1 0 36855082 141443072 33615 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 34532 33615 588 984 0 33545 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 138128
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 3574
/proc/meminfo: memFree=1604628/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=157196 CPUtime=342.2
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 44152 0 0 0 31755 2465 0 0 25 0 1 0 36855082 160968704 38471 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 39299 38471 588 984 0 38312 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 157196
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 3576
/proc/meminfo: memFree=1583052/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=182920 CPUtime=402.18
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 49656 0 0 0 37393 2825 0 0 25 0 1 0 36855082 187310080 43975 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 45730 43975 588 984 0 44743 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 182920
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3578
/proc/meminfo: memFree=1562964/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=201964 CPUtime=462.17
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 54502 0 0 0 43020 3197 0 0 25 0 1 0 36855082 206811136 48821 1992294400 4194304 8223781 140736077120432 18446744073709551615 4976485 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 50491 48821 588 984 0 49504 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 201964
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3580
/proc/meminfo: memFree=1544860/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=219784 CPUtime=522.16
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 59013 0 0 0 48652 3564 0 0 25 0 1 0 36855082 225058816 53332 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 54946 53332 588 984 0 53959 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 219784
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3582
/proc/meminfo: memFree=1523780/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=240748 CPUtime=582.14
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 64382 0 0 0 54298 3916 0 0 25 0 1 0 36855082 246525952 58701 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 60187 58701 588 984 0 59200 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 240748
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3582
/proc/meminfo: memFree=1505180/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=258468 CPUtime=642.13
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 68837 0 0 0 59951 4262 0 0 25 0 1 0 36855082 264671232 63156 1992294400 4194304 8223781 140736077120432 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 64617 63156 588 984 0 63630 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 258468
[startup+702.301 s]
################
# More data... #
################
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 99550 0 0 0 99604 6598 0 0 25 0 1 0 36855082 387817472 93869 1992294400 4194304 8223781 140736077120432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 94682 93869 588 984 0 93695 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 378728
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3596
/proc/meminfo: memFree=1364316/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=403404 CPUtime=1122
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 103786 0 0 0 105265 6935 0 0 25 0 1 0 36855082 413085696 98105 1992294400 4194304 8223781 140736077120432 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 100851 98105 588 984 0 99864 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 403404
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3598
/proc/meminfo: memFree=1349560/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=418492 CPUtime=1181.99
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 107507 0 0 0 110946 7253 0 0 25 0 1 0 36855082 428535808 101826 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 104623 101826 588 984 0 103636 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 418492
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3598
/proc/meminfo: memFree=1329720/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=437812 CPUtime=1241.97
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 112406 0 0 0 116620 7577 0 0 25 0 1 0 36855082 448319488 106725 1992294400 4194304 8223781 140736077120432 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 109453 106725 588 984 0 108466 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 437812
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3600
/proc/meminfo: memFree=1310128/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=456328 CPUtime=1301.97
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 117178 0 0 0 122289 7908 0 0 25 0 1 0 36855082 467279872 111497 1992294400 4194304 8223781 140736077120432 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 114082 111497 588 984 0 113095 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 456328
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3602
/proc/meminfo: memFree=1294256/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=471896 CPUtime=1361.94
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 121156 0 0 0 127953 8241 0 0 25 0 1 0 36855082 483221504 115475 1992294400 4194304 8223781 140736077120432 18446744073709551615 4947556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 117974 115475 588 984 0 116987 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 471896
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3613
/proc/meminfo: memFree=1277268/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=488268 CPUtime=1421.92
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 125349 0 0 0 133633 8559 0 0 25 0 1 0 36855082 499986432 119668 1992294400 4194304 8223781 140736077120432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 122067 119668 588 984 0 121080 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 488268
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3615
/proc/meminfo: memFree=1262140/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=503632 CPUtime=1481.9
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 129118 0 0 0 139308 8882 0 0 25 0 1 0 36855082 515719168 123437 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 125908 123437 588 984 0 124921 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 503632
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3615
/proc/meminfo: memFree=1246764/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=518384 CPUtime=1541.88
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 132933 0 0 0 145009 9179 0 0 25 0 1 0 36855082 530825216 127252 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 129596 127252 588 984 0 128609 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 518384
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3617
/proc/meminfo: memFree=1233496/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=531240 CPUtime=1601.87
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 136210 0 0 0 150705 9482 0 0 25 0 1 0 36855082 543989760 130529 1992294400 4194304 8223781 140736077120432 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 132810 130529 588 984 0 131823 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 531240
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3619
/proc/meminfo: memFree=1218120/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=546196 CPUtime=1661.86
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 140052 0 0 0 156399 9787 0 0 25 0 1 0 36855082 559304704 134371 1992294400 4194304 8223781 140736077120432 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 136549 134371 588 984 0 135562 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 546196
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3621
/proc/meminfo: memFree=1204356/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=559736 CPUtime=1721.84
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 143574 0 0 0 162090 10094 0 0 25 0 1 0 36855082 573169664 137893 1992294400 4194304 8223781 140736077120432 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 139934 137893 588 984 0 138947 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 559736
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3623
/proc/meminfo: memFree=1184764/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=578756 CPUtime=1781.82
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 148248 0 0 0 167784 10398 0 0 25 0 1 0 36855082 592646144 142567 1992294400 4194304 8223781 140736077120432 18446744073709551615 4925116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 144689 142567 588 984 0 143702 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 578756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3623
/proc/meminfo: memFree=1181912/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=581620 CPUtime=1800.02
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 148970 0 0 0 169521 10481 0 0 25 0 1 0 36855082 595578880 143289 1992294400 4194304 8223781 140736077120432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3565/statm: 145405 143289 588 984 0 144418 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 581620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -3565
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3624
/proc/meminfo: memFree=1181904/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=581620 CPUtime=1800.92
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 148971 0 0 0 169611 10481 0 0 25 0 1 0 36855082 595578880 143290 1992294400 4194304 8223781 140736077120432 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3565/statm: 145405 143290 589 984 0 144418 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 581620
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3624
/proc/meminfo: memFree=1181780/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=581620 CPUtime=1801.72
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 148971 0 0 0 169691 10481 0 0 25 0 1 0 36855082 595578880 143290 1992294400 4194304 8223781 140736077120432 18446744073709551615 6206553 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3565/statm: 145405 143290 589 984 0 144418 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 581620
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3624
/proc/meminfo: memFree=1181780/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=581620 CPUtime=1801.92
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 148971 0 0 0 169711 10481 0 0 25 0 1 0 36855082 595578880 143290 1992294400 4194304 8223781 140736077120432 18446744073709551615 4609365 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3565/statm: 145405 143290 589 984 0 144418 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 581620
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3624
/proc/meminfo: memFree=1181780/2059040 swapFree=4134608/4192956
[pid=3565] ppid=3563 vsize=581620 CPUtime=1802.02
/proc/3565/stat : 3565 (pbscip.linux.x8) R 3563 3565 3128 0 -1 4202496 148971 0 0 0 169721 10481 0 0 25 0 1 0 36855082 595578880 143290 1992294400 4194304 8223781 140736077120432 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3565/statm: 145405 143290 589 984 0 144418 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 581620
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.57
CPU time (s): 1802.1
CPU user time (s): 1697.22
CPU system time (s): 104.875
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 581620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1697.22
system time used= 104.875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148971
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= 4709
runsolver used 2.94255 second user time and 8.5677 second system time
The end