Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.1 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564824--soft-0-100-0.wbo |
| MD5SUM | 67acad5bcb13fd291a4cc974e7f18780 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 326.274 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 138262 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 138261 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 813 |
| Number of bits of the biggest sum of numbers | 10 |
| 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: NONE] [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-2693596-1277925898.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.12 o 138261
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.382610e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.19 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (3 rounds):
0.09/0.19 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 2707 implications, 0 cliques
0.09/0.19 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19 c 2707 constraints of type <indicator>
0.09/0.19 c 2707 constraints of type <linear>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.13
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.97
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 3420
0.09/0.19 c
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = -1
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.382610e+05 | Inf
1.48/1.56 o 491
1.48/1.56 c * 1.4s| 5074 | 4069 | 0 | 0.0 | 21M|2816 | - |5645 |5762 | 0 | 0 | 0 | 348 | 0 | 0.000000e+00 | 4.910000e+02 | Inf
3.08/3.12 c 2.9s| 10000 | 8995 | 0 | 0.0 | 23M|2816 | - |5645 |5762 | 0 | 0 | 0 | 348 | 0 | 0.000000e+00 | 4.910000e+02 | Inf
7.29/7.36 c 6.9s| 20000 | 16727 | 0 | 0.0 | 36M|2816 | - |5645 |9834 | 0 | 0 | 0 |9175 | 0 | 0.000000e+00 | 4.910000e+02 | Inf
7.38/7.41 o 472
7.38/7.41 c * 6.9s| 20100 | 16674 | 0 | 0.0 | 36M|2816 | - |5645 |9834 | 0 | 0 | 0 |9175 | 0 | 0.000000e+00 | 4.720000e+02 | Inf
7.38/7.41 o 471
7.38/7.41 c * 6.9s| 20101 | 16631 | 0 | 0.0 | 36M|2816 | - |5645 |9834 | 0 | 0 | 0 |9175 | 0 | 0.000000e+00 | 4.710000e+02 | Inf
7.38/7.49 o 411
7.38/7.49 c * 7.0s| 20262 | 15452 | 0 | 0.0 | 36M|2816 | - |5645 |9800 | 0 | 0 | 0 |9175 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
7.59/7.64 o 393
7.59/7.64 c * 7.2s| 20516 | 15188 | 0 | 0.0 | 36M|2816 | - |5645 |9484 | 0 | 0 | 0 |9195 | 0 | 0.000000e+00 | 3.930000e+02 | Inf
7.69/7.72 o 384
7.69/7.72 c * 7.2s| 20634 | 15080 | 0 | 0.0 | 36M|2816 | - |5645 |9413 | 0 | 0 | 0 |9195 | 0 | 0.000000e+00 | 3.840000e+02 | Inf
7.69/7.72 o 359
7.69/7.72 c * 7.2s| 20635 | 14665 | 0 | 0.0 | 36M|2816 | - |5645 |9413 | 0 | 0 | 0 |9195 | 0 | 0.000000e+00 | 3.590000e+02 | Inf
7.69/7.79 o 339
7.69/7.79 c * 7.3s| 20736 | 14214 | 0 | 0.0 | 36M|2816 | - |5645 |9349 | 0 | 0 | 0 |9195 | 0 | 0.000000e+00 | 3.390000e+02 | Inf
7.69/7.79 o 325
7.69/7.79 c * 7.3s| 20737 | 13761 | 0 | 0.0 | 36M|2816 | - |5645 |9349 | 0 | 0 | 0 |9195 | 0 | 0.000000e+00 | 3.250000e+02 | Inf
7.79/7.86 o 322
7.79/7.86 c * 7.4s| 20848 | 13781 | 0 | 0.0 | 36M|2816 | - |5645 |9295 | 0 | 0 | 0 |9202 | 0 | 0.000000e+00 | 3.220000e+02 | Inf
7.89/7.98 o 317
7.89/7.98 c * 7.5s| 21072 | 13817 | 0 | 0.0 | 36M|2816 | - |5645 |9207 | 0 | 0 | 0 |9222 | 0 | 0.000000e+00 | 3.170000e+02 | Inf
7.89/7.98 o 282
7.89/7.98 c * 7.5s| 21073 | 12989 | 0 | 0.0 | 36M|2816 | - |5645 |9207 | 0 | 0 | 0 |9222 | 0 | 0.000000e+00 | 2.820000e+02 | Inf
8.08/8.12 o 266
8.08/8.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.08/8.12 c * 7.6s| 21306 | 12857 | 0 | 0.0 | 36M|2816 | - |5645 |9092 | 0 | 0 | 0 |9238 | 0 | 0.000000e+00 | 2.660000e+02 | Inf
8.08/8.18 o 226
8.08/8.18 c * 7.7s| 21395 | 12411 | 0 | 0.0 | 35M|2816 | - |5645 |9005 | 0 | 0 | 0 |9258 | 0 | 0.000000e+00 | 2.260000e+02 | Inf
8.58/8.61 o 224
8.58/8.61 c * 8.1s| 22107 | 13083 | 0 | 0.0 | 36M|2816 | - |5645 |8664 | 0 | 0 | 0 |9437 | 0 | 0.000000e+00 | 2.240000e+02 | Inf
8.58/8.61 o 203
8.58/8.61 c * 8.1s| 22108 | 13006 | 0 | 0.0 | 36M|2816 | - |5645 |8664 | 0 | 0 | 0 |9437 | 0 | 0.000000e+00 | 2.030000e+02 | Inf
8.89/8.92 o 192
8.89/8.92 c * 8.4s| 22641 | 13474 | 0 | 0.0 | 36M|2816 | - |5645 |8631 | 0 | 0 | 0 |9541 | 0 | 0.000000e+00 | 1.920000e+02 | Inf
9.79/9.81 o 176
9.79/9.81 c * 9.2s| 24093 | 14663 | 0 | 0.0 | 38M|2816 | - |5645 |8701 | 0 | 0 | 0 |9976 | 0 | 0.000000e+00 | 1.760000e+02 | Inf
9.79/9.81 o 174
9.79/9.81 c * 9.2s| 24094 | 14651 | 0 | 0.0 | 38M|2816 | - |5645 |8701 | 0 | 0 | 0 |9976 | 0 | 0.000000e+00 | 1.740000e+02 | Inf
10.09/10.18 o 154
10.09/10.18 c * 9.6s| 24511 | 14859 | 0 | 0.0 | 39M|2816 | - |5645 |8988 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
10.29/10.31 o 149
10.29/10.31 c * 9.7s| 24621 | 14914 | 0 | 0.0 | 39M|2816 | - |5645 |9183 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
10.29/10.32 o 147
10.29/10.32 c * 9.7s| 24622 | 14902 | 0 | 0.0 | 39M|2816 | - |5645 |9183 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
10.29/10.39 o 141
10.29/10.39 c * 9.8s| 24664 | 14869 | 0 | 0.0 | 39M|2816 | - |5645 |9286 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
10.39/10.42 o 140
10.39/10.42 c * 9.8s| 24680 | 14876 | 0 | 0.0 | 39M|2816 | - |5645 |9296 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
13.69/13.79 c 13.1s| 30000 | 19662 | 0 | 0.0 | 47M|2816 | - |5645 |8780 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
15.19/15.26 o 134
15.19/15.26 c *14.5s| 32356 | 21684 | 0 | 0.0 | 52M|2816 | - |5645 |8665 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
18.39/18.41 o 128
18.39/18.41 c *17.5s| 37150 | 25706 | 0 | 0.0 | 61M|2816 | - |5645 |9341 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
18.39/18.49 o 120
18.39/18.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.39/18.49 c *17.6s| 37263 | 25637 | 0 | 0.0 | 61M|2816 | - |5645 |9350 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
20.29/20.31 c 19.3s| 40000 | 28024 | 0 | 0.0 | 68M|2816 | - |5645 |9329 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
22.38/22.45 o 87
22.38/22.45 c *21.4s| 43193 | 28470 | 0 | 0.0 | 61M|2816 | - |5645 |9868 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
27.09/27.19 c 25.9s| 50000 | 34225 | 0 | 0.0 | 80M|2816 | - |5645 |9384 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
28.78/28.88 o 78
28.78/28.88 c *27.5s| 52790 | 35973 | 0 | 0.0 | 83M|2816 | - |5645 |9326 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
34.28/34.31 c 32.6s| 60000 | 41928 | 0 | 0.0 | 98M|2816 | - |5645 |9971 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
39.79/39.83 c 37.9s| 70000 | 50426 | 0 | 0.0 | 109M|2816 | - |5645 |9839 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
43.59/43.64 o 70
43.59/43.64 c *41.4s| 79281 | 56812 | 0 | 0.0 | 108M|2816 | - |5645 | 10k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
43.89/43.97 c 41.7s| 80000 | 57485 | 0 | 0.0 | 109M|2816 | - |5645 |9125 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
49.59/49.64 c 47.1s| 90000 | 64191 | 0 | 0.0 | 121M|2816 | - |5645 | 10k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
57.48/57.50 c 54.7s|100000 | 69371 | 0 | 0.0 | 134M|2816 | - |5645 | 12k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
67.19/67.23 o 65
67.19/67.23 c *64.1s|108005 | 71033 | 0 | 0.0 | 140M|2816 | - |5645 | 11k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
68.59/68.68 c 65.5s|110000 | 72828 | 0 | 0.0 | 143M|2816 | - |5645 |9257 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
74.99/75.04 o 58
74.99/75.04 c *71.6s|117612 | 77899 | 0 | 0.0 | 146M|2816 | - |5645 |6235 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
74.99/75.04 o 55
74.99/75.04 c *71.6s|117613 | 77542 | 0 | 0.0 | 145M|2816 | - |5645 |6235 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
77.39/77.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.39/77.43 c 73.9s|120000 | 79538 | 0 | 0.0 | 150M|2816 | - |5645 |5555 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
78.39/78.45 o 43
78.39/78.45 c *74.8s|120901 | 78478 | 0 | 0.0 | 141M|2816 | - |5645 |5617 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
83.69/83.79 o 42
83.69/83.79 c *79.9s|127247 | 83197 | 0 | 0.0 | 156M|2816 | - |5645 |7338 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
86.79/86.83 c 82.8s|130000 | 84881 | 0 | 0.0 | 164M|2816 | - |5645 |8916 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
94.79/94.80 c 90.5s|140000 | 91799 | 0 | 0.0 | 179M|2816 | - |5645 |6962 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
101.20/101.29 c 96.7s|150000 | 99711 | 0 | 0.0 | 195M|2816 | - |5645 |7096 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
110.49/110.55 c 105s|160000 |105275 | 0 | 0.0 | 215M|2816 | - |5645 |7494 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
116.00/116.06 c 111s|170000 |113747 | 0 | 0.0 | 230M|2816 | - |5645 |6567 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
116.49/116.54 o 39
116.49/116.54 c * 111s|170767 |113760 | 0 | 0.0 | 226M|2816 | - |5645 |6512 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
122.10/122.18 c 117s|180000 |121193 | 0 | 0.0 | 241M|2816 | - |5645 |7052 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
129.19/129.22 c 123s|190000 |128593 | 0 | 0.0 | 262M|2816 | - |5645 |7512 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
137.99/138.02 c 132s|200000 |134840 | 0 | 0.0 | 292M|2816 | - |5645 |9449 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
143.49/143.59 c 137s|210000 |142712 | 0 | 0.0 | 306M|2816 | - |5645 |7664 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
149.89/149.97 c 143s|220000 |150165 | 0 | 0.0 | 326M|2816 | - |5645 |8646 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
155.99/156.06 c 149s|230000 |157796 | 0 | 0.0 | 343M|2816 | - |5645 |7757 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
162.09/162.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.09/162.16 c 155s|240000 |165495 | 0 | 0.0 | 360M|2816 | - |5645 |7769 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
164.39/164.43 o 33
164.39/164.43 c * 157s|243819 |164806 | 0 | 0.0 | 329M|2816 | - |5645 |7914 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
164.39/164.44 o 27
164.39/164.44 c * 157s|243820 |163083 | 0 | 0.0 | 316M|2816 | - |5645 |7914 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
168.49/168.54 c 161s|250000 |167620 | 0 | 0.0 | 327M|2816 | - |5645 |8394 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
174.99/175.03 c 167s|260000 |174708 | 0 | 0.0 | 344M|2816 | - |5645 |8102 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
179.99/180.04 c 171s|270000 |182878 | 0 | 0.0 | 356M|2816 | - |5645 |8356 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
181.20/181.29 o 26
181.20/181.29 c * 173s|272258 |180844 | 0 | 0.0 | 330M|2816 | - |5645 |8602 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
186.19/186.23 c 177s|280000 |186591 | 0 | 0.0 | 341M|2816 | - |5645 |9302 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
192.79/192.87 c 184s|290000 |193579 | 0 | 0.0 | 355M|2816 | - |5645 |8931 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
198.80/198.83 c 189s|300000 |201008 | 0 | 0.0 | 370M|2816 | - |5645 |9988 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
204.20/204.29 c 194s|310000 |208595 | 0 | 0.0 | 383M|2816 | - |5645 |9572 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
210.29/210.39 c 200s|320000 |215869 | 0 | 0.0 | 398M|2816 | - |5645 |9295 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
214.29/214.32 o 23
214.29/214.32 c * 204s|328142 |220763 | 0 | 0.0 | 397M|2816 | - |5645 | 10k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
215.40/215.47 c 205s|330000 |222133 | 0 | 0.0 | 400M|2816 | - |5645 | 10k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
221.00/221.01 c 210s|340000 |229838 | 0 | 0.0 | 411M|2816 | - |5645 |9772 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
226.29/226.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.29/226.38 c 215s|350000 |237732 | 0 | 0.0 | 423M|2816 | - |5645 | 10k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
232.10/232.17 c 221s|360000 |245341 | 0 | 0.0 | 436M|2816 | - |5645 | 10k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
238.60/238.64 c 227s|370000 |252458 | 0 | 0.0 | 450M|2816 | - |5645 | 11k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
245.99/246.09 c 234s|380000 |258693 | 0 | 0.0 | 465M|2816 | - |5645 | 11k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
251.30/251.39 c 239s|390000 |266359 | 0 | 0.0 | 477M|2816 | - |5645 | 12k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
257.20/257.20 c 245s|400000 |273637 | 0 | 0.0 | 488M|2816 | - |5645 | 10k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
263.19/263.26 c 250s|410000 |280605 | 0 | 0.0 | 499M|2816 | - |5645 | 11k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
268.50/268.53 c 255s|420000 |288509 | 0 | 0.0 | 511M|2816 | - |5645 | 12k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
274.69/274.77 c 261s|430000 |295611 | 0 | 0.0 | 523M|2816 | - |5645 | 13k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
280.70/280.79 c 267s|440000 |302377 | 0 | 0.0 | 534M|2816 | - |5645 | 13k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
286.89/286.98 c 273s|450000 |309018 | 0 | 0.0 | 544M|2816 | - |5645 | 15k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
293.00/293.06 c 279s|460000 |315967 | 0 | 0.0 | 555M|2816 | - |5645 | 15k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
298.89/298.93 c 284s|470000 |323503 | 0 | 0.0 | 565M|2816 | - |5645 | 13k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
305.00/305.08 c 290s|480000 |330736 | 0 | 0.0 | 575M|2816 | - |5645 | 14k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
311.30/311.38 c 296s|490000 |337919 | 0 | 0.0 | 585M|2816 | - |5645 | 13k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
318.09/318.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.09/318.19 c 303s|500000 |344534 | 0 | 0.0 | 595M|2816 | - |5645 | 15k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
324.59/324.69 c 309s|510000 |351137 | 0 | 0.0 | 604M|2816 | - |5645 | 14k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
331.90/331.96 c 316s|520000 |357711 | 0 | 0.0 | 616M|2816 | - |5645 | 15k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
339.09/339.12 c 323s|530000 |364310 | 0 | 0.0 | 627M|2816 | - |5645 | 14k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
346.89/346.93 c 330s|540000 |370658 | 0 | 0.0 | 639M|2816 | - |5645 | 15k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
355.30/355.31 c 338s|550000 |376303 | 0 | 0.0 | 649M|2816 | - |5645 | 15k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
360.70/360.77 c 343s|560000 |384272 | 0 | 0.0 | 659M|2816 | - |5645 |7399 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
364.80/364.80 c 347s|570000 |392774 | 0 | 0.0 | 671M|2816 | - |5645 |7830 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
372.59/372.68 c 355s|580000 |397794 | 0 | 0.0 | 683M|2816 | - |5645 |9132 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
382.40/382.44 c 364s|590000 |401338 | 0 | 0.0 | 694M|2816 | - |5645 | 11k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
395.20/395.22 c 376s|600000 |403058 | 0 | 0.0 | 705M|2816 | - |5645 | 13k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
412.50/412.52 c 393s|610000 |401391 | 0 | 0.0 | 707M|2816 | - |5645 | 15k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
420.70/420.78 c 401s|620000 |407511 | 0 | 0.0 | 712M|2816 | - |5645 |6735 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
426.71/426.75 c 407s|630000 |415379 | 0 | 0.0 | 725M|2816 | - |5645 |7539 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
431.60/431.68 o 17
431.60/431.68 c * 412s|637963 |400141 | 0 | 0.0 | 638M|2816 | - |5645 |8141 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
433.30/433.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.30/433.39 c 414s|640000 |401642 | 0 | 0.0 | 643M|2816 | - |5645 |8275 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
440.59/440.65 c 421s|650000 |409041 | 0 | 0.0 | 659M|2816 | - |5645 |9622 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
448.81/448.83 c 428s|660000 |415871 | 0 | 0.0 | 673M|2816 | - |5645 | 11k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
458.00/458.01 c 437s|670000 |422289 | 0 | 0.0 | 687M|2816 | - |5645 | 12k| 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
468.40/468.45 c 447s|680000 |428060 | 0 | 0.0 | 701M|2816 | - |5645 | 14k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
480.20/480.28 c 459s|690000 |432957 | 0 | 0.0 | 715M|2816 | - |5645 | 17k| 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
481.50/481.53 o 9
481.50/481.53 c * 460s|690699 |406935 | 0 | 0.0 | 649M|2816 | - |5645 | 17k| 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
501.90/501.98 c 480s|700000 |407306 | 0 | 0.0 | 668M|2816 | - |5645 | 21k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
517.10/517.15 c 495s|710000 |409146 | 0 | 0.0 | 679M|2816 | - |5645 | 13k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
524.30/524.34 c 502s|720000 |416887 | 0 | 0.0 | 696M|2816 | - |5645 |7452 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
529.40/529.44 c 507s|730000 |424353 | 0 | 0.0 | 706M|2816 | - |5645 |7468 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
534.71/534.74 c 512s|740000 |431509 | 0 | 0.0 | 716M|2816 | - |5645 |7910 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
540.51/540.57 c 517s|750000 |438265 | 0 | 0.0 | 727M|2816 | - |5645 |8473 | 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
546.80/546.84 c 523s|760000 |444606 | 0 | 0.0 | 738M|2816 | - |5645 |8925 | 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
553.60/553.70 c 530s|770000 |450306 | 0 | 0.0 | 749M|2816 | - |5645 |9409 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
561.10/561.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.10/561.18 c 537s|780000 |455377 | 0 | 0.0 | 760M|2816 | - |5645 |9896 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
570.20/570.28 c 545s|790000 |458885 | 0 | 0.0 | 770M|2816 | - |5645 | 10k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
580.71/580.77 c 555s|800000 |460185 | 0 | 0.0 | 779M|2816 | - |5645 | 10k| 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
589.30/589.33 c 564s|810000 |462857 | 0 | 0.0 | 782M|2816 | - |5645 |7336 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
593.90/593.93 c 568s|820000 |470653 | 0 | 0.0 | 793M|2816 | - |5645 |7858 | 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
598.70/598.73 c 572s|830000 |478224 | 0 | 0.0 | 803M|2816 | - |5645 |8328 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
603.90/603.91 c 577s|840000 |485548 | 0 | 0.0 | 813M|2816 | - |5645 |8442 | 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
609.20/609.30 c 582s|850000 |492581 | 0 | 0.0 | 824M|2816 | - |5645 |8276 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
615.00/615.03 c 588s|860000 |499231 | 0 | 0.0 | 834M|2816 | - |5645 |8680 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
620.80/620.80 c 593s|870000 |505888 | 0 | 0.0 | 845M|2816 | - |5645 |8264 | 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
626.90/626.99 c 599s|880000 |512005 | 0 | 0.0 | 855M|2816 | - |5645 |8731 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
633.20/633.29 c 605s|890000 |518168 | 0 | 0.0 | 865M|2816 | - |5645 |8800 | 0 | 0 | 0 | 755k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
639.50/639.55 c 611s|900000 |524246 | 0 | 0.0 | 875M|2816 | - |5645 |8999 | 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
646.01/646.04 c 617s|910000 |530171 | 0 | 0.0 | 885M|2816 | - |5645 |8855 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
652.70/652.71 c 623s|920000 |535787 | 0 | 0.0 | 894M|2816 | - |5645 |9136 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
659.40/659.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.40/659.42 c 630s|930000 |541375 | 0 | 0.0 | 904M|2816 | - |5645 |9289 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
666.30/666.32 c 636s|940000 |546743 | 0 | 0.0 | 913M|2816 | - |5645 |9545 | 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
674.00/674.03 c 643s|950000 |551351 | 0 | 0.0 | 922M|2816 | - |5645 | 10k| 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
682.30/682.39 c 651s|960000 |555420 | 0 | 0.0 | 930M|2816 | - |5645 | 11k| 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
692.51/692.52 c 661s|970000 |557709 | 0 | 0.0 | 934M|2816 | - |5645 |8164 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
697.31/697.36 c 666s|980000 |565517 | 0 | 0.0 | 944M|2816 | - |5645 |8100 | 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
702.30/702.37 c 670s|990000 |573114 | 0 | 0.0 | 955M|2816 | - |5645 |8749 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
707.61/707.63 c 675s| 1000k|580448 | 0 | 0.0 | 965M|2816 | - |5645 |9328 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
713.00/713.04 c 680s| 1010k|587586 | 0 | 0.0 | 975M|2816 | - |5645 |9773 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
718.80/718.87 c 686s| 1020k|594233 | 0 | 0.0 | 984M|2816 | - |5645 | 10k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
725.00/725.03 c 692s| 1030k|600568 | 0 | 0.0 | 994M|2816 | - |5645 | 10k| 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
731.70/731.77 c 698s| 1040k|606207 | 0 | 0.0 |1003M|2816 | - |5645 | 11k| 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
740.21/740.27 c 706s| 1050k|610393 | 0 | 0.0 |1012M|2816 | - |5645 | 11k| 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
749.01/749.06 c 715s| 1060k|614004 | 0 | 0.0 |1019M|2816 | - |5645 |8595 | 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
754.20/754.25 c 719s| 1070k|620928 | 0 | 0.0 |1027M|2816 | - |5645 |8164 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
759.30/759.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.30/759.37 c 724s| 1080k|628133 | 0 | 0.0 |1036M|2816 | - |5645 |8641 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
765.01/765.09 c 730s| 1090k|634998 | 0 | 0.0 |1046M|2816 | - |5645 |8785 | 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
771.11/771.10 c 735s| 1100k|641442 | 0 | 0.0 |1056M|2816 | - |5645 |9764 | 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
777.51/777.51 c 741s| 1110k|647486 | 0 | 0.0 |1066M|2816 | - |5645 | 10k| 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
784.91/784.96 c 749s| 1120k|652707 | 0 | 0.0 |1075M|2816 | - |5645 | 10k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
791.91/791.97 c 755s| 1130k|658233 | 0 | 0.0 |1085M|2816 | - |5645 |9393 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
798.80/798.83 c 762s| 1140k|663771 | 0 | 0.0 |1094M|2816 | - |5645 |9218 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
804.90/804.97 c 768s| 1150k|669881 | 0 | 0.0 |1103M|2816 | - |5645 |9071 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
810.90/810.91 c 773s| 1160k|676259 | 0 | 0.0 |1112M|2816 | - |5645 |9203 | 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
816.80/816.85 c 779s| 1170k|682759 | 0 | 0.0 |1122M|2816 | - |5645 |9595 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
823.51/823.55 c 785s| 1180k|688622 | 0 | 0.0 |1132M|2816 | - |5645 | 10k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
831.61/831.61 c 793s| 1190k|693272 | 0 | 0.0 |1141M|2816 | - |5645 | 11k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
840.01/840.03 c 801s| 1200k|697454 | 0 | 0.0 |1148M|2816 | - |5645 |8091 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
844.81/844.84 c 806s| 1210k|705063 | 0 | 0.0 |1158M|2816 | - |5645 |8669 | 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
850.00/850.02 c 810s| 1220k|712420 | 0 | 0.0 |1168M|2816 | - |5645 |9082 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
855.41/855.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.41/855.42 c 816s| 1230k|719615 | 0 | 0.0 |1178M|2816 | - |5645 |9140 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
861.21/861.21 c 821s| 1240k|726472 | 0 | 0.0 |1188M|2816 | - |5645 |9070 | 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
867.11/867.14 c 827s| 1250k|733064 | 0 | 0.0 |1197M|2816 | - |5645 |9192 | 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
873.01/873.04 c 832s| 1260k|739626 | 0 | 0.0 |1207M|2816 | - |5645 |9162 | 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
879.21/879.25 c 838s| 1270k|745869 | 0 | 0.0 |1217M|2816 | - |5645 |9284 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
885.41/885.49 c 844s| 1280k|752051 | 0 | 0.0 |1226M|2816 | - |5645 |9560 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
892.01/892.05 c 851s| 1290k|757961 | 0 | 0.0 |1236M|2816 | - |5645 |9772 | 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
898.50/898.52 c 857s| 1300k|764056 | 0 | 0.0 |1245M|2816 | - |5645 | 10k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
905.50/905.59 c 864s| 1310k|769613 | 0 | 0.0 |1255M|2816 | - |5645 | 10k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
912.91/912.97 c 871s| 1320k|775044 | 0 | 0.0 |1265M|2816 | - |5645 | 11k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
921.41/921.43 c 879s| 1330k|779557 | 0 | 0.0 |1274M|2816 | - |5645 | 12k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
929.91/929.98 c 887s| 1340k|784074 | 0 | 0.0 |1282M|2816 | - |5645 | 10k| 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
935.90/935.91 c 893s| 1350k|790565 | 0 | 0.0 |1291M|2816 | - |5645 |8806 | 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
941.80/941.89 c 898s| 1360k|797189 | 0 | 0.0 |1300M|2816 | - |5645 |9463 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
948.01/948.00 c 904s| 1370k|803855 | 0 | 0.0 |1310M|2816 | - |5645 | 10k| 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
954.61/954.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.61/954.70 c 911s| 1380k|810048 | 0 | 0.0 |1320M|2816 | - |5645 | 11k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
962.21/962.24 c 918s| 1390k|815538 | 0 | 0.0 |1330M|2816 | - |5645 | 12k| 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
971.71/971.75 c 927s| 1400k|819308 | 0 | 0.0 |1340M|2816 | - |5645 | 13k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
979.61/979.68 c 935s| 1410k|824064 | 0 | 0.0 |1346M|2816 | - |5645 |8717 | 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
984.41/984.49 c 939s| 1420k|831654 | 0 | 0.0 |1356M|2816 | - |5645 |9367 | 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
989.61/989.67 c 944s| 1430k|838950 | 0 | 0.0 |1366M|2816 | - |5645 | 10k| 0 | 0 | 0 |1101k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
995.31/995.31 c 949s| 1440k|845857 | 0 | 0.0 |1376M|2816 | - |5645 | 10k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1001.31/1001.31 c 955s| 1450k|852406 | 0 | 0.0 |1386M|2816 | - |5645 | 11k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1008.01/1008.05 c 961s| 1460k|858280 | 0 | 0.0 |1396M|2816 | - |5645 | 11k| 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1015.41/1015.46 c 969s| 1470k|863454 | 0 | 0.0 |1405M|2816 | - |5645 | 12k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1025.31/1025.39 c 978s| 1480k|866411 | 0 | 0.0 |1412M|2816 | - |5645 | 12k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1030.01/1030.09 c 982s| 1490k|874180 | 0 | 0.0 |1420M|2816 | - |5645 |8614 | 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1034.61/1034.61 c 987s| 1500k|881975 | 0 | 0.0 |1430M|2816 | - |5645 |8987 | 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1039.81/1039.81 c 991s| 1510k|889228 | 0 | 0.0 |1440M|2816 | - |5645 |9557 | 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1045.71/1045.72 c 997s| 1520k|895884 | 0 | 0.0 |1451M|2816 | - |5645 | 10k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1052.11/1052.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.11/1052.13 c 1003s| 1530k|902089 | 0 | 0.0 |1461M|2816 | - |5645 | 11k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1059.52/1059.51 c 1010s| 1540k|907466 | 0 | 0.0 |1470M|2816 | - |5645 | 11k| 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1067.52/1067.58 c 1018s| 1550k|912290 | 0 | 0.0 |1478M|2816 | - |5645 | 10k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1074.12/1074.18 c 1024s| 1560k|918028 | 0 | 0.0 |1487M|2816 | - |5645 |9481 | 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1079.41/1079.45 c 1029s| 1570k|924932 | 0 | 0.0 |1496M|2816 | - |5645 |9550 | 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1085.11/1085.14 c 1035s| 1580k|931648 | 0 | 0.0 |1506M|2816 | - |5645 |9554 | 0 | 0 | 0 |1203k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1090.71/1090.77 c 1040s| 1590k|938439 | 0 | 0.0 |1515M|2816 | - |5645 |9637 | 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1096.32/1096.38 c 1046s| 1600k|945286 | 0 | 0.0 |1525M|2816 | - |5645 |9573 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1102.51/1102.50 c 1051s| 1610k|951626 | 0 | 0.0 |1534M|2816 | - |5645 | 10k| 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1108.51/1108.55 c 1057s| 1620k|958049 | 0 | 0.0 |1544M|2816 | - |5645 | 10k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1115.01/1115.02 c 1063s| 1630k|964061 | 0 | 0.0 |1553M|2816 | - |5645 | 10k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1121.21/1121.24 c 1069s| 1640k|970198 | 0 | 0.0 |1563M|2816 | - |5645 | 10k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1127.52/1127.53 c 1075s| 1650k|976211 | 0 | 0.0 |1572M|2816 | - |5645 | 10k| 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1133.81/1133.84 c 1081s| 1660k|982183 | 0 | 0.0 |1582M|2816 | - |5645 | 10k| 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1140.11/1140.19 c 1088s| 1670k|988195 | 0 | 0.0 |1591M|2816 | - |5645 | 10k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1146.41/1146.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.41/1146.45 c 1094s| 1680k|994258 | 0 | 0.0 |1601M|2816 | - |5645 | 10k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1153.01/1153.02 c 1100s| 1690k|999959 | 0 | 0.0 |1610M|2816 | - |5645 | 10k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1159.42/1159.42 c 1106s| 1700k| 1005k| 0 | 0.0 |1620M|2816 | - |5645 | 10k| 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1165.81/1165.81 c 1112s| 1710k| 1011k| 0 | 0.0 |1629M|2816 | - |5645 | 10k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1172.71/1172.72 c 1119s| 1720k| 1017k| 0 | 0.0 |1639M|2816 | - |5645 | 10k| 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1179.61/1179.66 c 1125s| 1730k| 1022k| 0 | 0.0 |1649M|2816 | - |5645 | 11k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1187.41/1187.47 c 1133s| 1740k| 1027k| 0 | 0.0 |1658M|2816 | - |5645 | 12k| 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1196.61/1196.70 c 1142s| 1750k| 1031k| 0 | 0.0 |1668M|2816 | - |5645 | 13k| 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1204.81/1204.80 c 1149s| 1760k| 1036k| 0 | 0.0 |1675M|2816 | - |5645 |9152 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1210.01/1210.04 c 1154s| 1770k| 1043k| 0 | 0.0 |1685M|2816 | - |5645 |9998 | 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1215.41/1215.49 c 1159s| 1780k| 1050k| 0 | 0.0 |1695M|2816 | - |5645 | 10k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1221.41/1221.45 c 1165s| 1790k| 1057k| 0 | 0.0 |1705M|2816 | - |5645 | 11k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1228.01/1228.04 c 1171s| 1800k| 1063k| 0 | 0.0 |1714M|2816 | - |5645 | 12k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1236.10/1236.15 c 1179s| 1810k| 1068k| 0 | 0.0 |1724M|2816 | - |5645 | 12k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1247.81/1247.81 c 1190s| 1820k| 1069k| 0 | 0.0 |1732M|2816 | - |5645 | 13k| 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1253.31/1253.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1253.31/1253.30 c 1196s| 1830k| 1077k| 0 | 0.0 |1740M|2816 | - |5645 |9962 | 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1258.42/1258.42 c 1200s| 1840k| 1084k| 0 | 0.0 |1750M|2816 | - |5645 | 10k| 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1264.11/1264.13 c 1206s| 1850k| 1091k| 0 | 0.0 |1760M|2816 | - |5645 | 10k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1270.61/1270.64 c 1212s| 1860k| 1097k| 0 | 0.0 |1771M|2816 | - |5645 | 11k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1278.91/1278.94 c 1220s| 1870k| 1102k| 0 | 0.0 |1780M|2816 | - |5645 | 12k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1289.51/1289.56 c 1230s| 1880k| 1104k| 0 | 0.0 |1786M|2816 | - |5645 | 10k| 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1294.72/1294.73 c 1235s| 1890k| 1112k| 0 | 0.0 |1796M|2816 | - |5645 | 10k| 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1300.22/1300.24 c 1240s| 1900k| 1119k| 0 | 0.0 |1806M|2816 | - |5645 | 10k| 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1306.21/1306.22 c 1246s| 1910k| 1125k| 0 | 0.0 |1816M|2816 | - |5645 | 10k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1312.81/1312.80 c 1252s| 1920k| 1132k| 0 | 0.0 |1826M|2816 | - |5645 | 10k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1320.11/1320.17 c 1259s| 1930k| 1137k| 0 | 0.0 |1836M|2816 | - |5645 | 10k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1327.31/1327.31 c 1266s| 1940k| 1142k| 0 | 0.0 |1845M|2816 | - |5645 | 10k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1334.91/1334.92 c 1274s| 1950k| 1148k| 0 | 0.0 |1855M|2816 | - |5645 | 11k| 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1342.71/1342.70 c 1281s| 1960k| 1152k| 0 | 0.0 |1863M|2816 | - |5645 | 12k| 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1351.31/1351.39 c 1289s| 1970k| 1157k| 0 | 0.0 |1872M|2816 | - |5645 | 13k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1362.61/1362.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.61/1362.62 c 1300s| 1980k| 1159k| 0 | 0.0 |1877M|2816 | - |5645 | 10k| 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1368.01/1368.03 c 1305s| 1990k| 1166k| 0 | 0.0 |1887M|2816 | - |5645 | 11k| 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1374.01/1374.02 c 1311s| 2000k| 1173k| 0 | 0.0 |1897M|2816 | - |5645 | 12k| 0 | 0 | 0 |1490k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1380.32/1380.38 c 1317s| 2010k| 1180k| 0 | 0.0 |1906M|2816 | - |5645 | 12k| 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1387.82/1387.82 c 1324s| 2020k| 1185k| 0 | 0.0 |1915M|2816 | - |5645 | 13k| 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1397.02/1397.03 c 1333s| 2030k| 1190k| 0 | 0.0 |1924M|2816 | - |5645 | 14k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1407.52/1407.54 c 1343s| 2040k| 1193k| 0 | 0.0 |1930M|2816 | - |5645 | 11k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1413.42/1413.45 c 1349s| 2050k| 1200k| 0 | 0.0 |1940M|2816 | - |5645 | 11k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1420.02/1420.04 c 1355s| 2060k| 1207k| 0 | 0.0 |1950M|2816 | - |5645 | 12k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1427.31/1427.34 c 1362s| 2070k| 1213k| 0 | 0.0 |1961M|2816 | - |5645 | 12k| 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1437.62/1437.69 c 1372s| 2080k| 1216k| 0 | 0.0 |1969M|2816 | - |5645 | 14k| 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1445.61/1445.63 c 1379s| 2090k| 1222k| 0 | 0.0 |1977M|2816 | - |5645 | 10k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1452.32/1452.38 c 1386s| 2100k| 1229k| 0 | 0.0 |1987M|2816 | - |5645 | 12k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1461.22/1461.23 c 1394s| 2110k| 1234k| 0 | 0.0 |1997M|2816 | - |5645 | 13k| 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1470.72/1470.75 c 1403s| 2120k| 1239k| 0 | 0.0 |2004M|2816 | - |5645 | 12k| 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1479.42/1479.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1479.42/1479.45 c 1412s| 2130k| 1244k| 0 | 0.0 |2013M|2816 | - |5645 | 11k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1488.11/1488.12 c 1420s| 2140k| 1249k| 0 | 0.0 |2022M|2816 | - |5645 | 12k| 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1497.81/1497.86 c 1430s| 2150k| 1254k| 0 | 0.0 |2031M|2816 | - |5645 | 12k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1507.92/1507.98 c 1439s| 2160k| 1258k| 0 | 0.0 |2039M|2816 | - |5645 | 12k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1517.72/1517.79 c 1449s| 2170k| 1263k| 0 | 0.0 |2048M|2816 | - |5645 | 12k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1527.32/1527.37 c 1458s| 2180k| 1267k| 0 | 0.0 |2057M|2816 | - |5645 | 12k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1537.32/1537.37 c 1468s| 2190k| 1272k| 0 | 0.0 |2064M|2816 | - |5645 | 13k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1548.72/1548.70 c 1478s| 2200k| 1275k| 0 | 0.0 |2073M|2816 | - |5645 | 15k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1562.72/1562.70 c 1492s| 2210k| 1277k| 0 | 0.0 |2076M|2816 | - |5645 | 11k| 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1568.72/1568.74 c 1498s| 2220k| 1284k| 0 | 0.0 |2086M|2816 | - |5645 | 11k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1576.51/1576.54 c 1505s| 2230k| 1290k| 0 | 0.0 |2097M|2816 | - |5645 | 13k| 0 | 0 | 0 |1695k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1587.89/1587.91 c 1516s| 2240k| 1294k| 0 | 0.0 |2105M|2816 | - |5645 | 14k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1599.50/1599.54 c 1527s| 2250k| 1298k| 0 | 0.0 |2112M|2816 | - |5645 | 12k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1611.50/1611.53 c 1539s| 2260k| 1301k| 0 | 0.0 |2121M|2816 | - |5645 | 13k| 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1625.99/1626.03 c 1553s| 2270k| 1303k| 0 | 0.0 |2126M|2816 | - |5645 | 11k| 0 | 0 | 0 |1742k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1635.99/1636.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.99/1636.06 c 1563s| 2280k| 1307k| 0 | 0.0 |2136M|2816 | - |5645 | 11k| 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1650.10/1650.16 c 1577s| 2290k| 1309k| 0 | 0.0 |2143M|2816 | - |5645 | 12k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1663.10/1663.14 c 1589s| 2300k| 1312k| 0 | 0.0 |2148M|2816 | - |5645 | 11k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1674.49/1674.58 c 1600s| 2310k| 1315k| 0 | 0.0 |2159M|2816 | - |5645 | 12k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1689.79/1689.88 c 1615s| 2320k| 1316k| 0 | 0.0 |2166M|2816 | - |5645 | 15k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1699.70/1699.71 c 1625s| 2330k| 1321k| 0 | 0.0 |2171M|2816 | - |5645 | 12k| 0 | 0 | 0 |1811k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1712.10/1712.15 c 1637s| 2340k| 1324k| 0 | 0.0 |2180M|2816 | - |5645 | 14k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1723.50/1723.57 c 1648s| 2350k| 1328k| 0 | 0.0 |2184M|2816 | - |5645 |6703 | 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1729.00/1729.00 c 1653s| 2360k| 1335k| 0 | 0.0 |2195M|2816 | - |5645 |6321 | 0 | 0 | 0 |1836k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1734.00/1734.01 c 1658s| 2370k| 1343k| 0 | 0.0 |2205M|2816 | - |5645 |6570 | 0 | 0 | 0 |1840k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1739.11/1739.12 c 1662s| 2380k| 1350k| 0 | 0.0 |2214M|2816 | - |5645 |6080 | 0 | 0 | 0 |1846k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1744.51/1744.57 c 1667s| 2390k| 1357k| 0 | 0.0 |2224M|2816 | - |5645 |7503 | 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1750.90/1750.97 c 1674s| 2400k| 1364k| 0 | 0.0 |2233M|2816 | - |5645 |6704 | 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1756.09/1756.16 c 1678s| 2410k| 1371k| 0 | 0.0 |2244M|2816 | - |5645 |6718 | 0 | 0 | 0 |1861k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1761.50/1761.51 c 1684s| 2420k| 1378k| 0 | 0.0 |2252M|2816 | - |5645 |6828 | 0 | 0 | 0 |1866k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1766.70/1766.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1766.70/1766.70 c 1688s| 2430k| 1385k| 0 | 0.0 |2262M|2816 | - |5645 |6923 | 0 | 0 | 0 |1871k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1772.60/1772.61 c 1694s| 2440k| 1392k| 0 | 0.0 |2270M|2816 | - |5645 |7450 | 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1777.50/1777.59 c 1699s| 2450k| 1399k| 0 | 0.0 |2280M|2816 | - |5645 |7384 | 0 | 0 | 0 |1881k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1782.90/1782.96 c 1704s| 2460k| 1406k| 0 | 0.0 |2288M|2816 | - |5645 |7348 | 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1788.40/1788.41 c 1709s| 2470k| 1413k| 0 | 0.0 |2297M|2816 | - |5645 |7795 | 0 | 0 | 0 |1892k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1794.10/1794.12 c 1714s| 2480k| 1420k| 0 | 0.0 |2306M|2816 | - |5645 |8281 | 0 | 0 | 0 |1897k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1800.00/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.00 c
1800.00/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.00 c Solving Time (sec) : 1719.95
1800.00/1800.00 c Solving Nodes : 2489513
1800.00/1800.00 c Primal Bound : +9.00000000000000e+00 (45 solutions)
1800.00/1800.00 c Dual Bound : +0.00000000000000e+00
1800.00/1800.00 c Gap : infinite
1800.00/1800.09 s SATISFIABLE
1800.00/1800.09 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210
1800.00/1800.09 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.00/1800.09 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
1800.00/1800.09 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.00/1800.09 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.00/1800.09 v x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105
1800.00/1800.09 v -x104 -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.00/1800.09 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.00/1800.09 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 -x29
1800.00/1800.09 v -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 -x2
1800.00/1800.09 v -x1
1800.00/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.09 c Solving Time : 1719.95
1800.00/1800.09 c Original Problem :
1800.00/1800.09 c Problem name : HOME/instance-2693596-1277925898.wbo
1800.00/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.00/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.00/1800.09 c Presolved Problem :
1800.00/1800.09 c Problem name : t_HOME/instance-2693596-1277925898.wbo
1800.00/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.00/1800.09 c Constraints : 5414 initial, 25117 maximal
1800.00/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.09 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.00/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.09 c probing : 0.04 0 0 0 0 0 0 0 0
1800.00/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.09 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.00/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.09 c root node : - 2476 - - 4952 - - - -
1800.00/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.09 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.09 c indicator : 2707 0 7268341 0 2060106 403 6077513 0 0 0
1800.00/1800.09 c linear : 2707 0 7832714 0 2144399 424282 44016416 0 0 0
1800.00/1800.09 c logicor : 0+ 0 3535028 0 0 125151 1255983 0 0 0
1800.00/1800.09 c countsols : 0 0 0 0 2144422 0 0 0 0 0
1800.00/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.09 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.09 c indicator : 49.88 0.00 21.83 0.00 28.05
1800.00/1800.09 c linear : 434.63 0.00 432.76 0.00 1.87
1800.00/1800.09 c logicor : 201.34 0.00 201.34 0.00 0.00
1800.00/1800.09 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.09 c vbounds : 0.00 2 0 0
1800.00/1800.09 c rootredcost : 0.00 0 0 0
1800.00/1800.09 c pseudoobj : 419.22 7841246 8095 5998759
1800.00/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.09 c propagation : 35.85 557528 557523 2592771 23.4 360976 9.9 -
1800.00/1800.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.09 c pseudo solution : 0.17 473 473 1876 25.1 1270 9.6 -
1800.00/1800.09 c applied globally : - - - 1904086 18.9 - - -
1800.00/1800.09 c applied locally : - - - 0 0.0 - - -
1800.00/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.09 c redcost : 0.00 0 0 0 0 0
1800.00/1800.09 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.09 c intobj : 0.00 0 0 0 0 0
1800.00/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.09 c gomory : 0.00 0 0 0 0 0
1800.00/1800.09 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.09 c cmir : 0.00 0 0 0 0 0
1800.00/1800.09 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.09 c clique : 0.00 0 0 0 0 0
1800.00/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.09 c mcf : 0.00 0 0 0 0 0
1800.00/1800.09 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.09 c Pricers : Time Calls Vars
1800.00/1800.09 c problem variables: 0.00 0 0
1800.00/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.09 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.09 c inference : 68.93 2144380 0 0 0 0 4288760
1800.00/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.09 c random : 0.00 0 0 0 0 0 0
1800.00/1800.09 c Primal Heuristics : Time Calls Found
1800.00/1800.09 c LP solutions : 0.00 - 0
1800.00/1800.09 c pseudo solutions : 0.26 - 42
1800.00/1800.09 c oneopt : 0.09 0 0
1800.00/1800.09 c trivial : 0.08 2 2
1800.00/1800.09 c simplerounding : 0.00 0 0
1800.00/1800.09 c zirounding : 0.00 0 0
1800.00/1800.09 c rounding : 0.00 0 0
1800.00/1800.09 c shifting : 0.00 0 0
1800.00/1800.09 c intshifting : 0.00 0 0
1800.00/1800.09 c twoopt : 0.00 0 0
1800.00/1800.09 c fixandinfer : 0.00 0 0
1800.00/1800.09 c feaspump : 0.00 0 0
1800.00/1800.09 c coefdiving : 0.00 0 0
1800.00/1800.09 c pscostdiving : 0.00 0 0
1800.00/1800.09 c fracdiving : 0.00 0 0
1800.00/1800.09 c veclendiving : 0.00 0 0
1800.00/1800.09 c intdiving : 0.00 0 0
1800.00/1800.09 c actconsdiving : 0.00 0 0
1800.00/1800.09 c objpscostdiving : 0.00 0 0
1800.00/1800.09 c rootsoldiving : 0.00 0 0
1800.00/1800.09 c linesearchdiving : 0.00 0 0
1800.00/1800.09 c guideddiving : 0.00 0 0
1800.00/1800.09 c octane : 0.00 0 0
1800.00/1800.09 c rens : 0.00 0 0
1800.00/1800.09 c rins : 0.00 0 0
1800.00/1800.09 c localbranching : 0.00 0 0
1800.00/1800.09 c mutation : 0.00 0 0
1800.00/1800.09 c crossover : 0.00 0 0
1800.00/1800.09 c dins : 0.00 0 0
1800.00/1800.09 c undercover : 0.00 0 0
1800.00/1800.09 c nlp : 0.00 0 0
1800.00/1800.09 c trysol : 0.00 1 1
1800.00/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.09 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.09 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.09 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.09 c (at root node) : - 0 0 0.00 -
1800.00/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.09 c B&B Tree :
1800.00/1800.09 c number of runs : 1
1800.00/1800.09 c nodes : 2489513
1800.00/1800.09 c nodes (total) : 2489513
1800.00/1800.09 c nodes left : 1426771
1800.00/1800.09 c max depth : 2816
1800.00/1800.09 c max depth (total): 2816
1800.00/1800.09 c backtracks : 331509 (13.3%)
1800.00/1800.09 c delayed cutoffs : 297392
1800.00/1800.09 c repropagations : 1583395 (17226002 domain reductions, 213313 cutoffs)
1800.00/1800.09 c avg switch length: 37.53
1800.00/1800.09 c switching time : 466.84
1800.00/1800.09 c Solution :
1800.00/1800.09 c Solutions found : 45 (43 improvements)
1800.00/1800.09 c First Solution : +1.38261000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.00/1800.09 c Primal Bound : +9.00000000000000e+00 (in run 1, after 690699 nodes, 460.09 seconds, depth 197, found by <relaxation>)
1800.00/1800.09 c Dual Bound : +0.00000000000000e+00
1800.00/1800.09 c Gap : infinite
1800.00/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.09 c Root Iterations : 0
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693596-1277925898/watcher-2693596-1277925898 -o /tmp/evaluation-result-2693596-1277925898/solver-2693596-1277925898 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693596-1277925898.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.85 1.97 1.99 4/196 16722 /proc/meminfo: memFree=31002476/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=8408 CPUtime=0 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 1578 0 0 0 0 0 0 0 22 0 1 0 133885026 8609792 1501 4089446400 4194304 7136930 140736749442336 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/16722/statm: 2102 1501 275 719 0 1381 0 [startup+0.0930669 s] /proc/loadavg: 1.85 1.97 1.99 4/196 16722 /proc/meminfo: memFree=31002476/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=33676 CPUtime=0.08 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 7966 0 0 0 8 0 0 0 22 0 1 0 133885026 34484224 7535 4089446400 4194304 7136930 140736749442336 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 33676 [startup+0.101046 s] /proc/loadavg: 1.85 1.97 1.99 4/196 16722 /proc/meminfo: memFree=31002476/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=33676 CPUtime=0.09 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 7966 0 0 0 9 0 0 0 22 0 1 0 133885026 34484224 7535 4089446400 4194304 7136930 140736749442336 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.301021 s] /proc/loadavg: 1.85 1.97 1.99 4/196 16722 /proc/meminfo: memFree=31002476/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=36496 CPUtime=0.29 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 9238 0 0 0 26 3 0 0 22 0 1 0 133885026 37371904 8293 4089446400 4194304 7136930 140736749442336 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 9124 8293 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700937 s] /proc/loadavg: 1.85 1.97 1.99 4/196 16722 /proc/meminfo: memFree=31002476/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=37636 CPUtime=0.69 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 9515 0 0 0 64 5 0 0 24 0 1 0 133885026 38539264 8570 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50079 s] /proc/loadavg: 1.85 1.97 1.99 3/197 16723 /proc/meminfo: memFree=30967128/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=41012 CPUtime=1.48 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 10386 0 0 0 136 12 0 0 25 0 1 0 133885026 41996288 9441 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 10253 9441 390 719 0 9532 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 41012 [startup+3.10051 s] /proc/loadavg: 1.85 1.97 1.99 3/197 16723 /proc/meminfo: memFree=30964648/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=43488 CPUtime=3.08 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 10996 0 0 0 288 20 0 0 25 0 1 0 133885026 44531712 10051 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 10872 10051 390 719 0 10151 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 43488 [startup+6.30093 s] /proc/loadavg: 1.86 1.97 1.99 3/197 16723 /proc/meminfo: memFree=30950588/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=59352 CPUtime=6.29 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 14896 0 0 0 588 41 0 0 25 0 1 0 133885026 60776448 13951 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 14838 13951 391 719 0 14117 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59352 [startup+12.7008 s] /proc/loadavg: 1.87 1.97 1.99 3/197 16723 /proc/meminfo: memFree=30926992/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=83300 CPUtime=12.69 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 20688 0 0 0 1205 64 0 0 25 0 1 0 133885026 85299200 19743 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 20825 19743 391 719 0 20104 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 83300 [startup+25.5005 s] /proc/loadavg: 1.90 1.97 1.99 3/197 16724 /proc/meminfo: memFree=30865116/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=142868 CPUtime=25.48 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 34643 0 0 0 2430 118 0 0 25 0 1 0 133885026 146296832 33698 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 35717 33698 391 719 0 34996 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 142868 [startup+51.1009 s] /proc/loadavg: 1.93 1.97 1.99 3/197 16725 /proc/meminfo: memFree=30780836/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=217476 CPUtime=51.09 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 52061 0 0 0 4855 254 0 0 25 0 1 0 133885026 222695424 51116 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 54369 51116 391 719 0 53648 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 217476 [startup+102.307 s] /proc/loadavg: 1.97 1.97 1.99 3/197 16726 /proc/meminfo: memFree=30653312/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=333804 CPUtime=102.3 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 78311 0 0 0 9765 465 0 0 25 0 1 0 133885026 341815296 77366 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 83451 77366 391 719 0 82730 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 333804 [startup+162.301 s] /proc/loadavg: 2.06 1.99 1.99 3/197 16727 /proc/meminfo: memFree=30465156/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=524884 CPUtime=162.3 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 120703 0 0 0 15468 762 0 0 25 0 1 0 133885026 537481216 119758 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 131221 119758 391 719 0 130500 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 524884 [startup+222.3 s] /proc/loadavg: 2.02 1.99 1.99 4/197 16729 /proc/meminfo: memFree=30341832/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=652692 CPUtime=222.3 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 149865 0 0 0 21151 1079 0 0 25 0 1 0 133885026 668356608 148920 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 163173 148920 391 719 0 162452 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 652692 [startup+282.3 s] /proc/loadavg: 2.01 1.99 1.99 3/197 16731 /proc/meminfo: memFree=30214044/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=784156 CPUtime=282.29 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 181786 0 0 0 26856 1373 0 0 25 0 1 0 133885026 802975744 180841 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 196039 180841 391 719 0 195318 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 784156 [startup+342.301 s] /proc/loadavg: 2.26 2.09 2.03 3/197 16732 /proc/meminfo: memFree=30114924/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=884328 CPUtime=342.3 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 206642 0 0 0 32571 1659 0 0 25 0 1 0 133885026 905551872 205697 4089446400 4194304 7136930 140736749442336 18446744073709551615 4983126 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 221082 205697 391 719 0 220361 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 884328 [startup+402.301 s] /proc/loadavg: 2.10 2.07 2.02 3/197 16734 /proc/meminfo: memFree=30006000/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=962340 CPUtime=402.3 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 225746 0 0 0 38339 1891 0 0 25 0 1 0 133885026 985436160 224801 4089446400 4194304 7136930 140736749442336 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 240585 224801 391 719 0 239864 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 962340 [startup+462.301 s] /proc/loadavg: 2.03 2.05 2.02 3/197 16738 /proc/meminfo: memFree=29918312/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=1003936 CPUtime=462.29 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 235249 0 0 0 44148 2081 0 0 25 0 1 0 133885026 1028030464 234304 4089446400 4194304 7136930 140736749442336 18446744073709551615 4221131 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 250984 234304 391 719 0 250263 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 1003936 [startup+522.3 s] /proc/loadavg: 2.01 2.04 2.01 3/197 16740 /proc/meminfo: memFree=29862952/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=1032468 CPUtime=522.31 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 241568 0 0 0 49989 2242 0 0 25 0 1 0 133885026 1057247232 240623 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 258117 240623 391 719 0 257396 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1032468 [startup+582.301 s] /proc/loadavg: 2.00 2.03 2.00 3/197 16742 /proc/meminfo: memFree=29763052/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=1103524 CPUtime=582.3 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 257488 0 0 0 55688 2542 0 0 25 0 1 0 133885026 1130008576 256543 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 275881 256543 391 719 0 275160 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1103524 [startup+642.301 s] /proc/loadavg: 2.00 2.02 2.00 3/197 16743 /proc/meminfo: memFree=29632152/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=1216756 CPUtime=642.31 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 285639 0 0 0 61332 2899 0 0 25 0 1 0 133885026 1245958144 284694 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 304189 284694 391 719 0 303468 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1216756 [startup+702.301 s] ################ # More data... # ################ /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 411780 0 0 0 95604 4627 0 0 25 0 1 0 133885026 1764425728 410835 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 430768 410835 391 719 0 430047 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1723072 [startup+1062.3 s] /proc/loadavg: 2.01 2.07 2.03 3/197 16754 /proc/meminfo: memFree=28815324/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=1803464 CPUtime=1062.31 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 432108 0 0 0 101304 4927 0 0 25 0 1 0 133885026 1846747136 431163 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 450866 431163 391 719 0 450145 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1803464 [startup+1122.3 s] /proc/loadavg: 2.00 2.06 2.03 3/197 16756 /proc/meminfo: memFree=28686936/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=1902520 CPUtime=1122.31 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 456992 0 0 0 107035 5196 0 0 25 0 1 0 133885026 1948180480 456047 4089446400 4194304 7136930 140736749442336 18446744073709551615 5951430 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 475630 456047 391 719 0 474909 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1902520 [startup+1182.3 s] /proc/loadavg: 2.00 2.04 2.02 3/197 16758 /proc/meminfo: memFree=28538068/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2014724 CPUtime=1182.31 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 481058 0 0 0 112782 5449 0 0 25 0 1 0 133885026 2063077376 480113 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 503681 480113 391 719 0 502960 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 2014724 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.02 3/197 16759 /proc/meminfo: memFree=28384608/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2100184 CPUtime=1242.31 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 502370 0 0 0 118506 5725 0 0 25 0 1 0 133885026 2150588416 501425 4089446400 4194304 7136930 140736749442336 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 525046 501425 391 719 0 524325 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 2100184 [startup+1302.3 s] /proc/loadavg: 2.05 2.04 2.01 3/197 16761 /proc/meminfo: memFree=28299344/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2175576 CPUtime=1302.31 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 521137 0 0 0 124238 5993 0 0 25 0 1 0 133885026 2227789824 520192 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 543894 520192 391 719 0 543173 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 2175576 [startup+1362.3 s] /proc/loadavg: 2.02 2.03 2.01 3/197 16762 /proc/meminfo: memFree=28237160/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2238788 CPUtime=1362.31 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 537155 0 0 0 129993 6238 0 0 25 0 1 0 133885026 2292518912 536210 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 559697 536210 391 719 0 558976 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 2238788 [startup+1422.31 s] /proc/loadavg: 2.00 2.02 2.00 3/197 16764 /proc/meminfo: memFree=28165432/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2306724 CPUtime=1422.32 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 554503 0 0 0 135717 6515 0 0 25 0 1 0 133885026 2362085376 553558 4089446400 4194304 7136930 140736749442336 18446744073709551615 4221557 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 576681 553558 391 719 0 575960 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 2306724 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 16766 /proc/meminfo: memFree=28105976/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2364400 CPUtime=1482.31 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 569213 0 0 0 141463 6768 0 0 25 0 1 0 133885026 2421145600 568268 4089446400 4194304 7136930 140736749442336 18446744073709551615 4520298 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 591100 568268 391 719 0 590379 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 2364400 [startup+1542.3 s] /proc/loadavg: 2.24 2.11 2.03 3/197 16767 /proc/meminfo: memFree=28056004/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2413976 CPUtime=1542.31 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 581645 0 0 0 147230 7001 0 0 25 0 1 0 133885026 2471911424 580700 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 603494 580700 391 719 0 602773 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 2413976 [startup+1602.3 s] /proc/loadavg: 2.31 2.14 2.04 4/200 16867 /proc/meminfo: memFree=28678388/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2463516 CPUtime=1602.29 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 594163 0 0 0 153012 7217 0 0 25 0 1 0 133885026 2522640384 593218 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 615879 593218 391 719 0 615158 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 2463516 [startup+1662.3 s] /proc/loadavg: 2.70 2.28 2.10 4/200 16868 /proc/meminfo: memFree=28630696/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2503640 CPUtime=1662.29 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 604250 0 0 0 158843 7386 0 0 25 0 1 0 133885026 2563727360 603305 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 625910 603305 391 719 0 625189 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 2503640 [startup+1722.3 s] /proc/loadavg: 2.81 2.39 2.14 4/200 16870 /proc/meminfo: memFree=28578904/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2541696 CPUtime=1722.3 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 613813 0 0 0 164651 7579 0 0 25 0 1 0 133885026 2602696704 612868 4089446400 4194304 7136930 140736749442336 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 635424 612868 391 719 0 634703 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 2541696 [startup+1782.3 s] /proc/loadavg: 3.08 2.55 2.21 4/200 16872 /proc/meminfo: memFree=28467356/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2643168 CPUtime=1782.3 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 639502 0 0 0 170315 7915 0 0 25 0 1 0 133885026 2706604032 638557 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 660792 638557 391 719 0 660071 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 2643168 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 3.06 2.58 2.23 4/200 16872 /proc/meminfo: memFree=28435840/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2665312 CPUtime=1800 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 645039 0 0 0 171997 8003 0 0 25 0 1 0 133885026 2729279488 644094 4089446400 4194304 7136930 140736749442336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16722/statm: 666328 644094 391 719 0 665607 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 2665312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16722 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 3.06 2.58 2.23 4/201 16873 /proc/meminfo: memFree=28435336/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2665312 CPUtime=1801.4 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 645061 0 0 0 172137 8003 0 0 25 0 1 0 133885026 2729279488 644116 4089446400 4194304 7136930 140736749442336 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/16722/statm: 666328 644116 397 719 0 665607 0 Current children cumulated CPU time (s) 1801.4 Current children cumulated vsize (KiB) 2665312 [startup+1801.81 s] /proc/loadavg: 3.06 2.58 2.23 4/201 16873 /proc/meminfo: memFree=28435336/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2665312 CPUtime=1801.81 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 645061 0 0 0 172178 8003 0 0 25 0 1 0 133885026 2729279488 644116 4089446400 4194304 7136930 140736749442336 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/16722/statm: 666328 644116 397 719 0 665607 0 Current children cumulated CPU time (s) 1801.81 Current children cumulated vsize (KiB) 2665312 [startup+1802 s] /proc/loadavg: 3.06 2.58 2.23 4/201 16873 /proc/meminfo: memFree=28435336/32951124 swapFree=67111528/67111528 [pid=16722] ppid=16720 vsize=2665312 CPUtime=1802 /proc/16722/stat : 16722 (pbscip.linux.x8) R 16720 16722 16697 0 -1 4202496 645061 0 0 0 172197 8003 0 0 25 0 1 0 133885026 2729279488 644116 4089446400 4194304 7136930 140736749442336 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/16722/statm: 666328 644116 397 719 0 665607 0 Current children cumulated CPU time (s) 1802 Current children cumulated vsize (KiB) 2665312 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.1 CPU user time (s): 1721.98 CPU system time (s): 80.1218 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 2665312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1721.98 system time used= 80.1218 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 645061 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= 3 involuntary context switches= 19492 runsolver used 2.6106 second user time and 5.69613 second system time The end
Begin job on node145 at 2010-06-30 21:24:58 IDJOB=2693596 IDBENCH=79264 IDSOLVER=1206 FILE ID=node145/2693596-1277925898 PBS_JOBID= 11197364 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564824--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693596-1277925898/watcher-2693596-1277925898 -o /tmp/evaluation-result-2693596-1277925898/solver-2693596-1277925898 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693596-1277925898.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 67acad5bcb13fd291a4cc974e7f18780 RANDOM SEED=433106861 node145.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31002756 kB Buffers: 208728 kB Cached: 1266116 kB SwapCached: 0 kB Active: 810784 kB Inactive: 992052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31002756 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3288 kB Writeback: 0 kB AnonPages: 327756 kB Mapped: 20344 kB Slab: 81192 kB PageTables: 5308 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1651656 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node145 at 2010-06-30 21:55:01