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.12 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo |
| MD5SUM | 504847a4e43d2b055735d72ea944fa39 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 199.839 |
| 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 | 135865 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 135864 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 705 |
| 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-2693738-1277931241.wbo>
0.01/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/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 135864
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.358640e+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.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 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.358640e+05 | Inf
1.99/2.06 o 455
1.99/2.06 c * 2.0s| 6357 | 5236 | 0 | 0.0 | 23M|2816 | - |5645 |6885 | 0 | 0 | 0 |1474 | 0 | 0.000000e+00 | 4.550000e+02 | Inf
1.99/2.07 o 407
1.99/2.07 c * 2.0s| 6358 | 5205 | 0 | 0.0 | 23M|2816 | - |5645 |6885 | 0 | 0 | 0 |1474 | 0 | 0.000000e+00 | 4.070000e+02 | Inf
2.09/2.15 o 382
2.09/2.15 c * 2.0s| 6512 | 5357 | 0 | 0.0 | 23M|2816 | - |5645 |6884 | 0 | 0 | 0 |1474 | 0 | 0.000000e+00 | 3.820000e+02 | Inf
2.09/2.15 o 334
2.09/2.15 c * 2.0s| 6513 | 5348 | 0 | 0.0 | 23M|2816 | - |5645 |6884 | 0 | 0 | 0 |1474 | 0 | 0.000000e+00 | 3.340000e+02 | Inf
2.20/2.24 o 301
2.20/2.24 c * 2.1s| 6659 | 5483 | 0 | 0.0 | 23M|2816 | - |5645 |6894 | 0 | 0 | 0 |1484 | 0 | 0.000000e+00 | 3.010000e+02 | Inf
2.79/2.82 o 289
2.79/2.82 c * 2.7s| 7889 | 6637 | 0 | 0.0 | 24M|2816 | - |5645 |7083 | 0 | 0 | 0 |1680 | 0 | 0.000000e+00 | 2.890000e+02 | Inf
2.89/2.97 o 270
2.89/2.97 c * 2.9s| 8242 | 6958 | 0 | 0.0 | 25M|2816 | - |5645 |7134 | 0 | 0 | 0 |1735 | 0 | 0.000000e+00 | 2.700000e+02 | Inf
3.08/3.11 o 249
3.08/3.11 c * 3.0s| 8603 | 7257 | 0 | 0.0 | 25M|2816 | - |5645 |7173 | 0 | 0 | 0 |1801 | 0 | 0.000000e+00 | 2.490000e+02 | Inf
3.08/3.15 o 240
3.08/3.15 c * 3.0s| 8690 | 7320 | 0 | 0.0 | 25M|2816 | - |5645 |7181 | 0 | 0 | 0 |1811 | 0 | 0.000000e+00 | 2.400000e+02 | Inf
3.08/3.15 o 225
3.08/3.15 c * 3.0s| 8691 | 7297 | 0 | 0.0 | 25M|2816 | - |5645 |7181 | 0 | 0 | 0 |1811 | 0 | 0.000000e+00 | 2.250000e+02 | Inf
3.48/3.58 c 3.4s| 10000 | 8454 | 0 | 0.0 | 26M|2816 | - |5645 |7420 | 0 | 0 | 0 |2473 | 0 | 0.000000e+00 | 2.250000e+02 | Inf
7.18/7.25 c 7.0s| 20000 | 16538 | 0 | 0.0 | 38M|2816 | - |5645 |8035 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.250000e+02 | Inf
12.68/12.73 c 12.4s| 30000 | 22637 | 0 | 0.0 | 51M|2816 | - |5645 |9678 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.250000e+02 | Inf
13.98/14.05 o 217
13.98/14.05 c *13.7s| 31766 | 23913 | 0 | 0.0 | 53M|2816 | - |5645 |9376 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
13.98/14.05 o 194
13.98/14.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.98/14.05 c *13.7s| 31767 | 23842 | 0 | 0.0 | 53M|2816 | - |5645 |9376 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
16.59/16.63 o 186
16.59/16.63 c *16.3s| 35277 | 27066 | 0 | 0.0 | 59M|2816 | - |5645 |9066 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
16.79/16.88 o 162
16.79/16.88 c *16.5s| 35644 | 27154 | 0 | 0.0 | 57M|2816 | - |5645 |8906 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.620000e+02 | Inf
17.38/17.48 o 145
17.38/17.48 c *17.1s| 36503 | 27536 | 0 | 0.0 | 57M|2816 | - |5645 |8597 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
17.38/17.48 o 121
17.38/17.48 c *17.1s| 36504 | 27116 | 0 | 0.0 | 55M|2816 | - |5645 |8597 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
17.49/17.53 o 117
17.49/17.53 c *17.2s| 36560 | 27035 | 0 | 0.0 | 55M|2816 | - |5645 |8580 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
18.39/18.40 o 116
18.39/18.40 c *18.0s| 37681 | 28024 | 0 | 0.0 | 57M|2816 | - |5645 |8345 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
19.98/20.09 c 19.7s| 40000 | 30130 | 0 | 0.0 | 60M|2816 | - |5645 |8023 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
21.58/21.68 o 110
21.58/21.68 c *21.2s| 42349 | 32192 | 0 | 0.0 | 63M|2816 | - |5645 |7856 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
21.68/21.72 o 106
21.68/21.72 c *21.3s| 42394 | 32122 | 0 | 0.0 | 63M|2816 | - |5645 |7832 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
21.68/21.72 o 86
21.68/21.72 c *21.3s| 42395 | 31162 | 0 | 0.0 | 62M|2816 | - |5645 |7832 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
25.19/25.26 o 79
25.19/25.26 c *24.8s| 45991 | 33956 | 0 | 0.0 | 70M|2816 | - |5645 |7971 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
28.59/28.64 c 28.1s| 50000 | 37498 | 0 | 0.0 | 77M|2816 | - |5645 |7549 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
30.88/30.92 o 78
30.88/30.92 c *30.4s| 53876 | 40835 | 0 | 0.0 | 83M|2816 | - |5645 |7969 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
32.19/32.26 o 58
32.19/32.26 c *31.7s| 56494 | 41864 | 0 | 0.0 | 81M|2816 | - |5645 |7956 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
33.69/33.76 o 57
33.69/33.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.69/33.76 c *33.1s| 59291 | 44199 | 0 | 0.0 | 85M|2816 | - |5645 |8723 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
34.09/34.14 c 33.5s| 60000 | 44803 | 0 | 0.0 | 86M|2816 | - |5645 |8857 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
39.08/39.11 o 56
39.08/39.11 c *38.4s| 69451 | 52772 | 0 | 0.0 | 96M|2816 | - |5645 |9298 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
39.29/39.38 c 38.6s| 70000 | 53230 | 0 | 0.0 | 96M|2816 | - |5645 |9514 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
44.99/45.07 c 44.2s| 80000 | 61754 | 0 | 0.0 | 105M|2816 | - |5645 |9254 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
49.19/49.28 c 48.3s| 90000 | 70285 | 0 | 0.0 | 114M|2816 | - |5645 |6879 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
54.18/54.23 c 53.2s|100000 | 77705 | 0 | 0.0 | 125M|2816 | - |5645 |7777 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
59.68/59.79 c 58.6s|110000 | 84605 | 0 | 0.0 | 137M|2816 | - |5645 |8387 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
66.08/66.16 c 64.9s|120000 | 90810 | 0 | 0.0 | 149M|2816 | - |5645 |9119 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
72.89/72.91 c 71.6s|130000 | 96662 | 0 | 0.0 | 161M|2816 | - |5645 | 10k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
79.58/79.67 c 78.2s|140000 |102512 | 0 | 0.0 | 173M|2816 | - |5645 | 10k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
86.69/86.79 c 85.3s|150000 |108155 | 0 | 0.0 | 184M|2816 | - |5645 | 11k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
94.18/94.26 c 92.6s|160000 |113546 | 0 | 0.0 | 196M|2816 | - |5645 | 12k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
102.39/102.40 c 101s|170000 |118504 | 0 | 0.0 | 207M|2816 | - |5645 | 12k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
111.59/111.66 c 110s|180000 |122611 | 0 | 0.0 | 218M|2816 | - |5645 | 14k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
122.48/122.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.48/122.58 c 121s|190000 |125483 | 0 | 0.0 | 229M|2816 | - |5645 | 15k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
132.38/132.46 c 130s|200000 |131133 | 0 | 0.0 | 238M|2816 | - |5645 |7251 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
132.79/132.88 o 48
132.79/132.88 c * 131s|200634 |131040 | 0 | 0.0 | 235M|2816 | - |5645 |7160 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
139.79/139.84 c 138s|210000 |139101 | 0 | 0.0 | 250M|2816 | - |5645 |5915 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
141.90/141.94 o 37
141.90/141.94 c * 140s|212134 |139686 | 0 | 0.0 | 247M|2816 | - |5645 |5779 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
144.09/144.16 o 32
144.09/144.16 c * 142s|214620 |140685 | 0 | 0.0 | 249M|2816 | - |5645 |6332 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
150.79/150.82 c 149s|220000 |143626 | 0 | 0.0 | 261M|2816 | - |5645 |7369 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
156.29/156.38 c 154s|230000 |152014 | 0 | 0.0 | 272M|2816 | - |5645 |7502 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
161.89/161.97 o 31
161.89/161.97 c * 159s|236774 |156642 | 0 | 0.0 | 279M|2816 | - |5645 |8385 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
162.70/162.75 o 23
162.70/162.75 c * 160s|237433 |155174 | 0 | 0.0 | 268M|2816 | - |5645 |8951 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
165.09/165.15 o 22
165.09/165.15 c * 163s|239067 |154487 | 0 | 0.0 | 270M|2816 | - |5645 |8947 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
165.68/165.73 c 163s|240000 |155295 | 0 | 0.0 | 270M|2816 | - |5645 |7878 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
171.49/171.55 c 169s|250000 |163737 | 0 | 0.0 | 282M|2816 | - |5645 |7974 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
178.39/178.48 c 176s|260000 |171563 | 0 | 0.0 | 294M|2816 | - |5645 |9348 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
188.39/188.48 c 186s|270000 |177550 | 0 | 0.0 | 306M|2816 | - |5645 |9862 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
196.90/196.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.90/196.91 c 194s|280000 |183473 | 0 | 0.0 | 316M|2816 | - |5645 |8762 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
204.39/204.48 c 201s|290000 |189547 | 0 | 0.0 | 327M|2816 | - |5645 |8462 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
210.19/210.22 c 207s|300000 |197447 | 0 | 0.0 | 339M|2816 | - |5645 |9960 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
217.09/217.14 o 17
217.09/217.14 c * 214s|309875 |203613 | 0 | 0.0 | 344M|2816 | - |5645 |8713 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
217.09/217.15 o 13
217.09/217.15 c * 214s|309876 |202916 | 0 | 0.0 | 339M|2816 | - |5645 |8713 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
217.29/217.32 c 214s|310000 |202965 | 0 | 0.0 | 340M|2816 | - |5645 |8808 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
224.79/224.83 c 222s|320000 |209443 | 0 | 0.0 | 353M|2816 | - |5645 | 12k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
230.08/230.12 c 227s|330000 |217234 | 0 | 0.0 | 362M|2816 | - |5645 |9905 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
237.29/237.31 c 234s|340000 |223568 | 0 | 0.0 | 373M|2816 | - |5645 |9745 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
243.00/243.08 c 239s|350000 |231428 | 0 | 0.0 | 385M|2816 | - |5645 | 12k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
250.80/250.82 c 247s|360000 |237862 | 0 | 0.0 | 396M|2816 | - |5645 | 10k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
256.29/256.32 c 253s|370000 |246001 | 0 | 0.0 | 407M|2816 | - |5645 | 11k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
263.29/263.36 c 259s|380000 |253357 | 0 | 0.0 | 418M|2816 | - |5645 | 12k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
270.69/270.72 o 12
270.69/270.72 c * 267s|387261 |256581 | 0 | 0.0 | 423M|2816 | - |5645 | 16k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
272.09/272.13 c 268s|390000 |258857 | 0 | 0.0 | 424M|2816 | - |5645 | 11k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
277.49/277.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
277.49/277.59 c 274s|400000 |266699 | 0 | 0.0 | 435M|2816 | - |5645 | 13k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
284.29/284.36 c 280s|410000 |273625 | 0 | 0.0 | 445M|2816 | - |5645 | 11k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
289.99/290.07 c 286s|420000 |281598 | 0 | 0.0 | 456M|2816 | - |5645 | 12k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
295.09/295.14 o 10
295.09/295.14 c * 291s|426809 |285626 | 0 | 0.0 | 459M|2816 | - |5645 | 14k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
297.79/297.85 c 294s|430000 |287752 | 0 | 0.0 | 462M|2816 | - |5645 | 14k| 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
306.09/306.11 c 302s|440000 |294051 | 0 | 0.0 | 471M|2816 | - |5645 | 13k| 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
310.99/311.03 c 306s|450000 |302207 | 0 | 0.0 | 481M|2816 | - |5645 | 14k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
317.99/318.03 c 313s|460000 |308993 | 0 | 0.0 | 491M|2816 | - |5645 | 13k| 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
324.69/324.71 c 320s|470000 |316141 | 0 | 0.0 | 502M|2816 | - |5645 | 16k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
330.29/330.38 c 326s|480000 |323949 | 0 | 0.0 | 511M|2816 | - |5645 | 14k| 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
337.49/337.52 c 333s|490000 |330687 | 0 | 0.0 | 521M|2816 | - |5645 | 14k| 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
343.39/343.48 c 338s|500000 |338513 | 0 | 0.0 | 532M|2816 | - |5645 | 13k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
348.79/348.86 c 344s|510000 |345698 | 0 | 0.0 | 540M|2816 | - |5645 | 12k| 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
353.29/353.31 c 348s|520000 |353872 | 0 | 0.0 | 550M|2816 | - |5645 | 12k| 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
358.99/359.02 c 354s|530000 |360990 | 0 | 0.0 | 561M|2816 | - |5645 | 14k| 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
365.49/365.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.49/365.52 c 360s|540000 |367276 | 0 | 0.0 | 569M|2816 | - |5645 | 12k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
371.09/371.18 c 366s|550000 |374332 | 0 | 0.0 | 579M|2816 | - |5645 | 14k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
376.10/376.12 c 370s|560000 |382071 | 0 | 0.0 | 588M|2816 | - |5645 | 13k| 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
381.70/381.72 c 376s|570000 |389227 | 0 | 0.0 | 597M|2816 | - |5645 | 12k| 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
387.40/387.43 c 382s|580000 |396074 | 0 | 0.0 | 606M|2816 | - |5645 | 14k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
391.79/391.82 c 386s|590000 |404289 | 0 | 0.0 | 615M|2816 | - |5645 | 13k| 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
397.59/397.67 c 392s|600000 |411148 | 0 | 0.0 | 624M|2816 | - |5645 | 12k| 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
403.39/403.43 c 397s|610000 |417874 | 0 | 0.0 | 634M|2816 | - |5645 | 15k| 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
407.69/407.79 c 402s|620000 |426190 | 0 | 0.0 | 643M|2816 | - |5645 | 13k| 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
413.29/413.30 c 407s|630000 |433351 | 0 | 0.0 | 652M|2816 | - |5645 | 12k| 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
417.69/417.75 c 411s|640000 |441459 | 0 | 0.0 | 661M|2816 | - |5645 | 12k| 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
423.60/423.64 c 417s|650000 |448420 | 0 | 0.0 | 671M|2816 | - |5645 | 13k| 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
430.29/430.37 c 424s|660000 |454642 | 0 | 0.0 | 681M|2816 | - |5645 | 14k| 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
436.00/436.05 c 429s|670000 |461800 | 0 | 0.0 | 690M|2816 | - |5645 | 13k| 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
441.29/441.39 c 435s|680000 |469086 | 0 | 0.0 | 698M|2816 | - |5645 | 13k| 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
446.40/446.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.40/446.45 c 440s|690000 |476461 | 0 | 0.0 | 704M|2816 | - |5645 |6058 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
450.29/450.32 c 443s|700000 |484707 | 0 | 0.0 | 714M|2816 | - |5645 |4821 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
454.10/454.13 c 447s|710000 |492812 | 0 | 0.0 | 724M|2816 | - |5645 |5095 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
458.29/458.34 c 451s|720000 |500482 | 0 | 0.0 | 733M|2816 | - |5645 |5333 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
465.80/465.88 c 459s|730000 |505359 | 0 | 0.0 | 745M|2816 | - |5645 |7046 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
473.90/473.95 c 467s|740000 |509890 | 0 | 0.0 | 756M|2816 | - |5645 |8127 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
482.30/482.32 c 475s|750000 |514344 | 0 | 0.0 | 766M|2816 | - |5645 |8537 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
491.30/491.35 c 484s|760000 |518235 | 0 | 0.0 | 777M|2816 | - |5645 |9892 | 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
500.60/500.61 c 493s|770000 |522120 | 0 | 0.0 | 786M|2816 | - |5645 |9831 | 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
510.60/510.65 c 503s|780000 |525478 | 0 | 0.0 | 796M|2816 | - |5645 | 11k| 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
520.20/520.21 c 512s|790000 |529409 | 0 | 0.0 | 806M|2816 | - |5645 | 12k| 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
529.69/529.72 c 522s|800000 |533403 | 0 | 0.0 | 816M|2816 | - |5645 | 12k| 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
538.90/538.97 c 531s|810000 |537614 | 0 | 0.0 | 825M|2816 | - |5645 | 10k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
549.00/549.02 c 541s|820000 |540978 | 0 | 0.0 | 834M|2816 | - |5645 | 11k| 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
559.00/559.09 c 551s|830000 |544160 | 0 | 0.0 | 844M|2816 | - |5645 | 11k| 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
570.80/570.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.80/570.87 c 562s|840000 |545394 | 0 | 0.0 | 852M|2816 | - |5645 | 11k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
583.39/583.42 c 575s|850000 |545721 | 0 | 0.0 | 859M|2816 | - |5645 | 11k| 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
596.59/596.60 c 588s|860000 |544960 | 0 | 0.0 | 865M|2816 | - |5645 | 11k| 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
610.51/610.54 c 602s|870000 |543154 | 0 | 0.0 | 869M|2816 | - |5645 | 12k| 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
626.70/626.72 c 618s|880000 |537353 | 0 | 0.0 | 866M|2816 | - |5645 | 14k| 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
640.80/640.87 c 632s|890000 |529501 | 0 | 0.0 | 844M|2816 | - |5645 |6562 | 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
645.90/645.95 c 637s|900000 |537259 | 0 | 0.0 | 856M|2816 | - |5645 |5878 | 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
651.30/651.39 c 642s|910000 |544627 | 0 | 0.0 | 867M|2816 | - |5645 |6233 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
657.10/657.14 c 648s|920000 |551662 | 0 | 0.0 | 879M|2816 | - |5645 |6721 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
663.50/663.54 c 654s|930000 |558234 | 0 | 0.0 | 891M|2816 | - |5645 |7319 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
670.70/670.76 c 661s|940000 |564202 | 0 | 0.0 | 903M|2816 | - |5645 |8283 | 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
679.40/679.42 c 670s|950000 |569128 | 0 | 0.0 | 916M|2816 | - |5645 |9416 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
690.10/690.11 c 680s|960000 |572683 | 0 | 0.0 | 929M|2816 | - |5645 | 10k| 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
705.11/705.14 c 695s|970000 |572928 | 0 | 0.0 | 942M|2816 | - |5645 | 14k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
714.19/714.24 c 704s|980000 |576088 | 0 | 0.0 | 945M|2816 | - |5645 |6956 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
719.80/719.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
719.80/719.83 c 710s|990000 |583408 | 0 | 0.0 | 957M|2816 | - |5645 |7113 | 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
725.91/725.95 c 716s| 1000k|590244 | 0 | 0.0 | 968M|2816 | - |5645 |7997 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
732.61/732.69 c 722s| 1010k|596606 | 0 | 0.0 | 980M|2816 | - |5645 |8663 | 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
740.10/740.14 c 730s| 1020k|602437 | 0 | 0.0 | 992M|2816 | - |5645 |9778 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
748.20/748.21 c 738s| 1030k|607849 | 0 | 0.0 |1004M|2816 | - |5645 | 10k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
757.50/757.52 c 747s| 1040k|612376 | 0 | 0.0 |1015M|2816 | - |5645 | 12k| 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
768.60/768.69 c 758s| 1050k|615742 | 0 | 0.0 |1026M|2816 | - |5645 | 14k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
785.20/785.30 c 774s| 1060k|615335 | 0 | 0.0 |1035M|2816 | - |5645 | 17k| 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
791.40/791.40 c 780s| 1070k|622145 | 0 | 0.0 |1039M|2816 | - |5645 |7294 | 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
796.31/796.30 c 785s| 1080k|629972 | 0 | 0.0 |1049M|2816 | - |5645 |7108 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
801.40/801.40 c 790s| 1090k|637655 | 0 | 0.0 |1059M|2816 | - |5645 |7291 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
806.60/806.69 c 795s| 1100k|645137 | 0 | 0.0 |1069M|2816 | - |5645 |7645 | 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
812.20/812.23 c 801s| 1110k|652376 | 0 | 0.0 |1079M|2816 | - |5645 |8022 | 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
817.91/817.97 c 806s| 1120k|659492 | 0 | 0.0 |1089M|2816 | - |5645 |8654 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
823.70/823.72 c 812s| 1130k|666645 | 0 | 0.0 |1099M|2816 | - |5645 |9081 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
829.90/829.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
829.90/829.90 c 818s| 1140k|673470 | 0 | 0.0 |1109M|2816 | - |5645 |9440 | 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
836.01/836.06 c 824s| 1150k|680287 | 0 | 0.0 |1119M|2816 | - |5645 |9787 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
843.10/843.15 c 831s| 1160k|686430 | 0 | 0.0 |1130M|2816 | - |5645 | 10k| 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
851.10/851.12 c 839s| 1170k|692033 | 0 | 0.0 |1141M|2816 | - |5645 | 10k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
859.50/859.57 c 847s| 1180k|697291 | 0 | 0.0 |1152M|2816 | - |5645 | 11k| 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
868.20/868.24 c 856s| 1190k|702421 | 0 | 0.0 |1163M|2816 | - |5645 | 11k| 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
877.50/877.53 c 865s| 1200k|707116 | 0 | 0.0 |1174M|2816 | - |5645 | 12k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
887.50/887.50 c 875s| 1210k|711302 | 0 | 0.0 |1184M|2816 | - |5645 | 13k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
898.91/898.94 c 886s| 1220k|714568 | 0 | 0.0 |1194M|2816 | - |5645 | 13k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
912.20/912.26 c 899s| 1230k|716704 | 0 | 0.0 |1204M|2816 | - |5645 | 14k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
924.11/924.17 c 911s| 1240k|719396 | 0 | 0.0 |1209M|2816 | - |5645 |9061 | 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
930.40/930.45 c 917s| 1250k|725851 | 0 | 0.0 |1217M|2816 | - |5645 |7655 | 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
935.80/935.84 c 922s| 1260k|733170 | 0 | 0.0 |1226M|2816 | - |5645 |8132 | 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
941.51/941.59 c 928s| 1270k|740285 | 0 | 0.0 |1236M|2816 | - |5645 |8991 | 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
947.71/947.77 c 934s| 1280k|747111 | 0 | 0.0 |1246M|2816 | - |5645 |9831 | 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
954.50/954.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.50/954.52 c 941s| 1290k|753450 | 0 | 0.0 |1257M|2816 | - |5645 |9813 | 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
961.31/961.36 c 948s| 1300k|759649 | 0 | 0.0 |1267M|2816 | - |5645 | 11k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
969.71/969.74 c 956s| 1310k|764770 | 0 | 0.0 |1278M|2816 | - |5645 | 12k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
983.31/983.34 c 969s| 1320k|766516 | 0 | 0.0 |1288M|2816 | - |5645 | 16k| 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
989.40/989.46 c 975s| 1330k|773676 | 0 | 0.0 |1294M|2816 | - |5645 |7978 | 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
994.20/994.23 c 980s| 1340k|781596 | 0 | 0.0 |1304M|2816 | - |5645 |7705 | 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
999.01/999.05 c 985s| 1350k|789360 | 0 | 0.0 |1314M|2816 | - |5645 |7924 | 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1003.90/1003.94 c 989s| 1360k|796988 | 0 | 0.0 |1324M|2816 | - |5645 |8472 | 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1009.21/1009.22 c 995s| 1370k|804339 | 0 | 0.0 |1334M|2816 | - |5645 |8999 | 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1015.21/1015.22 c 1001s| 1380k|811171 | 0 | 0.0 |1344M|2816 | - |5645 |9698 | 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
1020.31/1020.32 o 8
1020.31/1020.32 c *1006s| 1388k|811313 | 0 | 0.0 |1321M|2816 | - |5645 | 10k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1021.81/1021.89 c 1007s| 1390k|812378 | 0 | 0.0 |1324M|2816 | - |5645 | 10k| 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1030.71/1030.75 c 1016s| 1400k|817945 | 0 | 0.0 |1337M|2816 | - |5645 | 10k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1040.31/1040.33 c 1025s| 1410k|822722 | 0 | 0.0 |1349M|2816 | - |5645 | 11k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1050.41/1050.47 c 1035s| 1420k|826757 | 0 | 0.0 |1359M|2816 | - |5645 | 11k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1059.81/1059.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1059.81/1059.88 c 1045s| 1430k|831025 | 0 | 0.0 |1367M|2816 | - |5645 |9295 | 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1067.01/1067.07 c 1052s| 1440k|836565 | 0 | 0.0 |1375M|2816 | - |5645 |8373 | 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1072.81/1072.87 c 1057s| 1450k|843250 | 0 | 0.0 |1383M|2816 | - |5645 |8473 | 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1078.41/1078.49 c 1063s| 1460k|850194 | 0 | 0.0 |1393M|2816 | - |5645 |8906 | 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1084.41/1084.42 c 1069s| 1470k|856973 | 0 | 0.0 |1403M|2816 | - |5645 |9578 | 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1090.81/1090.89 c 1075s| 1480k|863256 | 0 | 0.0 |1413M|2816 | - |5645 | 10k| 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1098.10/1098.14 c 1082s| 1490k|868966 | 0 | 0.0 |1423M|2816 | - |5645 | 11k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1106.61/1106.63 c 1091s| 1500k|873940 | 0 | 0.0 |1433M|2816 | - |5645 | 12k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1116.51/1116.55 c 1100s| 1510k|877820 | 0 | 0.0 |1442M|2816 | - |5645 | 14k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1130.01/1130.01 c 1114s| 1520k|879580 | 0 | 0.0 |1448M|2816 | - |5645 | 11k| 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1134.81/1134.89 c 1118s| 1530k|887506 | 0 | 0.0 |1457M|2816 | - |5645 |8088 | 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1139.91/1139.99 c 1124s| 1540k|895296 | 0 | 0.0 |1467M|2816 | - |5645 |6941 | 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1144.80/1144.85 c 1128s| 1550k|902806 | 0 | 0.0 |1476M|2816 | - |5645 |7386 | 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1149.81/1149.89 c 1133s| 1560k|910098 | 0 | 0.0 |1486M|2816 | - |5645 |7776 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1155.11/1155.19 c 1138s| 1570k|917181 | 0 | 0.0 |1496M|2816 | - |5645 |8247 | 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1160.80/1160.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.80/1160.89 c 1144s| 1580k|923887 | 0 | 0.0 |1506M|2816 | - |5645 |8782 | 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1167.01/1167.02 c 1150s| 1590k|930235 | 0 | 0.0 |1516M|2816 | - |5645 |9190 | 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1173.81/1173.82 c 1157s| 1600k|936042 | 0 | 0.0 |1526M|2816 | - |5645 |9852 | 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1181.81/1181.88 c 1165s| 1610k|940802 | 0 | 0.0 |1535M|2816 | - |5645 | 10k| 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1191.91/1191.93 c 1175s| 1620k|944193 | 0 | 0.0 |1544M|2816 | - |5645 | 12k| 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1201.61/1201.62 c 1184s| 1630k|948151 | 0 | 0.0 |1549M|2816 | - |5645 |7470 | 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1206.21/1206.20 c 1189s| 1640k|956120 | 0 | 0.0 |1559M|2816 | - |5645 |7000 | 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1210.91/1210.92 c 1193s| 1650k|963895 | 0 | 0.0 |1569M|2816 | - |5645 |7527 | 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1216.01/1216.05 c 1198s| 1660k|971300 | 0 | 0.0 |1580M|2816 | - |5645 |7875 | 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1221.31/1221.36 c 1204s| 1670k|978497 | 0 | 0.0 |1590M|2816 | - |5645 |8241 | 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1226.90/1226.95 c 1209s| 1680k|985415 | 0 | 0.0 |1600M|2816 | - |5645 |8700 | 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1232.91/1232.99 c 1215s| 1690k|991945 | 0 | 0.0 |1610M|2816 | - |5645 |9295 | 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1239.51/1239.60 c 1221s| 1700k|998031 | 0 | 0.0 |1620M|2816 | - |5645 |9695 | 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1247.21/1247.22 c 1229s| 1710k| 1003k| 0 | 0.0 |1630M|2816 | - |5645 | 10k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1256.31/1256.37 c 1238s| 1720k| 1007k| 0 | 0.0 |1640M|2816 | - |5645 | 11k| 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1260.31/1260.33 o 6
1260.31/1260.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.31/1260.33 c *1242s| 1723k| 1003k| 0 | 0.0 |1618M|2816 | - |5645 | 12k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1268.22/1268.24 c 1250s| 1730k| 1005k| 0 | 0.0 |1625M|2816 | - |5645 | 12k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1279.11/1279.17 c 1260s| 1740k| 1008k| 0 | 0.0 |1631M|2816 | - |5645 |8148 | 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1283.71/1283.74 c 1265s| 1750k| 1016k| 0 | 0.0 |1641M|2816 | - |5645 |7412 | 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1288.21/1288.27 c 1269s| 1760k| 1024k| 0 | 0.0 |1651M|2816 | - |5645 |7582 | 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1293.01/1293.09 c 1274s| 1770k| 1032k| 0 | 0.0 |1661M|2816 | - |5645 |7643 | 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1298.11/1298.16 c 1279s| 1780k| 1039k| 0 | 0.0 |1671M|2816 | - |5645 |7457 | 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1303.31/1303.37 c 1284s| 1790k| 1047k| 0 | 0.0 |1680M|2816 | - |5645 |6884 | 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1308.31/1308.35 c 1289s| 1800k| 1054k| 0 | 0.0 |1689M|2816 | - |5645 |7251 | 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1313.21/1313.21 c 1294s| 1810k| 1061k| 0 | 0.0 |1698M|2816 | - |5645 |7557 | 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1318.41/1318.45 c 1299s| 1820k| 1068k| 0 | 0.0 |1707M|2816 | - |5645 |7662 | 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1323.61/1323.64 c 1304s| 1830k| 1075k| 0 | 0.0 |1716M|2816 | - |5645 |7768 | 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1328.81/1328.88 c 1309s| 1840k| 1082k| 0 | 0.0 |1725M|2816 | - |5645 |7785 | 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1334.71/1334.76 c 1315s| 1850k| 1089k| 0 | 0.0 |1734M|2816 | - |5645 |8185 | 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1340.61/1340.66 c 1321s| 1860k| 1095k| 0 | 0.0 |1744M|2816 | - |5645 |8059 | 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1347.31/1347.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1347.31/1347.32 c 1327s| 1870k| 1101k| 0 | 0.0 |1753M|2816 | - |5645 |8414 | 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1353.71/1353.74 c 1334s| 1880k| 1107k| 0 | 0.0 |1762M|2816 | - |5645 |8452 | 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1360.51/1360.57 c 1340s| 1890k| 1113k| 0 | 0.0 |1772M|2816 | - |5645 |8798 | 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1367.71/1367.73 c 1347s| 1900k| 1118k| 0 | 0.0 |1781M|2816 | - |5645 |9407 | 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1374.91/1374.95 c 1355s| 1910k| 1123k| 0 | 0.0 |1789M|2816 | - |5645 |9610 | 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1382.51/1382.52 c 1362s| 1920k| 1128k| 0 | 0.0 |1798M|2816 | - |5645 | 10k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1390.91/1390.93 c 1370s| 1930k| 1133k| 0 | 0.0 |1806M|2816 | - |5645 | 10k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1399.71/1399.72 c 1379s| 1940k| 1137k| 0 | 0.0 |1815M|2816 | - |5645 | 11k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1410.81/1410.80 c 1390s| 1950k| 1139k| 0 | 0.0 |1823M|2816 | - |5645 | 12k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1417.21/1417.25 c 1396s| 1960k| 1146k| 0 | 0.0 |1829M|2816 | - |5645 |7416 | 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1421.61/1421.61 c 1401s| 1970k| 1154k| 0 | 0.0 |1839M|2816 | - |5645 |7282 | 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1426.11/1426.11 c 1405s| 1980k| 1161k| 0 | 0.0 |1848M|2816 | - |5645 |7467 | 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1430.81/1430.82 c 1410s| 1990k| 1169k| 0 | 0.0 |1858M|2816 | - |5645 |7919 | 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1436.01/1436.01 c 1415s| 2000k| 1176k| 0 | 0.0 |1867M|2816 | - |5645 |8266 | 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1441.62/1441.64 c 1420s| 2010k| 1182k| 0 | 0.0 |1877M|2816 | - |5645 |8812 | 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1447.52/1447.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.52/1447.51 c 1426s| 2020k| 1189k| 0 | 0.0 |1887M|2816 | - |5645 |9306 | 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1454.12/1454.13 c 1432s| 2030k| 1195k| 0 | 0.0 |1897M|2816 | - |5645 |9671 | 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1462.42/1462.41 c 1441s| 2040k| 1199k| 0 | 0.0 |1907M|2816 | - |5645 | 10k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1472.92/1472.96 c 1451s| 2050k| 1202k| 0 | 0.0 |1916M|2816 | - |5645 | 12k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1482.31/1482.35 c 1460s| 2060k| 1206k| 0 | 0.0 |1922M|2816 | - |5645 |7712 | 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1486.81/1486.89 c 1465s| 2070k| 1214k| 0 | 0.0 |1931M|2816 | - |5645 |7325 | 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1491.62/1491.62 c 1469s| 2080k| 1222k| 0 | 0.0 |1940M|2816 | - |5645 |7791 | 0 | 0 | 0 |1674k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1496.51/1496.50 c 1474s| 2090k| 1229k| 0 | 0.0 |1950M|2816 | - |5645 |8126 | 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1501.71/1501.71 c 1479s| 2100k| 1237k| 0 | 0.0 |1960M|2816 | - |5645 |8271 | 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1506.92/1506.97 c 1484s| 2110k| 1244k| 0 | 0.0 |1970M|2816 | - |5645 |8217 | 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1512.61/1512.69 c 1490s| 2120k| 1250k| 0 | 0.0 |1980M|2816 | - |5645 |8453 | 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1518.62/1518.64 c 1496s| 2130k| 1257k| 0 | 0.0 |1989M|2816 | - |5645 |8603 | 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1524.71/1524.74 c 1502s| 2140k| 1263k| 0 | 0.0 |1999M|2816 | - |5645 |8814 | 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1531.32/1531.37 c 1508s| 2150k| 1269k| 0 | 0.0 |2008M|2816 | - |5645 |8952 | 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1537.52/1537.50 c 1514s| 2160k| 1275k| 0 | 0.0 |2018M|2816 | - |5645 |8856 | 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1544.02/1544.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.02/1544.07 c 1521s| 2170k| 1281k| 0 | 0.0 |2027M|2816 | - |5645 |9099 | 0 | 0 | 0 |1726k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1550.62/1550.63 c 1527s| 2180k| 1287k| 0 | 0.0 |2036M|2816 | - |5645 |9142 | 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1557.12/1557.17 c 1534s| 2190k| 1293k| 0 | 0.0 |2045M|2816 | - |5645 |9553 | 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1563.82/1563.88 c 1540s| 2200k| 1298k| 0 | 0.0 |2054M|2816 | - |5645 |9544 | 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1570.72/1570.71 c 1547s| 2210k| 1304k| 0 | 0.0 |2063M|2816 | - |5645 |9778 | 0 | 0 | 0 |1754k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1578.31/1578.31 c 1555s| 2220k| 1309k| 0 | 0.0 |2072M|2816 | - |5645 | 10k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1586.22/1586.26 c 1562s| 2230k| 1314k| 0 | 0.0 |2081M|2816 | - |5645 | 11k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1595.02/1595.05 c 1571s| 2240k| 1319k| 0 | 0.0 |2091M|2816 | - |5645 | 13k| 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1605.62/1605.65 c 1582s| 2250k| 1322k| 0 | 0.0 |2100M|2816 | - |5645 | 15k| 0 | 0 | 0 |1791k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1620.62/1620.67 c 1597s| 2260k| 1323k| 0 | 0.0 |2106M|2816 | - |5645 | 18k| 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1625.62/1625.70 c 1601s| 2270k| 1331k| 0 | 0.0 |2112M|2816 | - |5645 |8778 | 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1630.62/1630.65 c 1606s| 2280k| 1339k| 0 | 0.0 |2122M|2816 | - |5645 |8535 | 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1635.82/1635.87 c 1611s| 2290k| 1346k| 0 | 0.0 |2131M|2816 | - |5645 |8766 | 0 | 0 | 0 |1818k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1641.12/1641.12 c 1617s| 2300k| 1354k| 0 | 0.0 |2141M|2816 | - |5645 |9396 | 0 | 0 | 0 |1822k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1646.63/1646.67 c 1622s| 2310k| 1361k| 0 | 0.0 |2150M|2816 | - |5645 | 10k| 0 | 0 | 0 |1828k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1652.51/1652.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1652.51/1652.55 c 1628s| 2320k| 1367k| 0 | 0.0 |2160M|2816 | - |5645 |9488 | 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1658.42/1658.46 c 1634s| 2330k| 1374k| 0 | 0.0 |2169M|2816 | - |5645 | 10k| 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1665.32/1665.31 c 1640s| 2340k| 1380k| 0 | 0.0 |2179M|2816 | - |5645 | 11k| 0 | 0 | 0 |1846k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1672.62/1672.63 c 1648s| 2350k| 1385k| 0 | 0.0 |2188M|2816 | - |5645 | 12k| 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1681.42/1681.41 c 1656s| 2360k| 1390k| 0 | 0.0 |2197M|2816 | - |5645 | 13k| 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1692.22/1692.24 c 1667s| 2370k| 1393k| 0 | 0.0 |2205M|2816 | - |5645 | 16k| 0 | 0 | 0 |1875k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1704.01/1704.06 c 1679s| 2380k| 1396k| 0 | 0.0 |2209M|2816 | - |5645 |8746 | 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1708.42/1708.42 c 1683s| 2390k| 1404k| 0 | 0.0 |2218M|2816 | - |5645 |7520 | 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1712.72/1712.76 c 1687s| 2400k| 1412k| 0 | 0.0 |2227M|2816 | - |5645 |7704 | 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1717.22/1717.29 c 1692s| 2410k| 1420k| 0 | 0.0 |2237M|2816 | - |5645 |8090 | 0 | 0 | 0 |1898k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1722.22/1722.21 c 1696s| 2420k| 1427k| 0 | 0.0 |2247M|2816 | - |5645 |8518 | 0 | 0 | 0 |1903k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1727.92/1727.92 c 1702s| 2430k| 1434k| 0 | 0.0 |2257M|2816 | - |5645 |9243 | 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1734.12/1734.16 c 1708s| 2440k| 1440k| 0 | 0.0 |2267M|2816 | - |5645 |9826 | 0 | 0 | 0 |1914k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1741.02/1741.03 c 1715s| 2450k| 1446k| 0 | 0.0 |2276M|2816 | - |5645 | 10k| 0 | 0 | 0 |1921k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1748.42/1748.48 c 1722s| 2460k| 1451k| 0 | 0.0 |2286M|2816 | - |5645 | 11k| 0 | 0 | 0 |1929k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1757.62/1757.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.62/1757.70 c 1731s| 2470k| 1455k| 0 | 0.0 |2295M|2816 | - |5645 | 13k| 0 | 0 | 0 |1940k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1769.62/1769.68 c 1743s| 2480k| 1458k| 0 | 0.0 |2300M|2816 | - |5645 | 10k| 0 | 0 | 0 |1952k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1774.42/1774.47 c 1748s| 2490k| 1466k| 0 | 0.0 |2308M|2816 | - |5645 |8087 | 0 | 0 | 0 |1956k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1779.12/1779.14 c 1753s| 2500k| 1473k| 0 | 0.0 |2317M|2816 | - |5645 |8183 | 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1783.92/1783.99 c 1757s| 2510k| 1481k| 0 | 0.0 |2327M|2816 | - |5645 |8657 | 0 | 0 | 0 |1964k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1789.22/1789.26 c 1762s| 2520k| 1488k| 0 | 0.0 |2336M|2816 | - |5645 |9141 | 0 | 0 | 0 |1969k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1794.72/1794.79 c 1768s| 2530k| 1495k| 0 | 0.0 |2345M|2816 | - |5645 |9797 | 0 | 0 | 0 |1974k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1773.03
1800.02/1800.00 c Solving Nodes : 2538327
1800.02/1800.00 c Primal Bound : +6.00000000000000e+00 (41 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.09 s SATISFIABLE
1800.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/1800.09 v -x1
1800.02/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.09 c Solving Time : 1773.03
1800.02/1800.09 c Original Problem :
1800.02/1800.09 c Problem name : HOME/instance-2693738-1277931241.wbo
1800.02/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.02/1800.09 c Presolved Problem :
1800.02/1800.09 c Problem name : t_HOME/instance-2693738-1277931241.wbo
1800.02/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.09 c Constraints : 5414 initial, 19143 maximal
1800.02/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.09 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.09 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.02/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.09 c root node : - 2574 - - 5148 - - - -
1800.02/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.09 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.09 c indicator : 2707 0 6502597 0 1907223 299 3495584 0 0 0
1800.02/1800.09 c linear : 2707 0 7836115 0 2178519 510970 45693344 0 0 0
1800.02/1800.09 c logicor : 0+ 0 3498533 0 0 73921 1746730 0 0 0
1800.02/1800.09 c countsols : 0 0 0 0 2178541 0 0 0 0 0
1800.02/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.09 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.09 c indicator : 44.90 0.00 19.70 0.00 25.20
1800.02/1800.09 c linear : 464.56 0.00 461.95 0.00 2.61
1800.02/1800.09 c logicor : 204.81 0.00 204.81 0.00 0.00
1800.02/1800.09 c countsols : 0.35 0.00 0.00 0.00 0.35
1800.02/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.09 c vbounds : 1.76 2 0 0
1800.02/1800.09 c rootredcost : 1.70 0 0 0
1800.02/1800.09 c pseudoobj : 402.27 7842300 5761 3438142
1800.02/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.09 c propagation : 34.60 590652 590652 2832093 22.1 237672 11.2 -
1800.02/1800.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.09 c pseudo solution : 0.09 241 241 949 26.3 643 9.6 -
1800.02/1800.09 c applied globally : - - - 1979795 19.6 - - -
1800.02/1800.09 c applied locally : - - - 2 351.5 - - -
1800.02/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.09 c redcost : 0.00 0 0 0 0 0
1800.02/1800.09 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.09 c intobj : 0.00 0 0 0 0 0
1800.02/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.09 c gomory : 0.00 0 0 0 0 0
1800.02/1800.09 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.09 c cmir : 0.00 0 0 0 0 0
1800.02/1800.09 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.09 c clique : 0.00 0 0 0 0 0
1800.02/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.09 c mcf : 0.00 0 0 0 0 0
1800.02/1800.09 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.09 c Pricers : Time Calls Vars
1800.02/1800.09 c problem variables: 0.00 0 0
1800.02/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.09 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.09 c inference : 60.24 2178503 0 0 0 0 4357006
1800.02/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.09 c random : 0.00 0 0 0 0 0 0
1800.02/1800.09 c Primal Heuristics : Time Calls Found
1800.02/1800.09 c LP solutions : 0.00 - 0
1800.02/1800.09 c pseudo solutions : 0.10 - 38
1800.02/1800.09 c oneopt : 0.78 0 0
1800.02/1800.09 c trivial : 0.08 2 2
1800.02/1800.09 c simplerounding : 0.00 0 0
1800.02/1800.09 c zirounding : 0.00 0 0
1800.02/1800.09 c rounding : 0.00 0 0
1800.02/1800.09 c shifting : 0.00 0 0
1800.02/1800.09 c intshifting : 0.00 0 0
1800.02/1800.09 c twoopt : 0.00 0 0
1800.02/1800.09 c fixandinfer : 0.00 0 0
1800.02/1800.09 c feaspump : 0.00 0 0
1800.02/1800.09 c coefdiving : 0.00 0 0
1800.02/1800.09 c pscostdiving : 0.00 0 0
1800.02/1800.09 c fracdiving : 0.00 0 0
1800.02/1800.09 c veclendiving : 0.00 0 0
1800.02/1800.09 c intdiving : 0.00 0 0
1800.02/1800.09 c actconsdiving : 0.00 0 0
1800.02/1800.09 c objpscostdiving : 0.00 0 0
1800.02/1800.09 c rootsoldiving : 0.00 0 0
1800.02/1800.09 c linesearchdiving : 0.00 0 0
1800.02/1800.09 c guideddiving : 0.00 0 0
1800.02/1800.09 c octane : 0.00 0 0
1800.02/1800.09 c rens : 0.00 0 0
1800.02/1800.09 c rins : 0.00 0 0
1800.02/1800.09 c localbranching : 0.00 0 0
1800.02/1800.09 c mutation : 0.00 0 0
1800.02/1800.09 c crossover : 0.00 0 0
1800.02/1800.09 c dins : 0.00 0 0
1800.02/1800.09 c undercover : 0.00 0 0
1800.02/1800.09 c nlp : 0.58 0 0
1800.02/1800.09 c trysol : 0.53 1 1
1800.02/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.09 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.09 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.09 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.09 c (at root node) : - 0 0 0.00 -
1800.02/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.09 c B&B Tree :
1800.02/1800.09 c number of runs : 1
1800.02/1800.09 c nodes : 2538327
1800.02/1800.09 c nodes (total) : 2538327
1800.02/1800.09 c nodes left : 1500614
1800.02/1800.09 c max depth : 2816
1800.02/1800.09 c max depth (total): 2816
1800.02/1800.09 c backtracks : 318318 (12.5%)
1800.02/1800.09 c delayed cutoffs : 294054
1800.02/1800.09 c repropagations : 1361135 (16645058 domain reductions, 231406 cutoffs)
1800.02/1800.09 c avg switch length: 43.95
1800.02/1800.09 c switching time : 482.61
1800.02/1800.09 c Solution :
1800.02/1800.09 c Solutions found : 41 (39 improvements)
1800.02/1800.09 c First Solution : +1.35864000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.02/1800.09 c Primal Bound : +6.00000000000000e+00 (in run 1, after 1723906 nodes, 1241.83 seconds, depth 759, found by <relaxation>)
1800.02/1800.09 c Dual Bound : +0.00000000000000e+00
1800.02/1800.09 c Gap : infinite
1800.02/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.09 c Root Iterations : 0
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693738-1277931241/watcher-2693738-1277931241 -o /tmp/evaluation-result-2693738-1277931241/solver-2693738-1277931241 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693738-1277931241.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: 2.00 2.00 2.05 3/200 16277 /proc/meminfo: memFree=31183848/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=8604 CPUtime=0 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 1636 0 0 0 0 0 0 0 25 0 1 0 134420265 8810496 1558 4089446400 4194304 7136930 140735199126496 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16277/statm: 2151 1558 275 719 0 1430 0 [startup+0.015536 s] /proc/loadavg: 2.00 2.00 2.05 3/200 16277 /proc/meminfo: memFree=31183848/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=11296 CPUtime=0.01 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 2319 0 0 0 1 0 0 0 25 0 1 0 134420265 11567104 2241 4089446400 4194304 7136930 140735199126496 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16277/statm: 2824 2241 275 719 0 2103 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11296 [startup+0.100559 s] /proc/loadavg: 2.00 2.00 2.05 3/200 16277 /proc/meminfo: memFree=31183848/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=33680 CPUtime=0.09 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 7967 0 0 0 9 0 0 0 25 0 1 0 134420265 34488320 7535 4089446400 4194304 7136930 140735199126496 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16277/statm: 8420 7535 323 719 0 7699 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33680 [startup+0.300523 s] /proc/loadavg: 2.00 2.00 2.05 3/200 16277 /proc/meminfo: memFree=31183848/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=36500 CPUtime=0.29 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 9241 0 0 0 27 2 0 0 18 0 1 0 134420265 37376000 8295 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16277/statm: 9125 8295 383 719 0 8404 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36500 [startup+0.700432 s] /proc/loadavg: 2.00 2.00 2.05 3/200 16277 /proc/meminfo: memFree=31183848/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=37640 CPUtime=0.69 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 9516 0 0 0 65 4 0 0 18 0 1 0 134420265 38543360 8570 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 9410 8570 383 719 0 8689 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37640 [startup+1.50032 s] /proc/loadavg: 2.00 2.00 2.05 3/201 16278 /proc/meminfo: memFree=31149360/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=42964 CPUtime=1.49 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 10849 0 0 0 143 6 0 0 19 0 1 0 134420265 43995136 9903 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16277/statm: 10741 9903 390 719 0 10020 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42964 [startup+3.10099 s] /proc/loadavg: 2.00 2.00 2.05 3/201 16278 /proc/meminfo: memFree=31144152/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=46984 CPUtime=3.08 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 11794 0 0 0 299 9 0 0 24 0 1 0 134420265 48111616 10848 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 11746 10848 391 719 0 11025 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 46984 [startup+6.30045 s] /proc/loadavg: 2.00 2.00 2.05 3/201 16278 /proc/meminfo: memFree=31131076/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=60168 CPUtime=6.29 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 15038 0 0 0 612 17 0 0 25 0 1 0 134420265 61612032 14092 4089446400 4194304 7136930 140735199126496 18446744073709551615 4661266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 15042 14092 391 719 0 14321 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 60168 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.05 3/201 16278 /proc/meminfo: memFree=31107644/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=82480 CPUtime=12.68 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 20547 0 0 0 1240 28 0 0 25 0 1 0 134420265 84459520 19601 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 20620 19601 391 719 0 19899 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 82480 [startup+25.501 s] /proc/loadavg: 2.00 2.00 2.05 3/201 16278 /proc/meminfo: memFree=31066100/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=125160 CPUtime=25.48 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 30948 0 0 0 2503 45 0 0 25 0 1 0 134420265 128163840 30002 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 31290 30002 391 719 0 30569 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 125160 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.05 3/201 16279 /proc/meminfo: memFree=31002508/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=193084 CPUtime=51.08 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 46978 0 0 0 5012 96 0 0 25 0 1 0 134420265 197718016 46032 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 48271 46032 391 719 0 47550 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 193084 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.04 3/201 16326 /proc/meminfo: memFree=30925916/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=289368 CPUtime=102.3 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 71161 0 0 0 10061 169 0 0 25 0 1 0 134420265 296312832 70215 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 72342 70215 391 719 0 71621 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 289368 [startup+162.301 s] /proc/loadavg: 2.06 2.02 2.04 3/201 16328 /proc/meminfo: memFree=30821476/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=399184 CPUtime=162.29 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 96896 0 0 0 15982 247 0 0 25 0 1 0 134420265 408764416 95950 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 99796 95950 391 719 0 99075 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 399184 [startup+222.301 s] /proc/loadavg: 2.10 2.03 2.04 3/201 16330 /proc/meminfo: memFree=30720096/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=505944 CPUtime=222.29 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 121727 0 0 0 21901 328 0 0 25 0 1 0 134420265 518086656 120781 4089446400 4194304 7136930 140735199126496 18446744073709551615 4221131 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 126486 120781 391 719 0 125765 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 505944 [startup+282.3 s] /proc/loadavg: 2.04 2.02 2.03 3/201 16332 /proc/meminfo: memFree=30624804/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=603580 CPUtime=282.29 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 145995 0 0 0 27818 411 0 0 25 0 1 0 134420265 618065920 145049 4089446400 4194304 7136930 140735199126496 18446744073709551615 4982335 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 150895 145049 391 719 0 150174 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 603580 [startup+342.301 s] /proc/loadavg: 2.01 2.01 2.03 3/201 16333 /proc/meminfo: memFree=30528772/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=695508 CPUtime=342.3 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 169021 0 0 0 33728 502 0 0 25 0 1 0 134420265 712200192 168075 4089446400 4194304 7136930 140735199126496 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 173877 168075 391 719 0 173156 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 695508 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.02 3/201 16334 /proc/meminfo: memFree=30422208/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=800652 CPUtime=402.29 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 195604 0 0 0 39616 613 0 0 25 0 1 0 134420265 819867648 194658 4089446400 4194304 7136930 140735199126496 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 200163 194658 391 719 0 199442 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 800652 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.02 3/201 16345 /proc/meminfo: memFree=30310504/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=917568 CPUtime=462.3 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 223154 0 0 0 45512 718 0 0 25 0 1 0 134420265 939589632 222208 4089446400 4194304 7136930 140735199126496 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 229392 222208 391 719 0 228671 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 917568 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.01 3/201 16347 /proc/meminfo: memFree=30234672/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=993892 CPUtime=522.29 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 242205 0 0 0 51435 794 0 0 25 0 1 0 134420265 1017745408 241259 4089446400 4194304 7136930 140735199126496 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 248473 241259 391 719 0 247752 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 993892 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/201 16349 /proc/meminfo: memFree=30185016/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=1043096 CPUtime=582.3 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 254391 0 0 0 57375 855 0 0 25 0 1 0 134420265 1068130304 253445 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 260774 253445 391 719 0 260053 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1043096 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/201 16350 /proc/meminfo: memFree=30164980/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=1063104 CPUtime=642.3 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 259267 0 0 0 63317 913 0 0 25 0 1 0 134420265 1088618496 258321 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 265776 258321 391 719 0 265055 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1063104 [startup+702.301 s] ################ # More data... # ################ /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 373449 0 0 0 98788 1442 0 0 25 0 1 0 134420265 1563643904 372503 4089446400 4194304 7136930 140735199126496 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 381749 372503 391 719 0 381028 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 1526996 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 16389 /proc/meminfo: memFree=29641504/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=1596936 CPUtime=1062.31 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 391090 0 0 0 104699 1532 0 0 25 0 1 0 134420265 1635262464 390144 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 399234 390144 391 719 0 398513 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1596936 [startup+1122.3 s] /proc/loadavg: 2.11 2.03 2.01 3/183 16391 /proc/meminfo: memFree=29558000/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=1668940 CPUtime=1122.3 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 409223 0 0 0 110608 1622 0 0 25 0 1 0 134420265 1708994560 408277 4089446400 4194304 7136930 140735199126496 18446744073709551615 4925316 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 417235 408277 391 719 0 416514 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 1668940 [startup+1182.3 s] /proc/loadavg: 2.04 2.02 2.00 3/183 16393 /proc/meminfo: memFree=29460856/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=1756708 CPUtime=1182.31 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 431289 0 0 0 116511 1720 0 0 25 0 1 0 134420265 1798868992 430343 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 439177 430343 391 719 0 438456 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1756708 [startup+1242.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 16394 /proc/meminfo: memFree=29364580/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=1857768 CPUtime=1242.31 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 452604 0 0 0 122412 1819 0 0 25 0 1 0 134420265 1902354432 451658 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 464442 451658 391 719 0 463721 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1857768 [startup+1302.3 s] /proc/loadavg: 2.04 2.03 2.00 3/183 16395 /proc/meminfo: memFree=29280844/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=1932508 CPUtime=1302.31 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 471005 0 0 0 128314 1917 0 0 25 0 1 0 134420265 1978888192 470059 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 483127 470059 391 719 0 482406 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 1932508 [startup+1362.3 s] /proc/loadavg: 2.10 2.05 2.01 3/183 16397 /proc/meminfo: memFree=29182328/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=2019096 CPUtime=1362.31 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 492935 0 0 0 134212 2019 0 0 25 0 1 0 134420265 2067554304 491989 4089446400 4194304 7136930 140735199126496 18446744073709551615 4923944 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 504774 491989 391 719 0 504053 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 2019096 [startup+1422.31 s] /proc/loadavg: 2.04 2.04 2.00 3/183 16399 /proc/meminfo: memFree=29103788/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=2084852 CPUtime=1422.32 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 509646 0 0 0 140125 2107 0 0 25 0 1 0 134420265 2134888448 508700 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 521213 508700 391 719 0 520492 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 2084852 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.00 3/183 16401 /proc/meminfo: memFree=29008884/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=2168488 CPUtime=1482.31 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 530462 0 0 0 146029 2202 0 0 25 0 1 0 134420265 2220531712 529516 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 542122 529516 391 719 0 541401 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 2168488 [startup+1542.3 s] /proc/loadavg: 2.03 2.03 2.00 3/183 16402 /proc/meminfo: memFree=28892396/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=2271984 CPUtime=1542.32 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 556654 0 0 0 151922 2310 0 0 25 0 1 0 134420265 2326511616 555708 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 567996 555708 391 719 0 567275 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2271984 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 16403 /proc/meminfo: memFree=28811000/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=2340768 CPUtime=1602.32 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 574053 0 0 0 157835 2397 0 0 25 0 1 0 134420265 2396946432 573107 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 585192 573107 391 719 0 584471 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2340768 [startup+1662.3 s] /proc/loadavg: 2.06 2.03 2.00 3/183 16405 /proc/meminfo: memFree=28717692/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=2418868 CPUtime=1662.32 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 593697 0 0 0 163746 2486 0 0 25 0 1 0 134420265 2476920832 592751 4089446400 4194304 7136930 140735199126496 18446744073709551615 4978941 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 604717 592751 391 719 0 603996 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 2418868 [startup+1722.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 16407 /proc/meminfo: memFree=28634688/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=2491428 CPUtime=1722.32 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 611943 0 0 0 169656 2576 0 0 25 0 1 0 134420265 2551222272 610997 4089446400 4194304 7136930 140735199126496 18446744073709551615 4923705 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 622857 610997 391 719 0 622136 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 2491428 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 16409 /proc/meminfo: memFree=28547972/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=2562480 CPUtime=1782.32 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 629924 0 0 0 175564 2668 0 0 25 0 1 0 134420265 2623979520 628978 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 640620 628978 391 719 0 639899 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 2562480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.00 3/183 16409 /proc/meminfo: memFree=28516460/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=2589780 CPUtime=1800.02 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 636874 0 0 0 177304 2698 0 0 25 0 1 0 134420265 2651934720 635928 4089446400 4194304 7136930 140735199126496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16277/statm: 647445 635928 391 719 0 646724 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2589780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16277 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.02 2.00 3/184 16410 /proc/meminfo: memFree=28515832/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=2589780 CPUtime=1801.42 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 636896 0 0 0 177444 2698 0 0 25 0 1 0 134420265 2651934720 635950 4089446400 4194304 7136930 140735199126496 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16277/statm: 647445 635950 397 719 0 646724 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 2589780 [startup+1801.81 s] /proc/loadavg: 2.00 2.02 2.00 3/184 16410 /proc/meminfo: memFree=28515832/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=2589780 CPUtime=1801.82 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 636896 0 0 0 177484 2698 0 0 25 0 1 0 134420265 2651934720 635950 4089446400 4194304 7136930 140735199126496 18446744073709551615 6165629 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16277/statm: 647445 635950 397 719 0 646724 0 Current children cumulated CPU time (s) 1801.82 Current children cumulated vsize (KiB) 2589780 [startup+1802 s] /proc/loadavg: 2.00 2.02 2.00 3/184 16410 /proc/meminfo: memFree=28515832/32951124 swapFree=67111528/67111528 [pid=16277] ppid=16275 vsize=2589780 CPUtime=1802.02 /proc/16277/stat : 16277 (pbscip.linux.x8) R 16275 16277 15850 0 -1 4202496 636896 0 0 0 177504 2698 0 0 25 0 1 0 134420265 2651934720 635950 4089446400 4194304 7136930 140735199126496 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16277/statm: 647445 635950 397 719 0 646724 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 2589780 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.12 CPU user time (s): 1775.05 CPU system time (s): 27.0689 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2589780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.05 system time used= 27.0689 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 636896 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= 1419 runsolver used 3.19451 second user time and 6.65399 second system time The end
Begin job on node132 at 2010-06-30 22:54:01 IDJOB=2693738 IDBENCH=79313 IDSOLVER=1206 FILE ID=node132/2693738-1277931241 PBS_JOBID= 11197409 Free space on /tmp= 74140 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.1900564281--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-2693738-1277931241/watcher-2693738-1277931241 -o /tmp/evaluation-result-2693738-1277931241/solver-2693738-1277931241 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693738-1277931241.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 504847a4e43d2b055735d72ea944fa39 RANDOM SEED=516852877 node132.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.810 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.62 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.810 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.810 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.810 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.810 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.74 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.810 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.75 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.810 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.75 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.810 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31184376 kB Buffers: 213708 kB Cached: 1218604 kB SwapCached: 0 kB Active: 730004 kB Inactive: 892580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31184376 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3200 kB Writeback: 0 kB AnonPages: 190056 kB Mapped: 20300 kB Slab: 82572 kB PageTables: 5236 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1654116 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74132 MiB End job on node132 at 2010-06-30 23:24:03