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.17 | 1802.08 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo |
| MD5SUM | 2ef467464a5a95a7940c8f8fcd712c57 |
| 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 | 249.227 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 135865 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 135864 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 697 |
| 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-2693704-1277930941.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 135864
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.358640e+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.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.1s) 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.14
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.22 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.22 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.358640e+05 | Inf
2.78/2.87 o 428
2.78/2.87 c * 2.8s| 8178 | 5198 | 0 | 0.0 | 23M|2816 | - |5645 |6824 | 0 | 0 | 0 |1410 | 0 | 0.000000e+00 | 4.280000e+02 | Inf
2.99/3.09 o 403
2.99/3.09 c * 3.0s| 8609 | 5595 | 0 | 0.0 | 23M|2816 | - |5645 |6877 | 0 | 0 | 0 |1463 | 0 | 0.000000e+00 | 4.030000e+02 | Inf
3.09/3.10 o 388
3.09/3.10 c * 3.0s| 8611 | 5594 | 0 | 0.0 | 23M|2816 | - |5645 |6877 | 0 | 0 | 0 |1463 | 0 | 0.000000e+00 | 3.880000e+02 | Inf
3.19/3.28 o 373
3.19/3.28 c * 3.2s| 8979 | 5946 | 0 | 0.0 | 24M|2816 | - |5645 |6935 | 0 | 0 | 0 |1521 | 0 | 0.000000e+00 | 3.730000e+02 | Inf
3.29/3.37 o 370
3.29/3.37 c * 3.3s| 9194 | 6147 | 0 | 0.0 | 24M|2816 | - |5645 |6973 | 0 | 0 | 0 |1559 | 0 | 0.000000e+00 | 3.700000e+02 | Inf
3.39/3.42 o 363
3.39/3.42 c * 3.3s| 9300 | 6246 | 0 | 0.0 | 24M|2816 | - |5645 |6973 | 0 | 0 | 0 |1559 | 0 | 0.000000e+00 | 3.630000e+02 | Inf
3.39/3.42 o 336
3.39/3.42 c * 3.3s| 9301 | 6228 | 0 | 0.0 | 24M|2816 | - |5645 |6973 | 0 | 0 | 0 |1559 | 0 | 0.000000e+00 | 3.360000e+02 | Inf
3.39/3.47 o 325
3.39/3.47 c * 3.4s| 9409 | 6319 | 0 | 0.0 | 24M|2816 | - |5645 |6991 | 0 | 0 | 0 |1577 | 0 | 0.000000e+00 | 3.250000e+02 | Inf
3.49/3.55 o 293
3.49/3.55 c * 3.5s| 9613 | 6475 | 0 | 0.0 | 24M|2816 | - |5645 |7031 | 0 | 0 | 0 |1617 | 0 | 0.000000e+00 | 2.930000e+02 | Inf
3.49/3.55 o 292
3.49/3.55 c * 3.5s| 9614 | 6471 | 0 | 0.0 | 24M|2816 | - |5645 |7031 | 0 | 0 | 0 |1617 | 0 | 0.000000e+00 | 2.920000e+02 | Inf
3.59/3.60 o 280
3.59/3.60 c * 3.5s| 9822 | 6558 | 0 | 0.0 | 24M|2816 | - |5645 |7037 | 0 | 0 | 0 |1623 | 0 | 0.000000e+00 | 2.800000e+02 | Inf
3.59/3.65 o 272
3.59/3.65 c * 3.5s| 9927 | 6646 | 0 | 0.0 | 25M|2816 | - |5645 |7043 | 0 | 0 | 0 |1629 | 0 | 0.000000e+00 | 2.720000e+02 | Inf
3.59/3.68 c 3.6s| 10000 | 6719 | 0 | 0.0 | 25M|2816 | - |5645 |7043 | 0 | 0 | 0 |1629 | 0 | 0.000000e+00 | 2.720000e+02 | Inf
3.69/3.74 o 267
3.69/3.74 c * 3.6s| 10153 | 6784 | 0 | 0.0 | 25M|2816 | - |5645 |7083 | 0 | 0 | 0 |1669 | 0 | 0.000000e+00 | 2.670000e+02 | Inf
3.69/3.78 o 243
3.69/3.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.69/3.78 c * 3.7s| 10247 | 6766 | 0 | 0.0 | 25M|2816 | - |5645 |7115 | 0 | 0 | 0 |1701 | 0 | 0.000000e+00 | 2.430000e+02 | Inf
3.69/3.78 o 201
3.69/3.78 c * 3.7s| 10248 | 6692 | 0 | 0.0 | 25M|2816 | - |5645 |7115 | 0 | 0 | 0 |1701 | 0 | 0.000000e+00 | 2.010000e+02 | Inf
3.79/3.80 o 179
3.79/3.80 c * 3.7s| 10317 | 6673 | 0 | 0.0 | 25M|2816 | - |5645 |7125 | 0 | 0 | 0 |1711 | 0 | 0.000000e+00 | 1.790000e+02 | Inf
3.89/3.95 o 122
3.89/3.95 c * 3.8s| 10743 | 6869 | 0 | 0.0 | 25M|2816 | - |5645 |7266 | 0 | 0 | 0 |1859 | 0 | 0.000000e+00 | 1.220000e+02 | Inf
6.99/7.06 c 6.9s| 20000 | 14586 | 0 | 0.0 | 36M|2816 | - |5645 |8336 | 0 | 0 | 0 |8812 | 0 | 0.000000e+00 | 1.220000e+02 | Inf
11.39/11.48 c 11.2s| 30000 | 21725 | 0 | 0.0 | 48M|2816 | - |5645 |9631 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.220000e+02 | Inf
14.49/14.52 o 121
14.49/14.52 c *14.2s| 34123 | 23902 | 0 | 0.0 | 53M|2816 | - |5645 |9400 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
14.49/14.52 o 116
14.49/14.52 c *14.2s| 34124 | 23875 | 0 | 0.0 | 53M|2816 | - |5645 |9400 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
17.09/17.15 o 114
17.09/17.15 c *16.8s| 37957 | 27406 | 0 | 0.0 | 63M|2816 | - |5645 |8702 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
17.39/17.45 o 113
17.39/17.45 c *17.1s| 38362 | 27755 | 0 | 0.0 | 64M|2816 | - |5645 |8661 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
17.89/17.96 o 109
17.89/17.96 c *17.6s| 39024 | 28229 | 0 | 0.0 | 65M|2816 | - |5645 |8655 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
17.89/17.96 o 103
17.89/17.96 c *17.6s| 39025 | 28141 | 0 | 0.0 | 65M|2816 | - |5645 |8655 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
18.89/18.95 c 18.6s| 40000 | 28945 | 0 | 0.0 | 69M|2816 | - |5645 |8925 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
19.39/19.44 o 92
19.39/19.44 c *19.1s| 40768 | 29153 | 0 | 0.0 | 67M|2816 | - |5645 |8547 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
19.59/19.61 o 90
19.59/19.61 c *19.2s| 41015 | 29307 | 0 | 0.0 | 67M|2816 | - |5645 |8284 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
20.59/20.69 o 86
20.59/20.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.59/20.69 c *20.3s| 42686 | 30672 | 0 | 0.0 | 69M|2816 | - |5645 |7874 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
20.99/21.09 o 70
20.99/21.09 c *20.7s| 43242 | 30327 | 0 | 0.0 | 67M|2816 | - |5645 |7873 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
20.99/21.09 o 64
20.99/21.09 c *20.7s| 43243 | 29952 | 0 | 0.0 | 66M|2816 | - |5645 |7873 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
21.39/21.47 o 63
21.39/21.47 c *21.1s| 43678 | 30276 | 0 | 0.0 | 68M|2816 | - |5645 |8047 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
25.60/25.64 o 58
25.60/25.64 c *25.1s| 49197 | 34632 | 0 | 0.0 | 83M|2816 | - |5645 |7100 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
25.60/25.64 o 52
25.60/25.64 c *25.1s| 49198 | 34260 | 0 | 0.0 | 81M|2816 | - |5645 |7100 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
26.19/26.26 c 25.7s| 50000 | 34856 | 0 | 0.0 | 83M|2816 | - |5645 |7389 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
27.69/27.70 o 51
27.69/27.70 c *27.1s| 52818 | 37247 | 0 | 0.0 | 86M|2816 | - |5645 |7578 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
30.39/30.48 o 45
30.39/30.48 c *29.9s| 57322 | 40798 | 0 | 0.0 | 91M|2816 | - |5645 |7530 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
31.29/31.32 o 44
31.29/31.32 c *30.7s| 58485 | 41727 | 0 | 0.0 | 92M|2816 | - |5645 |7322 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
31.29/31.36 o 33
31.29/31.36 c *30.8s| 58552 | 40976 | 0 | 0.0 | 89M|2816 | - |5645 |7331 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
31.59/31.69 o 28
31.59/31.69 c *31.1s| 59325 | 41290 | 0 | 0.0 | 89M|2816 | - |5645 |7376 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
31.90/31.98 c 31.4s| 60000 | 41896 | 0 | 0.0 | 89M|2816 | - |5645 |7206 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
33.39/33.44 o 25
33.39/33.44 c *32.8s| 63233 | 44343 | 0 | 0.0 | 93M|2816 | - |5645 |8085 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
34.79/34.82 o 24
34.79/34.82 c *34.1s| 66665 | 47120 | 0 | 0.0 | 96M|2816 | - |5645 |8415 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
35.29/35.35 o 18
35.29/35.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.29/35.35 c *34.6s| 68040 | 47777 | 0 | 0.0 | 96M|2816 | - |5645 |8268 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
36.10/36.17 c 35.5s| 70000 | 49358 | 0 | 0.0 | 98M|2816 | - |5645 |8728 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
39.90/39.90 c 39.1s| 80000 | 57829 | 0 | 0.0 | 108M|2816 | - |5645 |8881 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
43.50/43.50 c 42.6s| 90000 | 66249 | 0 | 0.0 | 119M|2816 | - |5645 |6815 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
47.39/47.48 c 46.5s|100000 | 74237 | 0 | 0.0 | 129M|2816 | - |5645 |7389 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
51.70/51.79 c 50.7s|110000 | 81980 | 0 | 0.0 | 139M|2816 | - |5645 |7891 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
56.49/56.53 c 55.4s|120000 | 89378 | 0 | 0.0 | 150M|2816 | - |5645 |8274 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
61.40/61.47 c 60.2s|130000 | 96620 | 0 | 0.0 | 160M|2816 | - |5645 |8498 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
66.89/66.99 c 65.7s|140000 |103336 | 0 | 0.0 | 172M|2816 | - |5645 |9142 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
73.10/73.12 c 71.7s|150000 |109512 | 0 | 0.0 | 183M|2816 | - |5645 |9611 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
79.39/79.47 c 78.0s|160000 |115511 | 0 | 0.0 | 194M|2816 | - |5645 |9737 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
85.90/85.97 c 84.3s|170000 |121366 | 0 | 0.0 | 205M|2816 | - |5645 | 10k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
92.59/92.65 c 90.9s|180000 |127118 | 0 | 0.0 | 216M|2816 | - |5645 | 11k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
100.39/100.43 c 98.6s|190000 |132006 | 0 | 0.0 | 226M|2816 | - |5645 | 12k| 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
110.70/110.78 c 109s|200000 |133097 | 0 | 0.0 | 235M|2816 | - |5645 | 15k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
112.70/112.75 o 10
112.70/112.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.70/112.75 c * 111s|201389 |131007 | 0 | 0.0 | 231M|2816 | - |5645 | 16k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
113.09/113.18 o 8
113.09/113.18 c * 111s|202142 |131436 | 0 | 0.0 | 230M|2816 | - |5645 | 13k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
116.99/117.02 c 115s|210000 |137943 | 0 | 0.0 | 236M|2816 | - |5645 |7540 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
123.89/123.90 o 6
123.89/123.90 c * 122s|218166 |142217 | 0 | 0.0 | 245M|2816 | - |5645 |8218 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
124.79/124.81 c 123s|220000 |143722 | 0 | 0.0 | 247M|2816 | - |5645 |7771 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
130.09/130.19 o 4
130.09/130.19 c * 128s|227284 |147812 | 0 | 0.0 | 255M|2816 | - |5645 | 11k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
132.10/132.19 c 130s|230000 |149206 | 0 | 0.0 | 258M|2816 | - |5645 |8235 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
133.10/133.12 o 2
133.10/133.12 c * 131s|231943 |148959 | 0 | 0.0 | 256M|2816 | - |5645 |8003 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
137.70/137.74 c 135s|240000 |155419 | 0 | 0.0 | 265M|2816 | - |5645 |8722 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
145.10/145.11 c 143s|250000 |162394 | 0 | 0.0 | 276M|2816 | - |5645 | 11k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
155.10/155.16 c 153s|260000 |167538 | 0 | 0.0 | 285M|2816 | - |5645 |9710 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
161.10/161.13 c 158s|270000 |174064 | 0 | 0.0 | 293M|2816 | - |5645 | 11k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
166.69/166.76 c 164s|280000 |181180 | 0 | 0.0 | 302M|2816 | - |5645 | 10k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
174.10/174.11 c 171s|290000 |187678 | 0 | 0.0 | 313M|2816 | - |5645 | 11k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
180.70/180.76 c 178s|300000 |194301 | 0 | 0.0 | 324M|2816 | - |5645 | 13k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
187.01/187.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.01/187.01 c 184s|310000 |201400 | 0 | 0.0 | 334M|2816 | - |5645 | 12k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
194.60/194.62 c 191s|320000 |207654 | 0 | 0.0 | 347M|2816 | - |5645 | 12k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
202.00/202.08 c 199s|330000 |213939 | 0 | 0.0 | 358M|2816 | - |5645 | 13k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
207.10/207.14 c 204s|340000 |222128 | 0 | 0.0 | 369M|2816 | - |5645 | 13k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
214.70/214.71 c 211s|350000 |228911 | 0 | 0.0 | 382M|2816 | - |5645 | 16k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
223.90/223.90 c 220s|360000 |234753 | 0 | 0.0 | 395M|2816 | - |5645 | 15k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
232.11/232.11 c 228s|370000 |240839 | 0 | 0.0 | 416M|2816 | - |5645 | 13k| 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
236.61/236.65 c 233s|380000 |248667 | 0 | 0.0 | 425M|2816 | - |5645 | 12k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
241.80/241.83 c 238s|390000 |255726 | 0 | 0.0 | 435M|2816 | - |5645 | 13k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
247.90/247.98 c 244s|400000 |261840 | 0 | 0.0 | 444M|2816 | - |5645 | 13k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
252.50/252.59 c 248s|410000 |269368 | 0 | 0.0 | 453M|2816 | - |5645 | 13k| 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
258.20/258.22 c 254s|420000 |276098 | 0 | 0.0 | 462M|2816 | - |5645 | 13k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
264.10/264.16 c 260s|430000 |282634 | 0 | 0.0 | 472M|2816 | - |5645 | 13k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
270.00/270.02 c 266s|440000 |289118 | 0 | 0.0 | 482M|2816 | - |5645 | 13k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
275.70/275.72 c 271s|450000 |295810 | 0 | 0.0 | 492M|2816 | - |5645 | 15k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
280.51/280.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.51/280.55 c 276s|460000 |303578 | 0 | 0.0 | 501M|2816 | - |5645 | 13k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
286.60/286.60 c 282s|470000 |310016 | 0 | 0.0 | 512M|2816 | - |5645 | 15k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
292.10/292.14 c 287s|480000 |316937 | 0 | 0.0 | 520M|2816 | - |5645 | 13k| 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
297.60/297.65 c 293s|490000 |323765 | 0 | 0.0 | 530M|2816 | - |5645 | 13k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
302.60/302.68 c 298s|500000 |330863 | 0 | 0.0 | 538M|2816 | - |5645 | 13k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
307.50/307.59 c 302s|510000 |337999 | 0 | 0.0 | 547M|2816 | - |5645 | 14k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
312.11/312.13 c 307s|520000 |345746 | 0 | 0.0 | 556M|2816 | - |5645 | 13k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
316.90/316.90 c 311s|530000 |353283 | 0 | 0.0 | 565M|2816 | - |5645 | 13k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
321.80/321.81 c 316s|540000 |360650 | 0 | 0.0 | 574M|2816 | - |5645 | 13k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
326.80/326.89 c 321s|550000 |367889 | 0 | 0.0 | 583M|2816 | - |5645 | 12k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
331.11/331.19 c 326s|560000 |375800 | 0 | 0.0 | 592M|2816 | - |5645 | 13k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
336.11/336.20 c 330s|570000 |383055 | 0 | 0.0 | 600M|2816 | - |5645 | 13k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
342.11/342.11 c 336s|580000 |389422 | 0 | 0.0 | 610M|2816 | - |5645 | 15k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
346.52/346.53 c 341s|590000 |397274 | 0 | 0.0 | 619M|2816 | - |5645 | 14k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
351.30/351.33 c 345s|600000 |404648 | 0 | 0.0 | 627M|2816 | - |5645 | 13k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
356.21/356.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
356.21/356.24 c 350s|610000 |411929 | 0 | 0.0 | 636M|2816 | - |5645 | 12k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
361.50/361.59 c 355s|620000 |418727 | 0 | 0.0 | 645M|2816 | - |5645 | 14k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
367.31/367.32 c 361s|630000 |425799 | 0 | 0.0 | 655M|2816 | - |5645 | 14k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
373.61/373.63 c 367s|640000 |432434 | 0 | 0.0 | 665M|2816 | - |5645 | 14k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
380.52/380.55 c 374s|650000 |438660 | 0 | 0.0 | 676M|2816 | - |5645 | 14k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
387.51/387.57 c 381s|660000 |444756 | 0 | 0.0 | 686M|2816 | - |5645 | 14k| 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
394.61/394.69 c 388s|670000 |450749 | 0 | 0.0 | 696M|2816 | - |5645 | 14k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
402.21/402.21 c 395s|680000 |456520 | 0 | 0.0 | 707M|2816 | - |5645 | 15k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
410.01/410.05 c 403s|690000 |462107 | 0 | 0.0 | 717M|2816 | - |5645 | 15k| 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
418.31/418.39 c 411s|700000 |467404 | 0 | 0.0 | 727M|2816 | - |5645 | 15k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
426.61/426.66 c 419s|710000 |472759 | 0 | 0.0 | 738M|2816 | - |5645 | 15k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
434.90/434.98 c 428s|720000 |477968 | 0 | 0.0 | 748M|2816 | - |5645 | 16k| 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
443.81/443.85 c 436s|730000 |482973 | 0 | 0.0 | 758M|2816 | - |5645 | 16k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
453.12/453.14 c 446s|740000 |487716 | 0 | 0.0 | 768M|2816 | - |5645 | 16k| 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
462.21/462.20 c 455s|750000 |492618 | 0 | 0.0 | 779M|2816 | - |5645 | 16k| 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
471.51/471.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.51/471.59 c 464s|760000 |497174 | 0 | 0.0 | 788M|2816 | - |5645 | 17k| 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
481.61/481.66 c 474s|770000 |501406 | 0 | 0.0 | 799M|2816 | - |5645 | 17k| 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
491.62/491.60 c 484s|780000 |505865 | 0 | 0.0 | 809M|2816 | - |5645 | 17k| 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
502.11/502.13 c 494s|790000 |509799 | 0 | 0.0 | 818M|2816 | - |5645 | 17k| 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
513.51/513.58 c 505s|800000 |513180 | 0 | 0.0 | 828M|2816 | - |5645 | 18k| 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
523.91/523.96 c 516s|810000 |517366 | 0 | 0.0 | 838M|2816 | - |5645 | 17k| 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
535.32/535.39 c 527s|820000 |520683 | 0 | 0.0 | 847M|2816 | - |5645 | 18k| 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
547.51/547.54 c 539s|830000 |523695 | 0 | 0.0 | 856M|2816 | - |5645 | 18k| 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
560.22/560.29 c 552s|840000 |526331 | 0 | 0.0 | 865M|2816 | - |5645 | 18k| 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
571.92/571.99 c 563s|850000 |529775 | 0 | 0.0 | 875M|2816 | - |5645 | 18k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
585.41/585.44 c 577s|860000 |531948 | 0 | 0.0 | 883M|2816 | - |5645 | 19k| 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
599.31/599.39 c 590s|870000 |533961 | 0 | 0.0 | 891M|2816 | - |5645 | 20k| 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
613.72/613.72 c 605s|880000 |535646 | 0 | 0.0 | 900M|2816 | - |5645 | 20k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
628.32/628.31 c 619s|890000 |537039 | 0 | 0.0 | 907M|2816 | - |5645 | 20k| 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
644.12/644.11 c 635s|900000 |537564 | 0 | 0.0 | 913M|2816 | - |5645 | 22k| 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
659.72/659.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.72/659.79 c 650s|910000 |538159 | 0 | 0.0 | 920M|2816 | - |5645 | 22k| 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
677.32/677.37 c 668s|920000 |537581 | 0 | 0.0 | 925M|2816 | - |5645 | 23k| 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
696.42/696.49 c 687s|930000 |535751 | 0 | 0.0 | 927M|2816 | - |5645 | 25k| 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
718.82/718.82 c 709s|940000 |533175 | 0 | 0.0 | 926M|2816 | - |5645 | 27k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
733.02/733.04 c 723s|950000 |536208 | 0 | 0.0 | 925M|2816 | - |5645 |9954 | 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
738.22/738.20 c 728s|960000 |543604 | 0 | 0.0 | 935M|2816 | - |5645 |9292 | 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
743.83/743.81 c 734s|970000 |550527 | 0 | 0.0 | 946M|2816 | - |5645 |9603 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
750.02/750.02 c 740s|980000 |556879 | 0 | 0.0 | 957M|2816 | - |5645 | 10k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
757.03/757.07 c 747s|990000 |562601 | 0 | 0.0 | 969M|2816 | - |5645 | 10k| 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
764.93/764.93 c 754s| 1000k|567731 | 0 | 0.0 | 981M|2816 | - |5645 | 11k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
774.34/774.32 c 764s| 1010k|571721 | 0 | 0.0 | 992M|2816 | - |5645 | 13k| 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
786.93/786.97 c 776s| 1020k|573330 | 0 | 0.0 |1001M|2816 | - |5645 | 16k| 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
792.53/792.53 c 782s| 1030k|580466 | 0 | 0.0 |1007M|2816 | - |5645 |6815 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
797.32/797.40 c 786s| 1040k|587513 | 0 | 0.0 |1017M|2816 | - |5645 |7695 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
803.13/803.19 c 792s| 1050k|593774 | 0 | 0.0 |1028M|2816 | - |5645 |9033 | 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
810.83/810.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
810.83/810.89 c 800s| 1060k|598643 | 0 | 0.0 |1040M|2816 | - |5645 | 10k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
820.23/820.20 c 809s| 1070k|602265 | 0 | 0.0 |1050M|2816 | - |5645 | 12k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
831.83/831.85 c 820s| 1080k|604340 | 0 | 0.0 |1056M|2816 | - |5645 | 10k| 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
835.94/835.97 c 824s| 1090k|612432 | 0 | 0.0 |1065M|2816 | - |5645 |5639 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
840.13/840.14 c 828s| 1100k|620217 | 0 | 0.0 |1075M|2816 | - |5645 |5758 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
844.74/844.72 c 833s| 1110k|627542 | 0 | 0.0 |1085M|2816 | - |5645 |6297 | 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
849.43/849.42 c 837s| 1120k|634771 | 0 | 0.0 |1094M|2816 | - |5645 |6655 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
854.83/854.89 c 843s| 1130k|641370 | 0 | 0.0 |1105M|2816 | - |5645 |6988 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
860.43/860.47 c 848s| 1140k|647842 | 0 | 0.0 |1115M|2816 | - |5645 |7329 | 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
866.33/866.38 c 854s| 1150k|654008 | 0 | 0.0 |1126M|2816 | - |5645 |7646 | 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
872.33/872.38 c 860s| 1160k|660140 | 0 | 0.0 |1136M|2816 | - |5645 |7963 | 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
879.03/879.02 c 866s| 1170k|665739 | 0 | 0.0 |1146M|2816 | - |5645 |8511 | 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
885.94/885.91 c 873s| 1180k|671126 | 0 | 0.0 |1156M|2816 | - |5645 |8841 | 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
892.93/892.95 c 880s| 1190k|676424 | 0 | 0.0 |1166M|2816 | - |5645 |9318 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
900.64/900.64 c 888s| 1200k|681193 | 0 | 0.0 |1175M|2816 | - |5645 |9755 | 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
908.93/908.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.93/908.91 c 896s| 1210k|685580 | 0 | 0.0 |1184M|2816 | - |5645 | 10k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
918.34/918.30 c 905s| 1220k|689230 | 0 | 0.0 |1193M|2816 | - |5645 | 11k| 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
929.13/929.14 c 916s| 1230k|692059 | 0 | 0.0 |1201M|2816 | - |5645 | 13k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
939.34/939.39 c 926s| 1240k|695277 | 0 | 0.0 |1206M|2816 | - |5645 |9021 | 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
945.13/945.17 c 932s| 1250k|701479 | 0 | 0.0 |1213M|2816 | - |5645 |6821 | 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
949.94/949.98 c 936s| 1260k|708425 | 0 | 0.0 |1222M|2816 | - |5645 |7002 | 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
955.03/955.01 c 941s| 1270k|715236 | 0 | 0.0 |1231M|2816 | - |5645 |7391 | 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
960.43/960.46 c 947s| 1280k|721704 | 0 | 0.0 |1241M|2816 | - |5645 |8032 | 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
966.73/966.78 c 953s| 1290k|727497 | 0 | 0.0 |1251M|2816 | - |5645 |8965 | 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
973.64/973.63 c 960s| 1300k|732837 | 0 | 0.0 |1261M|2816 | - |5645 | 10k| 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
981.63/981.68 c 967s| 1310k|737303 | 0 | 0.0 |1271M|2816 | - |5645 | 11k| 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
991.14/991.17 c 977s| 1320k|740800 | 0 | 0.0 |1281M|2816 | - |5645 | 12k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1002.33/1002.35 c 988s| 1330k|743148 | 0 | 0.0 |1289M|2816 | - |5645 | 14k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1009.03/1009.06 c 994s| 1340k|749299 | 0 | 0.0 |1295M|2816 | - |5645 |7090 | 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1013.53/1013.56 c 999s| 1350k|756731 | 0 | 0.0 |1304M|2816 | - |5645 |7055 | 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1018.33/1018.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.33/1018.38 c 1004s| 1360k|763836 | 0 | 0.0 |1313M|2816 | - |5645 |7697 | 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1023.64/1023.68 c 1009s| 1370k|770510 | 0 | 0.0 |1323M|2816 | - |5645 |8359 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1029.43/1029.41 c 1014s| 1380k|776835 | 0 | 0.0 |1332M|2816 | - |5645 |9160 | 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1035.64/1035.66 c 1021s| 1390k|782793 | 0 | 0.0 |1341M|2816 | - |5645 | 10k| 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1042.94/1042.90 c 1028s| 1400k|787980 | 0 | 0.0 |1350M|2816 | - |5645 | 11k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1052.24/1052.23 c 1037s| 1410k|791753 | 0 | 0.0 |1359M|2816 | - |5645 | 12k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1061.04/1061.08 c 1046s| 1420k|795988 | 0 | 0.0 |1367M|2816 | - |5645 | 10k| 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1067.34/1067.38 c 1052s| 1430k|802038 | 0 | 0.0 |1375M|2816 | - |5645 |8396 | 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1072.34/1072.31 c 1057s| 1440k|809123 | 0 | 0.0 |1383M|2816 | - |5645 |8254 | 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1077.95/1077.93 c 1062s| 1450k|815632 | 0 | 0.0 |1393M|2816 | - |5645 |9085 | 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1083.64/1083.60 c 1068s| 1460k|822058 | 0 | 0.0 |1402M|2816 | - |5645 |9586 | 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1090.15/1090.12 c 1074s| 1470k|827758 | 0 | 0.0 |1411M|2816 | - |5645 | 10k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1097.85/1097.80 c 1082s| 1480k|832685 | 0 | 0.0 |1421M|2816 | - |5645 | 12k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1107.44/1107.48 c 1091s| 1490k|836413 | 0 | 0.0 |1431M|2816 | - |5645 | 14k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1120.54/1120.52 c 1104s| 1500k|838319 | 0 | 0.0 |1437M|2816 | - |5645 | 14k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1125.14/1125.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1125.14/1125.16 c 1109s| 1510k|846032 | 0 | 0.0 |1444M|2816 | - |5645 |7385 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1129.94/1129.95 c 1113s| 1520k|853184 | 0 | 0.0 |1454M|2816 | - |5645 |7563 | 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1135.04/1135.02 c 1118s| 1530k|860071 | 0 | 0.0 |1463M|2816 | - |5645 |8340 | 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1140.94/1140.91 c 1124s| 1540k|866312 | 0 | 0.0 |1473M|2816 | - |5645 |9315 | 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1147.84/1147.86 c 1131s| 1550k|871766 | 0 | 0.0 |1483M|2816 | - |5645 | 10k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1156.25/1156.24 c 1139s| 1560k|876162 | 0 | 0.0 |1493M|2816 | - |5645 | 13k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1167.74/1167.71 c 1150s| 1570k|878593 | 0 | 0.0 |1501M|2816 | - |5645 | 17k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1173.95/1173.97 c 1157s| 1580k|885355 | 0 | 0.0 |1507M|2816 | - |5645 |7931 | 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1178.75/1178.73 c 1161s| 1590k|892612 | 0 | 0.0 |1516M|2816 | - |5645 |7766 | 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1184.05/1184.01 c 1166s| 1600k|899375 | 0 | 0.0 |1526M|2816 | - |5645 |8361 | 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1189.75/1189.74 c 1172s| 1610k|905775 | 0 | 0.0 |1536M|2816 | - |5645 |9132 | 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1196.04/1196.05 c 1178s| 1620k|911737 | 0 | 0.0 |1545M|2816 | - |5645 | 10k| 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1203.45/1203.45 c 1186s| 1630k|916759 | 0 | 0.0 |1555M|2816 | - |5645 | 11k| 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1212.95/1212.95 c 1195s| 1640k|920244 | 0 | 0.0 |1564M|2816 | - |5645 | 14k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1223.25/1223.25 c 1205s| 1650k|923885 | 0 | 0.0 |1569M|2816 | - |5645 |9149 | 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1227.84/1227.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1227.84/1227.86 c 1210s| 1660k|931416 | 0 | 0.0 |1578M|2816 | - |5645 |7750 | 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1232.54/1232.55 c 1214s| 1670k|938654 | 0 | 0.0 |1587M|2816 | - |5645 |7810 | 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1237.46/1237.50 c 1219s| 1680k|945641 | 0 | 0.0 |1597M|2816 | - |5645 |7714 | 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1242.65/1242.66 c 1224s| 1690k|952439 | 0 | 0.0 |1606M|2816 | - |5645 |7760 | 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1248.25/1248.24 c 1229s| 1700k|958893 | 0 | 0.0 |1616M|2816 | - |5645 |7770 | 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1253.95/1253.91 c 1235s| 1710k|965229 | 0 | 0.0 |1625M|2816 | - |5645 |7998 | 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1259.95/1259.90 c 1241s| 1720k|971257 | 0 | 0.0 |1635M|2816 | - |5645 |8396 | 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1266.35/1266.39 c 1247s| 1730k|976960 | 0 | 0.0 |1645M|2816 | - |5645 |8851 | 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1273.15/1273.17 c 1254s| 1740k|982355 | 0 | 0.0 |1655M|2816 | - |5645 |9281 | 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1280.25/1280.27 c 1261s| 1750k|987554 | 0 | 0.0 |1664M|2816 | - |5645 |9859 | 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1287.75/1287.79 c 1268s| 1760k|992518 | 0 | 0.0 |1674M|2816 | - |5645 | 10k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1295.56/1295.57 c 1276s| 1770k|997298 | 0 | 0.0 |1683M|2816 | - |5645 | 11k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1303.85/1303.89 c 1284s| 1780k| 1001k| 0 | 0.0 |1693M|2816 | - |5645 | 11k| 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1313.36/1313.36 c 1294s| 1790k| 1005k| 0 | 0.0 |1701M|2816 | - |5645 | 13k| 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1325.15/1325.14 c 1305s| 1800k| 1007k| 0 | 0.0 |1709M|2816 | - |5645 | 17k| 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1332.25/1332.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1332.25/1332.21 c 1312s| 1810k| 1014k| 0 | 0.0 |1715M|2816 | - |5645 | 10k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1337.25/1337.28 c 1317s| 1820k| 1021k| 0 | 0.0 |1724M|2816 | - |5645 |9681 | 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1342.75/1342.78 c 1323s| 1830k| 1028k| 0 | 0.0 |1733M|2816 | - |5645 |9954 | 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1348.85/1348.84 c 1328s| 1840k| 1034k| 0 | 0.0 |1743M|2816 | - |5645 | 10k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1356.25/1356.30 c 1336s| 1850k| 1039k| 0 | 0.0 |1754M|2816 | - |5645 | 12k| 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1365.45/1365.41 c 1345s| 1860k| 1044k| 0 | 0.0 |1764M|2816 | - |5645 | 14k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1376.56/1376.56 c 1356s| 1870k| 1046k| 0 | 0.0 |1772M|2816 | - |5645 | 16k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1387.75/1387.70 c 1367s| 1880k| 1050k| 0 | 0.0 |1779M|2816 | - |5645 | 15k| 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1393.66/1393.62 c 1373s| 1890k| 1058k| 0 | 0.0 |1787M|2816 | - |5645 | 12k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1399.45/1399.48 c 1378s| 1900k| 1065k| 0 | 0.0 |1796M|2816 | - |5645 | 11k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1405.66/1405.68 c 1384s| 1910k| 1071k| 0 | 0.0 |1806M|2816 | - |5645 | 11k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1413.05/1413.06 c 1392s| 1920k| 1077k| 0 | 0.0 |1816M|2816 | - |5645 | 12k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1420.55/1420.52 c 1399s| 1930k| 1083k| 0 | 0.0 |1826M|2816 | - |5645 | 11k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1428.05/1428.03 c 1406s| 1940k| 1088k| 0 | 0.0 |1836M|2816 | - |5645 | 12k| 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1436.16/1436.13 c 1414s| 1950k| 1094k| 0 | 0.0 |1846M|2816 | - |5645 | 13k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1443.96/1443.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.96/1443.90 c 1422s| 1960k| 1099k| 0 | 0.0 |1856M|2816 | - |5645 | 13k| 0 | 0 | 0 |1488k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1452.07/1452.07 c 1430s| 1970k| 1104k| 0 | 0.0 |1865M|2816 | - |5645 | 13k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1460.65/1460.60 c 1439s| 1980k| 1109k| 0 | 0.0 |1874M|2816 | - |5645 | 14k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1469.06/1469.03 c 1447s| 1990k| 1114k| 0 | 0.0 |1883M|2816 | - |5645 | 14k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1477.66/1477.65 c 1455s| 2000k| 1120k| 0 | 0.0 |1893M|2816 | - |5645 | 16k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1487.06/1487.04 c 1465s| 2010k| 1124k| 0 | 0.0 |1903M|2816 | - |5645 | 17k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1497.96/1497.98 c 1475s| 2020k| 1128k| 0 | 0.0 |1912M|2816 | - |5645 | 19k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1510.66/1510.62 c 1488s| 2030k| 1131k| 0 | 0.0 |1919M|2816 | - |5645 | 20k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1516.56/1516.53 c 1494s| 2040k| 1139k| 0 | 0.0 |1926M|2816 | - |5645 | 13k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1522.37/1522.32 c 1499s| 2050k| 1146k| 0 | 0.0 |1935M|2816 | - |5645 | 12k| 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1528.76/1528.79 c 1506s| 2060k| 1153k| 0 | 0.0 |1945M|2816 | - |5645 | 12k| 0 | 0 | 0 |1561k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1535.26/1535.28 c 1512s| 2070k| 1160k| 0 | 0.0 |1955M|2816 | - |5645 | 13k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1543.16/1543.17 c 1520s| 2080k| 1165k| 0 | 0.0 |1965M|2816 | - |5645 | 15k| 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1552.46/1552.49 c 1529s| 2090k| 1170k| 0 | 0.0 |1975M|2816 | - |5645 | 16k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1563.36/1563.37 c 1540s| 2100k| 1174k| 0 | 0.0 |1985M|2816 | - |5645 | 18k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1576.96/1576.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.96/1576.91 c 1553s| 2110k| 1176k| 0 | 0.0 |1994M|2816 | - |5645 | 21k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1587.66/1587.61 c 1564s| 2120k| 1181k| 0 | 0.0 |2000M|2816 | - |5645 | 16k| 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1593.66/1593.67 c 1570s| 2130k| 1188k| 0 | 0.0 |2009M|2816 | - |5645 | 13k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1599.96/1599.92 c 1576s| 2140k| 1195k| 0 | 0.0 |2018M|2816 | - |5645 | 12k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1606.57/1606.58 c 1583s| 2150k| 1202k| 0 | 0.0 |2028M|2816 | - |5645 | 13k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1613.86/1613.85 c 1590s| 2160k| 1208k| 0 | 0.0 |2037M|2816 | - |5645 | 14k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1622.47/1622.41 c 1598s| 2170k| 1213k| 0 | 0.0 |2046M|2816 | - |5645 | 16k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1633.66/1633.68 c 1609s| 2180k| 1216k| 0 | 0.0 |2056M|2816 | - |5645 | 19k| 0 | 0 | 0 |1649k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1646.27/1646.23 c 1622s| 2190k| 1220k| 0 | 0.0 |2062M|2816 | - |5645 | 17k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1652.37/1652.35 c 1628s| 2200k| 1227k| 0 | 0.0 |2070M|2816 | - |5645 | 14k| 0 | 0 | 0 |1662k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1658.36/1658.36 c 1634s| 2210k| 1234k| 0 | 0.0 |2079M|2816 | - |5645 | 13k| 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1664.77/1664.77 c 1640s| 2220k| 1241k| 0 | 0.0 |2089M|2816 | - |5645 | 14k| 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1672.97/1672.98 c 1648s| 2230k| 1247k| 0 | 0.0 |2099M|2816 | - |5645 | 15k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1682.97/1682.95 c 1658s| 2240k| 1251k| 0 | 0.0 |2109M|2816 | - |5645 | 18k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1695.47/1695.40 c 1670s| 2250k| 1254k| 0 | 0.0 |2116M|2816 | - |5645 | 21k| 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1701.87/1701.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1701.87/1701.83 c 1677s| 2260k| 1262k| 0 | 0.0 |2124M|2816 | - |5645 | 15k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1707.97/1707.95 c 1683s| 2270k| 1269k| 0 | 0.0 |2133M|2816 | - |5645 | 13k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1714.37/1714.32 c 1689s| 2280k| 1275k| 0 | 0.0 |2142M|2816 | - |5645 | 14k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1721.48/1721.42 c 1696s| 2290k| 1282k| 0 | 0.0 |2152M|2816 | - |5645 | 15k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1729.97/1729.96 c 1704s| 2300k| 1287k| 0 | 0.0 |2162M|2816 | - |5645 | 16k| 0 | 0 | 0 |1725k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1740.68/1740.66 c 1715s| 2310k| 1291k| 0 | 0.0 |2172M|2816 | - |5645 | 20k| 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1752.68/1752.66 c 1727s| 2320k| 1295k| 0 | 0.0 |2179M|2816 | - |5645 | 20k| 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1759.27/1759.25 c 1733s| 2330k| 1302k| 0 | 0.0 |2187M|2816 | - |5645 | 15k| 0 | 0 | 0 |1749k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1765.17/1765.16 c 1739s| 2340k| 1310k| 0 | 0.0 |2196M|2816 | - |5645 | 13k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1771.08/1771.01 c 1745s| 2350k| 1317k| 0 | 0.0 |2205M|2816 | - |5645 | 13k| 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1776.97/1776.96 c 1751s| 2360k| 1324k| 0 | 0.0 |2215M|2816 | - |5645 | 13k| 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1783.18/1783.19 c 1757s| 2370k| 1331k| 0 | 0.0 |2224M|2816 | - |5645 | 13k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1789.97/1789.95 c 1763s| 2380k| 1337k| 0 | 0.0 |2233M|2816 | - |5645 | 14k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1796.97/1796.99 c 1770s| 2390k| 1344k| 0 | 0.0 |2242M|2816 | - |5645 | 15k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.08/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.00 c
1800.08/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.00 c Solving Time (sec) : 1773.22
1800.08/1800.00 c Solving Nodes : 2394162
1800.08/1800.00 c Primal Bound : +2.00000000000000e+00 (47 solutions)
1800.08/1800.00 c Dual Bound : +0.00000000000000e+00
1800.08/1800.00 c Gap : infinite
1800.08/1800.09 s SATISFIABLE
1800.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/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.08/1800.09 v -x1
1800.08/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.09 c Solving Time : 1773.22
1800.08/1800.09 c Original Problem :
1800.08/1800.09 c Problem name : HOME/instance-2693704-1277930941.wbo
1800.08/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.08/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.08/1800.09 c Presolved Problem :
1800.08/1800.09 c Problem name : t_HOME/instance-2693704-1277930941.wbo
1800.08/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.08/1800.09 c Constraints : 5414 initial, 29426 maximal
1800.08/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.09 c probing : 0.03 0 0 0 0 0 0 0 0
1800.08/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.09 c linear : 0.03 0 0 0 2707 0 1 0 0
1800.08/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.09 c root node : - 2675 - - 5350 - - - -
1800.08/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.09 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.09 c indicator : 2707 0 5526177 0 1598569 42 1292663 0 0 0
1800.08/1800.09 c linear : 2707 0 7383319 0 2015968 557764 45824979 0 0 0
1800.08/1800.09 c logicor : 0+ 0 3469826 0 0 63118 2143499 0 0 0
1800.08/1800.09 c countsols : 0 0 0 0 2015997 0 0 0 0 0
1800.08/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.09 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.09 c indicator : 9.24 0.00 4.33 0.00 4.91
1800.08/1800.09 c linear : 446.61 0.00 444.80 0.00 1.81
1800.08/1800.09 c logicor : 289.13 0.00 289.13 0.00 0.00
1800.08/1800.09 c countsols : 0.33 0.00 0.00 0.00 0.33
1800.08/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.09 c vbounds : 1.78 2 0 0
1800.08/1800.09 c rootredcost : 1.56 0 0 0
1800.08/1800.09 c pseudoobj : 364.29 7384455 1020 1283522
1800.08/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.09 c propagation : 31.03 621902 621891 2881612 18.8 142360 10.8 -
1800.08/1800.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.09 c pseudo solution : 0.04 86 86 420 30.9 354 9.1 -
1800.08/1800.09 c applied globally : - - - 1779721 16.8 - - -
1800.08/1800.09 c applied locally : - - - 3 300.0 - - -
1800.08/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.09 c redcost : 0.00 0 0 0 0 0
1800.08/1800.09 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.09 c intobj : 0.00 0 0 0 0 0
1800.08/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.09 c gomory : 0.00 0 0 0 0 0
1800.08/1800.09 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.09 c cmir : 0.00 0 0 0 0 0
1800.08/1800.09 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.09 c clique : 0.00 0 0 0 0 0
1800.08/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.09 c mcf : 0.00 0 0 0 0 0
1800.08/1800.09 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.09 c Pricers : Time Calls Vars
1800.08/1800.09 c problem variables: 0.00 0 0
1800.08/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.09 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.09 c inference : 31.25 2015953 0 0 0 0 4031906
1800.08/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.09 c random : 0.00 0 0 0 0 0 0
1800.08/1800.09 c Primal Heuristics : Time Calls Found
1800.08/1800.09 c LP solutions : 0.00 - 0
1800.08/1800.09 c pseudo solutions : 0.07 - 44
1800.08/1800.09 c oneopt : 0.79 0 0
1800.08/1800.09 c trivial : 0.07 2 2
1800.08/1800.09 c simplerounding : 0.00 0 0
1800.08/1800.09 c zirounding : 0.00 0 0
1800.08/1800.09 c rounding : 0.00 0 0
1800.08/1800.09 c shifting : 0.00 0 0
1800.08/1800.09 c intshifting : 0.00 0 0
1800.08/1800.09 c twoopt : 0.00 0 0
1800.08/1800.09 c fixandinfer : 0.00 0 0
1800.08/1800.09 c feaspump : 0.00 0 0
1800.08/1800.09 c coefdiving : 0.00 0 0
1800.08/1800.09 c pscostdiving : 0.00 0 0
1800.08/1800.09 c fracdiving : 0.00 0 0
1800.08/1800.09 c veclendiving : 0.00 0 0
1800.08/1800.09 c intdiving : 0.00 0 0
1800.08/1800.09 c actconsdiving : 0.00 0 0
1800.08/1800.09 c objpscostdiving : 0.00 0 0
1800.08/1800.09 c rootsoldiving : 0.00 0 0
1800.08/1800.09 c linesearchdiving : 0.00 0 0
1800.08/1800.09 c guideddiving : 0.00 0 0
1800.08/1800.09 c octane : 0.00 0 0
1800.08/1800.09 c rens : 0.00 0 0
1800.08/1800.09 c rins : 0.00 0 0
1800.08/1800.09 c localbranching : 0.00 0 0
1800.08/1800.09 c mutation : 0.00 0 0
1800.08/1800.09 c crossover : 0.00 0 0
1800.08/1800.09 c dins : 0.00 0 0
1800.08/1800.09 c undercover : 0.00 0 0
1800.08/1800.09 c nlp : 0.73 0 0
1800.08/1800.09 c trysol : 0.55 1 1
1800.08/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.09 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.09 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.09 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.09 c (at root node) : - 0 0 0.00 -
1800.08/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.09 c B&B Tree :
1800.08/1800.09 c number of runs : 1
1800.08/1800.09 c nodes : 2394162
1800.08/1800.09 c nodes (total) : 2394162
1800.08/1800.09 c nodes left : 1346682
1800.08/1800.09 c max depth : 2816
1800.08/1800.09 c max depth (total): 2816
1800.08/1800.09 c backtracks : 331430 (13.8%)
1800.08/1800.09 c delayed cutoffs : 278695
1800.08/1800.09 c repropagations : 1245056 (15266873 domain reductions, 243865 cutoffs)
1800.08/1800.09 c avg switch length: 45.56
1800.08/1800.09 c switching time : 504.91
1800.08/1800.09 c Solution :
1800.08/1800.09 c Solutions found : 47 (45 improvements)
1800.08/1800.09 c First Solution : +1.35864000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.08/1800.09 c Primal Bound : +2.00000000000000e+00 (in run 1, after 231943 nodes, 130.82 seconds, depth 262, found by <relaxation>)
1800.08/1800.09 c Dual Bound : +0.00000000000000e+00
1800.08/1800.09 c Gap : infinite
1800.08/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.09 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-2693704-1277930941/watcher-2693704-1277930941 -o /tmp/evaluation-result-2693704-1277930941/solver-2693704-1277930941 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693704-1277930941.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.06 2.04 2.06 4/178 16250 /proc/meminfo: memFree=31394228/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=8256 CPUtime=0 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 1545 0 0 0 0 0 0 0 25 0 1 0 134389303 8454144 1468 4089446400 4194304 7136930 140736334057856 18446744073709551615 6300823 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16250/statm: 2101 1468 275 719 0 1380 0 [startup+0.0518459 s] /proc/loadavg: 2.06 2.04 2.06 4/178 16250 /proc/meminfo: memFree=31394228/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=27884 CPUtime=0.04 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 6828 0 0 0 4 0 0 0 25 0 1 0 134389303 28553216 6397 4089446400 4194304 7136930 140736334057856 18446744073709551615 6327899 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16250/statm: 6971 6397 289 719 0 6250 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 27884 [startup+0.100836 s] /proc/loadavg: 2.06 2.04 2.06 4/178 16250 /proc/meminfo: memFree=31394228/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=33672 CPUtime=0.09 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 7965 0 0 0 9 0 0 0 25 0 1 0 134389303 34480128 7534 4089446400 4194304 7136930 140736334057856 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16250/statm: 8418 7534 323 719 0 7697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33672 [startup+0.300807 s] /proc/loadavg: 2.06 2.04 2.06 4/178 16250 /proc/meminfo: memFree=31394228/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=36492 CPUtime=0.29 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 9237 0 0 0 28 1 0 0 25 0 1 0 134389303 37367808 8292 4089446400 4194304 7136930 140736334057856 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16250/statm: 9123 8292 383 719 0 8402 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36492 [startup+0.700715 s] /proc/loadavg: 2.06 2.04 2.06 4/178 16250 /proc/meminfo: memFree=31394228/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=37632 CPUtime=0.69 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 9513 0 0 0 67 2 0 0 25 0 1 0 134389303 38535168 8568 4089446400 4194304 7136930 140736334057856 18446744073709551615 4697592 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16250/statm: 9408 8568 383 719 0 8687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37632 [startup+1.50056 s] /proc/loadavg: 2.06 2.04 2.06 3/179 16251 /proc/meminfo: memFree=31359748/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=42204 CPUtime=1.49 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 10657 0 0 0 145 4 0 0 25 0 1 0 134389303 43216896 9712 4089446400 4194304 7136930 140736334057856 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16250/statm: 10551 9712 390 719 0 9830 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42204 [startup+3.10025 s] /proc/loadavg: 2.06 2.04 2.06 3/179 16251 /proc/meminfo: memFree=31355792/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=45132 CPUtime=3.09 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 11430 0 0 0 303 6 0 0 25 0 1 0 134389303 46215168 10485 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 11283 10485 391 719 0 10562 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45132 [startup+6.30061 s] /proc/loadavg: 2.06 2.04 2.06 3/179 16251 /proc/meminfo: memFree=31344136/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=60756 CPUtime=6.29 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 15054 0 0 0 615 14 0 0 25 0 1 0 134389303 62214144 14109 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 15189 14109 391 719 0 14468 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 60756 [startup+12.7004 s] /proc/loadavg: 2.05 2.04 2.06 3/179 16251 /proc/meminfo: memFree=31319796/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=82032 CPUtime=12.69 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 20303 0 0 0 1243 26 0 0 25 0 1 0 134389303 84000768 19358 4089446400 4194304 7136930 140736334057856 18446744073709551615 4925465 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 20508 19358 391 719 0 19787 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 82032 [startup+25.5008 s] /proc/loadavg: 2.04 2.03 2.05 3/179 16251 /proc/meminfo: memFree=31261832/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=140204 CPUtime=25.49 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 34349 0 0 0 2503 46 0 0 25 0 1 0 134389303 143568896 33404 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 35051 33404 391 719 0 34330 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 140204 [startup+51.1007 s] /proc/loadavg: 2.02 2.03 2.05 3/179 16252 /proc/meminfo: memFree=31193956/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=214308 CPUtime=51.1 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 51955 0 0 0 5008 102 0 0 25 0 1 0 134389303 219451392 51010 4089446400 4194304 7136930 140736334057856 18446744073709551615 4210441 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 53577 51010 391 719 0 52856 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 214308 [startup+102.307 s] /proc/loadavg: 2.01 2.02 2.05 3/179 16253 /proc/meminfo: memFree=31089508/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=313132 CPUtime=102.3 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 76939 0 0 0 10049 181 0 0 25 0 1 0 134389303 320647168 75994 4089446400 4194304 7136930 140736334057856 18446744073709551615 5951022 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 78283 75994 391 719 0 77562 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 313132 [startup+162.301 s] /proc/loadavg: 2.00 2.02 2.04 3/179 16255 /proc/meminfo: memFree=31006760/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=396388 CPUtime=162.3 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 97558 0 0 0 15963 267 0 0 25 0 1 0 134389303 405901312 96613 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 99097 96613 391 719 0 98376 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 396388 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.04 3/179 16256 /proc/meminfo: memFree=30901548/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=506688 CPUtime=222.3 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 123365 0 0 0 21874 356 0 0 25 0 1 0 134389303 518848512 122420 4089446400 4194304 7136930 140736334057856 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 126672 122420 391 719 0 125951 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 506688 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.03 3/179 16258 /proc/meminfo: memFree=30788552/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=623324 CPUtime=282.3 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 152025 0 0 0 27760 470 0 0 25 0 1 0 134389303 638283776 151080 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 155831 151080 391 719 0 155110 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 623324 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.02 3/179 16260 /proc/meminfo: memFree=30675408/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=733516 CPUtime=342.31 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 179848 0 0 0 33643 588 0 0 25 0 1 0 134389303 751120384 178903 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 183379 178903 391 719 0 182658 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 733516 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.02 3/179 16261 /proc/meminfo: memFree=30580376/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=827560 CPUtime=402.31 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 203518 0 0 0 39547 684 0 0 25 0 1 0 134389303 847421440 202573 4089446400 4194304 7136930 140736334057856 18446744073709551615 4210635 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 206890 202573 391 719 0 206169 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 827560 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.01 3/179 16263 /proc/meminfo: memFree=30495884/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=918220 CPUtime=462.32 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 224315 0 0 0 45469 763 0 0 25 0 1 0 134389303 940257280 223370 4089446400 4194304 7136930 140736334057856 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 229555 223370 391 719 0 228834 0 Current children cumulated CPU time (s) 462.32 Current children cumulated vsize (KiB) 918220 [startup+522.301 s] /proc/loadavg: 2.05 2.01 2.01 3/179 16264 /proc/meminfo: memFree=30443992/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=969380 CPUtime=522.31 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 237084 0 0 0 51401 830 0 0 25 0 1 0 134389303 992645120 236139 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 242345 236139 391 719 0 241624 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 969380 [startup+582.3 s] /proc/loadavg: 2.02 2.01 2.01 3/179 16266 /proc/meminfo: memFree=30395948/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=1016260 CPUtime=582.32 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 248966 0 0 0 57347 885 0 0 25 0 1 0 134389303 1040650240 248021 4089446400 4194304 7136930 140736334057856 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 254065 248021 391 719 0 253344 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 1016260 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16268 /proc/meminfo: memFree=30364288/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=1046828 CPUtime=642.33 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 256563 0 0 0 63298 935 0 0 25 0 1 0 134389303 1071951872 255618 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 261707 255618 391 719 0 260986 0 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (KiB) 1046828 [startup+702.3 s] ################ # More data... # ################ /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 352886 0 0 0 98781 1452 0 0 25 0 1 0 134389303 1465561088 351941 4089446400 4194304 7136930 140736334057856 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 357803 351941 391 719 0 357082 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1431212 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16316 /proc/meminfo: memFree=29771688/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=1515720 CPUtime=1062.34 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 374222 0 0 0 104681 1553 0 0 25 0 1 0 134389303 1552097280 373277 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 378930 373277 391 719 0 378209 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 1515720 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16317 /proc/meminfo: memFree=29659060/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=1592152 CPUtime=1122.34 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 393381 0 0 0 110585 1649 0 0 25 0 1 0 134389303 1630363648 392436 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 398038 392436 391 719 0 397317 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 1592152 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16319 /proc/meminfo: memFree=29533280/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=1673612 CPUtime=1182.34 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 414000 0 0 0 116479 1755 0 0 25 0 1 0 134389303 1713778688 413055 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 418403 413055 391 719 0 417682 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 1673612 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16321 /proc/meminfo: memFree=29420632/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=1748464 CPUtime=1242.35 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 432791 0 0 0 122370 1865 0 0 25 0 1 0 134389303 1790427136 431846 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 437116 431846 391 719 0 436395 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 1748464 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16322 /proc/meminfo: memFree=29299560/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=1842748 CPUtime=1302.35 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 452583 0 0 0 128268 1967 0 0 25 0 1 0 134389303 1886973952 451638 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 460687 451638 391 719 0 459966 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 1842748 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16324 /proc/meminfo: memFree=29186788/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=1919440 CPUtime=1362.36 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 471950 0 0 0 134173 2063 0 0 25 0 1 0 134389303 1965506560 471005 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 479860 471005 391 719 0 479139 0 Current children cumulated CPU time (s) 1362.36 Current children cumulated vsize (KiB) 1919440 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16325 /proc/meminfo: memFree=29078972/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=1986796 CPUtime=1422.36 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 488829 0 0 0 140085 2151 0 0 25 0 1 0 134389303 2034479104 487884 4089446400 4194304 7136930 140736334057856 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 496699 487884 391 719 0 495978 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 1986796 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16327 /proc/meminfo: memFree=28970188/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=2055300 CPUtime=1482.35 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 506057 0 0 0 145998 2237 0 0 25 0 1 0 134389303 2104627200 505112 4089446400 4194304 7136930 140736334057856 18446744073709551615 6166280 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 513825 505112 391 719 0 513104 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 2055300 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16329 /proc/meminfo: memFree=28864492/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=2121640 CPUtime=1542.36 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 522715 0 0 0 151915 2321 0 0 25 0 1 0 134389303 2172559360 521770 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 530410 521770 391 719 0 529689 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 2121640 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16330 /proc/meminfo: memFree=28768476/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=2179384 CPUtime=1602.37 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 537231 0 0 0 157838 2399 0 0 25 0 1 0 134389303 2231689216 536286 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 544846 536286 391 719 0 544125 0 Current children cumulated CPU time (s) 1602.37 Current children cumulated vsize (KiB) 2179384 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16332 /proc/meminfo: memFree=28661408/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=2245844 CPUtime=1662.37 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 554054 0 0 0 163757 2480 0 0 25 0 1 0 134389303 2299744256 553109 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 561461 553109 391 719 0 560740 0 Current children cumulated CPU time (s) 1662.37 Current children cumulated vsize (KiB) 2245844 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16333 /proc/meminfo: memFree=28558328/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=2313452 CPUtime=1722.37 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 571190 0 0 0 169671 2566 0 0 25 0 1 0 134389303 2368974848 570245 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 578363 570245 391 719 0 577642 0 Current children cumulated CPU time (s) 1722.37 Current children cumulated vsize (KiB) 2313452 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16335 /proc/meminfo: memFree=28445796/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=2386308 CPUtime=1782.38 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 589335 0 0 0 175581 2657 0 0 25 0 1 0 134389303 2443579392 588390 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 596577 588390 391 719 0 595856 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (KiB) 2386308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16336 /proc/meminfo: memFree=28407716/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=2409052 CPUtime=1800.08 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 595079 0 0 0 177325 2683 0 0 25 0 1 0 134389303 2466869248 594134 4089446400 4194304 7136930 140736334057856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16250/statm: 602263 594134 391 719 0 601542 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 2409052 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16250 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 16337 /proc/meminfo: memFree=28407336/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=2410812 CPUtime=1801.47 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 595152 0 0 0 177464 2683 0 0 25 0 1 0 134389303 2468671488 594207 4089446400 4194304 7136930 140736334057856 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16250/statm: 602703 594207 397 719 0 601982 0 Current children cumulated CPU time (s) 1801.47 Current children cumulated vsize (KiB) 2410812 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16337 /proc/meminfo: memFree=28406964/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=2410812 CPUtime=1801.88 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 595152 0 0 0 177505 2683 0 0 25 0 1 0 134389303 2468671488 594207 4089446400 4194304 7136930 140736334057856 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16250/statm: 602703 594207 397 719 0 601982 0 Current children cumulated CPU time (s) 1801.88 Current children cumulated vsize (KiB) 2410812 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16337 /proc/meminfo: memFree=28406964/32951124 swapFree=67111528/67111528 [pid=16250] ppid=16248 vsize=2410812 CPUtime=1802.07 /proc/16250/stat : 16250 (pbscip.linux.x8) R 16248 16250 15764 0 -1 4202496 595152 0 0 0 177524 2683 0 0 25 0 1 0 134389303 2468671488 594207 4089446400 4194304 7136930 140736334057856 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16250/statm: 602703 594207 397 719 0 601982 0 Current children cumulated CPU time (s) 1802.07 Current children cumulated vsize (KiB) 2410812 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.17 CPU user time (s): 1775.25 CPU system time (s): 26.9119 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 2410812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.25 system time used= 26.9119 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 595152 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= 1 involuntary context switches= 1032 runsolver used 3.3025 second user time and 6.53801 second system time The end
Begin job on node143 at 2010-06-30 22:49:01 IDJOB=2693704 IDBENCH=79310 IDSOLVER=1206 FILE ID=node143/2693704-1277930941 PBS_JOBID= 11197381 Free space on /tmp= 74208 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.1900576151--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-2693704-1277930941/watcher-2693704-1277930941 -o /tmp/evaluation-result-2693704-1277930941/solver-2693704-1277930941 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693704-1277930941.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2ef467464a5a95a7940c8f8fcd712c57 RANDOM SEED=851923724 node143.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.848 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.69 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.848 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.848 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.76 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.848 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.848 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 : 5285.38 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.848 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.848 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.74 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.848 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: 31394756 kB Buffers: 215468 kB Cached: 971668 kB SwapCached: 0 kB Active: 643184 kB Inactive: 770224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31394756 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3152 kB Writeback: 0 kB AnonPages: 226536 kB Mapped: 17276 kB Slab: 80196 kB PageTables: 4616 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 376488 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= 74200 MiB End job on node143 at 2010-06-30 23:19:04