Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 8 | 1791.19 | 1791.64 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
| MD5SUM | 8d16c34d0eecf3c16ca4b890652c15ca |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 1800.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 7 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| 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 | 12 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| 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 | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1270 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4321 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703922-1278562178.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/146 (69.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.3
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 = 1790
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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = 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.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 31 | - | 489k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 o 1154
0.09/0.13 c y 0.1s| 1 | 0 | 75 | - | 533k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 82 | - | 654k| 0 | 11 | 146 | 73 | 146 | 12 | 6 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 94 | - | 710k| 0 | 12 | 146 | 73 | 146 | 16 | 10 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 110 | - | 750k| 0 | 15 | 146 | 73 | 146 | 21 | 15 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 131 | - | 772k| 0 | 19 | 146 | 73 | 146 | 24 | 18 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 163 | - | 788k| 0 | 15 | 146 | 73 | 146 | 27 | 21 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 173 | - | 806k| 0 | 14 | 146 | 73 | 146 | 30 | 24 | 0 | 0 | 0.000000e+00 | 1.154000e+03 | Inf
0.19/0.28 c 0.3s| 1 | 2 | 173 | - | 806k| 0 | 14 | 146 | 73 | 146 | 30 | 24 | 0 | 11 | 0.000000e+00 | 1.154000e+03 | Inf
0.39/0.40 o 438
0.39/0.40 c p 0.4s| 44 | 45 | 447 | 6.4 | 881k| 37 | - | 146 | 73 | 146 | 14 | 24 | 2 | 222 | 0.000000e+00 | 4.380000e+02 | Inf
0.39/0.43 o 178
0.39/0.43 c f 0.4s| 64 | 65 | 583 | 6.5 | 899k| 37 | - | 146 | 73 | 146 | 14 | 24 | 2 | 267 | 0.000000e+00 | 1.780000e+02 | Inf
0.49/0.57 o 144
0.49/0.57 c p 0.6s| 213 | 208 | 1446 | 6.0 |1002k| 41 | - | 146 | 84 | 146 | 14 | 24 | 15 | 386 | 0.000000e+00 | 1.440000e+02 | Inf
1.59/1.67 o 102
1.59/1.67 c C 1.7s| 1613 | 1571 | 9284 | 5.7 |1654k| 43 | 6 | 146 | 123 | 146 | 14 | 24 | 103 | 511 | 0.000000e+00 | 1.020000e+02 | Inf
2.10/2.15 o 73
2.10/2.15 c g 2.1s| 2278 | 2185 | 13158 | 5.7 |1929k| 43 | - | 146 | 63 | 146 | 14 | 24 | 152 | 530 | 0.000000e+00 | 7.300000e+01 | Inf
2.59/2.63 o 71
2.59/2.63 c v 2.6s| 3005 | 2891 | 16946 | 5.6 |2240k| 44 | - | 146 | 66 | 146 | 14 | 24 | 194 | 555 | 0.000000e+00 | 7.100000e+01 | Inf
3.79/3.86 o 46
3.79/3.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.79/3.86 c g 3.8s| 3941 | 3607 | 22890 | 5.8 |2582k| 44 | - | 146 | 71 | 146 | 14 | 24 | 263 | 579 | 0.000000e+00 | 4.600000e+01 | Inf
7.29/7.38 o 45
7.29/7.38 c * 7.4s| 8455 | 7450 | 52888 | 6.2 |4526k| 45 | - | 146 | 97 | 146 | 14 | 24 | 689 | 796 | 0.000000e+00 | 4.500000e+01 | Inf
8.29/8.30 c 8.3s| 10000 | 8580 | 60256 | 6.0 |5163k| 45 | 6 | 146 | 88 | 146 | 14 | 24 | 787 | 876 | 0.000000e+00 | 4.500000e+01 | Inf
12.00/12.10 o 44
12.00/12.10 c *12.1s| 16758 | 13688 | 91904 | 5.5 |7972k| 45 | - | 146 | 81 | 146 | 14 | 24 |1225 |1236 | 0.000000e+00 | 4.400000e+01 | Inf
12.58/12.65 o 28
12.58/12.65 c g12.6s| 17692 | 11959 | 96287 | 5.4 |6659k| 45 | - | 146 | 84 | 146 | 14 | 24 |1312 |1278 | 0.000000e+00 | 2.800000e+01 | Inf
12.58/12.69 o 26
12.58/12.69 c *12.7s| 17756 | 11868 | 96570 | 5.4 |6559k| 45 | - | 146 | 72 | 146 | 14 | 24 |1320 |1289 | 0.000000e+00 | 2.600000e+01 | Inf
13.99/14.00 c 14.0s| 20000 | 13145 |107590 | 5.4 |7272k| 45 | 6 | 146 | 75 | 146 | 14 | 24 |1547 |1407 | 0.000000e+00 | 2.600000e+01 | Inf
19.18/19.27 c 19.3s| 30000 | 18327 |151589 | 5.0 | 10M| 45 | - | 146 | 93 | 146 | 14 | 24 |2613 |1760 | 0.000000e+00 | 2.600000e+01 | Inf
19.69/19.77 o 25
19.69/19.77 c *19.8s| 30939 | 18755 |155813 | 5.0 | 10M| 45 | - | 146 | 95 | 146 | 14 | 24 |2692 |1785 | 0.000000e+00 | 2.500000e+01 | Inf
24.49/24.55 c 24.5s| 40000 | 23789 |195004 | 4.9 | 13M| 45 | 6 | 146 | 102 | 146 | 14 | 24 |3588 |2044 | 0.000000e+00 | 2.500000e+01 | Inf
27.88/27.96 o 24
27.88/27.96 c *28.0s| 46476 | 26908 |223008 | 4.8 | 15M| 45 | - | 146 | 110 | 146 | 14 | 24 |4231 |2209 | 0.000000e+00 | 2.400000e+01 | Inf
27.88/27.97 o 22
27.88/27.97 c *28.0s| 46478 | 26641 |223008 | 4.8 | 14M| 45 | - | 146 | 110 | 146 | 14 | 24 |4231 |2211 | 0.000000e+00 | 2.200000e+01 | Inf
27.88/27.97 o 20
27.88/27.97 c *28.0s| 46479 | 26221 |223008 | 4.8 | 14M| 45 | - | 146 | 110 | 146 | 14 | 24 |4231 |2211 | 0.000000e+00 | 2.000000e+01 | Inf
29.59/29.63 c 29.6s| 50000 | 27569 |236127 | 4.7 | 15M| 45 | 6 | 146 | 111 | 146 | 14 | 24 |4584 |2298 | 0.000000e+00 | 2.000000e+01 | Inf
35.78/35.84 c 35.8s| 60000 | 31071 |273840 | 4.6 | 17M| 45 | 6 | 146 | 90 | 146 | 14 | 24 |5606 |2540 | 0.000000e+00 | 2.000000e+01 | Inf
40.17/40.27 o 18
40.17/40.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.17/40.27 c *40.3s| 69818 | 33293 |309744 | 4.4 | 18M| 45 | - | 146 | 73 | 146 | 14 | 24 |6516 |2730 | 0.000000e+00 | 1.800000e+01 | Inf
40.27/40.36 c 40.3s| 70000 | 33312 |310429 | 4.4 | 18M| 45 | 6 | 146 | 73 | 146 | 14 | 24 |6538 |2734 | 0.000000e+00 | 1.800000e+01 | Inf
44.77/44.83 c 44.8s| 80000 | 35698 |346306 | 4.3 | 20M| 45 | 6 | 146 | 72 | 146 | 14 | 24 |7479 |2921 | 0.000000e+00 | 1.800000e+01 | Inf
49.17/49.28 c 49.3s| 90000 | 38336 |382851 | 4.3 | 22M| 45 | - | 146 | 71 | 146 | 14 | 24 |8315 |3073 | 0.000000e+00 | 1.800000e+01 | Inf
50.37/50.40 o 17
50.37/50.40 c *50.4s| 92476 | 38527 |392027 | 4.2 | 22M| 45 | - | 146 | 71 | 146 | 14 | 24 |8545 |3127 | 0.000000e+00 | 1.700000e+01 | Inf
50.37/50.41 o 15
50.37/50.41 c *50.4s| 92477 | 36379 |392027 | 4.2 | 20M| 45 | - | 146 | 71 | 146 | 14 | 24 |8545 |3127 | 0.000000e+00 | 1.500000e+01 | Inf
55.06/55.17 c 55.2s|100000 | 37495 |420012 | 4.2 | 21M| 45 | 6 | 146 | 55 | 146 | 14 | 24 |9181 |3307 | 0.000000e+00 | 1.500000e+01 | Inf
56.97/57.02 o 13
56.97/57.02 c *57.0s|104484 | 37403 |436650 | 4.2 | 21M| 45 | - | 146 | 58 | 146 | 14 | 24 |9586 |3401 | 0.000000e+00 | 1.300000e+01 | Inf
59.16/59.24 c 59.2s|110000 | 38116 |455489 | 4.1 | 21M| 45 | 6 | 146 | 58 | 146 | 14 | 24 |9987 |3468 | 0.000000e+00 | 1.300000e+01 | Inf
63.26/63.33 c 63.3s|120000 | 39565 |491055 | 4.1 | 22M| 45 | 6 | 146 | 54 | 146 | 14 | 24 | 10k|3633 | 0.000000e+00 | 1.300000e+01 | Inf
67.37/67.46 c 67.5s|130000 | 42040 |527223 | 4.1 | 24M| 45 | 6 | 146 | 52 | 146 | 14 | 24 | 11k|3796 | 0.000000e+00 | 1.300000e+01 | Inf
71.37/71.46 c 71.5s|140000 | 43598 |562391 | 4.0 | 25M| 45 | 6 | 146 | 42 | 146 | 14 | 24 | 12k|3968 | 0.000000e+00 | 1.300000e+01 | Inf
75.36/75.43 c 75.4s|150000 | 44873 |597336 | 4.0 | 26M| 45 | 6 | 146 | 40 | 146 | 14 | 24 | 13k|4120 | 0.000000e+00 | 1.300000e+01 | Inf
79.46/79.58 c 79.6s|160000 | 46151 |631563 | 3.9 | 27M| 45 | - | 146 | 40 | 0 | 0 | 24 | 14k|4269 | 0.000000e+00 | 1.300000e+01 | Inf
83.36/83.43 c 83.4s|170000 | 47053 |665464 | 3.9 | 28M| 45 | 6 | 146 | 39 | 146 | 14 | 24 | 14k|4400 | 0.000000e+00 | 1.300000e+01 | Inf
87.26/87.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.26/87.33 c 87.3s|180000 | 48036 |699998 | 3.9 | 29M| 45 | 6 | 146 | 37 | 146 | 14 | 24 | 15k|4524 | 0.000000e+00 | 1.300000e+01 | Inf
91.16/91.26 c 91.3s|190000 | 49745 |735501 | 3.9 | 30M| 45 | 6 | 146 | 39 | 146 | 14 | 24 | 16k|4629 | 0.000000e+00 | 1.300000e+01 | Inf
92.95/93.01 o 12
92.95/93.01 c *93.0s|194520 | 49858 |750959 | 3.9 | 30M| 45 | - | 146 | 38 | 146 | 14 | 24 | 17k|4679 | 0.000000e+00 | 1.200000e+01 | Inf
95.05/95.13 c 95.1s|200000 | 50355 |768561 | 3.8 | 30M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 17k|4747 | 0.000000e+00 | 1.200000e+01 | Inf
98.96/99.04 c 99.0s|210000 | 51760 |802281 | 3.8 | 31M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 18k|4866 | 0.000000e+00 | 1.200000e+01 | Inf
103.06/103.19 c 103s|220000 | 54597 |838604 | 3.8 | 33M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 19k|4968 | 0.000000e+00 | 1.200000e+01 | Inf
107.25/107.36 c 107s|230000 | 57573 |875836 | 3.8 | 34M| 46 | - | 146 | 41 | 146 | 14 | 24 | 19k|5084 | 0.000000e+00 | 1.200000e+01 | Inf
111.45/111.53 c 112s|240000 | 60260 |912457 | 3.8 | 36M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 20k|5202 | 0.000000e+00 | 1.200000e+01 | Inf
115.46/115.56 c 116s|250000 | 62284 |948052 | 3.8 | 37M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 21k|5321 | 0.000000e+00 | 1.200000e+01 | Inf
119.46/119.59 c 120s|260000 | 64412 |983512 | 3.8 | 38M| 46 | - | 146 | 42 | 0 | 0 | 24 | 22k|5427 | 0.000000e+00 | 1.200000e+01 | Inf
123.45/123.57 c 124s|270000 | 66345 | 1019k| 3.8 | 40M| 46 | 6 | 146 | 49 | 146 | 14 | 24 | 22k|5548 | 0.000000e+00 | 1.200000e+01 | Inf
127.25/127.35 c 127s|280000 | 67779 | 1051k| 3.8 | 41M| 46 | - | 146 | 43 | 146 | 14 | 24 | 23k|5655 | 0.000000e+00 | 1.200000e+01 | Inf
129.15/129.28 o 10
129.15/129.28 c * 129s|285070 | 67015 | 1068k| 3.7 | 39M| 46 | - | 146 | 40 | 146 | 14 | 24 | 23k|5693 | 0.000000e+00 | 1.000000e+01 | Inf
131.15/131.23 c 131s|290000 | 67799 | 1085k| 3.7 | 40M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 24k|5786 | 0.000000e+00 | 1.000000e+01 | Inf
134.85/134.99 c 135s|300000 | 68769 | 1117k| 3.7 | 40M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 24k|5926 | 0.000000e+00 | 1.000000e+01 | Inf
138.65/138.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.65/138.75 c 139s|310000 | 70104 | 1151k| 3.7 | 41M| 46 | - | 146 | 41 | 146 | 14 | 24 | 25k|6045 | 0.000000e+00 | 1.000000e+01 | Inf
142.55/142.60 c 143s|320000 | 71255 | 1184k| 3.7 | 42M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 26k|6187 | 0.000000e+00 | 1.000000e+01 | Inf
146.25/146.33 c 146s|330000 | 71827 | 1217k| 3.7 | 43M| 46 | - | 146 | 41 | 146 | 14 | 24 | 27k|6319 | 0.000000e+00 | 1.000000e+01 | Inf
150.04/150.10 c 150s|340000 | 72419 | 1250k| 3.7 | 43M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 27k|6459 | 0.000000e+00 | 1.000000e+01 | Inf
153.74/153.87 c 154s|350000 | 73319 | 1282k| 3.7 | 44M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 28k|6586 | 0.000000e+00 | 1.000000e+01 | Inf
157.44/157.57 c 158s|360000 | 74358 | 1313k| 3.6 | 45M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 29k|6698 | 0.000000e+00 | 1.000000e+01 | Inf
161.14/161.25 c 161s|370000 | 75127 | 1345k| 3.6 | 45M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 30k|6812 | 0.000000e+00 | 1.000000e+01 | Inf
164.85/164.94 c 165s|380000 | 75716 | 1376k| 3.6 | 46M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 30k|6966 | 0.000000e+00 | 1.000000e+01 | Inf
168.53/168.61 c 169s|390000 | 76202 | 1407k| 3.6 | 46M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 31k|7075 | 0.000000e+00 | 1.000000e+01 | Inf
172.23/172.33 c 172s|400000 | 76467 | 1437k| 3.6 | 47M| 46 | - | 146 | 47 | 146 | 14 | 24 | 32k|7196 | 0.000000e+00 | 1.000000e+01 | Inf
175.84/175.93 c 176s|410000 | 76713 | 1468k| 3.6 | 47M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 33k|7315 | 0.000000e+00 | 1.000000e+01 | Inf
179.53/179.61 c 180s|420000 | 77013 | 1498k| 3.6 | 47M| 46 | - | 146 | 41 | 0 | 0 | 24 | 33k|7459 | 0.000000e+00 | 1.000000e+01 | Inf
183.24/183.35 c 183s|430000 | 77659 | 1530k| 3.6 | 48M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 34k|7554 | 0.000000e+00 | 1.000000e+01 | Inf
186.94/187.07 c 187s|440000 | 78113 | 1561k| 3.5 | 49M| 46 | - | 146 | 46 | 0 | 0 | 24 | 35k|7672 | 0.000000e+00 | 1.000000e+01 | Inf
190.63/190.76 c 191s|450000 | 78645 | 1592k| 3.5 | 49M| 46 | - | 146 | 44 | 146 | 14 | 24 | 36k|7782 | 0.000000e+00 | 1.000000e+01 | Inf
194.33/194.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.33/194.42 c 194s|460000 | 78926 | 1623k| 3.5 | 49M| 46 | - | 146 | 45 | 146 | 14 | 24 | 36k|7917 | 0.000000e+00 | 1.000000e+01 | Inf
198.03/198.11 c 198s|470000 | 79030 | 1653k| 3.5 | 50M| 46 | - | 146 | 45 | 146 | 14 | 24 | 37k|8051 | 0.000000e+00 | 1.000000e+01 | Inf
201.63/201.73 c 202s|480000 | 79247 | 1684k| 3.5 | 50M| 46 | - | 146 | 42 | 146 | 14 | 24 | 38k|8165 | 0.000000e+00 | 1.000000e+01 | Inf
205.23/205.37 c 205s|490000 | 79626 | 1715k| 3.5 | 50M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 39k|8253 | 0.000000e+00 | 1.000000e+01 | Inf
208.83/209.00 c 209s|500000 | 79889 | 1746k| 3.5 | 51M| 46 | - | 146 | 39 | 146 | 14 | 24 | 39k|8379 | 0.000000e+00 | 1.000000e+01 | Inf
212.53/212.67 c 213s|510000 | 80377 | 1777k| 3.5 | 51M| 46 | - | 146 | 40 | 146 | 14 | 24 | 40k|8512 | 0.000000e+00 | 1.000000e+01 | Inf
216.23/216.36 c 216s|520000 | 80860 | 1808k| 3.5 | 52M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 41k|8624 | 0.000000e+00 | 1.000000e+01 | Inf
219.93/220.04 c 220s|530000 | 80885 | 1838k| 3.5 | 52M| 46 | - | 146 | 39 | 0 | 0 | 24 | 41k|8714 | 0.000000e+00 | 1.000000e+01 | Inf
223.62/223.74 c 224s|540000 | 80941 | 1869k| 3.5 | 52M| 46 | - | 146 | 39 | 146 | 14 | 24 | 42k|8817 | 0.000000e+00 | 1.000000e+01 | Inf
227.32/227.44 c 227s|550000 | 80847 | 1901k| 3.5 | 52M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 43k|8917 | 0.000000e+00 | 1.000000e+01 | Inf
231.02/231.11 c 231s|560000 | 81340 | 1932k| 3.4 | 53M| 46 | 6 | 146 | 37 | 146 | 14 | 24 | 44k|9026 | 0.000000e+00 | 1.000000e+01 | Inf
234.62/234.77 c 235s|570000 | 81207 | 1962k| 3.4 | 53M| 46 | 6 | 146 | 36 | 146 | 14 | 24 | 44k|9121 | 0.000000e+00 | 1.000000e+01 | Inf
238.32/238.45 c 238s|580000 | 81321 | 1994k| 3.4 | 53M| 46 | - | 146 | 36 | 146 | 14 | 24 | 45k|9238 | 0.000000e+00 | 1.000000e+01 | Inf
242.02/242.10 c 242s|590000 | 81462 | 2025k| 3.4 | 53M| 46 | - | 146 | 39 | 146 | 14 | 24 | 46k|9347 | 0.000000e+00 | 1.000000e+01 | Inf
245.62/245.76 c 246s|600000 | 81631 | 2056k| 3.4 | 54M| 46 | - | 146 | 39 | 146 | 14 | 24 | 47k|9420 | 0.000000e+00 | 1.000000e+01 | Inf
249.32/249.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.32/249.41 c 249s|610000 | 81947 | 2087k| 3.4 | 54M| 46 | - | 146 | 39 | 146 | 14 | 24 | 47k|9519 | 0.000000e+00 | 1.000000e+01 | Inf
252.93/253.09 c 253s|620000 | 82164 | 2117k| 3.4 | 54M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 48k|9600 | 0.000000e+00 | 1.000000e+01 | Inf
256.62/256.77 c 257s|630000 | 82257 | 2148k| 3.4 | 55M| 46 | - | 146 | 39 | 146 | 14 | 24 | 49k|9698 | 0.000000e+00 | 1.000000e+01 | Inf
260.32/260.42 c 260s|640000 | 82036 | 2178k| 3.4 | 55M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 49k|9792 | 0.000000e+00 | 1.000000e+01 | Inf
264.02/264.11 c 264s|650000 | 81889 | 2208k| 3.4 | 55M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 50k|9889 | 0.000000e+00 | 1.000000e+01 | Inf
267.61/267.78 c 268s|660000 | 81850 | 2240k| 3.4 | 55M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 51k|9991 | 0.000000e+00 | 1.000000e+01 | Inf
271.31/271.43 c 271s|670000 | 81605 | 2271k| 3.4 | 55M| 46 | - | 146 | 40 | 0 | 0 | 24 | 51k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
275.02/275.10 c 275s|680000 | 81888 | 2302k| 3.4 | 55M| 46 | - | 146 | 43 | 0 | 0 | 24 | 52k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
278.62/278.72 c 279s|690000 | 81845 | 2332k| 3.4 | 55M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 53k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
282.31/282.40 c 282s|700000 | 82002 | 2363k| 3.4 | 56M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 54k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
285.92/286.03 c 286s|710000 | 82154 | 2394k| 3.4 | 56M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 54k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
289.51/289.62 c 290s|720000 | 81958 | 2424k| 3.4 | 56M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 55k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
293.21/293.33 c 293s|730000 | 82350 | 2457k| 3.4 | 56M| 46 | - | 146 | 40 | 146 | 14 | 24 | 56k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
294.81/294.91 o 9
294.81/294.91 c * 295s|734308 | 81168 | 2470k| 3.4 | 55M| 46 | - | 146 | 42 | 146 | 14 | 24 | 56k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
296.81/296.98 c 297s|740000 | 81167 | 2487k| 3.4 | 55M| 46 | - | 146 | 43 | 146 | 14 | 24 | 56k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
300.41/300.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.41/300.58 c 301s|750000 | 81170 | 2518k| 3.4 | 55M| 46 | - | 146 | 42 | 146 | 14 | 24 | 57k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
304.10/304.21 c 304s|760000 | 81392 | 2549k| 3.4 | 55M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 58k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
307.71/307.87 c 308s|770000 | 81849 | 2581k| 3.4 | 56M| 46 | - | 146 | 42 | 0 | 0 | 24 | 58k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
311.41/311.50 c 311s|780000 | 81920 | 2612k| 3.3 | 56M| 46 | - | 146 | 41 | 0 | 0 | 24 | 59k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
314.90/315.07 c 315s|790000 | 82208 | 2642k| 3.3 | 56M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 60k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
318.50/318.67 c 319s|800000 | 81902 | 2671k| 3.3 | 56M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 61k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
322.21/322.31 c 322s|810000 | 81696 | 2702k| 3.3 | 56M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 61k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
325.70/325.86 c 326s|820000 | 81431 | 2732k| 3.3 | 56M| 46 | - | 146 | 40 | 0 | 0 | 24 | 62k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
329.30/329.42 c 329s|830000 | 81524 | 2762k| 3.3 | 56M| 46 | - | 146 | 41 | 146 | 14 | 24 | 63k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
332.90/333.03 c 333s|840000 | 81385 | 2792k| 3.3 | 56M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 63k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
336.40/336.57 c 337s|850000 | 81353 | 2822k| 3.3 | 56M| 46 | - | 146 | 37 | 146 | 14 | 24 | 64k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
339.99/340.18 c 340s|860000 | 81404 | 2851k| 3.3 | 56M| 46 | - | 146 | 38 | 146 | 14 | 24 | 65k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
343.69/343.87 c 344s|870000 | 81886 | 2883k| 3.3 | 57M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 65k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
347.50/347.61 c 348s|880000 | 83247 | 2915k| 3.3 | 58M| 46 | - | 146 | 43 | 146 | 14 | 24 | 66k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
351.29/351.41 c 351s|890000 | 84442 | 2948k| 3.3 | 59M| 46 | - | 146 | 42 | 146 | 14 | 24 | 67k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
354.89/355.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.89/355.09 c 355s|900000 | 85357 | 2981k| 3.3 | 59M| 46 | - | 146 | 40 | 0 | 0 | 24 | 68k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
358.69/358.84 c 359s|910000 | 86145 | 3013k| 3.3 | 60M| 46 | - | 146 | 41 | 146 | 14 | 24 | 68k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
362.39/362.57 c 363s|920000 | 87695 | 3046k| 3.3 | 61M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 69k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
366.49/366.65 c 367s|930000 | 90460 | 3082k| 3.3 | 62M| 46 | - | 146 | 51 | 0 | 0 | 24 | 70k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
370.39/370.56 c 371s|940000 | 92759 | 3117k| 3.3 | 64M| 46 | - | 146 | 39 | 146 | 14 | 24 | 70k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
374.49/374.61 c 375s|950000 | 95081 | 3153k| 3.3 | 65M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 71k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
378.30/378.43 c 378s|960000 | 97303 | 3186k| 3.3 | 66M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 72k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
382.19/382.32 c 382s|970000 | 99305 | 3221k| 3.3 | 67M| 46 | - | 146 | 44 | 0 | 0 | 24 | 72k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
386.00/386.18 c 386s|980000 |101362 | 3255k| 3.3 | 69M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 73k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
389.78/389.92 c 390s|990000 |102624 | 3288k| 3.3 | 69M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 74k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
393.60/393.72 c 394s| 1000k|103927 | 3321k| 3.3 | 70M| 46 | - | 146 | 45 | 146 | 14 | 24 | 74k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
397.38/397.54 c 398s| 1010k|105430 | 3355k| 3.3 | 71M| 46 | - | 146 | 49 | 146 | 14 | 24 | 75k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
401.08/401.22 c 401s| 1020k|106732 | 3387k| 3.3 | 72M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 76k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
404.78/405.00 c 405s| 1030k|108349 | 3420k| 3.3 | 73M| 46 | 6 | 146 | 52 | 146 | 14 | 24 | 76k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
408.78/408.97 c 409s| 1040k|110485 | 3455k| 3.3 | 74M| 46 | - | 146 | 44 | 0 | 0 | 24 | 77k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
412.58/412.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.58/412.75 c 413s| 1050k|112718 | 3488k| 3.3 | 76M| 46 | - | 146 | 40 | 146 | 14 | 24 | 78k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
416.48/416.62 c 417s| 1060k|114882 | 3522k| 3.3 | 77M| 46 | - | 146 | 39 | 146 | 14 | 24 | 78k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
420.68/420.80 c 421s| 1070k|117796 | 3558k| 3.3 | 78M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 79k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
424.68/424.87 c 425s| 1080k|120900 | 3595k| 3.3 | 80M| 46 | - | 146 | 42 | 146 | 14 | 24 | 80k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
428.57/428.75 c 429s| 1090k|123177 | 3628k| 3.3 | 81M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 80k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
432.57/432.78 c 433s| 1100k|125350 | 3664k| 3.3 | 83M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 81k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
436.68/436.81 c 437s| 1110k|127685 | 3701k| 3.3 | 84M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 82k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
440.67/440.87 c 441s| 1120k|130436 | 3737k| 3.3 | 85M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 82k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
444.77/444.98 c 445s| 1130k|133643 | 3773k| 3.3 | 87M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 83k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
448.67/448.84 c 449s| 1140k|135901 | 3807k| 3.3 | 88M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 84k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
452.67/452.81 c 453s| 1150k|138294 | 3842k| 3.3 | 90M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 85k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
456.47/456.64 c 457s| 1160k|140307 | 3876k| 3.3 | 91M| 46 | - | 146 | 36 | 146 | 14 | 24 | 85k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
460.27/460.40 c 460s| 1170k|142230 | 3909k| 3.3 | 92M| 46 | - | 146 | 40 | 0 | 0 | 24 | 86k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
464.37/464.57 c 465s| 1180k|145473 | 3945k| 3.3 | 94M| 46 | - | 146 | 40 | 0 | 0 | 24 | 87k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
468.26/468.42 c 468s| 1190k|147790 | 3978k| 3.3 | 95M| 46 | - | 146 | 41 | 0 | 0 | 24 | 87k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
472.07/472.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
472.07/472.24 c 472s| 1200k|150047 | 4012k| 3.3 | 96M| 46 | - | 146 | 41 | 146 | 14 | 24 | 88k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
475.96/476.12 c 476s| 1210k|152276 | 4046k| 3.3 | 97M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 89k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
479.76/479.90 c 480s| 1220k|154327 | 4078k| 3.3 | 99M| 46 | - | 146 | 40 | 146 | 14 | 24 | 89k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
483.46/483.63 c 484s| 1230k|155928 | 4111k| 3.3 | 100M| 46 | - | 146 | 42 | 146 | 14 | 24 | 90k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
487.17/487.38 c 487s| 1240k|157572 | 4143k| 3.3 | 101M| 46 | - | 146 | 41 | 146 | 14 | 24 | 91k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
491.06/491.23 c 491s| 1250k|159818 | 4176k| 3.3 | 102M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 91k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
494.76/495.00 c 495s| 1260k|161453 | 4208k| 3.3 | 103M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 92k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
498.55/498.75 c 499s| 1270k|162832 | 4240k| 3.3 | 104M| 46 | - | 146 | 39 | 146 | 14 | 24 | 93k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
502.35/502.54 c 503s| 1280k|164954 | 4273k| 3.3 | 105M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 93k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
506.05/506.25 c 506s| 1290k|166727 | 4305k| 3.3 | 106M| 46 | - | 146 | 44 | 146 | 14 | 24 | 94k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
509.75/509.94 c 510s| 1300k|168111 | 4337k| 3.3 | 107M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 95k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
513.66/513.81 c 514s| 1310k|170122 | 4371k| 3.3 | 108M| 46 | - | 146 | 45 | 146 | 14 | 24 | 95k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
517.36/517.54 c 518s| 1320k|171513 | 4403k| 3.3 | 109M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 96k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
521.17/521.30 c 521s| 1330k|173169 | 4436k| 3.3 | 110M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 97k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
524.85/525.01 c 525s| 1340k|174426 | 4468k| 3.3 | 111M| 46 | 6 | 146 | 36 | 146 | 14 | 24 | 97k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
528.45/528.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
528.45/528.67 c 529s| 1350k|175700 | 4500k| 3.3 | 112M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 98k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
532.16/532.38 c 532s| 1360k|176818 | 4532k| 3.3 | 113M| 46 | - | 146 | 40 | 0 | 0 | 24 | 99k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
535.85/536.06 c 536s| 1370k|178218 | 4563k| 3.3 | 114M| 46 | - | 146 | 40 | 0 | 0 | 24 | 99k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
539.55/539.71 c 540s| 1380k|179391 | 4594k| 3.3 | 115M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 100k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
543.16/543.39 c 543s| 1390k|180465 | 4626k| 3.3 | 115M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 101k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
546.95/547.10 c 547s| 1400k|181715 | 4658k| 3.3 | 116M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 101k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
550.54/550.79 c 551s| 1410k|183124 | 4689k| 3.3 | 117M| 46 | - | 146 | 47 | 146 | 14 | 24 | 102k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
554.26/554.42 c 554s| 1420k|184314 | 4720k| 3.3 | 118M| 46 | - | 146 | 42 | 146 | 14 | 24 | 103k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
558.04/558.28 c 558s| 1430k|186141 | 4754k| 3.3 | 119M| 46 | - | 146 | 40 | 146 | 14 | 24 | 103k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
561.75/561.99 c 562s| 1440k|187158 | 4785k| 3.3 | 120M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 104k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
565.45/565.69 c 566s| 1450k|188547 | 4817k| 3.3 | 121M| 46 | - | 146 | 40 | 0 | 0 | 24 | 105k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
569.15/569.37 c 569s| 1460k|189525 | 4850k| 3.3 | 122M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 106k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
572.94/573.15 c 573s| 1470k|191305 | 4882k| 3.3 | 123M| 46 | - | 146 | 40 | 146 | 14 | 24 | 106k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
576.64/576.85 c 577s| 1480k|192773 | 4913k| 3.3 | 124M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 107k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
580.34/580.51 c 580s| 1490k|193741 | 4943k| 3.3 | 124M| 46 | - | 146 | 40 | 146 | 14 | 24 | 108k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
583.95/584.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
583.95/584.15 c 584s| 1500k|195033 | 4974k| 3.3 | 125M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 108k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
587.64/587.83 c 588s| 1510k|196146 | 5005k| 3.3 | 126M| 46 | - | 146 | 41 | 146 | 14 | 24 | 109k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
591.54/591.78 c 592s| 1520k|198409 | 5039k| 3.3 | 127M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 110k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
595.43/595.67 c 596s| 1530k|201016 | 5072k| 3.3 | 129M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 110k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
599.24/599.45 c 599s| 1540k|203100 | 5105k| 3.3 | 130M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 111k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
603.04/603.22 c 603s| 1550k|205122 | 5136k| 3.3 | 131M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 112k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
606.74/606.95 c 607s| 1560k|207050 | 5167k| 3.3 | 132M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 112k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
610.43/610.67 c 611s| 1570k|208874 | 5198k| 3.3 | 133M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 113k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
614.23/614.43 c 614s| 1580k|210812 | 5230k| 3.3 | 134M| 46 | - | 146 | 41 | 146 | 14 | 24 | 114k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
617.93/618.10 c 618s| 1590k|212315 | 5260k| 3.3 | 135M| 46 | - | 146 | 39 | 146 | 14 | 24 | 114k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
621.73/621.91 c 622s| 1600k|213983 | 5292k| 3.3 | 136M| 46 | - | 146 | 37 | 146 | 14 | 24 | 115k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
625.43/625.60 c 626s| 1610k|215661 | 5323k| 3.3 | 137M| 46 | - | 146 | 42 | 146 | 14 | 24 | 116k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
629.04/629.29 c 629s| 1620k|217040 | 5353k| 3.3 | 138M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 116k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
632.73/632.98 c 633s| 1630k|218519 | 5383k| 3.3 | 139M| 46 | - | 146 | 40 | 146 | 14 | 24 | 117k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
636.52/636.71 c 637s| 1640k|219955 | 5414k| 3.3 | 140M| 46 | - | 146 | 39 | 146 | 14 | 24 | 118k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
640.23/640.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
640.23/640.46 c 640s| 1650k|221846 | 5445k| 3.3 | 141M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 118k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
643.83/644.09 c 644s| 1660k|223444 | 5475k| 3.3 | 142M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 119k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
647.52/647.73 c 648s| 1670k|224789 | 5505k| 3.3 | 143M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 120k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
651.12/651.37 c 651s| 1680k|226046 | 5534k| 3.3 | 144M| 46 | - | 146 | 38 | 146 | 14 | 24 | 120k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
654.82/655.04 c 655s| 1690k|227323 | 5565k| 3.3 | 145M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 121k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
658.42/658.66 c 659s| 1700k|228445 | 5595k| 3.3 | 146M| 46 | - | 146 | 41 | 146 | 14 | 24 | 122k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
662.12/662.34 c 662s| 1710k|229540 | 5625k| 3.3 | 146M| 46 | - | 146 | 42 | 146 | 14 | 24 | 122k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
665.72/665.94 c 666s| 1720k|230983 | 5654k| 3.3 | 147M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 123k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
669.42/669.62 c 670s| 1730k|232029 | 5685k| 3.3 | 148M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 124k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
673.02/673.24 c 673s| 1740k|232999 | 5715k| 3.3 | 149M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 124k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
676.71/676.92 c 677s| 1750k|234298 | 5746k| 3.3 | 150M| 46 | - | 146 | 40 | 146 | 14 | 24 | 125k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
680.41/680.65 c 681s| 1760k|235443 | 5776k| 3.3 | 150M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 126k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
684.12/684.30 c 684s| 1770k|236887 | 5806k| 3.3 | 151M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 126k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
687.81/688.05 c 688s| 1780k|238074 | 5837k| 3.3 | 152M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 127k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
691.41/691.66 c 692s| 1790k|238982 | 5865k| 3.3 | 153M| 46 | - | 146 | 39 | 146 | 14 | 24 | 127k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
695.11/695.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
695.11/695.34 c 695s| 1800k|239993 | 5895k| 3.3 | 154M| 46 | - | 146 | 38 | 146 | 14 | 24 | 128k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
698.71/698.98 c 699s| 1810k|240960 | 5925k| 3.3 | 154M| 46 | - | 146 | 39 | 0 | 0 | 24 | 129k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
701.21/701.43 o 8
701.21/701.43 c * 701s| 1816k|239933 | 5945k| 3.3 | 152M| 46 | - | 146 | 44 | 146 | 14 | 24 | 129k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
703.90/704.14 c 704s| 1820k|240412 | 5955k| 3.3 | 152M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 129k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
707.41/707.69 c 708s| 1830k|241292 | 5986k| 3.3 | 152M| 46 | - | 146 | 37 | 0 | 0 | 24 | 130k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
711.01/711.26 c 711s| 1840k|242075 | 6017k| 3.3 | 153M| 46 | - | 146 | 37 | 146 | 14 | 24 | 131k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
714.60/714.88 c 715s| 1850k|243601 | 6049k| 3.3 | 154M| 46 | - | 146 | 39 | 146 | 14 | 24 | 131k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
718.20/718.42 c 718s| 1860k|244742 | 6081k| 3.3 | 155M| 46 | - | 146 | 38 | 146 | 14 | 24 | 132k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
721.70/721.90 c 722s| 1870k|245378 | 6111k| 3.3 | 155M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 132k| 18k| 0.000000e+00 | 8.000000e+00 | Inf
725.20/725.47 c 725s| 1880k|245822 | 6142k| 3.3 | 156M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 133k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
728.70/728.99 c 729s| 1890k|246470 | 6172k| 3.3 | 156M| 46 | - | 146 | 40 | 0 | 0 | 24 | 134k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
732.31/732.57 c 733s| 1900k|247954 | 6204k| 3.3 | 157M| 46 | - | 146 | 47 | 0 | 0 | 24 | 134k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
735.90/736.11 c 736s| 1910k|249635 | 6235k| 3.3 | 158M| 46 | - | 146 | 42 | 146 | 14 | 24 | 135k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
739.40/739.68 c 740s| 1920k|251047 | 6267k| 3.3 | 159M| 46 | - | 146 | 42 | 146 | 14 | 24 | 136k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
743.00/743.21 c 743s| 1930k|252368 | 6298k| 3.3 | 160M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 136k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
746.50/746.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
746.50/746.74 c 747s| 1940k|253291 | 6328k| 3.3 | 161M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 137k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
749.90/750.20 c 750s| 1950k|253986 | 6358k| 3.3 | 161M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 138k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
753.49/753.73 c 754s| 1960k|254717 | 6389k| 3.3 | 162M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 138k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
757.00/757.25 c 757s| 1970k|255737 | 6421k| 3.3 | 162M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 139k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
760.49/760.72 c 761s| 1980k|256433 | 6451k| 3.3 | 163M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 140k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
763.90/764.16 c 764s| 1990k|257299 | 6481k| 3.3 | 164M| 46 | - | 146 | 37 | 0 | 0 | 24 | 140k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
767.39/767.64 c 768s| 2000k|258033 | 6511k| 3.3 | 164M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 141k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
770.90/771.10 c 771s| 2010k|258580 | 6542k| 3.3 | 165M| 46 | 6 | 146 | 37 | 146 | 14 | 24 | 142k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
774.39/774.61 c 775s| 2020k|259301 | 6572k| 3.3 | 165M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 142k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
777.79/778.09 c 778s| 2030k|259895 | 6602k| 3.3 | 166M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 143k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
781.39/781.62 c 782s| 2040k|260678 | 6634k| 3.3 | 166M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 143k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
784.78/785.08 c 785s| 2050k|261214 | 6663k| 3.3 | 167M| 46 | - | 146 | 36 | 0 | 0 | 24 | 144k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
788.29/788.53 c 789s| 2060k|261699 | 6693k| 3.2 | 167M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 145k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
791.70/792.00 c 792s| 2070k|262245 | 6724k| 3.2 | 168M| 46 | 6 | 146 | 36 | 146 | 14 | 24 | 145k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
795.18/795.49 c 795s| 2080k|262819 | 6754k| 3.2 | 168M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 146k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
798.78/799.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
798.78/799.05 c 799s| 2090k|263579 | 6785k| 3.2 | 169M| 46 | - | 146 | 39 | 146 | 14 | 24 | 147k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
802.19/802.49 c 802s| 2100k|264364 | 6814k| 3.2 | 169M| 46 | - | 146 | 38 | 0 | 0 | 24 | 147k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
805.78/806.03 c 806s| 2110k|265768 | 6845k| 3.2 | 170M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 148k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
809.18/809.47 c 809s| 2120k|266364 | 6874k| 3.2 | 171M| 46 | - | 146 | 36 | 146 | 14 | 24 | 149k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
812.59/812.88 c 813s| 2130k|266849 | 6904k| 3.2 | 171M| 46 | - | 146 | 37 | 146 | 14 | 24 | 149k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
816.08/816.36 c 816s| 2140k|267184 | 6933k| 3.2 | 171M| 46 | 6 | 146 | 37 | 146 | 14 | 24 | 150k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
819.58/819.81 c 820s| 2150k|268117 | 6963k| 3.2 | 172M| 46 | 6 | 146 | 35 | 146 | 14 | 24 | 151k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
823.08/823.30 c 823s| 2160k|268956 | 6993k| 3.2 | 173M| 46 | - | 146 | 36 | 146 | 14 | 24 | 151k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
826.58/826.80 c 827s| 2170k|269326 | 7023k| 3.2 | 173M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 152k| 19k| 0.000000e+00 | 8.000000e+00 | Inf
829.98/830.26 c 830s| 2180k|269801 | 7053k| 3.2 | 173M| 46 | 6 | 146 | 35 | 146 | 14 | 24 | 153k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
833.49/833.79 c 834s| 2190k|270398 | 7083k| 3.2 | 174M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 153k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
836.97/837.26 c 837s| 2200k|270789 | 7113k| 3.2 | 174M| 46 | - | 146 | 36 | 0 | 0 | 24 | 154k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
840.48/840.74 c 841s| 2210k|271390 | 7143k| 3.2 | 175M| 46 | - | 146 | 42 | 146 | 14 | 24 | 155k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
843.87/844.18 c 844s| 2220k|271818 | 7173k| 3.2 | 175M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 155k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
847.37/847.69 c 848s| 2230k|272448 | 7203k| 3.2 | 176M| 46 | - | 146 | 38 | 146 | 14 | 24 | 156k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
850.97/851.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
850.97/851.21 c 851s| 2240k|272923 | 7234k| 3.2 | 176M| 46 | - | 146 | 38 | 146 | 14 | 24 | 156k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
854.47/854.72 c 855s| 2250k|273005 | 7264k| 3.2 | 176M| 46 | - | 146 | 34 | 0 | 0 | 24 | 157k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
857.97/858.24 c 858s| 2260k|273576 | 7295k| 3.2 | 177M| 46 | - | 146 | 37 | 146 | 14 | 24 | 158k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
861.47/861.77 c 862s| 2270k|273961 | 7326k| 3.2 | 177M| 46 | 6 | 146 | 35 | 146 | 14 | 24 | 158k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
864.97/865.29 c 865s| 2280k|274071 | 7355k| 3.2 | 178M| 46 | - | 146 | 35 | 146 | 14 | 24 | 159k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
868.56/868.81 c 869s| 2290k|274374 | 7386k| 3.2 | 178M| 46 | - | 146 | 34 | 146 | 14 | 24 | 160k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
871.98/872.28 c 872s| 2300k|274556 | 7416k| 3.2 | 178M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 160k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
875.57/875.85 c 876s| 2310k|275460 | 7447k| 3.2 | 179M| 46 | - | 146 | 41 | 146 | 14 | 24 | 161k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
879.07/879.35 c 879s| 2320k|276187 | 7478k| 3.2 | 179M| 46 | - | 146 | 40 | 0 | 0 | 24 | 162k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
882.56/882.88 c 883s| 2330k|276419 | 7508k| 3.2 | 180M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 163k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
886.17/886.45 c 886s| 2340k|276968 | 7540k| 3.2 | 180M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 163k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
889.67/889.98 c 890s| 2350k|278056 | 7571k| 3.2 | 181M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 164k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
893.26/893.54 c 894s| 2360k|278492 | 7603k| 3.2 | 181M| 46 | - | 146 | 42 | 146 | 14 | 24 | 165k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
896.86/897.11 c 897s| 2370k|278951 | 7636k| 3.2 | 182M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 166k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
900.45/900.73 c 901s| 2380k|279866 | 7669k| 3.2 | 182M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 166k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
903.97/904.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.97/904.27 c 904s| 2390k|280096 | 7700k| 3.2 | 183M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 167k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
907.56/907.86 c 908s| 2400k|281150 | 7732k| 3.2 | 183M| 46 | - | 146 | 45 | 0 | 0 | 24 | 168k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
911.16/911.41 c 911s| 2410k|281588 | 7762k| 3.2 | 184M| 46 | - | 146 | 41 | 146 | 14 | 24 | 169k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
914.56/914.89 c 915s| 2420k|281780 | 7792k| 3.2 | 184M| 46 | - | 146 | 39 | 146 | 14 | 24 | 169k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
918.16/918.41 c 918s| 2430k|282537 | 7823k| 3.2 | 185M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 170k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
921.56/921.89 c 922s| 2440k|282787 | 7853k| 3.2 | 185M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 171k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
925.15/925.45 c 925s| 2450k|283303 | 7884k| 3.2 | 185M| 46 | - | 146 | 40 | 146 | 14 | 24 | 171k| 20k| 0.000000e+00 | 8.000000e+00 | Inf
928.65/928.90 c 929s| 2460k|283705 | 7914k| 3.2 | 186M| 46 | 6 | 146 | 38 | 146 | 14 | 24 | 172k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
932.16/932.44 c 932s| 2470k|284168 | 7946k| 3.2 | 186M| 46 | 6 | 146 | 37 | 146 | 14 | 24 | 173k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
935.65/935.97 c 936s| 2480k|284481 | 7976k| 3.2 | 187M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 173k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
939.16/939.44 c 939s| 2490k|285396 | 8006k| 3.2 | 187M| 46 | - | 146 | 38 | 0 | 0 | 24 | 174k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
942.65/942.91 c 943s| 2500k|285705 | 8036k| 3.2 | 188M| 46 | - | 146 | 41 | 146 | 14 | 24 | 175k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
946.15/946.47 c 946s| 2510k|286600 | 8068k| 3.2 | 188M| 46 | - | 146 | 48 | 146 | 14 | 24 | 175k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
949.85/950.11 c 950s| 2520k|288449 | 8100k| 3.2 | 189M| 46 | - | 146 | 43 | 146 | 14 | 24 | 176k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
953.45/953.71 c 954s| 2530k|289888 | 8132k| 3.2 | 190M| 46 | - | 146 | 45 | 146 | 14 | 24 | 177k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
956.95/957.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.95/957.26 c 957s| 2540k|291226 | 8163k| 3.2 | 191M| 46 | - | 146 | 44 | 146 | 14 | 24 | 178k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
960.54/960.88 c 961s| 2550k|292521 | 8195k| 3.2 | 192M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 178k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
964.14/964.45 c 964s| 2560k|293556 | 8227k| 3.2 | 193M| 46 | - | 146 | 43 | 146 | 14 | 24 | 179k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
967.65/967.98 c 968s| 2570k|294446 | 8257k| 3.2 | 193M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 180k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
971.24/971.52 c 972s| 2580k|295225 | 8288k| 3.2 | 194M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 181k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
974.85/975.16 c 975s| 2590k|297533 | 8321k| 3.2 | 195M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 181k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
978.34/978.68 c 979s| 2600k|299009 | 8352k| 3.2 | 196M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 182k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
981.83/982.16 c 982s| 2610k|300157 | 8382k| 3.2 | 197M| 46 | 6 | 146 | 51 | 146 | 14 | 24 | 183k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
985.35/985.62 c 986s| 2620k|301279 | 8412k| 3.2 | 197M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 183k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
988.84/989.11 c 989s| 2630k|302515 | 8443k| 3.2 | 198M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 184k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
992.24/992.59 c 993s| 2640k|303736 | 8472k| 3.2 | 199M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 185k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
995.73/996.05 c 996s| 2650k|304625 | 8502k| 3.2 | 200M| 46 | - | 146 | 45 | 146 | 14 | 24 | 185k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
999.23/999.53 c 1000s| 2660k|305203 | 8533k| 3.2 | 200M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 186k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1002.74/1003.01 c 1003s| 2670k|305864 | 8562k| 3.2 | 201M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 187k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1006.14/1006.46 c 1006s| 2680k|306839 | 8592k| 3.2 | 201M| 46 | - | 146 | 45 | 146 | 14 | 24 | 187k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1009.64/1009.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1009.64/1009.90 c 1010s| 2690k|307903 | 8622k| 3.2 | 202M| 46 | - | 146 | 46 | 146 | 14 | 24 | 188k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1013.13/1013.45 c 1013s| 2700k|308750 | 8653k| 3.2 | 203M| 46 | - | 146 | 42 | 146 | 14 | 24 | 189k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1016.64/1016.95 c 1017s| 2710k|309283 | 8683k| 3.2 | 203M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 189k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1020.13/1020.46 c 1020s| 2720k|309828 | 8712k| 3.2 | 204M| 46 | - | 146 | 43 | 146 | 14 | 24 | 190k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1023.63/1023.99 c 1024s| 2730k|310590 | 8742k| 3.2 | 204M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 191k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1027.23/1027.54 c 1028s| 2740k|310983 | 8772k| 3.2 | 205M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 192k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1030.73/1031.01 c 1031s| 2750k|311547 | 8801k| 3.2 | 205M| 46 | 6 | 146 | 54 | 146 | 14 | 24 | 192k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1034.23/1034.52 c 1035s| 2760k|312231 | 8832k| 3.2 | 206M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 193k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1037.73/1038.00 c 1038s| 2770k|312687 | 8862k| 3.2 | 206M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 194k| 21k| 0.000000e+00 | 8.000000e+00 | Inf
1041.12/1041.49 c 1041s| 2780k|312981 | 8891k| 3.2 | 206M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 195k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1044.82/1045.16 c 1045s| 2790k|314779 | 8924k| 3.2 | 207M| 46 | - | 146 | 49 | 146 | 14 | 24 | 195k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1048.32/1048.66 c 1049s| 2800k|315772 | 8954k| 3.2 | 208M| 46 | - | 146 | 47 | 0 | 0 | 24 | 196k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1051.82/1052.13 c 1052s| 2810k|316447 | 8983k| 3.2 | 209M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 197k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1055.32/1055.61 c 1056s| 2820k|316984 | 9012k| 3.2 | 209M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 198k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1058.82/1059.12 c 1059s| 2830k|317145 | 9041k| 3.2 | 209M| 46 | - | 146 | 43 | 146 | 14 | 24 | 198k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1062.33/1062.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1062.33/1062.69 c 1063s| 2840k|318390 | 9073k| 3.2 | 210M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 199k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1065.82/1066.17 c 1066s| 2850k|319073 | 9103k| 3.2 | 211M| 46 | - | 146 | 52 | 146 | 14 | 24 | 200k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1069.32/1069.66 c 1070s| 2860k|319788 | 9134k| 3.2 | 211M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 200k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1072.82/1073.15 c 1073s| 2870k|320227 | 9163k| 3.2 | 212M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 201k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1076.32/1076.66 c 1077s| 2880k|320555 | 9193k| 3.2 | 212M| 46 | - | 146 | 42 | 146 | 14 | 24 | 201k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1079.82/1080.20 c 1080s| 2890k|321519 | 9223k| 3.2 | 213M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 202k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1083.52/1083.81 c 1084s| 2900k|322846 | 9254k| 3.2 | 213M| 46 | - | 146 | 42 | 0 | 0 | 24 | 203k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1086.91/1087.26 c 1087s| 2910k|323799 | 9283k| 3.2 | 214M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 204k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1090.41/1090.71 c 1091s| 2920k|324138 | 9312k| 3.2 | 214M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 204k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1094.02/1094.30 c 1094s| 2930k|325567 | 9344k| 3.2 | 215M| 46 | - | 146 | 43 | 146 | 14 | 24 | 205k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1097.52/1097.83 c 1098s| 2940k|326667 | 9376k| 3.2 | 216M| 46 | - | 146 | 48 | 146 | 14 | 24 | 205k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1101.01/1101.34 c 1101s| 2950k|327416 | 9406k| 3.2 | 217M| 46 | - | 146 | 46 | 146 | 14 | 24 | 206k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1104.51/1104.88 c 1105s| 2960k|328474 | 9437k| 3.2 | 217M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 207k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1108.11/1108.41 c 1108s| 2970k|329684 | 9468k| 3.2 | 218M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 207k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1111.51/1111.88 c 1112s| 2980k|330139 | 9497k| 3.2 | 219M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 208k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1115.01/1115.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.01/1115.39 c 1115s| 2990k|330285 | 9527k| 3.2 | 219M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 209k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1118.60/1118.96 c 1119s| 3000k|331879 | 9558k| 3.2 | 220M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 209k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1122.20/1122.51 c 1122s| 3010k|332567 | 9588k| 3.2 | 220M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 210k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1125.70/1126.08 c 1126s| 3020k|333312 | 9619k| 3.2 | 221M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 211k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1129.31/1129.65 c 1130s| 3030k|333980 | 9650k| 3.2 | 221M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 211k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1132.81/1133.13 c 1133s| 3040k|334012 | 9679k| 3.2 | 222M| 46 | - | 146 | 44 | 146 | 14 | 24 | 212k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1136.30/1136.63 c 1137s| 3050k|334291 | 9708k| 3.2 | 222M| 46 | - | 146 | 46 | 146 | 14 | 24 | 213k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1139.90/1140.27 c 1140s| 3060k|335025 | 9739k| 3.2 | 222M| 46 | 6 | 146 | 49 | 146 | 14 | 24 | 213k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1143.50/1143.81 c 1144s| 3070k|336591 | 9770k| 3.2 | 223M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 214k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1147.01/1147.35 c 1147s| 3080k|337720 | 9802k| 3.2 | 224M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 214k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1150.50/1150.85 c 1151s| 3090k|338606 | 9832k| 3.2 | 225M| 46 | - | 146 | 42 | 146 | 14 | 24 | 215k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1154.00/1154.39 c 1154s| 3100k|339417 | 9862k| 3.2 | 225M| 46 | - | 146 | 43 | 146 | 14 | 24 | 216k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1157.60/1157.90 c 1158s| 3110k|339985 | 9892k| 3.2 | 226M| 46 | - | 146 | 43 | 0 | 0 | 24 | 216k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1161.09/1161.41 c 1161s| 3120k|340593 | 9922k| 3.2 | 226M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 217k| 22k| 0.000000e+00 | 8.000000e+00 | Inf
1164.61/1164.94 c 1165s| 3130k|341150 | 9952k| 3.2 | 227M| 46 | - | 146 | 43 | 0 | 0 | 24 | 218k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1168.00/1168.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.00/1168.38 c 1168s| 3140k|341579 | 9981k| 3.2 | 227M| 46 | - | 146 | 42 | 0 | 0 | 24 | 218k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1171.50/1171.83 c 1172s| 3150k|341845 | 10010k| 3.2 | 228M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 219k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1174.99/1175.31 c 1175s| 3160k|342168 | 10039k| 3.2 | 228M| 46 | - | 146 | 43 | 146 | 14 | 24 | 220k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1178.49/1178.84 c 1179s| 3170k|342402 | 10068k| 3.2 | 228M| 46 | - | 146 | 43 | 0 | 0 | 24 | 220k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1181.99/1182.33 c 1182s| 3180k|342784 | 10098k| 3.2 | 229M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 221k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1185.50/1185.83 c 1186s| 3190k|343165 | 10127k| 3.2 | 229M| 46 | - | 146 | 45 | 0 | 0 | 24 | 222k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1188.89/1189.26 c 1189s| 3200k|343837 | 10156k| 3.2 | 229M| 46 | - | 146 | 44 | 0 | 0 | 24 | 222k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1192.39/1192.78 c 1193s| 3210k|344163 | 10186k| 3.2 | 230M| 46 | - | 146 | 42 | 146 | 14 | 24 | 223k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1195.99/1196.30 c 1196s| 3220k|344396 | 10216k| 3.2 | 230M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 224k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1199.49/1199.86 c 1200s| 3230k|344803 | 10247k| 3.2 | 231M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 225k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1203.00/1203.35 c 1203s| 3240k|344953 | 10277k| 3.2 | 231M| 46 | - | 146 | 42 | 146 | 14 | 24 | 225k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1206.48/1206.84 c 1207s| 3250k|345310 | 10306k| 3.2 | 231M| 46 | - | 146 | 43 | 146 | 14 | 24 | 226k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1209.98/1210.37 c 1210s| 3260k|345359 | 10336k| 3.2 | 231M| 46 | - | 146 | 44 | 0 | 0 | 24 | 227k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1213.59/1213.93 c 1214s| 3270k|345891 | 10367k| 3.2 | 232M| 46 | 6 | 146 | 51 | 146 | 14 | 24 | 227k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1217.08/1217.43 c 1217s| 3280k|346050 | 10396k| 3.2 | 232M| 46 | - | 146 | 47 | 0 | 0 | 24 | 228k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1220.69/1221.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1220.69/1221.02 c 1221s| 3290k|345877 | 10426k| 3.2 | 232M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 229k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1224.18/1224.58 c 1225s| 3300k|346022 | 10456k| 3.2 | 232M| 46 | 6 | 146 | 49 | 146 | 14 | 24 | 230k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1227.78/1228.14 c 1228s| 3310k|345981 | 10485k| 3.2 | 233M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 230k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1231.38/1231.78 c 1232s| 3320k|347123 | 10517k| 3.2 | 233M| 46 | - | 146 | 44 | 146 | 14 | 24 | 231k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1234.98/1235.31 c 1235s| 3330k|348402 | 10547k| 3.2 | 234M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 232k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1238.48/1238.80 c 1239s| 3340k|349287 | 10577k| 3.2 | 235M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 233k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1241.97/1242.34 c 1242s| 3350k|349774 | 10608k| 3.2 | 235M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 233k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1245.47/1245.89 c 1246s| 3360k|350792 | 10639k| 3.2 | 236M| 46 | - | 146 | 44 | 146 | 14 | 24 | 234k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1249.08/1249.43 c 1249s| 3370k|351788 | 10670k| 3.2 | 237M| 46 | - | 146 | 44 | 146 | 14 | 24 | 235k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1252.48/1252.90 c 1253s| 3380k|352302 | 10699k| 3.2 | 237M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 236k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1256.08/1256.42 c 1256s| 3390k|352465 | 10729k| 3.2 | 237M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 236k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1259.57/1259.94 c 1260s| 3400k|352505 | 10759k| 3.2 | 238M| 46 | - | 146 | 46 | 146 | 14 | 24 | 237k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1262.97/1263.39 c 1263s| 3410k|352641 | 10787k| 3.2 | 238M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 238k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1266.57/1266.90 c 1267s| 3420k|353527 | 10818k| 3.2 | 238M| 46 | - | 146 | 47 | 146 | 14 | 24 | 239k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1270.08/1270.41 c 1270s| 3430k|353839 | 10848k| 3.2 | 239M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 239k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1273.57/1273.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1273.57/1273.96 c 1274s| 3440k|354438 | 10879k| 3.2 | 239M| 46 | - | 146 | 43 | 146 | 14 | 24 | 240k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1277.16/1277.54 c 1278s| 3450k|354404 | 10909k| 3.2 | 239M| 46 | - | 146 | 43 | 146 | 14 | 24 | 241k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1280.67/1281.05 c 1281s| 3460k|354381 | 10938k| 3.2 | 240M| 46 | - | 146 | 45 | 0 | 0 | 24 | 242k| 23k| 0.000000e+00 | 8.000000e+00 | Inf
1284.27/1284.67 c 1285s| 3470k|355291 | 10969k| 3.2 | 240M| 46 | - | 146 | 43 | 146 | 14 | 24 | 243k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1287.78/1288.18 c 1288s| 3480k|356502 | 10999k| 3.2 | 241M| 46 | - | 146 | 46 | 146 | 14 | 24 | 243k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1291.36/1291.76 c 1292s| 3490k|356955 | 11030k| 3.2 | 241M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 244k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1294.96/1295.30 c 1295s| 3500k|357226 | 11059k| 3.2 | 242M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 245k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1298.47/1298.82 c 1299s| 3510k|357161 | 11089k| 3.2 | 242M| 46 | - | 146 | 44 | 146 | 14 | 24 | 245k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1301.97/1302.33 c 1302s| 3520k|357136 | 11117k| 3.2 | 242M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 246k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1305.47/1305.85 c 1306s| 3530k|357090 | 11146k| 3.2 | 242M| 46 | - | 146 | 44 | 0 | 0 | 24 | 247k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1309.06/1309.42 c 1309s| 3540k|358239 | 11178k| 3.2 | 243M| 46 | - | 146 | 43 | 146 | 14 | 24 | 247k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1312.56/1312.91 c 1313s| 3550k|358999 | 11208k| 3.2 | 243M| 46 | - | 146 | 43 | 146 | 14 | 24 | 248k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1316.06/1316.41 c 1316s| 3560k|359532 | 11238k| 3.2 | 244M| 46 | - | 146 | 43 | 146 | 14 | 24 | 249k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1319.56/1319.93 c 1320s| 3570k|359516 | 11268k| 3.2 | 244M| 46 | - | 146 | 43 | 146 | 14 | 24 | 249k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1323.06/1323.44 c 1323s| 3580k|359534 | 11297k| 3.2 | 244M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 250k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1326.55/1326.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1326.55/1326.97 c 1327s| 3590k|359478 | 11326k| 3.2 | 244M| 46 | - | 146 | 44 | 146 | 14 | 24 | 251k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1330.16/1330.53 c 1331s| 3600k|360012 | 11356k| 3.2 | 245M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 251k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1333.66/1334.04 c 1334s| 3610k|359883 | 11385k| 3.2 | 245M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 252k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1337.16/1337.56 c 1338s| 3620k|359960 | 11414k| 3.2 | 245M| 46 | - | 146 | 45 | 146 | 14 | 24 | 253k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1340.65/1341.08 c 1341s| 3630k|359975 | 11443k| 3.2 | 245M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 254k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1344.26/1344.60 c 1345s| 3640k|360286 | 11472k| 3.2 | 246M| 46 | 6 | 146 | 49 | 146 | 14 | 24 | 254k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1347.75/1348.18 c 1348s| 3650k|360902 | 11503k| 3.2 | 246M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 255k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1351.25/1351.70 c 1352s| 3660k|361031 | 11532k| 3.2 | 246M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 256k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1354.85/1355.25 c 1355s| 3670k|361856 | 11564k| 3.2 | 247M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 256k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1358.35/1358.77 c 1359s| 3680k|361968 | 11594k| 3.2 | 247M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 257k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1361.95/1362.31 c 1362s| 3690k|362891 | 11625k| 3.2 | 248M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 258k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1365.44/1365.83 c 1366s| 3700k|363198 | 11655k| 3.2 | 248M| 46 | - | 146 | 48 | 146 | 14 | 24 | 259k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1368.95/1369.33 c 1369s| 3710k|363154 | 11686k| 3.1 | 248M| 46 | - | 146 | 45 | 146 | 14 | 24 | 260k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1372.45/1372.87 c 1373s| 3720k|362905 | 11714k| 3.1 | 248M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 260k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1375.95/1376.39 c 1376s| 3730k|362743 | 11743k| 3.1 | 248M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 261k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1379.54/1379.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1379.54/1379.94 c 1380s| 3740k|362604 | 11772k| 3.1 | 249M| 46 | - | 146 | 48 | 0 | 0 | 24 | 262k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1383.04/1383.45 c 1383s| 3750k|362796 | 11802k| 3.1 | 249M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 262k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1386.54/1386.96 c 1387s| 3760k|362776 | 11831k| 3.1 | 249M| 46 | 6 | 146 | 50 | 146 | 14 | 24 | 263k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1390.05/1390.49 c 1390s| 3770k|363263 | 11861k| 3.1 | 249M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 264k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1393.54/1393.95 c 1394s| 3780k|363399 | 11890k| 3.1 | 250M| 46 | - | 146 | 47 | 146 | 14 | 24 | 265k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1397.14/1397.50 c 1397s| 3790k|364082 | 11919k| 3.1 | 250M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 265k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1400.54/1400.95 c 1401s| 3800k|364219 | 11947k| 3.1 | 250M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 266k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1404.03/1404.46 c 1404s| 3810k|364434 | 11976k| 3.1 | 251M| 46 | - | 146 | 46 | 146 | 14 | 24 | 267k| 24k| 0.000000e+00 | 8.000000e+00 | Inf
1407.55/1407.97 c 1408s| 3820k|364503 | 12006k| 3.1 | 251M| 46 | - | 146 | 46 | 0 | 0 | 24 | 268k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1411.03/1411.48 c 1411s| 3830k|364640 | 12035k| 3.1 | 251M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 269k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1414.63/1415.03 c 1415s| 3840k|364370 | 12064k| 3.1 | 251M| 46 | - | 146 | 44 | 146 | 14 | 24 | 269k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1418.13/1418.57 c 1419s| 3850k|364631 | 12094k| 3.1 | 251M| 46 | - | 146 | 46 | 146 | 14 | 24 | 270k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1421.63/1422.07 c 1422s| 3860k|364541 | 12123k| 3.1 | 252M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 271k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1425.14/1425.58 c 1426s| 3870k|364260 | 12152k| 3.1 | 252M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 271k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1428.73/1429.12 c 1429s| 3880k|364838 | 12183k| 3.1 | 252M| 46 | - | 146 | 47 | 0 | 0 | 24 | 272k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1432.23/1432.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.23/1432.62 c 1433s| 3890k|364602 | 12212k| 3.1 | 252M| 46 | - | 146 | 45 | 146 | 14 | 24 | 273k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1435.73/1436.13 c 1436s| 3900k|364484 | 12240k| 3.1 | 252M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 274k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1439.22/1439.69 c 1440s| 3910k|364065 | 12270k| 3.1 | 252M| 46 | - | 146 | 43 | 146 | 14 | 24 | 274k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1442.84/1443.21 c 1443s| 3920k|363988 | 12298k| 3.1 | 252M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 275k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1446.43/1446.81 c 1447s| 3930k|363960 | 12328k| 3.1 | 252M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 276k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1449.92/1450.36 c 1450s| 3940k|363814 | 12358k| 3.1 | 252M| 46 | - | 146 | 47 | 0 | 0 | 24 | 276k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1453.52/1453.90 c 1454s| 3950k|363772 | 12387k| 3.1 | 252M| 46 | - | 146 | 44 | 146 | 14 | 24 | 277k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1457.03/1457.40 c 1457s| 3960k|363745 | 12416k| 3.1 | 253M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 278k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1460.52/1460.92 c 1461s| 3970k|363704 | 12445k| 3.1 | 253M| 46 | - | 146 | 44 | 0 | 0 | 24 | 279k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1464.02/1464.46 c 1464s| 3980k|363926 | 12475k| 3.1 | 253M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 279k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1467.52/1467.99 c 1468s| 3990k|364139 | 12505k| 3.1 | 253M| 46 | 6 | 146 | 48 | 146 | 14 | 24 | 280k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1471.12/1471.51 c 1472s| 4000k|363915 | 12534k| 3.1 | 253M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 281k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1474.62/1475.04 c 1475s| 4010k|363565 | 12563k| 3.1 | 253M| 46 | - | 146 | 43 | 146 | 14 | 24 | 282k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1478.22/1478.63 c 1479s| 4020k|364722 | 12594k| 3.1 | 254M| 46 | - | 146 | 44 | 146 | 14 | 24 | 282k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1481.72/1482.16 c 1482s| 4030k|365270 | 12623k| 3.1 | 254M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 283k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1485.22/1485.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1485.22/1485.68 c 1486s| 4040k|365490 | 12652k| 3.1 | 255M| 46 | - | 146 | 45 | 146 | 14 | 24 | 284k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1488.72/1489.17 c 1489s| 4050k|365470 | 12681k| 3.1 | 255M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 285k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1492.22/1492.65 c 1493s| 4060k|365607 | 12710k| 3.1 | 255M| 46 | - | 146 | 43 | 146 | 14 | 24 | 285k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1495.72/1496.15 c 1496s| 4070k|365474 | 12739k| 3.1 | 255M| 46 | - | 146 | 45 | 0 | 0 | 24 | 286k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1499.22/1499.64 c 1500s| 4080k|365408 | 12768k| 3.1 | 255M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 287k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1502.72/1503.18 c 1503s| 4090k|365282 | 12797k| 3.1 | 255M| 46 | - | 146 | 44 | 146 | 14 | 24 | 288k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1506.31/1506.73 c 1507s| 4100k|364926 | 12825k| 3.1 | 255M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 288k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1509.82/1510.30 c 1510s| 4110k|364835 | 12854k| 3.1 | 255M| 46 | - | 146 | 44 | 146 | 14 | 24 | 289k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1513.41/1513.82 c 1514s| 4120k|365045 | 12885k| 3.1 | 256M| 46 | - | 146 | 43 | 146 | 14 | 24 | 290k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1516.91/1517.35 c 1517s| 4130k|365101 | 12913k| 3.1 | 256M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 290k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1520.51/1520.91 c 1521s| 4140k|364933 | 12942k| 3.1 | 256M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 291k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1524.01/1524.42 c 1524s| 4150k|364814 | 12972k| 3.1 | 256M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 292k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1527.52/1527.94 c 1528s| 4160k|365125 | 13001k| 3.1 | 256M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 292k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1531.00/1531.44 c 1531s| 4170k|364697 | 13029k| 3.1 | 256M| 46 | - | 146 | 43 | 146 | 14 | 24 | 293k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1534.51/1534.98 c 1535s| 4180k|365023 | 13059k| 3.1 | 256M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 294k| 25k| 0.000000e+00 | 8.000000e+00 | Inf
1538.01/1538.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1538.01/1538.48 c 1538s| 4190k|365156 | 13087k| 3.1 | 257M| 46 | - | 146 | 50 | 146 | 14 | 24 | 295k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1541.60/1542.01 c 1542s| 4200k|365130 | 13115k| 3.1 | 257M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 295k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1545.11/1545.52 c 1546s| 4210k|364754 | 13144k| 3.1 | 257M| 46 | - | 146 | 43 | 146 | 14 | 24 | 296k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1548.70/1549.11 c 1549s| 4220k|364399 | 13174k| 3.1 | 257M| 46 | 6 | 146 | 47 | 146 | 14 | 24 | 297k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1552.20/1552.64 c 1553s| 4230k|364123 | 13203k| 3.1 | 257M| 46 | - | 146 | 44 | 146 | 14 | 24 | 298k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1555.70/1556.13 c 1556s| 4240k|363835 | 13232k| 3.1 | 257M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 298k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1559.10/1559.59 c 1560s| 4250k|363823 | 13260k| 3.1 | 257M| 46 | - | 146 | 48 | 146 | 14 | 24 | 299k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1562.70/1563.11 c 1563s| 4260k|364215 | 13290k| 3.1 | 257M| 46 | - | 146 | 43 | 0 | 0 | 24 | 300k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1566.30/1566.70 c 1567s| 4270k|364509 | 13321k| 3.1 | 257M| 46 | - | 146 | 44 | 146 | 14 | 24 | 301k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1569.80/1570.23 c 1570s| 4280k|365427 | 13351k| 3.1 | 258M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 301k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1573.30/1573.75 c 1574s| 4290k|366505 | 13381k| 3.1 | 259M| 46 | - | 146 | 46 | 0 | 0 | 24 | 302k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1576.80/1577.29 c 1577s| 4300k|366948 | 13411k| 3.1 | 259M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 303k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1580.39/1580.82 c 1581s| 4310k|367291 | 13441k| 3.1 | 259M| 46 | - | 146 | 44 | 146 | 14 | 24 | 303k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1583.89/1584.33 c 1584s| 4320k|367558 | 13471k| 3.1 | 260M| 46 | - | 146 | 48 | 0 | 0 | 24 | 304k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1587.40/1587.86 c 1588s| 4330k|368000 | 13501k| 3.1 | 260M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 305k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1591.00/1591.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1591.00/1591.43 c 1591s| 4340k|368588 | 13531k| 3.1 | 261M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 305k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1594.60/1595.02 c 1595s| 4350k|369110 | 13562k| 3.1 | 261M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 306k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1598.09/1598.56 c 1599s| 4360k|369326 | 13592k| 3.1 | 261M| 46 | - | 146 | 45 | 146 | 14 | 24 | 307k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1601.69/1602.13 c 1602s| 4370k|369316 | 13622k| 3.1 | 261M| 46 | - | 146 | 46 | 146 | 14 | 24 | 308k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1605.19/1605.67 c 1606s| 4380k|369229 | 13651k| 3.1 | 262M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 308k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1608.80/1609.20 c 1609s| 4390k|369117 | 13680k| 3.1 | 262M| 46 | - | 146 | 45 | 146 | 14 | 24 | 309k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1612.28/1612.70 c 1613s| 4400k|368672 | 13709k| 3.1 | 261M| 46 | - | 146 | 46 | 146 | 14 | 24 | 310k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1615.69/1616.14 c 1616s| 4410k|368656 | 13738k| 3.1 | 262M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 310k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1619.19/1619.66 c 1620s| 4420k|368306 | 13767k| 3.1 | 261M| 46 | - | 146 | 44 | 0 | 0 | 24 | 311k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1622.78/1623.25 c 1623s| 4430k|368350 | 13796k| 3.1 | 262M| 46 | 6 | 146 | 49 | 146 | 14 | 24 | 312k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1626.28/1626.77 c 1627s| 4440k|369471 | 13826k| 3.1 | 262M| 46 | - | 146 | 48 | 146 | 14 | 24 | 312k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1629.88/1630.31 c 1630s| 4450k|369482 | 13854k| 3.1 | 263M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 313k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1633.38/1633.85 c 1634s| 4460k|369874 | 13884k| 3.1 | 263M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 314k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1636.98/1637.41 c 1637s| 4470k|369966 | 13914k| 3.1 | 263M| 46 | - | 146 | 44 | 146 | 14 | 24 | 314k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1640.48/1640.93 c 1641s| 4480k|369758 | 13942k| 3.1 | 263M| 46 | - | 146 | 45 | 0 | 0 | 24 | 315k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1643.99/1644.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.99/1644.42 c 1644s| 4490k|369586 | 13972k| 3.1 | 263M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 316k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1647.48/1647.94 c 1648s| 4500k|369438 | 14001k| 3.1 | 263M| 46 | - | 146 | 42 | 146 | 14 | 24 | 317k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1650.98/1651.43 c 1651s| 4510k|369217 | 14030k| 3.1 | 263M| 46 | - | 146 | 43 | 146 | 14 | 24 | 317k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1654.48/1654.93 c 1655s| 4520k|368888 | 14058k| 3.1 | 263M| 46 | - | 146 | 44 | 146 | 14 | 24 | 318k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1657.98/1658.45 c 1658s| 4530k|368809 | 14087k| 3.1 | 263M| 46 | 6 | 146 | 42 | 146 | 14 | 24 | 319k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1661.48/1661.96 c 1662s| 4540k|368470 | 14116k| 3.1 | 263M| 46 | - | 146 | 47 | 146 | 14 | 24 | 319k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1664.98/1665.49 c 1665s| 4550k|368248 | 14146k| 3.1 | 263M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 320k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1668.68/1669.11 c 1669s| 4560k|369308 | 14177k| 3.1 | 264M| 46 | - | 146 | 49 | 146 | 14 | 24 | 321k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1672.18/1672.60 c 1673s| 4570k|370529 | 14207k| 3.1 | 264M| 46 | 6 | 146 | 46 | 146 | 14 | 24 | 321k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1675.67/1676.18 c 1676s| 4580k|371489 | 14237k| 3.1 | 265M| 46 | - | 146 | 49 | 146 | 14 | 24 | 322k| 26k| 0.000000e+00 | 8.000000e+00 | Inf
1679.28/1679.73 c 1680s| 4590k|372183 | 14268k| 3.1 | 266M| 46 | 6 | 146 | 44 | 146 | 14 | 24 | 323k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1682.77/1683.23 c 1683s| 4600k|372807 | 14297k| 3.1 | 266M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 324k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1686.27/1686.71 c 1687s| 4610k|373389 | 14327k| 3.1 | 267M| 46 | - | 146 | 41 | 0 | 0 | 24 | 324k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1689.77/1690.24 c 1690s| 4620k|373541 | 14356k| 3.1 | 267M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 325k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1693.27/1693.78 c 1694s| 4630k|373703 | 14386k| 3.1 | 267M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 326k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1696.87/1697.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1696.87/1697.33 c 1697s| 4640k|373872 | 14415k| 3.1 | 267M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 326k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1700.37/1700.87 c 1701s| 4650k|374182 | 14445k| 3.1 | 268M| 46 | - | 146 | 41 | 0 | 0 | 24 | 327k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1703.86/1704.34 c 1704s| 4660k|374026 | 14473k| 3.1 | 268M| 46 | - | 146 | 42 | 146 | 14 | 24 | 328k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1707.37/1707.86 c 1708s| 4670k|373857 | 14502k| 3.1 | 268M| 46 | - | 146 | 42 | 146 | 14 | 24 | 329k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1710.86/1711.38 c 1711s| 4680k|373818 | 14531k| 3.1 | 268M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 329k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1714.37/1714.85 c 1715s| 4690k|373534 | 14560k| 3.1 | 268M| 46 | - | 146 | 47 | 146 | 14 | 24 | 330k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1717.86/1718.35 c 1718s| 4700k|373217 | 14589k| 3.1 | 268M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 331k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1721.36/1721.88 c 1722s| 4710k|372992 | 14617k| 3.1 | 268M| 46 | - | 146 | 41 | 0 | 0 | 24 | 332k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1724.86/1725.38 c 1725s| 4720k|372678 | 14646k| 3.1 | 268M| 46 | - | 146 | 41 | 146 | 14 | 24 | 332k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1728.46/1728.90 c 1729s| 4730k|372082 | 14675k| 3.1 | 268M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 333k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1731.86/1732.38 c 1732s| 4740k|371579 | 14703k| 3.1 | 267M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 334k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1735.46/1735.90 c 1736s| 4750k|371099 | 14731k| 3.1 | 267M| 46 | - | 146 | 39 | 146 | 14 | 24 | 334k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1738.95/1739.46 c 1739s| 4760k|371279 | 14763k| 3.1 | 267M| 46 | 6 | 146 | 39 | 146 | 14 | 24 | 335k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1742.46/1742.95 c 1743s| 4770k|371192 | 14792k| 3.1 | 267M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 336k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1745.96/1746.47 c 1746s| 4780k|371319 | 14822k| 3.1 | 268M| 46 | - | 146 | 45 | 0 | 0 | 24 | 337k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1749.56/1750.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1749.56/1750.01 c 1750s| 4790k|371211 | 14851k| 3.1 | 268M| 46 | 6 | 146 | 41 | 146 | 14 | 24 | 337k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1753.06/1753.53 c 1754s| 4800k|370745 | 14880k| 3.1 | 268M| 46 | - | 146 | 43 | 0 | 0 | 24 | 338k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1756.55/1757.03 c 1757s| 4810k|370685 | 14909k| 3.1 | 268M| 46 | - | 146 | 41 | 146 | 14 | 24 | 339k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1760.05/1760.54 c 1761s| 4820k|370124 | 14938k| 3.1 | 267M| 46 | - | 146 | 43 | 146 | 14 | 24 | 340k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1763.55/1764.09 c 1764s| 4830k|369731 | 14968k| 3.1 | 267M| 46 | - | 146 | 42 | 146 | 14 | 24 | 340k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1767.16/1767.61 c 1768s| 4840k|369299 | 14996k| 3.1 | 267M| 46 | - | 146 | 45 | 0 | 0 | 24 | 341k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1770.64/1771.18 c 1771s| 4850k|369433 | 15025k| 3.1 | 267M| 46 | 6 | 146 | 45 | 146 | 14 | 24 | 342k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1774.25/1774.70 c 1775s| 4860k|369034 | 15054k| 3.1 | 267M| 46 | 6 | 146 | 40 | 146 | 14 | 24 | 343k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1777.75/1778.24 c 1778s| 4870k|368488 | 15084k| 3.1 | 267M| 46 | - | 146 | 41 | 146 | 14 | 24 | 343k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1781.25/1781.76 c 1782s| 4880k|368065 | 15112k| 3.1 | 267M| 46 | - | 146 | 43 | 146 | 14 | 24 | 344k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1784.86/1785.31 c 1785s| 4890k|367758 | 15142k| 3.1 | 267M| 46 | - | 146 | 56 | 146 | 14 | 24 | 345k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1788.45/1788.92 c 1789s| 4900k|369213 | 15174k| 3.1 | 268M| 46 | 6 | 146 | 43 | 146 | 14 | 24 | 346k| 27k| 0.000000e+00 | 8.000000e+00 | Inf
1789.54/1790.01 c
1789.54/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.54/1790.01 c Solving Time (sec) : 1790.00
1789.54/1790.01 c Solving Nodes : 4903033
1789.54/1790.01 c Primal Bound : +8.00000000000001e+00 (29 solutions)
1789.54/1790.01 c Dual Bound : +0.00000000000000e+00
1789.54/1790.01 c Gap : infinite
1789.54/1790.01 s SATISFIABLE
1789.54/1790.01 v x146 -x145 x144 x143 x142 x141 x140 x139 x138 x137 x136 -x135 -x134 -x133 x132 x131 -x130 x129 -x128 x127 x126 -x125 -x124 -x123
1789.54/1790.01 v x122 -x121 -x120 -x119 -x118 x117 x116 -x115 x114 -x113 x112 x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 x101
1789.54/1790.01 v x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75
1789.54/1790.01 v -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50
1789.54/1790.01 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25
1789.54/1790.01 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1789.54/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.54/1790.01 c Solving Time : 1790.00
1789.54/1790.01 c Original Problem :
1789.54/1790.01 c Problem name : HOME/instance-2703922-1278562178.opb
1789.54/1790.01 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.01 c Constraints : 12 initial, 12 maximal
1789.54/1790.01 c Presolved Problem :
1789.54/1790.01 c Problem name : t_HOME/instance-2703922-1278562178.opb
1789.54/1790.01 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.01 c Constraints : 6 initial, 123 maximal
1789.54/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.54/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.54/1790.01 c linear : 0.00 0 0 0 0 0 6 0 0
1789.54/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c root node : - 60 - - 60 - - - -
1789.54/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.54/1790.01 c integral : 0 0 0 2680156 0 258 9209 0 0 5341590
1789.54/1790.01 c linear : 6+ 7 6885164 0 1 973887 6115319 0 0 0
1789.54/1790.01 c logicor : 0+ 0 1545752 0 0 7235 87964 0 0 0
1789.54/1790.01 c countsols : 0 0 0 15 1 0 0 0 0 0
1789.54/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.54/1790.01 c integral : 32.18 0.00 0.00 32.18 0.00
1789.54/1790.01 c linear : 435.66 0.00 435.66 0.00 0.00
1789.54/1790.01 c logicor : 3.88 0.00 3.88 0.00 0.00
1789.54/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.54/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.54/1790.01 c vbounds : 2.72 2 0 0
1789.54/1790.01 c rootredcost : 2.69 24 0 60
1789.54/1790.01 c pseudoobj : 50.11 6892339 7360 515674
1789.54/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.54/1790.01 c propagation : 55.71 988330 335264 395321 46.4 21 32.8 -
1789.54/1790.01 c infeasible LP : 0.82 10640 10636 15587 31.4 2 30.0 0
1789.54/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.54/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.54/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.54/1790.01 c applied globally : - - - 8108 22.4 - - -
1789.54/1790.01 c applied locally : - - - 338118 46.4 - - -
1789.54/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.54/1790.01 c cut pool : 0.00 5 - - 17 - (maximal pool size: 87)
1789.54/1790.01 c redcost : 71.57 3488514 0 15609539 0 0
1789.54/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.54/1790.01 c intobj : 0.00 0 0 0 0 0
1789.54/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.54/1790.01 c gomory : 0.01 6 0 0 0 0
1789.54/1790.01 c strongcg : 0.01 6 0 0 16 0
1789.54/1790.01 c cmir : 0.03 6 0 0 34 0
1789.54/1790.01 c flowcover : 0.04 6 0 0 41 0
1789.54/1790.01 c clique : 0.00 1 0 0 0 0
1789.54/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.54/1790.01 c mcf : 0.00 1 0 0 0 0
1789.54/1790.01 c rapidlearning : 0.10 1 0 0 0 67
1789.54/1790.01 c Pricers : Time Calls Vars
1789.54/1790.01 c problem variables: 0.00 0 0
1789.54/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.54/1790.01 c relpscost : 29.53 2680141 258 9209 0 0 5341590
1789.54/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.54/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.54/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.54/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.54/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.54/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.54/1790.01 c random : 0.00 0 0 0 0 0 0
1789.54/1790.01 c Primal Heuristics : Time Calls Found
1789.54/1790.01 c LP solutions : 0.07 - 15
1789.54/1790.01 c pseudo solutions : 0.00 - 0
1789.54/1790.01 c feaspump : 0.39 1 0
1789.54/1790.01 c oneopt : 1.99 24 0
1789.54/1790.01 c crossover : 8.03 7 1
1789.54/1790.01 c fracdiving : 11.35 6775 1
1789.54/1790.01 c linesearchdiving : 9.70 6776 0
1789.54/1790.01 c coefdiving : 17.00 6776 0
1789.54/1790.01 c guideddiving : 9.65 6776 3
1789.54/1790.01 c objpscostdiving : 6.33 3388 2
1789.54/1790.01 c pscostdiving : 11.32 6776 2
1789.54/1790.01 c veclendiving : 9.25 6776 1
1789.54/1790.01 c trivial : 0.00 2 0
1789.54/1790.01 c simplerounding : 1.44 0 0
1789.54/1790.01 c zirounding : 1.74 1000 0
1789.54/1790.01 c rounding : 3.09 25310 0
1789.54/1790.01 c shifting : 5.81 7294 0
1789.54/1790.01 c intshifting : 0.17 0 0
1789.54/1790.01 c twoopt : 0.00 0 0
1789.54/1790.01 c fixandinfer : 0.00 0 0
1789.54/1790.01 c intdiving : 0.00 0 0
1789.54/1790.01 c actconsdiving : 0.00 0 0
1789.54/1790.01 c rootsoldiving : 5.28 1256 3
1789.54/1790.01 c octane : 0.00 0 0
1789.54/1790.01 c rens : 0.03 1 0
1789.54/1790.01 c rins : 0.00 0 0
1789.54/1790.01 c localbranching : 0.00 0 0
1789.54/1790.01 c mutation : 0.00 0 0
1789.54/1790.01 c dins : 0.00 0 0
1789.54/1790.01 c undercover : 0.00 0 0
1789.54/1790.01 c nlp : 1.52 0 0
1789.54/1790.01 c trysol : 2.51 0 0
1789.54/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.54/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.54/1790.01 c dual LP : 645.57 4527255 14377977 3.18 22271.71
1789.54/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.54/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.54/1790.01 c diving/probing LP: 37.57 326056 806451 2.47 21463.58
1789.54/1790.01 c strong branching : 5.93 27775 87017 3.13 14669.06
1789.54/1790.01 c (at root node) : - 11 569 51.73 -
1789.54/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.54/1790.01 c B&B Tree :
1789.54/1790.01 c number of runs : 1
1789.54/1790.01 c nodes : 4903033
1789.54/1790.01 c nodes (total) : 4903033
1789.54/1790.01 c nodes left : 369529
1789.54/1790.01 c max depth : 46
1789.54/1790.01 c max depth (total): 46
1789.54/1790.01 c backtracks : 1204004 (24.6%)
1789.54/1790.01 c delayed cutoffs : 57000
1789.54/1790.01 c repropagations : 93984 (362731 domain reductions, 56489 cutoffs)
1789.54/1790.01 c avg switch length: 5.08
1789.54/1790.01 c switching time : 153.10
1789.54/1790.01 c Solution :
1789.54/1790.01 c Solutions found : 29 (24 improvements)
1789.54/1790.01 c First Solution : +1.15400000000000e+03 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1789.54/1790.01 c Primal Bound : +8.00000000000001e+00 (in run 1, after 1816727 nodes, 701.41 seconds, depth 35, found by <relaxation>)
1789.54/1790.01 c Dual Bound : +0.00000000000000e+00
1789.54/1790.01 c Gap : infinite
1789.54/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.54/1790.01 c Root Iterations : 173
1791.14/1791.63 c Time complete: 1791.18.
OK 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703922-1278562178/watcher-2703922-1278562178 -o /tmp/evaluation-result-2703922-1278562178/solver-2703922-1278562178 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703922-1278562178.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.92 0.98 0.99 3/106 27260 /proc/meminfo: memFree=1753864/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=7904 CPUtime=0 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 1200 0 0 0 0 0 0 0 15 0 1 0 24424487 8093696 1112 1992294400 4194304 8395647 140733484045376 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27260/statm: 1976 1120 365 1026 0 946 0 [startup+0.048981 s] /proc/loadavg: 0.92 0.98 0.99 3/106 27260 /proc/meminfo: memFree=1753864/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=20116 CPUtime=0.03 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 4326 0 0 0 3 0 0 0 17 0 1 0 24424487 20598784 3885 1992294400 4194304 8395647 140733484045376 18446744073709551615 7382147 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 5029 3898 586 1026 0 3999 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 20116 [startup+0.101984 s] /proc/loadavg: 0.92 0.98 0.99 3/106 27260 /proc/meminfo: memFree=1753864/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=22824 CPUtime=0.09 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 4937 0 0 0 8 1 0 0 17 0 1 0 24424487 23371776 4496 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 5706 4496 597 1026 0 4676 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22824 [startup+0.302004 s] /proc/loadavg: 0.92 0.98 0.99 3/106 27260 /proc/meminfo: memFree=1753864/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=24168 CPUtime=0.29 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 5630 0 0 0 27 2 0 0 17 0 1 0 24424487 24748032 5189 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 6042 5189 630 1026 0 5012 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24168 [startup+0.702038 s] /proc/loadavg: 0.92 0.98 0.99 3/106 27260 /proc/meminfo: memFree=1753864/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=24168 CPUtime=0.69 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 5631 0 0 0 65 4 0 0 17 0 1 0 24424487 24748032 5190 1992294400 4194304 8395647 140733484045376 18446744073709551615 5006039 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 6042 5190 630 1026 0 5012 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24168 [startup+1.50111 s] /proc/loadavg: 0.92 0.98 0.99 2/107 27261 /proc/meminfo: memFree=1735008/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=24168 CPUtime=1.49 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 5636 0 0 0 142 7 0 0 18 0 1 0 24424487 24748032 5195 1992294400 4194304 8395647 140733484045376 18446744073709551615 4601846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 6042 5195 631 1026 0 5012 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24168 [startup+3.10125 s] /proc/loadavg: 0.92 0.98 0.99 2/107 27261 /proc/meminfo: memFree=1734636/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=25960 CPUtime=3.09 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 5997 0 0 0 295 14 0 0 21 0 1 0 24424487 26583040 5556 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 6490 5556 632 1026 0 5460 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25960 [startup+6.30154 s] /proc/loadavg: 0.93 0.98 0.99 2/107 27261 /proc/meminfo: memFree=1735256/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=23144 CPUtime=6.29 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 6056 0 0 0 596 33 0 0 25 0 1 0 24424487 23699456 4990 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 5786 4990 632 1026 0 4756 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23144 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/107 27261 /proc/meminfo: memFree=1735256/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=27216 CPUtime=12.68 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 8686 0 0 0 1208 60 0 0 25 0 1 0 24424487 27869184 6009 1992294400 4194304 8395647 140733484045376 18446744073709551615 5926597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 6804 6009 632 1026 0 5774 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27216 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/107 27263 /proc/meminfo: memFree=1728560/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=30256 CPUtime=25.48 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 14207 0 0 0 2433 115 0 0 25 0 1 0 24424487 30982144 6771 1992294400 4194304 8395647 140733484045376 18446744073709551615 6347101 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 7564 6784 632 1026 0 6534 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30256 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/107 27263 /proc/meminfo: memFree=1718516/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=43352 CPUtime=51.07 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 31528 0 0 0 4871 236 0 0 25 0 1 0 24424487 44392448 10141 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 10838 10141 632 1026 0 9808 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 43352 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 27265 /proc/meminfo: memFree=1707232/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=50880 CPUtime=102.27 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 49568 0 0 0 9754 473 0 0 25 0 1 0 24424487 52101120 12096 1992294400 4194304 8395647 140733484045376 18446744073709551615 5005948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 12720 12096 632 1026 0 11690 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 50880 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27265 /proc/meminfo: memFree=1692352/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=66760 CPUtime=162.24 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 61063 0 0 0 15502 722 0 0 25 0 1 0 24424487 68362240 15838 1992294400 4194304 8395647 140733484045376 18446744073709551615 6345775 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 16690 15838 632 1026 0 15660 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 66760 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27267 /proc/meminfo: memFree=1685532/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=73372 CPUtime=222.23 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 63597 0 0 0 21265 958 0 0 25 0 1 0 24424487 75132928 17510 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 18343 17510 632 1026 0 17313 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 73372 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27269 /proc/meminfo: memFree=1678836/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=80140 CPUtime=282.21 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 65285 0 0 0 27015 1206 0 0 25 0 1 0 24424487 82063360 19198 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 20035 19198 632 1026 0 19005 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 80140 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27271 /proc/meminfo: memFree=1679952/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=78488 CPUtime=342.2 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 73276 0 0 0 32768 1452 0 0 25 0 1 0 24424487 80371712 18785 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 19622 18785 632 1026 0 18592 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 78488 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27273 /proc/meminfo: memFree=1664080/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=94824 CPUtime=402.18 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 78232 0 0 0 38514 1704 0 0 25 0 1 0 24424487 97099776 22916 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 23706 22916 632 1026 0 22676 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 94824 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27273 /proc/meminfo: memFree=1643248/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=114872 CPUtime=462.17 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 83344 0 0 0 44264 1953 0 0 25 0 1 0 24424487 117628928 28028 1992294400 4194304 8395647 140733484045376 18446744073709551615 5926682 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 28718 28028 632 1026 0 27688 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 114872 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27275 /proc/meminfo: memFree=1626384/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=131440 CPUtime=522.16 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 87547 0 0 0 50013 2203 0 0 25 0 1 0 24424487 134594560 32231 1992294400 4194304 8395647 140733484045376 18446744073709551615 4243342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 32860 32231 632 1026 0 31830 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 131440 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27277 /proc/meminfo: memFree=1607908/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=149564 CPUtime=582.14 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 92102 0 0 0 55771 2443 0 0 25 0 1 0 24424487 153153536 36786 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 37391 36786 632 1026 0 36361 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 149564 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27282 /proc/meminfo: memFree=1588564/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=171892 CPUtime=642.13 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 96767 0 0 0 61528 2685 0 0 25 0 1 0 24424487 176017408 41451 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 42973 41451 632 1026 0 41943 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 171892 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1517884/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=240728 CPUtime=1062.02 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 121098 0 0 0 101758 4444 0 0 25 0 1 0 24424487 246505472 59062 1992294400 4194304 8395647 140733484045376 18446744073709551615 5026843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 60182 59062 632 1026 0 59152 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 240728 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27294 /proc/meminfo: memFree=1506972/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=251528 CPUtime=1122.01 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 123824 0 0 0 107515 4686 0 0 25 0 1 0 24424487 257564672 61788 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 62882 61788 632 1026 0 61852 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 251528 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27296 /proc/meminfo: memFree=1499284/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=258868 CPUtime=1181.99 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 125700 0 0 0 113279 4920 0 0 25 0 1 0 24424487 265080832 63664 1992294400 4194304 8395647 140733484045376 18446744073709551615 4612760 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 64717 63664 632 1026 0 63687 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 258868 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27298 /proc/meminfo: memFree=1492588/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=265420 CPUtime=1241.97 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 127366 0 0 0 119030 5167 0 0 25 0 1 0 24424487 271790080 65330 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 66355 65330 632 1026 0 65325 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 265420 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27300 /proc/meminfo: memFree=1485892/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=271612 CPUtime=1301.97 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 129753 0 0 0 124784 5413 0 0 25 0 1 0 24424487 278130688 66906 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 67903 66906 632 1026 0 66873 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 271612 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27300 /proc/meminfo: memFree=1480808/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=276604 CPUtime=1361.95 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 131040 0 0 0 130549 5646 0 0 25 0 1 0 24424487 283242496 68193 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 69151 68193 632 1026 0 68121 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 276604 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27302 /proc/meminfo: memFree=1477832/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=279552 CPUtime=1421.94 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 131768 0 0 0 136308 5886 0 0 25 0 1 0 24424487 286261248 68921 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 69888 68921 632 1026 0 68858 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 279552 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27304 /proc/meminfo: memFree=1473740/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=283576 CPUtime=1481.92 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 132776 0 0 0 142066 6126 0 0 25 0 1 0 24424487 290381824 69929 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 70894 69929 632 1026 0 69864 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 283576 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27306 /proc/meminfo: memFree=1470144/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=287148 CPUtime=1541.9 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 133672 0 0 0 147834 6356 0 0 25 0 1 0 24424487 294039552 70825 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 71787 70825 632 1026 0 70757 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 287148 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27308 /proc/meminfo: memFree=1465804/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=291180 CPUtime=1601.89 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 134724 0 0 0 153590 6599 0 0 25 0 1 0 24424487 298168320 71877 1992294400 4194304 8395647 140733484045376 18446744073709551615 6262425 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 72795 71877 632 1026 0 71765 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 291180 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27308 /proc/meminfo: memFree=1464068/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=292864 CPUtime=1661.87 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 135117 0 0 0 159351 6836 0 0 25 0 1 0 24424487 299892736 72270 1992294400 4194304 8395647 140733484045376 18446744073709551615 5026504 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 73216 72270 632 1026 0 72186 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 292864 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27310 /proc/meminfo: memFree=1459356/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=297384 CPUtime=1721.86 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 136263 0 0 0 165108 7078 0 0 25 0 1 0 24424487 304521216 73416 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 74346 73416 632 1026 0 73316 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 297384 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27312 /proc/meminfo: memFree=1458488/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=297988 CPUtime=1781.85 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 136408 0 0 0 170864 7321 0 0 25 0 1 0 24424487 305139712 73561 1992294400 4194304 8395647 140733484045376 18446744073709551615 6615171 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 74497 73561 632 1026 0 73467 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 297988 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27312 /proc/meminfo: memFree=1458488/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=297988 CPUtime=1785.04 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 136408 0 0 0 171169 7335 0 0 25 0 1 0 24424487 305139712 73561 1992294400 4194304 8395647 140733484045376 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 74497 73561 632 1026 0 73467 0 Current children cumulated CPU time (s) 1785.04 Current children cumulated vsize (KiB) 297988 [startup+1788.7 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27312 /proc/meminfo: memFree=1458488/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=297988 CPUtime=1788.24 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 136408 0 0 0 171475 7349 0 0 25 0 1 0 24424487 305139712 73561 1992294400 4194304 8395647 140733484045376 18446744073709551615 5006061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27260/statm: 74497 73561 632 1026 0 73467 0 Current children cumulated CPU time (s) 1788.24 Current children cumulated vsize (KiB) 297988 [startup+1790.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27312 /proc/meminfo: memFree=1458488/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=297988 CPUtime=1789.84 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 136410 0 0 0 171630 7354 0 0 25 0 1 0 24424487 305139712 73563 1992294400 4194304 8395647 140733484045376 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27260/statm: 74497 73563 634 1026 0 73467 0 Current children cumulated CPU time (s) 1789.84 Current children cumulated vsize (KiB) 297988 [startup+1791.1 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27312 /proc/meminfo: memFree=1458488/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=297988 CPUtime=1790.64 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 136410 0 0 0 171710 7354 0 0 25 0 1 0 24424487 305139712 73563 1992294400 4194304 8395647 140733484045376 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27260/statm: 74497 73563 634 1026 0 73467 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (KiB) 297988 [startup+1791.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27312 /proc/meminfo: memFree=1458488/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=297988 CPUtime=1791.04 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 136410 0 0 0 171750 7354 0 0 25 0 1 0 24424487 305139712 73563 1992294400 4194304 8395647 140733484045376 18446744073709551615 6345227 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27260/statm: 74497 73563 634 1026 0 73467 0 Current children cumulated CPU time (s) 1791.04 Current children cumulated vsize (KiB) 297988 [startup+1791.6 s] /proc/loadavg: 0.99 0.98 0.99 2/107 27312 /proc/meminfo: memFree=1458488/2059040 swapFree=4147816/4192956 [pid=27260] ppid=27258 vsize=297988 CPUtime=1791.14 /proc/27260/stat : 27260 (pbscip.linux.x8) R 27258 27260 27235 0 -1 4202496 136410 0 0 0 171760 7354 0 0 25 0 1 0 24424487 305139712 73563 1992294400 4194304 8395647 140733484045376 18446744073709551615 4288140 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27260/statm: 74497 73563 634 1026 0 73467 0 Current children cumulated CPU time (s) 1791.14 Current children cumulated vsize (KiB) 297988 Child status: 0 Real time (s): 1791.64 CPU time (s): 1791.19 CPU user time (s): 1717.61 CPU system time (s): 73.5778 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 297988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1717.61 system time used= 73.5778 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 136413 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= 20684 runsolver used 3.11353 second user time and 8.33673 second system time The end
Begin job on node051 at 2010-07-08 06:09:38 IDJOB=2703922 IDBENCH=2910 IDSOLVER=1213 FILE ID=node051/2703922-1278562178 PBS_JOBID= 11239585 Free space on /tmp= 62520 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703922-1278562178/watcher-2703922-1278562178 -o /tmp/evaluation-result-2703922-1278562178/solver-2703922-1278562178 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703922-1278562178.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca RANDOM SEED=1467656029 node051.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.201 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.40 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.201 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1754268 kB Buffers: 60852 kB Cached: 150296 kB SwapCached: 4888 kB Active: 112548 kB Inactive: 118192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1754268 kB SwapTotal: 4192956 kB SwapFree: 4147816 kB Dirty: 10448 kB Writeback: 0 kB AnonPages: 15824 kB Mapped: 12084 kB Slab: 52004 kB PageTables: 4208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182508 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= 62512 MiB End job on node051 at 2010-07-08 06:39:29