Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.09 | 1800.72 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6018_3-sat.opb |
MD5SUM | e1a332785ec9daa0e57c053b8cd6bb8d |
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.134979 |
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 | 9516 |
Total number of constraints | 31278 |
Number of constraints which are clauses | 30970 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 308 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 18 |
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 | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 120 |
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.08 c PB-wave - v2 0.00/0.08 c command line = ./PB-wave 0.00/0.08 c seed = 59375176 0.00/0.08 c cutoff = 1000000 0.00/0.08 c tries = 1000000 0.00/0.08 c heuristic = c best, noise 50 / 100 0.00/0.08 #var 9516 #con 31278 0.00/0.08 mode is SAT 0.00/0.08 c tail starts after flip = 28548 0.00/0.08 c numatom = 9516, numclause = 31278, numliterals = 70603 0.00/0.08 c wff read in 0.00/0.08 c 0.00/0.08 c lowest final avg noise noise total avg mean mean 0.00/0.08 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.08 c this this this this this this success success until std 0.00/0.08 c try try try try try try rate tries assign dev 0.00/0.08 c 1.19/1.27 c 129 303 291.79 59.35 4.92 1000000 0 2.39/2.46 c 90 300 300.00 70.12 4.28 1000000 0 3.59/3.66 c 146 384 306.87 63.20 4.86 1000000 0 4.79/4.85 c 126 331 315.74 79.26 3.98 1000000 0 5.99/6.05 c 105 289 298.93 79.95 3.74 1000000 0 7.19/7.24 c 130 294 299.90 77.32 3.88 1000000 0 8.39/8.44 c 158 360 314.46 77.24 4.07 1000000 0 9.58/9.64 c 155 202 308.33 74.73 4.13 1000000 0 10.79/10.83 c 137 226 293.28 68.67 4.27 1000000 0 11.99/12.02 c 144 303 302.31 64.69 4.67 1000000 0 13.19/13.22 c 145 252 306.82 63.77 4.81 1000000 0 14.38/14.41 c 143 395 306.27 74.44 4.11 1000000 0 15.58/15.60 c 125 430 298.66 68.34 4.37 1000000 0 16.78/16.80 c 105 377 302.77 70.99 4.26 1000000 0 17.88/18.00 c 120 269 311.99 70.71 4.41 1000000 0 19.08/19.19 c 129 316 302.87 67.38 4.50 1000000 0 20.28/20.39 c 143 230 306.17 74.96 4.08 1000000 0 21.48/21.58 c 131 338 293.85 67.65 4.34 1000000 0 22.68/22.77 c 119 195 296.21 56.59 5.23 1000000 0 23.88/23.96 c 134 265 310.01 73.91 4.19 1000000 0 25.08/25.16 c 99 394 300.48 73.33 4.10 1000000 0 26.29/26.35 c 148 362 301.79 57.60 5.24 1000000 0 27.49/27.55 c 138 310 314.31 60.78 5.17 1000000 0 28.68/28.74 c 134 263 300.43 73.60 4.08 1000000 0 29.88/29.94 c 120 366 297.62 65.84 4.52 1000000 0 31.08/31.13 c 139 374 305.63 76.49 4.00 1000000 0 32.28/32.33 c 128 286 300.91 63.71 4.72 1000000 0 33.48/33.52 c 136 254 300.94 69.30 4.34 1000000 0 34.68/34.72 c 157 271 306.20 65.28 4.69 1000000 0 35.88/35.91 c 130 317 295.93 79.37 3.73 1000000 0 37.08/37.11 c 123 252 301.36 74.12 4.07 1000000 0 38.28/38.30 c 130 231 307.01 78.40 3.92 1000000 0 39.38/39.49 c 141 347 301.59 67.22 4.49 1000000 0 40.58/40.68 c 138 340 308.55 76.36 4.04 1000000 0 41.78/41.88 c 119 205 304.27 63.68 4.78 1000000 0 42.97/43.07 c 142 362 309.23 70.50 4.39 1000000 0 44.17/44.27 c 144 241 306.72 66.09 4.64 1000000 0 45.37/45.46 c 123 368 307.20 72.00 4.27 1000000 0 46.57/46.66 c 113 309 306.02 75.69 4.04 1000000 0 47.77/47.85 c 119 226 311.52 77.60 4.01 1000000 0 48.97/49.05 c 118 361 308.62 67.17 4.59 1000000 0 50.17/50.25 c 135 281 324.39 68.25 4.75 1000000 0 51.37/51.44 c 118 373 298.08 62.92 4.74 1000000 0 52.57/52.63 c 123 393 297.31 61.23 4.86 1000000 0 53.78/53.83 c 151 344 310.47 70.47 4.41 1000000 0 54.98/55.02 c 121 286 303.86 72.75 4.18 1000000 0 56.17/56.22 c 136 247 307.45 74.99 4.10 1000000 0 57.37/57.41 c 137 382 310.92 71.55 4.35 1000000 0 58.57/58.61 c 146 286 306.06 63.45 4.82 1000000 0 59.77/59.80 c 132 344 307.52 67.39 4.56 1000000 0 60.97/61.00 c 139 338 320.65 76.92 4.17 1000000 0 62.06/62.19 c 125 301 300.40 74.87 4.01 1000000 0 63.26/63.39 c 124 275 302.53 74.38 4.07 1000000 0 64.46/64.58 c 150 221 300.81 56.63 5.31 1000000 0 65.66/65.78 c 128 321 300.12 63.15 4.75 1000000 0 66.86/66.97 c 144 251 298.64 61.83 4.83 1000000 0 68.07/68.16 c 107 270 296.46 63.07 4.70 1000000 0 69.27/69.36 c 124 208 300.26 69.41 4.33 1000000 0 70.46/70.55 c 117 323 308.93 69.71 4.43 1000000 0 71.66/71.75 c 102 421 307.52 68.71 4.48 1000000 0 72.86/72.94 c 153 308 313.30 69.92 4.48 1000000 0 74.06/74.14 c 132 170 301.46 68.99 4.37 1000000 0 75.26/75.33 c 104 323 299.01 63.40 4.72 1000000 0 76.46/76.52 c 107 255 303.93 75.57 4.02 1000000 0 77.66/77.72 c 138 361 309.63 75.64 4.09 1000000 0 78.86/78.92 c 133 341 302.30 60.41 5.00 1000000 0 80.06/80.11 c 130 263 305.35 69.04 4.42 1000000 0 81.26/81.31 c 143 313 316.89 65.85 4.81 1000000 0 82.47/82.50 c 139 302 302.32 71.89 4.21 1000000 0 83.66/83.70 c 112 271 301.38 60.80 4.96 1000000 0 84.76/84.89 c 135 327 312.69 79.06 3.95 1000000 0 85.96/86.09 c 140 301 295.77 66.45 4.45 1000000 0 87.16/87.28 c 135 246 307.98 67.53 4.56 1000000 0 88.36/88.48 c 111 250 301.48 71.77 4.20 1000000 0 89.55/89.67 c 128 269 297.32 63.89 4.65 1000000 0 90.75/90.87 c 142 358 313.38 67.70 4.63 1000000 0 91.95/92.07 c 112 283 308.56 68.67 4.49 1000000 0 93.15/93.26 c 133 186 299.52 68.46 4.37 1000000 0 94.35/94.45 c 124 310 317.44 69.73 4.55 1000000 0 95.56/95.65 c 105 252 307.48 71.84 4.28 1000000 0 96.76/96.84 c 149 373 306.01 59.49 5.14 1000000 0 97.95/98.04 c 123 310 307.94 56.19 5.48 1000000 0 99.15/99.23 c 132 280 306.20 71.33 4.29 1000000 0 100.35/100.43 c 130 214 316.13 78.58 4.02 1000000 0 101.55/101.62 c 149 295 305.30 62.61 4.88 1000000 0 102.75/102.82 c 147 201 306.75 60.59 5.06 1000000 0 103.95/104.01 c 152 305 311.25 68.59 4.54 1000000 0 105.15/105.21 c 120 370 313.40 66.32 4.73 1000000 0 106.35/106.40 c 138 276 301.30 71.50 4.21 1000000 0 107.55/107.60 c 122 343 309.56 62.28 4.97 1000000 0 108.75/108.80 c 147 346 305.63 73.91 4.13 1000000 0 109.85/110.00 c 94 261 311.29 78.05 3.99 1000000 0 111.05/111.19 c 130 302 297.96 64.68 4.61 1000000 0 112.25/112.38 c 133 283 298.79 68.67 4.35 1000000 0 113.45/113.58 c 114 278 306.67 65.96 4.65 1000000 0 114.65/114.78 c 139 384 304.17 71.78 4.24 1000000 0 115.84/115.97 c 106 239 308.62 67.89 4.55 1000000 0 117.04/117.17 c 123 209 299.61 62.12 4.82 1000000 0 118.24/118.36 c 130 257 315.25 76.71 4.11 1000000 0 119.44/119.56 c 115 283 302.99 73.58 4.12 1000000 0 120.64/120.75 c 147 223 312.58 68.04 4.59 1000000 0 121.84/121.95 c 151 311 312.72 66.45 4.71 1000000 0 123.05/123.15 c 142 305 316.56 63.14 5.01 1000000 0 124.25/124.34 c 104 220 309.32 69.94 4.42 1000000 0 125.44/125.54 c 149 256 312.50 70.29 4.45 1000000 0 126.64/126.74 c 128 351 311.63 68.49 4.55 1000000 0 127.84/127.94 c 127 253 300.99 70.06 4.30 1000000 0 129.04/129.13 c 124 332 299.11 62.24 4.81 1000000 0 130.24/130.32 c 124 324 306.48 76.86 3.99 1000000 0 131.44/131.51 c 105 239 306.60 82.19 3.73 1000000 0 132.64/132.71 c 112 311 302.07 66.78 4.52 1000000 0 133.84/133.91 c 160 238 312.51 72.41 4.32 1000000 0 135.04/135.10 c 119 380 308.12 72.24 4.27 1000000 0 136.24/136.30 c 139 203 315.69 71.91 4.39 1000000 0 137.34/137.50 c 126 314 308.49 69.80 4.42 1000000 0 138.54/138.70 c 113 262 302.85 65.22 4.64 1000000 0 139.74/139.89 c 119 258 303.72 64.19 4.73 1000000 0 140.94/141.08 c 159 303 311.48 61.67 5.05 1000000 0 142.13/142.28 c 132 296 311.52 77.70 4.01 1000000 0 143.34/143.47 c 123 258 310.86 70.95 4.38 1000000 0 144.54/144.67 c 150 293 320.65 62.82 5.10 1000000 0 145.73/145.86 c 135 254 306.37 66.09 4.64 1000000 0 146.93/147.05 c 135 308 301.58 62.90 4.79 1000000 0 148.13/148.25 c 145 282 308.86 67.15 4.60 1000000 0 149.33/149.45 c 105 283 311.60 66.64 4.68 1000000 0 150.54/150.64 c 138 347 304.80 66.17 4.61 1000000 0 151.74/151.84 c 128 361 315.19 66.87 4.71 1000000 0 152.93/153.03 c 112 276 304.19 73.03 4.17 1000000 0 154.13/154.22 c 132 321 297.18 60.51 4.91 1000000 0 155.33/155.42 c 108 297 297.36 66.78 4.45 1000000 0 156.53/156.61 c 108 272 298.91 64.55 4.63 1000000 0 157.73/157.81 c 134 265 305.32 70.92 4.31 1000000 0 158.93/159.00 c 137 295 301.74 65.77 4.59 1000000 0 160.03/160.19 c 132 313 305.90 73.88 4.14 1000000 0 161.23/161.38 c 118 272 298.46 69.08 4.32 1000000 0 162.43/162.58 c 118 378 294.72 70.08 4.21 1000000 0 163.63/163.77 c 143 267 307.16 73.47 4.18 1000000 0 164.84/164.97 c 156 280 312.14 68.05 4.59 1000000 0 166.04/166.17 c 131 245 317.61 75.04 4.23 1000000 0 167.23/167.37 c 131 232 304.28 59.34 5.13 1000000 0 168.43/168.56 c 127 313 306.15 80.98 3.78 1000000 0 169.63/169.76 c 115 292 308.61 68.15 4.53 1000000 0 170.83/170.96 c 128 320 308.07 65.68 4.69 1000000 0 172.02/172.16 c 131 233 313.09 68.02 4.60 1000000 0 173.22/173.35 c 125 306 303.33 68.63 4.42 1000000 0 174.42/174.55 c 141 314 308.11 66.35 4.64 1000000 0 175.62/175.74 c 102 293 305.71 71.67 4.27 1000000 0 176.82/176.94 c 141 331 301.82 67.37 4.48 1000000 0 178.03/178.13 c 132 226 303.03 67.68 4.48 1000000 0 179.23/179.32 c 111 323 292.75 60.34 4.85 1000000 0 180.42/180.52 c 143 268 307.78 66.99 4.59 1000000 0 181.62/181.71 c 143 357 301.74 68.07 4.43 1000000 0 182.82/182.90 c 130 406 294.71 67.48 4.37 1000000 0 184.02/184.10 c 135 203 298.71 67.74 4.41 1000000 0 185.12/185.29 c 143 336 306.55 64.59 4.75 1000000 0 186.32/186.49 c 134 317 302.66 74.73 4.05 1000000 0 187.52/187.68 c 108 233 302.30 63.60 4.75 1000000 0 188.72/188.87 c 109 246 312.88 80.45 3.89 1000000 0 189.92/190.07 c 105 319 312.28 77.86 4.01 1000000 0 191.12/191.27 c 110 331 310.93 72.12 4.31 1000000 0 192.33/192.46 c 124 295 308.17 72.16 4.27 1000000 0 193.53/193.65 c 110 331 298.89 71.10 4.20 1000000 0 194.72/194.84 c 150 291 288.51 69.00 4.18 1000000 0 195.92/196.04 c 135 357 310.81 71.45 4.35 1000000 0 197.12/197.24 c 148 311 325.40 77.23 4.21 1000000 0 198.32/198.43 c 131 303 292.05 71.78 4.07 1000000 0 199.52/199.62 c 124 320 301.60 74.88 4.03 1000000 0 200.72/200.82 c 137 240 306.10 68.62 4.46 1000000 0 201.92/202.02 c 111 287 306.10 68.92 4.44 1000000 0 203.12/203.21 c 120 396 307.15 67.72 4.54 1000000 0 204.32/204.41 c 99 231 310.67 73.47 4.23 1000000 0 205.52/205.60 c 133 265 299.40 72.00 4.16 1000000 0 206.62/206.80 c 107 117 300.71 74.64 4.03 1000000 0 207.91/208.00 c 146 285 315.10 66.40 4.75 1000000 0 209.01/209.19 c 118 313 305.02 75.26 4.05 1000000 0 210.21/210.39 c 106 213 300.07 78.94 3.80 1000000 0 211.41/211.59 c 141 304 313.04 76.78 4.08 1000000 0 212.61/212.78 c 91 290 302.17 81.57 3.70 1000000 0 213.81/213.98 c 121 188 308.50 74.67 4.13 1000000 0 215.01/215.17 c 121 327 301.90 65.85 4.58 1000000 0 216.21/216.37 c 151 331 302.26 61.09 4.95 1000000 0 217.41/217.57 c 121 204 307.32 68.20 4.51 1000000 0 218.61/218.76 c 100 293 296.72 60.06 4.94 1000000 0 219.82/219.95 c 111 235 296.32 69.15 4.29 1000000 0 221.02/221.15 c 140 267 303.66 73.66 4.12 1000000 0 222.21/222.34 c 121 255 300.10 62.36 4.81 1000000 0 223.41/223.53 c 137 221 300.22 59.67 5.03 1000000 0 224.61/224.72 c 94 341 296.97 74.07 4.01 1000000 0 225.81/225.91 c 114 319 307.82 71.32 4.32 1000000 0 227.01/227.11 c 104 316 308.27 69.36 4.44 1000000 0 228.21/228.30 c 112 303 300.44 67.63 4.44 1000000 0 229.31/229.50 c 143 250 304.54 62.05 4.91 1000000 0 230.50/230.69 c 102 341 308.15 75.48 4.08 1000000 0 231.70/231.88 c 132 282 293.56 60.73 4.83 1000000 0 232.90/233.08 c 136 345 299.29 65.75 4.55 1000000 0 234.11/234.27 c 167 271 310.94 57.07 5.45 1000000 0 235.31/235.47 c 109 326 303.84 73.22 4.15 1000000 0 236.50/236.67 c 116 305 299.44 72.59 4.13 1000000 0 237.70/237.86 c 145 249 294.78 57.94 5.09 1000000 0 238.90/239.05 c 135 345 305.46 74.07 4.12 1000000 0 240.10/240.24 c 132 325 298.80 68.18 4.38 1000000 0 241.30/241.44 c 152 282 301.11 78.87 3.82 1000000 0 242.50/242.63 c 145 262 308.53 70.54 4.37 1000000 0 243.70/243.83 c 151 354 319.43 75.29 4.24 1000000 0 244.90/245.03 c 133 354 311.55 69.95 4.45 1000000 0 246.10/246.22 c 141 317 304.66 72.24 4.22 1000000 0 247.31/247.42 c 135 324 306.01 76.31 4.01 1000000 0 248.51/248.62 c 111 334 315.40 73.09 4.32 1000000 0 249.70/249.81 c 117 338 311.76 70.64 4.41 1000000 0 250.90/251.00 c 147 349 298.94 61.89 4.83 1000000 0 252.10/252.20 c 132 284 309.14 74.34 4.16 1000000 0 253.20/253.39 c 142 305 300.82 73.57 4.09 1000000 0 254.40/254.59 c 128 318 308.13 64.65 4.77 1000000 0 255.60/255.79 c 101 185 302.36 72.82 4.15 1000000 0 256.80/256.98 c 117 275 303.46 68.81 4.41 1000000 0 258.00/258.18 c 148 289 306.27 64.86 4.72 1000000 0 259.20/259.37 c 91 269 299.38 65.25 4.59 1000000 0 260.40/260.57 c 117 336 312.49 68.69 4.55 1000000 0 261.60/261.76 c 114 324 300.32 72.68 4.13 1000000 0 262.80/262.96 c 140 343 309.05 76.78 4.03 1000000 0 263.99/264.16 c 137 378 303.00 66.42 4.56 1000000 0 265.19/265.34 c 143 259 288.76 67.57 4.27 1000000 0 266.39/266.54 c 145 318 303.76 69.77 4.35 1000000 0 267.59/267.73 c 154 279 303.34 69.89 4.34 1000000 0 268.79/268.93 c 164 235 316.26 65.53 4.83 1000000 0 269.99/270.13 c 133 187 310.71 75.71 4.10 1000000 0 271.19/271.32 c 139 359 306.47 66.06 4.64 1000000 0 272.39/272.52 c 127 269 313.31 65.49 4.78 1000000 0 273.59/273.71 c 125 266 291.33 66.93 4.35 1000000 0 274.80/274.91 c 136 221 299.90 56.63 5.30 1000000 0 275.90/276.10 c 140 382 304.04 65.37 4.65 1000000 0 277.10/277.29 c 134 272 294.71 56.96 5.17 1000000 0 278.29/278.49 c 155 291 301.30 76.04 3.96 1000000 0 279.49/279.68 c 95 220 306.11 75.08 4.08 1000000 0 280.69/280.88 c 132 275 303.96 76.28 3.98 1000000 0 281.89/282.07 c 121 324 308.04 66.48 4.63 1000000 0 283.09/283.27 c 128 330 297.65 62.25 4.78 1000000 0 284.29/284.46 c 107 342 304.57 69.54 4.38 1000000 0 285.49/285.66 c 120 339 313.97 69.68 4.51 1000000 0 286.69/286.85 c 142 301 306.69 61.26 5.01 1000000 0 287.89/288.05 c 148 231 296.63 67.79 4.38 1000000 0 289.09/289.24 c 136 223 309.37 62.49 4.95 1000000 0 290.29/290.44 c 143 318 306.07 66.04 4.63 1000000 0 291.48/291.63 c 150 287 304.32 66.39 4.58 1000000 0 292.68/292.83 c 147 296 295.66 59.81 4.94 1000000 0 293.88/294.02 c 113 389 304.54 72.27 4.21 1000000 0 295.08/295.22 c 147 266 313.32 70.36 4.45 1000000 0 296.28/296.41 c 143 321 300.93 66.28 4.54 1000000 0 297.48/297.61 c 132 319 311.50 78.11 3.99 1000000 0 298.68/298.81 c 98 311 300.01 73.08 4.11 1000000 0 299.88/300.00 c 145 232 311.72 66.09 4.72 1000000 0 301.08/301.20 c 149 335 311.85 74.88 4.16 1000000 0 302.18/302.39 c 132 380 306.43 68.20 4.49 1000000 0 303.39/303.58 c 118 283 293.57 78.26 3.75 1000000 0 304.59/304.77 c 135 331 303.41 63.48 4.78 1000000 0 305.78/305.96 c 133 304 308.42 73.84 4.18 1000000 0 306.98/307.16 c 133 249 302.45 66.67 4.54 1000000 0 308.18/308.35 c 131 265 297.09 68.76 4.32 1000000 0 309.38/309.54 c 136 286 321.75 70.27 4.58 1000000 0 310.58/310.74 c 152 285 319.71 65.03 4.92 1000000 0 311.78/311.94 c 143 268 309.38 62.34 4.96 1000000 0 312.98/313.14 c 118 363 300.29 68.71 4.37 1000000 0 314.18/314.33 c 140 297 298.35 78.38 3.81 1000000 0 315.38/315.52 c 150 254 295.67 67.65 4.37 1000000 0 316.58/316.71 c 141 311 308.18 65.42 4.71 1000000 0 317.78/317.91 c 132 303 313.05 82.78 3.78 1000000 0 318.98/319.11 c 159 305 311.53 62.25 5.00 1000000 0 320.18/320.31 c 116 291 302.53 71.00 4.26 1000000 0 321.28/321.50 c 112 358 304.04 70.68 4.30 1000000 0 322.48/322.69 c 106 221 301.32 73.37 4.11 1000000 0 323.68/323.88 c 107 242 299.84 73.84 4.06 1000000 0 324.87/325.07 c 134 268 304.55 70.65 4.31 1000000 0 326.07/326.27 c 138 198 306.72 68.15 4.50 1000000 0 327.27/327.47 c 142 283 304.40 66.67 4.57 1000000 0 328.47/328.66 c 141 238 320.83 70.87 4.53 1000000 0 329.67/329.86 c 124 254 296.51 73.73 4.02 1000000 0 330.88/331.06 c 137 246 310.93 68.99 4.51 1000000 0 332.08/332.26 c 109 303 320.85 68.64 4.67 1000000 0 333.27/333.45 c 148 239 306.61 60.70 5.05 1000000 0 334.47/334.65 c 159 390 314.88 65.79 4.79 1000000 0 335.67/335.84 c 129 299 298.76 67.38 4.43 1000000 0 336.87/337.04 c 111 294 317.92 73.94 4.30 1000000 0 338.07/338.24 c 128 328 304.24 65.46 4.65 1000000 0 339.27/339.44 c 141 253 307.10 65.27 4.71 1000000 0 340.47/340.64 c 150 206 312.81 68.84 4.54 1000000 0 341.67/341.84 c 139 308 313.65 75.76 4.14 1000000 0 342.87/343.03 c 135 343 305.10 68.15 4.48 1000000 0 344.08/344.23 c 156 347 320.21 71.37 4.49 1000000 0 345.28/345.42 c 93 316 290.36 72.98 3.98 1000000 0 346.47/346.61 c 108 363 305.46 60.06 5.09 1000000 0 347.67/347.81 c 104 380 301.74 74.93 4.03 1000000 0 348.87/349.00 c 130 292 294.77 62.91 4.69 1000000 0 349.97/350.19 c 126 278 301.00 70.97 4.24 1000000 0 351.17/351.39 c 125 281 310.26 71.22 4.36 1000000 0 352.37/352.59 c 135 245 306.34 65.12 4.70 1000000 0 353.57/353.79 c 140 291 309.33 66.67 4.64 1000000 0 354.77/354.98 c 122 342 310.82 71.90 4.32 1000000 0 355.96/356.18 c 129 339 299.68 75.90 3.95 1000000 0 357.16/357.37 c 157 333 315.49 74.24 4.25 1000000 0 358.37/358.57 c 128 260 298.05 66.83 4.46 1000000 0 359.57/359.77 c 116 320 315.01 80.39 3.92 1000000 0 360.76/360.96 c 103 283 311.37 67.45 4.62 1000000 0 361.96/362.16 c 152 299 303.69 60.54 5.02 1000000 0 363.16/363.35 c 149 242 305.58 63.38 4.82 1000000 0 364.36/364.54 c 130 258 296.11 71.70 4.13 1000000 0 365.56/365.74 c 133 318 305.74 67.62 4.52 1000000 0 366.76/366.94 c 131 291 313.25 82.22 3.81 1000000 0 367.96/368.13 c 156 270 300.38 71.35 4.21 1000000 0 369.16/369.33 c 119 392 312.08 76.55 4.08 1000000 0 370.36/370.53 c 137 349 307.94 75.09 4.10 1000000 0 371.57/371.72 c 122 211 294.62 58.69 5.02 1000000 0 372.77/372.91 c 138 352 304.56 64.55 4.72 1000000 0 373.96/374.11 c 133 313 307.85 67.80 4.54 1000000 0 375.16/375.31 c 133 263 306.27 68.77 4.45 1000000 0 376.36/376.50 c 143 213 311.08 66.96 4.65 1000000 0 377.56/377.70 c 131 262 303.16 65.08 4.66 1000000 0 378.66/378.90 c 156 313 321.87 63.53 5.07 1000000 0 379.86/380.09 c 145 261 319.50 63.99 4.99 1000000 0 381.06/381.28 c 133 226 289.53 58.57 4.94 1000000 0 382.25/382.47 c 116 336 307.79 73.53 4.19 1000000 0 383.45/383.67 c 120 185 316.63 68.46 4.63 1000000 0 384.65/384.87 c 117 265 310.72 65.09 4.77 1000000 0 385.86/386.06 c 144 279 307.70 68.71 4.48 1000000 0 387.06/387.26 c 154 253 310.67 64.97 4.78 1000000 0 388.25/388.45 c 162 296 313.39 62.60 5.01 1000000 0 389.45/389.65 c 155 332 310.44 67.60 4.59 1000000 0 390.65/390.85 c 132 341 306.43 70.73 4.33 1000000 0 391.85/392.04 c 130 479 317.42 76.81 4.13 1000000 0 393.05/393.24 c 138 309 299.04 59.51 5.02 1000000 0 394.25/394.43 c 143 336 307.89 66.75 4.61 1000000 0 395.45/395.62 c 133 336 299.18 66.92 4.47 1000000 0 396.65/396.82 c 154 262 306.60 74.65 4.11 1000000 0 397.85/398.01 c 145 308 301.24 54.30 5.55 1000000 0 399.06/399.21 c 156 308 314.77 60.45 5.21 1000000 0 400.16/400.40 c 120 274 300.31 71.01 4.23 1000000 0 401.36/401.59 c 131 281 302.63 61.66 4.91 1000000 0 402.55/402.79 c 120 238 295.23 66.53 4.44 1000000 0 403.75/403.98 c 137 197 305.39 70.48 4.33 1000000 0 404.95/405.18 c 152 227 304.55 73.92 4.12 1000000 0 406.15/406.37 c 131 198 299.43 64.91 4.61 1000000 0 407.35/407.57 c 140 265 299.93 70.08 4.28 1000000 0 408.54/408.77 c 140 228 310.93 75.18 4.14 1000000 0 409.74/409.97 c 129 218 302.12 82.23 3.67 1000000 0 410.94/411.16 c 141 321 299.54 68.12 4.40 1000000 0 412.14/412.36 c 145 288 308.16 62.15 4.96 1000000 0 413.35/413.55 c 127 243 301.24 69.37 4.34 1000000 0 414.55/414.74 c 154 249 310.63 78.35 3.96 1000000 0 415.74/415.94 c 119 313 313.39 63.90 4.90 1000000 0 416.94/417.14 c 143 292 308.00 65.89 4.67 1000000 0 418.14/418.33 c 137 251 312.90 74.84 4.18 1000000 0 419.34/419.53 c 125 345 305.08 65.10 4.69 1000000 0 420.54/420.72 c 135 377 291.80 68.09 4.29 1000000 0 421.74/421.91 c 151 294 315.92 79.52 3.97 1000000 0 422.94/423.11 c 124 317 298.60 68.21 4.38 1000000 0 424.14/424.31 c 150 283 306.97 61.88 4.96 1000000 0 425.34/425.50 c 139 313 307.01 67.80 4.53 1000000 0 426.55/426.70 c 130 237 318.38 66.70 4.77 1000000 0 427.64/427.89 c 119 341 307.45 62.92 4.89 1000000 0 428.84/429.08 c 123 263 308.25 69.22 4.45 1000000 0 430.04/430.28 c 132 390 310.44 79.10 3.92 1000000 0 431.24/431.48 c 153 360 303.21 74.30 4.08 1000000 0 432.44/432.67 c 136 329 304.91 61.74 4.94 1000000 0 433.64/433.86 c 142 406 300.62 71.67 4.19 1000000 0 434.84/435.06 c 107 282 305.47 63.66 4.80 1000000 0 436.03/436.26 c 145 309 318.55 74.93 4.25 1000000 0 437.23/437.45 c 160 357 318.83 65.85 4.84 1000000 0 438.43/438.65 c 130 255 302.42 63.32 4.78 1000000 0 439.63/439.84 c 118 288 296.00 61.07 4.85 1000000 0 440.84/441.04 c 135 341 312.65 63.62 4.91 1000000 0 442.04/442.23 c 144 265 308.34 68.67 4.49 1000000 0 443.23/443.43 c 123 273 298.25 77.74 3.84 1000000 0 444.43/444.62 c 109 212 302.21 75.36 4.01 1000000 0 445.63/445.81 c 123 311 299.07 71.61 4.18 1000000 0 446.83/447.00 c 121 284 291.04 67.41 4.32 1000000 0 447.93/448.19 c 102 260 299.68 68.85 4.35 1000000 0 449.13/449.39 c 157 281 304.94 65.07 4.69 1000000 0 450.33/450.58 c 114 192 319.20 72.29 4.42 1000000 0 451.53/451.78 c 124 213 318.51 68.69 4.64 1000000 0 452.73/452.98 c 143 283 310.32 69.69 4.45 1000000 0 453.93/454.18 c 147 322 313.62 72.35 4.33 1000000 0 455.14/455.38 c 141 230 303.03 72.42 4.18 1000000 0 456.34/456.57 c 95 362 309.78 74.50 4.16 1000000 0 457.53/457.77 c 153 342 305.59 59.96 5.10 1000000 0 458.73/458.96 c 129 235 299.30 62.42 4.79 1000000 0 459.93/460.16 c 120 380 297.39 74.62 3.99 1000000 0 461.13/461.35 c 112 277 307.50 70.70 4.35 1000000 0 462.33/462.55 c 125 266 307.19 61.37 5.01 1000000 0 463.53/463.74 c 133 332 310.02 72.60 4.27 1000000 0 464.73/464.94 c 141 266 306.52 66.35 4.62 1000000 0 465.93/466.13 c 118 348 297.31 60.61 4.91 1000000 0 467.12/467.33 c 132 325 308.43 72.48 4.26 1000000 0 468.33/468.52 c 123 260 308.99 70.13 4.41 1000000 0 469.53/469.71 c 140 424 300.26 66.12 4.54 1000000 0 470.72/470.91 c 154 383 308.15 70.99 4.34 1000000 0 471.92/472.11 c 136 312 310.57 65.53 4.74 1000000 0 473.12/473.30 c 131 359 311.15 71.73 4.34 1000000 0 474.32/474.50 c 105 320 299.79 76.03 3.94 1000000 0 475.42/475.69 c 142 239 304.57 64.66 4.71 1000000 0 476.62/476.88 c 143 325 305.07 66.13 4.61 1000000 0 477.82/478.08 c 123 240 311.03 64.93 4.79 1000000 0 479.02/479.28 c 134 251 306.34 64.07 4.78 1000000 0 480.22/480.47 c 148 358 302.97 61.94 4.89 1000000 0 481.42/481.67 c 148 225 312.80 68.03 4.60 1000000 0 482.63/482.87 c 158 297 322.05 63.83 5.05 1000000 0 483.83/484.06 c 162 177 306.17 63.20 4.84 1000000 0 485.02/485.26 c 143 363 311.21 70.10 4.44 1000000 0 486.22/486.45 c 127 383 302.85 63.71 4.75 1000000 0 487.42/487.65 c 142 258 310.47 76.79 4.04 1000000 0 488.62/488.85 c 156 242 306.86 71.38 4.30 1000000 0 489.82/490.04 c 117 294 306.15 71.43 4.29 1000000 0 491.02/491.24 c 131 203 305.76 65.46 4.67 1000000 0 492.22/492.43 c 99 228 304.93 70.48 4.33 1000000 0 493.42/493.63 c 125 279 298.46 69.57 4.29 1000000 0 494.62/494.82 c 113 250 302.67 64.69 4.68 1000000 0 495.82/496.02 c 127 223 309.93 69.60 4.45 1000000 0 497.02/497.21 c 138 336 290.74 62.20 4.67 1000000 0 498.21/498.41 c 117 336 302.52 67.74 4.47 1000000 0 499.41/499.60 c 139 323 321.61 65.17 4.94 1000000 0 500.61/500.80 c 110 293 300.99 64.18 4.69 1000000 0 501.71/501.99 c 124 296 306.26 73.81 4.15 1000000 0 502.91/503.19 c 131 372 309.92 70.40 4.40 1000000 0 504.11/504.38 c 93 310 290.84 58.91 4.94 1000000 0 505.31/505.58 c 141 318 317.64 60.63 5.24 1000000 0 506.51/506.77 c 133 323 294.26 60.91 4.83 1000000 0 507.71/507.97 c 136 240 316.92 66.11 4.79 1000000 0 508.91/509.17 c 156 299 312.46 62.29 5.02 1000000 0 510.12/510.36 c 124 374 302.39 59.86 5.05 1000000 0 511.32/511.56 c 110 364 303.01 66.27 4.57 1000000 0 512.51/512.75 c 127 305 299.10 62.16 4.81 1000000 0 513.71/513.94 c 130 399 302.08 59.58 5.07 1000000 0 514.91/515.14 c 131 260 307.54 68.79 4.47 1000000 0 516.11/516.33 c 128 335 304.20 64.84 4.69 1000000 0 517.31/517.53 c 148 330 315.38 70.89 4.45 1000000 0 518.51/518.72 c 135 291 298.21 64.25 4.64 1000000 0 519.71/519.92 c 131 244 315.23 71.28 4.42 1000000 0 520.91/521.11 c 117 294 314.87 67.46 4.67 1000000 0 522.11/522.31 c 144 265 316.29 66.29 4.77 1000000 0 523.31/523.50 c 126 389 294.71 75.23 3.92 1000000 0 524.41/524.69 c 140 181 298.91 60.51 4.94 1000000 0 525.61/525.88 c 112 352 302.87 71.49 4.24 1000000 0 526.81/527.08 c 139 355 296.59 71.89 4.13 1000000 0 528.00/528.27 c 138 288 300.36 81.51 3.68 1000000 0 529.20/529.46 c 118 333 306.11 69.95 4.38 1000000 0 530.40/530.66 c 121 264 301.08 78.09 3.86 1000000 0 531.60/531.85 c 130 377 304.33 61.63 4.94 1000000 0 532.80/533.05 c 128 242 308.76 69.91 4.42 1000000 0 534.00/534.24 c 144 458 307.12 71.23 4.31 1000000 0 535.20/535.43 c 142 176 292.21 68.80 4.25 1000000 0 536.40/536.63 c 142 274 312.98 67.02 4.67 1000000 0 537.60/537.83 c 109 360 298.09 70.95 4.20 1000000 0 538.80/539.02 c 126 203 308.89 63.01 4.90 1000000 0 540.00/540.22 c 148 215 298.69 67.63 4.42 1000000 0 541.20/541.41 c 123 289 303.45 70.91 4.28 1000000 0 542.40/542.60 c 129 280 308.08 64.51 4.78 1000000 0 543.60/543.80 c 140 335 310.09 73.03 4.25 1000000 0 544.80/545.00 c 130 310 312.44 68.70 4.55 1000000 0 545.99/546.20 c 96 333 311.32 79.98 3.89 1000000 0 547.09/547.39 c 105 217 308.53 62.36 4.95 1000000 0 548.29/548.59 c 136 303 304.01 65.63 4.63 1000000 0 549.49/549.78 c 132 282 300.71 67.09 4.48 1000000 0 550.69/550.98 c 134 311 296.11 66.48 4.45 1000000 0 551.90/552.17 c 144 324 303.23 65.69 4.62 1000000 0 553.10/553.37 c 129 417 298.18 67.46 4.42 1000000 0 554.29/554.56 c 142 209 296.83 65.80 4.51 1000000 0 555.49/555.75 c 124 241 294.15 61.18 4.81 1000000 0 556.69/556.95 c 133 371 315.38 64.06 4.92 1000000 0 557.89/558.14 c 120 299 303.77 68.80 4.42 1000000 0 559.09/559.33 c 126 259 308.13 67.12 4.59 1000000 0 560.29/560.53 c 170 293 308.47 62.42 4.94 1000000 0 561.49/561.73 c 154 171 305.93 66.12 4.63 1000000 0 562.69/562.92 c 108 221 307.93 83.03 3.71 1000000 0 563.89/564.12 c 131 306 310.97 68.38 4.55 1000000 0 565.10/565.31 c 142 229 296.11 61.32 4.83 1000000 0 566.30/566.51 c 161 305 309.08 66.24 4.67 1000000 0 567.49/567.71 c 106 309 306.51 67.10 4.57 1000000 0 568.69/568.90 c 119 297 300.01 59.98 5.00 1000000 0 569.79/570.09 c 118 310 303.51 74.28 4.09 1000000 0 570.99/571.29 c 96 343 307.37 75.56 4.07 1000000 0 572.19/572.48 c 108 323 296.24 73.23 4.05 1000000 0 573.38/573.68 c 114 279 296.60 68.90 4.30 1000000 0 574.58/574.87 c 120 309 295.30 65.97 4.48 1000000 0 575.78/576.07 c 155 295 312.04 69.12 4.51 1000000 0 576.98/577.26 c 118 349 301.44 74.68 4.04 1000000 0 578.18/578.45 c 144 283 295.89 71.27 4.15 1000000 0 579.39/579.65 c 116 285 302.72 68.03 4.45 1000000 0 580.59/580.84 c 131 216 313.43 63.69 4.92 1000000 0 581.78/582.04 c 115 256 301.50 67.77 4.45 1000000 0 582.98/583.23 c 125 197 308.77 61.81 5.00 1000000 0 584.18/584.43 c 146 303 304.78 75.27 4.05 1000000 0 585.38/585.62 c 129 336 306.08 64.82 4.72 1000000 0 586.58/586.82 c 130 337 298.76 71.05 4.20 1000000 0 587.78/588.01 c 140 359 304.50 60.89 5.00 1000000 0 588.98/589.21 c 128 323 301.90 70.56 4.28 1000000 0 590.18/590.40 c 152 320 306.39 61.56 4.98 1000000 0 591.38/591.60 c 146 406 319.30 74.65 4.28 1000000 0 592.59/592.80 c 150 417 309.17 76.66 4.03 1000000 0 593.69/593.99 c 135 352 307.00 76.12 4.03 1000000 0 594.89/595.19 c 172 332 312.38 60.47 5.17 1000000 0 596.08/596.38 c 131 371 303.47 74.70 4.06 1000000 0 597.28/597.58 c 114 299 312.20 75.13 4.16 1000000 0 598.48/598.77 c 129 319 305.92 76.56 4.00 1000000 0 599.68/599.97 c 105 318 311.69 67.73 4.60 1000000 0 600.88/601.16 c 132 275 307.51 71.77 4.28 1000000 0 602.08/602.36 c 143 244 300.71 71.27 4.22 1000000 0 603.28/603.55 c 122 298 303.19 64.40 4.71 1000000 0 604.48/604.74 c 134 251 298.65 68.36 4.37 1000000 0 605.67/605.94 c 153 367 306.60 75.20 4.08 1000000 0 606.88/607.14 c 125 285 311.01 73.59 4.23 1000000 0 608.08/608.33 c 122 325 301.06 61.12 4.93 1000000 0 609.27/609.53 c 134 275 301.42 67.02 4.50 1000000 0 610.47/610.72 c 140 343 304.47 66.69 4.57 1000000 0 611.67/611.91 c 123 276 299.53 65.43 4.58 1000000 0 612.87/613.10 c 146 262 307.41 63.87 4.81 1000000 0 614.07/614.30 c 103 334 300.96 73.78 4.08 1000000 0 615.17/615.49 c 110 315 307.63 65.22 4.72 1000000 0 616.37/616.68 c 127 282 305.60 72.37 4.22 1000000 0 617.57/617.87 c 134 313 292.18 62.34 4.69 1000000 0 618.77/619.07 c 166 340 308.73 75.44 4.09 1000000 0 619.97/620.26 c 92 284 307.01 73.08 4.20 1000000 0 621.18/621.46 c 133 353 303.52 76.04 3.99 1000000 0 622.38/622.65 c 132 328 303.86 60.81 5.00 1000000 0 623.57/623.85 c 152 342 310.18 79.71 3.89 1000000 0 624.77/625.04 c 107 412 312.09 69.34 4.50 1000000 0 625.97/626.24 c 149 382 313.17 66.05 4.74 1000000 0 627.17/627.44 c 148 272 304.49 79.78 3.82 1000000 0 628.37/628.63 c 132 331 305.69 56.98 5.37 1000000 0 629.57/629.83 c 126 351 300.70 64.09 4.69 1000000 0 630.77/631.02 c 134 262 308.07 69.12 4.46 1000000 0 631.97/632.22 c 155 331 323.69 78.50 4.12 1000000 0 633.17/633.42 c 144 317 311.32 62.53 4.98 1000000 0 634.38/634.61 c 153 429 308.77 69.06 4.47 1000000 0 635.58/635.81 c 147 284 314.70 77.91 4.04 1000000 0 636.77/637.01 c 128 322 320.23 68.49 4.68 1000000 0 637.97/638.20 c 124 256 290.76 70.38 4.13 1000000 0 639.17/639.40 c 155 387 311.18 59.16 5.26 1000000 0 640.37/640.60 c 154 323 323.46 66.40 4.87 1000000 0 641.47/641.79 c 138 263 308.47 63.47 4.86 1000000 0 642.67/642.99 c 143 275 304.26 69.38 4.39 1000000 0 643.87/644.19 c 135 230 300.22 65.40 4.59 1000000 0 645.07/645.38 c 123 282 292.73 62.93 4.65 1000000 0 646.27/646.57 c 143 223 299.43 75.56 3.96 1000000 0 647.47/647.77 c 144 285 307.15 67.25 4.57 1000000 0 648.68/648.97 c 122 318 303.24 69.26 4.38 1000000 0 649.88/650.16 c 146 314 300.48 68.05 4.42 1000000 0 651.07/651.35 c 123 232 295.11 73.42 4.02 1000000 0 652.27/652.55 c 132 427 313.38 69.18 4.53 1000000 0 653.47/653.74 c 138 202 303.00 67.22 4.51 1000000 0 654.67/654.94 c 126 324 309.52 65.76 4.71 1000000 0 655.87/656.13 c 93 234 289.65 60.34 4.80 1000000 0 657.07/657.32 c 99 246 294.58 78.24 3.77 1000000 0 658.26/658.51 c 148 243 298.48 65.67 4.55 1000000 0 659.46/659.72 c 117 265 309.46 66.37 4.66 1000000 0 660.66/660.91 c 147 331 308.44 71.58 4.31 1000000 0 661.87/662.11 c 159 221 314.14 65.59 4.79 1000000 0 662.97/663.30 c 109 292 294.67 62.69 4.70 1000000 0 664.26/664.50 c 148 265 304.98 63.62 4.79 1000000 0 665.36/665.69 c 144 316 305.76 74.99 4.08 1000000 0 666.56/666.89 c 127 273 295.55 67.64 4.37 1000000 0 667.76/668.09 c 135 370 320.42 70.70 4.53 1000000 0 668.96/669.28 c 120 351 298.03 63.13 4.72 1000000 0 670.16/670.48 c 115 270 309.11 70.29 4.40 1000000 0 671.36/671.67 c 116 282 284.88 79.79 3.57 1000000 0 672.56/672.86 c 147 277 311.29 73.42 4.24 1000000 0 673.76/674.06 c 125 357 302.81 73.20 4.14 1000000 0 674.96/675.26 c 155 261 315.56 65.78 4.80 1000000 0 676.17/676.45 c 84 314 303.90 72.72 4.18 1000000 0 677.37/677.65 c 132 386 319.82 70.35 4.55 1000000 0 678.56/678.84 c 124 221 298.57 64.31 4.64 1000000 0 679.76/680.04 c 119 265 307.42 65.53 4.69 1000000 0 680.96/681.23 c 149 263 302.62 74.98 4.04 1000000 0 682.16/682.43 c 107 339 306.66 76.70 4.00 1000000 0 683.36/683.62 c 155 224 316.14 65.81 4.80 1000000 0 684.56/684.81 c 139 356 303.28 68.50 4.43 1000000 0 685.76/686.01 c 121 266 297.89 59.04 5.05 1000000 0 686.96/687.20 c 144 261 314.86 67.55 4.66 1000000 0 688.16/688.40 c 103 319 288.40 86.99 3.32 1000000 0 689.26/689.59 c 131 355 302.29 58.77 5.14 1000000 0 690.46/690.78 c 138 297 296.66 64.74 4.58 1000000 0 691.66/691.98 c 140 266 306.87 62.99 4.87 1000000 0 692.85/693.17 c 141 288 303.29 80.40 3.77 1000000 0 694.05/694.37 c 129 226 298.51 59.52 5.02 1000000 0 695.25/695.56 c 122 147 303.20 75.52 4.02 1000000 0 696.45/696.76 c 135 328 302.28 63.01 4.80 1000000 0 697.65/697.95 c 142 344 300.27 58.76 5.11 1000000 0 698.85/699.14 c 136 205 303.40 64.38 4.71 1000000 0 700.05/700.34 c 155 266 307.98 62.95 4.89 1000000 0 701.25/701.54 c 142 350 303.81 72.08 4.22 1000000 0 702.45/702.73 c 138 298 308.92 68.51 4.51 1000000 0 703.66/703.93 c 140 244 312.58 75.78 4.12 1000000 0 704.86/705.12 c 137 276 311.10 59.67 5.21 1000000 0 706.05/706.31 c 141 289 306.49 57.10 5.37 1000000 0 707.25/707.51 c 122 340 310.91 64.73 4.80 1000000 0 708.45/708.70 c 152 242 308.77 62.06 4.98 1000000 0 709.65/709.90 c 147 229 310.46 67.26 4.62 1000000 0 710.85/711.10 c 121 217 311.25 75.33 4.13 1000000 0 711.95/712.29 c 133 369 299.65 70.69 4.24 1000000 0 713.15/713.49 c 96 225 315.02 67.30 4.68 1000000 0 714.35/714.68 c 99 319 297.05 68.36 4.35 1000000 0 715.54/715.88 c 143 262 302.81 67.23 4.50 1000000 0 716.74/717.08 c 113 258 311.19 63.47 4.90 1000000 0 717.95/718.27 c 152 297 299.34 75.48 3.97 1000000 0 719.15/719.46 c 132 331 304.20 76.66 3.97 1000000 0 720.34/720.66 c 125 361 283.80 53.49 5.31 1000000 0 721.54/721.85 c 124 313 306.76 69.48 4.42 1000000 0 722.74/723.05 c 148 234 297.95 70.36 4.23 1000000 0 723.94/724.24 c 126 431 301.59 66.62 4.53 1000000 0 725.14/725.44 c 133 364 301.91 85.05 3.55 1000000 0 726.34/726.63 c 136 420 312.34 75.31 4.15 1000000 0 727.54/727.83 c 136 327 301.09 64.65 4.66 1000000 0 728.74/729.03 c 146 213 308.11 61.00 5.05 1000000 0 729.94/730.23 c 139 212 310.29 67.67 4.59 1000000 0 731.14/731.43 c 116 268 303.17 66.24 4.58 1000000 0 732.34/732.62 c 136 271 305.54 63.46 4.81 1000000 0 733.54/733.82 c 134 339 309.88 66.16 4.68 1000000 0 734.74/735.02 c 147 274 313.93 69.24 4.53 1000000 0 735.93/736.21 c 137 324 309.37 80.64 3.84 1000000 0 737.13/737.41 c 131 273 318.06 74.20 4.29 1000000 0 738.33/738.61 c 131 311 311.88 71.75 4.35 1000000 0 739.53/739.81 c 139 382 314.59 75.61 4.16 1000000 0 740.73/741.00 c 145 388 309.62 67.69 4.57 1000000 0 741.83/742.20 c 135 294 300.36 59.33 5.06 1000000 0 743.03/743.39 c 118 334 306.01 67.43 4.54 1000000 0 744.23/744.58 c 148 388 307.56 59.46 5.17 1000000 0 745.44/745.78 c 164 273 319.87 62.28 5.14 1000000 0 746.64/746.98 c 136 254 310.94 71.05 4.38 1000000 0 747.83/748.17 c 126 260 313.32 74.94 4.18 1000000 0 749.03/749.37 c 125 327 304.90 60.70 5.02 1000000 0 750.23/750.56 c 144 224 304.26 63.70 4.78 1000000 0 751.43/751.76 c 132 311 303.34 74.84 4.05 1000000 0 752.63/752.95 c 127 346 306.85 76.31 4.02 1000000 0 753.83/754.15 c 127 283 309.56 70.91 4.37 1000000 0 755.03/755.34 c 163 325 315.42 69.53 4.54 1000000 0 756.23/756.54 c 143 300 297.97 60.92 4.89 1000000 0 757.43/757.73 c 136 257 306.34 69.67 4.40 1000000 0 758.63/758.92 c 114 333 305.62 73.04 4.18 1000000 0 759.84/760.12 c 118 321 308.85 75.75 4.08 1000000 0 761.03/761.31 c 107 218 293.78 66.14 4.44 1000000 0 762.23/762.50 c 124 319 302.25 70.93 4.26 1000000 0 763.43/763.70 c 125 276 303.74 77.82 3.90 1000000 0 764.53/764.89 c 101 262 302.80 74.41 4.07 1000000 0 765.73/766.09 c 129 296 315.11 79.73 3.95 1000000 0 766.93/767.29 c 138 338 303.77 61.90 4.91 1000000 0 768.12/768.48 c 140 264 312.11 78.65 3.97 1000000 0 769.32/769.68 c 152 330 325.07 68.49 4.75 1000000 0 770.52/770.88 c 121 243 304.11 76.42 3.98 1000000 0 771.72/772.07 c 136 234 302.99 61.25 4.95 1000000 0 772.93/773.26 c 122 398 304.03 63.03 4.82 1000000 0 774.13/774.46 c 155 360 311.79 68.26 4.57 1000000 0 775.32/775.66 c 126 274 302.28 74.53 4.06 1000000 0 776.52/776.86 c 151 347 314.69 68.93 4.56 1000000 0 777.72/778.06 c 120 393 308.07 72.24 4.26 1000000 0 778.92/779.26 c 120 454 312.43 72.49 4.31 1000000 0 780.12/780.45 c 132 318 304.80 67.36 4.52 1000000 0 781.32/781.64 c 134 239 294.12 69.18 4.25 1000000 0 782.52/782.84 c 127 274 309.63 78.86 3.93 1000000 0 783.72/784.03 c 103 265 296.75 66.31 4.48 1000000 0 784.92/785.22 c 112 267 294.87 75.71 3.89 1000000 0 786.13/786.42 c 141 313 302.65 59.28 5.11 1000000 0 787.33/787.62 c 150 325 319.44 73.43 4.35 1000000 0 788.52/788.82 c 137 256 311.55 76.77 4.06 1000000 0 789.72/790.01 c 133 268 293.12 71.91 4.08 1000000 0 790.92/791.21 c 90 273 294.27 67.41 4.37 1000000 0 792.12/792.40 c 147 226 317.05 66.55 4.76 1000000 0 793.22/793.59 c 130 225 309.07 71.17 4.34 1000000 0 794.42/794.79 c 131 312 299.55 62.82 4.77 1000000 0 795.62/795.98 c 129 243 294.44 64.22 4.58 1000000 0 796.81/797.18 c 115 323 312.77 74.08 4.22 1000000 0 798.02/798.37 c 110 292 304.54 69.33 4.39 1000000 0 799.22/799.57 c 160 259 309.98 65.97 4.70 1000000 0 800.42/800.77 c 130 325 306.15 70.25 4.36 1000000 0 801.62/801.96 c 130 325 305.13 67.68 4.51 1000000 0 802.81/803.16 c 127 353 313.45 83.53 3.75 1000000 0 804.01/804.35 c 137 186 297.20 71.19 4.18 1000000 0 805.21/805.55 c 151 323 306.58 70.83 4.33 1000000 0 806.41/806.74 c 117 173 293.36 71.55 4.10 1000000 0 807.61/807.94 c 143 305 306.55 62.71 4.89 1000000 0 808.81/809.13 c 127 288 305.82 62.65 4.88 1000000 0 810.01/810.33 c 105 241 306.02 63.72 4.80 1000000 0 811.21/811.52 c 129 212 297.20 67.35 4.41 1000000 0 812.41/812.72 c 163 218 311.24 63.71 4.88 1000000 0 813.62/813.91 c 136 437 304.48 73.29 4.15 1000000 0 814.82/815.11 c 144 404 307.66 70.12 4.39 1000000 0 816.01/816.30 c 124 236 302.57 66.20 4.57 1000000 0 817.11/817.50 c 105 244 319.25 68.83 4.64 1000000 0 818.31/818.69 c 122 258 300.13 76.00 3.95 1000000 0 819.51/819.89 c 125 272 315.05 69.35 4.54 1000000 0 820.71/821.08 c 123 402 316.32 64.73 4.89 1000000 0 821.91/822.28 c 146 248 297.57 68.79 4.33 1000000 0 823.11/823.47 c 112 305 296.64 65.02 4.56 1000000 0 824.31/824.67 c 128 371 299.87 60.39 4.97 1000000 0 825.51/825.86 c 153 312 305.85 68.96 4.44 1000000 0 826.71/827.06 c 122 237 305.73 74.95 4.08 1000000 0 827.91/828.25 c 144 259 301.39 64.34 4.68 1000000 0 829.11/829.45 c 129 277 309.30 58.94 5.25 1000000 0 830.30/830.65 c 139 370 313.29 70.59 4.44 1000000 0 831.50/831.84 c 141 364 308.10 69.88 4.41 1000000 0 832.70/833.04 c 123 466 314.87 73.14 4.31 1000000 0 833.90/834.24 c 109 327 314.16 74.23 4.23 1000000 0 835.10/835.43 c 145 294 295.69 68.26 4.33 1000000 0 836.30/836.62 c 125 359 307.40 74.08 4.15 1000000 0 837.50/837.82 c 137 271 311.01 66.99 4.64 1000000 0 838.70/839.02 c 120 350 308.21 75.64 4.07 1000000 0 839.90/840.22 c 146 329 303.10 70.91 4.27 1000000 0 841.11/841.41 c 146 197 303.79 66.75 4.55 1000000 0 842.21/842.60 c 138 378 306.19 70.68 4.33 1000000 0 843.50/843.80 c 158 313 307.89 70.03 4.40 1000000 0 844.60/844.99 c 100 305 308.43 67.28 4.58 1000000 0 845.80/846.19 c 122 277 306.21 64.90 4.72 1000000 0 847.00/847.38 c 147 313 306.67 67.89 4.52 1000000 0 848.19/848.56 c 139 356 303.44 75.34 4.03 1000000 0 849.39/849.75 c 122 398 301.48 61.79 4.88 1000000 0 850.59/850.95 c 114 351 303.40 73.73 4.11 1000000 0 851.79/852.14 c 130 325 308.38 63.82 4.83 1000000 0 852.99/853.33 c 147 208 302.09 73.50 4.11 1000000 0 854.19/854.52 c 140 355 294.11 70.31 4.18 1000000 0 855.40/855.72 c 140 392 304.55 71.22 4.28 1000000 0 856.60/856.92 c 128 316 308.74 64.40 4.79 1000000 0 857.79/858.11 c 140 331 305.27 76.09 4.01 1000000 0 858.99/859.31 c 115 331 294.17 67.94 4.33 1000000 0 860.19/860.50 c 123 273 287.12 63.86 4.50 1000000 0 861.29/861.69 c 124 225 321.82 76.69 4.20 1000000 0 862.49/862.89 c 128 333 305.46 67.98 4.49 1000000 0 863.69/864.08 c 131 252 306.18 72.04 4.25 1000000 0 864.89/865.28 c 153 351 315.90 69.58 4.54 1000000 0 866.09/866.47 c 145 284 314.67 72.30 4.35 1000000 0 867.29/867.66 c 137 326 303.43 72.17 4.20 1000000 0 868.49/868.86 c 134 376 303.05 62.80 4.83 1000000 0 869.69/870.05 c 143 301 301.66 62.57 4.82 1000000 0 870.89/871.25 c 135 230 314.37 85.93 3.66 1000000 0 872.09/872.45 c 106 267 296.66 79.40 3.74 1000000 0 873.29/873.64 c 116 309 299.05 68.54 4.36 1000000 0 874.49/874.83 c 128 317 304.54 74.76 4.07 1000000 0 875.69/876.03 c 121 336 314.01 61.06 5.14 1000000 0 876.89/877.22 c 142 409 301.68 59.51 5.07 1000000 0 878.08/878.42 c 117 272 301.32 68.37 4.41 1000000 0 879.28/879.62 c 132 316 308.78 68.43 4.51 1000000 0 880.48/880.81 c 127 310 312.77 69.75 4.48 1000000 0 881.68/882.01 c 123 341 298.44 65.46 4.56 1000000 0 882.89/883.20 c 132 282 298.91 70.58 4.24 1000000 0 883.99/884.39 c 125 375 305.82 71.75 4.26 1000000 0 885.19/885.59 c 132 215 299.15 56.12 5.33 1000000 0 886.38/886.79 c 132 217 312.41 72.06 4.34 1000000 0 887.58/887.98 c 147 270 304.49 68.76 4.43 1000000 0 888.78/889.18 c 139 323 312.33 72.78 4.29 1000000 0 889.98/890.37 c 108 271 300.11 58.23 5.15 1000000 0 891.18/891.57 c 138 383 299.51 64.88 4.62 1000000 0 892.38/892.76 c 146 305 302.70 60.02 5.04 1000000 0 893.58/893.95 c 139 282 297.17 65.81 4.52 1000000 0 894.78/895.15 c 139 263 305.18 66.91 4.56 1000000 0 895.98/896.34 c 135 251 296.30 65.20 4.54 1000000 0 897.19/897.54 c 144 293 304.84 63.08 4.83 1000000 0 898.38/898.73 c 121 212 295.49 69.09 4.28 1000000 0 899.58/899.92 c 157 299 303.84 56.62 5.37 1000000 0 900.78/901.12 c 126 355 319.57 66.12 4.83 1000000 0 901.98/902.32 c 125 251 307.02 65.91 4.66 1000000 0 903.18/903.51 c 141 316 306.05 71.41 4.29 1000000 0 904.38/904.70 c 137 278 297.68 62.91 4.73 1000000 0 905.48/905.89 c 117 319 306.10 77.67 3.94 1000000 0 906.68/907.09 c 127 306 299.75 71.67 4.18 1000000 0 907.87/908.28 c 146 278 309.79 66.99 4.62 1000000 0 909.07/909.47 c 127 263 293.09 67.24 4.36 1000000 0 910.27/910.66 c 146 370 311.25 66.82 4.66 1000000 0 911.48/911.86 c 131 381 315.81 66.03 4.78 1000000 0 912.68/913.06 c 149 323 317.53 68.92 4.61 1000000 0 913.87/914.25 c 146 315 308.32 75.55 4.08 1000000 0 915.07/915.45 c 136 225 304.44 68.05 4.47 1000000 0 916.27/916.65 c 130 396 316.61 58.76 5.39 1000000 0 917.47/917.84 c 147 378 318.35 72.15 4.41 1000000 0 918.67/919.04 c 137 325 316.24 67.29 4.70 1000000 0 919.87/920.24 c 143 283 302.34 77.17 3.92 1000000 0 921.07/921.43 c 132 316 308.59 61.25 5.04 1000000 0 922.27/922.62 c 137 350 295.88 66.49 4.45 1000000 0 923.47/923.82 c 109 330 304.81 74.64 4.08 1000000 0 924.67/925.01 c 131 277 292.22 59.56 4.91 1000000 0 925.77/926.20 c 132 326 305.90 69.12 4.43 1000000 0 926.98/927.39 c 139 424 302.15 67.26 4.49 1000000 0 928.17/928.59 c 126 243 296.80 61.61 4.82 1000000 0 929.37/929.79 c 145 325 310.87 67.55 4.60 1000000 0 930.57/930.98 c 116 350 290.91 68.49 4.25 1000000 0 931.77/932.18 c 129 278 297.22 61.75 4.81 1000000 0 932.97/933.37 c 133 266 297.49 61.71 4.82 1000000 0 934.16/934.56 c 105 258 303.51 63.92 4.75 1000000 0 935.36/935.76 c 111 301 306.36 72.02 4.25 1000000 0 936.56/936.95 c 125 292 300.12 65.83 4.56 1000000 0 937.76/938.15 c 114 195 298.74 69.33 4.31 1000000 0 938.97/939.34 c 115 228 295.83 69.16 4.28 1000000 0 940.17/940.54 c 109 263 306.91 70.81 4.33 1000000 0 941.36/941.74 c 145 383 310.66 70.87 4.38 1000000 0 942.56/942.93 c 110 277 309.64 73.77 4.20 1000000 0 943.76/944.12 c 142 312 299.99 76.89 3.90 1000000 0 944.96/945.32 c 157 340 315.26 73.02 4.32 1000000 0 946.16/946.52 c 130 382 311.04 62.85 4.95 1000000 0 947.36/947.71 c 124 294 302.64 73.00 4.15 1000000 0 948.56/948.91 c 130 319 303.95 70.31 4.32 1000000 0 949.76/950.11 c 134 274 307.75 70.74 4.35 1000000 0 950.96/951.30 c 153 322 308.20 62.60 4.92 1000000 0 952.06/952.49 c 136 322 306.00 72.46 4.22 1000000 0 953.27/953.69 c 132 368 309.17 72.78 4.25 1000000 0 954.46/954.88 c 112 305 307.04 69.98 4.39 1000000 0 955.66/956.08 c 144 270 310.51 64.65 4.80 1000000 0 956.86/957.27 c 110 263 306.37 78.45 3.91 1000000 0 958.06/958.46 c 132 243 304.52 72.03 4.23 1000000 0 959.26/959.66 c 148 470 307.17 61.92 4.96 1000000 0 960.46/960.86 c 141 317 311.25 77.99 3.99 1000000 0 961.66/962.06 c 146 348 311.89 68.46 4.56 1000000 0 962.86/963.26 c 85 282 305.49 68.88 4.44 1000000 0 964.05/964.45 c 144 278 310.07 75.68 4.10 1000000 0 965.26/965.65 c 131 239 309.69 67.25 4.60 1000000 0 966.46/966.85 c 121 304 300.52 72.24 4.16 1000000 0 967.66/968.04 c 113 492 307.41 66.83 4.60 1000000 0 968.85/969.24 c 126 259 310.92 70.36 4.42 1000000 0 970.05/970.43 c 129 295 299.14 61.11 4.90 1000000 0 971.25/971.63 c 129 355 301.63 73.07 4.13 1000000 0 972.45/972.83 c 158 195 305.45 64.97 4.70 1000000 0 973.65/974.02 c 144 323 309.14 67.61 4.57 1000000 0 974.85/975.21 c 138 249 304.89 60.07 5.08 1000000 0 976.05/976.41 c 112 260 321.25 66.60 4.82 1000000 0 977.25/977.61 c 133 331 305.45 62.28 4.90 1000000 0 978.45/978.80 c 140 248 299.53 69.83 4.29 1000000 0 979.66/980.00 c 128 215 303.87 70.34 4.32 1000000 0 980.76/981.19 c 122 354 289.04 66.34 4.36 1000000 0 981.96/982.38 c 144 317 310.84 64.41 4.83 1000000 0 983.15/983.58 c 111 368 296.92 71.86 4.13 1000000 0 984.35/984.77 c 122 260 303.45 70.96 4.28 1000000 0 985.55/985.96 c 122 374 304.58 72.42 4.21 1000000 0 986.75/987.16 c 130 303 304.95 69.36 4.40 1000000 0 987.95/988.36 c 139 360 310.50 75.47 4.11 1000000 0 989.15/989.55 c 115 317 309.24 82.29 3.76 1000000 0 990.35/990.75 c 141 299 311.40 63.44 4.91 1000000 0 991.55/991.94 c 141 338 304.66 64.89 4.69 1000000 0 992.75/993.14 c 127 281 307.88 66.51 4.63 1000000 0 993.95/994.34 c 152 331 302.83 64.52 4.69 1000000 0 995.15/995.53 c 132 223 295.43 64.62 4.57 1000000 0 996.34/996.72 c 127 303 305.37 86.84 3.52 1000000 0 997.54/997.92 c 135 292 318.93 75.93 4.20 1000000 0 998.74/999.12 c 136 353 310.25 64.77 4.79 1000000 0 999.94/1000.31 c 128 245 307.39 71.25 4.31 1000000 0 1001.14/1001.50 c 140 290 307.86 65.50 4.70 1000000 0 1002.34/1002.70 c 153 291 304.24 64.94 4.68 1000000 0 1003.44/1003.89 c 128 302 305.22 63.68 4.79 1000000 0 1004.64/1005.09 c 156 221 313.06 63.23 4.95 1000000 0 1005.84/1006.28 c 122 335 305.82 76.27 4.01 1000000 0 1007.04/1007.48 c 144 290 309.32 59.91 5.16 1000000 0 1008.25/1008.68 c 123 209 305.29 68.45 4.46 1000000 0 1009.45/1009.87 c 126 313 290.36 67.94 4.27 1000000 0 1010.64/1011.06 c 128 362 300.20 63.30 4.74 1000000 0 1011.84/1012.25 c 137 291 313.20 68.26 4.59 1000000 0 1013.04/1013.45 c 134 235 290.84 60.98 4.77 1000000 0 1014.24/1014.64 c 145 267 305.79 59.62 5.13 1000000 0 1015.43/1015.83 c 96 263 309.53 80.08 3.87 1000000 0 1016.63/1017.03 c 140 238 307.51 76.16 4.04 1000000 0 1017.83/1018.22 c 118 303 303.84 71.41 4.26 1000000 0 1019.03/1019.42 c 133 272 306.87 67.74 4.53 1000000 0 1020.23/1020.62 c 140 351 310.52 69.74 4.45 1000000 0 1021.44/1021.81 c 149 247 308.94 72.91 4.24 1000000 0 1022.64/1023.01 c 130 164 302.05 63.69 4.74 1000000 0 1023.83/1024.20 c 131 344 301.94 75.22 4.01 1000000 0 1025.03/1025.40 c 134 334 316.37 69.23 4.57 1000000 0 1026.13/1026.59 c 128 211 298.23 71.87 4.15 1000000 0 1027.33/1027.78 c 116 331 296.07 75.67 3.91 1000000 0 1028.53/1028.98 c 126 350 315.49 65.39 4.83 1000000 0 1029.73/1030.17 c 133 255 293.32 67.64 4.34 1000000 0 1030.93/1031.37 c 123 261 319.26 78.07 4.09 1000000 0 1032.13/1032.56 c 120 187 300.52 72.65 4.14 1000000 0 1033.33/1033.76 c 122 289 297.83 76.58 3.89 1000000 0 1034.53/1034.95 c 159 376 307.13 65.72 4.67 1000000 0 1035.73/1036.15 c 123 367 302.39 68.67 4.40 1000000 0 1036.94/1037.34 c 104 344 303.63 71.52 4.25 1000000 0 1038.13/1038.54 c 128 386 304.13 72.65 4.19 1000000 0 1039.33/1039.74 c 125 389 298.22 68.28 4.37 1000000 0 1040.53/1040.93 c 135 331 308.79 68.30 4.52 1000000 0 1041.73/1042.13 c 140 238 309.92 78.43 3.95 1000000 0 1042.93/1043.32 c 132 355 307.90 76.24 4.04 1000000 0 1044.13/1044.52 c 136 269 305.98 62.26 4.91 1000000 0 1045.33/1045.71 c 130 308 311.45 74.95 4.16 1000000 0 1046.52/1046.91 c 118 311 307.40 68.65 4.48 1000000 0 1047.72/1048.11 c 147 298 309.08 73.10 4.23 1000000 0 1048.93/1049.30 c 113 264 300.90 60.06 5.01 1000000 0 1050.03/1050.50 c 124 261 308.40 74.65 4.13 1000000 0 1051.32/1051.70 c 157 349 316.81 64.97 4.88 1000000 0 1052.42/1052.89 c 136 269 298.01 70.23 4.24 1000000 0 1053.62/1054.08 c 133 355 312.62 69.65 4.49 1000000 0 1054.82/1055.28 c 142 272 304.55 69.42 4.39 1000000 0 1056.02/1056.47 c 101 222 306.48 73.74 4.16 1000000 0 1057.22/1057.66 c 133 292 294.96 65.78 4.48 1000000 0 1058.42/1058.85 c 140 315 297.69 59.92 4.97 1000000 0 1059.62/1060.05 c 126 327 310.87 71.00 4.38 1000000 0 1060.82/1061.25 c 133 244 308.66 68.07 4.53 1000000 0 1062.02/1062.44 c 107 215 301.39 59.15 5.10 1000000 0 1063.22/1063.64 c 120 318 313.52 68.32 4.59 1000000 0 1064.42/1064.83 c 144 328 306.07 65.29 4.69 1000000 0 1065.62/1066.02 c 113 385 303.63 68.81 4.41 1000000 0 1066.82/1067.22 c 140 375 299.36 70.73 4.23 1000000 0 1068.02/1068.41 c 101 270 303.04 66.85 4.53 1000000 0 1069.22/1069.61 c 153 259 308.49 62.78 4.91 1000000 0 1070.41/1070.81 c 115 193 310.72 80.47 3.86 1000000 0 1071.61/1072.01 c 107 263 312.12 66.89 4.67 1000000 0 1072.81/1073.20 c 126 296 298.57 68.41 4.36 1000000 0 1073.91/1074.39 c 89 275 303.97 73.15 4.16 1000000 0 1075.11/1075.59 c 133 283 322.14 64.10 5.03 1000000 0 1076.31/1076.78 c 147 282 306.16 66.04 4.64 1000000 0 1077.52/1077.98 c 108 278 303.45 64.04 4.74 1000000 0 1078.72/1079.17 c 145 298 305.30 68.87 4.43 1000000 0 1079.91/1080.36 c 112 381 305.88 78.07 3.92 1000000 0 1081.11/1081.56 c 97 405 307.59 82.00 3.75 1000000 0 1082.31/1082.75 c 118 245 310.21 65.20 4.76 1000000 0 1083.51/1083.94 c 137 392 310.98 76.17 4.08 1000000 0 1084.71/1085.14 c 102 320 294.47 62.99 4.68 1000000 0 1085.91/1086.33 c 131 304 318.34 62.17 5.12 1000000 0 1087.11/1087.53 c 154 359 308.88 67.12 4.60 1000000 0 1088.31/1088.73 c 132 277 303.46 77.70 3.91 1000000 0 1089.51/1089.92 c 132 340 300.77 67.04 4.49 1000000 0 1090.71/1091.12 c 153 413 314.17 63.07 4.98 1000000 0 1091.91/1092.31 c 130 298 302.20 72.13 4.19 1000000 0 1093.11/1093.51 c 95 319 307.59 61.77 4.98 1000000 0 1094.31/1094.70 c 129 236 309.68 69.43 4.46 1000000 0 1095.41/1095.90 c 124 289 306.56 71.48 4.29 1000000 0 1096.60/1097.09 c 119 341 303.69 67.02 4.53 1000000 0 1097.80/1098.29 c 135 218 303.47 64.97 4.67 1000000 0 1099.00/1099.48 c 127 298 305.58 73.51 4.16 1000000 0 1100.20/1100.67 c 132 335 296.50 74.75 3.97 1000000 0 1101.40/1101.87 c 139 303 302.12 66.30 4.56 1000000 0 1102.60/1103.06 c 125 442 296.33 66.78 4.44 1000000 0 1103.80/1104.25 c 135 337 310.41 57.82 5.37 1000000 0 1105.01/1105.44 c 103 233 303.63 80.75 3.76 1000000 0 1106.21/1106.64 c 127 265 296.93 70.70 4.20 1000000 0 1107.40/1107.83 c 112 266 304.36 64.55 4.72 1000000 0 1108.60/1109.03 c 132 338 307.82 68.84 4.47 1000000 0 1109.80/1110.22 c 145 234 301.75 73.50 4.11 1000000 0 1111.00/1111.42 c 159 237 315.94 59.70 5.29 1000000 0 1112.20/1112.62 c 153 308 308.82 59.33 5.21 1000000 0 1113.40/1113.81 c 123 368 296.74 74.85 3.96 1000000 0 1114.60/1115.00 c 141 275 306.25 68.89 4.45 1000000 0 1115.70/1116.19 c 139 309 305.12 70.00 4.36 1000000 0 1116.90/1117.39 c 122 201 313.20 68.03 4.60 1000000 0 1118.10/1118.58 c 141 253 299.00 68.70 4.35 1000000 0 1119.30/1119.77 c 99 347 298.67 76.37 3.91 1000000 0 1120.50/1120.97 c 87 311 298.21 74.18 4.02 1000000 0 1121.70/1122.17 c 122 278 307.47 66.41 4.63 1000000 0 1122.90/1123.36 c 122 309 289.54 60.57 4.78 1000000 0 1124.10/1124.55 c 121 122 302.87 60.57 5.00 1000000 0 1125.30/1125.75 c 151 410 317.94 66.70 4.77 1000000 0 1126.49/1126.95 c 143 247 303.65 66.55 4.56 1000000 0 1127.69/1128.14 c 134 416 308.09 76.79 4.01 1000000 0 1128.89/1129.34 c 133 343 307.81 70.54 4.36 1000000 0 1130.09/1130.53 c 120 306 290.76 79.59 3.65 1000000 0 1131.29/1131.72 c 114 256 302.62 71.75 4.22 1000000 0 1132.50/1132.92 c 83 288 293.05 79.59 3.68 1000000 0 1133.70/1134.11 c 125 292 301.51 70.76 4.26 1000000 0 1134.89/1135.31 c 100 335 301.78 81.52 3.70 1000000 0 1135.99/1136.50 c 125 284 311.47 64.90 4.80 1000000 0 1137.19/1137.69 c 124 403 302.85 71.28 4.25 1000000 0 1138.39/1138.88 c 139 238 299.57 66.10 4.53 1000000 0 1139.59/1140.07 c 119 276 302.84 73.05 4.15 1000000 0 1140.79/1141.27 c 110 254 309.32 69.89 4.43 1000000 0 1141.99/1142.47 c 123 317 311.37 75.01 4.15 1000000 0 1143.19/1143.66 c 114 318 306.24 66.10 4.63 1000000 0 1144.39/1144.85 c 141 230 305.08 69.15 4.41 1000000 0 1145.59/1146.05 c 130 265 305.69 71.69 4.26 1000000 0 1146.79/1147.24 c 148 301 310.50 67.10 4.63 1000000 0 1148.00/1148.44 c 132 210 305.33 66.76 4.57 1000000 0 1149.19/1149.63 c 143 266 308.47 68.54 4.50 1000000 0 1150.39/1150.83 c 133 296 310.45 67.80 4.58 1000000 0 1151.59/1152.03 c 154 497 317.97 74.00 4.30 1000000 0 1152.79/1153.22 c 115 327 308.16 64.93 4.75 1000000 0 1153.99/1154.42 c 141 361 318.21 76.65 4.15 1000000 0 1155.19/1155.61 c 118 298 305.63 72.85 4.20 1000000 0 1156.39/1156.81 c 131 253 311.23 62.69 4.96 1000000 0 1157.59/1158.01 c 124 223 305.42 86.03 3.55 1000000 0 1158.79/1159.20 c 111 312 300.89 86.92 3.46 1000000 0 1160.00/1160.40 c 125 360 305.66 63.08 4.85 1000000 0 1161.10/1161.59 c 131 309 297.62 65.54 4.54 1000000 0 1162.30/1162.79 c 128 329 302.18 66.16 4.57 1000000 0 1163.49/1163.98 c 109 360 307.66 82.48 3.73 1000000 0 1164.69/1165.18 c 147 229 300.73 66.24 4.54 1000000 0 1165.89/1166.37 c 118 273 292.00 63.48 4.60 1000000 0 1167.09/1167.56 c 146 299 308.86 69.85 4.42 1000000 0 1168.29/1168.76 c 70 284 295.79 67.82 4.36 1000000 0 1169.49/1169.95 c 110 230 295.92 65.31 4.53 1000000 0 1170.69/1171.15 c 145 284 314.51 69.17 4.55 1000000 0 1171.89/1172.35 c 150 390 301.12 69.48 4.33 1000000 0 1173.09/1173.54 c 141 361 310.35 67.13 4.62 1000000 0 1174.29/1174.74 c 134 210 297.01 63.98 4.64 1000000 0 1175.49/1175.94 c 139 394 324.36 78.80 4.12 1000000 0 1176.69/1177.13 c 134 218 309.36 72.95 4.24 1000000 0 1177.88/1178.33 c 150 426 312.62 73.11 4.28 1000000 0 1179.08/1179.53 c 127 298 314.16 69.44 4.52 1000000 0 1180.28/1180.72 c 96 209 294.21 71.54 4.11 1000000 0 1181.48/1181.92 c 134 243 305.97 71.44 4.28 1000000 0 1182.68/1183.11 c 91 259 308.29 66.69 4.62 1000000 0 1183.88/1184.31 c 141 229 315.32 73.74 4.28 1000000 0 1185.08/1185.51 c 133 306 307.08 64.97 4.73 1000000 0 1186.28/1186.70 c 130 303 321.63 63.22 5.09 1000000 0 1187.49/1187.90 c 96 342 302.48 72.41 4.18 1000000 0 1188.59/1189.09 c 130 255 309.36 65.80 4.70 1000000 0 1189.79/1190.29 c 152 320 305.37 61.45 4.97 1000000 0 1190.98/1191.48 c 142 417 314.49 72.51 4.34 1000000 0 1192.18/1192.68 c 146 352 307.64 69.22 4.44 1000000 0 1193.38/1193.87 c 115 304 294.53 70.79 4.16 1000000 0 1194.58/1195.06 c 127 303 306.70 64.41 4.76 1000000 0 1195.78/1196.26 c 167 313 316.18 65.69 4.81 1000000 0 1196.98/1197.46 c 119 198 295.98 71.43 4.14 1000000 0 1198.18/1198.65 c 136 235 306.11 67.47 4.54 1000000 0 1199.38/1199.85 c 130 266 313.71 78.41 4.00 1000000 0 1200.58/1201.05 c 142 213 316.56 68.39 4.63 1000000 0 1201.78/1202.24 c 122 266 301.48 76.08 3.96 1000000 0 1202.98/1203.44 c 120 219 308.68 70.69 4.37 1000000 0 1204.18/1204.63 c 160 333 314.37 67.31 4.67 1000000 0 1205.38/1205.83 c 143 232 305.84 63.15 4.84 1000000 0 1206.58/1207.02 c 133 234 304.88 73.41 4.15 1000000 0 1207.77/1208.22 c 159 264 314.21 57.16 5.50 1000000 0 1208.97/1209.41 c 159 322 311.21 72.17 4.31 1000000 0 1210.17/1210.60 c 94 245 301.20 69.10 4.36 1000000 0 1211.27/1211.79 c 116 274 289.60 59.23 4.89 1000000 0 1212.47/1212.98 c 140 328 298.28 67.62 4.41 1000000 0 1213.67/1214.18 c 131 315 300.20 73.08 4.11 1000000 0 1214.87/1215.37 c 149 278 311.43 60.63 5.14 1000000 0 1216.08/1216.57 c 138 292 317.24 64.96 4.88 1000000 0 1217.28/1217.77 c 139 277 301.14 61.07 4.93 1000000 0 1218.47/1218.96 c 147 230 308.33 70.54 4.37 1000000 0 1219.67/1220.15 c 112 254 300.30 61.34 4.90 1000000 0 1220.87/1221.35 c 131 369 309.28 69.57 4.45 1000000 0 1222.07/1222.54 c 100 278 298.36 67.77 4.40 1000000 0 1223.27/1223.73 c 137 277 313.21 67.91 4.61 1000000 0 1224.47/1224.93 c 147 238 301.09 69.93 4.31 1000000 0 1225.67/1226.12 c 146 281 311.47 74.19 4.20 1000000 0 1226.87/1227.31 c 138 241 308.03 68.03 4.53 1000000 0 1228.07/1228.51 c 100 396 300.58 74.56 4.03 1000000 0 1229.28/1229.70 c 142 351 299.56 61.80 4.85 1000000 0 1230.37/1230.89 c 145 265 305.09 70.41 4.33 1000000 0 1231.57/1232.09 c 134 249 292.43 71.67 4.08 1000000 0 1232.77/1233.29 c 99 275 297.44 67.31 4.42 1000000 0 1233.97/1234.48 c 125 294 309.00 75.06 4.12 1000000 0 1235.17/1235.68 c 155 389 314.53 69.34 4.54 1000000 0 1236.37/1236.87 c 128 361 296.78 72.55 4.09 1000000 0 1237.56/1238.07 c 135 301 305.06 65.59 4.65 1000000 0 1238.76/1239.27 c 124 309 311.68 73.81 4.22 1000000 0 1239.96/1240.46 c 121 312 292.67 67.92 4.31 1000000 0 1241.16/1241.65 c 133 270 304.96 66.17 4.61 1000000 0 1242.36/1242.85 c 105 209 307.00 68.09 4.51 1000000 0 1243.57/1244.04 c 132 368 305.03 67.76 4.50 1000000 0 1244.77/1245.24 c 130 338 304.73 64.45 4.73 1000000 0 1245.96/1246.43 c 120 427 309.31 72.69 4.26 1000000 0 1247.16/1247.63 c 134 270 302.09 71.55 4.22 1000000 0 1248.36/1248.83 c 130 322 301.82 67.87 4.45 1000000 0 1249.56/1250.02 c 164 206 316.04 67.71 4.67 1000000 0 1250.76/1251.22 c 139 217 313.08 71.36 4.39 1000000 0 1251.96/1252.41 c 146 314 307.42 73.04 4.21 1000000 0 1253.16/1253.61 c 158 360 308.98 67.46 4.58 1000000 0 1254.36/1254.81 c 122 239 306.41 68.48 4.47 1000000 0 1255.46/1255.99 c 117 365 290.87 65.37 4.45 1000000 0 1256.66/1257.19 c 115 246 304.34 69.99 4.35 1000000 0 1257.86/1258.38 c 126 208 301.91 75.73 3.99 1000000 0 1259.06/1259.57 c 154 260 309.01 67.25 4.60 1000000 0 1260.26/1260.76 c 137 423 294.77 70.36 4.19 1000000 0 1261.46/1261.96 c 128 272 309.22 75.28 4.11 1000000 0 1262.66/1263.15 c 136 369 303.25 68.00 4.46 1000000 0 1263.86/1264.35 c 147 301 308.95 69.34 4.46 1000000 0 1265.06/1265.54 c 158 332 324.89 69.46 4.68 1000000 0 1266.26/1266.74 c 138 382 297.42 67.14 4.43 1000000 0 1267.46/1267.94 c 156 406 306.52 69.51 4.41 1000000 0 1268.65/1269.13 c 142 213 306.62 68.49 4.48 1000000 0 1269.85/1270.32 c 133 261 299.91 71.26 4.21 1000000 0 1271.06/1271.52 c 116 263 314.88 73.19 4.30 1000000 0 1272.26/1272.72 c 142 265 314.28 72.34 4.34 1000000 0 1273.45/1273.92 c 139 250 315.58 72.33 4.36 1000000 0 1274.65/1275.12 c 132 334 302.47 71.94 4.20 1000000 0 1275.85/1276.31 c 127 337 307.42 76.73 4.01 1000000 0 1277.05/1277.51 c 127 287 308.40 76.91 4.01 1000000 0 1278.25/1278.70 c 127 409 292.37 67.19 4.35 1000000 0 1279.45/1279.90 c 139 290 308.37 65.75 4.69 1000000 0 1280.55/1281.10 c 149 373 320.70 74.20 4.32 1000000 0 1281.75/1282.29 c 122 325 311.68 64.72 4.82 1000000 0 1282.95/1283.49 c 146 403 305.05 55.83 5.46 1000000 0 1284.15/1284.69 c 146 271 311.09 60.32 5.16 1000000 0 1285.36/1285.88 c 112 252 317.85 71.68 4.43 1000000 0 1286.56/1287.08 c 119 310 301.20 66.80 4.51 1000000 0 1287.75/1288.27 c 130 229 297.60 74.80 3.98 1000000 0 1288.95/1289.46 c 154 408 308.14 66.20 4.65 1000000 0 1290.15/1290.66 c 95 326 298.22 70.55 4.23 1000000 0 1291.35/1291.86 c 113 195 313.76 67.06 4.68 1000000 0 1292.55/1293.05 c 144 331 312.54 81.37 3.84 1000000 0 1293.75/1294.24 c 136 227 297.66 67.95 4.38 1000000 0 1294.95/1295.44 c 136 360 307.75 69.82 4.41 1000000 0 1296.14/1296.63 c 132 332 305.80 72.34 4.23 1000000 0 1297.34/1297.83 c 116 344 303.67 69.64 4.36 1000000 0 1298.55/1299.02 c 100 325 305.58 65.63 4.66 1000000 0 1299.75/1300.22 c 153 369 310.91 74.18 4.19 1000000 0 1300.94/1301.41 c 132 360 302.66 68.22 4.44 1000000 0 1302.14/1302.61 c 142 292 309.39 71.25 4.34 1000000 0 1303.34/1303.80 c 138 293 304.93 72.27 4.22 1000000 0 1304.44/1304.99 c 134 335 295.75 60.79 4.86 1000000 0 1305.64/1306.19 c 164 314 321.23 65.50 4.90 1000000 0 1306.84/1307.39 c 150 310 305.41 59.81 5.11 1000000 0 1308.04/1308.58 c 144 291 308.66 73.99 4.17 1000000 0 1309.24/1309.78 c 144 349 314.00 64.45 4.87 1000000 0 1310.44/1310.97 c 127 264 306.19 66.18 4.63 1000000 0 1311.64/1312.17 c 145 307 297.27 69.75 4.26 1000000 0 1312.85/1313.36 c 121 254 299.77 66.35 4.52 1000000 0 1314.05/1314.56 c 133 308 314.26 59.92 5.24 1000000 0 1315.24/1315.76 c 110 264 303.79 62.41 4.87 1000000 0 1316.44/1316.95 c 150 280 300.58 67.49 4.45 1000000 0 1317.64/1318.15 c 146 351 299.83 70.06 4.28 1000000 0 1318.84/1319.34 c 141 273 315.51 76.36 4.13 1000000 0 1320.04/1320.53 c 133 241 296.57 62.64 4.73 1000000 0 1321.24/1321.73 c 104 252 298.00 72.20 4.13 1000000 0 1322.44/1322.93 c 161 396 316.51 60.59 5.22 1000000 0 1323.64/1324.12 c 127 305 319.47 68.02 4.70 1000000 0 1324.84/1325.32 c 116 353 309.61 68.61 4.51 1000000 0 1326.04/1326.51 c 155 287 310.05 62.95 4.93 1000000 0 1327.24/1327.71 c 121 322 302.14 79.45 3.80 1000000 0 1328.43/1328.91 c 140 329 317.77 66.45 4.78 1000000 0 1329.63/1330.10 c 133 290 303.08 60.17 5.04 1000000 0 1330.82/1331.31 c 156 331 311.89 72.02 4.33 1000000 0 1332.02/1332.51 c 116 260 300.95 73.14 4.11 1000000 0 1333.22/1333.70 c 140 250 296.15 62.63 4.73 1000000 0 1334.42/1334.90 c 116 381 297.88 72.53 4.11 1000000 0 1335.52/1336.09 c 125 295 305.67 60.99 5.01 1000000 0 1336.72/1337.28 c 124 235 298.58 69.14 4.32 1000000 0 1337.92/1338.48 c 141 284 301.93 69.31 4.36 1000000 0 1339.12/1339.68 c 153 348 310.30 68.75 4.51 1000000 0 1340.33/1340.87 c 140 276 301.34 67.78 4.45 1000000 0 1341.53/1342.06 c 96 262 296.11 78.73 3.76 1000000 0 1342.72/1343.25 c 124 320 298.67 67.56 4.42 1000000 0 1343.92/1344.45 c 151 299 313.19 63.01 4.97 1000000 0 1345.12/1345.65 c 127 351 319.06 74.31 4.29 1000000 0 1346.32/1346.84 c 130 283 301.26 70.30 4.29 1000000 0 1347.52/1348.03 c 144 342 296.43 68.45 4.33 1000000 0 1348.72/1349.23 c 143 343 311.03 70.59 4.41 1000000 0 1349.91/1350.42 c 136 407 309.99 74.64 4.15 1000000 0 1351.11/1351.62 c 115 259 294.86 70.96 4.16 1000000 0 1352.31/1352.81 c 123 222 303.89 65.89 4.61 1000000 0 1353.52/1354.01 c 142 342 308.75 62.03 4.98 1000000 0 1354.62/1355.20 c 146 320 317.25 69.67 4.55 1000000 0 1355.91/1356.40 c 126 272 303.65 72.54 4.19 1000000 0 1357.01/1357.59 c 130 253 306.63 63.51 4.83 1000000 0 1358.21/1358.79 c 132 394 314.88 67.39 4.67 1000000 0 1359.41/1359.98 c 132 179 312.93 72.69 4.31 1000000 0 1360.61/1361.18 c 139 308 310.00 70.40 4.40 1000000 0 1361.81/1362.37 c 136 322 298.19 71.27 4.18 1000000 0 1363.01/1363.57 c 147 253 304.22 64.65 4.71 1000000 0 1364.21/1364.77 c 149 372 315.02 72.99 4.32 1000000 0 1365.41/1365.96 c 132 336 301.67 70.65 4.27 1000000 0 1366.61/1367.16 c 131 281 310.48 78.32 3.96 1000000 0 1367.81/1368.35 c 131 294 298.46 69.05 4.32 1000000 0 1369.01/1369.55 c 157 204 322.75 60.75 5.31 1000000 0 1370.20/1370.75 c 151 252 305.83 74.71 4.09 1000000 0 1371.40/1371.94 c 152 371 303.42 70.88 4.28 1000000 0 1372.60/1373.14 c 165 278 310.05 64.08 4.84 1000000 0 1373.80/1374.33 c 162 268 306.29 51.36 5.96 1000000 0 1375.00/1375.53 c 161 313 310.49 62.70 4.95 1000000 0 1376.20/1376.73 c 143 361 305.60 73.43 4.16 1000000 0 1377.40/1377.92 c 121 295 296.44 57.48 5.16 1000000 0 1378.60/1379.12 c 97 302 308.00 75.12 4.10 1000000 0 1379.80/1380.31 c 154 335 303.80 64.31 4.72 1000000 0 1381.01/1381.51 c 135 368 309.52 70.04 4.42 1000000 0 1382.11/1382.70 c 138 322 302.82 72.07 4.20 1000000 0 1383.40/1383.90 c 122 268 310.23 69.18 4.48 1000000 0 1384.50/1385.09 c 104 244 300.38 74.23 4.05 1000000 0 1385.70/1386.28 c 122 310 293.31 60.73 4.83 1000000 0 1386.90/1387.47 c 134 222 298.53 68.07 4.39 1000000 0 1388.10/1388.67 c 118 274 298.95 67.10 4.46 1000000 0 1389.30/1389.86 c 122 263 309.79 70.15 4.42 1000000 0 1390.50/1391.05 c 142 192 307.85 63.26 4.87 1000000 0 1391.70/1392.24 c 132 203 307.80 71.45 4.31 1000000 0 1392.90/1393.44 c 127 228 301.32 74.34 4.05 1000000 0 1394.10/1394.63 c 160 193 321.92 77.64 4.15 1000000 0 1395.30/1395.83 c 116 325 303.16 70.14 4.32 1000000 0 1396.50/1397.03 c 110 201 307.20 75.36 4.08 1000000 0 1397.70/1398.22 c 110 297 299.27 79.52 3.76 1000000 0 1398.90/1399.41 c 89 178 302.06 78.49 3.85 1000000 0 1400.10/1400.60 c 111 372 308.31 74.85 4.12 1000000 0 1401.29/1401.80 c 152 390 317.19 64.69 4.90 1000000 0 1402.39/1403.00 c 143 267 307.87 65.49 4.70 1000000 0 1403.59/1404.19 c 129 241 309.67 63.52 4.88 1000000 0 1404.79/1405.39 c 126 323 317.62 78.80 4.03 1000000 0 1405.99/1406.58 c 137 316 298.21 68.67 4.34 1000000 0 1407.19/1407.78 c 153 282 303.32 72.78 4.17 1000000 0 1408.39/1408.97 c 155 276 303.33 63.38 4.79 1000000 0 1409.60/1410.17 c 115 272 312.78 72.21 4.33 1000000 0 1410.80/1411.37 c 153 223 303.96 67.79 4.48 1000000 0 1411.99/1412.56 c 147 343 308.85 77.33 3.99 1000000 0 1413.19/1413.76 c 146 267 303.29 64.65 4.69 1000000 0 1414.39/1414.95 c 129 288 310.48 67.13 4.63 1000000 0 1415.59/1416.15 c 139 301 311.80 68.69 4.54 1000000 0 1416.79/1417.34 c 118 317 295.82 68.07 4.35 1000000 0 1417.99/1418.53 c 109 250 309.96 73.63 4.21 1000000 0 1419.19/1419.72 c 115 318 307.01 71.36 4.30 1000000 0 1420.39/1420.92 c 132 301 305.87 65.09 4.70 1000000 0 1421.59/1422.12 c 146 313 313.03 67.36 4.65 1000000 0 1422.79/1423.31 c 127 267 301.33 68.58 4.39 1000000 0 1424.00/1424.51 c 132 403 311.90 66.64 4.68 1000000 0 1425.19/1425.70 c 124 259 303.73 66.85 4.54 1000000 0 1426.29/1426.89 c 146 204 294.15 60.23 4.88 1000000 0 1427.49/1428.09 c 140 320 304.04 64.83 4.69 1000000 0 1428.69/1429.28 c 100 362 308.15 72.98 4.22 1000000 0 1429.89/1430.48 c 148 217 314.30 64.64 4.86 1000000 0 1431.09/1431.67 c 110 260 314.12 68.50 4.59 1000000 0 1432.29/1432.87 c 100 223 315.08 71.60 4.40 1000000 0 1433.49/1434.06 c 148 264 304.12 65.99 4.61 1000000 0 1434.68/1435.25 c 123 299 294.57 63.46 4.64 1000000 0 1435.88/1436.45 c 146 259 308.12 66.75 4.62 1000000 0 1437.09/1437.65 c 136 216 302.47 70.11 4.31 1000000 0 1438.29/1438.84 c 137 317 300.41 67.38 4.46 1000000 0 1439.48/1440.04 c 92 314 301.48 67.82 4.45 1000000 0 1440.68/1441.23 c 152 243 307.99 69.36 4.44 1000000 0 1441.88/1442.43 c 105 280 314.02 64.87 4.84 1000000 0 1443.08/1443.62 c 110 306 306.15 73.86 4.15 1000000 0 1444.28/1444.82 c 170 249 305.09 66.58 4.58 1000000 0 1445.48/1446.02 c 139 490 325.47 82.18 3.96 1000000 0 1446.68/1447.22 c 154 262 316.51 63.72 4.97 1000000 0 1447.88/1448.42 c 114 292 312.10 66.41 4.70 1000000 0 1449.08/1449.61 c 142 282 298.69 70.16 4.26 1000000 0 1450.29/1450.80 c 129 244 301.10 69.67 4.32 1000000 0 1451.39/1452.00 c 128 393 313.21 65.05 4.81 1000000 0 1452.68/1453.20 c 126 281 311.14 71.03 4.38 1000000 0 1453.78/1454.39 c 128 307 307.91 76.56 4.02 1000000 0 1454.98/1455.60 c 116 278 305.66 74.20 4.12 1000000 0 1456.18/1456.79 c 138 272 306.43 68.54 4.47 1000000 0 1457.38/1457.99 c 134 419 305.54 73.54 4.15 1000000 0 1458.58/1459.18 c 146 314 295.36 65.56 4.51 1000000 0 1459.78/1460.38 c 132 376 306.77 70.32 4.36 1000000 0 1460.98/1461.57 c 139 285 298.99 68.80 4.35 1000000 0 1462.17/1462.76 c 151 305 296.42 63.73 4.65 1000000 0 1463.37/1463.96 c 116 277 311.99 67.16 4.65 1000000 0 1464.58/1465.16 c 137 175 313.80 83.07 3.78 1000000 0 1465.78/1466.35 c 156 290 316.10 66.00 4.79 1000000 0 1466.97/1467.54 c 125 344 301.69 64.38 4.69 1000000 0 1468.17/1468.74 c 126 336 306.12 65.13 4.70 1000000 0 1469.37/1469.93 c 112 310 304.78 74.46 4.09 1000000 0 1470.57/1471.13 c 116 293 303.36 73.50 4.13 1000000 0 1471.77/1472.32 c 142 167 304.02 75.27 4.04 1000000 0 1472.97/1473.52 c 149 215 314.73 68.03 4.63 1000000 0 1474.17/1474.71 c 141 320 292.00 60.41 4.83 1000000 0 1475.37/1475.91 c 146 235 306.67 64.93 4.72 1000000 0 1476.57/1477.10 c 120 374 290.19 69.14 4.20 1000000 0 1477.67/1478.29 c 110 383 298.78 69.95 4.27 1000000 0 1478.88/1479.49 c 120 294 304.60 61.41 4.96 1000000 0 1480.08/1480.68 c 116 279 306.49 64.82 4.73 1000000 0 1481.27/1481.87 c 119 437 292.49 68.31 4.28 1000000 0 1482.47/1483.07 c 117 311 297.63 67.27 4.42 1000000 0 1483.67/1484.26 c 111 286 306.80 74.23 4.13 1000000 0 1484.87/1485.45 c 121 307 309.03 66.08 4.68 1000000 0 1486.07/1486.65 c 130 293 305.66 66.92 4.57 1000000 0 1487.27/1487.85 c 154 196 299.73 63.81 4.70 1000000 0 1488.47/1489.04 c 133 285 303.49 61.24 4.96 1000000 0 1489.67/1490.24 c 136 264 301.84 70.26 4.30 1000000 0 1490.87/1491.44 c 113 321 312.06 75.53 4.13 1000000 0 1492.07/1492.63 c 141 319 301.51 76.83 3.92 1000000 0 1493.27/1493.83 c 114 321 309.33 65.24 4.74 1000000 0 1494.46/1495.02 c 86 254 308.57 74.63 4.13 1000000 0 1495.66/1496.21 c 113 393 294.13 72.77 4.04 1000000 0 1496.86/1497.41 c 141 224 315.59 81.94 3.85 1000000 0 1498.06/1498.60 c 134 239 314.53 78.09 4.03 1000000 0 1499.26/1499.80 c 148 345 326.23 80.32 4.06 1000000 0 1500.46/1501.00 c 87 319 310.33 70.25 4.42 1000000 0 1501.56/1502.19 c 136 311 303.68 68.41 4.44 1000000 0 1502.76/1503.39 c 121 293 308.56 73.37 4.21 1000000 0 1503.96/1504.58 c 123 327 295.67 61.68 4.79 1000000 0 1505.16/1505.77 c 142 364 305.23 71.57 4.26 1000000 0 1506.37/1506.97 c 143 288 307.07 71.45 4.30 1000000 0 1507.57/1508.16 c 130 317 302.44 74.09 4.08 1000000 0 1508.76/1509.36 c 121 370 306.28 80.64 3.80 1000000 0 1509.96/1510.55 c 128 260 298.96 63.64 4.70 1000000 0 1511.16/1511.75 c 93 250 301.32 80.51 3.74 1000000 0 1512.36/1512.94 c 118 266 304.99 77.65 3.93 1000000 0 1513.56/1514.13 c 136 272 302.13 75.23 4.02 1000000 0 1514.76/1515.33 c 146 295 311.24 62.11 5.01 1000000 0 1515.96/1516.52 c 163 348 307.45 68.91 4.46 1000000 0 1517.16/1517.72 c 118 370 303.97 60.67 5.01 1000000 0 1518.36/1518.92 c 154 311 325.46 87.24 3.73 1000000 0 1519.56/1520.11 c 147 210 318.29 73.19 4.35 1000000 0 1520.76/1521.31 c 134 264 310.48 79.98 3.88 1000000 0 1521.96/1522.50 c 149 359 302.93 63.97 4.74 1000000 0 1523.15/1523.70 c 151 305 305.38 67.98 4.49 1000000 0 1524.26/1524.89 c 126 246 297.39 68.79 4.32 1000000 0 1525.46/1526.09 c 140 351 305.22 61.52 4.96 1000000 0 1526.65/1527.28 c 142 269 307.09 70.68 4.34 1000000 0 1527.85/1528.48 c 116 263 313.10 63.91 4.90 1000000 0 1529.05/1529.67 c 126 367 309.91 65.08 4.76 1000000 0 1530.25/1530.87 c 131 238 295.28 69.01 4.28 1000000 0 1531.45/1532.06 c 143 270 306.98 64.68 4.75 1000000 0 1532.65/1533.26 c 140 286 305.42 73.13 4.18 1000000 0 1533.86/1534.45 c 156 324 304.28 62.15 4.90 1000000 0 1535.06/1535.65 c 128 271 301.97 69.36 4.35 1000000 0 1536.25/1536.84 c 125 230 302.34 77.43 3.90 1000000 0 1537.45/1538.04 c 115 298 308.81 80.01 3.86 1000000 0 1538.65/1539.24 c 167 285 315.36 60.51 5.21 1000000 0 1539.85/1540.44 c 146 289 311.75 65.65 4.75 1000000 0 1541.05/1541.63 c 115 262 297.00 70.19 4.23 1000000 0 1542.25/1542.83 c 136 220 293.84 71.72 4.10 1000000 0 1543.45/1544.02 c 126 242 299.89 72.27 4.15 1000000 0 1544.65/1545.22 c 131 410 310.96 74.37 4.18 1000000 0 1545.85/1546.41 c 132 257 306.59 68.07 4.50 1000000 0 1547.05/1547.61 c 168 362 319.58 73.02 4.38 1000000 0 1548.25/1548.81 c 143 368 309.94 74.38 4.17 1000000 0 1549.45/1550.00 c 125 305 295.60 74.44 3.97 1000000 0 1550.55/1551.19 c 111 238 300.40 67.13 4.47 1000000 0 1551.75/1552.39 c 113 248 301.92 73.29 4.12 1000000 0 1552.94/1553.58 c 144 282 307.13 63.08 4.87 1000000 0 1554.14/1554.78 c 133 304 307.88 70.32 4.38 1000000 0 1555.34/1555.97 c 127 320 302.72 67.02 4.52 1000000 0 1556.54/1557.17 c 123 278 300.26 78.40 3.83 1000000 0 1557.74/1558.36 c 128 207 300.11 71.09 4.22 1000000 0 1558.94/1559.55 c 113 350 310.14 76.18 4.07 1000000 0 1560.14/1560.75 c 162 433 306.34 65.16 4.70 1000000 0 1561.35/1561.95 c 167 351 314.00 66.67 4.71 1000000 0 1562.55/1563.15 c 97 255 302.35 80.88 3.74 1000000 0 1563.74/1564.34 c 123 354 298.72 63.97 4.67 1000000 0 1564.94/1565.53 c 129 279 311.95 62.46 4.99 1000000 0 1566.14/1566.73 c 137 266 298.83 67.25 4.44 1000000 0 1567.34/1567.92 c 140 351 307.73 69.42 4.43 1000000 0 1568.54/1569.12 c 123 319 300.62 74.46 4.04 1000000 0 1569.74/1570.31 c 101 251 303.30 66.88 4.53 1000000 0 1570.94/1571.51 c 136 306 308.19 71.29 4.32 1000000 0 1572.14/1572.71 c 134 283 298.96 74.40 4.02 1000000 0 1573.34/1573.90 c 130 295 296.71 59.61 4.98 1000000 0 1574.44/1575.09 c 115 308 298.54 64.30 4.64 1000000 0 1575.64/1576.29 c 134 287 299.04 71.40 4.19 1000000 0 1576.84/1577.48 c 152 299 318.45 62.90 5.06 1000000 0 1578.04/1578.68 c 130 216 302.04 70.75 4.27 1000000 0 1579.24/1579.87 c 130 290 304.35 65.91 4.62 1000000 0 1580.44/1581.07 c 108 303 307.96 68.45 4.50 1000000 0 1581.64/1582.27 c 151 410 315.12 76.31 4.13 1000000 0 1582.84/1583.46 c 124 313 308.49 72.26 4.27 1000000 0 1584.03/1584.66 c 136 259 314.53 76.10 4.13 1000000 0 1585.23/1585.86 c 135 239 307.46 70.42 4.37 1000000 0 1586.43/1587.05 c 141 315 307.99 73.82 4.17 1000000 0 1587.63/1588.25 c 126 306 313.20 67.48 4.64 1000000 0 1588.84/1589.45 c 145 264 309.57 75.94 4.08 1000000 0 1590.04/1590.64 c 149 346 304.01 72.19 4.21 1000000 0 1591.23/1591.84 c 139 245 307.87 63.78 4.83 1000000 0 1592.43/1593.04 c 139 211 296.61 70.22 4.22 1000000 0 1593.63/1594.24 c 138 389 316.30 72.33 4.37 1000000 0 1594.83/1595.43 c 132 319 310.89 77.94 3.99 1000000 0 1596.03/1596.63 c 126 267 301.98 74.24 4.07 1000000 0 1597.23/1597.82 c 127 310 302.84 77.95 3.89 1000000 0 1598.43/1599.02 c 145 287 305.92 67.31 4.54 1000000 0 1599.63/1600.21 c 138 386 304.22 69.66 4.37 1000000 0 1600.83/1601.41 c 124 271 313.61 67.97 4.61 1000000 0 1602.04/1602.60 c 115 252 297.16 69.43 4.28 1000000 0 1603.14/1603.79 c 134 495 303.18 56.99 5.32 1000000 0 1604.34/1604.99 c 123 292 305.44 78.87 3.87 1000000 0 1605.53/1606.18 c 131 383 297.51 69.68 4.27 1000000 0 1606.73/1607.38 c 124 189 309.36 69.12 4.48 1000000 0 1607.93/1608.57 c 122 262 316.20 74.49 4.25 1000000 0 1609.13/1609.77 c 130 383 316.95 64.60 4.91 1000000 0 1610.33/1610.97 c 133 319 319.56 82.63 3.87 1000000 0 1611.53/1612.17 c 87 360 308.82 72.33 4.27 1000000 0 1612.72/1613.36 c 126 320 305.50 69.13 4.42 1000000 0 1613.92/1614.56 c 123 276 312.42 70.18 4.45 1000000 0 1615.12/1615.76 c 135 350 315.84 82.30 3.84 1000000 0 1616.33/1616.95 c 140 433 303.62 68.55 4.43 1000000 0 1617.53/1618.15 c 140 324 309.03 70.65 4.37 1000000 0 1618.72/1619.34 c 150 284 314.77 76.62 4.11 1000000 0 1619.92/1620.54 c 156 309 310.70 61.03 5.09 1000000 0 1621.12/1621.74 c 112 281 307.65 69.44 4.43 1000000 0 1622.32/1622.93 c 136 316 325.34 75.92 4.29 1000000 0 1623.52/1624.13 c 134 297 298.51 69.26 4.31 1000000 0 1624.72/1625.32 c 118 299 300.48 73.77 4.07 1000000 0 1625.92/1626.52 c 90 274 299.34 71.58 4.18 1000000 0 1627.12/1627.71 c 118 335 304.73 67.92 4.49 1000000 0 1628.32/1628.91 c 146 276 314.08 61.73 5.09 1000000 0 1629.53/1630.11 c 132 410 311.84 67.47 4.62 1000000 0 1630.73/1631.31 c 131 261 312.17 64.34 4.85 1000000 0 1631.92/1632.50 c 113 186 312.59 67.48 4.63 1000000 0 1633.02/1633.70 c 136 211 295.45 65.96 4.48 1000000 0 1634.22/1634.89 c 140 350 297.76 58.26 5.11 1000000 0 1635.42/1636.08 c 146 237 297.31 66.79 4.45 1000000 0 1636.62/1637.28 c 139 258 313.53 71.93 4.36 1000000 0 1637.82/1638.47 c 117 360 311.02 70.17 4.43 1000000 0 1639.02/1639.67 c 105 287 295.44 74.60 3.96 1000000 0 1640.22/1640.86 c 126 329 315.43 76.31 4.13 1000000 0 1641.42/1642.06 c 141 287 309.09 74.13 4.17 1000000 0 1642.62/1643.25 c 119 298 306.26 67.43 4.54 1000000 0 1643.82/1644.45 c 133 234 298.85 59.91 4.99 1000000 0 1645.02/1645.64 c 145 324 305.28 63.93 4.78 1000000 0 1646.21/1646.84 c 140 234 323.27 75.40 4.29 1000000 0 1647.41/1648.04 c 102 317 317.84 67.45 4.71 1000000 0 1648.61/1649.24 c 120 425 298.93 65.60 4.56 1000000 0 1649.81/1650.43 c 118 280 298.78 71.99 4.15 1000000 0 1651.01/1651.63 c 136 266 300.87 66.45 4.53 1000000 0 1652.21/1652.83 c 116 248 312.78 76.83 4.07 1000000 0 1653.41/1654.02 c 103 364 304.72 72.35 4.21 1000000 0 1654.61/1655.22 c 143 286 299.00 59.43 5.03 1000000 0 1655.81/1656.41 c 106 323 298.20 79.19 3.77 1000000 0 1657.02/1657.60 c 113 372 302.09 79.36 3.81 1000000 0 1658.12/1658.79 c 113 235 299.01 70.60 4.24 1000000 0 1659.32/1659.99 c 112 235 296.44 58.82 5.04 1000000 0 1660.51/1661.18 c 103 350 306.61 76.82 3.99 1000000 0 1661.71/1662.38 c 133 222 309.76 66.53 4.66 1000000 0 1662.91/1663.57 c 137 277 314.81 82.43 3.82 1000000 0 1664.11/1664.77 c 145 185 306.62 63.46 4.83 1000000 0 1665.31/1665.96 c 149 267 309.78 69.28 4.47 1000000 0 1666.51/1667.15 c 114 300 288.15 64.13 4.49 1000000 0 1667.71/1668.34 c 117 272 299.93 69.28 4.33 1000000 0 1668.91/1669.54 c 153 283 300.14 68.34 4.39 1000000 0 1670.11/1670.74 c 153 342 302.43 63.39 4.77 1000000 0 1671.31/1671.93 c 129 291 300.34 66.76 4.50 1000000 0 1672.51/1673.12 c 120 335 309.90 69.68 4.45 1000000 0 1673.70/1674.32 c 131 293 307.76 65.67 4.69 1000000 0 1674.90/1675.52 c 129 322 309.75 71.69 4.32 1000000 0 1676.10/1676.71 c 127 269 303.47 70.97 4.28 1000000 0 1677.30/1677.91 c 149 255 310.48 76.69 4.05 1000000 0 1678.50/1679.10 c 101 327 302.69 73.76 4.10 1000000 0 1679.70/1680.30 c 123 364 296.00 77.73 3.81 1000000 0 1680.80/1681.49 c 107 335 310.23 84.78 3.66 1000000 0 1682.00/1682.69 c 111 263 302.06 75.90 3.98 1000000 0 1683.20/1683.88 c 137 275 298.97 67.18 4.45 1000000 0 1684.40/1685.07 c 138 330 299.35 57.54 5.20 1000000 0 1685.61/1686.27 c 125 309 315.51 68.91 4.58 1000000 0 1686.81/1687.46 c 115 318 302.05 70.27 4.30 1000000 0 1688.00/1688.67 c 139 256 306.54 77.32 3.96 1000000 0 1689.20/1689.86 c 134 305 312.28 72.82 4.29 1000000 0 1690.39/1691.06 c 157 219 310.31 62.48 4.97 1000000 0 1691.59/1692.25 c 135 263 306.93 75.82 4.05 1000000 0 1692.79/1693.45 c 114 284 302.70 70.48 4.29 1000000 0 1693.99/1694.64 c 128 299 308.60 67.26 4.59 1000000 0 1695.19/1695.84 c 143 295 314.52 70.63 4.45 1000000 0 1696.39/1697.03 c 159 257 321.73 72.77 4.42 1000000 0 1697.59/1698.23 c 138 402 313.25 69.21 4.53 1000000 0 1698.80/1699.42 c 118 305 300.48 71.09 4.23 1000000 0 1700.00/1700.62 c 120 260 302.20 70.98 4.26 1000000 0 1701.19/1701.82 c 129 246 313.24 74.66 4.20 1000000 0 1702.39/1703.01 c 124 311 312.89 73.75 4.24 1000000 0 1703.59/1704.21 c 131 296 305.80 68.20 4.48 1000000 0 1704.79/1705.40 c 133 334 299.40 64.85 4.62 1000000 0 1705.89/1706.59 c 132 303 298.27 60.64 4.92 1000000 0 1707.09/1707.79 c 146 381 309.45 56.35 5.49 1000000 0 1708.29/1708.98 c 126 261 298.66 69.41 4.30 1000000 0 1709.49/1710.18 c 132 298 310.85 71.03 4.38 1000000 0 1710.69/1711.38 c 129 366 304.76 74.38 4.10 1000000 0 1711.89/1712.57 c 131 336 290.28 66.81 4.35 1000000 0 1713.10/1713.76 c 139 287 303.77 65.82 4.61 1000000 0 1714.30/1714.96 c 145 233 300.47 66.97 4.49 1000000 0 1715.49/1716.15 c 130 297 301.21 70.54 4.27 1000000 0 1716.69/1717.34 c 144 372 296.57 72.25 4.10 1000000 0 1717.89/1718.54 c 156 295 319.10 68.13 4.68 1000000 0 1719.09/1719.74 c 126 281 310.03 69.61 4.45 1000000 0 1720.29/1720.94 c 133 344 309.39 73.15 4.23 1000000 0 1721.49/1722.14 c 144 274 314.43 72.00 4.37 1000000 0 1722.69/1723.34 c 128 293 310.98 70.85 4.39 1000000 0 1723.88/1724.53 c 145 272 304.02 64.84 4.69 1000000 0 1725.08/1725.72 c 138 275 320.44 78.19 4.10 1000000 0 1726.29/1726.92 c 123 342 301.81 64.19 4.70 1000000 0 1727.49/1728.12 c 138 318 302.16 69.61 4.34 1000000 0 1728.68/1729.31 c 154 252 309.29 63.39 4.88 1000000 0 1729.88/1730.51 c 113 264 301.23 58.68 5.13 1000000 0 1731.08/1731.71 c 135 342 299.35 67.27 4.45 1000000 0 1732.28/1732.90 c 137 287 311.53 62.53 4.98 1000000 0 1733.38/1734.09 c 139 330 303.28 63.95 4.74 1000000 0 1734.58/1735.29 c 140 257 310.05 66.63 4.65 1000000 0 1735.78/1736.49 c 97 208 303.86 74.05 4.10 1000000 0 1736.98/1737.68 c 150 293 311.63 60.20 5.18 1000000 0 1738.18/1738.88 c 139 336 298.08 62.19 4.79 1000000 0 1739.38/1740.07 c 119 363 312.39 72.15 4.33 1000000 0 1740.59/1741.27 c 140 278 311.69 69.48 4.49 1000000 0 1741.79/1742.46 c 153 386 300.79 69.99 4.30 1000000 0 1742.98/1743.66 c 140 363 302.93 70.08 4.32 1000000 0 1744.18/1744.85 c 133 242 313.91 71.42 4.40 1000000 0 1745.38/1746.05 c 138 302 315.92 66.08 4.78 1000000 0 1746.58/1747.25 c 132 289 301.23 82.78 3.64 1000000 0 1747.78/1748.44 c 145 296 303.62 69.82 4.35 1000000 0 1748.98/1749.64 c 135 251 297.32 80.62 3.69 1000000 0 1750.18/1750.83 c 126 243 310.40 77.03 4.03 1000000 0 1751.38/1752.03 c 113 215 304.97 64.91 4.70 1000000 0 1752.58/1753.23 c 130 277 316.55 75.32 4.20 1000000 0 1753.78/1754.42 c 122 233 293.40 65.62 4.47 1000000 0 1754.98/1755.63 c 153 243 325.20 80.72 4.03 1000000 0 1756.17/1756.82 c 133 356 301.12 69.25 4.35 1000000 0 1757.37/1758.01 c 103 248 297.48 69.35 4.29 1000000 0 1758.57/1759.21 c 107 316 315.26 72.24 4.36 1000000 0 1759.77/1760.41 c 143 322 311.39 65.17 4.78 1000000 0 1760.97/1761.60 c 111 252 310.28 72.08 4.30 1000000 0 1762.17/1762.80 c 131 274 305.74 73.07 4.18 1000000 0 1763.27/1763.99 c 105 271 304.39 70.28 4.33 1000000 0 1764.47/1765.19 c 113 374 303.76 61.45 4.94 1000000 0 1765.67/1766.38 c 126 338 302.69 58.25 5.20 1000000 0 1766.87/1767.58 c 161 271 306.99 61.76 4.97 1000000 0 1768.08/1768.78 c 133 234 304.97 64.37 4.74 1000000 0 1769.28/1769.97 c 141 209 304.61 67.92 4.48 1000000 0 1770.47/1771.17 c 117 334 308.80 75.01 4.12 1000000 0 1771.67/1772.36 c 104 330 304.05 78.39 3.88 1000000 0 1772.87/1773.55 c 139 265 299.50 68.69 4.36 1000000 0 1774.07/1774.75 c 143 355 308.73 75.36 4.10 1000000 0 1775.27/1775.94 c 104 183 312.86 72.48 4.32 1000000 0 1776.47/1777.14 c 139 250 304.61 68.69 4.43 1000000 0 1777.67/1778.33 c 155 297 298.32 55.95 5.33 1000000 0 1778.87/1779.53 c 155 322 317.79 74.47 4.27 1000000 0 1780.07/1780.72 c 151 284 314.35 60.07 5.23 1000000 0 1781.27/1781.92 c 107 291 307.96 80.67 3.82 1000000 0 1782.47/1783.11 c 155 436 307.98 61.90 4.98 1000000 0 1783.67/1784.30 c 126 298 298.22 73.57 4.05 1000000 0 1784.87/1785.50 c 142 368 302.42 61.18 4.94 1000000 0 1785.97/1786.69 c 142 292 313.84 76.11 4.12 1000000 0 1787.16/1787.89 c 140 402 313.00 72.33 4.33 1000000 0 1788.36/1789.09 c 141 265 304.01 64.74 4.70 1000000 0 1789.56/1790.28 c 136 237 309.58 68.46 4.52 1000000 0 1790.76/1791.48 c 140 322 307.62 68.37 4.50 1000000 0 1791.96/1792.68 c 119 341 303.11 74.39 4.07 1000000 0 1793.16/1793.87 c 133 282 299.85 72.84 4.12 1000000 0 1794.36/1795.07 c 118 269 292.59 68.46 4.27 1000000 0 1795.57/1796.26 c 140 315 298.31 64.08 4.66 1000000 0 1796.77/1797.46 c 130 205 294.55 63.83 4.61 1000000 0 1797.96/1798.65 c 107 330 305.02 75.09 4.06 1000000 0 1799.16/1799.85 c 143 303 307.98 58.52 5.26 1000000 0 1800.08/1800.71 HOME/run: line 2: 21019 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-2685504-1278441531/watcher-2685504-1278441531 -o /tmp/evaluation-result-2685504-1278441531/solver-2685504-1278441531 -C 1800 -W 2000 -M 1800 run HOME/instance-2685504-1278441531.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: 1.00 1.00 1.00 3/106 21018 /proc/meminfo: memFree=1735012/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) R 21016 21018 19989 0 -1 4202496 344 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104828821 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [startup+0.081898 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21018 /proc/meminfo: memFree=1735012/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100899 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21018 /proc/meminfo: memFree=1735012/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300929 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21018 /proc/meminfo: memFree=1735012/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700986 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21018 /proc/meminfo: memFree=1735012/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21020 /proc/meminfo: memFree=1730160/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1.49 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 149 0 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10133 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21020 /proc/meminfo: memFree=1729912/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=3.09 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 309 0 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.3008 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21020 /proc/meminfo: memFree=1729912/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=6.29 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 629 0 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21020 /proc/meminfo: memFree=1729912/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=12.69 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 1269 0 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21020 /proc/meminfo: memFree=1729912/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=25.48 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 2548 0 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21022 /proc/meminfo: memFree=1729788/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=51.07 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 5107 0 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21022 /proc/meminfo: memFree=1729540/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=102.26 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 10226 0 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21024 /proc/meminfo: memFree=1729416/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=162.23 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 16223 0 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134526149 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21026 /proc/meminfo: memFree=1729416/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=222.21 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 22221 0 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21028 /proc/meminfo: memFree=1729416/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=282.19 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 28219 0 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21030 /proc/meminfo: memFree=1729292/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=342.17 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 34217 0 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21030 /proc/meminfo: memFree=1729168/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=402.15 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 40215 0 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 49152 [startup+462.3 s] ################ # More data... # ################ /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1121.9 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 112189 1 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134537251 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21052 /proc/meminfo: memFree=1727804/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1181.88 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 118186 2 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21054 /proc/meminfo: memFree=1727556/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1241.86 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 124184 2 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21054 /proc/meminfo: memFree=1727432/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1301.85 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 130183 2 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134526359 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21065 /proc/meminfo: memFree=1726812/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1361.81 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 136179 2 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134525633 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21067 /proc/meminfo: memFree=1726812/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1421.79 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 142177 2 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21069 /proc/meminfo: memFree=1726812/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1481.77 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 148175 2 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21071 /proc/meminfo: memFree=1726812/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1541.75 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 154173 2 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21071 /proc/meminfo: memFree=1726812/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1601.73 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 160171 2 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21073 /proc/meminfo: memFree=1726812/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1661.71 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 166169 2 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21075 /proc/meminfo: memFree=1726688/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1721.69 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 172167 2 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21077 /proc/meminfo: memFree=1726564/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1781.67 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 178165 2 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21077 /proc/meminfo: memFree=1726564/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1800.08 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 180006 2 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134572059 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.08 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.71 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21077 /proc/meminfo: memFree=1726564/2059040 swapFree=4192956/4192956 [pid=21018] ppid=21016 vsize=8700 CPUtime=0 /proc/21018/stat : 21018 (run) S 21016 21018 19989 0 -1 4202496 360 0 0 0 0 0 0 0 21 0 1 0 12364609 8908800 244 1992294400 4194304 4922060 140733432119808 18446744073709551615 213104827525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21018/statm: 2175 244 204 178 0 68 0 [pid=21019] ppid=21018 vsize=40452 CPUtime=1800.08 /proc/21019/stat : 21019 (PB-wave) R 21018 21018 19989 0 -1 4202496 1218 0 0 0 180006 2 0 0 25 0 1 0 12364610 41422848 1148 1992294400 134512640 135071400 4293400384 18446744073709551615 134572059 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21019/statm: 10113 1148 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.72 CPU time (s): 1800.09 CPU user time (s): 1800.06 CPU system time (s): 0.027995 CPU usage (%): 99.9651 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.06 system time used= 0.027995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1591 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= 7081 runsolver used 2.73558 second user time and 8.83266 second system time The end
Begin job on node029 at 2010-07-06 20:38:51 IDJOB=2685504 IDBENCH=76130 IDSOLVER=1171 FILE ID=node029/2685504-1278441531 PBS_JOBID= 11233449 Free space on /tmp= 62560 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6018_3-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685504-1278441531/watcher-2685504-1278441531 -o /tmp/evaluation-result-2685504-1278441531/solver-2685504-1278441531 -C 1800 -W 2000 -M 1800 run HOME/instance-2685504-1278441531.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e1a332785ec9daa0e57c053b8cd6bb8d RANDOM SEED=1303232565 node029.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.264 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.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1735408 kB Buffers: 19476 kB Cached: 170176 kB SwapCached: 0 kB Active: 132596 kB Inactive: 116644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1735408 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1552 kB Writeback: 0 kB AnonPages: 59524 kB Mapped: 14516 kB Slab: 52420 kB PageTables: 4208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181056 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62560 MiB End job on node029 at 2010-07-06 21:08:52