Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.07 | 1800.51 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6035_10-sat.opb |
MD5SUM | 45574cd19df32c19e9e184b1426d6ae9 |
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.127979 |
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 | 8784 |
Total number of constraints | 30004 |
Number of constraints which are clauses | 29720 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 284 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 17 |
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 | 21 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 116 |
Number of bits of the biggest sum of numbers | 7 |
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 = 81306940 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 8784 #con 30004 0.00/0.07 mode is SAT 0.00/0.07 c tail starts after flip = 26352 0.00/0.07 c numatom = 8784, numclause = 30004, numliterals = 67332 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.30 c 150 438 352.39 70.86 4.97 1000000 0 2.48/2.54 c 190 301 362.93 60.43 6.01 1000000 0 3.68/3.78 c 159 357 361.90 75.79 4.78 1000000 0 4.98/5.01 c 137 445 354.34 71.70 4.94 1000000 0 6.18/6.24 c 163 359 350.95 73.16 4.80 1000000 0 7.38/7.48 c 173 359 342.42 61.94 5.53 1000000 0 8.69/8.71 c 195 380 358.11 63.02 5.68 1000000 0 9.89/9.94 c 145 335 345.88 70.23 4.92 1000000 0 11.08/11.18 c 151 440 357.64 61.70 5.80 1000000 0 12.38/12.41 c 137 343 345.73 63.06 5.48 1000000 0 13.58/13.64 c 177 337 353.30 67.20 5.26 1000000 0 14.78/14.87 c 171 363 353.98 62.83 5.63 1000000 0 16.08/16.10 c 158 343 343.24 66.44 5.17 1000000 0 17.28/17.34 c 158 338 346.72 61.86 5.61 1000000 0 18.48/18.57 c 184 298 366.00 71.54 5.12 1000000 0 19.69/19.80 c 174 504 353.56 61.01 5.79 1000000 0 20.98/21.03 c 154 320 349.22 70.49 4.95 1000000 0 22.18/22.27 c 135 428 355.98 73.12 4.87 1000000 0 23.48/23.50 c 180 316 345.73 61.43 5.63 1000000 0 24.68/24.73 c 168 272 348.42 66.00 5.28 1000000 0 25.88/25.96 c 156 357 355.58 66.78 5.32 1000000 0 27.08/27.19 c 112 391 346.13 72.19 4.79 1000000 0 28.38/28.43 c 178 317 354.92 68.66 5.17 1000000 0 29.58/29.66 c 168 232 347.40 66.03 5.26 1000000 0 30.78/30.89 c 155 293 346.38 58.83 5.89 1000000 0 32.08/32.12 c 187 365 349.22 61.52 5.68 1000000 0 33.27/33.35 c 116 378 352.68 75.12 4.70 1000000 0 34.47/34.58 c 161 460 360.25 68.39 5.27 1000000 0 35.77/35.82 c 159 472 348.07 67.51 5.16 1000000 0 36.97/37.05 c 153 456 343.05 66.58 5.15 1000000 0 38.17/38.28 c 131 347 344.12 70.45 4.88 1000000 0 39.48/39.51 c 168 307 348.53 76.01 4.59 1000000 0 40.68/40.74 c 167 315 344.37 65.86 5.23 1000000 0 41.87/41.97 c 132 314 340.74 62.03 5.49 1000000 0 43.17/43.21 c 169 434 360.26 61.19 5.89 1000000 0 44.37/44.44 c 175 381 357.33 70.13 5.10 1000000 0 45.57/45.68 c 173 228 346.99 63.61 5.45 1000000 0 46.87/46.91 c 141 345 346.61 68.68 5.05 1000000 0 48.07/48.14 c 168 381 347.56 67.75 5.13 1000000 0 49.27/49.37 c 144 298 352.99 61.16 5.77 1000000 0 50.48/50.60 c 157 338 344.34 61.19 5.63 1000000 0 51.77/51.83 c 141 336 342.56 66.96 5.12 1000000 0 52.97/53.06 c 163 448 350.22 59.76 5.86 1000000 0 54.17/54.29 c 154 392 336.32 71.82 4.68 1000000 0 55.47/55.53 c 162 293 351.95 69.44 5.07 1000000 0 56.67/56.76 c 142 278 356.94 71.67 4.98 1000000 0 57.87/57.99 c 174 252 340.10 67.23 5.06 1000000 0 59.17/59.23 c 199 310 360.41 73.73 4.89 1000000 0 60.37/60.46 c 137 360 348.85 72.47 4.81 1000000 0 61.57/61.69 c 132 340 351.07 65.17 5.39 1000000 0 62.87/62.92 c 153 412 346.93 66.69 5.20 1000000 0 64.07/64.15 c 158 302 346.12 63.71 5.43 1000000 0 65.27/65.39 c 170 313 355.27 66.56 5.34 1000000 0 66.57/66.62 c 147 376 344.38 66.58 5.17 1000000 0 67.77/67.85 c 169 422 348.11 70.32 4.95 1000000 0 68.96/69.08 c 183 333 351.94 57.70 6.10 1000000 0 70.27/70.31 c 150 303 349.86 68.54 5.10 1000000 0 71.47/71.55 c 100 378 347.93 68.78 5.06 1000000 0 72.66/72.78 c 140 320 352.67 67.47 5.23 1000000 0 73.96/74.01 c 150 327 345.19 67.29 5.13 1000000 0 75.16/75.24 c 156 383 355.83 71.29 4.99 1000000 0 76.36/76.47 c 159 357 344.49 67.02 5.14 1000000 0 77.66/77.71 c 181 412 365.67 62.15 5.88 1000000 0 78.86/78.94 c 134 329 341.35 71.48 4.78 1000000 0 80.06/80.17 c 199 297 347.60 57.86 6.01 1000000 0 81.28/81.40 c 185 415 361.64 62.41 5.79 1000000 0 82.57/82.63 c 144 307 342.76 65.35 5.25 1000000 0 83.77/83.86 c 165 304 349.62 63.85 5.48 1000000 0 84.97/85.09 c 147 249 346.53 63.79 5.43 1000000 0 86.27/86.32 c 178 340 353.06 65.37 5.40 1000000 0 87.47/87.55 c 143 393 343.75 67.08 5.12 1000000 0 88.67/88.79 c 153 413 347.12 63.98 5.43 1000000 0 89.97/90.02 c 141 379 352.61 69.93 5.04 1000000 0 91.18/91.25 c 139 326 347.65 64.06 5.43 1000000 0 92.38/92.48 c 180 422 353.00 69.82 5.06 1000000 0 93.67/93.72 c 153 420 359.51 74.84 4.80 1000000 0 94.87/94.95 c 196 383 351.51 67.16 5.23 1000000 0 96.07/96.18 c 187 290 364.25 60.12 6.06 1000000 0 97.37/97.42 c 160 368 354.27 63.25 5.60 1000000 0 98.57/98.65 c 153 282 344.57 56.96 6.05 1000000 0 99.77/99.88 c 156 364 348.25 74.18 4.69 1000000 0 101.07/101.11 c 163 225 344.85 71.04 4.85 1000000 0 102.27/102.34 c 159 418 341.70 64.93 5.26 1000000 0 103.46/103.57 c 134 414 345.98 70.85 4.88 1000000 0 104.76/104.81 c 157 353 348.90 67.22 5.19 1000000 0 105.96/106.04 c 186 321 351.05 68.55 5.12 1000000 0 107.16/107.27 c 144 356 338.05 72.11 4.69 1000000 0 108.46/108.51 c 166 277 345.29 68.19 5.06 1000000 0 109.66/109.74 c 151 272 349.71 65.22 5.36 1000000 0 110.86/110.97 c 154 372 342.01 68.72 4.98 1000000 0 112.07/112.20 c 183 449 353.95 65.99 5.36 1000000 0 113.36/113.43 c 189 285 353.68 58.11 6.09 1000000 0 114.56/114.67 c 169 396 347.81 69.18 5.03 1000000 0 115.76/115.90 c 159 295 338.59 65.73 5.15 1000000 0 117.06/117.13 c 148 249 356.51 66.74 5.34 1000000 0 118.26/118.36 c 194 324 356.10 58.24 6.11 1000000 0 119.46/119.60 c 178 414 364.11 62.48 5.83 1000000 0 120.76/120.82 c 170 342 336.63 58.55 5.75 1000000 0 121.97/122.06 c 183 299 345.44 57.78 5.98 1000000 0 123.17/123.28 c 167 488 345.40 65.48 5.27 1000000 0 124.46/124.51 c 107 398 347.54 74.25 4.68 1000000 0 125.66/125.74 c 141 346 341.57 61.15 5.59 1000000 0 126.86/126.97 c 154 379 357.68 70.25 5.09 1000000 0 128.16/128.20 c 151 366 331.12 70.67 4.69 1000000 0 129.36/129.43 c 174 296 350.03 57.74 6.06 1000000 0 130.56/130.66 c 165 381 349.38 73.32 4.77 1000000 0 131.86/131.90 c 161 338 357.77 75.22 4.76 1000000 0 133.06/133.13 c 189 407 356.93 70.59 5.06 1000000 0 134.26/134.37 c 160 280 358.82 71.76 5.00 1000000 0 135.56/135.60 c 168 469 367.03 67.85 5.41 1000000 0 136.76/136.83 c 154 388 336.46 65.51 5.14 1000000 0 137.95/138.06 c 179 347 356.75 68.41 5.22 1000000 0 139.25/139.30 c 184 387 353.00 67.11 5.26 1000000 0 140.45/140.53 c 190 396 363.54 64.48 5.64 1000000 0 141.65/141.76 c 169 328 350.86 62.65 5.60 1000000 0 142.86/142.99 c 146 333 348.97 63.63 5.48 1000000 0 144.15/144.22 c 153 346 344.54 66.15 5.21 1000000 0 145.35/145.46 c 196 369 362.56 67.78 5.35 1000000 0 146.55/146.69 c 147 398 340.46 62.43 5.45 1000000 0 147.85/147.92 c 166 444 352.73 71.40 4.94 1000000 0 149.05/149.15 c 178 246 346.14 64.00 5.41 1000000 0 150.25/150.38 c 86 278 346.35 70.45 4.92 1000000 0 151.55/151.61 c 158 322 344.53 65.96 5.22 1000000 0 152.76/152.85 c 129 462 352.67 71.21 4.95 1000000 0 153.96/154.08 c 142 364 341.95 74.38 4.60 1000000 0 155.25/155.31 c 157 366 345.98 71.46 4.84 1000000 0 156.45/156.55 c 196 365 364.65 57.62 6.33 1000000 0 157.65/157.78 c 169 322 348.27 67.94 5.13 1000000 0 158.95/159.01 c 179 304 350.19 54.43 6.43 1000000 0 160.15/160.25 c 163 303 361.42 67.35 5.37 1000000 0 161.35/161.48 c 158 192 342.44 65.93 5.19 1000000 0 162.65/162.71 c 210 389 366.89 64.54 5.68 1000000 0 163.85/163.94 c 166 378 349.65 68.16 5.13 1000000 0 165.05/165.18 c 122 263 360.61 69.33 5.20 1000000 0 166.35/166.41 c 160 385 356.52 64.92 5.49 1000000 0 167.55/167.64 c 151 296 352.75 64.46 5.47 1000000 0 168.75/168.87 c 154 353 351.97 58.48 6.02 1000000 0 170.05/170.11 c 181 302 352.93 62.62 5.64 1000000 0 171.24/171.34 c 129 396 352.50 76.03 4.64 1000000 0 172.44/172.57 c 194 484 355.65 61.24 5.81 1000000 0 173.65/173.80 c 143 329 353.30 64.50 5.48 1000000 0 174.94/175.04 c 167 321 351.23 64.94 5.41 1000000 0 176.14/176.27 c 142 262 344.11 61.28 5.62 1000000 0 177.34/177.50 c 152 325 341.47 65.35 5.23 1000000 0 178.64/178.73 c 130 334 343.15 60.42 5.68 1000000 0 179.84/179.96 c 147 374 345.09 63.29 5.45 1000000 0 181.04/181.19 c 182 461 356.23 61.31 5.81 1000000 0 182.34/182.42 c 154 353 352.26 75.69 4.65 1000000 0 183.55/183.66 c 107 369 359.97 66.46 5.42 1000000 0 184.75/184.89 c 183 413 356.04 69.39 5.13 1000000 0 186.04/186.12 c 163 334 344.22 73.64 4.67 1000000 0 187.24/187.36 c 184 215 360.50 69.82 5.16 1000000 0 188.44/188.59 c 180 342 352.14 71.20 4.95 1000000 0 189.74/189.82 c 174 215 350.47 72.04 4.86 1000000 0 190.94/191.06 c 169 320 356.88 72.35 4.93 1000000 0 192.14/192.29 c 148 262 337.09 70.26 4.80 1000000 0 193.45/193.52 c 158 242 348.46 63.71 5.47 1000000 0 194.65/194.75 c 123 271 351.64 73.18 4.81 1000000 0 195.84/195.98 c 158 296 352.48 58.70 6.01 1000000 0 197.14/197.21 c 191 341 350.00 61.12 5.73 1000000 0 198.34/198.45 c 181 299 352.72 64.26 5.49 1000000 0 199.54/199.68 c 175 350 351.73 63.79 5.51 1000000 0 200.84/200.91 c 165 410 353.37 61.71 5.73 1000000 0 202.04/202.14 c 164 380 355.95 58.05 6.13 1000000 0 203.24/203.38 c 182 373 355.27 59.40 5.98 1000000 0 204.54/204.61 c 118 414 343.36 68.12 5.04 1000000 0 205.73/205.84 c 172 294 352.56 68.33 5.16 1000000 0 206.93/207.07 c 121 394 349.12 66.26 5.27 1000000 0 208.23/208.31 c 98 404 353.53 68.02 5.20 1000000 0 209.43/209.54 c 157 332 352.87 68.45 5.16 1000000 0 210.63/210.77 c 137 342 356.59 73.66 4.84 1000000 0 211.93/212.01 c 94 406 350.36 68.49 5.12 1000000 0 213.13/213.24 c 159 330 348.15 76.92 4.53 1000000 0 214.34/214.47 c 153 334 360.67 65.10 5.54 1000000 0 215.63/215.70 c 144 352 357.59 62.65 5.71 1000000 0 216.83/216.94 c 183 313 359.22 55.11 6.52 1000000 0 218.03/218.17 c 180 497 354.57 64.55 5.49 1000000 0 219.33/219.40 c 167 294 343.43 65.22 5.27 1000000 0 220.53/220.64 c 169 331 360.62 66.31 5.44 1000000 0 221.73/221.87 c 153 360 342.57 61.05 5.61 1000000 0 223.03/223.10 c 163 265 351.06 63.21 5.55 1000000 0 224.24/224.33 c 153 325 348.76 67.39 5.18 1000000 0 225.44/225.56 c 188 398 357.15 71.13 5.02 1000000 0 226.63/226.79 c 138 323 341.33 63.91 5.34 1000000 0 227.93/228.02 c 182 343 357.54 74.15 4.82 1000000 0 229.13/229.26 c 170 338 356.54 65.05 5.48 1000000 0 230.33/230.50 c 170 287 364.95 66.33 5.50 1000000 0 231.63/231.73 c 190 324 351.71 61.75 5.70 1000000 0 232.83/232.96 c 151 368 354.07 66.42 5.33 1000000 0 234.03/234.19 c 167 348 343.03 62.05 5.53 1000000 0 235.34/235.43 c 173 275 358.94 63.41 5.66 1000000 0 236.53/236.66 c 157 274 351.98 66.63 5.28 1000000 0 237.73/237.89 c 195 316 358.03 68.17 5.25 1000000 0 239.03/239.13 c 165 349 346.39 63.52 5.45 1000000 0 240.23/240.36 c 182 354 353.59 62.12 5.69 1000000 0 241.43/241.58 c 120 264 340.48 66.06 5.15 1000000 0 242.73/242.81 c 141 354 340.09 64.27 5.29 1000000 0 243.93/244.05 c 150 394 363.73 75.98 4.79 1000000 0 245.13/245.28 c 165 306 351.93 65.41 5.38 1000000 0 246.43/246.51 c 184 362 358.10 65.48 5.47 1000000 0 247.63/247.74 c 180 344 353.59 67.66 5.23 1000000 0 248.83/248.97 c 167 329 340.43 60.31 5.64 1000000 0 250.12/250.21 c 164 381 344.13 72.57 4.74 1000000 0 251.32/251.44 c 158 370 341.04 73.28 4.65 1000000 0 252.52/252.66 c 161 262 337.35 62.18 5.43 1000000 0 253.72/253.89 c 163 366 344.08 75.67 4.55 1000000 0 255.03/255.13 c 145 374 360.85 70.47 5.12 1000000 0 256.23/256.36 c 175 252 351.23 65.85 5.33 1000000 0 257.42/257.59 c 193 319 348.60 58.28 5.98 1000000 0 258.72/258.83 c 160 374 348.63 67.90 5.13 1000000 0 259.92/260.06 c 170 273 355.24 69.76 5.09 1000000 0 261.12/261.29 c 169 302 353.72 60.14 5.88 1000000 0 262.42/262.53 c 169 317 354.44 78.82 4.50 1000000 0 263.62/263.76 c 187 379 365.00 63.86 5.72 1000000 0 264.82/264.99 c 148 418 353.69 72.24 4.90 1000000 0 266.13/266.23 c 173 371 356.57 63.42 5.62 1000000 0 267.32/267.46 c 171 433 341.81 54.36 6.29 1000000 0 268.52/268.69 c 191 287 350.63 67.15 5.22 1000000 0 269.82/269.93 c 168 312 359.95 69.97 5.14 1000000 0 271.02/271.16 c 119 265 359.64 74.41 4.83 1000000 0 272.22/272.39 c 181 324 366.03 70.20 5.21 1000000 0 273.52/273.62 c 179 293 350.65 66.21 5.30 1000000 0 274.72/274.85 c 182 273 357.04 61.89 5.77 1000000 0 275.93/276.09 c 150 429 360.60 62.24 5.79 1000000 0 277.22/277.32 c 175 311 355.06 64.13 5.54 1000000 0 278.42/278.55 c 178 326 361.63 63.46 5.70 1000000 0 279.62/279.78 c 158 243 337.88 62.08 5.44 1000000 0 280.92/281.01 c 145 308 343.30 70.87 4.84 1000000 0 282.12/282.24 c 133 357 342.53 70.48 4.86 1000000 0 283.32/283.48 c 181 423 354.62 58.82 6.03 1000000 0 284.62/284.71 c 153 346 344.69 68.76 5.01 1000000 0 285.82/285.94 c 122 444 341.69 67.70 5.05 1000000 0 287.02/287.17 c 135 336 350.75 71.63 4.90 1000000 0 288.32/288.40 c 141 341 350.61 68.78 5.10 1000000 0 289.51/289.63 c 184 344 349.18 70.24 4.97 1000000 0 290.71/290.87 c 170 339 362.41 69.47 5.22 1000000 0 292.01/292.10 c 177 412 352.00 66.28 5.31 1000000 0 293.21/293.34 c 182 383 362.18 61.41 5.90 1000000 0 294.41/294.57 c 163 409 358.25 56.97 6.29 1000000 0 295.72/295.80 c 149 300 343.33 64.68 5.31 1000000 0 296.92/297.03 c 171 297 355.05 63.55 5.59 1000000 0 298.11/298.26 c 143 271 340.14 62.00 5.49 1000000 0 299.31/299.49 c 152 396 350.23 60.56 5.78 1000000 0 300.61/300.73 c 186 384 352.26 68.20 5.16 1000000 0 301.81/301.96 c 152 368 352.17 69.13 5.09 1000000 0 303.01/303.19 c 174 283 353.98 75.75 4.67 1000000 0 304.31/304.43 c 191 347 358.24 63.10 5.68 1000000 0 305.51/305.66 c 154 323 358.57 66.66 5.38 1000000 0 306.72/306.89 c 147 303 340.46 64.55 5.27 1000000 0 308.01/308.12 c 187 439 351.43 64.16 5.48 1000000 0 309.21/309.35 c 163 347 343.32 62.97 5.45 1000000 0 310.41/310.59 c 161 413 351.66 70.42 4.99 1000000 0 311.71/311.82 c 159 345 347.36 75.75 4.59 1000000 0 312.91/313.05 c 135 362 346.75 81.97 4.23 1000000 0 314.11/314.28 c 109 363 350.92 66.13 5.31 1000000 0 315.41/315.51 c 160 279 354.85 64.60 5.49 1000000 0 316.61/316.75 c 167 319 348.14 68.87 5.06 1000000 0 317.81/317.98 c 134 348 340.37 67.92 5.01 1000000 0 319.11/319.21 c 155 386 344.79 71.95 4.79 1000000 0 320.31/320.44 c 171 342 353.00 64.47 5.48 1000000 0 321.51/321.67 c 165 359 351.62 66.12 5.32 1000000 0 322.81/322.90 c 156 307 335.26 60.99 5.50 1000000 0 324.01/324.14 c 171 436 358.11 61.74 5.80 1000000 0 325.20/325.37 c 180 269 352.24 62.94 5.60 1000000 0 326.51/326.60 c 168 187 352.45 64.27 5.48 1000000 0 327.71/327.83 c 164 341 352.02 65.48 5.38 1000000 0 328.90/329.06 c 147 327 345.23 66.53 5.19 1000000 0 330.20/330.30 c 180 367 349.01 67.86 5.14 1000000 0 331.40/331.53 c 180 319 361.08 68.96 5.24 1000000 0 332.60/332.76 c 154 257 339.40 70.37 4.82 1000000 0 333.80/333.99 c 146 350 342.66 70.23 4.88 1000000 0 335.10/335.22 c 158 348 363.40 68.20 5.33 1000000 0 336.30/336.45 c 163 307 347.33 61.17 5.68 1000000 0 337.51/337.69 c 167 395 346.40 69.80 4.96 1000000 0 338.80/338.92 c 167 350 337.41 64.52 5.23 1000000 0 340.00/340.15 c 181 399 354.39 63.63 5.57 1000000 0 341.20/341.38 c 178 351 350.56 66.83 5.25 1000000 0 342.50/342.61 c 163 356 352.83 61.72 5.72 1000000 0 343.70/343.84 c 132 381 342.20 62.44 5.48 1000000 0 344.90/345.07 c 160 326 352.46 68.64 5.13 1000000 0 346.20/346.30 c 159 386 346.38 62.01 5.59 1000000 0 347.41/347.54 c 183 299 352.49 70.14 5.03 1000000 0 348.61/348.77 c 171 395 352.46 71.37 4.94 1000000 0 349.90/350.00 c 118 270 352.26 76.15 4.63 1000000 0 351.10/351.23 c 182 259 356.21 65.49 5.44 1000000 0 352.30/352.47 c 160 379 357.17 63.36 5.64 1000000 0 353.60/353.70 c 89 381 348.44 69.88 4.99 1000000 0 354.80/354.93 c 158 244 347.55 75.46 4.61 1000000 0 356.00/356.16 c 190 340 356.34 63.96 5.57 1000000 0 357.20/357.39 c 135 233 348.28 62.30 5.59 1000000 0 358.50/358.62 c 156 324 347.33 57.41 6.05 1000000 0 359.70/359.85 c 154 389 355.87 74.00 4.81 1000000 0 360.90/361.09 c 167 337 353.75 69.34 5.10 1000000 0 362.20/362.33 c 158 226 361.91 66.78 5.42 1000000 0 363.40/363.56 c 100 274 351.25 70.66 4.97 1000000 0 364.60/364.79 c 162 337 346.19 66.02 5.24 1000000 0 365.90/366.02 c 164 207 350.32 73.72 4.75 1000000 0 367.10/367.26 c 149 366 355.75 66.85 5.32 1000000 0 368.30/368.49 c 164 362 341.15 64.56 5.28 1000000 0 369.59/369.72 c 188 247 346.50 63.85 5.43 1000000 0 370.79/370.95 c 141 440 339.21 62.65 5.41 1000000 0 371.99/372.19 c 200 272 356.32 60.02 5.94 1000000 0 373.29/373.42 c 159 313 353.24 71.26 4.96 1000000 0 374.49/374.65 c 138 381 351.55 64.21 5.48 1000000 0 375.69/375.89 c 160 266 358.50 68.67 5.22 1000000 0 376.99/377.12 c 140 299 341.26 68.12 5.01 1000000 0 378.20/378.34 c 187 243 344.48 62.86 5.48 1000000 0 379.40/379.58 c 163 339 358.32 69.69 5.14 1000000 0 380.69/380.81 c 104 344 341.32 70.07 4.87 1000000 0 381.89/382.04 c 117 290 342.55 65.19 5.25 1000000 0 383.09/383.27 c 152 392 361.26 68.42 5.28 1000000 0 384.39/384.50 c 149 442 350.15 68.99 5.08 1000000 0 385.59/385.73 c 148 269 354.34 65.42 5.42 1000000 0 386.79/386.96 c 176 350 351.85 66.58 5.28 1000000 0 387.99/388.20 c 153 289 349.83 63.77 5.49 1000000 0 389.30/389.43 c 152 363 345.36 75.37 4.58 1000000 0 390.49/390.65 c 147 332 340.82 64.77 5.26 1000000 0 391.69/391.88 c 131 238 337.47 68.19 4.95 1000000 0 392.99/393.12 c 179 261 363.57 67.02 5.42 1000000 0 394.19/394.35 c 165 395 362.31 72.53 5.00 1000000 0 395.39/395.58 c 159 351 347.40 65.07 5.34 1000000 0 396.69/396.81 c 136 378 344.36 66.91 5.15 1000000 0 397.89/398.04 c 169 412 341.56 67.62 5.05 1000000 0 399.09/399.27 c 146 383 357.92 69.40 5.16 1000000 0 400.39/400.50 c 175 294 344.01 65.00 5.29 1000000 0 401.59/401.72 c 194 296 343.52 65.60 5.24 1000000 0 402.78/402.96 c 151 352 350.43 73.85 4.75 1000000 0 403.98/404.19 c 137 358 355.79 64.04 5.56 1000000 0 405.28/405.43 c 148 376 362.93 63.20 5.74 1000000 0 406.48/406.65 c 194 312 344.87 54.79 6.29 1000000 0 407.68/407.88 c 175 326 351.32 62.81 5.59 1000000 0 408.99/409.11 c 160 457 353.76 61.49 5.75 1000000 0 410.19/410.34 c 167 306 347.54 58.68 5.92 1000000 0 411.38/411.57 c 163 267 349.51 63.65 5.49 1000000 0 412.68/412.81 c 162 372 343.09 62.48 5.49 1000000 0 413.88/414.04 c 178 321 351.05 67.58 5.19 1000000 0 415.08/415.27 c 159 340 351.83 63.86 5.51 1000000 0 416.38/416.50 c 165 335 348.24 63.98 5.44 1000000 0 417.58/417.74 c 146 422 355.78 68.72 5.18 1000000 0 418.78/418.97 c 173 369 359.76 71.98 5.00 1000000 0 420.09/420.21 c 130 306 362.01 73.76 4.91 1000000 0 421.28/421.44 c 172 292 352.28 65.95 5.34 1000000 0 422.48/422.67 c 162 381 348.19 63.27 5.50 1000000 0 423.78/423.90 c 171 368 349.97 61.78 5.66 1000000 0 424.98/425.13 c 161 402 352.19 69.31 5.08 1000000 0 426.18/426.36 c 158 331 345.60 61.31 5.64 1000000 0 427.38/427.59 c 172 346 350.43 68.50 5.12 1000000 0 428.68/428.82 c 185 336 367.70 74.38 4.94 1000000 0 429.89/430.06 c 139 402 338.45 59.78 5.66 1000000 0 431.09/431.29 c 143 250 351.56 69.85 5.03 1000000 0 432.38/432.52 c 158 365 355.10 63.18 5.62 1000000 0 433.58/433.75 c 132 359 346.61 74.63 4.64 1000000 0 434.78/434.99 c 185 307 346.73 68.51 5.06 1000000 0 436.08/436.22 c 166 372 356.28 70.76 5.03 1000000 0 437.28/437.45 c 162 418 342.24 64.36 5.32 1000000 0 438.48/438.68 c 164 302 350.81 64.19 5.47 1000000 0 439.78/439.91 c 150 338 346.81 76.51 4.53 1000000 0 440.98/441.15 c 158 312 351.21 61.76 5.69 1000000 0 442.18/442.38 c 150 282 346.33 62.67 5.53 1000000 0 443.48/443.61 c 189 397 358.21 67.04 5.34 1000000 0 444.68/444.84 c 170 345 351.64 70.91 4.96 1000000 0 445.88/446.08 c 142 336 360.97 67.61 5.34 1000000 0 447.18/447.31 c 148 353 347.16 59.92 5.79 1000000 0 448.37/448.54 c 152 281 350.47 73.82 4.75 1000000 0 449.57/449.78 c 145 341 350.82 64.77 5.42 1000000 0 450.89/451.01 c 168 366 358.15 61.60 5.81 1000000 0 452.08/452.24 c 164 339 354.44 70.41 5.03 1000000 0 453.28/453.46 c 106 398 321.89 61.78 5.21 1000000 0 454.58/454.70 c 163 308 352.01 72.02 4.89 1000000 0 455.78/455.93 c 124 302 340.45 59.03 5.77 1000000 0 456.98/457.16 c 147 239 351.29 64.43 5.45 1000000 0 458.18/458.39 c 160 290 360.52 74.81 4.82 1000000 0 459.48/459.63 c 179 316 353.31 72.12 4.90 1000000 0 460.69/460.85 c 158 279 345.11 65.43 5.27 1000000 0 461.89/462.08 c 168 409 361.50 67.20 5.38 1000000 0 463.18/463.32 c 163 323 350.25 68.62 5.10 1000000 0 464.38/464.54 c 174 419 342.00 63.76 5.36 1000000 0 465.58/465.78 c 171 338 349.91 58.97 5.93 1000000 0 466.88/467.01 c 161 321 349.71 68.24 5.12 1000000 0 468.08/468.23 c 172 428 337.27 66.48 5.07 1000000 0 469.28/469.47 c 146 412 352.31 67.10 5.25 1000000 0 470.58/470.70 c 137 384 356.21 72.12 4.94 1000000 0 471.79/471.93 c 165 399 353.64 70.23 5.04 1000000 0 472.98/473.16 c 128 369 356.27 64.02 5.56 1000000 0 474.18/474.39 c 177 458 364.54 68.52 5.32 1000000 0 475.48/475.63 c 160 362 366.39 77.22 4.74 1000000 0 476.68/476.86 c 166 289 355.06 68.00 5.22 1000000 0 477.88/478.10 c 166 357 354.03 64.75 5.47 1000000 0 479.18/479.33 c 128 329 349.25 63.93 5.46 1000000 0 480.38/480.56 c 159 301 343.46 64.03 5.36 1000000 0 481.58/481.78 c 119 385 340.84 73.12 4.66 1000000 0 482.88/483.02 c 130 301 350.11 69.01 5.07 1000000 0 484.08/484.25 c 177 321 350.20 66.53 5.26 1000000 0 485.28/485.48 c 173 357 347.77 65.22 5.33 1000000 0 486.58/486.71 c 125 325 354.67 74.01 4.79 1000000 0 487.77/487.95 c 153 342 348.98 66.09 5.28 1000000 0 488.97/489.18 c 156 384 350.47 73.33 4.78 1000000 0 490.27/490.41 c 138 370 359.71 69.92 5.14 1000000 0 491.48/491.64 c 157 337 361.45 70.23 5.15 1000000 0 492.68/492.87 c 150 268 352.41 67.30 5.24 1000000 0 493.97/494.11 c 160 344 343.98 69.00 4.99 1000000 0 495.17/495.34 c 171 391 347.20 68.67 5.06 1000000 0 496.37/496.57 c 137 296 343.87 73.77 4.66 1000000 0 497.67/497.80 c 162 358 348.13 62.76 5.55 1000000 0 498.87/499.04 c 156 376 354.56 66.26 5.35 1000000 0 500.07/500.27 c 148 383 349.10 65.46 5.33 1000000 0 501.38/501.50 c 174 365 375.14 71.64 5.24 1000000 0 502.58/502.74 c 158 343 348.56 68.02 5.12 1000000 0 503.77/503.97 c 154 296 337.85 58.21 5.80 1000000 0 505.07/505.20 c 160 256 346.41 60.83 5.69 1000000 0 506.27/506.43 c 160 390 350.85 72.97 4.81 1000000 0 507.47/507.66 c 185 263 347.88 65.77 5.29 1000000 0 508.67/508.89 c 146 391 344.63 68.77 5.01 1000000 0 509.97/510.12 c 164 314 357.95 65.96 5.43 1000000 0 511.17/511.35 c 179 355 349.12 62.37 5.60 1000000 0 512.38/512.59 c 173 468 354.08 64.87 5.46 1000000 0 513.67/513.81 c 161 374 336.90 63.73 5.29 1000000 0 514.87/515.04 c 133 373 342.63 66.73 5.13 1000000 0 516.07/516.27 c 169 285 346.79 61.99 5.59 1000000 0 517.37/517.51 c 167 295 354.20 65.44 5.41 1000000 0 518.57/518.74 c 156 351 349.98 62.96 5.56 1000000 0 519.77/519.97 c 162 286 345.35 69.19 4.99 1000000 0 521.07/521.20 c 181 318 357.07 73.40 4.86 1000000 0 522.27/522.43 c 170 370 351.74 76.64 4.59 1000000 0 523.47/523.66 c 109 282 342.81 61.06 5.61 1000000 0 524.67/524.89 c 177 352 357.28 63.90 5.59 1000000 0 525.97/526.13 c 159 357 344.24 68.17 5.05 1000000 0 527.16/527.36 c 172 368 346.13 69.83 4.96 1000000 0 528.36/528.58 c 157 280 340.90 72.71 4.69 1000000 0 529.66/529.82 c 159 313 356.10 72.64 4.90 1000000 0 530.86/531.05 c 183 398 359.54 61.02 5.89 1000000 0 532.06/532.28 c 189 447 362.52 64.27 5.64 1000000 0 533.37/533.51 c 146 359 341.20 64.20 5.31 1000000 0 534.56/534.74 c 114 308 335.95 64.23 5.23 1000000 0 535.76/535.97 c 173 378 349.12 72.87 4.79 1000000 0 537.06/537.20 c 169 352 347.53 55.88 6.22 1000000 0 538.26/538.43 c 166 360 349.08 68.36 5.11 1000000 0 539.46/539.66 c 138 484 346.72 66.84 5.19 1000000 0 540.66/540.89 c 152 277 345.15 61.03 5.66 1000000 0 541.96/542.12 c 143 293 338.90 61.39 5.52 1000000 0 543.17/543.35 c 193 295 351.17 65.01 5.40 1000000 0 544.37/544.58 c 121 307 351.86 67.92 5.18 1000000 0 545.66/545.81 c 158 291 354.65 73.14 4.85 1000000 0 546.86/547.04 c 179 440 347.95 69.27 5.02 1000000 0 548.06/548.26 c 177 324 343.03 59.52 5.76 1000000 0 549.36/549.50 c 179 336 360.25 65.14 5.53 1000000 0 550.56/550.73 c 183 418 351.00 56.82 6.18 1000000 0 551.76/551.96 c 160 328 346.84 57.79 6.00 1000000 0 553.07/553.20 c 185 355 350.46 59.34 5.91 1000000 0 554.27/554.43 c 141 248 348.44 67.92 5.13 1000000 0 555.46/555.66 c 126 389 340.06 60.74 5.60 1000000 0 556.66/556.89 c 179 373 362.91 69.73 5.20 1000000 0 557.96/558.12 c 188 256 364.65 61.53 5.93 1000000 0 559.16/559.35 c 191 437 349.28 64.04 5.45 1000000 0 560.36/560.58 c 152 421 343.16 62.22 5.52 1000000 0 561.66/561.82 c 157 380 357.62 71.47 5.00 1000000 0 562.86/563.05 c 164 380 354.66 71.56 4.96 1000000 0 564.06/564.28 c 181 250 356.02 68.67 5.18 1000000 0 565.36/565.51 c 158 263 352.13 75.02 4.69 1000000 0 566.55/566.74 c 161 304 351.30 67.79 5.18 1000000 0 567.75/567.97 c 149 332 346.81 71.31 4.86 1000000 0 569.05/569.20 c 180 289 356.61 66.85 5.33 1000000 0 570.25/570.44 c 167 318 345.23 63.56 5.43 1000000 0 571.45/571.67 c 156 363 357.11 68.13 5.24 1000000 0 572.65/572.90 c 177 390 355.69 62.05 5.73 1000000 0 573.96/574.13 c 171 354 362.06 67.85 5.34 1000000 0 575.16/575.36 c 153 457 357.71 60.25 5.94 1000000 0 576.35/576.59 c 148 405 349.25 63.38 5.51 1000000 0 577.65/577.83 c 174 256 350.68 72.47 4.84 1000000 0 578.85/579.05 c 166 268 352.45 67.02 5.26 1000000 0 580.05/580.29 c 173 373 343.69 66.38 5.18 1000000 0 581.35/581.51 c 157 422 342.13 60.18 5.69 1000000 0 582.55/582.75 c 144 313 354.65 69.40 5.11 1000000 0 583.75/583.98 c 179 354 344.28 72.13 4.77 1000000 0 585.06/585.21 c 169 312 356.30 65.54 5.44 1000000 0 586.25/586.45 c 163 323 363.50 62.80 5.79 1000000 0 587.45/587.68 c 125 374 331.56 63.93 5.19 1000000 0 588.75/588.91 c 149 411 340.63 59.17 5.76 1000000 0 589.95/590.13 c 141 330 349.39 65.99 5.30 1000000 0 591.15/591.37 c 124 366 352.18 70.44 5.00 1000000 0 592.45/592.60 c 189 393 357.56 70.04 5.11 1000000 0 593.65/593.83 c 178 345 353.98 57.19 6.19 1000000 0 594.86/595.06 c 166 284 349.58 63.75 5.48 1000000 0 596.06/596.29 c 178 420 351.24 60.22 5.83 1000000 0 597.35/597.52 c 117 365 353.47 67.37 5.25 1000000 0 598.55/598.75 c 164 292 343.88 66.55 5.17 1000000 0 599.75/599.98 c 183 390 351.76 62.99 5.58 1000000 0 601.05/601.21 c 151 353 346.88 66.02 5.25 1000000 0 602.25/602.44 c 131 362 336.66 71.07 4.74 1000000 0 603.45/603.67 c 170 280 341.74 64.06 5.33 1000000 0 604.75/604.90 c 185 301 357.76 62.81 5.70 1000000 0 605.95/606.13 c 163 291 354.20 65.30 5.42 1000000 0 607.15/607.36 c 190 289 354.75 67.58 5.25 1000000 0 608.35/608.59 c 164 460 345.00 62.02 5.56 1000000 0 609.65/609.82 c 163 392 343.76 62.50 5.50 1000000 0 610.85/611.05 c 133 300 346.78 66.46 5.22 1000000 0 612.04/612.28 c 113 448 344.71 64.38 5.35 1000000 0 613.34/613.51 c 146 326 345.76 66.71 5.18 1000000 0 614.54/614.74 c 135 377 345.43 65.49 5.27 1000000 0 615.75/615.97 c 127 316 345.68 71.79 4.82 1000000 0 617.04/617.20 c 153 391 352.72 68.50 5.15 1000000 0 618.24/618.44 c 171 312 364.44 72.74 5.01 1000000 0 619.44/619.67 c 164 361 354.37 68.25 5.19 1000000 0 620.74/620.90 c 164 339 354.66 77.48 4.58 1000000 0 621.94/622.13 c 164 298 345.59 72.95 4.74 1000000 0 623.14/623.36 c 179 244 353.33 68.53 5.16 1000000 0 624.34/624.59 c 143 197 345.55 66.79 5.17 1000000 0 625.65/625.82 c 149 383 343.24 71.48 4.80 1000000 0 626.85/627.05 c 149 416 347.68 69.19 5.03 1000000 0 628.04/628.29 c 148 517 358.94 64.13 5.60 1000000 0 629.34/629.52 c 156 427 352.35 71.21 4.95 1000000 0 630.54/630.75 c 145 406 349.53 67.27 5.20 1000000 0 631.74/631.98 c 137 313 352.45 69.25 5.09 1000000 0 633.04/633.21 c 135 376 354.07 71.86 4.93 1000000 0 634.24/634.44 c 151 453 349.89 65.87 5.31 1000000 0 635.44/635.66 c 172 279 341.23 64.48 5.29 1000000 0 636.65/636.90 c 149 333 348.75 66.38 5.25 1000000 0 637.94/638.13 c 176 413 346.51 55.66 6.23 1000000 0 639.14/639.36 c 168 346 344.59 55.63 6.19 1000000 0 640.34/640.59 c 154 346 338.14 63.94 5.29 1000000 0 641.64/641.82 c 159 271 348.02 61.12 5.69 1000000 0 642.84/643.05 c 149 360 349.88 71.01 4.93 1000000 0 644.04/644.28 c 163 340 345.51 68.32 5.06 1000000 0 645.34/645.51 c 159 291 341.93 62.84 5.44 1000000 0 646.54/646.74 c 162 357 354.10 63.31 5.59 1000000 0 647.74/647.97 c 180 337 354.10 60.58 5.84 1000000 0 649.04/649.20 c 164 343 364.79 69.04 5.28 1000000 0 650.24/650.44 c 149 403 352.65 72.39 4.87 1000000 0 651.43/651.67 c 139 356 343.95 68.75 5.00 1000000 0 652.73/652.90 c 154 316 372.33 63.31 5.88 1000000 0 653.93/654.13 c 151 459 357.51 65.27 5.48 1000000 0 655.13/655.36 c 167 304 345.11 64.79 5.33 1000000 0 656.33/656.59 c 156 382 349.66 68.16 5.13 1000000 0 657.64/657.83 c 151 280 339.91 69.53 4.89 1000000 0 658.83/659.06 c 161 410 349.18 67.23 5.19 1000000 0 660.03/660.29 c 177 351 346.89 61.77 5.62 1000000 0 661.33/661.52 c 162 369 355.26 65.50 5.42 1000000 0 662.53/662.75 c 162 271 343.85 63.02 5.46 1000000 0 663.73/663.98 c 193 317 355.38 60.69 5.86 1000000 0 665.03/665.21 c 160 246 346.59 68.81 5.04 1000000 0 666.23/666.44 c 152 318 349.24 63.20 5.53 1000000 0 667.44/667.67 c 169 334 340.81 62.61 5.44 1000000 0 668.73/668.90 c 149 431 347.93 65.93 5.28 1000000 0 669.93/670.13 c 172 301 361.83 66.51 5.44 1000000 0 671.13/671.37 c 160 333 355.60 70.51 5.04 1000000 0 672.43/672.60 c 139 363 337.61 71.36 4.73 1000000 0 673.63/673.83 c 169 337 333.91 70.49 4.74 1000000 0 674.83/675.05 c 171 296 350.39 67.26 5.21 1000000 0 676.03/676.29 c 161 421 357.44 61.15 5.84 1000000 0 677.33/677.52 c 162 303 350.17 66.74 5.25 1000000 0 678.53/678.74 c 135 412 350.11 64.30 5.44 1000000 0 679.73/679.97 c 140 396 349.75 70.64 4.95 1000000 0 681.03/681.21 c 171 391 363.62 69.17 5.26 1000000 0 682.23/682.44 c 152 351 349.59 67.32 5.19 1000000 0 683.43/683.67 c 122 409 348.71 68.29 5.11 1000000 0 684.72/684.91 c 166 333 349.82 62.95 5.56 1000000 0 685.92/686.14 c 157 445 355.99 71.70 4.97 1000000 0 687.12/687.37 c 180 394 356.66 64.23 5.55 1000000 0 688.43/688.61 c 195 442 374.65 62.32 6.01 1000000 0 689.62/689.84 c 153 383 349.70 69.36 5.04 1000000 0 690.82/691.07 c 177 310 353.07 68.30 5.17 1000000 0 692.12/692.30 c 170 397 349.43 57.01 6.13 1000000 0 693.32/693.53 c 157 331 349.87 69.43 5.04 1000000 0 694.52/694.76 c 128 327 350.84 74.18 4.73 1000000 0 695.72/695.99 c 164 323 364.55 64.65 5.64 1000000 0 697.02/697.23 c 144 269 356.41 64.71 5.51 1000000 0 698.23/698.46 c 168 343 348.30 61.96 5.62 1000000 0 699.43/699.69 c 160 422 357.13 72.75 4.91 1000000 0 700.72/700.92 c 126 440 354.57 72.23 4.91 1000000 0 701.92/702.15 c 163 279 337.42 69.92 4.83 1000000 0 703.12/703.38 c 176 401 359.02 66.57 5.39 1000000 0 704.42/704.61 c 155 337 346.56 59.94 5.78 1000000 0 705.62/705.84 c 148 207 350.11 64.95 5.39 1000000 0 706.82/707.08 c 165 313 346.70 64.31 5.39 1000000 0 708.13/708.31 c 114 271 342.90 68.93 4.97 1000000 0 709.33/709.53 c 155 358 348.47 65.21 5.34 1000000 0 710.52/710.77 c 183 318 351.52 63.22 5.56 1000000 0 711.82/712.00 c 165 321 345.52 63.27 5.46 1000000 0 713.02/713.23 c 174 394 356.88 65.45 5.45 1000000 0 714.22/714.47 c 185 490 361.40 62.14 5.82 1000000 0 715.52/715.70 c 113 309 359.88 66.40 5.42 1000000 0 716.72/716.93 c 149 298 340.94 68.62 4.97 1000000 0 717.92/718.16 c 174 381 335.65 64.50 5.20 1000000 0 719.12/719.39 c 145 406 341.98 58.95 5.80 1000000 0 720.42/720.62 c 163 500 358.96 69.50 5.17 1000000 0 721.62/721.85 c 166 366 342.16 62.48 5.48 1000000 0 722.82/723.08 c 163 320 355.90 68.25 5.21 1000000 0 724.12/724.31 c 163 256 354.02 68.73 5.15 1000000 0 725.32/725.54 c 195 315 345.81 64.12 5.39 1000000 0 726.52/726.77 c 165 363 357.52 74.45 4.80 1000000 0 727.81/728.00 c 178 312 350.61 63.13 5.55 1000000 0 729.02/729.23 c 153 312 351.79 64.95 5.42 1000000 0 730.22/730.47 c 179 409 368.76 60.65 6.08 1000000 0 731.51/731.70 c 125 334 342.36 74.11 4.62 1000000 0 732.71/732.93 c 151 350 350.44 62.67 5.59 1000000 0 733.91/734.16 c 156 316 356.58 68.93 5.17 1000000 0 735.21/735.40 c 141 330 363.87 67.72 5.37 1000000 0 736.41/736.63 c 162 377 344.50 67.55 5.10 1000000 0 737.61/737.86 c 182 346 347.67 69.47 5.00 1000000 0 738.81/739.09 c 154 396 343.74 62.63 5.49 1000000 0 740.12/740.32 c 165 370 344.55 74.25 4.64 1000000 0 741.31/741.55 c 175 364 353.87 66.84 5.29 1000000 0 742.51/742.78 c 157 306 351.53 62.89 5.59 1000000 0 743.81/744.01 c 169 433 346.08 62.04 5.58 1000000 0 745.01/745.24 c 168 263 365.75 74.97 4.88 1000000 0 746.21/746.47 c 165 363 354.30 74.42 4.76 1000000 0 747.51/747.71 c 161 297 353.86 72.08 4.91 1000000 0 748.71/748.94 c 157 390 359.46 64.04 5.61 1000000 0 749.92/750.18 c 147 318 369.35 69.22 5.34 1000000 0 751.21/751.41 c 137 280 350.21 64.41 5.44 1000000 0 752.41/752.64 c 128 388 344.59 62.21 5.54 1000000 0 753.61/753.87 c 128 293 351.26 78.23 4.49 1000000 0 754.91/755.10 c 145 333 356.56 65.11 5.48 1000000 0 756.11/756.33 c 177 337 348.08 59.56 5.84 1000000 0 757.31/757.56 c 151 318 356.93 64.81 5.51 1000000 0 758.61/758.80 c 180 362 360.95 70.64 5.11 1000000 0 759.81/760.03 c 200 355 347.28 61.19 5.68 1000000 0 761.02/761.27 c 187 364 352.54 67.75 5.20 1000000 0 762.31/762.50 c 188 343 344.73 63.98 5.39 1000000 0 763.51/763.73 c 162 369 360.77 56.61 6.37 1000000 0 764.71/764.96 c 171 387 347.20 72.48 4.79 1000000 0 765.91/766.18 c 150 318 340.41 61.53 5.53 1000000 0 767.21/767.41 c 158 394 340.93 67.20 5.07 1000000 0 768.41/768.65 c 166 305 357.32 62.94 5.68 1000000 0 769.61/769.88 c 178 316 354.41 70.72 5.01 1000000 0 770.91/771.11 c 159 397 339.12 63.79 5.32 1000000 0 772.10/772.34 c 168 346 359.81 66.65 5.40 1000000 0 773.30/773.58 c 198 344 354.79 65.02 5.46 1000000 0 774.60/774.81 c 141 383 334.44 70.80 4.72 1000000 0 775.80/776.04 c 106 352 347.41 72.29 4.81 1000000 0 777.00/777.27 c 165 332 344.38 68.83 5.00 1000000 0 778.30/778.50 c 176 303 344.41 66.51 5.18 1000000 0 779.50/779.73 c 159 305 363.96 73.65 4.94 1000000 0 780.71/780.96 c 189 310 353.82 62.01 5.71 1000000 0 781.91/782.19 c 173 347 360.92 62.68 5.76 1000000 0 783.20/783.42 c 146 382 342.31 67.06 5.10 1000000 0 784.40/784.65 c 177 345 348.05 64.54 5.39 1000000 0 785.60/785.88 c 185 437 350.45 71.99 4.87 1000000 0 786.90/787.11 c 186 269 351.22 60.87 5.77 1000000 0 788.10/788.34 c 155 376 346.04 71.15 4.86 1000000 0 789.30/789.57 c 172 344 345.40 67.35 5.13 1000000 0 790.61/790.80 c 172 379 345.84 64.20 5.39 1000000 0 791.81/792.03 c 139 310 348.37 65.89 5.29 1000000 0 793.00/793.26 c 142 377 348.93 73.93 4.72 1000000 0 794.30/794.50 c 132 303 351.61 71.88 4.89 1000000 0 795.50/795.73 c 172 337 354.72 65.64 5.40 1000000 0 796.70/796.96 c 149 307 356.89 77.08 4.63 1000000 0 797.90/798.19 c 169 362 350.64 68.96 5.08 1000000 0 799.20/799.42 c 149 228 348.64 68.67 5.08 1000000 0 800.40/800.66 c 136 400 348.14 75.74 4.60 1000000 0 801.61/801.88 c 149 380 349.49 61.47 5.69 1000000 0 802.90/803.11 c 162 326 350.90 64.72 5.42 1000000 0 804.10/804.35 c 162 434 352.26 60.55 5.82 1000000 0 805.30/805.57 c 153 342 334.63 64.83 5.16 1000000 0 806.60/806.81 c 146 386 352.06 59.70 5.90 1000000 0 807.80/808.04 c 163 362 343.77 69.47 4.95 1000000 0 809.00/809.27 c 159 299 353.71 63.79 5.54 1000000 0 810.30/810.50 c 148 382 347.03 70.60 4.92 1000000 0 811.50/811.73 c 133 265 344.25 69.60 4.95 1000000 0 812.70/812.96 c 180 267 349.86 65.95 5.30 1000000 0 813.89/814.19 c 156 362 355.02 71.34 4.98 1000000 0 815.19/815.42 c 134 379 345.03 71.38 4.83 1000000 0 816.39/816.66 c 186 412 357.91 64.34 5.56 1000000 0 817.59/817.89 c 177 343 359.22 72.57 4.95 1000000 0 818.89/819.12 c 167 379 347.15 62.87 5.52 1000000 0 820.09/820.35 c 160 376 363.97 66.30 5.49 1000000 0 821.29/821.59 c 182 310 367.91 66.93 5.50 1000000 0 822.60/822.82 c 158 343 360.73 63.37 5.69 1000000 0 823.79/824.05 c 161 363 352.83 64.82 5.44 1000000 0 824.99/825.29 c 184 356 357.45 62.89 5.68 1000000 0 826.29/826.52 c 183 388 345.47 63.36 5.45 1000000 0 827.49/827.75 c 188 241 351.11 64.03 5.48 1000000 0 828.69/828.98 c 173 417 350.61 64.78 5.41 1000000 0 829.99/830.22 c 149 251 340.45 66.16 5.15 1000000 0 831.19/831.45 c 165 302 344.48 63.37 5.44 1000000 0 832.40/832.68 c 174 303 350.89 61.80 5.68 1000000 0 833.69/833.91 c 166 328 355.12 64.18 5.53 1000000 0 834.89/835.14 c 191 442 354.23 64.38 5.50 1000000 0 836.09/836.37 c 161 272 344.81 66.63 5.18 1000000 0 837.39/837.60 c 146 348 344.11 68.94 4.99 1000000 0 838.59/838.83 c 172 379 349.14 57.43 6.08 1000000 0 839.79/840.07 c 137 405 349.57 62.73 5.57 1000000 0 841.09/841.30 c 110 405 351.45 67.48 5.21 1000000 0 842.29/842.53 c 142 181 348.51 70.90 4.92 1000000 0 843.49/843.76 c 155 354 355.99 66.02 5.39 1000000 0 844.69/844.99 c 149 321 346.37 70.23 4.93 1000000 0 845.99/846.22 c 170 316 354.87 72.00 4.93 1000000 0 847.19/847.45 c 193 278 359.28 63.53 5.66 1000000 0 848.38/848.68 c 162 305 342.32 60.27 5.68 1000000 0 849.68/849.91 c 147 315 334.33 64.07 5.22 1000000 0 850.88/851.14 c 130 355 344.72 64.26 5.36 1000000 0 852.08/852.37 c 174 525 352.52 66.17 5.33 1000000 0 853.39/853.61 c 190 520 361.42 61.42 5.88 1000000 0 854.58/854.84 c 146 331 343.48 64.13 5.36 1000000 0 855.78/856.07 c 164 298 342.40 60.95 5.62 1000000 0 857.08/857.30 c 153 327 345.42 54.08 6.39 1000000 0 858.28/858.53 c 156 259 349.86 65.36 5.35 1000000 0 859.48/859.76 c 118 386 358.24 74.63 4.80 1000000 0 860.68/860.99 c 185 226 353.78 66.06 5.36 1000000 0 861.98/862.23 c 153 382 354.15 66.35 5.34 1000000 0 863.19/863.46 c 132 417 364.27 64.37 5.66 1000000 0 864.39/864.69 c 178 367 357.15 66.45 5.37 1000000 0 865.68/865.92 c 166 356 354.13 63.42 5.58 1000000 0 866.88/867.16 c 165 296 361.53 66.91 5.40 1000000 0 868.08/868.39 c 114 369 332.98 65.14 5.11 1000000 0 869.38/869.61 c 135 301 343.85 72.19 4.76 1000000 0 870.58/870.84 c 153 284 351.04 60.97 5.76 1000000 0 871.78/872.08 c 156 353 357.40 61.44 5.82 1000000 0 873.09/873.31 c 151 457 349.67 73.36 4.77 1000000 0 874.29/874.54 c 184 294 353.23 64.20 5.50 1000000 0 875.48/875.77 c 158 344 344.79 79.28 4.35 1000000 0 876.78/877.01 c 175 296 346.58 71.82 4.83 1000000 0 877.98/878.24 c 153 278 345.46 65.65 5.26 1000000 0 879.18/879.47 c 196 415 356.65 62.92 5.67 1000000 0 880.48/880.70 c 158 362 352.93 68.15 5.18 1000000 0 881.68/881.94 c 168 313 357.76 72.63 4.93 1000000 0 882.88/883.17 c 183 333 362.20 65.43 5.54 1000000 0 884.18/884.40 c 149 369 342.71 66.30 5.17 1000000 0 885.38/885.63 c 165 436 349.32 68.34 5.11 1000000 0 886.58/886.87 c 181 344 354.52 67.78 5.23 1000000 0 887.88/888.10 c 161 368 355.12 63.67 5.58 1000000 0 889.07/889.33 c 115 448 351.46 67.01 5.24 1000000 0 890.27/890.56 c 153 381 346.14 69.42 4.99 1000000 0 891.47/891.79 c 157 388 343.41 62.11 5.53 1000000 0 892.77/893.02 c 154 256 348.47 63.86 5.46 1000000 0 893.98/894.25 c 203 300 362.18 62.32 5.81 1000000 0 895.18/895.49 c 146 419 351.82 66.22 5.31 1000000 0 896.47/896.72 c 173 273 364.46 60.61 6.01 1000000 0 897.67/897.95 c 170 345 348.84 59.35 5.88 1000000 0 898.87/899.19 c 123 456 353.03 66.64 5.30 1000000 0 900.17/900.42 c 143 361 352.30 66.71 5.28 1000000 0 901.37/901.65 c 160 397 344.75 67.71 5.09 1000000 0 902.57/902.88 c 173 287 349.39 67.62 5.17 1000000 0 903.88/904.11 c 172 330 346.98 65.00 5.34 1000000 0 905.08/905.34 c 147 267 347.61 59.22 5.87 1000000 0 906.27/906.58 c 202 481 357.73 56.54 6.33 1000000 0 907.57/907.81 c 181 329 354.29 76.58 4.63 1000000 0 908.77/909.04 c 179 359 354.99 71.96 4.93 1000000 0 909.97/910.27 c 148 436 355.21 72.23 4.92 1000000 0 911.27/911.51 c 166 415 363.93 65.88 5.52 1000000 0 912.47/912.74 c 137 290 351.69 65.19 5.39 1000000 0 913.67/913.97 c 153 327 348.25 69.36 5.02 1000000 0 914.88/915.20 c 133 417 356.82 69.82 5.11 1000000 0 916.17/916.43 c 185 398 366.08 64.26 5.70 1000000 0 917.37/917.67 c 178 329 365.26 68.67 5.32 1000000 0 918.67/918.90 c 131 299 336.56 72.44 4.65 1000000 0 919.87/920.13 c 138 328 343.74 78.71 4.37 1000000 0 921.07/921.36 c 173 310 348.42 65.59 5.31 1000000 0 922.27/922.59 c 155 390 358.39 61.61 5.82 1000000 0 923.57/923.82 c 115 302 346.38 69.04 5.02 1000000 0 924.77/925.05 c 149 461 357.32 67.06 5.33 1000000 0 925.97/926.29 c 191 346 352.06 65.62 5.37 1000000 0 927.27/927.52 c 167 446 363.13 68.45 5.31 1000000 0 928.46/928.75 c 126 403 353.21 66.70 5.30 1000000 0 929.66/929.98 c 143 396 350.76 65.82 5.33 1000000 0 930.96/931.22 c 186 227 359.72 72.22 4.98 1000000 0 932.17/932.45 c 145 327 336.16 66.91 5.02 1000000 0 933.36/933.68 c 177 274 353.37 69.55 5.08 1000000 0 934.67/934.90 c 150 317 347.11 66.93 5.19 1000000 0 935.87/936.13 c 148 316 337.70 63.14 5.35 1000000 0 937.06/937.37 c 175 336 343.53 68.99 4.98 1000000 0 938.36/938.60 c 153 332 349.91 72.63 4.82 1000000 0 939.56/939.83 c 169 327 352.96 59.60 5.92 1000000 0 940.76/941.06 c 163 355 355.54 70.18 5.07 1000000 0 941.96/942.29 c 144 362 342.79 60.48 5.67 1000000 0 943.26/943.52 c 189 348 352.59 61.87 5.70 1000000 0 944.46/944.75 c 144 333 347.09 64.00 5.42 1000000 0 945.67/945.98 c 160 270 344.37 61.67 5.58 1000000 0 946.96/947.21 c 181 375 345.54 65.13 5.31 1000000 0 948.16/948.45 c 152 297 366.62 68.60 5.34 1000000 0 949.36/949.68 c 148 326 348.35 64.98 5.36 1000000 0 950.66/950.90 c 145 315 337.83 61.58 5.49 1000000 0 951.86/952.13 c 168 262 341.53 67.76 5.04 1000000 0 953.06/953.36 c 162 208 340.04 64.55 5.27 1000000 0 954.26/954.60 c 167 360 350.16 72.73 4.81 1000000 0 955.57/955.82 c 175 257 350.20 68.29 5.13 1000000 0 956.77/957.06 c 150 357 346.15 71.48 4.84 1000000 0 957.96/958.29 c 182 404 358.11 72.91 4.91 1000000 0 959.26/959.52 c 175 471 350.39 70.10 5.00 1000000 0 960.46/960.76 c 167 294 352.68 63.97 5.51 1000000 0 961.66/961.98 c 137 380 351.19 71.72 4.90 1000000 0 962.96/963.22 c 181 357 364.37 64.61 5.64 1000000 0 964.16/964.45 c 194 340 353.79 62.38 5.67 1000000 0 965.36/965.69 c 163 375 362.03 74.06 4.89 1000000 0 966.66/966.92 c 153 294 344.51 65.48 5.26 1000000 0 967.86/968.15 c 152 346 346.48 67.77 5.11 1000000 0 969.06/969.38 c 154 451 365.92 61.47 5.95 1000000 0 970.36/970.61 c 171 417 351.74 63.78 5.51 1000000 0 971.56/971.84 c 170 396 345.42 68.33 5.06 1000000 0 972.76/973.07 c 149 451 347.37 70.11 4.95 1000000 0 974.05/974.30 c 129 368 346.81 72.47 4.79 1000000 0 975.25/975.53 c 174 373 347.59 70.27 4.95 1000000 0 976.46/976.77 c 189 364 365.57 63.80 5.73 1000000 0 977.75/978.00 c 176 292 346.38 61.04 5.67 1000000 0 978.95/979.23 c 161 316 347.75 65.01 5.35 1000000 0 980.15/980.46 c 175 419 360.53 58.33 6.18 1000000 0 981.35/981.69 c 183 340 353.55 68.05 5.20 1000000 0 982.65/982.92 c 165 249 345.48 73.69 4.69 1000000 0 983.85/984.16 c 161 434 362.16 65.11 5.56 1000000 0 985.05/985.39 c 177 357 343.90 60.09 5.72 1000000 0 986.36/986.62 c 153 224 342.36 64.93 5.27 1000000 0 987.56/987.85 c 150 284 358.07 61.19 5.85 1000000 0 988.75/989.08 c 165 357 349.28 63.39 5.51 1000000 0 990.05/990.32 c 170 296 353.85 69.27 5.11 1000000 0 991.25/991.54 c 148 406 345.98 70.96 4.88 1000000 0 992.45/992.77 c 163 405 353.56 72.64 4.87 1000000 0 993.75/994.01 c 171 460 362.24 65.37 5.54 1000000 0 994.95/995.24 c 124 263 351.03 73.32 4.79 1000000 0 996.15/996.47 c 142 402 346.37 71.55 4.84 1000000 0 997.36/997.70 c 146 334 350.93 64.03 5.48 1000000 0 998.65/998.93 c 167 384 349.43 61.52 5.68 1000000 0 999.85/1000.16 c 176 334 348.55 71.54 4.87 1000000 0 1001.05/1001.39 c 136 367 347.63 68.44 5.08 1000000 0 1002.35/1002.62 c 133 253 359.84 61.03 5.90 1000000 0 1003.55/1003.85 c 129 248 337.74 61.92 5.45 1000000 0 1004.75/1005.08 c 171 302 347.19 64.64 5.37 1000000 0 1006.05/1006.32 c 183 283 360.82 68.79 5.24 1000000 0 1007.25/1007.55 c 142 291 351.28 63.39 5.54 1000000 0 1008.45/1008.78 c 163 292 346.69 62.36 5.56 1000000 0 1009.75/1010.01 c 159 293 362.12 67.28 5.38 1000000 0 1010.95/1011.24 c 175 288 355.06 68.63 5.17 1000000 0 1012.15/1012.47 c 172 318 351.28 69.53 5.05 1000000 0 1013.44/1013.70 c 159 403 347.75 67.91 5.12 1000000 0 1014.64/1014.93 c 147 471 342.68 65.04 5.27 1000000 0 1015.84/1016.17 c 187 337 353.16 65.04 5.43 1000000 0 1017.15/1017.40 c 179 383 356.73 74.37 4.80 1000000 0 1018.35/1018.63 c 170 299 346.16 71.15 4.87 1000000 0 1019.54/1019.86 c 177 306 357.12 62.45 5.72 1000000 0 1020.74/1021.10 c 180 327 351.33 57.73 6.09 1000000 0 1022.04/1022.33 c 159 361 347.64 67.52 5.15 1000000 0 1023.24/1023.56 c 111 317 344.53 66.28 5.20 1000000 0 1024.44/1024.79 c 119 406 347.74 68.61 5.07 1000000 0 1025.74/1026.02 c 99 386 350.27 71.73 4.88 1000000 0 1026.94/1027.25 c 175 344 344.68 66.61 5.17 1000000 0 1028.15/1028.48 c 176 319 346.23 61.16 5.66 1000000 0 1029.44/1029.71 c 170 407 349.77 69.19 5.05 1000000 0 1030.64/1030.93 c 135 345 346.43 65.70 5.27 1000000 0 1031.84/1032.16 c 148 400 353.72 62.89 5.62 1000000 0 1033.14/1033.40 c 169 315 352.23 62.50 5.64 1000000 0 1034.34/1034.62 c 149 380 341.45 65.39 5.22 1000000 0 1035.54/1035.85 c 155 439 345.39 63.77 5.42 1000000 0 1036.74/1037.08 c 142 296 343.71 82.10 4.19 1000000 0 1038.05/1038.31 c 145 273 328.61 65.16 5.04 1000000 0 1039.25/1039.54 c 131 305 340.67 66.87 5.09 1000000 0 1040.44/1040.77 c 182 308 356.08 60.66 5.87 1000000 0 1041.74/1042.00 c 146 374 352.08 72.72 4.84 1000000 0 1042.94/1043.23 c 178 425 349.41 66.08 5.29 1000000 0 1044.14/1044.46 c 183 299 352.25 61.37 5.74 1000000 0 1045.44/1045.70 c 160 367 361.11 63.59 5.68 1000000 0 1046.64/1046.93 c 187 310 358.31 61.04 5.87 1000000 0 1047.84/1048.16 c 167 338 349.82 69.22 5.05 1000000 0 1049.04/1049.39 c 134 316 347.83 72.36 4.81 1000000 0 1050.34/1050.63 c 183 387 366.57 65.86 5.57 1000000 0 1051.54/1051.87 c 182 432 364.59 68.36 5.33 1000000 0 1052.83/1053.11 c 158 320 355.77 73.88 4.82 1000000 0 1054.03/1054.34 c 185 344 353.38 67.84 5.21 1000000 0 1055.23/1055.57 c 148 316 344.89 67.33 5.12 1000000 0 1056.53/1056.80 c 161 345 346.00 65.34 5.30 1000000 0 1057.73/1058.03 c 144 382 349.28 65.05 5.37 1000000 0 1058.93/1059.27 c 154 368 357.81 68.18 5.25 1000000 0 1060.23/1060.50 c 165 382 354.99 75.99 4.67 1000000 0 1061.42/1061.73 c 130 270 352.55 68.90 5.12 1000000 0 1062.63/1062.96 c 162 291 352.55 64.52 5.46 1000000 0 1063.83/1064.19 c 104 261 355.08 70.09 5.07 1000000 0 1065.13/1065.43 c 181 299 359.00 61.97 5.79 1000000 0 1066.32/1066.65 c 114 361 342.40 69.15 4.95 1000000 0 1067.52/1067.89 c 160 315 353.93 66.76 5.30 1000000 0 1068.83/1069.12 c 173 348 364.24 58.79 6.20 1000000 0 1070.03/1070.35 c 128 343 350.84 62.26 5.64 1000000 0 1071.22/1071.58 c 133 309 361.75 65.76 5.50 1000000 0 1072.52/1072.81 c 145 333 337.35 67.49 5.00 1000000 0 1073.72/1074.04 c 142 263 338.20 61.81 5.47 1000000 0 1074.92/1075.27 c 139 349 356.07 63.49 5.61 1000000 0 1076.22/1076.50 c 133 342 343.83 60.50 5.68 1000000 0 1077.42/1077.73 c 158 286 352.99 69.38 5.09 1000000 0 1078.62/1078.96 c 182 347 364.25 71.03 5.13 1000000 0 1079.83/1080.19 c 141 398 347.47 64.04 5.43 1000000 0 1081.12/1081.42 c 124 283 342.42 67.65 5.06 1000000 0 1082.32/1082.65 c 158 187 355.34 63.58 5.59 1000000 0 1083.52/1083.89 c 152 265 348.67 63.66 5.48 1000000 0 1084.82/1085.12 c 172 371 359.94 61.12 5.89 1000000 0 1086.02/1086.35 c 165 323 357.77 67.14 5.33 1000000 0 1087.22/1087.58 c 146 282 346.82 66.16 5.24 1000000 0 1088.52/1088.81 c 183 333 359.24 59.72 6.02 1000000 0 1089.72/1090.04 c 115 355 339.20 73.06 4.64 1000000 0 1090.92/1091.27 c 134 335 336.03 71.17 4.72 1000000 0 1092.22/1092.50 c 166 307 343.58 62.02 5.54 1000000 0 1093.42/1093.73 c 158 356 351.75 64.09 5.49 1000000 0 1094.62/1094.96 c 138 383 356.20 75.98 4.69 1000000 0 1095.92/1096.20 c 151 197 349.10 65.90 5.30 1000000 0 1097.12/1097.43 c 147 365 347.21 71.88 4.83 1000000 0 1098.32/1098.66 c 169 385 348.80 73.75 4.73 1000000 0 1099.51/1099.89 c 153 443 352.99 66.92 5.27 1000000 0 1100.82/1101.12 c 173 267 349.05 65.67 5.32 1000000 0 1102.01/1102.35 c 171 474 347.19 58.17 5.97 1000000 0 1103.21/1103.58 c 107 379 345.01 64.06 5.39 1000000 0 1104.51/1104.81 c 153 301 346.11 59.77 5.79 1000000 0 1105.71/1106.04 c 153 294 350.16 70.81 4.95 1000000 0 1106.91/1107.26 c 130 395 338.72 67.07 5.05 1000000 0 1108.11/1108.50 c 128 322 364.51 66.36 5.49 1000000 0 1109.41/1109.72 c 171 244 340.89 71.51 4.77 1000000 0 1110.62/1110.96 c 160 315 363.12 76.62 4.74 1000000 0 1111.82/1112.20 c 138 315 347.96 73.10 4.76 1000000 0 1113.11/1113.42 c 161 239 343.03 67.99 5.05 1000000 0 1114.31/1114.66 c 141 355 360.22 72.92 4.94 1000000 0 1115.51/1115.89 c 176 316 363.43 73.31 4.96 1000000 0 1116.81/1117.12 c 106 361 344.50 64.56 5.34 1000000 0 1118.01/1118.35 c 162 296 341.28 65.28 5.23 1000000 0 1119.21/1119.58 c 111 359 351.05 64.13 5.47 1000000 0 1120.51/1120.81 c 168 365 347.93 64.99 5.35 1000000 0 1121.72/1122.04 c 116 381 352.79 75.56 4.67 1000000 0 1122.91/1123.27 c 155 332 349.85 69.96 5.00 1000000 0 1124.21/1124.50 c 149 357 348.38 66.55 5.23 1000000 0 1125.41/1125.74 c 168 425 367.73 71.28 5.16 1000000 0 1126.61/1126.97 c 183 294 353.59 59.22 5.97 1000000 0 1127.91/1128.20 c 175 336 359.38 66.26 5.42 1000000 0 1129.11/1129.43 c 168 383 351.83 70.21 5.01 1000000 0 1130.31/1130.66 c 183 349 354.70 66.68 5.32 1000000 0 1131.51/1131.89 c 133 491 342.08 81.01 4.22 1000000 0 1132.81/1133.12 c 131 286 356.04 65.61 5.43 1000000 0 1134.01/1134.35 c 193 374 356.88 68.11 5.24 1000000 0 1135.21/1135.58 c 166 358 343.22 64.47 5.32 1000000 0 1136.51/1136.82 c 131 287 353.43 71.71 4.93 1000000 0 1137.70/1138.04 c 166 272 346.30 61.52 5.63 1000000 0 1138.90/1139.28 c 163 363 360.76 67.90 5.31 1000000 0 1140.20/1140.51 c 111 253 344.11 69.14 4.98 1000000 0 1141.41/1141.73 c 114 344 333.57 68.76 4.85 1000000 0 1142.61/1142.96 c 139 292 337.31 65.73 5.13 1000000 0 1143.80/1144.20 c 145 342 348.26 65.65 5.30 1000000 0 1145.10/1145.43 c 162 279 352.67 73.22 4.82 1000000 0 1146.30/1146.66 c 192 243 348.36 58.15 5.99 1000000 0 1147.50/1147.89 c 193 316 357.62 62.84 5.69 1000000 0 1148.80/1149.12 c 193 352 351.87 74.37 4.73 1000000 0 1150.00/1150.35 c 170 293 349.73 70.36 4.97 1000000 0 1151.20/1151.59 c 152 296 344.39 62.83 5.48 1000000 0 1152.51/1152.82 c 183 340 346.44 54.89 6.31 1000000 0 1153.70/1154.05 c 186 325 347.67 63.02 5.52 1000000 0 1154.90/1155.28 c 169 316 348.07 66.00 5.27 1000000 0 1156.20/1156.51 c 153 445 345.25 65.66 5.26 1000000 0 1157.40/1157.75 c 108 351 360.53 70.71 5.10 1000000 0 1158.60/1158.98 c 118 373 352.30 74.60 4.72 1000000 0 1159.90/1160.21 c 158 309 342.70 69.38 4.94 1000000 0 1161.10/1161.44 c 181 354 354.15 60.66 5.84 1000000 0 1162.31/1162.67 c 160 321 354.24 71.50 4.95 1000000 0 1163.60/1163.91 c 177 347 360.61 67.15 5.37 1000000 0 1164.80/1165.14 c 166 359 341.22 67.07 5.09 1000000 0 1166.00/1166.37 c 185 356 365.17 78.94 4.63 1000000 0 1167.30/1167.60 c 168 475 347.74 69.67 4.99 1000000 0 1168.50/1168.83 c 172 404 357.75 66.34 5.39 1000000 0 1169.70/1170.06 c 163 473 351.67 75.37 4.67 1000000 0 1170.90/1171.30 c 170 368 356.03 59.58 5.98 1000000 0 1172.20/1172.53 c 171 375 363.60 71.57 5.08 1000000 0 1173.40/1173.76 c 115 412 343.68 61.08 5.63 1000000 0 1174.60/1174.99 c 165 364 351.46 72.11 4.87 1000000 0 1175.90/1176.22 c 170 458 351.85 63.16 5.57 1000000 0 1177.10/1177.45 c 157 372 336.87 69.67 4.83 1000000 0 1178.29/1178.69 c 166 226 337.62 66.79 5.06 1000000 0 1179.59/1179.91 c 161 403 334.77 63.48 5.27 1000000 0 1180.79/1181.15 c 139 229 355.33 65.74 5.40 1000000 0 1181.99/1182.38 c 164 260 345.16 69.48 4.97 1000000 0 1183.30/1183.61 c 153 387 344.25 62.78 5.48 1000000 0 1184.49/1184.84 c 156 321 343.93 62.82 5.47 1000000 0 1185.69/1186.07 c 157 290 348.31 74.75 4.66 1000000 0 1186.99/1187.30 c 159 417 348.13 63.54 5.48 1000000 0 1188.19/1188.53 c 154 338 364.40 70.04 5.20 1000000 0 1189.39/1189.76 c 140 341 357.66 64.75 5.52 1000000 0 1190.69/1191.00 c 135 340 354.92 68.79 5.16 1000000 0 1191.89/1192.23 c 159 412 359.56 66.70 5.39 1000000 0 1193.10/1193.46 c 162 286 347.85 55.30 6.29 1000000 0 1194.30/1194.69 c 163 265 348.89 71.43 4.88 1000000 0 1195.59/1195.92 c 159 304 343.52 62.50 5.50 1000000 0 1196.79/1197.16 c 183 320 355.28 63.59 5.59 1000000 0 1197.99/1198.39 c 129 292 352.15 67.91 5.19 1000000 0 1199.29/1199.62 c 167 349 354.10 67.69 5.23 1000000 0 1200.49/1200.85 c 165 266 355.55 62.63 5.68 1000000 0 1201.69/1202.09 c 167 359 357.18 71.55 4.99 1000000 0 1203.00/1203.32 c 145 314 349.61 70.78 4.94 1000000 0 1204.20/1204.55 c 174 388 356.81 64.20 5.56 1000000 0 1205.39/1205.78 c 149 412 339.02 72.41 4.68 1000000 0 1206.69/1207.01 c 180 374 354.68 60.09 5.90 1000000 0 1207.89/1208.25 c 171 376 348.19 71.14 4.89 1000000 0 1209.09/1209.48 c 137 377 338.44 67.84 4.99 1000000 0 1210.39/1210.71 c 128 297 345.04 70.85 4.87 1000000 0 1211.59/1211.94 c 173 399 355.64 66.47 5.35 1000000 0 1212.79/1213.17 c 151 338 351.78 70.67 4.98 1000000 0 1213.99/1214.40 c 137 210 339.99 70.47 4.82 1000000 0 1215.29/1215.63 c 176 374 352.36 67.02 5.26 1000000 0 1216.49/1216.87 c 143 427 347.70 67.27 5.17 1000000 0 1217.78/1218.10 c 145 306 345.98 70.44 4.91 1000000 0 1218.98/1219.33 c 178 308 344.51 71.72 4.80 1000000 0 1220.18/1220.56 c 163 370 354.35 65.93 5.37 1000000 0 1221.38/1221.79 c 208 350 364.79 63.95 5.70 1000000 0 1222.68/1223.03 c 160 416 352.24 68.44 5.15 1000000 0 1223.89/1224.26 c 135 350 335.69 68.95 4.87 1000000 0 1225.09/1225.49 c 157 395 352.29 61.69 5.71 1000000 0 1226.38/1226.72 c 165 242 344.69 68.72 5.02 1000000 0 1227.58/1227.95 c 169 393 338.42 57.99 5.84 1000000 0 1228.78/1229.18 c 147 369 348.04 64.16 5.42 1000000 0 1230.08/1230.41 c 184 398 347.53 59.20 5.87 1000000 0 1231.28/1231.64 c 149 325 346.30 61.26 5.65 1000000 0 1232.48/1232.87 c 147 333 339.39 69.77 4.86 1000000 0 1233.79/1234.10 c 180 251 343.09 57.47 5.97 1000000 0 1234.99/1235.33 c 171 482 341.20 62.67 5.44 1000000 0 1236.18/1236.57 c 167 254 347.37 67.09 5.18 1000000 0 1237.48/1237.80 c 186 349 348.11 67.44 5.16 1000000 0 1238.68/1239.03 c 149 319 351.97 68.30 5.15 1000000 0 1239.88/1240.26 c 133 296 343.00 71.68 4.79 1000000 0 1241.08/1241.49 c 127 364 333.33 66.39 5.02 1000000 0 1242.38/1242.73 c 189 303 359.53 62.97 5.71 1000000 0 1243.58/1243.96 c 159 335 334.42 62.13 5.38 1000000 0 1244.79/1245.19 c 178 320 353.71 66.90 5.29 1000000 0 1246.08/1246.42 c 177 436 367.13 67.08 5.47 1000000 0 1247.28/1247.65 c 178 343 353.21 62.90 5.61 1000000 0 1248.48/1248.88 c 105 315 348.11 75.12 4.63 1000000 0 1249.78/1250.12 c 182 315 353.47 63.39 5.58 1000000 0 1250.98/1251.35 c 156 444 347.49 77.43 4.49 1000000 0 1252.18/1252.58 c 191 327 355.99 60.72 5.86 1000000 0 1253.48/1253.81 c 114 276 337.39 61.21 5.51 1000000 0 1254.68/1255.04 c 153 377 343.58 69.06 4.98 1000000 0 1255.88/1256.27 c 180 441 345.48 65.66 5.26 1000000 0 1257.18/1257.50 c 138 410 343.32 63.07 5.44 1000000 0 1258.38/1258.73 c 150 303 334.91 59.37 5.64 1000000 0 1259.58/1259.96 c 121 333 351.90 70.90 4.96 1000000 0 1260.78/1261.19 c 157 417 352.89 65.46 5.39 1000000 0 1262.08/1262.42 c 142 340 343.00 62.56 5.48 1000000 0 1263.27/1263.66 c 141 432 346.66 63.60 5.45 1000000 0 1264.47/1264.89 c 140 451 359.19 74.04 4.85 1000000 0 1265.78/1266.13 c 162 407 360.28 64.47 5.59 1000000 0 1266.97/1267.36 c 181 464 356.56 67.40 5.29 1000000 0 1268.17/1268.59 c 181 424 347.59 59.68 5.82 1000000 0 1269.47/1269.82 c 168 344 351.14 61.21 5.74 1000000 0 1270.67/1271.05 c 161 333 358.77 73.74 4.87 1000000 0 1271.87/1272.28 c 124 334 348.96 63.86 5.46 1000000 0 1273.17/1273.52 c 152 264 352.67 57.59 6.12 1000000 0 1274.37/1274.74 c 143 371 345.52 64.50 5.36 1000000 0 1275.58/1275.98 c 180 330 353.03 60.91 5.80 1000000 0 1276.87/1277.21 c 143 365 338.74 67.71 5.00 1000000 0 1278.07/1278.43 c 177 424 346.45 62.49 5.54 1000000 0 1279.27/1279.66 c 179 396 351.05 60.05 5.85 1000000 0 1280.57/1280.90 c 121 332 354.53 72.94 4.86 1000000 0 1281.77/1282.13 c 143 298 354.35 63.67 5.57 1000000 0 1282.97/1283.36 c 148 322 343.36 74.03 4.64 1000000 0 1284.17/1284.59 c 197 331 357.32 59.89 5.97 1000000 0 1285.48/1285.82 c 169 269 335.77 60.39 5.56 1000000 0 1286.68/1287.06 c 156 231 360.74 72.37 4.98 1000000 0 1287.97/1288.30 c 172 348 368.65 66.00 5.59 1000000 0 1289.17/1289.53 c 149 387 365.06 66.08 5.52 1000000 0 1290.37/1290.77 c 148 413 366.05 72.00 5.08 1000000 0 1291.67/1292.00 c 167 457 352.13 70.95 4.96 1000000 0 1292.87/1293.23 c 173 233 342.49 67.69 5.06 1000000 0 1294.07/1294.46 c 177 472 353.07 70.83 4.98 1000000 0 1295.27/1295.69 c 174 430 347.17 64.88 5.35 1000000 0 1296.57/1296.92 c 169 393 349.54 60.66 5.76 1000000 0 1297.77/1298.15 c 164 261 356.02 64.71 5.50 1000000 0 1298.97/1299.38 c 140 252 342.10 71.80 4.76 1000000 0 1300.27/1300.61 c 165 329 353.41 65.13 5.43 1000000 0 1301.47/1301.84 c 163 306 348.26 67.17 5.19 1000000 0 1302.66/1303.07 c 170 316 356.70 63.84 5.59 1000000 0 1303.96/1304.31 c 157 384 345.67 68.67 5.03 1000000 0 1305.16/1305.54 c 170 336 348.08 60.27 5.78 1000000 0 1306.37/1306.77 c 184 325 363.52 68.95 5.27 1000000 0 1307.66/1308.00 c 146 350 348.54 69.46 5.02 1000000 0 1308.86/1309.24 c 179 343 357.16 67.93 5.26 1000000 0 1310.06/1310.47 c 111 320 346.21 68.83 5.03 1000000 0 1311.36/1311.70 c 79 385 347.52 72.83 4.77 1000000 0 1312.56/1312.93 c 144 330 350.97 64.41 5.45 1000000 0 1313.76/1314.17 c 138 344 347.11 65.80 5.27 1000000 0 1314.96/1315.39 c 138 284 333.68 59.18 5.64 1000000 0 1316.27/1316.62 c 173 249 344.24 66.33 5.19 1000000 0 1317.47/1317.86 c 145 395 355.87 64.65 5.50 1000000 0 1318.66/1319.09 c 167 383 357.71 69.08 5.18 1000000 0 1319.96/1320.32 c 184 361 360.71 64.99 5.55 1000000 0 1321.16/1321.56 c 144 290 359.70 71.53 5.03 1000000 0 1322.36/1322.78 c 136 337 334.34 65.85 5.08 1000000 0 1323.66/1324.02 c 181 358 339.79 60.94 5.58 1000000 0 1324.86/1325.25 c 201 379 360.82 69.40 5.20 1000000 0 1326.06/1326.48 c 157 287 336.95 64.70 5.21 1000000 0 1327.37/1327.71 c 158 262 359.45 64.14 5.60 1000000 0 1328.56/1328.94 c 155 279 336.15 63.73 5.27 1000000 0 1329.76/1330.17 c 143 414 345.46 60.27 5.73 1000000 0 1331.06/1331.41 c 126 483 348.94 70.72 4.93 1000000 0 1332.26/1332.63 c 169 291 343.43 61.94 5.54 1000000 0 1333.46/1333.86 c 158 425 354.68 64.08 5.53 1000000 0 1334.66/1335.09 c 170 342 355.90 60.22 5.91 1000000 0 1335.96/1336.33 c 168 385 353.14 61.77 5.72 1000000 0 1337.16/1337.56 c 149 390 345.68 61.89 5.59 1000000 0 1338.36/1338.79 c 160 412 361.10 68.93 5.24 1000000 0 1339.66/1340.02 c 156 266 344.34 65.58 5.25 1000000 0 1340.86/1341.26 c 164 308 346.99 62.85 5.52 1000000 0 1342.06/1342.49 c 145 388 346.24 68.31 5.07 1000000 0 1343.35/1343.72 c 181 288 356.81 65.71 5.43 1000000 0 1344.55/1344.95 c 128 364 352.39 67.68 5.21 1000000 0 1345.75/1346.19 c 160 391 350.14 77.06 4.54 1000000 0 1347.06/1347.42 c 144 384 350.11 59.67 5.87 1000000 0 1348.26/1348.65 c 151 253 338.61 63.99 5.29 1000000 0 1349.45/1349.88 c 189 300 352.11 70.69 4.98 1000000 0 1350.75/1351.11 c 123 425 344.25 66.02 5.21 1000000 0 1351.95/1352.34 c 157 355 340.31 67.77 5.02 1000000 0 1353.15/1353.57 c 145 355 346.47 63.00 5.50 1000000 0 1354.45/1354.80 c 173 415 351.04 64.33 5.46 1000000 0 1355.65/1356.03 c 155 386 343.61 68.24 5.04 1000000 0 1356.85/1357.26 c 139 259 350.86 64.16 5.47 1000000 0 1358.06/1358.49 c 155 382 352.59 60.81 5.80 1000000 0 1359.35/1359.72 c 152 314 343.92 54.73 6.28 1000000 0 1360.55/1360.95 c 159 306 344.66 68.10 5.06 1000000 0 1361.75/1362.18 c 124 274 343.03 66.89 5.13 1000000 0 1363.05/1363.42 c 162 389 355.84 64.56 5.51 1000000 0 1364.25/1364.65 c 158 294 345.86 68.96 5.02 1000000 0 1365.45/1365.88 c 163 364 354.88 62.78 5.65 1000000 0 1366.75/1367.11 c 138 380 344.67 63.32 5.44 1000000 0 1367.96/1368.34 c 151 335 340.50 72.45 4.70 1000000 0 1369.15/1369.57 c 125 358 332.56 70.39 4.72 1000000 0 1370.45/1370.80 c 125 402 346.59 70.89 4.89 1000000 0 1371.65/1372.03 c 118 323 350.59 71.63 4.89 1000000 0 1372.85/1373.27 c 166 337 363.81 67.74 5.37 1000000 0 1374.15/1374.50 c 163 443 355.42 66.09 5.38 1000000 0 1375.35/1375.73 c 155 388 347.18 61.87 5.61 1000000 0 1376.55/1376.96 c 160 302 352.37 66.41 5.31 1000000 0 1377.75/1378.19 c 151 345 331.83 58.16 5.71 1000000 0 1379.05/1379.42 c 165 379 338.44 64.96 5.21 1000000 0 1380.25/1380.65 c 179 349 348.13 58.05 6.00 1000000 0 1381.44/1381.88 c 201 393 352.83 61.95 5.69 1000000 0 1382.74/1383.10 c 161 356 338.11 62.38 5.42 1000000 0 1383.94/1384.34 c 158 383 374.58 78.02 4.80 1000000 0 1385.14/1385.57 c 180 328 351.28 59.75 5.88 1000000 0 1386.44/1386.80 c 165 310 353.63 70.86 4.99 1000000 0 1387.64/1388.03 c 180 354 345.37 63.66 5.43 1000000 0 1388.85/1389.26 c 163 356 348.14 67.92 5.13 1000000 0 1390.05/1390.49 c 189 356 358.69 59.35 6.04 1000000 0 1391.34/1391.72 c 166 408 342.25 67.39 5.08 1000000 0 1392.54/1392.95 c 167 308 347.90 66.58 5.23 1000000 0 1393.74/1394.19 c 183 383 342.33 66.34 5.16 1000000 0 1395.04/1395.41 c 148 325 347.13 58.05 5.98 1000000 0 1396.24/1396.64 c 152 342 343.45 62.09 5.53 1000000 0 1397.44/1397.87 c 145 302 344.51 68.26 5.05 1000000 0 1398.75/1399.10 c 137 331 354.27 66.83 5.30 1000000 0 1399.95/1400.33 c 194 351 349.67 62.96 5.55 1000000 0 1401.14/1401.56 c 164 403 350.19 62.26 5.62 1000000 0 1402.34/1402.79 c 172 322 347.03 67.79 5.12 1000000 0 1403.64/1404.02 c 165 317 356.77 68.50 5.21 1000000 0 1404.84/1405.25 c 130 324 334.74 60.36 5.55 1000000 0 1406.04/1406.48 c 160 302 349.61 59.68 5.86 1000000 0 1407.34/1407.71 c 133 324 358.40 69.04 5.19 1000000 0 1408.54/1408.95 c 161 317 348.80 65.79 5.30 1000000 0 1409.75/1410.18 c 185 427 360.32 70.20 5.13 1000000 0 1411.04/1411.41 c 176 404 348.58 73.42 4.75 1000000 0 1412.24/1412.64 c 195 275 358.26 62.40 5.74 1000000 0 1413.44/1413.88 c 120 318 341.86 66.56 5.14 1000000 0 1414.74/1415.11 c 126 299 363.67 71.49 5.09 1000000 0 1415.94/1416.34 c 170 392 356.06 64.28 5.54 1000000 0 1417.14/1417.57 c 161 368 340.20 67.06 5.07 1000000 0 1418.34/1418.79 c 170 368 340.31 61.75 5.51 1000000 0 1419.64/1420.02 c 177 373 359.05 65.04 5.52 1000000 0 1420.84/1421.26 c 171 381 364.82 65.86 5.54 1000000 0 1422.04/1422.49 c 158 309 361.84 66.11 5.47 1000000 0 1423.34/1423.73 c 155 292 358.45 67.44 5.31 1000000 0 1424.54/1424.96 c 145 434 350.41 71.11 4.93 1000000 0 1425.74/1426.19 c 133 318 340.90 67.54 5.05 1000000 0 1427.04/1427.42 c 135 330 342.86 72.49 4.73 1000000 0 1428.23/1428.66 c 195 284 365.63 64.53 5.67 1000000 0 1429.43/1429.89 c 158 384 347.97 71.16 4.89 1000000 0 1430.74/1431.12 c 192 302 361.24 64.86 5.57 1000000 0 1431.93/1432.35 c 142 329 349.93 63.76 5.49 1000000 0 1433.13/1433.58 c 166 293 345.83 70.64 4.90 1000000 0 1434.43/1434.81 c 137 293 329.98 61.36 5.38 1000000 0 1435.63/1436.04 c 162 360 347.59 65.79 5.28 1000000 0 1436.83/1437.27 c 161 335 348.74 71.60 4.87 1000000 0 1438.13/1438.50 c 139 261 335.12 67.86 4.94 1000000 0 1439.33/1439.73 c 147 432 354.31 63.29 5.60 1000000 0 1440.54/1440.97 c 164 307 353.97 64.82 5.46 1000000 0 1441.83/1442.20 c 194 331 361.21 60.34 5.99 1000000 0 1443.03/1443.43 c 153 347 336.96 61.53 5.48 1000000 0 1444.23/1444.66 c 150 292 352.70 67.54 5.22 1000000 0 1445.43/1445.89 c 188 355 346.14 69.95 4.95 1000000 0 1446.73/1447.12 c 170 239 348.09 63.85 5.45 1000000 0 1447.93/1448.35 c 139 304 352.77 67.52 5.22 1000000 0 1449.13/1449.59 c 164 398 361.91 69.77 5.19 1000000 0 1450.44/1450.82 c 151 402 345.52 66.49 5.20 1000000 0 1451.64/1452.06 c 184 343 352.70 63.27 5.57 1000000 0 1452.83/1453.29 c 175 315 352.34 64.90 5.43 1000000 0 1454.13/1454.52 c 162 294 364.43 69.59 5.24 1000000 0 1455.33/1455.75 c 156 271 355.66 60.46 5.88 1000000 0 1456.53/1456.98 c 194 357 355.73 62.56 5.69 1000000 0 1457.83/1458.21 c 157 351 354.46 68.13 5.20 1000000 0 1459.03/1459.45 c 156 314 356.81 61.19 5.83 1000000 0 1460.23/1460.68 c 185 343 342.37 64.73 5.29 1000000 0 1461.53/1461.92 c 170 296 343.70 67.75 5.07 1000000 0 1462.73/1463.15 c 160 336 348.23 65.87 5.29 1000000 0 1463.93/1464.37 c 117 313 338.09 69.67 4.85 1000000 0 1465.23/1465.60 c 156 287 345.32 60.71 5.69 1000000 0 1466.43/1466.84 c 160 371 348.51 78.64 4.43 1000000 0 1467.62/1468.07 c 172 512 358.40 69.84 5.13 1000000 0 1468.92/1469.30 c 162 321 351.43 62.35 5.64 1000000 0 1470.12/1470.53 c 146 302 345.24 69.77 4.95 1000000 0 1471.33/1471.76 c 167 328 353.98 71.03 4.98 1000000 0 1472.53/1472.99 c 141 321 344.53 60.76 5.67 1000000 0 1473.82/1474.22 c 134 304 344.87 59.80 5.77 1000000 0 1475.02/1475.45 c 168 405 349.88 64.25 5.45 1000000 0 1476.22/1476.68 c 125 406 350.23 72.52 4.83 1000000 0 1477.52/1477.91 c 182 308 357.54 61.96 5.77 1000000 0 1478.72/1479.15 c 167 280 356.90 61.95 5.76 1000000 0 1479.92/1480.38 c 152 361 363.43 69.56 5.22 1000000 0 1481.23/1481.61 c 130 342 351.01 67.91 5.17 1000000 0 1482.43/1482.84 c 143 254 337.02 67.59 4.99 1000000 0 1483.62/1484.07 c 162 383 347.63 59.25 5.87 1000000 0 1484.92/1485.30 c 132 368 344.12 63.32 5.43 1000000 0 1486.12/1486.53 c 152 412 345.59 60.12 5.75 1000000 0 1487.32/1487.76 c 195 403 361.26 63.13 5.72 1000000 0 1488.52/1488.99 c 180 298 354.81 62.63 5.66 1000000 0 1489.82/1490.22 c 146 432 338.71 67.24 5.04 1000000 0 1491.02/1491.46 c 154 335 352.39 73.86 4.77 1000000 0 1492.23/1492.69 c 173 270 358.25 62.86 5.70 1000000 0 1493.52/1493.92 c 165 293 356.82 66.01 5.41 1000000 0 1494.72/1495.16 c 134 399 350.27 73.25 4.78 1000000 0 1495.92/1496.38 c 144 249 347.02 71.60 4.85 1000000 0 1497.22/1497.61 c 150 364 347.24 59.84 5.80 1000000 0 1498.42/1498.85 c 180 197 350.95 69.28 5.07 1000000 0 1499.62/1500.08 c 174 336 358.52 69.24 5.18 1000000 0 1500.92/1501.31 c 145 360 350.49 61.89 5.66 1000000 0 1502.12/1502.54 c 167 427 356.67 69.49 5.13 1000000 0 1503.32/1503.77 c 175 316 363.55 56.98 6.38 1000000 0 1504.62/1505.01 c 168 363 344.72 65.40 5.27 1000000 0 1505.82/1506.24 c 163 298 352.98 63.56 5.55 1000000 0 1507.01/1507.47 c 180 327 346.17 60.67 5.71 1000000 0 1508.31/1508.70 c 174 354 355.92 64.75 5.50 1000000 0 1509.51/1509.92 c 180 259 347.93 62.37 5.58 1000000 0 1510.71/1511.16 c 163 192 347.29 72.73 4.77 1000000 0 1511.91/1512.39 c 152 344 348.05 71.84 4.84 1000000 0 1513.22/1513.62 c 141 317 353.59 70.39 5.02 1000000 0 1514.41/1514.85 c 196 386 353.07 57.72 6.12 1000000 0 1515.61/1516.08 c 160 398 357.34 60.98 5.86 1000000 0 1516.91/1517.31 c 134 280 336.65 66.58 5.06 1000000 0 1518.11/1518.54 c 171 240 352.10 60.60 5.81 1000000 0 1519.31/1519.77 c 163 347 336.38 57.52 5.85 1000000 0 1520.61/1521.00 c 162 366 352.07 67.14 5.24 1000000 0 1521.81/1522.24 c 168 290 348.23 63.56 5.48 1000000 0 1523.02/1523.47 c 146 383 356.68 73.20 4.87 1000000 0 1524.31/1524.70 c 119 383 333.75 71.54 4.67 1000000 0 1525.51/1525.93 c 104 310 346.21 70.07 4.94 1000000 0 1526.71/1527.16 c 164 337 361.39 65.48 5.52 1000000 0 1527.91/1528.39 c 156 336 354.01 67.40 5.25 1000000 0 1529.21/1529.63 c 191 344 355.41 57.69 6.16 1000000 0 1530.41/1530.86 c 154 314 347.55 62.99 5.52 1000000 0 1531.61/1532.09 c 154 407 352.49 70.43 5.00 1000000 0 1532.92/1533.32 c 156 261 344.56 65.14 5.29 1000000 0 1534.12/1534.55 c 161 337 344.34 60.50 5.69 1000000 0 1535.31/1535.78 c 141 463 343.90 60.53 5.68 1000000 0 1536.61/1537.01 c 146 229 346.59 65.60 5.28 1000000 0 1537.81/1538.24 c 148 285 351.23 63.75 5.51 1000000 0 1539.01/1539.47 c 142 408 343.61 59.57 5.77 1000000 0 1540.31/1540.70 c 198 272 358.97 63.11 5.69 1000000 0 1541.51/1541.93 c 121 348 356.53 70.54 5.05 1000000 0 1542.71/1543.16 c 176 310 344.93 64.16 5.38 1000000 0 1543.91/1544.39 c 165 301 347.54 61.74 5.63 1000000 0 1545.21/1545.62 c 172 288 351.10 66.89 5.25 1000000 0 1546.41/1546.86 c 154 381 346.95 55.13 6.29 1000000 0 1547.61/1548.09 c 130 305 346.59 71.66 4.84 1000000 0 1548.90/1549.32 c 195 430 358.26 63.60 5.63 1000000 0 1550.10/1550.55 c 118 472 351.60 74.33 4.73 1000000 0 1551.30/1551.78 c 183 458 356.18 60.32 5.90 1000000 0 1552.60/1553.01 c 144 449 351.90 76.16 4.62 1000000 0 1553.81/1554.24 c 170 359 358.57 68.48 5.24 1000000 0 1555.01/1555.47 c 163 389 353.73 67.74 5.22 1000000 0 1556.30/1556.70 c 126 276 359.90 69.39 5.19 1000000 0 1557.50/1557.93 c 156 354 350.55 61.77 5.67 1000000 0 1558.70/1559.16 c 149 261 339.62 60.95 5.57 1000000 0 1559.90/1560.39 c 151 307 351.78 70.47 4.99 1000000 0 1561.20/1561.63 c 163 336 357.67 74.31 4.81 1000000 0 1562.40/1562.86 c 159 318 344.52 62.19 5.54 1000000 0 1563.60/1564.09 c 163 322 358.52 63.08 5.68 1000000 0 1564.91/1565.32 c 142 309 349.48 69.29 5.04 1000000 0 1566.10/1566.55 c 176 333 357.50 60.62 5.90 1000000 0 1567.30/1567.78 c 137 367 340.71 67.40 5.05 1000000 0 1568.60/1569.01 c 183 380 355.41 64.38 5.52 1000000 0 1569.80/1570.25 c 149 443 358.98 60.79 5.91 1000000 0 1571.01/1571.48 c 160 372 355.96 73.82 4.82 1000000 0 1572.31/1572.71 c 159 291 349.66 63.97 5.47 1000000 0 1573.51/1573.94 c 166 352 349.23 60.34 5.79 1000000 0 1574.71/1575.16 c 169 272 335.56 67.69 4.96 1000000 0 1576.01/1576.40 c 117 381 356.37 66.95 5.32 1000000 0 1577.21/1577.63 c 127 389 345.52 64.64 5.35 1000000 0 1578.41/1578.86 c 173 328 349.89 52.51 6.66 1000000 0 1579.61/1580.09 c 179 383 352.21 62.93 5.60 1000000 0 1580.91/1581.32 c 131 486 357.66 69.56 5.14 1000000 0 1582.11/1582.56 c 159 365 360.47 69.16 5.21 1000000 0 1583.31/1583.78 c 189 338 344.05 64.26 5.35 1000000 0 1584.61/1585.01 c 150 288 342.89 69.84 4.91 1000000 0 1585.81/1586.24 c 140 365 350.05 80.52 4.35 1000000 0 1587.01/1587.48 c 180 406 345.17 58.23 5.93 1000000 0 1588.31/1588.71 c 155 382 375.31 67.24 5.58 1000000 0 1589.51/1589.95 c 146 391 354.70 70.73 5.01 1000000 0 1590.71/1591.18 c 162 299 347.01 65.35 5.31 1000000 0 1592.00/1592.41 c 153 352 359.69 72.88 4.94 1000000 0 1593.20/1593.64 c 148 284 341.63 62.85 5.44 1000000 0 1594.40/1594.87 c 171 355 341.83 71.95 4.75 1000000 0 1595.71/1596.11 c 125 347 355.50 64.26 5.53 1000000 0 1596.90/1597.34 c 178 319 346.07 67.47 5.13 1000000 0 1598.10/1598.57 c 173 350 355.91 60.69 5.86 1000000 0 1599.40/1599.80 c 153 317 341.68 66.47 5.14 1000000 0 1600.60/1601.03 c 196 316 355.36 60.65 5.86 1000000 0 1601.80/1602.26 c 164 256 351.84 60.73 5.79 1000000 0 1603.10/1603.50 c 171 371 351.28 70.37 4.99 1000000 0 1604.30/1604.73 c 178 407 348.67 64.41 5.41 1000000 0 1605.51/1605.96 c 170 365 352.78 62.51 5.64 1000000 0 1606.80/1607.20 c 167 273 353.28 69.78 5.06 1000000 0 1608.00/1608.42 c 150 268 341.92 58.69 5.83 1000000 0 1609.20/1609.65 c 156 452 351.35 68.28 5.15 1000000 0 1610.40/1610.88 c 172 351 347.42 68.48 5.07 1000000 0 1611.70/1612.12 c 120 227 348.53 70.18 4.97 1000000 0 1612.90/1613.35 c 152 347 354.62 65.52 5.41 1000000 0 1614.10/1614.58 c 159 283 342.76 63.32 5.41 1000000 0 1615.41/1615.81 c 140 311 340.70 65.52 5.20 1000000 0 1616.61/1617.04 c 167 284 351.80 71.13 4.95 1000000 0 1617.80/1618.27 c 162 296 357.33 62.90 5.68 1000000 0 1619.10/1619.51 c 102 365 360.20 67.69 5.32 1000000 0 1620.30/1620.74 c 181 374 345.53 66.83 5.17 1000000 0 1621.50/1621.97 c 155 232 350.74 60.54 5.79 1000000 0 1622.80/1623.20 c 124 304 353.03 73.03 4.83 1000000 0 1624.00/1624.43 c 146 368 349.94 61.80 5.66 1000000 0 1625.20/1625.67 c 151 402 357.75 70.52 5.07 1000000 0 1626.40/1626.90 c 141 299 360.58 73.41 4.91 1000000 0 1627.70/1628.14 c 176 413 352.60 61.09 5.77 1000000 0 1628.90/1629.37 c 182 412 351.39 68.29 5.15 1000000 0 1630.10/1630.60 c 161 277 344.70 66.16 5.21 1000000 0 1631.39/1631.82 c 179 401 345.85 63.35 5.46 1000000 0 1632.59/1633.06 c 181 361 352.88 66.77 5.29 1000000 0 1633.79/1634.29 c 143 335 351.47 65.17 5.39 1000000 0 1635.09/1635.52 c 166 388 346.64 65.16 5.32 1000000 0 1636.30/1636.75 c 176 288 362.77 66.80 5.43 1000000 0 1637.50/1637.98 c 174 378 338.01 65.37 5.17 1000000 0 1638.79/1639.21 c 153 391 351.49 72.74 4.83 1000000 0 1639.99/1640.45 c 135 435 355.52 67.54 5.26 1000000 0 1641.19/1641.68 c 142 310 356.11 70.13 5.08 1000000 0 1642.49/1642.92 c 161 325 346.08 69.44 4.98 1000000 0 1643.69/1644.15 c 178 361 365.10 62.13 5.88 1000000 0 1644.89/1645.39 c 179 293 371.53 65.61 5.66 1000000 0 1646.20/1646.62 c 130 328 347.40 71.48 4.86 1000000 0 1647.40/1647.85 c 178 389 349.52 74.28 4.71 1000000 0 1648.59/1649.08 c 167 290 351.54 61.56 5.71 1000000 0 1649.89/1650.31 c 183 271 353.21 62.10 5.69 1000000 0 1651.09/1651.55 c 197 355 369.95 68.99 5.36 1000000 0 1652.29/1652.79 c 177 298 342.44 63.97 5.35 1000000 0 1653.59/1654.02 c 195 490 361.87 64.57 5.60 1000000 0 1654.79/1655.26 c 186 338 353.66 67.92 5.21 1000000 0 1655.99/1656.48 c 130 365 341.32 67.64 5.05 1000000 0 1657.30/1657.71 c 183 502 356.69 61.69 5.78 1000000 0 1658.49/1658.94 c 143 332 341.41 63.30 5.39 1000000 0 1659.69/1660.17 c 153 304 343.90 57.84 5.95 1000000 0 1660.99/1661.40 c 167 274 352.88 62.90 5.61 1000000 0 1662.19/1662.63 c 162 362 342.10 66.72 5.13 1000000 0 1663.39/1663.86 c 175 240 353.42 64.77 5.46 1000000 0 1664.59/1665.10 c 118 453 359.32 61.48 5.84 1000000 0 1665.89/1666.32 c 166 369 333.09 68.07 4.89 1000000 0 1667.09/1667.55 c 149 364 347.94 68.70 5.06 1000000 0 1668.29/1668.78 c 165 279 348.18 70.26 4.96 1000000 0 1669.58/1670.01 c 192 291 351.20 61.77 5.69 1000000 0 1670.78/1671.24 c 169 264 342.16 58.85 5.81 1000000 0 1671.98/1672.47 c 174 310 355.01 59.78 5.94 1000000 0 1673.28/1673.71 c 142 408 343.97 63.69 5.40 1000000 0 1674.48/1674.94 c 168 373 348.24 61.94 5.62 1000000 0 1675.68/1676.17 c 158 356 351.76 66.84 5.26 1000000 0 1676.88/1677.40 c 161 417 345.24 69.71 4.95 1000000 0 1678.19/1678.63 c 157 413 342.85 61.61 5.56 1000000 0 1679.38/1679.85 c 183 311 345.76 67.42 5.13 1000000 0 1680.58/1681.08 c 120 313 348.88 66.25 5.27 1000000 0 1681.88/1682.31 c 124 359 346.86 60.52 5.73 1000000 0 1683.08/1683.55 c 159 311 351.09 65.65 5.35 1000000 0 1684.28/1684.77 c 184 320 345.81 59.33 5.83 1000000 0 1685.58/1686.01 c 171 283 345.71 53.88 6.42 1000000 0 1686.78/1687.24 c 135 298 344.49 65.55 5.26 1000000 0 1687.99/1688.47 c 172 439 353.19 63.48 5.56 1000000 0 1689.28/1689.70 c 165 320 342.71 68.46 5.01 1000000 0 1690.48/1690.93 c 161 371 351.46 64.26 5.47 1000000 0 1691.68/1692.16 c 147 210 348.58 65.61 5.31 1000000 0 1692.88/1693.39 c 168 297 354.77 65.66 5.40 1000000 0 1694.18/1694.63 c 173 316 348.08 71.90 4.84 1000000 0 1695.38/1695.86 c 196 374 373.68 74.91 4.99 1000000 0 1696.58/1697.09 c 170 360 352.24 61.23 5.75 1000000 0 1697.88/1698.32 c 131 260 330.79 62.03 5.33 1000000 0 1699.08/1699.55 c 170 343 348.64 65.22 5.35 1000000 0 1700.28/1700.78 c 138 292 330.91 62.05 5.33 1000000 0 1701.58/1702.01 c 140 251 351.18 67.96 5.17 1000000 0 1702.78/1703.24 c 139 297 352.19 64.19 5.49 1000000 0 1703.98/1704.48 c 163 455 348.68 56.83 6.14 1000000 0 1705.28/1705.71 c 109 414 350.59 73.10 4.80 1000000 0 1706.48/1706.94 c 173 293 352.59 64.05 5.51 1000000 0 1707.68/1708.17 c 178 348 356.86 63.03 5.66 1000000 0 1708.98/1709.41 c 170 353 357.12 67.01 5.33 1000000 0 1710.18/1710.64 c 138 350 334.60 69.49 4.81 1000000 0 1711.37/1711.87 c 154 358 353.22 69.34 5.09 1000000 0 1712.67/1713.11 c 200 398 360.96 70.59 5.11 1000000 0 1713.87/1714.34 c 132 378 354.98 65.84 5.39 1000000 0 1715.07/1715.57 c 140 301 342.48 67.61 5.07 1000000 0 1716.37/1716.80 c 179 384 345.51 62.47 5.53 1000000 0 1717.57/1718.03 c 187 346 356.40 65.91 5.41 1000000 0 1718.78/1719.27 c 165 391 359.46 74.69 4.81 1000000 0 1720.07/1720.50 c 161 408 347.43 70.45 4.93 1000000 0 1721.27/1721.73 c 142 347 347.92 66.16 5.26 1000000 0 1722.47/1722.96 c 196 291 353.95 60.36 5.86 1000000 0 1723.77/1724.20 c 167 433 354.69 56.13 6.32 1000000 0 1724.97/1725.43 c 146 330 328.86 61.27 5.37 1000000 0 1726.17/1726.66 c 102 308 351.55 63.56 5.53 1000000 0 1727.37/1727.89 c 158 380 351.74 72.81 4.83 1000000 0 1728.68/1729.12 c 158 416 348.78 71.56 4.87 1000000 0 1729.88/1730.35 c 144 289 341.62 69.12 4.94 1000000 0 1731.07/1731.58 c 170 243 349.59 65.32 5.35 1000000 0 1732.37/1732.82 c 159 375 338.68 59.41 5.70 1000000 0 1733.57/1734.05 c 131 376 344.88 69.06 4.99 1000000 0 1734.77/1735.28 c 174 276 354.00 68.15 5.19 1000000 0 1736.07/1736.51 c 186 382 367.26 66.65 5.51 1000000 0 1737.27/1737.74 c 135 316 337.00 75.76 4.45 1000000 0 1738.47/1738.97 c 131 424 344.22 67.14 5.13 1000000 0 1739.77/1740.21 c 157 389 353.09 65.30 5.41 1000000 0 1740.97/1741.44 c 160 377 344.48 60.30 5.71 1000000 0 1742.17/1742.67 c 131 368 350.19 76.76 4.56 1000000 0 1743.47/1743.90 c 175 353 349.21 62.73 5.57 1000000 0 1744.67/1745.13 c 191 420 345.79 59.73 5.79 1000000 0 1745.86/1746.36 c 180 470 352.38 64.64 5.45 1000000 0 1747.06/1747.59 c 167 465 362.50 68.60 5.28 1000000 0 1748.37/1748.82 c 163 315 342.20 59.71 5.73 1000000 0 1749.57/1750.05 c 163 310 353.49 68.66 5.15 1000000 0 1750.77/1751.28 c 167 440 343.73 72.90 4.71 1000000 0 1752.06/1752.51 c 142 258 346.46 68.44 5.06 1000000 0 1753.26/1753.73 c 177 352 354.48 65.39 5.42 1000000 0 1754.46/1754.96 c 146 309 354.22 59.40 5.96 1000000 0 1755.66/1756.20 c 177 342 354.88 64.62 5.49 1000000 0 1756.96/1757.42 c 175 292 350.54 62.49 5.61 1000000 0 1758.16/1758.65 c 154 321 333.77 64.38 5.18 1000000 0 1759.36/1759.88 c 121 281 350.57 68.74 5.10 1000000 0 1760.67/1761.11 c 139 339 354.06 75.29 4.70 1000000 0 1761.86/1762.35 c 168 384 363.12 66.00 5.50 1000000 0 1763.06/1763.58 c 179 356 358.47 71.35 5.02 1000000 0 1764.36/1764.81 c 176 439 355.31 61.37 5.79 1000000 0 1765.56/1766.04 c 154 416 346.70 70.59 4.91 1000000 0 1766.76/1767.27 c 167 337 349.73 69.75 5.01 1000000 0 1768.06/1768.50 c 143 335 343.97 77.39 4.44 1000000 0 1769.26/1769.73 c 148 355 341.66 61.71 5.54 1000000 0 1770.47/1770.96 c 145 377 341.94 64.82 5.28 1000000 0 1771.67/1772.19 c 189 401 353.61 64.71 5.46 1000000 0 1772.96/1773.42 c 147 247 330.66 64.08 5.16 1000000 0 1774.16/1774.65 c 167 374 359.17 60.45 5.94 1000000 0 1775.36/1775.89 c 170 411 342.78 69.26 4.95 1000000 0 1776.66/1777.12 c 140 405 344.10 65.96 5.22 1000000 0 1777.86/1778.35 c 166 373 360.08 65.48 5.50 1000000 0 1779.06/1779.58 c 153 220 345.92 59.27 5.84 1000000 0 1780.36/1780.81 c 162 331 344.37 64.58 5.33 1000000 0 1781.56/1782.04 c 149 248 352.86 62.08 5.68 1000000 0 1782.76/1783.27 c 148 390 338.75 62.87 5.39 1000000 0 1784.06/1784.50 c 153 376 342.58 61.19 5.60 1000000 0 1785.26/1785.73 c 155 340 342.15 71.01 4.82 1000000 0 1786.46/1786.95 c 167 325 338.89 58.40 5.80 1000000 0 1787.66/1788.18 c 157 277 332.46 65.14 5.10 1000000 0 1788.96/1789.41 c 141 332 356.74 71.24 5.01 1000000 0 1790.15/1790.64 c 160 374 343.47 64.39 5.33 1000000 0 1791.36/1791.87 c 145 428 346.77 62.23 5.57 1000000 0 1792.56/1793.09 c 163 262 334.02 65.26 5.12 1000000 0 1793.85/1794.33 c 81 320 343.93 67.17 5.12 1000000 0 1795.05/1795.56 c 144 227 354.64 65.49 5.42 1000000 0 1796.25/1796.79 c 155 329 366.49 67.89 5.40 1000000 0 1797.55/1798.03 c 176 357 366.36 74.11 4.94 1000000 0 1798.75/1799.26 c 196 275 349.05 64.90 5.38 1000000 0 1800.06/1800.50 c 152 346 359.36 71.75 5.01 1000000 0 1800.06/1800.50 HOME/run: line 2: 21803 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-2685602-1278441809/watcher-2685602-1278441809 -o /tmp/evaluation-result-2685602-1278441809/solver-2685602-1278441809 -C 1800 -W 2000 -M 1800 run HOME/instance-2685602-1278441809.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.97 1.00 1.00 3/106 21802 /proc/meminfo: memFree=1388632/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) R 21800 21802 19731 0 -1 4202496 342 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210369429 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [startup+0.01367 s] /proc/loadavg: 0.97 1.00 1.00 3/106 21802 /proc/meminfo: memFree=1388632/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100677 s] /proc/loadavg: 0.97 1.00 1.00 3/106 21802 /proc/meminfo: memFree=1388632/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300694 s] /proc/loadavg: 0.97 1.00 1.00 3/106 21802 /proc/meminfo: memFree=1388632/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700729 s] /proc/loadavg: 0.97 1.00 1.00 3/106 21802 /proc/meminfo: memFree=1388632/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.5008 s] /proc/loadavg: 0.97 1.00 1.00 2/108 21804 /proc/meminfo: memFree=1384028/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1.49 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1194 0 0 0 149 0 0 0 25 0 1 0 12391493 41422848 1124 1992294400 134512640 135071400 4293642064 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1124 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10093 s] /proc/loadavg: 0.97 1.00 1.00 2/108 21804 /proc/meminfo: memFree=1383780/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=3.08 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1194 0 0 0 308 0 0 0 25 0 1 0 12391493 41422848 1124 1992294400 134512640 135071400 4293642064 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1124 69 137 0 9974 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 49152 [startup+6.30121 s] /proc/loadavg: 0.97 1.00 1.00 2/108 21804 /proc/meminfo: memFree=1383780/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=6.28 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 628 0 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49152 [startup+12.7008 s] /proc/loadavg: 0.98 1.00 1.00 2/108 21804 /proc/meminfo: memFree=1383656/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=12.68 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 1268 0 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5019 s] /proc/loadavg: 0.98 1.00 1.00 2/108 21805 /proc/meminfo: memFree=1383656/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=25.48 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 2548 0 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1021 s] /proc/loadavg: 0.99 1.00 1.00 2/108 21805 /proc/meminfo: memFree=1383656/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=51.07 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 5107 0 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 1.03 1.01 1.00 2/108 21807 /proc/meminfo: memFree=1383532/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=102.27 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 10226 1 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 1.01 1.00 1.00 2/108 21808 /proc/meminfo: memFree=1383408/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=162.25 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 16224 1 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134525733 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 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: 1.00 1.00 1.00 2/108 21810 /proc/meminfo: memFree=1383284/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=222.23 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 22222 1 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21811 /proc/meminfo: memFree=1383284/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=282.22 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 28221 1 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49152 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21813 /proc/meminfo: memFree=1383160/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=342.2 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 34219 1 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49152 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21815 /proc/meminfo: memFree=1383160/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=402.18 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 40217 1 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1122.01 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 112199 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 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 1.00 1.00 2/108 21844 /proc/meminfo: memFree=1381672/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1181.99 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 118197 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 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 1.00 1.00 2/108 21846 /proc/meminfo: memFree=1381672/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1241.98 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 124196 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21848 /proc/meminfo: memFree=1381548/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1301.97 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 130195 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21849 /proc/meminfo: memFree=1381548/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1361.95 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 136193 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526185 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.07 1.02 1.00 2/108 21851 /proc/meminfo: memFree=1381424/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1421.94 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 142192 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.08 1.03 1.00 2/108 21852 /proc/meminfo: memFree=1381300/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1481.92 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 148190 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526627 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.09 1.04 1.00 2/108 21854 /proc/meminfo: memFree=1381176/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1541.91 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 154189 2 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526661 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.08 1.04 1.00 2/108 21856 /proc/meminfo: memFree=1381052/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1601.9 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 160187 3 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526104 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.08 1.05 1.00 2/108 21857 /proc/meminfo: memFree=1381052/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1661.89 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 166186 3 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.03 1.03 1.00 2/108 21859 /proc/meminfo: memFree=1380928/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1721.87 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 172184 3 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.01 1.03 1.00 2/108 21860 /proc/meminfo: memFree=1380680/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1781.86 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 178183 3 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.01 1.02 1.00 2/108 21861 /proc/meminfo: memFree=1380680/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1800.06 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 180003 3 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.01 1.02 1.00 2/108 21861 /proc/meminfo: memFree=1380680/2059040 swapFree=4192956/4192956 [pid=21802] ppid=21800 vsize=8700 CPUtime=0 /proc/21802/stat : 21802 (run) S 21800 21802 19731 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12391492 8908800 243 1992294400 4194304 4922060 140733635711872 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21802/statm: 2175 243 204 178 0 68 0 [pid=21803] ppid=21802 vsize=40452 CPUtime=1800.06 /proc/21803/stat : 21803 (PB-wave) R 21802 21802 19731 0 -1 4202496 1195 0 0 0 180003 3 0 0 25 0 1 0 12391493 41422848 1125 1992294400 134512640 135071400 4293642064 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21803/statm: 10113 1125 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1800.03 CPU system time (s): 0.036994 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.036994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1567 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= 9994 runsolver used 2.78758 second user time and 8.77666 second system time The end
Begin job on node031 at 2010-07-06 20:43:29 IDJOB=2685602 IDBENCH=76565 IDSOLVER=1171 FILE ID=node031/2685602-1278441809 PBS_JOBID= 11233447 Free space on /tmp= 62560 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6035_10-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685602-1278441809/watcher-2685602-1278441809 -o /tmp/evaluation-result-2685602-1278441809/solver-2685602-1278441809 -C 1800 -W 2000 -M 1800 run HOME/instance-2685602-1278441809.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 45574cd19df32c19e9e184b1426d6ae9 RANDOM SEED=842432397 node031.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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1389028 kB Buffers: 113656 kB Cached: 415492 kB SwapCached: 0 kB Active: 253812 kB Inactive: 335896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1389028 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2852 kB Writeback: 0 kB AnonPages: 60572 kB Mapped: 14424 kB Slab: 58128 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180012 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62560 MiB End job on node031 at 2010-07-06 21:13:29