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.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 14 | 1802.12 | 1802.67 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
| MD5SUM | a70b0edfadf87ffd0bc1b32400cae43b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 1792.37 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 18 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| 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 | 14 |
| Minimum length of a constraint | 74 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| 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 | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1648 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5454 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667091-1276616502.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 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, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/172 (58.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 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 | 38 | - | 564k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 o 436
0.09/0.16 c y 0.1s| 1 | 0 | 82 | - | 618k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 89 | - | 745k| 0 | 11 | 172 | 97 | 172 | 12 | 5 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 104 | - | 813k| 0 | 16 | 172 | 97 | 172 | 18 | 11 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 114 | - | 845k| 0 | 17 | 172 | 97 | 172 | 22 | 15 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 129 | - | 869k| 0 | 19 | 172 | 97 | 172 | 26 | 19 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 132 | - | 881k| 0 | 20 | 172 | 97 | 172 | 29 | 22 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.19/0.28 c 0.2s| 1 | 0 | 156 | - | 888k| 0 | 19 | 172 | 97 | 172 | 31 | 24 | 0 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
0.29/0.36 c 0.3s| 1 | 2 | 156 | - | 888k| 0 | 19 | 172 | 97 | 172 | 31 | 24 | 0 | 9 | 0.000000e+00 | 4.360000e+02 | Inf
0.49/0.52 o 174
0.49/0.52 c f 0.5s| 45 | 46 | 668 | 11.6 | 990k| 31 | - | 172 | 97 | 172 | 19 | 24 | 3 | 239 | 0.000000e+00 | 1.740000e+02 | Inf
1.00/1.06 o 173
1.00/1.06 c * 1.0s| 456 | 445 | 3582 | 7.5 |1186k| 46 | - | 172 | 99 | 172 | 19 | 24 | 22 | 498 | 0.000000e+00 | 1.730000e+02 | Inf
2.59/2.61 o 131
2.59/2.61 c g 2.4s| 2232 | 2205 | 13925 | 6.2 |2036k| 58 | - | 172 | 102 | 172 | 19 | 24 | 91 | 644 | 0.000000e+00 | 1.310000e+02 | Inf
5.89/5.93 o 130
5.89/5.93 c l 5.4s| 5481 | 5451 | 31627 | 5.7 |3595k| 58 | - | 172 | 102 | 172 | 19 | 24 | 214 | 697 | 0.000000e+00 | 1.300000e+02 | Inf
5.89/5.93 o 128
5.89/5.93 c g 5.4s| 5481 | 5450 | 31627 | 5.7 |3600k| 58 | - | 172 | 102 | 172 | 19 | 24 | 215 | 697 | 0.000000e+00 | 1.280000e+02 | Inf
8.69/8.73 o 123
8.69/8.73 c g 8.0s| 9049 | 8958 | 52250 | 5.8 |5146k| 58 | - | 172 | 19 | 172 | 19 | 24 | 377 | 823 | 0.000000e+00 | 1.230000e+02 | Inf
9.49/9.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.49/9.55 c 8.8s| 10000 | 9899 | 58214 | 5.8 |5536k| 58 | 7 | 172 | 20 | 172 | 19 | 24 | 429 | 857 | 0.000000e+00 | 1.230000e+02 | Inf
11.48/11.51 o 121
11.48/11.51 c *10.6s| 11407 | 11277 | 67798 | 5.9 |6115k| 58 | - | 172 | 22 | 172 | 19 | 24 | 496 | 918 | 0.000000e+00 | 1.210000e+02 | Inf
11.48/11.51 o 119
11.48/11.51 c *10.6s| 11408 | 11270 | 67798 | 5.9 |6106k| 58 | - | 172 | 22 | 172 | 19 | 24 | 496 | 918 | 0.000000e+00 | 1.190000e+02 | Inf
11.89/11.97 o 117
11.89/11.97 c *11.0s| 11904 | 11746 | 71252 | 6.0 |6312k| 58 | - | 172 | 22 | 172 | 19 | 24 | 518 | 953 | 0.000000e+00 | 1.170000e+02 | Inf
15.69/15.76 o 116
15.69/15.76 c *14.4s| 16603 | 16338 | 96612 | 5.8 |8298k| 58 | - | 172 | 27 | 172 | 19 | 24 | 657 |1161 | 0.000000e+00 | 1.160000e+02 | Inf
15.69/15.77 o 114
15.69/15.77 c *14.4s| 16605 | 16331 | 96612 | 5.8 |8284k| 58 | - | 172 | 27 | 172 | 19 | 24 | 657 |1165 | 0.000000e+00 | 1.140000e+02 | Inf
15.69/15.77 o 112
15.69/15.77 c *14.4s| 16606 | 16322 | 96612 | 5.8 |8276k| 58 | - | 172 | 27 | 172 | 19 | 24 | 657 |1165 | 0.000000e+00 | 1.120000e+02 | Inf
15.69/15.78 o 110
15.69/15.78 c *14.4s| 16611 | 16309 | 96649 | 5.8 |8259k| 58 | - | 172 | 27 | 172 | 19 | 24 | 657 |1171 | 0.000000e+00 | 1.100000e+02 | Inf
15.69/15.78 o 108
15.69/15.78 c *14.4s| 16612 | 16306 | 96649 | 5.8 |8256k| 58 | - | 172 | 27 | 172 | 19 | 24 | 657 |1171 | 0.000000e+00 | 1.080000e+02 | Inf
18.09/18.14 c 16.6s| 20000 | 19604 |114091 | 5.7 |9697k| 58 | 7 | 172 | 32 | 172 | 19 | 24 | 749 |1327 | 0.000000e+00 | 1.080000e+02 | Inf
20.08/20.17 o 106
20.08/20.17 c *18.5s| 22921 | 22400 |129198 | 5.6 | 10M| 58 | - | 172 | 31 | 172 | 19 | 24 | 834 |1443 | 0.000000e+00 | 1.060000e+02 | Inf
23.18/23.28 o 104
23.18/23.28 c *21.3s| 26211 | 25559 |145876 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 | 930 |1557 | 0.000000e+00 | 1.040000e+02 | Inf
23.78/23.89 o 103
23.78/23.89 c f21.9s| 27059 | 26351 |150282 | 5.5 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 | 960 |1611 | 0.000000e+00 | 1.030000e+02 | Inf
24.39/24.43 o 102
24.39/24.43 c *22.4s| 27659 | 26908 |154012 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 |1005 |1634 | 0.000000e+00 | 1.020000e+02 | Inf
24.39/24.43 o 100
24.39/24.43 c *22.4s| 27661 | 26890 |154012 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 |1005 |1636 | 0.000000e+00 | 1.000000e+02 | Inf
24.48/24.59 o 99
24.48/24.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.48/24.59 c *22.5s| 27801 | 27010 |155190 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 |1017 |1654 | 0.000000e+00 | 9.900000e+01 | Inf
24.48/24.59 o 97
24.48/24.59 c *22.5s| 27803 | 26992 |155190 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 |1017 |1654 | 0.000000e+00 | 9.700000e+01 | Inf
24.58/24.63 o 96
24.58/24.63 c *22.6s| 27834 | 26988 |155425 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 |1021 |1659 | 0.000000e+00 | 9.600000e+01 | Inf
24.68/24.72 o 94
24.68/24.72 c *22.6s| 27919 | 27031 |156009 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 |1027 |1661 | 0.000000e+00 | 9.400000e+01 | Inf
24.79/24.87 o 92
24.79/24.87 c l22.8s| 28081 | 27157 |157010 | 5.6 | 12M| 58 | - | 172 | 29 | 172 | 19 | 24 |1040 |1663 | 0.000000e+00 | 9.200000e+01 | Inf
26.39/26.48 c 24.2s| 30000 | 28903 |168998 | 5.6 | 13M| 58 | 7 | 172 | 26 | 172 | 19 | 24 |1114 |1792 | 0.000000e+00 | 9.200000e+01 | Inf
27.18/27.23 o 91
27.18/27.23 c *24.9s| 31056 | 29854 |174380 | 5.6 | 14M| 58 | - | 172 | 24 | 172 | 19 | 24 |1139 |1838 | 0.000000e+00 | 9.100000e+01 | Inf
30.59/30.63 o 89
30.59/30.63 c *28.0s| 34998 | 33477 |194511 | 5.6 | 15M| 58 | - | 172 | 23 | 172 | 19 | 24 |1264 |1994 | 0.000000e+00 | 8.900000e+01 | Inf
31.48/31.52 o 88
31.48/31.52 c *28.9s| 36281 | 34613 |200754 | 5.5 | 16M| 58 | - | 172 | 23 | 172 | 19 | 24 |1311 |2043 | 0.000000e+00 | 8.800000e+01 | Inf
31.48/31.53 o 86
31.48/31.53 c *28.9s| 36282 | 34580 |200754 | 5.5 | 16M| 58 | - | 172 | 23 | 172 | 19 | 24 |1311 |2043 | 0.000000e+00 | 8.600000e+01 | Inf
32.38/32.49 o 84
32.38/32.49 c *29.7s| 37575 | 35649 |207743 | 5.5 | 17M| 58 | - | 172 | 26 | 172 | 19 | 24 |1351 |2123 | 0.000000e+00 | 8.400000e+01 | Inf
34.09/34.16 o 83
34.09/34.16 c *31.3s| 39880 | 37709 |219561 | 5.5 | 18M| 58 | - | 172 | 24 | 172 | 19 | 24 |1421 |2219 | 0.000000e+00 | 8.300000e+01 | Inf
34.18/34.25 c 31.4s| 40000 | 37823 |220254 | 5.5 | 18M| 58 | 7 | 172 | 24 | 172 | 19 | 24 |1426 |2220 | 0.000000e+00 | 8.300000e+01 | Inf
35.88/35.99 o 82
35.88/35.99 c f33.0s| 42427 | 39909 |232545 | 5.5 | 19M| 58 | - | 172 | 22 | 172 | 19 | 24 |1514 |2345 | 0.000000e+00 | 8.200000e+01 | Inf
36.68/36.76 o 81
36.68/36.76 c f33.7s| 43148 | 40497 |237520 | 5.5 | 19M| 58 | - | 172 | 23 | 172 | 19 | 24 |1587 |2376 | 0.000000e+00 | 8.100000e+01 | Inf
41.69/41.74 o 80
41.69/41.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.69/41.74 c g38.3s| 49410 | 45812 |272465 | 5.5 | 22M| 58 | - | 172 | 22 | 172 | 19 | 24 |1908 |2609 | 0.000000e+00 | 8.000000e+01 | Inf
42.28/42.34 c 38.8s| 50000 | 46331 |276919 | 5.5 | 22M| 58 | 7 | 172 | 22 | 172 | 19 | 24 |1946 |2636 | 0.000000e+00 | 8.000000e+01 | Inf
44.47/44.57 o 78
44.47/44.57 c *40.9s| 52880 | 48668 |292609 | 5.5 | 23M| 58 | - | 172 | 25 | 172 | 19 | 24 |2074 |2764 | 0.000000e+00 | 7.800000e+01 | Inf
44.88/44.96 o 77
44.88/44.96 c *41.2s| 53400 | 49027 |295388 | 5.5 | 24M| 58 | - | 172 | 24 | 172 | 19 | 24 |2095 |2785 | 0.000000e+00 | 7.700000e+01 | Inf
44.88/44.97 o 75
44.88/44.97 c *41.2s| 53402 | 48930 |295391 | 5.5 | 23M| 58 | - | 172 | 24 | 172 | 19 | 24 |2095 |2793 | 0.000000e+00 | 7.500000e+01 | Inf
45.48/45.58 o 58
45.48/45.58 c g41.8s| 54187 | 47343 |299545 | 5.5 | 22M| 58 | - | 172 | 24 | 172 | 19 | 24 |2120 |2808 | 0.000000e+00 | 5.800000e+01 | Inf
49.97/50.00 o 56
49.97/50.00 c *45.8s| 59945 | 51672 |332119 | 5.5 | 25M| 58 | - | 172 | 32 | 172 | 19 | 24 |2370 |3129 | 0.000000e+00 | 5.600000e+01 | Inf
49.97/50.04 c 45.9s| 60000 | 51715 |332431 | 5.5 | 25M| 58 | 7 | 172 | 32 | 172 | 19 | 24 |2372 |3130 | 0.000000e+00 | 5.600000e+01 | Inf
57.08/57.17 c 52.5s| 70000 | 59399 |383521 | 5.5 | 29M| 58 | 7 | 172 | 36 | 172 | 19 | 24 |2824 |3540 | 0.000000e+00 | 5.600000e+01 | Inf
59.77/59.84 o 55
59.77/59.84 c *55.0s| 73805 | 62127 |402642 | 5.5 | 31M| 58 | - | 172 | 37 | 172 | 19 | 24 |2990 |3683 | 0.000000e+00 | 5.500000e+01 | Inf
59.98/60.07 o 54
59.98/60.07 c *55.2s| 74119 | 62185 |404090 | 5.4 | 31M| 58 | - | 172 | 37 | 172 | 19 | 24 |3015 |3705 | 0.000000e+00 | 5.400000e+01 | Inf
64.18/64.24 c 59.0s| 80000 | 66608 |434620 | 5.4 | 33M| 58 | 7 | 172 | 37 | 172 | 19 | 24 |3267 |3890 | 0.000000e+00 | 5.400000e+01 | Inf
69.38/69.48 o 52
69.38/69.48 c *63.8s| 87224 | 71141 |472714 | 5.4 | 36M| 58 | - | 172 | 38 | 172 | 19 | 24 |3713 |4171 | 0.000000e+00 | 5.200000e+01 | Inf
69.38/69.48 o 50
69.38/69.48 c *63.9s| 87225 | 70572 |472714 | 5.4 | 35M| 58 | - | 172 | 38 | 172 | 19 | 24 |3713 |4171 | 0.000000e+00 | 5.000000e+01 | Inf
71.38/71.41 c 65.6s| 90000 | 72466 |486637 | 5.4 | 37M| 58 | 7 | 172 | 35 | 172 | 19 | 24 |3855 |4250 | 0.000000e+00 | 5.000000e+01 | Inf
77.77/77.83 o 49
77.77/77.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.77/77.83 c *71.4s| 96659 | 76575 |521602 | 5.4 | 39M| 58 | - | 172 | 35 | 172 | 19 | 24 |4249 |4427 | 0.000000e+00 | 4.900000e+01 | Inf
77.77/77.84 o 47
77.77/77.84 c *71.4s| 96661 | 75238 |521604 | 5.4 | 38M| 58 | - | 172 | 35 | 172 | 19 | 24 |4249 |4428 | 0.000000e+00 | 4.700000e+01 | Inf
80.18/80.25 c 73.7s|100000 | 77301 |539294 | 5.4 | 40M| 58 | 7 | 172 | 32 | 172 | 19 | 24 |4455 |4518 | 0.000000e+00 | 4.700000e+01 | Inf
88.86/88.96 c 81.6s|110000 | 83461 |592380 | 5.4 | 44M| 58 | 7 | 172 | 35 | 172 | 19 | 24 |5002 |4757 | 0.000000e+00 | 4.700000e+01 | Inf
93.47/93.52 o 46
93.47/93.52 c *85.8s|116489 | 87622 |626281 | 5.4 | 47M| 58 | - | 172 | 40 | 172 | 19 | 24 |5338 |4913 | 0.000000e+00 | 4.600000e+01 | Inf
93.47/93.53 o 44
93.47/93.53 c *85.8s|116491 | 86793 |626283 | 5.4 | 46M| 58 | - | 172 | 40 | 172 | 19 | 24 |5338 |4915 | 0.000000e+00 | 4.400000e+01 | Inf
93.47/93.55 o 42
93.47/93.55 c *85.8s|116515 | 85796 |626405 | 5.4 | 45M| 58 | - | 172 | 40 | 172 | 19 | 24 |5340 |4916 | 0.000000e+00 | 4.200000e+01 | Inf
93.47/93.57 o 40
93.47/93.57 c *85.8s|116523 | 84677 |626437 | 5.4 | 44M| 58 | - | 172 | 40 | 172 | 19 | 24 |5340 |4919 | 0.000000e+00 | 4.000000e+01 | Inf
93.47/93.58 o 38
93.47/93.58 c *85.9s|116530 | 83555 |626471 | 5.4 | 43M| 58 | - | 172 | 40 | 172 | 19 | 24 |5342 |4921 | 0.000000e+00 | 3.800000e+01 | Inf
93.47/93.59 o 36
93.47/93.59 c *85.9s|116533 | 82430 |626486 | 5.4 | 42M| 59 | - | 172 | 40 | 172 | 19 | 24 |5342 |4923 | 0.000000e+00 | 3.600000e+01 | Inf
93.56/93.60 o 34
93.56/93.60 c *85.9s|116535 | 81195 |626487 | 5.4 | 41M| 60 | - | 172 | 40 | 172 | 19 | 24 |5342 |4923 | 0.000000e+00 | 3.400000e+01 | Inf
93.56/93.65 o 32
93.56/93.65 c *85.9s|116577 | 73147 |626660 | 5.4 | 36M| 64 | - | 172 | 40 | 172 | 19 | 24 |5347 |4932 | 0.000000e+00 | 3.200000e+01 | Inf
93.56/93.65 o 30
93.56/93.65 c *85.9s|116578 | 72244 |626660 | 5.4 | 35M| 64 | - | 172 | 40 | 172 | 19 | 24 |5347 |4932 | 0.000000e+00 | 3.000000e+01 | Inf
93.56/93.68 o 28
93.56/93.68 c v86.0s|116615 | 71285 |626778 | 5.4 | 34M| 67 | - | 172 | 32 | 172 | 19 | 24 |5353 |4937 | 0.000000e+00 | 2.800000e+01 | Inf
93.56/93.69 o 26
93.56/93.69 c g86.0s|116615 | 70248 |626778 | 5.4 | 34M| 67 | - | 172 | 32 | 172 | 19 | 24 |5354 |4937 | 0.000000e+00 | 2.600000e+01 | Inf
96.16/96.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.16/96.21 c 88.3s|120000 | 71888 |642510 | 5.4 | 35M| 67 | 7 | 172 | 35 | 172 | 19 | 24 |5540 |4977 | 0.000000e+00 | 2.600000e+01 | Inf
99.76/99.82 o 14
99.76/99.82 c C91.6s|125672 | 65294 |669220 | 5.3 | 30M| 67 | - | 172 | 34 | 172 | 19 | 24 |5832 |5091 | 0.000000e+00 | 1.400000e+01 | Inf
103.26/103.35 c 94.8s|130000 | 66810 |687422 | 5.3 | 31M| 67 | 7 | 172 | 38 | 172 | 19 | 24 |6003 |5200 | 0.000000e+00 | 1.400000e+01 | Inf
108.77/108.82 c 99.8s|140000 | 70391 |728769 | 5.2 | 33M| 67 | 7 | 172 | 56 | 172 | 19 | 24 |6334 |5368 | 0.000000e+00 | 1.400000e+01 | Inf
114.16/114.26 c 105s|150000 | 73581 |770234 | 5.1 | 35M| 67 | 7 | 172 | 61 | 172 | 19 | 24 |6686 |5574 | 0.000000e+00 | 1.400000e+01 | Inf
119.56/119.60 c 110s|160000 | 76180 |811110 | 5.1 | 37M| 67 | 7 | 172 | 60 | 172 | 19 | 24 |7012 |5741 | 0.000000e+00 | 1.400000e+01 | Inf
124.76/124.89 c 115s|170000 | 79021 |851170 | 5.0 | 38M| 67 | 7 | 172 | 65 | 172 | 19 | 24 |7379 |5915 | 0.000000e+00 | 1.400000e+01 | Inf
130.06/130.13 c 119s|180000 | 81647 |890307 | 4.9 | 40M| 67 | 7 | 172 | 60 | 172 | 19 | 24 |7676 |6066 | 0.000000e+00 | 1.400000e+01 | Inf
135.16/135.29 c 124s|190000 | 83670 |929797 | 4.9 | 41M| 67 | 7 | 172 | 59 | 172 | 19 | 24 |7947 |6221 | 0.000000e+00 | 1.400000e+01 | Inf
140.35/140.44 c 129s|200000 | 85727 |969521 | 4.8 | 43M| 67 | - | 172 | 55 | 0 | 0 | 24 |8270 |6370 | 0.000000e+00 | 1.400000e+01 | Inf
145.35/145.49 c 134s|210000 | 87773 | 1006k| 4.8 | 44M| 67 | 7 | 172 | 66 | 172 | 19 | 24 |8592 |6506 | 0.000000e+00 | 1.400000e+01 | Inf
150.44/150.57 c 138s|220000 | 89457 | 1045k| 4.8 | 45M| 67 | - | 172 | 60 | 172 | 19 | 24 |8924 |6646 | 0.000000e+00 | 1.400000e+01 | Inf
155.75/155.85 c 143s|230000 | 92305 | 1085k| 4.7 | 47M| 67 | - | 172 | 58 | 172 | 19 | 24 |9228 |6781 | 0.000000e+00 | 1.400000e+01 | Inf
162.94/163.03 c 150s|240000 | 94768 | 1124k| 4.7 | 49M| 67 | 7 | 172 | 50 | 172 | 19 | 24 |9542 |6920 | 0.000000e+00 | 1.400000e+01 | Inf
168.04/168.13 c 154s|250000 | 96884 | 1162k| 4.6 | 50M| 67 | 7 | 172 | 50 | 172 | 19 | 24 |9837 |7072 | 0.000000e+00 | 1.400000e+01 | Inf
173.14/173.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.14/173.29 c 159s|260000 | 99739 | 1201k| 4.6 | 52M| 67 | 7 | 172 | 41 | 172 | 19 | 24 | 10k|7202 | 0.000000e+00 | 1.400000e+01 | Inf
178.24/178.34 c 164s|270000 |102080 | 1240k| 4.6 | 53M| 67 | - | 172 | 54 | 172 | 19 | 24 | 10k|7331 | 0.000000e+00 | 1.400000e+01 | Inf
183.24/183.37 c 168s|280000 |104255 | 1279k| 4.6 | 55M| 67 | 7 | 172 | 44 | 172 | 19 | 24 | 10k|7477 | 0.000000e+00 | 1.400000e+01 | Inf
188.34/188.44 c 173s|290000 |106677 | 1318k| 4.5 | 56M| 67 | - | 172 | 41 | 172 | 19 | 24 | 11k|7596 | 0.000000e+00 | 1.400000e+01 | Inf
193.33/193.44 c 178s|300000 |108977 | 1356k| 4.5 | 58M| 67 | 7 | 172 | 40 | 172 | 19 | 24 | 11k|7739 | 0.000000e+00 | 1.400000e+01 | Inf
198.23/198.31 c 182s|310000 |110672 | 1392k| 4.5 | 59M| 67 | - | 172 | 37 | 172 | 19 | 24 | 11k|7864 | 0.000000e+00 | 1.400000e+01 | Inf
203.03/203.19 c 187s|320000 |112483 | 1430k| 4.5 | 60M| 67 | 7 | 172 | 43 | 172 | 19 | 24 | 11k|7985 | 0.000000e+00 | 1.400000e+01 | Inf
208.13/208.26 c 191s|330000 |114644 | 1469k| 4.5 | 62M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 12k|8111 | 0.000000e+00 | 1.400000e+01 | Inf
213.24/213.31 c 196s|340000 |116522 | 1508k| 4.4 | 63M| 67 | 7 | 172 | 38 | 172 | 19 | 24 | 12k|8261 | 0.000000e+00 | 1.400000e+01 | Inf
218.23/218.39 c 201s|350000 |118959 | 1547k| 4.4 | 65M| 67 | - | 172 | 36 | 172 | 19 | 24 | 12k|8384 | 0.000000e+00 | 1.400000e+01 | Inf
223.23/223.32 c 205s|360000 |120933 | 1585k| 4.4 | 66M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 13k|8492 | 0.000000e+00 | 1.400000e+01 | Inf
228.32/228.42 c 210s|370000 |123783 | 1625k| 4.4 | 67M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 13k|8614 | 0.000000e+00 | 1.400000e+01 | Inf
233.32/233.48 c 215s|380000 |126455 | 1664k| 4.4 | 69M| 67 | - | 172 | 26 | 172 | 19 | 24 | 13k|8718 | 0.000000e+00 | 1.400000e+01 | Inf
238.92/239.07 c 220s|390000 |130744 | 1708k| 4.4 | 71M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 14k|8819 | 0.000000e+00 | 1.400000e+01 | Inf
244.02/244.15 c 224s|400000 |133741 | 1747k| 4.4 | 73M| 67 | - | 172 | 26 | 172 | 19 | 24 | 14k|8918 | 0.000000e+00 | 1.400000e+01 | Inf
248.92/249.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.92/249.09 c 229s|410000 |135932 | 1786k| 4.4 | 74M| 67 | - | 172 | 29 | 172 | 19 | 24 | 14k|9032 | 0.000000e+00 | 1.400000e+01 | Inf
253.81/253.99 c 233s|420000 |138357 | 1823k| 4.3 | 76M| 67 | - | 172 | 25 | 172 | 19 | 24 | 15k|9124 | 0.000000e+00 | 1.400000e+01 | Inf
258.82/258.91 c 238s|430000 |140633 | 1861k| 4.3 | 77M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 15k|9223 | 0.000000e+00 | 1.400000e+01 | Inf
263.61/263.76 c 242s|440000 |142894 | 1899k| 4.3 | 79M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 15k|9322 | 0.000000e+00 | 1.400000e+01 | Inf
268.51/268.63 c 247s|450000 |144784 | 1937k| 4.3 | 80M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 16k|9400 | 0.000000e+00 | 1.400000e+01 | Inf
273.41/273.50 c 251s|460000 |146527 | 1974k| 4.3 | 81M| 67 | - | 172 | 28 | 172 | 19 | 24 | 16k|9497 | 0.000000e+00 | 1.400000e+01 | Inf
278.31/278.43 c 256s|470000 |148349 | 2013k| 4.3 | 82M| 67 | - | 172 | 27 | 172 | 19 | 24 | 16k|9594 | 0.000000e+00 | 1.400000e+01 | Inf
283.10/283.25 c 260s|480000 |150008 | 2050k| 4.3 | 84M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 16k|9690 | 0.000000e+00 | 1.400000e+01 | Inf
288.11/288.21 c 265s|490000 |151801 | 2089k| 4.3 | 85M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 17k|9779 | 0.000000e+00 | 1.400000e+01 | Inf
292.90/293.04 c 269s|500000 |153407 | 2126k| 4.3 | 86M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 17k|9875 | 0.000000e+00 | 1.400000e+01 | Inf
297.70/297.84 c 274s|510000 |154947 | 2162k| 4.2 | 87M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 17k|9974 | 0.000000e+00 | 1.400000e+01 | Inf
302.60/302.73 c 278s|520000 |156981 | 2200k| 4.2 | 89M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 18k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
307.40/307.55 c 283s|530000 |158617 | 2237k| 4.2 | 90M| 67 | - | 172 | 28 | 0 | 0 | 24 | 18k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
312.20/312.38 c 287s|540000 |160021 | 2274k| 4.2 | 91M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 18k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
317.10/317.22 c 292s|550000 |161699 | 2310k| 4.2 | 92M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 19k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
321.90/322.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.90/322.04 c 296s|560000 |163178 | 2347k| 4.2 | 93M| 67 | - | 172 | 28 | 0 | 0 | 24 | 19k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
326.60/326.72 c 300s|570000 |164365 | 2381k| 4.2 | 94M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 19k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
331.40/331.50 c 305s|580000 |165303 | 2417k| 4.2 | 95M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 20k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
336.29/336.43 c 309s|590000 |166824 | 2455k| 4.2 | 96M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 20k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
341.19/341.32 c 314s|600000 |168427 | 2494k| 4.2 | 97M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 21k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
345.99/346.12 c 318s|610000 |169755 | 2530k| 4.1 | 98M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 21k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
350.79/350.92 c 323s|620000 |170727 | 2567k| 4.1 | 99M| 67 | - | 172 | 26 | 172 | 19 | 24 | 21k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
355.59/355.73 c 327s|630000 |171686 | 2603k| 4.1 | 100M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 22k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
360.38/360.54 c 331s|640000 |173259 | 2640k| 4.1 | 101M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 22k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
365.18/365.30 c 336s|650000 |174401 | 2676k| 4.1 | 102M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 22k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
369.99/370.10 c 340s|660000 |175203 | 2713k| 4.1 | 102M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
374.78/374.92 c 345s|670000 |176814 | 2750k| 4.1 | 103M| 67 | - | 172 | 26 | 0 | 0 | 24 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
379.68/379.85 c 349s|680000 |178700 | 2789k| 4.1 | 105M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
384.47/384.67 c 354s|690000 |179937 | 2827k| 4.1 | 106M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 23k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
389.47/389.67 c 358s|700000 |182413 | 2865k| 4.1 | 107M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 24k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
394.57/394.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.57/394.73 c 363s|710000 |185142 | 2904k| 4.1 | 109M| 67 | 7 | 172 | 25 | 172 | 19 | 24 | 24k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
399.57/399.71 c 368s|720000 |187461 | 2941k| 4.1 | 110M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 25k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
404.47/404.66 c 372s|730000 |189612 | 2979k| 4.1 | 111M| 67 | - | 172 | 30 | 172 | 19 | 24 | 25k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
409.57/409.74 c 377s|740000 |192283 | 3018k| 4.1 | 113M| 67 | - | 172 | 28 | 172 | 19 | 24 | 25k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
414.77/414.99 c 382s|750000 |195151 | 3059k| 4.1 | 115M| 67 | - | 172 | 30 | 172 | 19 | 24 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
419.87/420.02 c 386s|760000 |197932 | 3098k| 4.1 | 116M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
424.76/424.95 c 391s|770000 |200335 | 3136k| 4.1 | 118M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
429.66/429.87 c 395s|780000 |202368 | 3175k| 4.1 | 119M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 26k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
434.96/435.17 c 400s|790000 |205543 | 3215k| 4.1 | 121M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 27k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
440.56/440.79 c 405s|800000 |209390 | 3258k| 4.1 | 123M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 27k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
446.26/446.43 c 411s|810000 |213418 | 3301k| 4.1 | 125M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 27k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
451.46/451.69 c 416s|820000 |216444 | 3341k| 4.1 | 127M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 28k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
456.66/456.89 c 420s|830000 |219645 | 3380k| 4.1 | 129M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 28k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
461.96/462.10 c 425s|840000 |222839 | 3420k| 4.1 | 130M| 67 | - | 172 | 31 | 0 | 0 | 24 | 28k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
467.26/467.42 c 430s|850000 |226433 | 3460k| 4.1 | 132M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 29k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
472.45/472.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
472.45/472.60 c 435s|860000 |229298 | 3499k| 4.1 | 134M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 29k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
477.65/477.83 c 440s|870000 |232496 | 3538k| 4.1 | 136M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 29k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
482.76/482.97 c 444s|880000 |235543 | 3577k| 4.1 | 137M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 30k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
487.95/488.18 c 449s|890000 |238778 | 3616k| 4.1 | 139M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 30k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
493.15/493.34 c 454s|900000 |241767 | 3655k| 4.1 | 141M| 67 | - | 172 | 32 | 0 | 0 | 24 | 30k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
498.34/498.57 c 459s|910000 |245404 | 3695k| 4.1 | 143M| 67 | - | 172 | 33 | 172 | 19 | 24 | 31k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
503.44/503.61 c 464s|920000 |248303 | 3733k| 4.1 | 145M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 31k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
508.44/508.66 c 468s|930000 |251176 | 3771k| 4.1 | 146M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 31k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
513.34/513.59 c 473s|940000 |253986 | 3809k| 4.1 | 148M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 32k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
518.44/518.65 c 477s|950000 |256536 | 3848k| 4.1 | 149M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 32k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
523.44/523.68 c 482s|960000 |259146 | 3886k| 4.0 | 151M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 32k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
528.53/528.70 c 487s|970000 |261930 | 3924k| 4.0 | 153M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 33k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
533.34/533.52 c 491s|980000 |263986 | 3960k| 4.0 | 154M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 33k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
538.13/538.36 c 496s|990000 |265679 | 3996k| 4.0 | 155M| 67 | - | 172 | 32 | 172 | 19 | 24 | 33k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
543.03/543.23 c 500s| 1000k|267685 | 4033k| 4.0 | 157M| 67 | 7 | 172 | 36 | 172 | 19 | 24 | 33k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
547.93/548.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.93/548.16 c 505s| 1010k|270315 | 4070k| 4.0 | 158M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 34k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
552.93/553.10 c 509s| 1020k|272685 | 4107k| 4.0 | 159M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 34k| 13k| 0.000000e+00 | 1.400000e+01 | Inf
557.83/558.05 c 514s| 1030k|274815 | 4144k| 4.0 | 161M| 67 | - | 172 | 31 | 172 | 19 | 24 | 34k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
562.83/563.09 c 518s| 1040k|276784 | 4183k| 4.0 | 162M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 35k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
567.72/567.96 c 523s| 1050k|278601 | 4219k| 4.0 | 163M| 67 | - | 172 | 30 | 172 | 19 | 24 | 35k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
572.83/573.02 c 527s| 1060k|281355 | 4258k| 4.0 | 165M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 35k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
577.72/577.93 c 532s| 1070k|283481 | 4295k| 4.0 | 166M| 67 | - | 172 | 36 | 0 | 0 | 24 | 36k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
582.52/582.78 c 536s| 1080k|285381 | 4331k| 4.0 | 168M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 36k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
587.52/587.78 c 541s| 1090k|287464 | 4369k| 4.0 | 169M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 36k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
592.52/592.74 c 546s| 1100k|289615 | 4406k| 4.0 | 170M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 36k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
597.41/597.67 c 550s| 1110k|291291 | 4444k| 4.0 | 172M| 67 | - | 172 | 31 | 172 | 19 | 24 | 37k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
602.41/602.65 c 555s| 1120k|293746 | 4481k| 4.0 | 173M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 37k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
607.31/607.55 c 559s| 1130k|295744 | 4517k| 4.0 | 174M| 67 | - | 172 | 33 | 172 | 19 | 24 | 37k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
612.31/612.57 c 564s| 1140k|298004 | 4555k| 4.0 | 176M| 67 | - | 172 | 31 | 172 | 19 | 24 | 38k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
617.21/617.50 c 569s| 1150k|299474 | 4592k| 4.0 | 177M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 38k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
622.10/622.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.10/622.30 c 573s| 1160k|301324 | 4628k| 4.0 | 178M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 38k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
627.01/627.24 c 578s| 1170k|303088 | 4666k| 4.0 | 179M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 39k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
631.81/632.09 c 582s| 1180k|304737 | 4702k| 4.0 | 180M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 39k| 14k| 0.000000e+00 | 1.400000e+01 | Inf
636.80/637.01 c 586s| 1190k|306703 | 4739k| 4.0 | 182M| 67 | - | 172 | 32 | 172 | 19 | 24 | 39k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
641.60/641.85 c 591s| 1200k|308564 | 4775k| 4.0 | 183M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 40k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
646.51/646.77 c 596s| 1210k|310489 | 4812k| 4.0 | 184M| 67 | - | 172 | 35 | 172 | 19 | 24 | 40k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
651.29/651.59 c 600s| 1220k|312236 | 4848k| 4.0 | 185M| 67 | - | 172 | 35 | 172 | 19 | 24 | 40k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
656.20/656.40 c 604s| 1230k|313962 | 4884k| 4.0 | 186M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 40k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
661.10/661.31 c 609s| 1240k|316269 | 4921k| 4.0 | 188M| 67 | 7 | 172 | 38 | 172 | 19 | 24 | 41k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
665.80/666.07 c 613s| 1250k|318041 | 4956k| 4.0 | 189M| 67 | - | 172 | 39 | 172 | 19 | 24 | 41k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
670.80/671.06 c 618s| 1260k|320077 | 4994k| 4.0 | 190M| 67 | 7 | 172 | 39 | 172 | 19 | 24 | 41k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
675.79/676.01 c 622s| 1270k|321799 | 5031k| 4.0 | 191M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 42k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
680.59/680.85 c 627s| 1280k|323518 | 5068k| 4.0 | 192M| 67 | - | 172 | 42 | 172 | 19 | 24 | 42k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
685.49/685.70 c 631s| 1290k|324957 | 5105k| 4.0 | 194M| 67 | - | 172 | 43 | 172 | 19 | 24 | 42k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
690.29/690.58 c 636s| 1300k|326710 | 5141k| 4.0 | 195M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 42k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
695.29/695.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
695.29/695.51 c 640s| 1310k|328208 | 5178k| 4.0 | 196M| 67 | - | 172 | 33 | 172 | 19 | 24 | 43k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
700.18/700.42 c 645s| 1320k|329768 | 5215k| 4.0 | 197M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 43k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
705.08/705.30 c 650s| 1330k|331810 | 5253k| 3.9 | 198M| 67 | 7 | 172 | 40 | 172 | 19 | 24 | 43k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
709.88/710.15 c 654s| 1340k|333189 | 5289k| 3.9 | 199M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 44k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
714.79/715.08 c 659s| 1350k|335757 | 5327k| 3.9 | 201M| 67 | - | 172 | 29 | 172 | 19 | 24 | 44k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
719.68/719.97 c 663s| 1360k|337889 | 5364k| 3.9 | 202M| 67 | - | 172 | 32 | 0 | 0 | 24 | 44k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
724.68/724.91 c 668s| 1370k|339960 | 5401k| 3.9 | 203M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 45k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
729.58/729.87 c 672s| 1380k|342089 | 5439k| 3.9 | 205M| 67 | - | 172 | 31 | 172 | 19 | 24 | 45k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
734.49/734.72 c 677s| 1390k|344049 | 5475k| 3.9 | 206M| 67 | - | 172 | 32 | 172 | 19 | 24 | 45k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
739.17/739.49 c 681s| 1400k|345654 | 5510k| 3.9 | 207M| 67 | - | 172 | 31 | 172 | 19 | 24 | 45k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
744.07/744.31 c 686s| 1410k|347034 | 5546k| 3.9 | 208M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 46k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
748.88/749.15 c 690s| 1420k|348152 | 5582k| 3.9 | 209M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 46k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
753.77/754.05 c 695s| 1430k|349850 | 5619k| 3.9 | 210M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 46k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
758.56/758.89 c 699s| 1440k|351571 | 5654k| 3.9 | 211M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 46k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
763.47/763.79 c 704s| 1450k|353142 | 5691k| 3.9 | 212M| 67 | 7 | 172 | 36 | 172 | 19 | 24 | 47k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
768.46/768.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
768.46/768.79 c 708s| 1460k|355367 | 5728k| 3.9 | 214M| 67 | 7 | 172 | 36 | 172 | 19 | 24 | 47k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
773.36/773.63 c 713s| 1470k|356966 | 5765k| 3.9 | 215M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 47k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
778.26/778.50 c 717s| 1480k|358548 | 5801k| 3.9 | 216M| 67 | - | 172 | 31 | 172 | 19 | 24 | 47k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
783.15/783.45 c 722s| 1490k|360195 | 5838k| 3.9 | 217M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 48k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
788.05/788.36 c 726s| 1500k|361412 | 5875k| 3.9 | 218M| 67 | - | 172 | 32 | 172 | 19 | 24 | 48k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
792.96/793.21 c 731s| 1510k|363055 | 5911k| 3.9 | 219M| 67 | - | 172 | 32 | 172 | 19 | 24 | 48k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
797.86/798.16 c 735s| 1520k|364691 | 5949k| 3.9 | 220M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 49k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
802.76/803.09 c 740s| 1530k|366096 | 5986k| 3.9 | 221M| 67 | - | 172 | 38 | 172 | 19 | 24 | 49k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
807.65/807.96 c 744s| 1540k|367786 | 6022k| 3.9 | 222M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 49k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
812.66/812.95 c 749s| 1550k|369095 | 6061k| 3.9 | 223M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 50k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
817.55/817.82 c 753s| 1560k|370534 | 6098k| 3.9 | 224M| 67 | 7 | 172 | 36 | 172 | 19 | 24 | 50k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
822.45/822.72 c 758s| 1570k|371874 | 6135k| 3.9 | 225M| 67 | 7 | 172 | 40 | 172 | 19 | 24 | 50k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
827.34/827.66 c 763s| 1580k|373623 | 6172k| 3.9 | 226M| 67 | 7 | 172 | 39 | 172 | 19 | 24 | 50k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
832.25/832.57 c 767s| 1590k|375136 | 6209k| 3.9 | 228M| 67 | 7 | 172 | 38 | 172 | 19 | 24 | 51k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
837.15/837.42 c 772s| 1600k|376464 | 6245k| 3.9 | 228M| 67 | - | 172 | 38 | 172 | 19 | 24 | 51k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
842.04/842.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.04/842.31 c 776s| 1610k|377920 | 6281k| 3.9 | 230M| 67 | - | 172 | 31 | 172 | 19 | 24 | 51k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
847.04/847.30 c 781s| 1620k|380755 | 6318k| 3.9 | 231M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 52k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
851.83/852.13 c 785s| 1630k|382926 | 6353k| 3.9 | 232M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 52k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
856.54/856.85 c 789s| 1640k|384789 | 6388k| 3.9 | 234M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 52k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
861.23/861.57 c 794s| 1650k|386216 | 6423k| 3.9 | 235M| 67 | - | 172 | 29 | 172 | 19 | 24 | 53k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
866.13/866.46 c 798s| 1660k|387921 | 6458k| 3.9 | 236M| 67 | - | 172 | 31 | 172 | 19 | 24 | 53k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
870.94/871.28 c 803s| 1670k|389285 | 6494k| 3.9 | 237M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 53k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
875.83/876.11 c 807s| 1680k|390681 | 6529k| 3.9 | 238M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 54k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
880.63/880.93 c 812s| 1690k|391678 | 6565k| 3.9 | 239M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 54k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
885.43/885.74 c 816s| 1700k|392933 | 6600k| 3.9 | 240M| 67 | - | 172 | 30 | 172 | 19 | 24 | 54k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
890.23/890.52 c 820s| 1710k|394157 | 6635k| 3.9 | 240M| 67 | - | 172 | 29 | 172 | 19 | 24 | 55k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
895.03/895.31 c 825s| 1720k|396340 | 6670k| 3.9 | 242M| 67 | - | 172 | 31 | 0 | 0 | 24 | 55k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
899.72/900.05 c 829s| 1730k|397889 | 6705k| 3.9 | 243M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 55k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
904.63/904.93 c 834s| 1740k|399550 | 6741k| 3.9 | 244M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 56k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
909.43/909.73 c 838s| 1750k|400753 | 6776k| 3.9 | 245M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 56k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
914.22/914.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
914.22/914.60 c 843s| 1760k|402419 | 6812k| 3.9 | 246M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 56k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
919.12/919.47 c 847s| 1770k|403712 | 6848k| 3.9 | 247M| 67 | - | 172 | 26 | 0 | 0 | 24 | 57k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
924.01/924.37 c 852s| 1780k|404909 | 6884k| 3.9 | 248M| 67 | - | 172 | 31 | 0 | 0 | 24 | 57k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
928.82/929.17 c 856s| 1790k|406011 | 6920k| 3.9 | 249M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 57k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
933.71/934.08 c 861s| 1800k|407327 | 6956k| 3.9 | 250M| 67 | - | 172 | 30 | 0 | 0 | 24 | 57k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
938.62/938.90 c 865s| 1810k|408570 | 6992k| 3.9 | 251M| 67 | - | 172 | 29 | 0 | 0 | 24 | 58k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
943.41/943.80 c 870s| 1820k|409625 | 7029k| 3.9 | 251M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 58k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
948.31/948.69 c 874s| 1830k|410868 | 7065k| 3.9 | 252M| 67 | - | 172 | 36 | 0 | 0 | 24 | 58k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
953.21/953.51 c 878s| 1840k|412247 | 7100k| 3.9 | 253M| 67 | - | 172 | 37 | 172 | 19 | 24 | 59k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
958.01/958.34 c 883s| 1850k|413471 | 7135k| 3.9 | 254M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 59k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
962.91/963.22 c 887s| 1860k|414857 | 7172k| 3.9 | 255M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 59k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
967.90/968.20 c 892s| 1870k|416764 | 7208k| 3.9 | 256M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 60k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
972.80/973.18 c 897s| 1880k|419215 | 7245k| 3.9 | 258M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 60k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
977.90/978.21 c 901s| 1890k|422177 | 7283k| 3.9 | 260M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 60k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
982.80/983.15 c 906s| 1900k|424171 | 7320k| 3.9 | 261M| 67 | - | 172 | 27 | 172 | 19 | 24 | 61k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
987.80/988.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.80/988.10 c 910s| 1910k|426132 | 7357k| 3.9 | 262M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 61k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
992.70/993.00 c 915s| 1920k|427867 | 7394k| 3.9 | 263M| 67 | - | 172 | 29 | 172 | 19 | 24 | 61k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
997.60/997.98 c 920s| 1930k|429743 | 7431k| 3.9 | 264M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 61k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1002.69/1003.02 c 924s| 1940k|432669 | 7469k| 3.9 | 266M| 67 | - | 172 | 35 | 172 | 19 | 24 | 62k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1007.70/1008.03 c 929s| 1950k|434918 | 7507k| 3.8 | 268M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 62k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1012.70/1013.03 c 933s| 1960k|437155 | 7544k| 3.8 | 269M| 67 | - | 172 | 31 | 172 | 19 | 24 | 62k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1017.59/1017.95 c 938s| 1970k|438848 | 7581k| 3.8 | 270M| 67 | - | 172 | 29 | 0 | 0 | 24 | 63k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1022.48/1022.90 c 943s| 1980k|440616 | 7618k| 3.8 | 271M| 67 | - | 172 | 35 | 172 | 19 | 24 | 63k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1027.48/1027.87 c 947s| 1990k|442513 | 7656k| 3.8 | 272M| 67 | - | 172 | 29 | 172 | 19 | 24 | 63k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1032.59/1032.93 c 952s| 2000k|444832 | 7694k| 3.8 | 274M| 67 | - | 172 | 36 | 172 | 19 | 24 | 64k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1037.68/1038.08 c 957s| 2010k|448135 | 7732k| 3.8 | 276M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 64k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1042.68/1043.02 c 961s| 2020k|450509 | 7768k| 3.8 | 277M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 64k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1047.58/1047.94 c 966s| 2030k|452599 | 7805k| 3.8 | 278M| 67 | - | 172 | 31 | 172 | 19 | 24 | 64k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1052.68/1053.00 c 970s| 2040k|455236 | 7843k| 3.8 | 280M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 65k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1057.68/1058.06 c 975s| 2050k|457796 | 7881k| 3.8 | 281M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 65k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1062.57/1062.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1062.57/1062.99 c 980s| 2060k|460457 | 7916k| 3.8 | 283M| 67 | 7 | 172 | 38 | 172 | 19 | 24 | 65k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1067.68/1068.09 c 984s| 2070k|463443 | 7955k| 3.8 | 284M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 66k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1072.68/1073.06 c 989s| 2080k|465560 | 7993k| 3.8 | 286M| 67 | - | 172 | 33 | 172 | 19 | 24 | 66k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1077.58/1077.98 c 993s| 2090k|467555 | 8029k| 3.8 | 287M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 66k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1082.67/1083.02 c 998s| 2100k|469728 | 8066k| 3.8 | 288M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 66k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1087.67/1088.00 c 1003s| 2110k|472026 | 8103k| 3.8 | 290M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 67k| 19k| 0.000000e+00 | 1.400000e+01 | Inf
1092.56/1092.93 c 1007s| 2120k|473813 | 8140k| 3.8 | 291M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 67k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1097.37/1097.80 c 1012s| 2130k|475519 | 8176k| 3.8 | 292M| 67 | - | 172 | 29 | 0 | 0 | 24 | 67k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1102.27/1102.63 c 1016s| 2140k|477174 | 8211k| 3.8 | 293M| 67 | - | 172 | 33 | 172 | 19 | 24 | 68k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1107.06/1107.48 c 1021s| 2150k|479329 | 8246k| 3.8 | 294M| 67 | - | 172 | 30 | 172 | 19 | 24 | 68k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1112.06/1112.41 c 1025s| 2160k|480976 | 8282k| 3.8 | 295M| 67 | - | 172 | 32 | 172 | 19 | 24 | 68k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1116.86/1117.27 c 1030s| 2170k|482380 | 8317k| 3.8 | 296M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 68k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1121.76/1122.15 c 1034s| 2180k|484004 | 8354k| 3.8 | 297M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 69k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1126.86/1127.23 c 1039s| 2190k|487041 | 8391k| 3.8 | 299M| 67 | - | 172 | 35 | 172 | 19 | 24 | 69k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1132.15/1132.54 c 1044s| 2200k|490309 | 8432k| 3.8 | 301M| 67 | - | 172 | 30 | 172 | 19 | 24 | 69k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1137.25/1137.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1137.25/1137.65 c 1048s| 2210k|492978 | 8470k| 3.8 | 302M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 70k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1142.46/1142.83 c 1053s| 2220k|495973 | 8508k| 3.8 | 304M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 70k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1147.85/1148.28 c 1058s| 2230k|499771 | 8549k| 3.8 | 306M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 70k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1153.25/1153.68 c 1063s| 2240k|503380 | 8589k| 3.8 | 308M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 70k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1158.74/1159.13 c 1068s| 2250k|507097 | 8630k| 3.8 | 310M| 67 | 7 | 172 | 36 | 172 | 19 | 24 | 71k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1164.33/1164.76 c 1073s| 2260k|511373 | 8671k| 3.8 | 312M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 71k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1169.63/1170.01 c 1078s| 2270k|514664 | 8711k| 3.8 | 314M| 67 | - | 172 | 30 | 0 | 0 | 24 | 71k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1174.83/1175.23 c 1083s| 2280k|517860 | 8750k| 3.8 | 315M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 72k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1180.03/1180.47 c 1088s| 2290k|520754 | 8790k| 3.8 | 317M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 72k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1185.22/1185.66 c 1093s| 2300k|524186 | 8829k| 3.8 | 319M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 72k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1190.33/1190.77 c 1097s| 2310k|527517 | 8867k| 3.8 | 320M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 73k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1195.42/1195.82 c 1102s| 2320k|530504 | 8904k| 3.8 | 322M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 73k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1200.42/1200.89 c 1107s| 2330k|533742 | 8942k| 3.8 | 324M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 73k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1205.52/1205.99 c 1111s| 2340k|536672 | 8980k| 3.8 | 325M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 74k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1210.52/1210.96 c 1116s| 2350k|539151 | 9017k| 3.8 | 327M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 74k| 20k| 0.000000e+00 | 1.400000e+01 | Inf
1215.52/1215.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.52/1215.98 c 1121s| 2360k|541799 | 9054k| 3.8 | 328M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 74k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1220.53/1220.98 c 1125s| 2370k|544435 | 9091k| 3.8 | 330M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 75k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1225.62/1226.09 c 1130s| 2380k|547886 | 9128k| 3.8 | 332M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 75k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1230.81/1231.29 c 1135s| 2390k|551280 | 9166k| 3.8 | 333M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 75k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1235.91/1236.34 c 1139s| 2400k|554101 | 9203k| 3.8 | 335M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 76k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1240.91/1241.37 c 1144s| 2410k|556735 | 9240k| 3.8 | 337M| 67 | - | 172 | 26 | 172 | 19 | 24 | 76k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1246.01/1246.43 c 1149s| 2420k|559067 | 9278k| 3.8 | 338M| 67 | - | 172 | 29 | 172 | 19 | 24 | 76k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1251.01/1251.44 c 1153s| 2430k|561549 | 9315k| 3.8 | 339M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 77k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1256.01/1256.41 c 1158s| 2440k|563953 | 9352k| 3.8 | 341M| 67 | - | 172 | 27 | 172 | 19 | 24 | 77k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1261.00/1261.47 c 1163s| 2450k|566444 | 9390k| 3.8 | 342M| 67 | - | 172 | 31 | 0 | 0 | 24 | 77k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1266.00/1266.45 c 1167s| 2460k|568805 | 9426k| 3.8 | 344M| 67 | 7 | 172 | 37 | 172 | 19 | 24 | 77k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1271.11/1271.55 c 1172s| 2470k|571395 | 9465k| 3.8 | 345M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 78k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1276.00/1276.48 c 1177s| 2480k|573654 | 9501k| 3.8 | 346M| 67 | - | 172 | 34 | 172 | 19 | 24 | 78k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1281.00/1281.45 c 1181s| 2490k|576190 | 9538k| 3.8 | 348M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 78k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1286.00/1286.42 c 1186s| 2500k|578638 | 9574k| 3.8 | 349M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 79k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1290.91/1291.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1290.91/1291.33 c 1190s| 2510k|581032 | 9610k| 3.8 | 351M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 79k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1295.90/1296.36 c 1195s| 2520k|583257 | 9648k| 3.8 | 352M| 67 | - | 172 | 30 | 172 | 19 | 24 | 79k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1301.19/1301.64 c 1200s| 2530k|586645 | 9687k| 3.8 | 354M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 80k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1306.30/1306.75 c 1204s| 2540k|589861 | 9725k| 3.8 | 356M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 80k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1311.29/1311.77 c 1209s| 2550k|592765 | 9762k| 3.8 | 357M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 80k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1316.19/1316.67 c 1214s| 2560k|595292 | 9798k| 3.8 | 359M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 80k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1321.18/1321.66 c 1218s| 2570k|597679 | 9835k| 3.8 | 360M| 67 | - | 172 | 29 | 0 | 0 | 24 | 81k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1326.20/1326.63 c 1223s| 2580k|599937 | 9872k| 3.8 | 361M| 67 | - | 172 | 28 | 0 | 0 | 24 | 81k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1331.18/1331.64 c 1227s| 2590k|602063 | 9909k| 3.8 | 363M| 67 | - | 172 | 32 | 172 | 19 | 24 | 81k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1336.18/1336.66 c 1232s| 2600k|604040 | 9947k| 3.8 | 364M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 82k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1341.08/1341.59 c 1237s| 2610k|606172 | 9983k| 3.8 | 365M| 67 | - | 172 | 28 | 0 | 0 | 24 | 82k| 21k| 0.000000e+00 | 1.400000e+01 | Inf
1346.08/1346.56 c 1241s| 2620k|608588 | 10020k| 3.8 | 367M| 67 | - | 172 | 30 | 172 | 19 | 24 | 82k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1351.07/1351.60 c 1246s| 2630k|611454 | 10058k| 3.8 | 368M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 83k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1356.07/1356.56 c 1250s| 2640k|613471 | 10094k| 3.8 | 369M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 83k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1361.17/1361.60 c 1255s| 2650k|615938 | 10130k| 3.8 | 371M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 83k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1366.07/1366.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.07/1366.55 c 1260s| 2660k|618008 | 10167k| 3.8 | 372M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 83k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1371.07/1371.55 c 1264s| 2670k|619883 | 10204k| 3.8 | 373M| 67 | - | 172 | 33 | 172 | 19 | 24 | 84k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1376.07/1376.52 c 1269s| 2680k|622017 | 10240k| 3.8 | 375M| 67 | - | 172 | 33 | 0 | 0 | 24 | 84k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1381.18/1381.60 c 1274s| 2690k|624150 | 10278k| 3.8 | 376M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 84k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1386.16/1386.63 c 1278s| 2700k|626105 | 10315k| 3.8 | 377M| 67 | - | 172 | 26 | 172 | 19 | 24 | 85k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1391.17/1391.64 c 1283s| 2710k|629211 | 10351k| 3.8 | 379M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 85k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1396.06/1396.55 c 1287s| 2720k|631149 | 10387k| 3.8 | 380M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 85k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1401.06/1401.50 c 1292s| 2730k|633268 | 10423k| 3.8 | 381M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 86k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1405.96/1406.46 c 1296s| 2740k|635668 | 10459k| 3.8 | 383M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 86k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1411.06/1411.53 c 1301s| 2750k|637700 | 10497k| 3.8 | 384M| 67 | - | 172 | 30 | 172 | 19 | 24 | 86k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1416.06/1416.53 c 1306s| 2760k|640019 | 10534k| 3.8 | 385M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 87k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1421.05/1421.50 c 1310s| 2770k|641866 | 10570k| 3.8 | 387M| 67 | - | 172 | 30 | 172 | 19 | 24 | 87k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1425.96/1426.44 c 1315s| 2780k|644041 | 10606k| 3.8 | 388M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 87k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1430.96/1431.40 c 1319s| 2790k|646297 | 10642k| 3.8 | 389M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 88k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1435.85/1436.38 c 1324s| 2800k|648439 | 10679k| 3.8 | 391M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 88k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1440.85/1441.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1440.85/1441.36 c 1329s| 2810k|650509 | 10717k| 3.8 | 392M| 67 | - | 172 | 32 | 172 | 19 | 24 | 88k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1445.85/1446.31 c 1333s| 2820k|652288 | 10755k| 3.8 | 393M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 88k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1450.74/1451.24 c 1338s| 2830k|654155 | 10790k| 3.8 | 394M| 67 | - | 172 | 31 | 0 | 0 | 24 | 89k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1455.86/1456.31 c 1342s| 2840k|656331 | 10828k| 3.8 | 396M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 89k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1460.75/1461.29 c 1347s| 2850k|658235 | 10864k| 3.8 | 397M| 67 | - | 172 | 31 | 172 | 19 | 24 | 89k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1465.64/1466.19 c 1352s| 2860k|660283 | 10901k| 3.8 | 398M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 90k| 22k| 0.000000e+00 | 1.400000e+01 | Inf
1470.74/1471.20 c 1356s| 2870k|662957 | 10937k| 3.8 | 400M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 90k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1475.64/1476.14 c 1361s| 2880k|664922 | 10973k| 3.8 | 401M| 67 | - | 172 | 34 | 172 | 19 | 24 | 90k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1480.54/1481.09 c 1365s| 2890k|667073 | 11010k| 3.8 | 402M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 91k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1485.55/1486.07 c 1370s| 2900k|669066 | 11047k| 3.8 | 403M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 91k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1490.73/1491.26 c 1375s| 2910k|671886 | 11086k| 3.8 | 405M| 67 | - | 172 | 33 | 0 | 0 | 24 | 91k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1495.83/1496.35 c 1379s| 2920k|674783 | 11125k| 3.8 | 407M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 92k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1500.83/1501.36 c 1384s| 2930k|676990 | 11163k| 3.8 | 408M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 92k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1505.83/1506.38 c 1388s| 2940k|679478 | 11201k| 3.8 | 410M| 67 | 7 | 172 | 33 | 172 | 19 | 24 | 92k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1510.84/1511.31 c 1393s| 2950k|681137 | 11239k| 3.8 | 411M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 92k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1515.63/1516.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.63/1516.20 c 1398s| 2960k|682889 | 11275k| 3.8 | 412M| 67 | - | 172 | 32 | 172 | 19 | 24 | 93k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1520.63/1521.13 c 1402s| 2970k|685082 | 11312k| 3.8 | 413M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 93k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1525.62/1526.11 c 1407s| 2980k|686929 | 11349k| 3.8 | 414M| 67 | - | 172 | 36 | 172 | 19 | 24 | 93k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1530.63/1531.10 c 1411s| 2990k|688616 | 11386k| 3.8 | 415M| 67 | 7 | 172 | 32 | 172 | 19 | 24 | 94k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1535.53/1536.04 c 1416s| 3000k|690043 | 11422k| 3.8 | 416M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 94k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1540.53/1541.03 c 1420s| 3010k|692042 | 11458k| 3.8 | 418M| 67 | - | 172 | 27 | 172 | 19 | 24 | 94k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1545.42/1545.98 c 1425s| 3020k|693977 | 11495k| 3.8 | 419M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 95k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1550.53/1551.07 c 1430s| 3030k|696788 | 11533k| 3.8 | 421M| 67 | 7 | 172 | 35 | 172 | 19 | 24 | 95k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1555.51/1556.07 c 1434s| 3040k|698440 | 11570k| 3.8 | 422M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 95k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1560.51/1561.05 c 1439s| 3050k|700144 | 11607k| 3.8 | 423M| 67 | - | 172 | 30 | 0 | 0 | 24 | 96k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1565.82/1566.32 c 1444s| 3060k|702839 | 11647k| 3.8 | 424M| 67 | - | 172 | 30 | 172 | 19 | 24 | 96k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1570.91/1571.47 c 1449s| 3070k|705630 | 11686k| 3.8 | 426M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 96k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1576.01/1576.56 c 1453s| 3080k|707985 | 11724k| 3.8 | 427M| 67 | 7 | 172 | 34 | 172 | 19 | 24 | 97k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1581.11/1581.68 c 1458s| 3090k|710166 | 11763k| 3.8 | 429M| 67 | - | 172 | 32 | 172 | 19 | 24 | 97k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1586.20/1586.77 c 1463s| 3100k|713249 | 11801k| 3.8 | 430M| 67 | - | 172 | 30 | 172 | 19 | 24 | 97k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1591.12/1591.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1591.12/1591.69 c 1467s| 3110k|715986 | 11837k| 3.8 | 432M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 97k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1596.21/1596.76 c 1472s| 3120k|718451 | 11875k| 3.8 | 433M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 98k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1601.20/1601.79 c 1477s| 3130k|720677 | 11912k| 3.8 | 435M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 98k| 23k| 0.000000e+00 | 1.400000e+01 | Inf
1606.30/1606.85 c 1481s| 3140k|723005 | 11949k| 3.8 | 436M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 98k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1611.30/1611.87 c 1486s| 3150k|725301 | 11987k| 3.8 | 437M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 99k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1616.19/1616.79 c 1490s| 3160k|727356 | 12024k| 3.8 | 439M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 99k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1621.20/1621.78 c 1495s| 3170k|729203 | 12061k| 3.8 | 440M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 99k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1626.20/1626.75 c 1500s| 3180k|731058 | 12098k| 3.8 | 441M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 100k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1631.10/1631.66 c 1504s| 3190k|733309 | 12134k| 3.8 | 443M| 67 | - | 172 | 33 | 172 | 19 | 24 | 100k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1636.09/1636.64 c 1509s| 3200k|735322 | 12171k| 3.8 | 444M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 100k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1640.99/1641.57 c 1513s| 3210k|737300 | 12207k| 3.8 | 445M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 100k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1645.99/1646.57 c 1518s| 3220k|739217 | 12244k| 3.8 | 446M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 101k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1650.99/1651.50 c 1522s| 3230k|740869 | 12280k| 3.8 | 447M| 67 | - | 172 | 30 | 0 | 0 | 24 | 101k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1655.89/1656.47 c 1527s| 3240k|742708 | 12316k| 3.8 | 449M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 101k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1660.88/1661.48 c 1532s| 3250k|744788 | 12353k| 3.8 | 450M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 102k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1665.78/1666.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.78/1666.35 c 1536s| 3260k|746611 | 12389k| 3.8 | 451M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 102k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1670.68/1671.28 c 1541s| 3270k|748291 | 12426k| 3.8 | 452M| 67 | - | 172 | 28 | 172 | 19 | 24 | 102k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1675.68/1676.26 c 1545s| 3280k|750091 | 12462k| 3.8 | 453M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 103k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1680.58/1681.18 c 1550s| 3290k|751661 | 12498k| 3.8 | 455M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 103k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1685.58/1686.19 c 1555s| 3300k|753138 | 12535k| 3.8 | 456M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 103k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1690.57/1691.11 c 1559s| 3310k|754694 | 12571k| 3.8 | 457M| 67 | - | 172 | 28 | 172 | 19 | 24 | 104k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1695.47/1696.04 c 1564s| 3320k|756289 | 12607k| 3.8 | 458M| 67 | - | 172 | 28 | 172 | 19 | 24 | 104k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1700.47/1701.07 c 1568s| 3330k|757999 | 12644k| 3.8 | 459M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 104k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1705.48/1706.01 c 1573s| 3340k|759914 | 12680k| 3.8 | 460M| 67 | - | 172 | 30 | 172 | 19 | 24 | 105k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1710.37/1710.97 c 1577s| 3350k|761822 | 12716k| 3.8 | 461M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 105k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1715.27/1715.87 c 1582s| 3360k|763888 | 12752k| 3.8 | 463M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 105k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1720.17/1720.79 c 1586s| 3370k|765560 | 12788k| 3.8 | 464M| 67 | - | 172 | 26 | 0 | 0 | 24 | 106k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1725.17/1725.76 c 1591s| 3380k|767462 | 12825k| 3.8 | 465M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 106k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1730.16/1730.73 c 1596s| 3390k|769244 | 12861k| 3.8 | 466M| 67 | 7 | 172 | 31 | 172 | 19 | 24 | 106k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1735.06/1735.63 c 1600s| 3400k|771121 | 12896k| 3.8 | 467M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 107k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1739.97/1740.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1739.97/1740.58 c 1605s| 3410k|773030 | 12933k| 3.8 | 468M| 67 | - | 172 | 30 | 172 | 19 | 24 | 107k| 24k| 0.000000e+00 | 1.400000e+01 | Inf
1745.07/1745.61 c 1609s| 3420k|774908 | 12971k| 3.8 | 470M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 107k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1750.06/1750.62 c 1614s| 3430k|777812 | 13008k| 3.8 | 471M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 108k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1754.96/1755.51 c 1618s| 3440k|779725 | 13043k| 3.8 | 472M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 108k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1759.86/1760.42 c 1623s| 3450k|781832 | 13079k| 3.8 | 474M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 108k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1764.76/1765.39 c 1628s| 3460k|783494 | 13115k| 3.8 | 475M| 67 | - | 172 | 25 | 172 | 19 | 24 | 108k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1769.96/1770.50 c 1632s| 3470k|785610 | 13153k| 3.8 | 476M| 67 | 7 | 172 | 27 | 172 | 19 | 24 | 109k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1774.86/1775.43 c 1637s| 3480k|788178 | 13189k| 3.8 | 478M| 67 | 7 | 172 | 26 | 172 | 19 | 24 | 109k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1779.75/1780.34 c 1641s| 3490k|790359 | 13225k| 3.8 | 479M| 67 | 7 | 172 | 30 | 172 | 19 | 24 | 109k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1784.65/1785.24 c 1646s| 3500k|792421 | 13260k| 3.8 | 480M| 67 | 7 | 172 | 28 | 172 | 19 | 24 | 110k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1789.65/1790.26 c 1651s| 3510k|794423 | 13296k| 3.8 | 481M| 67 | - | 172 | 28 | 172 | 19 | 24 | 110k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1794.55/1795.12 c 1655s| 3520k|796157 | 13331k| 3.8 | 482M| 67 | - | 172 | 27 | 172 | 19 | 24 | 110k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1799.54/1800.10 c 1660s| 3530k|798405 | 13368k| 3.8 | 484M| 67 | 7 | 172 | 29 | 172 | 19 | 24 | 111k| 25k| 0.000000e+00 | 1.400000e+01 | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1660.03
1800.05/1800.61 c Solving Nodes : 3531017
1800.05/1800.61 c Primal Bound : +1.40000000000000e+01 (60 solutions)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 s SATISFIABLE
1800.05/1800.61 v -x172 -x171 -x170 x169 x168 x167 x166 x165 x164 x163 -x162 x161 -x160 -x159 x158 -x157 x156 x155 x154 -x153 -x152 x151 -x150 -x149
1800.05/1800.61 v x148 -x147 x146 -x145 x144 -x143 -x142 x141 -x140 -x139 -x138 x137 x136 x135 -x134 -x133 -x132 x131 x130 -x129 x128 -x127
1800.05/1800.61 v x126 x125 -x124 x123 -x122 -x121 -x120 x119 x118 x117 -x116 x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.05/1800.61 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.61 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55
1800.05/1800.61 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.05/1800.61 v -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.05/1800.61 v -x2 -x1
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1660.03
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2667091-1276616502.opb
1800.05/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 14 initial, 14 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2667091-1276616502.opb
1800.05/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 7 initial, 103 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.00 0 0 0 0 0 7 0 0
1800.05/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 56 - - 56 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 2195464 0 235 3730 0 0 4383286
1800.05/1800.61 c linear : 7+ 7 5144908 0 0 490146 3133515 0 0 0
1800.05/1800.61 c logicor : 0+ 0 852424 0 0 3210 35812 0 0 0
1800.05/1800.61 c countsols : 0 0 0 42 0 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 30.96 0.00 0.00 30.96 0.00
1800.05/1800.61 c linear : 423.93 0.00 423.93 0.00 0.00
1800.05/1800.61 c logicor : 2.28 0.00 2.28 0.00 0.00
1800.05/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 2.56 2 0 0
1800.05/1800.61 c rootredcost : 2.41 57 0 56
1800.05/1800.61 c pseudoobj : 47.31 5149129 4374 275125
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 36.52 495727 99441 116774 58.6 10 40.8 -
1800.05/1800.61 c infeasible LP : 1.20 12162 11861 16023 41.1 3 33.7 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 5 5 5 2.8 0 0.0 -
1800.05/1800.61 c applied globally : - - - 4789 26.7 - - -
1800.05/1800.61 c applied locally : - - - 106318 57.4 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 5 - - 10 - (maximal pool size: 62)
1800.05/1800.61 c redcost : 71.66 2951043 0 14978915 0 0
1800.05/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 6 0 0 0 0
1800.05/1800.61 c strongcg : 0.01 6 0 0 19 0
1800.05/1800.61 c cmir : 0.04 6 0 0 28 0
1800.05/1800.61 c flowcover : 0.05 6 0 0 30 0
1800.05/1800.61 c clique : 0.00 1 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 1 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.10 1 0 0 0 90
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 28.07 2195422 235 3730 0 0 4383286
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.15 - 42
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c intshifting : 0.18 0 0
1800.05/1800.61 c feaspump : 0.40 2 0
1800.05/1800.61 c oneopt : 2.08 55 0
1800.05/1800.61 c crossover : 10.86 14 2
1800.05/1800.61 c rootsoldiving : 4.93 885 2
1800.05/1800.61 c veclendiving : 11.07 5043 1
1800.05/1800.61 c objpscostdiving : 5.49 2522 0
1800.05/1800.61 c coefdiving : 30.23 5044 0
1800.05/1800.61 c pscostdiving : 16.07 5044 0
1800.05/1800.61 c fracdiving : 16.52 5044 4
1800.05/1800.61 c linesearchdiving : 12.48 5044 2
1800.05/1800.61 c guideddiving : 13.17 5044 6
1800.05/1800.61 c trivial : 0.00 2 0
1800.05/1800.61 c simplerounding : 2.06 0 0
1800.05/1800.61 c zirounding : 1.93 1000 0
1800.05/1800.61 c rounding : 3.25 21734 0
1800.05/1800.61 c shifting : 8.02 7021 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.03 1 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c undercover : 0.00 0 0
1800.05/1800.61 c nlp : 1.53 0 0
1800.05/1800.61 c trysol : 2.66 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 579.30 3242182 12426298 3.83 21450.54
1800.05/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 52.57 435096 945548 2.17 17986.46
1800.05/1800.61 c strong branching : 6.31 25380 80840 3.19 12811.41
1800.05/1800.61 c (at root node) : - 9 530 58.89 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 3531017
1800.05/1800.61 c nodes (total) : 3531017
1800.05/1800.61 c nodes left : 798597
1800.05/1800.61 c max depth : 67
1800.05/1800.61 c max depth (total): 67
1800.05/1800.61 c backtracks : 656146 (18.6%)
1800.05/1800.61 c delayed cutoffs : 19895
1800.05/1800.61 c repropagations : 36867 (133226 domain reductions, 19882 cutoffs)
1800.05/1800.61 c avg switch length: 5.47
1800.05/1800.61 c switching time : 125.29
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 60 (57 improvements)
1800.05/1800.61 c First Solution : +4.36000000000000e+02 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.05/1800.61 c Primal Bound : +1.40000000000000e+01 (in run 1, after 125672 nodes, 91.56 seconds, depth 39, found by <crossover>)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Root Iterations : 156
OK 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667091-1276616502/watcher-2667091-1276616502 -o /tmp/evaluation-result-2667091-1276616502/solver-2667091-1276616502 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667091-1276616502.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 10444 /proc/meminfo: memFree=1767136/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=7724 CPUtime=0 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 1167 0 0 0 0 0 0 0 18 0 1 0 2938277 7909376 1086 1992294400 4194304 8223781 140734554009712 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10444/statm: 1931 1097 348 984 0 944 0 [startup+0.042734 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10444 /proc/meminfo: memFree=1767136/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=12776 CPUtime=0.03 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 2978 0 0 0 3 0 0 0 20 0 1 0 2938277 13082624 2275 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 3194 2275 532 984 0 2207 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12776 [startup+0.100742 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10444 /proc/meminfo: memFree=1767136/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=20860 CPUtime=0.09 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 4935 0 0 0 7 2 0 0 20 0 1 0 2938277 21360640 3965 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 5215 3965 565 984 0 4228 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20860 [startup+0.30077 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10444 /proc/meminfo: memFree=1767136/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=21380 CPUtime=0.29 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 7297 0 0 0 26 3 0 0 20 0 1 0 2938277 21893120 4000 1992294400 4194304 8223781 140734554009712 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 5345 4015 584 984 0 4358 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21380 [startup+0.700827 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10444 /proc/meminfo: memFree=1767136/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=14716 CPUtime=0.69 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 8090 0 0 0 63 6 0 0 20 0 1 0 2938277 15069184 2862 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 3679 2862 588 984 0 2692 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14716 [startup+1.50094 s] /proc/loadavg: 0.92 0.98 0.99 2/107 10445 /proc/meminfo: memFree=1757456/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=14716 CPUtime=1.49 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 8606 0 0 0 137 12 0 0 23 0 1 0 2938277 15069184 2864 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 3679 2864 589 984 0 2692 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14716 [startup+3.10117 s] /proc/loadavg: 0.92 0.98 0.99 2/107 10445 /proc/meminfo: memFree=1757208/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=15580 CPUtime=3.09 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 10655 0 0 0 287 22 0 0 25 0 1 0 2938277 15953920 3088 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 3895 3088 589 984 0 2908 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15580 [startup+6.30162 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10445 /proc/meminfo: memFree=1755472/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=17464 CPUtime=6.29 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 13827 0 0 0 578 51 0 0 25 0 1 0 2938277 17883136 3543 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 4366 3543 589 984 0 3379 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17464 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10445 /proc/meminfo: memFree=1752124/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=21152 CPUtime=12.69 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 21073 0 0 0 1165 104 0 0 25 0 1 0 2938277 21659648 4489 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 5288 4489 589 984 0 4301 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21152 [startup+25.5004 s] /proc/loadavg: 0.95 0.98 0.99 2/107 10447 /proc/meminfo: memFree=1744684/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=27624 CPUtime=25.48 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 31241 0 0 0 2334 214 0 0 25 0 1 0 2938277 28286976 6178 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 6906 6178 589 984 0 5919 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27624 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.99 2/107 10447 /proc/meminfo: memFree=1729432/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=41920 CPUtime=51.08 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 54616 0 0 0 4685 423 0 0 25 0 1 0 2938277 42926080 9856 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 10480 9856 589 984 0 9493 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 41920 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 10449 /proc/meminfo: memFree=1698928/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=75776 CPUtime=102.27 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 92525 0 0 0 9382 845 0 0 25 0 1 0 2938277 77594624 17587 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 18944 17587 591 984 0 17957 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 75776 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10449 /proc/meminfo: memFree=1698556/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=74340 CPUtime=162.25 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 101494 0 0 0 14897 1328 0 0 25 0 1 0 2938277 76124160 17577 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 18585 17577 591 984 0 17598 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 74340 [startup+222.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10451 /proc/meminfo: memFree=1682932/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=89780 CPUtime=222.23 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 106057 0 0 0 20426 1797 0 0 25 0 1 0 2938277 91934720 21532 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 22445 21532 591 984 0 21458 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 89780 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10453 /proc/meminfo: memFree=1663216/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=108788 CPUtime=282.2 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 110939 0 0 0 25947 2273 0 0 25 0 1 0 2938277 111398912 26414 1992294400 4194304 8223781 140734554009712 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 27197 26414 591 984 0 26210 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 108788 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10455 /proc/meminfo: memFree=1648584/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=123120 CPUtime=342.19 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 115210 0 0 0 31465 2754 0 0 25 0 1 0 2938277 126074880 30079 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 30780 30079 591 984 0 29793 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 123120 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10457 /proc/meminfo: memFree=1634696/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=136504 CPUtime=402.17 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 118606 0 0 0 36988 3229 0 0 25 0 1 0 2938277 139780096 33475 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 34126 33475 591 984 0 33139 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 136504 [startup+462.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10457 /proc/meminfo: memFree=1615228/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=159372 CPUtime=462.16 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 123444 0 0 0 42534 3682 0 0 25 0 1 0 2938277 163196928 38313 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 39843 38313 591 984 0 38856 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 159372 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10459 /proc/meminfo: memFree=1593776/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=180076 CPUtime=522.14 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 129383 0 0 0 48072 4142 0 0 25 0 1 0 2938277 184397824 43649 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 45019 43649 591 984 0 44032 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 180076 [startup+582.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10461 /proc/meminfo: memFree=1573688/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=199532 CPUtime=582.12 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 134354 0 0 0 53605 4607 0 0 25 0 1 0 2938277 204320768 48620 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 49883 48620 591 984 0 48896 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 199532 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10463 /proc/meminfo: memFree=1553848/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=218908 CPUtime=642.11 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 139290 0 0 0 59138 5073 0 0 25 0 1 0 2938277 224161792 53556 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 54727 53556 591 984 0 53740 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 218908 [startup+702.3 s] ################ # More data... # ################ /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 160901 0 0 0 92355 7845 0 0 25 0 1 0 2938277 308277248 74570 1992294400 4194304 8223781 140734554009712 18446744073709551615 4978284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 75263 74570 591 984 0 74276 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 301052 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10473 /proc/meminfo: memFree=1452788/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=324984 CPUtime=1061.98 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 164928 0 0 0 97891 8307 0 0 25 0 1 0 2938277 332783616 78597 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 81246 78597 591 984 0 80259 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 324984 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10475 /proc/meminfo: memFree=1438900/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=338456 CPUtime=1121.96 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 168494 0 0 0 103434 8762 0 0 25 0 1 0 2938277 346578944 82163 1992294400 4194304 8223781 140734554009712 18446744073709551615 4947385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 84614 82163 695 984 0 83627 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 338456 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10486 /proc/meminfo: memFree=1417696/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=358512 CPUtime=1181.93 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 173666 0 0 0 108958 9235 0 0 25 0 1 0 2938277 367116288 87335 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 89628 87335 695 984 0 88641 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 358512 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10488 /proc/meminfo: memFree=1399096/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=377316 CPUtime=1241.91 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 178473 0 0 0 114494 9697 0 0 25 0 1 0 2938277 386371584 92142 1992294400 4194304 8223781 140734554009712 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 94329 92142 695 984 0 93342 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 377316 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10490 /proc/meminfo: memFree=1376652/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=398472 CPUtime=1301.9 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 183912 0 0 0 120037 10153 0 0 25 0 1 0 2938277 408035328 97581 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 99618 97581 695 984 0 98631 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 398472 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10490 /proc/meminfo: memFree=1359664/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=415116 CPUtime=1361.87 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 188153 0 0 0 125569 10618 0 0 25 0 1 0 2938277 425078784 101822 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 103779 101822 695 984 0 102792 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 415116 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10492 /proc/meminfo: memFree=1343792/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=430328 CPUtime=1421.86 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 192089 0 0 0 131108 11078 0 0 25 0 1 0 2938277 440655872 105758 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 107582 105758 695 984 0 106595 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 430328 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10494 /proc/meminfo: memFree=1328912/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=444712 CPUtime=1481.83 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 195781 0 0 0 136636 11547 0 0 25 0 1 0 2938277 455385088 109450 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 111178 109450 695 984 0 110191 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 444712 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10496 /proc/meminfo: memFree=1313412/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=459788 CPUtime=1541.82 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 199633 0 0 0 142164 12018 0 0 25 0 1 0 2938277 470822912 113302 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 114947 113302 695 984 0 113960 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 459788 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10498 /proc/meminfo: memFree=1294440/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=478640 CPUtime=1601.8 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 204470 0 0 0 147700 12480 0 0 25 0 1 0 2938277 490127360 118139 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 119660 118139 695 984 0 118673 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 478640 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10498 /proc/meminfo: memFree=1279436/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=492708 CPUtime=1661.78 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 208080 0 0 0 153245 12933 0 0 25 0 1 0 2938277 504532992 121749 1992294400 4194304 8223781 140734554009712 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 123177 121749 695 984 0 122190 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 492708 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10500 /proc/meminfo: memFree=1261828/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=509952 CPUtime=1721.77 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 212443 0 0 0 158785 13392 0 0 25 0 1 0 2938277 522190848 126112 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 127488 126112 695 984 0 126501 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 509952 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10502 /proc/meminfo: memFree=1246576/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=524388 CPUtime=1781.75 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 219320 0 0 0 164320 13855 0 0 25 0 1 0 2938277 536973312 129850 1992294400 4194304 8223781 140734554009712 18446744073709551615 4704742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 131097 129850 696 984 0 130110 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 524388 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10502 /proc/meminfo: memFree=1241368/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=529608 CPUtime=1800.05 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 220622 0 0 0 166003 14002 0 0 25 0 1 0 2938277 542318592 131152 1992294400 4194304 8223781 140734554009712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10444/statm: 132402 131152 696 984 0 131415 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 529608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10444 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10502 /proc/meminfo: memFree=1241368/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=529608 CPUtime=1800.84 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 220624 0 0 0 166082 14002 0 0 25 0 1 0 2938277 542318592 131154 1992294400 4194304 8223781 140734554009712 18446744073709551615 4615816 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10444/statm: 132402 131154 698 984 0 131415 0 Current children cumulated CPU time (s) 1800.84 Current children cumulated vsize (KiB) 529608 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10503 /proc/meminfo: memFree=1241360/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=529608 CPUtime=1801.64 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 220624 0 0 0 166162 14002 0 0 25 0 1 0 2938277 542318592 131154 1992294400 4194304 8223781 140734554009712 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10444/statm: 132402 131154 698 984 0 131415 0 Current children cumulated CPU time (s) 1801.64 Current children cumulated vsize (KiB) 529608 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10503 /proc/meminfo: memFree=1241360/2059040 swapFree=4192956/4192956 [pid=10444] ppid=10442 vsize=529608 CPUtime=1802.04 /proc/10444/stat : 10444 (pbscip.linux.x8) R 10442 10444 9829 0 -1 4202496 220624 0 0 0 166202 14002 0 0 25 0 1 0 2938277 542318592 131154 1992294400 4194304 8223781 140734554009712 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10444/statm: 132402 131154 698 984 0 131415 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 529608 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.67 CPU time (s): 1802.12 CPU user time (s): 1662.04 CPU system time (s): 140.08 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 529608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1662.04 system time used= 140.08 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 220624 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= 2 involuntary context switches= 3855 runsolver used 3.22451 second user time and 8.28674 second system time The end
Begin job on node049 at 2010-06-15 17:41:42 IDJOB=2667091 IDBENCH=2924 IDSOLVER=1169 FILE ID=node049/2667091-1276616502 PBS_JOBID= 11172281 Free space on /tmp= 62524 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 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_7_60_2.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-2667091-1276616502/watcher-2667091-1276616502 -o /tmp/evaluation-result-2667091-1276616502/solver-2667091-1276616502 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667091-1276616502.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED=325659756 node049.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.244 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.48 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.244 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1767912 kB Buffers: 31028 kB Cached: 124464 kB SwapCached: 0 kB Active: 72268 kB Inactive: 142516 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1767912 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4476 kB Writeback: 0 kB AnonPages: 59332 kB Mapped: 15332 kB Slab: 54408 kB PageTables: 3880 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184464 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62520 MiB End job on node049 at 2010-06-15 18:11:45