Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.03 | 1800.62 |
Name | /DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9048_1-unsat.opb |
MD5SUM | f58343ead1669876e251a6e73da29992 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.234963 |
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 | 15106 |
Total number of constraints | 51743 |
Number of constraints which are clauses | 51415 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 328 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 90 |
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 | 105 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 658 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.14 c PB-wave - v2 0.00/0.14 c command line = ./PB-wave 0.00/0.14 c seed = 17027385 0.00/0.14 c cutoff = 1000000 0.00/0.14 c tries = 1000000 0.00/0.14 c heuristic = c best, noise 50 / 100 0.00/0.14 #var 15106 #con 51743 0.00/0.14 mode is SAT 0.00/0.14 c tail starts after flip = 45318 0.00/0.14 c numatom = 15106, numclause = 51743, numliterals = 138726 0.00/0.14 c wff read in 0.00/0.14 c 0.00/0.14 c lowest final avg noise noise total avg mean mean 0.00/0.14 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.14 c this this this this this this success success until std 0.00/0.14 c try try try try try try rate tries assign dev 0.00/0.14 c 1.69/1.78 c 177 433 422.58 122.66 3.45 1000000 0 3.39/3.41 c 194 385 408.41 118.44 3.45 1000000 0 4.99/5.04 c 221 412 426.66 122.70 3.48 1000000 0 6.59/6.68 c 188 377 422.12 104.76 4.03 1000000 0 8.28/8.30 c 180 420 408.64 110.26 3.71 1000000 0 9.89/9.93 c 227 500 430.52 94.95 4.53 1000000 0 11.48/11.57 c 180 401 427.27 118.02 3.62 1000000 0 13.09/13.20 c 172 378 414.84 120.98 3.43 1000000 0 14.78/14.82 c 223 426 421.04 104.78 4.02 1000000 0 16.39/16.45 c 208 347 415.96 107.66 3.86 1000000 0 17.98/18.09 c 207 422 429.32 104.43 4.11 1000000 0 19.69/19.72 c 207 401 416.35 118.30 3.52 1000000 0 21.28/21.35 c 195 448 427.82 112.46 3.80 1000000 0 22.88/22.98 c 209 323 415.94 115.19 3.61 1000000 0 24.58/24.61 c 226 300 432.79 110.65 3.91 1000000 0 26.18/26.25 c 221 374 444.30 112.17 3.96 1000000 0 27.78/27.88 c 217 427 424.92 117.62 3.61 1000000 0 29.48/29.51 c 159 385 419.25 108.49 3.86 1000000 0 31.08/31.14 c 207 456 423.07 109.03 3.88 1000000 0 32.68/32.78 c 206 351 429.47 103.30 4.16 1000000 0 34.37/34.41 c 195 386 420.61 112.64 3.73 1000000 0 35.97/36.04 c 221 377 427.78 98.86 4.33 1000000 0 37.57/37.67 c 219 499 423.40 102.07 4.15 1000000 0 39.27/39.30 c 152 337 412.64 130.57 3.16 1000000 0 40.87/40.93 c 199 415 432.08 102.18 4.23 1000000 0 42.47/42.57 c 212 306 431.99 99.73 4.33 1000000 0 44.17/44.20 c 213 451 432.46 124.44 3.48 1000000 0 45.77/45.85 c 229 502 445.64 104.34 4.27 1000000 0 47.37/47.49 c 240 455 433.64 105.69 4.10 1000000 0 49.07/49.12 c 184 341 416.88 102.44 4.07 1000000 0 50.67/50.74 c 190 453 410.22 100.34 4.09 1000000 0 52.27/52.38 c 218 459 420.36 88.82 4.73 1000000 0 53.97/54.01 c 202 436 422.96 98.06 4.31 1000000 0 55.57/55.63 c 173 334 407.29 89.76 4.54 1000000 0 57.17/57.27 c 201 470 423.43 100.85 4.20 1000000 0 58.77/58.89 c 204 405 412.09 96.15 4.29 1000000 0 60.47/60.52 c 157 241 406.06 98.29 4.13 1000000 0 62.07/62.15 c 191 476 436.90 122.79 3.56 1000000 0 63.67/63.79 c 164 388 423.19 124.06 3.41 1000000 0 65.37/65.41 c 182 395 417.76 110.07 3.80 1000000 0 66.97/67.04 c 189 469 439.88 97.33 4.52 1000000 0 68.56/68.68 c 177 375 421.92 114.64 3.68 1000000 0 70.27/70.32 c 258 474 445.71 102.01 4.37 1000000 0 71.86/71.95 c 208 366 423.32 103.21 4.10 1000000 0 73.46/73.57 c 151 448 409.02 104.80 3.90 1000000 0 75.06/75.19 c 159 454 403.99 95.58 4.23 1000000 0 76.76/76.82 c 181 406 416.49 96.51 4.32 1000000 0 78.36/78.44 c 179 393 416.80 105.19 3.96 1000000 0 79.96/80.07 c 203 274 420.95 94.74 4.44 1000000 0 81.66/81.70 c 233 485 428.70 95.22 4.50 1000000 0 83.26/83.33 c 181 412 417.86 108.31 3.86 1000000 0 84.86/84.98 c 243 442 452.25 96.02 4.71 1000000 0 86.56/86.61 c 219 402 433.63 127.98 3.39 1000000 0 88.16/88.25 c 177 330 418.88 115.59 3.62 1000000 0 89.76/89.87 c 176 337 408.86 94.02 4.35 1000000 0 91.46/91.50 c 185 472 430.33 126.71 3.40 1000000 0 93.05/93.12 c 198 384 404.78 92.26 4.39 1000000 0 94.65/94.75 c 202 329 416.92 108.36 3.85 1000000 0 96.25/96.38 c 207 431 416.82 111.47 3.74 1000000 0 97.95/98.02 c 166 378 419.90 104.30 4.03 1000000 0 99.55/99.64 c 227 439 438.15 99.59 4.40 1000000 0 101.16/101.28 c 206 458 422.51 111.90 3.78 1000000 0 102.85/102.91 c 220 455 422.47 109.33 3.86 1000000 0 104.46/104.53 c 189 385 408.24 113.26 3.60 1000000 0 106.05/106.15 c 217 342 395.57 93.19 4.24 1000000 0 107.66/107.78 c 174 310 414.83 110.69 3.75 1000000 0 109.35/109.41 c 163 326 419.71 117.80 3.56 1000000 0 110.96/111.05 c 199 384 419.79 102.29 4.10 1000000 0 112.55/112.68 c 173 386 430.85 131.19 3.28 1000000 0 114.25/114.31 c 175 348 424.20 106.02 4.00 1000000 0 115.85/115.95 c 192 498 424.84 100.08 4.25 1000000 0 117.45/117.57 c 189 339 415.57 106.99 3.88 1000000 0 119.14/119.21 c 207 311 440.90 101.30 4.35 1000000 0 120.74/120.84 c 199 380 418.66 110.83 3.78 1000000 0 122.34/122.47 c 213 534 416.09 110.80 3.76 1000000 0 123.94/124.09 c 185 398 405.90 98.59 4.12 1000000 0 125.64/125.72 c 208 340 415.13 110.01 3.77 1000000 0 127.24/127.35 c 215 385 418.12 99.21 4.21 1000000 0 128.84/128.97 c 216 426 410.95 95.66 4.30 1000000 0 130.54/130.61 c 183 335 425.25 105.58 4.03 1000000 0 132.14/132.25 c 200 368 430.86 103.60 4.16 1000000 0 133.74/133.88 c 207 436 431.73 115.95 3.72 1000000 0 135.44/135.50 c 223 514 414.93 119.70 3.47 1000000 0 137.04/137.13 c 226 505 424.06 106.68 3.98 1000000 0 138.64/138.76 c 177 430 413.53 115.44 3.58 1000000 0 140.24/140.39 c 197 387 421.89 112.28 3.76 1000000 0 141.94/142.03 c 220 467 436.27 95.09 4.59 1000000 0 143.54/143.66 c 148 212 424.20 124.04 3.42 1000000 0 145.14/145.29 c 184 339 425.55 106.26 4.00 1000000 0 146.84/146.92 c 192 363 426.11 96.26 4.43 1000000 0 148.44/148.55 c 212 409 420.33 92.72 4.53 1000000 0 150.04/150.18 c 169 468 425.92 119.27 3.57 1000000 0 151.74/151.81 c 210 335 418.54 100.12 4.18 1000000 0 153.33/153.45 c 193 433 431.00 109.45 3.94 1000000 0 154.94/155.07 c 212 467 407.24 100.82 4.04 1000000 0 156.63/156.71 c 214 308 425.79 113.92 3.74 1000000 0 158.24/158.33 c 187 355 404.94 106.67 3.80 1000000 0 159.83/159.96 c 198 278 414.42 89.56 4.63 1000000 0 161.43/161.58 c 220 456 414.37 98.17 4.22 1000000 0 163.13/163.22 c 229 309 425.64 104.81 4.06 1000000 0 164.73/164.85 c 181 439 421.60 130.04 3.24 1000000 0 166.33/166.48 c 191 420 418.33 125.01 3.35 1000000 0 168.03/168.12 c 213 436 435.33 107.77 4.04 1000000 0 169.63/169.75 c 179 408 420.84 105.97 3.97 1000000 0 171.23/171.39 c 226 312 421.33 106.65 3.95 1000000 0 172.94/173.01 c 176 445 419.68 91.57 4.58 1000000 0 174.53/174.64 c 203 379 415.83 109.38 3.80 1000000 0 176.13/176.27 c 212 485 402.13 115.82 3.47 1000000 0 177.83/177.90 c 208 384 416.36 90.56 4.60 1000000 0 179.43/179.53 c 213 544 423.23 109.91 3.85 1000000 0 181.03/181.16 c 165 382 426.21 113.73 3.75 1000000 0 182.63/182.78 c 158 310 398.96 124.36 3.21 1000000 0 184.33/184.41 c 219 453 404.75 96.49 4.19 1000000 0 185.93/186.04 c 172 351 416.46 117.17 3.55 1000000 0 187.53/187.66 c 194 411 417.89 115.80 3.61 1000000 0 189.14/189.30 c 177 382 426.32 103.60 4.11 1000000 0 190.83/190.91 c 185 339 393.63 96.11 4.10 1000000 0 192.44/192.55 c 215 411 435.55 106.34 4.10 1000000 0 194.03/194.18 c 201 476 419.51 127.16 3.30 1000000 0 195.74/195.81 c 232 350 427.10 115.91 3.68 1000000 0 197.33/197.45 c 213 260 428.99 108.90 3.94 1000000 0 198.93/199.07 c 199 358 412.46 106.25 3.88 1000000 0 200.63/200.70 c 205 500 421.45 110.26 3.82 1000000 0 202.23/202.34 c 220 528 436.66 108.30 4.03 1000000 0 203.83/203.97 c 206 349 411.96 92.50 4.45 1000000 0 205.53/205.60 c 217 461 423.56 109.26 3.88 1000000 0 207.12/207.23 c 199 283 405.92 106.30 3.82 1000000 0 208.72/208.87 c 193 365 420.98 109.02 3.86 1000000 0 210.42/210.50 c 214 510 427.70 105.41 4.06 1000000 0 212.02/212.13 c 165 331 400.04 89.66 4.46 1000000 0 213.62/213.76 c 130 311 421.54 116.49 3.62 1000000 0 215.22/215.39 c 209 311 419.26 95.04 4.41 1000000 0 216.92/217.02 c 180 475 410.17 107.84 3.80 1000000 0 218.52/218.64 c 216 440 415.08 109.89 3.78 1000000 0 220.12/220.26 c 177 386 409.54 126.76 3.23 1000000 0 221.72/221.89 c 165 316 403.95 116.54 3.47 1000000 0 223.42/223.51 c 182 322 408.11 111.95 3.65 1000000 0 225.02/225.14 c 218 513 415.32 100.52 4.13 1000000 0 226.62/226.77 c 197 429 418.41 117.69 3.56 1000000 0 228.22/228.38 c 167 264 391.03 121.50 3.22 1000000 0 229.92/230.02 c 212 453 413.06 105.02 3.93 1000000 0 231.52/231.64 c 182 364 411.46 112.30 3.66 1000000 0 233.12/233.27 c 171 435 404.89 145.23 2.79 1000000 0 234.82/234.91 c 167 584 424.78 117.90 3.60 1000000 0 236.42/236.55 c 219 412 435.39 130.03 3.35 1000000 0 238.01/238.18 c 200 467 427.75 113.09 3.78 1000000 0 239.72/239.81 c 213 450 431.79 117.15 3.69 1000000 0 241.31/241.44 c 214 379 406.37 109.82 3.70 1000000 0 242.92/243.07 c 195 421 434.87 103.70 4.19 1000000 0 244.61/244.70 c 222 357 413.98 109.51 3.78 1000000 0 246.22/246.33 c 229 401 426.43 99.43 4.29 1000000 0 247.81/247.96 c 224 380 413.19 96.45 4.28 1000000 0 249.41/249.59 c 183 413 428.92 111.23 3.86 1000000 0 251.11/251.22 c 213 439 418.90 106.21 3.94 1000000 0 252.71/252.85 c 155 426 401.69 100.88 3.98 1000000 0 254.31/254.47 c 207 433 421.49 83.82 5.03 1000000 0 256.01/256.10 c 204 371 418.07 88.92 4.70 1000000 0 257.61/257.73 c 212 506 416.01 97.16 4.28 1000000 0 259.21/259.37 c 225 512 448.30 114.55 3.91 1000000 0 260.91/261.01 c 216 477 436.10 111.69 3.90 1000000 0 262.51/262.63 c 181 376 418.07 112.50 3.72 1000000 0 264.11/264.28 c 172 303 442.14 107.42 4.12 1000000 0 265.80/265.91 c 202 494 418.09 99.98 4.18 1000000 0 267.40/267.55 c 182 494 426.41 121.22 3.52 1000000 0 269.00/269.17 c 200 354 417.50 116.99 3.57 1000000 0 270.70/270.80 c 243 424 419.98 103.02 4.08 1000000 0 272.30/272.44 c 223 257 424.18 111.55 3.80 1000000 0 273.90/274.07 c 189 504 409.83 128.78 3.18 1000000 0 275.50/275.69 c 169 376 415.95 97.56 4.26 1000000 0 277.20/277.33 c 213 317 427.97 111.33 3.84 1000000 0 278.80/278.95 c 156 472 412.72 106.54 3.87 1000000 0 280.41/280.59 c 225 397 434.58 112.71 3.86 1000000 0 282.10/282.22 c 235 407 428.02 114.34 3.74 1000000 0 283.71/283.86 c 243 564 435.04 109.56 3.97 1000000 0 285.30/285.49 c 184 392 427.85 101.00 4.24 1000000 0 287.01/287.12 c 166 429 408.75 103.56 3.95 1000000 0 288.60/288.74 c 219 430 419.71 94.69 4.43 1000000 0 290.20/290.38 c 226 515 428.38 112.29 3.81 1000000 0 291.90/292.00 c 154 325 412.09 108.03 3.81 1000000 0 293.50/293.65 c 184 448 434.53 104.98 4.14 1000000 0 295.10/295.28 c 212 404 429.83 101.73 4.23 1000000 0 296.80/296.91 c 186 409 429.19 109.80 3.91 1000000 0 298.39/298.54 c 170 391 420.84 103.89 4.05 1000000 0 299.99/300.17 c 189 429 417.15 91.68 4.55 1000000 0 301.69/301.80 c 189 444 409.92 106.81 3.84 1000000 0 303.29/303.42 c 194 392 402.52 112.35 3.58 1000000 0 304.89/305.06 c 199 447 421.13 112.06 3.76 1000000 0 306.49/306.69 c 190 520 435.69 93.96 4.64 1000000 0 308.19/308.32 c 198 353 422.34 111.95 3.77 1000000 0 309.79/309.95 c 188 524 406.46 104.09 3.90 1000000 0 311.39/311.58 c 214 409 425.64 91.03 4.68 1000000 0 313.09/313.22 c 197 419 433.95 98.24 4.42 1000000 0 314.69/314.84 c 172 468 420.72 99.95 4.21 1000000 0 316.29/316.47 c 214 338 419.30 95.77 4.38 1000000 0 317.99/318.10 c 197 369 431.33 94.17 4.58 1000000 0 319.59/319.73 c 214 522 420.31 107.60 3.91 1000000 0 321.19/321.36 c 205 373 415.80 98.61 4.22 1000000 0 322.79/322.99 c 209 459 426.25 109.05 3.91 1000000 0 324.49/324.62 c 238 338 421.21 111.29 3.78 1000000 0 326.09/326.27 c 194 523 444.84 113.98 3.90 1000000 0 327.79/327.90 c 166 449 418.41 129.98 3.22 1000000 0 329.38/329.54 c 175 321 421.89 107.91 3.91 1000000 0 330.99/331.16 c 223 405 406.39 101.68 4.00 1000000 0 332.58/332.79 c 146 406 418.35 107.08 3.91 1000000 0 334.29/334.43 c 220 327 419.60 108.12 3.88 1000000 0 335.88/336.06 c 216 399 427.89 111.12 3.85 1000000 0 337.49/337.69 c 213 286 424.34 102.15 4.15 1000000 0 339.18/339.32 c 204 357 419.38 118.61 3.54 1000000 0 340.79/340.96 c 235 388 439.93 112.19 3.92 1000000 0 342.38/342.59 c 169 402 425.35 90.56 4.70 1000000 0 344.09/344.22 c 238 471 436.94 106.15 4.12 1000000 0 345.68/345.85 c 168 255 405.86 90.23 4.50 1000000 0 347.28/347.48 c 164 422 424.38 114.74 3.70 1000000 0 348.98/349.11 c 195 361 423.90 105.11 4.03 1000000 0 350.58/350.74 c 159 372 404.53 125.91 3.21 1000000 0 352.18/352.37 c 188 360 410.94 96.05 4.28 1000000 0 353.88/354.00 c 193 512 417.05 81.54 5.11 1000000 0 355.48/355.63 c 167 292 415.29 109.79 3.78 1000000 0 357.07/357.25 c 221 559 408.47 100.53 4.06 1000000 0 358.67/358.87 c 234 451 403.97 97.60 4.14 1000000 0 360.37/360.50 c 156 314 415.36 91.35 4.55 1000000 0 361.97/362.14 c 205 550 431.65 109.21 3.95 1000000 0 363.57/363.78 c 224 358 433.11 92.46 4.68 1000000 0 365.27/365.40 c 198 439 403.25 101.88 3.96 1000000 0 366.87/367.05 c 226 417 457.46 117.67 3.89 1000000 0 368.47/368.68 c 225 368 425.88 90.80 4.69 1000000 0 370.17/370.31 c 174 369 425.75 104.05 4.09 1000000 0 371.77/371.93 c 141 423 415.44 105.23 3.95 1000000 0 373.37/373.56 c 199 463 414.41 100.61 4.12 1000000 0 374.98/375.19 c 209 422 429.88 107.26 4.01 1000000 0 376.67/376.81 c 140 514 414.95 118.92 3.49 1000000 0 378.28/378.43 c 192 470 409.54 102.04 4.01 1000000 0 379.87/380.08 c 220 422 439.18 113.13 3.88 1000000 0 381.57/381.71 c 186 353 426.60 112.41 3.80 1000000 0 383.17/383.34 c 201 505 422.41 93.43 4.52 1000000 0 384.77/384.96 c 206 408 411.88 99.66 4.13 1000000 0 386.47/386.60 c 256 472 442.22 95.77 4.62 1000000 0 388.07/388.23 c 189 378 414.31 111.14 3.73 1000000 0 389.66/389.86 c 199 446 427.57 103.59 4.13 1000000 0 391.37/391.50 c 191 308 432.42 119.84 3.61 1000000 0 392.96/393.12 c 201 438 406.76 101.65 4.00 1000000 0 394.56/394.75 c 200 519 420.00 101.35 4.14 1000000 0 396.16/396.38 c 212 484 414.31 119.25 3.47 1000000 0 397.86/398.01 c 223 492 422.98 94.39 4.48 1000000 0 399.46/399.65 c 165 405 437.04 120.24 3.63 1000000 0 401.06/401.28 c 196 374 409.28 112.85 3.63 1000000 0 402.76/402.91 c 148 502 417.98 123.38 3.39 1000000 0 404.36/404.53 c 175 556 416.25 88.64 4.70 1000000 0 405.96/406.16 c 167 469 405.32 118.48 3.42 1000000 0 407.56/407.78 c 187 431 411.09 105.56 3.89 1000000 0 409.26/409.42 c 204 419 426.79 109.12 3.91 1000000 0 410.86/411.05 c 198 431 424.26 102.39 4.14 1000000 0 412.46/412.68 c 214 307 429.15 88.84 4.83 1000000 0 414.16/414.30 c 182 597 411.19 93.64 4.39 1000000 0 415.76/415.93 c 229 448 419.45 104.26 4.02 1000000 0 417.35/417.56 c 212 469 423.16 110.79 3.82 1000000 0 418.96/419.18 c 177 413 422.19 110.07 3.84 1000000 0 420.65/420.81 c 170 341 415.35 120.80 3.44 1000000 0 422.26/422.45 c 198 365 418.09 125.18 3.34 1000000 0 423.85/424.09 c 221 389 444.10 116.46 3.81 1000000 0 425.56/425.71 c 160 495 402.51 114.96 3.50 1000000 0 427.15/427.33 c 204 283 422.45 97.95 4.31 1000000 0 428.76/428.96 c 226 404 414.90 87.02 4.77 1000000 0 430.35/430.59 c 194 372 416.74 98.31 4.24 1000000 0 432.06/432.23 c 221 465 418.96 106.45 3.94 1000000 0 433.65/433.84 c 190 320 401.79 106.36 3.78 1000000 0 435.25/435.47 c 169 348 410.55 108.22 3.79 1000000 0 436.85/437.09 c 171 494 414.38 103.11 4.02 1000000 0 438.55/438.72 c 204 438 414.87 100.04 4.15 1000000 0 440.15/440.35 c 164 372 419.43 109.90 3.82 1000000 0 441.75/441.99 c 203 438 434.56 119.63 3.63 1000000 0 443.44/443.61 c 179 459 421.97 102.48 4.12 1000000 0 445.04/445.25 c 223 398 412.71 93.47 4.42 1000000 0 446.64/446.87 c 190 439 412.96 103.61 3.99 1000000 0 448.34/448.51 c 228 323 423.56 95.29 4.45 1000000 0 449.94/450.14 c 180 389 413.48 92.75 4.46 1000000 0 451.54/451.77 c 186 501 423.99 121.11 3.50 1000000 0 453.24/453.41 c 235 303 448.37 105.53 4.25 1000000 0 454.84/455.04 c 186 356 410.95 102.49 4.01 1000000 0 456.44/456.68 c 203 380 437.84 100.33 4.36 1000000 0 458.14/458.32 c 185 380 429.32 113.00 3.80 1000000 0 459.74/459.95 c 200 359 430.51 106.26 4.05 1000000 0 461.34/461.58 c 211 358 415.20 108.57 3.82 1000000 0 463.04/463.21 c 197 451 409.59 100.38 4.08 1000000 0 464.64/464.84 c 180 367 412.52 86.24 4.78 1000000 0 466.25/466.46 c 181 413 413.08 108.33 3.81 1000000 0 467.84/468.09 c 229 348 419.73 102.11 4.11 1000000 0 469.54/469.72 c 203 451 405.94 102.33 3.97 1000000 0 471.14/471.35 c 182 457 423.49 96.90 4.37 1000000 0 472.74/472.97 c 166 518 412.30 114.91 3.59 1000000 0 474.43/474.62 c 242 393 446.34 99.14 4.50 1000000 0 476.04/476.24 c 162 330 415.97 91.27 4.56 1000000 0 477.63/477.87 c 165 353 410.56 118.14 3.48 1000000 0 479.34/479.50 c 217 404 424.96 99.02 4.29 1000000 0 480.93/481.13 c 189 367 419.77 117.50 3.57 1000000 0 482.53/482.77 c 207 343 427.56 122.29 3.50 1000000 0 484.13/484.39 c 198 480 421.43 116.79 3.61 1000000 0 485.83/486.03 c 240 401 423.34 108.53 3.90 1000000 0 487.43/487.65 c 188 461 408.36 104.09 3.92 1000000 0 489.03/489.27 c 194 502 409.33 106.59 3.84 1000000 0 490.73/490.90 c 189 290 416.69 107.04 3.89 1000000 0 492.33/492.54 c 203 286 420.93 101.91 4.13 1000000 0 493.93/494.17 c 235 343 434.75 91.65 4.74 1000000 0 495.63/495.80 c 208 483 426.41 103.67 4.11 1000000 0 497.23/497.43 c 201 418 419.51 100.67 4.17 1000000 0 498.83/499.06 c 203 307 415.90 98.22 4.23 1000000 0 500.43/500.69 c 218 345 417.86 102.94 4.06 1000000 0 502.13/502.31 c 128 463 409.66 128.22 3.20 1000000 0 503.73/503.93 c 179 300 404.74 114.20 3.54 1000000 0 505.33/505.56 c 163 351 421.47 108.89 3.87 1000000 0 506.93/507.19 c 229 445 412.22 95.55 4.31 1000000 0 508.62/508.81 c 239 424 418.96 101.38 4.13 1000000 0 510.23/510.45 c 178 331 417.22 90.00 4.64 1000000 0 511.82/512.07 c 186 551 414.31 79.40 5.22 1000000 0 513.43/513.70 c 205 392 416.06 112.65 3.69 1000000 0 515.12/515.33 c 213 252 420.97 103.73 4.06 1000000 0 516.73/516.95 c 180 368 415.37 116.04 3.58 1000000 0 518.32/518.59 c 186 354 431.91 123.98 3.48 1000000 0 520.03/520.21 c 160 453 410.79 96.46 4.26 1000000 0 521.62/521.84 c 195 428 425.26 111.11 3.83 1000000 0 523.22/523.47 c 187 378 409.12 108.05 3.79 1000000 0 524.92/525.10 c 200 434 416.19 84.19 4.94 1000000 0 526.52/526.73 c 210 543 421.08 94.41 4.46 1000000 0 528.12/528.36 c 164 322 412.96 102.31 4.04 1000000 0 529.82/530.00 c 192 374 435.08 104.21 4.18 1000000 0 531.42/531.62 c 223 440 417.87 101.17 4.13 1000000 0 533.02/533.25 c 172 378 416.76 117.29 3.55 1000000 0 534.62/534.89 c 171 465 424.74 101.15 4.20 1000000 0 536.32/536.52 c 225 342 418.37 94.26 4.44 1000000 0 537.92/538.14 c 170 469 408.49 89.66 4.56 1000000 0 539.51/539.76 c 182 434 411.23 100.03 4.11 1000000 0 541.11/541.40 c 209 394 415.66 114.38 3.63 1000000 0 542.81/543.02 c 163 447 412.70 112.95 3.65 1000000 0 544.41/544.66 c 214 434 430.20 104.27 4.13 1000000 0 546.01/546.29 c 199 434 425.82 104.77 4.06 1000000 0 547.71/547.91 c 183 385 427.41 101.58 4.21 1000000 0 549.31/549.55 c 197 381 430.81 115.79 3.72 1000000 0 550.92/551.18 c 142 417 411.22 122.89 3.35 1000000 0 552.61/552.81 c 215 420 419.58 107.00 3.92 1000000 0 554.22/554.44 c 226 426 432.55 106.91 4.05 1000000 0 555.81/556.07 c 209 399 414.17 104.08 3.98 1000000 0 557.52/557.70 c 215 313 439.71 84.81 5.18 1000000 0 559.11/559.33 c 192 466 423.10 121.30 3.49 1000000 0 560.71/560.96 c 185 233 402.68 93.44 4.31 1000000 0 562.31/562.58 c 215 427 418.60 107.13 3.91 1000000 0 564.01/564.21 c 212 404 419.48 100.63 4.17 1000000 0 565.61/565.86 c 174 384 423.85 94.72 4.48 1000000 0 567.20/567.49 c 201 299 430.53 111.55 3.86 1000000 0 568.90/569.13 c 227 419 438.73 103.63 4.23 1000000 0 570.50/570.76 c 221 343 433.44 108.89 3.98 1000000 0 572.10/572.39 c 215 293 424.28 102.90 4.12 1000000 0 573.80/574.02 c 181 428 425.05 115.87 3.67 1000000 0 575.40/575.64 c 163 372 401.73 115.96 3.46 1000000 0 577.00/577.27 c 195 366 421.38 107.16 3.93 1000000 0 578.70/578.90 c 199 418 424.96 108.39 3.92 1000000 0 580.30/580.54 c 188 544 421.56 130.12 3.24 1000000 0 581.90/582.17 c 219 366 431.41 114.27 3.78 1000000 0 583.50/583.79 c 203 487 406.44 109.73 3.70 1000000 0 585.20/585.43 c 187 414 422.89 94.38 4.48 1000000 0 586.80/587.05 c 191 466 401.14 96.06 4.18 1000000 0 588.40/588.69 c 223 452 424.36 100.36 4.23 1000000 0 590.10/590.32 c 220 402 416.24 101.10 4.12 1000000 0 591.70/591.95 c 185 511 431.66 108.55 3.98 1000000 0 593.30/593.57 c 188 382 394.54 100.35 3.93 1000000 0 594.90/595.19 c 188 456 404.36 96.96 4.17 1000000 0 596.60/596.83 c 219 392 421.83 104.32 4.04 1000000 0 598.20/598.45 c 220 284 414.53 127.95 3.24 1000000 0 599.79/600.08 c 170 353 423.25 118.77 3.56 1000000 0 601.50/601.72 c 188 376 437.94 134.36 3.26 1000000 0 603.09/603.36 c 221 446 439.79 100.82 4.36 1000000 0 604.70/605.00 c 253 382 431.83 112.39 3.84 1000000 0 606.39/606.61 c 112 410 404.23 111.41 3.63 1000000 0 608.00/608.24 c 204 348 418.42 100.26 4.17 1000000 0 609.59/609.87 c 199 609 419.35 89.89 4.66 1000000 0 611.30/611.50 c 171 358 420.64 132.85 3.17 1000000 0 612.89/613.13 c 189 351 423.79 105.29 4.03 1000000 0 614.49/614.77 c 190 397 419.95 130.21 3.23 1000000 0 616.09/616.38 c 186 344 399.05 88.66 4.50 1000000 0 617.79/618.01 c 230 301 425.10 109.83 3.87 1000000 0 619.39/619.64 c 183 398 419.54 108.55 3.86 1000000 0 620.99/621.28 c 150 286 409.40 127.37 3.21 1000000 0 622.69/622.91 c 197 441 420.70 94.24 4.46 1000000 0 624.29/624.55 c 145 493 425.14 105.14 4.04 1000000 0 625.89/626.17 c 181 342 406.80 99.98 4.07 1000000 0 627.59/627.80 c 194 462 411.13 96.61 4.26 1000000 0 629.19/629.43 c 207 459 406.21 115.74 3.51 1000000 0 630.78/631.06 c 184 388 410.82 122.47 3.35 1000000 0 632.38/632.67 c 138 375 393.72 88.68 4.44 1000000 0 634.08/634.31 c 146 386 439.28 123.85 3.55 1000000 0 635.68/635.94 c 177 526 416.00 93.67 4.44 1000000 0 637.28/637.57 c 202 384 421.76 93.72 4.50 1000000 0 638.89/639.19 c 202 342 412.78 95.32 4.33 1000000 0 640.58/640.83 c 223 537 428.66 105.01 4.08 1000000 0 642.19/642.47 c 201 390 415.71 98.26 4.23 1000000 0 643.88/644.11 c 213 480 444.31 100.85 4.41 1000000 0 645.49/645.74 c 230 444 428.40 114.82 3.73 1000000 0 647.08/647.38 c 196 413 443.88 115.78 3.83 1000000 0 648.79/649.02 c 185 367 418.97 100.92 4.15 1000000 0 650.38/650.64 c 200 561 407.59 106.75 3.82 1000000 0 651.98/652.26 c 228 376 417.72 90.37 4.62 1000000 0 653.58/653.89 c 185 523 424.85 111.88 3.80 1000000 0 655.28/655.52 c 200 407 416.81 94.04 4.43 1000000 0 656.88/657.15 c 185 406 405.99 103.45 3.92 1000000 0 658.47/658.78 c 217 412 438.68 110.45 3.97 1000000 0 660.17/660.42 c 207 503 409.88 99.52 4.12 1000000 0 661.77/662.05 c 217 429 427.20 114.37 3.74 1000000 0 663.37/663.69 c 172 412 425.28 130.69 3.25 1000000 0 665.07/665.32 c 187 365 415.09 113.34 3.66 1000000 0 666.67/666.94 c 167 359 406.60 99.11 4.10 1000000 0 668.27/668.58 c 217 491 427.12 105.73 4.04 1000000 0 669.97/670.22 c 235 475 433.98 111.26 3.90 1000000 0 671.57/671.84 c 211 431 413.51 106.96 3.87 1000000 0 673.17/673.47 c 200 498 406.29 94.83 4.28 1000000 0 674.87/675.10 c 191 434 423.08 111.99 3.78 1000000 0 676.47/676.73 c 164 409 414.14 115.03 3.60 1000000 0 678.07/678.35 c 217 404 405.26 94.78 4.28 1000000 0 679.67/679.98 c 187 506 408.84 94.34 4.33 1000000 0 681.37/681.61 c 230 332 430.04 102.56 4.19 1000000 0 682.97/683.25 c 229 579 439.33 101.29 4.34 1000000 0 684.57/684.87 c 214 445 416.12 103.72 4.01 1000000 0 686.27/686.52 c 187 474 435.80 113.71 3.83 1000000 0 687.87/688.15 c 198 486 417.28 113.68 3.67 1000000 0 689.47/689.78 c 197 370 419.49 114.07 3.68 1000000 0 691.16/691.41 c 190 441 428.92 104.60 4.10 1000000 0 692.77/693.04 c 226 431 421.00 103.99 4.05 1000000 0 694.36/694.67 c 187 376 415.87 117.27 3.55 1000000 0 695.97/696.29 c 221 455 406.57 95.00 4.28 1000000 0 697.66/697.92 c 217 432 409.32 96.73 4.23 1000000 0 699.27/699.55 c 205 424 431.68 103.89 4.16 1000000 0 700.86/701.19 c 189 347 429.25 115.50 3.72 1000000 0 702.57/702.82 c 211 306 430.03 115.88 3.71 1000000 0 704.16/704.44 c 185 291 399.23 107.98 3.70 1000000 0 705.76/706.07 c 189 504 413.20 115.80 3.57 1000000 0 707.36/707.70 c 210 480 426.50 110.00 3.88 1000000 0 709.06/709.34 c 204 299 433.43 116.99 3.70 1000000 0 710.66/710.97 c 163 301 419.12 115.17 3.64 1000000 0 712.36/712.60 c 190 411 424.24 104.31 4.07 1000000 0 713.96/714.23 c 184 428 419.00 96.38 4.35 1000000 0 715.56/715.86 c 197 380 424.79 99.76 4.26 1000000 0 717.16/717.50 c 206 321 422.96 109.99 3.85 1000000 0 718.86/719.13 c 183 470 416.46 116.83 3.56 1000000 0 720.46/720.76 c 172 409 419.57 117.77 3.56 1000000 0 722.05/722.39 c 199 518 421.18 109.44 3.85 1000000 0 723.75/724.02 c 145 371 412.57 107.12 3.85 1000000 0 725.35/725.64 c 220 397 414.00 95.60 4.33 1000000 0 726.95/727.27 c 215 458 423.28 108.81 3.89 1000000 0 728.65/728.91 c 221 447 445.40 122.07 3.65 1000000 0 730.25/730.53 c 190 438 411.22 109.95 3.74 1000000 0 731.85/732.15 c 196 331 406.07 84.39 4.81 1000000 0 733.46/733.78 c 209 389 413.83 101.66 4.07 1000000 0 735.15/735.41 c 195 478 437.16 107.97 4.05 1000000 0 736.76/737.03 c 138 324 390.70 102.31 3.82 1000000 0 738.35/738.65 c 152 426 402.43 111.29 3.62 1000000 0 739.96/740.28 c 212 491 427.51 113.53 3.77 1000000 0 741.65/741.92 c 226 418 442.87 94.83 4.67 1000000 0 743.25/743.55 c 148 173 425.82 106.03 4.02 1000000 0 744.85/745.18 c 165 351 419.20 97.25 4.31 1000000 0 746.55/746.81 c 202 311 424.52 117.30 3.62 1000000 0 748.15/748.45 c 237 437 448.01 88.36 5.07 1000000 0 749.75/750.08 c 204 426 424.91 99.03 4.29 1000000 0 751.44/751.71 c 191 324 405.01 94.71 4.28 1000000 0 753.04/753.33 c 184 353 409.63 103.16 3.97 1000000 0 754.64/754.97 c 224 477 425.47 101.64 4.19 1000000 0 756.34/756.60 c 225 434 432.10 114.89 3.76 1000000 0 757.94/758.23 c 224 477 424.16 84.75 5.00 1000000 0 759.54/759.86 c 204 426 427.15 110.63 3.86 1000000 0 761.24/761.50 c 221 383 433.63 107.86 4.02 1000000 0 762.84/763.14 c 202 399 431.02 104.33 4.13 1000000 0 764.44/764.77 c 223 318 426.48 94.67 4.50 1000000 0 766.04/766.39 c 211 337 409.07 95.19 4.30 1000000 0 767.74/768.02 c 187 333 416.71 113.20 3.68 1000000 0 769.34/769.64 c 196 429 411.16 96.04 4.28 1000000 0 770.94/771.28 c 193 334 420.98 107.00 3.93 1000000 0 772.64/772.91 c 193 449 421.53 109.00 3.87 1000000 0 774.24/774.53 c 194 444 415.18 99.22 4.18 1000000 0 775.84/776.17 c 222 303 428.91 109.46 3.92 1000000 0 777.44/777.79 c 212 390 423.58 107.85 3.93 1000000 0 779.13/779.43 c 243 473 436.04 89.25 4.89 1000000 0 780.74/781.06 c 213 348 417.44 115.89 3.60 1000000 0 782.33/782.69 c 204 377 411.45 104.98 3.92 1000000 0 784.04/784.32 c 161 456 424.47 106.70 3.98 1000000 0 785.63/785.95 c 196 449 424.26 94.79 4.48 1000000 0 787.24/787.60 c 197 492 451.23 101.93 4.43 1000000 0 788.93/789.23 c 176 473 418.77 104.41 4.01 1000000 0 790.54/790.86 c 194 369 430.75 113.98 3.78 1000000 0 792.13/792.48 c 183 316 400.21 94.84 4.22 1000000 0 793.84/794.12 c 218 349 433.76 114.71 3.78 1000000 0 795.43/795.74 c 163 485 403.62 93.31 4.33 1000000 0 797.03/797.36 c 206 455 404.57 98.34 4.11 1000000 0 798.63/798.98 c 196 309 411.48 94.07 4.37 1000000 0 800.33/800.61 c 132 368 409.60 96.58 4.24 1000000 0 801.93/802.24 c 189 333 410.94 111.19 3.70 1000000 0 803.53/803.87 c 213 285 419.07 89.30 4.69 1000000 0 805.23/805.50 c 191 409 417.67 97.13 4.30 1000000 0 806.83/807.13 c 181 447 415.20 86.48 4.80 1000000 0 808.42/808.76 c 214 367 436.47 93.68 4.66 1000000 0 810.02/810.39 c 190 360 411.04 103.27 3.98 1000000 0 811.72/812.02 c 221 400 420.46 118.44 3.55 1000000 0 813.32/813.66 c 123 488 424.66 123.31 3.44 1000000 0 814.92/815.30 c 191 382 431.41 115.49 3.74 1000000 0 816.62/816.94 c 190 302 438.93 110.01 3.99 1000000 0 818.22/818.57 c 219 338 428.82 113.08 3.79 1000000 0 819.92/820.21 c 177 429 421.72 107.16 3.94 1000000 0 821.52/821.84 c 184 273 410.15 115.55 3.55 1000000 0 823.12/823.46 c 207 408 414.00 94.86 4.36 1000000 0 824.82/825.10 c 213 517 429.93 117.56 3.66 1000000 0 826.42/826.73 c 138 381 407.43 97.51 4.18 1000000 0 828.03/828.37 c 192 486 423.39 116.02 3.65 1000000 0 829.72/830.00 c 223 435 430.18 95.26 4.52 1000000 0 831.32/831.64 c 233 388 435.57 111.37 3.91 1000000 0 832.92/833.27 c 189 426 434.61 130.89 3.32 1000000 0 834.62/834.91 c 184 449 438.77 109.68 4.00 1000000 0 836.22/836.54 c 220 354 424.06 112.51 3.77 1000000 0 837.82/838.16 c 209 378 420.37 117.79 3.57 1000000 0 839.51/839.81 c 202 353 436.76 148.41 2.94 1000000 0 841.12/841.44 c 219 418 417.82 109.58 3.81 1000000 0 842.71/843.07 c 194 498 416.53 98.33 4.24 1000000 0 844.42/844.71 c 207 497 432.03 100.64 4.29 1000000 0 846.01/846.34 c 197 384 430.77 117.60 3.66 1000000 0 847.61/847.98 c 230 349 437.36 122.27 3.58 1000000 0 849.31/849.61 c 190 331 414.42 93.25 4.44 1000000 0 850.91/851.24 c 199 361 416.36 111.66 3.73 1000000 0 852.51/852.87 c 186 325 416.92 90.59 4.60 1000000 0 854.21/854.51 c 193 386 424.77 124.82 3.40 1000000 0 855.81/856.15 c 192 471 427.26 103.87 4.11 1000000 0 857.41/857.78 c 223 502 427.82 117.30 3.65 1000000 0 859.11/859.41 c 205 354 437.74 104.69 4.18 1000000 0 860.71/861.04 c 224 341 414.46 100.65 4.12 1000000 0 862.30/862.68 c 218 310 429.61 107.46 4.00 1000000 0 864.00/864.30 c 213 371 413.31 108.34 3.81 1000000 0 865.60/865.93 c 193 389 416.93 110.70 3.77 1000000 0 867.20/867.56 c 163 376 414.10 122.50 3.38 1000000 0 868.80/869.19 c 219 583 433.03 113.81 3.80 1000000 0 870.50/870.84 c 237 459 434.53 97.66 4.45 1000000 0 872.10/872.47 c 230 350 429.34 88.85 4.83 1000000 0 873.80/874.10 c 199 453 423.72 93.10 4.55 1000000 0 875.40/875.75 c 245 546 440.96 111.47 3.96 1000000 0 877.00/877.37 c 205 463 416.45 103.02 4.04 1000000 0 878.70/879.01 c 237 503 444.36 93.08 4.77 1000000 0 880.30/880.64 c 199 390 410.02 105.29 3.89 1000000 0 881.90/882.27 c 181 408 410.56 108.36 3.79 1000000 0 883.60/883.90 c 231 353 428.79 87.74 4.89 1000000 0 885.20/885.53 c 196 392 411.27 124.10 3.31 1000000 0 886.80/887.16 c 201 394 406.45 106.13 3.83 1000000 0 888.40/888.79 c 182 320 414.14 109.16 3.79 1000000 0 890.09/890.42 c 153 398 425.87 114.02 3.74 1000000 0 891.70/892.05 c 224 412 427.55 96.49 4.43 1000000 0 893.29/893.69 c 199 343 428.99 136.78 3.14 1000000 0 895.00/895.31 c 202 411 422.17 101.45 4.16 1000000 0 896.59/896.95 c 181 361 435.57 100.39 4.34 1000000 0 898.19/898.58 c 200 334 417.32 103.21 4.04 1000000 0 899.89/900.21 c 226 337 413.83 96.10 4.31 1000000 0 901.49/901.84 c 195 398 409.57 90.24 4.54 1000000 0 903.09/903.47 c 186 395 427.49 117.42 3.64 1000000 0 904.79/905.10 c 225 413 417.54 104.48 4.00 1000000 0 906.39/906.73 c 199 235 423.73 103.56 4.09 1000000 0 907.99/908.35 c 184 486 415.60 111.10 3.74 1000000 0 909.69/910.00 c 210 428 433.89 100.09 4.33 1000000 0 911.29/911.63 c 240 429 421.12 90.95 4.63 1000000 0 912.89/913.25 c 140 343 406.32 116.94 3.47 1000000 0 914.49/914.87 c 167 275 408.44 126.24 3.24 1000000 0 916.19/916.51 c 247 478 442.33 120.91 3.66 1000000 0 917.79/918.14 c 197 398 420.21 97.85 4.29 1000000 0 919.39/919.77 c 122 448 401.77 104.88 3.83 1000000 0 920.98/921.39 c 194 475 404.92 104.05 3.89 1000000 0 922.68/923.03 c 150 393 431.73 114.93 3.76 1000000 0 924.28/924.66 c 207 391 428.37 116.99 3.66 1000000 0 925.89/926.30 c 195 369 426.05 111.12 3.83 1000000 0 927.58/927.93 c 187 287 432.60 104.88 4.12 1000000 0 929.19/929.56 c 228 420 417.01 112.75 3.70 1000000 0 930.78/931.19 c 189 414 427.48 106.88 4.00 1000000 0 932.49/932.81 c 194 472 415.27 118.16 3.51 1000000 0 934.08/934.44 c 192 406 403.40 94.54 4.27 1000000 0 935.69/936.08 c 215 451 442.75 114.47 3.87 1000000 0 937.38/937.71 c 116 458 415.93 109.61 3.79 1000000 0 938.99/939.34 c 224 437 426.07 109.44 3.89 1000000 0 940.58/940.98 c 164 330 427.44 105.22 4.06 1000000 0 942.28/942.61 c 163 423 429.25 107.93 3.98 1000000 0 943.88/944.24 c 184 401 427.28 117.60 3.63 1000000 0 945.48/945.87 c 159 351 415.70 99.84 4.16 1000000 0 947.18/947.50 c 206 465 408.41 100.90 4.05 1000000 0 948.77/949.13 c 215 690 422.76 103.21 4.10 1000000 0 950.37/950.76 c 215 507 421.99 108.72 3.88 1000000 0 952.07/952.40 c 235 440 428.40 99.81 4.29 1000000 0 953.67/954.03 c 225 332 415.36 97.17 4.27 1000000 0 955.27/955.65 c 200 488 422.64 103.53 4.08 1000000 0 956.87/957.28 c 188 346 420.55 108.07 3.89 1000000 0 958.57/958.90 c 234 386 422.25 108.12 3.91 1000000 0 960.17/960.53 c 239 591 415.28 106.09 3.91 1000000 0 961.77/962.15 c 181 402 388.09 105.31 3.69 1000000 0 963.37/963.78 c 221 474 428.56 103.01 4.16 1000000 0 965.07/965.41 c 230 338 422.59 110.11 3.84 1000000 0 966.67/967.04 c 181 382 412.56 107.18 3.85 1000000 0 968.27/968.68 c 212 372 434.50 111.28 3.90 1000000 0 969.97/970.31 c 183 402 412.73 127.24 3.24 1000000 0 971.57/971.94 c 211 389 431.62 112.35 3.84 1000000 0 973.17/973.58 c 224 335 427.62 98.82 4.33 1000000 0 974.87/975.21 c 198 367 432.57 105.92 4.08 1000000 0 976.47/976.84 c 171 398 408.34 95.94 4.26 1000000 0 978.07/978.47 c 231 390 420.69 126.79 3.32 1000000 0 979.67/980.10 c 206 476 425.58 101.76 4.18 1000000 0 981.36/981.73 c 173 500 431.63 97.87 4.41 1000000 0 982.97/983.37 c 171 489 417.76 114.75 3.64 1000000 0 984.66/985.00 c 192 487 426.04 110.68 3.85 1000000 0 986.27/986.64 c 193 448 434.77 107.97 4.03 1000000 0 987.86/988.26 c 133 367 414.37 106.59 3.89 1000000 0 989.57/989.90 c 217 360 438.13 106.34 4.12 1000000 0 991.16/991.54 c 155 382 421.46 122.95 3.43 1000000 0 992.76/993.17 c 227 359 424.74 113.91 3.73 1000000 0 994.36/994.79 c 178 393 406.43 109.42 3.71 1000000 0 996.06/996.42 c 208 380 424.66 101.83 4.17 1000000 0 997.66/998.05 c 192 471 408.54 108.34 3.77 1000000 0 999.26/999.67 c 168 415 408.94 92.62 4.42 1000000 0 1000.96/1001.30 c 205 371 413.82 115.33 3.59 1000000 0 1002.56/1002.92 c 205 545 417.42 100.94 4.14 1000000 0 1004.16/1004.55 c 200 399 421.72 109.95 3.84 1000000 0 1005.76/1006.20 c 240 411 438.17 117.84 3.72 1000000 0 1007.46/1007.83 c 183 332 426.49 101.12 4.22 1000000 0 1009.06/1009.46 c 174 510 410.10 86.86 4.72 1000000 0 1010.66/1011.08 c 167 470 401.97 106.28 3.78 1000000 0 1012.35/1012.70 c 203 338 411.99 95.54 4.31 1000000 0 1013.95/1014.33 c 166 417 409.26 101.08 4.05 1000000 0 1015.55/1015.96 c 160 371 413.24 108.09 3.82 1000000 0 1017.16/1017.58 c 171 496 413.39 97.64 4.23 1000000 0 1018.85/1019.20 c 204 412 404.91 95.13 4.26 1000000 0 1020.46/1020.83 c 204 391 427.15 101.44 4.21 1000000 0 1022.05/1022.46 c 191 345 411.75 102.32 4.02 1000000 0 1023.66/1024.09 c 188 372 399.83 110.48 3.62 1000000 0 1025.35/1025.71 c 218 298 419.41 97.67 4.29 1000000 0 1026.96/1027.34 c 215 353 414.67 112.96 3.67 1000000 0 1028.55/1028.98 c 212 342 441.21 101.03 4.37 1000000 0 1030.26/1030.62 c 178 385 439.42 98.34 4.47 1000000 0 1031.85/1032.24 c 197 306 416.46 95.00 4.38 1000000 0 1033.45/1033.88 c 203 363 427.27 96.81 4.41 1000000 0 1035.15/1035.51 c 228 387 422.87 110.39 3.83 1000000 0 1036.75/1037.16 c 212 430 446.40 112.16 3.98 1000000 0 1038.35/1038.79 c 247 527 432.62 109.29 3.96 1000000 0 1040.04/1040.42 c 225 393 432.11 93.59 4.62 1000000 0 1041.64/1042.06 c 171 375 433.89 97.73 4.44 1000000 0 1043.24/1043.69 c 221 537 420.49 114.60 3.67 1000000 0 1044.94/1045.32 c 218 373 429.09 102.10 4.20 1000000 0 1046.54/1046.96 c 224 393 432.48 91.53 4.72 1000000 0 1048.14/1048.59 c 224 597 415.09 97.57 4.25 1000000 0 1049.84/1050.22 c 197 490 429.39 100.70 4.26 1000000 0 1051.44/1051.85 c 204 421 418.75 109.08 3.84 1000000 0 1053.04/1053.49 c 188 361 428.28 104.36 4.10 1000000 0 1054.74/1055.12 c 226 404 425.05 109.88 3.87 1000000 0 1056.34/1056.75 c 216 472 409.40 87.95 4.66 1000000 0 1057.94/1058.37 c 168 346 405.11 106.39 3.81 1000000 0 1059.64/1060.02 c 194 382 440.51 113.79 3.87 1000000 0 1061.24/1061.63 c 169 513 405.41 95.01 4.27 1000000 0 1062.84/1063.26 c 216 468 411.11 107.81 3.81 1000000 0 1064.44/1064.89 c 222 412 429.00 97.90 4.38 1000000 0 1066.14/1066.53 c 195 362 434.89 112.34 3.87 1000000 0 1067.74/1068.16 c 208 296 416.89 103.43 4.03 1000000 0 1069.34/1069.78 c 216 271 411.52 108.03 3.81 1000000 0 1071.04/1071.41 c 136 442 402.34 100.17 4.02 1000000 0 1072.63/1073.04 c 204 429 423.85 113.40 3.74 1000000 0 1074.24/1074.66 c 197 429 421.17 100.51 4.19 1000000 0 1075.93/1076.30 c 232 333 440.33 110.38 3.99 1000000 0 1077.54/1077.93 c 189 439 412.23 97.15 4.24 1000000 0 1079.13/1079.55 c 182 342 410.18 99.76 4.11 1000000 0 1080.73/1081.18 c 191 407 413.93 115.90 3.57 1000000 0 1082.43/1082.83 c 242 402 449.37 106.82 4.21 1000000 0 1084.03/1084.46 c 170 396 415.69 108.65 3.83 1000000 0 1085.63/1086.09 c 202 209 423.18 118.42 3.57 1000000 0 1087.33/1087.71 c 143 214 405.97 123.15 3.30 1000000 0 1088.93/1089.34 c 206 487 433.76 116.15 3.73 1000000 0 1090.53/1090.98 c 230 363 419.68 122.03 3.44 1000000 0 1092.23/1092.60 c 186 377 400.82 103.19 3.88 1000000 0 1093.83/1094.23 c 192 491 405.41 90.76 4.47 1000000 0 1095.43/1095.85 c 200 363 427.46 92.40 4.63 1000000 0 1097.03/1097.48 c 166 496 417.59 101.97 4.10 1000000 0 1098.72/1099.10 c 171 384 403.68 104.12 3.88 1000000 0 1100.32/1100.73 c 230 465 425.57 97.35 4.37 1000000 0 1101.92/1102.36 c 165 451 416.06 123.95 3.36 1000000 0 1103.52/1103.99 c 170 321 417.53 98.06 4.26 1000000 0 1105.22/1105.62 c 198 447 419.03 105.64 3.97 1000000 0 1106.82/1107.26 c 225 349 430.59 116.95 3.68 1000000 0 1108.43/1108.89 c 182 310 430.83 118.84 3.63 1000000 0 1110.12/1110.52 c 177 361 410.19 101.60 4.04 1000000 0 1111.73/1112.16 c 181 428 445.39 98.97 4.50 1000000 0 1113.32/1113.79 c 199 369 415.61 113.21 3.67 1000000 0 1115.03/1115.41 c 189 379 405.03 110.36 3.67 1000000 0 1116.62/1117.03 c 219 432 409.33 110.39 3.71 1000000 0 1118.23/1118.68 c 232 489 438.25 120.58 3.63 1000000 0 1119.92/1120.30 c 169 481 412.91 108.29 3.81 1000000 0 1121.52/1121.94 c 185 374 418.22 107.77 3.88 1000000 0 1123.12/1123.56 c 197 294 400.48 114.70 3.49 1000000 0 1124.72/1125.19 c 145 323 417.70 109.50 3.81 1000000 0 1126.42/1126.82 c 208 377 424.85 101.37 4.19 1000000 0 1128.01/1128.44 c 154 530 408.21 111.16 3.67 1000000 0 1129.61/1130.07 c 175 464 424.30 100.51 4.22 1000000 0 1131.31/1131.70 c 148 344 415.38 112.70 3.69 1000000 0 1132.91/1133.34 c 208 428 416.74 101.74 4.10 1000000 0 1134.51/1134.96 c 195 325 418.54 133.46 3.14 1000000 0 1136.11/1136.58 c 191 406 414.64 111.38 3.72 1000000 0 1137.81/1138.21 c 199 495 421.45 95.83 4.40 1000000 0 1139.41/1139.84 c 204 640 424.73 105.46 4.03 1000000 0 1141.01/1141.48 c 202 356 415.73 103.56 4.01 1000000 0 1142.71/1143.10 c 176 380 415.07 107.35 3.87 1000000 0 1144.31/1144.74 c 189 535 433.73 107.21 4.05 1000000 0 1145.91/1146.37 c 189 448 418.42 105.62 3.96 1000000 0 1147.61/1148.00 c 197 410 419.00 99.78 4.20 1000000 0 1149.21/1149.63 c 203 467 409.97 95.97 4.27 1000000 0 1150.81/1151.25 c 197 476 415.82 93.90 4.43 1000000 0 1152.41/1152.87 c 206 441 421.62 105.46 4.00 1000000 0 1154.11/1154.50 c 171 374 424.24 111.79 3.79 1000000 0 1155.71/1156.13 c 202 378 405.58 109.99 3.69 1000000 0 1157.31/1157.76 c 204 300 442.85 95.09 4.66 1000000 0 1158.91/1159.39 c 192 384 426.03 98.44 4.33 1000000 0 1160.60/1161.02 c 216 316 428.56 123.13 3.48 1000000 0 1162.21/1162.65 c 203 492 436.58 119.18 3.66 1000000 0 1163.80/1164.29 c 220 478 425.31 107.62 3.95 1000000 0 1165.51/1165.92 c 198 368 413.17 109.60 3.77 1000000 0 1167.10/1167.55 c 217 379 432.77 98.91 4.38 1000000 0 1168.70/1169.19 c 195 474 430.32 98.11 4.39 1000000 0 1170.40/1170.81 c 206 408 416.40 94.70 4.40 1000000 0 1172.00/1172.45 c 189 320 430.73 122.31 3.52 1000000 0 1173.60/1174.08 c 208 378 419.11 120.60 3.48 1000000 0 1175.30/1175.70 c 198 359 417.02 128.44 3.25 1000000 0 1176.90/1177.33 c 152 300 405.85 95.63 4.24 1000000 0 1178.50/1178.96 c 211 281 427.78 107.62 3.97 1000000 0 1180.20/1180.60 c 206 371 419.83 104.66 4.01 1000000 0 1181.80/1182.23 c 196 344 428.31 118.19 3.62 1000000 0 1183.40/1183.86 c 210 376 430.23 105.60 4.07 1000000 0 1185.00/1185.49 c 177 495 417.50 95.85 4.36 1000000 0 1186.70/1187.11 c 202 305 415.00 91.65 4.53 1000000 0 1188.30/1188.74 c 206 393 413.62 106.87 3.87 1000000 0 1189.89/1190.38 c 206 393 432.38 124.89 3.46 1000000 0 1191.59/1192.01 c 176 280 417.50 102.04 4.09 1000000 0 1193.19/1193.65 c 207 363 434.63 110.32 3.94 1000000 0 1194.79/1195.27 c 196 543 420.61 125.92 3.34 1000000 0 1196.49/1196.90 c 185 326 411.74 113.04 3.64 1000000 0 1198.09/1198.52 c 182 351 405.92 105.18 3.86 1000000 0 1199.70/1200.15 c 213 403 426.71 94.74 4.50 1000000 0 1201.29/1201.77 c 169 483 411.84 110.18 3.74 1000000 0 1202.90/1203.40 c 191 420 416.66 111.37 3.74 1000000 0 1204.59/1205.02 c 163 449 404.00 94.19 4.29 1000000 0 1206.19/1206.65 c 176 425 435.80 114.75 3.80 1000000 0 1207.79/1208.29 c 185 368 422.94 103.16 4.10 1000000 0 1209.49/1209.92 c 234 369 425.63 119.63 3.56 1000000 0 1211.09/1211.55 c 228 394 417.71 111.67 3.74 1000000 0 1212.69/1213.18 c 207 397 422.84 123.49 3.42 1000000 0 1214.38/1214.81 c 174 420 429.88 107.47 4.00 1000000 0 1215.98/1216.43 c 185 355 399.55 99.26 4.03 1000000 0 1217.58/1218.05 c 205 475 420.74 105.45 3.99 1000000 0 1219.18/1219.68 c 189 417 414.23 104.38 3.97 1000000 0 1220.88/1221.31 c 222 379 427.79 109.92 3.89 1000000 0 1222.48/1222.94 c 196 369 407.37 105.03 3.88 1000000 0 1224.08/1224.57 c 206 428 427.33 119.19 3.59 1000000 0 1225.78/1226.20 c 195 476 417.43 104.12 4.01 1000000 0 1227.38/1227.84 c 183 416 439.30 115.63 3.80 1000000 0 1228.98/1229.47 c 224 473 422.67 103.59 4.08 1000000 0 1230.58/1231.09 c 160 356 405.62 104.89 3.87 1000000 0 1232.28/1232.72 c 197 338 429.45 113.52 3.78 1000000 0 1233.88/1234.35 c 170 431 414.59 115.26 3.60 1000000 0 1235.48/1235.98 c 182 355 409.16 108.31 3.78 1000000 0 1237.18/1237.61 c 222 418 427.46 109.48 3.90 1000000 0 1238.79/1239.23 c 214 360 408.58 105.88 3.86 1000000 0 1240.39/1240.86 c 216 311 424.29 107.08 3.96 1000000 0 1242.08/1242.50 c 134 377 423.95 109.58 3.87 1000000 0 1243.69/1244.13 c 225 348 423.37 99.86 4.24 1000000 0 1245.28/1245.76 c 184 392 426.96 125.50 3.40 1000000 0 1246.89/1247.39 c 181 229 411.12 130.38 3.15 1000000 0 1248.58/1249.02 c 238 344 433.71 99.23 4.37 1000000 0 1250.19/1250.65 c 198 453 411.99 121.31 3.40 1000000 0 1251.78/1252.28 c 182 301 422.53 119.25 3.54 1000000 0 1253.49/1253.91 c 188 463 417.92 96.35 4.34 1000000 0 1255.08/1255.56 c 189 493 439.36 130.44 3.37 1000000 0 1256.68/1257.19 c 214 324 436.29 104.28 4.18 1000000 0 1258.38/1258.83 c 200 424 421.08 106.82 3.94 1000000 0 1259.98/1260.45 c 218 347 412.60 120.38 3.43 1000000 0 1261.58/1262.08 c 183 358 411.69 106.93 3.85 1000000 0 1263.28/1263.71 c 199 422 427.06 93.65 4.56 1000000 0 1264.88/1265.35 c 220 427 432.71 105.63 4.10 1000000 0 1266.48/1266.97 c 144 378 393.08 106.58 3.69 1000000 0 1268.18/1268.60 c 221 298 426.13 101.59 4.19 1000000 0 1269.77/1270.22 c 173 261 407.37 96.12 4.24 1000000 0 1271.37/1271.85 c 202 361 430.64 106.62 4.04 1000000 0 1272.97/1273.49 c 167 436 426.65 109.15 3.91 1000000 0 1274.67/1275.11 c 213 389 410.55 81.38 5.04 1000000 0 1276.27/1276.74 c 200 454 408.86 121.12 3.38 1000000 0 1277.87/1278.37 c 212 347 426.58 105.53 4.04 1000000 0 1279.57/1280.01 c 198 381 421.68 119.41 3.53 1000000 0 1281.17/1281.63 c 209 396 418.32 92.88 4.50 1000000 0 1282.77/1283.26 c 204 482 410.36 102.30 4.01 1000000 0 1284.38/1284.89 c 209 396 424.24 108.33 3.92 1000000 0 1286.07/1286.52 c 192 387 408.97 111.17 3.68 1000000 0 1287.68/1288.15 c 232 285 423.64 99.74 4.25 1000000 0 1289.27/1289.77 c 177 437 420.81 110.31 3.81 1000000 0 1290.97/1291.41 c 175 361 419.64 107.83 3.89 1000000 0 1292.57/1293.04 c 206 333 423.79 112.93 3.75 1000000 0 1294.17/1294.66 c 162 397 402.13 98.05 4.10 1000000 0 1295.77/1296.29 c 214 407 419.11 93.24 4.49 1000000 0 1297.47/1297.92 c 185 486 433.56 95.64 4.53 1000000 0 1299.06/1299.55 c 187 399 415.06 105.35 3.94 1000000 0 1300.66/1301.18 c 184 404 416.52 120.32 3.46 1000000 0 1302.36/1302.81 c 182 320 411.91 119.59 3.44 1000000 0 1303.96/1304.44 c 244 403 428.11 93.60 4.57 1000000 0 1305.56/1306.07 c 144 335 405.33 107.38 3.77 1000000 0 1307.26/1307.71 c 221 388 435.46 105.81 4.12 1000000 0 1308.86/1309.35 c 208 272 432.69 111.86 3.87 1000000 0 1310.46/1310.97 c 169 350 410.44 101.22 4.06 1000000 0 1312.16/1312.61 c 167 441 432.46 108.11 4.00 1000000 0 1313.76/1314.24 c 183 422 417.36 91.78 4.55 1000000 0 1315.36/1315.87 c 184 532 420.61 102.33 4.11 1000000 0 1317.06/1317.50 c 227 349 433.65 110.91 3.91 1000000 0 1318.66/1319.13 c 235 403 417.50 110.13 3.79 1000000 0 1320.26/1320.77 c 216 422 436.75 124.77 3.50 1000000 0 1321.96/1322.40 c 180 327 432.57 112.47 3.85 1000000 0 1323.56/1324.02 c 175 313 407.65 110.39 3.69 1000000 0 1325.16/1325.64 c 196 413 400.43 93.11 4.30 1000000 0 1326.75/1327.27 c 156 332 421.90 110.10 3.83 1000000 0 1328.45/1328.91 c 212 399 429.07 100.20 4.28 1000000 0 1330.05/1330.54 c 230 383 427.74 87.66 4.88 1000000 0 1331.66/1332.17 c 188 303 417.03 127.18 3.28 1000000 0 1333.25/1333.79 c 186 372 408.84 94.40 4.33 1000000 0 1334.96/1335.42 c 163 485 430.92 135.53 3.18 1000000 0 1336.55/1337.05 c 212 383 411.77 103.50 3.98 1000000 0 1338.16/1338.68 c 181 380 413.12 107.72 3.83 1000000 0 1339.85/1340.32 c 203 291 425.63 110.35 3.86 1000000 0 1341.46/1341.95 c 201 416 415.08 92.28 4.50 1000000 0 1343.05/1343.57 c 180 430 409.68 115.55 3.55 1000000 0 1344.75/1345.20 c 220 370 432.07 112.03 3.86 1000000 0 1346.35/1346.85 c 234 430 442.55 145.69 3.04 1000000 0 1347.95/1348.48 c 209 435 432.22 107.62 4.02 1000000 0 1349.65/1350.10 c 181 335 396.78 108.04 3.67 1000000 0 1351.25/1351.73 c 180 485 421.99 97.47 4.33 1000000 0 1352.85/1353.37 c 196 341 418.22 101.20 4.13 1000000 0 1354.45/1354.99 c 181 421 400.94 117.38 3.42 1000000 0 1356.14/1356.63 c 219 482 430.84 106.57 4.04 1000000 0 1357.74/1358.25 c 193 412 400.66 108.68 3.69 1000000 0 1359.34/1359.89 c 210 323 417.79 93.44 4.47 1000000 0 1361.04/1361.52 c 206 465 428.64 119.75 3.58 1000000 0 1362.64/1363.16 c 182 505 419.93 107.56 3.90 1000000 0 1364.24/1364.78 c 204 428 418.10 113.54 3.68 1000000 0 1365.94/1366.41 c 219 370 416.98 126.24 3.30 1000000 0 1367.54/1368.04 c 205 315 414.27 109.31 3.79 1000000 0 1369.14/1369.67 c 193 493 422.88 93.17 4.54 1000000 0 1370.84/1371.30 c 197 483 433.52 98.78 4.39 1000000 0 1372.44/1372.94 c 220 369 421.89 98.50 4.28 1000000 0 1374.04/1374.56 c 162 396 408.35 113.12 3.61 1000000 0 1375.64/1376.19 c 194 433 418.40 90.41 4.63 1000000 0 1377.34/1377.82 c 200 332 425.68 112.69 3.78 1000000 0 1378.94/1379.45 c 180 449 424.34 112.25 3.78 1000000 0 1380.54/1381.09 c 188 367 426.99 93.12 4.59 1000000 0 1382.24/1382.72 c 228 368 413.94 93.93 4.41 1000000 0 1383.83/1384.35 c 219 361 425.49 121.54 3.50 1000000 0 1385.44/1385.97 c 211 499 411.88 103.15 3.99 1000000 0 1387.13/1387.60 c 233 387 432.51 102.61 4.22 1000000 0 1388.74/1389.23 c 170 544 429.12 113.39 3.78 1000000 0 1390.33/1390.86 c 177 436 420.56 109.40 3.84 1000000 0 1392.04/1392.50 c 191 386 413.40 99.67 4.15 1000000 0 1393.63/1394.12 c 213 361 410.34 109.31 3.75 1000000 0 1395.23/1395.74 c 128 485 417.84 92.70 4.51 1000000 0 1396.83/1397.37 c 191 536 418.18 100.70 4.15 1000000 0 1398.53/1399.01 c 228 412 442.71 99.70 4.44 1000000 0 1400.13/1400.64 c 213 428 415.26 103.18 4.02 1000000 0 1401.73/1402.28 c 188 458 420.19 114.23 3.68 1000000 0 1403.43/1403.93 c 219 309 435.30 101.55 4.29 1000000 0 1405.03/1405.55 c 220 519 411.45 102.80 4.00 1000000 0 1406.63/1407.17 c 230 471 407.55 107.72 3.78 1000000 0 1408.32/1408.80 c 187 445 419.10 94.21 4.45 1000000 0 1409.92/1410.44 c 206 380 426.89 120.84 3.53 1000000 0 1411.52/1412.06 c 191 382 410.22 110.61 3.71 1000000 0 1413.22/1413.70 c 195 412 429.05 121.39 3.53 1000000 0 1414.82/1415.32 c 183 405 418.44 121.17 3.45 1000000 0 1416.42/1416.95 c 201 310 416.29 104.26 3.99 1000000 0 1418.02/1418.58 c 198 214 416.09 97.31 4.28 1000000 0 1419.72/1420.22 c 213 425 448.71 101.54 4.42 1000000 0 1421.32/1421.85 c 168 454 408.46 102.00 4.00 1000000 0 1422.93/1423.48 c 202 319 422.90 121.28 3.49 1000000 0 1424.62/1425.12 c 217 369 428.43 100.40 4.27 1000000 0 1426.23/1426.75 c 205 347 416.55 110.04 3.79 1000000 0 1427.82/1428.38 c 218 430 437.86 99.76 4.39 1000000 0 1429.53/1430.01 c 214 419 411.84 102.87 4.00 1000000 0 1431.12/1431.64 c 218 383 431.43 99.84 4.32 1000000 0 1432.72/1433.28 c 218 265 434.24 114.15 3.80 1000000 0 1434.42/1434.91 c 234 448 422.00 89.87 4.70 1000000 0 1436.02/1436.54 c 206 386 421.15 116.51 3.61 1000000 0 1437.62/1438.17 c 199 374 410.48 107.30 3.83 1000000 0 1439.21/1439.79 c 202 342 403.73 108.70 3.71 1000000 0 1440.91/1441.42 c 225 372 419.69 99.61 4.21 1000000 0 1442.51/1443.05 c 207 464 430.77 100.71 4.28 1000000 0 1444.11/1444.69 c 200 336 418.96 124.68 3.36 1000000 0 1445.81/1446.31 c 188 392 412.05 121.38 3.39 1000000 0 1447.41/1447.94 c 210 341 415.71 106.66 3.90 1000000 0 1449.01/1449.56 c 142 462 389.75 108.68 3.59 1000000 0 1450.71/1451.20 c 210 310 428.75 104.50 4.10 1000000 0 1452.31/1452.82 c 188 374 413.87 94.70 4.37 1000000 0 1453.91/1454.44 c 214 483 404.56 92.33 4.38 1000000 0 1455.51/1456.07 c 234 336 432.20 99.98 4.32 1000000 0 1457.21/1457.70 c 226 402 409.81 90.29 4.54 1000000 0 1458.81/1459.32 c 153 426 420.06 101.02 4.16 1000000 0 1460.41/1460.95 c 189 415 413.32 111.66 3.70 1000000 0 1462.01/1462.58 c 185 375 425.08 102.28 4.16 1000000 0 1463.71/1464.21 c 186 482 425.16 98.71 4.31 1000000 0 1465.31/1465.85 c 182 562 427.42 116.68 3.66 1000000 0 1466.91/1467.47 c 187 373 414.29 117.62 3.52 1000000 0 1468.60/1469.10 c 180 346 409.15 120.28 3.40 1000000 0 1470.21/1470.73 c 203 363 415.43 138.31 3.00 1000000 0 1471.80/1472.37 c 240 371 429.15 104.62 4.10 1000000 0 1473.41/1473.99 c 216 450 417.57 109.36 3.82 1000000 0 1475.10/1475.62 c 205 420 403.92 103.55 3.90 1000000 0 1476.71/1477.24 c 187 357 408.95 93.14 4.39 1000000 0 1478.30/1478.86 c 209 415 400.58 89.85 4.46 1000000 0 1479.90/1480.49 c 208 418 414.34 100.93 4.11 1000000 0 1481.60/1482.11 c 201 454 414.77 127.55 3.25 1000000 0 1483.20/1483.74 c 205 440 417.83 119.70 3.49 1000000 0 1484.80/1485.37 c 159 567 412.26 130.50 3.16 1000000 0 1486.40/1486.99 c 171 493 408.01 99.56 4.10 1000000 0 1488.10/1488.62 c 217 498 418.04 106.07 3.94 1000000 0 1489.70/1490.24 c 210 344 412.65 97.12 4.25 1000000 0 1491.30/1491.87 c 191 362 402.99 91.94 4.38 1000000 0 1493.00/1493.51 c 213 320 428.02 99.28 4.31 1000000 0 1494.60/1495.14 c 219 410 421.88 102.33 4.12 1000000 0 1496.20/1496.76 c 185 399 395.36 106.42 3.72 1000000 0 1497.80/1498.39 c 209 447 416.39 109.48 3.80 1000000 0 1499.50/1500.01 c 206 287 410.92 100.77 4.08 1000000 0 1501.09/1501.63 c 139 374 394.53 110.12 3.58 1000000 0 1502.69/1503.26 c 231 415 422.50 111.04 3.81 1000000 0 1504.30/1504.89 c 196 547 420.52 117.32 3.58 1000000 0 1505.99/1506.52 c 213 296 421.67 115.11 3.66 1000000 0 1507.60/1508.14 c 208 388 411.82 89.18 4.62 1000000 0 1509.19/1509.78 c 144 527 429.66 105.05 4.09 1000000 0 1510.90/1511.41 c 185 410 415.88 99.57 4.18 1000000 0 1512.49/1513.04 c 204 454 409.99 110.59 3.71 1000000 0 1514.10/1514.68 c 236 431 443.63 102.31 4.34 1000000 0 1515.79/1516.31 c 204 371 429.52 129.50 3.32 1000000 0 1517.40/1517.94 c 223 368 437.32 106.86 4.09 1000000 0 1518.99/1519.58 c 175 450 422.74 117.09 3.61 1000000 0 1520.69/1521.21 c 219 296 429.20 107.17 4.00 1000000 0 1522.29/1522.85 c 226 429 428.70 118.79 3.61 1000000 0 1523.89/1524.48 c 203 482 424.23 101.26 4.19 1000000 0 1525.59/1526.11 c 183 395 419.42 117.35 3.57 1000000 0 1527.19/1527.74 c 219 339 432.68 115.08 3.76 1000000 0 1528.79/1529.38 c 208 410 440.65 125.37 3.51 1000000 0 1530.49/1531.01 c 162 547 418.89 107.95 3.88 1000000 0 1532.09/1532.65 c 204 455 423.49 128.32 3.30 1000000 0 1533.68/1534.28 c 194 403 431.67 106.55 4.05 1000000 0 1535.38/1535.91 c 214 344 412.55 104.44 3.95 1000000 0 1536.98/1537.54 c 223 362 427.55 112.19 3.81 1000000 0 1538.58/1539.17 c 193 315 411.31 103.75 3.96 1000000 0 1540.18/1540.79 c 201 462 400.99 99.58 4.03 1000000 0 1541.88/1542.43 c 205 431 423.27 108.78 3.89 1000000 0 1543.48/1544.06 c 179 301 436.22 111.12 3.93 1000000 0 1545.08/1545.69 c 213 417 425.93 95.09 4.48 1000000 0 1546.78/1547.32 c 168 383 416.02 110.05 3.78 1000000 0 1548.38/1548.94 c 172 443 410.12 104.14 3.94 1000000 0 1549.98/1550.57 c 192 335 408.04 89.44 4.56 1000000 0 1551.59/1552.19 c 199 419 407.51 108.17 3.77 1000000 0 1553.28/1553.81 c 167 505 398.80 101.13 3.94 1000000 0 1554.88/1555.44 c 203 381 429.80 115.32 3.73 1000000 0 1556.48/1557.08 c 223 323 443.51 98.63 4.50 1000000 0 1558.18/1558.72 c 213 459 433.19 128.58 3.37 1000000 0 1559.77/1560.35 c 213 400 411.51 90.70 4.54 1000000 0 1561.38/1561.97 c 197 410 416.62 104.02 4.01 1000000 0 1563.07/1563.60 c 210 274 416.27 111.53 3.73 1000000 0 1564.68/1565.22 c 232 421 428.30 99.95 4.29 1000000 0 1566.27/1566.84 c 184 373 420.97 107.13 3.93 1000000 0 1567.87/1568.48 c 203 399 442.24 101.51 4.36 1000000 0 1569.57/1570.10 c 139 492 398.04 90.40 4.40 1000000 0 1571.17/1571.74 c 198 442 432.39 111.60 3.87 1000000 0 1572.77/1573.37 c 145 308 412.98 109.40 3.78 1000000 0 1574.47/1575.00 c 188 447 422.09 107.88 3.91 1000000 0 1576.07/1576.64 c 197 323 437.32 104.24 4.20 1000000 0 1577.67/1578.27 c 133 469 422.31 109.56 3.85 1000000 0 1579.37/1579.90 c 195 295 418.35 96.23 4.35 1000000 0 1580.97/1581.54 c 198 399 435.35 122.04 3.57 1000000 0 1582.57/1583.18 c 225 412 426.56 104.87 4.07 1000000 0 1584.27/1584.82 c 234 306 437.95 114.65 3.82 1000000 0 1585.87/1586.45 c 183 315 424.83 116.37 3.65 1000000 0 1587.47/1588.07 c 152 444 407.97 89.81 4.54 1000000 0 1589.17/1589.70 c 195 284 430.95 112.58 3.83 1000000 0 1590.76/1591.33 c 189 324 418.40 111.46 3.75 1000000 0 1592.36/1592.96 c 158 366 416.07 103.03 4.04 1000000 0 1594.06/1594.61 c 207 406 432.90 105.70 4.10 1000000 0 1595.66/1596.24 c 201 527 432.04 102.60 4.21 1000000 0 1597.26/1597.88 c 200 335 434.37 95.21 4.56 1000000 0 1598.96/1599.51 c 221 467 417.26 113.70 3.67 1000000 0 1600.56/1601.14 c 201 345 428.03 112.31 3.81 1000000 0 1602.17/1602.78 c 215 497 438.26 104.16 4.21 1000000 0 1603.86/1604.40 c 183 449 408.73 98.40 4.15 1000000 0 1605.47/1606.04 c 209 436 420.85 88.32 4.77 1000000 0 1607.06/1607.66 c 191 243 413.05 107.54 3.84 1000000 0 1608.67/1609.29 c 194 346 425.65 103.46 4.11 1000000 0 1610.36/1610.92 c 188 307 424.41 103.09 4.12 1000000 0 1611.96/1612.54 c 182 387 417.49 122.43 3.41 1000000 0 1613.56/1614.16 c 161 438 404.01 111.49 3.62 1000000 0 1615.26/1615.80 c 205 518 438.94 96.60 4.54 1000000 0 1616.86/1617.43 c 183 377 419.34 121.20 3.46 1000000 0 1618.46/1619.06 c 157 476 409.95 111.69 3.67 1000000 0 1620.16/1620.70 c 206 388 434.21 96.12 4.52 1000000 0 1621.75/1622.33 c 168 416 421.38 97.24 4.33 1000000 0 1623.35/1623.96 c 179 415 415.91 115.03 3.62 1000000 0 1625.05/1625.60 c 190 417 427.54 116.08 3.68 1000000 0 1626.65/1627.23 c 236 404 426.66 91.83 4.65 1000000 0 1628.25/1628.84 c 153 396 400.05 96.54 4.14 1000000 0 1629.85/1630.47 c 189 240 429.64 113.23 3.79 1000000 0 1631.45/1632.09 c 195 348 403.22 98.05 4.11 1000000 0 1633.15/1633.72 c 231 442 427.49 102.68 4.16 1000000 0 1634.75/1635.36 c 214 477 425.60 127.54 3.34 1000000 0 1636.35/1636.99 c 193 366 411.15 109.67 3.75 1000000 0 1638.05/1638.62 c 215 323 417.45 84.18 4.96 1000000 0 1639.65/1640.24 c 217 419 411.98 105.17 3.92 1000000 0 1641.25/1641.89 c 218 435 436.86 94.62 4.62 1000000 0 1642.95/1643.51 c 191 425 404.59 103.99 3.89 1000000 0 1644.55/1645.15 c 232 534 444.42 116.87 3.80 1000000 0 1646.15/1646.79 c 198 362 438.28 130.13 3.37 1000000 0 1647.85/1648.43 c 190 440 437.28 117.52 3.72 1000000 0 1649.45/1650.05 c 197 334 407.99 108.23 3.77 1000000 0 1651.04/1651.68 c 183 364 402.38 92.58 4.35 1000000 0 1652.65/1653.30 c 114 469 406.02 110.42 3.68 1000000 0 1654.34/1654.93 c 178 375 414.41 103.98 3.99 1000000 0 1655.95/1656.55 c 180 408 415.26 124.16 3.34 1000000 0 1657.54/1658.19 c 191 355 413.70 113.33 3.65 1000000 0 1659.25/1659.81 c 199 347 418.16 103.15 4.05 1000000 0 1660.84/1661.44 c 220 480 405.73 86.63 4.68 1000000 0 1662.44/1663.06 c 193 518 414.05 91.11 4.54 1000000 0 1664.04/1664.69 c 162 408 411.37 110.86 3.71 1000000 0 1665.74/1666.32 c 175 341 422.47 114.42 3.69 1000000 0 1667.34/1667.96 c 245 416 456.43 118.40 3.86 1000000 0 1668.94/1669.59 c 183 385 412.48 106.49 3.87 1000000 0 1670.64/1671.22 c 184 361 418.54 97.13 4.31 1000000 0 1672.24/1672.85 c 176 443 411.48 118.63 3.47 1000000 0 1673.84/1674.48 c 157 280 407.10 108.99 3.74 1000000 0 1675.54/1676.12 c 207 403 437.35 108.99 4.01 1000000 0 1677.14/1677.76 c 209 334 431.90 98.46 4.39 1000000 0 1678.74/1679.39 c 235 415 439.80 108.74 4.04 1000000 0 1680.44/1681.03 c 218 387 433.51 122.56 3.54 1000000 0 1682.03/1682.67 c 213 322 430.43 116.20 3.70 1000000 0 1683.63/1684.29 c 220 300 417.94 113.05 3.70 1000000 0 1685.33/1685.93 c 214 423 426.02 101.28 4.21 1000000 0 1686.93/1687.56 c 207 407 414.25 108.61 3.81 1000000 0 1688.53/1689.18 c 176 433 411.84 106.90 3.85 1000000 0 1690.23/1690.82 c 190 384 418.66 114.47 3.66 1000000 0 1691.83/1692.44 c 239 452 419.91 92.00 4.56 1000000 0 1693.44/1694.08 c 198 366 441.06 110.47 3.99 1000000 0 1695.13/1695.72 c 211 389 425.03 112.73 3.77 1000000 0 1696.74/1697.34 c 178 476 427.23 104.56 4.09 1000000 0 1698.33/1698.98 c 169 342 432.46 107.94 4.01 1000000 0 1700.04/1700.62 c 217 405 441.64 118.79 3.72 1000000 0 1701.63/1702.25 c 191 229 422.17 102.02 4.14 1000000 0 1703.24/1703.87 c 176 530 410.29 112.62 3.64 1000000 0 1704.93/1705.50 c 219 422 423.50 79.85 5.30 1000000 0 1706.53/1707.12 c 169 292 398.26 91.78 4.34 1000000 0 1708.13/1708.74 c 179 476 423.08 99.00 4.27 1000000 0 1709.72/1710.38 c 193 384 429.36 120.78 3.55 1000000 0 1711.42/1712.00 c 209 496 422.92 103.49 4.09 1000000 0 1713.02/1713.64 c 232 439 436.10 101.93 4.28 1000000 0 1714.62/1715.27 c 222 351 423.05 101.40 4.17 1000000 0 1716.32/1716.90 c 196 282 416.10 91.04 4.57 1000000 0 1717.92/1718.53 c 179 533 408.29 116.08 3.52 1000000 0 1719.52/1720.16 c 166 437 429.02 110.56 3.88 1000000 0 1721.12/1721.79 c 178 392 422.39 90.70 4.66 1000000 0 1722.82/1723.42 c 195 447 407.54 108.29 3.76 1000000 0 1724.42/1725.05 c 189 196 432.90 115.78 3.74 1000000 0 1726.02/1726.68 c 157 477 426.12 108.10 3.94 1000000 0 1727.72/1728.31 c 143 496 416.90 115.56 3.61 1000000 0 1729.32/1729.95 c 242 373 436.84 107.05 4.08 1000000 0 1730.92/1731.58 c 204 305 428.51 101.88 4.21 1000000 0 1732.62/1733.22 c 168 433 422.20 114.68 3.68 1000000 0 1734.22/1734.85 c 200 384 420.39 111.67 3.76 1000000 0 1735.82/1736.48 c 165 356 422.54 94.86 4.45 1000000 0 1737.51/1738.11 c 207 450 431.78 97.12 4.45 1000000 0 1739.11/1739.73 c 198 395 409.35 124.35 3.29 1000000 0 1740.72/1741.36 c 199 345 411.73 120.82 3.41 1000000 0 1742.41/1743.00 c 180 392 437.74 111.81 3.92 1000000 0 1744.02/1744.63 c 134 151 421.99 102.61 4.11 1000000 0 1745.61/1746.26 c 195 379 422.26 103.51 4.08 1000000 0 1747.22/1747.90 c 228 527 435.57 110.85 3.93 1000000 0 1748.91/1749.52 c 183 445 419.03 80.15 5.23 1000000 0 1750.52/1751.16 c 187 407 423.99 108.17 3.92 1000000 0 1752.11/1752.79 c 190 508 419.82 111.64 3.76 1000000 0 1753.82/1754.44 c 229 514 446.23 125.41 3.56 1000000 0 1755.41/1756.07 c 205 354 417.71 115.09 3.63 1000000 0 1757.01/1757.70 c 161 297 418.93 100.81 4.16 1000000 0 1758.71/1759.33 c 221 293 427.32 100.33 4.26 1000000 0 1760.31/1760.97 c 219 430 420.12 102.36 4.10 1000000 0 1761.91/1762.59 c 197 405 426.20 93.90 4.54 1000000 0 1763.61/1764.23 c 224 365 434.22 104.92 4.14 1000000 0 1765.21/1765.87 c 169 344 429.51 116.12 3.70 1000000 0 1766.81/1767.49 c 219 412 420.54 102.73 4.09 1000000 0 1768.50/1769.12 c 230 384 439.89 100.03 4.40 1000000 0 1770.10/1770.76 c 191 446 420.44 124.01 3.39 1000000 0 1771.70/1772.39 c 205 407 434.80 104.99 4.14 1000000 0 1773.40/1774.02 c 189 380 419.68 139.55 3.01 1000000 0 1775.00/1775.65 c 221 441 421.43 109.32 3.85 1000000 0 1776.60/1777.28 c 215 381 428.34 90.63 4.73 1000000 0 1778.30/1778.91 c 179 458 428.70 123.20 3.48 1000000 0 1779.90/1780.55 c 193 415 429.28 101.85 4.21 1000000 0 1781.50/1782.17 c 187 406 400.99 105.80 3.79 1000000 0 1783.20/1783.81 c 207 410 423.25 108.87 3.89 1000000 0 1784.80/1785.43 c 197 522 419.55 102.85 4.08 1000000 0 1786.40/1787.07 c 209 448 420.59 131.09 3.21 1000000 0 1788.10/1788.71 c 198 413 445.61 100.33 4.44 1000000 0 1789.70/1790.34 c 218 314 428.14 115.79 3.70 1000000 0 1791.30/1791.97 c 183 210 425.29 96.07 4.43 1000000 0 1793.00/1793.61 c 231 481 425.53 113.42 3.75 1000000 0 1794.60/1795.23 c 178 448 422.32 113.40 3.72 1000000 0 1796.20/1796.87 c 193 375 428.98 117.24 3.66 1000000 0 1797.80/1798.49 c 192 268 406.14 106.32 3.82 1000000 0 1799.49/1800.12 c 198 323 426.88 99.37 4.30 1000000 0 1800.01/1800.61 HOME/run: line 2: 19924 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-2685336-1278440592/watcher-2685336-1278440592 -o /tmp/evaluation-result-2685336-1278440592/solver-2685336-1278440592 -C 1800 -W 2000 -M 1800 run HOME/instance-2685336-1278440592.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.86 0.95 1.00 3/106 19923 /proc/meminfo: memFree=1842404/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [startup+0.0354779 s] /proc/loadavg: 0.86 0.95 1.00 3/106 19923 /proc/meminfo: memFree=1842404/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101488 s] /proc/loadavg: 0.86 0.95 1.00 3/106 19923 /proc/meminfo: memFree=1842404/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301523 s] /proc/loadavg: 0.86 0.95 1.00 3/106 19923 /proc/meminfo: memFree=1842404/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700593 s] /proc/loadavg: 0.86 0.95 1.00 3/106 19923 /proc/meminfo: memFree=1842404/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50073 s] /proc/loadavg: 0.86 0.95 1.00 2/108 19925 /proc/meminfo: memFree=1836312/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1.49 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1572 0 0 0 149 0 0 0 25 0 1 0 12266282 41422848 1502 1992294400 134512640 135071400 4287674768 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1502 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10101 s] /proc/loadavg: 0.86 0.95 1.00 2/108 19925 /proc/meminfo: memFree=1836064/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=3.09 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 309 0 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30057 s] /proc/loadavg: 0.87 0.95 1.00 2/108 19926 /proc/meminfo: memFree=1836064/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=6.28 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 628 0 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49152 [startup+12.7007 s] /proc/loadavg: 0.88 0.95 1.00 2/108 19926 /proc/meminfo: memFree=1835940/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=12.68 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 1268 0 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5019 s] /proc/loadavg: 0.91 0.95 1.00 2/108 19926 /proc/meminfo: memFree=1835940/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=25.48 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 2548 0 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526535 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1013 s] /proc/loadavg: 0.94 0.96 1.00 2/108 19927 /proc/meminfo: memFree=1835940/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=51.07 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 5107 0 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526651 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 0.97 0.96 1.00 2/108 19928 /proc/meminfo: memFree=1835816/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=102.26 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 10226 0 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134571231 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 0.99 0.97 1.00 2/108 19930 /proc/meminfo: memFree=1835816/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=162.23 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 16223 0 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 0.99 0.97 1.00 2/108 19931 /proc/meminfo: memFree=1835816/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=222.22 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 22221 1 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 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: 0.99 0.97 1.00 2/108 19933 /proc/meminfo: memFree=1835692/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=282.2 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 28219 1 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 0.99 0.97 1.00 2/108 19935 /proc/meminfo: memFree=1835568/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=342.18 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 34217 1 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 49152 [startup+402.3 s] /proc/loadavg: 0.99 0.97 1.00 2/108 19936 /proc/meminfo: memFree=1835444/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=402.16 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 40215 1 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1061.94 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 106193 1 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 1.00 2/108 19955 /proc/meminfo: memFree=1834204/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1121.92 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 112191 1 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526631 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 1.00 2/108 19957 /proc/meminfo: memFree=1834080/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1181.9 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 118189 1 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526611 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 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: 0.99 0.97 1.00 2/108 19959 /proc/meminfo: memFree=1833832/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1241.88 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 124186 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134572043 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 1.00 2/108 19960 /proc/meminfo: memFree=1833708/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1301.87 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 130185 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134537285 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 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: 0.99 0.97 1.00 2/108 19962 /proc/meminfo: memFree=1833708/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1361.84 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 136182 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526304 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 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: 0.99 0.97 1.00 2/108 19963 /proc/meminfo: memFree=1833584/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1421.83 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 142181 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 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: 0.99 0.97 1.00 2/108 19965 /proc/meminfo: memFree=1833336/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1481.8 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 148178 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134525915 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 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: 0.99 0.97 1.00 2/108 19967 /proc/meminfo: memFree=1833336/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1541.78 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 154176 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 1.00 2/108 19968 /proc/meminfo: memFree=1833212/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1601.76 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 160174 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 1.00 2/108 19970 /proc/meminfo: memFree=1833088/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1661.74 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 166172 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 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: 0.99 0.97 1.00 2/108 19971 /proc/meminfo: memFree=1833088/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1721.72 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 172170 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526441 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 1.00 2/108 19973 /proc/meminfo: memFree=1832716/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1781.7 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 178168 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134526109 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 1.00 2/108 19973 /proc/meminfo: memFree=1832716/2059040 swapFree=4164944/4192956 [pid=19923] ppid=19921 vsize=8700 CPUtime=0 /proc/19923/stat : 19923 (run) S 19921 19923 19102 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 12266282 8908800 243 1992294400 4194304 4922060 140733889243712 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/19923/statm: 2175 243 204 178 0 68 0 [pid=19924] ppid=19923 vsize=40452 CPUtime=1800.01 /proc/19924/stat : 19924 (PB-wave) R 19923 19923 19102 0 -1 4202496 1581 0 0 0 179999 2 0 0 25 0 1 0 12266282 41422848 1511 1992294400 134512640 135071400 4287674768 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19924/statm: 10113 1511 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.03 CPU user time (s): 1800 CPU system time (s): 0.029995 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.029995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1953 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= 5084 runsolver used 2.76258 second user time and 8.77966 second system time The end
Begin job on node048 at 2010-07-06 20:23:12 IDJOB=2685336 IDBENCH=75563 IDSOLVER=1171 FILE ID=node048/2685336-1278440592 PBS_JOBID= 11233477 Free space on /tmp= 62564 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j90/normalized-j9048_1-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685336-1278440592/watcher-2685336-1278440592 -o /tmp/evaluation-result-2685336-1278440592/solver-2685336-1278440592 -C 1800 -W 2000 -M 1800 run HOME/instance-2685336-1278440592.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f58343ead1669876e251a6e73da29992 RANDOM SEED=349192877 node048.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.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1842924 kB Buffers: 2284 kB Cached: 106828 kB SwapCached: 7628 kB Active: 21084 kB Inactive: 127868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1842924 kB SwapTotal: 4192956 kB SwapFree: 4164944 kB Dirty: 2596 kB Writeback: 0 kB AnonPages: 32088 kB Mapped: 13684 kB Slab: 45260 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180096 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= 62564 MiB End job on node048 at 2010-07-06 20:53:13