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.11 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-66-100-0.wbo |
| MD5SUM | a13978843da5adfb99f4aab775862f78 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard 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 | 204.023 |
| 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 | 925 |
| 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 | 46664 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46663 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 693 |
| 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-2694153-1277908149.wbo>
0.00/0.02 c original problem has 2081 variables (1156 bin, 0 int, 0 impl, 925 cont) and 3633 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1143 impls, 14 clqs
0.04/0.07 c (round 2) 0 del vars, 113 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 0 upgd conss, 1143 impls, 14 clqs
0.04/0.08 c (round 3) 45 del vars, 158 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 1715 upgd conss, 1143 impls, 14 clqs
0.04/0.09 c (round 4) 90 del vars, 158 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 1715 upgd conss, 1143 impls, 14 clqs
0.09/0.14 c (0.1s) probing: 101/1111 (9.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 90 deleted vars, 158 deleted constraints, 925 tightened bounds, 0 added holes, 45 changed sides, 0 changed coefficients
0.09/0.14 c 1143 implications, 14 cliques
0.09/0.14 c presolved problem has 1991 variables (1111 bin, 0 int, 0 impl, 880 cont) and 3475 constraints
0.09/0.14 c 880 constraints of type <indicator>
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 14 constraints of type <setppc>
0.09/0.14 c 880 constraints of type <linear>
0.09/0.14 c 1700 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.10
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 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.14 c 0.1s| 1 | 2 | 0 | - |7620k| 0 | - |1991 |3475 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.00 o 289
0.99/1.00 c * 0.9s| 3589 | 3001 | 0 | 0.0 | 10M|1068 | - |1991 |4082 | 0 | 0 | 0 | 896 | 0 | 0.000000e+00 | 2.890000e+02 | Inf
0.99/1.08 o 195
0.99/1.08 c * 1.0s| 3872 | 3279 | 0 | 0.0 | 10M|1068 | - |1991 |4072 | 0 | 0 | 0 | 901 | 0 | 0.000000e+00 | 1.950000e+02 | Inf
0.99/1.08 o 191
0.99/1.08 c * 1.0s| 3873 | 3274 | 0 | 0.0 | 10M|1068 | - |1991 |4072 | 0 | 0 | 0 | 901 | 0 | 0.000000e+00 | 1.910000e+02 | Inf
2.59/2.61 c 2.5s| 10000 | 8557 | 0 | 0.0 | 14M|1068 | - |1991 |4719 | 0 | 0 | 0 |3387 | 0 | 0.000000e+00 | 1.910000e+02 | Inf
5.69/5.76 c 5.5s| 20000 | 15912 | 0 | 0.0 | 22M|1068 | - |1991 |5501 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
8.60/8.62 o 177
8.60/8.62 c * 8.3s| 26682 | 19710 | 0 | 0.0 | 27M|1068 | - |1991 |5757 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
8.70/8.79 o 171
8.70/8.79 c * 8.5s| 27241 | 20234 | 0 | 0.0 | 27M|1068 | - |1991 |5661 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
8.70/8.79 o 139
8.70/8.79 c * 8.5s| 27242 | 20192 | 0 | 0.0 | 27M|1068 | - |1991 |5661 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
9.39/9.42 o 135
9.39/9.42 c * 9.1s| 29144 | 21852 | 0 | 0.0 | 30M|1068 | - |1991 |5744 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
9.39/9.42 o 113
9.39/9.42 c * 9.1s| 29145 | 21717 | 0 | 0.0 | 29M|1068 | - |1991 |5744 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
9.69/9.71 c 9.4s| 30000 | 22485 | 0 | 0.0 | 30M|1068 | - |1991 |5406 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
10.59/10.64 o 110
10.59/10.64 c *10.3s| 32706 | 24803 | 0 | 0.0 | 34M|1068 | - |1991 |5297 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
10.59/10.64 o 96
10.59/10.64 c *10.3s| 32707 | 24689 | 0 | 0.0 | 33M|1068 | - |1991 |5297 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
10.69/10.70 o 19
10.69/10.70 c *10.3s| 32873 | 20756 | 0 | 0.0 | 28M|1068 | - |1991 |5315 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
12.79/12.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.79/12.83 c 12.4s| 40000 | 26772 | 0 | 0.0 | 41M|1068 | - |1991 |5674 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
15.59/15.63 c 15.1s| 50000 | 34869 | 0 | 0.0 | 50M|1068 | - |1991 |6543 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
18.39/18.47 c 17.9s| 60000 | 42781 | 0 | 0.0 | 57M|1068 | - |1991 |7728 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
21.59/21.67 c 20.9s| 70000 | 50293 | 0 | 0.0 | 64M|1068 | - |1991 |7806 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
24.89/24.95 c 24.1s| 80000 | 57694 | 0 | 0.0 | 72M|1068 | - |1991 |8911 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
28.49/28.51 c 27.6s| 90000 | 64710 | 0 | 0.0 | 79M|1068 | - |1991 |8878 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
32.79/32.87 c 31.9s|100000 | 69977 | 0 | 0.0 | 87M|1068 | - |1991 |9994 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
39.10/39.18 c 38.0s|110000 | 71136 | 0 | 0.0 | 94M|1068 | - |1991 | 11k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
44.29/44.34 c 43.1s|120000 | 73207 | 0 | 0.0 | 109M|1068 | - |1991 |5917 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
49.39/49.46 c 48.1s|130000 | 79602 | 0 | 0.0 | 138M|1068 | - |1991 |8030 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
53.29/53.37 c 51.9s|140000 | 87646 | 0 | 0.0 | 170M|1068 | - |1991 |7270 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
57.99/58.01 c 56.4s|150000 | 94646 | 0 | 0.0 | 202M|1068 | - |1991 |7941 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
61.50/61.57 o 11
61.50/61.57 c *59.8s|158124 | 98851 | 0 | 0.0 | 211M|1068 | - |1991 | 11k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
62.19/62.26 c 60.5s|160000 |100375 | 0 | 0.0 | 213M|1068 | - |1991 | 10k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
65.99/66.08 c 64.2s|170000 |108051 | 0 | 0.0 | 223M|1068 | - |1991 | 11k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
69.80/69.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.80/69.86 c 67.8s|180000 |115858 | 0 | 0.0 | 232M|1068 | - |1991 | 10k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
73.70/73.77 c 71.7s|190000 |123580 | 0 | 0.0 | 241M|1068 | - |1991 | 10k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
75.29/75.34 o 10
75.29/75.34 c *73.2s|194105 |126402 | 0 | 0.0 | 243M|1068 | - |1991 |8806 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
77.59/77.63 c 75.4s|200000 |130431 | 0 | 0.0 | 247M|1068 | - |1991 |8930 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
81.19/81.29 c 79.0s|210000 |137559 | 0 | 0.0 | 253M|1068 | - |1991 |7923 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
84.29/84.39 c 81.9s|220000 |145606 | 0 | 0.0 | 260M|1068 | - |1991 |8534 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
88.19/88.21 c 85.6s|230000 |152424 | 0 | 0.0 | 267M|1068 | - |1991 | 10k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
91.99/92.05 c 89.4s|240000 |159418 | 0 | 0.0 | 273M|1068 | - |1991 |8401 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
95.59/95.68 c 92.9s|250000 |166478 | 0 | 0.0 | 279M|1068 | - |1991 |8270 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
99.09/99.17 c 96.3s|260000 |173744 | 0 | 0.0 | 287M|1068 | - |1991 |9867 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
102.39/102.40 c 99.4s|270000 |181388 | 0 | 0.0 | 291M|1068 | - |1991 |4140 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
105.99/106.05 c 103s|280000 |188108 | 0 | 0.0 | 298M|1068 | - |1991 |5325 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
109.69/109.76 c 107s|290000 |194739 | 0 | 0.0 | 305M|1068 | - |1991 |5909 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
113.50/113.59 c 110s|300000 |201190 | 0 | 0.0 | 312M|1068 | - |1991 |5990 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
117.49/117.50 c 114s|310000 |207478 | 0 | 0.0 | 319M|1068 | - |1991 |6450 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
121.40/121.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.40/121.47 c 118s|320000 |213633 | 0 | 0.0 | 326M|1068 | - |1991 |6928 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
125.60/125.68 c 122s|330000 |219552 | 0 | 0.0 | 333M|1068 | - |1991 |7235 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
129.99/130.05 c 126s|340000 |225222 | 0 | 0.0 | 340M|1068 | - |1991 |7691 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
134.49/134.58 c 131s|350000 |230667 | 0 | 0.0 | 348M|1068 | - |1991 |7954 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
139.20/139.28 c 135s|360000 |235856 | 0 | 0.0 | 355M|1068 | - |1991 |8328 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
144.10/144.18 c 140s|370000 |240809 | 0 | 0.0 | 362M|1068 | - |1991 |8807 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
149.10/149.20 c 145s|380000 |245584 | 0 | 0.0 | 370M|1068 | - |1991 |9466 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
154.49/154.59 c 150s|390000 |249977 | 0 | 0.0 | 377M|1068 | - |1991 |9848 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
160.30/160.32 c 156s|400000 |253839 | 0 | 0.0 | 384M|1068 | - |1991 | 10k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
166.40/166.40 c 162s|410000 |257269 | 0 | 0.0 | 390M|1068 | - |1991 | 10k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
172.80/172.80 c 168s|420000 |260229 | 0 | 0.0 | 397M|1068 | - |1991 | 10k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
179.49/179.52 c 175s|430000 |262849 | 0 | 0.0 | 404M|1068 | - |1991 | 10k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
186.70/186.79 c 182s|440000 |264998 | 0 | 0.0 | 409M|1068 | - |1991 | 11k| 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
194.20/194.27 c 189s|450000 |266935 | 0 | 0.0 | 415M|1068 | - |1991 | 11k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
201.90/201.97 c 197s|460000 |268841 | 0 | 0.0 | 420M|1068 | - |1991 | 11k| 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
210.10/210.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.10/210.15 c 205s|470000 |270266 | 0 | 0.0 | 424M|1068 | - |1991 | 12k| 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
219.50/219.59 c 214s|480000 |270558 | 0 | 0.0 | 427M|1068 | - |1991 | 14k| 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
225.99/226.08 c 220s|490000 |274232 | 0 | 0.0 | 426M|1068 | - |1991 |4823 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
229.10/229.16 c 223s|500000 |282030 | 0 | 0.0 | 432M|1068 | - |1991 |4626 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
232.50/232.51 c 227s|510000 |289414 | 0 | 0.0 | 439M|1068 | - |1991 |5102 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
236.10/236.12 c 230s|520000 |296405 | 0 | 0.0 | 446M|1068 | - |1991 |5566 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
240.00/240.02 c 234s|530000 |302970 | 0 | 0.0 | 453M|1068 | - |1991 |5950 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
244.40/244.47 c 238s|540000 |308777 | 0 | 0.0 | 461M|1068 | - |1991 |6521 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
249.39/249.47 c 243s|550000 |313913 | 0 | 0.0 | 468M|1068 | - |1991 |6881 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
254.90/254.90 c 248s|560000 |318414 | 0 | 0.0 | 476M|1068 | - |1991 |7485 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
260.79/260.81 c 254s|570000 |322243 | 0 | 0.0 | 483M|1068 | - |1991 |8175 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
267.80/267.88 c 261s|580000 |324779 | 0 | 0.0 | 490M|1068 | - |1991 |9721 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
272.60/272.62 c 266s|590000 |330757 | 0 | 0.0 | 494M|1068 | - |1991 |5240 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
275.89/275.92 c 269s|600000 |338275 | 0 | 0.0 | 500M|1068 | - |1991 |5648 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
279.49/279.51 c 272s|610000 |345328 | 0 | 0.0 | 508M|1068 | - |1991 |6591 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
283.60/283.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.60/283.66 c 276s|620000 |351642 | 0 | 0.0 | 515M|1068 | - |1991 |7561 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
288.10/288.20 c 281s|630000 |357507 | 0 | 0.0 | 523M|1068 | - |1991 |8615 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
293.00/293.09 c 285s|640000 |362956 | 0 | 0.0 | 531M|1068 | - |1991 |9734 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
298.60/298.62 c 291s|650000 |367784 | 0 | 0.0 | 538M|1068 | - |1991 | 11k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
305.50/305.54 c 298s|660000 |371318 | 0 | 0.0 | 545M|1068 | - |1991 | 13k| 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
312.70/312.78 c 305s|670000 |375200 | 0 | 0.0 | 548M|1068 | - |1991 |7334 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
315.90/315.97 c 308s|680000 |383091 | 0 | 0.0 | 554M|1068 | - |1991 |6180 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
319.20/319.29 c 311s|690000 |390611 | 0 | 0.0 | 561M|1068 | - |1991 |6889 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
322.80/322.86 c 314s|700000 |397790 | 0 | 0.0 | 568M|1068 | - |1991 |7645 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
326.70/326.71 c 318s|710000 |404616 | 0 | 0.0 | 575M|1068 | - |1991 |8713 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
331.01/331.04 c 322s|720000 |410844 | 0 | 0.0 | 582M|1068 | - |1991 |9966 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
336.10/336.16 c 327s|730000 |416295 | 0 | 0.0 | 590M|1068 | - |1991 | 11k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
342.60/342.62 c 334s|740000 |420437 | 0 | 0.0 | 597M|1068 | - |1991 | 15k| 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
347.20/347.26 o 4
347.20/347.26 c * 338s|744505 |415345 | 0 | 0.0 | 588M|1068 | - |1991 | 19k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
349.50/349.56 c 340s|750000 |419613 | 0 | 0.0 | 588M|1068 | - |1991 |8566 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
352.80/352.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.80/352.83 c 344s|760000 |427481 | 0 | 0.0 | 594M|1068 | - |1991 |7756 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
356.20/356.27 c 347s|770000 |434898 | 0 | 0.0 | 601M|1068 | - |1991 |8379 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
360.00/360.01 c 351s|780000 |441917 | 0 | 0.0 | 608M|1068 | - |1991 |9410 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
364.01/364.03 c 354s|790000 |448655 | 0 | 0.0 | 615M|1068 | - |1991 | 10k| 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
368.51/368.51 c 359s|800000 |454911 | 0 | 0.0 | 622M|1068 | - |1991 | 11k| 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
373.70/373.71 c 364s|810000 |460414 | 0 | 0.0 | 630M|1068 | - |1991 | 13k| 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
379.80/379.86 c 370s|820000 |465163 | 0 | 0.0 | 637M|1068 | - |1991 | 15k| 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
388.00/388.03 c 378s|830000 |468562 | 0 | 0.0 | 642M|1068 | - |1991 | 17k| 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
391.90/391.97 c 382s|840000 |476445 | 0 | 0.0 | 647M|1068 | - |1991 |9446 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
395.50/395.51 c 385s|850000 |484113 | 0 | 0.0 | 654M|1068 | - |1991 |8730 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
399.00/399.04 c 389s|860000 |491637 | 0 | 0.0 | 661M|1068 | - |1991 |8651 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
402.51/402.51 c 392s|870000 |499171 | 0 | 0.0 | 667M|1068 | - |1991 |8967 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
406.20/406.27 c 396s|880000 |506398 | 0 | 0.0 | 674M|1068 | - |1991 |9317 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
410.30/410.32 c 399s|890000 |513253 | 0 | 0.0 | 682M|1068 | - |1991 | 10k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
414.61/414.68 c 404s|900000 |519842 | 0 | 0.0 | 689M|1068 | - |1991 | 10k| 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
419.20/419.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.20/419.21 c 408s|910000 |526264 | 0 | 0.0 | 697M|1068 | - |1991 | 11k| 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
424.10/424.13 c 413s|920000 |532395 | 0 | 0.0 | 704M|1068 | - |1991 | 12k| 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
426.30/426.38 o 3
426.30/426.38 c * 415s|924012 |533906 | 0 | 0.0 | 707M|1068 | - |1991 | 13k| 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
429.71/429.77 c 418s|930000 |537235 | 0 | 0.0 | 712M|1068 | - |1991 | 13k| 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
435.91/435.91 c 424s|940000 |542491 | 0 | 0.0 | 718M|1068 | - |1991 |7504 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
440.80/440.89 c 429s|950000 |547682 | 0 | 0.0 | 724M|1068 | - |1991 |9678 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
446.31/446.33 c 435s|960000 |552523 | 0 | 0.0 | 731M|1068 | - |1991 | 10k| 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
451.91/451.99 c 440s|970000 |557091 | 0 | 0.0 | 737M|1068 | - |1991 |9803 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
457.51/457.57 c 446s|980000 |561691 | 0 | 0.0 | 743M|1068 | - |1991 |9632 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
462.50/462.54 c 450s|990000 |566965 | 0 | 0.0 | 749M|1068 | - |1991 |9462 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
467.20/467.29 c 455s| 1000k|572550 | 0 | 0.0 | 755M|1068 | - |1991 |9953 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
472.20/472.25 c 460s| 1010k|577972 | 0 | 0.0 | 763M|1068 | - |1991 | 10k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
477.80/477.83 c 465s| 1020k|582650 | 0 | 0.0 | 770M|1068 | - |1991 | 11k| 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
484.70/484.77 c 472s| 1030k|585757 | 0 | 0.0 | 777M|1068 | - |1991 | 15k| 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
488.60/488.61 c 476s| 1040k|593110 | 0 | 0.0 | 780M|1068 | - |1991 |6775 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
491.90/491.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.90/491.93 c 479s| 1050k|600708 | 0 | 0.0 | 787M|1068 | - |1991 |7120 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
495.30/495.37 c 482s| 1060k|608133 | 0 | 0.0 | 794M|1068 | - |1991 |7482 | 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
498.91/498.91 c 486s| 1070k|615402 | 0 | 0.0 | 800M|1068 | - |1991 |7745 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
502.40/502.44 c 489s| 1080k|622667 | 0 | 0.0 | 807M|1068 | - |1991 |8159 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
506.01/506.06 c 493s| 1090k|629802 | 0 | 0.0 | 813M|1068 | - |1991 |8504 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
509.81/509.86 c 496s| 1100k|636712 | 0 | 0.0 | 820M|1068 | - |1991 |8706 | 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
513.71/513.73 c 500s| 1110k|643512 | 0 | 0.0 | 827M|1068 | - |1991 |9277 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
518.11/518.15 c 504s| 1120k|649646 | 0 | 0.0 | 833M|1068 | - |1991 |9649 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
522.80/522.86 c 509s| 1130k|655435 | 0 | 0.0 | 841M|1068 | - |1991 |9927 | 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
527.80/527.80 c 514s| 1140k|660884 | 0 | 0.0 | 848M|1068 | - |1991 | 11k| 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
533.31/533.33 c 519s| 1150k|665803 | 0 | 0.0 | 855M|1068 | - |1991 | 12k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
539.40/539.42 c 525s| 1160k|670180 | 0 | 0.0 | 862M|1068 | - |1991 | 12k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
546.01/546.04 c 532s| 1170k|673954 | 0 | 0.0 | 869M|1068 | - |1991 | 13k| 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
553.91/553.92 c 539s| 1180k|676594 | 0 | 0.0 | 874M|1068 | - |1991 | 16k| 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
560.21/560.20 c 545s| 1190k|681276 | 0 | 0.0 | 877M|1068 | - |1991 |7698 | 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
563.70/563.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.70/563.75 c 549s| 1200k|688648 | 0 | 0.0 | 883M|1068 | - |1991 |8040 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
567.30/567.33 c 552s| 1210k|695933 | 0 | 0.0 | 890M|1068 | - |1991 |8630 | 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
571.11/571.18 c 556s| 1220k|702847 | 0 | 0.0 | 897M|1068 | - |1991 |9406 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
575.60/575.62 c 560s| 1230k|708988 | 0 | 0.0 | 905M|1068 | - |1991 | 10k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
580.71/580.76 c 565s| 1240k|714327 | 0 | 0.0 | 913M|1068 | - |1991 | 12k| 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
586.81/586.81 c 571s| 1250k|718790 | 0 | 0.0 | 920M|1068 | - |1991 | 13k| 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
594.30/594.35 c 579s| 1260k|721883 | 0 | 0.0 | 926M|1068 | - |1991 | 16k| 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
600.21/600.27 c 584s| 1270k|727122 | 0 | 0.0 | 929M|1068 | - |1991 |7779 | 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
603.60/603.67 c 588s| 1280k|734677 | 0 | 0.0 | 935M|1068 | - |1991 |8103 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
607.30/607.30 c 591s| 1290k|741895 | 0 | 0.0 | 942M|1068 | - |1991 |8637 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
611.41/611.40 c 595s| 1300k|748509 | 0 | 0.0 | 949M|1068 | - |1991 |9592 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
616.11/616.12 c 600s| 1310k|754354 | 0 | 0.0 | 956M|1068 | - |1991 | 10k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
621.21/621.29 c 605s| 1320k|759756 | 0 | 0.0 | 964M|1068 | - |1991 | 11k| 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
627.01/627.04 c 610s| 1330k|764443 | 0 | 0.0 | 971M|1068 | - |1991 | 13k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
634.11/634.14 c 617s| 1340k|767820 | 0 | 0.0 | 978M|1068 | - |1991 | 15k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
639.91/639.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.91/639.99 c 623s| 1350k|773035 | 0 | 0.0 | 980M|1068 | - |1991 |4811 | 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
643.11/643.14 c 626s| 1360k|780805 | 0 | 0.0 | 987M|1068 | - |1991 |5713 | 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
647.51/647.59 c 631s| 1370k|786473 | 0 | 0.0 | 994M|1068 | - |1991 |8541 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
651.01/651.05 c 634s| 1380k|793859 | 0 | 0.0 |1000M|1068 | - |1991 |5237 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
654.71/654.78 c 637s| 1390k|800659 | 0 | 0.0 |1006M|1068 | - |1991 |4443 | 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
658.51/658.57 c 641s| 1400k|807203 | 0 | 0.0 |1012M|1068 | - |1991 |4831 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
662.22/662.21 c 645s| 1410k|813748 | 0 | 0.0 |1019M|1068 | - |1991 |6812 | 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
667.51/667.51 c 650s| 1420k|818291 | 0 | 0.0 |1025M|1068 | - |1991 |6244 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
673.12/673.12 c 655s| 1430k|822580 | 0 | 0.0 |1032M|1068 | - |1991 |6834 | 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
679.11/679.17 c 661s| 1440k|826409 | 0 | 0.0 |1039M|1068 | - |1991 |8102 | 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
685.40/685.43 c 667s| 1450k|830096 | 0 | 0.0 |1045M|1068 | - |1991 |8790 | 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
692.01/692.05 c 674s| 1460k|833644 | 0 | 0.0 |1052M|1068 | - |1991 |9011 | 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
698.61/698.64 c 680s| 1470k|837474 | 0 | 0.0 |1059M|1068 | - |1991 |8435 | 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
705.31/705.39 c 687s| 1480k|840827 | 0 | 0.0 |1065M|1068 | - |1991 | 10k| 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
712.41/712.46 c 694s| 1490k|844015 | 0 | 0.0 |1072M|1068 | - |1991 | 10k| 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
719.51/719.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
719.51/719.55 c 701s| 1500k|847532 | 0 | 0.0 |1079M|1068 | - |1991 | 11k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
726.91/726.97 c 708s| 1510k|850474 | 0 | 0.0 |1084M|1068 | - |1991 | 11k| 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
734.02/734.03 c 715s| 1520k|854237 | 0 | 0.0 |1092M|1068 | - |1991 | 11k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
741.61/741.67 c 723s| 1530k|857030 | 0 | 0.0 |1097M|1068 | - |1991 | 11k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
748.92/748.91 c 730s| 1540k|860628 | 0 | 0.0 |1104M|1068 | - |1991 | 13k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
757.01/757.07 c 738s| 1550k|863216 | 0 | 0.0 |1110M|1068 | - |1991 | 12k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
764.71/764.79 c 745s| 1560k|866433 | 0 | 0.0 |1117M|1068 | - |1991 | 13k| 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
773.01/773.08 c 753s| 1570k|869185 | 0 | 0.0 |1122M|1068 | - |1991 | 12k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
781.81/781.88 c 762s| 1580k|871550 | 0 | 0.0 |1129M|1068 | - |1991 | 14k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
789.82/789.87 c 770s| 1590k|875154 | 0 | 0.0 |1135M|1068 | - |1991 | 12k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
799.72/799.74 c 780s| 1600k|876307 | 0 | 0.0 |1141M|1068 | - |1991 | 14k| 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
808.01/808.08 c 788s| 1610k|879527 | 0 | 0.0 |1147M|1068 | - |1991 | 15k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
818.21/818.23 c 798s| 1620k|880773 | 0 | 0.0 |1151M|1068 | - |1991 | 15k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
826.92/826.95 c 806s| 1630k|883776 | 0 | 0.0 |1158M|1068 | - |1991 | 16k| 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
836.21/836.28 c 816s| 1640k|886213 | 0 | 0.0 |1162M|1068 | - |1991 | 14k| 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
846.92/846.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.92/846.91 c 826s| 1650k|887662 | 0 | 0.0 |1169M|1068 | - |1991 | 17k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
856.61/856.66 c 836s| 1660k|890454 | 0 | 0.0 |1174M|1068 | - |1991 | 15k| 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
868.01/868.09 c 847s| 1670k|891103 | 0 | 0.0 |1178M|1068 | - |1991 | 17k| 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
877.72/877.75 c 857s| 1680k|893833 | 0 | 0.0 |1185M|1068 | - |1991 | 17k| 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
889.21/889.23 c 868s| 1690k|894665 | 0 | 0.0 |1188M|1068 | - |1991 | 18k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
899.72/899.76 c 878s| 1700k|896940 | 0 | 0.0 |1195M|1068 | - |1991 | 18k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
912.52/912.53 c 891s| 1710k|897235 | 0 | 0.0 |1198M|1068 | - |1991 | 19k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
923.81/923.81 c 902s| 1720k|899293 | 0 | 0.0 |1204M|1068 | - |1991 | 19k| 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
937.31/937.30 c 915s| 1730k|899208 | 0 | 0.0 |1207M|1068 | - |1991 | 20k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
950.81/950.85 c 929s| 1740k|899492 | 0 | 0.0 |1210M|1068 | - |1991 | 21k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
965.02/965.08 c 943s| 1750k|899675 | 0 | 0.0 |1214M|1068 | - |1991 | 22k| 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
981.12/981.15 c 959s| 1760k|898694 | 0 | 0.0 |1216M|1068 | - |1991 | 23k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
998.22/998.20 c 976s| 1770k|897405 | 0 | 0.0 |1218M|1068 | - |1991 | 25k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1017.42/1017.41 c 995s| 1780k|895067 | 0 | 0.0 |1217M|1068 | - |1991 | 26k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1036.92/1036.96 c 1014s| 1790k|892740 | 0 | 0.0 |1214M|1068 | - |1991 | 26k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1056.52/1056.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.52/1056.57 c 1034s| 1800k|890455 | 0 | 0.0 |1211M|1068 | - |1991 | 26k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1071.22/1071.26 c 1048s| 1810k|891271 | 0 | 0.0 |1205M|1068 | - |1991 | 10k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1075.52/1075.59 c 1052s| 1820k|897845 | 0 | 0.0 |1210M|1068 | - |1991 |5978 | 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1079.82/1079.88 c 1056s| 1830k|904155 | 0 | 0.0 |1216M|1068 | - |1991 |6248 | 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1084.42/1084.45 c 1061s| 1840k|910175 | 0 | 0.0 |1223M|1068 | - |1991 |6472 | 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1089.22/1089.20 c 1065s| 1850k|915941 | 0 | 0.0 |1230M|1068 | - |1991 |7231 | 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1094.22/1094.20 c 1070s| 1860k|921446 | 0 | 0.0 |1237M|1068 | - |1991 |7676 | 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1099.52/1099.50 c 1076s| 1870k|926657 | 0 | 0.0 |1244M|1068 | - |1991 |8082 | 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1105.02/1105.09 c 1081s| 1880k|931627 | 0 | 0.0 |1250M|1068 | - |1991 |8583 | 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1111.02/1111.05 c 1087s| 1890k|936169 | 0 | 0.0 |1257M|1068 | - |1991 |8767 | 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1117.22/1117.25 c 1093s| 1900k|940516 | 0 | 0.0 |1263M|1068 | - |1991 |9133 | 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1123.72/1123.71 c 1099s| 1910k|944560 | 0 | 0.0 |1270M|1068 | - |1991 |9237 | 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1130.42/1130.41 c 1106s| 1920k|948397 | 0 | 0.0 |1276M|1068 | - |1991 |9218 | 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1137.43/1137.46 c 1113s| 1930k|951848 | 0 | 0.0 |1282M|1068 | - |1991 |9423 | 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1145.03/1145.02 c 1120s| 1940k|954818 | 0 | 0.0 |1288M|1068 | - |1991 |9529 | 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1152.73/1152.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.73/1152.70 c 1128s| 1950k|957536 | 0 | 0.0 |1294M|1068 | - |1991 |9646 | 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1160.33/1160.33 c 1135s| 1960k|960407 | 0 | 0.0 |1300M|1068 | - |1991 |9288 | 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1168.32/1168.36 c 1143s| 1970k|962799 | 0 | 0.0 |1305M|1068 | - |1991 |9242 | 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1176.62/1176.60 c 1151s| 1980k|964933 | 0 | 0.0 |1311M|1068 | - |1991 |9287 | 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1185.22/1185.22 c 1159s| 1990k|966575 | 0 | 0.0 |1316M|1068 | - |1991 |9684 | 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1193.93/1193.92 c 1168s| 2000k|968130 | 0 | 0.0 |1320M|1068 | - |1991 | 10k| 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1203.02/1203.08 c 1177s| 2010k|969294 | 0 | 0.0 |1325M|1068 | - |1991 | 10k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1212.33/1212.35 c 1186s| 2020k|970432 | 0 | 0.0 |1329M|1068 | - |1991 | 10k| 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1222.22/1222.26 c 1196s| 2030k|970619 | 0 | 0.0 |1332M|1068 | - |1991 | 11k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1232.42/1232.42 c 1206s| 2040k|970808 | 0 | 0.0 |1335M|1068 | - |1991 | 11k| 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1242.93/1242.97 c 1216s| 2050k|970788 | 0 | 0.0 |1338M|1068 | - |1991 | 12k| 0 | 0 | 0 |1711k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1255.42/1255.43 c 1228s| 2060k|969078 | 0 | 0.0 |1338M|1068 | - |1991 | 12k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1265.72/1265.72 c 1239s| 2070k|969957 | 0 | 0.0 |1337M|1068 | - |1991 |8309 | 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1269.92/1269.94 c 1243s| 2080k|976658 | 0 | 0.0 |1343M|1068 | - |1991 |6991 | 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1274.03/1274.02 c 1247s| 2090k|983326 | 0 | 0.0 |1350M|1068 | - |1991 |7389 | 0 | 0 | 0 |1756k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1278.23/1278.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.23/1278.29 c 1251s| 2100k|989753 | 0 | 0.0 |1357M|1068 | - |1991 |8298 | 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1283.23/1283.27 c 1256s| 2110k|995546 | 0 | 0.0 |1364M|1068 | - |1991 |8790 | 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1288.13/1288.13 c 1260s| 2120k| 1001k| 0 | 0.0 |1370M|1068 | - |1991 |9511 | 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1293.32/1293.36 c 1265s| 2130k| 1006k| 0 | 0.0 |1377M|1068 | - |1991 | 10k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1298.92/1299.00 c 1271s| 2140k| 1012k| 0 | 0.0 |1384M|1068 | - |1991 | 10k| 0 | 0 | 0 |1786k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1304.72/1304.77 c 1277s| 2150k| 1017k| 0 | 0.0 |1390M|1068 | - |1991 | 11k| 0 | 0 | 0 |1793k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1310.92/1310.99 c 1283s| 2160k| 1021k| 0 | 0.0 |1397M|1068 | - |1991 | 12k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1317.42/1317.46 c 1289s| 2170k| 1026k| 0 | 0.0 |1404M|1068 | - |1991 | 12k| 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1324.43/1324.48 c 1296s| 2180k| 1030k| 0 | 0.0 |1410M|1068 | - |1991 | 13k| 0 | 0 | 0 |1818k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1331.93/1331.94 c 1303s| 2190k| 1034k| 0 | 0.0 |1416M|1068 | - |1991 | 14k| 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1339.62/1339.62 c 1311s| 2200k| 1037k| 0 | 0.0 |1422M|1068 | - |1991 | 14k| 0 | 0 | 0 |1836k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1347.72/1347.74 c 1319s| 2210k| 1041k| 0 | 0.0 |1428M|1068 | - |1991 | 15k| 0 | 0 | 0 |1846k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1356.42/1356.46 c 1327s| 2220k| 1044k| 0 | 0.0 |1434M|1068 | - |1991 | 16k| 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1365.63/1365.61 c 1336s| 2230k| 1047k| 0 | 0.0 |1440M|1068 | - |1991 | 17k| 0 | 0 | 0 |1867k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1375.13/1375.12 c 1346s| 2240k| 1049k| 0 | 0.0 |1445M|1068 | - |1991 | 18k| 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1384.83/1384.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.83/1384.89 c 1355s| 2250k| 1052k| 0 | 0.0 |1451M|1068 | - |1991 | 19k| 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1395.23/1395.27 c 1365s| 2260k| 1054k| 0 | 0.0 |1456M|1068 | - |1991 | 18k| 0 | 0 | 0 |1902k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1407.33/1407.36 c 1377s| 2270k| 1055k| 0 | 0.0 |1460M|1068 | - |1991 | 21k| 0 | 0 | 0 |1916k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1412.03/1412.09 o 2
1412.03/1412.09 c *1382s| 2273k| 1000k| 0 | 0.0 |1408M|1068 | - |1991 | 20k| 0 | 0 | 0 |1921k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1420.53/1420.57 c 1390s| 2280k| 1001k| 0 | 0.0 |1412M|1068 | - |1991 | 21k| 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1435.73/1435.77 c 1405s| 2290k| 1000k| 0 | 0.0 |1415M|1068 | - |1991 | 23k| 0 | 0 | 0 |1947k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1455.13/1455.15 c 1425s| 2300k|998079 | 0 | 0.0 |1413M|1068 | - |1991 | 26k| 0 | 0 | 0 |1967k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1463.73/1463.75 c 1433s| 2310k| 1003k| 0 | 0.0 |1412M|1068 | - |1991 | 11k| 0 | 0 | 0 |1976k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1468.33/1468.30 c 1437s| 2320k| 1010k| 0 | 0.0 |1418M|1068 | - |1991 |9720 | 0 | 0 | 0 |1981k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1472.84/1472.83 c 1442s| 2330k| 1016k| 0 | 0.0 |1424M|1068 | - |1991 |9593 | 0 | 0 | 0 |1987k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1477.93/1477.91 c 1447s| 2340k| 1022k| 0 | 0.0 |1431M|1068 | - |1991 |9668 | 0 | 0 | 0 |1993k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1483.23/1483.25 c 1452s| 2350k| 1028k| 0 | 0.0 |1437M|1068 | - |1991 | 10k| 0 | 0 | 0 |2000k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1488.73/1488.78 c 1457s| 2360k| 1034k| 0 | 0.0 |1443M|1068 | - |1991 | 10k| 0 | 0 | 0 |2006k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1494.43/1494.44 c 1463s| 2370k| 1039k| 0 | 0.0 |1450M|1068 | - |1991 | 11k| 0 | 0 | 0 |2013k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1500.33/1500.31 c 1469s| 2380k| 1045k| 0 | 0.0 |1457M|1068 | - |1991 | 12k| 0 | 0 | 0 |2020k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1506.63/1506.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1506.63/1506.61 c 1475s| 2390k| 1050k| 0 | 0.0 |1463M|1068 | - |1991 | 12k| 0 | 0 | 0 |2027k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1513.23/1513.25 c 1481s| 2400k| 1055k| 0 | 0.0 |1469M|1068 | - |1991 | 13k| 0 | 0 | 0 |2035k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1519.53/1519.59 c 1488s| 2410k| 1061k| 0 | 0.0 |1476M|1068 | - |1991 | 13k| 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1526.43/1526.48 c 1494s| 2420k| 1065k| 0 | 0.0 |1482M|1068 | - |1991 | 14k| 0 | 0 | 0 |2050k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1533.84/1533.88 c 1502s| 2430k| 1070k| 0 | 0.0 |1488M|1068 | - |1991 | 15k| 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1541.53/1541.58 c 1509s| 2440k| 1074k| 0 | 0.0 |1494M|1068 | - |1991 | 15k| 0 | 0 | 0 |2067k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1549.33/1549.38 c 1517s| 2450k| 1078k| 0 | 0.0 |1500M|1068 | - |1991 | 15k| 0 | 0 | 0 |2076k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1557.14/1557.15 c 1524s| 2460k| 1082k| 0 | 0.0 |1506M|1068 | - |1991 | 16k| 0 | 0 | 0 |2085k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1565.53/1565.57 c 1533s| 2470k| 1086k| 0 | 0.0 |1512M|1068 | - |1991 | 17k| 0 | 0 | 0 |2095k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1574.33/1574.36 c 1541s| 2480k| 1089k| 0 | 0.0 |1517M|1068 | - |1991 | 17k| 0 | 0 | 0 |2104k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1583.73/1583.71 c 1551s| 2490k| 1092k| 0 | 0.0 |1523M|1068 | - |1991 | 18k| 0 | 0 | 0 |2115k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1594.13/1594.16 c 1561s| 2500k| 1095k| 0 | 0.0 |1528M|1068 | - |1991 | 20k| 0 | 0 | 0 |2127k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1605.14/1605.11 c 1572s| 2510k| 1097k| 0 | 0.0 |1534M|1068 | - |1991 | 21k| 0 | 0 | 0 |2139k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1616.93/1616.96 c 1583s| 2520k| 1099k| 0 | 0.0 |1539M|1068 | - |1991 | 22k| 0 | 0 | 0 |2152k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1630.64/1630.67 c 1597s| 2530k| 1100k| 0 | 0.0 |1543M|1068 | - |1991 | 24k| 0 | 0 | 0 |2167k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1646.64/1646.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.64/1646.65 c 1613s| 2540k| 1099k| 0 | 0.0 |1547M|1068 | - |1991 | 27k| 0 | 0 | 0 |2183k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1669.44/1669.45 c 1635s| 2550k| 1095k| 0 | 0.0 |1546M|1068 | - |1991 | 34k| 0 | 0 | 0 |2205k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1678.64/1678.62 c 1644s| 2560k| 1101k| 0 | 0.0 |1544M|1068 | - |1991 | 13k| 0 | 0 | 0 |2213k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1684.14/1684.16 c 1650s| 2570k| 1107k| 0 | 0.0 |1550M|1068 | - |1991 | 12k| 0 | 0 | 0 |2218k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1689.83/1689.81 c 1655s| 2580k| 1113k| 0 | 0.0 |1556M|1068 | - |1991 | 12k| 0 | 0 | 0 |2224k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1695.23/1695.24 c 1661s| 2590k| 1119k| 0 | 0.0 |1563M|1068 | - |1991 | 13k| 0 | 0 | 0 |2230k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1700.94/1700.90 c 1666s| 2600k| 1125k| 0 | 0.0 |1569M|1068 | - |1991 | 13k| 0 | 0 | 0 |2236k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1706.84/1706.83 c 1672s| 2610k| 1131k| 0 | 0.0 |1576M|1068 | - |1991 | 14k| 0 | 0 | 0 |2243k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1713.04/1713.00 c 1678s| 2620k| 1137k| 0 | 0.0 |1582M|1068 | - |1991 | 14k| 0 | 0 | 0 |2249k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1719.44/1719.49 c 1684s| 2630k| 1143k| 0 | 0.0 |1589M|1068 | - |1991 | 15k| 0 | 0 | 0 |2256k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1726.24/1726.21 c 1691s| 2640k| 1148k| 0 | 0.0 |1595M|1068 | - |1991 | 15k| 0 | 0 | 0 |2263k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1733.44/1733.41 c 1698s| 2650k| 1153k| 0 | 0.0 |1601M|1068 | - |1991 | 16k| 0 | 0 | 0 |2271k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1740.04/1740.06 c 1704s| 2660k| 1159k| 0 | 0.0 |1607M|1068 | - |1991 | 16k| 0 | 0 | 0 |2278k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1747.34/1747.30 c 1712s| 2670k| 1163k| 0 | 0.0 |1613M|1068 | - |1991 | 17k| 0 | 0 | 0 |2286k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1754.84/1754.83 c 1719s| 2680k| 1168k| 0 | 0.0 |1619M|1068 | - |1991 | 17k| 0 | 0 | 0 |2293k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1762.63/1762.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1762.63/1762.68 c 1727s| 2690k| 1173k| 0 | 0.0 |1625M|1068 | - |1991 | 17k| 0 | 0 | 0 |2302k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1770.04/1770.08 c 1734s| 2700k| 1178k| 0 | 0.0 |1631M|1068 | - |1991 | 18k| 0 | 0 | 0 |2310k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1778.33/1778.36 c 1742s| 2710k| 1182k| 0 | 0.0 |1637M|1068 | - |1991 | 19k| 0 | 0 | 0 |2318k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1786.93/1786.95 c 1751s| 2720k| 1186k| 0 | 0.0 |1642M|1068 | - |1991 | 18k| 0 | 0 | 0 |2328k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1794.74/1794.72 c 1758s| 2730k| 1190k| 0 | 0.0 |1648M|1068 | - |1991 | 19k| 0 | 0 | 0 |2336k| 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) : 1763.37
1800.05/1800.00 c Solving Nodes : 2735123
1800.05/1800.00 c Primal Bound : +2.00000000000000e+00 (16 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 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.01 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.01 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.01 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.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.05/1800.01 v -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.05/1800.01 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.01 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.01 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.01 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.01 v x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1763.37
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2694153-1277908149.wbo
1800.05/1800.01 c Variables : 2081 (1156 binary, 0 integer, 0 implicit integer, 925 continuous)
1800.05/1800.01 c Constraints : 3633 initial, 3633 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2694153-1277908149.wbo
1800.05/1800.01 c Variables : 1991 (1111 binary, 0 integer, 0 implicit integer, 880 continuous)
1800.05/1800.01 c Constraints : 3475 initial, 35414 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 45 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 45 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 45 0 0
1800.05/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.05 0 0 0 925 0 113 45 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 864 - - 1728 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 880 0 6066643 0 1627847 114 1430239 0 0 0
1800.05/1800.01 c knapsack : 1 0 8836017 0 2195172 207651 25375865 0 0 0
1800.05/1800.01 c setppc : 14 0 8657157 0 2195061 120636 5869345 0 0 0
1800.05/1800.01 c linear : 880 0 8537266 0 2195209 171098 12613564 0 0 0
1800.05/1800.01 c logicor : 1700+ 0 6546724 0 2195220 360869 17233598 0 0 0
1800.05/1800.01 c bounddisjunction : 0+ 0 84374 0 0 211 1274 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 2195216 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c indicator : 6.46 0.00 3.84 0.00 2.62
1800.05/1800.01 c knapsack : 99.07 0.00 94.78 0.00 4.29
1800.05/1800.01 c setppc : 30.64 0.00 26.57 0.00 4.07
1800.05/1800.01 c linear : 144.40 0.00 142.63 0.00 1.77
1800.05/1800.01 c logicor : 578.52 0.00 472.50 0.00 106.02
1800.05/1800.01 c bounddisjunction : 0.09 0.00 0.09 0.00 0.00
1800.05/1800.01 c countsols : 0.43 0.00 0.00 0.00 0.43
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 2.32 2 0 0
1800.05/1800.01 c rootredcost : 1.90 0 0 0
1800.05/1800.01 c pseudoobj : 151.41 8866142 639 1414307
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 26.20 861104 861092 4185902 19.1 68605 12.4 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 19 19 81 17.2 17 8.9 -
1800.05/1800.01 c applied globally : - - - 2342156 17.1 - - -
1800.05/1800.01 c applied locally : - - - 14 133.4 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.01 c redcost : 0.00 0 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.01 c cmir : 0.00 0 0 0 0 0
1800.05/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.01 c clique : 0.00 0 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 28.81 2195200 0 0 0 0 4390400
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.14 - 16
1800.05/1800.01 c oneopt : 1.06 0 0
1800.05/1800.01 c trivial : 0.00 2 0
1800.05/1800.01 c simplerounding : 0.00 0 0
1800.05/1800.01 c zirounding : 0.00 0 0
1800.05/1800.01 c rounding : 0.00 0 0
1800.05/1800.01 c shifting : 0.00 0 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c coefdiving : 0.00 0 0
1800.05/1800.01 c pscostdiving : 0.00 0 0
1800.05/1800.01 c fracdiving : 0.00 0 0
1800.05/1800.01 c veclendiving : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 0.00 0 0
1800.05/1800.01 c rootsoldiving : 0.00 0 0
1800.05/1800.01 c linesearchdiving : 0.00 0 0
1800.05/1800.01 c guideddiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.00 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c crossover : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.85 0 0
1800.05/1800.01 c trysol : 0.52 1 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.01 c (at root node) : - 0 0 0.00 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2735123
1800.05/1800.01 c nodes (total) : 2735123
1800.05/1800.01 c nodes left : 1192144
1800.05/1800.01 c max depth : 1068
1800.05/1800.01 c max depth (total): 1068
1800.05/1800.01 c backtracks : 504387 (18.4%)
1800.05/1800.01 c delayed cutoffs : 395623
1800.05/1800.01 c repropagations : 1920251 (18842969 domain reductions, 321330 cutoffs)
1800.05/1800.01 c avg switch length: 24.69
1800.05/1800.01 c switching time : 528.33
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 16 (16 improvements)
1800.05/1800.01 c First Solution : +2.89000000000000e+02 (in run 1, after 3589 nodes, 0.95 seconds, depth 313, found by <relaxation>)
1800.05/1800.01 c Primal Bound : +2.00000000000000e+00 (in run 1, after 2273859 nodes, 1381.91 seconds, depth 230, found by <relaxation>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 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-2694153-1277908149/watcher-2694153-1277908149 -o /tmp/evaluation-result-2694153-1277908149/solver-2694153-1277908149 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694153-1277908149.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.98 2.03 2.00 4/182 13635 /proc/meminfo: memFree=31323072/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=8296 CPUtime=0 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 1563 0 0 0 0 0 0 0 25 0 1 0 132111049 8495104 1486 4089446400 4194304 7136930 140733848390800 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/13635/statm: 2074 1486 275 719 0 1353 0 [startup+0.052586 s] /proc/loadavg: 1.98 2.03 2.00 4/182 13635 /proc/meminfo: memFree=31323072/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=21304 CPUtime=0.04 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 5500 0 0 0 4 0 0 0 25 0 1 0 132111049 21815296 4555 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13635/statm: 5326 4555 348 719 0 4605 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 21304 [startup+0.100577 s] /proc/loadavg: 1.98 2.03 2.00 4/182 13635 /proc/meminfo: memFree=31323072/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=22184 CPUtime=0.09 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 8295 0 0 0 9 0 0 0 25 0 1 0 132111049 22716416 4780 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13635/statm: 5546 4780 368 719 0 4825 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22184 [startup+0.300544 s] /proc/loadavg: 1.98 2.03 2.00 4/182 13635 /proc/meminfo: memFree=31323072/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=24312 CPUtime=0.29 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 9103 0 0 0 28 1 0 0 25 0 1 0 132111049 24895488 5331 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13635/statm: 6078 5331 399 719 0 5357 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24312 [startup+0.700483 s] /proc/loadavg: 1.98 2.03 2.00 4/182 13635 /proc/meminfo: memFree=31323072/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=26412 CPUtime=0.69 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 9660 0 0 0 66 3 0 0 25 0 1 0 132111049 27045888 5888 4089446400 4194304 7136930 140733848390800 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 6603 5888 404 719 0 5882 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26412 [startup+1.50034 s] /proc/loadavg: 1.98 2.03 2.00 3/183 13636 /proc/meminfo: memFree=31301012/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=28148 CPUtime=1.49 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 10079 0 0 0 143 6 0 0 25 0 1 0 132111049 28823552 6307 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 7037 6307 405 719 0 6316 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28148 [startup+3.10106 s] /proc/loadavg: 1.98 2.03 2.00 3/183 13636 /proc/meminfo: memFree=31297788/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=33948 CPUtime=3.09 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 11552 0 0 0 298 11 0 0 25 0 1 0 132111049 34762752 7780 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 8487 7780 405 719 0 7766 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33948 [startup+6.30049 s] /proc/loadavg: 1.98 2.02 2.00 3/183 13636 /proc/meminfo: memFree=31285784/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=44416 CPUtime=6.29 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 14179 0 0 0 608 21 0 0 25 0 1 0 132111049 45481984 10407 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 11104 10407 405 719 0 10383 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44416 [startup+12.7003 s] /proc/loadavg: 1.98 2.02 2.00 3/183 13636 /proc/meminfo: memFree=31261796/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=71940 CPUtime=12.69 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 20668 0 0 0 1229 40 0 0 25 0 1 0 132111049 73666560 16896 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 17985 16896 407 719 0 17264 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 71940 [startup+25.5011 s] /proc/loadavg: 1.99 2.02 2.00 3/183 13637 /proc/meminfo: memFree=31219664/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=111576 CPUtime=25.49 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 30474 0 0 0 2470 79 0 0 25 0 1 0 132111049 114253824 26702 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 27894 26702 407 719 0 27173 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 111576 [startup+51.1005 s] /proc/loadavg: 1.99 2.02 2.00 3/183 13638 /proc/meminfo: memFree=31139776/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=213756 CPUtime=51.09 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 51542 0 0 0 4967 142 0 0 25 0 1 0 132111049 218886144 47770 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 53439 47770 407 719 0 52718 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 213756 [startup+102.306 s] /proc/loadavg: 2.06 2.03 2.00 3/183 13639 /proc/meminfo: memFree=30976684/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=384384 CPUtime=102.3 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 90643 0 0 0 9932 298 0 0 25 0 1 0 132111049 393609216 86871 4089446400 4194304 7136930 140733848390800 18446744073709551615 4697592 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 96096 86871 407 719 0 95375 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 384384 [startup+162.301 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13643 /proc/meminfo: memFree=30866040/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=499536 CPUtime=162.29 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 118536 0 0 0 15772 457 0 0 25 0 1 0 132111049 511524864 114764 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 124884 114764 407 719 0 124163 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 499536 [startup+222.301 s] /proc/loadavg: 2.01 2.02 2.00 3/183 13645 /proc/meminfo: memFree=30816912/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=546716 CPUtime=222.3 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 130334 0 0 0 21662 568 0 0 25 0 1 0 132111049 559837184 126562 4089446400 4194304 7136930 140733848390800 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 136679 126562 407 719 0 135958 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 546716 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13647 /proc/meminfo: memFree=30722384/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=641848 CPUtime=282.29 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 154589 0 0 0 27493 736 0 0 25 0 1 0 132111049 657252352 150817 4089446400 4194304 7136930 140733848390800 18446744073709551615 4619905 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 160462 150817 407 719 0 159741 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 641848 [startup+342.301 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13648 /proc/meminfo: memFree=30610368/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=756988 CPUtime=342.3 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 181942 0 0 0 33334 896 0 0 25 0 1 0 132111049 775155712 178170 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 189247 178170 407 719 0 188526 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 756988 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 4/183 13650 /proc/meminfo: memFree=30537416/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=837596 CPUtime=402.31 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 200220 0 0 0 39176 1055 0 0 25 0 1 0 132111049 857698304 196448 4089446400 4194304 7136930 140733848390800 18446744073709551615 5951439 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 209399 196448 407 719 0 208678 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 837596 [startup+462.3 s] /proc/loadavg: 1.95 1.98 1.99 3/201 13696 /proc/meminfo: memFree=30431056/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=916804 CPUtime=462.3 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 220173 0 0 0 45014 1216 0 0 25 0 1 0 132111049 938807296 216401 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 229201 216401 407 719 0 228480 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 916804 [startup+522.301 s] /proc/loadavg: 1.98 1.98 1.99 3/201 13698 /proc/meminfo: memFree=30328704/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1016232 CPUtime=522.3 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 245234 0 0 0 50838 1392 0 0 25 0 1 0 132111049 1040621568 241462 4089446400 4194304 7136930 140733848390800 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 254058 241462 407 719 0 253337 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1016232 [startup+582.301 s] /proc/loadavg: 1.99 1.98 1.99 3/201 13700 /proc/meminfo: memFree=30261940/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1081260 CPUtime=582.31 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 261794 0 0 0 56687 1544 0 0 25 0 1 0 132111049 1107210240 258022 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 270315 258022 407 719 0 269594 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1081260 [startup+642.3 s] /proc/loadavg: 1.99 1.98 1.99 3/201 13701 /proc/meminfo: memFree=30184988/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1156440 CPUtime=642.31 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 280731 0 0 0 62543 1688 0 0 25 0 1 0 132111049 1184194560 276959 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 289110 276959 407 719 0 288389 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1156440 [startup+702.301 s] ################ # More data... # ################ /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 341165 0 0 0 97976 2256 0 0 25 0 1 0 132111049 1431015424 337393 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 349369 337393 407 719 0 348648 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1397476 [startup+1062.3 s] /proc/loadavg: 2.05 2.02 2.00 3/183 13740 /proc/meminfo: memFree=29928104/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1398444 CPUtime=1062.32 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 341408 0 0 0 103921 2311 0 0 25 0 1 0 132111049 1432006656 337636 4089446400 4194304 7136930 140733848390800 18446744073709551615 4999782 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 349611 337636 407 719 0 348890 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1398444 [startup+1122.3 s] /proc/loadavg: 2.06 2.03 2.00 3/183 13742 /proc/meminfo: memFree=29877956/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1444360 CPUtime=1122.32 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 352845 0 0 0 109780 2452 0 0 25 0 1 0 132111049 1479024640 349073 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 361090 349073 407 719 0 360369 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1444360 [startup+1182.3 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13744 /proc/meminfo: memFree=29830912/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1489480 CPUtime=1182.32 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 364126 0 0 0 115656 2576 0 0 25 0 1 0 132111049 1525227520 360354 4089446400 4194304 7136930 140733848390800 18446744073709551615 4999916 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 372370 360354 407 719 0 371649 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1489480 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 13745 /proc/meminfo: memFree=29799484/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1516608 CPUtime=1242.33 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 370846 0 0 0 121552 2681 0 0 25 0 1 0 132111049 1553006592 367074 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 379152 367074 407 719 0 378431 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1516608 [startup+1302.3 s] /proc/loadavg: 2.06 2.03 2.00 3/183 13747 /proc/meminfo: memFree=29753564/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1577564 CPUtime=1302.33 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 382236 0 0 0 127416 2817 0 0 25 0 1 0 132111049 1615425536 378464 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 394391 378464 407 719 0 393670 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1577564 [startup+1362.3 s] /proc/loadavg: 2.02 2.02 2.00 3/183 13748 /proc/meminfo: memFree=29700944/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1628168 CPUtime=1362.32 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 395006 0 0 0 133297 2935 0 0 25 0 1 0 132111049 1667244032 391234 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 407042 391234 407 719 0 406321 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1628168 [startup+1422.31 s] /proc/loadavg: 2.01 2.02 2.00 3/183 13750 /proc/meminfo: memFree=29670640/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1659284 CPUtime=1422.33 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 402492 0 0 0 139210 3023 0 0 25 0 1 0 132111049 1699106816 398720 4089446400 4194304 7136930 140733848390800 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 414821 398720 407 719 0 414100 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1659284 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13752 /proc/meminfo: memFree=29667868/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1662560 CPUtime=1482.33 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 403136 0 0 0 145113 3120 0 0 25 0 1 0 132111049 1702461440 399364 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 415640 399364 407 719 0 414919 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1662560 [startup+1542.3 s] /proc/loadavg: 2.08 2.02 2.01 3/183 13753 /proc/meminfo: memFree=29637440/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1692808 CPUtime=1542.33 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 410568 0 0 0 150991 3242 0 0 25 0 1 0 132111049 1733435392 406796 4089446400 4194304 7136930 140733848390800 18446744073709551615 4221262 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 423202 406796 407 719 0 422481 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1692808 [startup+1602.3 s] /proc/loadavg: 2.03 2.02 2.00 3/183 13755 /proc/meminfo: memFree=29593508/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1736464 CPUtime=1602.33 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 421497 0 0 0 156898 3335 0 0 25 0 1 0 132111049 1778139136 417725 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 434116 417725 407 719 0 433395 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1736464 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 13756 /proc/meminfo: memFree=29573744/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1755940 CPUtime=1662.34 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 426296 0 0 0 162825 3409 0 0 25 0 1 0 132111049 1798082560 422524 4089446400 4194304 7136930 140733848390800 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 438985 422524 407 719 0 438264 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1755940 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13758 /proc/meminfo: memFree=29528312/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1800680 CPUtime=1722.34 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 437673 0 0 0 168708 3526 0 0 25 0 1 0 132111049 1843896320 433901 4089446400 4194304 7136930 140733848390800 18446744073709551615 4221074 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 450170 433901 407 719 0 449449 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1800680 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13760 /proc/meminfo: memFree=29481388/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1846320 CPUtime=1782.34 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 449137 0 0 0 174596 3638 0 0 25 0 1 0 132111049 1890631680 445365 4089446400 4194304 7136930 140733848390800 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 461580 445365 407 719 0 460859 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1846320 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13760 /proc/meminfo: memFree=29471084/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1856492 CPUtime=1800.05 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 451707 0 0 0 176339 3666 0 0 25 0 1 0 132111049 1901047808 447935 4089446400 4194304 7136930 140733848390800 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13635/statm: 464123 447935 407 719 0 463402 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1856492 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13635 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/184 13761 /proc/meminfo: memFree=29471072/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1856492 CPUtime=1801.44 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 451712 0 0 0 176478 3666 0 0 25 0 1 0 132111049 1901047808 447940 4089446400 4194304 7136930 140733848390800 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13635/statm: 464123 447940 412 719 0 463402 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 1856492 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/184 13761 /proc/meminfo: memFree=29471072/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1856492 CPUtime=1801.85 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 451712 0 0 0 176519 3666 0 0 25 0 1 0 132111049 1901047808 447940 4089446400 4194304 7136930 140733848390800 18446744073709551615 4212294 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13635/statm: 464123 447940 412 719 0 463402 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 1856492 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/184 13761 /proc/meminfo: memFree=29471072/32951124 swapFree=67111528/67111528 [pid=13635] ppid=13633 vsize=1856492 CPUtime=1802.04 /proc/13635/stat : 13635 (pbscip.linux.x8) R 13633 13635 13138 0 -1 4202496 451712 0 0 0 176538 3666 0 0 25 0 1 0 132111049 1901047808 447940 4089446400 4194304 7136930 140733848390800 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13635/statm: 464123 447940 412 719 0 463402 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 1856492 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.11 CPU user time (s): 1765.39 CPU system time (s): 36.7174 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1856492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1765.39 system time used= 36.7174 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 451712 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 1198 runsolver used 2.83657 second user time and 6.62599 second system time The end
Begin job on node132 at 2010-06-30 16:29:09 IDJOB=2694153 IDBENCH=78955 IDSOLVER=1206 FILE ID=node132/2694153-1277908149 PBS_JOBID= 11197250 Free space on /tmp= 74136 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573137--soft-66-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-2694153-1277908149/watcher-2694153-1277908149 -o /tmp/evaluation-result-2694153-1277908149/solver-2694153-1277908149 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694153-1277908149.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a13978843da5adfb99f4aab775862f78 RANDOM SEED=981438384 node132.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.810 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.62 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.810 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.810 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.810 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.810 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.74 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.810 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.810 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31323608 kB Buffers: 187584 kB Cached: 1213700 kB SwapCached: 0 kB Active: 620564 kB Inactive: 863392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31323608 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3144 kB Writeback: 0 kB AnonPages: 82356 kB Mapped: 15472 kB Slab: 81148 kB PageTables: 4960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 226316 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 node132 at 2010-06-30 16:59:11