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.1 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900573901--soft-0-100-0.wbo |
| MD5SUM | 889361cc7af818b09040d50027029365 |
| 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 | 154.84 |
| 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 | 137973 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 137972 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 701 |
| 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-2693698-1277930692.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 137972
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.379720e+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.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.98
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.379720e+05 | Inf
3.19/3.22 o 471
3.19/3.22 c * 3.1s| 9773 | 7895 | 0 | 0.0 | 24M|2816 | - |5645 |6829 | 0 | 0 | 0 |1415 | 0 | 0.000000e+00 | 4.710000e+02 | Inf
3.19/3.22 o 409
3.19/3.22 c * 3.1s| 9774 | 7856 | 0 | 0.0 | 24M|2816 | - |5645 |6829 | 0 | 0 | 0 |1415 | 0 | 0.000000e+00 | 4.090000e+02 | Inf
3.19/3.29 o 406
3.19/3.29 c * 3.2s| 9915 | 7992 | 0 | 0.0 | 24M|2816 | - |5645 |6839 | 0 | 0 | 0 |1425 | 0 | 0.000000e+00 | 4.060000e+02 | Inf
3.19/3.29 o 344
3.19/3.29 c * 3.2s| 9916 | 7284 | 0 | 0.0 | 24M|2816 | - |5645 |6839 | 0 | 0 | 0 |1425 | 0 | 0.000000e+00 | 3.440000e+02 | Inf
3.29/3.33 c 3.2s| 10000 | 7368 | 0 | 0.0 | 24M|2816 | - |5645 |6839 | 0 | 0 | 0 |1425 | 0 | 0.000000e+00 | 3.440000e+02 | Inf
3.39/3.40 o 334
3.39/3.40 c * 3.3s| 10160 | 7383 | 0 | 0.0 | 24M|2816 | - |5645 |6889 | 0 | 0 | 0 |1475 | 0 | 0.000000e+00 | 3.340000e+02 | Inf
3.39/3.46 o 287
3.39/3.46 c * 3.4s| 10282 | 6990 | 0 | 0.0 | 24M|2816 | - |5645 |6902 | 0 | 0 | 0 |1488 | 0 | 0.000000e+00 | 2.870000e+02 | Inf
3.39/3.46 o 286
3.39/3.46 c * 3.4s| 10283 | 6986 | 0 | 0.0 | 24M|2816 | - |5645 |6902 | 0 | 0 | 0 |1488 | 0 | 0.000000e+00 | 2.860000e+02 | Inf
3.49/3.51 o 281
3.49/3.51 c * 3.4s| 10403 | 7069 | 0 | 0.0 | 24M|2816 | - |5645 |6912 | 0 | 0 | 0 |1498 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
3.49/3.51 o 280
3.49/3.51 c * 3.4s| 10404 | 7057 | 0 | 0.0 | 24M|2816 | - |5645 |6912 | 0 | 0 | 0 |1498 | 0 | 0.000000e+00 | 2.800000e+02 | Inf
3.68/3.72 o 269
3.68/3.72 c * 3.6s| 10904 | 7388 | 0 | 0.0 | 25M|2816 | - |5645 |7052 | 0 | 0 | 0 |1643 | 0 | 0.000000e+00 | 2.690000e+02 | Inf
3.68/3.72 o 195
3.68/3.72 c * 3.6s| 10905 | 6422 | 0 | 0.0 | 24M|2816 | - |5645 |7052 | 0 | 0 | 0 |1643 | 0 | 0.000000e+00 | 1.950000e+02 | Inf
3.68/3.79 o 175
3.68/3.79 c * 3.7s| 11095 | 6439 | 0 | 0.0 | 24M|2816 | - |5645 |7069 | 0 | 0 | 0 |1663 | 0 | 0.000000e+00 | 1.750000e+02 | Inf
3.68/3.79 o 168
3.68/3.79 c * 3.7s| 11096 | 6422 | 0 | 0.0 | 25M|2816 | - |5645 |7069 | 0 | 0 | 0 |1663 | 0 | 0.000000e+00 | 1.680000e+02 | Inf
3.78/3.83 o 150
3.78/3.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.78/3.83 c * 3.7s| 11185 | 6453 | 0 | 0.0 | 25M|2816 | - |5645 |7079 | 0 | 0 | 0 |1673 | 0 | 0.000000e+00 | 1.500000e+02 | Inf
3.89/3.90 o 142
3.89/3.90 c * 3.8s| 11353 | 6564 | 0 | 0.0 | 25M|2816 | - |5645 |7120 | 0 | 0 | 0 |1720 | 0 | 0.000000e+00 | 1.420000e+02 | Inf
6.89/6.98 c 6.8s| 20000 | 13709 | 0 | 0.0 | 35M|2816 | - |5645 |7821 | 0 | 0 | 0 |8100 | 0 | 0.000000e+00 | 1.420000e+02 | Inf
11.19/11.27 c 11.0s| 30000 | 20876 | 0 | 0.0 | 47M|2816 | - |5645 |9701 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.420000e+02 | Inf
16.29/16.39 o 133
16.29/16.39 c *16.1s| 37527 | 26059 | 0 | 0.0 | 60M|2816 | - |5645 |9034 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
16.29/16.40 o 126
16.29/16.40 c *16.1s| 37528 | 25960 | 0 | 0.0 | 60M|2816 | - |5645 |9034 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
17.98/18.04 c 17.7s| 40000 | 28259 | 0 | 0.0 | 64M|2816 | - |5645 |8658 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
18.39/18.46 o 104
18.39/18.46 c *18.1s| 40519 | 28291 | 0 | 0.0 | 63M|2816 | - |5645 |8731 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
18.99/19.06 o 96
18.99/19.06 c *18.7s| 41129 | 28419 | 0 | 0.0 | 66M|2816 | - |5645 |8920 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
19.59/19.64 o 94
19.59/19.64 c *19.3s| 42090 | 29177 | 0 | 0.0 | 66M|2816 | - |5645 |8519 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
23.00/23.00 o 86
23.00/23.00 c *22.6s| 46234 | 32490 | 0 | 0.0 | 69M|2816 | - |5645 |7271 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
23.00/23.01 o 62
23.00/23.01 c *22.6s| 46235 | 30823 | 0 | 0.0 | 64M|2816 | - |5645 |7271 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
23.59/23.68 o 58
23.59/23.68 c *23.2s| 46778 | 30923 | 0 | 0.0 | 63M|2816 | - |5645 |6414 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
24.20/24.25 o 57
24.20/24.25 c *23.8s| 47262 | 31265 | 0 | 0.0 | 64M|2816 | - |5645 |6641 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
24.39/24.42 o 55
24.39/24.42 c *24.0s| 47483 | 31289 | 0 | 0.0 | 64M|2816 | - |5645 |6753 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
25.79/25.84 o 43
25.79/25.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.79/25.84 c *25.4s| 49650 | 32234 | 0 | 0.0 | 65M|2816 | - |5645 |6620 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
26.19/26.24 c 25.8s| 50000 | 32523 | 0 | 0.0 | 65M|2816 | - |5645 |6366 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
28.49/28.56 o 37
28.49/28.56 c *28.0s| 54115 | 35729 | 0 | 0.0 | 69M|2816 | - |5645 |6108 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
29.69/29.74 o 30
29.69/29.74 c *29.2s| 56513 | 37292 | 0 | 0.0 | 71M|2816 | - |5645 |6577 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
31.29/31.34 c 30.8s| 60000 | 40201 | 0 | 0.0 | 75M|2816 | - |5645 |6735 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
34.49/34.55 o 25
34.49/34.55 c *33.9s| 67262 | 45825 | 0 | 0.0 | 82M|2816 | - |5645 |7897 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
35.49/35.57 c 34.9s| 70000 | 48169 | 0 | 0.0 | 85M|2816 | - |5645 |7471 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
39.60/39.66 c 38.9s| 80000 | 56432 | 0 | 0.0 | 95M|2816 | - |5645 |7998 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
43.69/43.75 c 42.9s| 90000 | 64581 | 0 | 0.0 | 105M|2816 | - |5645 |6944 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
48.59/48.65 c 47.7s|100000 | 71877 | 0 | 0.0 | 116M|2816 | - |5645 |7925 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
54.09/54.12 c 53.1s|110000 | 78584 | 0 | 0.0 | 128M|2816 | - |5645 |8575 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
59.69/59.79 c 58.7s|120000 | 85165 | 0 | 0.0 | 139M|2816 | - |5645 |8835 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
65.79/65.89 c 64.7s|130000 | 91313 | 0 | 0.0 | 151M|2816 | - |5645 |9651 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
71.89/71.92 c 70.7s|140000 | 97559 | 0 | 0.0 | 163M|2816 | - |5645 | 10k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
77.99/78.07 c 76.7s|150000 |103762 | 0 | 0.0 | 174M|2816 | - |5645 | 10k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
84.49/84.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.49/84.54 c 83.1s|160000 |109594 | 0 | 0.0 | 186M|2816 | - |5645 | 10k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
91.49/91.50 c 90.0s|170000 |115075 | 0 | 0.0 | 198M|2816 | - |5645 | 12k| 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
99.59/99.60 c 98.0s|180000 |119826 | 0 | 0.0 | 209M|2816 | - |5645 | 12k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
109.19/109.28 c 108s|190000 |123322 | 0 | 0.0 | 220M|2816 | - |5645 | 15k| 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
121.69/121.70 c 120s|200000 |125290 | 0 | 0.0 | 226M|2816 | - |5645 | 11k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
126.89/126.91 c 125s|210000 |133866 | 0 | 0.0 | 236M|2816 | - |5645 |6062 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
127.00/127.09 o 11
127.00/127.09 c * 125s|210339 |132029 | 0 | 0.0 | 230M|2816 | - |5645 |6128 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
135.09/135.19 c 133s|220000 |137864 | 0 | 0.0 | 244M|2816 | - |5645 | 10k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
140.10/140.15 c 138s|230000 |145858 | 0 | 0.0 | 253M|2816 | - |5645 |9573 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
147.30/147.38 c 145s|240000 |151822 | 0 | 0.0 | 264M|2816 | - |5645 |9127 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
152.60/152.68 c 150s|250000 |159956 | 0 | 0.0 | 278M|2816 | - |5645 |9560 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
158.40/158.40 o 6
158.40/158.40 c * 156s|259632 |166363 | 0 | 0.0 | 285M|2816 | - |5645 | 10k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
158.70/158.70 c 156s|260000 |166627 | 0 | 0.0 | 286M|2816 | - |5645 | 10k| 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
167.00/167.07 c 164s|270000 |173120 | 0 | 0.0 | 300M|2816 | - |5645 | 12k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
180.80/180.84 c 178s|280000 |175338 | 0 | 0.0 | 311M|2816 | - |5645 | 15k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
185.99/186.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.99/186.06 c 183s|290000 |183096 | 0 | 0.0 | 321M|2816 | - |5645 | 13k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
193.19/193.22 c 190s|300000 |189676 | 0 | 0.0 | 332M|2816 | - |5645 | 12k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
200.60/200.68 c 198s|310000 |195836 | 0 | 0.0 | 345M|2816 | - |5645 | 13k| 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
206.70/206.77 c 204s|320000 |203955 | 0 | 0.0 | 372M|2816 | - |5645 | 13k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
215.10/215.13 c 212s|330000 |210877 | 0 | 0.0 | 408M|2816 | - |5645 | 11k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
221.00/221.09 c 218s|340000 |216877 | 0 | 0.0 | 417M|2816 | - |5645 | 10k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
225.60/225.63 c 222s|350000 |224552 | 0 | 0.0 | 427M|2816 | - |5645 | 10k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
231.60/231.66 c 228s|360000 |230629 | 0 | 0.0 | 438M|2816 | - |5645 | 12k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
235.10/235.12 o 3
235.10/235.12 c * 231s|366841 |233664 | 0 | 0.0 | 439M|2816 | - |5645 | 10k| 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
236.50/236.54 c 233s|370000 |236187 | 0 | 0.0 | 442M|2816 | - |5645 | 10k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
241.49/241.58 c 238s|380000 |243702 | 0 | 0.0 | 452M|2816 | - |5645 |9836 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
246.80/246.83 c 243s|390000 |250413 | 0 | 0.0 | 463M|2816 | - |5645 | 10k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
252.91/252.96 c 249s|400000 |256034 | 0 | 0.0 | 473M|2816 | - |5645 | 11k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
257.30/257.33 c 253s|410000 |263555 | 0 | 0.0 | 482M|2816 | - |5645 | 11k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
261.89/261.97 c 258s|420000 |270743 | 0 | 0.0 | 491M|2816 | - |5645 | 10k| 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
266.60/266.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.60/266.60 c 262s|430000 |278013 | 0 | 0.0 | 501M|2816 | - |5645 | 11k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
271.90/271.92 c 267s|440000 |284302 | 0 | 0.0 | 510M|2816 | - |5645 |9992 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
276.60/276.68 c 272s|450000 |291318 | 0 | 0.0 | 521M|2816 | - |5645 | 11k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
280.41/280.45 c 276s|460000 |299325 | 0 | 0.0 | 529M|2816 | - |5645 |9691 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
284.30/284.37 c 280s|470000 |307220 | 0 | 0.0 | 539M|2816 | - |5645 | 10k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
289.00/289.09 c 284s|480000 |314378 | 0 | 0.0 | 549M|2816 | - |5645 | 10k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
294.29/294.33 c 289s|490000 |320932 | 0 | 0.0 | 559M|2816 | - |5645 | 10k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
299.70/299.73 c 295s|500000 |327343 | 0 | 0.0 | 569M|2816 | - |5645 | 11k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
304.61/304.69 c 300s|510000 |334226 | 0 | 0.0 | 577M|2816 | - |5645 | 10k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
309.50/309.59 c 304s|520000 |341203 | 0 | 0.0 | 587M|2816 | - |5645 | 10k| 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
314.40/314.50 c 309s|530000 |348242 | 0 | 0.0 | 597M|2816 | - |5645 | 10k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
319.30/319.30 c 314s|540000 |355477 | 0 | 0.0 | 607M|2816 | - |5645 | 10k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
324.00/324.02 c 319s|550000 |362849 | 0 | 0.0 | 617M|2816 | - |5645 | 10k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
329.60/329.61 c 324s|560000 |369234 | 0 | 0.0 | 626M|2816 | - |5645 | 11k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
334.50/334.51 c 329s|570000 |376337 | 0 | 0.0 | 635M|2816 | - |5645 | 11k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
338.60/338.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
338.60/338.61 c 333s|580000 |384352 | 0 | 0.0 | 644M|2816 | - |5645 | 10k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
344.50/344.52 c 339s|590000 |390462 | 0 | 0.0 | 654M|2816 | - |5645 | 11k| 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
349.10/349.11 c 343s|600000 |397737 | 0 | 0.0 | 664M|2816 | - |5645 | 12k| 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
353.20/353.22 c 347s|610000 |405647 | 0 | 0.0 | 672M|2816 | - |5645 | 10k| 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
358.80/358.89 c 353s|620000 |411908 | 0 | 0.0 | 683M|2816 | - |5645 | 12k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
362.80/362.87 c 357s|630000 |419993 | 0 | 0.0 | 692M|2816 | - |5645 |8522 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
366.80/366.80 c 360s|640000 |427947 | 0 | 0.0 | 702M|2816 | - |5645 |8452 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
373.30/373.37 c 367s|650000 |433573 | 0 | 0.0 | 713M|2816 | - |5645 | 11k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
381.20/381.26 c 375s|660000 |438413 | 0 | 0.0 | 724M|2816 | - |5645 | 11k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
389.50/389.58 c 383s|670000 |442909 | 0 | 0.0 | 735M|2816 | - |5645 | 12k| 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
398.11/398.12 c 391s|680000 |447325 | 0 | 0.0 | 745M|2816 | - |5645 | 12k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
406.80/406.88 c 400s|690000 |451571 | 0 | 0.0 | 756M|2816 | - |5645 | 13k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
415.70/415.80 c 409s|700000 |455787 | 0 | 0.0 | 766M|2816 | - |5645 | 12k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
424.40/424.42 c 417s|710000 |460099 | 0 | 0.0 | 777M|2816 | - |5645 | 12k| 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
433.20/433.20 c 426s|720000 |464307 | 0 | 0.0 | 787M|2816 | - |5645 | 13k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
442.21/442.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.21/442.27 c 435s|730000 |468312 | 0 | 0.0 | 797M|2816 | - |5645 | 13k| 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
451.20/451.23 c 444s|740000 |472432 | 0 | 0.0 | 808M|2816 | - |5645 | 14k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
460.10/460.16 c 453s|750000 |476549 | 0 | 0.0 | 818M|2816 | - |5645 | 14k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
469.20/469.28 c 462s|760000 |480596 | 0 | 0.0 | 828M|2816 | - |5645 | 14k| 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
478.20/478.25 c 471s|770000 |484709 | 0 | 0.0 | 838M|2816 | - |5645 | 14k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
487.41/487.42 c 480s|780000 |488739 | 0 | 0.0 | 848M|2816 | - |5645 | 14k| 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
496.50/496.58 c 489s|790000 |492707 | 0 | 0.0 | 858M|2816 | - |5645 | 14k| 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
506.51/506.53 c 498s|800000 |496165 | 0 | 0.0 | 868M|2816 | - |5645 | 14k| 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
516.10/516.13 c 508s|810000 |499841 | 0 | 0.0 | 878M|2816 | - |5645 | 14k| 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
526.10/526.15 c 518s|820000 |503110 | 0 | 0.0 | 887M|2816 | - |5645 | 15k| 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
536.90/536.92 c 529s|830000 |504901 | 0 | 0.0 | 895M|2816 | - |5645 | 14k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
548.81/548.87 c 540s|840000 |505191 | 0 | 0.0 | 903M|2816 | - |5645 | 15k| 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
562.41/562.40 c 554s|850000 |503678 | 0 | 0.0 | 907M|2816 | - |5645 | 17k| 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
577.91/577.95 c 569s|860000 |499640 | 0 | 0.0 | 907M|2816 | - |5645 | 18k| 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
591.40/591.40 c 583s|870000 |495432 | 0 | 0.0 | 889M|2816 | - |5645 |6670 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
595.81/595.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.81/595.84 c 587s|880000 |503043 | 0 | 0.0 | 898M|2816 | - |5645 |5691 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
600.52/600.52 c 591s|890000 |510314 | 0 | 0.0 | 908M|2816 | - |5645 |6204 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
605.41/605.44 c 596s|900000 |517401 | 0 | 0.0 | 918M|2816 | - |5645 |7011 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
611.21/611.21 c 602s|910000 |523754 | 0 | 0.0 | 928M|2816 | - |5645 |7954 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
617.71/617.70 c 608s|920000 |529603 | 0 | 0.0 | 940M|2816 | - |5645 |8848 | 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
625.01/625.06 c 616s|930000 |534762 | 0 | 0.0 | 951M|2816 | - |5645 |9744 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
633.21/633.20 c 624s|940000 |539415 | 0 | 0.0 | 962M|2816 | - |5645 | 11k| 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
642.42/642.45 c 633s|950000 |543294 | 0 | 0.0 | 973M|2816 | - |5645 | 12k| 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
654.11/654.14 c 644s|960000 |545494 | 0 | 0.0 | 982M|2816 | - |5645 | 15k| 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
665.21/665.28 c 655s|970000 |548571 | 0 | 0.0 | 987M|2816 | - |5645 |9103 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
667.91/667.91 o 2
667.91/667.91 c * 658s|975102 |533324 | 0 | 0.0 | 967M|2816 | - |5645 |7672 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
670.71/670.75 c 661s|980000 |536694 | 0 | 0.0 | 973M|2816 | - |5645 |7479 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
676.61/676.69 c 666s|990000 |543298 | 0 | 0.0 | 985M|2816 | - |5645 |8094 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
683.22/683.27 c 673s| 1000k|549314 | 0 | 0.0 | 997M|2816 | - |5645 |9242 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
690.72/690.71 c 680s| 1010k|554652 | 0 | 0.0 |1008M|2816 | - |5645 | 10k| 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
700.62/700.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.62/700.60 c 690s| 1020k|558208 | 0 | 0.0 |1019M|2816 | - |5645 | 13k| 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
714.91/714.99 c 704s| 1030k|558410 | 0 | 0.0 |1025M|2816 | - |5645 | 17k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
720.32/720.33 c 709s| 1040k|565887 | 0 | 0.0 |1033M|2816 | - |5645 |8450 | 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
725.72/725.71 c 715s| 1050k|572740 | 0 | 0.0 |1043M|2816 | - |5645 |8001 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
731.11/731.19 c 720s| 1060k|579374 | 0 | 0.0 |1054M|2816 | - |5645 |7714 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
736.92/736.96 c 726s| 1070k|585801 | 0 | 0.0 |1064M|2816 | - |5645 |7568 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
743.21/743.28 c 732s| 1080k|591649 | 0 | 0.0 |1074M|2816 | - |5645 |8110 | 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
749.52/749.55 c 738s| 1090k|597573 | 0 | 0.0 |1084M|2816 | - |5645 |8236 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
755.72/755.71 c 744s| 1100k|603609 | 0 | 0.0 |1094M|2816 | - |5645 |8119 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
762.41/762.43 c 751s| 1110k|609085 | 0 | 0.0 |1104M|2816 | - |5645 |8695 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
769.21/769.22 c 757s| 1120k|614561 | 0 | 0.0 |1114M|2816 | - |5645 |8945 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
775.71/775.70 c 764s| 1130k|620299 | 0 | 0.0 |1124M|2816 | - |5645 |9133 | 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
782.72/782.76 c 771s| 1140k|625537 | 0 | 0.0 |1133M|2816 | - |5645 |9385 | 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
789.62/789.62 c 777s| 1150k|631059 | 0 | 0.0 |1143M|2816 | - |5645 |9768 | 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
796.91/796.99 c 785s| 1160k|636174 | 0 | 0.0 |1153M|2816 | - |5645 | 10k| 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
804.52/804.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
804.52/804.52 c 792s| 1170k|641211 | 0 | 0.0 |1163M|2816 | - |5645 | 10k| 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
812.42/812.47 c 800s| 1180k|646012 | 0 | 0.0 |1172M|2816 | - |5645 | 11k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
821.02/821.07 c 808s| 1190k|650401 | 0 | 0.0 |1182M|2816 | - |5645 | 12k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
830.01/830.05 c 817s| 1200k|654545 | 0 | 0.0 |1192M|2816 | - |5645 | 12k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
839.81/839.88 c 827s| 1210k|658152 | 0 | 0.0 |1201M|2816 | - |5645 | 13k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
851.52/851.52 c 838s| 1220k|661019 | 0 | 0.0 |1208M|2816 | - |5645 |7343 | 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
862.92/862.97 c 850s| 1230k|662345 | 0 | 0.0 |1216M|2816 | - |5645 |9708 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
875.42/875.40 c 862s| 1240k|662961 | 0 | 0.0 |1218M|2816 | - |5645 |8821 | 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
879.71/879.71 c 866s| 1250k|670681 | 0 | 0.0 |1227M|2816 | - |5645 |7216 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
884.32/884.36 c 871s| 1260k|677947 | 0 | 0.0 |1237M|2816 | - |5645 |7639 | 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
889.41/889.40 c 876s| 1270k|684856 | 0 | 0.0 |1247M|2816 | - |5645 |8289 | 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
895.22/895.21 c 882s| 1280k|691015 | 0 | 0.0 |1257M|2816 | - |5645 |9231 | 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
902.22/902.22 c 888s| 1290k|696210 | 0 | 0.0 |1267M|2816 | - |5645 | 10k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
910.83/910.84 c 897s| 1300k|700205 | 0 | 0.0 |1277M|2816 | - |5645 | 11k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
919.82/919.86 c 906s| 1310k|703890 | 0 | 0.0 |1284M|2816 | - |5645 |9586 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
925.72/925.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
925.72/925.76 c 912s| 1320k|710134 | 0 | 0.0 |1293M|2816 | - |5645 |8193 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
930.82/930.85 c 917s| 1330k|717037 | 0 | 0.0 |1302M|2816 | - |5645 |8586 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
936.42/936.42 c 922s| 1340k|723600 | 0 | 0.0 |1312M|2816 | - |5645 |9524 | 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
942.82/942.81 c 928s| 1350k|729541 | 0 | 0.0 |1323M|2816 | - |5645 | 10k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
950.72/950.74 c 936s| 1360k|734264 | 0 | 0.0 |1333M|2816 | - |5645 | 12k| 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
961.22/961.25 c 947s| 1370k|736960 | 0 | 0.0 |1341M|2816 | - |5645 | 14k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
968.03/968.02 c 953s| 1380k|742616 | 0 | 0.0 |1347M|2816 | - |5645 |7466 | 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
972.32/972.34 c 957s| 1390k|750272 | 0 | 0.0 |1357M|2816 | - |5645 |7178 | 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
976.82/976.82 c 962s| 1400k|757790 | 0 | 0.0 |1367M|2816 | - |5645 |7388 | 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
981.72/981.79 c 967s| 1410k|764816 | 0 | 0.0 |1377M|2816 | - |5645 |8285 | 0 | 0 | 0 |1068k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
987.12/987.15 c 972s| 1420k|771563 | 0 | 0.0 |1388M|2816 | - |5645 |8978 | 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
992.82/992.83 c 977s| 1430k|778022 | 0 | 0.0 |1398M|2816 | - |5645 |9442 | 0 | 0 | 0 |1079k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
998.82/998.85 c 983s| 1440k|784272 | 0 | 0.0 |1409M|2816 | - |5645 | 10k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1005.02/1005.00 c 989s| 1450k|790400 | 0 | 0.0 |1419M|2816 | - |5645 | 10k| 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1011.72/1011.75 c 996s| 1460k|796066 | 0 | 0.0 |1430M|2816 | - |5645 | 11k| 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1018.92/1018.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.92/1018.94 c 1003s| 1470k|801367 | 0 | 0.0 |1440M|2816 | - |5645 | 12k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1026.73/1026.73 c 1011s| 1480k|806327 | 0 | 0.0 |1449M|2816 | - |5645 | 12k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1035.32/1035.31 c 1019s| 1490k|810747 | 0 | 0.0 |1458M|2816 | - |5645 | 13k| 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1044.52/1044.50 c 1028s| 1500k|814746 | 0 | 0.0 |1467M|2816 | - |5645 | 14k| 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1055.22/1055.20 c 1039s| 1510k|817660 | 0 | 0.0 |1475M|2816 | - |5645 | 15k| 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1066.32/1066.30 c 1050s| 1520k|820481 | 0 | 0.0 |1479M|2816 | - |5645 | 10k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1071.03/1071.00 c 1054s| 1530k|828093 | 0 | 0.0 |1489M|2816 | - |5645 |8822 | 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1076.02/1076.09 c 1060s| 1540k|835221 | 0 | 0.0 |1499M|2816 | - |5645 |8847 | 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1081.62/1081.66 c 1065s| 1550k|841870 | 0 | 0.0 |1510M|2816 | - |5645 |9576 | 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1087.72/1087.75 c 1071s| 1560k|848097 | 0 | 0.0 |1520M|2816 | - |5645 |9662 | 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1094.12/1094.19 c 1077s| 1570k|854005 | 0 | 0.0 |1531M|2816 | - |5645 | 10k| 0 | 0 | 0 |1178k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1100.82/1100.88 c 1084s| 1580k|859761 | 0 | 0.0 |1541M|2816 | - |5645 | 10k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1107.63/1107.61 c 1090s| 1590k|865522 | 0 | 0.0 |1551M|2816 | - |5645 | 10k| 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1114.73/1114.72 c 1097s| 1600k|870888 | 0 | 0.0 |1561M|2816 | - |5645 | 10k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1122.03/1122.07 c 1105s| 1610k|876104 | 0 | 0.0 |1571M|2816 | - |5645 | 11k| 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1129.42/1129.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.42/1129.47 c 1112s| 1620k|881344 | 0 | 0.0 |1580M|2816 | - |5645 | 12k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1137.52/1137.52 c 1120s| 1630k|886214 | 0 | 0.0 |1590M|2816 | - |5645 | 13k| 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1146.93/1146.96 c 1129s| 1640k|890023 | 0 | 0.0 |1599M|2816 | - |5645 | 15k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1158.33/1158.30 c 1140s| 1650k|892828 | 0 | 0.0 |1605M|2816 | - |5645 | 11k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1162.83/1162.84 c 1145s| 1660k|900550 | 0 | 0.0 |1614M|2816 | - |5645 |8266 | 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1167.43/1167.42 c 1149s| 1670k|908025 | 0 | 0.0 |1624M|2816 | - |5645 |8447 | 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1172.63/1172.61 c 1154s| 1680k|914971 | 0 | 0.0 |1635M|2816 | - |5645 |8858 | 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1178.43/1178.48 c 1160s| 1690k|921361 | 0 | 0.0 |1645M|2816 | - |5645 |9497 | 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1184.33/1184.37 c 1166s| 1700k|927767 | 0 | 0.0 |1655M|2816 | - |5645 | 10k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1190.52/1190.57 c 1172s| 1710k|933918 | 0 | 0.0 |1666M|2816 | - |5645 | 10k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1196.93/1196.99 c 1178s| 1720k|939896 | 0 | 0.0 |1676M|2816 | - |5645 | 10k| 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1203.62/1203.65 c 1185s| 1730k|945618 | 0 | 0.0 |1687M|2816 | - |5645 | 10k| 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1210.32/1210.31 c 1191s| 1740k|951328 | 0 | 0.0 |1697M|2816 | - |5645 | 10k| 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1217.03/1217.05 c 1198s| 1750k|957020 | 0 | 0.0 |1706M|2816 | - |5645 | 11k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1223.93/1223.92 c 1205s| 1760k|962692 | 0 | 0.0 |1716M|2816 | - |5645 | 11k| 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1230.62/1230.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1230.62/1230.64 c 1211s| 1770k|968384 | 0 | 0.0 |1726M|2816 | - |5645 | 11k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1237.73/1237.70 c 1218s| 1780k|973796 | 0 | 0.0 |1735M|2816 | - |5645 | 11k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1245.03/1245.04 c 1226s| 1790k|979038 | 0 | 0.0 |1745M|2816 | - |5645 | 11k| 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1252.23/1252.26 c 1233s| 1800k|984420 | 0 | 0.0 |1755M|2816 | - |5645 | 12k| 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1259.63/1259.62 c 1240s| 1810k|989698 | 0 | 0.0 |1765M|2816 | - |5645 | 13k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1267.53/1267.58 c 1248s| 1820k|994594 | 0 | 0.0 |1775M|2816 | - |5645 | 13k| 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1276.13/1276.16 c 1256s| 1830k|999027 | 0 | 0.0 |1785M|2816 | - |5645 | 15k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1285.63/1285.66 c 1266s| 1840k| 1002k| 0 | 0.0 |1794M|2816 | - |5645 | 16k| 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1296.83/1296.89 c 1277s| 1850k| 1005k| 0 | 0.0 |1800M|2816 | - |5645 | 15k| 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1301.63/1301.67 c 1281s| 1860k| 1013k| 0 | 0.0 |1808M|2816 | - |5645 |9673 | 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1306.63/1306.61 c 1286s| 1870k| 1020k| 0 | 0.0 |1818M|2816 | - |5645 |9506 | 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1312.13/1312.10 c 1292s| 1880k| 1027k| 0 | 0.0 |1829M|2816 | - |5645 | 10k| 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1318.43/1318.48 c 1298s| 1890k| 1033k| 0 | 0.0 |1839M|2816 | - |5645 | 11k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1325.44/1325.42 c 1305s| 1900k| 1038k| 0 | 0.0 |1850M|2816 | - |5645 | 13k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1333.83/1333.81 c 1313s| 1910k| 1043k| 0 | 0.0 |1859M|2816 | - |5645 | 15k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1345.73/1345.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.73/1345.71 c 1325s| 1920k| 1044k| 0 | 0.0 |1866M|2816 | - |5645 | 18k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1350.53/1350.54 c 1330s| 1930k| 1052k| 0 | 0.0 |1873M|2816 | - |5645 |9179 | 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1355.33/1355.30 c 1334s| 1940k| 1060k| 0 | 0.0 |1883M|2816 | - |5645 |8908 | 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1360.53/1360.54 c 1339s| 1950k| 1067k| 0 | 0.0 |1893M|2816 | - |5645 |9550 | 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1366.13/1366.17 c 1345s| 1960k| 1073k| 0 | 0.0 |1903M|2816 | - |5645 | 10k| 0 | 0 | 0 |1445k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1372.33/1372.34 c 1351s| 1970k| 1079k| 0 | 0.0 |1913M|2816 | - |5645 | 10k| 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1378.83/1378.82 c 1357s| 1980k| 1085k| 0 | 0.0 |1922M|2816 | - |5645 | 10k| 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1385.33/1385.34 c 1364s| 1990k| 1091k| 0 | 0.0 |1932M|2816 | - |5645 | 10k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1391.83/1391.81 c 1370s| 2000k| 1097k| 0 | 0.0 |1941M|2816 | - |5645 | 10k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1398.93/1398.94 c 1377s| 2010k| 1102k| 0 | 0.0 |1951M|2816 | - |5645 | 11k| 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1406.03/1406.07 c 1384s| 2020k| 1107k| 0 | 0.0 |1960M|2816 | - |5645 | 12k| 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1413.33/1413.37 c 1391s| 2030k| 1113k| 0 | 0.0 |1969M|2816 | - |5645 | 12k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1421.24/1421.24 c 1399s| 2040k| 1118k| 0 | 0.0 |1979M|2816 | - |5645 | 14k| 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1430.93/1430.98 c 1409s| 2050k| 1121k| 0 | 0.0 |1987M|2816 | - |5645 | 15k| 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1439.94/1439.94 c 1418s| 2060k| 1126k| 0 | 0.0 |1992M|2816 | - |5645 |9093 | 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1444.53/1444.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1444.53/1444.52 c 1422s| 2070k| 1133k| 0 | 0.0 |2001M|2816 | - |5645 |8902 | 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1449.33/1449.32 c 1427s| 2080k| 1140k| 0 | 0.0 |2011M|2816 | - |5645 |9469 | 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1454.74/1454.77 c 1432s| 2090k| 1147k| 0 | 0.0 |2021M|2816 | - |5645 | 10k| 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1460.73/1460.72 c 1438s| 2100k| 1154k| 0 | 0.0 |2031M|2816 | - |5645 | 11k| 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1467.03/1467.09 c 1444s| 2110k| 1160k| 0 | 0.0 |2040M|2816 | - |5645 | 12k| 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1474.44/1474.40 c 1451s| 2120k| 1165k| 0 | 0.0 |2050M|2816 | - |5645 | 13k| 0 | 0 | 0 |1553k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1483.23/1483.24 c 1460s| 2130k| 1169k| 0 | 0.0 |2059M|2816 | - |5645 | 15k| 0 | 0 | 0 |1562k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1494.84/1494.86 c 1472s| 2140k| 1171k| 0 | 0.0 |2063M|2816 | - |5645 | 12k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1499.03/1499.03 c 1476s| 2150k| 1179k| 0 | 0.0 |2072M|2816 | - |5645 |9158 | 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1503.43/1503.40 c 1480s| 2160k| 1187k| 0 | 0.0 |2082M|2816 | - |5645 |8909 | 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1507.94/1507.99 c 1484s| 2170k| 1194k| 0 | 0.0 |2091M|2816 | - |5645 |9098 | 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1512.73/1512.79 c 1489s| 2180k| 1202k| 0 | 0.0 |2101M|2816 | - |5645 |9569 | 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1517.73/1517.70 c 1494s| 2190k| 1209k| 0 | 0.0 |2111M|2816 | - |5645 |9866 | 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1522.63/1522.67 c 1499s| 2200k| 1216k| 0 | 0.0 |2121M|2816 | - |5645 | 10k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1527.63/1527.67 c 1504s| 2210k| 1223k| 0 | 0.0 |2131M|2816 | - |5645 | 10k| 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1533.14/1533.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1533.14/1533.11 c 1509s| 2220k| 1230k| 0 | 0.0 |2140M|2816 | - |5645 | 10k| 0 | 0 | 0 |1607k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1538.84/1538.85 c 1515s| 2230k| 1236k| 0 | 0.0 |2150M|2816 | - |5645 | 10k| 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1544.63/1544.62 c 1520s| 2240k| 1242k| 0 | 0.0 |2160M|2816 | - |5645 | 10k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1550.94/1550.93 c 1527s| 2250k| 1248k| 0 | 0.0 |2170M|2816 | - |5645 | 10k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1557.23/1557.26 c 1533s| 2260k| 1254k| 0 | 0.0 |2180M|2816 | - |5645 | 11k| 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1563.53/1563.59 c 1539s| 2270k| 1260k| 0 | 0.0 |2190M|2816 | - |5645 | 11k| 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1570.34/1570.39 c 1546s| 2280k| 1266k| 0 | 0.0 |2199M|2816 | - |5645 | 11k| 0 | 0 | 0 |1643k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1577.53/1577.54 c 1553s| 2290k| 1271k| 0 | 0.0 |2209M|2816 | - |5645 | 11k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1584.53/1584.57 c 1560s| 2300k| 1276k| 0 | 0.0 |2218M|2816 | - |5645 | 11k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1592.04/1592.01 c 1567s| 2310k| 1281k| 0 | 0.0 |2226M|2816 | - |5645 | 12k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1599.44/1599.48 c 1574s| 2320k| 1286k| 0 | 0.0 |2235M|2816 | - |5645 | 11k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1607.04/1607.04 c 1582s| 2330k| 1291k| 0 | 0.0 |2244M|2816 | - |5645 | 12k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1614.64/1614.70 c 1589s| 2340k| 1296k| 0 | 0.0 |2253M|2816 | - |5645 | 11k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1621.94/1621.91 c 1597s| 2350k| 1302k| 0 | 0.0 |2261M|2816 | - |5645 | 11k| 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1628.43/1628.44 c 1603s| 2360k| 1307k| 0 | 0.0 |2270M|2816 | - |5645 | 11k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1634.94/1634.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.94/1634.98 c 1609s| 2370k| 1313k| 0 | 0.0 |2278M|2816 | - |5645 | 11k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1641.33/1641.37 c 1616s| 2380k| 1319k| 0 | 0.0 |2287M|2816 | - |5645 | 11k| 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1647.93/1647.98 c 1622s| 2390k| 1325k| 0 | 0.0 |2296M|2816 | - |5645 | 11k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1654.73/1654.73 c 1629s| 2400k| 1331k| 0 | 0.0 |2306M|2816 | - |5645 | 12k| 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1661.73/1661.78 c 1636s| 2410k| 1336k| 0 | 0.0 |2315M|2816 | - |5645 | 13k| 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1668.64/1668.67 c 1643s| 2420k| 1342k| 0 | 0.0 |2324M|2816 | - |5645 | 14k| 0 | 0 | 0 |1742k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1676.74/1676.75 c 1651s| 2430k| 1347k| 0 | 0.0 |2333M|2816 | - |5645 | 15k| 0 | 0 | 0 |1750k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1685.83/1685.80 c 1659s| 2440k| 1351k| 0 | 0.0 |2342M|2816 | - |5645 | 17k| 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1699.84/1699.81 c 1673s| 2450k| 1353k| 0 | 0.0 |2346M|2816 | - |5645 | 14k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1704.84/1704.83 c 1678s| 2460k| 1361k| 0 | 0.0 |2355M|2816 | - |5645 |9608 | 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1710.24/1710.21 c 1683s| 2470k| 1368k| 0 | 0.0 |2365M|2816 | - |5645 | 10k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1716.14/1716.18 c 1689s| 2480k| 1375k| 0 | 0.0 |2375M|2816 | - |5645 | 11k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1722.94/1722.95 c 1695s| 2490k| 1381k| 0 | 0.0 |2386M|2816 | - |5645 | 12k| 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1730.74/1730.70 c 1703s| 2500k| 1386k| 0 | 0.0 |2396M|2816 | - |5645 | 14k| 0 | 0 | 0 |1797k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1740.14/1740.17 c 1712s| 2510k| 1391k| 0 | 0.0 |2405M|2816 | - |5645 | 16k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1753.14/1753.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1753.14/1753.14 c 1724s| 2520k| 1393k| 0 | 0.0 |2412M|2816 | - |5645 | 18k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1758.44/1758.42 c 1729s| 2530k| 1400k| 0 | 0.0 |2419M|2816 | - |5645 | 10k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1763.44/1763.45 c 1734s| 2540k| 1408k| 0 | 0.0 |2428M|2816 | - |5645 | 10k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1768.85/1768.85 c 1739s| 2550k| 1415k| 0 | 0.0 |2438M|2816 | - |5645 | 11k| 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1775.14/1775.12 c 1745s| 2560k| 1421k| 0 | 0.0 |2448M|2816 | - |5645 | 12k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1783.53/1783.52 c 1753s| 2570k| 1426k| 0 | 0.0 |2458M|2816 | - |5645 | 14k| 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1793.24/1793.24 c 1763s| 2580k| 1431k| 0 | 0.0 |2469M|2816 | - |5645 | 17k| 0 | 0 | 0 |1851k| 0 | 0.000000e+00 | 2.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) : 1769.20
1800.05/1800.00 c Solving Nodes : 2584892
1800.05/1800.00 c Primal Bound : +2.00000000000000e+00 (36 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.07 s SATISFIABLE
1800.05/1800.07 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.07 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.07 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.07 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.07 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1800.05/1800.07 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104
1800.05/1800.07 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.07 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.07 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.07 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.07 v -x1
1800.05/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.07 c Solving Time : 1769.20
1800.05/1800.07 c Original Problem :
1800.05/1800.07 c Problem name : HOME/instance-2693698-1277930692.wbo
1800.05/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.07 c Constraints : 5415 initial, 5415 maximal
1800.05/1800.07 c Presolved Problem :
1800.05/1800.07 c Problem name : t_HOME/instance-2693698-1277930692.wbo
1800.05/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.07 c Constraints : 5414 initial, 22413 maximal
1800.05/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.07 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.07 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c linear : 0.03 0 0 0 2707 0 1 0 0
1800.05/1800.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.07 c root node : - 2663 - - 5326 - - - -
1800.05/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.07 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.07 c indicator : 2707 0 6688983 0 1851280 65 1866583 0 0 0
1800.05/1800.07 c linear : 2707 0 8281336 0 2180183 567107 48529153 0 0 0
1800.05/1800.07 c logicor : 0+ 0 3837911 0 0 89883 2260945 0 0 0
1800.05/1800.07 c countsols : 0 0 0 0 2180207 0 0 0 0 0
1800.05/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.07 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.07 c indicator : 12.95 0.00 6.40 0.00 6.55
1800.05/1800.07 c linear : 462.38 0.00 460.03 0.00 2.35
1800.05/1800.07 c logicor : 241.41 0.00 241.41 0.00 0.00
1800.05/1800.07 c countsols : 0.39 0.00 0.00 0.00 0.39
1800.05/1800.07 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.07 c vbounds : 1.75 2 0 0
1800.05/1800.07 c rootredcost : 1.67 0 0 0
1800.05/1800.07 c pseudoobj : 403.21 8282912 1449 1852253
1800.05/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.07 c propagation : 34.19 658439 658439 3172698 20.0 105278 11.3 -
1800.05/1800.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.07 c pseudo solution : 0.01 104 104 445 29.9 353 9.3 -
1800.05/1800.07 c applied globally : - - - 1857658 18.4 - - -
1800.05/1800.07 c applied locally : - - - 1 362.0 - - -
1800.05/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.07 c redcost : 0.00 0 0 0 0 0
1800.05/1800.07 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.07 c intobj : 0.00 0 0 0 0 0
1800.05/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.07 c gomory : 0.00 0 0 0 0 0
1800.05/1800.07 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.07 c cmir : 0.00 0 0 0 0 0
1800.05/1800.07 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.07 c clique : 0.00 0 0 0 0 0
1800.05/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.07 c mcf : 0.00 0 0 0 0 0
1800.05/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.07 c Pricers : Time Calls Vars
1800.05/1800.07 c problem variables: 0.00 0 0
1800.05/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.07 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.07 c inference : 34.49 2180174 0 0 0 0 4360348
1800.05/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.07 c random : 0.00 0 0 0 0 0 0
1800.05/1800.07 c Primal Heuristics : Time Calls Found
1800.05/1800.07 c LP solutions : 0.00 - 0
1800.05/1800.07 c pseudo solutions : 0.06 - 33
1800.05/1800.07 c oneopt : 0.97 0 0
1800.05/1800.07 c trivial : 0.09 2 2
1800.05/1800.07 c simplerounding : 0.00 0 0
1800.05/1800.07 c zirounding : 0.00 0 0
1800.05/1800.07 c rounding : 0.00 0 0
1800.05/1800.07 c shifting : 0.00 0 0
1800.05/1800.07 c intshifting : 0.00 0 0
1800.05/1800.07 c twoopt : 0.00 0 0
1800.05/1800.07 c fixandinfer : 0.00 0 0
1800.05/1800.07 c feaspump : 0.00 0 0
1800.05/1800.07 c coefdiving : 0.00 0 0
1800.05/1800.07 c pscostdiving : 0.00 0 0
1800.05/1800.07 c fracdiving : 0.00 0 0
1800.05/1800.07 c veclendiving : 0.00 0 0
1800.05/1800.07 c intdiving : 0.00 0 0
1800.05/1800.07 c actconsdiving : 0.00 0 0
1800.05/1800.07 c objpscostdiving : 0.00 0 0
1800.05/1800.07 c rootsoldiving : 0.00 0 0
1800.05/1800.07 c linesearchdiving : 0.00 0 0
1800.05/1800.07 c guideddiving : 0.00 0 0
1800.05/1800.07 c octane : 0.00 0 0
1800.05/1800.07 c rens : 0.00 0 0
1800.05/1800.07 c rins : 0.00 0 0
1800.05/1800.07 c localbranching : 0.00 0 0
1800.05/1800.07 c mutation : 0.00 0 0
1800.05/1800.07 c crossover : 0.00 0 0
1800.05/1800.07 c dins : 0.00 0 0
1800.05/1800.07 c undercover : 0.00 0 0
1800.05/1800.07 c nlp : 0.62 0 0
1800.05/1800.07 c trysol : 0.62 1 1
1800.05/1800.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.07 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.07 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.07 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.07 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.07 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.07 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.07 c (at root node) : - 0 0 0.00 -
1800.05/1800.07 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.07 c B&B Tree :
1800.05/1800.07 c number of runs : 1
1800.05/1800.07 c nodes : 2584892
1800.05/1800.07 c nodes (total) : 2584892
1800.05/1800.07 c nodes left : 1431889
1800.05/1800.07 c max depth : 2816
1800.05/1800.07 c max depth (total): 2816
1800.05/1800.07 c backtracks : 356364 (13.8%)
1800.05/1800.07 c delayed cutoffs : 309712
1800.05/1800.07 c repropagations : 1496735 (16210720 domain reductions, 253923 cutoffs)
1800.05/1800.07 c avg switch length: 43.10
1800.05/1800.07 c switching time : 492.67
1800.05/1800.07 c Solution :
1800.05/1800.07 c Solutions found : 36 (34 improvements)
1800.05/1800.07 c First Solution : +1.37972000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.07 c Primal Bound : +2.00000000000000e+00 (in run 1, after 975102 nodes, 657.76 seconds, depth 158, found by <relaxation>)
1800.05/1800.07 c Dual Bound : +0.00000000000000e+00
1800.05/1800.07 c Gap : infinite
1800.05/1800.07 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.07 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-2693698-1277930692/watcher-2693698-1277930692 -o /tmp/evaluation-result-2693698-1277930692/solver-2693698-1277930692 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693698-1277930692.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.06 2.06 4/182 15820 /proc/meminfo: memFree=31125712/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=8408 CPUtime=0 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 1559 0 0 0 0 0 0 0 25 0 1 0 134364792 8609792 1482 4089446400 4194304 7136930 140737369893488 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15820/statm: 2102 1498 275 719 0 1381 0 [startup+0.0788959 s] /proc/loadavg: 2.06 2.06 2.06 4/182 15820 /proc/meminfo: memFree=31125712/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=33676 CPUtime=0.07 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 7966 0 0 0 6 1 0 0 25 0 1 0 134364792 34484224 7535 4089446400 4194304 7136930 140737369893488 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15820/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 33676 [startup+0.100893 s] /proc/loadavg: 2.06 2.06 2.06 4/182 15820 /proc/meminfo: memFree=31125712/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=33676 CPUtime=0.09 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 7966 0 0 0 8 1 0 0 25 0 1 0 134364792 34484224 7535 4089446400 4194304 7136930 140737369893488 18446744073709551615 6350492 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15820/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.300858 s] /proc/loadavg: 2.06 2.06 2.06 4/182 15820 /proc/meminfo: memFree=31125712/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=36496 CPUtime=0.29 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 9238 0 0 0 28 1 0 0 25 0 1 0 134364792 37371904 8293 4089446400 4194304 7136930 140737369893488 18446744073709551615 4436340 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 9124 8293 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700783 s] /proc/loadavg: 2.06 2.06 2.06 4/182 15820 /proc/meminfo: memFree=31125712/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=37636 CPUtime=0.68 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 9515 0 0 0 66 2 0 0 25 0 1 0 134364792 38539264 8570 4089446400 4194304 7136930 140737369893488 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 37636 [startup+1.50064 s] /proc/loadavg: 2.06 2.06 2.06 3/183 15821 /proc/meminfo: memFree=31088504/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=42828 CPUtime=1.49 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 10813 0 0 0 145 4 0 0 25 0 1 0 134364792 43855872 9868 4089446400 4194304 7136930 140737369893488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 10707 9868 390 719 0 9986 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42828 [startup+3.10034 s] /proc/loadavg: 2.06 2.06 2.06 3/183 15821 /proc/meminfo: memFree=31083172/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=45004 CPUtime=3.09 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 11405 0 0 0 303 6 0 0 25 0 1 0 134364792 46084096 10460 4089446400 4194304 7136930 140737369893488 18446744073709551615 4697592 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 11251 10460 390 719 0 10530 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45004 [startup+6.30075 s] /proc/loadavg: 2.05 2.05 2.05 3/183 15821 /proc/meminfo: memFree=31064688/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=59128 CPUtime=6.29 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 14659 0 0 0 617 12 0 0 25 0 1 0 134364792 60547072 13714 4089446400 4194304 7136930 140737369893488 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 14782 13714 391 719 0 14061 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59128 [startup+12.7006 s] /proc/loadavg: 2.05 2.05 2.05 3/183 15821 /proc/meminfo: memFree=31022488/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=82344 CPUtime=12.69 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 20352 0 0 0 1244 25 0 0 25 0 1 0 134364792 84320256 19407 4089446400 4194304 7136930 140737369893488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 20586 19407 391 719 0 19865 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 82344 [startup+25.5002 s] /proc/loadavg: 2.04 2.05 2.05 3/183 15822 /proc/meminfo: memFree=30960932/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=121176 CPUtime=25.49 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 29928 0 0 0 2506 43 0 0 25 0 1 0 134364792 124084224 28983 4089446400 4194304 7136930 140737369893488 18446744073709551615 4948097 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 30294 28983 391 719 0 29573 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 121176 [startup+51.1005 s] /proc/loadavg: 2.02 2.05 2.05 3/183 15822 /proc/meminfo: memFree=30852188/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=188496 CPUtime=51.09 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 46030 0 0 0 5015 94 0 0 25 0 1 0 134364792 193019904 45085 4089446400 4194304 7136930 140737369893488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 47124 45085 391 719 0 46403 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 188496 [startup+102.306 s] /proc/loadavg: 2.11 2.07 2.06 3/183 15824 /proc/meminfo: memFree=30646932/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=292396 CPUtime=102.29 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 72087 0 0 0 10062 167 0 0 25 0 1 0 134364792 299413504 71142 4089446400 4194304 7136930 140737369893488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 73099 71142 391 719 0 72378 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 292396 [startup+162.301 s] /proc/loadavg: 2.11 2.07 2.06 3/183 15825 /proc/meminfo: memFree=30442772/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=387908 CPUtime=162.29 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 95276 0 0 0 15975 254 0 0 25 0 1 0 134364792 397217792 94331 4089446400 4194304 7136930 140737369893488 18446744073709551615 4999718 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 96977 94331 391 719 0 96256 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 387908 [startup+222.301 s] /proc/loadavg: 2.08 2.07 2.06 3/183 15827 /proc/meminfo: memFree=30201544/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=532600 CPUtime=222.3 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 128228 0 0 0 21890 340 0 0 25 0 1 0 134364792 545382400 127283 4089446400 4194304 7136930 140737369893488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 133150 127283 391 719 0 132429 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 532600 [startup+282.301 s] /proc/loadavg: 2.06 2.07 2.05 3/183 15828 /proc/meminfo: memFree=29982152/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=650884 CPUtime=282.3 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 158045 0 0 0 27765 465 0 0 25 0 1 0 134364792 666505216 157100 4089446400 4194304 7136930 140737369893488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 162721 157100 391 719 0 162000 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 650884 [startup+342.301 s] /proc/loadavg: 2.06 2.06 2.05 3/183 15830 /proc/meminfo: memFree=29793000/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=770068 CPUtime=342.3 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 188143 0 0 0 33645 585 0 0 25 0 1 0 134364792 788549632 187198 4089446400 4194304 7136930 140737369893488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 192517 187198 391 719 0 191796 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 770068 [startup+402.3 s] /proc/loadavg: 2.02 2.05 2.05 3/183 15832 /proc/meminfo: memFree=29635844/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=871728 CPUtime=402.3 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 213881 0 0 0 39547 683 0 0 25 0 1 0 134364792 892649472 212936 4089446400 4194304 7136930 140737369893488 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 217932 212936 391 719 0 217211 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 871728 [startup+462.3 s] /proc/loadavg: 2.01 2.04 2.04 3/183 15833 /proc/meminfo: memFree=29525072/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=955476 CPUtime=462.3 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 232651 0 0 0 45477 753 0 0 25 0 1 0 134364792 978407424 231706 4089446400 4194304 7136930 140737369893488 18446744073709551615 4924114 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 238869 231706 391 719 0 238148 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 955476 [startup+522.3 s] /proc/loadavg: 2.00 2.03 2.04 3/183 15835 /proc/meminfo: memFree=29398068/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=1019412 CPUtime=522.3 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 248632 0 0 0 51408 822 0 0 25 0 1 0 134364792 1043877888 247687 4089446400 4194304 7136930 140737369893488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 254853 247687 391 719 0 254132 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1019412 [startup+582.301 s] /proc/loadavg: 2.00 2.02 2.03 3/183 15836 /proc/meminfo: memFree=29293120/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=1043560 CPUtime=582.31 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 254706 0 0 0 57352 879 0 0 25 0 1 0 134364792 1068605440 253761 4089446400 4194304 7136930 140737369893488 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 260890 253761 391 719 0 260169 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1043560 [startup+642.301 s] /proc/loadavg: 2.00 2.02 2.02 3/183 15838 /proc/meminfo: memFree=29133484/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=1113180 CPUtime=642.32 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 272203 0 0 0 63253 979 0 0 25 0 1 0 134364792 1139896320 271258 4089446400 4194304 7136930 140737369893488 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15820/statm: 278295 271258 391 719 0 277574 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1113180 [startup+702.301 s] ################ # More data... # ################ /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 383982 0 0 0 98677 1555 0 0 25 0 1 0 134364792 1597685760 383037 4089446400 4194304 7136930 140737369893488 18446744073709551615 5950894 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15820/statm: 390060 383037 391 719 0 389339 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1560240 [startup+1062.3 s] /proc/loadavg: 2.03 2.01 2.00 3/183 15858 /proc/meminfo: memFree=28124424/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=1647176 CPUtime=1062.32 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 405148 0 0 0 104596 1636 0 0 25 0 1 0 134364792 1686708224 404203 4089446400 4194304 7136930 140737369893488 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15820/statm: 411794 404203 391 719 0 411073 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1647176 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 15860 /proc/meminfo: memFree=27965396/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=1732344 CPUtime=1122.32 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 426676 0 0 0 110490 1742 0 0 25 0 1 0 134364792 1773920256 425731 4089446400 4194304 7136930 140737369893488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15820/statm: 433086 425731 391 719 0 432365 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1732344 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15861 /proc/meminfo: memFree=27811472/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=1813712 CPUtime=1182.32 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 447298 0 0 0 116395 1837 0 0 25 0 1 0 134364792 1857241088 446353 4089446400 4194304 7136930 140737369893488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15820/statm: 453428 446353 391 719 0 452707 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1813712 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15863 /proc/meminfo: memFree=27653064/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=1899124 CPUtime=1242.33 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 468772 0 0 0 122295 1938 0 0 25 0 1 0 134364792 1944702976 467827 4089446400 4194304 7136930 140737369893488 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15820/statm: 474781 467827 391 719 0 474060 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1899124 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15865 /proc/meminfo: memFree=27515504/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=1975392 CPUtime=1302.34 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 483964 0 0 0 128207 2027 0 0 25 0 1 0 134364792 2022801408 483019 4089446400 4194304 7136930 140737369893488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15820/statm: 493848 483019 391 719 0 493127 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1975392 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 15866 /proc/meminfo: memFree=27361832/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=2064680 CPUtime=1362.33 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 506263 0 0 0 134106 2127 0 0 25 0 1 0 134364792 2114232320 505318 4089446400 4194304 7136930 140737369893488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15820/statm: 516170 505318 391 719 0 515449 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2064680 [startup+1422.31 s] /proc/loadavg: 2.07 2.02 2.00 3/183 15868 /proc/meminfo: memFree=27195616/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=2151236 CPUtime=1422.34 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 528219 0 0 0 140016 2218 0 0 25 0 1 0 134364792 2202865664 527274 4089446400 4194304 7136930 140737369893488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15820/statm: 537809 527274 391 719 0 537088 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2151236 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/183 15869 /proc/meminfo: memFree=27053848/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=2230592 CPUtime=1482.33 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 548217 0 0 0 145921 2312 0 0 25 0 1 0 134364792 2284126208 547272 4089446400 4194304 7136930 140737369893488 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15820/statm: 557648 547272 391 719 0 556927 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2230592 [startup+1542.3 s] /proc/loadavg: 2.08 2.03 2.01 3/183 15871 /proc/meminfo: memFree=26891104/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=2315140 CPUtime=1542.33 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 569638 0 0 0 151816 2417 0 0 25 0 1 0 134364792 2370703360 568693 4089446400 4194304 7136930 140737369893488 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15820/statm: 578785 568693 391 719 0 578064 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2315140 [startup+1602.3 s] /proc/loadavg: 2.07 2.04 2.01 3/183 15873 /proc/meminfo: memFree=26737052/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=2403784 CPUtime=1602.33 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 591979 0 0 0 157724 2509 0 0 25 0 1 0 134364792 2461474816 591034 4089446400 4194304 7136930 140737369893488 18446744073709551615 4383992 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15820/statm: 600946 591034 391 719 0 600225 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2403784 [startup+1662.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 15874 /proc/meminfo: memFree=26580892/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=2485916 CPUtime=1662.34 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 612424 0 0 0 163632 2602 0 0 25 0 1 0 134364792 2545577984 611479 4089446400 4194304 7136930 140737369893488 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15820/statm: 621479 611479 391 719 0 620758 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2485916 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 15904 /proc/meminfo: memFree=28833164/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=2545268 CPUtime=1722.34 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 627516 0 0 0 169451 2783 0 0 25 0 1 0 134364792 2606354432 626571 4089446400 4194304 7136930 140737369893488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15820/statm: 636317 626571 391 719 0 635596 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2545268 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 15905 /proc/meminfo: memFree=28715232/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=2622384 CPUtime=1782.34 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 646952 0 0 0 175205 3029 0 0 25 0 1 0 134364792 2685321216 646007 4089446400 4194304 7136930 140737369893488 18446744073709551615 4999763 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15820/statm: 655596 646007 391 719 0 654875 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2622384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 2.00 3/183 15906 /proc/meminfo: memFree=28686208/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=2637864 CPUtime=1800.05 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 650842 0 0 0 176922 3083 0 0 25 0 1 0 134364792 2701172736 649897 4089446400 4194304 7136930 140737369893488 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15820/statm: 659466 649897 391 719 0 658745 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2637864 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15820 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.01 2.00 3/184 15907 /proc/meminfo: memFree=28686200/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=2637864 CPUtime=1801.44 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 650858 0 0 0 177061 3083 0 0 19 0 1 0 134364792 2701172736 649913 4089446400 4194304 7136930 140737369893488 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15820/statm: 659466 649913 397 719 0 658745 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2637864 [startup+1801.81 s] /proc/loadavg: 2.00 2.01 2.00 3/184 15907 /proc/meminfo: memFree=28684588/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=2637864 CPUtime=1801.85 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 650858 0 0 0 177102 3083 0 0 20 0 1 0 134364792 2701172736 649913 4089446400 4194304 7136930 140737369893488 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15820/statm: 659466 649913 397 719 0 658745 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 2637864 [startup+1802 s] /proc/loadavg: 2.00 2.01 2.00 3/184 15907 /proc/meminfo: memFree=28684588/32951124 swapFree=67111528/67111528 [pid=15820] ppid=15818 vsize=2637864 CPUtime=1802.04 /proc/15820/stat : 15820 (pbscip.linux.x8) R 15818 15820 15688 0 -1 4202496 650858 0 0 0 177121 3083 0 0 21 0 1 0 134364792 2701172736 649913 4089446400 4194304 7136930 140737369893488 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15820/statm: 659466 649913 397 719 0 658745 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2637864 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.1 CPU time (s): 1802.14 CPU user time (s): 1771.22 CPU system time (s): 30.9193 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2637864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1771.22 system time used= 30.9193 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 650858 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1998 runsolver used 3.63045 second user time and 6.15906 second system time The end
Begin job on node135 at 2010-06-30 22:44:52 IDJOB=2693698 IDBENCH=79308 IDSOLVER=1206 FILE ID=node135/2693698-1277930692 PBS_JOBID= 11197428 Free space on /tmp= 74136 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.1900573901--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-2693698-1277930692/watcher-2693698-1277930692 -o /tmp/evaluation-result-2693698-1277930692/solver-2693698-1277930692 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693698-1277930692.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 889361cc7af818b09040d50027029365 RANDOM SEED=599764356 node135.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.857 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.71 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.857 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.857 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.857 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 : 7186.14 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.857 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.857 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.857 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.857 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31126116 kB Buffers: 210160 kB Cached: 1108840 kB SwapCached: 0 kB Active: 839208 kB Inactive: 841032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31126116 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3148 kB Writeback: 0 kB AnonPages: 361500 kB Mapped: 16076 kB Slab: 82300 kB PageTables: 5072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 509164 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74132 MiB End job on node135 at 2010-06-30 23:14:54