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.15 | 1802.1 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900583053--soft-0-100-0.wbo |
| MD5SUM | 4a2d6bc5f020a6a42fcf2a39cec0be8f |
| 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 | 322.817 |
| 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 | 135715 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 135714 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 651 |
| 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-2693746-1277931476.wbo>
0.02/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.02/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.12 o 135714
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.357140e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.357140e+05 | Inf
3.19/3.27 c 3.2s| 10000 | 9614 | 0 | 0.0 | 24M|2816 | - |5645 |6832 | 0 | 0 | 0 |1418 | 0 | 0.000000e+00 | 1.357140e+05 | Inf
5.29/5.38 o 516
5.29/5.38 c * 5.2s| 17222 | 15514 | 0 | 0.0 | 27M|2816 | - |5645 |6856 | 0 | 0 | 0 |1442 | 0 | 0.000000e+00 | 5.160000e+02 | Inf
5.40/5.44 o 503
5.40/5.44 c * 5.3s| 17358 | 15646 | 0 | 0.0 | 27M|2816 | - |5645 |6866 | 0 | 0 | 0 |1452 | 0 | 0.000000e+00 | 5.030000e+02 | Inf
6.09/6.12 c 6.0s| 20000 | 18222 | 0 | 0.0 | 28M|2816 | - |5645 |6871 | 0 | 0 | 0 |1462 | 0 | 0.000000e+00 | 5.030000e+02 | Inf
6.19/6.29 o 255
6.19/6.29 c * 6.1s| 20686 | 6871 | 0 | 0.0 | 24M|2816 | - |5645 |6876 | 0 | 0 | 0 |1467 | 0 | 0.000000e+00 | 2.550000e+02 | Inf
6.29/6.31 o 179
6.29/6.31 c * 6.2s| 20781 | 6880 | 0 | 0.0 | 24M|2816 | - |5645 |6886 | 0 | 0 | 0 |1477 | 0 | 0.000000e+00 | 1.790000e+02 | Inf
6.29/6.34 o 162
6.29/6.34 c * 6.2s| 20877 | 6922 | 0 | 0.0 | 24M|2816 | - |5645 |6903 | 0 | 0 | 0 |1494 | 0 | 0.000000e+00 | 1.620000e+02 | Inf
9.29/9.33 c 9.1s| 30000 | 14613 | 0 | 0.0 | 34M|2816 | - |5645 |8070 | 0 | 0 | 0 |8130 | 0 | 0.000000e+00 | 1.620000e+02 | Inf
13.39/13.48 c 13.2s| 40000 | 21915 | 0 | 0.0 | 47M|2816 | - |5645 |9470 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.620000e+02 | Inf
16.59/16.64 o 160
16.59/16.64 c *16.3s| 44336 | 23814 | 0 | 0.0 | 53M|2816 | - |5645 | 10k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
17.29/17.37 o 139
17.29/17.37 c *17.0s| 45494 | 24785 | 0 | 0.0 | 54M|2816 | - |5645 |9748 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
17.50/17.58 o 136
17.50/17.58 c *17.2s| 45797 | 25065 | 0 | 0.0 | 54M|2816 | - |5645 |9630 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
17.50/17.58 o 126
17.50/17.58 c *17.2s| 45798 | 25040 | 0 | 0.0 | 54M|2816 | - |5645 |9630 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
18.99/19.09 o 123
18.99/19.09 c *18.7s| 47825 | 26845 | 0 | 0.0 | 60M|2816 | - |5645 |9507 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.230000e+02 | Inf
19.09/19.10 o 118
19.09/19.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.09/19.10 c *18.7s| 47826 | 26780 | 0 | 0.0 | 60M|2816 | - |5645 |9507 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
19.29/19.32 o 106
19.29/19.32 c *19.0s| 48163 | 26980 | 0 | 0.0 | 60M|2816 | - |5645 |9396 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
19.29/19.32 o 96
19.29/19.32 c *19.0s| 48164 | 26662 | 0 | 0.0 | 59M|2816 | - |5645 |9396 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
19.80/19.84 o 94
19.80/19.84 c *19.5s| 48765 | 27099 | 0 | 0.0 | 61M|2816 | - |5645 |9208 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
19.99/20.03 o 93
19.99/20.03 c *19.7s| 49006 | 27261 | 0 | 0.0 | 61M|2816 | - |5645 |9150 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
19.99/20.03 o 76
19.99/20.03 c *19.7s| 49007 | 26371 | 0 | 0.0 | 58M|2816 | - |5645 |9150 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
20.69/20.80 c 20.4s| 50000 | 27258 | 0 | 0.0 | 60M|2816 | - |5645 |8860 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
21.59/21.66 o 62
21.59/21.66 c *21.3s| 51156 | 27572 | 0 | 0.0 | 62M|2816 | - |5645 |8479 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
21.79/21.84 o 56
21.79/21.84 c *21.5s| 51370 | 27456 | 0 | 0.0 | 61M|2816 | - |5645 |8457 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
22.19/22.20 o 48
22.19/22.20 c *21.8s| 51800 | 27106 | 0 | 0.0 | 62M|2816 | - |5645 |8436 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
22.39/22.49 o 45
22.39/22.49 c *22.1s| 52147 | 27292 | 0 | 0.0 | 63M|2816 | - |5645 |8343 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
22.59/22.61 o 41
22.59/22.61 c *22.2s| 52250 | 27190 | 0 | 0.0 | 63M|2816 | - |5645 |8383 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
22.69/22.73 o 25
22.69/22.73 c *22.3s| 52342 | 26620 | 0 | 0.0 | 62M|2816 | - |5645 |6580 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
23.69/23.78 o 22
23.69/23.78 c *23.4s| 53723 | 27512 | 0 | 0.0 | 64M|2816 | - |5645 |6256 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
24.59/24.65 o 14
24.59/24.65 c *24.2s| 55632 | 28614 | 0 | 0.0 | 65M|2816 | - |5645 |6084 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
26.49/26.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.49/26.50 c 26.0s| 60000 | 32114 | 0 | 0.0 | 69M|2816 | - |5645 |6027 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
30.59/30.64 o 13
30.59/30.64 c *30.1s| 69741 | 39869 | 0 | 0.0 | 79M|2816 | - |5645 |6069 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
30.70/30.75 c 30.2s| 70000 | 40088 | 0 | 0.0 | 79M|2816 | - |5645 |6046 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
34.49/34.55 c 33.9s| 80000 | 48251 | 0 | 0.0 | 89M|2816 | - |5645 |6321 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
38.29/38.36 c 37.6s| 90000 | 56494 | 0 | 0.0 | 99M|2816 | - |5645 |5916 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
42.90/42.90 c 42.1s|100000 | 64081 | 0 | 0.0 | 110M|2816 | - |5645 |6764 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
47.69/47.74 c 46.9s|110000 | 71308 | 0 | 0.0 | 121M|2816 | - |5645 |7240 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
52.39/52.49 c 51.5s|120000 | 78563 | 0 | 0.0 | 132M|2816 | - |5645 |7628 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
57.69/57.76 c 56.7s|130000 | 85396 | 0 | 0.0 | 142M|2816 | - |5645 |8070 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
63.49/63.56 c 62.4s|140000 | 91878 | 0 | 0.0 | 154M|2816 | - |5645 |8906 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
69.20/69.30 c 68.1s|150000 | 98382 | 0 | 0.0 | 165M|2816 | - |5645 |9116 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
75.20/75.27 c 74.0s|160000 |104756 | 0 | 0.0 | 177M|2816 | - |5645 |9361 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
81.40/81.43 c 80.0s|170000 |110994 | 0 | 0.0 | 188M|2816 | - |5645 | 10k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
88.20/88.26 c 86.7s|180000 |116668 | 0 | 0.0 | 200M|2816 | - |5645 | 11k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
95.20/95.24 c 93.6s|190000 |122292 | 0 | 0.0 | 210M|2816 | - |5645 | 11k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
103.09/103.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.09/103.16 c 101s|200000 |126866 | 0 | 0.0 | 221M|2816 | - |5645 | 12k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
112.50/112.54 c 111s|210000 |128266 | 0 | 0.0 | 223M|2816 | - |5645 |7689 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
117.79/117.84 c 116s|220000 |136056 | 0 | 0.0 | 234M|2816 | - |5645 |8098 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
124.59/124.64 c 123s|230000 |143220 | 0 | 0.0 | 247M|2816 | - |5645 |6992 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
131.70/131.73 o 12
131.70/131.73 c * 130s|238793 |148671 | 0 | 0.0 | 260M|2816 | - |5645 |9065 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
133.00/133.06 c 131s|240000 |149294 | 0 | 0.0 | 262M|2816 | - |5645 |8822 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
139.60/139.64 c 137s|250000 |156400 | 0 | 0.0 | 274M|2816 | - |5645 |7773 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
147.70/147.78 c 145s|260000 |162600 | 0 | 0.0 | 290M|2816 | - |5645 |7942 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
151.39/151.45 o 9
151.39/151.45 c * 149s|267545 |168001 | 0 | 0.0 | 294M|2816 | - |5645 |9172 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
153.30/153.33 c 151s|270000 |169664 | 0 | 0.0 | 299M|2816 | - |5645 |9925 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
160.99/161.01 c 158s|280000 |176322 | 0 | 0.0 | 317M|2816 | - |5645 |8763 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
168.10/168.19 c 165s|290000 |183531 | 0 | 0.0 | 343M|2816 | - |5645 | 11k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
174.40/174.43 c 172s|300000 |191050 | 0 | 0.0 | 357M|2816 | - |5645 |9437 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
176.89/176.93 o 6
176.89/176.93 c * 174s|304124 |193078 | 0 | 0.0 | 357M|2816 | - |5645 | 10k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
181.99/182.07 c 179s|310000 |196524 | 0 | 0.0 | 370M|2816 | - |5645 | 11k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
187.60/187.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.60/187.61 c 184s|320000 |204524 | 0 | 0.0 | 388M|2816 | - |5645 | 10k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
194.70/194.77 c 192s|330000 |211550 | 0 | 0.0 | 406M|2816 | - |5645 | 10k| 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
200.10/200.16 c 197s|340000 |219707 | 0 | 0.0 | 423M|2816 | - |5645 | 10k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
207.90/207.95 c 204s|350000 |226496 | 0 | 0.0 | 445M|2816 | - |5645 | 12k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
215.50/215.56 c 212s|360000 |233131 | 0 | 0.0 | 461M|2816 | - |5645 | 10k| 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
223.30/223.31 c 220s|370000 |239623 | 0 | 0.0 | 480M|2816 | - |5645 | 10k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
226.89/226.96 c 223s|380000 |248036 | 0 | 0.0 | 489M|2816 | - |5645 |8128 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
231.30/231.34 c 227s|390000 |255644 | 0 | 0.0 | 499M|2816 | - |5645 |8952 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
237.30/237.35 c 233s|400000 |261694 | 0 | 0.0 | 509M|2816 | - |5645 |8921 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
241.40/241.48 c 237s|410000 |269408 | 0 | 0.0 | 519M|2816 | - |5645 |9311 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
246.20/246.23 c 242s|420000 |276598 | 0 | 0.0 | 528M|2816 | - |5645 |8740 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
248.30/248.30 o 5
248.30/248.30 c * 244s|423642 |278659 | 0 | 0.0 | 532M|2816 | - |5645 |9864 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
251.00/251.03 c 247s|430000 |283499 | 0 | 0.0 | 537M|2816 | - |5645 |8377 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
255.10/255.14 c 251s|440000 |291093 | 0 | 0.0 | 547M|2816 | - |5645 |9003 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
259.61/259.60 c 255s|450000 |298467 | 0 | 0.0 | 556M|2816 | - |5645 |8794 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
264.40/264.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.40/264.41 c 260s|460000 |305460 | 0 | 0.0 | 566M|2816 | - |5645 |9358 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
269.20/269.25 c 265s|470000 |312552 | 0 | 0.0 | 575M|2816 | - |5645 |8775 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
274.09/274.15 c 269s|480000 |319477 | 0 | 0.0 | 585M|2816 | - |5645 |8575 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
278.60/278.64 c 274s|490000 |326775 | 0 | 0.0 | 594M|2816 | - |5645 |9201 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
283.81/283.86 c 279s|500000 |333344 | 0 | 0.0 | 605M|2816 | - |5645 | 10k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
286.40/286.47 o 4
286.40/286.47 c * 281s|506849 |338360 | 0 | 0.0 | 608M|2816 | - |5645 |8905 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
288.00/288.10 c 283s|510000 |340503 | 0 | 0.0 | 612M|2816 | - |5645 |9604 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
292.80/292.86 c 288s|520000 |347622 | 0 | 0.0 | 622M|2816 | - |5645 |9148 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
297.80/297.82 c 293s|530000 |354573 | 0 | 0.0 | 632M|2816 | - |5645 |8958 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
302.90/302.97 c 298s|540000 |361348 | 0 | 0.0 | 642M|2816 | - |5645 |9494 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
308.01/308.06 c 303s|550000 |368157 | 0 | 0.0 | 653M|2816 | - |5645 | 10k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
312.20/312.27 c 307s|560000 |375853 | 0 | 0.0 | 663M|2816 | - |5645 |9452 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
317.00/317.09 c 311s|570000 |382883 | 0 | 0.0 | 673M|2816 | - |5645 |9482 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
321.90/321.98 c 316s|580000 |389908 | 0 | 0.0 | 683M|2816 | - |5645 |9184 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
326.10/326.19 c 320s|590000 |397495 | 0 | 0.0 | 693M|2816 | - |5645 |9556 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
331.11/331.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.11/331.17 c 325s|600000 |404404 | 0 | 0.0 | 703M|2816 | - |5645 |9831 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
335.80/335.87 c 330s|610000 |411559 | 0 | 0.0 | 712M|2816 | - |5645 | 10k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
340.10/340.11 c 334s|620000 |419098 | 0 | 0.0 | 722M|2816 | - |5645 | 10k| 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
343.90/343.91 c 338s|630000 |427054 | 0 | 0.0 | 730M|2816 | - |5645 |5420 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
347.40/347.50 c 341s|640000 |435237 | 0 | 0.0 | 740M|2816 | - |5645 |5461 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
350.70/350.73 c 344s|650000 |443627 | 0 | 0.0 | 749M|2816 | - |5645 |5308 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
355.60/355.63 c 349s|660000 |450328 | 0 | 0.0 | 760M|2816 | - |5645 |7026 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
361.11/361.18 c 355s|670000 |456596 | 0 | 0.0 | 771M|2816 | - |5645 |7859 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
367.50/367.57 c 361s|680000 |462189 | 0 | 0.0 | 783M|2816 | - |5645 |8463 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
373.60/373.64 c 367s|690000 |467951 | 0 | 0.0 | 794M|2816 | - |5645 |8728 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
380.10/380.11 c 373s|700000 |473440 | 0 | 0.0 | 805M|2816 | - |5645 |8650 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
386.41/386.43 c 380s|710000 |478938 | 0 | 0.0 | 815M|2816 | - |5645 |8605 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
393.00/393.07 c 386s|720000 |484158 | 0 | 0.0 | 826M|2816 | - |5645 |9130 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
399.80/399.86 c 393s|730000 |489322 | 0 | 0.0 | 836M|2816 | - |5645 |9153 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
407.10/407.10 c 400s|740000 |494114 | 0 | 0.0 | 847M|2816 | - |5645 |9321 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
414.30/414.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.30/414.37 c 407s|750000 |498779 | 0 | 0.0 | 857M|2816 | - |5645 |9298 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
421.81/421.85 c 414s|760000 |503326 | 0 | 0.0 | 867M|2816 | - |5645 |9151 | 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
428.90/428.98 c 421s|770000 |508261 | 0 | 0.0 | 878M|2816 | - |5645 |8682 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
436.71/436.72 c 429s|780000 |512461 | 0 | 0.0 | 888M|2816 | - |5645 |9905 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
444.20/444.28 c 437s|790000 |516904 | 0 | 0.0 | 899M|2816 | - |5645 | 10k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
451.90/451.97 c 444s|800000 |521355 | 0 | 0.0 | 909M|2816 | - |5645 | 10k| 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
459.30/459.31 c 451s|810000 |526164 | 0 | 0.0 | 919M|2816 | - |5645 | 10k| 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
467.30/467.30 c 459s|820000 |530424 | 0 | 0.0 | 929M|2816 | - |5645 | 10k| 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
474.91/474.97 c 467s|830000 |534935 | 0 | 0.0 | 939M|2816 | - |5645 | 10k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
482.60/482.66 c 474s|840000 |539468 | 0 | 0.0 | 950M|2816 | - |5645 | 11k| 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
491.01/491.00 c 483s|850000 |543423 | 0 | 0.0 | 959M|2816 | - |5645 | 11k| 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
498.90/498.92 c 490s|860000 |547803 | 0 | 0.0 | 969M|2816 | - |5645 | 10k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
506.61/506.62 c 498s|870000 |552258 | 0 | 0.0 | 979M|2816 | - |5645 | 11k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
514.81/514.89 c 506s|880000 |556286 | 0 | 0.0 | 988M|2816 | - |5645 | 11k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
522.52/522.56 c 514s|890000 |560947 | 0 | 0.0 | 998M|2816 | - |5645 | 10k| 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
531.31/531.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.31/531.39 c 522s|900000 |564243 | 0 | 0.0 |1008M|2816 | - |5645 | 12k| 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
540.60/540.64 c 532s|910000 |567200 | 0 | 0.0 |1018M|2816 | - |5645 | 12k| 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
550.20/550.29 c 541s|920000 |569928 | 0 | 0.0 |1026M|2816 | - |5645 | 13k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
560.31/560.35 c 551s|930000 |572118 | 0 | 0.0 |1035M|2816 | - |5645 | 13k| 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
570.82/570.88 c 561s|940000 |573813 | 0 | 0.0 |1044M|2816 | - |5645 | 14k| 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
582.41/582.45 c 573s|950000 |574990 | 0 | 0.0 |1051M|2816 | - |5645 | 14k| 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
595.20/595.26 c 586s|960000 |575253 | 0 | 0.0 |1057M|2816 | - |5645 | 15k| 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
608.71/608.73 c 599s|970000 |575278 | 0 | 0.0 |1063M|2816 | - |5645 | 16k| 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
623.41/623.45 c 614s|980000 |574952 | 0 | 0.0 |1068M|2816 | - |5645 | 18k| 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
640.22/640.29 c 630s|990000 |573991 | 0 | 0.0 |1071M|2816 | - |5645 | 20k| 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
655.51/655.55 c 645s| 1000k|574815 | 0 | 0.0 |1069M|2816 | - |5645 |7372 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
659.71/659.70 c 649s| 1010k|582633 | 0 | 0.0 |1078M|2816 | - |5645 |4954 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
664.32/664.33 c 654s| 1020k|589865 | 0 | 0.0 |1088M|2816 | - |5645 |5687 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
669.51/669.59 c 659s| 1030k|596596 | 0 | 0.0 |1099M|2816 | - |5645 |6421 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
675.61/675.62 c 665s| 1040k|602763 | 0 | 0.0 |1110M|2816 | - |5645 |7178 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
682.21/682.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
682.21/682.26 c 672s| 1050k|608416 | 0 | 0.0 |1121M|2816 | - |5645 |8259 | 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
689.81/689.81 c 679s| 1060k|613315 | 0 | 0.0 |1133M|2816 | - |5645 |9638 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
699.01/699.06 c 688s| 1070k|616942 | 0 | 0.0 |1144M|2816 | - |5645 | 11k| 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
711.11/711.16 c 700s| 1080k|618535 | 0 | 0.0 |1152M|2816 | - |5645 | 12k| 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
716.41/716.45 c 705s| 1090k|625491 | 0 | 0.0 |1158M|2816 | - |5645 |5810 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
721.22/721.30 c 710s| 1100k|632487 | 0 | 0.0 |1168M|2816 | - |5645 |6173 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
726.62/726.69 c 715s| 1110k|639104 | 0 | 0.0 |1179M|2816 | - |5645 |6931 | 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
732.71/732.70 c 721s| 1120k|645170 | 0 | 0.0 |1190M|2816 | - |5645 |7724 | 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
739.41/739.41 c 728s| 1130k|650641 | 0 | 0.0 |1202M|2816 | - |5645 |8830 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
747.12/747.10 c 735s| 1140k|655402 | 0 | 0.0 |1213M|2816 | - |5645 | 10k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
756.12/756.16 c 744s| 1150k|659120 | 0 | 0.0 |1224M|2816 | - |5645 | 11k| 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
767.61/767.61 c 756s| 1160k|661160 | 0 | 0.0 |1234M|2816 | - |5645 | 13k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
776.42/776.40 c 764s| 1170k|665735 | 0 | 0.0 |1238M|2816 | - |5645 |6617 | 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
780.92/781.00 c 769s| 1180k|673042 | 0 | 0.0 |1248M|2816 | - |5645 |6186 | 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
786.12/786.13 c 774s| 1190k|679824 | 0 | 0.0 |1259M|2816 | - |5645 |7003 | 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
792.22/792.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.22/792.21 c 780s| 1200k|685909 | 0 | 0.0 |1270M|2816 | - |5645 |8031 | 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
798.92/798.98 c 787s| 1210k|691469 | 0 | 0.0 |1281M|2816 | - |5645 |9265 | 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
807.32/807.31 c 795s| 1220k|695889 | 0 | 0.0 |1293M|2816 | - |5645 | 10k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
810.42/810.42 o 3
810.42/810.42 c * 798s| 1223k|693352 | 0 | 0.0 |1288M|2816 | - |5645 | 11k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
817.82/817.82 c 805s| 1230k|695466 | 0 | 0.0 |1296M|2816 | - |5645 | 12k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
830.32/830.36 c 818s| 1240k|697632 | 0 | 0.0 |1307M|2816 | - |5645 | 15k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
839.71/839.72 c 827s| 1250k|702324 | 0 | 0.0 |1309M|2816 | - |5645 |7388 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
844.32/844.30 c 831s| 1260k|709872 | 0 | 0.0 |1319M|2816 | - |5645 |7030 | 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
849.12/849.14 c 836s| 1270k|717029 | 0 | 0.0 |1330M|2816 | - |5645 |7995 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
854.62/854.62 c 841s| 1280k|723721 | 0 | 0.0 |1341M|2816 | - |5645 |8704 | 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
860.62/860.65 c 847s| 1290k|729886 | 0 | 0.0 |1352M|2816 | - |5645 |9708 | 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
867.42/867.48 c 854s| 1300k|735368 | 0 | 0.0 |1362M|2816 | - |5645 |9925 | 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
875.32/875.34 c 862s| 1310k|739942 | 0 | 0.0 |1373M|2816 | - |5645 | 11k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
884.22/884.21 c 870s| 1320k|743790 | 0 | 0.0 |1383M|2816 | - |5645 | 13k| 0 | 0 | 0 |1040k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
894.72/894.74 c 881s| 1330k|746595 | 0 | 0.0 |1391M|2816 | - |5645 | 16k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
907.61/907.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.61/907.62 c 894s| 1340k|748393 | 0 | 0.0 |1395M|2816 | - |5645 | 11k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
912.02/912.09 c 898s| 1350k|756105 | 0 | 0.0 |1403M|2816 | - |5645 |7030 | 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
916.72/916.70 c 902s| 1360k|763440 | 0 | 0.0 |1413M|2816 | - |5645 |7723 | 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
921.92/921.90 c 908s| 1370k|770316 | 0 | 0.0 |1424M|2816 | - |5645 |8394 | 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
927.52/927.50 c 913s| 1380k|776804 | 0 | 0.0 |1434M|2816 | - |5645 |9266 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
933.52/933.57 c 919s| 1390k|782967 | 0 | 0.0 |1445M|2816 | - |5645 |9749 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
940.62/940.63 c 926s| 1400k|788341 | 0 | 0.0 |1456M|2816 | - |5645 | 10k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
948.72/948.73 c 934s| 1410k|792948 | 0 | 0.0 |1466M|2816 | - |5645 | 12k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
958.02/958.04 c 943s| 1420k|796648 | 0 | 0.0 |1476M|2816 | - |5645 | 13k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
969.32/969.37 c 954s| 1430k|799103 | 0 | 0.0 |1485M|2816 | - |5645 | 16k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
979.12/979.10 c 964s| 1440k|803531 | 0 | 0.0 |1488M|2816 | - |5645 |8915 | 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
983.62/983.65 c 968s| 1450k|811224 | 0 | 0.0 |1498M|2816 | - |5645 |7766 | 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
988.22/988.24 c 973s| 1460k|818658 | 0 | 0.0 |1507M|2816 | - |5645 |8043 | 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
993.12/993.18 c 978s| 1470k|825790 | 0 | 0.0 |1517M|2816 | - |5645 |8734 | 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
998.32/998.37 c 983s| 1480k|832690 | 0 | 0.0 |1527M|2816 | - |5645 |9241 | 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1003.92/1003.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1003.92/1003.99 c 988s| 1490k|839231 | 0 | 0.0 |1536M|2816 | - |5645 |9440 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1009.83/1009.85 c 994s| 1500k|845440 | 0 | 0.0 |1546M|2816 | - |5645 | 10k| 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1016.52/1016.50 c 1001s| 1510k|850962 | 0 | 0.0 |1555M|2816 | - |5645 | 11k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1024.22/1024.25 c 1008s| 1520k|855659 | 0 | 0.0 |1565M|2816 | - |5645 | 12k| 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1033.72/1033.73 c 1018s| 1530k|859211 | 0 | 0.0 |1574M|2816 | - |5645 | 14k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1045.72/1045.74 c 1030s| 1540k|861010 | 0 | 0.0 |1578M|2816 | - |5645 | 12k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1050.02/1050.08 c 1034s| 1550k|868861 | 0 | 0.0 |1586M|2816 | - |5645 |7915 | 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1054.62/1054.63 c 1038s| 1560k|876214 | 0 | 0.0 |1595M|2816 | - |5645 |8201 | 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1057.02/1057.09 o 2
1057.02/1057.09 c *1041s| 1565k|853709 | 0 | 0.0 |1567M|2816 | - |5645 |8464 | 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1059.82/1059.84 c 1043s| 1570k|857164 | 0 | 0.0 |1572M|2816 | - |5645 |8694 | 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1065.62/1065.60 c 1049s| 1580k|863879 | 0 | 0.0 |1584M|2816 | - |5645 |9475 | 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1072.12/1072.19 c 1055s| 1590k|869865 | 0 | 0.0 |1595M|2816 | - |5645 |9478 | 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1079.03/1079.10 c 1062s| 1600k|875190 | 0 | 0.0 |1605M|2816 | - |5645 | 10k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1086.92/1086.99 c 1070s| 1610k|879754 | 0 | 0.0 |1616M|2816 | - |5645 | 11k| 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1096.63/1096.69 c 1080s| 1620k|882987 | 0 | 0.0 |1625M|2816 | - |5645 | 13k| 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1109.93/1109.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1109.93/1109.99 c 1093s| 1630k|883599 | 0 | 0.0 |1630M|2816 | - |5645 | 16k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1114.72/1114.74 c 1097s| 1640k|891389 | 0 | 0.0 |1637M|2816 | - |5645 |7931 | 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1119.32/1119.33 c 1102s| 1650k|898957 | 0 | 0.0 |1647M|2816 | - |5645 |7837 | 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1123.93/1123.98 c 1106s| 1660k|906412 | 0 | 0.0 |1656M|2816 | - |5645 |8220 | 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1128.63/1128.65 c 1111s| 1670k|913801 | 0 | 0.0 |1666M|2816 | - |5645 |8364 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1133.62/1133.69 c 1116s| 1680k|920838 | 0 | 0.0 |1675M|2816 | - |5645 |8729 | 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1138.72/1138.72 c 1121s| 1690k|927814 | 0 | 0.0 |1685M|2816 | - |5645 |9112 | 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1144.13/1144.18 c 1126s| 1700k|934494 | 0 | 0.0 |1695M|2816 | - |5645 |9653 | 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1149.92/1149.90 c 1132s| 1710k|940981 | 0 | 0.0 |1705M|2816 | - |5645 |9809 | 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1156.23/1156.25 c 1138s| 1720k|946967 | 0 | 0.0 |1715M|2816 | - |5645 | 10k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1162.52/1162.55 c 1144s| 1730k|953002 | 0 | 0.0 |1725M|2816 | - |5645 | 10k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1169.62/1169.67 c 1151s| 1740k|958431 | 0 | 0.0 |1736M|2816 | - |5645 | 11k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1177.03/1177.07 c 1159s| 1750k|963677 | 0 | 0.0 |1745M|2816 | - |5645 | 11k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1185.32/1185.31 c 1167s| 1760k|968312 | 0 | 0.0 |1755M|2816 | - |5645 | 12k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1194.23/1194.22 c 1175s| 1770k|972460 | 0 | 0.0 |1765M|2816 | - |5645 | 13k| 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1204.44/1204.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.44/1204.49 c 1186s| 1780k|975727 | 0 | 0.0 |1774M|2816 | - |5645 | 14k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1216.53/1216.51 c 1198s| 1790k|977886 | 0 | 0.0 |1782M|2816 | - |5645 | 15k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1230.53/1230.57 c 1211s| 1800k|979366 | 0 | 0.0 |1785M|2816 | - |5645 | 15k| 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1235.73/1235.79 c 1217s| 1810k|987098 | 0 | 0.0 |1795M|2816 | - |5645 |9233 | 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1240.73/1240.75 c 1221s| 1820k|994479 | 0 | 0.0 |1805M|2816 | - |5645 |9331 | 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1246.13/1246.20 c 1227s| 1830k| 1001k| 0 | 0.0 |1817M|2816 | - |5645 |9880 | 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1252.43/1252.43 c 1233s| 1840k| 1007k| 0 | 0.0 |1828M|2816 | - |5645 | 10k| 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1259.23/1259.27 c 1240s| 1850k| 1013k| 0 | 0.0 |1840M|2816 | - |5645 | 11k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1266.43/1266.46 c 1247s| 1860k| 1019k| 0 | 0.0 |1852M|2816 | - |5645 | 12k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1274.94/1274.95 c 1255s| 1870k| 1023k| 0 | 0.0 |1864M|2816 | - |5645 | 13k| 0 | 0 | 0 |1423k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1285.13/1285.14 c 1265s| 1880k| 1027k| 0 | 0.0 |1875M|2816 | - |5645 | 15k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1299.73/1299.76 c 1280s| 1890k| 1027k| 0 | 0.0 |1880M|2816 | - |5645 | 11k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1303.93/1303.94 c 1284s| 1900k| 1035k| 0 | 0.0 |1889M|2816 | - |5645 |7624 | 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1308.23/1308.28 c 1288s| 1910k| 1043k| 0 | 0.0 |1898M|2816 | - |5645 |7776 | 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1312.83/1312.80 c 1292s| 1920k| 1051k| 0 | 0.0 |1908M|2816 | - |5645 |7877 | 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1317.74/1317.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.74/1317.77 c 1297s| 1930k| 1058k| 0 | 0.0 |1918M|2816 | - |5645 |8144 | 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1322.83/1322.84 c 1302s| 1940k| 1065k| 0 | 0.0 |1928M|2816 | - |5645 |8526 | 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1328.14/1328.17 c 1307s| 1950k| 1071k| 0 | 0.0 |1937M|2816 | - |5645 |8537 | 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1333.63/1333.69 c 1313s| 1960k| 1078k| 0 | 0.0 |1947M|2816 | - |5645 |9215 | 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1339.73/1339.75 c 1319s| 1970k| 1084k| 0 | 0.0 |1958M|2816 | - |5645 |9286 | 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1345.83/1345.83 c 1325s| 1980k| 1090k| 0 | 0.0 |1968M|2816 | - |5645 |9554 | 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1352.43/1352.49 c 1331s| 1990k| 1095k| 0 | 0.0 |1978M|2816 | - |5645 | 10k| 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1359.64/1359.64 c 1338s| 2000k| 1100k| 0 | 0.0 |1988M|2816 | - |5645 | 10k| 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1367.34/1367.33 c 1346s| 2010k| 1105k| 0 | 0.0 |1998M|2816 | - |5645 | 10k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1375.73/1375.74 c 1354s| 2020k| 1109k| 0 | 0.0 |2008M|2816 | - |5645 | 11k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1384.84/1384.85 c 1363s| 2030k| 1113k| 0 | 0.0 |2018M|2816 | - |5645 | 12k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1395.63/1395.62 c 1374s| 2040k| 1115k| 0 | 0.0 |2027M|2816 | - |5645 | 13k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1407.13/1407.19 c 1385s| 2050k| 1117k| 0 | 0.0 |2034M|2816 | - |5645 | 12k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1411.73/1411.71 c 1390s| 2060k| 1125k| 0 | 0.0 |2043M|2816 | - |5645 |8783 | 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1416.23/1416.20 c 1394s| 2070k| 1133k| 0 | 0.0 |2052M|2816 | - |5645 |8905 | 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1421.04/1421.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1421.04/1421.00 c 1399s| 2080k| 1140k| 0 | 0.0 |2062M|2816 | - |5645 |9470 | 0 | 0 | 0 |1561k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1426.84/1426.84 c 1404s| 2090k| 1146k| 0 | 0.0 |2072M|2816 | - |5645 | 10k| 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1433.53/1433.53 c 1411s| 2100k| 1152k| 0 | 0.0 |2083M|2816 | - |5645 | 11k| 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1440.83/1440.88 c 1418s| 2110k| 1157k| 0 | 0.0 |2094M|2816 | - |5645 | 11k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1448.94/1448.91 c 1426s| 2120k| 1161k| 0 | 0.0 |2104M|2816 | - |5645 | 12k| 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1458.64/1458.69 c 1436s| 2130k| 1164k| 0 | 0.0 |2114M|2816 | - |5645 | 14k| 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1468.23/1468.26 c 1445s| 2140k| 1168k| 0 | 0.0 |2119M|2816 | - |5645 |9491 | 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1472.54/1472.51 c 1449s| 2150k| 1176k| 0 | 0.0 |2128M|2816 | - |5645 |8669 | 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1477.04/1477.00 c 1454s| 2160k| 1183k| 0 | 0.0 |2138M|2816 | - |5645 |9151 | 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1481.74/1481.74 c 1458s| 2170k| 1190k| 0 | 0.0 |2147M|2816 | - |5645 |9784 | 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1487.04/1487.04 c 1464s| 2180k| 1197k| 0 | 0.0 |2157M|2816 | - |5645 | 10k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1492.64/1492.65 c 1469s| 2190k| 1203k| 0 | 0.0 |2166M|2816 | - |5645 | 11k| 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1500.24/1500.28 c 1477s| 2200k| 1208k| 0 | 0.0 |2176M|2816 | - |5645 | 13k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1511.04/1511.00 c 1487s| 2210k| 1211k| 0 | 0.0 |2186M|2816 | - |5645 | 14k| 0 | 0 | 0 |1649k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1520.04/1520.04 c 1496s| 2220k| 1215k| 0 | 0.0 |2192M|2816 | - |5645 |9157 | 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1524.23/1524.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.23/1524.29 c 1500s| 2230k| 1223k| 0 | 0.0 |2201M|2816 | - |5645 |8569 | 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1528.63/1528.69 c 1505s| 2240k| 1230k| 0 | 0.0 |2211M|2816 | - |5645 |8971 | 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1533.94/1533.96 c 1510s| 2250k| 1237k| 0 | 0.0 |2221M|2816 | - |5645 |9892 | 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1540.05/1540.09 c 1516s| 2260k| 1243k| 0 | 0.0 |2232M|2816 | - |5645 | 10k| 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1546.94/1546.95 c 1523s| 2270k| 1249k| 0 | 0.0 |2242M|2816 | - |5645 | 11k| 0 | 0 | 0 |1682k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1554.04/1554.01 c 1530s| 2280k| 1254k| 0 | 0.0 |2252M|2816 | - |5645 | 11k| 0 | 0 | 0 |1689k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1561.64/1561.63 c 1537s| 2290k| 1258k| 0 | 0.0 |2261M|2816 | - |5645 | 10k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1569.84/1569.80 c 1545s| 2300k| 1263k| 0 | 0.0 |2270M|2816 | - |5645 | 10k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1576.74/1576.72 c 1552s| 2310k| 1268k| 0 | 0.0 |2278M|2816 | - |5645 |9795 | 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1582.34/1582.32 c 1557s| 2320k| 1274k| 0 | 0.0 |2287M|2816 | - |5645 |9709 | 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1588.14/1588.16 c 1563s| 2330k| 1280k| 0 | 0.0 |2297M|2816 | - |5645 | 10k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1594.64/1594.60 c 1569s| 2340k| 1286k| 0 | 0.0 |2308M|2816 | - |5645 | 10k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1601.64/1601.67 c 1576s| 2350k| 1291k| 0 | 0.0 |2318M|2816 | - |5645 | 10k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1609.35/1609.33 c 1584s| 2360k| 1296k| 0 | 0.0 |2329M|2816 | - |5645 | 10k| 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1616.94/1616.95 c 1591s| 2370k| 1301k| 0 | 0.0 |2338M|2816 | - |5645 | 10k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1624.24/1624.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.24/1624.22 c 1599s| 2380k| 1306k| 0 | 0.0 |2347M|2816 | - |5645 | 10k| 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1630.74/1630.79 c 1605s| 2390k| 1312k| 0 | 0.0 |2357M|2816 | - |5645 | 10k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1637.24/1637.27 c 1611s| 2400k| 1317k| 0 | 0.0 |2367M|2816 | - |5645 | 11k| 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1644.34/1644.40 c 1618s| 2410k| 1323k| 0 | 0.0 |2377M|2816 | - |5645 | 11k| 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1653.04/1653.04 c 1627s| 2420k| 1327k| 0 | 0.0 |2388M|2816 | - |5645 | 13k| 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1663.55/1663.52 c 1637s| 2430k| 1329k| 0 | 0.0 |2398M|2816 | - |5645 | 16k| 0 | 0 | 0 |1800k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1672.24/1672.25 c 1646s| 2440k| 1334k| 0 | 0.0 |2403M|2816 | - |5645 | 10k| 0 | 0 | 0 |1808k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1677.15/1677.13 c 1651s| 2450k| 1342k| 0 | 0.0 |2413M|2816 | - |5645 |9555 | 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1682.54/1682.56 c 1656s| 2460k| 1348k| 0 | 0.0 |2424M|2816 | - |5645 | 10k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1688.84/1688.89 c 1662s| 2470k| 1354k| 0 | 0.0 |2435M|2816 | - |5645 | 11k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1696.25/1696.29 c 1670s| 2480k| 1360k| 0 | 0.0 |2446M|2816 | - |5645 | 12k| 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1705.14/1705.12 c 1678s| 2490k| 1364k| 0 | 0.0 |2458M|2816 | - |5645 | 14k| 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1716.35/1716.32 c 1689s| 2500k| 1366k| 0 | 0.0 |2467M|2816 | - |5645 | 17k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1723.25/1723.23 c 1696s| 2510k| 1372k| 0 | 0.0 |2473M|2816 | - |5645 |9997 | 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1727.44/1727.49 c 1700s| 2520k| 1380k| 0 | 0.0 |2482M|2816 | - |5645 |8908 | 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1731.85/1731.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1731.85/1731.85 c 1705s| 2530k| 1388k| 0 | 0.0 |2491M|2816 | - |5645 |9343 | 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1736.55/1736.54 c 1709s| 2540k| 1395k| 0 | 0.0 |2500M|2816 | - |5645 |9783 | 0 | 0 | 0 |1867k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1741.54/1741.54 c 1714s| 2550k| 1402k| 0 | 0.0 |2510M|2816 | - |5645 | 10k| 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1748.44/1748.44 c 1721s| 2560k| 1407k| 0 | 0.0 |2521M|2816 | - |5645 | 11k| 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1756.75/1756.71 c 1729s| 2570k| 1411k| 0 | 0.0 |2531M|2816 | - |5645 | 12k| 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1765.14/1765.13 c 1737s| 2580k| 1416k| 0 | 0.0 |2540M|2816 | - |5645 | 11k| 0 | 0 | 0 |1896k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1772.35/1772.37 c 1744s| 2590k| 1421k| 0 | 0.0 |2549M|2816 | - |5645 | 10k| 0 | 0 | 0 |1903k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1778.14/1778.17 c 1750s| 2600k| 1427k| 0 | 0.0 |2558M|2816 | - |5645 |9721 | 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1784.05/1784.02 c 1756s| 2610k| 1434k| 0 | 0.0 |2568M|2816 | - |5645 | 10k| 0 | 0 | 0 |1914k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1790.55/1790.51 c 1762s| 2620k| 1439k| 0 | 0.0 |2579M|2816 | - |5645 | 11k| 0 | 0 | 0 |1920k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1798.34/1798.38 c 1770s| 2630k| 1444k| 0 | 0.0 |2591M|2816 | - |5645 | 12k| 0 | 0 | 0 |1928k| 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) : 1771.54
1800.05/1800.00 c Solving Nodes : 2631885
1800.05/1800.00 c Primal Bound : +2.00000000000000e+00 (35 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.08 s SATISFIABLE
1800.05/1800.08 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.05/1800.08 v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189
1800.05/1800.08 v -x188 -x187 -x186 -x185 -x184 -x183 x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.08 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.08 v x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125
1800.05/1800.08 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.08 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.08 v x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54
1800.05/1800.08 v -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.05/1800.08 v -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.05/1800.08 v -x1
1800.05/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.08 c Solving Time : 1771.54
1800.05/1800.08 c Original Problem :
1800.05/1800.08 c Problem name : HOME/instance-2693746-1277931476.wbo
1800.05/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.05/1800.08 c Presolved Problem :
1800.05/1800.08 c Problem name : t_HOME/instance-2693746-1277931476.wbo
1800.05/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.08 c Constraints : 5414 initial, 22006 maximal
1800.05/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.08 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.05/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.08 c root node : - 2677 - - 5354 - - - -
1800.05/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.08 c indicator : 2707 0 6443049 0 1770436 42 2269149 0 0 0
1800.05/1800.08 c linear : 2707 0 8425689 0 2217543 606906 49525863 0 0 0
1800.05/1800.08 c logicor : 0+ 0 4076061 0 0 75141 2646204 0 0 0
1800.05/1800.08 c countsols : 0 0 0 0 2217567 0 0 0 0 0
1800.05/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.08 c indicator : 15.07 0.00 7.40 0.00 7.67
1800.05/1800.08 c linear : 478.79 0.00 476.89 0.00 1.90
1800.05/1800.08 c logicor : 229.28 0.00 229.28 0.00 0.00
1800.05/1800.08 c countsols : 0.53 0.00 0.00 0.00 0.53
1800.05/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.08 c vbounds : 1.86 2 0 0
1800.05/1800.08 c rootredcost : 2.11 0 0 0
1800.05/1800.08 c pseudoobj : 415.39 8426735 905 2243102
1800.05/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.08 c propagation : 39.55 682952 682942 3345624 20.5 125603 11.1 -
1800.05/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c pseudo solution : 0.01 47 47 207 29.2 140 9.3 -
1800.05/1800.08 c applied globally : - - - 1930129 18.5 - - -
1800.05/1800.08 c applied locally : - - - 0 0.0 - - -
1800.05/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.08 c redcost : 0.00 0 0 0 0 0
1800.05/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.08 c intobj : 0.00 0 0 0 0 0
1800.05/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.08 c gomory : 0.00 0 0 0 0 0
1800.05/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.08 c cmir : 0.00 0 0 0 0 0
1800.05/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.08 c clique : 0.00 0 0 0 0 0
1800.05/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.08 c mcf : 0.00 0 0 0 0 0
1800.05/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.08 c Pricers : Time Calls Vars
1800.05/1800.08 c problem variables: 0.00 0 0
1800.05/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.08 c inference : 36.48 2217535 0 0 0 0 4435070
1800.05/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.08 c random : 0.00 0 0 0 0 0 0
1800.05/1800.08 c Primal Heuristics : Time Calls Found
1800.05/1800.08 c LP solutions : 0.00 - 0
1800.05/1800.08 c pseudo solutions : 0.14 - 32
1800.05/1800.08 c oneopt : 0.93 0 0
1800.05/1800.08 c trivial : 0.08 2 2
1800.05/1800.08 c simplerounding : 0.00 0 0
1800.05/1800.08 c zirounding : 0.00 0 0
1800.05/1800.08 c rounding : 0.00 0 0
1800.05/1800.08 c shifting : 0.00 0 0
1800.05/1800.08 c intshifting : 0.00 0 0
1800.05/1800.08 c twoopt : 0.00 0 0
1800.05/1800.08 c fixandinfer : 0.00 0 0
1800.05/1800.08 c feaspump : 0.00 0 0
1800.05/1800.08 c coefdiving : 0.00 0 0
1800.05/1800.08 c pscostdiving : 0.00 0 0
1800.05/1800.08 c fracdiving : 0.00 0 0
1800.05/1800.08 c veclendiving : 0.00 0 0
1800.05/1800.08 c intdiving : 0.00 0 0
1800.05/1800.08 c actconsdiving : 0.00 0 0
1800.05/1800.08 c objpscostdiving : 0.00 0 0
1800.05/1800.08 c rootsoldiving : 0.00 0 0
1800.05/1800.08 c linesearchdiving : 0.00 0 0
1800.05/1800.08 c guideddiving : 0.00 0 0
1800.05/1800.08 c octane : 0.00 0 0
1800.05/1800.08 c rens : 0.00 0 0
1800.05/1800.08 c rins : 0.00 0 0
1800.05/1800.08 c localbranching : 0.00 0 0
1800.05/1800.08 c mutation : 0.00 0 0
1800.05/1800.08 c crossover : 0.00 0 0
1800.05/1800.08 c dins : 0.00 0 0
1800.05/1800.08 c undercover : 0.00 0 0
1800.05/1800.08 c nlp : 0.62 0 0
1800.05/1800.08 c trysol : 0.52 1 1
1800.05/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.08 c (at root node) : - 0 0 0.00 -
1800.05/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.08 c B&B Tree :
1800.05/1800.08 c number of runs : 1
1800.05/1800.08 c nodes : 2631885
1800.05/1800.08 c nodes (total) : 2631885
1800.05/1800.08 c nodes left : 1445444
1800.05/1800.08 c max depth : 2816
1800.05/1800.08 c max depth (total): 2816
1800.05/1800.08 c backtracks : 356077 (13.5%)
1800.05/1800.08 c delayed cutoffs : 306692
1800.05/1800.08 c repropagations : 1344073 (16747267 domain reductions, 268723 cutoffs)
1800.05/1800.08 c avg switch length: 42.44
1800.05/1800.08 c switching time : 474.75
1800.05/1800.08 c Solution :
1800.05/1800.08 c Solutions found : 35 (33 improvements)
1800.05/1800.08 c First Solution : +1.35714000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.08 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1565029 nodes, 1040.60 seconds, depth 678, found by <relaxation>)
1800.05/1800.08 c Dual Bound : +0.00000000000000e+00
1800.05/1800.08 c Gap : infinite
1800.05/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.08 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693746-1277931476/watcher-2693746-1277931476 -o /tmp/evaluation-result-2693746-1277931476/solver-2693746-1277931476 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693746-1277931476.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.10 2.48 2.38 4/178 14610 /proc/meminfo: memFree=31120420/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=8596 CPUtime=0 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 1627 0 0 0 0 0 0 0 25 0 1 0 134444897 8802304 1550 4089446400 4194304 7136930 140734667448832 18446744073709551615 6164590 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14610/statm: 2149 1553 275 719 0 1428 0 [startup+0.023748 s] /proc/loadavg: 2.10 2.48 2.38 4/178 14610 /proc/meminfo: memFree=31120420/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=14140 CPUtime=0.02 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 3018 0 0 0 2 0 0 0 25 0 1 0 134444897 14479360 2941 4089446400 4194304 7136930 140734667448832 18446744073709551615 6312318 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14610/statm: 3568 2974 275 719 0 2847 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14140 [startup+0.100731 s] /proc/loadavg: 2.10 2.48 2.38 4/178 14610 /proc/meminfo: memFree=31120420/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=33672 CPUtime=0.09 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 7965 0 0 0 9 0 0 0 25 0 1 0 134444897 34480128 7534 4089446400 4194304 7136930 140734667448832 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 8418 7534 323 719 0 7697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33672 [startup+0.300692 s] /proc/loadavg: 2.10 2.48 2.38 4/178 14610 /proc/meminfo: memFree=31120420/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=36492 CPUtime=0.29 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 9239 0 0 0 28 1 0 0 18 0 1 0 134444897 37367808 8294 4089446400 4194304 7136930 140734667448832 18446744073709551615 4697680 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 9123 8294 383 719 0 8402 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36492 [startup+0.700621 s] /proc/loadavg: 2.10 2.48 2.38 4/178 14610 /proc/meminfo: memFree=31120420/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=37632 CPUtime=0.69 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 9514 0 0 0 68 1 0 0 18 0 1 0 134444897 38535168 8569 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 9408 8569 383 719 0 8687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37632 [startup+1.50047 s] /proc/loadavg: 2.10 2.48 2.38 3/179 14611 /proc/meminfo: memFree=31084204/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=42824 CPUtime=1.49 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 10823 0 0 0 145 4 0 0 19 0 1 0 134444897 43851776 9878 4089446400 4194304 7136930 140734667448832 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 10706 9878 390 719 0 9985 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42824 [startup+3.10018 s] /proc/loadavg: 2.10 2.48 2.38 3/179 14611 /proc/meminfo: memFree=31076392/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=44804 CPUtime=3.09 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 11356 0 0 0 303 6 0 0 24 0 1 0 134444897 45879296 10411 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 11201 10411 390 719 0 10480 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44804 [startup+6.30059 s] /proc/loadavg: 2.09 2.47 2.38 3/179 14611 /proc/meminfo: memFree=31064792/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=49468 CPUtime=6.29 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 12543 0 0 0 617 12 0 0 25 0 1 0 134444897 50655232 11598 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 12367 11598 391 719 0 11646 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49468 [startup+12.7004 s] /proc/loadavg: 2.08 2.47 2.38 3/179 14611 /proc/meminfo: memFree=31024760/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=75908 CPUtime=12.69 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 18988 0 0 0 1245 24 0 0 25 0 1 0 134444897 77729792 18043 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 18977 18043 391 719 0 18256 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 75908 [startup+25.5011 s] /proc/loadavg: 2.06 2.44 2.37 3/179 14612 /proc/meminfo: memFree=30954820/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=119184 CPUtime=25.49 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 29364 0 0 0 2507 42 0 0 25 0 1 0 134444897 122044416 28419 4089446400 4194304 7136930 140734667448832 18446744073709551615 4948319 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 29796 28419 391 719 0 29075 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 119184 [startup+51.1004 s] /proc/loadavg: 2.04 2.41 2.36 3/179 14613 /proc/meminfo: memFree=30843560/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=187996 CPUtime=51.1 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 46009 0 0 0 5018 92 0 0 25 0 1 0 134444897 192507904 45064 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 46999 45064 391 719 0 46278 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 187996 [startup+102.307 s] /proc/loadavg: 2.02 2.34 2.34 3/179 14614 /proc/meminfo: memFree=30636068/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=290104 CPUtime=102.3 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 71625 0 0 0 10063 167 0 0 25 0 1 0 134444897 297066496 70680 4089446400 4194304 7136930 140734667448832 18446744073709551615 4925492 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 72526 70680 391 719 0 71805 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 290104 [startup+162.301 s] /proc/loadavg: 2.00 2.28 2.31 3/179 14615 /proc/meminfo: memFree=30421872/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=408340 CPUtime=162.29 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 99771 0 0 0 15968 261 0 0 25 0 1 0 134444897 418140160 98826 4089446400 4194304 7136930 140734667448832 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 102085 98826 391 719 0 101364 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 408340 [startup+222.301 s] /proc/loadavg: 2.00 2.22 2.29 3/179 14626 /proc/meminfo: memFree=30130172/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=615808 CPUtime=222.3 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 145491 0 0 0 21856 374 0 0 25 0 1 0 134444897 630587392 144546 4089446400 4194304 7136930 140734667448832 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 153952 144546 391 719 0 153231 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 615808 [startup+282.301 s] /proc/loadavg: 2.00 2.18 2.27 3/179 14628 /proc/meminfo: memFree=29912368/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=737656 CPUtime=282.3 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 176158 0 0 0 27735 495 0 0 25 0 1 0 134444897 755359744 175213 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 184414 175213 391 719 0 183693 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 737656 [startup+342.301 s] /proc/loadavg: 2.00 2.14 2.25 3/179 14630 /proc/meminfo: memFree=29670376/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=866496 CPUtime=342.3 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 208588 0 0 0 33617 613 0 0 25 0 1 0 134444897 887291904 207643 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 216624 207643 391 719 0 215903 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 866496 [startup+402.301 s] /proc/loadavg: 2.00 2.12 2.23 3/179 14631 /proc/meminfo: memFree=29496224/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=988884 CPUtime=402.3 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 237421 0 0 0 39515 715 0 0 25 0 1 0 134444897 1012617216 236476 4089446400 4194304 7136930 140734667448832 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 247221 236476 391 719 0 246500 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 988884 [startup+462.301 s] /proc/loadavg: 2.00 2.09 2.22 3/179 14632 /proc/meminfo: memFree=29351220/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=1070596 CPUtime=462.3 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 257956 0 0 0 45429 801 0 0 25 0 1 0 134444897 1096290304 257011 4089446400 4194304 7136930 140734667448832 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 267649 257011 391 719 0 266928 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1070596 [startup+522.301 s] /proc/loadavg: 2.00 2.07 2.20 3/179 14634 /proc/meminfo: memFree=29256940/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=1143200 CPUtime=522.3 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 276126 0 0 0 51348 882 0 0 25 0 1 0 134444897 1170636800 275181 4089446400 4194304 7136930 140734667448832 18446744073709551615 5000058 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 285800 275181 391 719 0 285079 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1143200 [startup+582.301 s] /proc/loadavg: 2.00 2.06 2.18 3/179 14636 /proc/meminfo: memFree=29112680/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=1202984 CPUtime=582.31 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 291232 0 0 0 57279 952 0 0 25 0 1 0 134444897 1231855616 290287 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 300746 290287 391 719 0 300025 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1202984 [startup+642.301 s] /proc/loadavg: 2.06 2.06 2.17 3/179 14638 /proc/meminfo: memFree=28997196/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=1229416 CPUtime=642.32 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 297654 0 0 0 63230 1002 0 0 25 0 1 0 134444897 1258921984 296709 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 307354 296709 391 719 0 306633 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1229416 [startup+702.301 s] ################ # More data... # ################ /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 415085 0 0 0 98669 1563 0 0 25 0 1 0 134444897 1738936320 414113 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 424545 414113 391 719 0 423824 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1698180 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.10 3/179 14648 /proc/meminfo: memFree=27929188/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=1774800 CPUtime=1062.32 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 434523 0 0 0 104579 1653 0 0 25 0 1 0 134444897 1817395200 433551 4089446400 4194304 7136930 140734667448832 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 443700 433551 391 719 0 442979 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1774800 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.09 3/179 14650 /proc/meminfo: memFree=27804008/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=1829924 CPUtime=1122.32 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 448222 0 0 0 110480 1752 0 0 25 0 1 0 134444897 1873842176 447250 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 457481 447250 391 719 0 456760 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1829924 [startup+1182.3 s] /proc/loadavg: 2.08 2.02 2.09 3/179 14652 /proc/meminfo: memFree=27625504/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=1921452 CPUtime=1182.33 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 471277 0 0 0 116374 1859 0 0 25 0 1 0 134444897 1967566848 470305 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 480363 470305 391 719 0 479642 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1921452 [startup+1242.3 s] /proc/loadavg: 2.03 2.01 2.08 3/179 14654 /proc/meminfo: memFree=27485968/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=1995392 CPUtime=1242.32 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 485679 0 0 0 122294 1938 0 0 25 0 1 0 134444897 2043281408 484707 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 498848 484707 391 719 0 498127 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1995392 [startup+1302.3 s] /proc/loadavg: 2.01 2.00 2.08 3/179 14655 /proc/meminfo: memFree=27329684/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=2076556 CPUtime=1302.33 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 505847 0 0 0 128201 2032 0 0 25 0 1 0 134444897 2126393344 504875 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 519139 504875 391 719 0 518418 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2076556 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 14656 /proc/meminfo: memFree=27171528/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=2175348 CPUtime=1362.34 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 530806 0 0 0 134085 2149 0 0 25 0 1 0 134444897 2227556352 529834 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 543837 529834 391 719 0 543116 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 2175348 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.06 3/179 14658 /proc/meminfo: memFree=27016352/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=2247776 CPUtime=1422.34 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 549033 0 0 0 139996 2238 0 0 25 0 1 0 134444897 2301722624 548061 4089446400 4194304 7136930 140734667448832 18446744073709551615 4209794 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 561944 548061 391 719 0 561223 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2247776 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 14660 /proc/meminfo: memFree=26865496/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=2327660 CPUtime=1482.33 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 569196 0 0 0 145899 2334 0 0 25 0 1 0 134444897 2383523840 568224 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 581915 568224 391 719 0 581194 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2327660 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 14662 /proc/meminfo: memFree=26699776/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=2418824 CPUtime=1542.34 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 592332 0 0 0 151807 2427 0 0 25 0 1 0 134444897 2476875776 591360 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 604706 591360 391 719 0 603985 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2418824 [startup+1602.3 s] /proc/loadavg: 2.04 2.01 2.05 3/179 14663 /proc/meminfo: memFree=26553900/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=2503044 CPUtime=1602.34 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 613562 0 0 0 157708 2526 0 0 25 0 1 0 134444897 2563117056 612590 4089446400 4194304 7136930 140734667448832 18446744073709551615 4209195 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 625761 612590 391 719 0 625040 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2503044 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.05 3/179 14664 /proc/meminfo: memFree=26410988/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=2577748 CPUtime=1662.34 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 632204 0 0 0 163613 2621 0 0 25 0 1 0 134444897 2639613952 631232 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 644437 631232 391 719 0 643716 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2577748 [startup+1722.3 s] /proc/loadavg: 1.40 1.83 1.98 2/174 14873 /proc/meminfo: memFree=28865120/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=2659596 CPUtime=1722.35 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 652545 0 0 0 169526 2709 0 0 25 0 1 0 134444897 2723426304 651573 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 664899 651573 391 719 0 664178 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 2659596 [startup+1782.3 s] /proc/loadavg: 1.15 1.68 1.92 2/171 15026 /proc/meminfo: memFree=28770228/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=2748916 CPUtime=1782.35 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 675123 0 0 0 175416 2819 0 0 25 0 1 0 134444897 2814889984 674151 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 687229 674151 391 719 0 686508 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 2748916 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.10 1.64 1.90 2/171 15026 /proc/meminfo: memFree=28744784/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=2775556 CPUtime=1800.05 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 681915 0 0 0 177157 2848 0 0 25 0 1 0 134444897 2842169344 680943 4089446400 4194304 7136930 140734667448832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14610/statm: 693889 680943 391 719 0 693168 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2775556 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14610 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.10 1.64 1.90 2/172 15027 /proc/meminfo: memFree=28744776/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=2775556 CPUtime=1801.44 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 681935 0 0 0 177296 2848 0 0 25 0 1 0 134444897 2842169344 680963 4089446400 4194304 7136930 140734667448832 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14610/statm: 693889 680963 397 719 0 693168 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2775556 [startup+1801.81 s] /proc/loadavg: 1.10 1.64 1.90 2/172 15027 /proc/meminfo: memFree=28744776/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=2775556 CPUtime=1801.85 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 681935 0 0 0 177337 2848 0 0 25 0 1 0 134444897 2842169344 680963 4089446400 4194304 7136930 140734667448832 18446744073709551615 4212564 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14610/statm: 693889 680963 397 719 0 693168 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 2775556 [startup+1802 s] /proc/loadavg: 1.10 1.64 1.90 2/172 15027 /proc/meminfo: memFree=28744776/32951124 swapFree=67111528/67111528 [pid=14610] ppid=14608 vsize=2775556 CPUtime=1802.04 /proc/14610/stat : 14610 (pbscip.linux.x8) R 14608 14610 14368 0 -1 4202496 681935 0 0 0 177356 2848 0 0 25 0 1 0 134444897 2842169344 680963 4089446400 4194304 7136930 140734667448832 18446744073709551615 4212551 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14610/statm: 693889 680963 397 719 0 693168 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2775556 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.1 CPU time (s): 1802.15 CPU user time (s): 1773.57 CPU system time (s): 28.5767 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2775556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1773.57 system time used= 28.5767 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 681935 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= 996 runsolver used 3.33449 second user time and 6.24905 second system time The end
Begin job on node109 at 2010-06-30 22:57:56 IDJOB=2693746 IDBENCH=79315 IDSOLVER=1206 FILE ID=node109/2693746-1277931476 PBS_JOBID= 11197441 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.1900583053--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-2693746-1277931476/watcher-2693746-1277931476 -o /tmp/evaluation-result-2693746-1277931476/solver-2693746-1277931476 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693746-1277931476.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4a2d6bc5f020a6a42fcf2a39cec0be8f RANDOM SEED=261771124 node109.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.817 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.63 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.817 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.817 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.817 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31120576 kB Buffers: 215168 kB Cached: 1055744 kB SwapCached: 0 kB Active: 932116 kB Inactive: 753920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31120576 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3148 kB Writeback: 0 kB AnonPages: 414964 kB Mapped: 16420 kB Slab: 81288 kB PageTables: 5444 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 567408 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= 74208 MiB End job on node109 at 2010-06-30 23:27:58