Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.03 | 1800.62 |
Name | /DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9012_5-sat.opb |
MD5SUM | 9ea027b929fd8ca2ab300dc6be007411 |
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.242962 |
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 | 15288 |
Total number of constraints | 48064 |
Number of constraints which are clauses | 47732 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 332 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 69 |
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 | 88 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 472 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.12 c PB-wave - v2 0.00/0.12 c command line = ./PB-wave 0.00/0.12 c seed = 38911766 0.00/0.12 c cutoff = 1000000 0.00/0.12 c tries = 1000000 0.00/0.12 c heuristic = c best, noise 50 / 100 0.00/0.12 #var 15288 #con 48064 0.00/0.12 mode is SAT 0.00/0.12 c tail starts after flip = 45864 0.00/0.12 c numatom = 15288, numclause = 48064, numliterals = 124561 0.00/0.12 c wff read in 0.00/0.12 c 0.00/0.12 c lowest final avg noise noise total avg mean mean 0.00/0.12 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.12 c this this this this this this success success until std 0.00/0.12 c try try try try try try rate tries assign dev 0.00/0.12 c 1.29/1.37 c 121 259 309.17 145.00 2.13 1000000 0 2.59/2.62 c 140 274 321.70 145.18 2.22 1000000 0 3.79/3.87 c 136 200 314.99 143.03 2.20 1000000 0 5.09/5.13 c 129 258 325.08 149.98 2.17 1000000 0 6.29/6.38 c 111 298 300.73 130.03 2.31 1000000 0 7.59/7.62 c 124 225 291.14 146.97 1.98 1000000 0 8.79/8.87 c 122 238 307.40 133.25 2.31 1000000 0 10.09/10.11 c 76 217 301.61 158.70 1.90 1000000 0 11.28/11.36 c 108 305 315.77 160.43 1.97 1000000 0 12.58/12.61 c 87 273 303.37 168.55 1.80 1000000 0 13.78/13.85 c 101 161 292.20 136.17 2.15 1000000 0 15.08/15.10 c 136 251 317.47 156.87 2.02 1000000 0 16.28/16.35 c 97 259 313.63 154.45 2.03 1000000 0 17.49/17.60 c 116 229 315.29 146.68 2.15 1000000 0 18.78/18.85 c 119 197 307.08 155.61 1.97 1000000 0 20.08/20.10 c 132 207 316.80 146.08 2.17 1000000 0 21.28/21.36 c 102 291 311.53 192.99 1.61 1000000 0 22.58/22.61 c 130 392 313.44 130.83 2.40 1000000 0 23.78/23.86 c 134 302 309.74 147.51 2.10 1000000 0 25.08/25.11 c 111 267 304.05 155.54 1.95 1000000 0 26.29/26.34 c 111 193 285.25 137.41 2.08 1000000 0 27.49/27.60 c 108 341 316.59 144.60 2.19 1000000 0 28.78/28.84 c 127 326 302.17 135.97 2.22 1000000 0 29.98/30.09 c 111 227 300.62 157.13 1.91 1000000 0 31.28/31.34 c 136 282 308.90 142.90 2.16 1000000 0 32.58/32.60 c 120 320 313.39 146.89 2.13 1000000 0 33.77/33.84 c 113 221 291.19 136.12 2.14 1000000 0 34.98/35.10 c 121 252 317.66 139.41 2.28 1000000 0 36.28/36.35 c 110 258 305.37 145.86 2.09 1000000 0 37.48/37.59 c 117 340 298.36 152.16 1.96 1000000 0 38.78/38.85 c 117 280 310.28 158.33 1.96 1000000 0 39.98/40.09 c 115 277 302.24 148.39 2.04 1000000 0 41.28/41.33 c 121 215 290.56 152.34 1.91 1000000 0 42.48/42.58 c 116 221 303.63 134.63 2.26 1000000 0 43.78/43.84 c 84 325 334.84 169.29 1.98 1000000 0 44.99/45.09 c 105 232 293.12 128.38 2.28 1000000 0 46.28/46.35 c 140 370 340.65 158.17 2.15 1000000 0 47.58/47.60 c 111 394 307.01 149.15 2.06 1000000 0 48.78/48.85 c 110 375 308.69 144.37 2.14 1000000 0 50.08/50.10 c 130 322 302.50 154.41 1.96 1000000 0 51.28/51.35 c 90 246 304.17 136.48 2.23 1000000 0 52.48/52.60 c 117 245 308.89 161.97 1.91 1000000 0 53.78/53.85 c 125 215 301.19 155.86 1.93 1000000 0 55.07/55.10 c 118 399 329.82 129.63 2.54 1000000 0 56.27/56.35 c 108 135 313.60 143.29 2.19 1000000 0 57.57/57.61 c 159 288 331.56 144.57 2.29 1000000 0 58.77/58.86 c 134 232 304.62 130.69 2.33 1000000 0 60.07/60.10 c 116 338 277.74 129.55 2.14 1000000 0 61.27/61.34 c 117 374 302.12 140.17 2.16 1000000 0 62.47/62.60 c 150 420 318.27 155.15 2.05 1000000 0 63.78/63.84 c 128 403 314.21 147.62 2.13 1000000 0 64.97/65.09 c 111 290 314.10 156.21 2.01 1000000 0 66.27/66.35 c 78 216 305.84 167.23 1.83 1000000 0 67.57/67.60 c 117 238 305.68 135.73 2.25 1000000 0 68.77/68.84 c 84 234 308.21 156.99 1.96 1000000 0 70.07/70.10 c 107 291 318.89 166.17 1.92 1000000 0 71.27/71.35 c 129 315 311.86 150.70 2.07 1000000 0 72.47/72.60 c 110 210 320.60 153.65 2.09 1000000 0 73.77/73.84 c 101 230 282.18 118.83 2.37 1000000 0 75.07/75.10 c 127 302 323.99 174.19 1.86 1000000 0 76.27/76.35 c 108 323 315.17 154.77 2.04 1000000 0 77.47/77.59 c 137 282 305.56 132.62 2.30 1000000 0 78.77/78.84 c 90 273 297.18 145.31 2.05 1000000 0 79.96/80.08 c 121 233 293.21 139.42 2.10 1000000 0 81.27/81.33 c 109 266 295.78 121.13 2.44 1000000 0 82.47/82.58 c 107 333 312.97 141.59 2.21 1000000 0 83.76/83.83 c 95 326 325.30 174.11 1.87 1000000 0 84.96/85.09 c 93 259 319.63 145.57 2.20 1000000 0 86.26/86.34 c 120 295 314.56 180.68 1.74 1000000 0 87.56/87.60 c 105 221 325.89 184.97 1.76 1000000 0 88.76/88.85 c 129 218 301.08 138.90 2.17 1000000 0 89.96/90.10 c 138 307 317.62 134.07 2.37 1000000 0 91.27/91.34 c 117 144 295.34 121.75 2.43 1000000 0 92.56/92.60 c 137 261 329.58 151.07 2.18 1000000 0 93.76/93.85 c 134 292 320.17 149.68 2.14 1000000 0 95.06/95.10 c 113 273 324.07 166.88 1.94 1000000 0 96.26/96.35 c 130 303 314.89 143.52 2.19 1000000 0 97.56/97.60 c 106 232 308.84 161.71 1.91 1000000 0 98.76/98.85 c 150 197 309.27 144.55 2.14 1000000 0 99.96/100.10 c 139 250 321.45 134.22 2.39 1000000 0 101.26/101.35 c 121 307 294.92 139.32 2.12 1000000 0 102.46/102.59 c 108 120 303.07 147.14 2.06 1000000 0 103.76/103.83 c 133 318 294.45 127.75 2.30 1000000 0 104.95/105.08 c 130 331 305.98 143.89 2.13 1000000 0 106.25/106.33 c 138 233 306.95 177.18 1.73 1000000 0 107.45/107.58 c 94 256 296.00 137.81 2.15 1000000 0 108.76/108.83 c 119 242 312.00 158.99 1.96 1000000 0 109.96/110.08 c 134 279 309.56 145.62 2.13 1000000 0 111.25/111.33 c 131 342 317.98 115.67 2.75 1000000 0 112.45/112.58 c 119 255 310.06 148.45 2.09 1000000 0 113.75/113.83 c 104 318 322.28 147.46 2.19 1000000 0 114.95/115.07 c 96 264 282.29 126.28 2.24 1000000 0 116.25/116.32 c 134 346 305.31 135.79 2.25 1000000 0 117.45/117.56 c 119 328 285.95 134.29 2.13 1000000 0 118.65/118.80 c 122 230 301.22 133.14 2.26 1000000 0 119.95/120.04 c 111 246 299.13 139.20 2.15 1000000 0 121.15/121.29 c 91 285 306.39 169.56 1.81 1000000 0 122.45/122.53 c 107 241 283.85 122.91 2.31 1000000 0 123.65/123.77 c 113 255 291.18 158.73 1.83 1000000 0 124.95/125.04 c 152 272 344.83 144.06 2.39 1000000 0 126.14/126.29 c 90 300 319.53 133.55 2.39 1000000 0 127.45/127.55 c 92 177 329.56 156.98 2.10 1000000 0 128.65/128.79 c 116 249 300.14 152.30 1.97 1000000 0 129.95/130.05 c 131 270 310.27 174.20 1.78 1000000 0 131.14/131.29 c 79 253 303.35 147.11 2.06 1000000 0 132.44/132.54 c 53 253 311.70 156.02 2.00 1000000 0 133.64/133.79 c 130 317 321.95 122.20 2.63 1000000 0 134.94/135.05 c 97 336 324.35 147.51 2.20 1000000 0 136.14/136.30 c 141 310 329.50 122.77 2.68 1000000 0 137.45/137.55 c 129 269 311.16 123.19 2.53 1000000 0 138.74/138.80 c 116 261 311.62 147.17 2.12 1000000 0 139.94/140.05 c 93 338 312.35 166.50 1.88 1000000 0 141.24/141.30 c 72 237 303.47 127.68 2.38 1000000 0 142.44/142.54 c 92 300 304.99 160.91 1.90 1000000 0 143.64/143.80 c 140 210 310.15 174.00 1.78 1000000 0 144.94/145.05 c 100 254 321.48 150.23 2.14 1000000 0 146.15/146.30 c 123 306 308.40 135.53 2.28 1000000 0 147.44/147.54 c 59 316 300.44 132.69 2.26 1000000 0 148.64/148.79 c 120 239 315.34 162.58 1.94 1000000 0 149.94/150.04 c 105 224 290.86 149.22 1.95 1000000 0 151.24/151.30 c 133 243 328.46 152.34 2.16 1000000 0 152.44/152.55 c 102 273 309.54 165.61 1.87 1000000 0 153.64/153.79 c 110 280 298.65 127.92 2.33 1000000 0 154.94/155.04 c 122 305 319.56 156.70 2.04 1000000 0 156.14/156.29 c 103 320 303.28 152.29 1.99 1000000 0 157.43/157.53 c 101 219 301.98 142.61 2.12 1000000 0 158.63/158.78 c 129 276 305.24 131.98 2.31 1000000 0 159.93/160.02 c 113 191 298.45 154.07 1.94 1000000 0 161.13/161.27 c 127 296 324.00 155.06 2.09 1000000 0 162.44/162.53 c 133 285 323.37 154.71 2.09 1000000 0 163.64/163.77 c 110 236 296.33 147.00 2.02 1000000 0 164.95/165.02 c 154 242 318.24 149.87 2.12 1000000 0 166.14/166.28 c 73 267 316.01 144.37 2.19 1000000 0 167.44/167.53 c 111 276 304.57 140.43 2.17 1000000 0 168.64/168.78 c 154 233 328.95 137.99 2.38 1000000 0 169.94/170.03 c 131 361 308.56 135.23 2.28 1000000 0 171.14/171.27 c 119 296 285.30 147.64 1.93 1000000 0 172.44/172.52 c 118 278 312.49 154.33 2.02 1000000 0 173.64/173.77 c 104 342 311.87 143.60 2.17 1000000 0 174.93/175.02 c 112 326 310.27 135.27 2.29 1000000 0 176.13/176.28 c 84 297 321.53 136.96 2.35 1000000 0 177.43/177.53 c 115 260 316.49 162.23 1.95 1000000 0 178.63/178.78 c 93 270 297.40 136.89 2.17 1000000 0 179.93/180.02 c 110 302 302.64 151.60 2.00 1000000 0 181.13/181.27 c 116 231 304.62 151.15 2.02 1000000 0 182.44/182.52 c 117 235 300.95 135.67 2.22 1000000 0 183.64/183.77 c 153 295 316.14 125.33 2.52 1000000 0 184.93/185.02 c 132 341 312.93 131.54 2.38 1000000 0 186.13/186.28 c 153 286 320.23 134.01 2.39 1000000 0 187.43/187.53 c 91 323 314.05 138.12 2.27 1000000 0 188.63/188.78 c 137 177 313.30 134.16 2.34 1000000 0 189.93/190.02 c 96 209 289.44 169.85 1.70 1000000 0 191.13/191.27 c 103 246 307.71 133.41 2.31 1000000 0 192.44/192.51 c 94 257 296.11 148.70 1.99 1000000 0 193.63/193.76 c 106 255 302.15 152.52 1.98 1000000 0 194.93/195.02 c 129 228 325.39 156.78 2.08 1000000 0 196.13/196.26 c 104 242 288.83 115.76 2.50 1000000 0 197.43/197.51 c 119 261 309.04 154.72 2.00 1000000 0 198.63/198.77 c 161 238 340.71 166.76 2.04 1000000 0 199.92/200.02 c 113 251 318.09 158.89 2.00 1000000 0 201.13/201.27 c 101 372 295.58 124.56 2.37 1000000 0 202.42/202.52 c 90 232 309.25 153.05 2.02 1000000 0 203.62/203.76 c 91 343 291.25 136.25 2.14 1000000 0 204.92/205.00 c 100 156 307.73 147.46 2.09 1000000 0 206.12/206.25 c 118 250 304.86 148.34 2.06 1000000 0 207.42/207.50 c 121 288 299.11 158.86 1.88 1000000 0 208.62/208.75 c 117 218 309.89 149.72 2.07 1000000 0 209.82/210.00 c 153 304 314.15 144.83 2.17 1000000 0 211.13/211.25 c 122 278 307.08 161.95 1.90 1000000 0 212.42/212.50 c 126 311 314.08 148.72 2.11 1000000 0 213.62/213.75 c 85 311 304.90 150.80 2.02 1000000 0 214.82/215.00 c 132 325 310.74 123.85 2.51 1000000 0 216.12/216.25 c 114 304 313.60 159.02 1.97 1000000 0 217.42/217.51 c 132 255 332.18 138.28 2.40 1000000 0 218.62/218.76 c 116 295 301.37 137.87 2.19 1000000 0 219.93/220.01 c 132 389 331.39 153.44 2.16 1000000 0 221.12/221.26 c 90 170 299.61 134.46 2.23 1000000 0 222.42/222.50 c 53 238 301.37 160.98 1.87 1000000 0 223.62/223.75 c 121 255 304.55 129.85 2.35 1000000 0 224.92/225.00 c 154 323 322.69 152.84 2.11 1000000 0 226.12/226.26 c 121 186 318.94 147.07 2.17 1000000 0 227.42/227.51 c 111 280 322.19 129.90 2.48 1000000 0 228.62/228.77 c 100 291 324.95 172.69 1.88 1000000 0 229.92/230.03 c 89 237 319.09 162.91 1.96 1000000 0 231.11/231.28 c 110 353 319.42 166.93 1.91 1000000 0 232.41/232.53 c 117 257 306.30 162.16 1.89 1000000 0 233.61/233.78 c 67 272 310.70 133.28 2.33 1000000 0 234.91/235.02 c 100 228 300.93 127.07 2.37 1000000 0 236.11/236.27 c 117 238 295.15 116.67 2.53 1000000 0 237.42/237.51 c 51 240 281.21 149.40 1.88 1000000 0 238.62/238.76 c 135 261 310.05 146.69 2.11 1000000 0 239.91/240.01 c 88 219 298.50 148.47 2.01 1000000 0 241.11/241.25 c 109 259 302.37 145.65 2.08 1000000 0 242.41/242.50 c 109 260 311.54 166.40 1.87 1000000 0 243.61/243.76 c 144 231 322.33 149.33 2.16 1000000 0 244.91/245.00 c 92 252 299.99 157.92 1.90 1000000 0 246.11/246.26 c 109 291 328.53 153.93 2.13 1000000 0 247.42/247.52 c 153 220 328.64 142.19 2.31 1000000 0 248.61/248.77 c 131 298 322.05 132.63 2.43 1000000 0 249.91/250.03 c 137 356 327.78 137.40 2.39 1000000 0 251.11/251.27 c 85 239 301.05 165.36 1.82 1000000 0 252.41/252.52 c 119 205 292.28 136.43 2.14 1000000 0 253.61/253.77 c 56 245 307.17 140.61 2.18 1000000 0 254.91/255.01 c 97 303 307.81 136.52 2.25 1000000 0 256.11/256.25 c 120 252 292.98 133.96 2.19 1000000 0 257.41/257.50 c 138 336 310.53 140.08 2.22 1000000 0 258.60/258.75 c 82 239 301.00 139.76 2.15 1000000 0 259.80/259.99 c 95 176 305.76 161.85 1.89 1000000 0 261.10/261.25 c 130 237 331.45 149.21 2.22 1000000 0 262.30/262.50 c 116 274 291.29 150.07 1.94 1000000 0 263.60/263.74 c 118 213 310.67 139.38 2.23 1000000 0 264.80/265.00 c 140 320 321.86 120.97 2.66 1000000 0 266.11/266.25 c 70 251 302.57 151.52 2.00 1000000 0 267.40/267.50 c 120 269 299.90 132.14 2.27 1000000 0 268.60/268.75 c 110 298 305.51 134.76 2.27 1000000 0 269.90/270.00 c 150 280 316.81 130.22 2.43 1000000 0 271.10/271.26 c 121 267 328.69 160.07 2.05 1000000 0 272.40/272.51 c 136 326 314.27 130.49 2.41 1000000 0 273.61/273.76 c 125 224 316.74 145.16 2.18 1000000 0 274.91/275.01 c 137 335 303.37 133.58 2.27 1000000 0 276.10/276.26 c 115 255 322.69 139.88 2.31 1000000 0 277.40/277.51 c 127 209 314.86 122.91 2.56 1000000 0 278.60/278.75 c 94 274 282.74 147.43 1.92 1000000 0 279.90/280.00 c 130 295 318.20 158.90 2.00 1000000 0 281.10/281.24 c 88 357 310.12 141.65 2.19 1000000 0 282.31/282.50 c 98 273 316.71 166.26 1.90 1000000 0 283.61/283.74 c 115 302 309.46 119.59 2.59 1000000 0 284.81/284.99 c 128 222 309.81 138.71 2.23 1000000 0 286.10/286.24 c 139 264 298.26 127.51 2.34 1000000 0 287.30/287.49 c 135 233 301.75 148.04 2.04 1000000 0 288.60/288.73 c 100 243 288.25 147.80 1.95 1000000 0 289.80/289.98 c 131 237 314.42 138.17 2.28 1000000 0 291.10/291.23 c 145 285 318.69 164.58 1.94 1000000 0 292.30/292.48 c 78 232 307.11 125.53 2.45 1000000 0 293.61/293.72 c 129 282 305.46 123.73 2.47 1000000 0 294.80/294.96 c 118 304 285.10 127.01 2.24 1000000 0 296.10/296.20 c 129 295 298.51 130.06 2.30 1000000 0 297.30/297.45 c 83 283 303.75 135.44 2.24 1000000 0 298.60/298.71 c 128 318 309.13 148.61 2.08 1000000 0 299.80/299.96 c 117 208 307.35 154.34 1.99 1000000 0 301.00/301.20 c 74 205 277.75 125.91 2.21 1000000 0 302.30/302.44 c 119 290 299.68 162.40 1.85 1000000 0 303.50/303.69 c 142 306 317.75 135.27 2.35 1000000 0 304.79/304.96 c 130 350 336.69 155.56 2.16 1000000 0 306.09/306.21 c 132 280 329.79 147.54 2.24 1000000 0 307.29/307.47 c 132 288 327.92 167.68 1.96 1000000 0 308.59/308.72 c 124 274 312.21 124.16 2.51 1000000 0 309.79/309.97 c 128 224 326.20 168.77 1.93 1000000 0 311.10/311.23 c 136 311 328.17 154.82 2.12 1000000 0 312.30/312.48 c 139 379 318.65 138.43 2.30 1000000 0 313.59/313.73 c 146 260 320.80 150.50 2.13 1000000 0 314.79/314.98 c 111 254 311.56 113.82 2.74 1000000 0 316.09/316.22 c 122 297 290.75 136.97 2.12 1000000 0 317.29/317.46 c 103 285 304.49 164.13 1.86 1000000 0 318.59/318.71 c 114 257 318.61 132.36 2.41 1000000 0 319.79/319.96 c 107 260 312.44 126.91 2.46 1000000 0 321.10/321.22 c 134 240 319.51 161.09 1.98 1000000 0 322.29/322.47 c 123 227 322.74 154.05 2.10 1000000 0 323.59/323.73 c 130 286 327.92 143.21 2.29 1000000 0 324.79/324.99 c 143 236 324.95 149.46 2.17 1000000 0 326.09/326.24 c 116 254 311.60 143.23 2.18 1000000 0 327.29/327.49 c 153 235 318.68 143.16 2.23 1000000 0 328.59/328.74 c 114 152 306.00 112.54 2.72 1000000 0 329.79/329.99 c 122 251 312.00 146.02 2.14 1000000 0 331.08/331.22 c 115 199 290.75 141.30 2.06 1000000 0 332.28/332.48 c 75 303 311.76 149.11 2.09 1000000 0 333.58/333.73 c 125 280 311.03 133.64 2.33 1000000 0 334.78/334.97 c 108 310 306.61 145.25 2.11 1000000 0 336.08/336.23 c 87 263 322.42 143.36 2.25 1000000 0 337.28/337.48 c 113 233 308.82 141.58 2.18 1000000 0 338.59/338.73 c 134 295 303.69 145.33 2.09 1000000 0 339.79/339.98 c 126 243 331.42 157.95 2.10 1000000 0 341.08/341.24 c 134 254 318.46 134.84 2.36 1000000 0 342.28/342.48 c 116 264 296.62 149.23 1.99 1000000 0 343.58/343.73 c 151 220 315.84 128.53 2.46 1000000 0 344.78/344.99 c 78 296 323.96 141.24 2.29 1000000 0 346.08/346.24 c 110 329 321.88 159.27 2.02 1000000 0 347.28/347.50 c 100 219 314.67 173.25 1.82 1000000 0 348.58/348.75 c 126 277 304.22 136.20 2.23 1000000 0 349.77/350.00 c 81 257 310.40 133.77 2.32 1000000 0 351.07/351.24 c 122 223 308.34 149.21 2.07 1000000 0 352.28/352.49 c 116 227 313.44 141.53 2.21 1000000 0 353.57/353.74 c 111 206 300.61 160.18 1.88 1000000 0 354.77/354.99 c 122 288 312.98 131.25 2.38 1000000 0 356.07/356.24 c 126 211 305.28 140.53 2.17 1000000 0 357.28/357.47 c 121 201 296.52 112.28 2.64 1000000 0 358.57/358.72 c 142 343 307.63 126.37 2.43 1000000 0 359.77/359.96 c 96 250 294.02 147.02 2.00 1000000 0 361.07/361.21 c 110 298 300.38 134.36 2.24 1000000 0 362.27/362.45 c 103 126 308.40 125.32 2.46 1000000 0 363.57/363.70 c 91 362 298.36 136.02 2.19 1000000 0 364.77/364.96 c 109 230 325.35 142.85 2.28 1000000 0 365.97/366.20 c 114 326 301.94 148.27 2.04 1000000 0 367.27/367.46 c 134 295 320.58 147.19 2.18 1000000 0 368.57/368.71 c 119 311 326.03 147.60 2.21 1000000 0 369.77/369.96 c 125 319 310.10 151.06 2.05 1000000 0 371.06/371.21 c 136 164 313.58 178.86 1.75 1000000 0 372.27/372.47 c 141 269 322.95 151.49 2.13 1000000 0 373.57/373.72 c 130 368 310.73 155.73 2.00 1000000 0 374.77/374.97 c 85 322 311.70 135.53 2.30 1000000 0 376.08/376.21 c 140 223 290.51 115.64 2.51 1000000 0 377.27/377.46 c 117 229 313.32 152.78 2.05 1000000 0 378.57/378.71 c 97 290 296.74 151.34 1.96 1000000 0 379.77/379.96 c 120 204 296.05 128.49 2.30 1000000 0 381.07/381.20 c 109 266 296.23 126.55 2.34 1000000 0 382.27/382.45 c 130 216 315.33 150.74 2.09 1000000 0 383.57/383.70 c 110 210 319.14 141.34 2.26 1000000 0 384.77/384.94 c 78 259 297.77 174.61 1.71 1000000 0 385.97/386.19 c 94 363 307.36 151.48 2.03 1000000 0 387.27/387.44 c 97 284 305.88 152.80 2.00 1000000 0 388.47/388.69 c 111 309 305.78 134.98 2.27 1000000 0 389.77/389.94 c 114 282 307.62 165.27 1.86 1000000 0 390.97/391.19 c 124 359 313.00 156.68 2.00 1000000 0 392.27/392.43 c 11 302 290.55 136.99 2.12 1000000 0 393.46/393.68 c 97 289 316.18 150.17 2.11 1000000 0 394.77/394.93 c 98 173 297.51 152.22 1.95 1000000 0 395.96/396.19 c 136 257 336.47 155.14 2.17 1000000 0 397.26/397.44 c 112 224 296.16 135.59 2.18 1000000 0 398.46/398.69 c 101 264 316.18 139.66 2.26 1000000 0 399.76/399.94 c 105 240 308.94 148.66 2.08 1000000 0 400.96/401.19 c 127 315 306.96 154.30 1.99 1000000 0 402.26/402.43 c 107 272 297.42 133.83 2.22 1000000 0 403.47/403.67 c 90 358 285.57 133.59 2.14 1000000 0 404.76/404.92 c 134 268 319.79 150.64 2.12 1000000 0 405.96/406.17 c 139 232 305.18 136.58 2.23 1000000 0 407.26/407.42 c 119 256 295.41 136.74 2.16 1000000 0 408.46/408.65 c 112 253 282.88 137.94 2.05 1000000 0 409.66/409.89 c 138 252 305.92 148.13 2.07 1000000 0 410.96/411.15 c 133 381 330.62 161.12 2.05 1000000 0 412.16/412.39 c 117 315 294.10 121.56 2.42 1000000 0 413.46/413.63 c 129 304 318.00 132.58 2.40 1000000 0 414.65/414.88 c 77 326 309.05 162.87 1.90 1000000 0 415.95/416.13 c 119 326 293.80 134.66 2.18 1000000 0 417.15/417.38 c 93 227 300.40 148.01 2.03 1000000 0 418.45/418.63 c 127 290 307.90 166.33 1.85 1000000 0 419.66/419.88 c 122 310 313.37 129.27 2.42 1000000 0 420.96/421.14 c 135 230 319.17 149.64 2.13 1000000 0 422.16/422.39 c 142 332 315.09 135.07 2.33 1000000 0 423.45/423.64 c 112 352 301.11 157.63 1.91 1000000 0 424.65/424.89 c 143 259 307.03 153.68 2.00 1000000 0 425.95/426.14 c 150 277 324.37 148.19 2.19 1000000 0 427.25/427.40 c 113 208 319.10 143.26 2.23 1000000 0 428.45/428.65 c 150 305 307.47 139.40 2.21 1000000 0 429.75/429.90 c 122 296 310.58 165.02 1.88 1000000 0 430.96/431.15 c 128 248 318.50 164.41 1.94 1000000 0 432.25/432.40 c 125 287 311.51 108.32 2.88 1000000 0 433.45/433.65 c 108 272 306.64 131.31 2.34 1000000 0 434.65/434.90 c 119 242 303.71 138.95 2.19 1000000 0 435.95/436.14 c 131 268 306.78 153.38 2.00 1000000 0 437.15/437.38 c 110 236 286.94 147.55 1.94 1000000 0 438.45/438.62 c 82 257 283.95 140.23 2.02 1000000 0 439.65/439.87 c 113 277 307.16 120.30 2.55 1000000 0 440.96/441.12 c 128 252 309.58 150.68 2.05 1000000 0 442.15/442.37 c 89 325 310.98 150.02 2.07 1000000 0 443.45/443.61 c 117 182 315.76 136.98 2.31 1000000 0 444.65/444.87 c 134 251 311.79 160.38 1.94 1000000 0 445.95/446.12 c 127 352 320.58 130.77 2.45 1000000 0 447.14/447.37 c 111 250 314.74 147.87 2.13 1000000 0 448.44/448.62 c 121 262 294.24 143.64 2.05 1000000 0 449.65/449.86 c 85 232 297.71 135.25 2.20 1000000 0 450.94/451.11 c 138 219 314.89 130.91 2.41 1000000 0 452.14/452.35 c 127 262 288.53 121.33 2.38 1000000 0 453.44/453.60 c 105 289 303.91 128.21 2.37 1000000 0 454.64/454.84 c 100 231 302.13 128.91 2.34 1000000 0 455.84/456.09 c 114 291 305.61 123.44 2.48 1000000 0 457.14/457.34 c 144 296 324.33 163.95 1.98 1000000 0 458.34/458.60 c 154 240 327.76 142.31 2.30 1000000 0 459.65/459.84 c 98 281 301.58 160.90 1.87 1000000 0 460.84/461.09 c 93 298 301.34 139.56 2.16 1000000 0 462.14/462.34 c 116 184 299.20 176.05 1.70 1000000 0 463.34/463.58 c 88 273 292.95 177.14 1.65 1000000 0 464.64/464.83 c 107 220 310.79 138.09 2.25 1000000 0 465.84/466.08 c 123 244 313.34 141.10 2.22 1000000 0 467.14/467.33 c 111 249 303.32 132.32 2.29 1000000 0 468.34/468.57 c 122 301 297.68 125.44 2.37 1000000 0 469.64/469.82 c 117 242 307.33 149.80 2.05 1000000 0 470.84/471.07 c 136 280 315.67 134.04 2.35 1000000 0 472.15/472.32 c 132 221 308.69 144.66 2.13 1000000 0 473.34/473.57 c 133 231 311.42 149.54 2.08 1000000 0 474.64/474.82 c 125 229 304.94 133.13 2.29 1000000 0 475.84/476.07 c 117 283 315.17 173.64 1.82 1000000 0 477.15/477.32 c 108 309 305.81 144.56 2.12 1000000 0 478.35/478.56 c 113 260 296.73 126.90 2.34 1000000 0 479.64/479.81 c 91 246 293.66 130.68 2.25 1000000 0 480.84/481.06 c 110 279 308.97 134.73 2.29 1000000 0 482.14/482.31 c 142 250 315.71 144.33 2.19 1000000 0 483.34/483.56 c 131 188 309.64 144.70 2.14 1000000 0 484.64/484.81 c 105 332 308.12 133.82 2.30 1000000 0 485.84/486.06 c 101 188 301.64 146.56 2.06 1000000 0 487.14/487.31 c 121 291 304.55 139.30 2.19 1000000 0 488.34/488.55 c 116 249 309.68 126.67 2.44 1000000 0 489.63/489.80 c 116 313 301.76 151.83 1.99 1000000 0 490.83/491.04 c 126 264 295.99 147.99 2.00 1000000 0 492.13/492.30 c 111 223 309.80 122.03 2.54 1000000 0 493.33/493.54 c 119 377 314.83 137.00 2.30 1000000 0 494.63/494.80 c 147 329 325.37 142.63 2.28 1000000 0 495.84/496.04 c 122 292 302.71 129.30 2.34 1000000 0 497.04/497.29 c 108 169 303.03 142.04 2.13 1000000 0 498.33/498.54 c 109 269 310.86 137.61 2.26 1000000 0 499.53/499.79 c 111 261 323.88 133.57 2.42 1000000 0 500.83/501.04 c 119 341 324.82 125.60 2.59 1000000 0 502.03/502.29 c 116 257 313.93 145.70 2.15 1000000 0 503.33/503.54 c 93 297 286.25 126.31 2.27 1000000 0 504.53/504.78 c 127 259 319.54 136.50 2.34 1000000 0 505.84/506.04 c 91 297 312.74 136.77 2.29 1000000 0 507.03/507.29 c 144 238 322.15 133.53 2.41 1000000 0 508.33/508.53 c 96 293 301.36 138.59 2.17 1000000 0 509.53/509.78 c 108 134 299.71 161.69 1.85 1000000 0 510.83/511.02 c 101 226 288.29 140.62 2.05 1000000 0 512.03/512.27 c 138 193 306.94 157.64 1.95 1000000 0 513.33/513.52 c 79 242 316.26 155.35 2.04 1000000 0 514.53/514.77 c 110 276 308.00 158.34 1.95 1000000 0 515.82/516.02 c 88 246 294.00 146.34 2.01 1000000 0 517.02/517.26 c 98 277 290.94 136.34 2.13 1000000 0 518.32/518.51 c 119 279 311.29 154.40 2.02 1000000 0 519.52/519.77 c 159 323 330.13 143.13 2.31 1000000 0 520.82/521.01 c 145 219 305.73 131.46 2.33 1000000 0 522.02/522.26 c 116 281 311.81 145.80 2.14 1000000 0 523.22/523.50 c 123 253 290.67 147.70 1.97 1000000 0 524.53/524.75 c 104 234 307.17 132.79 2.31 1000000 0 525.82/526.00 c 122 274 306.73 128.14 2.39 1000000 0 527.02/527.25 c 106 261 298.04 156.98 1.90 1000000 0 528.22/528.49 c 111 249 314.60 148.58 2.12 1000000 0 529.52/529.74 c 123 368 306.68 128.21 2.39 1000000 0 530.72/530.99 c 126 278 306.46 159.75 1.92 1000000 0 532.02/532.24 c 115 283 307.07 164.45 1.87 1000000 0 533.22/533.50 c 127 301 318.91 144.89 2.20 1000000 0 534.52/534.74 c 109 381 302.67 158.91 1.90 1000000 0 535.72/535.99 c 100 266 301.43 174.33 1.73 1000000 0 537.02/537.24 c 114 194 313.37 143.91 2.18 1000000 0 538.22/538.49 c 134 273 309.75 137.69 2.25 1000000 0 539.52/539.74 c 132 255 316.60 141.20 2.24 1000000 0 540.72/540.99 c 118 244 314.24 145.93 2.15 1000000 0 542.02/542.24 c 86 251 329.41 162.57 2.03 1000000 0 543.22/543.49 c 127 330 301.08 139.22 2.16 1000000 0 544.52/544.73 c 124 343 302.17 142.00 2.13 1000000 0 545.72/545.98 c 113 278 320.50 165.83 1.93 1000000 0 547.02/547.23 c 87 238 300.82 142.82 2.11 1000000 0 548.22/548.47 c 92 169 302.40 147.25 2.05 1000000 0 549.52/549.73 c 127 175 333.86 137.28 2.43 1000000 0 550.72/550.98 c 130 262 318.97 129.80 2.46 1000000 0 552.02/552.23 c 84 317 297.92 153.11 1.95 1000000 0 553.22/553.48 c 151 269 313.00 163.88 1.91 1000000 0 554.52/554.73 c 130 294 324.01 121.15 2.67 1000000 0 555.71/555.98 c 83 131 306.18 144.72 2.12 1000000 0 557.02/557.23 c 98 243 301.78 145.81 2.07 1000000 0 558.21/558.48 c 142 181 322.97 143.00 2.26 1000000 0 559.51/559.73 c 107 166 310.10 165.57 1.87 1000000 0 560.72/560.98 c 131 308 304.21 157.30 1.93 1000000 0 562.01/562.23 c 106 371 306.72 151.38 2.03 1000000 0 563.21/563.47 c 117 258 302.63 159.79 1.89 1000000 0 564.51/564.71 c 132 220 303.13 156.75 1.93 1000000 0 565.71/565.96 c 93 178 304.59 158.62 1.92 1000000 0 567.01/567.21 c 138 245 310.58 124.79 2.49 1000000 0 568.21/568.47 c 126 310 315.31 174.53 1.81 1000000 0 569.52/569.72 c 107 352 330.41 169.04 1.95 1000000 0 570.72/570.98 c 117 182 303.88 126.54 2.40 1000000 0 572.01/572.24 c 110 325 330.15 157.24 2.10 1000000 0 573.21/573.48 c 74 273 295.65 148.47 1.99 1000000 0 574.51/574.73 c 114 295 296.49 143.70 2.06 1000000 0 575.71/575.98 c 150 252 317.96 131.82 2.41 1000000 0 577.01/577.23 c 149 241 314.47 125.78 2.50 1000000 0 578.21/578.47 c 108 259 295.61 127.41 2.32 1000000 0 579.51/579.71 c 119 315 303.33 138.57 2.19 1000000 0 580.71/580.97 c 111 261 309.41 149.47 2.07 1000000 0 582.01/582.21 c 92 149 298.21 132.19 2.26 1000000 0 583.21/583.46 c 109 334 299.76 150.99 1.99 1000000 0 584.50/584.71 c 121 319 315.85 137.63 2.29 1000000 0 585.70/585.96 c 85 222 305.10 172.61 1.77 1000000 0 587.00/587.21 c 109 174 293.95 128.11 2.29 1000000 0 588.21/588.46 c 110 338 307.53 147.24 2.09 1000000 0 589.50/589.71 c 95 206 308.31 163.87 1.88 1000000 0 590.70/590.95 c 107 287 288.73 133.87 2.16 1000000 0 591.90/592.19 c 115 318 294.41 136.11 2.16 1000000 0 593.20/593.43 c 111 293 289.75 126.34 2.29 1000000 0 594.40/594.67 c 114 270 284.73 120.94 2.35 1000000 0 595.70/595.92 c 128 319 304.06 145.67 2.09 1000000 0 596.90/597.17 c 143 294 300.47 127.93 2.35 1000000 0 598.21/598.41 c 90 350 298.26 127.47 2.34 1000000 0 599.40/599.66 c 84 290 304.67 147.61 2.06 1000000 0 600.70/600.92 c 122 265 314.66 140.58 2.24 1000000 0 601.89/602.16 c 121 309 307.35 136.30 2.25 1000000 0 603.19/603.41 c 82 327 301.33 122.66 2.46 1000000 0 604.39/604.66 c 131 269 310.25 161.17 1.93 1000000 0 605.69/605.91 c 107 257 318.58 127.82 2.49 1000000 0 606.90/607.16 c 118 275 306.86 128.91 2.38 1000000 0 608.19/608.41 c 115 424 304.29 135.81 2.24 1000000 0 609.39/609.65 c 99 303 298.91 160.38 1.86 1000000 0 610.69/610.90 c 76 274 304.33 129.21 2.36 1000000 0 611.89/612.15 c 120 228 301.02 130.35 2.31 1000000 0 613.09/613.39 c 140 364 303.83 154.12 1.97 1000000 0 614.39/614.64 c 126 300 305.52 134.60 2.27 1000000 0 615.59/615.89 c 101 289 306.48 147.82 2.07 1000000 0 616.90/617.14 c 101 221 308.86 144.61 2.14 1000000 0 618.09/618.39 c 72 304 307.36 141.19 2.18 1000000 0 619.39/619.64 c 131 211 305.35 147.73 2.07 1000000 0 620.59/620.89 c 133 322 309.54 165.60 1.87 1000000 0 621.89/622.15 c 156 291 333.96 137.62 2.43 1000000 0 623.09/623.39 c 120 231 287.57 149.53 1.92 1000000 0 624.40/624.65 c 138 288 327.17 138.95 2.35 1000000 0 625.60/625.89 c 95 234 310.11 126.62 2.45 1000000 0 626.89/627.14 c 111 242 305.84 165.04 1.85 1000000 0 628.09/628.39 c 99 204 298.21 154.01 1.94 1000000 0 629.39/629.63 c 115 289 300.92 158.93 1.89 1000000 0 630.59/630.88 c 115 293 294.48 166.56 1.77 1000000 0 631.89/632.14 c 110 214 317.23 170.99 1.86 1000000 0 633.09/633.38 c 104 231 297.57 142.56 2.09 1000000 0 634.40/634.63 c 108 303 298.16 127.68 2.34 1000000 0 635.60/635.88 c 129 268 322.01 160.05 2.01 1000000 0 636.89/637.14 c 138 397 319.70 151.75 2.11 1000000 0 638.09/638.38 c 117 217 305.84 132.33 2.31 1000000 0 639.39/639.63 c 126 307 302.77 144.75 2.09 1000000 0 640.59/640.87 c 117 259 300.95 152.83 1.97 1000000 0 641.89/642.11 c 49 306 292.20 136.00 2.15 1000000 0 643.09/643.37 c 127 370 329.60 137.06 2.40 1000000 0 644.39/644.62 c 122 287 316.06 137.94 2.29 1000000 0 645.58/645.87 c 92 307 305.29 159.14 1.92 1000000 0 646.88/647.13 c 119 279 314.77 154.27 2.04 1000000 0 648.08/648.37 c 102 300 298.25 134.49 2.22 1000000 0 649.38/649.62 c 106 248 294.32 144.88 2.03 1000000 0 650.58/650.87 c 111 284 301.08 126.01 2.39 1000000 0 651.88/652.11 c 122 244 301.61 140.08 2.15 1000000 0 653.08/653.35 c 117 305 289.13 144.21 2.00 1000000 0 654.38/654.60 c 118 305 305.33 129.45 2.36 1000000 0 655.57/655.85 c 132 273 321.34 161.62 1.99 1000000 0 656.87/657.10 c 126 260 302.60 158.47 1.91 1000000 0 658.07/658.35 c 146 281 324.67 144.36 2.25 1000000 0 659.27/659.59 c 119 231 295.70 129.83 2.28 1000000 0 660.57/660.84 c 132 295 313.27 134.01 2.34 1000000 0 661.77/662.10 c 124 217 311.78 185.48 1.68 1000000 0 663.08/663.35 c 105 232 300.49 149.93 2.00 1000000 0 664.27/664.59 c 122 233 303.95 132.62 2.29 1000000 0 665.57/665.84 c 73 221 309.12 151.91 2.03 1000000 0 666.77/667.08 c 122 258 291.80 133.15 2.19 1000000 0 668.07/668.33 c 131 202 301.15 145.78 2.07 1000000 0 669.27/669.57 c 101 261 314.90 134.24 2.35 1000000 0 670.57/670.83 c 143 224 323.64 156.66 2.07 1000000 0 671.78/672.08 c 102 169 312.48 158.20 1.98 1000000 0 673.07/673.33 c 136 255 320.85 152.18 2.11 1000000 0 674.27/674.58 c 105 332 300.83 153.54 1.96 1000000 0 675.57/675.82 c 86 256 287.24 149.31 1.92 1000000 0 676.77/677.07 c 104 231 317.11 157.32 2.02 1000000 0 678.07/678.33 c 125 280 315.77 143.11 2.21 1000000 0 679.27/679.57 c 142 256 310.07 146.34 2.12 1000000 0 680.58/680.83 c 137 388 323.00 159.52 2.02 1000000 0 681.79/682.07 c 121 278 295.19 139.24 2.12 1000000 0 683.08/683.31 c 120 203 307.37 126.56 2.43 1000000 0 684.28/684.56 c 118 305 303.60 142.93 2.12 1000000 0 685.58/685.80 c 92 252 279.98 136.75 2.05 1000000 0 686.77/687.05 c 113 372 311.50 138.09 2.26 1000000 0 688.07/688.30 c 118 242 308.93 132.85 2.33 1000000 0 689.27/689.56 c 144 240 318.62 122.60 2.60 1000000 0 690.58/690.81 c 105 376 324.09 123.83 2.62 1000000 0 691.77/692.05 c 105 326 298.07 128.13 2.33 1000000 0 693.07/693.30 c 99 200 306.31 156.41 1.96 1000000 0 694.27/694.55 c 127 284 306.61 136.91 2.24 1000000 0 695.57/695.80 c 114 242 310.73 161.40 1.93 1000000 0 696.77/697.04 c 123 292 300.11 125.55 2.39 1000000 0 697.97/698.29 c 134 316 307.21 140.42 2.19 1000000 0 699.28/699.54 c 116 338 310.27 140.70 2.21 1000000 0 700.48/700.79 c 130 284 323.17 158.27 2.04 1000000 0 701.77/702.04 c 136 148 312.98 148.44 2.11 1000000 0 702.97/703.29 c 101 343 312.69 145.66 2.15 1000000 0 704.27/704.54 c 75 171 311.99 167.03 1.87 1000000 0 705.47/705.80 c 100 246 320.12 144.81 2.21 1000000 0 706.77/707.04 c 127 219 296.44 127.27 2.33 1000000 0 707.97/708.30 c 133 266 323.71 140.51 2.30 1000000 0 709.27/709.55 c 133 323 320.50 133.08 2.41 1000000 0 710.57/710.80 c 119 267 301.31 132.48 2.27 1000000 0 711.77/712.04 c 95 253 300.96 128.46 2.34 1000000 0 712.96/713.30 c 122 267 311.33 149.76 2.08 1000000 0 714.26/714.55 c 75 214 317.38 149.22 2.13 1000000 0 715.56/715.80 c 132 200 309.17 133.62 2.31 1000000 0 716.76/717.06 c 129 308 319.13 144.14 2.21 1000000 0 717.97/718.30 c 70 215 303.24 151.38 2.00 1000000 0 719.26/719.55 c 113 305 298.80 156.74 1.91 1000000 0 720.46/720.80 c 114 293 303.10 124.13 2.44 1000000 0 721.76/722.04 c 87 308 303.38 153.99 1.97 1000000 0 722.96/723.29 c 127 257 299.25 154.82 1.93 1000000 0 724.26/724.53 c 112 202 302.30 130.43 2.32 1000000 0 725.56/725.80 c 105 189 328.48 158.26 2.08 1000000 0 726.77/727.04 c 99 340 304.31 148.80 2.05 1000000 0 727.97/728.29 c 122 283 314.25 164.54 1.91 1000000 0 729.26/729.54 c 127 227 317.03 147.01 2.16 1000000 0 730.46/730.79 c 117 218 306.57 144.48 2.12 1000000 0 731.76/732.03 c 114 245 295.61 131.22 2.25 1000000 0 732.95/733.28 c 147 266 318.43 128.61 2.48 1000000 0 734.25/734.53 c 118 261 298.48 155.60 1.92 1000000 0 735.45/735.78 c 104 318 307.61 140.16 2.19 1000000 0 736.76/737.02 c 130 289 299.78 140.07 2.14 1000000 0 737.95/738.27 c 129 312 313.50 149.01 2.10 1000000 0 739.25/739.52 c 101 220 294.65 139.30 2.12 1000000 0 740.45/740.76 c 60 344 302.78 150.97 2.01 1000000 0 741.75/742.02 c 110 226 328.10 159.70 2.05 1000000 0 742.95/743.26 c 100 296 296.71 127.91 2.32 1000000 0 744.25/744.50 c 91 344 291.85 159.56 1.83 1000000 0 745.46/745.75 c 103 214 306.20 151.31 2.02 1000000 0 746.66/747.00 c 87 252 305.25 141.59 2.16 1000000 0 747.95/748.24 c 101 381 291.78 146.05 2.00 1000000 0 749.15/749.49 c 99 321 314.18 137.72 2.28 1000000 0 750.45/750.74 c 107 296 311.42 164.25 1.90 1000000 0 751.65/752.00 c 89 259 325.47 162.98 2.00 1000000 0 752.95/753.25 c 106 232 320.57 184.84 1.73 1000000 0 754.15/754.49 c 95 339 294.16 144.87 2.03 1000000 0 755.45/755.74 c 125 283 305.40 148.59 2.06 1000000 0 756.65/756.99 c 130 202 315.50 124.89 2.53 1000000 0 757.95/758.25 c 140 261 320.18 152.55 2.10 1000000 0 759.15/759.49 c 104 268 303.61 153.98 1.97 1000000 0 760.45/760.74 c 124 282 307.19 135.79 2.26 1000000 0 761.65/761.99 c 139 339 320.73 156.02 2.06 1000000 0 762.95/763.25 c 144 266 318.34 138.28 2.30 1000000 0 764.15/764.50 c 132 345 316.79 142.56 2.22 1000000 0 765.44/765.75 c 53 272 302.73 135.18 2.24 1000000 0 766.64/766.99 c 98 300 284.31 122.81 2.32 1000000 0 767.94/768.25 c 137 215 330.13 158.50 2.08 1000000 0 769.24/769.50 c 109 314 317.14 144.22 2.20 1000000 0 770.44/770.75 c 135 293 312.54 113.69 2.75 1000000 0 771.64/771.99 c 115 299 301.34 149.66 2.01 1000000 0 772.95/773.24 c 106 244 295.87 145.41 2.03 1000000 0 774.15/774.49 c 125 313 313.61 163.25 1.92 1000000 0 775.44/775.75 c 139 391 324.77 141.48 2.30 1000000 0 776.74/777.00 c 112 313 318.33 125.91 2.53 1000000 0 777.94/778.25 c 92 270 307.92 113.43 2.71 1000000 0 779.24/779.50 c 128 273 316.87 157.20 2.02 1000000 0 780.44/780.74 c 115 333 288.96 119.12 2.43 1000000 0 781.64/781.98 c 121 295 298.48 150.62 1.98 1000000 0 782.94/783.23 c 151 325 317.65 124.39 2.55 1000000 0 784.14/784.48 c 121 247 308.68 142.73 2.16 1000000 0 785.44/785.74 c 123 210 326.29 169.65 1.92 1000000 0 786.64/786.99 c 107 395 304.09 139.32 2.18 1000000 0 787.94/788.25 c 142 225 329.87 150.80 2.19 1000000 0 789.23/789.50 c 130 247 319.00 161.22 1.98 1000000 0 790.43/790.75 c 100 217 308.60 142.68 2.16 1000000 0 791.64/792.00 c 138 306 300.68 136.82 2.20 1000000 0 792.93/793.24 c 116 260 299.12 150.97 1.98 1000000 0 794.13/794.49 c 110 238 309.29 136.32 2.27 1000000 0 795.43/795.73 c 113 290 307.80 129.98 2.37 1000000 0 796.63/796.99 c 121 271 318.56 168.55 1.89 1000000 0 797.93/798.23 c 78 227 306.08 155.44 1.97 1000000 0 799.13/799.48 c 106 263 302.69 155.34 1.95 1000000 0 800.44/800.74 c 135 254 327.85 124.31 2.64 1000000 0 801.64/801.99 c 93 233 313.08 122.92 2.55 1000000 0 802.93/803.24 c 124 267 320.07 155.86 2.05 1000000 0 804.13/804.49 c 114 293 310.77 147.12 2.11 1000000 0 805.43/805.73 c 118 295 304.36 127.34 2.39 1000000 0 806.64/806.98 c 112 343 304.84 135.91 2.24 1000000 0 807.94/808.23 c 129 233 301.48 148.49 2.03 1000000 0 809.14/809.48 c 130 252 310.60 146.31 2.12 1000000 0 810.44/810.73 c 137 188 320.17 155.22 2.06 1000000 0 811.63/811.97 c 103 259 291.66 126.96 2.30 1000000 0 812.93/813.23 c 113 351 331.61 150.29 2.21 1000000 0 814.14/814.48 c 111 142 297.84 135.46 2.20 1000000 0 815.43/815.73 c 103 191 304.08 148.47 2.05 1000000 0 816.63/816.97 c 142 300 300.77 131.75 2.28 1000000 0 817.93/818.22 c 114 218 305.64 141.68 2.16 1000000 0 819.14/819.48 c 85 379 314.10 130.48 2.41 1000000 0 820.43/820.73 c 89 244 317.71 129.29 2.46 1000000 0 821.63/821.98 c 144 232 311.39 134.09 2.32 1000000 0 822.93/823.21 c 116 269 283.90 131.73 2.16 1000000 0 824.13/824.46 c 99 318 302.27 140.23 2.16 1000000 0 825.43/825.70 c 102 290 292.65 142.85 2.05 1000000 0 826.63/826.96 c 124 221 318.58 135.59 2.35 1000000 0 827.94/828.21 c 138 320 312.50 145.54 2.15 1000000 0 829.14/829.45 c 112 285 307.14 142.32 2.16 1000000 0 830.43/830.71 c 139 297 324.62 172.09 1.89 1000000 0 831.63/831.96 c 136 273 315.86 146.95 2.15 1000000 0 832.93/833.21 c 140 234 319.05 157.91 2.02 1000000 0 834.13/834.46 c 124 267 320.38 138.20 2.32 1000000 0 835.43/835.71 c 122 355 312.61 140.24 2.23 1000000 0 836.62/836.96 c 109 279 313.47 153.51 2.04 1000000 0 837.93/838.22 c 130 244 322.62 140.27 2.30 1000000 0 839.12/839.47 c 85 244 319.68 141.71 2.26 1000000 0 840.42/840.72 c 134 277 312.16 131.80 2.37 1000000 0 841.62/841.97 c 114 315 304.89 152.53 2.00 1000000 0 842.92/843.22 c 145 291 309.63 146.52 2.11 1000000 0 844.12/844.47 c 107 232 308.30 123.26 2.50 1000000 0 845.42/845.72 c 122 255 307.54 150.76 2.04 1000000 0 846.63/846.97 c 135 332 295.76 139.33 2.12 1000000 0 847.92/848.21 c 81 318 299.90 163.48 1.83 1000000 0 849.12/849.46 c 127 204 312.58 133.41 2.34 1000000 0 850.42/850.71 c 123 210 295.52 150.42 1.96 1000000 0 851.62/851.95 c 114 258 300.38 157.11 1.91 1000000 0 852.92/853.20 c 128 292 307.35 136.79 2.25 1000000 0 854.12/854.45 c 109 251 302.50 145.25 2.08 1000000 0 855.42/855.71 c 68 258 328.68 173.36 1.90 1000000 0 856.62/856.96 c 128 253 320.36 151.27 2.12 1000000 0 857.91/858.20 c 117 219 301.73 135.49 2.23 1000000 0 859.11/859.45 c 160 305 312.69 130.40 2.40 1000000 0 860.41/860.70 c 104 277 311.67 113.31 2.75 1000000 0 861.61/861.96 c 107 343 323.37 148.23 2.18 1000000 0 862.91/863.21 c 140 285 307.77 143.78 2.14 1000000 0 864.11/864.46 c 95 294 308.64 127.56 2.42 1000000 0 865.42/865.71 c 112 285 296.40 146.41 2.02 1000000 0 866.61/866.96 c 94 391 310.85 137.01 2.27 1000000 0 867.91/868.21 c 84 301 305.21 135.39 2.25 1000000 0 869.11/869.44 c 123 240 278.62 118.62 2.35 1000000 0 870.31/870.69 c 123 344 321.01 150.91 2.13 1000000 0 871.61/871.94 c 120 245 307.67 171.33 1.80 1000000 0 872.81/873.19 c 145 321 313.60 144.63 2.17 1000000 0 874.12/874.45 c 143 268 314.72 126.24 2.49 1000000 0 875.31/875.69 c 116 320 298.28 148.00 2.02 1000000 0 876.61/876.93 c 103 320 295.38 149.73 1.97 1000000 0 877.81/878.17 c 102 332 277.50 124.37 2.23 1000000 0 879.11/879.42 c 135 321 312.08 132.10 2.36 1000000 0 880.31/880.67 c 125 219 316.65 138.74 2.28 1000000 0 881.61/881.92 c 125 258 307.11 157.04 1.96 1000000 0 882.81/883.17 c 122 349 309.05 150.66 2.05 1000000 0 884.11/884.42 c 121 246 317.16 138.64 2.29 1000000 0 885.30/885.67 c 105 234 293.16 134.57 2.18 1000000 0 886.60/886.92 c 104 267 307.65 114.72 2.68 1000000 0 887.80/888.16 c 107 251 302.98 134.89 2.25 1000000 0 889.10/889.40 c 122 299 278.58 123.62 2.25 1000000 0 890.30/890.67 c 119 238 337.69 153.58 2.20 1000000 0 891.60/891.93 c 145 453 345.63 128.36 2.69 1000000 0 892.81/893.18 c 103 215 311.10 153.29 2.03 1000000 0 894.10/894.44 c 110 303 335.01 150.80 2.22 1000000 0 895.30/895.69 c 55 323 307.74 139.77 2.20 1000000 0 896.60/896.93 c 135 224 301.41 130.42 2.31 1000000 0 897.80/898.19 c 98 218 316.73 144.51 2.19 1000000 0 899.10/899.43 c 96 219 303.12 140.11 2.16 1000000 0 900.30/900.68 c 146 224 315.02 154.78 2.04 1000000 0 901.60/901.93 c 118 269 317.47 153.12 2.07 1000000 0 902.80/903.18 c 124 194 315.97 126.82 2.49 1000000 0 904.09/904.43 c 138 288 311.95 153.13 2.04 1000000 0 905.29/905.69 c 114 352 324.42 170.63 1.90 1000000 0 906.59/906.94 c 80 235 298.12 121.41 2.46 1000000 0 907.79/908.18 c 117 248 304.88 147.12 2.07 1000000 0 909.09/909.43 c 87 234 300.29 154.78 1.94 1000000 0 910.29/910.67 c 126 206 291.99 132.10 2.21 1000000 0 911.60/911.92 c 103 273 314.91 135.15 2.33 1000000 0 912.79/913.17 c 80 276 304.26 158.91 1.91 1000000 0 914.09/914.42 c 124 352 324.93 159.69 2.03 1000000 0 915.29/915.67 c 130 286 309.50 152.43 2.03 1000000 0 916.59/916.92 c 122 332 323.57 166.25 1.95 1000000 0 917.79/918.18 c 123 334 318.16 146.03 2.18 1000000 0 919.09/919.43 c 118 332 319.67 149.85 2.13 1000000 0 920.30/920.68 c 135 254 315.04 120.54 2.61 1000000 0 921.59/921.93 c 122 228 307.41 124.88 2.46 1000000 0 922.79/923.18 c 135 269 318.78 152.66 2.09 1000000 0 924.10/924.44 c 140 164 324.21 166.81 1.94 1000000 0 925.30/925.69 c 128 344 297.83 148.31 2.01 1000000 0 926.60/926.94 c 121 223 308.79 152.60 2.02 1000000 0 927.80/928.18 c 120 274 295.03 124.53 2.37 1000000 0 929.10/929.43 c 140 385 305.13 125.68 2.43 1000000 0 930.30/930.67 c 103 236 298.35 140.79 2.12 1000000 0 931.59/931.92 c 133 296 320.82 157.95 2.03 1000000 0 932.80/933.17 c 117 356 305.37 149.16 2.05 1000000 0 934.10/934.42 c 146 239 299.95 128.83 2.33 1000000 0 935.29/935.67 c 95 203 300.72 168.78 1.78 1000000 0 936.59/936.92 c 138 317 316.21 155.58 2.03 1000000 0 937.79/938.17 c 118 274 311.45 153.58 2.03 1000000 0 939.10/939.42 c 127 281 310.86 142.15 2.19 1000000 0 940.29/940.67 c 105 280 312.19 157.45 1.98 1000000 0 941.59/941.92 c 119 249 314.87 141.55 2.22 1000000 0 942.79/943.17 c 138 285 301.61 122.30 2.47 1000000 0 944.09/944.41 c 109 208 302.22 143.34 2.11 1000000 0 945.29/945.67 c 105 274 312.75 154.29 2.03 1000000 0 946.59/946.92 c 134 257 320.46 165.10 1.94 1000000 0 947.79/948.17 c 102 249 289.22 132.64 2.18 1000000 0 949.09/949.42 c 113 292 322.13 126.98 2.54 1000000 0 950.29/950.67 c 128 343 318.21 165.12 1.93 1000000 0 951.59/951.93 c 130 298 310.14 133.20 2.33 1000000 0 952.79/953.17 c 128 237 287.47 140.08 2.05 1000000 0 954.09/954.41 c 104 194 299.76 160.17 1.87 1000000 0 955.29/955.66 c 129 251 302.19 128.81 2.35 1000000 0 956.49/956.90 c 112 268 289.37 156.85 1.84 1000000 0 957.79/958.15 c 128 274 307.28 122.06 2.52 1000000 0 958.99/959.40 c 123 247 308.83 172.92 1.79 1000000 0 960.28/960.65 c 122 309 319.51 179.94 1.78 1000000 0 961.58/961.90 c 109 232 315.00 149.72 2.10 1000000 0 962.78/963.15 c 130 302 309.17 129.50 2.39 1000000 0 964.08/964.40 c 129 176 310.97 157.02 1.98 1000000 0 965.28/965.65 c 115 330 305.31 133.44 2.29 1000000 0 966.49/966.90 c 72 266 299.22 176.96 1.69 1000000 0 967.78/968.15 c 130 321 316.52 146.83 2.16 1000000 0 969.07/969.40 c 129 256 306.79 160.88 1.91 1000000 0 970.27/970.65 c 104 200 312.21 156.91 1.99 1000000 0 971.57/971.91 c 81 244 319.36 154.57 2.07 1000000 0 972.77/973.15 c 127 261 298.87 132.32 2.26 1000000 0 974.07/974.40 c 118 235 316.19 149.97 2.11 1000000 0 975.28/975.64 c 81 290 303.74 134.27 2.26 1000000 0 976.48/976.89 c 122 262 299.58 125.74 2.38 1000000 0 977.77/978.14 c 99 261 311.26 151.79 2.05 1000000 0 978.97/979.39 c 138 353 319.05 154.27 2.07 1000000 0 980.27/980.64 c 133 304 316.22 136.67 2.31 1000000 0 981.47/981.88 c 101 334 280.09 134.80 2.08 1000000 0 982.77/983.12 c 85 199 287.60 138.96 2.07 1000000 0 983.97/984.38 c 159 211 319.89 155.67 2.05 1000000 0 985.28/985.63 c 136 210 321.77 157.16 2.05 1000000 0 986.47/986.88 c 117 256 313.02 157.58 1.99 1000000 0 987.77/988.13 c 119 295 301.53 153.11 1.97 1000000 0 988.97/989.39 c 137 302 333.89 143.06 2.33 1000000 0 990.27/990.65 c 104 241 310.72 165.28 1.88 1000000 0 991.57/991.90 c 88 231 309.50 146.99 2.11 1000000 0 992.77/993.15 c 77 264 317.37 163.09 1.95 1000000 0 994.07/994.41 c 100 342 311.49 163.69 1.90 1000000 0 995.26/995.66 c 120 411 317.33 144.88 2.19 1000000 0 996.56/996.92 c 103 267 325.29 138.53 2.35 1000000 0 997.76/998.17 c 125 222 303.13 146.48 2.07 1000000 0 999.06/999.42 c 114 294 311.29 141.47 2.20 1000000 0 1000.26/1000.66 c 128 268 296.15 115.97 2.55 1000000 0 1001.56/1001.92 c 108 272 313.81 143.65 2.18 1000000 0 1002.77/1003.17 c 146 356 317.38 131.75 2.41 1000000 0 1004.06/1004.42 c 100 241 297.48 156.90 1.90 1000000 0 1005.26/1005.68 c 130 311 330.03 154.68 2.13 1000000 0 1006.56/1006.93 c 119 246 306.94 153.00 2.01 1000000 0 1007.76/1008.18 c 128 377 322.37 148.36 2.17 1000000 0 1009.06/1009.44 c 148 292 330.97 162.13 2.04 1000000 0 1010.26/1010.68 c 120 165 294.07 132.49 2.22 1000000 0 1011.56/1011.93 c 125 262 320.14 131.81 2.43 1000000 0 1012.76/1013.18 c 142 282 321.44 132.54 2.43 1000000 0 1014.05/1014.43 c 93 282 302.10 139.99 2.16 1000000 0 1015.25/1015.68 c 141 236 313.38 153.70 2.04 1000000 0 1016.56/1016.93 c 89 324 300.40 136.80 2.20 1000000 0 1017.76/1018.18 c 136 270 315.12 159.41 1.98 1000000 0 1019.06/1019.44 c 138 226 328.15 168.21 1.95 1000000 0 1020.25/1020.68 c 98 304 287.37 143.91 2.00 1000000 0 1021.56/1021.93 c 120 222 322.91 166.06 1.94 1000000 0 1022.75/1023.17 c 103 245 287.26 135.60 2.12 1000000 0 1024.05/1024.42 c 116 268 307.35 137.67 2.23 1000000 0 1025.25/1025.66 c 88 287 302.14 142.85 2.12 1000000 0 1026.55/1026.91 c 95 228 313.66 130.58 2.40 1000000 0 1027.75/1028.16 c 120 256 302.40 134.02 2.26 1000000 0 1029.05/1029.41 c 125 331 311.78 150.60 2.07 1000000 0 1030.26/1030.66 c 101 225 307.22 127.54 2.41 1000000 0 1031.55/1031.91 c 120 273 305.45 143.93 2.12 1000000 0 1032.76/1033.15 c 131 250 307.05 149.34 2.06 1000000 0 1034.06/1034.41 c 122 297 312.90 149.99 2.09 1000000 0 1035.26/1035.64 c 115 127 300.09 120.66 2.49 1000000 0 1036.46/1036.89 c 116 364 311.33 138.27 2.25 1000000 0 1037.75/1038.14 c 124 322 315.71 134.35 2.35 1000000 0 1038.95/1039.39 c 110 215 308.89 129.05 2.39 1000000 0 1040.26/1040.64 c 107 271 299.74 136.94 2.19 1000000 0 1041.45/1041.89 c 115 235 316.94 144.24 2.20 1000000 0 1042.75/1043.13 c 112 162 307.48 165.75 1.86 1000000 0 1043.95/1044.39 c 132 236 335.03 171.51 1.95 1000000 0 1045.25/1045.65 c 139 255 321.21 138.80 2.31 1000000 0 1046.55/1046.90 c 66 213 307.18 157.50 1.95 1000000 0 1047.75/1048.15 c 130 164 317.74 144.06 2.21 1000000 0 1049.06/1049.41 c 106 332 318.01 159.01 2.00 1000000 0 1050.25/1050.66 c 144 298 311.58 148.38 2.10 1000000 0 1051.55/1051.91 c 110 216 314.64 155.99 2.02 1000000 0 1052.75/1053.17 c 140 241 319.35 148.96 2.14 1000000 0 1054.05/1054.42 c 125 310 319.66 135.92 2.35 1000000 0 1055.25/1055.67 c 90 310 297.58 142.94 2.08 1000000 0 1056.55/1056.92 c 123 219 318.86 161.29 1.98 1000000 0 1057.76/1058.17 c 121 245 309.78 157.20 1.97 1000000 0 1059.05/1059.43 c 94 427 323.06 137.48 2.35 1000000 0 1060.25/1060.68 c 132 320 323.48 131.14 2.47 1000000 0 1061.55/1061.93 c 124 203 313.34 139.79 2.24 1000000 0 1062.75/1063.18 c 101 249 301.99 139.45 2.17 1000000 0 1064.05/1064.43 c 108 281 314.50 137.64 2.28 1000000 0 1065.25/1065.67 c 99 229 285.62 134.65 2.12 1000000 0 1066.55/1066.92 c 132 324 296.58 138.27 2.15 1000000 0 1067.75/1068.16 c 130 235 303.53 134.69 2.25 1000000 0 1069.05/1069.42 c 97 265 318.25 145.33 2.19 1000000 0 1070.25/1070.68 c 119 372 323.34 148.87 2.17 1000000 0 1071.54/1071.93 c 135 313 319.76 144.50 2.21 1000000 0 1072.74/1073.18 c 112 327 303.97 155.59 1.95 1000000 0 1074.04/1074.43 c 116 245 319.18 158.62 2.01 1000000 0 1075.24/1075.68 c 93 231 305.21 118.06 2.59 1000000 0 1076.55/1076.92 c 118 231 302.61 136.94 2.21 1000000 0 1077.74/1078.17 c 100 306 298.49 173.00 1.73 1000000 0 1079.04/1079.42 c 137 365 303.05 138.58 2.19 1000000 0 1080.24/1080.66 c 119 270 299.56 133.14 2.25 1000000 0 1081.54/1081.91 c 114 275 306.32 160.85 1.90 1000000 0 1082.74/1083.14 c 35 251 277.08 133.59 2.07 1000000 0 1083.94/1084.38 c 111 222 287.47 136.92 2.10 1000000 0 1085.25/1085.63 c 95 233 305.82 130.15 2.35 1000000 0 1086.45/1086.88 c 130 288 317.65 134.31 2.36 1000000 0 1087.74/1088.14 c 128 285 329.74 138.64 2.38 1000000 0 1088.94/1089.39 c 89 317 315.28 145.06 2.17 1000000 0 1090.24/1090.63 c 107 266 283.98 155.40 1.83 1000000 0 1091.44/1091.88 c 124 168 299.60 113.66 2.64 1000000 0 1092.74/1093.13 c 84 221 303.16 138.79 2.18 1000000 0 1093.94/1094.38 c 120 392 315.96 140.01 2.26 1000000 0 1095.24/1095.63 c 115 152 321.00 139.43 2.30 1000000 0 1096.44/1096.88 c 134 278 323.31 159.50 2.03 1000000 0 1097.74/1098.13 c 111 189 297.47 131.84 2.26 1000000 0 1098.93/1099.38 c 131 207 314.60 127.79 2.46 1000000 0 1100.23/1100.63 c 105 196 322.34 156.55 2.06 1000000 0 1101.43/1101.88 c 113 229 311.85 142.16 2.19 1000000 0 1102.73/1103.14 c 139 234 318.06 136.79 2.33 1000000 0 1103.94/1104.38 c 98 224 287.39 135.05 2.13 1000000 0 1105.23/1105.63 c 125 244 320.81 139.71 2.30 1000000 0 1106.43/1106.88 c 92 250 306.71 130.63 2.35 1000000 0 1107.73/1108.13 c 130 298 306.25 149.65 2.05 1000000 0 1108.93/1109.38 c 110 228 305.38 136.92 2.23 1000000 0 1110.23/1110.63 c 131 254 309.57 137.98 2.24 1000000 0 1111.43/1111.87 c 124 283 304.93 138.57 2.20 1000000 0 1112.74/1113.12 c 100 305 298.02 135.60 2.20 1000000 0 1113.94/1114.37 c 148 268 318.27 144.88 2.20 1000000 0 1115.23/1115.63 c 146 209 336.91 148.58 2.27 1000000 0 1116.43/1116.87 c 118 184 292.39 134.66 2.17 1000000 0 1117.73/1118.12 c 120 279 319.60 159.19 2.01 1000000 0 1118.93/1119.36 c 110 184 294.67 173.48 1.70 1000000 0 1120.23/1120.62 c 129 301 323.92 127.58 2.54 1000000 0 1121.43/1121.86 c 94 233 295.68 143.38 2.06 1000000 0 1122.73/1123.11 c 143 225 310.42 150.70 2.06 1000000 0 1123.93/1124.35 c 136 268 300.02 140.57 2.13 1000000 0 1125.22/1125.61 c 127 332 308.50 159.50 1.93 1000000 0 1126.42/1126.85 c 70 210 289.24 142.05 2.04 1000000 0 1127.72/1128.10 c 116 256 309.03 144.98 2.13 1000000 0 1128.92/1129.34 c 102 277 307.78 142.94 2.15 1000000 0 1130.12/1130.59 c 132 254 304.85 165.57 1.84 1000000 0 1131.43/1131.83 c 110 210 293.21 148.90 1.97 1000000 0 1132.63/1133.07 c 123 265 295.24 122.46 2.41 1000000 0 1133.92/1134.32 c 69 253 292.11 129.46 2.26 1000000 0 1135.12/1135.57 c 97 377 313.12 143.25 2.19 1000000 0 1136.42/1136.82 c 129 249 304.44 140.24 2.17 1000000 0 1137.62/1138.06 c 95 277 300.63 136.03 2.21 1000000 0 1138.92/1139.31 c 127 297 309.35 128.74 2.40 1000000 0 1140.12/1140.56 c 122 277 302.45 123.40 2.45 1000000 0 1141.43/1141.81 c 106 222 313.80 136.91 2.29 1000000 0 1142.62/1143.06 c 127 226 314.80 149.97 2.10 1000000 0 1143.92/1144.32 c 149 307 337.83 133.30 2.53 1000000 0 1145.12/1145.58 c 107 314 315.43 157.45 2.00 1000000 0 1146.42/1146.84 c 109 259 324.46 138.92 2.34 1000000 0 1147.62/1148.09 c 120 336 312.58 168.60 1.85 1000000 0 1148.91/1149.33 c 125 270 305.69 124.21 2.46 1000000 0 1150.12/1150.59 c 132 326 328.09 135.51 2.42 1000000 0 1151.41/1151.83 c 133 207 303.14 129.37 2.34 1000000 0 1152.61/1153.08 c 106 306 303.13 141.42 2.14 1000000 0 1153.91/1154.34 c 143 209 322.31 156.10 2.06 1000000 0 1155.11/1155.59 c 114 176 321.60 147.81 2.18 1000000 0 1156.42/1156.84 c 118 201 287.25 140.98 2.04 1000000 0 1157.61/1158.09 c 144 294 318.18 141.58 2.25 1000000 0 1158.92/1159.33 c 149 214 303.26 133.56 2.27 1000000 0 1160.12/1160.58 c 121 272 306.31 138.65 2.21 1000000 0 1161.41/1161.83 c 150 281 316.89 167.36 1.89 1000000 0 1162.61/1163.08 c 127 267 312.94 140.64 2.23 1000000 0 1163.91/1164.33 c 120 229 301.88 143.40 2.11 1000000 0 1165.11/1165.59 c 116 267 321.32 140.52 2.29 1000000 0 1166.41/1166.84 c 133 248 313.38 135.45 2.31 1000000 0 1167.61/1168.09 c 148 342 311.03 144.56 2.15 1000000 0 1168.92/1169.34 c 80 327 312.90 143.40 2.18 1000000 0 1170.11/1170.59 c 135 200 323.95 139.08 2.33 1000000 0 1171.41/1171.84 c 116 256 306.06 161.41 1.90 1000000 0 1172.61/1173.10 c 96 283 316.80 143.70 2.20 1000000 0 1173.90/1174.34 c 115 310 296.90 145.25 2.04 1000000 0 1175.10/1175.59 c 109 272 323.79 138.80 2.33 1000000 0 1176.40/1176.84 c 117 308 319.64 153.97 2.08 1000000 0 1177.61/1178.09 c 120 303 312.07 147.66 2.11 1000000 0 1178.90/1179.35 c 141 241 319.73 153.05 2.09 1000000 0 1180.20/1180.60 c 125 227 306.04 114.74 2.67 1000000 0 1181.40/1181.85 c 141 273 319.67 125.32 2.55 1000000 0 1182.60/1183.09 c 142 234 298.94 143.11 2.09 1000000 0 1183.90/1184.34 c 124 282 325.24 128.99 2.52 1000000 0 1185.10/1185.59 c 122 331 316.31 138.11 2.29 1000000 0 1186.40/1186.84 c 123 226 296.80 135.21 2.20 1000000 0 1187.61/1188.09 c 117 225 327.56 183.98 1.78 1000000 0 1188.90/1189.34 c 123 319 300.49 132.82 2.26 1000000 0 1190.10/1190.59 c 102 367 306.98 133.22 2.30 1000000 0 1191.40/1191.83 c 102 218 279.56 133.29 2.10 1000000 0 1192.60/1193.07 c 117 245 305.01 129.83 2.35 1000000 0 1193.89/1194.32 c 113 272 314.20 159.16 1.97 1000000 0 1195.09/1195.56 c 119 236 291.12 139.84 2.08 1000000 0 1196.40/1196.80 c 100 224 293.10 139.41 2.10 1000000 0 1197.59/1198.06 c 122 249 313.14 163.22 1.92 1000000 0 1198.89/1199.31 c 115 312 309.61 136.03 2.28 1000000 0 1200.09/1200.56 c 67 263 308.22 135.91 2.27 1000000 0 1201.40/1201.81 c 111 281 321.74 150.80 2.13 1000000 0 1202.60/1203.05 c 124 319 298.96 143.70 2.08 1000000 0 1203.80/1204.29 c 90 307 300.52 121.20 2.48 1000000 0 1205.11/1205.55 c 114 241 318.55 127.83 2.49 1000000 0 1206.40/1206.80 c 125 271 313.72 155.09 2.02 1000000 0 1207.60/1208.05 c 138 205 310.50 131.33 2.36 1000000 0 1208.90/1209.30 c 112 331 310.40 133.32 2.33 1000000 0 1210.10/1210.55 c 132 262 321.15 148.63 2.16 1000000 0 1211.40/1211.80 c 113 279 308.65 157.15 1.96 1000000 0 1212.60/1213.05 c 124 271 301.97 135.06 2.24 1000000 0 1213.80/1214.30 c 106 241 314.20 138.41 2.27 1000000 0 1215.10/1215.55 c 89 228 310.91 161.24 1.93 1000000 0 1216.40/1216.81 c 119 310 313.13 142.32 2.20 1000000 0 1217.59/1218.06 c 138 218 321.22 153.89 2.09 1000000 0 1218.89/1219.31 c 137 270 320.98 161.36 1.99 1000000 0 1220.09/1220.57 c 130 206 314.87 147.65 2.13 1000000 0 1221.39/1221.81 c 109 355 306.46 121.01 2.53 1000000 0 1222.59/1223.06 c 118 290 290.75 127.46 2.28 1000000 0 1223.90/1224.31 c 119 257 307.75 140.38 2.19 1000000 0 1225.09/1225.56 c 126 213 305.60 131.48 2.32 1000000 0 1226.39/1226.81 c 130 229 304.36 141.32 2.15 1000000 0 1227.59/1228.06 c 65 283 298.97 150.58 1.99 1000000 0 1228.89/1229.30 c 123 248 304.77 153.23 1.99 1000000 0 1230.09/1230.55 c 108 250 295.54 117.75 2.51 1000000 0 1231.29/1231.80 c 123 307 312.03 153.27 2.04 1000000 0 1232.60/1233.04 c 145 237 317.70 152.67 2.08 1000000 0 1233.80/1234.29 c 111 300 308.70 148.36 2.08 1000000 0 1235.09/1235.54 c 132 243 312.89 142.10 2.20 1000000 0 1236.29/1236.79 c 117 226 311.91 138.73 2.25 1000000 0 1237.59/1238.04 c 135 273 327.04 144.17 2.27 1000000 0 1238.79/1239.29 c 127 332 291.44 129.26 2.25 1000000 0 1240.09/1240.53 c 111 373 301.11 148.70 2.02 1000000 0 1241.29/1241.78 c 123 190 306.04 143.02 2.14 1000000 0 1242.59/1243.03 c 88 172 300.15 144.51 2.08 1000000 0 1243.78/1244.28 c 98 242 302.52 138.84 2.18 1000000 0 1245.08/1245.53 c 118 246 318.18 166.12 1.92 1000000 0 1246.28/1246.79 c 139 182 311.12 130.42 2.39 1000000 0 1247.58/1248.03 c 121 216 302.32 120.63 2.51 1000000 0 1248.78/1249.29 c 123 317 333.24 134.65 2.47 1000000 0 1250.08/1250.53 c 118 299 293.27 144.16 2.03 1000000 0 1251.29/1251.78 c 135 256 301.55 155.69 1.94 1000000 0 1252.58/1253.03 c 128 241 308.50 157.84 1.95 1000000 0 1253.78/1254.27 c 82 306 293.96 136.20 2.16 1000000 0 1255.08/1255.52 c 141 358 310.78 136.20 2.28 1000000 0 1256.28/1256.76 c 96 184 302.67 128.78 2.35 1000000 0 1257.58/1258.01 c 112 229 289.24 135.51 2.13 1000000 0 1258.78/1259.26 c 123 220 304.81 149.77 2.04 1000000 0 1259.98/1260.49 c 74 248 294.43 144.51 2.04 1000000 0 1261.29/1261.73 c 123 344 296.76 127.38 2.33 1000000 0 1262.48/1262.99 c 130 258 335.93 160.15 2.10 1000000 0 1263.78/1264.24 c 130 340 301.42 139.27 2.16 1000000 0 1264.98/1265.48 c 77 222 294.46 145.12 2.03 1000000 0 1266.28/1266.73 c 106 292 311.11 134.37 2.32 1000000 0 1267.48/1267.98 c 111 151 316.56 156.01 2.03 1000000 0 1268.78/1269.24 c 113 276 318.67 157.10 2.03 1000000 0 1269.98/1270.49 c 135 263 318.01 140.80 2.26 1000000 0 1271.28/1271.74 c 136 196 315.72 122.13 2.58 1000000 0 1272.48/1272.99 c 132 229 302.76 144.88 2.09 1000000 0 1273.78/1274.24 c 114 376 308.19 150.93 2.04 1000000 0 1274.98/1275.48 c 118 237 305.24 135.72 2.25 1000000 0 1276.27/1276.73 c 121 284 297.16 125.53 2.37 1000000 0 1277.47/1277.97 c 97 229 296.83 134.88 2.20 1000000 0 1278.78/1279.22 c 100 274 316.46 193.85 1.63 1000000 0 1279.98/1280.48 c 114 222 321.01 144.49 2.22 1000000 0 1281.27/1281.72 c 77 320 302.41 129.69 2.33 1000000 0 1282.47/1282.97 c 107 335 305.51 146.49 2.09 1000000 0 1283.77/1284.22 c 116 279 301.98 149.39 2.02 1000000 0 1284.97/1285.48 c 112 285 327.65 147.96 2.21 1000000 0 1286.27/1286.72 c 122 228 295.59 137.21 2.15 1000000 0 1287.47/1287.97 c 110 281 300.27 147.30 2.04 1000000 0 1288.78/1289.22 c 123 248 307.44 143.97 2.14 1000000 0 1289.97/1290.46 c 117 282 304.02 144.94 2.10 1000000 0 1291.27/1291.71 c 113 234 299.56 147.73 2.03 1000000 0 1292.47/1292.97 c 130 295 330.58 140.81 2.35 1000000 0 1293.77/1294.21 c 127 300 300.90 174.87 1.72 1000000 0 1294.97/1295.46 c 61 247 306.00 167.13 1.83 1000000 0 1296.27/1296.72 c 143 366 340.88 147.42 2.31 1000000 0 1297.47/1297.97 c 133 227 312.94 151.97 2.06 1000000 0 1298.77/1299.21 c 85 321 299.33 140.01 2.14 1000000 0 1299.97/1300.47 c 150 251 315.58 151.23 2.09 1000000 0 1301.27/1301.72 c 102 376 312.07 131.32 2.38 1000000 0 1302.47/1302.97 c 122 319 312.40 137.52 2.27 1000000 0 1303.76/1304.22 c 141 277 321.45 143.01 2.25 1000000 0 1304.96/1305.46 c 128 337 303.11 136.12 2.23 1000000 0 1306.27/1306.73 c 140 228 342.09 163.51 2.09 1000000 0 1307.47/1307.97 c 90 283 300.58 143.08 2.10 1000000 0 1308.76/1309.22 c 125 223 296.10 144.89 2.04 1000000 0 1309.96/1310.46 c 80 291 285.35 153.87 1.85 1000000 0 1311.26/1311.71 c 95 264 316.08 165.51 1.91 1000000 0 1312.46/1312.96 c 122 299 301.52 135.28 2.23 1000000 0 1313.76/1314.21 c 77 239 316.31 158.98 1.99 1000000 0 1314.96/1315.46 c 107 212 316.50 148.33 2.13 1000000 0 1316.26/1316.72 c 147 289 317.20 159.34 1.99 1000000 0 1317.46/1317.98 c 150 370 324.39 121.79 2.66 1000000 0 1318.76/1319.22 c 131 319 295.60 137.36 2.15 1000000 0 1319.95/1320.47 c 141 236 327.47 134.72 2.43 1000000 0 1321.25/1321.73 c 88 257 329.22 146.90 2.24 1000000 0 1322.45/1322.97 c 102 222 282.80 136.74 2.07 1000000 0 1323.75/1324.22 c 114 307 322.98 127.63 2.53 1000000 0 1324.96/1325.48 c 130 258 313.64 151.39 2.07 1000000 0 1326.25/1326.73 c 117 353 316.88 134.41 2.36 1000000 0 1327.45/1327.97 c 113 248 300.81 131.52 2.29 1000000 0 1328.75/1329.22 c 144 275 328.86 149.52 2.20 1000000 0 1329.95/1330.48 c 128 302 330.32 140.52 2.35 1000000 0 1331.25/1331.73 c 111 242 310.34 145.76 2.13 1000000 0 1332.45/1332.96 c 87 282 283.52 137.78 2.06 1000000 0 1333.76/1334.21 c 124 260 304.82 151.65 2.01 1000000 0 1334.96/1335.46 c 138 311 316.66 165.19 1.92 1000000 0 1336.25/1336.71 c 117 234 303.88 127.69 2.38 1000000 0 1337.45/1337.96 c 116 272 322.71 151.71 2.13 1000000 0 1338.75/1339.22 c 78 264 315.53 153.68 2.05 1000000 0 1339.95/1340.46 c 124 181 296.82 151.08 1.96 1000000 0 1341.25/1341.70 c 91 308 296.33 142.30 2.08 1000000 0 1342.45/1342.96 c 140 320 316.48 138.15 2.29 1000000 0 1343.65/1344.20 c 106 183 288.30 116.78 2.47 1000000 0 1344.95/1345.46 c 69 284 316.42 148.24 2.13 1000000 0 1346.25/1346.71 c 128 252 307.80 152.78 2.01 1000000 0 1347.45/1347.96 c 141 243 323.33 105.53 3.06 1000000 0 1348.74/1349.21 c 124 298 311.59 148.42 2.10 1000000 0 1349.94/1350.46 c 120 255 297.39 133.43 2.23 1000000 0 1351.24/1351.70 c 111 257 298.18 124.80 2.39 1000000 0 1352.45/1352.95 c 121 219 318.90 134.26 2.38 1000000 0 1353.74/1354.20 c 116 277 305.68 137.42 2.22 1000000 0 1354.94/1355.45 c 102 189 310.33 140.99 2.20 1000000 0 1356.14/1356.69 c 131 319 292.26 146.11 2.00 1000000 0 1357.44/1357.94 c 105 231 301.08 147.60 2.04 1000000 0 1358.64/1359.18 c 114 241 303.06 147.50 2.05 1000000 0 1359.94/1360.43 c 125 237 294.12 134.51 2.19 1000000 0 1361.14/1361.68 c 116 279 309.16 131.59 2.35 1000000 0 1362.45/1362.93 c 103 226 317.59 168.65 1.88 1000000 0 1363.64/1364.19 c 135 367 324.42 147.10 2.21 1000000 0 1364.95/1365.44 c 123 331 299.18 126.33 2.37 1000000 0 1366.15/1366.69 c 89 281 302.53 149.88 2.02 1000000 0 1367.45/1367.94 c 101 342 312.46 141.53 2.21 1000000 0 1368.65/1369.20 c 101 258 310.89 151.62 2.05 1000000 0 1369.95/1370.45 c 136 223 315.80 127.33 2.48 1000000 0 1371.15/1371.69 c 62 235 293.85 130.29 2.26 1000000 0 1372.45/1372.94 c 95 247 304.14 155.75 1.95 1000000 0 1373.65/1374.19 c 112 235 300.60 131.37 2.29 1000000 0 1374.94/1375.44 c 75 243 298.38 153.12 1.95 1000000 0 1376.14/1376.69 c 115 252 321.36 155.33 2.07 1000000 0 1377.44/1377.94 c 85 358 292.01 162.19 1.80 1000000 0 1378.64/1379.18 c 117 273 288.63 141.36 2.04 1000000 0 1379.95/1380.42 c 92 231 286.21 145.04 1.97 1000000 0 1381.15/1381.66 c 130 256 289.22 121.36 2.38 1000000 0 1382.44/1382.91 c 111 280 312.82 141.33 2.21 1000000 0 1383.64/1384.17 c 130 154 312.55 157.64 1.98 1000000 0 1384.94/1385.41 c 104 313 296.31 144.98 2.04 1000000 0 1386.14/1386.66 c 154 245 323.12 149.63 2.16 1000000 0 1387.44/1387.92 c 126 211 319.92 125.71 2.54 1000000 0 1388.64/1389.16 c 108 248 292.72 124.67 2.35 1000000 0 1389.95/1390.41 c 84 307 297.71 132.06 2.25 1000000 0 1391.14/1391.66 c 129 286 316.26 135.00 2.34 1000000 0 1392.44/1392.91 c 127 237 303.78 146.75 2.07 1000000 0 1393.64/1394.15 c 127 267 298.77 141.16 2.12 1000000 0 1394.84/1395.39 c 109 282 287.71 117.69 2.44 1000000 0 1396.14/1396.64 c 103 238 299.75 109.34 2.74 1000000 0 1397.34/1397.89 c 135 334 339.18 152.22 2.23 1000000 0 1398.64/1399.14 c 138 353 305.74 140.88 2.17 1000000 0 1399.84/1400.38 c 125 280 287.39 143.38 2.00 1000000 0 1401.14/1401.64 c 112 186 314.45 159.36 1.97 1000000 0 1402.34/1402.88 c 79 240 300.25 156.27 1.92 1000000 0 1403.64/1404.13 c 140 240 316.03 151.75 2.08 1000000 0 1404.83/1405.38 c 101 294 314.37 146.02 2.15 1000000 0 1406.13/1406.64 c 155 426 333.95 166.33 2.01 1000000 0 1407.33/1407.90 c 138 373 338.36 186.73 1.81 1000000 0 1408.64/1409.15 c 121 266 304.13 140.52 2.16 1000000 0 1409.83/1410.39 c 87 283 289.09 145.04 1.99 1000000 0 1411.13/1411.64 c 108 251 302.58 145.16 2.08 1000000 0 1412.33/1412.88 c 106 295 302.33 140.50 2.15 1000000 0 1413.63/1414.13 c 99 264 299.27 140.74 2.13 1000000 0 1414.83/1415.38 c 122 241 299.93 153.31 1.96 1000000 0 1416.13/1416.62 c 116 282 303.46 125.31 2.42 1000000 0 1417.33/1417.87 c 87 321 301.13 124.66 2.42 1000000 0 1418.63/1419.12 c 120 232 309.14 147.43 2.10 1000000 0 1419.83/1420.37 c 98 309 315.78 165.89 1.90 1000000 0 1421.13/1421.62 c 111 267 304.68 144.24 2.11 1000000 0 1422.32/1422.89 c 168 272 345.77 151.88 2.28 1000000 0 1423.62/1424.14 c 124 189 299.72 133.88 2.24 1000000 0 1424.82/1425.38 c 108 251 296.08 115.03 2.57 1000000 0 1426.13/1426.64 c 121 260 331.45 148.58 2.23 1000000 0 1427.33/1427.89 c 123 288 323.48 134.20 2.41 1000000 0 1428.62/1429.14 c 89 282 295.32 140.06 2.11 1000000 0 1429.82/1430.39 c 91 308 316.19 164.53 1.92 1000000 0 1431.12/1431.64 c 120 285 308.13 141.62 2.18 1000000 0 1432.32/1432.89 c 91 240 310.30 166.85 1.86 1000000 0 1433.62/1434.14 c 116 223 292.71 151.21 1.94 1000000 0 1434.82/1435.37 c 116 246 290.50 138.34 2.10 1000000 0 1436.13/1436.62 c 153 303 307.94 148.09 2.08 1000000 0 1437.32/1437.87 c 99 231 300.98 153.19 1.96 1000000 0 1438.62/1439.12 c 108 293 296.37 129.50 2.29 1000000 0 1439.82/1440.36 c 99 220 291.50 166.74 1.75 1000000 0 1441.12/1441.61 c 80 258 300.96 165.99 1.81 1000000 0 1442.32/1442.85 c 105 305 283.01 136.51 2.07 1000000 0 1443.52/1444.09 c 121 227 296.71 133.82 2.22 1000000 0 1444.83/1445.35 c 110 277 299.05 164.83 1.81 1000000 0 1446.12/1446.60 c 132 309 331.09 150.03 2.21 1000000 0 1447.32/1447.86 c 97 306 317.10 145.57 2.18 1000000 0 1448.62/1449.12 c 137 267 349.64 141.34 2.47 1000000 0 1449.82/1450.38 c 105 264 321.38 122.09 2.63 1000000 0 1451.12/1451.63 c 125 228 320.86 138.06 2.32 1000000 0 1452.32/1452.86 c 116 395 285.03 105.40 2.70 1000000 0 1453.62/1454.11 c 95 255 292.34 149.79 1.95 1000000 0 1454.82/1455.35 c 116 211 309.26 137.75 2.24 1000000 0 1456.11/1456.60 c 107 226 305.33 154.48 1.98 1000000 0 1457.31/1457.85 c 125 232 304.39 142.91 2.13 1000000 0 1458.61/1459.10 c 119 269 297.06 150.06 1.98 1000000 0 1459.81/1460.35 c 127 289 317.89 134.64 2.36 1000000 0 1461.11/1461.60 c 112 265 311.31 158.17 1.97 1000000 0 1462.31/1462.85 c 124 308 307.62 155.29 1.98 1000000 0 1463.62/1464.11 c 131 270 320.39 169.78 1.89 1000000 0 1464.81/1465.35 c 133 195 300.07 120.50 2.49 1000000 0 1466.11/1466.60 c 110 260 316.60 140.19 2.26 1000000 0 1467.31/1467.85 c 134 351 303.03 126.98 2.39 1000000 0 1468.61/1469.10 c 92 326 293.02 139.13 2.11 1000000 0 1469.81/1470.35 c 133 251 319.58 138.68 2.30 1000000 0 1471.11/1471.60 c 110 247 291.38 147.79 1.97 1000000 0 1472.32/1472.85 c 120 233 317.16 133.82 2.37 1000000 0 1473.61/1474.11 c 121 422 325.93 149.58 2.18 1000000 0 1474.81/1475.36 c 120 234 317.27 146.36 2.17 1000000 0 1476.11/1476.61 c 120 275 323.04 160.53 2.01 1000000 0 1477.31/1477.86 c 113 190 309.01 151.13 2.04 1000000 0 1478.61/1479.11 c 143 280 318.36 138.06 2.31 1000000 0 1479.81/1480.37 c 58 255 311.82 156.69 1.99 1000000 0 1481.01/1481.61 c 105 189 296.09 159.61 1.86 1000000 0 1482.31/1482.85 c 119 340 301.90 136.02 2.22 1000000 0 1483.50/1484.09 c 107 193 297.99 149.51 1.99 1000000 0 1484.80/1485.34 c 104 375 299.99 126.82 2.37 1000000 0 1486.00/1486.59 c 78 342 308.14 140.98 2.19 1000000 0 1487.30/1487.83 c 126 285 305.20 155.64 1.96 1000000 0 1488.50/1489.09 c 141 219 328.14 139.93 2.34 1000000 0 1489.80/1490.34 c 114 279 301.59 144.70 2.08 1000000 0 1491.01/1491.59 c 117 293 304.51 141.93 2.15 1000000 0 1492.30/1492.83 c 107 257 299.42 136.04 2.20 1000000 0 1493.50/1494.08 c 146 290 321.96 142.86 2.25 1000000 0 1494.80/1495.34 c 136 299 331.45 165.30 2.01 1000000 0 1496.10/1496.60 c 126 305 326.48 161.03 2.03 1000000 0 1497.31/1497.85 c 110 404 302.56 126.87 2.38 1000000 0 1498.51/1499.09 c 84 246 303.14 154.59 1.96 1000000 0 1499.81/1500.34 c 115 258 314.08 146.57 2.14 1000000 0 1501.01/1501.58 c 119 208 293.58 140.50 2.09 1000000 0 1502.30/1502.83 c 82 218 300.47 140.58 2.14 1000000 0 1503.50/1504.08 c 115 224 305.88 143.35 2.13 1000000 0 1504.80/1505.33 c 119 329 318.53 144.90 2.20 1000000 0 1506.01/1506.58 c 115 212 300.70 169.65 1.77 1000000 0 1507.30/1507.83 c 101 272 302.49 152.38 1.99 1000000 0 1508.50/1509.08 c 116 294 327.32 163.69 2.00 1000000 0 1509.81/1510.32 c 106 249 291.88 133.19 2.19 1000000 0 1511.00/1511.57 c 129 260 308.68 117.42 2.63 1000000 0 1512.30/1512.83 c 109 277 315.98 129.64 2.44 1000000 0 1513.50/1514.08 c 129 334 314.30 136.08 2.31 1000000 0 1514.80/1515.34 c 124 265 315.84 153.58 2.06 1000000 0 1516.00/1516.59 c 140 243 332.81 152.94 2.18 1000000 0 1517.30/1517.84 c 108 237 314.51 171.96 1.83 1000000 0 1518.51/1519.09 c 108 356 312.20 138.11 2.26 1000000 0 1519.80/1520.34 c 136 264 302.39 144.05 2.10 1000000 0 1521.00/1521.59 c 87 327 302.42 136.91 2.21 1000000 0 1522.30/1522.83 c 108 274 280.04 138.17 2.03 1000000 0 1523.50/1524.08 c 110 280 306.07 139.74 2.19 1000000 0 1524.79/1525.34 c 123 300 319.08 165.55 1.93 1000000 0 1525.99/1526.59 c 124 307 314.61 184.78 1.70 1000000 0 1527.30/1527.84 c 126 228 296.52 129.71 2.29 1000000 0 1528.50/1529.10 c 129 186 324.43 137.05 2.37 1000000 0 1529.79/1530.35 c 124 215 325.98 167.60 1.95 1000000 0 1530.99/1531.59 c 110 246 306.49 159.50 1.92 1000000 0 1532.29/1532.84 c 75 210 318.99 143.29 2.23 1000000 0 1533.59/1534.10 c 152 253 325.34 147.01 2.21 1000000 0 1534.79/1535.35 c 124 232 302.24 137.10 2.20 1000000 0 1535.99/1536.59 c 119 258 289.71 119.60 2.42 1000000 0 1537.30/1537.83 c 113 149 291.69 141.33 2.06 1000000 0 1538.49/1539.08 c 104 203 295.15 142.20 2.08 1000000 0 1539.79/1540.33 c 130 201 315.30 149.11 2.11 1000000 0 1540.99/1541.58 c 136 296 313.20 132.23 2.37 1000000 0 1542.29/1542.83 c 135 219 307.26 156.33 1.97 1000000 0 1543.49/1544.07 c 113 294 280.19 142.47 1.97 1000000 0 1544.79/1545.31 c 103 326 304.53 147.21 2.07 1000000 0 1545.99/1546.56 c 101 191 299.79 149.03 2.01 1000000 0 1547.29/1547.80 c 107 267 301.80 150.42 2.01 1000000 0 1548.49/1549.06 c 132 164 329.90 155.37 2.12 1000000 0 1549.79/1550.30 c 126 230 296.90 144.52 2.05 1000000 0 1550.98/1551.55 c 112 258 304.73 155.71 1.96 1000000 0 1552.28/1552.80 c 122 205 305.39 125.94 2.42 1000000 0 1553.48/1554.04 c 121 240 291.26 128.42 2.27 1000000 0 1554.68/1555.28 c 79 300 292.08 150.61 1.94 1000000 0 1555.99/1556.52 c 95 155 295.43 126.04 2.34 1000000 0 1557.18/1557.78 c 135 297 317.02 153.16 2.07 1000000 0 1558.48/1559.03 c 130 269 318.40 142.23 2.24 1000000 0 1559.68/1560.28 c 67 288 302.23 168.45 1.79 1000000 0 1560.98/1561.53 c 111 349 301.57 151.37 1.99 1000000 0 1562.18/1562.78 c 128 187 313.86 154.87 2.03 1000000 0 1563.48/1564.03 c 67 299 301.83 146.27 2.06 1000000 0 1564.69/1565.29 c 130 203 325.69 155.51 2.09 1000000 0 1565.98/1566.54 c 121 271 316.11 159.70 1.98 1000000 0 1567.18/1567.78 c 77 255 295.41 143.60 2.06 1000000 0 1568.48/1569.03 c 104 213 292.57 149.28 1.96 1000000 0 1569.68/1570.28 c 118 183 317.24 144.50 2.20 1000000 0 1570.98/1571.52 c 97 264 305.20 166.71 1.83 1000000 0 1572.18/1572.78 c 130 273 319.39 155.89 2.05 1000000 0 1573.48/1574.03 c 146 333 324.45 139.22 2.33 1000000 0 1574.68/1575.28 c 142 241 311.41 127.47 2.44 1000000 0 1575.97/1576.54 c 142 226 327.06 153.78 2.13 1000000 0 1577.17/1577.79 c 121 220 303.80 132.73 2.29 1000000 0 1578.47/1579.03 c 88 350 304.60 136.30 2.23 1000000 0 1579.67/1580.29 c 136 309 315.86 143.80 2.20 1000000 0 1580.97/1581.54 c 140 276 320.73 148.25 2.16 1000000 0 1582.17/1582.79 c 115 178 311.65 137.61 2.26 1000000 0 1583.48/1584.05 c 136 475 336.38 146.23 2.30 1000000 0 1584.77/1585.31 c 142 244 320.04 127.97 2.50 1000000 0 1585.97/1586.56 c 100 301 307.56 140.05 2.20 1000000 0 1587.27/1587.82 c 127 319 326.27 162.90 2.00 1000000 0 1588.47/1589.07 c 108 333 307.15 152.35 2.02 1000000 0 1589.77/1590.31 c 117 237 298.39 128.66 2.32 1000000 0 1590.97/1591.56 c 127 249 311.50 151.24 2.06 1000000 0 1592.28/1592.81 c 144 217 315.35 126.50 2.49 1000000 0 1593.47/1594.06 c 119 284 319.62 147.08 2.17 1000000 0 1594.77/1595.30 c 67 333 291.61 154.99 1.88 1000000 0 1595.97/1596.55 c 117 274 312.03 153.56 2.03 1000000 0 1597.27/1597.80 c 134 309 300.07 120.17 2.50 1000000 0 1598.47/1599.05 c 108 245 310.64 165.01 1.88 1000000 0 1599.77/1600.31 c 122 226 318.23 163.75 1.94 1000000 0 1600.98/1601.55 c 120 374 298.53 118.36 2.52 1000000 0 1602.27/1602.81 c 110 257 335.05 144.63 2.32 1000000 0 1603.47/1604.05 c 107 243 295.97 134.45 2.20 1000000 0 1604.77/1605.30 c 122 257 315.69 131.34 2.40 1000000 0 1605.97/1606.55 c 122 257 298.28 147.07 2.03 1000000 0 1607.17/1607.79 c 107 285 295.90 145.79 2.03 1000000 0 1608.47/1609.04 c 145 245 307.75 131.46 2.34 1000000 0 1609.67/1610.28 c 110 273 293.08 146.23 2.00 1000000 0 1610.97/1611.53 c 90 225 302.36 136.90 2.21 1000000 0 1612.17/1612.78 c 114 300 300.26 141.99 2.11 1000000 0 1613.47/1614.02 c 104 245 306.62 144.43 2.12 1000000 0 1614.67/1615.28 c 107 321 329.53 166.65 1.98 1000000 0 1615.97/1616.53 c 122 264 299.27 141.00 2.12 1000000 0 1617.17/1617.78 c 99 275 320.20 166.77 1.92 1000000 0 1618.47/1619.02 c 77 243 287.52 144.65 1.99 1000000 0 1619.67/1620.27 c 123 371 312.96 139.95 2.24 1000000 0 1620.96/1621.52 c 119 321 305.04 136.16 2.24 1000000 0 1622.16/1622.77 c 124 369 311.87 130.89 2.38 1000000 0 1623.46/1624.01 c 105 254 307.94 143.38 2.15 1000000 0 1624.66/1625.26 c 73 268 288.77 150.41 1.92 1000000 0 1625.96/1626.50 c 139 291 306.98 120.15 2.56 1000000 0 1627.16/1627.75 c 67 173 300.63 152.49 1.97 1000000 0 1628.36/1628.99 c 117 288 292.50 122.59 2.39 1000000 0 1629.67/1630.24 c 102 303 312.93 166.65 1.88 1000000 0 1630.86/1631.49 c 69 260 312.60 173.18 1.81 1000000 0 1632.16/1632.74 c 99 226 295.66 156.66 1.89 1000000 0 1633.36/1634.00 c 124 297 321.70 150.87 2.13 1000000 0 1634.66/1635.24 c 135 240 307.21 146.60 2.10 1000000 0 1635.86/1636.49 c 98 327 304.48 153.62 1.98 1000000 0 1637.16/1637.74 c 112 244 316.55 154.86 2.04 1000000 0 1638.36/1638.99 c 118 417 317.33 159.16 1.99 1000000 0 1639.65/1640.25 c 134 323 320.33 161.78 1.98 1000000 0 1640.95/1641.51 c 143 355 328.76 146.67 2.24 1000000 0 1642.15/1642.74 c 126 271 292.56 120.88 2.42 1000000 0 1643.46/1644.00 c 145 382 335.55 161.17 2.08 1000000 0 1644.65/1645.26 c 122 248 313.72 142.26 2.21 1000000 0 1645.95/1646.50 c 132 207 302.85 120.60 2.51 1000000 0 1647.16/1647.75 c 93 209 307.22 154.62 1.99 1000000 0 1648.45/1649.01 c 116 310 318.79 147.47 2.16 1000000 0 1649.65/1650.26 c 146 193 325.49 126.87 2.57 1000000 0 1650.95/1651.50 c 108 195 298.35 137.66 2.17 1000000 0 1652.15/1652.75 c 126 320 315.02 142.18 2.22 1000000 0 1653.45/1654.01 c 123 293 313.17 136.35 2.30 1000000 0 1654.65/1655.26 c 118 316 305.57 139.90 2.18 1000000 0 1655.95/1656.51 c 117 239 308.46 146.81 2.10 1000000 0 1657.15/1657.76 c 125 285 314.41 135.80 2.32 1000000 0 1658.44/1659.01 c 96 383 302.22 140.49 2.15 1000000 0 1659.64/1660.26 c 80 289 298.06 155.99 1.91 1000000 0 1660.95/1661.50 c 124 265 306.63 159.03 1.93 1000000 0 1662.14/1662.75 c 114 280 305.16 163.11 1.87 1000000 0 1663.44/1664.01 c 122 230 323.75 148.84 2.18 1000000 0 1664.64/1665.25 c 49 200 300.54 145.19 2.07 1000000 0 1665.85/1666.50 c 121 280 308.64 139.85 2.21 1000000 0 1667.14/1667.75 c 108 244 300.66 144.10 2.09 1000000 0 1668.34/1668.99 c 116 246 288.63 108.71 2.65 1000000 0 1669.64/1670.23 c 123 225 302.07 133.36 2.27 1000000 0 1670.84/1671.48 c 131 260 315.23 153.95 2.05 1000000 0 1672.14/1672.73 c 117 235 294.85 148.37 1.99 1000000 0 1673.34/1673.97 c 95 209 302.45 150.47 2.01 1000000 0 1674.65/1675.23 c 125 241 312.52 130.26 2.40 1000000 0 1675.85/1676.48 c 124 282 326.67 162.31 2.01 1000000 0 1677.14/1677.73 c 54 227 292.08 154.29 1.89 1000000 0 1678.34/1678.97 c 95 252 287.69 135.04 2.13 1000000 0 1679.64/1680.22 c 108 321 295.76 165.87 1.78 1000000 0 1680.84/1681.46 c 120 366 304.86 159.43 1.91 1000000 0 1682.14/1682.70 c 86 344 279.81 151.04 1.85 1000000 0 1683.34/1683.94 c 117 264 290.54 153.51 1.89 1000000 0 1684.54/1685.19 c 106 167 297.30 130.72 2.27 1000000 0 1685.84/1686.43 c 115 332 297.25 133.68 2.22 1000000 0 1687.03/1687.67 c 107 310 310.29 124.46 2.49 1000000 0 1688.33/1688.92 c 100 282 302.72 153.73 1.97 1000000 0 1689.53/1690.16 c 97 207 296.42 153.83 1.93 1000000 0 1690.83/1691.41 c 92 274 307.38 155.80 1.97 1000000 0 1692.03/1692.65 c 100 270 284.16 138.23 2.06 1000000 0 1693.34/1693.91 c 114 165 326.62 199.71 1.64 1000000 0 1694.54/1695.15 c 117 261 295.66 136.45 2.17 1000000 0 1695.73/1696.40 c 98 278 296.69 132.54 2.24 1000000 0 1697.03/1697.65 c 111 349 312.04 161.28 1.93 1000000 0 1698.23/1698.89 c 112 250 303.55 145.19 2.09 1000000 0 1699.53/1700.15 c 129 218 310.25 160.62 1.93 1000000 0 1700.73/1701.39 c 99 217 306.45 151.23 2.03 1000000 0 1702.03/1702.64 c 137 206 297.62 135.87 2.19 1000000 0 1703.24/1703.88 c 94 206 300.82 163.02 1.85 1000000 0 1704.53/1705.13 c 125 186 304.52 142.17 2.14 1000000 0 1705.73/1706.38 c 128 326 320.11 151.73 2.11 1000000 0 1707.03/1707.63 c 73 327 307.02 125.33 2.45 1000000 0 1708.23/1708.88 c 125 261 306.81 168.92 1.82 1000000 0 1709.53/1710.13 c 111 212 303.33 147.36 2.06 1000000 0 1710.73/1711.37 c 127 225 302.54 147.15 2.06 1000000 0 1712.03/1712.62 c 119 233 301.90 139.96 2.16 1000000 0 1713.23/1713.87 c 50 277 302.19 146.00 2.07 1000000 0 1714.53/1715.12 c 113 325 306.77 133.89 2.29 1000000 0 1715.73/1716.37 c 125 289 322.45 153.67 2.10 1000000 0 1717.03/1717.62 c 113 297 298.53 141.52 2.11 1000000 0 1718.23/1718.86 c 127 234 301.33 118.79 2.54 1000000 0 1719.53/1720.10 c 125 227 288.55 153.37 1.88 1000000 0 1720.73/1721.35 c 127 290 306.43 146.04 2.10 1000000 0 1721.94/1722.59 c 130 254 302.07 143.76 2.10 1000000 0 1723.23/1723.84 c 45 281 301.85 164.90 1.83 1000000 0 1724.43/1725.09 c 136 242 312.37 139.61 2.24 1000000 0 1725.73/1726.34 c 111 201 315.21 136.97 2.30 1000000 0 1726.93/1727.58 c 84 176 293.55 145.30 2.02 1000000 0 1728.23/1728.83 c 132 236 298.30 133.61 2.23 1000000 0 1729.43/1730.07 c 107 234 292.30 136.25 2.15 1000000 0 1730.73/1731.32 c 107 207 300.52 149.86 2.01 1000000 0 1731.93/1732.56 c 101 296 306.68 130.66 2.35 1000000 0 1733.23/1733.82 c 99 209 326.06 185.47 1.76 1000000 0 1734.43/1735.07 c 128 355 316.61 160.80 1.97 1000000 0 1735.73/1736.31 c 111 214 296.97 136.46 2.18 1000000 0 1736.93/1737.57 c 124 344 326.85 159.27 2.05 1000000 0 1738.23/1738.82 c 102 276 308.87 130.49 2.37 1000000 0 1739.43/1740.07 c 116 279 295.36 131.77 2.24 1000000 0 1740.73/1741.31 c 123 259 301.88 145.87 2.07 1000000 0 1741.93/1742.56 c 106 254 285.24 152.20 1.87 1000000 0 1743.23/1743.81 c 65 225 313.01 140.84 2.22 1000000 0 1744.42/1745.06 c 102 279 317.82 122.00 2.61 1000000 0 1745.73/1746.30 c 99 299 290.97 141.65 2.05 1000000 0 1746.92/1747.55 c 137 249 309.14 147.52 2.10 1000000 0 1748.22/1748.80 c 127 223 313.92 160.39 1.96 1000000 0 1749.43/1750.04 c 105 179 284.32 128.08 2.22 1000000 0 1750.63/1751.29 c 117 226 316.27 160.38 1.97 1000000 0 1751.92/1752.55 c 129 269 339.29 186.03 1.82 1000000 0 1753.12/1753.79 c 126 264 288.86 133.77 2.16 1000000 0 1754.42/1755.04 c 112 201 305.59 150.75 2.03 1000000 0 1755.62/1756.29 c 87 285 309.31 128.48 2.41 1000000 0 1756.92/1757.54 c 111 289 304.53 166.19 1.83 1000000 0 1758.12/1758.79 c 141 329 316.00 143.51 2.20 1000000 0 1759.42/1760.05 c 121 353 340.44 148.38 2.29 1000000 0 1760.62/1761.29 c 67 220 298.89 123.81 2.41 1000000 0 1761.92/1762.55 c 117 343 313.74 134.46 2.33 1000000 0 1763.22/1763.80 c 98 240 315.04 153.14 2.06 1000000 0 1764.41/1765.05 c 121 233 299.01 152.44 1.96 1000000 0 1765.71/1766.30 c 102 277 318.61 167.87 1.90 1000000 0 1766.91/1767.55 c 109 289 308.04 139.71 2.20 1000000 0 1768.12/1768.80 c 121 297 299.28 139.58 2.14 1000000 0 1769.41/1770.04 c 152 306 317.98 104.68 3.04 1000000 0 1770.61/1771.29 c 116 256 298.03 137.74 2.16 1000000 0 1771.91/1772.54 c 137 368 327.40 130.61 2.51 1000000 0 1773.11/1773.79 c 118 297 308.28 164.01 1.88 1000000 0 1774.41/1775.04 c 127 332 293.48 120.23 2.44 1000000 0 1775.61/1776.29 c 70 321 310.54 148.27 2.09 1000000 0 1776.92/1777.54 c 150 340 316.39 136.84 2.31 1000000 0 1778.12/1778.79 c 121 269 314.81 160.43 1.96 1000000 0 1779.41/1780.04 c 106 317 299.58 129.52 2.31 1000000 0 1780.61/1781.27 c 114 289 299.79 138.69 2.16 1000000 0 1781.91/1782.53 c 130 292 328.49 184.14 1.78 1000000 0 1783.10/1783.78 c 135 257 325.99 156.50 2.08 1000000 0 1784.40/1785.03 c 137 415 309.44 127.22 2.43 1000000 0 1785.60/1786.28 c 129 271 312.82 136.56 2.29 1000000 0 1786.91/1787.52 c 88 247 291.10 144.38 2.02 1000000 0 1788.11/1788.77 c 116 263 296.82 149.92 1.98 1000000 0 1789.40/1790.02 c 121 220 302.94 133.58 2.27 1000000 0 1790.60/1791.26 c 107 230 311.31 151.76 2.05 1000000 0 1791.90/1792.51 c 93 209 303.16 145.95 2.08 1000000 0 1793.10/1793.77 c 131 335 334.70 140.48 2.38 1000000 0 1794.40/1795.02 c 135 218 306.00 126.91 2.41 1000000 0 1795.61/1796.26 c 107 207 298.63 141.70 2.11 1000000 0 1796.90/1797.51 c 129 296 308.29 139.53 2.21 1000000 0 1798.10/1798.77 c 144 248 334.10 151.06 2.21 1000000 0 1799.40/1800.02 c 127 236 304.65 129.21 2.36 1000000 0 1800.02/1800.61 HOME/run: line 2: 23154 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-2685350-1278440614/watcher-2685350-1278440614 -o /tmp/evaluation-result-2685350-1278440614/solver-2685350-1278440614 -C 1800 -W 2000 -M 1800 run HOME/instance-2685350-1278440614.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.07 1.04 0.96 3/106 23153 /proc/meminfo: memFree=1768596/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) R 23151 23153 21853 0 -1 4202496 343 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894483349 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [startup+0.0179999 s] /proc/loadavg: 1.07 1.04 0.96 3/106 23153 /proc/meminfo: memFree=1768596/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100997 s] /proc/loadavg: 1.07 1.04 0.96 3/106 23153 /proc/meminfo: memFree=1768596/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300992 s] /proc/loadavg: 1.07 1.04 0.96 3/106 23153 /proc/meminfo: memFree=1768596/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.70098 s] /proc/loadavg: 1.07 1.04 0.96 3/106 23153 /proc/meminfo: memFree=1768596/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50196 s] /proc/loadavg: 1.07 1.04 0.96 2/108 23155 /proc/meminfo: memFree=1762752/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1.49 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1514 0 0 0 149 0 0 0 25 0 1 0 12268969 41422848 1444 1992294400 134512640 135071400 4291537920 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1444 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10091 s] /proc/loadavg: 1.14 1.06 0.96 2/108 23155 /proc/meminfo: memFree=1762628/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=3.09 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1514 0 0 0 309 0 0 0 25 0 1 0 12268969 41422848 1444 1992294400 134512640 135071400 4291537920 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1444 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30082 s] /proc/loadavg: 1.14 1.06 0.96 2/108 23155 /proc/meminfo: memFree=1762504/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=6.29 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1514 0 0 0 629 0 0 0 25 0 1 0 12268969 41422848 1444 1992294400 134512640 135071400 4291537920 18446744073709551615 134525671 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1444 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7006 s] /proc/loadavg: 1.12 1.05 0.96 2/108 23155 /proc/meminfo: memFree=1762380/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=12.68 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 1268 0 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134519731 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5003 s] /proc/loadavg: 1.10 1.05 0.96 2/108 23155 /proc/meminfo: memFree=1762380/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=25.48 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 2548 0 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1006 s] /proc/loadavg: 1.20 1.08 0.97 2/108 23155 /proc/meminfo: memFree=1762380/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=51.08 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 5107 1 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134571221 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 1.08 1.06 0.97 2/108 23157 /proc/meminfo: memFree=1762132/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=102.26 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 10225 1 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.3 s] /proc/loadavg: 1.03 1.05 0.97 2/108 23159 /proc/meminfo: memFree=1762008/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=162.24 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 16222 2 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.01 1.04 0.97 2/108 23161 /proc/meminfo: memFree=1761884/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=222.22 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 22220 2 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.00 1.03 0.97 2/108 23163 /proc/meminfo: memFree=1761884/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=282.2 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 28217 3 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134526283 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 49152 [startup+342.3 s] /proc/loadavg: 1.00 1.02 0.97 2/108 23163 /proc/meminfo: memFree=1761636/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=342.18 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 34215 3 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134537245 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.02 0.97 2/108 23165 /proc/meminfo: memFree=1761512/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=402.16 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 40212 4 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134526648 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1061.95 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 106184 11 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/108 23185 /proc/meminfo: memFree=1760272/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1121.93 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 112182 11 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134526179 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/108 23187 /proc/meminfo: memFree=1760024/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1181.9 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 118179 11 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/108 23187 /proc/meminfo: memFree=1759776/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1241.89 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 124177 12 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134519852 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/108 23189 /proc/meminfo: memFree=1759528/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1301.87 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 130175 12 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/108 23191 /proc/meminfo: memFree=1759528/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1361.84 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 136172 12 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/108 23193 /proc/meminfo: memFree=1759404/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1421.83 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 142170 13 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134526622 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/108 23195 /proc/meminfo: memFree=1759280/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1481.8 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 148167 13 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/108 23195 /proc/meminfo: memFree=1759156/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1541.79 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 154165 14 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/108 23197 /proc/meminfo: memFree=1759156/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1601.77 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 160162 15 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/108 23199 /proc/meminfo: memFree=1758908/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1661.74 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 166159 15 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/108 23201 /proc/meminfo: memFree=1758784/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1721.73 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 172157 16 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134519909 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/108 23203 /proc/meminfo: memFree=1758660/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1781.71 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 178155 16 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134519712 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.97 2/108 23203 /proc/meminfo: memFree=1758660/2059040 swapFree=4192956/4192956 [pid=23153] ppid=23151 vsize=8700 CPUtime=0 /proc/23153/stat : 23153 (run) S 23151 23153 21853 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12268968 8908800 243 1992294400 4194304 4922060 140735401172992 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23153/statm: 2175 243 204 178 0 68 0 [pid=23154] ppid=23153 vsize=40452 CPUtime=1800.02 /proc/23154/stat : 23154 (PB-wave) R 23153 23153 21853 0 -1 4202496 1515 0 0 0 179986 16 0 0 25 0 1 0 12268969 41422848 1445 1992294400 134512640 135071400 4291537920 18446744073709551615 134526311 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/23154/statm: 10113 1445 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) SSolver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.03 CPU user time (s): 1799.86 CPU system time (s): 0.168974 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.86 system time used= 0.168974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1887 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= 27233 runsolver used 4.24435 second user time and 8.89665 second system time The end
Begin job on node041 at 2010-07-06 20:23:34 IDJOB=2685350 IDBENCH=75579 IDSOLVER=1171 FILE ID=node041/2685350-1278440614 PBS_JOBID= 11233442 Free space on /tmp= 62104 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j90/normalized-j9012_5-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685350-1278440614/watcher-2685350-1278440614 -o /tmp/evaluation-result-2685350-1278440614/solver-2685350-1278440614 -C 1800 -W 2000 -M 1800 run HOME/instance-2685350-1278440614.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9ea027b929fd8ca2ab300dc6be007411 RANDOM SEED=635899523 node041.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.244 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.48 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.244 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: 1769124 kB Buffers: 18372 kB Cached: 135788 kB SwapCached: 0 kB Active: 122796 kB Inactive: 91324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1769124 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2700 kB Writeback: 0 kB AnonPages: 59900 kB Mapped: 14432 kB Slab: 53904 kB PageTables: 4244 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181824 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= 62100 MiB End job on node041 at 2010-07-06 20:53:35