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-2665656-1276617081.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 26 | - | 422k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 o 730
0.09/0.12 c y 0.1s| 1 | 0 | 26 | - | 458k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 36 | - | 596k| 0 | 9 | 120 | 108 | 120 | 11 | 6 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 41 | - | 632k| 0 | 10 | 120 | 108 | 120 | 15 | 10 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 44 | - | 681k| 0 | 11 | 120 | 108 | 120 | 20 | 15 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 52 | - | 715k| 0 | 13 | 120 | 108 | 120 | 24 | 19 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.09/0.18 c 0.1s| 1 | 0 | 60 | - | 740k| 0 | 12 | 120 | 108 | 120 | 28 | 23 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 65 | - | 756k| 0 | 13 | 120 | 108 | 120 | 31 | 26 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.19/0.25 c 0.2s| 1 | 2 | 65 | - | 756k| 0 | 13 | 120 | 108 | 120 | 31 | 26 | 0 | 9 | 0.000000e+00 | 7.300000e+02 | Inf
0.29/0.35 o 356
0.29/0.35 c c 0.3s| 33 | 34 | 220 | 4.8 | 793k| 32 | - | 120 | 108 | 120 | 13 | 26 | 0 | 162 | 0.000000e+00 | 3.560000e+02 | Inf
0.49/0.52 o 276
0.49/0.52 c g 0.4s| 157 | 158 | 866 | 5.1 | 881k| 32 | - | 120 | 108 | 120 | 13 | 26 | 4 | 300 | 0.000000e+00 | 2.760000e+02 | Inf
0.49/0.58 o 96
0.49/0.58 c f 0.5s| 208 | 185 | 1101 | 5.0 | 899k| 34 | - | 120 | 108 | 120 | 13 | 26 | 7 | 323 | 0.000000e+00 | 9.600000e+01 | Inf
0.89/0.99 o 95
0.89/0.99 c l 0.8s| 659 | 612 | 3119 | 4.6 |1098k| 37 | - | 120 | 101 | 120 | 13 | 26 | 50 | 443 | 0.000000e+00 | 9.500000e+01 | Inf
1.20/1.26 o 81
1.20/1.26 c f 1.0s| 975 | 914 | 4819 | 4.9 |1250k| 37 | - | 120 | 114 | 120 | 13 | 26 | 85 | 453 | 0.000000e+00 | 8.100000e+01 | Inf
1.29/1.31 o 63
1.29/1.31 c p 1.1s| 1032 | 929 | 5120 | 4.9 |1265k| 37 | - | 120 | 115 | 120 | 13 | 26 | 88 | 454 | 0.000000e+00 | 6.300000e+01 | Inf
1.29/1.33 o 62
1.29/1.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.33 c v 1.1s| 1054 | 949 | 5232 | 4.9 |1268k| 37 | - | 120 | 28 | 120 | 13 | 26 | 94 | 455 | 0.000000e+00 | 6.200000e+01 | Inf
1.39/1.41 o 61
1.39/1.41 c f 1.2s| 1149 | 1039 | 5787 | 5.0 |1311k| 37 | - | 120 | 32 | 120 | 13 | 26 | 102 | 459 | 0.000000e+00 | 6.100000e+01 | Inf
1.49/1.52 o 57
1.49/1.52 c p 1.3s| 1270 | 1142 | 6500 | 5.1 |1357k| 37 | - | 120 | 34 | 120 | 13 | 26 | 116 | 470 | 0.000000e+00 | 5.700000e+01 | Inf
1.89/1.95 o 32
1.89/1.95 c c 1.6s| 1604 | 1327 | 8391 | 5.2 |1429k| 37 | - | 120 | 39 | 120 | 13 | 26 | 154 | 484 | 0.000000e+00 | 3.200000e+01 | Inf
2.69/2.78 o 31
2.69/2.78 c * 2.3s| 2234 | 1798 | 13547 | 6.0 |1662k| 37 | - | 120 | 77 | 120 | 13 | 26 | 314 | 540 | 0.000000e+00 | 3.100000e+01 | Inf
2.99/3.09 o 23
2.99/3.09 c g 2.6s| 2467 | 1867 | 15575 | 6.3 |1705k| 37 | - | 120 | 88 | 120 | 13 | 26 | 393 | 550 | 0.000000e+00 | 2.300000e+01 | Inf
4.40/4.46 o 22
4.40/4.46 c l 3.8s| 3803 | 2718 | 24415 | 6.4 |2139k| 37 | - | 120 | 103 | 120 | 13 | 26 | 668 | 567 | 0.000000e+00 | 2.200000e+01 | Inf
5.79/5.81 o 20
5.79/5.81 c * 4.9s| 5274 | 3562 | 32752 | 6.2 |2572k| 37 | - | 120 | 111 | 120 | 13 | 26 | 898 | 630 | 0.000000e+00 | 2.000000e+01 | Inf
5.79/5.81 o 18
5.79/5.81 c * 4.9s| 5275 | 3509 | 32752 | 6.2 |2529k| 37 | - | 120 | 111 | 120 | 13 | 26 | 898 | 630 | 0.000000e+00 | 1.800000e+01 | Inf
6.38/6.43 o 17
6.38/6.43 c * 5.4s| 6054 | 3846 | 36391 | 6.0 |2718k| 37 | - | 120 | 114 | 120 | 13 | 26 | 994 | 687 | 0.000000e+00 | 1.700000e+01 | Inf
7.80/7.81 o 15
7.80/7.81 c * 6.5s| 7899 | 4493 | 44365 | 5.6 |3112k| 37 | - | 120 | 140 | 120 | 13 | 26 |1274 | 794 | 0.000000e+00 | 1.500000e+01 | Inf
8.79/8.85 o 13
8.79/8.85 c * 7.4s| 9434 | 4973 | 50700 | 5.4 |3343k| 37 | - | 120 | 132 | 120 | 13 | 26 |1461 | 870 | 0.000000e+00 | 1.300000e+01 | Inf
8.79/8.85 o 11
8.79/8.85 c * 7.4s| 9435 | 4872 | 50700 | 5.4 |3237k| 37 | - | 120 | 132 | 120 | 13 | 26 |1461 | 870 | 0.000000e+00 | 1.100000e+01 | Inf
9.08/9.17 c 7.7s| 10000 | 5042 | 52794 | 5.3 |3334k| 37 | 5 | 120 | 138 | 120 | 13 | 26 |1494 | 890 | 0.000000e+00 | 1.100000e+01 | Inf
10.49/10.56 o 9
10.49/10.56 c * 8.8s| 10385 | 5017 | 54334 | 5.2 |3271k| 37 | - | 120 | 141 | 120 | 13 | 26 |1528 | 910 | 0.000000e+00 | 9.000000e+00 | Inf
10.49/10.56 o 7
10.49/10.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.49/10.56 c * 8.8s| 10386 | 4827 | 54334 | 5.2 |3113k| 37 | - | 120 | 141 | 120 | 13 | 26 |1528 | 910 | 0.000000e+00 | 7.000000e+00 | Inf
15.79/15.85 c 13.2s| 20000 | 6073 | 89785 | 4.5 |3899k| 37 | - | 120 | 280 | 120 | 13 | 26 |2339 |1206 | 0.000000e+00 | 7.000000e+00 | Inf
21.38/21.48 c 17.9s| 30000 | 5922 |126110 | 4.2 |3983k| 37 | - | 120 | 461 | 120 | 13 | 26 |3287 |1483 | 0.000000e+00 | 7.000000e+00 | Inf
26.78/26.80 c 22.2s| 40000 | 6118 |165356 | 4.1 |4219k| 37 | - | 120 | 627 | 120 | 13 | 26 |4099 |1814 | 0.000000e+00 | 7.000000e+00 | Inf
32.68/32.74 c 27.1s| 50000 | 5982 |202242 | 4.0 |4249k| 37 | - | 120 | 698 | 0 | 0 | 26 |4870 |2080 | 0.000000e+00 | 7.000000e+00 | Inf
38.17/38.21 c 31.6s| 60000 | 5946 |240555 | 4.0 |4312k| 37 | - | 120 | 724 | 120 | 13 | 26 |5694 |2326 | 0.000000e+00 | 7.000000e+00 | Inf
43.48/43.55 c 36.1s| 70000 | 6328 |276609 | 4.0 |4511k| 37 | 5 | 120 | 741 | 120 | 13 | 26 |6522 |2538 | 0.000000e+00 | 7.000000e+00 | Inf
48.87/48.94 c 40.6s| 80000 | 6269 |313876 | 3.9 |4556k| 37 | - | 120 | 697 | 120 | 13 | 26 |7338 |2722 | 0.000000e+00 | 7.000000e+00 | Inf
54.07/54.16 c 44.9s| 90000 | 6109 |350160 | 3.9 |4496k| 37 | - | 120 | 648 | 120 | 13 | 26 |8166 |2894 | 0.000000e+00 | 7.000000e+00 | Inf
59.38/59.42 c 49.3s|100000 | 7134 |386601 | 3.9 |5124k| 37 | 5 | 120 | 619 | 120 | 13 | 26 |9006 |3077 | 0.000000e+00 | 7.000000e+00 | Inf
64.58/64.60 c 53.6s|110000 | 8367 |422226 | 3.8 |5856k| 37 | 5 | 120 | 538 | 120 | 13 | 26 |9720 |3278 | 0.000000e+00 | 7.000000e+00 | Inf
69.57/69.69 c 57.8s|120000 | 9133 |456127 | 3.8 |6478k| 37 | 5 | 120 | 571 | 120 | 13 | 26 | 10k|3417 | 0.000000e+00 | 7.000000e+00 | Inf
75.98/76.01 c 63.0s|130000 | 9296 |490687 | 3.8 |6737k| 37 | 5 | 120 | 468 | 120 | 13 | 26 | 11k|3566 | 0.000000e+00 | 7.000000e+00 | Inf
80.97/81.02 c 67.2s|140000 | 9975 |524858 | 3.7 |7262k| 37 | 5 | 120 | 496 | 120 | 13 | 26 | 11k|3687 | 0.000000e+00 | 7.000000e+00 | Inf
85.97/86.09 c 71.4s|150000 | 10090 |559225 | 3.7 |7452k| 37 | - | 120 | 437 | 120 | 13 | 26 | 12k|3820 | 0.000000e+00 | 7.000000e+00 | Inf
91.07/91.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.07/91.12 c 75.6s|160000 | 10014 |593821 | 3.7 |7588k| 37 | - | 120 | 435 | 120 | 13 | 26 | 13k|3949 | 0.000000e+00 | 7.000000e+00 | Inf
96.07/96.12 c 79.7s|170000 | 9865 |628269 | 3.7 |7594k| 37 | - | 120 | 385 | 120 | 13 | 26 | 14k|4077 | 0.000000e+00 | 7.000000e+00 | Inf
100.96/101.08 c 83.8s|180000 | 9972 |662513 | 3.7 |7791k| 37 | 5 | 120 | 415 | 120 | 13 | 26 | 15k|4198 | 0.000000e+00 | 7.000000e+00 | Inf
105.96/106.03 c 87.8s|190000 | 9770 |695280 | 3.7 |7746k| 37 | - | 120 | 401 | 120 | 13 | 26 | 16k|4323 | 0.000000e+00 | 7.000000e+00 | Inf
106.77/106.88 o 6
106.77/106.88 c *88.5s|191700 | 9554 |701156 | 3.7 |7520k| 37 | - | 120 | 369 | 120 | 13 | 26 | 16k|4350 | 0.000000e+00 | 6.000000e+00 | Inf
111.76/111.86 c 92.6s|200000 | 9909 |730084 | 3.7 |7824k| 37 | - | 120 | 404 | 120 | 13 | 26 | 17k|4443 | 0.000000e+00 | 6.000000e+00 | Inf
118.96/119.09 c 98.5s|210000 | 9418 |763670 | 3.6 |7536k| 37 | 5 | 120 | 368 | 120 | 13 | 26 | 17k|4556 | 0.000000e+00 | 6.000000e+00 | Inf
123.95/124.08 c 103s|220000 | 9272 |798980 | 3.6 |7460k| 37 | - | 120 | 365 | 120 | 13 | 26 | 18k|4727 | 0.000000e+00 | 6.000000e+00 | Inf
128.75/128.88 c 107s|230000 | 9324 |831849 | 3.6 |7613k| 37 | - | 120 | 396 | 120 | 13 | 26 | 19k|4863 | 0.000000e+00 | 6.000000e+00 | Inf
133.65/133.73 c 111s|240000 | 9271 |865644 | 3.6 |7604k| 37 | 5 | 120 | 292 | 120 | 13 | 26 | 20k|4987 | 0.000000e+00 | 6.000000e+00 | Inf
138.55/138.66 c 115s|250000 | 8897 |901206 | 3.6 |7381k| 37 | 5 | 120 | 261 | 120 | 13 | 26 | 20k|5107 | 0.000000e+00 | 6.000000e+00 | Inf
143.74/143.81 c 119s|260000 | 9116 |938729 | 3.6 |7562k| 37 | 5 | 120 | 200 | 120 | 13 | 26 | 21k|5438 | 0.000000e+00 | 6.000000e+00 | Inf
148.64/148.75 c 123s|270000 | 9541 |974769 | 3.6 |7884k| 37 | - | 120 | 192 | 120 | 13 | 26 | 22k|5466 | 0.000000e+00 | 6.000000e+00 | Inf
152.14/152.23 o 5
152.14/152.23 c * 126s|277026 | 9601 | 1000k| 3.6 |7756k| 37 | - | 120 | 198 | 120 | 13 | 26 | 22k|5488 | 0.000000e+00 | 5.000000e+00 | Inf
153.75/153.86 c 127s|280000 | 9590 | 1011k| 3.6 |7789k| 37 | 5 | 120 | 206 | 120 | 13 | 26 | 23k|5503 | 0.000000e+00 | 5.000000e+00 | Inf
158.64/158.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.64/158.75 c 131s|290000 | 9444 | 1047k| 3.6 |7801k| 37 | 5 | 120 | 228 | 120 | 13 | 26 | 23k|5556 | 0.000000e+00 | 5.000000e+00 | Inf
163.64/163.72 c 135s|300000 | 9276 | 1084k| 3.6 |7745k| 37 | 5 | 120 | 208 | 120 | 13 | 26 | 24k|5699 | 0.000000e+00 | 5.000000e+00 | Inf
168.83/168.91 c 140s|310000 | 8958 | 1120k| 3.6 |7487k| 37 | 5 | 120 | 238 | 120 | 13 | 26 | 25k|5834 | 0.000000e+00 | 5.000000e+00 | Inf
173.74/173.87 c 144s|320000 | 8522 | 1157k| 3.6 |7156k| 37 | - | 120 | 204 | 120 | 13 | 26 | 26k|5978 | 0.000000e+00 | 5.000000e+00 | Inf
178.73/178.81 c 148s|330000 | 8567 | 1193k| 3.6 |7228k| 37 | 5 | 120 | 206 | 120 | 13 | 26 | 26k|6125 | 0.000000e+00 | 5.000000e+00 | Inf
183.74/183.85 c 152s|340000 | 8463 | 1230k| 3.6 |7163k| 37 | 5 | 120 | 208 | 120 | 13 | 26 | 27k|6270 | 0.000000e+00 | 5.000000e+00 | Inf
188.73/188.89 c 156s|350000 | 8880 | 1271k| 3.6 |7531k| 37 | - | 120 | 227 | 120 | 13 | 26 | 28k|6379 | 0.000000e+00 | 5.000000e+00 | Inf
193.83/193.99 c 160s|360000 | 9133 | 1311k| 3.6 |7768k| 37 | - | 120 | 233 | 120 | 13 | 26 | 28k|6511 | 0.000000e+00 | 5.000000e+00 | Inf
198.93/199.00 c 164s|370000 | 9166 | 1351k| 3.7 |7953k| 37 | - | 120 | 245 | 120 | 13 | 26 | 29k|6646 | 0.000000e+00 | 5.000000e+00 | Inf
203.83/203.95 c 168s|380000 | 8702 | 1390k| 3.7 |7620k| 37 | - | 120 | 220 | 120 | 13 | 26 | 30k|6754 | 0.000000e+00 | 5.000000e+00 | Inf
209.03/209.14 c 173s|390000 | 8819 | 1430k| 3.7 |7576k| 37 | 5 | 120 | 263 | 120 | 13 | 26 | 30k|6916 | 0.000000e+00 | 5.000000e+00 | Inf
214.13/214.23 c 177s|400000 | 9109 | 1469k| 3.7 |7886k| 37 | 5 | 120 | 264 | 120 | 13 | 26 | 31k|7042 | 0.000000e+00 | 5.000000e+00 | Inf
219.13/219.23 c 181s|410000 | 9137 | 1507k| 3.7 |7986k| 37 | - | 120 | 277 | 120 | 13 | 26 | 32k|7162 | 0.000000e+00 | 5.000000e+00 | Inf
224.22/224.31 c 185s|420000 | 8657 | 1545k| 3.7 |7509k| 37 | 5 | 120 | 260 | 120 | 13 | 26 | 33k|7305 | 0.000000e+00 | 5.000000e+00 | Inf
229.22/229.37 c 189s|430000 | 9138 | 1584k| 3.7 |7933k| 37 | 5 | 120 | 259 | 120 | 13 | 26 | 33k|7442 | 0.000000e+00 | 5.000000e+00 | Inf
234.23/234.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
234.23/234.34 c 193s|440000 | 8816 | 1623k| 3.7 |7851k| 37 | 5 | 120 | 249 | 120 | 13 | 26 | 34k|7550 | 0.000000e+00 | 5.000000e+00 | Inf
239.32/239.42 c 198s|450000 | 8390 | 1661k| 3.7 |7413k| 37 | - | 120 | 225 | 120 | 13 | 26 | 34k|7707 | 0.000000e+00 | 5.000000e+00 | Inf
244.42/244.58 c 202s|460000 | 9181 | 1700k| 3.7 |7821k| 37 | 5 | 120 | 222 | 120 | 13 | 26 | 35k|7871 | 0.000000e+00 | 5.000000e+00 | Inf
249.42/249.55 c 206s|470000 | 9961 | 1737k| 3.7 |8422k| 37 | 5 | 120 | 231 | 120 | 13 | 26 | 36k|8004 | 0.000000e+00 | 5.000000e+00 | Inf
254.31/254.47 c 210s|480000 | 9992 | 1772k| 3.7 |8636k| 37 | - | 120 | 219 | 120 | 13 | 26 | 36k|8160 | 0.000000e+00 | 5.000000e+00 | Inf
259.21/259.31 c 214s|490000 | 10138 | 1807k| 3.7 |8879k| 37 | 5 | 120 | 226 | 120 | 13 | 26 | 37k|8279 | 0.000000e+00 | 5.000000e+00 | Inf
264.02/264.19 c 218s|500000 | 9748 | 1842k| 3.7 |8782k| 37 | 5 | 120 | 223 | 120 | 13 | 26 | 38k|8430 | 0.000000e+00 | 5.000000e+00 | Inf
269.01/269.13 c 222s|510000 | 9161 | 1877k| 3.7 |8460k| 37 | - | 120 | 221 | 120 | 13 | 26 | 39k|8571 | 0.000000e+00 | 5.000000e+00 | Inf
274.01/274.10 c 226s|520000 | 9112 | 1913k| 3.7 |8482k| 37 | 5 | 120 | 250 | 120 | 13 | 26 | 40k|8715 | 0.000000e+00 | 5.000000e+00 | Inf
279.01/279.12 c 230s|530000 | 8262 | 1949k| 3.7 |7499k| 37 | 5 | 120 | 210 | 120 | 13 | 26 | 40k|8861 | 0.000000e+00 | 5.000000e+00 | Inf
284.11/284.20 c 234s|540000 | 8994 | 1989k| 3.7 |8016k| 37 | 5 | 120 | 196 | 120 | 13 | 26 | 41k|8991 | 0.000000e+00 | 5.000000e+00 | Inf
289.00/289.12 c 238s|550000 | 8875 | 2025k| 3.7 |8092k| 37 | - | 120 | 201 | 120 | 13 | 26 | 42k|9127 | 0.000000e+00 | 5.000000e+00 | Inf
294.11/294.28 c 243s|560000 | 9249 | 2064k| 3.7 |8004k| 37 | - | 120 | 188 | 120 | 13 | 26 | 43k|9250 | 0.000000e+00 | 5.000000e+00 | Inf
299.50/299.60 c 247s|570000 | 11019 | 2105k| 3.7 |9021k| 37 | - | 120 | 185 | 120 | 13 | 26 | 43k|9381 | 0.000000e+00 | 5.000000e+00 | Inf
304.60/304.71 c 251s|580000 | 12126 | 2144k| 3.7 |9743k| 37 | - | 120 | 164 | 120 | 13 | 26 | 44k|9496 | 0.000000e+00 | 5.000000e+00 | Inf
309.60/309.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.60/309.79 c 255s|590000 | 13746 | 2182k| 3.7 | 10M| 37 | 5 | 120 | 189 | 120 | 13 | 26 | 45k|9601 | 0.000000e+00 | 5.000000e+00 | Inf
314.60/314.71 c 260s|600000 | 15241 | 2217k| 3.7 | 11M| 37 | 5 | 120 | 215 | 120 | 13 | 26 | 46k|9700 | 0.000000e+00 | 5.000000e+00 | Inf
319.50/319.60 c 264s|610000 | 16388 | 2252k| 3.7 | 12M| 37 | 5 | 120 | 205 | 120 | 13 | 26 | 46k|9782 | 0.000000e+00 | 5.000000e+00 | Inf
324.29/324.46 c 268s|620000 | 16956 | 2287k| 3.7 | 12M| 37 | 5 | 120 | 166 | 120 | 13 | 26 | 47k|9876 | 0.000000e+00 | 5.000000e+00 | Inf
329.19/329.37 c 272s|630000 | 18120 | 2322k| 3.7 | 13M| 37 | - | 120 | 201 | 0 | 0 | 26 | 48k|9962 | 0.000000e+00 | 5.000000e+00 | Inf
334.00/334.16 c 276s|640000 | 18686 | 2357k| 3.7 | 13M| 37 | 5 | 120 | 179 | 120 | 13 | 26 | 49k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
338.89/339.02 c 280s|650000 | 19187 | 2392k| 3.7 | 14M| 37 | - | 120 | 173 | 120 | 13 | 26 | 50k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
343.69/343.89 c 284s|660000 | 19545 | 2427k| 3.7 | 14M| 37 | - | 120 | 179 | 120 | 13 | 26 | 50k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
348.60/348.74 c 288s|670000 | 19886 | 2462k| 3.7 | 15M| 37 | - | 120 | 186 | 120 | 13 | 26 | 51k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
353.39/353.59 c 292s|680000 | 20327 | 2497k| 3.7 | 15M| 37 | - | 120 | 188 | 120 | 13 | 26 | 52k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
358.29/358.41 c 296s|690000 | 21023 | 2531k| 3.7 | 16M| 37 | 5 | 120 | 237 | 120 | 13 | 26 | 53k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
363.19/363.35 c 300s|700000 | 21321 | 2566k| 3.7 | 16M| 37 | 5 | 120 | 192 | 120 | 13 | 26 | 53k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
367.98/368.11 c 304s|710000 | 21422 | 2600k| 3.7 | 16M| 37 | - | 120 | 193 | 120 | 13 | 26 | 54k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
372.79/372.94 c 308s|720000 | 21554 | 2634k| 3.7 | 16M| 37 | - | 120 | 223 | 0 | 0 | 26 | 55k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
377.68/377.86 c 312s|730000 | 22642 | 2669k| 3.7 | 17M| 37 | 5 | 120 | 215 | 120 | 13 | 26 | 56k| 10k| 0.000000e+00 | 5.000000e+00 | Inf
382.57/382.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.57/382.74 c 316s|740000 | 22800 | 2703k| 3.7 | 17M| 37 | 5 | 120 | 221 | 120 | 13 | 26 | 57k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
387.37/387.53 c 320s|750000 | 22973 | 2736k| 3.6 | 18M| 37 | - | 120 | 190 | 120 | 13 | 26 | 57k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
392.17/392.39 c 324s|760000 | 23045 | 2772k| 3.6 | 18M| 37 | - | 120 | 189 | 0 | 0 | 26 | 58k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
397.08/397.27 c 328s|770000 | 23199 | 2807k| 3.6 | 18M| 37 | 5 | 120 | 187 | 120 | 13 | 26 | 59k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
401.97/402.13 c 332s|780000 | 23394 | 2842k| 3.6 | 18M| 37 | 5 | 120 | 190 | 120 | 13 | 26 | 60k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
406.88/407.03 c 336s|790000 | 23402 | 2877k| 3.6 | 18M| 37 | 5 | 120 | 171 | 120 | 13 | 26 | 60k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
411.76/411.99 c 340s|800000 | 23863 | 2913k| 3.6 | 19M| 37 | 5 | 120 | 190 | 120 | 13 | 26 | 61k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
416.66/416.83 c 344s|810000 | 23829 | 2947k| 3.6 | 19M| 37 | 5 | 120 | 179 | 120 | 13 | 26 | 62k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
421.46/421.63 c 348s|820000 | 23784 | 2981k| 3.6 | 19M| 37 | 5 | 120 | 178 | 120 | 13 | 26 | 63k| 11k| 0.000000e+00 | 5.000000e+00 | Inf
426.26/426.45 c 352s|830000 | 23421 | 3015k| 3.6 | 19M| 37 | - | 120 | 196 | 120 | 13 | 26 | 63k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
431.17/431.31 c 356s|840000 | 23295 | 3050k| 3.6 | 19M| 37 | - | 120 | 182 | 120 | 13 | 26 | 64k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
435.96/436.18 c 360s|850000 | 23313 | 3085k| 3.6 | 19M| 37 | 5 | 120 | 218 | 120 | 13 | 26 | 65k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
440.86/441.07 c 364s|860000 | 23290 | 3120k| 3.6 | 19M| 37 | 5 | 120 | 189 | 120 | 13 | 26 | 66k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
445.76/445.94 c 368s|870000 | 23301 | 3154k| 3.6 | 19M| 37 | 5 | 120 | 192 | 120 | 13 | 26 | 66k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
450.56/450.73 c 372s|880000 | 23054 | 3188k| 3.6 | 19M| 37 | 5 | 120 | 197 | 120 | 13 | 26 | 67k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
455.26/455.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.26/455.50 c 376s|890000 | 23098 | 3222k| 3.6 | 20M| 37 | - | 120 | 196 | 120 | 13 | 26 | 68k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
460.15/460.36 c 380s|900000 | 22938 | 3256k| 3.6 | 20M| 37 | - | 120 | 209 | 120 | 13 | 26 | 69k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
465.05/465.29 c 384s|910000 | 22741 | 3291k| 3.6 | 20M| 37 | 5 | 120 | 191 | 120 | 13 | 26 | 69k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
469.95/470.16 c 388s|920000 | 22957 | 3327k| 3.6 | 20M| 37 | - | 120 | 201 | 0 | 0 | 26 | 70k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
474.75/474.98 c 392s|930000 | 22960 | 3361k| 3.6 | 20M| 37 | - | 120 | 190 | 120 | 13 | 26 | 71k| 12k| 0.000000e+00 | 5.000000e+00 | Inf
479.56/479.80 c 396s|940000 | 22971 | 3395k| 3.6 | 20M| 37 | - | 120 | 182 | 0 | 0 | 26 | 72k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
484.44/484.65 c 400s|950000 | 23661 | 3430k| 3.6 | 20M| 37 | - | 120 | 209 | 120 | 13 | 26 | 72k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
489.24/489.45 c 404s|960000 | 23271 | 3462k| 3.6 | 20M| 37 | 5 | 120 | 191 | 120 | 13 | 26 | 73k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
494.04/494.29 c 408s|970000 | 22844 | 3496k| 3.6 | 20M| 37 | 5 | 120 | 207 | 120 | 13 | 26 | 74k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
498.84/499.07 c 412s|980000 | 22506 | 3529k| 3.6 | 20M| 37 | 5 | 120 | 206 | 120 | 13 | 26 | 75k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
503.75/503.94 c 416s|990000 | 22554 | 3565k| 3.6 | 20M| 37 | 5 | 120 | 208 | 120 | 13 | 26 | 75k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
508.54/508.78 c 420s| 1000k| 22250 | 3601k| 3.6 | 20M| 37 | - | 120 | 200 | 120 | 13 | 26 | 76k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
513.44/513.63 c 424s| 1010k| 21776 | 3635k| 3.6 | 20M| 37 | - | 120 | 193 | 120 | 13 | 26 | 77k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
518.23/518.49 c 428s| 1020k| 21779 | 3669k| 3.6 | 20M| 37 | - | 120 | 185 | 120 | 13 | 26 | 77k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
523.04/523.27 c 432s| 1030k| 21475 | 3703k| 3.6 | 20M| 37 | - | 120 | 235 | 0 | 0 | 26 | 78k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
527.94/528.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
527.94/528.12 c 436s| 1040k| 21224 | 3737k| 3.6 | 20M| 37 | 5 | 120 | 191 | 120 | 13 | 26 | 79k| 13k| 0.000000e+00 | 5.000000e+00 | Inf
532.63/532.88 c 439s| 1050k| 21273 | 3771k| 3.6 | 20M| 37 | - | 120 | 220 | 120 | 13 | 26 | 80k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
537.43/537.67 c 443s| 1060k| 21394 | 3803k| 3.6 | 20M| 37 | 5 | 120 | 252 | 120 | 13 | 26 | 81k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
542.33/542.54 c 447s| 1070k| 21363 | 3837k| 3.6 | 20M| 37 | 5 | 120 | 207 | 120 | 13 | 26 | 81k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
547.13/547.37 c 451s| 1080k| 21168 | 3871k| 3.6 | 20M| 37 | 5 | 120 | 203 | 120 | 13 | 26 | 82k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
552.04/552.21 c 455s| 1090k| 21158 | 3906k| 3.6 | 20M| 37 | - | 120 | 219 | 120 | 13 | 26 | 83k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
559.03/559.28 c 461s| 1100k| 20533 | 3940k| 3.6 | 20M| 37 | - | 120 | 206 | 120 | 13 | 26 | 84k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
563.82/564.07 c 465s| 1110k| 20497 | 3974k| 3.6 | 20M| 37 | 5 | 120 | 190 | 120 | 13 | 26 | 84k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
568.72/568.93 c 469s| 1120k| 20640 | 4009k| 3.6 | 20M| 37 | - | 120 | 217 | 120 | 13 | 26 | 85k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
573.52/573.71 c 473s| 1130k| 20396 | 4042k| 3.6 | 20M| 37 | 5 | 120 | 208 | 120 | 13 | 26 | 86k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
578.32/578.54 c 477s| 1140k| 19855 | 4076k| 3.6 | 19M| 37 | - | 120 | 196 | 120 | 13 | 26 | 86k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
583.10/583.31 c 481s| 1150k| 20096 | 4110k| 3.6 | 20M| 37 | 5 | 120 | 217 | 120 | 13 | 26 | 87k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
587.90/588.14 c 485s| 1160k| 19533 | 4144k| 3.6 | 19M| 37 | - | 120 | 196 | 120 | 13 | 26 | 88k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
592.71/592.96 c 489s| 1170k| 19144 | 4178k| 3.6 | 19M| 37 | 5 | 120 | 206 | 120 | 13 | 26 | 89k| 14k| 0.000000e+00 | 5.000000e+00 | Inf
597.51/597.76 c 493s| 1180k| 18717 | 4212k| 3.6 | 19M| 37 | - | 120 | 206 | 120 | 13 | 26 | 90k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
602.40/602.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.40/602.61 c 497s| 1190k| 18150 | 4247k| 3.6 | 18M| 37 | - | 120 | 190 | 120 | 13 | 26 | 90k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
607.20/607.45 c 501s| 1200k| 17514 | 4281k| 3.6 | 18M| 38 | - | 120 | 183 | 0 | 0 | 26 | 91k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
612.09/612.30 c 505s| 1210k| 16940 | 4315k| 3.6 | 17M| 38 | - | 120 | 210 | 120 | 13 | 26 | 92k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
616.91/617.12 c 509s| 1220k| 16076 | 4349k| 3.6 | 17M| 38 | 5 | 120 | 194 | 120 | 13 | 26 | 93k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
621.70/621.99 c 513s| 1230k| 15622 | 4384k| 3.6 | 16M| 38 | - | 120 | 201 | 120 | 13 | 26 | 94k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
626.59/626.83 c 517s| 1240k| 15214 | 4419k| 3.6 | 16M| 38 | - | 120 | 203 | 120 | 13 | 26 | 94k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
631.39/631.69 c 521s| 1250k| 14351 | 4453k| 3.6 | 15M| 38 | 5 | 120 | 190 | 120 | 13 | 26 | 95k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
636.29/636.51 c 525s| 1260k| 13786 | 4486k| 3.6 | 15M| 38 | - | 120 | 191 | 120 | 13 | 26 | 96k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
641.29/641.51 c 529s| 1270k| 14428 | 4522k| 3.6 | 15M| 38 | 5 | 120 | 225 | 120 | 13 | 26 | 97k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
646.18/646.41 c 533s| 1280k| 15361 | 4558k| 3.6 | 16M| 38 | - | 120 | 228 | 120 | 13 | 26 | 98k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
651.00/651.29 c 537s| 1290k| 15833 | 4594k| 3.6 | 16M| 38 | 5 | 120 | 209 | 120 | 13 | 26 | 98k| 15k| 0.000000e+00 | 5.000000e+00 | Inf
655.98/656.24 c 541s| 1300k| 16151 | 4629k| 3.6 | 17M| 38 | - | 120 | 202 | 120 | 13 | 26 | 99k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
660.99/661.26 c 545s| 1310k| 17178 | 4667k| 3.6 | 17M| 38 | - | 120 | 213 | 120 | 13 | 26 | 100k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
665.98/666.21 c 549s| 1320k| 17545 | 4703k| 3.6 | 18M| 38 | 5 | 120 | 186 | 120 | 13 | 26 | 101k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
670.98/671.21 c 554s| 1330k| 17853 | 4740k| 3.6 | 18M| 38 | - | 120 | 203 | 120 | 13 | 26 | 101k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
675.98/676.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.98/676.26 c 558s| 1340k| 18842 | 4777k| 3.6 | 19M| 38 | 5 | 120 | 214 | 120 | 13 | 26 | 102k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
680.97/681.27 c 562s| 1350k| 19724 | 4814k| 3.6 | 19M| 38 | 5 | 120 | 209 | 120 | 13 | 26 | 103k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
681.88/682.18 o 3
681.88/682.18 c * 563s| 1351k| 18444 | 4820k| 3.6 | 16M| 38 | - | 120 | 206 | 120 | 13 | 26 | 103k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
687.47/687.78 c 567s| 1360k| 18724 | 4849k| 3.6 | 17M| 38 | 5 | 120 | 228 | 120 | 13 | 26 | 104k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
692.17/692.43 c 571s| 1370k| 18913 | 4883k| 3.6 | 17M| 38 | - | 120 | 278 | 120 | 13 | 26 | 104k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
696.88/697.13 c 575s| 1380k| 18891 | 4918k| 3.6 | 17M| 38 | - | 120 | 269 | 120 | 13 | 26 | 105k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
701.68/701.91 c 579s| 1390k| 19430 | 4954k| 3.6 | 17M| 38 | 5 | 120 | 338 | 120 | 13 | 26 | 106k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
706.37/706.61 c 583s| 1400k| 19171 | 4988k| 3.6 | 17M| 38 | 5 | 120 | 273 | 120 | 13 | 26 | 107k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
713.27/713.56 c 588s| 1410k| 19026 | 5023k| 3.6 | 17M| 38 | 5 | 120 | 255 | 120 | 13 | 26 | 107k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
717.97/718.23 c 592s| 1420k| 19068 | 5058k| 3.6 | 17M| 38 | 5 | 120 | 288 | 120 | 13 | 26 | 108k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
722.57/722.87 c 596s| 1430k| 18989 | 5091k| 3.6 | 18M| 38 | 5 | 120 | 314 | 120 | 13 | 26 | 109k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
727.26/727.58 c 600s| 1440k| 18603 | 5126k| 3.6 | 17M| 38 | - | 120 | 285 | 120 | 13 | 26 | 110k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
731.97/732.26 c 604s| 1450k| 18171 | 5160k| 3.6 | 17M| 38 | - | 120 | 282 | 120 | 13 | 26 | 110k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
736.66/736.97 c 607s| 1460k| 17957 | 5195k| 3.6 | 17M| 38 | 5 | 120 | 286 | 120 | 13 | 26 | 111k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
741.37/741.69 c 611s| 1470k| 17494 | 5230k| 3.6 | 17M| 38 | - | 120 | 305 | 120 | 13 | 26 | 112k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
746.06/746.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
746.06/746.35 c 615s| 1480k| 17174 | 5264k| 3.6 | 17M| 38 | - | 120 | 293 | 0 | 0 | 26 | 112k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
750.76/751.05 c 619s| 1490k| 17012 | 5298k| 3.6 | 17M| 38 | - | 120 | 319 | 120 | 13 | 26 | 113k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
755.57/755.87 c 623s| 1500k| 16172 | 5333k| 3.6 | 16M| 38 | - | 120 | 268 | 120 | 13 | 26 | 114k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
760.35/760.64 c 627s| 1510k| 16590 | 5370k| 3.6 | 16M| 38 | 5 | 120 | 277 | 120 | 13 | 26 | 115k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
765.06/765.31 c 631s| 1520k| 16495 | 5408k| 3.6 | 16M| 38 | 5 | 120 | 262 | 120 | 13 | 26 | 115k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
769.76/770.06 c 635s| 1530k| 16039 | 5445k| 3.6 | 16M| 38 | 5 | 120 | 268 | 120 | 13 | 26 | 116k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
774.55/774.81 c 638s| 1540k| 15525 | 5480k| 3.6 | 16M| 38 | - | 120 | 256 | 0 | 0 | 26 | 117k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
779.25/779.51 c 642s| 1550k| 15457 | 5515k| 3.6 | 16M| 38 | 5 | 120 | 316 | 120 | 13 | 26 | 117k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
783.95/784.23 c 646s| 1560k| 15054 | 5550k| 3.6 | 15M| 38 | 5 | 120 | 336 | 120 | 13 | 26 | 118k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
788.65/788.96 c 650s| 1570k| 14577 | 5585k| 3.6 | 15M| 38 | - | 120 | 353 | 120 | 13 | 26 | 119k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
793.55/793.80 c 654s| 1580k| 13735 | 5620k| 3.6 | 14M| 38 | 5 | 120 | 292 | 120 | 13 | 26 | 120k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
798.24/798.58 c 658s| 1590k| 13401 | 5655k| 3.6 | 14M| 38 | - | 120 | 350 | 120 | 13 | 26 | 120k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
803.05/803.32 c 662s| 1600k| 13952 | 5692k| 3.6 | 14M| 38 | - | 120 | 383 | 120 | 13 | 26 | 121k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
807.74/808.06 c 666s| 1610k| 14169 | 5727k| 3.6 | 14M| 38 | 5 | 120 | 367 | 120 | 13 | 26 | 122k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
812.55/812.82 c 670s| 1620k| 15139 | 5764k| 3.6 | 15M| 38 | 5 | 120 | 380 | 120 | 13 | 26 | 122k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
817.15/817.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.15/817.48 c 673s| 1630k| 15599 | 5799k| 3.6 | 15M| 38 | 5 | 120 | 352 | 120 | 13 | 26 | 123k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
821.74/822.09 c 677s| 1640k| 15620 | 5833k| 3.6 | 15M| 38 | - | 120 | 356 | 120 | 13 | 26 | 124k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
826.34/826.68 c 681s| 1650k| 15104 | 5866k| 3.6 | 15M| 38 | - | 120 | 330 | 120 | 13 | 26 | 124k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
831.03/831.32 c 685s| 1660k| 15086 | 5900k| 3.6 | 15M| 38 | - | 120 | 364 | 120 | 13 | 26 | 125k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
835.63/835.96 c 688s| 1670k| 14911 | 5934k| 3.6 | 15M| 38 | - | 120 | 359 | 120 | 13 | 26 | 126k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
840.34/840.68 c 692s| 1680k| 13847 | 5969k| 3.6 | 14M| 38 | - | 120 | 340 | 120 | 13 | 26 | 126k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
845.14/845.47 c 696s| 1690k| 12831 | 6004k| 3.6 | 13M| 38 | 5 | 120 | 323 | 120 | 13 | 26 | 127k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
849.93/850.21 c 700s| 1700k| 12000 | 6037k| 3.6 | 12M| 38 | - | 120 | 306 | 120 | 13 | 26 | 128k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
854.63/854.91 c 704s| 1710k| 11154 | 6071k| 3.6 | 11M| 38 | - | 120 | 361 | 120 | 13 | 26 | 129k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
859.12/859.47 c 708s| 1720k| 11128 | 6104k| 3.5 | 11M| 38 | - | 120 | 349 | 0 | 0 | 26 | 129k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
863.73/864.08 c 711s| 1730k| 11026 | 6136k| 3.5 | 11M| 38 | 5 | 120 | 371 | 120 | 13 | 26 | 130k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
868.42/868.76 c 715s| 1740k| 10241 | 6169k| 3.5 | 10M| 38 | 5 | 120 | 329 | 120 | 13 | 26 | 131k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
873.13/873.47 c 719s| 1750k| 9758 | 6203k| 3.5 | 10M| 38 | - | 120 | 364 | 120 | 13 | 26 | 132k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
877.92/878.22 c 723s| 1760k| 8295 | 6236k| 3.5 |7954k| 38 | 5 | 120 | 348 | 120 | 13 | 26 | 133k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
885.12/885.44 c 729s| 1770k| 8717 | 6271k| 3.5 |8256k| 38 | - | 120 | 375 | 120 | 13 | 26 | 133k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
889.82/890.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.82/890.18 c 733s| 1780k| 7842 | 6304k| 3.5 |7170k| 38 | - | 120 | 372 | 120 | 13 | 26 | 134k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
894.52/894.87 c 737s| 1790k| 7790 | 6339k| 3.5 |7038k| 38 | 5 | 120 | 393 | 120 | 13 | 26 | 135k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
899.32/899.62 c 740s| 1800k| 7039 | 6373k| 3.5 |5824k| 38 | - | 120 | 387 | 120 | 13 | 26 | 136k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
904.02/904.31 c 744s| 1810k| 6675 | 6407k| 3.5 |5523k| 38 | 5 | 120 | 410 | 120 | 13 | 26 | 136k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
908.72/909.04 c 748s| 1820k| 6975 | 6442k| 3.5 |5737k| 38 | 5 | 120 | 434 | 120 | 13 | 26 | 137k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
913.42/913.70 c 752s| 1830k| 6483 | 6475k| 3.5 |5252k| 38 | - | 120 | 408 | 120 | 13 | 26 | 138k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
918.02/918.36 c 756s| 1840k| 6273 | 6509k| 3.5 |5120k| 38 | - | 120 | 420 | 120 | 13 | 26 | 139k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
922.72/923.01 c 760s| 1850k| 5945 | 6542k| 3.5 |4747k| 38 | 5 | 120 | 394 | 120 | 13 | 26 | 139k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
927.31/927.60 c 763s| 1860k| 5839 | 6575k| 3.5 |4643k| 38 | - | 120 | 416 | 120 | 13 | 26 | 140k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
931.91/932.27 c 767s| 1870k| 5405 | 6609k| 3.5 |4072k| 38 | 5 | 120 | 386 | 120 | 13 | 26 | 141k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
936.61/936.99 c 771s| 1880k| 6289 | 6644k| 3.5 |4582k| 38 | - | 120 | 413 | 120 | 13 | 26 | 141k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
941.32/941.67 c 775s| 1890k| 6898 | 6678k| 3.5 |5029k| 38 | 5 | 120 | 392 | 120 | 13 | 26 | 142k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
946.01/946.31 c 779s| 1900k| 7430 | 6712k| 3.5 |5444k| 38 | 5 | 120 | 377 | 120 | 13 | 26 | 143k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
950.61/950.91 c 782s| 1910k| 7466 | 6746k| 3.5 |5612k| 38 | - | 120 | 391 | 0 | 0 | 26 | 143k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
955.10/955.45 c 786s| 1920k| 7033 | 6778k| 3.5 |5460k| 38 | - | 120 | 375 | 120 | 13 | 26 | 144k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
959.60/959.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.60/959.97 c 790s| 1930k| 6749 | 6811k| 3.5 |5326k| 38 | 5 | 120 | 389 | 120 | 13 | 26 | 145k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
964.21/964.51 c 794s| 1940k| 6126 | 6843k| 3.5 |4894k| 38 | 5 | 120 | 395 | 120 | 13 | 26 | 145k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
968.80/969.15 c 797s| 1950k| 5462 | 6878k| 3.5 |4020k| 38 | 5 | 120 | 363 | 120 | 13 | 26 | 146k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
973.50/973.84 c 801s| 1960k| 5067 | 6911k| 3.5 |3604k| 38 | - | 120 | 392 | 120 | 13 | 26 | 147k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
978.39/978.73 c 805s| 1970k| 5875 | 6945k| 3.5 |4024k| 38 | - | 120 | 438 | 120 | 13 | 26 | 148k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
983.10/983.50 c 809s| 1980k| 6964 | 6981k| 3.5 |4723k| 38 | 5 | 120 | 470 | 120 | 13 | 26 | 148k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
987.80/988.17 c 813s| 1990k| 7472 | 7016k| 3.5 |5160k| 38 | - | 120 | 423 | 120 | 13 | 26 | 149k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
992.40/992.78 c 817s| 2000k| 7996 | 7050k| 3.5 |5583k| 38 | 5 | 120 | 421 | 120 | 13 | 26 | 149k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
997.10/997.40 c 821s| 2010k| 8522 | 7082k| 3.5 |6028k| 38 | 5 | 120 | 445 | 120 | 13 | 26 | 150k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1001.69/1002.06 c 825s| 2020k| 8821 | 7116k| 3.5 |6309k| 38 | 5 | 120 | 375 | 120 | 13 | 26 | 151k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1006.29/1006.64 c 828s| 2030k| 9051 | 7149k| 3.5 |6563k| 38 | 5 | 120 | 405 | 120 | 13 | 26 | 151k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1010.89/1011.26 c 832s| 2040k| 9998 | 7183k| 3.5 |7180k| 38 | 5 | 120 | 432 | 120 | 13 | 26 | 152k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1015.49/1015.82 c 836s| 2050k| 10074 | 7214k| 3.5 |7407k| 38 | 5 | 120 | 473 | 120 | 13 | 26 | 153k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1020.09/1020.41 c 840s| 2060k| 10052 | 7246k| 3.5 |7499k| 38 | 5 | 120 | 410 | 120 | 13 | 26 | 153k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1024.58/1024.95 c 843s| 2070k| 9687 | 7278k| 3.5 |7411k| 38 | 5 | 120 | 393 | 120 | 13 | 26 | 154k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1029.19/1029.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1029.19/1029.54 c 847s| 2080k| 9918 | 7311k| 3.5 |7672k| 38 | - | 120 | 419 | 120 | 13 | 26 | 155k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1033.79/1034.11 c 851s| 2090k| 9725 | 7343k| 3.5 |7654k| 38 | - | 120 | 398 | 0 | 0 | 26 | 155k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1038.38/1038.77 c 855s| 2100k| 10110 | 7376k| 3.5 |7936k| 38 | - | 120 | 440 | 120 | 13 | 26 | 156k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1042.88/1043.25 c 858s| 2110k| 10340 | 7407k| 3.5 |8212k| 38 | 5 | 120 | 419 | 120 | 13 | 26 | 157k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1047.28/1047.68 c 862s| 2120k| 10087 | 7436k| 3.5 |8156k| 38 | - | 120 | 409 | 120 | 13 | 26 | 157k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1051.88/1052.26 c 866s| 2130k| 10540 | 7468k| 3.5 |8533k| 38 | 5 | 120 | 442 | 120 | 13 | 26 | 158k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1056.48/1056.83 c 869s| 2140k| 10453 | 7500k| 3.5 |8572k| 38 | - | 120 | 408 | 0 | 0 | 26 | 159k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1061.07/1061.43 c 873s| 2150k| 10294 | 7532k| 3.5 |8559k| 38 | - | 120 | 471 | 0 | 0 | 26 | 160k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1065.78/1066.18 c 877s| 2160k| 11263 | 7564k| 3.5 |9149k| 38 | 5 | 120 | 474 | 120 | 13 | 26 | 160k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1070.37/1070.74 c 881s| 2170k| 11534 | 7596k| 3.5 |9467k| 38 | 5 | 120 | 509 | 120 | 13 | 26 | 161k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1075.07/1075.43 c 885s| 2180k| 11640 | 7627k| 3.5 |9668k| 38 | 5 | 120 | 530 | 120 | 13 | 26 | 162k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
1079.57/1079.92 c 888s| 2190k| 11413 | 7657k| 3.5 |9639k| 38 | 5 | 120 | 577 | 120 | 13 | 26 | 162k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1084.17/1084.50 c 892s| 2200k| 11230 | 7689k| 3.5 |9562k| 38 | - | 120 | 507 | 120 | 13 | 26 | 163k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1088.67/1089.08 c 896s| 2210k| 11180 | 7720k| 3.5 |9609k| 38 | 5 | 120 | 460 | 120 | 13 | 26 | 164k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1093.27/1093.67 c 900s| 2220k| 11506 | 7752k| 3.5 |9842k| 38 | - | 120 | 493 | 120 | 13 | 26 | 164k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1097.86/1098.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1097.86/1098.21 c 903s| 2230k| 11349 | 7783k| 3.5 |9866k| 38 | - | 120 | 495 | 120 | 13 | 26 | 165k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1102.36/1102.77 c 907s| 2240k| 11497 | 7814k| 3.5 |9953k| 38 | - | 120 | 455 | 0 | 0 | 26 | 166k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1106.87/1107.27 c 911s| 2250k| 11185 | 7844k| 3.5 |9872k| 38 | 5 | 120 | 462 | 120 | 13 | 26 | 167k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1111.46/1111.85 c 914s| 2260k| 10778 | 7875k| 3.5 |9639k| 38 | 5 | 120 | 441 | 120 | 13 | 26 | 167k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1116.17/1116.53 c 918s| 2270k| 10750 | 7908k| 3.5 |9538k| 38 | - | 120 | 422 | 120 | 13 | 26 | 168k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1120.75/1121.11 c 922s| 2280k| 11018 | 7939k| 3.5 |9886k| 38 | - | 120 | 459 | 0 | 0 | 26 | 168k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1125.36/1125.72 c 926s| 2290k| 10952 | 7970k| 3.5 |9966k| 38 | 5 | 120 | 457 | 120 | 13 | 26 | 169k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1129.95/1130.39 c 930s| 2300k| 10490 | 8002k| 3.5 |9677k| 38 | - | 120 | 467 | 120 | 13 | 26 | 170k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1134.55/1134.98 c 934s| 2310k| 10240 | 8032k| 3.5 |9495k| 38 | - | 120 | 488 | 120 | 13 | 26 | 171k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1139.16/1139.59 c 937s| 2320k| 9771 | 8064k| 3.5 |9147k| 38 | - | 120 | 442 | 120 | 13 | 26 | 172k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1143.76/1144.14 c 941s| 2330k| 9187 | 8095k| 3.5 |8677k| 38 | - | 120 | 448 | 120 | 13 | 26 | 172k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1148.36/1148.71 c 945s| 2340k| 8838 | 8127k| 3.5 |8386k| 38 | 5 | 120 | 469 | 120 | 13 | 26 | 173k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1152.95/1153.37 c 949s| 2350k| 8258 | 8158k| 3.5 |7881k| 38 | - | 120 | 416 | 120 | 13 | 26 | 174k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1157.55/1157.94 c 952s| 2360k| 7768 | 8189k| 3.5 |7406k| 38 | - | 120 | 439 | 120 | 13 | 26 | 175k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1162.25/1162.60 c 956s| 2370k| 8257 | 8222k| 3.5 |7616k| 38 | 5 | 120 | 451 | 120 | 13 | 26 | 175k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1166.86/1167.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1166.86/1167.21 c 960s| 2380k| 8790 | 8254k| 3.5 |8062k| 38 | 5 | 120 | 460 | 120 | 13 | 26 | 176k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1171.35/1171.74 c 964s| 2390k| 9169 | 8286k| 3.5 |8424k| 38 | 5 | 120 | 464 | 120 | 13 | 26 | 177k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1175.85/1176.26 c 967s| 2400k| 8839 | 8316k| 3.5 |8354k| 38 | - | 120 | 475 | 120 | 13 | 26 | 177k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
1180.45/1180.84 c 971s| 2410k| 8459 | 8347k| 3.5 |8160k| 38 | 5 | 120 | 459 | 120 | 13 | 26 | 178k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1185.05/1185.44 c 975s| 2420k| 7454 | 8378k| 3.5 |7165k| 38 | 5 | 120 | 431 | 120 | 13 | 26 | 179k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1189.64/1190.05 c 979s| 2430k| 6861 | 8410k| 3.5 |6566k| 38 | 5 | 120 | 509 | 120 | 13 | 26 | 180k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1194.25/1194.68 c 983s| 2440k| 6366 | 8442k| 3.5 |5944k| 38 | 5 | 120 | 428 | 120 | 13 | 26 | 180k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1198.94/1199.33 c 986s| 2450k| 5662 | 8473k| 3.5 |5035k| 38 | - | 120 | 430 | 120 | 13 | 26 | 181k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1203.64/1204.03 c 990s| 2460k| 4883 | 8505k| 3.5 |3502k| 38 | 5 | 120 | 414 | 120 | 13 | 26 | 182k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1208.24/1208.63 c 994s| 2470k| 5323 | 8538k| 3.5 |3778k| 38 | 5 | 120 | 476 | 120 | 13 | 26 | 183k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1212.83/1213.23 c 998s| 2480k| 6415 | 8571k| 3.5 |4486k| 38 | 5 | 120 | 524 | 120 | 13 | 26 | 183k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1217.44/1217.84 c 1002s| 2490k| 7535 | 8603k| 3.5 |5210k| 38 | - | 120 | 547 | 120 | 13 | 26 | 184k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1221.93/1222.34 c 1006s| 2500k| 8162 | 8635k| 3.5 |5688k| 38 | 5 | 120 | 567 | 120 | 13 | 26 | 184k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1226.43/1226.87 c 1009s| 2510k| 8302 | 8665k| 3.5 |5918k| 38 | 5 | 120 | 503 | 120 | 13 | 26 | 185k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1231.23/1231.62 c 1013s| 2520k| 9753 | 8699k| 3.5 |6765k| 38 | - | 120 | 542 | 120 | 13 | 26 | 186k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1235.73/1236.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.73/1236.13 c 1017s| 2530k| 10366 | 8731k| 3.5 |7275k| 38 | 5 | 120 | 575 | 120 | 13 | 26 | 186k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1240.13/1240.59 c 1021s| 2540k| 10465 | 8761k| 3.4 |7502k| 38 | - | 120 | 576 | 120 | 13 | 26 | 187k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1244.63/1245.04 c 1024s| 2550k| 10730 | 8791k| 3.4 |7824k| 38 | - | 120 | 639 | 0 | 0 | 26 | 188k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1249.13/1249.55 c 1028s| 2560k| 10686 | 8822k| 3.4 |7882k| 38 | - | 120 | 538 | 0 | 0 | 26 | 189k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1253.63/1254.06 c 1032s| 2570k| 11363 | 8854k| 3.4 |8409k| 38 | - | 120 | 578 | 120 | 13 | 26 | 189k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1258.22/1258.63 c 1035s| 2580k| 12095 | 8886k| 3.4 |8936k| 38 | 5 | 120 | 588 | 120 | 13 | 26 | 190k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1262.72/1263.13 c 1039s| 2590k| 12394 | 8916k| 3.4 |9277k| 38 | - | 120 | 594 | 0 | 0 | 26 | 191k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1267.22/1267.64 c 1043s| 2600k| 12291 | 8947k| 3.4 |9360k| 38 | 5 | 120 | 629 | 120 | 13 | 26 | 192k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1271.71/1272.11 c 1047s| 2610k| 12155 | 8977k| 3.4 |9389k| 38 | 5 | 120 | 552 | 120 | 13 | 26 | 192k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1276.22/1276.66 c 1050s| 2620k| 12603 | 9007k| 3.4 |9770k| 38 | - | 120 | 566 | 120 | 13 | 26 | 193k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1280.71/1281.11 c 1054s| 2630k| 12526 | 9037k| 3.4 |9863k| 38 | 5 | 120 | 562 | 120 | 13 | 26 | 194k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1285.21/1285.63 c 1058s| 2640k| 12434 | 9067k| 3.4 |9919k| 38 | - | 120 | 571 | 120 | 13 | 26 | 195k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1289.61/1290.03 c 1062s| 2650k| 12087 | 9096k| 3.4 |9797k| 38 | 5 | 120 | 498 | 120 | 13 | 26 | 195k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1294.01/1294.44 c 1065s| 2660k| 12284 | 9125k| 3.4 | 10M| 38 | - | 120 | 630 | 120 | 13 | 26 | 196k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1298.51/1298.91 c 1069s| 2670k| 12222 | 9156k| 3.4 | 10M| 38 | - | 120 | 550 | 0 | 0 | 26 | 197k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
1302.90/1303.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1302.90/1303.36 c 1073s| 2680k| 12252 | 9186k| 3.4 | 10M| 38 | 5 | 120 | 618 | 120 | 13 | 26 | 198k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1307.31/1307.78 c 1076s| 2690k| 11962 | 9215k| 3.4 | 10M| 38 | 5 | 120 | 551 | 120 | 13 | 26 | 198k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1311.81/1312.24 c 1080s| 2700k| 11919 | 9245k| 3.4 | 10M| 38 | - | 120 | 595 | 120 | 13 | 26 | 199k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1316.20/1316.68 c 1084s| 2710k| 11410 | 9274k| 3.4 |9904k| 38 | - | 120 | 522 | 120 | 13 | 26 | 200k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1320.71/1321.14 c 1087s| 2720k| 11197 | 9305k| 3.4 |9847k| 38 | - | 120 | 522 | 120 | 13 | 26 | 201k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1325.11/1325.59 c 1091s| 2730k| 10981 | 9334k| 3.4 |9770k| 38 | - | 120 | 535 | 0 | 0 | 26 | 201k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1329.60/1330.04 c 1095s| 2740k| 10723 | 9364k| 3.4 |9639k| 38 | 5 | 120 | 537 | 120 | 13 | 26 | 202k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1334.01/1334.49 c 1098s| 2750k| 10392 | 9393k| 3.4 |9437k| 38 | 5 | 120 | 484 | 120 | 13 | 26 | 203k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1338.41/1338.88 c 1102s| 2760k| 10767 | 9424k| 3.4 |9794k| 38 | - | 120 | 518 | 120 | 13 | 26 | 203k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1342.81/1343.29 c 1106s| 2770k| 10349 | 9453k| 3.4 |9540k| 38 | - | 120 | 496 | 0 | 0 | 26 | 204k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1347.29/1347.72 c 1109s| 2780k| 10926 | 9482k| 3.4 |9999k| 38 | - | 120 | 561 | 0 | 0 | 26 | 205k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1351.70/1352.15 c 1113s| 2790k| 10401 | 9512k| 3.4 |9712k| 38 | 5 | 120 | 503 | 120 | 13 | 26 | 206k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1356.20/1356.63 c 1117s| 2800k| 9614 | 9541k| 3.4 |9112k| 38 | 5 | 120 | 449 | 120 | 13 | 26 | 206k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1360.59/1361.07 c 1120s| 2810k| 9247 | 9571k| 3.4 |8901k| 38 | - | 120 | 496 | 120 | 13 | 26 | 207k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1365.09/1365.55 c 1124s| 2820k| 8750 | 9602k| 3.4 |8497k| 38 | - | 120 | 513 | 120 | 13 | 26 | 208k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1369.59/1370.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.59/1370.01 c 1128s| 2830k| 7906 | 9631k| 3.4 |7704k| 38 | 5 | 120 | 473 | 120 | 13 | 26 | 208k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1373.99/1374.48 c 1131s| 2840k| 6874 | 9660k| 3.4 |6650k| 38 | 5 | 120 | 440 | 120 | 13 | 26 | 209k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1378.49/1378.92 c 1135s| 2850k| 6045 | 9689k| 3.4 |5693k| 38 | - | 120 | 459 | 120 | 13 | 26 | 210k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1383.09/1383.55 c 1139s| 2860k| 4889 | 9719k| 3.4 |3919k| 38 | - | 120 | 506 | 120 | 13 | 26 | 211k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1387.90/1388.32 c 1143s| 2870k| 5097 | 9754k| 3.4 |3772k| 38 | - | 120 | 558 | 0 | 0 | 26 | 212k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1392.48/1392.92 c 1147s| 2880k| 5223 | 9787k| 3.4 |3956k| 38 | - | 120 | 514 | 0 | 0 | 26 | 212k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1397.18/1397.65 c 1150s| 2890k| 5680 | 9822k| 3.4 |4306k| 38 | 5 | 120 | 488 | 120 | 13 | 26 | 213k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
1401.79/1402.27 c 1154s| 2900k| 5593 | 9856k| 3.4 |4392k| 38 | - | 120 | 437 | 120 | 13 | 26 | 214k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1406.29/1406.79 c 1158s| 2910k| 5393 | 9888k| 3.4 |4328k| 38 | - | 120 | 448 | 120 | 13 | 26 | 214k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1410.88/1411.37 c 1162s| 2920k| 5177 | 9920k| 3.4 |4169k| 38 | - | 120 | 439 | 120 | 13 | 26 | 215k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1415.58/1416.02 c 1166s| 2930k| 4983 | 9954k| 3.4 |3628k| 38 | 5 | 120 | 433 | 120 | 13 | 26 | 216k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1420.07/1420.58 c 1169s| 2940k| 5582 | 9986k| 3.4 |4131k| 38 | 5 | 120 | 479 | 120 | 13 | 26 | 216k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1424.67/1425.12 c 1173s| 2950k| 5138 | 10017k| 3.4 |3926k| 38 | 5 | 120 | 477 | 120 | 13 | 26 | 217k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1429.28/1429.78 c 1177s| 2960k| 4666 | 10050k| 3.4 |3459k| 38 | 5 | 120 | 443 | 120 | 13 | 26 | 218k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1433.78/1434.23 c 1180s| 2970k| 5225 | 10079k| 3.4 |3942k| 38 | 5 | 120 | 513 | 120 | 13 | 26 | 218k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1438.17/1438.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1438.17/1438.63 c 1184s| 2980k| 5073 | 10108k| 3.4 |3934k| 38 | 5 | 120 | 524 | 120 | 13 | 26 | 219k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1442.67/1443.13 c 1188s| 2990k| 4594 | 10139k| 3.4 |3452k| 38 | - | 120 | 506 | 120 | 13 | 26 | 220k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1447.28/1447.71 c 1192s| 3000k| 5854 | 10169k| 3.4 |4230k| 38 | 5 | 120 | 554 | 120 | 13 | 26 | 221k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1451.77/1452.29 c 1195s| 3010k| 6864 | 10200k| 3.4 |4882k| 38 | - | 120 | 524 | 0 | 0 | 26 | 221k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1456.37/1456.83 c 1199s| 3020k| 7568 | 10231k| 3.4 |5414k| 38 | 5 | 120 | 504 | 120 | 13 | 26 | 222k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1460.86/1461.30 c 1203s| 3030k| 7728 | 10261k| 3.4 |5674k| 38 | 5 | 120 | 497 | 120 | 13 | 26 | 223k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1465.26/1465.73 c 1206s| 3040k| 8083 | 10290k| 3.4 |6046k| 38 | - | 120 | 540 | 120 | 13 | 26 | 224k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1469.66/1470.13 c 1210s| 3050k| 7982 | 10319k| 3.4 |6167k| 38 | 5 | 120 | 536 | 120 | 13 | 26 | 225k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1474.16/1474.69 c 1214s| 3060k| 8012 | 10349k| 3.4 |6322k| 38 | 5 | 120 | 539 | 120 | 13 | 26 | 226k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1478.66/1479.15 c 1218s| 3070k| 7717 | 10379k| 3.4 |6243k| 38 | - | 120 | 516 | 120 | 13 | 26 | 226k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1483.16/1483.65 c 1221s| 3080k| 7196 | 10409k| 3.4 |6024k| 38 | 5 | 120 | 505 | 120 | 13 | 26 | 227k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1487.66/1488.14 c 1225s| 3090k| 6637 | 10438k| 3.4 |5715k| 38 | - | 120 | 535 | 0 | 0 | 26 | 228k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1492.06/1492.55 c 1229s| 3100k| 6197 | 10466k| 3.4 |5411k| 38 | 5 | 120 | 507 | 120 | 13 | 26 | 229k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1496.66/1497.14 c 1232s| 3110k| 5066 | 10496k| 3.4 |4311k| 38 | - | 120 | 524 | 0 | 0 | 26 | 230k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1501.35/1501.87 c 1236s| 3120k| 5089 | 10529k| 3.4 |3830k| 38 | 5 | 120 | 487 | 120 | 13 | 26 | 231k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1506.05/1506.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1506.05/1506.53 c 1240s| 3130k| 5674 | 10563k| 3.4 |4302k| 38 | 5 | 120 | 517 | 120 | 13 | 26 | 231k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1510.65/1511.11 c 1244s| 3140k| 5872 | 10596k| 3.4 |4534k| 38 | 5 | 120 | 494 | 120 | 13 | 26 | 232k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1515.15/1515.69 c 1248s| 3150k| 6510 | 10628k| 3.4 |5024k| 38 | - | 120 | 470 | 120 | 13 | 26 | 233k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1519.86/1520.31 c 1252s| 3160k| 7263 | 10661k| 3.4 |5602k| 38 | 5 | 120 | 542 | 120 | 13 | 26 | 234k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1524.45/1524.93 c 1255s| 3170k| 7946 | 10695k| 3.4 |6108k| 38 | 5 | 120 | 536 | 120 | 13 | 26 | 234k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1529.04/1529.50 c 1259s| 3180k| 8284 | 10728k| 3.4 |6410k| 38 | - | 120 | 445 | 120 | 13 | 26 | 235k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1533.65/1534.11 c 1263s| 3190k| 8314 | 10761k| 3.4 |6592k| 38 | 5 | 120 | 497 | 120 | 13 | 26 | 236k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1538.14/1538.69 c 1267s| 3200k| 8646 | 10793k| 3.4 |6938k| 38 | - | 120 | 521 | 120 | 13 | 26 | 237k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1542.74/1543.24 c 1271s| 3210k| 8527 | 10825k| 3.4 |6983k| 38 | - | 120 | 481 | 0 | 0 | 26 | 238k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1547.24/1547.80 c 1274s| 3220k| 8454 | 10857k| 3.4 |7055k| 38 | - | 120 | 475 | 120 | 13 | 26 | 238k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1551.83/1552.35 c 1278s| 3230k| 8987 | 10889k| 3.4 |7471k| 38 | - | 120 | 521 | 120 | 13 | 26 | 239k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1556.43/1556.97 c 1282s| 3240k| 9399 | 10923k| 3.4 |7871k| 38 | - | 120 | 584 | 120 | 13 | 26 | 240k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1560.93/1561.49 c 1286s| 3250k| 9588 | 10955k| 3.4 |8121k| 38 | 5 | 120 | 631 | 120 | 13 | 26 | 241k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1565.53/1566.07 c 1289s| 3260k| 9327 | 10986k| 3.4 |8023k| 38 | 5 | 120 | 479 | 120 | 13 | 26 | 242k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1570.13/1570.69 c 1293s| 3270k| 8902 | 11019k| 3.4 |7860k| 38 | 5 | 120 | 465 | 120 | 13 | 26 | 243k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1574.83/1575.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.83/1575.32 c 1297s| 3280k| 8557 | 11051k| 3.4 |7708k| 38 | - | 120 | 483 | 0 | 0 | 26 | 243k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1579.33/1579.86 c 1301s| 3290k| 8383 | 11082k| 3.4 |7669k| 38 | - | 120 | 495 | 120 | 13 | 26 | 244k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1583.92/1584.43 c 1305s| 3300k| 8748 | 11115k| 3.4 |8014k| 38 | 5 | 120 | 547 | 120 | 13 | 26 | 245k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1588.42/1588.97 c 1308s| 3310k| 8781 | 11145k| 3.4 |8173k| 38 | - | 120 | 608 | 120 | 13 | 26 | 246k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1593.02/1593.56 c 1312s| 3320k| 8664 | 11177k| 3.4 |8165k| 38 | 5 | 120 | 618 | 120 | 13 | 26 | 247k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1597.72/1598.21 c 1316s| 3330k| 8300 | 11209k| 3.4 |7905k| 38 | 5 | 120 | 480 | 120 | 13 | 26 | 248k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1602.23/1602.74 c 1320s| 3340k| 8665 | 11241k| 3.4 |8202k| 38 | - | 120 | 473 | 120 | 13 | 26 | 249k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1606.62/1607.17 c 1323s| 3350k| 8676 | 11271k| 3.4 |8346k| 38 | 5 | 120 | 516 | 120 | 13 | 26 | 249k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1611.21/1611.79 c 1327s| 3360k| 8426 | 11304k| 3.4 |8170k| 38 | 5 | 120 | 491 | 120 | 13 | 26 | 250k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1615.81/1616.36 c 1331s| 3370k| 8884 | 11336k| 3.4 |8592k| 38 | 5 | 120 | 473 | 120 | 13 | 26 | 251k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1620.41/1620.91 c 1335s| 3380k| 8757 | 11368k| 3.4 |8640k| 38 | 5 | 120 | 507 | 120 | 13 | 26 | 252k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1624.91/1625.44 c 1338s| 3390k| 8570 | 11400k| 3.4 |8546k| 38 | - | 120 | 521 | 120 | 13 | 26 | 253k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1629.51/1630.01 c 1342s| 3400k| 8714 | 11431k| 3.4 |8650k| 38 | - | 120 | 544 | 120 | 13 | 26 | 254k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1634.01/1634.51 c 1346s| 3410k| 8867 | 11462k| 3.4 |8871k| 38 | 5 | 120 | 594 | 120 | 13 | 26 | 255k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1638.51/1639.04 c 1349s| 3420k| 8960 | 11493k| 3.4 |9064k| 38 | 5 | 120 | 678 | 120 | 13 | 26 | 256k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1643.01/1643.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.01/1643.56 c 1353s| 3430k| 8812 | 11525k| 3.4 |9017k| 38 | - | 120 | 603 | 120 | 13 | 26 | 257k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1647.61/1648.13 c 1357s| 3440k| 8543 | 11557k| 3.4 |8826k| 38 | 5 | 120 | 544 | 120 | 13 | 26 | 258k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1652.10/1652.61 c 1361s| 3450k| 8857 | 11589k| 3.4 |9152k| 38 | 5 | 120 | 608 | 120 | 13 | 26 | 258k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1656.60/1657.18 c 1364s| 3460k| 8926 | 11620k| 3.4 |9305k| 38 | - | 120 | 601 | 120 | 13 | 26 | 259k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1661.30/1661.83 c 1368s| 3470k| 8875 | 11652k| 3.4 |9261k| 38 | 5 | 120 | 587 | 120 | 13 | 26 | 260k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1665.80/1666.36 c 1372s| 3480k| 8692 | 11683k| 3.4 |9241k| 38 | 5 | 120 | 605 | 120 | 13 | 26 | 261k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1670.29/1670.87 c 1376s| 3490k| 8593 | 11715k| 3.4 |9213k| 38 | - | 120 | 604 | 120 | 13 | 26 | 262k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1674.91/1675.48 c 1379s| 3500k| 8441 | 11747k| 3.4 |9130k| 38 | 5 | 120 | 629 | 120 | 13 | 26 | 263k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1679.69/1680.21 c 1383s| 3510k| 7895 | 11780k| 3.4 |8618k| 38 | 5 | 120 | 525 | 120 | 13 | 26 | 264k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1684.19/1684.76 c 1387s| 3520k| 7782 | 11811k| 3.4 |8570k| 38 | 5 | 120 | 547 | 120 | 13 | 26 | 265k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1688.89/1689.49 c 1391s| 3530k| 7168 | 11844k| 3.4 |7998k| 38 | - | 120 | 572 | 120 | 13 | 26 | 265k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1693.99/1694.52 c 1395s| 3540k| 5535 | 11876k| 3.4 |6074k| 39 | 5 | 120 | 490 | 120 | 13 | 26 | 267k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1698.49/1699.09 c 1399s| 3550k| 5354 | 11906k| 3.4 |5786k| 39 | - | 120 | 545 | 120 | 13 | 26 | 268k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1703.50/1704.02 c 1403s| 3560k| 4295 | 11936k| 3.4 |3476k| 40 | 5 | 120 | 713 | 120 | 13 | 26 | 269k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1707.99/1708.59 c 1407s| 3570k| 4378 | 11968k| 3.4 |3528k| 40 | - | 120 | 666 | 120 | 13 | 26 | 270k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1712.79/1713.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1712.79/1713.30 c 1411s| 3580k| 4755 | 12002k| 3.4 |3645k| 40 | 5 | 120 | 593 | 120 | 13 | 26 | 271k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1717.28/1717.86 c 1414s| 3590k| 5799 | 12035k| 3.4 |4358k| 40 | 5 | 120 | 627 | 120 | 13 | 26 | 271k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1721.78/1722.35 c 1418s| 3600k| 6295 | 12067k| 3.4 |4798k| 40 | 5 | 120 | 642 | 120 | 13 | 26 | 272k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1726.28/1726.84 c 1422s| 3610k| 6724 | 12099k| 3.4 |5176k| 40 | - | 120 | 658 | 120 | 13 | 26 | 273k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1730.78/1731.39 c 1426s| 3620k| 6755 | 12131k| 3.4 |5377k| 40 | 5 | 120 | 647 | 120 | 13 | 26 | 273k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1735.38/1735.98 c 1429s| 3630k| 7421 | 12164k| 3.4 |5872k| 40 | 5 | 120 | 606 | 120 | 13 | 26 | 274k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1739.87/1740.48 c 1433s| 3640k| 7575 | 12196k| 3.4 |6102k| 40 | - | 120 | 586 | 120 | 13 | 26 | 275k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1744.47/1745.00 c 1437s| 3650k| 7720 | 12228k| 3.4 |6326k| 40 | - | 120 | 557 | 0 | 0 | 26 | 275k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1748.98/1749.56 c 1440s| 3660k| 7947 | 12260k| 3.3 |6587k| 40 | 5 | 120 | 572 | 120 | 13 | 26 | 276k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1753.47/1754.04 c 1444s| 3670k| 7727 | 12291k| 3.3 |6589k| 40 | - | 120 | 557 | 0 | 0 | 26 | 277k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1757.97/1758.58 c 1448s| 3680k| 7830 | 12323k| 3.3 |6756k| 40 | - | 120 | 549 | 0 | 0 | 26 | 278k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1762.57/1763.12 c 1452s| 3690k| 7754 | 12356k| 3.3 |6811k| 40 | - | 120 | 567 | 120 | 13 | 26 | 278k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1767.06/1767.61 c 1455s| 3700k| 7705 | 12387k| 3.3 |6877k| 40 | - | 120 | 571 | 120 | 13 | 26 | 279k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1771.58/1772.16 c 1459s| 3710k| 8136 | 12419k| 3.3 |7219k| 40 | 5 | 120 | 553 | 120 | 13 | 26 | 280k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1776.08/1776.61 c 1463s| 3720k| 7929 | 12449k| 3.3 |7183k| 40 | - | 120 | 566 | 120 | 13 | 26 | 281k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1780.47/1781.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.47/1781.07 c 1466s| 3730k| 7768 | 12480k| 3.3 |7144k| 40 | - | 120 | 553 | 120 | 13 | 26 | 281k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1785.06/1785.67 c 1470s| 3740k| 8255 | 12512k| 3.3 |7572k| 40 | - | 120 | 554 | 120 | 13 | 26 | 282k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1789.66/1790.21 c 1474s| 3750k| 8437 | 12544k| 3.3 |7846k| 40 | 5 | 120 | 593 | 120 | 13 | 26 | 283k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1794.16/1794.74 c 1478s| 3760k| 8114 | 12576k| 3.3 |7713k| 40 | 5 | 120 | 579 | 120 | 13 | 26 | 283k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1798.65/1799.26 c 1481s| 3770k| 7668 | 12607k| 3.3 |7424k| 40 | - | 120 | 596 | 120 | 13 | 26 | 284k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1800.07/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.60 c
1800.07/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.60 c Solving Time (sec) : 1482.45
1800.07/1800.60 c Solving Nodes : 3772960
1800.07/1800.60 c Primal Bound : +3.00000000000000e+00 (26 solutions)
1800.07/1800.60 c Dual Bound : +0.00000000000000e+00
1800.07/1800.60 c Gap : infinite
1800.07/1800.60 s SATISFIABLE
1800.07/1800.60 v x120 x119 -x118 x117 -x116 x115 -x114 -x113 x112 -x111 x110 -x109 x108 x107 x106 -x105 -x104 x103 -x102 x101 x100 -x99 -x98 x97
1800.07/1800.60 v -x96 -x95 -x94 -x93 x92 x91 x90 -x89 -x88 x87 -x86 x85 x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1800.07/1800.60 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1800.07/1800.60 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1800.07/1800.60 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.07/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.60 c Solving Time : 1482.45
1800.07/1800.60 c Original Problem :
1800.07/1800.60 c Problem name : HOME/instance-2665656-1276617081.opb
1800.07/1800.60 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.60 c Constraints : 10 initial, 10 maximal
1800.07/1800.60 c Presolved Problem :
1800.07/1800.60 c Problem name : t_HOME/instance-2665656-1276617081.opb
1800.07/1800.60 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.60 c Constraints : 5 initial, 766 maximal
1800.07/1800.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.60 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c linear : 0.00 0 0 0 0 0 5 0 0
1800.07/1800.60 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c root node : - 60 - - 60 - - - -
1800.07/1800.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.60 c integral : 0 0 0 1926247 0 1840 20025 0 0 3808888
1800.07/1800.60 c linear : 5+ 7 4996597 0 0 574577 4013723 0 0 0
1800.07/1800.60 c logicor : 0+ 0 2401224 0 0 6051 120466 0 0 0
1800.07/1800.60 c countsols : 0 0 0 12 0 0 0 0 0 0
1800.07/1800.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.60 c integral : 29.88 0.00 0.00 29.88 0.00
1800.07/1800.60 c linear : 242.43 0.00 242.43 0.00 0.00
1800.07/1800.60 c logicor : 20.92 0.00 20.92 0.00 0.00
1800.07/1800.60 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.60 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.60 c vbounds : 2.58 2 0 0
1800.07/1800.60 c rootredcost : 2.40 25 0 60
1800.07/1800.60 c pseudoobj : 34.13 5006037 9624 211443
1800.07/1800.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.60 c propagation : 29.24 590252 221613 295287 34.7 20 31.2 -
1800.07/1800.60 c infeasible LP : 3.07 57556 57405 66044 18.6 27 26.4 0
1800.07/1800.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.60 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.60 c applied globally : - - - 91688 21.0 - - -
1800.07/1800.60 c applied locally : - - - 193357 35.7 - - -
1800.07/1800.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.60 c cut pool : 0.00 5 - - 16 - (maximal pool size: 81)
1800.07/1800.60 c redcost : 26.75 2173988 0 4739867 0 0
1800.07/1800.60 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.60 c intobj : 0.00 0 0 0 0 0
1800.07/1800.60 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.60 c gomory : 0.01 6 0 0 0 0
1800.07/1800.60 c strongcg : 0.00 6 0 0 26 0
1800.07/1800.60 c cmir : 0.02 6 0 0 28 0
1800.07/1800.60 c flowcover : 0.04 6 0 0 38 0
1800.07/1800.60 c clique : 0.00 1 0 0 0 0
1800.07/1800.60 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.60 c mcf : 0.00 1 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.08 1 0 0 0 103
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 27.07 1926235 1840 20025 0 0 3808888
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.04 - 12
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c intshifting : 0.18 0 0
1800.07/1800.61 c oneopt : 2.45 25 0
1800.07/1800.61 c crossover : 15.33 18 0
1800.07/1800.61 c veclendiving : 7.17 5267 1
1800.07/1800.61 c linesearchdiving : 6.79 5267 2
1800.07/1800.61 c guideddiving : 6.74 5267 2
1800.07/1800.61 c rootsoldiving : 6.33 2634 1
1800.07/1800.61 c coefdiving : 9.27 5268 2
1800.07/1800.61 c pscostdiving : 7.38 5268 2
1800.07/1800.61 c fracdiving : 7.51 5268 3
1800.07/1800.61 c objpscostdiving : 2.69 2635 0
1800.07/1800.61 c trivial : 0.00 2 0
1800.07/1800.61 c simplerounding : 1.55 0 0
1800.07/1800.61 c zirounding : 1.94 1000 0
1800.07/1800.61 c rounding : 2.42 20712 0
1800.07/1800.61 c shifting : 5.22 7510 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c feaspump : 0.04 1 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.02 1 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 1.48 0 0
1800.07/1800.61 c trysol : 3.12 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 735.80 3473750 12201664 3.51 16582.85
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 29.00 149361 414314 2.77 14286.69
1800.07/1800.61 c strong branching : 8.46 29599 94747 3.20 11199.41
1800.07/1800.61 c (at root node) : - 9 210 23.33 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 3772960
1800.07/1800.61 c nodes (total) : 3772960
1800.07/1800.61 c nodes left : 7533
1800.07/1800.61 c max depth : 40
1800.07/1800.61 c max depth (total): 40
1800.07/1800.61 c backtracks : 1072815 (28.4%)
1800.07/1800.61 c delayed cutoffs : 25541
1800.07/1800.61 c repropagations : 155616 (198170 domain reductions, 22890 cutoffs)
1800.07/1800.61 c avg switch length: 5.13
1800.07/1800.61 c switching time : 96.17
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 26 (25 improvements)
1800.07/1800.61 c First Solution : +7.30000000000000e+02 (in run 1, after 1 nodes, 0.09 seconds, depth 0, found by <trysol>)
1800.07/1800.61 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1351826 nodes, 562.67 seconds, depth 31, found by <relaxation>)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Root Iterations : 65
1800.07/1800.65 c Time complete: 1800.11.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665656-1276617081/watcher-2665656-1276617081 -o /tmp/evaluation-result-2665656-1276617081/solver-2665656-1276617081 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665656-1276617081.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 10125
/proc/meminfo: memFree=1470328/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=9288 CPUtime=0
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 1028 0 0 0 0 0 0 0 18 0 1 0 3000779 9510912 948 1992294400 4194304 9819077 140735059818416 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10125/statm: 2322 958 371 1374 0 943 0
[startup+0.106843 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 10125
/proc/meminfo: memFree=1470328/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=22252 CPUtime=0.09
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 4892 0 0 0 7 2 0 0 20 0 1 0 3000779 22786048 3935 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 5563 3935 673 1374 0 4184 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22252
[startup+0.200851 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 10125
/proc/meminfo: memFree=1470328/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=16208 CPUtime=0.19
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 4997 0 0 0 16 3 0 0 20 0 1 0 3000779 16596992 2719 1992294400 4194304 9819077 140735059818416 18446744073709551615 6046773 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 4052 2719 686 1374 0 2673 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16208
[startup+0.300859 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 10125
/proc/meminfo: memFree=1470328/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=16828 CPUtime=0.29
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 9563 0 0 0 23 6 0 0 20 0 1 0 3000779 17231872 2809 1992294400 4194304 9819077 140735059818416 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 4207 2809 722 1374 0 2828 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16828
[startup+0.700894 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 10125
/proc/meminfo: memFree=1470328/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=16984 CPUtime=0.69
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 15998 0 0 0 55 14 0 0 20 0 1 0 3000779 17391616 2812 1992294400 4194304 9819077 140735059818416 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 4086 2808 724 1374 0 2707 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16984
[startup+1.50096 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10126
/proc/meminfo: memFree=1461268/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=16624 CPUtime=1.49
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 25380 0 0 0 124 25 0 0 23 0 1 0 3000779 17022976 2851 1992294400 4194304 9819077 140735059818416 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 4156 2850 725 1374 0 2777 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16624
[startup+3.1011 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10126
/proc/meminfo: memFree=1460772/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=17172 CPUtime=3.09
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 47415 0 0 0 261 48 0 0 25 0 1 0 3000779 17584128 3005 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 4293 3005 725 1374 0 2914 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17172
[startup+6.30039 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10128
/proc/meminfo: memFree=1459284/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=18576 CPUtime=6.29
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 87474 0 0 0 531 98 0 0 25 0 1 0 3000779 19021824 3363 1992294400 4194304 9819077 140735059818416 18446744073709551615 6361780 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 4644 3363 725 1374 0 3265 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18576
[startup+12.7009 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10128
/proc/meminfo: memFree=1457424/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=19720 CPUtime=12.68
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 178888 0 0 0 1059 209 0 0 25 0 1 0 3000779 20193280 3685 1992294400 4194304 9819077 140735059818416 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 4970 3686 725 1374 0 3591 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19720
[startup+25.5011 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10128
/proc/meminfo: memFree=1457176/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=20232 CPUtime=25.48
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 360186 0 0 0 2114 434 0 0 25 0 1 0 3000779 20717568 3763 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 5058 3763 725 1374 0 3679 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20232
[startup+51.1013 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10128
/proc/meminfo: memFree=1456308/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=20944 CPUtime=51.07
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 694893 0 0 0 4237 870 0 0 25 0 1 0 3000779 21446656 3964 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 5236 3964 725 1374 0 3857 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20944
[startup+102.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10130
/proc/meminfo: memFree=1453208/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=24432 CPUtime=102.26
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 1359431 0 0 0 8478 1748 0 0 25 0 1 0 3000779 25018368 4833 1992294400 4194304 9819077 140735059818416 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 6108 4833 725 1374 0 4729 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 24432
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 10132
/proc/meminfo: memFree=1452092/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=24664 CPUtime=162.24
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 2177803 0 0 0 13412 2812 0 0 25 0 1 0 3000779 25255936 4929 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 6166 4929 725 1374 0 4787 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24664
[startup+222.308 s]
/proc/loadavg: 1.12 1.00 1.00 2/107 10132
/proc/meminfo: memFree=1452092/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=24692 CPUtime=222.23
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 2995861 0 0 0 18348 3875 0 0 25 0 1 0 3000779 25284608 4933 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 6173 4933 725 1374 0 4794 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 24692
[startup+282.301 s]
/proc/loadavg: 1.10 1.01 1.00 2/107 10134
/proc/meminfo: memFree=1451472/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=25432 CPUtime=282.21
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 3807295 0 0 0 23278 4943 0 0 25 0 1 0 3000779 26042368 5090 1992294400 4194304 9819077 140735059818416 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 6358 5090 725 1374 0 4979 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 25432
[startup+342.301 s]
/proc/loadavg: 1.08 1.02 1.00 2/107 10136
/proc/meminfo: memFree=1445644/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=31496 CPUtime=342.19
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 4598421 0 0 0 28225 5994 0 0 25 0 1 0 3000779 32251904 6625 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 7874 6625 725 1374 0 6495 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 31496
[startup+402.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 10138
/proc/meminfo: memFree=1441552/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=35496 CPUtime=402.17
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 5381134 0 0 0 33175 7042 0 0 25 0 1 0 3000779 36347904 7640 1992294400 4194304 9819077 140735059818416 18446744073709551615 4976330 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8874 7640 725 1374 0 7495 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 35496
[startup+462.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 10140
/proc/meminfo: memFree=1439940/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=36976 CPUtime=462.16
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 6164394 0 0 0 38128 8088 0 0 25 0 1 0 3000779 37863424 8020 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 9244 8020 725 1374 0 7865 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 36976
[startup+522.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 10140
/proc/meminfo: memFree=1438948/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=38024 CPUtime=522.14
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 6948219 0 0 0 43078 9136 0 0 25 0 1 0 3000779 38936576 8260 1992294400 4194304 9819077 140735059818416 18446744073709551615 7317721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 9506 8260 725 1374 0 8127 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 38024
[startup+582.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10151
/proc/meminfo: memFree=1437460/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=37952 CPUtime=582.1
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 7742168 0 0 0 48021 10189 0 0 25 0 1 0 3000779 38862848 8313 1992294400 4194304 9819077 140735059818416 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 9528 8314 725 1374 0 8149 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 37952
[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10153
/proc/meminfo: memFree=1437460/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=38412 CPUtime=642.09
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 8528183 0 0 0 52974 11235 0 0 25 0 1 0 3000779 39333888 8367 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 9603 8367 725 1374 0 8224 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 38412
[startup+702.301 s]
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10159
/proc/meminfo: memFree=1436592/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=38612 CPUtime=882.03
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 11797124 0 0 0 72631 15572 0 0 25 0 1 0 3000779 39538688 8467 1992294400 4194304 9819077 140735059818416 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 9612 8467 725 1374 0 8233 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 38612
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10161
/proc/meminfo: memFree=1440064/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=35116 CPUtime=942
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 12614162 0 0 0 77544 16656 0 0 25 0 1 0 3000779 35958784 7595 1992294400 4194304 9819077 140735059818416 18446744073709551615 4983326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8779 7595 725 1374 0 7400 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 35116
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10163
/proc/meminfo: memFree=1440064/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=35120 CPUtime=1001.99
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 13434788 0 0 0 82470 17729 0 0 25 0 1 0 3000779 35962880 7595 1992294400 4194304 9819077 140735059818416 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8699 7593 725 1374 0 7320 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 35120
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10165
/proc/meminfo: memFree=1440064/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=35440 CPUtime=1061.97
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 14242489 0 0 0 87378 18819 0 0 25 0 1 0 3000779 36290560 7676 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8860 7676 725 1374 0 7481 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 35440
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10165
/proc/meminfo: memFree=1439568/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=35444 CPUtime=1121.96
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 15053645 0 0 0 92298 19898 0 0 25 0 1 0 3000779 36294656 7676 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8861 7676 725 1374 0 7482 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 35444
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10167
/proc/meminfo: memFree=1439568/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=34484 CPUtime=1181.95
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 15853476 0 0 0 97240 20955 0 0 25 0 1 0 3000779 35311616 7671 1992294400 4194304 9819077 140735059818416 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8861 7675 725 1374 0 7482 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 34484
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10169
/proc/meminfo: memFree=1439940/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=34608 CPUtime=1241.92
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 16638411 0 0 0 102199 21993 0 0 25 0 1 0 3000779 35438592 7546 1992294400 4194304 9819077 140735059818416 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8691 7546 725 1374 0 7312 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 34608
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10171
/proc/meminfo: memFree=1439940/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=34288 CPUtime=1301.91
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 17402943 0 0 0 107177 23014 0 0 25 0 1 0 3000779 35110912 7544 1992294400 4194304 9819077 140735059818416 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8692 7546 725 1374 0 7313 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 34288
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10173
/proc/meminfo: memFree=1439940/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=34924 CPUtime=1361.89
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 18172880 0 0 0 112127 24062 0 0 25 0 1 0 3000779 35762176 7547 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8731 7547 725 1374 0 7352 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 34924
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10173
/proc/meminfo: memFree=1439940/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=34928 CPUtime=1421.89
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 18967066 0 0 0 117066 25123 0 0 25 0 1 0 3000779 35766272 7547 1992294400 4194304 9819077 140735059818416 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8732 7547 725 1374 0 7353 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 34928
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10175
/proc/meminfo: memFree=1440188/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=34540 CPUtime=1481.86
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 19737479 0 0 0 122014 26172 0 0 25 0 1 0 3000779 35368960 7450 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8635 7450 725 1374 0 7256 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 34540
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10177
/proc/meminfo: memFree=1440188/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=34536 CPUtime=1541.84
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 20523062 0 0 0 126979 27205 0 0 25 0 1 0 3000779 35364864 7450 1992294400 4194304 9819077 140735059818416 18446744073709551615 4982923 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8634 7450 725 1374 0 7255 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 34536
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10179
/proc/meminfo: memFree=1440188/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=34648 CPUtime=1601.83
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 21312177 0 0 0 131926 28257 0 0 25 0 1 0 3000779 35479552 7451 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8662 7451 725 1374 0 7283 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 34648
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10181
/proc/meminfo: memFree=1440188/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=34704 CPUtime=1661.8
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 22114038 0 0 0 136854 29326 0 0 25 0 1 0 3000779 35536896 7462 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8676 7462 725 1374 0 7297 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 34704
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10181
/proc/meminfo: memFree=1440188/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=34720 CPUtime=1721.78
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 22908749 0 0 0 141799 30379 0 0 25 0 1 0 3000779 35553280 7468 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8680 7468 725 1374 0 7301 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 34720
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10183
/proc/meminfo: memFree=1439940/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=34724 CPUtime=1781.77
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 23701600 0 0 0 146733 31444 0 0 25 0 1 0 3000779 35557376 7468 1992294400 4194304 9819077 140735059818416 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8521 7465 725 1374 0 7142 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 34724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10183
/proc/meminfo: memFree=1439940/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=34724 CPUtime=1800.07
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 23944609 0 0 0 148245 31762 0 0 25 0 1 0 3000779 35557376 7468 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8681 7468 725 1374 0 7302 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 34724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10183
/proc/meminfo: memFree=1439940/2059040 swapFree=4192956/4192956
[pid=10125] ppid=10123 vsize=34724 CPUtime=1800.07
/proc/10125/stat : 10125 (pbscip.linux.x8) R 10123 10125 10021 0 -1 4202496 23944609 0 0 0 148245 31762 0 0 25 0 1 0 3000779 35557376 7468 1992294400 4194304 9819077 140735059818416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10125/statm: 8681 7468 725 1374 0 7302 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 34724
Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.12
CPU user time (s): 1482.5
CPU system time (s): 317.624
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 48520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1482.5
system time used= 317.624
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23944619
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= 4
involuntary context switches= 3707
runsolver used 3.06053 second user time and 8.45371 second system time
The end