Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.04 | 1800.51 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6048_4-sat.opb |
MD5SUM | d1ea14abd0b6b02702d61e51284651d4 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.129979 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7686 |
Total number of constraints | 26213 |
Number of constraints which are clauses | 25965 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 248 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 60 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 56 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 405 |
Number of bits of the biggest sum of numbers | 9 |
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.07 c PB-wave - v2 0.00/0.07 c command line = ./PB-wave 0.00/0.07 c seed = 123926972 0.00/0.07 c cutoff = 1000000 0.00/0.07 c tries = 1000000 0.00/0.07 c heuristic = c best, noise 50 / 100 0.00/0.07 #var 7686 #con 26213 0.00/0.07 mode is SAT 0.00/0.07 c tail starts after flip = 23058 0.00/0.07 c numatom = 7686, numclause = 26213, numliterals = 69917 0.00/0.07 c wff read in 0.00/0.07 c 0.00/0.07 c lowest final avg noise noise total avg mean mean 0.00/0.07 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.07 c this this this this this this success success until std 0.00/0.07 c try try try try try try rate tries assign dev 0.00/0.07 c 1.29/1.37 c 103 259 280.94 59.96 4.69 1000000 0 2.59/2.67 c 47 338 282.62 56.50 5.00 1000000 0 3.89/3.98 c 102 280 279.80 59.30 4.72 1000000 0 5.19/5.28 c 107 246 269.68 55.01 4.90 1000000 0 6.50/6.59 c 106 318 281.47 54.48 5.17 1000000 0 7.79/7.89 c 114 254 279.27 60.81 4.59 1000000 0 9.09/9.19 c 90 271 267.87 63.07 4.25 1000000 0 10.39/10.49 c 69 215 265.31 62.32 4.26 1000000 0 11.79/11.80 c 94 292 274.56 51.11 5.37 1000000 0 13.09/13.10 c 96 147 277.90 58.08 4.78 1000000 0 14.39/14.40 c 112 295 279.48 53.04 5.27 1000000 0 15.69/15.70 c 113 265 267.89 52.71 5.08 1000000 0 16.99/17.00 c 132 276 274.57 57.25 4.80 1000000 0 18.28/18.31 c 108 246 272.43 60.48 4.50 1000000 0 19.58/19.61 c 113 198 276.61 56.55 4.89 1000000 0 20.89/20.91 c 81 279 269.55 58.12 4.64 1000000 0 22.18/22.21 c 99 356 273.15 58.30 4.69 1000000 0 23.48/23.51 c 72 318 261.24 53.90 4.85 1000000 0 24.78/24.81 c 67 229 270.32 57.43 4.71 1000000 0 26.08/26.12 c 110 201 272.62 58.57 4.65 1000000 0 27.39/27.41 c 111 219 258.15 52.94 4.88 1000000 0 28.68/28.71 c 119 220 273.58 58.43 4.68 1000000 0 29.98/30.02 c 96 211 276.46 58.50 4.73 1000000 0 31.28/31.32 c 85 282 268.40 56.58 4.74 1000000 0 32.58/32.62 c 80 265 276.49 60.07 4.60 1000000 0 33.88/33.92 c 111 206 263.28 56.88 4.63 1000000 0 35.19/35.22 c 98 290 274.98 61.14 4.50 1000000 0 36.48/36.53 c 130 172 282.01 54.94 5.13 1000000 0 37.78/37.83 c 73 357 277.32 63.67 4.36 1000000 0 39.08/39.14 c 84 262 265.78 63.36 4.19 1000000 0 40.38/40.44 c 116 188 275.55 56.45 4.88 1000000 0 41.68/41.74 c 119 242 266.00 54.65 4.87 1000000 0 42.98/43.04 c 77 248 268.88 58.52 4.59 1000000 0 44.27/44.34 c 67 252 280.52 65.33 4.29 1000000 0 45.57/45.64 c 71 196 269.78 54.62 4.94 1000000 0 46.87/46.94 c 73 228 264.78 61.22 4.33 1000000 0 48.17/48.24 c 109 346 276.27 59.55 4.64 1000000 0 49.48/49.54 c 106 185 267.27 57.80 4.62 1000000 0 50.77/50.85 c 93 207 266.83 58.21 4.58 1000000 0 52.07/52.15 c 110 251 281.00 61.54 4.57 1000000 0 53.37/53.45 c 105 253 268.29 53.51 5.01 1000000 0 54.67/54.76 c 128 258 277.01 55.91 4.95 1000000 0 55.98/56.06 c 108 189 272.06 52.54 5.18 1000000 0 57.27/57.36 c 65 264 261.76 58.38 4.48 1000000 0 58.57/58.65 c 90 291 267.29 57.52 4.65 1000000 0 59.87/59.96 c 103 214 276.84 57.74 4.79 1000000 0 61.17/61.26 c 72 296 267.60 68.80 3.89 1000000 0 62.47/62.56 c 89 264 276.32 57.19 4.83 1000000 0 63.78/63.86 c 128 330 283.71 58.39 4.86 1000000 0 65.07/65.16 c 89 244 269.99 66.22 4.08 1000000 0 66.37/66.46 c 92 306 268.89 58.31 4.61 1000000 0 67.67/67.76 c 82 255 265.24 58.45 4.54 1000000 0 68.97/69.06 c 72 217 268.86 56.01 4.80 1000000 0 70.27/70.36 c 88 230 268.34 60.12 4.46 1000000 0 71.57/71.67 c 64 224 270.98 56.06 4.83 1000000 0 72.87/72.97 c 126 233 271.90 53.54 5.08 1000000 0 74.17/74.27 c 101 261 267.96 59.46 4.51 1000000 0 75.47/75.57 c 79 289 273.29 62.31 4.39 1000000 0 76.77/76.87 c 124 388 281.87 56.23 5.01 1000000 0 78.07/78.17 c 78 358 273.66 58.56 4.67 1000000 0 79.36/79.48 c 76 317 275.51 57.34 4.80 1000000 0 80.66/80.78 c 107 287 277.40 56.14 4.94 1000000 0 81.96/82.07 c 105 246 261.73 51.34 5.10 1000000 0 83.26/83.37 c 62 155 265.82 60.08 4.42 1000000 0 84.57/84.67 c 101 278 269.13 53.93 4.99 1000000 0 85.86/85.97 c 96 241 255.71 49.38 5.18 1000000 0 87.16/87.27 c 84 365 273.17 62.92 4.34 1000000 0 88.46/88.57 c 85 367 278.26 54.06 5.15 1000000 0 89.76/89.87 c 68 346 263.13 55.83 4.71 1000000 0 91.07/91.17 c 123 309 276.17 51.87 5.32 1000000 0 92.38/92.47 c 115 285 265.86 57.86 4.59 1000000 0 93.67/93.77 c 104 290 276.02 61.81 4.47 1000000 0 94.97/95.08 c 92 203 272.82 60.74 4.49 1000000 0 96.27/96.38 c 97 239 272.75 59.24 4.60 1000000 0 97.57/97.68 c 103 296 271.71 64.40 4.22 1000000 0 98.87/98.98 c 71 275 271.73 59.47 4.57 1000000 0 100.17/100.28 c 96 235 261.06 58.56 4.46 1000000 0 101.47/101.59 c 92 358 278.59 56.55 4.93 1000000 0 102.77/102.89 c 91 289 273.32 55.71 4.91 1000000 0 104.07/104.19 c 82 279 273.98 59.54 4.60 1000000 0 105.37/105.49 c 98 275 269.54 60.30 4.47 1000000 0 106.77/106.80 c 87 265 272.55 63.23 4.31 1000000 0 108.07/108.10 c 79 301 277.75 56.79 4.89 1000000 0 109.37/109.40 c 97 172 275.89 49.52 5.57 1000000 0 110.67/110.71 c 139 259 276.36 51.75 5.34 1000000 0 111.96/112.01 c 120 258 272.67 53.86 5.06 1000000 0 113.27/113.31 c 106 346 275.97 62.87 4.39 1000000 0 114.56/114.61 c 93 223 268.31 60.00 4.47 1000000 0 115.86/115.91 c 63 249 272.49 63.07 4.32 1000000 0 117.16/117.21 c 121 322 277.26 51.76 5.36 1000000 0 118.46/118.51 c 61 358 269.65 64.24 4.20 1000000 0 119.77/119.82 c 106 318 272.79 56.63 4.82 1000000 0 121.06/121.11 c 74 268 272.35 55.85 4.88 1000000 0 122.36/122.41 c 122 185 264.90 56.32 4.70 1000000 0 123.66/123.71 c 117 268 259.48 52.38 4.95 1000000 0 124.96/125.01 c 84 319 274.10 58.44 4.69 1000000 0 126.26/126.32 c 56 259 283.72 58.01 4.89 1000000 0 127.57/127.62 c 103 373 272.30 57.22 4.76 1000000 0 128.86/128.92 c 113 181 271.80 54.22 5.01 1000000 0 130.16/130.22 c 58 305 262.59 57.41 4.57 1000000 0 131.46/131.52 c 110 194 273.84 54.29 5.04 1000000 0 132.76/132.82 c 91 297 262.85 61.55 4.27 1000000 0 134.06/134.13 c 67 246 276.62 56.76 4.87 1000000 0 135.36/135.42 c 68 384 260.66 64.68 4.03 1000000 0 136.66/136.73 c 78 270 271.79 57.73 4.71 1000000 0 137.96/138.03 c 53 185 281.63 58.58 4.81 1000000 0 139.26/139.33 c 80 293 274.44 62.13 4.42 1000000 0 140.56/140.63 c 82 315 274.87 61.20 4.49 1000000 0 141.86/141.93 c 88 274 260.77 64.87 4.02 1000000 0 143.16/143.23 c 96 270 264.32 60.34 4.38 1000000 0 144.46/144.53 c 85 264 264.56 61.91 4.27 1000000 0 145.75/145.83 c 109 161 255.09 52.97 4.82 1000000 0 147.05/147.12 c 42 351 257.15 66.68 3.86 1000000 0 148.36/148.43 c 124 366 282.25 59.32 4.76 1000000 0 149.65/149.73 c 83 197 261.42 56.94 4.59 1000000 0 150.95/151.03 c 47 351 276.34 58.37 4.73 1000000 0 152.25/152.33 c 128 237 275.95 60.36 4.57 1000000 0 153.55/153.64 c 95 276 274.18 60.47 4.53 1000000 0 154.85/154.94 c 92 209 257.68 51.42 5.01 1000000 0 156.16/156.24 c 104 250 278.94 55.83 5.00 1000000 0 157.45/157.54 c 79 312 262.77 58.67 4.48 1000000 0 158.75/158.84 c 121 276 274.26 53.92 5.09 1000000 0 160.05/160.14 c 118 241 264.07 53.13 4.97 1000000 0 161.35/161.45 c 94 229 275.22 57.26 4.81 1000000 0 162.66/162.75 c 102 309 275.38 51.94 5.30 1000000 0 163.95/164.05 c 98 337 260.34 54.22 4.80 1000000 0 165.25/165.35 c 109 225 261.39 58.86 4.44 1000000 0 166.55/166.65 c 72 258 270.93 58.04 4.67 1000000 0 167.85/167.95 c 98 157 272.52 56.06 4.86 1000000 0 169.15/169.25 c 87 310 279.77 60.66 4.61 1000000 0 170.46/170.55 c 84 305 266.66 56.16 4.75 1000000 0 171.75/171.85 c 91 302 268.18 54.58 4.91 1000000 0 173.05/173.16 c 94 228 275.60 55.97 4.92 1000000 0 174.35/174.46 c 107 237 274.19 66.85 4.10 1000000 0 175.65/175.76 c 96 257 268.99 58.62 4.59 1000000 0 176.95/177.06 c 114 191 271.81 50.71 5.36 1000000 0 178.25/178.36 c 111 265 276.50 58.84 4.70 1000000 0 179.55/179.66 c 93 330 271.66 65.52 4.15 1000000 0 180.84/180.97 c 95 204 273.96 62.92 4.35 1000000 0 182.14/182.27 c 100 249 271.14 60.22 4.50 1000000 0 183.44/183.57 c 116 250 263.89 57.19 4.61 1000000 0 184.75/184.87 c 105 246 264.90 51.46 5.15 1000000 0 186.04/186.17 c 103 254 267.39 54.67 4.89 1000000 0 187.34/187.47 c 75 333 261.22 60.66 4.31 1000000 0 188.64/188.77 c 109 330 274.47 60.00 4.57 1000000 0 189.94/190.07 c 86 150 266.26 58.80 4.53 1000000 0 191.25/191.37 c 78 231 267.72 61.39 4.36 1000000 0 192.54/192.67 c 102 296 271.62 53.96 5.03 1000000 0 193.84/193.97 c 105 336 269.02 56.26 4.78 1000000 0 195.14/195.27 c 88 249 268.85 62.24 4.32 1000000 0 196.44/196.57 c 111 297 275.28 59.49 4.63 1000000 0 197.74/197.87 c 71 294 272.87 61.57 4.43 1000000 0 199.05/199.17 c 119 268 274.27 60.02 4.57 1000000 0 200.34/200.48 c 101 208 263.92 61.95 4.26 1000000 0 201.64/201.78 c 138 297 275.71 55.08 5.01 1000000 0 202.94/203.08 c 93 179 266.47 59.81 4.45 1000000 0 204.24/204.38 c 120 247 273.23 53.76 5.08 1000000 0 205.55/205.69 c 94 297 282.85 58.95 4.80 1000000 0 206.84/206.99 c 108 325 280.36 63.20 4.44 1000000 0 208.14/208.29 c 93 319 270.23 55.31 4.89 1000000 0 209.44/209.59 c 122 243 267.41 48.51 5.51 1000000 0 210.74/210.89 c 98 278 269.25 53.92 4.99 1000000 0 212.03/212.19 c 91 320 277.93 59.12 4.70 1000000 0 213.34/213.50 c 105 263 268.57 53.82 4.99 1000000 0 214.73/214.80 c 87 272 269.15 47.73 5.64 1000000 0 216.03/216.10 c 92 243 269.35 59.04 4.56 1000000 0 217.33/217.40 c 105 350 275.69 58.73 4.69 1000000 0 218.63/218.70 c 96 202 267.08 53.98 4.95 1000000 0 219.84/220.00 c 69 341 268.34 60.95 4.40 1000000 0 221.23/221.30 c 100 260 268.55 53.56 5.01 1000000 0 222.53/222.60 c 96 232 268.83 54.37 4.94 1000000 0 223.83/223.90 c 107 292 271.47 55.98 4.85 1000000 0 225.13/225.20 c 120 352 270.60 57.32 4.72 1000000 0 226.44/226.50 c 92 258 270.23 54.44 4.96 1000000 0 227.73/227.80 c 109 313 283.02 58.08 4.87 1000000 0 229.03/229.11 c 102 254 279.85 65.10 4.30 1000000 0 230.33/230.41 c 95 208 274.93 54.41 5.05 1000000 0 231.63/231.71 c 119 306 280.86 54.76 5.13 1000000 0 232.93/233.01 c 82 215 265.64 61.58 4.31 1000000 0 234.24/234.31 c 116 286 279.09 58.35 4.78 1000000 0 235.53/235.61 c 118 250 275.59 62.28 4.43 1000000 0 236.83/236.91 c 77 221 269.99 64.20 4.21 1000000 0 238.13/238.22 c 69 355 274.42 61.39 4.47 1000000 0 239.43/239.52 c 87 268 276.42 56.55 4.89 1000000 0 240.73/240.82 c 86 264 262.43 57.11 4.60 1000000 0 242.03/242.12 c 106 323 265.42 57.60 4.61 1000000 0 243.33/243.42 c 99 242 271.73 55.07 4.93 1000000 0 244.62/244.73 c 96 241 281.83 60.20 4.68 1000000 0 245.92/246.03 c 114 292 274.87 50.64 5.43 1000000 0 247.23/247.33 c 105 278 274.82 54.69 5.03 1000000 0 248.53/248.63 c 91 283 267.52 60.08 4.45 1000000 0 249.82/249.94 c 91 263 276.81 57.82 4.79 1000000 0 251.12/251.24 c 128 238 272.82 52.39 5.21 1000000 0 252.42/252.54 c 93 231 270.25 50.68 5.33 1000000 0 253.72/253.84 c 118 306 274.06 60.61 4.52 1000000 0 255.03/255.14 c 83 296 260.09 59.15 4.40 1000000 0 256.32/256.44 c 85 307 280.40 69.55 4.03 1000000 0 257.62/257.74 c 77 409 280.83 57.92 4.85 1000000 0 258.92/259.04 c 108 247 267.01 53.25 5.01 1000000 0 260.22/260.34 c 86 259 271.31 55.44 4.89 1000000 0 261.52/261.64 c 54 253 267.55 56.61 4.73 1000000 0 262.83/262.94 c 69 332 259.03 53.94 4.80 1000000 0 264.12/264.25 c 88 260 270.66 59.05 4.58 1000000 0 265.42/265.55 c 109 332 263.82 52.87 4.99 1000000 0 266.72/266.85 c 75 218 271.05 54.37 4.99 1000000 0 268.02/268.15 c 78 268 267.20 60.31 4.43 1000000 0 269.32/269.45 c 124 375 278.88 58.21 4.79 1000000 0 270.62/270.75 c 105 257 267.83 53.53 5.00 1000000 0 271.92/272.05 c 80 298 271.64 64.16 4.23 1000000 0 273.23/273.35 c 56 254 271.16 65.33 4.15 1000000 0 274.52/274.65 c 73 301 276.32 53.90 5.13 1000000 0 275.82/275.96 c 98 371 270.58 64.03 4.23 1000000 0 277.13/277.26 c 114 261 273.89 52.39 5.23 1000000 0 278.42/278.56 c 100 309 268.97 57.64 4.67 1000000 0 279.72/279.86 c 56 204 276.87 59.82 4.63 1000000 0 281.02/281.16 c 84 196 278.34 63.38 4.39 1000000 0 282.32/282.46 c 65 304 264.64 66.62 3.97 1000000 0 283.63/283.76 c 107 254 267.39 61.35 4.36 1000000 0 284.92/285.06 c 106 225 267.57 56.22 4.76 1000000 0 286.22/286.36 c 76 288 261.19 54.76 4.77 1000000 0 287.52/287.66 c 94 343 278.30 51.78 5.37 1000000 0 288.82/288.96 c 97 334 269.04 53.08 5.07 1000000 0 290.12/290.27 c 98 327 267.49 57.98 4.61 1000000 0 291.42/291.57 c 81 329 271.28 59.67 4.55 1000000 0 292.72/292.87 c 60 282 270.91 64.78 4.18 1000000 0 294.02/294.17 c 77 330 268.33 60.04 4.47 1000000 0 295.32/295.47 c 100 329 265.18 61.21 4.33 1000000 0 296.62/296.77 c 86 210 275.22 61.61 4.47 1000000 0 297.92/298.07 c 95 279 273.60 55.75 4.91 1000000 0 299.22/299.37 c 86 379 262.46 61.05 4.30 1000000 0 300.51/300.67 c 129 212 280.23 65.00 4.31 1000000 0 301.81/301.98 c 103 319 280.53 59.00 4.76 1000000 0 303.11/303.28 c 103 312 269.26 60.55 4.45 1000000 0 304.41/304.58 c 90 297 273.46 59.26 4.61 1000000 0 305.72/305.88 c 122 286 272.18 48.05 5.66 1000000 0 307.01/307.18 c 105 279 267.03 60.96 4.38 1000000 0 308.31/308.48 c 88 204 273.71 52.85 5.18 1000000 0 309.61/309.78 c 110 297 275.34 56.44 4.88 1000000 0 310.91/311.08 c 90 199 271.47 60.78 4.47 1000000 0 312.22/312.39 c 102 319 279.88 56.54 4.95 1000000 0 313.51/313.69 c 76 296 268.66 64.62 4.16 1000000 0 314.81/314.99 c 105 302 275.81 57.39 4.81 1000000 0 316.11/316.29 c 107 276 271.77 57.59 4.72 1000000 0 317.41/317.60 c 107 327 272.03 55.61 4.89 1000000 0 318.81/318.90 c 120 278 279.55 58.25 4.80 1000000 0 320.11/320.20 c 92 246 273.45 55.47 4.93 1000000 0 321.41/321.50 c 66 265 259.74 59.04 4.40 1000000 0 322.71/322.80 c 87 254 269.43 64.28 4.19 1000000 0 324.01/324.10 c 68 262 260.41 56.28 4.63 1000000 0 325.31/325.40 c 96 294 271.78 57.49 4.73 1000000 0 326.51/326.70 c 102 268 276.29 63.21 4.37 1000000 0 327.91/328.00 c 102 329 272.46 56.44 4.83 1000000 0 329.21/329.31 c 124 270 275.96 53.25 5.18 1000000 0 330.51/330.61 c 108 349 281.85 53.23 5.29 1000000 0 331.81/331.91 c 129 265 277.81 54.26 5.12 1000000 0 333.11/333.22 c 128 340 289.09 59.21 4.88 1000000 0 334.40/334.52 c 92 284 267.55 59.62 4.49 1000000 0 335.70/335.82 c 102 256 270.88 60.21 4.50 1000000 0 337.00/337.12 c 124 295 274.85 51.87 5.30 1000000 0 338.30/338.42 c 53 220 265.29 58.15 4.56 1000000 0 339.60/339.72 c 50 228 266.72 60.07 4.44 1000000 0 340.91/341.02 c 87 262 264.06 63.28 4.17 1000000 0 342.20/342.32 c 62 224 271.67 53.16 5.11 1000000 0 343.50/343.62 c 98 212 267.64 55.23 4.85 1000000 0 344.80/344.91 c 107 178 265.88 58.99 4.51 1000000 0 346.10/346.22 c 113 187 279.36 57.29 4.88 1000000 0 347.41/347.52 c 96 357 271.35 62.03 4.37 1000000 0 348.70/348.82 c 96 222 264.84 57.07 4.64 1000000 0 350.00/350.12 c 132 285 270.91 51.01 5.31 1000000 0 351.30/351.42 c 89 187 274.08 58.25 4.71 1000000 0 352.60/352.72 c 84 275 261.09 58.10 4.49 1000000 0 353.90/354.02 c 89 287 259.21 60.82 4.26 1000000 0 355.20/355.32 c 82 186 275.16 57.46 4.79 1000000 0 356.50/356.62 c 101 196 264.98 57.28 4.63 1000000 0 357.80/357.92 c 89 340 269.05 55.44 4.85 1000000 0 359.10/359.22 c 97 236 267.14 58.82 4.54 1000000 0 360.39/360.52 c 102 240 275.95 56.76 4.86 1000000 0 361.70/361.82 c 105 305 274.45 50.71 5.41 1000000 0 362.99/363.13 c 62 293 273.05 55.59 4.91 1000000 0 364.29/364.43 c 93 347 269.46 56.34 4.78 1000000 0 365.59/365.73 c 80 229 271.90 61.12 4.45 1000000 0 366.89/367.03 c 79 234 271.53 55.03 4.93 1000000 0 368.19/368.34 c 96 255 268.39 59.86 4.48 1000000 0 369.50/369.64 c 93 286 267.02 59.16 4.51 1000000 0 370.79/370.95 c 94 312 276.01 60.40 4.57 1000000 0 372.09/372.24 c 91 296 257.15 53.11 4.84 1000000 0 373.39/373.54 c 38 271 270.45 63.42 4.26 1000000 0 374.69/374.84 c 89 279 271.61 56.21 4.83 1000000 0 376.00/376.14 c 69 235 271.57 59.45 4.57 1000000 0 377.29/377.44 c 110 334 273.28 57.66 4.74 1000000 0 378.59/378.74 c 84 330 269.26 56.22 4.79 1000000 0 379.89/380.04 c 118 301 266.61 54.35 4.91 1000000 0 381.19/381.34 c 111 327 266.06 49.15 5.41 1000000 0 382.49/382.64 c 114 334 271.13 58.86 4.61 1000000 0 383.80/383.94 c 94 342 273.91 60.20 4.55 1000000 0 385.09/385.24 c 83 317 270.03 56.81 4.75 1000000 0 386.39/386.54 c 65 273 261.33 60.25 4.34 1000000 0 387.69/387.84 c 100 320 278.82 64.70 4.31 1000000 0 388.99/389.14 c 92 280 265.77 54.36 4.89 1000000 0 390.29/390.44 c 120 245 266.83 54.11 4.93 1000000 0 391.59/391.74 c 120 295 274.85 59.34 4.63 1000000 0 392.89/393.04 c 85 257 276.76 57.81 4.79 1000000 0 394.19/394.35 c 112 317 274.55 57.90 4.74 1000000 0 395.48/395.65 c 95 217 268.40 58.56 4.58 1000000 0 396.78/396.95 c 96 247 274.14 55.77 4.92 1000000 0 398.09/398.25 c 85 255 267.09 52.57 5.08 1000000 0 399.38/399.55 c 82 296 278.03 53.04 5.24 1000000 0 400.68/400.85 c 104 238 273.87 59.87 4.57 1000000 0 401.98/402.15 c 85 198 270.94 53.92 5.02 1000000 0 403.28/403.45 c 89 260 260.94 54.12 4.82 1000000 0 404.59/404.75 c 115 259 263.81 54.03 4.88 1000000 0 405.88/406.06 c 73 250 271.91 60.23 4.51 1000000 0 407.18/407.36 c 102 180 270.31 58.17 4.65 1000000 0 408.48/408.65 c 88 240 267.52 59.89 4.47 1000000 0 409.78/409.96 c 80 226 269.26 55.38 4.86 1000000 0 411.08/411.26 c 72 256 267.97 57.21 4.68 1000000 0 412.39/412.55 c 111 304 261.58 55.35 4.73 1000000 0 413.68/413.85 c 98 288 268.21 60.12 4.46 1000000 0 414.98/415.15 c 69 277 253.20 55.65 4.55 1000000 0 416.28/416.45 c 85 339 269.81 55.00 4.91 1000000 0 417.58/417.75 c 57 207 270.89 62.69 4.32 1000000 0 418.89/419.06 c 96 209 269.12 53.26 5.05 1000000 0 420.18/420.35 c 100 317 268.79 60.11 4.47 1000000 0 421.48/421.65 c 103 351 264.77 62.93 4.21 1000000 0 422.78/422.96 c 115 317 271.60 58.55 4.64 1000000 0 424.08/424.25 c 103 194 260.94 54.10 4.82 1000000 0 425.38/425.55 c 102 353 270.97 63.00 4.30 1000000 0 426.68/426.85 c 112 249 269.13 52.79 5.10 1000000 0 427.98/428.15 c 70 225 263.20 63.89 4.12 1000000 0 429.27/429.45 c 88 325 265.55 53.22 4.99 1000000 0 430.57/430.75 c 87 277 275.04 57.42 4.79 1000000 0 431.87/432.05 c 91 269 263.40 59.39 4.44 1000000 0 433.18/433.35 c 88 275 274.44 55.52 4.94 1000000 0 434.47/434.65 c 101 205 267.47 54.10 4.94 1000000 0 435.77/435.96 c 98 235 270.25 55.46 4.87 1000000 0 437.07/437.25 c 76 364 264.54 53.20 4.97 1000000 0 438.37/438.56 c 71 282 278.94 59.16 4.71 1000000 0 439.67/439.86 c 87 218 258.46 56.19 4.60 1000000 0 440.98/441.16 c 104 208 274.05 58.61 4.68 1000000 0 442.27/442.46 c 101 282 269.21 55.27 4.87 1000000 0 443.57/443.77 c 115 307 269.09 53.47 5.03 1000000 0 444.87/445.07 c 135 324 279.95 59.41 4.71 1000000 0 446.17/446.37 c 102 226 269.14 54.95 4.90 1000000 0 447.48/447.67 c 89 311 261.45 66.31 3.94 1000000 0 448.77/448.97 c 110 241 261.09 54.96 4.75 1000000 0 450.07/450.27 c 92 339 280.64 60.03 4.67 1000000 0 451.37/451.57 c 110 295 275.34 57.52 4.79 1000000 0 452.67/452.87 c 118 239 268.01 55.79 4.80 1000000 0 453.97/454.18 c 120 259 273.65 55.74 4.91 1000000 0 455.28/455.48 c 110 201 274.70 59.69 4.60 1000000 0 456.57/456.78 c 84 278 276.01 58.38 4.73 1000000 0 457.87/458.08 c 130 240 274.76 50.37 5.45 1000000 0 459.17/459.38 c 106 381 279.31 59.38 4.70 1000000 0 460.47/460.69 c 115 256 273.12 57.27 4.77 1000000 0 461.77/461.99 c 101 231 278.22 58.85 4.73 1000000 0 463.07/463.29 c 92 228 264.44 62.22 4.25 1000000 0 464.37/464.59 c 97 243 261.27 51.94 5.03 1000000 0 465.67/465.88 c 61 248 262.76 58.58 4.49 1000000 0 466.97/467.19 c 111 224 266.90 53.74 4.97 1000000 0 468.27/468.49 c 107 318 276.11 53.33 5.18 1000000 0 469.58/469.79 c 98 238 274.60 56.52 4.86 1000000 0 470.87/471.09 c 80 180 260.16 59.40 4.38 1000000 0 472.17/472.39 c 100 285 269.62 55.64 4.85 1000000 0 473.47/473.69 c 83 242 275.25 63.83 4.31 1000000 0 474.77/474.99 c 100 191 275.89 55.05 5.01 1000000 0 476.08/476.29 c 105 262 275.97 58.83 4.69 1000000 0 477.47/477.60 c 106 306 271.74 59.92 4.54 1000000 0 478.67/478.89 c 72 346 261.97 56.65 4.62 1000000 0 479.97/480.19 c 105 270 268.73 53.83 4.99 1000000 0 481.27/481.49 c 84 280 255.70 62.11 4.12 1000000 0 482.57/482.79 c 80 325 267.54 58.23 4.59 1000000 0 483.88/484.09 c 92 303 275.05 54.36 5.06 1000000 0 485.27/485.40 c 110 298 278.11 59.39 4.68 1000000 0 486.47/486.70 c 80 301 263.99 52.86 4.99 1000000 0 487.87/488.00 c 100 264 273.31 50.93 5.37 1000000 0 489.17/489.31 c 97 335 276.98 59.49 4.66 1000000 0 490.48/490.60 c 66 244 267.66 59.10 4.53 1000000 0 491.77/491.91 c 112 352 288.16 56.17 5.13 1000000 0 493.07/493.21 c 99 225 279.64 60.33 4.64 1000000 0 494.37/494.52 c 92 298 275.65 53.50 5.15 1000000 0 495.67/495.82 c 99 290 273.16 55.35 4.93 1000000 0 496.97/497.12 c 99 230 267.70 61.58 4.35 1000000 0 498.27/498.42 c 90 290 275.69 56.26 4.90 1000000 0 499.56/499.72 c 94 242 268.41 60.50 4.44 1000000 0 500.86/501.03 c 104 204 277.05 50.96 5.44 1000000 0 502.16/502.33 c 111 180 276.65 56.81 4.87 1000000 0 503.46/503.63 c 91 327 272.24 49.39 5.51 1000000 0 504.77/504.93 c 73 286 267.04 60.67 4.40 1000000 0 506.06/506.23 c 120 290 275.72 56.00 4.92 1000000 0 507.36/507.53 c 103 250 274.29 50.38 5.44 1000000 0 508.66/508.83 c 143 233 273.30 45.99 5.94 1000000 0 509.96/510.14 c 101 263 282.54 59.45 4.75 1000000 0 511.27/511.44 c 122 239 273.60 56.05 4.88 1000000 0 512.56/512.74 c 83 289 265.70 64.62 4.11 1000000 0 513.86/514.04 c 95 287 264.39 56.86 4.65 1000000 0 515.16/515.34 c 78 152 274.47 56.08 4.89 1000000 0 516.46/516.65 c 106 377 271.92 54.64 4.98 1000000 0 517.76/517.95 c 103 303 269.14 57.65 4.67 1000000 0 519.07/519.25 c 86 257 274.91 54.89 5.01 1000000 0 520.36/520.55 c 85 329 257.33 60.42 4.26 1000000 0 521.66/521.86 c 92 193 274.11 54.81 5.00 1000000 0 522.96/523.16 c 100 267 272.75 55.89 4.88 1000000 0 524.26/524.46 c 111 324 284.75 58.80 4.84 1000000 0 525.56/525.76 c 106 284 268.18 58.47 4.59 1000000 0 526.86/527.06 c 104 241 267.60 54.17 4.94 1000000 0 528.16/528.37 c 72 224 271.31 60.60 4.48 1000000 0 529.46/529.67 c 103 301 268.42 53.95 4.98 1000000 0 530.76/530.97 c 100 280 263.84 55.87 4.72 1000000 0 532.06/532.26 c 44 350 260.72 60.84 4.29 1000000 0 533.36/533.56 c 64 303 279.20 59.54 4.69 1000000 0 534.65/534.87 c 106 276 281.48 62.99 4.47 1000000 0 535.95/536.17 c 122 190 274.71 57.38 4.79 1000000 0 537.26/537.47 c 75 236 265.49 55.59 4.78 1000000 0 538.56/538.77 c 87 280 279.43 58.75 4.76 1000000 0 539.86/540.08 c 82 272 281.84 60.18 4.68 1000000 0 541.15/541.38 c 73 387 271.68 60.08 4.52 1000000 0 542.45/542.68 c 55 238 270.19 63.88 4.23 1000000 0 543.75/543.98 c 116 256 273.23 49.75 5.49 1000000 0 545.05/545.29 c 103 232 275.99 56.58 4.88 1000000 0 546.35/546.59 c 103 278 272.73 56.11 4.86 1000000 0 547.66/547.89 c 83 253 261.58 59.38 4.41 1000000 0 548.95/549.19 c 94 238 268.67 58.52 4.59 1000000 0 550.25/550.49 c 103 270 268.86 57.14 4.71 1000000 0 551.55/551.79 c 85 258 266.09 56.75 4.69 1000000 0 552.85/553.09 c 109 288 273.53 55.53 4.93 1000000 0 554.16/554.39 c 103 197 274.68 58.18 4.72 1000000 0 555.55/555.70 c 84 290 271.49 62.47 4.35 1000000 0 556.85/557.00 c 104 306 268.40 57.62 4.66 1000000 0 558.15/558.30 c 76 318 275.66 54.14 5.09 1000000 0 559.45/559.60 c 98 287 267.20 60.67 4.40 1000000 0 560.75/560.90 c 118 299 272.76 54.75 4.98 1000000 0 562.05/562.20 c 115 245 273.85 55.01 4.98 1000000 0 563.35/563.50 c 91 262 261.84 57.59 4.55 1000000 0 564.65/564.80 c 116 320 269.54 56.64 4.76 1000000 0 565.94/566.10 c 95 192 255.18 54.80 4.66 1000000 0 567.24/567.40 c 85 273 268.63 58.08 4.63 1000000 0 568.45/568.70 c 91 359 272.30 53.54 5.09 1000000 0 569.84/570.00 c 113 225 272.54 58.64 4.65 1000000 0 571.14/571.31 c 98 258 281.64 57.27 4.92 1000000 0 572.44/572.61 c 98 294 265.51 55.92 4.75 1000000 0 573.74/573.91 c 106 313 291.11 55.50 5.24 1000000 0 575.05/575.21 c 90 324 258.18 53.69 4.81 1000000 0 576.34/576.51 c 103 322 274.77 53.59 5.13 1000000 0 577.64/577.81 c 93 254 266.21 58.56 4.55 1000000 0 578.94/579.11 c 87 219 264.79 56.80 4.66 1000000 0 580.24/580.41 c 54 243 263.22 59.49 4.42 1000000 0 581.54/581.71 c 66 209 268.88 56.16 4.79 1000000 0 582.85/583.01 c 108 255 267.32 56.25 4.75 1000000 0 584.14/584.31 c 111 239 284.97 57.08 4.99 1000000 0 585.44/585.61 c 76 358 271.51 61.05 4.45 1000000 0 586.74/586.91 c 64 292 264.49 55.70 4.75 1000000 0 588.04/588.20 c 87 231 262.19 53.92 4.86 1000000 0 589.35/589.50 c 102 243 275.63 54.72 5.04 1000000 0 590.64/590.80 c 86 251 266.32 58.99 4.51 1000000 0 591.94/592.10 c 72 313 264.68 60.05 4.41 1000000 0 593.24/593.40 c 75 217 271.01 63.12 4.29 1000000 0 594.53/594.71 c 106 365 276.77 59.57 4.65 1000000 0 595.83/596.01 c 103 224 266.63 58.20 4.58 1000000 0 597.14/597.31 c 117 273 275.28 54.63 5.04 1000000 0 598.44/598.60 c 90 277 261.48 56.02 4.67 1000000 0 599.73/599.90 c 66 206 267.63 52.40 5.11 1000000 0 601.03/601.21 c 121 310 274.92 62.70 4.38 1000000 0 602.33/602.50 c 93 217 261.83 57.61 4.54 1000000 0 603.64/603.80 c 89 249 267.31 59.54 4.49 1000000 0 604.93/605.11 c 111 227 279.51 64.37 4.34 1000000 0 606.23/606.40 c 81 250 261.36 58.15 4.49 1000000 0 607.53/607.70 c 102 235 268.82 65.45 4.11 1000000 0 608.83/609.01 c 89 254 273.46 61.17 4.47 1000000 0 610.13/610.31 c 51 245 278.15 67.73 4.11 1000000 0 611.44/611.61 c 33 173 272.36 59.25 4.60 1000000 0 612.73/612.91 c 95 191 258.33 54.23 4.76 1000000 0 614.03/614.21 c 112 237 271.77 59.63 4.56 1000000 0 615.33/615.51 c 59 374 259.08 56.06 4.62 1000000 0 616.63/616.81 c 108 288 274.96 56.54 4.86 1000000 0 617.94/618.11 c 91 314 268.78 53.50 5.02 1000000 0 619.23/619.41 c 109 335 286.32 56.96 5.03 1000000 0 620.53/620.72 c 122 301 278.55 54.49 5.11 1000000 0 621.83/622.02 c 77 265 275.82 55.26 4.99 1000000 0 623.13/623.32 c 57 286 261.75 60.22 4.35 1000000 0 624.43/624.62 c 100 300 259.07 48.99 5.29 1000000 0 625.73/625.92 c 88 189 269.91 61.54 4.39 1000000 0 627.03/627.22 c 108 244 271.65 55.84 4.86 1000000 0 628.33/628.52 c 107 257 268.70 59.04 4.55 1000000 0 629.63/629.81 c 104 209 265.73 58.70 4.53 1000000 0 630.93/631.12 c 118 333 283.59 58.39 4.86 1000000 0 632.23/632.42 c 100 354 267.91 62.51 4.29 1000000 0 633.52/633.72 c 67 310 270.63 58.52 4.62 1000000 0 634.82/635.02 c 71 302 264.71 61.19 4.33 1000000 0 636.12/636.32 c 78 380 273.84 65.09 4.21 1000000 0 637.42/637.62 c 77 303 269.79 59.79 4.51 1000000 0 638.72/638.92 c 98 227 257.42 50.20 5.13 1000000 0 640.03/640.22 c 81 232 263.23 60.72 4.33 1000000 0 641.32/641.52 c 89 191 267.43 56.25 4.75 1000000 0 642.62/642.82 c 88 242 264.88 53.64 4.94 1000000 0 643.92/644.12 c 118 212 267.49 54.55 4.90 1000000 0 645.22/645.42 c 65 236 266.43 56.52 4.71 1000000 0 646.53/646.72 c 77 190 265.79 64.74 4.11 1000000 0 647.82/648.02 c 87 278 263.62 55.74 4.73 1000000 0 649.12/649.31 c 86 271 261.50 59.86 4.37 1000000 0 650.43/650.62 c 103 240 274.40 56.39 4.87 1000000 0 651.73/651.92 c 106 288 276.30 60.05 4.60 1000000 0 653.03/653.22 c 107 334 270.90 55.80 4.86 1000000 0 654.33/654.53 c 85 253 276.89 57.69 4.80 1000000 0 655.63/655.82 c 96 263 265.65 64.07 4.15 1000000 0 656.93/657.13 c 108 350 279.57 54.28 5.15 1000000 0 658.23/658.43 c 99 320 267.52 58.26 4.59 1000000 0 659.52/659.73 c 92 338 270.61 55.14 4.91 1000000 0 660.83/661.04 c 118 346 287.00 54.18 5.30 1000000 0 662.12/662.33 c 50 328 245.05 63.75 3.84 1000000 0 663.42/663.64 c 84 286 266.79 61.36 4.35 1000000 0 664.72/664.94 c 96 299 264.89 61.71 4.29 1000000 0 666.02/666.24 c 69 210 272.54 59.47 4.58 1000000 0 667.32/667.54 c 68 309 262.65 53.50 4.91 1000000 0 668.63/668.84 c 86 250 269.85 59.64 4.52 1000000 0 669.92/670.14 c 118 317 266.84 61.32 4.35 1000000 0 671.22/671.44 c 112 218 270.70 57.47 4.71 1000000 0 672.52/672.74 c 107 341 270.00 57.76 4.67 1000000 0 673.82/674.04 c 117 352 268.42 56.26 4.77 1000000 0 675.13/675.34 c 45 337 265.43 56.49 4.70 1000000 0 676.42/676.65 c 131 268 277.79 59.12 4.70 1000000 0 677.72/677.95 c 113 165 283.39 56.43 5.02 1000000 0 679.02/679.25 c 73 292 255.96 55.60 4.60 1000000 0 680.32/680.55 c 85 338 269.03 55.08 4.88 1000000 0 681.62/681.86 c 59 252 268.55 54.43 4.93 1000000 0 682.93/683.16 c 133 190 278.36 53.13 5.24 1000000 0 684.22/684.46 c 107 208 265.95 56.29 4.73 1000000 0 685.52/685.76 c 72 319 273.43 54.17 5.05 1000000 0 686.82/687.06 c 98 200 271.15 68.25 3.97 1000000 0 688.12/688.37 c 104 321 283.99 57.94 4.90 1000000 0 689.42/689.67 c 76 228 275.28 52.36 5.26 1000000 0 690.72/690.97 c 113 222 270.41 53.34 5.07 1000000 0 692.02/692.27 c 92 245 280.51 57.34 4.89 1000000 0 693.31/693.58 c 82 253 271.62 56.41 4.82 1000000 0 694.61/694.88 c 70 298 274.93 60.71 4.53 1000000 0 695.91/696.19 c 98 236 281.94 65.59 4.30 1000000 0 697.22/697.49 c 98 348 265.44 64.54 4.11 1000000 0 698.51/698.79 c 118 304 276.12 52.25 5.28 1000000 0 699.81/700.09 c 60 277 275.87 61.69 4.47 1000000 0 701.11/701.39 c 115 191 269.95 56.87 4.75 1000000 0 702.41/702.69 c 62 341 268.01 57.70 4.65 1000000 0 703.72/703.99 c 113 182 273.09 57.15 4.78 1000000 0 705.01/705.29 c 101 215 271.98 56.88 4.78 1000000 0 706.41/706.60 c 57 240 271.92 59.72 4.55 1000000 0 707.71/707.90 c 86 254 273.17 58.24 4.69 1000000 0 708.91/709.19 c 84 257 260.69 56.90 4.58 1000000 0 710.32/710.50 c 65 212 269.02 56.55 4.76 1000000 0 711.61/711.80 c 94 242 272.61 61.22 4.45 1000000 0 712.91/713.10 c 98 286 281.47 57.52 4.89 1000000 0 714.21/714.40 c 102 238 271.96 57.97 4.69 1000000 0 715.51/715.70 c 95 295 269.03 60.96 4.41 1000000 0 716.81/717.00 c 103 292 269.79 58.16 4.64 1000000 0 718.12/718.30 c 83 198 269.51 60.57 4.45 1000000 0 719.41/719.61 c 109 351 278.00 60.06 4.63 1000000 0 720.71/720.91 c 94 329 278.46 57.10 4.88 1000000 0 722.01/722.21 c 85 144 258.70 55.21 4.69 1000000 0 723.31/723.51 c 91 293 267.24 56.09 4.76 1000000 0 724.61/724.81 c 83 320 272.19 52.98 5.14 1000000 0 725.91/726.11 c 90 317 259.36 54.86 4.73 1000000 0 727.21/727.42 c 84 299 279.13 51.28 5.44 1000000 0 728.50/728.72 c 100 317 272.20 52.20 5.21 1000000 0 729.80/730.02 c 66 236 275.88 58.46 4.72 1000000 0 731.10/731.32 c 90 325 264.98 60.22 4.40 1000000 0 732.41/732.62 c 97 221 273.80 64.39 4.25 1000000 0 733.70/733.93 c 99 251 278.59 58.43 4.77 1000000 0 735.00/735.23 c 75 301 270.88 57.13 4.74 1000000 0 736.30/736.53 c 103 330 267.52 59.45 4.50 1000000 0 737.60/737.83 c 65 370 283.06 59.06 4.79 1000000 0 738.91/739.13 c 102 258 275.25 61.21 4.50 1000000 0 740.20/740.44 c 115 260 273.38 56.76 4.82 1000000 0 741.50/741.74 c 103 302 274.22 52.20 5.25 1000000 0 742.80/743.04 c 57 264 271.67 58.24 4.66 1000000 0 744.10/744.34 c 95 267 274.86 61.27 4.49 1000000 0 745.40/745.64 c 102 225 272.82 59.39 4.59 1000000 0 746.71/746.95 c 122 325 282.44 58.03 4.87 1000000 0 748.00/748.26 c 106 232 269.76 57.19 4.72 1000000 0 749.30/749.56 c 114 281 269.59 56.05 4.81 1000000 0 750.60/750.86 c 129 171 276.05 54.48 5.07 1000000 0 751.90/752.16 c 68 344 268.52 59.00 4.55 1000000 0 753.20/753.46 c 111 243 270.89 59.39 4.56 1000000 0 754.50/754.76 c 105 265 269.39 55.83 4.83 1000000 0 755.80/756.06 c 82 200 271.23 62.07 4.37 1000000 0 757.10/757.36 c 79 224 268.45 57.93 4.63 1000000 0 758.40/758.67 c 98 223 285.70 55.53 5.15 1000000 0 759.70/759.97 c 98 249 271.43 51.75 5.25 1000000 0 761.00/761.27 c 103 292 277.75 56.27 4.94 1000000 0 762.29/762.58 c 96 280 277.62 56.01 4.96 1000000 0 763.59/763.88 c 103 256 274.72 53.99 5.09 1000000 0 764.89/765.18 c 67 321 272.62 60.92 4.48 1000000 0 766.19/766.48 c 120 340 272.90 61.02 4.47 1000000 0 767.50/767.78 c 112 290 270.04 50.08 5.39 1000000 0 768.79/769.08 c 108 256 280.76 55.97 5.02 1000000 0 770.09/770.39 c 126 351 274.52 60.08 4.57 1000000 0 771.39/771.68 c 88 249 264.26 55.50 4.76 1000000 0 772.69/772.99 c 86 313 282.02 61.39 4.59 1000000 0 773.99/774.29 c 79 242 270.06 60.17 4.49 1000000 0 775.30/775.59 c 97 280 257.58 56.70 4.54 1000000 0 776.59/776.89 c 93 346 269.27 61.00 4.41 1000000 0 777.89/778.19 c 106 296 270.82 55.98 4.84 1000000 0 779.19/779.49 c 89 276 263.41 53.45 4.93 1000000 0 780.49/780.79 c 97 392 266.16 58.10 4.58 1000000 0 781.80/782.09 c 98 309 265.93 54.13 4.91 1000000 0 783.09/783.39 c 32 209 260.76 64.94 4.02 1000000 0 784.39/784.69 c 113 314 268.21 56.58 4.74 1000000 0 785.69/785.99 c 66 241 266.31 59.17 4.50 1000000 0 786.99/787.29 c 103 183 260.90 60.20 4.33 1000000 0 788.28/788.59 c 110 307 271.46 59.85 4.54 1000000 0 789.59/789.89 c 75 273 272.05 55.64 4.89 1000000 0 790.88/791.19 c 90 285 267.94 56.15 4.77 1000000 0 792.18/792.49 c 110 294 272.49 52.59 5.18 1000000 0 793.48/793.79 c 90 283 272.74 61.66 4.42 1000000 0 794.78/795.09 c 96 263 260.67 59.30 4.40 1000000 0 796.09/796.39 c 114 190 276.17 55.55 4.97 1000000 0 797.38/797.69 c 102 297 267.61 55.28 4.84 1000000 0 798.68/798.99 c 79 279 271.52 61.96 4.38 1000000 0 799.98/800.29 c 110 305 271.34 56.13 4.83 1000000 0 801.39/801.60 c 114 302 277.16 54.22 5.11 1000000 0 802.69/802.90 c 96 213 274.12 58.14 4.71 1000000 0 803.99/804.20 c 104 237 261.26 54.65 4.78 1000000 0 805.29/805.50 c 84 264 272.17 60.55 4.49 1000000 0 806.59/806.80 c 101 205 277.98 65.31 4.26 1000000 0 807.89/808.11 c 64 377 269.47 56.70 4.75 1000000 0 809.18/809.41 c 86 260 257.98 64.18 4.02 1000000 0 810.39/810.70 c 84 270 262.93 64.46 4.08 1000000 0 811.79/812.00 c 96 303 255.12 57.05 4.47 1000000 0 813.08/813.30 c 110 350 271.23 61.24 4.43 1000000 0 814.38/814.60 c 107 221 274.20 55.76 4.92 1000000 0 815.68/815.91 c 115 299 273.95 60.10 4.56 1000000 0 816.99/817.21 c 78 341 268.75 63.88 4.21 1000000 0 818.28/818.51 c 99 217 268.69 56.90 4.72 1000000 0 819.58/819.81 c 97 283 277.39 62.74 4.42 1000000 0 820.88/821.11 c 87 233 262.81 53.19 4.94 1000000 0 822.18/822.41 c 125 172 269.32 52.84 5.10 1000000 0 823.48/823.70 c 23 280 258.52 65.20 3.96 1000000 0 824.79/825.01 c 119 249 266.11 59.68 4.46 1000000 0 826.08/826.30 c 54 255 261.30 59.63 4.38 1000000 0 827.38/827.60 c 93 304 270.19 54.67 4.94 1000000 0 828.68/828.91 c 81 261 271.77 59.18 4.59 1000000 0 829.98/830.21 c 83 331 256.66 59.64 4.30 1000000 0 831.28/831.50 c 99 248 262.76 62.41 4.21 1000000 0 832.58/832.80 c 79 291 270.18 59.04 4.58 1000000 0 833.88/834.11 c 114 218 277.72 57.82 4.80 1000000 0 835.18/835.41 c 90 262 266.95 57.50 4.64 1000000 0 836.48/836.71 c 66 265 269.79 60.08 4.49 1000000 0 837.78/838.01 c 55 260 261.08 61.80 4.22 1000000 0 839.08/839.31 c 101 270 277.90 61.84 4.49 1000000 0 840.38/840.61 c 119 360 271.83 52.09 5.22 1000000 0 841.68/841.91 c 107 172 272.89 55.74 4.90 1000000 0 842.97/843.21 c 93 232 272.88 58.91 4.63 1000000 0 844.27/844.51 c 89 255 267.85 55.81 4.80 1000000 0 845.58/845.81 c 76 234 264.34 54.28 4.87 1000000 0 846.88/847.11 c 99 286 269.12 61.04 4.41 1000000 0 848.17/848.41 c 89 208 268.67 59.78 4.49 1000000 0 849.47/849.72 c 99 235 275.12 60.76 4.53 1000000 0 850.77/851.02 c 105 244 268.90 60.64 4.43 1000000 0 852.07/852.32 c 75 271 270.04 62.53 4.32 1000000 0 853.38/853.62 c 93 286 274.03 59.36 4.62 1000000 0 854.67/854.92 c 114 255 271.92 54.53 4.99 1000000 0 855.97/856.22 c 103 273 263.98 60.22 4.38 1000000 0 857.27/857.52 c 96 222 272.22 55.21 4.93 1000000 0 858.57/858.83 c 71 262 271.12 64.32 4.22 1000000 0 859.88/860.13 c 97 293 270.32 62.08 4.35 1000000 0 861.17/861.43 c 87 258 273.68 61.61 4.44 1000000 0 862.47/862.73 c 117 256 263.75 50.75 5.20 1000000 0 863.77/864.02 c 81 256 258.30 49.83 5.18 1000000 0 865.07/865.33 c 40 208 269.63 66.31 4.07 1000000 0 866.37/866.62 c 77 199 258.81 58.22 4.45 1000000 0 867.68/867.93 c 102 216 272.17 58.86 4.62 1000000 0 868.97/869.23 c 87 210 272.08 56.97 4.78 1000000 0 870.27/870.52 c 96 384 263.47 54.76 4.81 1000000 0 871.57/871.83 c 100 226 276.15 66.42 4.16 1000000 0 872.87/873.13 c 108 283 267.01 55.32 4.83 1000000 0 874.17/874.43 c 113 352 278.64 54.90 5.08 1000000 0 875.46/875.73 c 83 259 269.00 52.41 5.13 1000000 0 876.76/877.03 c 96 231 259.19 55.09 4.70 1000000 0 878.06/878.34 c 79 304 271.10 60.19 4.50 1000000 0 879.36/879.64 c 80 252 274.95 59.26 4.64 1000000 0 880.67/880.94 c 93 177 274.59 59.89 4.58 1000000 0 881.97/882.24 c 93 234 263.22 59.88 4.40 1000000 0 883.26/883.54 c 111 242 278.99 56.45 4.94 1000000 0 884.56/884.85 c 107 289 266.54 60.91 4.38 1000000 0 885.86/886.14 c 112 313 262.83 55.14 4.77 1000000 0 887.16/887.44 c 68 333 254.95 63.59 4.01 1000000 0 888.47/888.74 c 75 292 261.49 53.96 4.85 1000000 0 889.76/890.04 c 96 267 271.11 60.80 4.46 1000000 0 891.06/891.34 c 100 233 272.01 53.08 5.12 1000000 0 892.36/892.64 c 93 277 274.06 61.27 4.47 1000000 0 893.66/893.94 c 103 239 271.16 58.75 4.62 1000000 0 894.96/895.24 c 90 245 269.76 61.60 4.38 1000000 0 896.27/896.55 c 76 219 275.24 58.37 4.72 1000000 0 897.56/897.85 c 121 284 274.88 54.91 5.01 1000000 0 898.86/899.15 c 99 268 273.17 55.37 4.93 1000000 0 900.16/900.45 c 118 182 269.39 57.24 4.71 1000000 0 901.45/901.75 c 106 260 270.83 59.00 4.59 1000000 0 902.76/903.06 c 119 256 282.22 64.13 4.40 1000000 0 904.05/904.36 c 103 123 273.82 59.58 4.60 1000000 0 905.35/905.66 c 120 297 276.38 50.39 5.48 1000000 0 906.65/906.96 c 98 279 269.33 54.21 4.97 1000000 0 907.95/908.26 c 96 297 277.34 58.40 4.75 1000000 0 909.25/909.56 c 80 378 261.84 58.70 4.46 1000000 0 910.56/910.86 c 106 322 263.45 53.05 4.97 1000000 0 911.85/912.15 c 98 279 259.85 57.04 4.56 1000000 0 913.15/913.46 c 75 322 282.64 64.52 4.38 1000000 0 914.45/914.76 c 64 247 263.37 62.14 4.24 1000000 0 915.75/916.06 c 103 325 263.34 53.18 4.95 1000000 0 917.06/917.36 c 108 311 277.47 55.52 5.00 1000000 0 918.35/918.66 c 103 277 266.27 58.23 4.57 1000000 0 919.66/919.97 c 117 235 282.70 60.33 4.69 1000000 0 920.96/921.27 c 104 284 275.08 56.79 4.84 1000000 0 922.26/922.57 c 69 329 274.62 58.91 4.66 1000000 0 923.56/923.87 c 106 300 268.64 63.50 4.23 1000000 0 924.86/925.17 c 79 358 274.53 58.40 4.70 1000000 0 926.16/926.47 c 84 241 264.10 58.62 4.51 1000000 0 927.46/927.77 c 124 306 280.74 51.60 5.44 1000000 0 928.75/929.07 c 106 256 264.87 53.20 4.98 1000000 0 930.05/930.37 c 70 280 271.74 57.16 4.75 1000000 0 931.36/931.67 c 96 279 256.75 55.66 4.61 1000000 0 932.65/932.97 c 85 332 268.94 55.51 4.85 1000000 0 933.95/934.27 c 92 333 271.13 59.23 4.58 1000000 0 935.25/935.57 c 61 216 261.88 58.47 4.48 1000000 0 936.55/936.87 c 89 248 268.81 58.68 4.58 1000000 0 937.85/938.17 c 61 240 258.10 56.91 4.54 1000000 0 939.16/939.47 c 76 237 265.89 60.73 4.38 1000000 0 940.45/940.77 c 102 166 271.41 63.30 4.29 1000000 0 941.75/942.07 c 56 203 259.90 69.88 3.72 1000000 0 943.05/943.37 c 109 229 269.77 63.60 4.24 1000000 0 944.35/944.67 c 54 217 259.92 57.70 4.51 1000000 0 945.66/945.97 c 104 227 272.51 57.31 4.75 1000000 0 946.95/947.27 c 122 234 270.68 64.58 4.19 1000000 0 948.25/948.57 c 58 253 263.21 59.30 4.44 1000000 0 949.55/949.87 c 100 282 273.29 56.76 4.81 1000000 0 950.85/951.17 c 132 278 278.94 57.61 4.84 1000000 0 952.15/952.48 c 102 302 284.60 59.51 4.78 1000000 0 953.46/953.78 c 109 342 274.59 52.58 5.22 1000000 0 954.75/955.08 c 82 236 259.85 60.00 4.33 1000000 0 956.05/956.38 c 88 286 265.89 54.49 4.88 1000000 0 957.35/957.68 c 104 404 269.12 63.62 4.23 1000000 0 958.65/958.98 c 98 238 267.86 61.05 4.39 1000000 0 959.95/960.28 c 48 368 263.70 54.93 4.80 1000000 0 961.24/961.58 c 110 331 275.41 57.56 4.78 1000000 0 962.54/962.89 c 124 193 286.40 56.72 5.05 1000000 0 963.84/964.19 c 119 280 271.74 59.44 4.57 1000000 0 965.14/965.49 c 95 257 260.35 60.30 4.32 1000000 0 966.45/966.79 c 73 280 266.20 53.07 5.02 1000000 0 967.75/968.09 c 102 249 275.54 68.95 4.00 1000000 0 969.04/969.39 c 94 327 272.44 54.54 5.00 1000000 0 970.34/970.69 c 87 232 262.69 61.94 4.24 1000000 0 971.64/971.99 c 114 237 266.22 52.59 5.06 1000000 0 972.94/973.29 c 73 242 277.14 58.58 4.73 1000000 0 974.25/974.60 c 128 309 281.58 55.38 5.08 1000000 0 975.64/975.90 c 101 182 267.59 56.33 4.75 1000000 0 976.94/977.20 c 114 355 283.42 57.03 4.97 1000000 0 978.24/978.50 c 114 239 265.66 55.44 4.79 1000000 0 979.54/979.80 c 106 300 265.60 59.69 4.45 1000000 0 980.85/981.11 c 85 233 276.73 56.27 4.92 1000000 0 982.14/982.41 c 43 227 265.40 60.38 4.40 1000000 0 983.44/983.71 c 63 297 272.30 63.27 4.30 1000000 0 984.74/985.01 c 119 176 284.05 54.93 5.17 1000000 0 986.04/986.31 c 81 336 268.93 63.63 4.23 1000000 0 987.34/987.61 c 64 266 263.25 58.80 4.48 1000000 0 988.64/988.91 c 72 294 277.12 56.46 4.91 1000000 0 989.94/990.21 c 91 241 274.20 58.01 4.73 1000000 0 991.24/991.51 c 94 229 263.02 52.69 4.99 1000000 0 992.54/992.80 c 85 259 266.12 63.72 4.18 1000000 0 993.83/994.11 c 100 317 275.97 56.50 4.88 1000000 0 995.14/995.41 c 105 240 270.56 56.93 4.75 1000000 0 996.43/996.71 c 125 333 276.66 51.48 5.37 1000000 0 997.73/998.01 c 73 216 254.00 53.70 4.73 1000000 0 999.03/999.31 c 95 289 266.18 57.11 4.66 1000000 0 1000.33/1000.61 c 99 376 272.60 52.14 5.23 1000000 0 1001.63/1001.91 c 109 278 274.51 57.39 4.78 1000000 0 1002.94/1003.21 c 98 269 261.71 59.52 4.40 1000000 0 1004.23/1004.51 c 48 124 261.84 60.79 4.31 1000000 0 1005.53/1005.81 c 79 316 273.21 58.44 4.68 1000000 0 1006.83/1007.11 c 110 305 271.74 54.78 4.96 1000000 0 1008.13/1008.41 c 109 250 275.83 61.74 4.47 1000000 0 1009.44/1009.71 c 107 237 270.76 56.72 4.77 1000000 0 1010.73/1011.02 c 107 229 276.50 54.07 5.11 1000000 0 1012.03/1012.32 c 123 249 276.81 53.64 5.16 1000000 0 1013.33/1013.62 c 108 297 276.06 56.57 4.88 1000000 0 1014.63/1014.92 c 75 239 272.65 64.21 4.25 1000000 0 1015.93/1016.22 c 97 246 272.28 59.05 4.61 1000000 0 1017.23/1017.52 c 93 287 277.61 55.03 5.04 1000000 0 1018.53/1018.82 c 105 218 272.37 55.40 4.92 1000000 0 1019.82/1020.13 c 92 264 272.77 60.02 4.54 1000000 0 1021.12/1021.43 c 118 171 274.62 52.41 5.24 1000000 0 1022.43/1022.73 c 95 345 266.13 62.40 4.26 1000000 0 1023.73/1024.03 c 98 287 273.47 56.05 4.88 1000000 0 1025.03/1025.33 c 86 241 266.29 53.76 4.95 1000000 0 1026.33/1026.63 c 105 251 269.56 55.86 4.83 1000000 0 1027.62/1027.93 c 92 301 274.88 53.40 5.15 1000000 0 1028.92/1029.23 c 89 351 270.48 58.04 4.66 1000000 0 1030.22/1030.53 c 121 281 276.56 56.62 4.88 1000000 0 1031.53/1031.83 c 103 350 268.11 58.10 4.61 1000000 0 1032.82/1033.13 c 79 227 270.30 55.60 4.86 1000000 0 1034.12/1034.43 c 110 257 271.05 61.59 4.40 1000000 0 1035.42/1035.73 c 92 269 266.62 51.49 5.18 1000000 0 1036.72/1037.03 c 97 266 276.49 58.76 4.71 1000000 0 1038.03/1038.34 c 83 321 275.18 64.79 4.25 1000000 0 1039.32/1039.64 c 103 325 273.29 54.88 4.98 1000000 0 1040.62/1040.94 c 86 236 263.75 58.46 4.51 1000000 0 1041.92/1042.23 c 69 303 265.37 65.18 4.07 1000000 0 1043.22/1043.53 c 52 360 276.39 60.84 4.54 1000000 0 1044.52/1044.84 c 83 238 274.34 58.77 4.67 1000000 0 1045.83/1046.14 c 107 272 269.58 54.09 4.98 1000000 0 1047.12/1047.44 c 110 304 286.32 57.86 4.95 1000000 0 1048.42/1048.75 c 100 219 274.87 57.70 4.76 1000000 0 1049.72/1050.05 c 88 235 274.95 55.31 4.97 1000000 0 1051.02/1051.35 c 49 236 272.28 60.15 4.53 1000000 0 1052.32/1052.65 c 108 218 267.80 52.96 5.06 1000000 0 1053.61/1053.95 c 98 183 272.90 61.75 4.42 1000000 0 1054.91/1055.26 c 126 210 275.24 56.04 4.91 1000000 0 1056.21/1056.56 c 98 246 266.88 57.85 4.61 1000000 0 1057.51/1057.86 c 60 254 265.31 56.76 4.67 1000000 0 1058.81/1059.16 c 88 282 271.28 57.41 4.73 1000000 0 1060.12/1060.46 c 105 277 266.27 53.93 4.94 1000000 0 1061.41/1061.77 c 91 287 277.13 64.07 4.33 1000000 0 1062.71/1063.07 c 90 276 273.31 60.42 4.52 1000000 0 1064.01/1064.37 c 92 206 272.14 58.08 4.69 1000000 0 1065.31/1065.67 c 106 276 269.07 61.62 4.37 1000000 0 1066.62/1066.98 c 113 283 279.98 55.32 5.06 1000000 0 1067.91/1068.28 c 97 214 265.85 62.95 4.22 1000000 0 1069.21/1069.58 c 113 319 278.75 57.07 4.88 1000000 0 1070.51/1070.88 c 79 296 270.99 53.88 5.03 1000000 0 1071.81/1072.18 c 102 279 270.16 51.87 5.21 1000000 0 1073.11/1073.49 c 87 328 279.52 59.12 4.73 1000000 0 1074.42/1074.79 c 112 248 264.66 50.99 5.19 1000000 0 1075.71/1076.09 c 111 312 280.32 61.61 4.55 1000000 0 1077.01/1077.39 c 93 274 273.10 55.70 4.90 1000000 0 1078.31/1078.69 c 125 167 275.06 56.11 4.90 1000000 0 1079.61/1079.99 c 71 242 268.34 58.97 4.55 1000000 0 1080.91/1081.29 c 94 247 283.99 57.96 4.90 1000000 0 1082.31/1082.60 c 128 320 278.62 55.83 4.99 1000000 0 1083.61/1083.90 c 38 226 278.45 58.83 4.73 1000000 0 1084.91/1085.20 c 106 174 273.84 53.22 5.15 1000000 0 1086.21/1086.51 c 81 270 271.78 62.90 4.32 1000000 0 1087.51/1087.81 c 79 249 265.76 55.39 4.80 1000000 0 1088.81/1089.10 c 66 232 262.27 55.41 4.73 1000000 0 1090.11/1090.41 c 107 215 273.40 67.04 4.08 1000000 0 1091.41/1091.70 c 94 347 265.56 54.47 4.88 1000000 0 1092.70/1093.01 c 113 343 275.30 52.58 5.24 1000000 0 1094.01/1094.31 c 72 326 267.55 63.97 4.18 1000000 0 1095.31/1095.61 c 100 226 266.00 57.22 4.65 1000000 0 1096.60/1096.91 c 89 288 276.43 61.98 4.46 1000000 0 1097.90/1098.21 c 107 246 266.51 54.75 4.87 1000000 0 1099.20/1099.51 c 117 231 268.27 53.46 5.02 1000000 0 1100.50/1100.81 c 94 283 264.54 60.81 4.35 1000000 0 1101.81/1102.11 c 100 169 266.34 57.05 4.67 1000000 0 1103.10/1103.41 c 114 274 277.66 57.91 4.79 1000000 0 1104.40/1104.71 c 94 242 278.46 55.94 4.98 1000000 0 1105.70/1106.02 c 95 158 265.63 55.57 4.78 1000000 0 1107.00/1107.32 c 82 213 282.42 56.70 4.98 1000000 0 1108.30/1108.62 c 128 214 274.83 56.85 4.83 1000000 0 1109.61/1109.92 c 60 274 269.52 58.82 4.58 1000000 0 1110.90/1111.22 c 67 246 267.52 59.68 4.48 1000000 0 1112.20/1112.53 c 121 207 274.80 53.95 5.09 1000000 0 1113.50/1113.83 c 75 265 280.66 71.26 3.94 1000000 0 1114.80/1115.13 c 109 188 269.76 55.13 4.89 1000000 0 1116.11/1116.44 c 112 291 279.85 55.86 5.01 1000000 0 1117.41/1117.74 c 102 269 279.06 51.66 5.40 1000000 0 1118.71/1119.04 c 81 261 272.18 59.41 4.58 1000000 0 1120.01/1120.34 c 113 193 269.84 54.56 4.95 1000000 0 1121.31/1121.64 c 81 314 272.01 57.34 4.74 1000000 0 1122.61/1122.95 c 108 223 276.58 58.55 4.72 1000000 0 1123.91/1124.25 c 107 221 276.58 56.96 4.86 1000000 0 1125.20/1125.55 c 70 272 269.40 56.08 4.80 1000000 0 1126.50/1126.86 c 88 238 270.94 61.76 4.39 1000000 0 1127.80/1128.16 c 40 265 270.87 58.28 4.65 1000000 0 1129.11/1129.46 c 138 260 281.85 53.46 5.27 1000000 0 1130.41/1130.76 c 120 279 271.58 60.29 4.50 1000000 0 1131.70/1132.07 c 124 237 288.29 53.35 5.40 1000000 0 1133.00/1133.37 c 90 260 265.09 56.09 4.73 1000000 0 1134.30/1134.67 c 99 336 269.74 57.49 4.69 1000000 0 1135.60/1135.97 c 93 221 264.38 57.92 4.56 1000000 0 1136.90/1137.27 c 87 327 283.70 64.24 4.42 1000000 0 1138.21/1138.57 c 90 291 262.23 56.57 4.64 1000000 0 1139.50/1139.87 c 110 295 275.69 50.80 5.43 1000000 0 1140.80/1141.17 c 76 225 258.33 64.90 3.98 1000000 0 1142.10/1142.47 c 100 299 271.21 55.44 4.89 1000000 0 1143.40/1143.77 c 111 289 262.37 60.01 4.37 1000000 0 1144.71/1145.07 c 74 220 268.07 61.27 4.38 1000000 0 1146.00/1146.37 c 92 363 267.73 57.72 4.64 1000000 0 1147.30/1147.68 c 112 359 279.40 57.63 4.85 1000000 0 1148.60/1148.97 c 105 224 272.34 54.18 5.03 1000000 0 1149.90/1150.27 c 105 195 267.62 55.90 4.79 1000000 0 1151.20/1151.57 c 84 270 265.83 64.10 4.15 1000000 0 1152.51/1152.88 c 98 223 274.65 58.14 4.72 1000000 0 1153.80/1154.18 c 48 197 262.57 62.32 4.21 1000000 0 1155.10/1155.47 c 107 260 269.29 52.17 5.16 1000000 0 1156.40/1156.78 c 77 385 276.66 56.90 4.86 1000000 0 1157.70/1158.08 c 64 359 268.41 56.60 4.74 1000000 0 1159.00/1159.38 c 103 308 271.13 51.09 5.31 1000000 0 1160.30/1160.68 c 95 327 278.65 58.04 4.80 1000000 0 1161.60/1161.99 c 97 256 284.82 60.80 4.68 1000000 0 1162.90/1163.29 c 95 251 276.36 60.07 4.60 1000000 0 1164.19/1164.59 c 89 245 271.55 56.67 4.79 1000000 0 1165.49/1165.89 c 87 285 267.35 63.35 4.22 1000000 0 1166.89/1167.20 c 80 270 283.44 58.76 4.82 1000000 0 1168.19/1168.50 c 116 224 269.02 59.24 4.54 1000000 0 1169.49/1169.80 c 82 264 272.60 59.60 4.57 1000000 0 1170.69/1171.10 c 99 241 256.37 52.98 4.84 1000000 0 1172.09/1172.40 c 88 297 272.76 58.25 4.68 1000000 0 1173.30/1173.70 c 103 167 267.46 60.88 4.39 1000000 0 1174.69/1175.00 c 62 303 275.43 61.09 4.51 1000000 0 1175.99/1176.30 c 109 379 263.63 55.48 4.75 1000000 0 1177.29/1177.61 c 86 191 268.76 52.74 5.10 1000000 0 1178.59/1178.90 c 55 271 257.70 52.46 4.91 1000000 0 1179.90/1180.21 c 102 311 261.53 62.12 4.21 1000000 0 1181.19/1181.50 c 70 280 268.94 61.75 4.36 1000000 0 1182.49/1182.80 c 79 297 267.87 60.80 4.41 1000000 0 1183.79/1184.10 c 110 283 270.22 61.03 4.43 1000000 0 1185.08/1185.41 c 126 225 276.88 54.10 5.12 1000000 0 1186.38/1186.71 c 95 258 283.17 59.74 4.74 1000000 0 1187.69/1188.01 c 55 276 268.24 67.90 3.95 1000000 0 1188.98/1189.31 c 101 351 272.13 53.40 5.10 1000000 0 1190.28/1190.61 c 83 265 270.76 55.84 4.85 1000000 0 1191.58/1191.91 c 100 315 265.32 48.55 5.46 1000000 0 1192.88/1193.21 c 99 265 278.10 59.55 4.67 1000000 0 1194.19/1194.51 c 76 325 269.21 58.34 4.61 1000000 0 1195.48/1195.81 c 98 233 270.96 58.27 4.65 1000000 0 1196.78/1197.11 c 120 319 270.76 52.12 5.20 1000000 0 1198.08/1198.41 c 102 295 272.52 54.37 5.01 1000000 0 1199.38/1199.71 c 97 216 272.33 63.47 4.29 1000000 0 1200.68/1201.01 c 87 315 270.43 59.94 4.51 1000000 0 1201.99/1202.31 c 99 276 272.20 54.89 4.96 1000000 0 1203.28/1203.62 c 78 253 270.45 59.97 4.51 1000000 0 1204.58/1204.92 c 94 247 273.13 64.18 4.26 1000000 0 1205.88/1206.22 c 127 259 277.27 52.24 5.31 1000000 0 1207.18/1207.52 c 90 254 275.84 58.33 4.73 1000000 0 1208.48/1208.83 c 115 141 265.11 55.39 4.79 1000000 0 1209.78/1210.13 c 115 309 280.03 57.58 4.86 1000000 0 1211.08/1211.43 c 81 222 274.82 60.06 4.58 1000000 0 1212.38/1212.73 c 102 292 269.21 52.77 5.10 1000000 0 1213.68/1214.04 c 126 307 279.59 57.58 4.86 1000000 0 1214.98/1215.34 c 117 174 272.78 59.90 4.55 1000000 0 1216.28/1216.64 c 102 288 265.84 59.16 4.49 1000000 0 1217.58/1217.93 c 90 175 260.77 58.15 4.48 1000000 0 1218.88/1219.24 c 97 260 272.30 63.66 4.28 1000000 0 1220.18/1220.54 c 96 117 270.40 57.86 4.67 1000000 0 1221.48/1221.84 c 77 321 285.82 63.61 4.49 1000000 0 1222.78/1223.14 c 81 244 265.78 60.45 4.40 1000000 0 1224.07/1224.45 c 122 255 283.97 55.93 5.08 1000000 0 1225.37/1225.75 c 120 296 276.71 54.63 5.06 1000000 0 1226.67/1227.06 c 65 248 272.59 62.30 4.38 1000000 0 1227.97/1228.36 c 102 265 270.23 63.41 4.26 1000000 0 1229.27/1229.66 c 88 334 282.16 60.45 4.67 1000000 0 1230.58/1230.96 c 85 242 260.74 56.10 4.65 1000000 0 1231.87/1232.26 c 100 328 275.54 56.99 4.83 1000000 0 1233.17/1233.56 c 117 173 269.15 60.96 4.42 1000000 0 1234.47/1234.87 c 113 257 278.76 52.44 5.32 1000000 0 1235.77/1236.17 c 142 382 281.06 55.18 5.09 1000000 0 1237.08/1237.47 c 40 217 258.83 58.43 4.43 1000000 0 1238.37/1238.78 c 112 208 282.65 63.22 4.47 1000000 0 1239.67/1240.08 c 86 195 267.52 60.47 4.42 1000000 0 1240.97/1241.38 c 90 334 271.28 57.93 4.68 1000000 0 1242.27/1242.68 c 106 248 263.11 49.96 5.27 1000000 0 1243.57/1243.98 c 90 290 276.43 61.97 4.46 1000000 0 1244.88/1245.29 c 80 235 270.77 64.23 4.22 1000000 0 1246.17/1246.59 c 95 249 272.69 64.28 4.24 1000000 0 1247.47/1247.89 c 87 255 268.87 59.09 4.55 1000000 0 1248.77/1249.19 c 96 182 265.80 57.00 4.66 1000000 0 1250.07/1250.49 c 120 213 279.55 60.93 4.59 1000000 0 1251.37/1251.80 c 94 268 279.47 56.17 4.98 1000000 0 1252.67/1253.10 c 89 249 266.12 62.04 4.29 1000000 0 1254.07/1254.40 c 127 234 270.36 56.29 4.80 1000000 0 1255.37/1255.70 c 66 273 267.91 55.58 4.82 1000000 0 1256.56/1257.00 c 97 268 268.15 58.15 4.61 1000000 0 1257.97/1258.30 c 94 225 266.59 56.03 4.76 1000000 0 1259.26/1259.60 c 102 308 259.16 55.32 4.68 1000000 0 1260.56/1260.90 c 98 207 272.62 58.19 4.69 1000000 0 1261.86/1262.20 c 127 274 277.89 55.43 5.01 1000000 0 1263.16/1263.51 c 109 207 265.85 63.00 4.22 1000000 0 1264.46/1264.81 c 115 260 270.19 56.73 4.76 1000000 0 1265.77/1266.11 c 53 196 278.25 58.53 4.75 1000000 0 1267.06/1267.41 c 92 311 268.01 61.01 4.39 1000000 0 1268.36/1268.71 c 132 253 274.54 54.77 5.01 1000000 0 1269.66/1270.02 c 66 323 273.69 54.15 5.05 1000000 0 1270.96/1271.31 c 67 212 271.27 62.20 4.36 1000000 0 1272.27/1272.62 c 76 294 272.45 55.35 4.92 1000000 0 1273.56/1273.92 c 110 229 270.32 54.39 4.97 1000000 0 1274.86/1275.22 c 117 369 270.96 55.79 4.86 1000000 0 1276.16/1276.52 c 108 256 272.76 54.09 5.04 1000000 0 1277.46/1277.82 c 77 221 262.41 58.23 4.51 1000000 0 1278.76/1279.12 c 80 255 265.53 59.59 4.46 1000000 0 1280.07/1280.42 c 40 248 270.09 56.74 4.76 1000000 0 1281.36/1281.72 c 104 210 277.79 61.00 4.55 1000000 0 1282.66/1283.02 c 79 293 263.14 57.60 4.57 1000000 0 1283.96/1284.32 c 64 242 270.08 61.74 4.37 1000000 0 1285.26/1285.62 c 113 315 272.28 59.63 4.57 1000000 0 1286.56/1286.92 c 71 243 268.97 57.81 4.65 1000000 0 1287.86/1288.22 c 82 326 266.53 60.24 4.42 1000000 0 1289.16/1289.52 c 99 307 262.77 53.05 4.95 1000000 0 1290.46/1290.83 c 62 190 280.36 56.78 4.94 1000000 0 1291.76/1292.13 c 90 256 267.54 62.39 4.29 1000000 0 1293.05/1293.43 c 87 267 267.69 56.69 4.72 1000000 0 1294.36/1294.73 c 94 334 262.46 51.23 5.12 1000000 0 1295.65/1296.03 c 81 345 263.99 60.44 4.37 1000000 0 1296.95/1297.32 c 68 283 266.29 58.47 4.55 1000000 0 1298.25/1298.63 c 126 298 285.65 56.75 5.03 1000000 0 1299.55/1299.93 c 96 330 269.56 56.22 4.79 1000000 0 1300.86/1301.24 c 81 254 278.70 60.69 4.59 1000000 0 1302.15/1302.54 c 109 332 268.26 52.89 5.07 1000000 0 1303.45/1303.84 c 122 213 268.30 55.14 4.87 1000000 0 1304.75/1305.13 c 101 317 270.51 59.49 4.55 1000000 0 1306.05/1306.44 c 78 214 269.73 59.62 4.52 1000000 0 1307.35/1307.74 c 100 275 275.29 59.53 4.62 1000000 0 1308.66/1309.04 c 93 315 270.50 54.97 4.92 1000000 0 1309.95/1310.34 c 71 354 271.93 55.80 4.87 1000000 0 1311.25/1311.65 c 108 348 269.88 51.51 5.24 1000000 0 1312.55/1312.95 c 73 287 273.76 63.28 4.33 1000000 0 1313.85/1314.25 c 92 247 274.14 61.13 4.48 1000000 0 1315.15/1315.55 c 80 332 264.89 56.26 4.71 1000000 0 1316.45/1316.85 c 123 273 284.04 54.05 5.25 1000000 0 1317.75/1318.15 c 93 302 266.42 52.10 5.11 1000000 0 1319.05/1319.45 c 93 294 271.98 50.14 5.42 1000000 0 1320.35/1320.75 c 84 201 266.14 61.15 4.35 1000000 0 1321.65/1322.05 c 72 293 267.53 62.17 4.30 1000000 0 1322.95/1323.35 c 93 325 263.93 58.68 4.50 1000000 0 1324.25/1324.65 c 85 334 274.83 54.16 5.07 1000000 0 1325.55/1325.96 c 114 267 275.02 59.71 4.61 1000000 0 1326.84/1327.26 c 65 243 274.60 59.78 4.59 1000000 0 1328.14/1328.56 c 112 301 266.65 54.10 4.93 1000000 0 1329.45/1329.86 c 106 325 277.22 51.58 5.38 1000000 0 1330.74/1331.16 c 97 233 264.96 62.71 4.23 1000000 0 1332.04/1332.46 c 90 366 266.83 55.44 4.81 1000000 0 1333.34/1333.76 c 112 333 264.29 61.82 4.28 1000000 0 1334.64/1335.06 c 114 332 265.64 51.65 5.14 1000000 0 1335.94/1336.36 c 96 244 268.08 59.01 4.54 1000000 0 1337.25/1337.66 c 107 316 269.86 57.13 4.72 1000000 0 1338.54/1338.96 c 57 232 268.92 63.13 4.26 1000000 0 1339.84/1340.26 c 130 174 269.84 58.50 4.61 1000000 0 1341.14/1341.57 c 102 147 275.77 64.51 4.27 1000000 0 1342.44/1342.87 c 92 286 268.27 60.09 4.46 1000000 0 1343.75/1344.18 c 119 275 281.80 49.91 5.65 1000000 0 1345.04/1345.48 c 60 199 276.05 56.18 4.91 1000000 0 1346.34/1346.78 c 128 192 273.55 51.30 5.33 1000000 0 1347.64/1348.08 c 89 300 271.57 64.00 4.24 1000000 0 1348.94/1349.39 c 92 297 274.83 62.62 4.39 1000000 0 1350.24/1350.69 c 91 195 282.58 57.49 4.92 1000000 0 1351.55/1351.99 c 112 210 281.28 55.67 5.05 1000000 0 1352.84/1353.29 c 85 285 267.24 56.05 4.77 1000000 0 1354.14/1354.59 c 65 202 259.18 56.99 4.55 1000000 0 1355.44/1355.89 c 61 222 269.66 57.50 4.69 1000000 0 1356.74/1357.19 c 90 255 265.98 57.83 4.60 1000000 0 1358.04/1358.49 c 131 259 270.83 53.48 5.06 1000000 0 1359.34/1359.79 c 77 298 267.55 66.29 4.04 1000000 0 1360.64/1361.09 c 86 218 269.46 61.38 4.39 1000000 0 1361.94/1362.39 c 105 307 269.61 58.76 4.59 1000000 0 1363.24/1363.69 c 118 296 278.48 50.29 5.54 1000000 0 1364.54/1364.99 c 111 371 275.82 57.32 4.81 1000000 0 1365.94/1366.30 c 99 316 268.28 57.60 4.66 1000000 0 1367.24/1367.60 c 109 220 266.90 57.81 4.62 1000000 0 1368.44/1368.90 c 94 231 268.62 62.83 4.28 1000000 0 1369.74/1370.19 c 108 283 264.57 55.66 4.75 1000000 0 1371.14/1371.50 c 106 215 268.25 50.54 5.31 1000000 0 1372.35/1372.80 c 101 252 273.67 69.81 3.92 1000000 0 1373.74/1374.10 c 96 207 272.67 54.82 4.97 1000000 0 1375.04/1375.40 c 91 195 264.43 57.76 4.58 1000000 0 1376.34/1376.70 c 125 295 273.32 52.63 5.19 1000000 0 1377.64/1378.01 c 107 317 279.54 59.23 4.72 1000000 0 1378.94/1379.31 c 97 188 272.53 60.34 4.52 1000000 0 1380.24/1380.61 c 48 229 275.99 65.76 4.20 1000000 0 1381.54/1381.91 c 102 214 277.86 57.35 4.85 1000000 0 1382.84/1383.21 c 92 248 275.28 63.64 4.33 1000000 0 1384.14/1384.52 c 99 238 275.16 59.82 4.60 1000000 0 1385.44/1385.82 c 77 283 264.48 54.87 4.82 1000000 0 1386.74/1387.12 c 103 285 260.71 57.46 4.54 1000000 0 1388.03/1388.42 c 115 296 279.40 56.96 4.91 1000000 0 1389.33/1389.72 c 103 214 260.10 56.46 4.61 1000000 0 1390.63/1391.03 c 123 227 278.84 56.24 4.96 1000000 0 1391.93/1392.33 c 93 308 267.40 51.78 5.16 1000000 0 1393.24/1393.63 c 89 273 269.87 57.73 4.68 1000000 0 1394.53/1394.93 c 94 282 277.76 54.97 5.05 1000000 0 1395.83/1396.23 c 48 247 264.83 55.47 4.77 1000000 0 1397.13/1397.53 c 113 278 270.73 53.49 5.06 1000000 0 1398.43/1398.83 c 118 163 273.06 55.75 4.90 1000000 0 1399.73/1400.13 c 53 306 266.40 54.98 4.85 1000000 0 1401.04/1401.44 c 95 305 271.88 60.65 4.48 1000000 0 1402.33/1402.74 c 98 318 269.28 56.77 4.74 1000000 0 1403.63/1404.03 c 83 280 265.14 55.31 4.79 1000000 0 1404.93/1405.33 c 93 251 271.67 61.14 4.44 1000000 0 1406.23/1406.64 c 83 329 275.28 61.37 4.49 1000000 0 1407.54/1407.94 c 98 253 273.71 56.29 4.86 1000000 0 1408.83/1409.24 c 102 272 272.16 58.36 4.66 1000000 0 1410.13/1410.54 c 90 319 264.16 56.34 4.69 1000000 0 1411.43/1411.84 c 87 337 259.36 61.85 4.19 1000000 0 1412.73/1413.14 c 118 307 277.14 55.37 5.01 1000000 0 1414.03/1414.44 c 105 308 269.71 56.95 4.74 1000000 0 1415.33/1415.74 c 91 236 265.91 67.05 3.97 1000000 0 1416.62/1417.04 c 85 187 251.90 56.12 4.49 1000000 0 1417.92/1418.34 c 95 292 267.50 56.77 4.71 1000000 0 1419.23/1419.64 c 126 201 280.25 60.24 4.65 1000000 0 1420.52/1420.94 c 81 308 271.02 54.88 4.94 1000000 0 1421.83/1422.25 c 101 195 275.88 62.88 4.39 1000000 0 1423.12/1423.55 c 99 214 272.72 52.29 5.22 1000000 0 1424.42/1424.85 c 95 361 273.63 57.00 4.80 1000000 0 1425.72/1426.16 c 99 236 269.60 58.03 4.65 1000000 0 1427.02/1427.46 c 86 348 274.02 64.94 4.22 1000000 0 1428.32/1428.76 c 92 239 267.09 61.08 4.37 1000000 0 1429.63/1430.06 c 128 274 261.26 50.76 5.15 1000000 0 1430.92/1431.36 c 62 258 269.44 60.18 4.48 1000000 0 1432.22/1432.66 c 57 274 274.38 56.80 4.83 1000000 0 1433.52/1433.96 c 84 345 267.31 61.90 4.32 1000000 0 1434.82/1435.26 c 100 254 260.49 56.39 4.62 1000000 0 1436.12/1436.56 c 89 313 265.81 60.56 4.39 1000000 0 1437.42/1437.87 c 103 336 275.85 57.28 4.82 1000000 0 1438.72/1439.17 c 71 292 276.66 59.13 4.68 1000000 0 1440.02/1440.47 c 95 301 269.57 55.39 4.87 1000000 0 1441.31/1441.77 c 104 205 266.51 54.31 4.91 1000000 0 1442.61/1443.07 c 87 265 271.11 60.08 4.51 1000000 0 1443.92/1444.37 c 86 269 262.17 58.58 4.48 1000000 0 1445.22/1445.68 c 110 325 272.28 52.22 5.21 1000000 0 1446.51/1446.97 c 97 337 262.06 62.75 4.18 1000000 0 1447.81/1448.28 c 101 208 268.61 56.81 4.73 1000000 0 1449.11/1449.58 c 85 240 264.61 59.45 4.45 1000000 0 1450.42/1450.88 c 88 295 269.14 56.52 4.76 1000000 0 1451.71/1452.18 c 100 268 274.22 59.24 4.63 1000000 0 1453.01/1453.48 c 111 192 281.55 58.36 4.82 1000000 0 1454.31/1454.79 c 85 335 276.66 57.65 4.80 1000000 0 1455.61/1456.09 c 39 236 270.04 57.31 4.71 1000000 0 1456.91/1457.39 c 78 370 267.75 55.74 4.80 1000000 0 1458.22/1458.69 c 86 132 274.61 57.41 4.78 1000000 0 1459.51/1459.99 c 83 217 273.65 56.57 4.84 1000000 0 1460.81/1461.29 c 115 333 273.09 60.62 4.50 1000000 0 1462.11/1462.59 c 91 302 268.70 54.00 4.98 1000000 0 1463.41/1463.89 c 90 211 259.89 62.18 4.18 1000000 0 1464.72/1465.19 c 109 305 261.20 53.40 4.89 1000000 0 1466.01/1466.49 c 89 323 277.04 55.61 4.98 1000000 0 1467.31/1467.79 c 87 221 262.24 59.42 4.41 1000000 0 1468.61/1469.09 c 92 291 260.81 60.20 4.33 1000000 0 1469.91/1470.39 c 112 309 273.68 55.11 4.97 1000000 0 1471.21/1471.69 c 131 276 273.36 55.42 4.93 1000000 0 1472.52/1472.99 c 98 211 268.68 58.73 4.57 1000000 0 1473.81/1474.29 c 77 304 268.97 56.97 4.72 1000000 0 1475.11/1475.59 c 119 230 271.65 58.16 4.67 1000000 0 1476.51/1476.90 c 110 305 272.54 64.91 4.20 1000000 0 1477.81/1478.20 c 105 268 271.09 59.30 4.57 1000000 0 1479.01/1479.50 c 83 225 273.78 62.74 4.36 1000000 0 1480.40/1480.80 c 115 245 277.96 62.16 4.47 1000000 0 1481.70/1482.10 c 63 291 266.16 59.65 4.46 1000000 0 1483.00/1483.40 c 102 200 261.00 51.89 5.03 1000000 0 1484.30/1484.70 c 64 173 262.91 60.81 4.32 1000000 0 1485.61/1486.00 c 68 279 263.69 58.09 4.54 1000000 0 1486.90/1487.30 c 67 290 266.46 63.41 4.20 1000000 0 1488.20/1488.60 c 79 169 265.32 56.15 4.73 1000000 0 1489.50/1489.90 c 78 218 273.10 59.22 4.61 1000000 0 1490.80/1491.20 c 111 153 281.55 58.78 4.79 1000000 0 1492.10/1492.51 c 111 285 270.37 61.75 4.38 1000000 0 1493.41/1493.81 c 97 274 266.43 61.67 4.32 1000000 0 1494.70/1495.11 c 106 250 276.31 53.05 5.21 1000000 0 1496.00/1496.41 c 80 338 264.37 65.34 4.05 1000000 0 1497.30/1497.71 c 70 287 263.98 57.01 4.63 1000000 0 1498.60/1499.01 c 127 251 274.91 53.90 5.10 1000000 0 1499.91/1500.32 c 93 192 277.26 61.72 4.49 1000000 0 1501.21/1501.62 c 96 277 268.69 61.56 4.36 1000000 0 1502.51/1502.92 c 112 239 264.20 54.69 4.83 1000000 0 1503.81/1504.22 c 87 254 267.59 53.75 4.98 1000000 0 1505.11/1505.52 c 94 260 270.77 58.22 4.65 1000000 0 1506.41/1506.82 c 64 279 269.01 58.29 4.62 1000000 0 1507.71/1508.12 c 113 151 273.02 54.72 4.99 1000000 0 1509.01/1509.42 c 116 246 270.45 54.99 4.92 1000000 0 1510.31/1510.72 c 121 295 269.61 56.54 4.77 1000000 0 1511.61/1512.02 c 113 312 269.15 56.02 4.80 1000000 0 1512.91/1513.33 c 107 243 275.06 57.50 4.78 1000000 0 1514.21/1514.63 c 65 286 271.38 61.43 4.42 1000000 0 1515.50/1515.93 c 122 308 270.00 58.30 4.63 1000000 0 1516.80/1517.23 c 103 265 278.50 58.05 4.80 1000000 0 1518.10/1518.52 c 75 270 250.44 57.08 4.39 1000000 0 1519.40/1519.83 c 96 263 271.20 58.26 4.65 1000000 0 1520.70/1521.12 c 107 284 269.98 59.11 4.57 1000000 0 1522.00/1522.44 c 133 221 277.42 59.91 4.63 1000000 0 1523.29/1523.74 c 63 275 272.65 65.75 4.15 1000000 0 1524.59/1525.03 c 79 202 259.16 58.49 4.43 1000000 0 1525.89/1526.33 c 76 345 263.58 59.28 4.45 1000000 0 1527.19/1527.63 c 84 214 272.80 56.30 4.85 1000000 0 1528.50/1528.93 c 114 262 266.10 56.85 4.68 1000000 0 1529.79/1530.23 c 89 289 275.26 60.45 4.55 1000000 0 1531.09/1531.53 c 87 307 269.09 61.36 4.39 1000000 0 1532.39/1532.83 c 97 252 265.72 60.92 4.36 1000000 0 1533.69/1534.14 c 85 319 266.94 55.67 4.79 1000000 0 1534.99/1535.43 c 55 264 268.72 56.51 4.76 1000000 0 1536.30/1536.74 c 86 213 275.23 64.37 4.28 1000000 0 1537.59/1538.04 c 96 261 281.32 56.05 5.02 1000000 0 1538.89/1539.34 c 68 222 262.65 61.95 4.24 1000000 0 1540.19/1540.64 c 105 281 260.48 51.77 5.03 1000000 0 1541.48/1541.94 c 97 408 266.91 63.06 4.23 1000000 0 1542.79/1543.24 c 120 292 271.00 53.34 5.08 1000000 0 1544.08/1544.55 c 102 311 272.87 65.32 4.18 1000000 0 1545.38/1545.85 c 103 179 272.16 59.76 4.55 1000000 0 1546.68/1547.14 c 69 267 261.64 56.67 4.62 1000000 0 1547.98/1548.44 c 107 217 264.39 55.49 4.76 1000000 0 1549.28/1549.75 c 115 376 276.58 54.84 5.04 1000000 0 1550.59/1551.04 c 86 193 265.77 60.43 4.40 1000000 0 1551.88/1552.34 c 118 253 279.05 60.69 4.60 1000000 0 1553.18/1553.65 c 124 305 280.51 50.09 5.60 1000000 0 1554.48/1554.95 c 57 175 260.30 66.54 3.91 1000000 0 1555.78/1556.25 c 107 288 269.33 54.77 4.92 1000000 0 1557.08/1557.55 c 92 255 275.25 58.62 4.70 1000000 0 1558.38/1558.85 c 85 263 262.35 59.64 4.40 1000000 0 1559.67/1560.15 c 128 252 270.37 50.70 5.33 1000000 0 1560.97/1561.45 c 105 271 271.56 54.15 5.01 1000000 0 1562.27/1562.75 c 79 307 275.80 58.23 4.74 1000000 0 1563.57/1564.05 c 97 228 272.55 59.16 4.61 1000000 0 1564.88/1565.35 c 68 106 268.73 54.52 4.93 1000000 0 1566.17/1566.65 c 73 289 266.19 55.98 4.75 1000000 0 1567.47/1567.96 c 102 248 283.77 57.84 4.91 1000000 0 1568.77/1569.26 c 93 272 279.38 60.01 4.66 1000000 0 1570.08/1570.56 c 111 315 270.94 54.53 4.97 1000000 0 1571.39/1571.86 c 56 277 271.80 54.26 5.01 1000000 0 1572.68/1573.16 c 85 251 259.65 52.36 4.96 1000000 0 1573.98/1574.46 c 96 243 278.53 61.24 4.55 1000000 0 1575.28/1575.77 c 114 229 277.43 55.25 5.02 1000000 0 1576.58/1577.07 c 90 243 274.31 56.78 4.83 1000000 0 1577.88/1578.37 c 53 361 277.68 57.97 4.79 1000000 0 1579.19/1579.67 c 77 267 269.84 58.64 4.60 1000000 0 1580.48/1580.97 c 100 214 264.08 58.51 4.51 1000000 0 1581.78/1582.27 c 117 235 274.81 54.71 5.02 1000000 0 1583.08/1583.57 c 102 220 262.58 56.97 4.61 1000000 0 1584.38/1584.87 c 84 220 260.47 60.44 4.31 1000000 0 1585.68/1586.17 c 107 321 268.76 54.88 4.90 1000000 0 1586.97/1587.47 c 94 241 269.06 54.22 4.96 1000000 0 1588.27/1588.77 c 105 329 270.81 52.83 5.13 1000000 0 1589.57/1590.08 c 69 268 274.08 59.52 4.60 1000000 0 1590.88/1591.38 c 121 161 274.25 58.28 4.71 1000000 0 1592.17/1592.68 c 76 327 269.11 58.10 4.63 1000000 0 1593.48/1593.98 c 117 294 272.80 60.72 4.49 1000000 0 1594.77/1595.28 c 68 228 265.66 59.68 4.45 1000000 0 1596.07/1596.58 c 89 280 272.06 61.81 4.40 1000000 0 1597.37/1597.88 c 109 273 275.10 57.37 4.80 1000000 0 1598.67/1599.18 c 84 241 268.53 58.40 4.60 1000000 0 1599.98/1600.48 c 132 284 274.19 50.38 5.44 1000000 0 1601.27/1601.78 c 65 286 268.58 56.29 4.77 1000000 0 1602.57/1603.08 c 103 283 274.18 54.07 5.07 1000000 0 1603.87/1604.39 c 62 173 270.91 55.83 4.85 1000000 0 1605.17/1605.69 c 84 338 265.88 54.42 4.89 1000000 0 1606.47/1606.99 c 70 228 258.35 57.26 4.51 1000000 0 1607.78/1608.29 c 130 331 281.52 54.39 5.18 1000000 0 1609.07/1609.59 c 103 263 272.25 55.11 4.94 1000000 0 1610.37/1610.89 c 99 233 258.11 54.64 4.72 1000000 0 1611.67/1612.19 c 97 244 265.65 65.78 4.04 1000000 0 1613.06/1613.50 c 77 362 274.69 54.86 5.01 1000000 0 1614.27/1614.80 c 94 348 277.76 61.36 4.53 1000000 0 1615.67/1616.10 c 100 292 274.07 55.65 4.93 1000000 0 1616.96/1617.40 c 83 274 271.43 57.12 4.75 1000000 0 1618.26/1618.70 c 108 230 278.56 61.56 4.52 1000000 0 1619.56/1620.01 c 95 244 273.89 54.70 5.01 1000000 0 1620.87/1621.31 c 109 348 277.94 60.42 4.60 1000000 0 1622.16/1622.61 c 103 236 279.71 57.51 4.86 1000000 0 1623.46/1623.92 c 75 234 270.09 67.31 4.01 1000000 0 1624.76/1625.22 c 105 185 269.19 60.84 4.42 1000000 0 1626.06/1626.52 c 74 208 274.10 67.72 4.05 1000000 0 1627.36/1627.82 c 107 254 265.14 56.43 4.70 1000000 0 1628.67/1629.12 c 95 128 276.94 62.33 4.44 1000000 0 1629.96/1630.42 c 70 249 264.20 59.93 4.41 1000000 0 1631.26/1631.72 c 95 248 286.44 59.04 4.85 1000000 0 1632.56/1633.02 c 111 223 277.95 58.37 4.76 1000000 0 1633.86/1634.32 c 116 247 270.45 58.72 4.61 1000000 0 1635.16/1635.62 c 86 307 267.39 59.85 4.47 1000000 0 1636.46/1636.93 c 112 292 282.14 65.08 4.34 1000000 0 1637.76/1638.23 c 106 275 270.89 56.01 4.84 1000000 0 1639.06/1639.53 c 70 223 271.70 57.85 4.70 1000000 0 1640.36/1640.83 c 85 299 268.05 55.33 4.84 1000000 0 1641.66/1642.14 c 110 237 278.08 59.88 4.64 1000000 0 1642.96/1643.44 c 94 250 257.96 58.05 4.44 1000000 0 1644.26/1644.73 c 100 299 266.72 57.96 4.60 1000000 0 1645.55/1646.04 c 116 278 284.98 50.65 5.63 1000000 0 1646.85/1647.35 c 101 312 277.77 61.03 4.55 1000000 0 1648.15/1648.65 c 111 336 275.29 65.89 4.18 1000000 0 1649.46/1649.95 c 112 185 283.01 59.94 4.72 1000000 0 1650.76/1651.25 c 70 258 273.96 56.95 4.81 1000000 0 1652.05/1652.56 c 105 241 269.76 53.76 5.02 1000000 0 1653.35/1653.86 c 129 336 286.45 59.93 4.78 1000000 0 1654.65/1655.16 c 67 235 265.25 58.40 4.54 1000000 0 1655.95/1656.46 c 107 278 276.83 52.02 5.32 1000000 0 1657.26/1657.76 c 83 293 270.82 54.02 5.01 1000000 0 1658.55/1659.06 c 121 232 267.40 55.36 4.83 1000000 0 1659.85/1660.36 c 55 204 265.75 66.12 4.02 1000000 0 1661.15/1661.66 c 103 320 272.11 60.61 4.49 1000000 0 1662.45/1662.96 c 77 390 261.75 53.53 4.89 1000000 0 1663.76/1664.26 c 93 294 269.06 60.68 4.43 1000000 0 1665.05/1665.56 c 84 227 266.82 64.61 4.13 1000000 0 1666.35/1666.87 c 137 194 280.78 52.85 5.31 1000000 0 1667.65/1668.17 c 111 236 285.96 57.46 4.98 1000000 0 1668.95/1669.47 c 101 261 272.14 54.91 4.96 1000000 0 1670.25/1670.77 c 108 250 271.92 54.04 5.03 1000000 0 1671.56/1672.06 c 50 291 264.03 59.42 4.44 1000000 0 1672.85/1673.36 c 108 255 263.68 56.97 4.63 1000000 0 1674.15/1674.66 c 87 268 272.85 55.66 4.90 1000000 0 1675.45/1675.97 c 75 310 284.44 58.19 4.89 1000000 0 1676.75/1677.27 c 96 238 287.95 61.42 4.69 1000000 0 1678.05/1678.57 c 83 274 264.42 58.04 4.56 1000000 0 1679.35/1679.88 c 113 245 278.47 53.32 5.22 1000000 0 1680.65/1681.18 c 71 350 263.39 62.04 4.25 1000000 0 1681.95/1682.48 c 80 300 268.99 56.48 4.76 1000000 0 1683.25/1683.78 c 69 217 273.88 58.77 4.66 1000000 0 1684.55/1685.07 c 71 315 262.42 55.75 4.71 1000000 0 1685.85/1686.38 c 92 329 280.05 61.33 4.57 1000000 0 1687.14/1687.68 c 75 253 262.92 55.59 4.73 1000000 0 1688.44/1688.98 c 98 253 275.58 54.55 5.05 1000000 0 1689.74/1690.28 c 81 220 261.56 55.77 4.69 1000000 0 1691.04/1691.58 c 91 234 268.06 59.87 4.48 1000000 0 1692.35/1692.88 c 83 227 257.12 54.08 4.75 1000000 0 1693.64/1694.18 c 77 349 269.67 63.22 4.27 1000000 0 1694.94/1695.48 c 120 167 281.73 55.43 5.08 1000000 0 1696.24/1696.79 c 98 235 278.20 58.56 4.75 1000000 0 1697.54/1698.09 c 80 274 272.82 60.58 4.50 1000000 0 1698.84/1699.38 c 67 286 264.19 62.87 4.20 1000000 0 1700.15/1700.68 c 105 322 271.71 61.07 4.45 1000000 0 1701.44/1701.99 c 111 250 273.91 51.94 5.27 1000000 0 1702.74/1703.29 c 127 363 277.08 57.61 4.81 1000000 0 1704.04/1704.59 c 113 247 275.88 57.35 4.81 1000000 0 1705.44/1705.90 c 131 368 285.35 51.56 5.53 1000000 0 1706.65/1707.20 c 59 181 258.60 53.16 4.86 1000000 0 1708.04/1708.50 c 112 270 270.34 54.98 4.92 1000000 0 1709.34/1709.80 c 75 198 274.26 56.70 4.84 1000000 0 1710.64/1711.10 c 76 228 260.04 59.50 4.37 1000000 0 1711.94/1712.40 c 97 330 260.93 59.34 4.40 1000000 0 1713.24/1713.70 c 121 284 278.18 49.91 5.57 1000000 0 1714.54/1715.00 c 127 236 278.13 58.18 4.78 1000000 0 1715.84/1716.31 c 108 340 273.44 52.15 5.24 1000000 0 1717.13/1717.61 c 102 305 272.99 58.44 4.67 1000000 0 1718.44/1718.91 c 106 235 272.87 62.57 4.36 1000000 0 1719.73/1720.21 c 101 232 274.75 51.26 5.36 1000000 0 1721.05/1721.52 c 104 308 274.59 54.16 5.07 1000000 0 1722.34/1722.82 c 86 318 277.35 59.51 4.66 1000000 0 1723.64/1724.12 c 98 234 271.56 55.43 4.90 1000000 0 1724.94/1725.42 c 90 316 270.89 57.05 4.75 1000000 0 1726.24/1726.72 c 82 297 255.33 56.80 4.50 1000000 0 1727.55/1728.02 c 74 311 266.73 60.38 4.42 1000000 0 1728.84/1729.32 c 87 235 274.29 60.17 4.56 1000000 0 1730.14/1730.62 c 115 243 278.40 58.03 4.80 1000000 0 1731.44/1731.92 c 80 282 266.93 55.88 4.78 1000000 0 1732.74/1733.22 c 101 278 271.61 55.61 4.88 1000000 0 1734.04/1734.52 c 115 280 273.90 58.39 4.69 1000000 0 1735.35/1735.82 c 81 184 273.45 56.85 4.81 1000000 0 1736.64/1737.13 c 75 224 277.55 52.34 5.30 1000000 0 1737.94/1738.43 c 111 286 270.24 58.09 4.65 1000000 0 1739.24/1739.73 c 112 306 269.10 60.97 4.41 1000000 0 1740.54/1741.03 c 95 242 267.27 51.27 5.21 1000000 0 1741.84/1742.33 c 101 258 269.86 59.11 4.57 1000000 0 1743.14/1743.63 c 86 203 265.98 54.76 4.86 1000000 0 1744.44/1744.93 c 109 229 276.19 57.35 4.82 1000000 0 1745.73/1746.23 c 67 282 247.12 58.40 4.23 1000000 0 1747.03/1747.53 c 108 286 267.02 54.73 4.88 1000000 0 1748.33/1748.83 c 101 317 269.61 56.15 4.80 1000000 0 1749.64/1750.13 c 36 220 262.94 60.71 4.33 1000000 0 1750.93/1751.43 c 93 297 275.05 55.72 4.94 1000000 0 1752.23/1752.73 c 85 249 275.60 56.52 4.88 1000000 0 1753.53/1754.04 c 64 238 277.97 60.87 4.57 1000000 0 1754.83/1755.34 c 85 242 265.61 57.96 4.58 1000000 0 1756.14/1756.64 c 58 262 266.36 58.63 4.54 1000000 0 1757.43/1757.94 c 94 209 281.76 58.16 4.84 1000000 0 1758.73/1759.23 c 66 205 251.64 65.60 3.84 1000000 0 1760.03/1760.53 c 93 233 267.74 59.92 4.47 1000000 0 1761.33/1761.83 c 72 286 258.95 61.71 4.20 1000000 0 1762.63/1763.13 c 82 243 275.30 59.31 4.64 1000000 0 1763.94/1764.43 c 62 250 269.26 61.01 4.41 1000000 0 1765.23/1765.73 c 100 318 270.14 57.17 4.73 1000000 0 1766.53/1767.04 c 98 252 276.35 59.42 4.65 1000000 0 1767.83/1768.34 c 103 293 269.74 58.73 4.59 1000000 0 1769.13/1769.64 c 106 228 269.49 58.90 4.58 1000000 0 1770.44/1770.94 c 89 262 263.93 56.36 4.68 1000000 0 1771.73/1772.24 c 83 227 268.06 57.47 4.66 1000000 0 1773.03/1773.54 c 64 219 263.87 60.29 4.38 1000000 0 1774.33/1774.85 c 112 311 277.80 53.38 5.20 1000000 0 1775.63/1776.15 c 88 285 265.33 58.94 4.50 1000000 0 1776.93/1777.45 c 74 246 263.31 65.50 4.02 1000000 0 1778.23/1778.74 c 111 212 264.22 50.81 5.20 1000000 0 1779.52/1780.04 c 90 237 260.12 55.90 4.65 1000000 0 1780.82/1781.34 c 66 345 274.37 61.72 4.45 1000000 0 1782.12/1782.64 c 113 339 269.59 57.48 4.69 1000000 0 1783.42/1783.94 c 73 269 272.70 57.66 4.73 1000000 0 1784.73/1785.25 c 102 289 261.22 56.81 4.60 1000000 0 1786.02/1786.55 c 48 382 269.36 57.15 4.71 1000000 0 1787.32/1787.85 c 91 283 268.64 64.92 4.14 1000000 0 1788.62/1789.15 c 89 260 259.26 59.07 4.39 1000000 0 1789.92/1790.45 c 119 254 278.68 64.15 4.34 1000000 0 1791.22/1791.75 c 96 248 276.72 59.36 4.66 1000000 0 1792.53/1793.05 c 73 201 266.23 57.46 4.63 1000000 0 1793.82/1794.36 c 81 267 276.93 64.86 4.27 1000000 0 1795.12/1795.66 c 105 217 269.00 58.91 4.57 1000000 0 1796.42/1796.96 c 108 265 284.42 59.89 4.75 1000000 0 1797.72/1798.26 c 99 274 260.67 53.89 4.84 1000000 0 1799.03/1799.56 c 87 215 263.48 64.22 4.10 1000000 0 1800.03/1800.50 HOME/run: line 2: 24669 Terminated ./PB-wave < $1
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2685462-1278441339/watcher-2685462-1278441339 -o /tmp/evaluation-result-2685462-1278441339/solver-2685462-1278441339 -C 1800 -W 2000 -M 1800 run HOME/instance-2685462-1278441339.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.90 0.97 0.99 3/106 24668 /proc/meminfo: memFree=1790988/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) R 24666 24668 23285 0 -1 4202496 343 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158868885 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [startup+0.032999 s] /proc/loadavg: 0.90 0.97 0.99 3/106 24668 /proc/meminfo: memFree=1790988/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101998 s] /proc/loadavg: 0.90 0.97 0.99 3/106 24668 /proc/meminfo: memFree=1790988/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301995 s] /proc/loadavg: 0.90 0.97 0.99 3/106 24668 /proc/meminfo: memFree=1790988/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700989 s] /proc/loadavg: 0.90 0.97 0.99 3/106 24668 /proc/meminfo: memFree=1790988/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50098 s] /proc/loadavg: 0.90 0.97 0.99 2/108 24670 /proc/meminfo: memFree=1786384/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1.49 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1172 0 0 0 149 0 0 0 25 0 1 0 12346302 41422848 1101 1992294400 134512640 135071400 4287238912 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1101 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10095 s] /proc/loadavg: 0.90 0.97 0.99 2/108 24670 /proc/meminfo: memFree=1786260/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=3.09 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 309 0 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526622 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.3009 s] /proc/loadavg: 0.90 0.97 0.99 2/108 24670 /proc/meminfo: memFree=1786260/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=6.29 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 629 0 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7008 s] /proc/loadavg: 0.91 0.97 0.99 2/108 24670 /proc/meminfo: memFree=1786012/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=12.69 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 1269 0 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5016 s] /proc/loadavg: 0.93 0.97 0.99 2/108 24671 /proc/meminfo: memFree=1786012/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=25.48 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 2548 0 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526677 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1012 s] /proc/loadavg: 0.95 0.97 0.99 2/108 24671 /proc/meminfo: memFree=1786012/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=51.07 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 5107 0 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 0.98 0.97 0.99 2/108 24673 /proc/meminfo: memFree=1785764/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=102.28 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 10227 1 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/108 24674 /proc/meminfo: memFree=1785516/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=162.25 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 16224 1 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/108 24676 /proc/meminfo: memFree=1785516/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=222.23 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 22222 1 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/108 24678 /proc/meminfo: memFree=1785268/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=282.22 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 28220 2 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526531 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49152 [startup+342.302 s] /proc/loadavg: 1.04 0.99 0.99 2/108 24679 /proc/meminfo: memFree=1785144/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=342.2 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 34218 2 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 1.01 0.99 0.99 2/108 24681 /proc/meminfo: memFree=1785020/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=402.18 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 40216 2 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1122.01 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 112194 7 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 24702 /proc/meminfo: memFree=1783160/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1181.99 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 118192 7 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 24703 /proc/meminfo: memFree=1782912/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1241.97 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 124190 7 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134525804 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 24705 /proc/meminfo: memFree=1782664/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1301.96 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 130189 7 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526535 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 24706 /proc/meminfo: memFree=1782664/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1361.94 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 136186 8 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526289 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/108 24708 /proc/meminfo: memFree=1782540/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1421.93 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 142185 8 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.16 1.02 1.01 2/108 24710 /proc/meminfo: memFree=1782292/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1481.9 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 148182 8 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.06 1.01 1.00 2/108 24720 /proc/meminfo: memFree=1782168/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1541.88 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 154179 9 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526675 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 24722 /proc/meminfo: memFree=1782168/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1601.87 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 160177 10 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24723 /proc/meminfo: memFree=1782168/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1661.85 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 166175 10 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24725 /proc/meminfo: memFree=1782168/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1721.84 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 172173 11 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24727 /proc/meminfo: memFree=1781920/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1781.82 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 178171 11 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24727 /proc/meminfo: memFree=1781920/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1800.03 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 179992 11 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526999 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24727 /proc/meminfo: memFree=1781920/2059040 swapFree=4164936/4192956 [pid=24668] ppid=24666 vsize=8700 CPUtime=0 /proc/24668/stat : 24668 (run) S 24666 24668 23285 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12346302 8908800 244 1992294400 4194304 4922060 140736616994896 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24668/statm: 2175 244 204 178 0 68 0 [pid=24669] ppid=24668 vsize=40452 CPUtime=1800.03 /proc/24669/stat : 24669 (PB-wave) R 24668 24668 23285 0 -1 4202496 1173 0 0 0 179992 11 0 0 25 0 1 0 12346302 41422848 1102 1992294400 134512640 135071400 4287238912 18446744073709551615 134526999 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/24669/statm: 10113 1102 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.92 CPU system time (s): 0.117982 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.117982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1545 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= 23326 runsolver used 3.65044 second user time and 9.54155 second system time The end
Begin job on node017 at 2010-07-06 20:35:39 IDJOB=2685462 IDBENCH=75808 IDSOLVER=1171 FILE ID=node017/2685462-1278441339 PBS_JOBID= 11233455 Free space on /tmp= 62476 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6048_4-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685462-1278441339/watcher-2685462-1278441339 -o /tmp/evaluation-result-2685462-1278441339/solver-2685462-1278441339 -C 1800 -W 2000 -M 1800 run HOME/instance-2685462-1278441339.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d1ea14abd0b6b02702d61e51284651d4 RANDOM SEED=260933119 node017.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.220 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.220 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1791392 kB Buffers: 9920 kB Cached: 149052 kB SwapCached: 1476 kB Active: 89416 kB Inactive: 103504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1791392 kB SwapTotal: 4192956 kB SwapFree: 4164936 kB Dirty: 1932 kB Writeback: 0 kB AnonPages: 32456 kB Mapped: 13696 kB Slab: 52764 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179400 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62476 MiB End job on node017 at 2010-07-06 21:05:40