Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 3 | 1800.12 | 1800.65 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_2.opb |
| MD5SUM | c0264878059fff5e6fa5f51839a60b24 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 1789.82 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | NO |
| Number of variables | 120 |
| Total number of constraints | 10 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 54 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1196 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4099 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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.
OK 3
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
Begin job on node041 at 2010-06-15 17:51:21 IDJOB=2665656 IDBENCH=2926 IDSOLVER=1168 FILE ID=node041/2665656-1276617081 PBS_JOBID= 11172299 Free space on /tmp= 62084 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_2.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER 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 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c0264878059fff5e6fa5f51839a60b24 RANDOM SEED=1197733917 node041.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1470856 kB Buffers: 77832 kB Cached: 370716 kB SwapCached: 0 kB Active: 204668 kB Inactive: 303292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1470856 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6224 kB Writeback: 0 kB AnonPages: 59412 kB Mapped: 15424 kB Slab: 58340 kB PageTables: 3916 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181304 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62080 MiB End job on node041 at 2010-06-15 18:21:24