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-2665659-1276602639.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/146 (69.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 6 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 146 variables (146 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.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 32 | - | 488k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.13 o 1154
0.10/0.13 c y 0.1s| 1 | 0 | 32 | - | 525k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.10/0.14 c 0.1s| 1 | 0 | 38 | - | 644k| 0 | 10 | 146 | 73 | 146 | 12 | 6 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.10/0.15 c 0.1s| 1 | 0 | 42 | - | 704k| 0 | 14 | 146 | 73 | 146 | 16 | 10 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.10/0.16 c 0.1s| 1 | 0 | 58 | - | 747k| 0 | 15 | 146 | 73 | 146 | 19 | 13 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.10/0.17 c 0.1s| 1 | 0 | 74 | - | 784k| 0 | 18 | 146 | 73 | 146 | 24 | 18 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.10/0.19 c 0.2s| 1 | 0 | 80 | - | 793k| 0 | 19 | 146 | 73 | 146 | 26 | 20 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 89 | - | 798k| 0 | 20 | 146 | 73 | 146 | 28 | 22 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.39/0.40 c 0.3s| 1 | 2 | 89 | - | 799k| 0 | 20 | 146 | 73 | 146 | 28 | 22 | 0 | 9 | 0.000000e+00 | 1.154000e+03 | Inf
0.59/0.65 o 451
0.59/0.65 c f 0.5s| 54 | 55 | 562 | 8.9 | 888k| 25 | - | 146 | 73 | 146 | 20 | 22 | 5 | 244 | 0.000000e+00 | 4.510000e+02 | Inf
0.89/0.91 o 213
0.89/0.91 c f 0.8s| 245 | 244 | 1669 | 6.5 | 980k| 47 | - | 146 | 75 | 146 | 20 | 22 | 14 | 434 | 0.000000e+00 | 2.130000e+02 | Inf
1.20/1.28 o 114
1.20/1.28 c s 1.1s| 590 | 553 | 3942 | 6.5 |1115k| 47 | 6 | 146 | 79 | 146 | 20 | 22 | 40 | 468 | 0.000000e+00 | 1.140000e+02 | Inf
1.29/1.34 o 113
1.29/1.34 c * 1.1s| 654 | 617 | 4287 | 6.4 |1153k| 47 | - | 146 | 80 | 146 | 20 | 22 | 43 | 476 | 0.000000e+00 | 1.130000e+02 | Inf
1.29/1.34 o 111
1.29/1.34 c * 1.1s| 657 | 618 | 4289 | 6.4 |1156k| 47 | - | 146 | 80 | 146 | 20 | 22 | 43 | 478 | 0.000000e+00 | 1.110000e+02 | Inf
1.29/1.34 o 109
1.29/1.34 c * 1.1s| 658 | 614 | 4289 | 6.4 |1156k| 47 | - | 146 | 80 | 146 | 20 | 22 | 43 | 478 | 0.000000e+00 | 1.090000e+02 | Inf
1.49/1.53 o 105
1.49/1.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.53 c C 1.3s| 858 | 804 | 5195 | 6.0 |1237k| 47 | 6 | 146 | 80 | 146 | 20 | 22 | 50 | 484 | 0.000000e+00 | 1.050000e+02 | Inf
4.08/4.14 o 76
4.08/4.14 c p 3.6s| 3295 | 3161 | 20504 | 6.2 |2322k| 47 | - | 146 | 100 | 146 | 20 | 22 | 197 | 560 | 0.000000e+00 | 7.600000e+01 | Inf
6.39/6.46 o 54
6.39/6.46 c f 5.7s| 5358 | 5067 | 32923 | 6.1 |3200k| 47 | - | 146 | 109 | 146 | 20 | 22 | 357 | 575 | 0.000000e+00 | 5.400000e+01 | Inf
9.99/10.06 o 32
9.99/10.06 c s 8.8s| 9127 | 7626 | 51505 | 5.6 |4292k| 47 | 6 | 146 | 49 | 146 | 20 | 22 | 579 | 697 | 0.000000e+00 | 3.200000e+01 | Inf
10.09/10.15 o 30
10.09/10.15 c * 8.9s| 9216 | 7570 | 51956 | 5.6 |4268k| 47 | - | 146 | 44 | 146 | 20 | 22 | 587 | 703 | 0.000000e+00 | 3.000000e+01 | Inf
10.09/10.15 o 28
10.09/10.15 c * 8.9s| 9217 | 7483 | 51956 | 5.6 |4221k| 47 | - | 146 | 44 | 146 | 20 | 22 | 587 | 703 | 0.000000e+00 | 2.800000e+01 | Inf
10.78/10.85 c 9.5s| 10000 | 8024 | 55431 | 5.5 |4488k| 47 | 6 | 146 | 43 | 146 | 20 | 22 | 645 | 737 | 0.000000e+00 | 2.800000e+01 | Inf
13.98/14.09 o 26
13.98/14.09 c *12.3s| 13813 | 10404 | 72992 | 5.3 |5612k| 47 | - | 146 | 42 | 146 | 20 | 22 | 860 | 920 | 0.000000e+00 | 2.600000e+01 | Inf
13.98/14.09 o 24
13.98/14.09 c *12.3s| 13814 | 10256 | 72992 | 5.3 |5524k| 47 | - | 146 | 42 | 146 | 20 | 22 | 860 | 920 | 0.000000e+00 | 2.400000e+01 | Inf
20.39/20.45 c 17.7s| 20000 | 13764 |101396 | 5.1 |7277k| 47 | 6 | 146 | 53 | 146 | 20 | 22 |1298 |1178 | 0.000000e+00 | 2.400000e+01 | Inf
28.38/28.41 c 24.6s| 30000 | 18448 |147604 | 4.9 |9871k| 47 | 6 | 146 | 82 | 146 | 20 | 22 |2100 |1625 | 0.000000e+00 | 2.400000e+01 | Inf
30.69/30.72 o 23
30.69/30.72 c *26.6s| 32970 | 19864 |161295 | 4.9 | 10M| 47 | - | 146 | 88 | 146 | 20 | 22 |2320 |1737 | 0.000000e+00 | 2.300000e+01 | Inf
31.78/31.87 o 21
31.78/31.87 c *27.7s| 34532 | 20220 |168097 | 4.9 | 10M| 47 | - | 146 | 83 | 146 | 20 | 22 |2424 |1789 | 0.000000e+00 | 2.100000e+01 | Inf
37.18/37.22 c 32.1s| 40000 | 22358 |192701 | 4.8 | 12M| 47 | 6 | 146 | 86 | 146 | 20 | 22 |2810 |1991 | 0.000000e+00 | 2.100000e+01 | Inf
42.48/42.55 o 19
42.48/42.55 c *36.7s| 46487 | 24597 |223188 | 4.8 | 13M| 47 | - | 146 | 89 | 146 | 20 | 22 |3305 |2201 | 0.000000e+00 | 1.900000e+01 | Inf
42.48/42.56 o 17
42.48/42.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.48/42.56 c *36.7s| 46488 | 24270 |223188 | 4.8 | 12M| 47 | - | 146 | 89 | 146 | 20 | 22 |3305 |2201 | 0.000000e+00 | 1.700000e+01 | Inf
43.08/43.19 o 15
43.08/43.19 c *37.3s| 47233 | 23982 |226879 | 4.8 | 12M| 47 | - | 146 | 90 | 146 | 20 | 22 |3379 |2225 | 0.000000e+00 | 1.500000e+01 | Inf
43.18/43.20 o 13
43.18/43.20 c *37.3s| 47234 | 23537 |226879 | 4.8 | 12M| 47 | - | 146 | 90 | 146 | 20 | 22 |3379 |2225 | 0.000000e+00 | 1.300000e+01 | Inf
44.98/45.05 c 38.9s| 50000 | 24284 |239268 | 4.8 | 12M| 47 | - | 146 | 98 | 146 | 20 | 22 |3573 |2331 | 0.000000e+00 | 1.300000e+01 | Inf
51.47/51.56 c 44.5s| 60000 | 26390 |282482 | 4.7 | 13M| 47 | 6 | 146 | 123 | 146 | 20 | 22 |4206 |2637 | 0.000000e+00 | 1.300000e+01 | Inf
57.88/57.95 c 50.1s| 70000 | 27907 |326155 | 4.7 | 14M| 47 | - | 146 | 132 | 146 | 20 | 22 |4880 |2951 | 0.000000e+00 | 1.300000e+01 | Inf
60.38/60.47 o 12
60.38/60.47 c *52.3s| 74034 | 28122 |343159 | 4.6 | 15M| 47 | - | 146 | 143 | 146 | 20 | 22 |5216 |3055 | 0.000000e+00 | 1.200000e+01 | Inf
66.08/66.17 c 57.0s| 80000 | 29295 |368812 | 4.6 | 15M| 47 | - | 146 | 134 | 146 | 20 | 22 |5592 |3205 | 0.000000e+00 | 1.200000e+01 | Inf
72.47/72.54 c 62.5s| 90000 | 31626 |411835 | 4.6 | 17M| 47 | - | 146 | 119 | 146 | 20 | 22 |6210 |3389 | 0.000000e+00 | 1.200000e+01 | Inf
78.56/78.66 c 67.8s|100000 | 33187 |453578 | 4.5 | 18M| 47 | 6 | 146 | 129 | 146 | 20 | 22 |6923 |3602 | 0.000000e+00 | 1.200000e+01 | Inf
84.56/84.65 c 73.0s|110000 | 34189 |494792 | 4.5 | 18M| 47 | 6 | 146 | 136 | 146 | 20 | 22 |7563 |3823 | 0.000000e+00 | 1.200000e+01 | Inf
90.56/90.60 c 78.1s|120000 | 34847 |535405 | 4.5 | 19M| 47 | 6 | 146 | 133 | 146 | 20 | 22 |8303 |4018 | 0.000000e+00 | 1.200000e+01 | Inf
96.47/96.50 c 83.1s|130000 | 35365 |576415 | 4.4 | 19M| 47 | 6 | 146 | 110 | 146 | 20 | 22 |8967 |4237 | 0.000000e+00 | 1.200000e+01 | Inf
102.37/102.45 c 88.3s|140000 | 36045 |617376 | 4.4 | 20M| 47 | 6 | 146 | 114 | 146 | 20 | 22 |9672 |4417 | 0.000000e+00 | 1.200000e+01 | Inf
108.16/108.27 c 93.2s|150000 | 36241 |657151 | 4.4 | 20M| 47 | - | 146 | 99 | 146 | 20 | 22 | 10k|4617 | 0.000000e+00 | 1.200000e+01 | Inf
111.76/111.82 o 11
111.76/111.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.76/111.82 c *96.3s|156125 | 35932 |681549 | 4.4 | 20M| 47 | - | 146 | 89 | 146 | 20 | 22 | 10k|4730 | 0.000000e+00 | 1.100000e+01 | Inf
114.06/114.14 c 98.3s|160000 | 36136 |697373 | 4.4 | 20M| 47 | 6 | 146 | 99 | 146 | 20 | 22 | 10k|4793 | 0.000000e+00 | 1.100000e+01 | Inf
119.97/120.09 c 103s|170000 | 36401 |738893 | 4.3 | 21M| 47 | - | 146 | 98 | 146 | 20 | 22 | 11k|4972 | 0.000000e+00 | 1.100000e+01 | Inf
125.85/125.94 c 108s|180000 | 36345 |779430 | 4.3 | 21M| 47 | 6 | 146 | 84 | 146 | 20 | 22 | 12k|5137 | 0.000000e+00 | 1.100000e+01 | Inf
131.66/131.72 c 113s|190000 | 36307 |818952 | 4.3 | 21M| 47 | - | 146 | 82 | 146 | 20 | 22 | 12k|5308 | 0.000000e+00 | 1.100000e+01 | Inf
137.46/137.54 c 118s|200000 | 36357 |859264 | 4.3 | 21M| 47 | 6 | 146 | 87 | 146 | 20 | 22 | 13k|5479 | 0.000000e+00 | 1.100000e+01 | Inf
143.75/143.84 c 124s|210000 | 37782 |906388 | 4.3 | 22M| 47 | 6 | 146 | 78 | 146 | 20 | 22 | 14k|5689 | 0.000000e+00 | 1.100000e+01 | Inf
150.05/150.10 c 129s|220000 | 39443 |952149 | 4.3 | 23M| 47 | 6 | 146 | 57 | 146 | 20 | 22 | 14k|5874 | 0.000000e+00 | 1.100000e+01 | Inf
156.45/156.51 c 135s|230000 | 41596 |998491 | 4.3 | 24M| 47 | 6 | 146 | 58 | 146 | 20 | 22 | 15k|6051 | 0.000000e+00 | 1.100000e+01 | Inf
162.64/162.70 c 140s|240000 | 43459 | 1044k| 4.4 | 26M| 47 | 6 | 146 | 51 | 146 | 20 | 22 | 16k|6205 | 0.000000e+00 | 1.100000e+01 | Inf
168.74/168.89 c 145s|250000 | 44876 | 1090k| 4.4 | 27M| 47 | 6 | 146 | 41 | 146 | 20 | 22 | 16k|6375 | 0.000000e+00 | 1.100000e+01 | Inf
174.84/174.95 c 151s|260000 | 45970 | 1134k| 4.4 | 27M| 47 | 6 | 146 | 45 | 146 | 20 | 22 | 17k|6512 | 0.000000e+00 | 1.100000e+01 | Inf
181.23/181.35 c 156s|270000 | 47851 | 1179k| 4.4 | 28M| 47 | - | 146 | 51 | 146 | 20 | 22 | 18k|6654 | 0.000000e+00 | 1.100000e+01 | Inf
187.54/187.66 c 162s|280000 | 50517 | 1224k| 4.4 | 30M| 47 | 6 | 146 | 33 | 146 | 20 | 22 | 18k|6751 | 0.000000e+00 | 1.100000e+01 | Inf
193.64/193.79 c 167s|290000 | 52423 | 1267k| 4.4 | 31M| 47 | 6 | 146 | 40 | 146 | 20 | 22 | 19k|6876 | 0.000000e+00 | 1.100000e+01 | Inf
199.74/199.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.74/199.80 c 172s|300000 | 53822 | 1309k| 4.4 | 32M| 47 | 6 | 146 | 42 | 146 | 20 | 22 | 20k|6987 | 0.000000e+00 | 1.100000e+01 | Inf
206.43/206.52 c 178s|310000 | 56865 | 1357k| 4.4 | 34M| 47 | - | 146 | 49 | 146 | 20 | 22 | 20k|7105 | 0.000000e+00 | 1.100000e+01 | Inf
212.83/212.99 c 183s|320000 | 59747 | 1402k| 4.4 | 35M| 47 | 6 | 146 | 54 | 146 | 20 | 22 | 21k|7216 | 0.000000e+00 | 1.100000e+01 | Inf
218.53/218.63 o 9
218.53/218.63 c * 188s|329131 | 60766 | 1442k| 4.4 | 35M| 47 | - | 146 | 42 | 146 | 20 | 22 | 22k|7327 | 0.000000e+00 | 9.000000e+00 | Inf
219.03/219.17 c 189s|330000 | 60942 | 1445k| 4.4 | 35M| 47 | - | 146 | 42 | 0 | 0 | 22 | 22k|7329 | 0.000000e+00 | 9.000000e+00 | Inf
225.22/225.31 c 194s|340000 | 63014 | 1488k| 4.4 | 36M| 47 | 6 | 146 | 37 | 146 | 20 | 22 | 23k|7482 | 0.000000e+00 | 9.000000e+00 | Inf
231.32/231.42 c 199s|350000 | 65058 | 1531k| 4.4 | 37M| 47 | 6 | 146 | 42 | 146 | 20 | 22 | 23k|7643 | 0.000000e+00 | 9.000000e+00 | Inf
237.22/237.32 c 204s|360000 | 66817 | 1571k| 4.4 | 38M| 47 | - | 146 | 46 | 146 | 20 | 22 | 24k|7796 | 0.000000e+00 | 9.000000e+00 | Inf
243.13/243.23 c 209s|370000 | 68211 | 1612k| 4.4 | 39M| 47 | 6 | 146 | 47 | 146 | 20 | 22 | 24k|7947 | 0.000000e+00 | 9.000000e+00 | Inf
249.12/249.26 c 214s|380000 | 69844 | 1653k| 4.4 | 40M| 47 | - | 146 | 41 | 146 | 20 | 22 | 25k|8113 | 0.000000e+00 | 9.000000e+00 | Inf
255.02/255.14 c 220s|390000 | 71099 | 1695k| 4.3 | 41M| 47 | - | 146 | 32 | 146 | 20 | 22 | 26k|8267 | 0.000000e+00 | 9.000000e+00 | Inf
260.92/261.01 c 225s|400000 | 72000 | 1736k| 4.3 | 42M| 47 | 6 | 146 | 52 | 146 | 20 | 22 | 26k|8430 | 0.000000e+00 | 9.000000e+00 | Inf
266.81/266.99 c 230s|410000 | 73110 | 1777k| 4.3 | 43M| 47 | - | 146 | 48 | 146 | 20 | 22 | 27k|8614 | 0.000000e+00 | 9.000000e+00 | Inf
272.72/272.85 c 235s|420000 | 73643 | 1818k| 4.3 | 43M| 47 | 6 | 146 | 38 | 146 | 20 | 22 | 28k|8783 | 0.000000e+00 | 9.000000e+00 | Inf
278.71/278.80 c 240s|430000 | 74423 | 1860k| 4.3 | 44M| 47 | 6 | 146 | 45 | 146 | 20 | 22 | 28k|8925 | 0.000000e+00 | 9.000000e+00 | Inf
284.51/284.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.51/284.65 c 245s|440000 | 75289 | 1900k| 4.3 | 44M| 47 | 6 | 146 | 56 | 146 | 20 | 22 | 29k|9067 | 0.000000e+00 | 9.000000e+00 | Inf
290.42/290.53 c 250s|450000 | 75793 | 1942k| 4.3 | 45M| 47 | - | 146 | 46 | 146 | 20 | 22 | 30k|9229 | 0.000000e+00 | 9.000000e+00 | Inf
296.11/296.28 c 255s|460000 | 76317 | 1982k| 4.3 | 45M| 47 | - | 146 | 46 | 146 | 20 | 22 | 30k|9380 | 0.000000e+00 | 9.000000e+00 | Inf
301.90/302.07 c 259s|470000 | 76775 | 2022k| 4.3 | 46M| 47 | 6 | 146 | 47 | 146 | 20 | 22 | 31k|9534 | 0.000000e+00 | 9.000000e+00 | Inf
307.70/307.89 c 264s|480000 | 77306 | 2062k| 4.3 | 46M| 47 | 6 | 146 | 44 | 146 | 20 | 22 | 32k|9670 | 0.000000e+00 | 9.000000e+00 | Inf
313.60/313.74 c 269s|490000 | 78125 | 2103k| 4.3 | 47M| 47 | - | 146 | 48 | 146 | 20 | 22 | 33k|9795 | 0.000000e+00 | 9.000000e+00 | Inf
319.40/319.55 c 274s|500000 | 78344 | 2143k| 4.3 | 47M| 47 | 6 | 146 | 40 | 146 | 20 | 22 | 33k|9946 | 0.000000e+00 | 9.000000e+00 | Inf
325.20/325.34 c 279s|510000 | 78691 | 2183k| 4.3 | 48M| 47 | - | 146 | 42 | 0 | 0 | 22 | 34k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
331.00/331.17 c 284s|520000 | 79124 | 2223k| 4.3 | 48M| 47 | - | 146 | 39 | 0 | 0 | 22 | 35k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
337.09/337.29 c 289s|530000 | 80603 | 2266k| 4.3 | 49M| 47 | - | 146 | 42 | 0 | 0 | 22 | 36k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
343.10/343.22 c 295s|540000 | 81456 | 2307k| 4.3 | 50M| 47 | - | 146 | 39 | 146 | 20 | 22 | 36k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
348.89/349.07 c 300s|550000 | 81825 | 2347k| 4.3 | 50M| 47 | - | 146 | 40 | 146 | 20 | 22 | 37k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
354.79/354.94 c 305s|560000 | 82379 | 2387k| 4.3 | 51M| 47 | - | 146 | 39 | 146 | 20 | 22 | 38k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
360.69/360.86 c 310s|570000 | 82449 | 2427k| 4.3 | 51M| 47 | - | 146 | 42 | 146 | 20 | 22 | 38k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
366.49/366.68 c 315s|580000 | 82699 | 2467k| 4.3 | 51M| 47 | 6 | 146 | 39 | 146 | 20 | 22 | 39k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
372.39/372.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.39/372.52 c 320s|590000 | 82806 | 2508k| 4.3 | 52M| 47 | 6 | 146 | 37 | 146 | 20 | 22 | 40k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
378.29/378.44 c 325s|600000 | 82731 | 2549k| 4.2 | 52M| 47 | 6 | 146 | 51 | 146 | 20 | 22 | 40k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
384.18/384.33 c 330s|610000 | 82782 | 2589k| 4.2 | 52M| 47 | 6 | 146 | 55 | 146 | 20 | 22 | 41k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
390.08/390.21 c 335s|620000 | 83321 | 2630k| 4.2 | 52M| 47 | - | 146 | 46 | 146 | 20 | 22 | 41k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
395.99/396.15 c 340s|630000 | 83179 | 2670k| 4.2 | 52M| 47 | - | 146 | 45 | 146 | 20 | 22 | 42k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
401.77/401.91 c 345s|640000 | 83677 | 2710k| 4.2 | 53M| 47 | 6 | 146 | 46 | 146 | 20 | 22 | 43k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
407.38/407.58 c 350s|650000 | 83705 | 2748k| 4.2 | 53M| 47 | 6 | 146 | 54 | 146 | 20 | 22 | 44k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
413.27/413.45 c 355s|660000 | 83884 | 2789k| 4.2 | 53M| 47 | 6 | 146 | 79 | 146 | 20 | 22 | 44k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
419.17/419.33 c 360s|670000 | 85103 | 2830k| 4.2 | 54M| 47 | 6 | 146 | 49 | 146 | 20 | 22 | 45k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
425.07/425.22 c 365s|680000 | 85829 | 2871k| 4.2 | 55M| 47 | 6 | 146 | 47 | 146 | 20 | 22 | 46k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
430.97/431.14 c 370s|690000 | 86299 | 2912k| 4.2 | 55M| 47 | 6 | 146 | 45 | 146 | 20 | 22 | 47k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
436.87/437.00 c 375s|700000 | 86671 | 2951k| 4.2 | 56M| 47 | 6 | 146 | 48 | 146 | 20 | 22 | 47k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
442.67/442.82 c 380s|710000 | 87097 | 2990k| 4.2 | 56M| 47 | 6 | 146 | 39 | 146 | 20 | 22 | 48k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
448.46/448.62 c 385s|720000 | 87100 | 3030k| 4.2 | 56M| 47 | 6 | 146 | 52 | 146 | 20 | 22 | 49k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
454.27/454.41 c 390s|730000 | 87070 | 3069k| 4.2 | 56M| 47 | - | 146 | 43 | 146 | 20 | 22 | 49k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
460.06/460.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
460.06/460.21 c 395s|740000 | 86716 | 3109k| 4.2 | 56M| 47 | 6 | 146 | 39 | 146 | 20 | 22 | 50k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
465.76/465.99 c 399s|750000 | 86560 | 3148k| 4.2 | 56M| 47 | 6 | 146 | 39 | 146 | 20 | 22 | 51k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
471.56/471.78 c 404s|760000 | 86190 | 3188k| 4.2 | 56M| 47 | 6 | 146 | 37 | 146 | 20 | 22 | 52k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
477.45/477.62 c 409s|770000 | 86015 | 3228k| 4.2 | 56M| 47 | 6 | 146 | 37 | 146 | 20 | 22 | 53k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
483.45/483.60 c 414s|780000 | 85949 | 3271k| 4.2 | 57M| 47 | 6 | 146 | 62 | 146 | 20 | 22 | 53k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
489.36/489.59 c 420s|790000 | 85843 | 3317k| 4.2 | 57M| 47 | - | 146 | 41 | 146 | 20 | 22 | 54k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
495.35/495.52 c 425s|800000 | 85847 | 3363k| 4.2 | 57M| 47 | - | 146 | 38 | 0 | 0 | 22 | 55k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
501.25/501.47 c 430s|810000 | 86284 | 3407k| 4.2 | 57M| 47 | - | 146 | 43 | 146 | 20 | 22 | 55k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
507.14/507.34 c 435s|820000 | 85998 | 3451k| 4.2 | 57M| 47 | 6 | 146 | 45 | 146 | 20 | 22 | 56k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
513.04/513.26 c 440s|830000 | 85803 | 3497k| 4.2 | 57M| 47 | 6 | 146 | 51 | 146 | 20 | 22 | 57k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
518.85/519.02 c 445s|840000 | 85812 | 3536k| 4.2 | 57M| 47 | 6 | 146 | 47 | 146 | 20 | 22 | 57k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
524.74/524.93 c 450s|850000 | 86683 | 3576k| 4.2 | 58M| 47 | - | 146 | 53 | 0 | 0 | 22 | 58k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
530.54/530.72 c 455s|860000 | 86885 | 3613k| 4.2 | 58M| 47 | - | 146 | 53 | 146 | 20 | 22 | 59k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
536.33/536.51 c 460s|870000 | 86828 | 3651k| 4.2 | 58M| 47 | - | 146 | 45 | 146 | 20 | 22 | 59k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
542.04/542.28 c 464s|880000 | 86597 | 3689k| 4.2 | 58M| 47 | - | 146 | 52 | 146 | 20 | 22 | 60k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
547.74/547.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.74/547.95 c 469s|890000 | 86318 | 3726k| 4.2 | 58M| 47 | 6 | 146 | 50 | 146 | 20 | 22 | 61k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
553.53/553.75 c 474s|900000 | 87120 | 3764k| 4.2 | 59M| 47 | - | 146 | 47 | 146 | 20 | 22 | 61k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
559.33/559.52 c 479s|910000 | 87527 | 3800k| 4.2 | 59M| 47 | 6 | 146 | 56 | 146 | 20 | 22 | 62k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
565.03/565.27 c 484s|920000 | 88395 | 3837k| 4.2 | 60M| 47 | 6 | 146 | 46 | 146 | 20 | 22 | 62k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
570.84/571.08 c 489s|930000 | 88925 | 3878k| 4.2 | 60M| 47 | - | 146 | 57 | 0 | 0 | 22 | 63k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
576.62/576.81 c 494s|940000 | 89116 | 3918k| 4.2 | 61M| 47 | - | 146 | 45 | 146 | 20 | 22 | 64k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
582.33/582.59 c 499s|950000 | 89223 | 3959k| 4.2 | 61M| 47 | 6 | 146 | 53 | 146 | 20 | 22 | 64k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
586.62/586.81 o 8
586.62/586.81 c * 502s|957312 | 88461 | 3989k| 4.2 | 60M| 47 | - | 146 | 49 | 146 | 20 | 22 | 65k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
588.12/588.30 c 504s|960000 | 88445 | 4000k| 4.2 | 60M| 47 | 6 | 146 | 49 | 146 | 20 | 22 | 65k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
593.72/593.93 c 508s|970000 | 88401 | 4043k| 4.2 | 60M| 47 | - | 146 | 60 | 146 | 20 | 22 | 66k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
599.33/599.51 c 513s|980000 | 88239 | 4085k| 4.2 | 60M| 47 | 6 | 146 | 63 | 146 | 20 | 22 | 66k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
604.82/605.02 c 518s|990000 | 87905 | 4125k| 4.2 | 60M| 47 | 6 | 146 | 67 | 146 | 20 | 22 | 67k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
610.21/610.44 c 523s| 1000k| 87758 | 4162k| 4.2 | 60M| 47 | - | 146 | 67 | 146 | 20 | 22 | 68k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
615.71/615.92 c 527s| 1010k| 87148 | 4201k| 4.2 | 60M| 47 | 6 | 146 | 73 | 146 | 20 | 22 | 68k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
621.31/621.51 c 532s| 1020k| 87196 | 4240k| 4.2 | 60M| 47 | - | 146 | 93 | 146 | 20 | 22 | 69k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
626.91/627.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.91/627.11 c 537s| 1030k| 87101 | 4281k| 4.2 | 60M| 47 | 6 | 146 | 88 | 146 | 20 | 22 | 70k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
632.50/632.75 c 541s| 1040k| 87759 | 4322k| 4.2 | 60M| 47 | 6 | 146 | 90 | 146 | 20 | 22 | 71k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
638.09/638.33 c 546s| 1050k| 87755 | 4363k| 4.2 | 60M| 47 | 6 | 146 | 93 | 146 | 20 | 22 | 71k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
643.59/643.85 c 551s| 1060k| 87709 | 4402k| 4.2 | 61M| 47 | 6 | 146 | 92 | 146 | 20 | 22 | 72k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
649.59/649.82 c 556s| 1070k| 89046 | 4448k| 4.2 | 61M| 47 | 6 | 146 | 152 | 146 | 20 | 22 | 73k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
655.39/655.65 c 561s| 1080k| 89735 | 4493k| 4.2 | 62M| 47 | - | 146 | 127 | 146 | 20 | 22 | 74k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
661.09/661.33 c 566s| 1090k| 90661 | 4534k| 4.2 | 62M| 47 | 6 | 146 | 124 | 146 | 20 | 22 | 74k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
666.78/667.02 c 571s| 1100k| 90977 | 4577k| 4.2 | 63M| 47 | - | 146 | 98 | 146 | 20 | 22 | 75k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
672.38/672.69 c 575s| 1110k| 92113 | 4618k| 4.2 | 64M| 47 | 6 | 146 | 107 | 146 | 20 | 22 | 76k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
677.88/678.15 c 580s| 1120k| 92365 | 4658k| 4.2 | 64M| 47 | - | 146 | 93 | 146 | 20 | 22 | 76k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
683.48/683.75 c 585s| 1130k| 92935 | 4699k| 4.2 | 64M| 47 | - | 146 | 111 | 146 | 20 | 22 | 77k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
688.97/689.21 c 589s| 1140k| 93058 | 4739k| 4.2 | 65M| 47 | 6 | 146 | 113 | 146 | 20 | 22 | 78k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
694.48/694.72 c 594s| 1150k| 93462 | 4779k| 4.2 | 65M| 47 | 6 | 146 | 107 | 146 | 20 | 22 | 78k| 16k| 0.000000e+00 | 8.000000e+00 | Inf
699.87/700.17 c 599s| 1160k| 93747 | 4817k| 4.2 | 65M| 47 | - | 146 | 93 | 146 | 20 | 22 | 79k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
705.47/705.72 c 604s| 1170k| 93919 | 4857k| 4.2 | 65M| 47 | 6 | 146 | 101 | 146 | 20 | 22 | 80k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
710.97/711.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.97/711.23 c 608s| 1180k| 93902 | 4896k| 4.1 | 66M| 47 | 6 | 146 | 104 | 146 | 20 | 22 | 80k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
716.57/716.85 c 613s| 1190k| 94026 | 4937k| 4.1 | 66M| 47 | - | 146 | 107 | 146 | 20 | 22 | 81k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
722.17/722.41 c 618s| 1200k| 93921 | 4977k| 4.1 | 66M| 47 | 6 | 146 | 93 | 146 | 20 | 22 | 82k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
727.67/727.92 c 622s| 1210k| 93734 | 5016k| 4.1 | 66M| 47 | 6 | 146 | 95 | 146 | 20 | 22 | 82k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
733.17/733.48 c 627s| 1220k| 94316 | 5056k| 4.1 | 66M| 47 | - | 146 | 109 | 146 | 20 | 22 | 83k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
738.86/739.19 c 632s| 1230k| 94787 | 5098k| 4.1 | 67M| 47 | 6 | 146 | 103 | 146 | 20 | 22 | 84k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
744.76/745.02 c 637s| 1240k| 95523 | 5140k| 4.1 | 67M| 47 | 6 | 146 | 109 | 146 | 20 | 22 | 85k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
750.36/750.67 c 642s| 1250k| 96330 | 5181k| 4.1 | 68M| 47 | - | 146 | 120 | 146 | 20 | 22 | 85k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
756.06/756.35 c 647s| 1260k| 97579 | 5222k| 4.1 | 69M| 47 | 6 | 146 | 126 | 146 | 20 | 22 | 86k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
761.55/761.87 c 651s| 1270k| 98287 | 5262k| 4.1 | 69M| 47 | - | 146 | 104 | 146 | 20 | 22 | 87k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
767.06/767.36 c 656s| 1280k| 98852 | 5301k| 4.1 | 70M| 47 | - | 146 | 106 | 146 | 20 | 22 | 87k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
772.65/772.92 c 661s| 1290k| 99713 | 5341k| 4.1 | 70M| 47 | - | 146 | 115 | 146 | 20 | 22 | 88k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
778.05/778.38 c 665s| 1300k|100453 | 5380k| 4.1 | 71M| 47 | 6 | 146 | 120 | 146 | 20 | 22 | 89k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
783.75/784.03 c 670s| 1310k|101382 | 5420k| 4.1 | 71M| 47 | 6 | 146 | 95 | 146 | 20 | 22 | 89k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
789.24/789.58 c 675s| 1320k|102237 | 5461k| 4.1 | 72M| 47 | 6 | 146 | 87 | 146 | 20 | 22 | 90k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
794.74/795.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.74/795.07 c 680s| 1330k|102508 | 5501k| 4.1 | 72M| 47 | - | 146 | 91 | 146 | 20 | 22 | 91k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
800.44/800.70 c 684s| 1340k|103660 | 5542k| 4.1 | 73M| 47 | - | 146 | 95 | 146 | 20 | 22 | 92k| 17k| 0.000000e+00 | 8.000000e+00 | Inf
806.05/806.35 c 689s| 1350k|104714 | 5584k| 4.1 | 74M| 47 | 6 | 146 | 100 | 146 | 20 | 22 | 92k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
811.65/811.92 c 694s| 1360k|105625 | 5625k| 4.1 | 74M| 47 | - | 146 | 98 | 146 | 20 | 22 | 93k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
817.14/817.46 c 699s| 1370k|106413 | 5665k| 4.1 | 75M| 47 | 6 | 146 | 116 | 146 | 20 | 22 | 94k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
822.74/823.09 c 703s| 1380k|106732 | 5707k| 4.1 | 75M| 47 | - | 146 | 98 | 146 | 20 | 22 | 94k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
829.14/829.46 c 709s| 1390k|109257 | 5752k| 4.1 | 76M| 47 | - | 146 | 111 | 146 | 20 | 22 | 95k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
835.74/836.05 c 714s| 1400k|113037 | 5797k| 4.1 | 78M| 47 | - | 146 | 106 | 0 | 0 | 22 | 96k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
841.83/842.16 c 720s| 1410k|115940 | 5841k| 4.1 | 80M| 47 | 6 | 146 | 94 | 146 | 20 | 22 | 97k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
848.02/848.35 c 725s| 1420k|118957 | 5885k| 4.1 | 81M| 47 | 6 | 146 | 104 | 146 | 20 | 22 | 97k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
854.03/854.39 c 730s| 1430k|121570 | 5928k| 4.1 | 82M| 47 | - | 146 | 95 | 146 | 20 | 22 | 98k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
860.03/860.38 c 735s| 1440k|124085 | 5971k| 4.1 | 84M| 47 | - | 146 | 95 | 0 | 0 | 22 | 99k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
865.93/866.21 c 740s| 1450k|126181 | 6013k| 4.1 | 85M| 47 | 6 | 146 | 99 | 146 | 20 | 22 | 100k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
871.72/872.08 c 745s| 1460k|128493 | 6055k| 4.1 | 86M| 47 | - | 146 | 103 | 146 | 20 | 22 | 100k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
877.72/878.01 c 750s| 1470k|130665 | 6098k| 4.1 | 87M| 47 | - | 146 | 93 | 146 | 20 | 22 | 101k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
883.72/884.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.72/884.03 c 756s| 1480k|133379 | 6140k| 4.1 | 89M| 47 | - | 146 | 98 | 146 | 20 | 22 | 102k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
889.42/889.79 c 760s| 1490k|135504 | 6181k| 4.1 | 90M| 47 | - | 146 | 99 | 146 | 20 | 22 | 103k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
895.31/895.60 c 765s| 1500k|137119 | 6222k| 4.1 | 91M| 47 | - | 146 | 97 | 146 | 20 | 22 | 103k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
901.11/901.42 c 770s| 1510k|139294 | 6264k| 4.1 | 92M| 47 | - | 146 | 92 | 146 | 20 | 22 | 104k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
906.91/907.21 c 775s| 1520k|141096 | 6305k| 4.1 | 93M| 47 | - | 146 | 95 | 146 | 20 | 22 | 105k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
912.61/912.92 c 780s| 1530k|143007 | 6346k| 4.1 | 94M| 47 | - | 146 | 100 | 146 | 20 | 22 | 106k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
918.32/918.64 c 785s| 1540k|144726 | 6387k| 4.1 | 95M| 47 | 6 | 146 | 86 | 146 | 20 | 22 | 106k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
924.10/924.45 c 790s| 1550k|146802 | 6428k| 4.1 | 96M| 47 | 6 | 146 | 100 | 146 | 20 | 22 | 107k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
930.11/930.49 c 795s| 1560k|149475 | 6471k| 4.1 | 98M| 47 | - | 146 | 120 | 146 | 20 | 22 | 108k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
936.00/936.31 c 800s| 1570k|151916 | 6511k| 4.1 | 99M| 47 | 6 | 146 | 140 | 146 | 20 | 22 | 109k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
941.60/941.92 c 805s| 1580k|153971 | 6550k| 4.1 | 100M| 47 | - | 146 | 110 | 0 | 0 | 22 | 109k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
947.20/947.53 c 810s| 1590k|155528 | 6590k| 4.1 | 101M| 47 | 6 | 146 | 125 | 146 | 20 | 22 | 110k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
952.89/953.25 c 815s| 1600k|157074 | 6630k| 4.1 | 102M| 47 | - | 146 | 94 | 146 | 20 | 22 | 111k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
958.60/958.91 c 819s| 1610k|158783 | 6669k| 4.1 | 103M| 47 | - | 146 | 118 | 146 | 20 | 22 | 112k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
964.29/964.63 c 824s| 1620k|160151 | 6710k| 4.1 | 104M| 47 | 6 | 146 | 91 | 146 | 20 | 22 | 113k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
969.90/970.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.90/970.29 c 829s| 1630k|161678 | 6750k| 4.1 | 105M| 47 | - | 146 | 104 | 146 | 20 | 22 | 113k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
975.69/976.05 c 834s| 1640k|163630 | 6791k| 4.1 | 106M| 47 | 6 | 146 | 96 | 146 | 20 | 22 | 114k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
981.59/981.91 c 839s| 1650k|165672 | 6833k| 4.1 | 107M| 47 | 6 | 146 | 109 | 146 | 20 | 22 | 115k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
987.18/987.55 c 844s| 1660k|166855 | 6874k| 4.1 | 108M| 47 | - | 146 | 101 | 0 | 0 | 22 | 116k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
992.78/993.19 c 849s| 1670k|168111 | 6914k| 4.1 | 109M| 47 | 6 | 146 | 120 | 146 | 20 | 22 | 116k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
998.59/998.95 c 854s| 1680k|169978 | 6955k| 4.1 | 110M| 47 | 6 | 146 | 113 | 146 | 20 | 22 | 117k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1004.28/1004.67 c 858s| 1690k|171660 | 6997k| 4.1 | 111M| 47 | 6 | 146 | 102 | 146 | 20 | 22 | 118k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
1009.97/1010.35 c 863s| 1700k|172773 | 7037k| 4.1 | 112M| 47 | 6 | 146 | 98 | 146 | 20 | 22 | 119k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1015.48/1015.90 c 868s| 1710k|173910 | 7076k| 4.1 | 112M| 47 | 6 | 146 | 113 | 146 | 20 | 22 | 120k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1021.17/1021.52 c 873s| 1720k|175052 | 7117k| 4.1 | 113M| 47 | - | 146 | 111 | 146 | 20 | 22 | 120k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1026.77/1027.18 c 878s| 1730k|176232 | 7157k| 4.1 | 114M| 47 | 6 | 146 | 114 | 146 | 20 | 22 | 121k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1032.47/1032.85 c 882s| 1740k|177534 | 7196k| 4.1 | 115M| 47 | - | 146 | 109 | 146 | 20 | 22 | 122k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1038.18/1038.54 c 887s| 1750k|179298 | 7236k| 4.1 | 116M| 47 | - | 146 | 111 | 146 | 20 | 22 | 123k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1043.87/1044.28 c 892s| 1760k|181062 | 7277k| 4.1 | 117M| 47 | 6 | 146 | 98 | 146 | 20 | 22 | 124k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1049.66/1050.00 c 897s| 1770k|182793 | 7317k| 4.1 | 118M| 47 | - | 146 | 111 | 146 | 20 | 22 | 124k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1058.06/1058.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.06/1058.45 c 904s| 1780k|184364 | 7358k| 4.1 | 119M| 47 | - | 146 | 105 | 146 | 20 | 22 | 125k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1063.66/1064.01 c 909s| 1790k|185032 | 7398k| 4.1 | 119M| 47 | 6 | 146 | 102 | 146 | 20 | 22 | 126k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1069.56/1069.97 c 914s| 1800k|187342 | 7440k| 4.1 | 121M| 47 | - | 146 | 113 | 0 | 0 | 22 | 127k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1075.36/1075.72 c 919s| 1810k|189097 | 7480k| 4.1 | 122M| 47 | - | 146 | 107 | 146 | 20 | 22 | 127k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1080.86/1081.27 c 924s| 1820k|190207 | 7519k| 4.1 | 122M| 47 | - | 146 | 107 | 146 | 20 | 22 | 128k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1086.46/1086.84 c 928s| 1830k|190992 | 7557k| 4.1 | 123M| 47 | 6 | 146 | 114 | 146 | 20 | 22 | 129k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1092.07/1092.48 c 933s| 1840k|192170 | 7596k| 4.1 | 124M| 47 | - | 146 | 125 | 0 | 0 | 22 | 130k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1097.65/1098.07 c 938s| 1850k|193212 | 7636k| 4.1 | 125M| 47 | 6 | 146 | 127 | 146 | 20 | 22 | 131k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1103.35/1103.76 c 943s| 1860k|194202 | 7675k| 4.1 | 125M| 47 | 6 | 146 | 116 | 146 | 20 | 22 | 131k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1108.95/1109.38 c 948s| 1870k|195072 | 7715k| 4.1 | 126M| 47 | - | 146 | 111 | 146 | 20 | 22 | 132k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1114.65/1115.02 c 952s| 1880k|196084 | 7754k| 4.1 | 127M| 47 | - | 146 | 121 | 146 | 20 | 22 | 133k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1120.25/1120.65 c 957s| 1890k|196994 | 7794k| 4.1 | 127M| 47 | 6 | 146 | 111 | 146 | 20 | 22 | 134k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1125.85/1126.25 c 962s| 1900k|198314 | 7833k| 4.1 | 128M| 47 | 6 | 146 | 121 | 146 | 20 | 22 | 135k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1131.44/1131.82 c 967s| 1910k|199557 | 7872k| 4.1 | 129M| 47 | 6 | 146 | 125 | 146 | 20 | 22 | 135k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1136.84/1137.25 c 972s| 1920k|200586 | 7911k| 4.1 | 130M| 47 | - | 146 | 130 | 146 | 20 | 22 | 136k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1142.44/1142.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1142.44/1142.81 c 976s| 1930k|201571 | 7950k| 4.1 | 131M| 47 | - | 146 | 113 | 146 | 20 | 22 | 137k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1148.05/1148.40 c 981s| 1940k|202610 | 7990k| 4.1 | 131M| 47 | - | 146 | 124 | 146 | 20 | 22 | 138k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1153.54/1153.91 c 986s| 1950k|203414 | 8028k| 4.1 | 132M| 47 | 6 | 146 | 98 | 146 | 20 | 22 | 139k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1159.04/1159.43 c 991s| 1960k|204183 | 8068k| 4.1 | 133M| 47 | - | 146 | 118 | 146 | 20 | 22 | 139k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1165.23/1165.60 c 996s| 1970k|206829 | 8112k| 4.1 | 134M| 47 | 6 | 146 | 104 | 146 | 20 | 22 | 140k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1171.43/1171.86 c 1001s| 1980k|210260 | 8157k| 4.1 | 136M| 47 | 6 | 146 | 107 | 146 | 20 | 22 | 141k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1177.33/1177.72 c 1006s| 1990k|212742 | 8199k| 4.1 | 137M| 47 | 6 | 146 | 113 | 146 | 20 | 22 | 142k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1183.34/1183.72 c 1012s| 2000k|215257 | 8242k| 4.1 | 138M| 47 | - | 146 | 94 | 146 | 20 | 22 | 142k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1189.22/1189.62 c 1017s| 2010k|217869 | 8284k| 4.1 | 140M| 47 | - | 146 | 89 | 146 | 20 | 22 | 143k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1195.02/1195.49 c 1022s| 2020k|220263 | 8326k| 4.1 | 141M| 47 | 6 | 146 | 94 | 146 | 20 | 22 | 144k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1200.72/1201.16 c 1027s| 2030k|222490 | 8367k| 4.1 | 142M| 47 | 6 | 146 | 89 | 146 | 20 | 22 | 144k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1206.43/1206.88 c 1032s| 2040k|224562 | 8408k| 4.1 | 143M| 47 | - | 146 | 99 | 0 | 0 | 22 | 145k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1212.32/1212.79 c 1037s| 2050k|227085 | 8451k| 4.1 | 145M| 47 | 6 | 146 | 91 | 146 | 20 | 22 | 146k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1218.02/1218.47 c 1042s| 2060k|229054 | 8493k| 4.1 | 146M| 47 | - | 146 | 103 | 146 | 20 | 22 | 147k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
1223.62/1224.05 c 1047s| 2070k|230946 | 8534k| 4.1 | 147M| 47 | - | 146 | 96 | 146 | 20 | 22 | 147k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1229.22/1229.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1229.22/1229.67 c 1051s| 2080k|232701 | 8574k| 4.1 | 148M| 47 | - | 146 | 90 | 146 | 20 | 22 | 148k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1234.92/1235.39 c 1056s| 2090k|234589 | 8615k| 4.1 | 149M| 47 | - | 146 | 90 | 146 | 20 | 22 | 149k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1240.61/1241.05 c 1061s| 2100k|236323 | 8655k| 4.1 | 150M| 47 | - | 146 | 106 | 146 | 20 | 22 | 150k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1246.21/1246.66 c 1066s| 2110k|238232 | 8695k| 4.1 | 151M| 47 | 6 | 146 | 99 | 146 | 20 | 22 | 150k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1252.01/1252.42 c 1071s| 2120k|240454 | 8736k| 4.1 | 152M| 47 | 6 | 146 | 95 | 146 | 20 | 22 | 151k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1257.61/1258.04 c 1076s| 2130k|241914 | 8776k| 4.1 | 153M| 47 | - | 146 | 93 | 146 | 20 | 22 | 152k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1263.51/1263.93 c 1081s| 2140k|244396 | 8820k| 4.1 | 155M| 47 | - | 146 | 101 | 146 | 20 | 22 | 153k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1269.30/1269.75 c 1086s| 2150k|246806 | 8862k| 4.1 | 156M| 47 | - | 146 | 96 | 0 | 0 | 22 | 153k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1274.90/1275.39 c 1091s| 2160k|248411 | 8903k| 4.1 | 157M| 47 | 6 | 146 | 93 | 146 | 20 | 22 | 154k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1280.60/1281.04 c 1096s| 2170k|250493 | 8943k| 4.1 | 158M| 47 | 6 | 146 | 110 | 146 | 20 | 22 | 155k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1286.30/1286.76 c 1101s| 2180k|252065 | 8983k| 4.1 | 159M| 47 | - | 146 | 102 | 146 | 20 | 22 | 155k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1291.90/1292.37 c 1105s| 2190k|253694 | 9024k| 4.1 | 160M| 47 | 6 | 146 | 89 | 146 | 20 | 22 | 156k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1297.61/1298.01 c 1110s| 2200k|255204 | 9064k| 4.1 | 161M| 47 | - | 146 | 95 | 146 | 20 | 22 | 157k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1303.10/1303.60 c 1115s| 2210k|256598 | 9105k| 4.1 | 162M| 47 | - | 146 | 88 | 146 | 20 | 22 | 158k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1308.79/1309.25 c 1120s| 2220k|258171 | 9145k| 4.1 | 163M| 47 | - | 146 | 94 | 146 | 20 | 22 | 158k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1314.39/1314.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1314.39/1314.80 c 1125s| 2230k|259347 | 9185k| 4.1 | 164M| 47 | 6 | 146 | 78 | 146 | 20 | 22 | 159k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1319.89/1320.35 c 1130s| 2240k|260725 | 9225k| 4.1 | 164M| 47 | 6 | 146 | 97 | 146 | 20 | 22 | 160k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1325.59/1326.04 c 1135s| 2250k|262435 | 9266k| 4.1 | 165M| 47 | - | 146 | 91 | 146 | 20 | 22 | 161k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1331.09/1331.57 c 1139s| 2260k|263725 | 9307k| 4.1 | 166M| 47 | 6 | 146 | 95 | 146 | 20 | 22 | 161k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1336.69/1337.14 c 1144s| 2270k|265066 | 9347k| 4.1 | 167M| 47 | 6 | 146 | 106 | 146 | 20 | 22 | 162k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1342.28/1342.74 c 1149s| 2280k|266482 | 9388k| 4.1 | 168M| 47 | 6 | 146 | 104 | 146 | 20 | 22 | 163k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1347.88/1348.34 c 1154s| 2290k|267930 | 9429k| 4.1 | 169M| 47 | 6 | 146 | 103 | 146 | 20 | 22 | 163k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1353.47/1353.99 c 1159s| 2300k|269572 | 9469k| 4.1 | 170M| 47 | 6 | 146 | 97 | 146 | 20 | 22 | 164k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1358.98/1359.49 c 1163s| 2310k|270739 | 9509k| 4.1 | 171M| 47 | 6 | 146 | 88 | 146 | 20 | 22 | 165k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1364.58/1365.00 c 1168s| 2320k|272005 | 9549k| 4.1 | 172M| 47 | 6 | 146 | 102 | 146 | 20 | 22 | 166k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1370.18/1370.64 c 1173s| 2330k|273024 | 9590k| 4.1 | 172M| 47 | - | 146 | 101 | 0 | 0 | 22 | 166k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1375.77/1376.25 c 1178s| 2340k|274123 | 9630k| 4.1 | 173M| 47 | - | 146 | 105 | 146 | 20 | 22 | 167k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1381.27/1381.77 c 1182s| 2350k|275020 | 9670k| 4.1 | 174M| 47 | - | 146 | 93 | 146 | 20 | 22 | 168k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1386.86/1387.38 c 1187s| 2360k|276394 | 9712k| 4.1 | 175M| 47 | 6 | 146 | 100 | 146 | 20 | 22 | 168k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1392.46/1392.95 c 1192s| 2370k|277240 | 9752k| 4.1 | 175M| 47 | - | 146 | 99 | 146 | 20 | 22 | 169k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1398.17/1398.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.17/1398.66 c 1197s| 2380k|278524 | 9795k| 4.1 | 176M| 47 | 6 | 146 | 107 | 146 | 20 | 22 | 170k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1403.76/1404.22 c 1202s| 2390k|279560 | 9834k| 4.1 | 177M| 47 | 6 | 146 | 124 | 146 | 20 | 22 | 171k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1409.26/1409.79 c 1206s| 2400k|281092 | 9873k| 4.1 | 178M| 47 | 6 | 146 | 113 | 146 | 20 | 22 | 171k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1414.86/1415.37 c 1211s| 2410k|282202 | 9913k| 4.1 | 179M| 47 | - | 146 | 115 | 146 | 20 | 22 | 172k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1420.66/1421.14 c 1216s| 2420k|283196 | 9955k| 4.1 | 179M| 47 | - | 146 | 106 | 146 | 20 | 22 | 173k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1426.27/1426.74 c 1221s| 2430k|284308 | 9995k| 4.1 | 180M| 47 | - | 146 | 99 | 146 | 20 | 22 | 174k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1431.86/1432.33 c 1226s| 2440k|285942 | 10036k| 4.1 | 181M| 47 | 6 | 146 | 110 | 146 | 20 | 22 | 175k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
1437.36/1437.88 c 1231s| 2450k|287102 | 10076k| 4.1 | 182M| 47 | 6 | 146 | 106 | 146 | 20 | 22 | 175k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1442.95/1443.49 c 1236s| 2460k|288138 | 10116k| 4.1 | 183M| 47 | - | 146 | 112 | 146 | 20 | 22 | 176k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1448.55/1449.02 c 1240s| 2470k|289121 | 10155k| 4.1 | 183M| 47 | 6 | 146 | 119 | 146 | 20 | 22 | 177k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1454.15/1454.60 c 1245s| 2480k|290343 | 10195k| 4.1 | 184M| 47 | - | 146 | 113 | 146 | 20 | 22 | 177k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1459.74/1460.28 c 1250s| 2490k|291878 | 10235k| 4.1 | 185M| 47 | 6 | 146 | 119 | 146 | 20 | 22 | 178k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1465.35/1465.84 c 1255s| 2500k|292718 | 10275k| 4.1 | 186M| 47 | 6 | 146 | 103 | 146 | 20 | 22 | 179k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1470.84/1471.37 c 1260s| 2510k|293617 | 10315k| 4.1 | 187M| 47 | 6 | 146 | 88 | 146 | 20 | 22 | 180k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1476.54/1477.07 c 1264s| 2520k|295376 | 10357k| 4.1 | 188M| 47 | - | 146 | 98 | 146 | 20 | 22 | 180k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1482.14/1482.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1482.14/1482.62 c 1269s| 2530k|297101 | 10397k| 4.1 | 189M| 47 | 6 | 146 | 100 | 146 | 20 | 22 | 181k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1487.53/1488.10 c 1274s| 2540k|298042 | 10436k| 4.1 | 189M| 47 | 6 | 146 | 94 | 146 | 20 | 22 | 182k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1493.34/1493.82 c 1279s| 2550k|299583 | 10477k| 4.1 | 190M| 47 | - | 146 | 98 | 146 | 20 | 22 | 183k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1498.95/1499.48 c 1284s| 2560k|300991 | 10518k| 4.1 | 191M| 47 | - | 146 | 99 | 146 | 20 | 22 | 183k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1504.63/1505.18 c 1289s| 2570k|302429 | 10560k| 4.1 | 192M| 47 | - | 146 | 84 | 146 | 20 | 22 | 184k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1510.23/1510.78 c 1293s| 2580k|303514 | 10601k| 4.1 | 193M| 47 | 6 | 146 | 97 | 146 | 20 | 22 | 185k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1515.83/1516.35 c 1298s| 2590k|304170 | 10641k| 4.1 | 193M| 47 | 6 | 146 | 88 | 146 | 20 | 22 | 185k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1521.63/1522.19 c 1303s| 2600k|306143 | 10685k| 4.1 | 195M| 47 | 6 | 146 | 91 | 146 | 20 | 22 | 186k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1527.33/1527.89 c 1308s| 2610k|307848 | 10728k| 4.1 | 196M| 47 | 6 | 146 | 92 | 146 | 20 | 22 | 187k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1533.04/1533.51 c 1313s| 2620k|308941 | 10770k| 4.1 | 196M| 47 | - | 146 | 88 | 146 | 20 | 22 | 187k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1538.62/1539.18 c 1318s| 2630k|310903 | 10811k| 4.1 | 197M| 47 | 6 | 146 | 97 | 146 | 20 | 22 | 188k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1544.22/1544.75 c 1323s| 2640k|312301 | 10851k| 4.1 | 198M| 47 | 6 | 146 | 90 | 146 | 20 | 22 | 189k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1549.72/1550.22 c 1327s| 2650k|313169 | 10891k| 4.1 | 199M| 47 | 6 | 146 | 90 | 146 | 20 | 22 | 190k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1555.32/1555.81 c 1332s| 2660k|314175 | 10931k| 4.1 | 200M| 47 | - | 146 | 93 | 146 | 20 | 22 | 190k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1560.91/1561.40 c 1337s| 2670k|314869 | 10971k| 4.1 | 200M| 47 | 6 | 146 | 95 | 146 | 20 | 22 | 191k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1566.42/1566.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.42/1566.93 c 1342s| 2680k|315433 | 11011k| 4.1 | 201M| 47 | 6 | 146 | 89 | 146 | 20 | 22 | 192k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1571.81/1572.36 c 1346s| 2690k|316058 | 11050k| 4.1 | 201M| 47 | 6 | 146 | 104 | 146 | 20 | 22 | 193k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1577.41/1577.90 c 1351s| 2700k|316671 | 11090k| 4.1 | 202M| 47 | 6 | 146 | 102 | 146 | 20 | 22 | 193k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1582.91/1583.44 c 1356s| 2710k|317923 | 11129k| 4.1 | 203M| 47 | 6 | 146 | 101 | 146 | 20 | 22 | 194k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1588.41/1588.96 c 1361s| 2720k|318622 | 11168k| 4.1 | 203M| 47 | 6 | 146 | 101 | 146 | 20 | 22 | 195k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1594.00/1594.51 c 1366s| 2730k|319259 | 11207k| 4.1 | 204M| 47 | - | 146 | 107 | 146 | 20 | 22 | 196k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1599.70/1600.22 c 1371s| 2740k|320567 | 11248k| 4.1 | 205M| 47 | 6 | 146 | 104 | 146 | 20 | 22 | 196k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1605.30/1605.82 c 1375s| 2750k|321662 | 11289k| 4.1 | 206M| 47 | - | 146 | 98 | 146 | 20 | 22 | 197k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1610.80/1611.39 c 1380s| 2760k|322406 | 11330k| 4.1 | 206M| 47 | 6 | 146 | 111 | 146 | 20 | 22 | 198k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1616.40/1616.92 c 1385s| 2770k|322966 | 11369k| 4.1 | 207M| 47 | - | 146 | 103 | 0 | 0 | 22 | 199k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1621.90/1622.44 c 1390s| 2780k|323757 | 11409k| 4.1 | 207M| 47 | - | 146 | 100 | 146 | 20 | 22 | 199k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1627.51/1628.04 c 1394s| 2790k|324260 | 11448k| 4.1 | 208M| 47 | - | 146 | 107 | 146 | 20 | 22 | 200k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1633.00/1633.55 c 1399s| 2800k|324900 | 11487k| 4.1 | 209M| 47 | 6 | 146 | 101 | 146 | 20 | 22 | 201k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1638.70/1639.20 c 1404s| 2810k|326009 | 11527k| 4.1 | 209M| 47 | 6 | 146 | 119 | 146 | 20 | 22 | 202k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1644.29/1644.87 c 1409s| 2820k|326953 | 11568k| 4.1 | 210M| 47 | - | 146 | 100 | 146 | 20 | 22 | 202k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1649.89/1650.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.89/1650.41 c 1414s| 2830k|327582 | 11608k| 4.1 | 211M| 47 | - | 146 | 106 | 146 | 20 | 22 | 203k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1655.49/1656.09 c 1419s| 2840k|328681 | 11651k| 4.1 | 211M| 47 | 6 | 146 | 92 | 146 | 20 | 22 | 204k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1661.09/1661.68 c 1423s| 2850k|329561 | 11694k| 4.1 | 212M| 47 | - | 146 | 73 | 146 | 20 | 22 | 205k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1666.78/1667.32 c 1428s| 2860k|330385 | 11737k| 4.1 | 213M| 47 | - | 146 | 78 | 146 | 20 | 22 | 205k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1672.39/1672.93 c 1433s| 2870k|331245 | 11778k| 4.1 | 213M| 47 | - | 146 | 100 | 146 | 20 | 22 | 206k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1678.09/1678.69 c 1438s| 2880k|332886 | 11820k| 4.1 | 214M| 47 | - | 146 | 99 | 146 | 20 | 22 | 207k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1683.69/1684.29 c 1443s| 2890k|334171 | 11861k| 4.1 | 215M| 47 | 6 | 146 | 98 | 146 | 20 | 22 | 208k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1689.28/1689.85 c 1448s| 2900k|335272 | 11902k| 4.1 | 216M| 47 | - | 146 | 94 | 146 | 20 | 22 | 208k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1694.88/1695.44 c 1452s| 2910k|335921 | 11942k| 4.1 | 217M| 47 | 6 | 146 | 91 | 146 | 20 | 22 | 209k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1700.38/1700.93 c 1457s| 2920k|336578 | 11982k| 4.1 | 217M| 47 | 6 | 146 | 108 | 146 | 20 | 22 | 210k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1705.97/1706.51 c 1462s| 2930k|337252 | 12023k| 4.1 | 218M| 47 | 6 | 146 | 105 | 146 | 20 | 22 | 211k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1711.57/1712.10 c 1467s| 2940k|337621 | 12063k| 4.1 | 218M| 47 | 6 | 146 | 95 | 146 | 20 | 22 | 212k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1717.08/1717.67 c 1472s| 2950k|338285 | 12103k| 4.1 | 219M| 47 | 6 | 146 | 99 | 146 | 20 | 22 | 212k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1722.77/1723.36 c 1477s| 2960k|339352 | 12144k| 4.1 | 220M| 47 | - | 146 | 101 | 146 | 20 | 22 | 213k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1728.36/1728.93 c 1481s| 2970k|339753 | 12185k| 4.1 | 220M| 47 | - | 146 | 112 | 146 | 20 | 22 | 214k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1733.87/1734.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1733.87/1734.44 c 1486s| 2980k|340271 | 12223k| 4.1 | 221M| 47 | - | 146 | 94 | 146 | 20 | 22 | 215k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1739.47/1740.00 c 1491s| 2990k|340883 | 12264k| 4.1 | 221M| 47 | - | 146 | 96 | 0 | 0 | 22 | 215k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1745.17/1745.72 c 1496s| 3000k|342236 | 12305k| 4.1 | 222M| 47 | 6 | 146 | 113 | 146 | 20 | 22 | 216k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1750.66/1751.30 c 1501s| 3010k|343072 | 12346k| 4.1 | 223M| 47 | 6 | 146 | 98 | 146 | 20 | 22 | 217k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1756.36/1756.93 c 1505s| 3020k|343896 | 12386k| 4.1 | 223M| 47 | - | 146 | 109 | 146 | 20 | 22 | 218k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1761.96/1762.50 c 1510s| 3030k|344877 | 12426k| 4.1 | 224M| 47 | - | 146 | 102 | 146 | 20 | 22 | 219k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1767.46/1768.03 c 1515s| 3040k|345490 | 12466k| 4.1 | 225M| 47 | - | 146 | 110 | 146 | 20 | 22 | 220k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1773.06/1773.62 c 1520s| 3050k|345866 | 12506k| 4.1 | 225M| 47 | - | 146 | 106 | 146 | 20 | 22 | 220k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1778.56/1779.13 c 1525s| 3060k|346623 | 12545k| 4.1 | 226M| 47 | 6 | 146 | 106 | 146 | 20 | 22 | 221k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1784.05/1784.67 c 1529s| 3070k|347289 | 12585k| 4.1 | 226M| 47 | 6 | 146 | 92 | 146 | 20 | 22 | 222k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1789.55/1790.18 c 1534s| 3080k|347811 | 12624k| 4.1 | 227M| 47 | - | 146 | 96 | 146 | 20 | 22 | 223k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1795.15/1795.70 c 1539s| 3090k|348353 | 12664k| 4.1 | 227M| 47 | 6 | 146 | 105 | 146 | 20 | 22 | 223k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1800.05/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.60 c
1800.05/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.60 c Solving Time (sec) : 1543.17
1800.05/1800.60 c Solving Nodes : 3098707
1800.05/1800.60 c Primal Bound : +8.00000000000000e+00 (28 solutions)
1800.05/1800.60 c Dual Bound : +0.00000000000000e+00
1800.05/1800.60 c Gap : infinite
1800.05/1800.60 s SATISFIABLE
1800.05/1800.60 v -x146 x145 -x144 x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 x128 x127 -x126 x125 x124
1800.05/1800.60 v x123 x122 -x121 x120 -x119 -x118 x117 -x116 -x115 x114 x113 -x112 x111 -x110 x109 -x108 -x107 x106 -x105 x104 x103 -x102 x101
1800.05/1800.60 v -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76
1800.05/1800.60 v -x75 x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1800.05/1800.60 v x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
1800.05/1800.60 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.60 c Solving Time : 1543.17
1800.05/1800.60 c Original Problem :
1800.05/1800.60 c Problem name : HOME/instance-2665659-1276602639.opb
1800.05/1800.60 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.60 c Constraints : 12 initial, 12 maximal
1800.05/1800.60 c Presolved Problem :
1800.05/1800.60 c Problem name : t_HOME/instance-2665659-1276602639.opb
1800.05/1800.60 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.60 c Constraints : 6 initial, 165 maximal
1800.05/1800.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.60 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.60 c linear : 0.00 0 0 0 0 0 6 0 0
1800.05/1800.60 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.60 c root node : - 60 - - 60 - - - -
1800.05/1800.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.60 c integral : 0 0 0 1753258 0 378 8382 0 0 3489090
1800.05/1800.60 c linear : 6+ 7 4318129 0 0 541343 3347935 0 0 0
1800.05/1800.60 c logicor : 0+ 0 1427354 0 0 5418 63087 0 0 0
1800.05/1800.60 c countsols : 0 0 0 17 0 0 0 0 0 0
1800.05/1800.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.60 c integral : 26.04 0.00 0.00 26.04 0.00
1800.05/1800.60 c linear : 267.01 0.00 267.01 0.00 0.00
1800.05/1800.60 c logicor : 6.43 0.00 6.43 0.00 0.00
1800.05/1800.60 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.60 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.60 c vbounds : 2.18 2 0 0
1800.05/1800.60 c rootredcost : 2.36 25 0 60
1800.05/1800.60 c pseudoobj : 33.56 4322207 4261 259614
1800.05/1800.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.60 c propagation : 30.49 550830 196117 234549 46.3 15 30.5 -
1800.05/1800.60 c infeasible LP : 1.55 27384 27313 32507 25.0 2 35.0 0
1800.05/1800.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.60 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.60 c applied globally : - - - 26085 21.1 - - -
1800.05/1800.60 c applied locally : - - - 198509 46.3 - - -
1800.05/1800.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.60 c cut pool : 0.00 5 - - 20 - (maximal pool size: 66)
1800.05/1800.60 c redcost : 42.83 2198424 0 8874230 0 0
1800.05/1800.60 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.60 c intobj : 0.00 0 0 0 0 0
1800.05/1800.60 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.60 c gomory : 0.00 6 0 0 0 0
1800.05/1800.60 c strongcg : 0.01 6 0 0 28 0
1800.05/1800.60 c cmir : 0.02 6 0 0 21 0
1800.05/1800.60 c flowcover : 0.03 6 0 0 26 0
1800.05/1800.60 c clique : 0.00 1 0 0 0 0
1800.05/1800.60 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.60 c mcf : 0.00 1 0 0 0 0
1800.05/1800.60 c rapidlearning : 0.08 1 0 0 0 67
1800.05/1800.60 c Pricers : Time Calls Vars
1800.05/1800.60 c problem variables: 0.00 0 0
1800.05/1800.60 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.60 c relpscost : 23.70 1753241 378 8382 0 0 3489090
1800.05/1800.60 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.60 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.60 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.60 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.60 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.60 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.60 c random : 0.00 0 0 0 0 0 0
1800.05/1800.60 c Primal Heuristics : Time Calls Found
1800.05/1800.60 c LP solutions : 0.04 - 17
1800.05/1800.60 c pseudo solutions : 0.00 - 0
1800.05/1800.60 c feaspump : 0.33 1 0
1800.05/1800.60 c oneopt : 2.15 25 0
1800.05/1800.60 c crossover : 8.14 9 1
1800.05/1800.60 c coefdiving : 18.90 5464 0
1800.05/1800.60 c pscostdiving : 12.31 5464 1
1800.05/1800.60 c linesearchdiving : 10.46 5464 0
1800.05/1800.60 c guideddiving : 10.85 5464 0
1800.05/1800.60 c fracdiving : 12.29 5465 3
1800.05/1800.60 c veclendiving : 11.96 5465 0
1800.05/1800.60 c trivial : 0.00 2 0
1800.05/1800.60 c simplerounding : 1.31 0 0
1800.05/1800.60 c zirounding : 1.43 1000 0
1800.05/1800.60 c rounding : 2.24 20017 0
1800.05/1800.60 c shifting : 20.94 26831 3
1800.05/1800.60 c intshifting : 0.11 0 0
1800.05/1800.60 c twoopt : 0.00 0 0
1800.05/1800.60 c fixandinfer : 0.00 0 0
1800.05/1800.60 c intdiving : 0.00 0 0
1800.05/1800.60 c actconsdiving : 0.00 0 0
1800.05/1800.60 c objpscostdiving : 3.69 2732 0
1800.05/1800.60 c rootsoldiving : 10.94 2510 2
1800.05/1800.60 c octane : 0.00 0 0
1800.05/1800.60 c rens : 0.13 1 0
1800.05/1800.60 c rins : 0.00 0 0
1800.05/1800.60 c localbranching : 0.00 0 0
1800.05/1800.60 c mutation : 0.00 0 0
1800.05/1800.60 c dins : 0.00 0 0
1800.05/1800.60 c undercover : 0.00 0 0
1800.05/1800.60 c nlp : 1.20 0 0
1800.05/1800.60 c trysol : 2.24 0 0
1800.05/1800.60 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.60 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.60 c dual LP : 772.77 2893555 11956041 4.13 15471.67
1800.05/1800.60 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.60 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.60 c diving/probing LP: 57.06 260021 744861 2.86 13054.00
1800.05/1800.60 c strong branching : 7.30 22722 85395 3.76 11697.95
1800.05/1800.60 c (at root node) : - 9 511 56.78 -
1800.05/1800.60 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.60 c B&B Tree :
1800.05/1800.60 c number of runs : 1
1800.05/1800.60 c nodes : 3098707
1800.05/1800.60 c nodes (total) : 3098707
1800.05/1800.60 c nodes left : 348816
1800.05/1800.60 c max depth : 47
1800.05/1800.60 c max depth (total): 47
1800.05/1800.60 c backtracks : 739308 (23.9%)
1800.05/1800.60 c delayed cutoffs : 36096
1800.05/1800.60 c repropagations : 74849 (230918 domain reductions, 35774 cutoffs)
1800.05/1800.60 c avg switch length: 5.06
1800.05/1800.60 c switching time : 88.75
1800.05/1800.60 c Solution :
1800.05/1800.60 c Solutions found : 28 (25 improvements)
1800.05/1800.60 c First Solution : +1.15400000000000e+03 (in run 1, after 1 nodes, 0.10 seconds, depth 0, found by <trysol>)
1800.05/1800.60 c Primal Bound : +8.00000000000000e+00 (in run 1, after 957312 nodes, 502.43 seconds, depth 36, found by <relaxation>)
1800.05/1800.60 c Dual Bound : +0.00000000000000e+00
1800.05/1800.60 c Gap : infinite
1800.05/1800.60 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.60 c Root Iterations : 89
1801.44/1802.03 c Time complete: 1801.48.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665659-1276602639/watcher-2665659-1276602639 -o /tmp/evaluation-result-2665659-1276602639/solver-2665659-1276602639 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665659-1276602639.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.85 0.97 0.99 2/106 11228
/proc/meminfo: memFree=1728220/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=9288 CPUtime=0
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 1146 0 0 0 0 0 0 0 23 0 1 0 1557690 9510912 1067 1992294400 4194304 9819077 140733272845088 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11228/statm: 2322 1077 371 1374 0 943 0
[startup+0.105985 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 11228
/proc/meminfo: memFree=1728220/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=22608 CPUtime=0.1
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 4991 0 0 0 8 2 0 0 23 0 1 0 1557690 23150592 4035 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 5652 4035 673 1374 0 4273 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 22608
[startup+0.200995 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 11228
/proc/meminfo: memFree=1728220/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=16252 CPUtime=0.19
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 5111 0 0 0 16 3 0 0 23 0 1 0 1557690 16642048 2847 1992294400 4194304 9819077 140733272845088 18446744073709551615 6051943 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 4063 2847 686 1374 0 2684 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16252
[startup+0.301004 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 11228
/proc/meminfo: memFree=1728220/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=24348 CPUtime=0.29
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 9453 0 0 0 24 5 0 0 24 0 1 0 1557690 24932352 4381 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 6087 4381 714 1374 0 4708 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24348
[startup+0.701045 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 11228
/proc/meminfo: memFree=1728220/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=17140 CPUtime=0.69
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 15117 0 0 0 57 12 0 0 25 0 1 0 1557690 17551360 2919 1992294400 4194304 9819077 140733272845088 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 4203 2917 722 1374 0 2824 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17140
[startup+1.50113 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 11229
/proc/meminfo: memFree=1718788/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=16532 CPUtime=1.49
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 21956 0 0 0 129 20 0 0 25 0 1 0 1557690 16928768 2921 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 4133 2921 725 1374 0 2754 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16532
[startup+3.10129 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 11229
/proc/meminfo: memFree=1718292/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=17504 CPUtime=3.09
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 39445 0 0 0 269 40 0 0 25 0 1 0 1557690 17924096 3187 1992294400 4194304 9819077 140733272845088 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 4376 3187 727 1374 0 2997 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17504
[startup+6.30061 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 11229
/proc/meminfo: memFree=1716556/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=19252 CPUtime=6.28
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 66270 0 0 0 551 77 0 0 25 0 1 0 1557690 19714048 3539 1992294400 4194304 9819077 140733272845088 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 4813 3538 727 1374 0 3434 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19252
[startup+12.7003 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 11229
/proc/meminfo: memFree=1713968/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=21208 CPUtime=12.68
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 130838 0 0 0 1110 158 0 0 25 0 1 0 1557690 21716992 4019 1992294400 4194304 9819077 140733272845088 18446744073709551615 5437844 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 5302 4019 727 1374 0 3923 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21208
[startup+25.5016 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 11229
/proc/meminfo: memFree=1710000/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=25396 CPUtime=25.49
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 278614 0 0 0 2212 337 0 0 25 0 1 0 1557690 26005504 5081 1992294400 4194304 9819077 140733272845088 18446744073709551615 4947556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 6349 5081 727 1374 0 4970 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25396
[startup+51.1012 s]
/proc/loadavg: 0.97 0.98 0.99 2/107 11229
/proc/meminfo: memFree=1703304/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=30952 CPUtime=51.08
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 574083 0 0 0 4412 696 0 0 25 0 1 0 1557690 31694848 6701 1992294400 4194304 9819077 140733272845088 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 7858 6703 727 1374 0 6479 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30952
[startup+102.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11231
/proc/meminfo: memFree=1697600/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=37904 CPUtime=102.27
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 1158343 0 0 0 8815 1412 0 0 25 0 1 0 1557690 38813696 8314 1992294400 4194304 9819077 140733272845088 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 9236 8309 727 1374 0 7857 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37904
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11233
/proc/meminfo: memFree=1691400/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=43848 CPUtime=162.25
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 1831633 0 0 0 13965 2260 0 0 25 0 1 0 1557690 44900352 9798 1992294400 4194304 9819077 140733272845088 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 10922 9797 727 1374 0 9543 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 43848
[startup+222.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11235
/proc/meminfo: memFree=1679248/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=54992 CPUtime=222.24
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 2490526 0 0 0 19136 3088 0 0 25 0 1 0 1557690 56311808 12701 1992294400 4194304 9819077 140733272845088 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 13748 12701 727 1374 0 12369 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 54992
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11235
/proc/meminfo: memFree=1670568/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=65600 CPUtime=282.22
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 3179559 0 0 0 24265 3957 0 0 25 0 1 0 1557690 67174400 14870 1992294400 4194304 9819077 140733272845088 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 16240 14867 727 1374 0 14861 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 65600
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11237
/proc/meminfo: memFree=1665236/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=70724 CPUtime=342.19
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 3866462 0 0 0 29375 4844 0 0 25 0 1 0 1557690 72421376 16164 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 17681 16164 727 1374 0 16302 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 70724
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11239
/proc/meminfo: memFree=1662012/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=73884 CPUtime=402.18
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 4548024 0 0 0 34512 5706 0 0 25 0 1 0 1557690 75657216 17059 1992294400 4194304 9819077 140733272845088 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 18591 17062 727 1374 0 17212 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 73884
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11241
/proc/meminfo: memFree=1658044/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=77780 CPUtime=462.16
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 5236279 0 0 0 39631 6585 0 0 25 0 1 0 1557690 79646720 17960 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 19445 17960 727 1374 0 18066 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 77780
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11243
/proc/meminfo: memFree=1657300/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=78536 CPUtime=522.14
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 5936097 0 0 0 44742 7472 0 0 25 0 1 0 1557690 80420864 18197 1992294400 4194304 9819077 140733272845088 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 19674 18197 727 1374 0 18295 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 78536
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11243
/proc/meminfo: memFree=1652216/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=83804 CPUtime=582.12
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 6626807 0 0 0 49858 8354 0 0 25 0 1 0 1557690 85815296 19417 1992294400 4194304 9819077 140733272845088 18446744073709551615 6670189 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 20951 19417 727 1374 0 19572 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 83804
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11254
/proc/meminfo: memFree=1650480/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=84216 CPUtime=642.09
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 7326451 0 0 0 54954 9255 0 0 25 0 1 0 1557690 86237184 19593 1992294400 4194304 9819077 140733272845088 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 21054 19593 727 1374 0 19675 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 84216
[startup+702.301 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11266
/proc/meminfo: memFree=1589472/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=143968 CPUtime=1061.96
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 12147762 0 0 0 90743 15453 0 0 25 0 1 0 1557690 147423232 34877 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 35992 34877 727 1374 0 34613 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 143968
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11268
/proc/meminfo: memFree=1580172/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=157124 CPUtime=1121.94
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 12825308 0 0 0 95872 16322 0 0 25 0 1 0 1557690 160894976 37172 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 39281 37172 727 1374 0 37902 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 157124
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11268
/proc/meminfo: memFree=1570128/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=166920 CPUtime=1181.93
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 13509472 0 0 0 101051 17142 0 0 25 0 1 0 1557690 170926080 39690 1992294400 4194304 9819077 140733272845088 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 41730 39690 727 1374 0 40351 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 166920
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11270
/proc/meminfo: memFree=1557356/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=178728 CPUtime=1241.92
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 14191682 0 0 0 106221 17971 0 0 25 0 1 0 1557690 183017472 42729 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 44682 42729 727 1374 0 43303 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 178728
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11272
/proc/meminfo: memFree=1545824/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=190204 CPUtime=1301.9
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 14879304 0 0 0 111406 18784 0 0 25 0 1 0 1557690 194768896 45676 1992294400 4194304 9819077 140733272845088 18446744073709551615 6372765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 47551 45676 727 1374 0 46172 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 190204
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11274
/proc/meminfo: memFree=1534168/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=201140 CPUtime=1361.88
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 15569016 0 0 0 116569 19619 0 0 25 0 1 0 1557690 205967360 48493 1992294400 4194304 9819077 140733272845088 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 50245 48491 727 1374 0 48866 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 201140
[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11276
/proc/meminfo: memFree=1525612/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=209512 CPUtime=1421.86
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 16258143 0 0 0 121727 20459 0 0 25 0 1 0 1557690 214540288 50605 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 52378 50605 727 1374 0 50999 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 209512
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11276
/proc/meminfo: memFree=1514700/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=220728 CPUtime=1481.84
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 16947231 0 0 0 126887 21297 0 0 25 0 1 0 1557690 226025472 53478 1992294400 4194304 9819077 140733272845088 18446744073709551615 7816416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 55182 53478 727 1374 0 53803 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 220728
[startup+1542.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11278
/proc/meminfo: memFree=1505400/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=229180 CPUtime=1541.83
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 17634316 0 0 0 132055 22128 0 0 25 0 1 0 1557690 234680320 55626 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 57295 55626 727 1374 0 55916 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 229180
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11280
/proc/meminfo: memFree=1497588/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=237492 CPUtime=1601.81
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 18327563 0 0 0 137237 22944 0 0 25 0 1 0 1557690 243191808 57742 1992294400 4194304 9819077 140733272845088 18446744073709551615 4976631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 59373 57742 727 1374 0 57994 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 237492
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11282
/proc/meminfo: memFree=1488660/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=245324 CPUtime=1661.79
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 19015656 0 0 0 142394 23785 0 0 25 0 1 0 1557690 251211776 59735 1992294400 4194304 9819077 140733272845088 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 61331 59735 727 1374 0 59952 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 245324
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11284
/proc/meminfo: memFree=1480972/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=253080 CPUtime=1721.77
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 19700028 0 0 0 147565 24612 0 0 25 0 1 0 1557690 259153920 61712 1992294400 4194304 9819077 140733272845088 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 63270 61712 727 1374 0 61891 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 253080
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11284
/proc/meminfo: memFree=1473904/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=259304 CPUtime=1781.75
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 20384207 0 0 0 152741 25434 0 0 25 0 1 0 1557690 265527296 63296 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 64826 63296 727 1374 0 63447 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 259304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11286
/proc/meminfo: memFree=1471796/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=261332 CPUtime=1800.05
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 20594365 0 0 0 154317 25688 0 0 25 0 1 0 1557690 267603968 63804 1992294400 4194304 9819077 140733272845088 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11228/statm: 65333 63804 727 1374 0 63954 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 261332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 11287
/proc/meminfo: memFree=1471788/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=261332 CPUtime=1800.16
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 20594371 0 0 0 154328 25688 0 0 25 0 1 0 1557690 267603968 63805 1992294400 4194304 9819077 140733272845088 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11228/statm: 65333 63805 728 1374 0 63954 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 261332
[startup+1801.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 11287
/proc/meminfo: memFree=1471788/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=261332 CPUtime=1800.95
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 20594371 0 0 0 154407 25688 0 0 25 0 1 0 1557690 267603968 63805 1992294400 4194304 9819077 140733272845088 18446744073709551615 6180675 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11228/statm: 65333 63805 728 1374 0 63954 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 261332
[startup+1801.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 11287
/proc/meminfo: memFree=1472036/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=258424 CPUtime=1801.35
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 20594371 0 0 0 154447 25688 0 0 25 0 1 0 1557690 264626176 63078 1992294400 4194304 9819077 140733272845088 18446744073709551615 6180503 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11228/statm: 64606 63078 728 1374 0 63227 0
Current children cumulated CPU time (s) 1801.35
Current children cumulated vsize (KiB) 258424
[startup+1802 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 11287
/proc/meminfo: memFree=1472036/2059040 swapFree=4192956/4192956
[pid=11228] ppid=11226 vsize=221432 CPUtime=1801.44
/proc/11228/stat : 11228 (pbscip.linux.x8) R 11226 11228 11203 0 -1 4202496 20594371 0 0 0 154456 25688 0 0 25 0 1 0 1557690 226746368 53830 1992294400 4194304 9819077 140733272845088 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11228/statm: 55229 53701 728 1374 0 53850 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 221432
Child status: 0
Real time (s): 1802.04
CPU time (s): 1801.49
CPU user time (s): 1544.58
CPU system time (s): 256.913
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 261332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1544.58
system time used= 256.913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20594375
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= 5175
runsolver used 3.23951 second user time and 8.26874 second system time
The end