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.14 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559676--soft-0-100-0.wbo |
| MD5SUM | b818ef86615e3f5ee29c4c2fadd6f1fe |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 368.019 |
| 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 | 136843 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136842 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 625 |
| 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-2693680-1277929976.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.10/0.12 o 136842
0.10/0.12 c feasible solution found by trivial heuristic, objective value 1.368420e+05
0.10/0.12 c presolving:
0.10/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.10/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.10/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.18 c presolving (3 rounds):
0.10/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.18 c 2707 implications, 0 cliques
0.10/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.10/0.18 c 2707 constraints of type <indicator>
0.10/0.18 c 2707 constraints of type <linear>
0.10/0.18 c transformed objective value is always integral (scale: 1)
0.10/0.18 c Presolving Time: 0.12
0.10/0.18 c - non default parameters ----------------------------------------------------------------------
0.10/0.18 c # SCIP version 1.2.1.2
0.10/0.18 c
0.10/0.18 c # frequency for displaying node information lines
0.10/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.18 c display/freq = 10000
0.10/0.18 c
0.10/0.18 c # maximal time in seconds to run
0.10/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.18 c limits/time = 1799.98
0.10/0.18 c
0.10/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.18 c limits/memory = 3420
0.10/0.18 c
0.10/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.18 c lp/solvefreq = -1
0.10/0.18 c
0.10/0.18 c # should presolving try to simplify inequalities
0.10/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.18 c constraints/linear/simplifyinequalities = TRUE
0.10/0.18 c
0.10/0.18 c # should presolving try to simplify knapsacks
0.10/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.18 c
0.10/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.18 c separating/rapidlearning/freq = 0
0.10/0.18 c
0.10/0.18 c -----------------------------------------------------------------------------------------------
0.10/0.18 c start solving
0.10/0.18 c
0.10/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.10/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
1.59/1.62 o 451
1.59/1.62 c * 1.5s| 5483 | 5083 | 0 | 0.0 | 23M|2816 | - |5645 |6872 | 0 | 0 | 0 |1463 | 0 | 0.000000e+00 | 4.510000e+02 | Inf
1.59/1.62 o 378
1.59/1.62 c * 1.5s| 5484 | 5082 | 0 | 0.0 | 23M|2816 | - |5645 |6872 | 0 | 0 | 0 |1463 | 0 | 0.000000e+00 | 3.780000e+02 | Inf
1.79/1.89 o 377
1.79/1.89 c * 1.8s| 6113 | 5676 | 0 | 0.0 | 23M|2816 | - |5645 |6984 | 0 | 0 | 0 |1579 | 0 | 0.000000e+00 | 3.770000e+02 | Inf
1.89/1.94 o 376
1.89/1.94 c * 1.8s| 6230 | 5791 | 0 | 0.0 | 24M|2816 | - |5645 |6983 | 0 | 0 | 0 |1579 | 0 | 0.000000e+00 | 3.760000e+02 | Inf
1.89/1.94 o 365
1.89/1.94 c * 1.8s| 6231 | 5786 | 0 | 0.0 | 24M|2816 | - |5645 |6983 | 0 | 0 | 0 |1579 | 0 | 0.000000e+00 | 3.650000e+02 | Inf
1.99/2.00 o 355
1.99/2.00 c * 1.9s| 6367 | 5917 | 0 | 0.0 | 24M|2816 | - |5645 |6991 | 0 | 0 | 0 |1589 | 0 | 0.000000e+00 | 3.550000e+02 | Inf
1.99/2.00 o 322
1.99/2.00 c * 1.9s| 6368 | 5908 | 0 | 0.0 | 24M|2816 | - |5645 |6991 | 0 | 0 | 0 |1589 | 0 | 0.000000e+00 | 3.220000e+02 | Inf
1.99/2.05 o 310
1.99/2.05 c * 1.9s| 6490 | 6018 | 0 | 0.0 | 24M|2816 | - |5645 |7001 | 0 | 0 | 0 |1599 | 0 | 0.000000e+00 | 3.100000e+02 | Inf
2.10/2.20 o 269
2.10/2.20 c * 2.1s| 6824 | 6287 | 0 | 0.0 | 24M|2816 | - |5645 |7055 | 0 | 0 | 0 |1654 | 0 | 0.000000e+00 | 2.690000e+02 | Inf
2.10/2.20 o 256
2.10/2.20 c * 2.1s| 6825 | 6271 | 0 | 0.0 | 24M|2816 | - |5645 |7055 | 0 | 0 | 0 |1654 | 0 | 0.000000e+00 | 2.560000e+02 | Inf
2.20/2.29 o 231
2.20/2.29 c * 2.2s| 7016 | 6419 | 0 | 0.0 | 25M|2816 | - |5645 |7074 | 0 | 0 | 0 |1674 | 0 | 0.000000e+00 | 2.310000e+02 | Inf
2.29/2.33 o 217
2.29/2.33 c * 2.2s| 7117 | 6449 | 0 | 0.0 | 25M|2816 | - |5645 |7099 | 0 | 0 | 0 |1699 | 0 | 0.000000e+00 | 2.170000e+02 | Inf
2.29/2.33 o 204
2.29/2.33 c * 2.2s| 7118 | 6424 | 0 | 0.0 | 25M|2816 | - |5645 |7099 | 0 | 0 | 0 |1699 | 0 | 0.000000e+00 | 2.040000e+02 | Inf
2.39/2.42 o 200
2.39/2.42 c * 2.3s| 7396 | 6679 | 0 | 0.0 | 25M|2816 | - |5645 |7136 | 0 | 0 | 0 |1742 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
2.39/2.42 o 187
2.39/2.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.42 c * 2.3s| 7397 | 6665 | 0 | 0.0 | 25M|2816 | - |5645 |7136 | 0 | 0 | 0 |1742 | 0 | 0.000000e+00 | 1.870000e+02 | Inf
2.39/2.44 o 158
2.39/2.44 c * 2.3s| 7460 | 6611 | 0 | 0.0 | 25M|2816 | - |5645 |7136 | 0 | 0 | 0 |1742 | 0 | 0.000000e+00 | 1.580000e+02 | Inf
2.39/2.44 o 130
2.39/2.44 c * 2.3s| 7461 | 6485 | 0 | 0.0 | 25M|2816 | - |5645 |7136 | 0 | 0 | 0 |1742 | 0 | 0.000000e+00 | 1.300000e+02 | Inf
3.19/3.22 c 3.1s| 10000 | 8702 | 0 | 0.0 | 28M|2816 | - |5645 |7947 | 0 | 0 | 0 |3337 | 0 | 0.000000e+00 | 1.300000e+02 | Inf
6.59/6.63 c 6.4s| 20000 | 16890 | 0 | 0.0 | 39M|2816 | - |5645 |8171 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
11.19/11.20 c 10.9s| 30000 | 23835 | 0 | 0.0 | 51M|2816 | - |5645 | 10k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
14.59/14.65 o 120
14.59/14.65 c *14.3s| 34947 | 27079 | 0 | 0.0 | 59M|2816 | - |5645 |9845 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
14.59/14.66 o 96
14.59/14.66 c *14.3s| 34948 | 26786 | 0 | 0.0 | 58M|2816 | - |5645 |9845 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
14.98/15.02 o 95
14.98/15.02 c *14.6s| 35355 | 27099 | 0 | 0.0 | 60M|2816 | - |5645 |9989 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
14.98/15.02 o 76
14.98/15.02 c *14.6s| 35356 | 26372 | 0 | 0.0 | 59M|2816 | - |5645 |9989 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
17.09/17.16 o 74
17.09/17.16 c *16.8s| 38274 | 28929 | 0 | 0.0 | 64M|2816 | - |5645 |7418 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
17.09/17.19 o 73
17.09/17.19 c *16.8s| 38302 | 28909 | 0 | 0.0 | 64M|2816 | - |5645 |7394 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
17.39/17.45 o 71
17.39/17.45 c *17.0s| 38614 | 29086 | 0 | 0.0 | 64M|2816 | - |5645 |6983 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
17.99/18.09 o 62
17.99/18.09 c *17.7s| 39133 | 29172 | 0 | 0.0 | 65M|2816 | - |5645 |6856 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
18.29/18.31 o 55
18.29/18.31 c *17.9s| 39337 | 29059 | 0 | 0.0 | 65M|2816 | - |5645 |6974 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
18.29/18.34 o 54
18.29/18.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.29/18.34 c *17.9s| 39365 | 29017 | 0 | 0.0 | 65M|2816 | - |5645 |6995 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
18.59/18.66 c 18.2s| 40000 | 29596 | 0 | 0.0 | 66M|2816 | - |5645 |6717 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
18.70/18.75 o 42
18.70/18.75 c *18.3s| 40197 | 29165 | 0 | 0.0 | 64M|2816 | - |5645 |6671 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
18.70/18.75 o 39
18.70/18.75 c *18.3s| 40198 | 29079 | 0 | 0.0 | 64M|2816 | - |5645 |6671 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
19.59/19.61 o 24
19.59/19.61 c *19.1s| 41978 | 29558 | 0 | 0.0 | 63M|2816 | - |5645 |6823 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
21.29/21.37 o 23
21.29/21.37 c *20.9s| 45838 | 32822 | 0 | 0.0 | 69M|2816 | - |5645 |7152 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
21.49/21.52 o 2
21.49/21.52 c *21.0s| 46174 | 32018 | 0 | 0.0 | 67M|2816 | - |5645 |7202 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
23.10/23.19 c 22.6s| 50000 | 35297 | 0 | 0.0 | 74M|2816 | - |5645 |7480 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
27.09/27.14 c 26.5s| 60000 | 43560 | 0 | 0.0 | 88M|2816 | - |5645 |8421 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
30.89/30.95 c 30.2s| 70000 | 51830 | 0 | 0.0 | 100M|2816 | - |5645 |9047 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
34.89/34.97 c 34.1s| 80000 | 59885 | 0 | 0.0 | 110M|2816 | - |5645 |9197 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
39.18/39.25 c 38.3s| 90000 | 67652 | 0 | 0.0 | 120M|2816 | - |5645 |9800 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
43.79/43.86 c 42.8s|100000 | 75130 | 0 | 0.0 | 131M|2816 | - |5645 | 10k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
48.69/48.77 c 47.7s|110000 | 82391 | 0 | 0.0 | 142M|2816 | - |5645 | 10k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
53.80/53.86 c 52.6s|120000 | 89500 | 0 | 0.0 | 153M|2816 | - |5645 | 11k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
59.08/59.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.08/59.10 c 57.8s|130000 | 96534 | 0 | 0.0 | 164M|2816 | - |5645 | 12k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
64.29/64.37 c 63.0s|140000 |103544 | 0 | 0.0 | 174M|2816 | - |5645 | 12k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
69.99/70.09 c 68.6s|150000 |110224 | 0 | 0.0 | 185M|2816 | - |5645 | 13k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
75.69/75.80 c 74.2s|160000 |116879 | 0 | 0.0 | 196M|2816 | - |5645 | 13k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
81.59/81.65 c 79.9s|170000 |123508 | 0 | 0.0 | 206M|2816 | - |5645 | 14k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
87.99/88.01 c 86.2s|180000 |129857 | 0 | 0.0 | 216M|2816 | - |5645 | 15k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
94.99/95.00 c 93.1s|190000 |135777 | 0 | 0.0 | 227M|2816 | - |5645 | 15k| 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
102.49/102.59 c 101s|200000 |141331 | 0 | 0.0 | 237M|2816 | - |5645 | 16k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
111.89/111.92 c 110s|210000 |144741 | 0 | 0.0 | 247M|2816 | - |5645 | 17k| 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
122.00/122.05 c 120s|220000 |146621 | 0 | 0.0 | 250M|2816 | - |5645 | 10k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
128.99/129.08 c 127s|230000 |153402 | 0 | 0.0 | 262M|2816 | - |5645 | 14k| 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
136.50/136.58 c 134s|240000 |160786 | 0 | 0.0 | 289M|2816 | - |5645 |9318 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
144.79/144.84 c 142s|250000 |168285 | 0 | 0.0 | 314M|2816 | - |5645 | 11k| 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
158.80/158.83 c 156s|260000 |173127 | 0 | 0.0 | 344M|2816 | - |5645 | 13k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
167.69/167.78 c 165s|270000 |180818 | 0 | 0.0 | 418M|2816 | - |5645 | 13k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
174.39/174.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.39/174.43 c 171s|280000 |188197 | 0 | 0.0 | 442M|2816 | - |5645 |8270 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
179.49/179.54 c 176s|290000 |194829 | 0 | 0.0 | 451M|2816 | - |5645 |8373 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
183.60/183.66 c 180s|300000 |202510 | 0 | 0.0 | 461M|2816 | - |5645 |9154 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
188.00/188.01 c 185s|310000 |209909 | 0 | 0.0 | 470M|2816 | - |5645 |8164 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
192.90/192.92 c 189s|320000 |216754 | 0 | 0.0 | 479M|2816 | - |5645 |8402 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
197.20/197.28 c 194s|330000 |224168 | 0 | 0.0 | 489M|2816 | - |5645 |9360 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
201.60/201.65 c 198s|340000 |231530 | 0 | 0.0 | 498M|2816 | - |5645 |8362 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
206.29/206.36 c 202s|350000 |238492 | 0 | 0.0 | 507M|2816 | - |5645 |8319 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
210.49/210.54 c 207s|360000 |246108 | 0 | 0.0 | 517M|2816 | - |5645 |8578 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
214.90/214.99 c 211s|370000 |253418 | 0 | 0.0 | 527M|2816 | - |5645 |8527 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
219.90/219.93 c 216s|380000 |260236 | 0 | 0.0 | 537M|2816 | - |5645 |9653 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
224.69/224.78 c 220s|390000 |267204 | 0 | 0.0 | 546M|2816 | - |5645 |8614 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
229.50/229.53 c 225s|400000 |274119 | 0 | 0.0 | 556M|2816 | - |5645 |8564 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
234.10/234.18 c 230s|410000 |281051 | 0 | 0.0 | 567M|2816 | - |5645 | 10k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
238.09/238.13 c 233s|420000 |288918 | 0 | 0.0 | 576M|2816 | - |5645 |9151 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
242.59/242.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.59/242.69 c 238s|430000 |296070 | 0 | 0.0 | 585M|2816 | - |5645 |8511 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
247.40/247.46 c 243s|440000 |302973 | 0 | 0.0 | 595M|2816 | - |5645 |8561 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
251.69/251.73 c 247s|450000 |310420 | 0 | 0.0 | 605M|2816 | - |5645 |9111 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
256.20/256.29 c 251s|460000 |317510 | 0 | 0.0 | 614M|2816 | - |5645 |9363 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
260.70/260.79 c 256s|470000 |324755 | 0 | 0.0 | 623M|2816 | - |5645 |8828 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
265.60/265.60 c 260s|480000 |331678 | 0 | 0.0 | 633M|2816 | - |5645 |8342 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
269.29/269.33 c 264s|490000 |339674 | 0 | 0.0 | 642M|2816 | - |5645 |8770 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
275.10/275.17 c 270s|500000 |345489 | 0 | 0.0 | 653M|2816 | - |5645 | 11k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
279.00/279.00 c 273s|510000 |353538 | 0 | 0.0 | 661M|2816 | - |5645 |8421 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
282.99/283.06 c 277s|520000 |361245 | 0 | 0.0 | 671M|2816 | - |5645 |8792 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
287.90/287.98 c 282s|530000 |368002 | 0 | 0.0 | 681M|2816 | - |5645 |9628 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
293.89/293.94 c 288s|540000 |373741 | 0 | 0.0 | 691M|2816 | - |5645 | 10k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
298.00/298.04 c 292s|550000 |381374 | 0 | 0.0 | 700M|2816 | - |5645 |9728 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
302.60/302.69 c 297s|560000 |388432 | 0 | 0.0 | 709M|2816 | - |5645 |8845 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
307.19/307.20 c 301s|570000 |395598 | 0 | 0.0 | 719M|2816 | - |5645 |8708 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
311.89/311.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.89/311.96 c 306s|580000 |402419 | 0 | 0.0 | 729M|2816 | - |5645 |9063 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
316.59/316.66 c 310s|590000 |409230 | 0 | 0.0 | 738M|2816 | - |5645 | 10k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
320.50/320.51 c 314s|600000 |417117 | 0 | 0.0 | 747M|2816 | - |5645 |9014 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
325.20/325.22 c 319s|610000 |423975 | 0 | 0.0 | 756M|2816 | - |5645 |9981 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
329.59/329.66 c 323s|620000 |431147 | 0 | 0.0 | 765M|2816 | - |5645 |9287 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
335.50/335.51 c 329s|630000 |437256 | 0 | 0.0 | 775M|2816 | - |5645 |9136 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
341.39/341.41 c 334s|640000 |443457 | 0 | 0.0 | 786M|2816 | - |5645 | 10k| 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
347.40/347.45 c 340s|650000 |449539 | 0 | 0.0 | 796M|2816 | - |5645 | 10k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
353.90/353.93 c 347s|660000 |455405 | 0 | 0.0 | 807M|2816 | - |5645 | 10k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
360.40/360.49 c 353s|670000 |461116 | 0 | 0.0 | 818M|2816 | - |5645 | 10k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
367.10/367.19 c 360s|680000 |466723 | 0 | 0.0 | 829M|2816 | - |5645 | 11k| 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
374.10/374.17 c 367s|690000 |472156 | 0 | 0.0 | 839M|2816 | - |5645 | 11k| 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
381.20/381.27 c 374s|700000 |477516 | 0 | 0.0 | 850M|2816 | - |5645 | 11k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
387.99/388.08 c 380s|710000 |483135 | 0 | 0.0 | 861M|2816 | - |5645 | 11k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
395.30/395.35 c 387s|720000 |488331 | 0 | 0.0 | 871M|2816 | - |5645 | 12k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
402.79/402.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.79/402.87 c 395s|730000 |493386 | 0 | 0.0 | 882M|2816 | - |5645 | 12k| 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
409.99/410.07 c 402s|740000 |498745 | 0 | 0.0 | 892M|2816 | - |5645 | 12k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
417.40/417.43 c 409s|750000 |503859 | 0 | 0.0 | 903M|2816 | - |5645 | 13k| 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
425.10/425.11 c 417s|760000 |508808 | 0 | 0.0 | 913M|2816 | - |5645 | 12k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
431.90/431.95 c 423s|770000 |514371 | 0 | 0.0 | 924M|2816 | - |5645 | 13k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
440.20/440.26 c 432s|780000 |518761 | 0 | 0.0 | 934M|2816 | - |5645 | 13k| 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
448.00/448.02 c 439s|790000 |523739 | 0 | 0.0 | 944M|2816 | - |5645 | 13k| 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
456.10/456.14 c 447s|800000 |528402 | 0 | 0.0 | 955M|2816 | - |5645 | 14k| 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
464.80/464.81 c 456s|810000 |532724 | 0 | 0.0 | 964M|2816 | - |5645 | 13k| 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
472.90/472.91 c 464s|820000 |537478 | 0 | 0.0 | 975M|2816 | - |5645 | 14k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
482.31/482.34 c 473s|830000 |541297 | 0 | 0.0 | 985M|2816 | - |5645 | 15k| 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
490.70/490.75 c 481s|840000 |546015 | 0 | 0.0 | 996M|2816 | - |5645 | 14k| 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
500.20/500.28 c 491s|850000 |549699 | 0 | 0.0 |1006M|2816 | - |5645 | 15k| 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
509.80/509.85 c 500s|860000 |553379 | 0 | 0.0 |1015M|2816 | - |5645 | 15k| 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
518.21/518.28 c 508s|870000 |557964 | 0 | 0.0 |1026M|2816 | - |5645 | 15k| 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
527.80/527.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
527.80/527.82 c 518s|880000 |561645 | 0 | 0.0 |1035M|2816 | - |5645 | 15k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
536.60/536.61 c 527s|890000 |565998 | 0 | 0.0 |1046M|2816 | - |5645 | 15k| 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
546.71/546.76 c 537s|900000 |569295 | 0 | 0.0 |1056M|2816 | - |5645 | 16k| 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
556.70/556.74 c 546s|910000 |572695 | 0 | 0.0 |1065M|2816 | - |5645 | 16k| 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
566.10/566.11 c 556s|920000 |576557 | 0 | 0.0 |1076M|2816 | - |5645 | 16k| 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
577.30/577.30 c 567s|930000 |579199 | 0 | 0.0 |1085M|2816 | - |5645 | 16k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
588.60/588.65 c 578s|940000 |581446 | 0 | 0.0 |1094M|2816 | - |5645 | 16k| 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
600.10/600.10 c 589s|950000 |583442 | 0 | 0.0 |1102M|2816 | - |5645 | 17k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
611.80/611.82 c 601s|960000 |585079 | 0 | 0.0 |1110M|2816 | - |5645 | 17k| 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
623.90/623.99 c 613s|970000 |586299 | 0 | 0.0 |1118M|2816 | - |5645 | 17k| 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
637.31/637.39 c 626s|980000 |586478 | 0 | 0.0 |1125M|2816 | - |5645 | 17k| 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
651.51/651.54 c 640s|990000 |585872 | 0 | 0.0 |1130M|2816 | - |5645 | 18k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
666.10/666.18 c 655s| 1000k|584548 | 0 | 0.0 |1135M|2816 | - |5645 | 18k| 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
681.60/681.66 c 670s| 1010k|583223 | 0 | 0.0 |1138M|2816 | - |5645 | 19k| 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
698.52/698.55 c 687s| 1020k|581334 | 0 | 0.0 |1139M|2816 | - |5645 | 19k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
716.30/716.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.30/716.33 c 704s| 1030k|579434 | 0 | 0.0 |1134M|2816 | - |5645 | 13k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
720.61/720.67 c 708s| 1040k|587332 | 0 | 0.0 |1142M|2816 | - |5645 |8104 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
724.60/724.66 c 712s| 1050k|595113 | 0 | 0.0 |1152M|2816 | - |5645 |8395 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
728.91/728.97 c 717s| 1060k|602642 | 0 | 0.0 |1161M|2816 | - |5645 |8917 | 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
733.51/733.60 c 721s| 1070k|609887 | 0 | 0.0 |1171M|2816 | - |5645 |9183 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
738.50/738.60 c 726s| 1080k|616825 | 0 | 0.0 |1181M|2816 | - |5645 |9785 | 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
745.00/745.03 c 732s| 1090k|622692 | 0 | 0.0 |1192M|2816 | - |5645 | 11k| 0 | 0 | 0 | 897k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
752.10/752.17 c 739s| 1100k|627961 | 0 | 0.0 |1203M|2816 | - |5645 | 12k| 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
760.61/760.64 c 748s| 1110k|632332 | 0 | 0.0 |1214M|2816 | - |5645 | 13k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
770.71/770.70 c 758s| 1120k|635555 | 0 | 0.0 |1224M|2816 | - |5645 | 15k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
780.80/780.83 c 768s| 1130k|639497 | 0 | 0.0 |1229M|2816 | - |5645 |8450 | 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
784.91/784.96 c 772s| 1140k|647320 | 0 | 0.0 |1238M|2816 | - |5645 |6087 | 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
789.00/789.06 c 776s| 1150k|655018 | 0 | 0.0 |1248M|2816 | - |5645 |6260 | 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
793.50/793.50 c 780s| 1160k|662430 | 0 | 0.0 |1258M|2816 | - |5645 |6498 | 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
798.31/798.31 c 785s| 1170k|669502 | 0 | 0.0 |1268M|2816 | - |5645 |6984 | 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
803.20/803.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.20/803.26 c 789s| 1180k|676508 | 0 | 0.0 |1278M|2816 | - |5645 |7586 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
808.41/808.50 c 795s| 1190k|683345 | 0 | 0.0 |1288M|2816 | - |5645 |7939 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
813.31/813.31 c 799s| 1200k|690440 | 0 | 0.0 |1298M|2816 | - |5645 |7985 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
818.91/818.91 c 805s| 1210k|696897 | 0 | 0.0 |1307M|2816 | - |5645 |8548 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
824.71/824.73 c 810s| 1220k|703232 | 0 | 0.0 |1318M|2816 | - |5645 |9263 | 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
831.51/831.58 c 817s| 1230k|708791 | 0 | 0.0 |1328M|2816 | - |5645 | 10k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
838.91/838.95 c 824s| 1240k|714002 | 0 | 0.0 |1338M|2816 | - |5645 | 11k| 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
846.71/846.78 c 832s| 1250k|718978 | 0 | 0.0 |1348M|2816 | - |5645 | 11k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
855.11/855.11 c 840s| 1260k|723628 | 0 | 0.0 |1358M|2816 | - |5645 | 12k| 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
864.21/864.30 c 849s| 1270k|727708 | 0 | 0.0 |1367M|2816 | - |5645 | 13k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
875.01/875.06 c 860s| 1280k|730926 | 0 | 0.0 |1375M|2816 | - |5645 | 15k| 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
888.72/888.78 c 873s| 1290k|732341 | 0 | 0.0 |1381M|2816 | - |5645 | 18k| 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
896.01/896.02 c 881s| 1300k|738777 | 0 | 0.0 |1385M|2816 | - |5645 |8089 | 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
900.31/900.37 c 885s| 1310k|746422 | 0 | 0.0 |1394M|2816 | - |5645 |7137 | 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
905.01/905.02 c 889s| 1320k|753688 | 0 | 0.0 |1404M|2816 | - |5645 |7546 | 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
910.22/910.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
910.22/910.25 c 894s| 1330k|760449 | 0 | 0.0 |1414M|2816 | - |5645 |8030 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
915.91/915.95 c 900s| 1340k|766820 | 0 | 0.0 |1424M|2816 | - |5645 |9018 | 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
922.31/922.35 c 906s| 1350k|772652 | 0 | 0.0 |1434M|2816 | - |5645 |9937 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
929.42/929.44 c 913s| 1360k|777926 | 0 | 0.0 |1443M|2816 | - |5645 | 11k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
937.51/937.58 c 921s| 1370k|782464 | 0 | 0.0 |1453M|2816 | - |5645 | 12k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
947.81/947.80 c 931s| 1380k|785610 | 0 | 0.0 |1460M|2816 | - |5645 | 14k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
957.51/957.51 c 941s| 1390k|789901 | 0 | 0.0 |1463M|2816 | - |5645 | 14k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
962.31/962.34 c 946s| 1400k|797666 | 0 | 0.0 |1472M|2816 | - |5645 |9814 | 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
967.11/967.13 c 950s| 1410k|805043 | 0 | 0.0 |1481M|2816 | - |5645 |9372 | 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
972.01/972.05 c 955s| 1420k|812206 | 0 | 0.0 |1491M|2816 | - |5645 |9734 | 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
977.31/977.37 c 960s| 1430k|819092 | 0 | 0.0 |1501M|2816 | - |5645 | 10k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
983.11/983.14 c 966s| 1440k|825624 | 0 | 0.0 |1511M|2816 | - |5645 | 11k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
989.71/989.71 c 972s| 1450k|831589 | 0 | 0.0 |1521M|2816 | - |5645 | 12k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
997.21/997.22 c 980s| 1460k|836853 | 0 | 0.0 |1531M|2816 | - |5645 | 14k| 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1006.01/1006.05 c 988s| 1470k|841302 | 0 | 0.0 |1541M|2816 | - |5645 | 15k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1016.91/1016.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1016.91/1016.98 c 999s| 1480k|844543 | 0 | 0.0 |1549M|2816 | - |5645 | 17k| 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1027.22/1027.20 c 1009s| 1490k|848932 | 0 | 0.0 |1556M|2816 | - |5645 | 14k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1032.22/1032.21 c 1014s| 1500k|856637 | 0 | 0.0 |1564M|2816 | - |5645 | 10k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1037.02/1037.09 c 1019s| 1510k|864058 | 0 | 0.0 |1573M|2816 | - |5645 |9832 | 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1042.32/1042.30 c 1024s| 1520k|871088 | 0 | 0.0 |1584M|2816 | - |5645 | 10k| 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1048.02/1048.08 c 1030s| 1530k|877709 | 0 | 0.0 |1594M|2816 | - |5645 | 11k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1054.52/1054.58 c 1036s| 1540k|883805 | 0 | 0.0 |1604M|2816 | - |5645 | 12k| 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1061.62/1061.67 c 1043s| 1550k|889502 | 0 | 0.0 |1615M|2816 | - |5645 | 13k| 0 | 0 | 0 |1213k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1070.01/1070.01 c 1051s| 1560k|894281 | 0 | 0.0 |1625M|2816 | - |5645 | 15k| 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1080.01/1080.08 c 1061s| 1570k|898063 | 0 | 0.0 |1634M|2816 | - |5645 | 17k| 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1091.91/1091.93 c 1073s| 1580k|901061 | 0 | 0.0 |1642M|2816 | - |5645 | 19k| 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1098.61/1098.62 c 1080s| 1590k|908092 | 0 | 0.0 |1648M|2816 | - |5645 | 11k| 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1103.42/1103.45 c 1084s| 1600k|915748 | 0 | 0.0 |1657M|2816 | - |5645 |9818 | 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1108.42/1108.46 c 1089s| 1610k|923029 | 0 | 0.0 |1666M|2816 | - |5645 |9895 | 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1113.92/1113.97 c 1095s| 1620k|929839 | 0 | 0.0 |1676M|2816 | - |5645 | 10k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1119.72/1119.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1119.72/1119.73 c 1100s| 1630k|936436 | 0 | 0.0 |1687M|2816 | - |5645 | 11k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1126.52/1126.56 c 1107s| 1640k|942231 | 0 | 0.0 |1697M|2816 | - |5645 | 12k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1134.32/1134.36 c 1115s| 1650k|947335 | 0 | 0.0 |1708M|2816 | - |5645 | 13k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1143.11/1143.12 c 1123s| 1660k|951876 | 0 | 0.0 |1718M|2816 | - |5645 | 15k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1154.11/1154.14 c 1134s| 1670k|955046 | 0 | 0.0 |1728M|2816 | - |5645 | 19k| 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1164.31/1164.31 c 1144s| 1680k|959539 | 0 | 0.0 |1735M|2816 | - |5645 | 15k| 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1169.81/1169.82 c 1149s| 1690k|967032 | 0 | 0.0 |1743M|2816 | - |5645 | 10k| 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1175.02/1175.04 c 1155s| 1700k|974274 | 0 | 0.0 |1753M|2816 | - |5645 | 10k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1180.52/1180.53 c 1160s| 1710k|981191 | 0 | 0.0 |1763M|2816 | - |5645 | 11k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1186.52/1186.58 c 1166s| 1720k|987772 | 0 | 0.0 |1774M|2816 | - |5645 | 12k| 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1193.32/1193.38 c 1173s| 1730k|993743 | 0 | 0.0 |1785M|2816 | - |5645 | 13k| 0 | 0 | 0 |1335k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1200.82/1200.87 c 1180s| 1740k|999218 | 0 | 0.0 |1795M|2816 | - |5645 | 14k| 0 | 0 | 0 |1342k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1209.62/1209.60 c 1188s| 1750k| 1003k| 0 | 0.0 |1806M|2816 | - |5645 | 15k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1220.02/1220.01 c 1199s| 1760k| 1007k| 0 | 0.0 |1815M|2816 | - |5645 | 17k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1232.02/1232.05 c 1211s| 1770k| 1010k| 0 | 0.0 |1823M|2816 | - |5645 | 18k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1237.72/1237.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1237.72/1237.79 c 1216s| 1780k| 1018k| 0 | 0.0 |1831M|2816 | - |5645 | 12k| 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1243.12/1243.14 c 1221s| 1790k| 1025k| 0 | 0.0 |1840M|2816 | - |5645 | 10k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1248.82/1248.85 c 1227s| 1800k| 1032k| 0 | 0.0 |1851M|2816 | - |5645 | 11k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1255.02/1255.06 c 1233s| 1810k| 1038k| 0 | 0.0 |1861M|2816 | - |5645 | 12k| 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1262.12/1262.18 c 1240s| 1820k| 1044k| 0 | 0.0 |1873M|2816 | - |5645 | 14k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1270.32/1270.39 c 1248s| 1830k| 1049k| 0 | 0.0 |1884M|2816 | - |5645 | 15k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1280.11/1280.18 c 1258s| 1840k| 1053k| 0 | 0.0 |1894M|2816 | - |5645 | 17k| 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1292.62/1292.61 c 1270s| 1850k| 1056k| 0 | 0.0 |1904M|2816 | - |5645 | 20k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1302.22/1302.30 c 1280s| 1860k| 1061k| 0 | 0.0 |1910M|2816 | - |5645 | 15k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1307.92/1307.95 c 1285s| 1870k| 1068k| 0 | 0.0 |1919M|2816 | - |5645 | 11k| 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1313.62/1313.62 c 1291s| 1880k| 1075k| 0 | 0.0 |1929M|2816 | - |5645 | 11k| 0 | 0 | 0 |1445k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1319.92/1319.98 c 1297s| 1890k| 1082k| 0 | 0.0 |1940M|2816 | - |5645 | 12k| 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1326.62/1326.64 c 1303s| 1900k| 1088k| 0 | 0.0 |1951M|2816 | - |5645 | 13k| 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1334.12/1334.17 c 1311s| 1910k| 1094k| 0 | 0.0 |1962M|2816 | - |5645 | 14k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1341.82/1341.82 c 1318s| 1920k| 1099k| 0 | 0.0 |1972M|2816 | - |5645 | 15k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1349.82/1349.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1349.82/1349.87 c 1326s| 1930k| 1105k| 0 | 0.0 |1982M|2816 | - |5645 | 15k| 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1358.22/1358.21 c 1335s| 1940k| 1110k| 0 | 0.0 |1992M|2816 | - |5645 | 15k| 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1366.12/1366.16 c 1342s| 1950k| 1116k| 0 | 0.0 |2002M|2816 | - |5645 | 15k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1374.03/1374.01 c 1350s| 1960k| 1121k| 0 | 0.0 |2012M|2816 | - |5645 | 15k| 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1381.42/1381.47 c 1357s| 1970k| 1127k| 0 | 0.0 |2022M|2816 | - |5645 | 14k| 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1388.72/1388.72 c 1364s| 1980k| 1133k| 0 | 0.0 |2032M|2816 | - |5645 | 14k| 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1395.92/1395.93 c 1372s| 1990k| 1139k| 0 | 0.0 |2043M|2816 | - |5645 | 14k| 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1403.32/1403.35 c 1379s| 2000k| 1145k| 0 | 0.0 |2053M|2816 | - |5645 | 13k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1410.83/1410.87 c 1386s| 2010k| 1151k| 0 | 0.0 |2063M|2816 | - |5645 | 13k| 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1418.52/1418.54 c 1394s| 2020k| 1157k| 0 | 0.0 |2074M|2816 | - |5645 | 14k| 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1426.63/1426.67 c 1402s| 2030k| 1162k| 0 | 0.0 |2084M|2816 | - |5645 | 15k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1435.32/1435.31 c 1410s| 2040k| 1167k| 0 | 0.0 |2094M|2816 | - |5645 | 16k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1444.03/1444.08 c 1419s| 2050k| 1172k| 0 | 0.0 |2104M|2816 | - |5645 | 17k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1452.82/1452.87 c 1428s| 2060k| 1177k| 0 | 0.0 |2114M|2816 | - |5645 | 18k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1462.62/1462.68 c 1437s| 2070k| 1182k| 0 | 0.0 |2125M|2816 | - |5645 | 21k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1474.72/1474.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.72/1474.79 c 1449s| 2080k| 1185k| 0 | 0.0 |2135M|2816 | - |5645 | 23k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1485.92/1485.94 c 1460s| 2090k| 1190k| 0 | 0.0 |2142M|2816 | - |5645 | 21k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1491.63/1491.63 c 1466s| 2100k| 1198k| 0 | 0.0 |2149M|2816 | - |5645 | 13k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1496.53/1496.51 c 1471s| 2110k| 1206k| 0 | 0.0 |2158M|2816 | - |5645 | 11k| 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1501.22/1501.28 c 1475s| 2120k| 1213k| 0 | 0.0 |2167M|2816 | - |5645 | 11k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1506.43/1506.45 c 1480s| 2130k| 1220k| 0 | 0.0 |2176M|2816 | - |5645 | 11k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1511.82/1511.85 c 1486s| 2140k| 1227k| 0 | 0.0 |2185M|2816 | - |5645 | 12k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1518.03/1518.04 c 1492s| 2150k| 1233k| 0 | 0.0 |2195M|2816 | - |5645 | 13k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1526.62/1526.62 c 1500s| 2160k| 1238k| 0 | 0.0 |2207M|2816 | - |5645 | 15k| 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1536.83/1536.80 c 1510s| 2170k| 1242k| 0 | 0.0 |2218M|2816 | - |5645 | 18k| 0 | 0 | 0 |1650k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1548.23/1548.22 c 1521s| 2180k| 1246k| 0 | 0.0 |2226M|2816 | - |5645 | 19k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1553.63/1553.65 c 1527s| 2190k| 1253k| 0 | 0.0 |2232M|2816 | - |5645 | 12k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1558.63/1558.63 c 1532s| 2200k| 1261k| 0 | 0.0 |2241M|2816 | - |5645 | 11k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1563.82/1563.80 c 1537s| 2210k| 1268k| 0 | 0.0 |2250M|2816 | - |5645 | 12k| 0 | 0 | 0 |1674k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1569.32/1569.35 c 1542s| 2220k| 1275k| 0 | 0.0 |2259M|2816 | - |5645 | 13k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1575.93/1575.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.93/1575.95 c 1549s| 2230k| 1281k| 0 | 0.0 |2270M|2816 | - |5645 | 14k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1584.12/1584.10 c 1557s| 2240k| 1286k| 0 | 0.0 |2281M|2816 | - |5645 | 16k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1593.83/1593.88 c 1566s| 2250k| 1290k| 0 | 0.0 |2293M|2816 | - |5645 | 19k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1606.23/1606.26 c 1578s| 2260k| 1293k| 0 | 0.0 |2303M|2816 | - |5645 | 23k| 0 | 0 | 0 |1716k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1614.93/1614.90 c 1587s| 2270k| 1299k| 0 | 0.0 |2309M|2816 | - |5645 | 15k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1620.33/1620.37 c 1592s| 2280k| 1307k| 0 | 0.0 |2318M|2816 | - |5645 | 12k| 0 | 0 | 0 |1726k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1626.03/1626.00 c 1598s| 2290k| 1314k| 0 | 0.0 |2329M|2816 | - |5645 | 12k| 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1632.13/1632.19 c 1604s| 2300k| 1320k| 0 | 0.0 |2339M|2816 | - |5645 | 13k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1639.23/1639.27 c 1611s| 2310k| 1326k| 0 | 0.0 |2351M|2816 | - |5645 | 14k| 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1647.32/1647.39 c 1619s| 2320k| 1332k| 0 | 0.0 |2362M|2816 | - |5645 | 16k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1656.63/1656.66 c 1628s| 2330k| 1336k| 0 | 0.0 |2374M|2816 | - |5645 | 18k| 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1668.73/1668.71 c 1640s| 2340k| 1339k| 0 | 0.0 |2385M|2816 | - |5645 | 22k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1678.93/1678.94 c 1650s| 2350k| 1344k| 0 | 0.0 |2391M|2816 | - |5645 | 16k| 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1684.63/1684.66 c 1656s| 2360k| 1352k| 0 | 0.0 |2400M|2816 | - |5645 | 12k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1690.53/1690.52 c 1661s| 2370k| 1358k| 0 | 0.0 |2411M|2816 | - |5645 | 12k| 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1696.93/1696.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1696.93/1696.90 c 1668s| 2380k| 1365k| 0 | 0.0 |2422M|2816 | - |5645 | 13k| 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1704.03/1704.02 c 1675s| 2390k| 1371k| 0 | 0.0 |2433M|2816 | - |5645 | 15k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1712.43/1712.43 c 1683s| 2400k| 1376k| 0 | 0.0 |2445M|2816 | - |5645 | 17k| 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1721.73/1721.79 c 1692s| 2410k| 1381k| 0 | 0.0 |2455M|2816 | - |5645 | 18k| 0 | 0 | 0 |1822k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1733.64/1733.63 c 1704s| 2420k| 1384k| 0 | 0.0 |2466M|2816 | - |5645 | 22k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1742.23/1742.22 c 1712s| 2430k| 1390k| 0 | 0.0 |2472M|2816 | - |5645 | 15k| 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1747.83/1747.84 c 1718s| 2440k| 1397k| 0 | 0.0 |2482M|2816 | - |5645 | 12k| 0 | 0 | 0 |1846k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1753.54/1753.58 c 1723s| 2450k| 1404k| 0 | 0.0 |2492M|2816 | - |5645 | 12k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1760.04/1760.09 c 1730s| 2460k| 1411k| 0 | 0.0 |2503M|2816 | - |5645 | 13k| 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1767.43/1767.49 c 1737s| 2470k| 1416k| 0 | 0.0 |2514M|2816 | - |5645 | 15k| 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1776.24/1776.25 c 1746s| 2480k| 1421k| 0 | 0.0 |2526M|2816 | - |5645 | 16k| 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1785.63/1785.66 c 1755s| 2490k| 1426k| 0 | 0.0 |2536M|2816 | - |5645 | 18k| 0 | 0 | 0 |1881k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1795.53/1795.53 c 1765s| 2500k| 1430k| 0 | 0.0 |2545M|2816 | - |5645 | 17k| 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1769.11
1800.04/1800.00 c Solving Nodes : 2505031
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (35 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.08 s SATISFIABLE
1800.04/1800.08 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210
1800.04/1800.08 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189
1800.04/1800.08 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.04/1800.08 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 x149 -x148 -x147
1800.04/1800.08 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125
1800.04/1800.08 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.04/1800.08 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.08 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 -x54
1800.04/1800.08 v -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.04/1800.08 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.04/1800.08 v -x1
1800.04/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.08 c Solving Time : 1769.11
1800.04/1800.08 c Original Problem :
1800.04/1800.08 c Problem name : HOME/instance-2693680-1277929976.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.04/1800.08 c Presolved Problem :
1800.04/1800.08 c Problem name : t_HOME/instance-2693680-1277929976.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5414 initial, 27289 maximal
1800.04/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.04/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c root node : - 2676 - - 5352 - - - -
1800.04/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 2707 0 5397577 0 1611777 10 1854125 0 0 0
1800.04/1800.08 c linear : 2707 0 7559876 0 2117354 551406 44817585 0 0 0
1800.04/1800.08 c logicor : 0+ 0 3897710 0 0 87544 3552614 0 0 0
1800.04/1800.08 c countsols : 0 0 0 0 2117379 0 0 0 0 0
1800.04/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c indicator : 6.67 0.00 4.33 0.00 2.34
1800.04/1800.08 c linear : 443.79 0.00 442.34 0.00 1.45
1800.04/1800.08 c logicor : 303.53 0.00 303.53 0.00 0.00
1800.04/1800.08 c countsols : 0.44 0.00 0.00 0.00 0.44
1800.04/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.08 c vbounds : 2.45 2 0 0
1800.04/1800.08 c rootredcost : 1.93 0 0 0
1800.04/1800.08 c pseudoobj : 361.99 7560164 340 1850204
1800.04/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.08 c propagation : 35.13 639290 639252 3215688 21.8 119162 10.8 -
1800.04/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c pseudo solution : 0.01 31 31 142 30.1 159 9.0 -
1800.04/1800.08 c applied globally : - - - 1895377 19.8 - - -
1800.04/1800.08 c applied locally : - - - 5 348.8 - - -
1800.04/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.08 c redcost : 0.00 0 0 0 0 0
1800.04/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.08 c intobj : 0.00 0 0 0 0 0
1800.04/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.08 c gomory : 0.00 0 0 0 0 0
1800.04/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.08 c cmir : 0.00 0 0 0 0 0
1800.04/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.08 c clique : 0.00 0 0 0 0 0
1800.04/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.08 c mcf : 0.00 0 0 0 0 0
1800.04/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.08 c Pricers : Time Calls Vars
1800.04/1800.08 c problem variables: 0.00 0 0
1800.04/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c inference : 28.37 2117347 0 0 0 0 4234694
1800.04/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c random : 0.00 0 0 0 0 0 0
1800.04/1800.08 c Primal Heuristics : Time Calls Found
1800.04/1800.08 c LP solutions : 0.00 - 0
1800.04/1800.08 c pseudo solutions : 0.04 - 32
1800.04/1800.08 c oneopt : 1.00 0 0
1800.04/1800.08 c trivial : 0.08 2 2
1800.04/1800.08 c simplerounding : 0.00 0 0
1800.04/1800.08 c zirounding : 0.00 0 0
1800.04/1800.08 c rounding : 0.00 0 0
1800.04/1800.08 c shifting : 0.00 0 0
1800.04/1800.08 c intshifting : 0.00 0 0
1800.04/1800.08 c twoopt : 0.00 0 0
1800.04/1800.08 c fixandinfer : 0.00 0 0
1800.04/1800.08 c feaspump : 0.00 0 0
1800.04/1800.08 c coefdiving : 0.00 0 0
1800.04/1800.08 c pscostdiving : 0.00 0 0
1800.04/1800.08 c fracdiving : 0.00 0 0
1800.04/1800.08 c veclendiving : 0.00 0 0
1800.04/1800.08 c intdiving : 0.00 0 0
1800.04/1800.08 c actconsdiving : 0.00 0 0
1800.04/1800.08 c objpscostdiving : 0.00 0 0
1800.04/1800.08 c rootsoldiving : 0.00 0 0
1800.04/1800.08 c linesearchdiving : 0.00 0 0
1800.04/1800.08 c guideddiving : 0.00 0 0
1800.04/1800.08 c octane : 0.00 0 0
1800.04/1800.08 c rens : 0.00 0 0
1800.04/1800.08 c rins : 0.00 0 0
1800.04/1800.08 c localbranching : 0.00 0 0
1800.04/1800.08 c mutation : 0.00 0 0
1800.04/1800.08 c crossover : 0.00 0 0
1800.04/1800.08 c dins : 0.00 0 0
1800.04/1800.08 c undercover : 0.00 0 0
1800.04/1800.08 c nlp : 0.98 0 0
1800.04/1800.08 c trysol : 0.75 1 1
1800.04/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.08 c (at root node) : - 0 0 0.00 -
1800.04/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.08 c B&B Tree :
1800.04/1800.08 c number of runs : 1
1800.04/1800.08 c nodes : 2505031
1800.04/1800.08 c nodes (total) : 2505031
1800.04/1800.08 c nodes left : 1433212
1800.04/1800.08 c max depth : 2816
1800.04/1800.08 c max depth (total): 2816
1800.04/1800.08 c backtracks : 331397 (13.2%)
1800.04/1800.08 c delayed cutoffs : 290953
1800.04/1800.08 c repropagations : 1108770 (15101434 domain reductions, 251679 cutoffs)
1800.04/1800.08 c avg switch length: 39.70
1800.04/1800.08 c switching time : 496.13
1800.04/1800.08 c Solution :
1800.04/1800.08 c Solutions found : 35 (33 improvements)
1800.04/1800.08 c First Solution : +1.36842000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.04/1800.08 c Primal Bound : +2.00000000000000e+00 (in run 1, after 46174 nodes, 21.00 seconds, depth 797, found by <relaxation>)
1800.04/1800.08 c Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Gap : infinite
1800.04/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693680-1277929976/watcher-2693680-1277929976 -o /tmp/evaluation-result-2693680-1277929976/solver-2693680-1277929976 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693680-1277929976.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.00 3/196 15783 /proc/meminfo: memFree=31621328/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=8404 CPUtime=0 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 1578 0 0 0 0 0 0 0 25 0 1 0 134294238 8605696 1500 4089446400 4194304 7136930 140737437753856 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/15783/statm: 2101 1501 275 719 0 1380 0 [startup+0.0200979 s] /proc/loadavg: 2.00 2.00 2.00 3/196 15783 /proc/meminfo: memFree=31621328/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=13948 CPUtime=0.01 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 2995 0 0 0 1 0 0 0 25 0 1 0 134294238 14282752 2917 4089446400 4194304 7136930 140737437753856 18446744073709551615 6310299 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/15783/statm: 3487 2917 275 719 0 2766 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13948 [startup+0.101083 s] /proc/loadavg: 2.00 2.00 2.00 3/196 15783 /proc/meminfo: memFree=31621328/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=33672 CPUtime=0.1 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 7966 0 0 0 9 1 0 0 25 0 1 0 134294238 34480128 7534 4089446400 4194304 7136930 140737437753856 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15783/statm: 8418 7534 323 719 0 7697 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 33672 [startup+0.300048 s] /proc/loadavg: 2.00 2.00 2.00 3/196 15783 /proc/meminfo: memFree=31621328/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=36492 CPUtime=0.29 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 9238 0 0 0 27 2 0 0 25 0 1 0 134294238 37367808 8292 4089446400 4194304 7136930 140737437753856 18446744073709551615 4827071 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15783/statm: 9123 8292 383 719 0 8402 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36492 [startup+0.700977 s] /proc/loadavg: 2.00 2.00 2.00 3/196 15783 /proc/meminfo: memFree=31621328/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=37632 CPUtime=0.69 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 9515 0 0 0 66 3 0 0 25 0 1 0 134294238 38535168 8569 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15783/statm: 9408 8569 383 719 0 8687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37632 [startup+1.50084 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15784 /proc/meminfo: memFree=31586848/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=42816 CPUtime=1.49 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 10844 0 0 0 142 7 0 0 25 0 1 0 134294238 43843584 9898 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15783/statm: 10704 9898 390 719 0 9983 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42816 [startup+3.10055 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15785 /proc/meminfo: memFree=31580400/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=52180 CPUtime=3.09 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 12892 0 0 0 299 10 0 0 25 0 1 0 134294238 53432320 11946 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15783/statm: 13045 11946 391 719 0 12324 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 52180 [startup+6.30099 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15785 /proc/meminfo: memFree=31564672/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=64872 CPUtime=6.29 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 16079 0 0 0 613 16 0 0 25 0 1 0 134294238 66428928 15133 4089446400 4194304 7136930 140737437753856 18446744073709551615 4978919 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 16218 15133 391 719 0 15497 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64872 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15785 /proc/meminfo: memFree=31542280/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=86992 CPUtime=12.69 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 21526 0 0 0 1237 32 0 0 25 0 1 0 134294238 89079808 20580 4089446400 4194304 7136930 140737437753856 18446744073709551615 4431834 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 21748 20580 391 719 0 21027 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 86992 [startup+25.5006 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15786 /proc/meminfo: memFree=31496180/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=134040 CPUtime=25.48 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 32836 0 0 0 2492 56 0 0 25 0 1 0 134294238 137256960 31890 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 33510 31890 391 719 0 32789 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 134040 [startup+51.1001 s] /proc/loadavg: 2.07 2.02 2.00 3/197 15786 /proc/meminfo: memFree=31426416/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=206416 CPUtime=51.09 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 50292 0 0 0 4997 112 0 0 25 0 1 0 134294238 211369984 49346 4089446400 4194304 7136930 140737437753856 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 51604 49346 391 719 0 50883 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 206416 [startup+102.306 s] /proc/loadavg: 2.02 2.01 2.00 3/197 15788 /proc/meminfo: memFree=31321452/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=306808 CPUtime=102.3 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 75488 0 0 0 10030 200 0 0 25 0 1 0 134294238 314171392 74542 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 76702 74542 391 719 0 75981 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 306808 [startup+162.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 15789 /proc/meminfo: memFree=31174828/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=470992 CPUtime=162.29 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 113456 0 0 0 15941 288 0 0 25 0 1 0 134294238 482295808 112488 4089446400 4194304 7136930 140737437753856 18446744073709551615 4924370 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 117748 112488 391 719 0 117027 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 470992 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15790 /proc/meminfo: memFree=30995440/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=664420 CPUtime=222.29 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 157079 0 0 0 21805 424 0 0 25 0 1 0 134294238 680366080 156111 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 166105 156111 391 719 0 165384 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 664420 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15792 /proc/meminfo: memFree=30863540/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=797284 CPUtime=282.3 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 190514 0 0 0 27659 571 0 0 25 0 1 0 134294238 816418816 189546 4089446400 4194304 7136930 140737437753856 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 199321 189546 391 719 0 198600 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 797284 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15794 /proc/meminfo: memFree=30739716/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=918152 CPUtime=342.3 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 221110 0 0 0 33526 704 0 0 25 0 1 0 134294238 940187648 220142 4089446400 4194304 7136930 140737437753856 18446744073709551615 4221204 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 229538 220142 391 719 0 228817 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 918152 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15796 /proc/meminfo: memFree=30641324/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=1025280 CPUtime=402.3 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 246012 0 0 0 39422 808 0 0 25 0 1 0 134294238 1049886720 245044 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 256320 245044 391 719 0 255599 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1025280 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15797 /proc/meminfo: memFree=30561736/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=1102668 CPUtime=462.3 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 265278 0 0 0 45329 901 0 0 25 0 1 0 134294238 1129132032 264310 4089446400 4194304 7136930 140737437753856 18446744073709551615 4983706 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 275667 264310 391 719 0 274946 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1102668 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15798 /proc/meminfo: memFree=30488860/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=1174912 CPUtime=522.3 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 283481 0 0 0 51244 986 0 0 25 0 1 0 134294238 1203109888 282513 4089446400 4194304 7136930 140737437753856 18446744073709551615 4978256 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 293728 282513 391 719 0 293007 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1174912 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15828 /proc/meminfo: memFree=30497212/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=1233008 CPUtime=582.31 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 297913 0 0 0 57166 1065 0 0 25 0 1 0 134294238 1262600192 296945 4089446400 4194304 7136930 140737437753856 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 308252 296945 391 719 0 307531 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1233008 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15830 /proc/meminfo: memFree=30388192/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=1273032 CPUtime=642.31 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 307860 0 0 0 63101 1130 0 0 25 0 1 0 134294238 1303584768 306892 4089446400 4194304 7136930 140737437753856 18446744073709551615 4210355 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 318258 306892 391 719 0 317537 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1273032 [startup+702.3 s] ################ # More data... # ################ /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 424331 0 0 0 98479 1752 0 0 25 0 1 0 134294238 1786413056 423363 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 436136 423363 391 719 0 435415 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1744544 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 15841 /proc/meminfo: memFree=29299380/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=1823848 CPUtime=1062.32 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 444388 0 0 0 104376 1856 0 0 25 0 1 0 134294238 1867620352 443420 4089446400 4194304 7136930 140737437753856 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 455962 443420 391 719 0 455241 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1823848 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 15842 /proc/meminfo: memFree=29183636/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=1895700 CPUtime=1122.31 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 462558 0 0 0 110271 1960 0 0 25 0 1 0 134294238 1941196800 461590 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 473925 461590 391 719 0 473204 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1895700 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15844 /proc/meminfo: memFree=29091944/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=1984804 CPUtime=1182.32 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 480839 0 0 0 116170 2062 0 0 25 0 1 0 134294238 2032439296 479871 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 496201 479871 391 719 0 495480 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1984804 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15846 /proc/meminfo: memFree=29001732/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=2065624 CPUtime=1242.32 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 501170 0 0 0 122066 2166 0 0 25 0 1 0 134294238 2115198976 500202 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 516406 500202 391 719 0 515685 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 2065624 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15848 /proc/meminfo: memFree=28928028/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=2128220 CPUtime=1302.33 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 516937 0 0 0 127964 2269 0 0 25 0 1 0 134294238 2179297280 515969 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 532055 515969 391 719 0 531334 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2128220 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15849 /proc/meminfo: memFree=28824680/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=2218244 CPUtime=1362.32 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 539453 0 0 0 133854 2378 0 0 25 0 1 0 134294238 2271481856 538485 4089446400 4194304 7136930 140737437753856 18446744073709551615 5950800 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 554561 538485 391 719 0 553840 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2218244 [startup+1422.31 s] /proc/loadavg: 2.06 2.01 2.00 3/179 15850 /proc/meminfo: memFree=28734488/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=2298220 CPUtime=1422.33 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 559691 0 0 0 139755 2478 0 0 25 0 1 0 134294238 2353377280 558723 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 574555 558723 391 719 0 573834 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2298220 [startup+1482.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 15852 /proc/meminfo: memFree=28668440/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=2354096 CPUtime=1482.33 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 573753 0 0 0 145671 2562 0 0 25 0 1 0 134294238 2410594304 572785 4089446400 4194304 7136930 140737437753856 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 588524 572785 391 719 0 587803 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2354096 [startup+1542.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 15854 /proc/meminfo: memFree=28581076/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=2432396 CPUtime=1542.33 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 593442 0 0 0 151561 2672 0 0 25 0 1 0 134294238 2490773504 592474 4089446400 4194304 7136930 140737437753856 18446744073709551615 4677308 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 608099 592474 391 719 0 607378 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2432396 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 15856 /proc/meminfo: memFree=28490980/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=2515896 CPUtime=1602.33 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 614595 0 0 0 157455 2778 0 0 25 0 1 0 134294238 2576277504 613627 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 628974 613627 391 719 0 628253 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2515896 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 15857 /proc/meminfo: memFree=28425092/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=2596072 CPUtime=1662.33 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 634728 0 0 0 163356 2877 0 0 25 0 1 0 134294238 2658377728 633760 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 649018 633760 391 719 0 648297 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2596072 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15867 /proc/meminfo: memFree=28350820/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=2668628 CPUtime=1722.33 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 653124 0 0 0 169264 2969 0 0 25 0 1 0 134294238 2732675072 652156 4089446400 4194304 7136930 140737437753856 18446744073709551615 4925951 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 667157 652156 391 719 0 666436 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2668628 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15869 /proc/meminfo: memFree=28274648/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=2746496 CPUtime=1782.33 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 672517 0 0 0 175170 3063 0 0 25 0 1 0 134294238 2812411904 671549 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 686624 671549 391 719 0 685903 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2746496 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15869 /proc/meminfo: memFree=28256780/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=2763140 CPUtime=1800.04 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 676719 0 0 0 176913 3091 0 0 25 0 1 0 134294238 2829455360 675751 4089446400 4194304 7136930 140737437753856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15783/statm: 690785 675751 391 719 0 690064 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2763140 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15783 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 15870 /proc/meminfo: memFree=28256524/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=2764096 CPUtime=1801.43 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 676768 0 0 0 177052 3091 0 0 19 0 1 0 134294238 2830434304 675800 4089446400 4194304 7136930 140737437753856 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15783/statm: 691024 675800 397 719 0 690303 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2764096 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 15871 /proc/meminfo: memFree=28256524/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=2764096 CPUtime=1801.84 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 676768 0 0 0 177093 3091 0 0 20 0 1 0 134294238 2830434304 675800 4089446400 4194304 7136930 140737437753856 18446744073709551615 4212575 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15783/statm: 691024 675800 397 719 0 690303 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2764096 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 15871 /proc/meminfo: memFree=28256524/32950928 swapFree=67111528/67111528 [pid=15783] ppid=15781 vsize=2764096 CPUtime=1802.03 /proc/15783/stat : 15783 (pbscip.linux.x8) R 15781 15783 15668 0 -1 4202496 676768 0 0 0 177112 3091 0 0 21 0 1 0 134294238 2830434304 675800 4089446400 4194304 7136930 140737437753856 18446744073709551615 4212479 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15783/statm: 691024 675800 397 719 0 690303 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2764096 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.14 CPU user time (s): 1771.14 CPU system time (s): 31.0003 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2764096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1771.14 system time used= 31.0003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 676768 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= 941 runsolver used 2.46263 second user time and 5.78112 second system time The end
Begin job on node125 at 2010-06-30 22:32:56 IDJOB=2693680 IDBENCH=79302 IDSOLVER=1206 FILE ID=node125/2693680-1277929976 PBS_JOBID= 11197434 Free space on /tmp= 74204 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.1900559676--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-2693680-1277929976/watcher-2693680-1277929976 -o /tmp/evaluation-result-2693680-1277929976/solver-2693680-1277929976 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693680-1277929976.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b818ef86615e3f5ee29c4c2fadd6f1fe RANDOM SEED=1664937455 node125.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.822 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.64 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.822 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 : 5226.07 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.822 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.75 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.822 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.77 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.822 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.75 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.822 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.74 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.822 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.822 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: 32950928 kB MemFree: 31621856 kB Buffers: 214980 kB Cached: 796624 kB SwapCached: 0 kB Active: 609604 kB Inactive: 576800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31621856 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3160 kB Writeback: 0 kB AnonPages: 174512 kB Mapped: 20476 kB Slab: 79128 kB PageTables: 5496 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1661752 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= 74196 MiB End job on node125 at 2010-06-30 23:02:58