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.1900670234--soft-0-100-0.wbo |
| MD5SUM | 68083219a398085883a8cf7e46688b9f |
| 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 | 488.736 |
| 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 | 134314 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 134313 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 641 |
| 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-2693609-1277926431.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.13 o 134313
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.343130e+05
0.09/0.13 c presolving:
0.09/0.14 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.15 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.19/0.20 c (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (3 rounds):
0.19/0.20 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 2707 implications, 0 cliques
0.19/0.20 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.19/0.20 c 2707 constraints of type <indicator>
0.19/0.20 c 2707 constraints of type <linear>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.15
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.97
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 3420
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.21 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.21 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.343130e+05 | Inf
2.29/2.33 o 448
2.29/2.33 c * 2.2s| 6872 | 6489 | 0 | 0.0 | 23M|2816 | - |5645 |6852 | 0 | 0 | 0 |1438 | 0 | 0.000000e+00 | 4.480000e+02 | Inf
3.59/3.70 c 3.6s| 10000 | 9592 | 0 | 0.0 | 25M|2816 | - |5645 |6929 | 0 | 0 | 0 |1518 | 0 | 0.000000e+00 | 4.480000e+02 | Inf
4.29/4.32 o 357
4.29/4.32 c * 4.2s| 12024 | 8780 | 0 | 0.0 | 25M|2816 | - |5645 |6949 | 0 | 0 | 0 |1541 | 0 | 0.000000e+00 | 3.570000e+02 | Inf
4.29/4.32 o 327
4.29/4.32 c * 4.2s| 12025 | 8254 | 0 | 0.0 | 24M|2816 | - |5645 |6949 | 0 | 0 | 0 |1541 | 0 | 0.000000e+00 | 3.270000e+02 | Inf
4.29/4.38 o 260
4.29/4.38 c * 4.2s| 12187 | 7455 | 0 | 0.0 | 24M|2816 | - |5645 |6969 | 0 | 0 | 0 |1561 | 0 | 0.000000e+00 | 2.600000e+02 | Inf
4.40/4.45 o 234
4.40/4.45 c * 4.3s| 12529 | 7548 | 0 | 0.0 | 25M|2816 | - |5645 |6988 | 0 | 0 | 0 |1581 | 0 | 0.000000e+00 | 2.340000e+02 | Inf
7.09/7.12 c 6.9s| 20000 | 13879 | 0 | 0.0 | 33M|2816 | - |5645 |8093 | 0 | 0 | 0 |7051 | 0 | 0.000000e+00 | 2.340000e+02 | Inf
11.49/11.51 c 11.2s| 30000 | 21404 | 0 | 0.0 | 45M|2816 | - |5645 |8710 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 2.340000e+02 | Inf
15.09/15.18 o 233
15.09/15.18 c *14.9s| 34944 | 23758 | 0 | 0.0 | 52M|2816 | - |5645 |9899 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
15.69/15.77 o 217
15.69/15.77 c *15.4s| 35926 | 24447 | 0 | 0.0 | 52M|2816 | - |5645 |9597 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
15.89/15.92 o 216
15.89/15.92 c *15.6s| 36125 | 24628 | 0 | 0.0 | 52M|2816 | - |5645 |9492 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
16.39/16.50 o 182
16.39/16.50 c *16.2s| 36991 | 25052 | 0 | 0.0 | 53M|2816 | - |5645 |9294 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.820000e+02 | Inf
16.50/16.57 o 144
16.50/16.57 c *16.2s| 37095 | 24291 | 0 | 0.0 | 52M|2816 | - |5645 |9275 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
16.69/16.73 o 124
16.69/16.73 c *16.4s| 37315 | 24300 | 0 | 0.0 | 52M|2816 | - |5645 |9215 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
16.69/16.73 o 121
16.69/16.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.69/16.73 c *16.4s| 37316 | 24261 | 0 | 0.0 | 52M|2816 | - |5645 |9215 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
16.89/16.91 o 104
16.89/16.91 c *16.6s| 37556 | 24334 | 0 | 0.0 | 52M|2816 | - |5645 |9095 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
16.89/16.91 o 101
16.89/16.91 c *16.6s| 37557 | 24266 | 0 | 0.0 | 53M|2816 | - |5645 |9095 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
16.89/16.97 o 98
16.89/16.97 c *16.6s| 37622 | 24060 | 0 | 0.0 | 53M|2816 | - |5645 |9074 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
17.60/17.66 o 97
17.60/17.66 c *17.3s| 38543 | 24898 | 0 | 0.0 | 55M|2816 | - |5645 |8618 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
18.29/18.33 o 89
18.29/18.33 c *18.0s| 39055 | 25036 | 0 | 0.0 | 56M|2816 | - |5645 |8345 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
18.29/18.34 o 79
18.29/18.34 c *18.0s| 39056 | 24577 | 0 | 0.0 | 55M|2816 | - |5645 |8345 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
19.09/19.11 c 18.7s| 40000 | 25426 | 0 | 0.0 | 57M|2816 | - |5645 |8263 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
25.69/25.76 o 76
25.69/25.76 c *25.3s| 48081 | 32553 | 0 | 0.0 | 66M|2816 | - |5645 |6737 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
25.69/25.77 o 65
25.69/25.77 c *25.3s| 48082 | 31832 | 0 | 0.0 | 64M|2816 | - |5645 |6737 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
26.79/26.82 o 58
26.79/26.82 c *26.3s| 49058 | 32373 | 0 | 0.0 | 65M|2816 | - |5645 |6916 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
27.39/27.46 c 26.9s| 50000 | 33169 | 0 | 0.0 | 66M|2816 | - |5645 |6998 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
28.19/28.25 o 32
28.19/28.25 c *27.7s| 51305 | 33168 | 0 | 0.0 | 65M|2816 | - |5645 |6876 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
28.29/28.31 o 29
28.29/28.31 c *27.8s| 51398 | 33095 | 0 | 0.0 | 65M|2816 | - |5645 |6884 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
31.90/31.95 o 26
31.90/31.95 c *31.4s| 58420 | 38970 | 0 | 0.0 | 74M|2816 | - |5645 |7541 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
31.90/31.95 o 25
31.90/31.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.90/31.95 c *31.4s| 58421 | 38783 | 0 | 0.0 | 73M|2816 | - |5645 |7541 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
32.49/32.50 o 23
32.49/32.50 c *31.9s| 59552 | 39632 | 0 | 0.0 | 74M|2816 | - |5645 |7716 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
32.69/32.71 c 32.1s| 60000 | 40016 | 0 | 0.0 | 75M|2816 | - |5645 |7738 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
36.90/36.96 o 21
36.90/36.96 c *36.3s| 69634 | 48112 | 0 | 0.0 | 87M|2816 | - |5645 |8784 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
37.09/37.10 c 36.4s| 70000 | 48434 | 0 | 0.0 | 87M|2816 | - |5645 |8666 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
39.39/39.44 o 18
39.39/39.44 c *38.7s| 75585 | 52787 | 0 | 0.0 | 93M|2816 | - |5645 |8548 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
41.09/41.16 c 40.4s| 80000 | 56526 | 0 | 0.0 | 97M|2816 | - |5645 |7620 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
45.39/45.42 c 44.6s| 90000 | 64520 | 0 | 0.0 | 108M|2816 | - |5645 |8543 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
49.99/50.01 c 49.1s|100000 | 72244 | 0 | 0.0 | 119M|2816 | - |5645 |9254 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
54.79/54.81 c 53.8s|110000 | 79819 | 0 | 0.0 | 129M|2816 | - |5645 |9902 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
59.69/59.78 c 58.7s|120000 | 87254 | 0 | 0.0 | 139M|2816 | - |5645 | 10k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
65.19/65.26 c 64.1s|130000 | 94372 | 0 | 0.0 | 150M|2816 | - |5645 | 10k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
71.40/71.42 c 70.1s|140000 |101042 | 0 | 0.0 | 161M|2816 | - |5645 | 11k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
77.49/77.55 c 76.2s|150000 |107753 | 0 | 0.0 | 172M|2816 | - |5645 | 12k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
84.09/84.18 c 82.7s|160000 |114150 | 0 | 0.0 | 182M|2816 | - |5645 | 12k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
91.19/91.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.19/91.24 c 89.7s|170000 |120274 | 0 | 0.0 | 193M|2816 | - |5645 | 13k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
98.90/98.90 c 97.2s|180000 |126047 | 0 | 0.0 | 204M|2816 | - |5645 | 13k| 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
107.69/107.70 c 106s|190000 |131227 | 0 | 0.0 | 214M|2816 | - |5645 | 14k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
118.39/118.45 c 117s|200000 |135291 | 0 | 0.0 | 225M|2816 | - |5645 | 15k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
133.50/133.51 c 132s|210000 |137050 | 0 | 0.0 | 235M|2816 | - |5645 | 19k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
140.99/141.03 c 139s|220000 |144579 | 0 | 0.0 | 240M|2816 | - |5645 |8281 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
147.10/147.13 c 145s|230000 |152869 | 0 | 0.0 | 250M|2816 | - |5645 |8807 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
155.40/155.45 c 153s|240000 |160499 | 0 | 0.0 | 263M|2816 | - |5645 | 10k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
157.19/157.29 o 17
157.19/157.29 c * 155s|241982 |161797 | 0 | 0.0 | 265M|2816 | - |5645 | 10k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
163.19/163.20 o 13
163.19/163.20 c * 161s|248105 |165953 | 0 | 0.0 | 273M|2816 | - |5645 | 10k| 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
165.00/165.06 c 163s|250000 |167376 | 0 | 0.0 | 277M|2816 | - |5645 | 10k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
173.09/173.11 c 171s|260000 |174790 | 0 | 0.0 | 290M|2816 | - |5645 |5307 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
173.80/173.84 o 7
173.80/173.84 c * 171s|261412 |174632 | 0 | 0.0 | 285M|2816 | - |5645 |5209 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
178.90/178.91 c 176s|270000 |180898 | 0 | 0.0 | 297M|2816 | - |5645 |5513 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
184.19/184.22 c 181s|280000 |188334 | 0 | 0.0 | 307M|2816 | - |5645 |5880 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
189.90/189.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.90/189.93 c 187s|290000 |195426 | 0 | 0.0 | 317M|2816 | - |5645 |6511 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
196.20/196.25 c 193s|300000 |202052 | 0 | 0.0 | 327M|2816 | - |5645 |7824 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
203.89/203.94 c 201s|310000 |207589 | 0 | 0.0 | 338M|2816 | - |5645 |9471 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
212.00/212.03 c 209s|320000 |212391 | 0 | 0.0 | 345M|2816 | - |5645 |5712 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
217.10/217.19 c 214s|330000 |219891 | 0 | 0.0 | 355M|2816 | - |5645 |7577 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
222.99/223.09 c 220s|340000 |226722 | 0 | 0.0 | 364M|2816 | - |5645 |6765 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
229.29/229.31 c 226s|350000 |233356 | 0 | 0.0 | 374M|2816 | - |5645 |6227 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
234.70/234.73 c 231s|360000 |240623 | 0 | 0.0 | 384M|2816 | - |5645 |7443 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
240.00/240.07 c 236s|370000 |247881 | 0 | 0.0 | 394M|2816 | - |5645 |8254 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
245.30/245.35 c 242s|380000 |255324 | 0 | 0.0 | 403M|2816 | - |5645 |6829 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
251.20/251.24 c 247s|390000 |262202 | 0 | 0.0 | 413M|2816 | - |5645 |7082 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
256.49/256.58 c 253s|400000 |269470 | 0 | 0.0 | 423M|2816 | - |5645 |9695 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
261.40/261.49 c 257s|410000 |277256 | 0 | 0.0 | 433M|2816 | - |5645 |7693 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
267.10/267.13 c 263s|420000 |284315 | 0 | 0.0 | 442M|2816 | - |5645 |7297 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
271.90/271.96 o 6
271.90/271.96 c * 268s|428552 |289694 | 0 | 0.0 | 448M|2816 | - |5645 | 10k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
273.00/273.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.00/273.01 c 269s|430000 |290597 | 0 | 0.0 | 449M|2816 | - |5645 |9912 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
277.30/277.34 c 273s|440000 |298886 | 0 | 0.0 | 458M|2816 | - |5645 |7500 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
282.60/282.69 c 278s|450000 |306293 | 0 | 0.0 | 468M|2816 | - |5645 |9385 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
289.50/289.51 c 285s|460000 |312569 | 0 | 0.0 | 477M|2816 | - |5645 |8162 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
294.90/294.97 c 290s|470000 |319684 | 0 | 0.0 | 487M|2816 | - |5645 | 11k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
299.80/299.87 c 295s|480000 |327504 | 0 | 0.0 | 496M|2816 | - |5645 |8719 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
305.40/305.43 c 301s|490000 |334693 | 0 | 0.0 | 505M|2816 | - |5645 |8352 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
311.10/311.10 c 306s|500000 |341801 | 0 | 0.0 | 514M|2816 | - |5645 |8377 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
316.91/316.98 c 312s|510000 |348238 | 0 | 0.0 | 524M|2816 | - |5645 | 10k| 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
321.40/321.45 c 316s|520000 |356133 | 0 | 0.0 | 533M|2816 | - |5645 |8588 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
326.81/326.80 c 321s|530000 |363077 | 0 | 0.0 | 542M|2816 | - |5645 |8051 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
332.60/332.60 c 327s|540000 |369727 | 0 | 0.0 | 552M|2816 | - |5645 |8220 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
337.90/337.91 c 332s|550000 |376770 | 0 | 0.0 | 562M|2816 | - |5645 |9224 | 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
342.30/342.30 c 337s|560000 |384686 | 0 | 0.0 | 572M|2816 | - |5645 |8245 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
347.30/347.39 c 342s|570000 |391825 | 0 | 0.0 | 581M|2816 | - |5645 |8912 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
352.40/352.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.40/352.49 c 347s|580000 |398910 | 0 | 0.0 | 591M|2816 | - |5645 |8426 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
357.80/357.80 c 352s|590000 |405800 | 0 | 0.0 | 600M|2816 | - |5645 |5102 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
361.60/361.65 c 356s|600000 |413951 | 0 | 0.0 | 609M|2816 | - |5645 |4230 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
365.10/365.19 c 359s|610000 |422339 | 0 | 0.0 | 618M|2816 | - |5645 |4071 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
368.61/368.63 c 362s|620000 |430655 | 0 | 0.0 | 627M|2816 | - |5645 |4236 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
372.70/372.79 c 366s|630000 |438424 | 0 | 0.0 | 637M|2816 | - |5645 |4574 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
378.10/378.16 c 372s|640000 |445150 | 0 | 0.0 | 648M|2816 | - |5645 |5915 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
383.80/383.86 c 377s|650000 |451619 | 0 | 0.0 | 658M|2816 | - |5645 |6439 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
389.70/389.78 c 383s|660000 |457954 | 0 | 0.0 | 669M|2816 | - |5645 |6624 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
395.70/395.78 c 389s|670000 |464229 | 0 | 0.0 | 679M|2816 | - |5645 |6770 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
401.90/401.96 c 395s|680000 |470368 | 0 | 0.0 | 689M|2816 | - |5645 |7278 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
408.21/408.25 c 401s|690000 |476393 | 0 | 0.0 | 700M|2816 | - |5645 |7465 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
414.80/414.82 c 408s|700000 |482219 | 0 | 0.0 | 710M|2816 | - |5645 |7624 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
421.10/421.19 c 414s|710000 |488217 | 0 | 0.0 | 720M|2816 | - |5645 |8799 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
427.81/427.88 c 421s|720000 |493947 | 0 | 0.0 | 730M|2816 | - |5645 |8808 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
434.90/434.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.90/434.90 c 428s|730000 |499478 | 0 | 0.0 | 740M|2816 | - |5645 |8514 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
441.60/441.64 c 434s|740000 |505312 | 0 | 0.0 | 751M|2816 | - |5645 |8792 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
448.81/448.84 c 441s|750000 |510615 | 0 | 0.0 | 761M|2816 | - |5645 |9344 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
456.20/456.24 c 449s|760000 |515839 | 0 | 0.0 | 771M|2816 | - |5645 |8628 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
463.11/463.13 c 455s|770000 |521491 | 0 | 0.0 | 781M|2816 | - |5645 |9517 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
470.81/470.87 c 463s|780000 |526425 | 0 | 0.0 | 791M|2816 | - |5645 |9476 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
478.51/478.51 c 471s|790000 |531702 | 0 | 0.0 | 801M|2816 | - |5645 |9701 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
486.50/486.59 c 479s|800000 |536399 | 0 | 0.0 | 810M|2816 | - |5645 |9984 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
494.20/494.28 c 486s|810000 |541640 | 0 | 0.0 | 820M|2816 | - |5645 |8865 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
502.60/502.68 c 494s|820000 |546105 | 0 | 0.0 | 829M|2816 | - |5645 | 10k| 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
510.71/510.73 c 502s|830000 |551061 | 0 | 0.0 | 839M|2816 | - |5645 |9200 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
519.00/519.04 c 511s|840000 |555672 | 0 | 0.0 | 848M|2816 | - |5645 | 10k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
527.60/527.66 c 519s|850000 |560086 | 0 | 0.0 | 857M|2816 | - |5645 |9823 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
535.40/535.48 c 527s|860000 |565187 | 0 | 0.0 | 867M|2816 | - |5645 | 10k| 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
544.41/544.43 c 536s|870000 |569323 | 0 | 0.0 | 877M|2816 | - |5645 | 10k| 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
552.31/552.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
552.31/552.31 c 543s|880000 |574328 | 0 | 0.0 | 887M|2816 | - |5645 | 11k| 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
561.20/561.29 c 552s|890000 |578435 | 0 | 0.0 | 896M|2816 | - |5645 | 10k| 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
569.41/569.46 c 560s|900000 |583282 | 0 | 0.0 | 906M|2816 | - |5645 | 11k| 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
579.01/579.05 c 570s|910000 |586863 | 0 | 0.0 | 915M|2816 | - |5645 | 10k| 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
587.11/587.10 c 578s|920000 |591739 | 0 | 0.0 | 926M|2816 | - |5645 | 11k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
596.71/596.74 c 587s|930000 |595333 | 0 | 0.0 | 934M|2816 | - |5645 | 11k| 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
605.01/605.02 c 596s|940000 |600122 | 0 | 0.0 | 943M|2816 | - |5645 |9418 | 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
614.51/614.52 c 605s|950000 |603637 | 0 | 0.0 | 952M|2816 | - |5645 | 11k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
623.51/623.57 c 614s|960000 |607791 | 0 | 0.0 | 961M|2816 | - |5645 | 10k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
632.81/632.86 c 623s|970000 |611800 | 0 | 0.0 | 971M|2816 | - |5645 | 12k| 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
642.91/642.95 c 633s|980000 |615217 | 0 | 0.0 | 980M|2816 | - |5645 | 12k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
652.01/652.08 c 642s|990000 |619512 | 0 | 0.0 | 989M|2816 | - |5645 | 11k| 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
662.71/662.79 c 653s| 1000k|622496 | 0 | 0.0 | 998M|2816 | - |5645 | 12k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
673.71/673.75 c 663s| 1010k|625432 | 0 | 0.0 |1006M|2816 | - |5645 | 13k| 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
684.31/684.30 c 674s| 1020k|628255 | 0 | 0.0 |1014M|2816 | - |5645 | 12k| 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
694.01/694.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
694.01/694.08 c 684s| 1030k|631519 | 0 | 0.0 |1023M|2816 | - |5645 | 12k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
705.01/705.00 c 694s| 1040k|633958 | 0 | 0.0 |1031M|2816 | - |5645 | 13k| 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
716.31/716.30 c 706s| 1050k|636219 | 0 | 0.0 |1038M|2816 | - |5645 | 14k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
729.01/729.08 c 718s| 1060k|637570 | 0 | 0.0 |1044M|2816 | - |5645 | 16k| 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
742.62/742.63 c 732s| 1070k|638853 | 0 | 0.0 |1051M|2816 | - |5645 | 15k| 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
758.41/758.45 c 747s| 1080k|638414 | 0 | 0.0 |1055M|2816 | - |5645 | 16k| 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
775.82/775.84 c 765s| 1090k|637067 | 0 | 0.0 |1057M|2816 | - |5645 | 17k| 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
788.31/788.36 c 777s| 1100k|639559 | 0 | 0.0 |1054M|2816 | - |5645 |7441 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
792.52/792.54 c 781s| 1110k|647561 | 0 | 0.0 |1063M|2816 | - |5645 |5482 | 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
796.52/796.53 c 785s| 1120k|655509 | 0 | 0.0 |1073M|2816 | - |5645 |5185 | 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
800.82/800.85 c 789s| 1130k|663104 | 0 | 0.0 |1083M|2816 | - |5645 |5282 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
805.22/805.29 c 794s| 1140k|670607 | 0 | 0.0 |1093M|2816 | - |5645 |5319 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
810.21/810.27 c 798s| 1150k|677698 | 0 | 0.0 |1103M|2816 | - |5645 |5602 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
815.81/815.83 c 804s| 1160k|684311 | 0 | 0.0 |1115M|2816 | - |5645 |5845 | 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
821.41/821.47 c 809s| 1170k|690791 | 0 | 0.0 |1126M|2816 | - |5645 |6092 | 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
827.51/827.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.51/827.54 c 815s| 1180k|696937 | 0 | 0.0 |1137M|2816 | - |5645 |6517 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
833.71/833.70 c 821s| 1190k|703014 | 0 | 0.0 |1148M|2816 | - |5645 |6776 | 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
839.91/839.98 c 828s| 1200k|708998 | 0 | 0.0 |1159M|2816 | - |5645 |6968 | 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
846.51/846.59 c 834s| 1210k|714603 | 0 | 0.0 |1170M|2816 | - |5645 |7300 | 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
847.12/847.17 o 5
847.12/847.17 c * 835s| 1210k|713929 | 0 | 0.0 |1167M|2816 | - |5645 |7302 | 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
853.72/853.74 c 841s| 1220k|719088 | 0 | 0.0 |1178M|2816 | - |5645 |7232 | 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
858.32/858.30 o 3
858.32/858.30 c * 846s| 1226k|718480 | 0 | 0.0 |1177M|2816 | - |5645 |7623 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
862.12/862.13 c 849s| 1230k|720244 | 0 | 0.0 |1185M|2816 | - |5645 |7908 | 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
871.11/871.10 c 858s| 1240k|725036 | 0 | 0.0 |1199M|2816 | - |5645 |8382 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
879.52/879.50 c 866s| 1250k|729809 | 0 | 0.0 |1211M|2816 | - |5645 |8599 | 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
888.51/888.57 c 875s| 1260k|734345 | 0 | 0.0 |1220M|2816 | - |5645 |4877 | 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
896.21/896.29 c 883s| 1270k|738746 | 0 | 0.0 |1231M|2816 | - |5645 |6561 | 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
904.41/904.49 c 891s| 1280k|742715 | 0 | 0.0 |1240M|2816 | - |5645 |6898 | 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
912.22/912.23 c 899s| 1290k|747136 | 0 | 0.0 |1250M|2816 | - |5645 |7340 | 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
919.72/919.70 c 906s| 1300k|751917 | 0 | 0.0 |1258M|2816 | - |5645 |6568 | 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
927.01/927.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.01/927.09 c 913s| 1310k|756679 | 0 | 0.0 |1267M|2816 | - |5645 |6861 | 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
933.62/933.66 c 920s| 1320k|762164 | 0 | 0.0 |1276M|2816 | - |5645 |6830 | 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
939.71/939.78 c 926s| 1330k|768084 | 0 | 0.0 |1285M|2816 | - |5645 |6412 | 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
945.62/945.68 c 932s| 1340k|774245 | 0 | 0.0 |1294M|2816 | - |5645 |6305 | 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
951.42/951.48 c 937s| 1350k|780321 | 0 | 0.0 |1304M|2816 | - |5645 |6409 | 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
957.22/957.25 c 943s| 1360k|786596 | 0 | 0.0 |1313M|2816 | - |5645 |6602 | 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
962.82/962.89 c 948s| 1370k|792930 | 0 | 0.0 |1323M|2816 | - |5645 |6057 | 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
968.62/968.66 c 954s| 1380k|799109 | 0 | 0.0 |1333M|2816 | - |5645 |6339 | 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
974.52/974.58 c 960s| 1390k|805198 | 0 | 0.0 |1343M|2816 | - |5645 |6599 | 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
980.22/980.24 c 965s| 1400k|811613 | 0 | 0.0 |1353M|2816 | - |5645 |6701 | 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
985.92/985.90 c 971s| 1410k|817933 | 0 | 0.0 |1363M|2816 | - |5645 |6936 | 0 | 0 | 0 |1178k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
991.72/991.71 c 977s| 1420k|824150 | 0 | 0.0 |1373M|2816 | - |5645 |7093 | 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
997.92/997.96 c 983s| 1430k|830027 | 0 | 0.0 |1383M|2816 | - |5645 |7334 | 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1004.12/1004.15 c 989s| 1440k|835909 | 0 | 0.0 |1393M|2816 | - |5645 |7239 | 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1010.41/1010.43 c 995s| 1450k|841686 | 0 | 0.0 |1403M|2816 | - |5645 |7359 | 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1017.02/1017.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.02/1017.09 c 1002s| 1460k|847186 | 0 | 0.0 |1413M|2816 | - |5645 |7593 | 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1023.62/1023.64 c 1008s| 1470k|852773 | 0 | 0.0 |1423M|2816 | - |5645 |7578 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1030.22/1030.28 c 1015s| 1480k|858211 | 0 | 0.0 |1433M|2816 | - |5645 |7617 | 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1037.02/1037.07 c 1021s| 1490k|863576 | 0 | 0.0 |1442M|2816 | - |5645 |7675 | 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1044.11/1044.14 c 1028s| 1500k|868755 | 0 | 0.0 |1452M|2816 | - |5645 |7839 | 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1051.22/1051.25 c 1035s| 1510k|873857 | 0 | 0.0 |1461M|2816 | - |5645 |8000 | 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1058.42/1058.48 c 1042s| 1520k|878896 | 0 | 0.0 |1471M|2816 | - |5645 |8305 | 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1065.82/1065.86 c 1050s| 1530k|883737 | 0 | 0.0 |1480M|2816 | - |5645 |8471 | 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1073.32/1073.37 c 1057s| 1540k|888552 | 0 | 0.0 |1489M|2816 | - |5645 |8485 | 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1081.42/1081.41 c 1065s| 1550k|892775 | 0 | 0.0 |1498M|2816 | - |5645 |8965 | 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1089.22/1089.28 c 1073s| 1560k|897363 | 0 | 0.0 |1507M|2816 | - |5645 |8902 | 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1097.52/1097.50 c 1081s| 1570k|901643 | 0 | 0.0 |1516M|2816 | - |5645 |9129 | 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1106.82/1106.84 c 1090s| 1580k|905485 | 0 | 0.0 |1524M|2816 | - |5645 |9198 | 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1115.82/1115.84 c 1098s| 1590k|909549 | 0 | 0.0 |1533M|2816 | - |5645 |9602 | 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1125.82/1125.81 c 1108s| 1600k|912966 | 0 | 0.0 |1541M|2816 | - |5645 | 10k| 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1136.32/1136.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.32/1136.38 c 1118s| 1610k|915994 | 0 | 0.0 |1549M|2816 | - |5645 | 11k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1147.52/1147.51 c 1129s| 1620k|918770 | 0 | 0.0 |1557M|2816 | - |5645 | 11k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1160.02/1160.01 c 1141s| 1630k|920580 | 0 | 0.0 |1564M|2816 | - |5645 | 13k| 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1174.32/1174.38 c 1155s| 1640k|921583 | 0 | 0.0 |1567M|2816 | - |5645 |9511 | 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1178.92/1178.96 c 1159s| 1650k|929338 | 0 | 0.0 |1575M|2816 | - |5645 |6222 | 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1184.02/1184.02 c 1164s| 1660k|936461 | 0 | 0.0 |1585M|2816 | - |5645 |6668 | 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1189.53/1189.56 c 1169s| 1670k|943145 | 0 | 0.0 |1596M|2816 | - |5645 |7688 | 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1195.73/1195.78 c 1175s| 1680k|949298 | 0 | 0.0 |1606M|2816 | - |5645 |8996 | 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1202.92/1202.93 c 1182s| 1690k|954784 | 0 | 0.0 |1617M|2816 | - |5645 | 10k| 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1211.32/1211.39 c 1190s| 1700k|959512 | 0 | 0.0 |1627M|2816 | - |5645 | 11k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1221.13/1221.10 c 1199s| 1710k|963445 | 0 | 0.0 |1635M|2816 | - |5645 | 11k| 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1230.42/1230.46 c 1208s| 1720k|967549 | 0 | 0.0 |1643M|2816 | - |5645 |9657 | 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1237.92/1237.99 c 1215s| 1730k|972774 | 0 | 0.0 |1651M|2816 | - |5645 |7863 | 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1244.13/1244.16 c 1221s| 1740k|978950 | 0 | 0.0 |1659M|2816 | - |5645 |7296 | 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1249.92/1249.99 c 1227s| 1750k|985369 | 0 | 0.0 |1669M|2816 | - |5645 |7836 | 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1256.43/1256.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.43/1256.41 c 1233s| 1760k|991368 | 0 | 0.0 |1679M|2816 | - |5645 |9067 | 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1263.63/1263.67 c 1240s| 1770k|996764 | 0 | 0.0 |1690M|2816 | - |5645 | 10k| 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1272.62/1272.68 c 1249s| 1780k| 1001k| 0 | 0.0 |1700M|2816 | - |5645 | 12k| 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1284.33/1284.39 c 1260s| 1790k| 1003k| 0 | 0.0 |1709M|2816 | - |5645 | 14k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1296.73/1296.74 c 1272s| 1800k| 1006k| 0 | 0.0 |1714M|2816 | - |5645 |9808 | 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1301.12/1301.11 c 1276s| 1810k| 1014k| 0 | 0.0 |1723M|2816 | - |5645 |7076 | 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1305.42/1305.49 c 1280s| 1820k| 1022k| 0 | 0.0 |1732M|2816 | - |5645 |6957 | 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1310.03/1310.02 c 1284s| 1830k| 1029k| 0 | 0.0 |1741M|2816 | - |5645 |7156 | 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1314.73/1314.78 c 1289s| 1840k| 1036k| 0 | 0.0 |1751M|2816 | - |5645 |7789 | 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1320.92/1320.96 c 1295s| 1850k| 1042k| 0 | 0.0 |1761M|2816 | - |5645 |9234 | 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1329.73/1329.70 c 1303s| 1860k| 1046k| 0 | 0.0 |1772M|2816 | - |5645 | 11k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1340.13/1340.17 c 1313s| 1870k| 1050k| 0 | 0.0 |1781M|2816 | - |5645 | 11k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1349.13/1349.15 c 1322s| 1880k| 1054k| 0 | 0.0 |1788M|2816 | - |5645 |8638 | 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1355.53/1355.52 c 1328s| 1890k| 1061k| 0 | 0.0 |1796M|2816 | - |5645 |7583 | 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1361.32/1361.30 c 1333s| 1900k| 1067k| 0 | 0.0 |1806M|2816 | - |5645 |7796 | 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1367.72/1367.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.72/1367.72 c 1340s| 1910k| 1073k| 0 | 0.0 |1817M|2816 | - |5645 |8937 | 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1374.83/1374.82 c 1346s| 1920k| 1079k| 0 | 0.0 |1829M|2816 | - |5645 | 10k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1383.83/1383.82 c 1355s| 1930k| 1083k| 0 | 0.0 |1839M|2816 | - |5645 | 12k| 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1395.43/1395.46 c 1366s| 1940k| 1086k| 0 | 0.0 |1849M|2816 | - |5645 | 15k| 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1405.23/1405.21 c 1376s| 1950k| 1090k| 0 | 0.0 |1854M|2816 | - |5645 |8121 | 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1409.72/1409.76 c 1380s| 1960k| 1098k| 0 | 0.0 |1863M|2816 | - |5645 |7211 | 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1414.53/1414.60 c 1385s| 1970k| 1105k| 0 | 0.0 |1872M|2816 | - |5645 |7385 | 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1419.93/1420.00 c 1390s| 1980k| 1112k| 0 | 0.0 |1883M|2816 | - |5645 |8065 | 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1425.93/1425.95 c 1395s| 1990k| 1118k| 0 | 0.0 |1893M|2816 | - |5645 |9235 | 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1433.03/1433.08 c 1402s| 2000k| 1124k| 0 | 0.0 |1903M|2816 | - |5645 | 10k| 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1441.63/1441.66 c 1410s| 2010k| 1128k| 0 | 0.0 |1914M|2816 | - |5645 | 12k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1452.33/1452.35 c 1421s| 2020k| 1131k| 0 | 0.0 |1923M|2816 | - |5645 | 14k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1463.53/1463.56 c 1432s| 2030k| 1135k| 0 | 0.0 |1927M|2816 | - |5645 |9297 | 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1468.03/1468.06 c 1436s| 2040k| 1142k| 0 | 0.0 |1936M|2816 | - |5645 |7121 | 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1472.83/1472.87 c 1440s| 2050k| 1150k| 0 | 0.0 |1946M|2816 | - |5645 |7346 | 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1478.04/1478.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.04/1478.04 c 1445s| 2060k| 1157k| 0 | 0.0 |1956M|2816 | - |5645 |7970 | 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1483.94/1483.99 c 1451s| 2070k| 1163k| 0 | 0.0 |1966M|2816 | - |5645 |9019 | 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1490.83/1490.87 c 1457s| 2080k| 1169k| 0 | 0.0 |1977M|2816 | - |5645 | 10k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1498.73/1498.75 c 1465s| 2090k| 1173k| 0 | 0.0 |1987M|2816 | - |5645 | 11k| 0 | 0 | 0 |1674k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1508.53/1508.54 c 1474s| 2100k| 1177k| 0 | 0.0 |1997M|2816 | - |5645 | 13k| 0 | 0 | 0 |1684k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1520.93/1520.94 c 1486s| 2110k| 1180k| 0 | 0.0 |2002M|2816 | - |5645 | 11k| 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1525.73/1525.75 c 1491s| 2120k| 1187k| 0 | 0.0 |2011M|2816 | - |5645 |7537 | 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1530.73/1530.71 c 1496s| 2130k| 1194k| 0 | 0.0 |2021M|2816 | - |5645 |7570 | 0 | 0 | 0 |1704k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1535.94/1535.96 c 1501s| 2140k| 1201k| 0 | 0.0 |2031M|2816 | - |5645 |8278 | 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1541.84/1541.84 c 1506s| 2150k| 1208k| 0 | 0.0 |2042M|2816 | - |5645 |9104 | 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1548.53/1548.54 c 1512s| 2160k| 1214k| 0 | 0.0 |2053M|2816 | - |5645 | 10k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1556.73/1556.78 c 1520s| 2170k| 1218k| 0 | 0.0 |2063M|2816 | - |5645 | 11k| 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1567.73/1567.76 c 1531s| 2180k| 1221k| 0 | 0.0 |2072M|2816 | - |5645 | 14k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1578.33/1578.36 c 1541s| 2190k| 1225k| 0 | 0.0 |2077M|2816 | - |5645 |8520 | 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1583.23/1583.21 c 1546s| 2200k| 1233k| 0 | 0.0 |2087M|2816 | - |5645 |7842 | 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1588.34/1588.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1588.34/1588.31 c 1550s| 2210k| 1240k| 0 | 0.0 |2097M|2816 | - |5645 |8165 | 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1593.84/1593.85 c 1556s| 2220k| 1246k| 0 | 0.0 |2107M|2816 | - |5645 |8708 | 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1600.14/1600.15 c 1562s| 2230k| 1252k| 0 | 0.0 |2118M|2816 | - |5645 |9844 | 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1607.64/1607.65 c 1569s| 2240k| 1258k| 0 | 0.0 |2129M|2816 | - |5645 | 11k| 0 | 0 | 0 |1778k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1616.53/1616.55 c 1577s| 2250k| 1262k| 0 | 0.0 |2139M|2816 | - |5645 | 12k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1628.73/1628.77 c 1589s| 2260k| 1264k| 0 | 0.0 |2148M|2816 | - |5645 | 16k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1636.63/1636.66 c 1597s| 2270k| 1270k| 0 | 0.0 |2154M|2816 | - |5645 |7895 | 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1641.24/1641.23 c 1601s| 2280k| 1277k| 0 | 0.0 |2164M|2816 | - |5645 |7343 | 0 | 0 | 0 |1811k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1645.84/1645.86 c 1605s| 2290k| 1285k| 0 | 0.0 |2174M|2816 | - |5645 |6995 | 0 | 0 | 0 |1815k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1650.73/1650.76 c 1610s| 2300k| 1292k| 0 | 0.0 |2184M|2816 | - |5645 |7350 | 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1656.04/1656.03 c 1615s| 2310k| 1299k| 0 | 0.0 |2194M|2816 | - |5645 |7628 | 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1661.63/1661.65 c 1620s| 2320k| 1305k| 0 | 0.0 |2204M|2816 | - |5645 |8007 | 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1667.43/1667.49 c 1626s| 2330k| 1312k| 0 | 0.0 |2215M|2816 | - |5645 |8563 | 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1673.34/1673.33 c 1631s| 2340k| 1318k| 0 | 0.0 |2225M|2816 | - |5645 |8842 | 0 | 0 | 0 |1840k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1680.14/1680.18 c 1638s| 2350k| 1324k| 0 | 0.0 |2236M|2816 | - |5645 |9518 | 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1687.55/1687.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.55/1687.58 c 1645s| 2360k| 1329k| 0 | 0.0 |2246M|2816 | - |5645 | 10k| 0 | 0 | 0 |1855k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1695.24/1695.22 c 1652s| 2370k| 1334k| 0 | 0.0 |2257M|2816 | - |5645 | 10k| 0 | 0 | 0 |1862k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1703.03/1703.03 c 1660s| 2380k| 1339k| 0 | 0.0 |2267M|2816 | - |5645 | 11k| 0 | 0 | 0 |1871k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1711.74/1711.79 c 1668s| 2390k| 1344k| 0 | 0.0 |2276M|2816 | - |5645 | 12k| 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1722.04/1722.00 c 1678s| 2400k| 1347k| 0 | 0.0 |2286M|2816 | - |5645 | 12k| 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1733.94/1733.99 c 1689s| 2410k| 1350k| 0 | 0.0 |2293M|2816 | - |5645 | 13k| 0 | 0 | 0 |1903k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1745.94/1745.93 c 1701s| 2420k| 1352k| 0 | 0.0 |2298M|2816 | - |5645 |9066 | 0 | 0 | 0 |1915k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1750.84/1750.83 c 1705s| 2430k| 1360k| 0 | 0.0 |2307M|2816 | - |5645 |8051 | 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1755.94/1755.93 c 1710s| 2440k| 1367k| 0 | 0.0 |2317M|2816 | - |5645 |8365 | 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1761.54/1761.56 c 1715s| 2450k| 1374k| 0 | 0.0 |2327M|2816 | - |5645 |9138 | 0 | 0 | 0 |1928k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1767.74/1767.72 c 1721s| 2460k| 1380k| 0 | 0.0 |2338M|2816 | - |5645 | 10k| 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1775.04/1775.09 c 1728s| 2470k| 1385k| 0 | 0.0 |2348M|2816 | - |5645 | 11k| 0 | 0 | 0 |1941k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1784.24/1784.22 c 1737s| 2480k| 1389k| 0 | 0.0 |2359M|2816 | - |5645 | 13k| 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1796.44/1796.49 c 1749s| 2490k| 1391k| 0 | 0.0 |2368M|2816 | - |5645 | 16k| 0 | 0 | 0 |1964k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1752.37
1800.05/1800.00 c Solving Nodes : 2492107
1800.05/1800.00 c Primal Bound : +3.00000000000000e+00 (37 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.09 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/1800.09 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.05/1800.09 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80
1800.05/1800.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 -x54
1800.05/1800.09 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.05/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.05/1800.09 v -x1
1800.05/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.09 c Solving Time : 1752.37
1800.05/1800.09 c Original Problem :
1800.05/1800.09 c Problem name : HOME/instance-2693609-1277926431.wbo
1800.05/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.05/1800.09 c Presolved Problem :
1800.05/1800.09 c Problem name : t_HOME/instance-2693609-1277926431.wbo
1800.05/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.09 c Constraints : 5414 initial, 19972 maximal
1800.05/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c linear : 0.03 0 0 0 2707 0 1 0 0
1800.05/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.09 c root node : - 2648 - - 5296 - - - -
1800.05/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.09 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.09 c indicator : 2707 0 5680583 0 1545323 75 1380732 0 0 0
1800.05/1800.09 c linear : 2707 0 8057253 0 2095847 589079 46615023 0 0 0
1800.05/1800.09 c logicor : 0+ 0 3875333 0 0 66591 2788466 0 0 0
1800.05/1800.09 c countsols : 0 0 0 0 2095871 0 0 0 0 0
1800.05/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.09 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.09 c indicator : 16.66 0.00 7.13 0.00 9.53
1800.05/1800.09 c linear : 462.92 0.00 461.33 0.00 1.59
1800.05/1800.09 c logicor : 230.04 0.00 230.04 0.00 0.00
1800.05/1800.09 c countsols : 0.23 0.00 0.00 0.00 0.23
1800.05/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.09 c vbounds : 1.28 2 0 0
1800.05/1800.09 c rootredcost : 1.18 0 0 0
1800.05/1800.09 c pseudoobj : 404.70 8058718 1303 1356496
1800.05/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.09 c propagation : 37.98 656973 656973 3166003 19.7 184112 10.7 -
1800.05/1800.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.09 c pseudo solution : 0.02 56 56 284 32.4 180 10.1 -
1800.05/1800.09 c applied globally : - - - 1967708 17.8 - - -
1800.05/1800.09 c applied locally : - - - 7 319.9 - - -
1800.05/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.09 c redcost : 0.00 0 0 0 0 0
1800.05/1800.09 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.09 c intobj : 0.00 0 0 0 0 0
1800.05/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.09 c gomory : 0.00 0 0 0 0 0
1800.05/1800.09 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.09 c cmir : 0.00 0 0 0 0 0
1800.05/1800.09 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.09 c clique : 0.00 0 0 0 0 0
1800.05/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.09 c mcf : 0.00 0 0 0 0 0
1800.05/1800.09 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.09 c Pricers : Time Calls Vars
1800.05/1800.09 c problem variables: 0.00 0 0
1800.05/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.09 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.09 c inference : 39.73 2095837 0 0 0 0 4191674
1800.05/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.09 c random : 0.00 0 0 0 0 0 0
1800.05/1800.09 c Primal Heuristics : Time Calls Found
1800.05/1800.09 c LP solutions : 0.00 - 0
1800.05/1800.09 c pseudo solutions : 0.10 - 34
1800.05/1800.09 c oneopt : 0.60 0 0
1800.05/1800.09 c trivial : 0.08 2 2
1800.05/1800.09 c simplerounding : 0.00 0 0
1800.05/1800.09 c zirounding : 0.00 0 0
1800.05/1800.09 c rounding : 0.00 0 0
1800.05/1800.09 c shifting : 0.00 0 0
1800.05/1800.09 c intshifting : 0.00 0 0
1800.05/1800.09 c twoopt : 0.00 0 0
1800.05/1800.09 c fixandinfer : 0.00 0 0
1800.05/1800.09 c feaspump : 0.00 0 0
1800.05/1800.09 c coefdiving : 0.00 0 0
1800.05/1800.09 c pscostdiving : 0.00 0 0
1800.05/1800.09 c fracdiving : 0.00 0 0
1800.05/1800.09 c veclendiving : 0.00 0 0
1800.05/1800.09 c intdiving : 0.00 0 0
1800.05/1800.09 c actconsdiving : 0.00 0 0
1800.05/1800.09 c objpscostdiving : 0.00 0 0
1800.05/1800.09 c rootsoldiving : 0.00 0 0
1800.05/1800.09 c linesearchdiving : 0.00 0 0
1800.05/1800.09 c guideddiving : 0.00 0 0
1800.05/1800.09 c octane : 0.00 0 0
1800.05/1800.09 c rens : 0.00 0 0
1800.05/1800.09 c rins : 0.00 0 0
1800.05/1800.09 c localbranching : 0.00 0 0
1800.05/1800.09 c mutation : 0.00 0 0
1800.05/1800.09 c crossover : 0.00 0 0
1800.05/1800.09 c dins : 0.00 0 0
1800.05/1800.09 c undercover : 0.00 0 0
1800.05/1800.09 c nlp : 0.36 0 0
1800.05/1800.09 c trysol : 0.29 1 1
1800.05/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.09 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.09 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.09 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.09 c (at root node) : - 0 0 0.00 -
1800.05/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.09 c B&B Tree :
1800.05/1800.09 c number of runs : 1
1800.05/1800.09 c nodes : 2492107
1800.05/1800.09 c nodes (total) : 2492107
1800.05/1800.09 c nodes left : 1391772
1800.05/1800.09 c max depth : 2816
1800.05/1800.09 c max depth (total): 2816
1800.05/1800.09 c backtracks : 354477 (14.2%)
1800.05/1800.09 c delayed cutoffs : 289513
1800.05/1800.09 c repropagations : 1391269 (16062149 domain reductions, 260868 cutoffs)
1800.05/1800.09 c avg switch length: 46.24
1800.05/1800.09 c switching time : 490.90
1800.05/1800.09 c Solution :
1800.05/1800.09 c Solutions found : 37 (35 improvements)
1800.05/1800.09 c First Solution : +1.34313000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.09 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1226209 nodes, 845.59 seconds, depth 175, found by <relaxation>)
1800.05/1800.09 c Dual Bound : +0.00000000000000e+00
1800.05/1800.09 c Gap : infinite
1800.05/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.09 c Root Iterations : 0
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693609-1277926431/watcher-2693609-1277926431 -o /tmp/evaluation-result-2693609-1277926431/solver-2693609-1277926431 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693609-1277926431.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.85 1.97 1.99 3/178 17055 /proc/meminfo: memFree=31111496/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=8408 CPUtime=0 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 1576 0 0 0 0 0 0 0 21 0 1 0 133937781 8609792 1499 4089446400 4194304 7136930 140733862880368 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/17055/statm: 2102 1501 275 719 0 1381 0 [startup+0.105137 s] /proc/loadavg: 1.85 1.97 1.99 3/178 17055 /proc/meminfo: memFree=31111496/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=33676 CPUtime=0.09 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 7966 0 0 0 9 0 0 0 23 0 1 0 133937781 34484224 7535 4089446400 4194304 7136930 140733862880368 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.201116 s] /proc/loadavg: 1.85 1.97 1.99 3/178 17055 /proc/meminfo: memFree=31111496/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=34836 CPUtime=0.19 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 8832 0 0 0 19 0 0 0 23 0 1 0 133937781 35672064 7887 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 8709 7887 368 719 0 7988 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 34836 [startup+0.301099 s] /proc/loadavg: 1.85 1.97 1.99 3/178 17055 /proc/meminfo: memFree=31111496/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=36496 CPUtime=0.29 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 9238 0 0 0 28 1 0 0 23 0 1 0 133937781 37371904 8293 4089446400 4194304 7136930 140733862880368 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 9124 8293 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.701028 s] /proc/loadavg: 1.85 1.97 1.99 3/178 17055 /proc/meminfo: memFree=31111496/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=37636 CPUtime=0.69 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 9514 0 0 0 67 2 0 0 25 0 1 0 133937781 38539264 8569 4089446400 4194304 7136930 140733862880368 18446744073709551615 4407853 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 9409 8569 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50088 s] /proc/loadavg: 1.85 1.97 1.99 3/179 17056 /proc/meminfo: memFree=31077020/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=42316 CPUtime=1.49 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 10691 0 0 0 145 4 0 0 25 0 1 0 133937781 43331584 9746 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 10579 9746 390 719 0 9858 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42316 [startup+3.10059 s] /proc/loadavg: 1.85 1.97 1.99 3/179 17056 /proc/meminfo: memFree=31072688/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=45212 CPUtime=3.09 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 11444 0 0 0 302 7 0 0 25 0 1 0 133937781 46297088 10499 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 11303 10499 390 719 0 10582 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45212 [startup+6.301 s] /proc/loadavg: 1.86 1.97 1.99 3/179 17056 /proc/meminfo: memFree=31066160/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=54028 CPUtime=6.3 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 13618 0 0 0 617 13 0 0 25 0 1 0 133937781 55324672 12673 4089446400 4194304 7136930 140733862880368 18446744073709551615 4947391 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 13507 12673 391 719 0 12786 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 54028 [startup+12.7008 s] /proc/loadavg: 1.87 1.97 1.99 3/179 17056 /proc/meminfo: memFree=31044468/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=76472 CPUtime=12.69 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 19070 0 0 0 1245 24 0 0 25 0 1 0 133937781 78307328 18125 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 19118 18125 391 719 0 18397 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76472 [startup+25.5005 s] /proc/loadavg: 1.90 1.97 1.99 3/179 17057 /proc/meminfo: memFree=31009276/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=110544 CPUtime=25.49 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 27143 0 0 0 2505 44 0 0 25 0 1 0 133937781 113197056 26198 4089446400 4194304 7136930 140733862880368 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 27636 26198 391 719 0 26915 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 110544 [startup+51.1008 s] /proc/loadavg: 1.93 1.97 1.99 3/179 17057 /proc/meminfo: memFree=30939356/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=184332 CPUtime=51.09 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 45076 0 0 0 5018 91 0 0 25 0 1 0 133937781 188755968 44131 4089446400 4194304 7136930 140733862880368 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 46083 44131 391 719 0 45362 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 184332 [startup+102.3 s] /proc/loadavg: 1.97 1.97 1.99 3/179 17059 /proc/meminfo: memFree=30838368/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=280852 CPUtime=102.3 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 69311 0 0 0 10063 167 0 0 25 0 1 0 133937781 287592448 68366 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 70213 68366 391 719 0 69492 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 280852 [startup+162.3 s] /proc/loadavg: 1.99 1.97 1.99 3/179 17060 /proc/meminfo: memFree=30766784/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=353120 CPUtime=162.3 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 86797 0 0 0 15999 231 0 0 25 0 1 0 133937781 361594880 85852 4089446400 4194304 7136930 140733862880368 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 88280 85852 391 719 0 87559 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 353120 [startup+222.306 s] /proc/loadavg: 1.99 1.97 1.99 3/179 17062 /proc/meminfo: memFree=30659340/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=461880 CPUtime=222.3 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 112695 0 0 0 21894 336 0 0 25 0 1 0 133937781 472965120 111750 4089446400 4194304 7136930 140733862880368 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 115470 111750 391 719 0 114749 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 461880 [startup+282.301 s] /proc/loadavg: 1.99 1.97 1.99 3/179 17064 /proc/meminfo: memFree=30541112/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=579868 CPUtime=282.3 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 142376 0 0 0 27784 446 0 0 25 0 1 0 133937781 593784832 141431 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 144967 141431 391 719 0 144246 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 579868 [startup+342.301 s] /proc/loadavg: 1.99 1.97 1.99 3/179 17065 /proc/meminfo: memFree=30436780/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=679616 CPUtime=342.3 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 167601 0 0 0 33667 563 0 0 25 0 1 0 133937781 695926784 166656 4089446400 4194304 7136930 140733862880368 18446744073709551615 4999763 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 169904 166656 391 719 0 169183 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 679616 [startup+402.301 s] /proc/loadavg: 2.04 1.99 1.99 3/179 17067 /proc/meminfo: memFree=30316824/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=806300 CPUtime=402.3 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 197542 0 0 0 39553 677 0 0 25 0 1 0 133937781 825651200 196597 4089446400 4194304 7136930 140733862880368 18446744073709551615 5955627 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 201575 196597 391 719 0 200854 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 806300 [startup+462.301 s] /proc/loadavg: 2.01 1.99 1.99 3/179 17068 /proc/meminfo: memFree=30218076/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=902852 CPUtime=462.3 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 221770 0 0 0 45463 767 0 0 25 0 1 0 133937781 924520448 220825 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 225713 220825 391 719 0 224992 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 902852 [startup+522.301 s] /proc/loadavg: 2.00 1.99 1.99 3/179 17070 /proc/meminfo: memFree=30145984/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=973396 CPUtime=522.3 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 239356 0 0 0 51384 846 0 0 25 0 1 0 133937781 996757504 238411 4089446400 4194304 7136930 140733862880368 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 243349 238411 391 719 0 242628 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 973396 [startup+582.301 s] /proc/loadavg: 2.00 1.99 1.99 3/179 17072 /proc/meminfo: memFree=30073028/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=1042628 CPUtime=582.31 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 256756 0 0 0 57312 919 0 0 25 0 1 0 133937781 1067651072 255811 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 260657 255811 391 719 0 259936 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1042628 [startup+642.301 s] /proc/loadavg: 2.00 1.99 1.99 3/179 17073 /proc/meminfo: memFree=30011108/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=1103692 CPUtime=642.31 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 272035 0 0 0 63241 990 0 0 25 0 1 0 133937781 1130180608 271090 4089446400 4194304 7136930 140733862880368 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17055/statm: 275923 271090 391 719 0 275202 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1103692 [startup+702.301 s] ################ # More data... # ################ /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 399180 0 0 0 104608 1624 0 0 25 0 1 0 133937781 1647665152 398235 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17055/statm: 402262 398235 391 719 0 401541 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1609048 [startup+1122.3 s] /proc/loadavg: 1.89 1.97 1.99 3/197 17153 /proc/meminfo: memFree=29700440/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=1669188 CPUtime=1122.32 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 414310 0 0 0 110453 1779 0 0 25 0 1 0 133937781 1709248512 413365 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17055/statm: 417297 413365 391 719 0 416576 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1669188 [startup+1182.3 s] /proc/loadavg: 1.96 1.97 1.99 3/197 17155 /proc/meminfo: memFree=29650752/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=1717172 CPUtime=1182.33 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 426255 0 0 0 116226 2007 0 0 25 0 1 0 133937781 1758384128 425310 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17055/statm: 429293 425310 391 719 0 428572 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1717172 [startup+1242.3 s] /proc/loadavg: 1.98 1.97 1.99 3/197 17156 /proc/meminfo: memFree=29579020/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=1789172 CPUtime=1242.32 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 444336 0 0 0 121956 2276 0 0 25 0 1 0 133937781 1832112128 443391 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17055/statm: 447293 443391 391 719 0 446572 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1789172 [startup+1302.3 s] /proc/loadavg: 1.99 1.97 1.99 3/197 17158 /proc/meminfo: memFree=29508416/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=1874232 CPUtime=1302.33 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 461559 0 0 0 127713 2520 0 0 25 0 1 0 133937781 1919213568 460614 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17055/statm: 468558 460614 391 719 0 467837 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1874232 [startup+1362.3 s] /proc/loadavg: 2.12 2.00 2.00 3/197 17159 /proc/meminfo: memFree=29420532/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=1955776 CPUtime=1362.32 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 482194 0 0 0 133443 2789 0 0 25 0 1 0 133937781 2002714624 481249 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17055/statm: 488944 481249 391 719 0 488223 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1955776 [startup+1422.3 s] /proc/loadavg: 2.04 2.00 2.00 3/197 17161 /proc/meminfo: memFree=29349788/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=2025200 CPUtime=1422.34 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 499772 0 0 0 139185 3049 0 0 25 0 1 0 133937781 2073804800 498827 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17055/statm: 506300 498827 391 719 0 505579 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2025200 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 17163 /proc/meminfo: memFree=29266404/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=2108284 CPUtime=1482.33 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 520506 0 0 0 144926 3307 0 0 25 0 1 0 133937781 2158882816 519561 4089446400 4194304 7136930 140733862880368 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17055/statm: 527071 519561 391 719 0 526350 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2108284 [startup+1542.31 s] /proc/loadavg: 2.07 2.02 2.00 3/197 17164 /proc/meminfo: memFree=29185496/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=2187512 CPUtime=1542.34 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 540610 0 0 0 150654 3580 0 0 25 0 1 0 133937781 2240012288 539665 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17055/statm: 546878 539665 391 719 0 546157 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2187512 [startup+1602.3 s] /proc/loadavg: 2.09 2.03 2.00 3/197 17212 /proc/meminfo: memFree=29122548/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=2257852 CPUtime=1602.33 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 558420 0 0 0 156367 3866 0 0 25 0 1 0 133937781 2312040448 557475 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17055/statm: 564463 557475 391 719 0 563742 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2257852 [startup+1662.3 s] /proc/loadavg: 2.03 2.02 2.00 3/197 17222 /proc/meminfo: memFree=29037100/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=2339104 CPUtime=1662.34 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 578925 0 0 0 162084 4150 0 0 25 0 1 0 133937781 2395242496 577980 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17055/statm: 584776 577980 391 719 0 584055 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2339104 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 17224 /proc/meminfo: memFree=28950480/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=2425136 CPUtime=1722.34 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 600631 0 0 0 167804 4430 0 0 25 0 1 0 133937781 2483339264 599686 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17055/statm: 606284 599686 391 719 0 605563 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2425136 [startup+1782.3 s] /proc/loadavg: 2.05 2.02 2.00 3/197 17226 /proc/meminfo: memFree=28878360/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=2495968 CPUtime=1782.34 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 618436 0 0 0 173528 4706 0 0 25 0 1 0 133937781 2555871232 617491 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17055/statm: 623992 617491 391 719 0 623271 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2495968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.02 2.00 3/197 17226 /proc/meminfo: memFree=28865320/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=2507976 CPUtime=1800.05 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 621440 0 0 0 175240 4765 0 0 25 0 1 0 133937781 2568167424 620495 4089446400 4194304 7136930 140733862880368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17055/statm: 626994 620495 391 719 0 626273 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2507976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -17055 Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.03 2.02 2.00 3/198 17227 /proc/meminfo: memFree=28865188/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=2507976 CPUtime=1800.75 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 621462 0 0 0 175310 4765 0 0 18 0 1 0 133937781 2568167424 620517 4089446400 4194304 7136930 140733862880368 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17055/statm: 626994 620517 397 719 0 626273 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (KiB) 2507976 [startup+1801.5 s] /proc/loadavg: 2.03 2.02 2.00 3/198 17227 /proc/meminfo: memFree=28865188/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=2507976 CPUtime=1801.54 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 621462 0 0 0 175389 4765 0 0 19 0 1 0 133937781 2568167424 620517 4089446400 4194304 7136930 140733862880368 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17055/statm: 626994 620517 397 719 0 626273 0 Current children cumulated CPU time (s) 1801.54 Current children cumulated vsize (KiB) 2507976 [startup+1801.91 s] /proc/loadavg: 2.03 2.02 2.00 3/198 17227 /proc/meminfo: memFree=28865188/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=2507976 CPUtime=1801.95 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 621462 0 0 0 175430 4765 0 0 20 0 1 0 133937781 2568167424 620517 4089446400 4194304 7136930 140733862880368 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17055/statm: 626994 620517 397 719 0 626273 0 Current children cumulated CPU time (s) 1801.95 Current children cumulated vsize (KiB) 2507976 [startup+1802 s] /proc/loadavg: 2.03 2.02 2.00 3/198 17227 /proc/meminfo: memFree=28865188/32951124 swapFree=67111528/67111528 [pid=17055] ppid=17053 vsize=2507976 CPUtime=1802.04 /proc/17055/stat : 17055 (pbscip.linux.x8) R 17053 17055 17030 0 -1 4202496 621462 0 0 0 175439 4765 0 0 20 0 1 0 133937781 2568167424 620517 4089446400 4194304 7136930 140733862880368 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/17055/statm: 626994 620517 397 719 0 626273 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2507976 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.14 CPU user time (s): 1754.4 CPU system time (s): 47.7357 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2507976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1754.4 system time used= 47.7357 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 621462 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= 5 involuntary context switches= 1755 runsolver used 2.46563 second user time and 5.80312 second system time The end
Begin job on node142 at 2010-06-30 21:33:51 IDJOB=2693609 IDBENCH=79269 IDSOLVER=1206 FILE ID=node142/2693609-1277926431 PBS_JOBID= 11197377 Free space on /tmp= 74172 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.1900670234--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-2693609-1277926431/watcher-2693609-1277926431 -o /tmp/evaluation-result-2693609-1277926431/solver-2693609-1277926431 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693609-1277926431.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 68083219a398085883a8cf7e46688b9f RANDOM SEED=475887064 node142.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.827 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.65 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.827 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.16 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.827 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.827 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.827 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.827 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.827 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: 31112024 kB Buffers: 205104 kB Cached: 1079732 kB SwapCached: 0 kB Active: 841604 kB Inactive: 852628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31112024 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3252 kB Writeback: 0 kB AnonPages: 409772 kB Mapped: 17444 kB Slab: 80832 kB PageTables: 5084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 579716 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= 74176 MiB End job on node142 at 2010-06-30 22:03:53