| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB-wave alpha 2 | ? (TO) | 1800.03 | 1800.62 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb |
| MD5SUM | 35e445ac209f1522afc5b57d4ebf6731 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| 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.441932 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7578 |
| Total number of constraints | 21401 |
| Number of constraints which are clauses | 20501 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 900 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| 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 | 33 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 126 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.05 c PB-wave - v2 0.00/0.05 c command line = ./PB-wave 0.00/0.05 c seed = 112741721 0.00/0.05 c cutoff = 1000000 0.00/0.05 c tries = 1000000 0.00/0.05 c heuristic = c best, noise 50 / 100 0.00/0.05 #var 7578 #con 21401 0.00/0.05 mode is SAT 0.00/0.05 c tail starts after flip = 22734 0.00/0.05 c numatom = 7578, numclause = 21401, numliterals = 56979 0.00/0.05 c wff read in 0.00/0.05 c 0.00/0.05 c lowest final avg noise noise total avg mean mean 0.00/0.05 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.05 c this this this this this this success success until std 0.00/0.05 c try try try try try try rate tries assign dev 0.00/0.05 c 1.49/1.59 c 314 469 471.24 73.47 6.41 1000000 0 3.09/3.15 c 291 380 458.94 74.25 6.18 1000000 0 4.59/4.69 c 288 483 466.19 66.95 6.96 1000000 0 6.19/6.24 c 325 440 470.12 56.25 8.36 1000000 0 7.69/7.78 c 319 472 464.89 61.72 7.53 1000000 0 9.29/9.33 c 285 386 437.18 75.36 5.80 1000000 0 10.79/10.87 c 310 535 476.10 61.04 7.80 1000000 0 12.39/12.40 c 323 449 460.36 67.67 6.80 1000000 0 13.89/13.95 c 319 424 468.59 70.53 6.64 1000000 0 15.39/15.48 c 294 439 478.42 67.12 7.13 1000000 0 16.99/17.04 c 299 415 462.57 64.31 7.19 1000000 0 18.48/18.59 c 307 386 463.68 70.26 6.60 1000000 0 20.08/20.14 c 334 430 467.90 59.88 7.81 1000000 0 21.68/21.70 c 314 515 466.24 70.58 6.61 1000000 0 23.18/23.25 c 322 428 466.13 61.68 7.56 1000000 0 24.68/24.79 c 305 496 456.29 65.89 6.93 1000000 0 26.29/26.33 c 312 458 464.49 70.30 6.61 1000000 0 27.78/27.87 c 339 414 480.29 65.00 7.39 1000000 0 29.38/29.42 c 306 466 453.18 58.27 7.78 1000000 0 30.88/30.94 c 322 430 477.46 62.35 7.66 1000000 0 32.48/32.50 c 294 364 438.84 59.27 7.40 1000000 0 33.99/34.05 c 321 401 464.72 65.33 7.11 1000000 0 35.48/35.59 c 309 459 467.07 66.66 7.01 1000000 0 37.08/37.13 c 299 465 460.39 64.22 7.17 1000000 0 38.58/38.67 c 323 446 477.82 65.39 7.31 1000000 0 40.08/40.20 c 322 469 486.57 59.52 8.18 1000000 0 41.68/41.73 c 308 484 474.29 56.57 8.38 1000000 0 43.18/43.26 c 320 445 474.06 75.98 6.24 1000000 0 44.78/44.80 c 317 474 475.75 64.16 7.42 1000000 0 46.27/46.33 c 334 536 478.58 57.57 8.31 1000000 0 47.77/47.86 c 323 475 464.89 71.23 6.53 1000000 0 49.38/49.40 c 334 491 480.73 63.84 7.53 1000000 0 50.87/50.93 c 325 428 464.17 58.21 7.97 1000000 0 52.37/52.46 c 330 522 472.26 57.75 8.18 1000000 0 53.97/54.00 c 329 417 469.61 59.36 7.91 1000000 0 55.47/55.55 c 297 438 462.40 65.76 7.03 1000000 0 56.97/57.08 c 350 451 488.02 56.65 8.61 1000000 0 58.57/58.63 c 310 382 477.46 71.45 6.68 1000000 0 60.07/60.17 c 328 462 472.29 63.76 7.41 1000000 0 61.58/61.69 c 315 433 481.54 70.64 6.82 1000000 0 63.17/63.23 c 316 408 471.63 67.65 6.97 1000000 0 64.78/64.80 c 287 453 445.98 74.57 5.98 1000000 0 66.27/66.34 c 305 450 465.02 67.31 6.91 1000000 0 67.77/67.88 c 332 437 470.46 59.67 7.88 1000000 0 69.37/69.42 c 324 451 477.11 65.57 7.28 1000000 0 70.87/70.97 c 320 478 471.59 62.02 7.60 1000000 0 72.47/72.50 c 316 491 472.86 62.19 7.60 1000000 0 73.97/74.04 c 321 401 459.10 62.87 7.30 1000000 0 75.47/75.59 c 327 472 465.43 59.58 7.81 1000000 0 77.06/77.13 c 299 414 455.98 58.29 7.82 1000000 0 78.56/78.66 c 324 442 465.49 61.50 7.57 1000000 0 80.17/80.20 c 288 425 464.89 58.94 7.89 1000000 0 81.66/81.76 c 318 434 465.03 75.31 6.18 1000000 0 83.16/83.29 c 326 407 471.48 63.61 7.41 1000000 0 84.76/84.83 c 319 463 471.56 66.43 7.10 1000000 0 86.26/86.37 c 314 492 451.02 59.78 7.54 1000000 0 87.87/87.92 c 311 489 458.18 61.87 7.41 1000000 0 89.36/89.47 c 317 480 460.61 70.51 6.53 1000000 0 90.96/91.03 c 294 415 449.49 72.14 6.23 1000000 0 92.46/92.57 c 339 448 475.27 62.88 7.56 1000000 0 94.06/94.12 c 320 473 477.78 62.76 7.61 1000000 0 95.57/95.64 c 342 411 476.32 57.32 8.31 1000000 0 97.06/97.19 c 300 408 461.78 67.42 6.85 1000000 0 98.66/98.73 c 281 431 459.41 64.78 7.09 1000000 0 100.16/100.28 c 320 377 458.03 65.86 6.95 1000000 0 101.76/101.82 c 318 464 476.71 63.04 7.56 1000000 0 103.27/103.36 c 329 446 475.80 62.71 7.59 1000000 0 104.86/104.91 c 328 421 476.28 71.24 6.69 1000000 0 106.36/106.45 c 313 471 474.70 66.23 7.17 1000000 0 107.86/107.99 c 318 460 483.80 63.70 7.59 1000000 0 109.46/109.56 c 311 497 454.34 72.48 6.27 1000000 0 111.06/111.11 c 320 391 467.56 62.71 7.46 1000000 0 112.55/112.66 c 315 495 467.17 65.31 7.15 1000000 0 114.05/114.20 c 343 423 486.28 68.37 7.11 1000000 0 115.65/115.74 c 321 466 468.80 60.94 7.69 1000000 0 117.15/117.29 c 318 468 469.75 63.52 7.40 1000000 0 118.76/118.84 c 328 380 484.75 57.04 8.50 1000000 0 120.35/120.40 c 272 397 435.74 78.82 5.53 1000000 0 121.85/121.96 c 311 502 444.94 64.32 6.92 1000000 0 123.35/123.48 c 336 424 494.93 63.95 7.74 1000000 0 124.95/125.03 c 288 466 467.97 64.49 7.26 1000000 0 126.46/126.57 c 328 435 482.37 68.80 7.01 1000000 0 128.05/128.12 c 313 470 452.14 62.93 7.19 1000000 0 129.55/129.67 c 306 446 461.31 63.33 7.28 1000000 0 131.15/131.23 c 303 403 457.13 59.75 7.65 1000000 0 132.65/132.77 c 306 421 453.96 59.94 7.57 1000000 0 134.25/134.32 c 274 401 455.99 61.96 7.36 1000000 0 135.75/135.86 c 337 468 486.43 64.04 7.60 1000000 0 137.25/137.39 c 312 474 481.06 73.23 6.57 1000000 0 138.85/138.94 c 294 440 458.42 70.34 6.52 1000000 0 140.35/140.48 c 328 448 473.47 64.32 7.36 1000000 0 141.95/142.01 c 305 478 490.96 65.85 7.46 1000000 0 143.45/143.55 c 332 506 466.67 57.93 8.06 1000000 0 144.95/145.09 c 314 474 489.44 60.75 8.06 1000000 0 146.54/146.62 c 327 434 487.73 58.39 8.35 1000000 0 148.04/148.17 c 318 447 461.96 61.41 7.52 1000000 0 149.64/149.72 c 311 474 458.49 67.76 6.77 1000000 0 151.14/151.27 c 328 445 474.20 60.54 7.83 1000000 0 152.75/152.81 c 310 460 461.19 57.95 7.96 1000000 0 154.24/154.35 c 313 387 467.58 58.73 7.96 1000000 0 155.84/155.90 c 315 435 470.78 58.31 8.07 1000000 0 157.34/157.44 c 309 478 459.33 66.89 6.87 1000000 0 158.84/158.97 c 321 415 476.61 61.66 7.73 1000000 0 160.45/160.52 c 330 450 481.22 70.85 6.79 1000000 0 161.94/162.06 c 294 471 468.72 67.25 6.97 1000000 0 163.54/163.60 c 313 408 464.59 63.42 7.33 1000000 0 165.04/165.13 c 318 425 464.09 56.58 8.20 1000000 0 166.54/166.66 c 319 431 470.82 66.74 7.05 1000000 0 168.15/168.21 c 289 386 463.99 62.78 7.39 1000000 0 169.64/169.76 c 313 498 467.82 62.79 7.45 1000000 0 171.14/171.29 c 311 476 485.57 60.10 8.08 1000000 0 172.74/172.83 c 314 554 472.98 68.43 6.91 1000000 0 174.24/174.36 c 321 522 473.41 60.07 7.88 1000000 0 175.74/175.90 c 313 453 453.14 60.74 7.46 1000000 0 177.34/177.44 c 315 479 459.79 60.26 7.63 1000000 0 178.83/178.97 c 301 435 463.97 66.06 7.02 1000000 0 180.43/180.52 c 325 391 465.58 68.73 6.77 1000000 0 181.93/182.06 c 301 437 469.59 67.15 6.99 1000000 0 183.54/183.62 c 313 418 465.68 65.50 7.11 1000000 0 185.03/185.18 c 309 396 468.62 65.57 7.15 1000000 0 186.63/186.72 c 322 385 463.88 61.60 7.53 1000000 0 188.13/188.28 c 308 422 452.70 68.28 6.63 1000000 0 189.73/189.83 c 299 433 461.07 63.57 7.25 1000000 0 191.24/191.36 c 331 398 482.82 59.26 8.15 1000000 0 192.83/192.92 c 306 395 472.19 72.46 6.52 1000000 0 194.33/194.46 c 307 486 460.51 69.19 6.66 1000000 0 195.93/196.00 c 311 464 467.52 58.44 8.00 1000000 0 197.43/197.54 c 322 473 476.43 59.18 8.05 1000000 0 198.93/199.09 c 298 409 455.60 75.81 6.01 1000000 0 200.53/200.64 c 310 467 462.98 57.78 8.01 1000000 0 202.03/202.19 c 333 480 471.24 63.50 7.42 1000000 0 203.63/203.73 c 324 464 464.66 55.34 8.40 1000000 0 205.13/205.28 c 329 454 474.14 67.35 7.04 1000000 0 206.73/206.82 c 328 488 470.28 53.06 8.86 1000000 0 208.23/208.37 c 315 476 463.13 58.09 7.97 1000000 0 209.82/209.93 c 322 450 465.79 62.13 7.50 1000000 0 211.32/211.48 c 307 398 455.88 59.12 7.71 1000000 0 212.92/213.02 c 345 414 471.50 62.02 7.60 1000000 0 214.43/214.57 c 334 510 460.90 61.54 7.49 1000000 0 216.02/216.12 c 306 394 470.30 65.60 7.17 1000000 0 217.52/217.65 c 347 435 485.85 62.92 7.72 1000000 0 219.02/219.18 c 331 367 475.40 66.55 7.14 1000000 0 220.62/220.72 c 316 471 482.92 65.64 7.36 1000000 0 222.13/222.26 c 321 488 457.02 65.61 6.97 1000000 0 223.72/223.80 c 301 473 466.34 70.94 6.57 1000000 0 225.22/225.33 c 336 430 480.84 66.22 7.26 1000000 0 226.72/226.88 c 322 447 481.12 60.32 7.98 1000000 0 228.32/228.41 c 318 429 457.78 62.16 7.36 1000000 0 229.82/229.96 c 324 528 476.47 69.53 6.85 1000000 0 231.41/231.51 c 298 420 454.21 65.98 6.88 1000000 0 232.91/233.05 c 293 469 459.85 68.74 6.69 1000000 0 234.41/234.58 c 349 464 475.38 57.84 8.22 1000000 0 236.01/236.13 c 313 507 469.38 59.08 7.94 1000000 0 237.52/237.67 c 307 397 467.85 59.77 7.83 1000000 0 239.11/239.23 c 296 453 450.21 71.63 6.29 1000000 0 240.61/240.75 c 331 469 480.45 66.55 7.22 1000000 0 242.11/242.28 c 352 442 479.87 56.91 8.43 1000000 0 243.71/243.82 c 331 422 472.25 65.54 7.21 1000000 0 245.22/245.36 c 322 387 477.40 65.73 7.26 1000000 0 246.71/246.89 c 323 426 477.43 59.69 8.00 1000000 0 248.31/248.45 c 320 380 469.84 60.76 7.73 1000000 0 249.81/249.98 c 349 517 480.33 59.58 8.06 1000000 0 251.41/251.52 c 328 447 468.20 61.82 7.57 1000000 0 252.92/253.08 c 301 499 477.69 64.67 7.39 1000000 0 254.51/254.62 c 323 443 474.25 56.44 8.40 1000000 0 256.01/256.16 c 332 369 467.67 67.64 6.91 1000000 0 257.61/257.70 c 310 465 473.60 65.53 7.23 1000000 0 259.11/259.24 c 318 386 468.63 56.89 8.24 1000000 0 260.61/260.80 c 304 551 465.71 72.15 6.46 1000000 0 262.21/262.34 c 329 452 472.31 62.30 7.58 1000000 0 263.71/263.88 c 332 434 475.63 65.03 7.31 1000000 0 265.30/265.43 c 291 390 455.78 67.89 6.71 1000000 0 266.80/266.96 c 312 438 464.04 69.79 6.65 1000000 0 268.40/268.51 c 326 396 470.89 67.71 6.95 1000000 0 269.90/270.07 c 278 389 464.85 71.02 6.55 1000000 0 271.51/271.61 c 314 483 468.93 61.89 7.58 1000000 0 273.00/273.14 c 320 444 469.95 58.80 7.99 1000000 0 274.50/274.68 c 321 426 480.39 60.76 7.91 1000000 0 276.10/276.22 c 292 466 466.97 84.61 5.52 1000000 0 277.60/277.75 c 332 387 473.80 64.12 7.39 1000000 0 279.10/279.28 c 321 451 476.08 58.33 8.16 1000000 0 280.70/280.83 c 297 470 454.88 72.25 6.30 1000000 0 282.20/282.38 c 312 450 470.28 75.25 6.25 1000000 0 283.80/283.92 c 315 402 466.40 67.31 6.93 1000000 0 285.30/285.45 c 352 555 480.60 59.27 8.11 1000000 0 286.90/287.01 c 300 410 454.10 70.98 6.40 1000000 0 288.40/288.54 c 328 502 487.89 69.18 7.05 1000000 0 289.90/290.08 c 325 457 478.52 60.39 7.92 1000000 0 291.49/291.62 c 315 538 462.00 59.53 7.76 1000000 0 292.99/293.15 c 326 494 473.69 58.35 8.12 1000000 0 294.49/294.68 c 320 361 478.52 73.78 6.49 1000000 0 296.09/296.21 c 340 477 484.88 54.90 8.83 1000000 0 297.59/297.75 c 313 460 464.96 61.43 7.57 1000000 0 299.19/299.30 c 317 472 467.96 59.28 7.89 1000000 0 300.69/300.83 c 324 433 477.02 64.00 7.45 1000000 0 302.19/302.37 c 345 543 476.02 58.01 8.21 1000000 0 303.69/303.89 c 335 408 479.30 72.54 6.61 1000000 0 305.29/305.44 c 305 476 461.46 73.18 6.31 1000000 0 306.80/306.98 c 331 475 471.65 60.19 7.84 1000000 0 308.39/308.52 c 307 340 461.83 66.62 6.93 1000000 0 309.89/310.08 c 323 498 458.93 65.53 7.00 1000000 0 311.49/311.63 c 301 421 459.58 66.04 6.96 1000000 0 312.99/313.17 c 322 482 462.26 68.80 6.72 1000000 0 314.59/314.71 c 301 377 456.15 63.23 7.21 1000000 0 316.09/316.26 c 312 440 463.46 68.95 6.72 1000000 0 317.69/317.81 c 311 388 462.37 70.00 6.61 1000000 0 319.18/319.36 c 312 396 471.62 64.44 7.32 1000000 0 320.78/320.90 c 304 420 476.83 64.23 7.42 1000000 0 322.28/322.45 c 322 463 470.90 58.69 8.02 1000000 0 323.88/324.00 c 281 467 450.67 65.41 6.89 1000000 0 325.39/325.53 c 286 441 463.01 57.91 7.99 1000000 0 326.88/327.07 c 318 471 473.15 66.49 7.12 1000000 0 328.48/328.61 c 338 412 482.29 58.27 8.28 1000000 0 329.98/330.16 c 294 390 464.76 69.12 6.72 1000000 0 331.48/331.68 c 322 503 481.30 65.48 7.35 1000000 0 333.09/333.22 c 314 408 469.07 67.37 6.96 1000000 0 334.58/334.75 c 349 419 484.97 64.36 7.53 1000000 0 336.08/336.28 c 324 440 483.42 68.27 7.08 1000000 0 337.68/337.84 c 304 422 449.51 73.12 6.15 1000000 0 339.28/339.40 c 285 425 445.43 78.38 5.68 1000000 0 340.78/340.95 c 282 364 439.34 68.22 6.44 1000000 0 342.28/342.49 c 324 531 470.69 65.80 7.15 1000000 0 343.88/344.03 c 298 463 463.88 71.66 6.47 1000000 0 345.38/345.55 c 332 493 476.79 57.43 8.30 1000000 0 346.88/347.09 c 317 498 472.05 58.30 8.10 1000000 0 348.48/348.64 c 281 462 466.58 68.79 6.78 1000000 0 349.97/350.18 c 325 408 477.51 59.31 8.05 1000000 0 351.57/351.73 c 290 426 458.78 62.36 7.36 1000000 0 353.07/353.29 c 304 358 446.57 65.05 6.87 1000000 0 354.67/354.82 c 278 362 446.55 70.31 6.35 1000000 0 356.18/356.36 c 304 510 457.65 60.19 7.60 1000000 0 357.77/357.90 c 309 436 462.99 55.17 8.39 1000000 0 359.27/359.44 c 344 456 485.31 57.19 8.49 1000000 0 360.87/361.00 c 290 467 461.97 76.51 6.04 1000000 0 362.37/362.54 c 322 424 464.15 65.96 7.04 1000000 0 363.88/364.08 c 289 447 463.32 72.41 6.40 1000000 0 365.47/365.62 c 307 474 473.89 73.22 6.47 1000000 0 366.97/367.16 c 333 523 481.29 60.67 7.93 1000000 0 368.57/368.71 c 289 474 464.15 70.12 6.62 1000000 0 370.07/370.27 c 295 485 455.23 67.13 6.78 1000000 0 371.67/371.82 c 328 457 472.93 66.17 7.15 1000000 0 373.17/373.38 c 317 436 455.25 61.35 7.42 1000000 0 374.77/374.91 c 320 415 473.06 59.95 7.89 1000000 0 376.26/376.45 c 334 439 478.54 64.69 7.40 1000000 0 377.86/378.00 c 332 440 470.50 64.48 7.30 1000000 0 379.37/379.54 c 309 497 462.72 62.88 7.36 1000000 0 380.97/381.10 c 299 430 441.42 73.33 6.02 1000000 0 382.46/382.66 c 292 547 473.91 62.01 7.64 1000000 0 383.96/384.18 c 345 413 485.97 56.88 8.54 1000000 0 385.56/385.73 c 313 486 465.32 77.35 6.02 1000000 0 387.07/387.28 c 310 375 446.64 70.67 6.32 1000000 0 388.66/388.82 c 329 373 472.75 73.95 6.39 1000000 0 390.16/390.37 c 299 515 466.38 66.43 7.02 1000000 0 391.76/391.90 c 340 446 491.45 54.42 9.03 1000000 0 393.26/393.44 c 320 475 479.88 68.02 7.05 1000000 0 394.77/394.96 c 352 574 482.67 56.86 8.49 1000000 0 396.36/396.51 c 313 447 464.24 74.27 6.25 1000000 0 397.86/398.07 c 292 400 457.41 63.59 7.19 1000000 0 399.46/399.61 c 318 463 477.35 74.76 6.39 1000000 0 400.96/401.14 c 349 458 493.45 56.94 8.67 1000000 0 402.46/402.68 c 336 444 466.64 65.67 7.11 1000000 0 404.05/404.22 c 315 409 465.62 70.74 6.58 1000000 0 405.55/405.76 c 322 447 476.10 59.77 7.97 1000000 0 407.15/407.31 c 298 482 456.50 65.58 6.96 1000000 0 408.65/408.85 c 334 408 482.53 61.15 7.89 1000000 0 410.16/410.39 c 300 475 465.95 68.79 6.77 1000000 0 411.75/411.93 c 311 444 470.45 68.89 6.83 1000000 0 413.25/413.46 c 336 460 475.59 69.57 6.84 1000000 0 414.85/415.00 c 319 464 470.72 67.97 6.93 1000000 0 416.35/416.56 c 299 475 452.99 67.47 6.71 1000000 0 417.95/418.11 c 299 356 458.10 76.56 5.98 1000000 0 419.45/419.65 c 334 472 496.19 59.40 8.35 1000000 0 420.95/421.18 c 334 371 473.12 67.95 6.96 1000000 0 422.55/422.73 c 316 460 469.46 71.08 6.60 1000000 0 424.05/424.25 c 325 453 474.84 70.74 6.71 1000000 0 425.55/425.79 c 313 404 479.75 72.91 6.58 1000000 0 427.15/427.33 c 323 543 473.23 55.43 8.54 1000000 0 428.65/428.88 c 339 459 471.97 55.44 8.51 1000000 0 430.24/430.41 c 339 482 488.25 63.07 7.74 1000000 0 431.74/431.96 c 323 373 469.63 65.63 7.16 1000000 0 433.34/433.51 c 307 453 464.54 56.39 8.24 1000000 0 434.84/435.07 c 293 390 463.28 62.39 7.43 1000000 0 436.45/436.61 c 322 430 474.76 61.32 7.74 1000000 0 437.94/438.15 c 308 425 461.44 72.06 6.40 1000000 0 439.44/439.69 c 319 441 467.71 66.36 7.05 1000000 0 441.04/441.24 c 312 453 469.87 66.46 7.07 1000000 0 442.54/442.78 c 282 424 470.07 63.97 7.35 1000000 0 444.15/444.31 c 335 456 484.80 61.34 7.90 1000000 0 445.64/445.85 c 320 401 467.29 69.67 6.71 1000000 0 447.14/447.39 c 303 486 454.79 62.47 7.28 1000000 0 448.74/448.93 c 317 386 462.16 64.21 7.20 1000000 0 450.24/450.46 c 338 421 478.17 63.93 7.48 1000000 0 451.85/452.01 c 307 504 463.10 63.14 7.33 1000000 0 453.34/453.58 c 314 448 463.49 61.47 7.54 1000000 0 454.94/455.10 c 327 387 470.16 62.88 7.48 1000000 0 456.44/456.64 c 312 438 464.03 65.56 7.08 1000000 0 457.94/458.19 c 320 466 466.05 67.99 6.85 1000000 0 459.54/459.73 c 333 546 477.18 65.33 7.30 1000000 0 461.04/461.28 c 302 384 448.37 59.01 7.60 1000000 0 462.63/462.81 c 333 498 468.48 63.63 7.36 1000000 0 464.13/464.37 c 313 453 466.14 61.65 7.56 1000000 0 465.73/465.92 c 320 428 460.88 58.08 7.94 1000000 0 467.24/467.46 c 310 480 460.04 63.77 7.21 1000000 0 468.73/468.99 c 298 437 453.72 60.91 7.45 1000000 0 470.33/470.54 c 308 436 473.58 69.66 6.80 1000000 0 471.83/472.08 c 333 550 479.30 63.75 7.52 1000000 0 473.43/473.63 c 317 474 475.45 62.16 7.65 1000000 0 474.94/475.16 c 331 450 476.16 68.59 6.94 1000000 0 476.43/476.69 c 308 410 483.39 59.19 8.17 1000000 0 478.03/478.22 c 322 430 471.66 71.81 6.57 1000000 0 479.53/479.78 c 294 473 466.81 70.01 6.67 1000000 0 481.13/481.32 c 330 448 471.62 60.74 7.76 1000000 0 482.64/482.87 c 333 446 480.73 64.93 7.40 1000000 0 484.23/484.40 c 274 386 461.55 62.34 7.40 1000000 0 485.73/485.94 c 319 421 457.64 65.18 7.02 1000000 0 487.23/487.48 c 330 455 470.22 62.87 7.48 1000000 0 488.83/489.02 c 336 415 467.29 67.26 6.95 1000000 0 490.33/490.56 c 327 468 490.40 75.76 6.47 1000000 0 491.93/492.10 c 321 420 473.00 66.23 7.14 1000000 0 493.43/493.65 c 306 440 452.45 68.39 6.62 1000000 0 495.03/495.20 c 312 396 469.86 76.70 6.13 1000000 0 496.52/496.74 c 331 439 473.98 58.11 8.16 1000000 0 498.03/498.30 c 293 423 449.01 70.95 6.33 1000000 0 499.63/499.84 c 334 456 482.57 57.39 8.41 1000000 0 501.12/501.37 c 320 528 466.82 59.80 7.81 1000000 0 502.72/502.91 c 301 422 470.53 69.45 6.77 1000000 0 504.22/504.45 c 294 504 470.36 61.33 7.67 1000000 0 505.73/505.99 c 303 394 462.94 67.03 6.91 1000000 0 507.32/507.53 c 318 445 461.45 65.71 7.02 1000000 0 508.82/509.08 c 316 566 464.02 59.03 7.86 1000000 0 510.42/510.63 c 276 482 459.64 80.87 5.68 1000000 0 511.92/512.19 c 295 480 457.61 71.06 6.44 1000000 0 513.53/513.72 c 286 431 469.60 68.95 6.81 1000000 0 515.02/515.27 c 305 417 458.19 64.08 7.15 1000000 0 516.62/516.81 c 318 431 473.17 58.99 8.02 1000000 0 518.12/518.34 c 316 446 475.54 59.88 7.94 1000000 0 519.62/519.89 c 313 511 471.69 65.17 7.24 1000000 0 521.23/521.42 c 343 464 477.41 61.49 7.76 1000000 0 522.72/522.98 c 321 410 451.02 68.43 6.59 1000000 0 524.32/524.52 c 327 428 472.34 64.89 7.28 1000000 0 525.82/526.07 c 329 437 468.15 62.09 7.54 1000000 0 527.42/527.61 c 334 515 469.45 67.01 7.01 1000000 0 528.92/529.14 c 308 455 480.24 65.99 7.28 1000000 0 530.42/530.67 c 333 472 481.90 72.05 6.69 1000000 0 532.02/532.20 c 304 430 472.70 69.69 6.78 1000000 0 533.51/533.74 c 350 400 484.53 65.09 7.44 1000000 0 535.01/535.27 c 325 472 473.08 64.66 7.32 1000000 0 536.52/536.80 c 301 380 482.40 64.55 7.47 1000000 0 538.11/538.33 c 360 457 489.43 63.91 7.66 1000000 0 539.61/539.86 c 318 421 467.74 64.37 7.27 1000000 0 541.21/541.41 c 317 494 474.01 58.06 8.16 1000000 0 542.71/542.95 c 307 432 464.93 63.53 7.32 1000000 0 544.22/544.48 c 321 509 464.72 60.82 7.64 1000000 0 545.81/546.03 c 326 470 469.84 67.35 6.98 1000000 0 547.31/547.57 c 320 433 456.98 59.31 7.70 1000000 0 548.91/549.10 c 346 453 487.00 48.64 10.01 1000000 0 550.41/550.64 c 343 419 481.46 61.40 7.84 1000000 0 551.92/552.18 c 303 421 461.12 73.73 6.25 1000000 0 553.51/553.71 c 316 582 479.04 63.39 7.56 1000000 0 555.01/555.24 c 319 512 461.00 69.89 6.60 1000000 0 556.51/556.78 c 353 438 483.35 56.59 8.54 1000000 0 558.11/558.33 c 322 435 462.51 66.94 6.91 1000000 0 559.61/559.88 c 314 472 468.01 66.68 7.02 1000000 0 561.21/561.42 c 308 470 473.42 65.57 7.22 1000000 0 562.71/562.96 c 305 441 455.86 68.26 6.68 1000000 0 564.31/564.50 c 335 377 458.00 56.27 8.14 1000000 0 565.80/566.03 c 331 401 480.80 64.87 7.41 1000000 0 567.31/567.58 c 318 442 452.97 66.42 6.82 1000000 0 568.90/569.13 c 330 441 465.64 59.35 7.85 1000000 0 570.40/570.66 c 325 505 477.44 65.38 7.30 1000000 0 572.00/572.21 c 315 413 464.32 73.65 6.30 1000000 0 573.50/573.77 c 314 340 461.74 64.39 7.17 1000000 0 575.11/575.33 c 317 422 462.76 66.58 6.95 1000000 0 576.60/576.87 c 280 376 465.09 70.01 6.64 1000000 0 578.20/578.43 c 306 381 455.14 76.56 5.94 1000000 0 579.70/579.97 c 308 523 484.25 69.32 6.99 1000000 0 581.30/581.51 c 299 450 456.76 67.30 6.79 1000000 0 582.80/583.05 c 340 417 484.86 63.47 7.64 1000000 0 584.40/584.61 c 308 404 462.54 68.12 6.79 1000000 0 585.90/586.15 c 318 380 463.52 69.38 6.68 1000000 0 587.40/587.69 c 286 460 460.52 61.04 7.54 1000000 0 588.99/589.22 c 346 459 482.87 57.50 8.40 1000000 0 590.50/590.76 c 318 465 472.02 61.30 7.70 1000000 0 592.09/592.31 c 311 449 449.09 64.99 6.91 1000000 0 593.59/593.86 c 290 451 458.59 68.22 6.72 1000000 0 595.19/595.42 c 311 423 461.77 73.87 6.25 1000000 0 596.69/596.96 c 307 512 453.92 65.71 6.91 1000000 0 598.29/598.50 c 337 447 476.11 53.21 8.95 1000000 0 599.79/600.06 c 311 422 464.72 57.35 8.10 1000000 0 601.40/601.61 c 323 412 462.95 66.56 6.96 1000000 0 602.89/603.14 c 328 473 478.99 56.53 8.47 1000000 0 604.39/604.68 c 313 436 479.43 59.95 8.00 1000000 0 605.99/606.21 c 294 359 460.69 58.83 7.83 1000000 0 607.49/607.74 c 325 476 471.95 64.11 7.36 1000000 0 608.99/609.29 c 284 435 449.32 67.65 6.64 1000000 0 610.59/610.82 c 318 452 476.50 68.51 6.96 1000000 0 612.09/612.38 c 325 404 469.93 73.64 6.38 1000000 0 613.69/613.93 c 312 440 476.91 65.39 7.29 1000000 0 615.19/615.47 c 278 469 471.21 69.10 6.82 1000000 0 616.69/617.00 c 320 460 469.28 63.80 7.36 1000000 0 618.29/618.54 c 305 375 462.95 71.46 6.48 1000000 0 619.78/620.07 c 304 474 475.54 66.29 7.17 1000000 0 621.39/621.62 c 326 465 472.05 71.72 6.58 1000000 0 622.89/623.17 c 315 430 468.07 58.98 7.94 1000000 0 624.38/624.70 c 320 470 464.97 60.78 7.65 1000000 0 625.98/626.24 c 292 388 452.04 65.65 6.89 1000000 0 627.48/627.79 c 272 415 447.66 74.99 5.97 1000000 0 629.08/629.33 c 302 418 463.04 67.40 6.87 1000000 0 630.58/630.89 c 304 368 461.12 61.33 7.52 1000000 0 632.19/632.42 c 321 491 485.45 56.16 8.64 1000000 0 633.68/633.98 c 304 460 460.93 66.25 6.96 1000000 0 635.28/635.52 c 329 480 465.22 55.97 8.31 1000000 0 636.78/637.05 c 328 433 471.54 67.47 6.99 1000000 0 638.28/638.58 c 331 424 467.17 53.45 8.74 1000000 0 639.89/640.15 c 308 415 454.20 72.60 6.26 1000000 0 641.38/641.69 c 316 360 462.85 58.94 7.85 1000000 0 642.98/643.22 c 302 458 464.74 59.84 7.77 1000000 0 644.48/644.79 c 290 419 443.90 55.81 7.95 1000000 0 646.08/646.32 c 337 401 475.57 58.09 8.19 1000000 0 647.58/647.87 c 343 495 471.30 56.45 8.35 1000000 0 649.18/649.42 c 311 461 461.40 69.78 6.61 1000000 0 650.68/650.97 c 313 427 473.28 62.08 7.62 1000000 0 652.28/652.52 c 322 459 461.08 70.61 6.53 1000000 0 653.78/654.08 c 288 393 460.37 58.47 7.87 1000000 0 655.38/655.61 c 326 373 484.09 63.47 7.63 1000000 0 656.87/657.17 c 308 416 459.53 72.64 6.33 1000000 0 658.47/658.70 c 318 540 466.51 60.17 7.75 1000000 0 659.97/660.24 c 324 440 462.69 59.07 7.83 1000000 0 661.47/661.79 c 296 375 458.22 62.31 7.35 1000000 0 663.08/663.36 c 292 403 449.08 61.18 7.34 1000000 0 664.57/664.89 c 313 474 474.25 71.50 6.63 1000000 0 666.17/666.44 c 334 451 470.31 55.77 8.43 1000000 0 667.67/667.97 c 319 464 463.71 59.74 7.76 1000000 0 669.27/669.52 c 307 395 473.22 70.39 6.72 1000000 0 670.78/671.07 c 314 419 457.84 59.59 7.68 1000000 0 672.37/672.63 c 302 490 453.92 67.11 6.76 1000000 0 673.87/674.16 c 326 438 469.22 60.16 7.80 1000000 0 675.47/675.72 c 309 508 437.81 64.63 6.77 1000000 0 676.97/677.26 c 322 439 468.71 55.66 8.42 1000000 0 678.57/678.80 c 349 471 492.33 63.88 7.71 1000000 0 680.07/680.35 c 293 487 457.53 62.88 7.28 1000000 0 681.57/681.88 c 309 433 466.96 62.94 7.42 1000000 0 683.17/683.42 c 339 457 483.91 73.01 6.63 1000000 0 684.66/684.96 c 327 448 477.14 60.48 7.89 1000000 0 686.26/686.51 c 304 470 471.78 66.42 7.10 1000000 0 687.76/688.07 c 295 391 454.30 73.04 6.22 1000000 0 689.37/689.60 c 305 437 460.47 70.28 6.55 1000000 0 690.86/691.16 c 301 379 455.87 69.96 6.52 1000000 0 692.36/692.70 c 284 467 463.59 65.18 7.11 1000000 0 693.96/694.24 c 311 396 463.10 60.74 7.62 1000000 0 695.56/695.80 c 306 401 450.82 68.26 6.60 1000000 0 697.07/697.34 c 306 428 463.21 69.11 6.70 1000000 0 698.56/698.89 c 315 472 464.38 61.81 7.51 1000000 0 700.16/700.43 c 301 446 468.78 70.46 6.65 1000000 0 701.66/701.98 c 339 474 485.01 61.53 7.88 1000000 0 703.26/703.53 c 324 545 469.32 57.24 8.20 1000000 0 704.76/705.06 c 318 445 473.88 65.39 7.25 1000000 0 706.36/706.61 c 302 425 464.59 63.87 7.27 1000000 0 707.86/708.15 c 335 436 471.25 64.62 7.29 1000000 0 709.35/709.69 c 331 488 480.75 65.89 7.30 1000000 0 710.95/711.24 c 335 438 476.67 66.77 7.14 1000000 0 712.46/712.79 c 295 505 458.77 61.01 7.52 1000000 0 714.05/714.34 c 314 359 480.88 65.82 7.31 1000000 0 715.55/715.87 c 343 528 470.58 66.35 7.09 1000000 0 717.15/717.41 c 291 443 466.36 69.02 6.76 1000000 0 718.65/718.96 c 296 449 465.60 61.46 7.58 1000000 0 720.16/720.50 c 294 359 462.46 63.93 7.23 1000000 0 721.75/722.05 c 330 479 470.58 66.89 7.03 1000000 0 723.25/723.59 c 289 418 464.56 63.87 7.27 1000000 0 724.85/725.15 c 313 479 464.33 66.89 6.94 1000000 0 726.35/726.69 c 297 406 465.78 67.68 6.88 1000000 0 727.96/728.23 c 308 417 463.10 63.57 7.29 1000000 0 729.45/729.78 c 315 480 463.89 64.71 7.17 1000000 0 731.05/731.32 c 286 449 444.25 63.13 7.04 1000000 0 732.55/732.85 c 332 475 472.92 66.64 7.10 1000000 0 734.05/734.39 c 319 473 476.59 66.91 7.12 1000000 0 735.65/735.94 c 303 482 463.39 62.46 7.42 1000000 0 737.15/737.49 c 285 381 449.59 61.73 7.28 1000000 0 738.75/739.03 c 293 408 468.10 61.16 7.65 1000000 0 740.25/740.57 c 290 445 471.95 67.05 7.04 1000000 0 741.85/742.11 c 350 472 488.68 51.81 9.43 1000000 0 743.35/743.65 c 315 423 457.12 65.95 6.93 1000000 0 744.84/745.19 c 296 516 469.68 62.09 7.56 1000000 0 746.44/746.73 c 288 467 473.78 63.39 7.47 1000000 0 747.94/748.26 c 329 490 461.30 59.74 7.72 1000000 0 749.44/749.79 c 314 486 464.14 58.62 7.92 1000000 0 751.05/751.33 c 332 516 470.68 54.44 8.65 1000000 0 752.54/752.89 c 312 457 456.32 67.82 6.73 1000000 0 754.14/754.42 c 297 382 463.81 64.49 7.19 1000000 0 755.64/755.96 c 307 473 463.27 64.13 7.22 1000000 0 757.24/757.51 c 298 448 462.26 64.55 7.16 1000000 0 758.75/759.06 c 329 417 473.56 67.14 7.05 1000000 0 760.34/760.60 c 330 424 478.98 60.61 7.90 1000000 0 761.84/762.15 c 294 461 447.76 69.16 6.47 1000000 0 763.44/763.70 c 308 466 467.58 64.15 7.29 1000000 0 764.94/765.24 c 288 428 464.77 69.81 6.66 1000000 0 766.44/766.79 c 298 456 460.46 63.20 7.29 1000000 0 768.04/768.33 c 306 444 467.44 72.03 6.49 1000000 0 769.54/769.89 c 326 482 467.77 61.26 7.64 1000000 0 771.13/771.43 c 318 448 479.88 73.69 6.51 1000000 0 772.63/772.98 c 320 447 465.38 63.36 7.35 1000000 0 774.23/774.54 c 314 450 462.19 64.00 7.22 1000000 0 775.73/776.07 c 324 447 473.36 56.74 8.34 1000000 0 777.34/777.61 c 337 511 478.07 57.62 8.30 1000000 0 778.83/779.16 c 321 470 465.68 70.31 6.62 1000000 0 780.33/780.70 c 310 412 464.46 68.86 6.75 1000000 0 781.93/782.23 c 307 346 470.04 64.77 7.26 1000000 0 783.43/783.77 c 336 464 473.92 64.95 7.30 1000000 0 785.04/785.33 c 316 468 463.67 59.67 7.77 1000000 0 786.53/786.87 c 327 396 471.85 62.04 7.61 1000000 0 788.03/788.39 c 336 446 489.96 61.13 8.02 1000000 0 789.63/789.92 c 370 428 490.62 53.30 9.20 1000000 0 791.13/791.45 c 306 445 481.15 58.99 8.16 1000000 0 792.63/793.00 c 334 507 466.66 55.71 8.38 1000000 0 794.23/794.55 c 319 470 472.48 59.63 7.92 1000000 0 795.83/796.10 c 336 435 470.99 69.77 6.75 1000000 0 797.32/797.65 c 291 391 468.05 69.66 6.72 1000000 0 798.82/799.19 c 329 432 467.40 67.43 6.93 1000000 0 800.43/800.74 c 335 496 468.54 62.67 7.48 1000000 0 801.92/802.28 c 340 441 479.19 62.20 7.70 1000000 0 803.52/803.81 c 344 479 477.10 67.77 7.04 1000000 0 805.02/805.37 c 277 334 444.69 62.83 7.08 1000000 0 806.62/806.94 c 313 481 449.54 70.91 6.34 1000000 0 808.13/808.48 c 325 442 472.54 60.56 7.80 1000000 0 809.72/810.01 c 307 441 474.25 54.82 8.65 1000000 0 811.22/811.55 c 323 417 471.32 53.66 8.78 1000000 0 812.82/813.11 c 310 426 460.66 69.30 6.65 1000000 0 814.32/814.64 c 321 459 474.03 69.28 6.84 1000000 0 815.83/816.18 c 332 406 469.08 65.70 7.14 1000000 0 817.42/817.73 c 335 617 480.10 61.39 7.82 1000000 0 818.92/819.26 c 311 484 467.98 62.46 7.49 1000000 0 820.42/820.79 c 338 468 472.90 68.24 6.93 1000000 0 822.02/822.32 c 336 395 476.83 64.46 7.40 1000000 0 823.52/823.86 c 311 406 464.46 59.67 7.78 1000000 0 825.12/825.40 c 297 401 458.84 64.55 7.11 1000000 0 826.62/826.95 c 313 382 471.87 61.34 7.69 1000000 0 828.22/828.50 c 325 416 466.15 66.54 7.01 1000000 0 829.71/830.04 c 332 491 477.24 59.54 8.02 1000000 0 831.22/831.59 c 317 408 467.98 73.91 6.33 1000000 0 832.81/833.13 c 328 461 471.89 52.19 9.04 1000000 0 834.31/834.69 c 305 386 454.83 67.99 6.69 1000000 0 835.91/836.23 c 317 457 471.49 60.45 7.80 1000000 0 837.41/837.78 c 297 395 470.96 66.92 7.04 1000000 0 839.02/839.32 c 327 481 476.97 60.69 7.86 1000000 0 840.51/840.86 c 303 426 469.06 57.35 8.18 1000000 0 842.11/842.41 c 313 477 462.29 66.77 6.92 1000000 0 843.61/843.96 c 315 499 462.81 61.66 7.51 1000000 0 845.21/845.50 c 328 449 465.71 58.89 7.91 1000000 0 846.72/847.04 c 325 432 471.52 63.01 7.48 1000000 0 848.21/848.59 c 321 394 478.33 66.35 7.21 1000000 0 849.81/850.13 c 331 489 476.35 68.07 7.00 1000000 0 851.31/851.67 c 305 494 470.97 59.50 7.92 1000000 0 852.91/853.22 c 295 399 456.60 68.68 6.65 1000000 0 854.42/854.77 c 285 418 451.52 68.18 6.62 1000000 0 856.01/856.31 c 321 490 477.91 63.37 7.54 1000000 0 857.51/857.86 c 319 469 453.46 59.70 7.60 1000000 0 859.11/859.40 c 320 405 469.32 67.00 7.00 1000000 0 860.61/860.94 c 321 438 463.92 67.07 6.92 1000000 0 862.21/862.50 c 296 423 447.30 61.01 7.33 1000000 0 863.71/864.04 c 263 418 460.58 83.98 5.48 1000000 0 865.21/865.56 c 307 429 466.64 63.30 7.37 1000000 0 866.81/867.11 c 322 432 467.72 67.62 6.92 1000000 0 868.30/868.66 c 299 379 450.96 66.27 6.80 1000000 0 869.90/870.21 c 330 497 459.74 61.42 7.49 1000000 0 871.40/871.74 c 317 366 466.92 71.83 6.50 1000000 0 872.90/873.29 c 328 410 476.45 69.00 6.91 1000000 0 874.50/874.82 c 330 416 484.68 67.86 7.14 1000000 0 876.00/876.37 c 316 474 471.73 60.68 7.77 1000000 0 877.60/877.91 c 319 416 465.09 65.00 7.15 1000000 0 879.10/879.46 c 301 482 458.17 60.51 7.57 1000000 0 880.60/881.00 c 319 526 471.02 68.88 6.84 1000000 0 882.20/882.56 c 296 449 458.96 70.07 6.55 1000000 0 883.80/884.10 c 308 476 477.19 60.90 7.84 1000000 0 885.30/885.62 c 295 408 468.77 65.40 7.17 1000000 0 886.80/887.16 c 300 392 475.06 54.95 8.64 1000000 0 888.30/888.70 c 301 432 462.80 77.33 5.98 1000000 0 889.90/890.23 c 323 420 483.48 64.84 7.46 1000000 0 891.40/891.78 c 312 473 471.95 54.26 8.70 1000000 0 893.00/893.33 c 304 431 478.25 67.74 7.06 1000000 0 894.50/894.86 c 320 543 461.05 56.41 8.17 1000000 0 895.99/896.39 c 322 414 462.29 57.46 8.04 1000000 0 897.59/897.94 c 323 406 485.23 65.42 7.42 1000000 0 899.09/899.47 c 323 425 471.67 63.67 7.41 1000000 0 900.69/901.01 c 318 389 459.65 60.99 7.54 1000000 0 902.19/902.55 c 312 432 470.37 68.70 6.85 1000000 0 903.80/904.11 c 324 418 476.21 59.32 8.03 1000000 0 905.29/905.64 c 315 497 475.85 72.54 6.56 1000000 0 906.79/907.17 c 320 392 479.51 64.83 7.40 1000000 0 908.39/908.71 c 328 480 474.96 68.48 6.94 1000000 0 909.89/910.26 c 294 434 456.50 74.68 6.11 1000000 0 911.50/911.81 c 344 463 472.86 57.23 8.26 1000000 0 912.99/913.35 c 335 490 482.73 61.91 7.80 1000000 0 914.49/914.88 c 316 500 462.02 59.03 7.83 1000000 0 916.09/916.43 c 317 401 470.71 63.20 7.45 1000000 0 917.59/917.98 c 304 446 464.97 74.60 6.23 1000000 0 919.19/919.54 c 317 460 444.77 62.83 7.08 1000000 0 920.69/921.07 c 301 355 460.55 59.41 7.75 1000000 0 922.28/922.61 c 339 500 463.81 56.56 8.20 1000000 0 923.78/924.14 c 338 494 479.61 67.65 7.09 1000000 0 925.28/925.69 c 300 404 454.48 67.16 6.77 1000000 0 926.89/927.23 c 325 417 481.48 68.25 7.05 1000000 0 928.38/928.76 c 322 423 468.19 64.19 7.29 1000000 0 929.98/930.30 c 318 500 481.79 67.05 7.19 1000000 0 931.48/931.84 c 313 380 471.50 67.39 7.00 1000000 0 932.98/933.38 c 318 423 475.11 65.48 7.26 1000000 0 934.59/934.92 c 335 466 475.56 66.37 7.16 1000000 0 936.08/936.45 c 337 484 495.96 62.44 7.94 1000000 0 937.68/938.00 c 294 367 470.92 68.75 6.85 1000000 0 939.18/939.54 c 316 481 465.01 66.82 6.96 1000000 0 940.68/941.08 c 335 463 474.04 68.77 6.89 1000000 0 942.29/942.61 c 336 472 475.44 69.33 6.86 1000000 0 943.78/944.15 c 345 536 492.55 62.33 7.90 1000000 0 945.38/945.70 c 333 430 467.21 68.61 6.81 1000000 0 946.88/947.26 c 297 447 440.12 65.76 6.69 1000000 0 948.48/948.81 c 329 472 466.09 57.29 8.14 1000000 0 949.98/950.36 c 302 442 466.66 71.74 6.50 1000000 0 951.48/951.90 c 265 474 468.19 76.41 6.13 1000000 0 953.08/953.45 c 326 450 456.65 62.88 7.26 1000000 0 954.58/954.98 c 328 476 480.44 65.91 7.29 1000000 0 956.18/956.51 c 320 479 475.56 64.66 7.36 1000000 0 957.68/958.05 c 311 437 459.00 69.11 6.64 1000000 0 959.27/959.60 c 329 402 464.49 72.91 6.37 1000000 0 960.77/961.14 c 320 421 459.86 63.57 7.23 1000000 0 962.37/962.70 c 292 413 462.59 67.10 6.89 1000000 0 963.87/964.23 c 335 498 479.01 64.73 7.40 1000000 0 965.38/965.77 c 327 449 466.47 55.52 8.40 1000000 0 966.97/967.32 c 335 447 477.67 56.36 8.48 1000000 0 968.47/968.87 c 282 421 452.55 65.58 6.90 1000000 0 970.07/970.40 c 286 461 467.78 72.09 6.49 1000000 0 971.57/971.94 c 305 465 464.64 66.95 6.94 1000000 0 973.08/973.47 c 313 493 474.72 66.25 7.17 1000000 0 974.67/975.01 c 302 458 466.52 62.85 7.42 1000000 0 976.17/976.55 c 309 353 470.00 61.49 7.64 1000000 0 977.67/978.09 c 336 458 469.86 53.00 8.87 1000000 0 979.27/979.63 c 309 387 458.76 72.42 6.34 1000000 0 980.77/981.18 c 313 462 471.93 68.20 6.92 1000000 0 982.37/982.71 c 312 427 471.11 56.95 8.27 1000000 0 983.87/984.25 c 312 443 472.00 59.55 7.93 1000000 0 985.47/985.80 c 296 476 472.53 63.63 7.43 1000000 0 986.96/987.35 c 331 452 474.83 69.69 6.81 1000000 0 988.47/988.90 c 302 414 462.54 57.21 8.08 1000000 0 990.06/990.45 c 336 421 478.31 61.51 7.78 1000000 0 991.66/992.00 c 301 411 456.74 70.81 6.45 1000000 0 993.16/993.55 c 328 463 475.57 68.83 6.91 1000000 0 994.76/995.11 c 317 399 465.67 71.24 6.54 1000000 0 996.27/996.64 c 325 481 477.26 62.09 7.69 1000000 0 997.86/998.20 c 305 411 458.25 71.83 6.38 1000000 0 999.36/999.74 c 310 432 469.37 67.77 6.93 1000000 0 1000.86/1001.27 c 290 382 476.54 67.46 7.06 1000000 0 1002.46/1002.82 c 325 383 473.16 62.81 7.53 1000000 0 1003.97/1004.36 c 335 465 467.21 63.31 7.38 1000000 0 1005.56/1005.91 c 305 457 465.51 64.74 7.19 1000000 0 1007.06/1007.44 c 319 491 484.67 61.78 7.84 1000000 0 1008.56/1008.98 c 309 389 477.58 61.83 7.72 1000000 0 1010.16/1010.52 c 329 492 468.21 65.52 7.15 1000000 0 1011.66/1012.06 c 305 460 459.72 70.47 6.52 1000000 0 1013.25/1013.61 c 310 396 454.48 68.74 6.61 1000000 0 1014.75/1015.15 c 328 465 471.92 55.37 8.52 1000000 0 1016.35/1016.71 c 318 453 469.10 66.03 7.10 1000000 0 1017.85/1018.24 c 299 408 457.52 68.48 6.68 1000000 0 1019.36/1019.79 c 314 491 469.33 68.53 6.85 1000000 0 1020.95/1021.32 c 321 412 480.99 58.32 8.25 1000000 0 1022.45/1022.87 c 329 444 482.73 66.49 7.26 1000000 0 1024.05/1024.41 c 326 441 470.37 58.81 8.00 1000000 0 1025.55/1025.96 c 320 503 457.11 65.32 7.00 1000000 0 1027.15/1027.52 c 304 441 453.60 74.76 6.07 1000000 0 1028.65/1029.04 c 353 551 493.46 57.67 8.56 1000000 0 1030.15/1030.58 c 324 479 477.86 72.05 6.63 1000000 0 1031.75/1032.13 c 300 469 462.24 64.59 7.16 1000000 0 1033.25/1033.69 c 313 455 466.16 64.59 7.22 1000000 0 1034.85/1035.22 c 308 469 466.69 71.06 6.57 1000000 0 1036.35/1036.76 c 314 454 453.60 62.04 7.31 1000000 0 1037.95/1038.31 c 303 449 464.59 63.66 7.30 1000000 0 1039.45/1039.86 c 300 410 456.96 61.55 7.42 1000000 0 1041.05/1041.42 c 282 388 463.07 64.13 7.22 1000000 0 1042.55/1042.97 c 322 407 471.17 58.74 8.02 1000000 0 1044.14/1044.51 c 323 498 471.23 67.26 7.01 1000000 0 1045.65/1046.06 c 302 366 460.24 66.61 6.91 1000000 0 1047.14/1047.59 c 335 465 466.38 58.30 8.00 1000000 0 1048.74/1049.14 c 313 446 470.46 66.21 7.11 1000000 0 1050.24/1050.69 c 314 438 464.15 56.23 8.25 1000000 0 1051.84/1052.24 c 295 397 478.09 66.18 7.22 1000000 0 1053.35/1053.77 c 316 387 469.49 68.50 6.85 1000000 0 1054.94/1055.31 c 331 505 483.12 68.79 7.02 1000000 0 1056.44/1056.85 c 337 410 472.16 62.64 7.54 1000000 0 1057.94/1058.38 c 302 440 452.61 60.46 7.49 1000000 0 1059.54/1059.92 c 341 423 485.02 66.79 7.26 1000000 0 1061.05/1061.46 c 332 513 483.75 60.55 7.99 1000000 0 1062.64/1063.01 c 301 444 470.21 62.00 7.58 1000000 0 1064.14/1064.55 c 323 424 469.62 65.24 7.20 1000000 0 1065.64/1066.09 c 290 477 472.41 63.66 7.42 1000000 0 1067.24/1067.63 c 309 409 470.05 64.92 7.24 1000000 0 1068.74/1069.19 c 302 388 452.47 72.31 6.26 1000000 0 1070.34/1070.74 c 295 440 448.54 72.30 6.20 1000000 0 1071.94/1072.30 c 303 439 446.30 66.45 6.72 1000000 0 1073.43/1073.85 c 330 480 465.53 56.08 8.30 1000000 0 1074.93/1075.39 c 320 383 461.63 65.22 7.08 1000000 0 1076.54/1076.94 c 310 467 468.53 65.25 7.18 1000000 0 1078.03/1078.48 c 330 415 477.16 58.01 8.23 1000000 0 1079.63/1080.01 c 324 446 468.44 58.27 8.04 1000000 0 1081.13/1081.56 c 321 407 461.04 66.09 6.98 1000000 0 1082.73/1083.11 c 334 498 463.08 56.63 8.18 1000000 0 1084.24/1084.67 c 304 437 469.46 65.03 7.22 1000000 0 1085.83/1086.21 c 321 515 463.32 61.26 7.56 1000000 0 1087.33/1087.77 c 288 342 448.74 67.24 6.67 1000000 0 1088.93/1089.32 c 302 391 469.14 73.07 6.42 1000000 0 1090.43/1090.86 c 330 445 464.99 63.45 7.33 1000000 0 1092.03/1092.41 c 311 378 475.11 67.04 7.09 1000000 0 1093.53/1093.96 c 330 413 472.56 64.82 7.29 1000000 0 1095.13/1095.51 c 317 456 463.07 60.13 7.70 1000000 0 1096.63/1097.04 c 323 397 475.69 61.28 7.76 1000000 0 1098.13/1098.59 c 298 440 461.02 60.78 7.59 1000000 0 1099.73/1100.12 c 330 379 481.04 59.09 8.14 1000000 0 1101.23/1101.66 c 314 486 466.67 66.95 6.97 1000000 0 1102.83/1103.21 c 315 400 470.30 61.50 7.65 1000000 0 1104.33/1104.75 c 322 550 469.65 60.38 7.78 1000000 0 1105.92/1106.30 c 316 444 474.91 69.12 6.87 1000000 0 1107.42/1107.85 c 322 418 469.79 60.11 7.82 1000000 0 1109.02/1109.40 c 295 441 460.02 68.70 6.70 1000000 0 1110.53/1110.95 c 315 427 465.39 62.44 7.45 1000000 0 1112.02/1112.49 c 311 425 463.09 64.27 7.20 1000000 0 1113.62/1114.04 c 319 381 468.30 58.77 7.97 1000000 0 1115.12/1115.59 c 320 493 465.16 61.25 7.59 1000000 0 1116.72/1117.13 c 290 447 466.84 68.86 6.78 1000000 0 1118.23/1118.67 c 327 391 466.51 62.63 7.45 1000000 0 1119.82/1120.22 c 303 488 473.70 67.97 6.97 1000000 0 1121.32/1121.76 c 325 375 470.79 66.99 7.03 1000000 0 1122.92/1123.31 c 315 447 464.59 63.14 7.36 1000000 0 1124.42/1124.86 c 303 433 459.25 74.60 6.16 1000000 0 1126.03/1126.41 c 330 466 476.10 63.57 7.49 1000000 0 1127.52/1127.95 c 343 480 472.35 59.39 7.95 1000000 0 1129.02/1129.48 c 330 477 481.23 66.82 7.20 1000000 0 1130.62/1131.01 c 294 368 475.34 63.50 7.49 1000000 0 1132.12/1132.55 c 332 390 473.46 59.11 8.01 1000000 0 1133.62/1134.09 c 331 455 487.13 67.04 7.27 1000000 0 1135.22/1135.64 c 312 535 459.38 62.63 7.34 1000000 0 1136.72/1137.18 c 309 473 467.76 68.42 6.84 1000000 0 1138.31/1138.73 c 314 445 472.83 65.39 7.23 1000000 0 1139.81/1140.26 c 337 468 481.57 58.11 8.29 1000000 0 1141.32/1141.79 c 318 480 478.32 62.69 7.63 1000000 0 1142.91/1143.32 c 330 450 464.17 59.89 7.75 1000000 0 1144.41/1144.89 c 286 413 452.27 62.76 7.21 1000000 0 1146.01/1146.44 c 297 367 443.91 63.32 7.01 1000000 0 1147.51/1147.99 c 325 469 469.43 53.85 8.72 1000000 0 1149.12/1149.53 c 313 447 475.75 65.63 7.25 1000000 0 1150.61/1151.08 c 314 430 477.92 65.15 7.34 1000000 0 1152.21/1152.63 c 328 454 470.78 57.25 8.22 1000000 0 1153.71/1154.18 c 327 393 452.89 64.94 6.97 1000000 0 1155.31/1155.74 c 329 526 465.57 78.82 5.91 1000000 0 1156.82/1157.28 c 328 489 463.97 60.11 7.72 1000000 0 1158.41/1158.82 c 331 453 465.55 60.75 7.66 1000000 0 1159.91/1160.37 c 301 363 465.87 66.38 7.02 1000000 0 1161.51/1161.92 c 309 423 476.99 60.62 7.87 1000000 0 1163.01/1163.47 c 318 392 449.78 68.57 6.56 1000000 0 1164.61/1165.01 c 316 388 476.69 56.68 8.41 1000000 0 1166.11/1166.54 c 283 420 466.76 72.85 6.41 1000000 0 1167.61/1168.08 c 332 425 473.76 57.33 8.26 1000000 0 1169.21/1169.63 c 296 463 462.39 70.84 6.53 1000000 0 1170.71/1171.18 c 317 455 474.93 63.84 7.44 1000000 0 1172.30/1172.72 c 346 426 492.36 60.34 8.16 1000000 0 1173.80/1174.26 c 323 384 473.54 68.50 6.91 1000000 0 1175.41/1175.81 c 326 407 470.05 63.31 7.42 1000000 0 1176.90/1177.36 c 315 440 460.15 67.50 6.82 1000000 0 1178.50/1178.91 c 321 449 484.83 64.55 7.51 1000000 0 1180.00/1180.46 c 285 499 465.59 63.69 7.31 1000000 0 1181.60/1182.01 c 305 459 468.48 78.57 5.96 1000000 0 1183.11/1183.58 c 306 377 450.19 65.94 6.83 1000000 0 1184.70/1185.12 c 318 493 475.90 63.68 7.47 1000000 0 1186.20/1186.65 c 327 441 487.28 65.57 7.43 1000000 0 1187.70/1188.19 c 308 487 477.79 60.03 7.96 1000000 0 1189.30/1189.75 c 297 405 470.31 66.64 7.06 1000000 0 1190.80/1191.30 c 293 457 462.29 73.05 6.33 1000000 0 1192.40/1192.84 c 322 389 458.71 59.02 7.77 1000000 0 1193.90/1194.38 c 272 457 458.25 67.60 6.78 1000000 0 1195.50/1195.93 c 306 450 466.09 66.95 6.96 1000000 0 1197.00/1197.49 c 311 466 465.43 68.62 6.78 1000000 0 1198.60/1199.02 c 324 485 461.22 57.88 7.97 1000000 0 1200.09/1200.54 c 291 345 478.63 65.96 7.26 1000000 0 1201.59/1202.08 c 322 449 463.69 70.11 6.61 1000000 0 1203.19/1203.62 c 336 462 478.13 64.21 7.45 1000000 0 1204.69/1205.15 c 312 399 470.58 63.43 7.42 1000000 0 1206.20/1206.69 c 319 439 466.33 69.47 6.71 1000000 0 1207.79/1208.24 c 306 388 460.44 62.41 7.38 1000000 0 1209.29/1209.79 c 300 449 467.46 81.81 5.71 1000000 0 1210.89/1211.33 c 308 410 461.42 60.24 7.66 1000000 0 1212.39/1212.88 c 326 408 472.69 59.06 8.00 1000000 0 1214.00/1214.42 c 309 425 466.25 69.24 6.73 1000000 0 1215.49/1215.97 c 306 402 462.48 62.21 7.43 1000000 0 1216.99/1217.49 c 323 426 476.59 60.82 7.84 1000000 0 1218.59/1219.02 c 328 504 479.51 59.11 8.11 1000000 0 1220.09/1220.57 c 331 506 466.47 54.65 8.54 1000000 0 1221.70/1222.11 c 343 500 479.76 57.15 8.39 1000000 0 1223.19/1223.66 c 299 425 453.16 70.12 6.46 1000000 0 1224.79/1225.20 c 343 416 477.07 65.16 7.32 1000000 0 1226.29/1226.74 c 282 442 453.69 70.42 6.44 1000000 0 1227.79/1228.28 c 272 431 458.68 59.99 7.65 1000000 0 1229.39/1229.81 c 302 431 476.01 64.07 7.43 1000000 0 1230.88/1231.35 c 303 463 488.24 67.95 7.19 1000000 0 1232.38/1232.89 c 329 398 468.49 63.89 7.33 1000000 0 1233.98/1234.42 c 324 432 473.37 69.39 6.82 1000000 0 1235.48/1235.98 c 288 410 448.47 69.29 6.47 1000000 0 1237.09/1237.52 c 332 451 482.39 63.31 7.62 1000000 0 1238.58/1239.07 c 314 475 469.00 64.69 7.25 1000000 0 1240.19/1240.60 c 331 444 473.63 64.38 7.36 1000000 0 1241.69/1242.13 c 322 430 467.97 60.91 7.68 1000000 0 1243.19/1243.67 c 293 407 468.99 64.82 7.24 1000000 0 1244.80/1245.22 c 308 381 466.46 72.20 6.46 1000000 0 1246.29/1246.77 c 324 458 464.05 70.20 6.61 1000000 0 1247.89/1248.31 c 315 445 453.97 66.99 6.78 1000000 0 1249.39/1249.84 c 312 435 477.45 64.50 7.40 1000000 0 1250.89/1251.38 c 304 483 468.29 69.03 6.78 1000000 0 1252.49/1252.93 c 304 388 472.37 80.23 5.89 1000000 0 1253.99/1254.48 c 303 504 456.77 59.51 7.68 1000000 0 1255.59/1256.01 c 324 369 466.97 63.41 7.36 1000000 0 1257.09/1257.58 c 320 480 466.20 58.24 8.00 1000000 0 1258.68/1259.12 c 318 475 483.42 62.33 7.76 1000000 0 1260.19/1260.67 c 324 487 459.37 58.60 7.84 1000000 0 1261.78/1262.20 c 360 463 497.58 60.47 8.23 1000000 0 1263.28/1263.74 c 329 466 478.86 57.69 8.30 1000000 0 1264.78/1265.29 c 282 382 454.13 68.18 6.66 1000000 0 1266.38/1266.84 c 302 486 485.57 64.99 7.47 1000000 0 1267.89/1268.38 c 274 456 441.16 55.78 7.91 1000000 0 1269.48/1269.93 c 331 481 465.95 55.42 8.41 1000000 0 1270.98/1271.50 c 304 484 462.46 64.98 7.12 1000000 0 1272.58/1273.04 c 298 428 475.01 75.43 6.30 1000000 0 1274.08/1274.59 c 311 473 483.64 69.67 6.94 1000000 0 1275.68/1276.14 c 322 431 467.63 62.56 7.48 1000000 0 1277.17/1277.69 c 303 447 470.68 59.68 7.89 1000000 0 1278.78/1279.23 c 307 421 468.01 64.73 7.23 1000000 0 1280.27/1280.76 c 336 464 475.43 68.82 6.91 1000000 0 1281.87/1282.33 c 303 525 457.82 74.35 6.16 1000000 0 1283.37/1283.87 c 342 483 484.17 61.01 7.94 1000000 0 1284.97/1285.40 c 309 481 480.36 66.28 7.25 1000000 0 1286.48/1286.93 c 323 489 464.01 56.91 8.15 1000000 0 1287.97/1288.48 c 303 444 459.20 61.40 7.48 1000000 0 1289.57/1290.02 c 300 458 457.71 59.34 7.71 1000000 0 1291.07/1291.57 c 313 531 475.37 68.81 6.91 1000000 0 1292.67/1293.10 c 320 414 462.82 61.96 7.47 1000000 0 1294.18/1294.65 c 294 456 463.21 73.02 6.34 1000000 0 1295.67/1296.17 c 282 449 468.37 72.97 6.42 1000000 0 1297.27/1297.72 c 277 457 445.74 65.06 6.85 1000000 0 1298.77/1299.27 c 334 411 474.84 65.11 7.29 1000000 0 1300.37/1300.81 c 347 506 472.66 61.47 7.69 1000000 0 1301.87/1302.37 c 278 482 432.12 68.78 6.28 1000000 0 1303.37/1303.90 c 323 426 472.52 67.39 7.01 1000000 0 1304.97/1305.44 c 329 456 467.29 67.52 6.92 1000000 0 1306.47/1306.98 c 339 473 475.71 63.11 7.54 1000000 0 1308.06/1308.52 c 311 506 478.97 69.48 6.89 1000000 0 1309.57/1310.06 c 320 424 467.08 55.99 8.34 1000000 0 1311.16/1311.60 c 312 470 475.60 69.41 6.85 1000000 0 1312.66/1313.15 c 334 487 478.30 71.50 6.69 1000000 0 1314.26/1314.71 c 279 454 461.61 67.03 6.89 1000000 0 1315.76/1316.25 c 334 469 475.00 63.04 7.53 1000000 0 1317.27/1317.78 c 329 462 471.10 61.92 7.61 1000000 0 1318.86/1319.33 c 334 492 475.57 58.78 8.09 1000000 0 1320.36/1320.87 c 322 514 475.87 60.17 7.91 1000000 0 1321.96/1322.42 c 326 440 476.42 59.38 8.02 1000000 0 1323.46/1323.98 c 295 526 449.31 68.59 6.55 1000000 0 1325.07/1325.53 c 313 465 459.00 67.67 6.78 1000000 0 1326.56/1327.07 c 322 500 481.59 61.81 7.79 1000000 0 1328.16/1328.61 c 320 488 467.72 61.20 7.64 1000000 0 1329.66/1330.16 c 292 481 460.42 59.85 7.69 1000000 0 1331.16/1331.69 c 335 461 479.52 59.96 8.00 1000000 0 1332.76/1333.24 c 325 454 466.66 69.09 6.75 1000000 0 1334.26/1334.79 c 317 389 474.11 71.53 6.63 1000000 0 1335.85/1336.33 c 304 434 469.62 57.21 8.21 1000000 0 1337.35/1337.89 c 324 428 464.32 65.69 7.07 1000000 0 1338.95/1339.43 c 317 409 463.54 66.71 6.95 1000000 0 1340.46/1340.97 c 322 498 459.56 56.43 8.14 1000000 0 1342.05/1342.50 c 333 448 476.55 66.40 7.18 1000000 0 1343.55/1344.05 c 311 396 454.86 53.70 8.47 1000000 0 1345.15/1345.61 c 322 429 461.85 59.73 7.73 1000000 0 1346.65/1347.15 c 343 443 472.90 52.75 8.96 1000000 0 1348.16/1348.69 c 297 383 464.23 70.03 6.63 1000000 0 1349.75/1350.24 c 312 478 455.36 65.52 6.95 1000000 0 1351.25/1351.78 c 331 433 470.66 58.05 8.11 1000000 0 1352.85/1353.33 c 323 430 471.57 67.01 7.04 1000000 0 1354.35/1354.87 c 318 518 480.83 77.04 6.24 1000000 0 1355.95/1356.41 c 338 415 487.40 62.63 7.78 1000000 0 1357.45/1357.96 c 325 421 467.29 66.24 7.05 1000000 0 1359.06/1359.50 c 298 467 475.94 67.50 7.05 1000000 0 1360.55/1361.04 c 327 479 478.17 60.90 7.85 1000000 0 1362.05/1362.57 c 297 426 459.12 60.43 7.60 1000000 0 1363.65/1364.12 c 321 456 464.97 58.62 7.93 1000000 0 1365.15/1365.67 c 319 454 465.96 67.90 6.86 1000000 0 1366.75/1367.22 c 322 495 466.13 69.70 6.69 1000000 0 1368.25/1368.75 c 339 403 481.80 65.08 7.40 1000000 0 1369.74/1370.29 c 306 447 461.95 58.59 7.88 1000000 0 1371.34/1371.83 c 314 425 466.48 68.85 6.77 1000000 0 1372.84/1373.35 c 309 490 478.89 57.83 8.28 1000000 0 1374.34/1374.90 c 307 400 465.61 62.85 7.41 1000000 0 1375.94/1376.45 c 327 520 480.79 66.66 7.21 1000000 0 1377.44/1377.99 c 329 499 472.94 58.94 8.02 1000000 0 1379.04/1379.53 c 312 426 463.71 67.98 6.82 1000000 0 1380.54/1381.07 c 333 440 478.59 67.10 7.13 1000000 0 1382.15/1382.64 c 291 521 448.62 68.88 6.51 1000000 0 1383.64/1384.18 c 322 450 467.03 54.12 8.63 1000000 0 1385.24/1385.73 c 311 436 454.75 65.94 6.90 1000000 0 1386.74/1387.26 c 351 406 490.59 61.63 7.96 1000000 0 1388.34/1388.80 c 342 466 473.46 65.61 7.22 1000000 0 1389.84/1390.36 c 316 431 457.86 72.25 6.34 1000000 0 1391.44/1391.90 c 324 432 468.07 70.74 6.62 1000000 0 1392.94/1393.44 c 319 418 469.94 63.89 7.36 1000000 0 1394.44/1394.98 c 256 445 452.85 69.96 6.47 1000000 0 1396.03/1396.52 c 316 419 479.81 69.04 6.95 1000000 0 1397.54/1398.07 c 322 447 476.89 66.83 7.14 1000000 0 1399.13/1399.61 c 326 461 466.14 68.16 6.84 1000000 0 1400.63/1401.14 c 321 465 481.51 59.36 8.11 1000000 0 1402.13/1402.69 c 277 424 457.89 68.75 6.66 1000000 0 1403.73/1404.23 c 282 430 457.67 56.29 8.13 1000000 0 1405.24/1405.79 c 328 396 470.87 59.87 7.86 1000000 0 1406.83/1407.32 c 318 501 477.39 67.82 7.04 1000000 0 1408.33/1408.86 c 331 450 472.08 63.72 7.41 1000000 0 1409.93/1410.40 c 329 485 475.59 65.30 7.28 1000000 0 1411.43/1411.94 c 329 469 477.82 66.87 7.15 1000000 0 1412.94/1413.48 c 296 536 446.40 65.84 6.78 1000000 0 1414.53/1415.02 c 323 496 469.66 62.84 7.47 1000000 0 1416.03/1416.59 c 290 385 452.67 74.47 6.08 1000000 0 1417.63/1418.12 c 316 467 465.06 62.00 7.50 1000000 0 1419.13/1419.67 c 315 375 443.33 61.72 7.18 1000000 0 1420.74/1421.21 c 337 450 480.22 71.92 6.68 1000000 0 1422.23/1422.74 c 321 423 469.89 63.22 7.43 1000000 0 1423.83/1424.30 c 322 478 461.62 63.56 7.26 1000000 0 1425.33/1425.86 c 310 361 467.45 63.91 7.31 1000000 0 1426.83/1427.39 c 330 444 469.67 64.40 7.29 1000000 0 1428.43/1428.95 c 299 472 455.25 75.23 6.05 1000000 0 1429.92/1430.49 c 305 482 463.40 59.14 7.84 1000000 0 1431.52/1432.02 c 345 456 497.22 64.50 7.71 1000000 0 1433.02/1433.57 c 304 492 453.84 66.61 6.81 1000000 0 1434.52/1435.09 c 341 460 487.85 61.63 7.92 1000000 0 1436.13/1436.64 c 304 442 465.54 69.33 6.71 1000000 0 1437.62/1438.18 c 331 362 485.84 62.05 7.83 1000000 0 1439.22/1439.71 c 314 429 475.56 65.48 7.26 1000000 0 1440.72/1441.25 c 310 558 454.26 71.53 6.35 1000000 0 1442.22/1442.79 c 332 511 468.74 64.57 7.26 1000000 0 1443.83/1444.33 c 318 348 458.91 62.61 7.33 1000000 0 1445.32/1445.88 c 311 478 459.74 65.54 7.02 1000000 0 1446.92/1447.44 c 286 468 444.48 69.75 6.37 1000000 0 1448.42/1448.98 c 309 414 460.71 64.55 7.14 1000000 0 1450.02/1450.53 c 329 477 472.51 67.71 6.98 1000000 0 1451.52/1452.08 c 317 437 458.43 64.75 7.08 1000000 0 1453.12/1453.60 c 308 476 464.88 62.16 7.48 1000000 0 1454.61/1455.16 c 314 484 456.12 68.14 6.69 1000000 0 1456.21/1456.70 c 295 400 470.66 67.90 6.93 1000000 0 1457.71/1458.24 c 315 409 467.46 65.56 7.13 1000000 0 1459.22/1459.77 c 319 412 460.90 52.16 8.84 1000000 0 1460.81/1461.31 c 314 441 473.19 67.74 6.99 1000000 0 1462.31/1462.85 c 319 517 468.54 67.77 6.91 1000000 0 1463.81/1464.38 c 322 387 481.58 65.60 7.34 1000000 0 1465.41/1465.93 c 306 414 465.75 58.35 7.98 1000000 0 1466.92/1467.48 c 301 403 445.77 64.58 6.90 1000000 0 1468.51/1469.03 c 296 355 476.52 68.01 7.01 1000000 0 1470.01/1470.57 c 332 419 471.79 65.13 7.24 1000000 0 1471.61/1472.13 c 312 388 446.39 62.59 7.13 1000000 0 1473.11/1473.67 c 352 435 483.99 65.73 7.36 1000000 0 1474.71/1475.22 c 298 492 455.96 72.40 6.30 1000000 0 1476.21/1476.79 c 311 440 473.63 72.04 6.57 1000000 0 1477.81/1478.33 c 331 519 468.81 61.21 7.66 1000000 0 1479.31/1479.87 c 324 436 470.95 69.61 6.77 1000000 0 1480.90/1481.41 c 307 410 478.71 67.20 7.12 1000000 0 1482.40/1482.95 c 338 398 479.57 61.75 7.77 1000000 0 1483.90/1484.49 c 317 495 472.49 57.59 8.21 1000000 0 1485.51/1486.01 c 324 428 469.33 60.76 7.72 1000000 0 1487.00/1487.56 c 315 523 458.32 76.83 5.97 1000000 0 1488.60/1489.11 c 296 370 464.97 62.68 7.42 1000000 0 1490.10/1490.65 c 314 486 465.92 59.50 7.83 1000000 0 1491.70/1492.20 c 299 461 464.07 66.20 7.01 1000000 0 1493.21/1493.74 c 327 508 462.83 63.40 7.30 1000000 0 1494.70/1495.28 c 326 454 481.82 71.85 6.71 1000000 0 1496.30/1496.82 c 311 479 462.89 67.50 6.86 1000000 0 1497.80/1498.36 c 332 455 474.67 59.83 7.93 1000000 0 1499.40/1499.91 c 293 454 451.28 63.38 7.12 1000000 0 1500.90/1501.47 c 292 438 454.68 66.99 6.79 1000000 0 1502.50/1503.02 c 329 514 472.55 63.84 7.40 1000000 0 1504.00/1504.55 c 324 477 466.81 57.51 8.12 1000000 0 1505.60/1506.11 c 324 380 456.33 56.79 8.04 1000000 0 1507.09/1507.65 c 349 466 481.96 57.57 8.37 1000000 0 1508.60/1509.20 c 298 461 470.41 63.33 7.43 1000000 0 1510.19/1510.74 c 331 412 475.51 67.06 7.09 1000000 0 1511.69/1512.29 c 295 483 460.16 68.87 6.68 1000000 0 1513.29/1513.83 c 313 427 465.96 65.25 7.14 1000000 0 1514.79/1515.38 c 300 469 454.44 66.64 6.82 1000000 0 1516.40/1516.92 c 344 504 475.14 61.50 7.73 1000000 0 1517.89/1518.45 c 341 531 487.37 62.12 7.85 1000000 0 1519.39/1519.99 c 306 443 463.81 60.03 7.73 1000000 0 1520.99/1521.54 c 317 482 461.36 58.27 7.92 1000000 0 1522.49/1523.08 c 324 416 472.63 61.49 7.69 1000000 0 1524.10/1524.62 c 336 433 473.61 65.66 7.21 1000000 0 1525.59/1526.16 c 332 438 471.48 65.06 7.25 1000000 0 1527.19/1527.71 c 331 503 468.12 64.79 7.23 1000000 0 1528.69/1529.25 c 316 479 465.50 69.11 6.74 1000000 0 1530.19/1530.77 c 329 445 476.88 56.91 8.38 1000000 0 1531.79/1532.31 c 313 451 475.41 59.58 7.98 1000000 0 1533.29/1533.87 c 283 427 451.50 72.68 6.21 1000000 0 1534.89/1535.40 c 335 368 464.86 56.90 8.17 1000000 0 1536.39/1536.95 c 339 425 483.65 68.46 7.06 1000000 0 1537.99/1538.50 c 323 472 475.82 65.78 7.23 1000000 0 1539.49/1540.05 c 308 449 465.10 67.52 6.89 1000000 0 1540.98/1541.59 c 304 427 466.06 67.91 6.86 1000000 0 1542.58/1543.13 c 279 455 492.77 75.55 6.52 1000000 0 1544.08/1544.67 c 334 476 472.60 61.44 7.69 1000000 0 1545.68/1546.22 c 306 423 451.94 69.64 6.49 1000000 0 1547.19/1547.77 c 325 455 460.84 71.56 6.44 1000000 0 1548.78/1549.30 c 330 393 465.24 56.24 8.27 1000000 0 1550.28/1550.84 c 274 490 460.30 62.41 7.38 1000000 0 1551.78/1552.37 c 328 492 469.05 66.13 7.09 1000000 0 1553.38/1553.91 c 324 451 472.86 63.65 7.43 1000000 0 1554.89/1555.46 c 324 498 469.32 64.58 7.27 1000000 0 1556.48/1557.01 c 289 403 450.74 70.36 6.41 1000000 0 1557.98/1558.55 c 330 424 468.24 56.28 8.32 1000000 0 1559.48/1560.09 c 317 454 476.92 61.35 7.77 1000000 0 1561.08/1561.62 c 286 387 457.99 68.30 6.71 1000000 0 1562.59/1563.17 c 331 502 478.87 67.78 7.07 1000000 0 1564.18/1564.71 c 294 417 465.56 73.81 6.31 1000000 0 1565.68/1566.25 c 309 351 466.96 67.94 6.87 1000000 0 1567.28/1567.80 c 305 482 464.69 69.91 6.65 1000000 0 1568.78/1569.35 c 328 464 479.98 68.82 6.97 1000000 0 1570.28/1570.89 c 311 497 459.84 68.81 6.68 1000000 0 1571.88/1572.42 c 309 412 470.08 52.14 9.02 1000000 0 1573.37/1573.97 c 318 460 461.10 67.79 6.80 1000000 0 1574.97/1575.50 c 299 458 474.96 57.24 8.30 1000000 0 1576.47/1577.05 c 324 447 466.42 61.18 7.62 1000000 0 1577.98/1578.59 c 307 409 463.21 67.48 6.86 1000000 0 1579.57/1580.12 c 308 442 475.78 73.86 6.44 1000000 0 1581.07/1581.67 c 323 451 469.78 58.24 8.07 1000000 0 1582.67/1583.21 c 287 409 458.01 66.88 6.85 1000000 0 1584.17/1584.75 c 329 442 464.60 64.21 7.24 1000000 0 1585.68/1586.29 c 311 417 462.74 63.49 7.29 1000000 0 1587.27/1587.83 c 303 446 468.49 66.91 7.00 1000000 0 1588.77/1589.37 c 311 439 454.02 62.88 7.22 1000000 0 1590.37/1590.93 c 286 389 455.68 57.92 7.87 1000000 0 1591.87/1592.48 c 314 462 461.66 68.88 6.70 1000000 0 1593.47/1594.04 c 306 358 451.08 69.66 6.48 1000000 0 1594.97/1595.58 c 276 425 469.46 71.64 6.55 1000000 0 1596.57/1597.13 c 323 433 460.54 56.77 8.11 1000000 0 1598.07/1598.66 c 316 577 494.02 64.52 7.66 1000000 0 1599.66/1600.21 c 277 458 469.48 62.20 7.55 1000000 0 1601.16/1601.75 c 285 396 474.22 66.09 7.18 1000000 0 1602.66/1603.29 c 304 419 475.44 60.49 7.86 1000000 0 1604.27/1604.84 c 322 442 468.52 63.88 7.33 1000000 0 1605.76/1606.37 c 327 483 478.90 53.00 9.04 1000000 0 1607.36/1607.92 c 283 491 449.11 65.77 6.83 1000000 0 1608.86/1609.45 c 303 350 471.49 59.92 7.87 1000000 0 1610.46/1611.01 c 326 434 460.95 69.11 6.67 1000000 0 1611.97/1612.55 c 317 492 464.30 57.16 8.12 1000000 0 1613.46/1614.08 c 343 437 481.67 62.03 7.77 1000000 0 1615.06/1615.62 c 312 432 467.99 69.13 6.77 1000000 0 1616.56/1617.16 c 317 401 474.35 68.03 6.97 1000000 0 1618.16/1618.71 c 322 515 460.80 61.32 7.51 1000000 0 1619.66/1620.25 c 313 462 467.12 63.13 7.40 1000000 0 1621.26/1621.81 c 311 467 463.30 70.59 6.56 1000000 0 1622.76/1623.35 c 331 430 467.10 59.62 7.83 1000000 0 1624.26/1624.89 c 297 413 463.28 71.56 6.47 1000000 0 1625.86/1626.43 c 344 440 478.27 59.47 8.04 1000000 0 1627.36/1627.97 c 343 474 485.98 60.78 8.00 1000000 0 1628.95/1629.53 c 298 451 450.60 56.16 8.02 1000000 0 1630.45/1631.08 c 341 488 473.48 64.81 7.31 1000000 0 1632.05/1632.61 c 303 397 468.38 65.98 7.10 1000000 0 1633.55/1634.15 c 325 399 478.57 69.57 6.88 1000000 0 1635.06/1635.69 c 336 415 470.34 57.04 8.25 1000000 0 1636.65/1637.23 c 328 442 469.55 72.23 6.50 1000000 0 1638.15/1638.78 c 329 437 475.31 62.67 7.58 1000000 0 1639.75/1640.32 c 328 452 476.09 59.95 7.94 1000000 0 1641.25/1641.87 c 294 425 461.81 69.31 6.66 1000000 0 1642.86/1643.42 c 326 479 464.47 57.85 8.03 1000000 0 1644.35/1644.96 c 341 486 488.69 60.28 8.11 1000000 0 1645.95/1646.52 c 325 442 474.87 68.00 6.98 1000000 0 1647.45/1648.06 c 285 435 454.80 70.06 6.49 1000000 0 1649.05/1649.60 c 351 426 481.05 60.19 7.99 1000000 0 1650.56/1651.15 c 336 463 477.73 60.68 7.87 1000000 0 1652.05/1652.68 c 298 538 460.84 64.66 7.13 1000000 0 1653.65/1654.22 c 327 471 464.29 61.93 7.50 1000000 0 1655.15/1655.75 c 315 471 471.52 60.13 7.84 1000000 0 1656.75/1657.31 c 316 530 459.99 64.67 7.11 1000000 0 1658.25/1658.84 c 308 486 477.85 65.61 7.28 1000000 0 1659.74/1660.40 c 311 448 447.57 65.73 6.81 1000000 0 1661.34/1661.94 c 300 496 470.20 70.12 6.71 1000000 0 1662.84/1663.50 c 296 396 452.07 65.99 6.85 1000000 0 1664.44/1665.03 c 334 415 488.51 60.30 8.10 1000000 0 1665.95/1666.59 c 290 420 451.29 71.47 6.31 1000000 0 1667.54/1668.14 c 299 497 461.61 69.53 6.64 1000000 0 1669.04/1669.68 c 328 409 481.38 56.35 8.54 1000000 0 1670.64/1671.22 c 332 441 473.24 64.87 7.29 1000000 0 1672.14/1672.77 c 313 428 466.08 73.36 6.35 1000000 0 1673.74/1674.33 c 296 359 450.61 70.28 6.41 1000000 0 1675.24/1675.87 c 305 465 469.74 70.43 6.67 1000000 0 1676.84/1677.41 c 312 365 473.40 63.53 7.45 1000000 0 1678.34/1678.95 c 321 396 464.14 61.84 7.51 1000000 0 1679.94/1680.51 c 317 399 453.22 60.14 7.54 1000000 0 1681.44/1682.07 c 304 498 453.19 62.94 7.20 1000000 0 1683.04/1683.60 c 319 408 469.04 64.77 7.24 1000000 0 1684.54/1685.15 c 295 505 464.36 65.36 7.10 1000000 0 1686.03/1686.69 c 317 412 470.07 62.44 7.53 1000000 0 1687.63/1688.23 c 313 435 465.63 72.64 6.41 1000000 0 1689.13/1689.77 c 322 435 465.23 67.86 6.86 1000000 0 1690.73/1691.31 c 301 491 472.21 67.51 7.00 1000000 0 1692.24/1692.85 c 338 455 480.22 65.21 7.36 1000000 0 1693.73/1694.38 c 345 430 484.04 60.15 8.05 1000000 0 1695.33/1695.92 c 327 457 473.55 64.52 7.34 1000000 0 1696.83/1697.46 c 338 456 483.19 60.39 8.00 1000000 0 1698.33/1698.99 c 314 407 472.14 61.30 7.70 1000000 0 1699.94/1700.53 c 319 433 471.43 58.69 8.03 1000000 0 1701.43/1702.07 c 309 432 477.88 69.47 6.88 1000000 0 1703.03/1703.63 c 288 407 444.67 75.01 5.93 1000000 0 1704.53/1705.17 c 334 437 473.30 65.02 7.28 1000000 0 1706.13/1706.74 c 301 388 442.51 65.29 6.78 1000000 0 1707.64/1708.29 c 307 518 457.08 72.30 6.32 1000000 0 1709.23/1709.84 c 271 384 463.95 74.03 6.27 1000000 0 1710.73/1711.38 c 331 454 472.63 70.38 6.72 1000000 0 1712.33/1712.92 c 341 463 475.92 60.50 7.87 1000000 0 1713.83/1714.45 c 328 440 476.36 58.56 8.13 1000000 0 1715.33/1715.99 c 318 353 465.03 51.94 8.95 1000000 0 1716.93/1717.54 c 312 428 464.51 73.98 6.28 1000000 0 1718.43/1719.08 c 307 423 460.28 65.02 7.08 1000000 0 1720.02/1720.63 c 298 461 441.84 63.35 6.97 1000000 0 1721.52/1722.17 c 336 456 467.50 55.60 8.41 1000000 0 1723.13/1723.71 c 293 533 455.45 67.52 6.75 1000000 0 1724.62/1725.26 c 306 450 462.53 60.54 7.64 1000000 0 1726.22/1726.80 c 340 484 473.79 57.76 8.20 1000000 0 1727.72/1728.33 c 318 413 471.66 61.63 7.65 1000000 0 1729.22/1729.89 c 279 452 469.83 71.46 6.57 1000000 0 1730.83/1731.41 c 326 423 473.18 53.12 8.91 1000000 0 1732.32/1732.99 c 272 455 438.60 72.26 6.07 1000000 0 1733.92/1734.53 c 277 428 464.09 64.58 7.19 1000000 0 1735.42/1736.07 c 309 503 460.96 72.70 6.34 1000000 0 1737.02/1737.61 c 328 467 468.21 62.94 7.44 1000000 0 1738.53/1739.16 c 308 420 465.34 70.59 6.59 1000000 0 1740.02/1740.69 c 319 406 471.21 59.41 7.93 1000000 0 1741.62/1742.23 c 317 507 472.12 68.00 6.94 1000000 0 1743.12/1743.77 c 315 360 463.29 62.43 7.42 1000000 0 1744.72/1745.33 c 298 387 453.27 70.08 6.47 1000000 0 1746.22/1746.88 c 327 467 471.26 57.05 8.26 1000000 0 1747.82/1748.43 c 277 433 461.58 66.81 6.91 1000000 0 1749.32/1749.97 c 307 451 473.22 68.98 6.86 1000000 0 1750.91/1751.52 c 316 483 470.44 60.38 7.79 1000000 0 1752.41/1753.07 c 330 425 471.98 68.06 6.93 1000000 0 1754.01/1754.60 c 318 416 465.16 57.92 8.03 1000000 0 1755.51/1756.14 c 310 434 470.24 65.89 7.14 1000000 0 1757.01/1757.67 c 317 488 464.15 63.78 7.28 1000000 0 1758.61/1759.21 c 321 448 453.89 65.83 6.90 1000000 0 1760.11/1760.76 c 326 456 462.07 53.68 8.61 1000000 0 1761.71/1762.31 c 297 416 473.27 64.36 7.35 1000000 0 1763.21/1763.85 c 327 482 468.85 61.11 7.67 1000000 0 1764.71/1765.40 c 333 517 476.25 55.75 8.54 1000000 0 1766.31/1766.94 c 339 473 473.99 54.32 8.73 1000000 0 1767.81/1768.48 c 324 390 465.98 67.46 6.91 1000000 0 1769.41/1770.04 c 330 511 459.95 62.76 7.33 1000000 0 1770.91/1771.57 c 313 480 457.84 61.11 7.49 1000000 0 1772.52/1773.12 c 323 505 480.14 64.04 7.50 1000000 0 1774.01/1774.67 c 327 429 462.99 72.56 6.38 1000000 0 1775.61/1776.20 c 325 398 482.22 56.07 8.60 1000000 0 1777.11/1777.75 c 321 532 469.26 74.16 6.33 1000000 0 1778.61/1779.29 c 335 404 462.64 62.98 7.35 1000000 0 1780.21/1780.84 c 309 416 459.60 64.81 7.09 1000000 0 1781.71/1782.39 c 310 443 470.24 63.13 7.45 1000000 0 1783.30/1783.92 c 338 411 471.16 57.64 8.17 1000000 0 1784.81/1785.47 c 335 464 483.67 55.29 8.75 1000000 0 1786.41/1787.01 c 318 395 471.51 64.19 7.35 1000000 0 1787.91/1788.56 c 333 454 473.26 57.11 8.29 1000000 0 1789.50/1790.11 c 310 465 451.44 69.61 6.49 1000000 0 1791.00/1791.66 c 314 509 462.09 61.86 7.47 1000000 0 1792.60/1793.22 c 332 453 477.06 67.20 7.10 1000000 0 1794.10/1794.76 c 339 427 465.93 56.94 8.18 1000000 0 1795.71/1796.31 c 287 407 455.11 68.59 6.64 1000000 0 1797.20/1797.85 c 314 411 470.73 68.27 6.90 1000000 0 1798.70/1799.39 c 321 487 463.33 59.68 7.76 1000000 0 1800.01/1800.61 HOME/run: line 2: 11859 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-2669879-1276611056/watcher-2669879-1276611056 -o /tmp/evaluation-result-2669879-1276611056/solver-2669879-1276611056 -C 1800 -W 2000 -M 1800 run HOME/instance-2669879-1276611056.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/105 11858 /proc/meminfo: memFree=1421732/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) R 11856 11858 11322 0 -1 4202496 343 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558405013 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [startup+0.047811 s] /proc/loadavg: 1.00 1.00 1.00 3/105 11858 /proc/meminfo: memFree=1421732/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100815 s] /proc/loadavg: 1.00 1.00 1.00 3/105 11858 /proc/meminfo: memFree=1421732/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300837 s] /proc/loadavg: 1.00 1.00 1.00 3/105 11858 /proc/meminfo: memFree=1421732/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700881 s] /proc/loadavg: 1.00 1.00 1.00 3/105 11858 /proc/meminfo: memFree=1421732/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50097 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11860 /proc/meminfo: memFree=1417500/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=1.49 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1090 0 0 0 149 0 0 0 25 0 1 0 2399118 41422848 1020 1992294400 134512640 135071400 4289351008 18446744073709551615 134519831 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1020 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10115 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11860 /proc/meminfo: memFree=1417252/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=3.09 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 309 0 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134526801 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.3015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11860 /proc/meminfo: memFree=1417252/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=6.29 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 629 0 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134526157 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11860 /proc/meminfo: memFree=1417004/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=12.69 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 1269 0 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134526584 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11860 /proc/meminfo: memFree=1417004/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=25.48 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 2548 0 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11862 /proc/meminfo: memFree=1416880/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=51.07 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 5107 0 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134526866 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11862 /proc/meminfo: memFree=1416632/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=102.27 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 10227 0 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11864 /proc/meminfo: memFree=1416384/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=162.24 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 16224 0 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134547349 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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.00 1.00 1.00 2/107 11866 /proc/meminfo: memFree=1416384/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=222.22 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 22222 0 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134547349 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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.04 1.01 1.00 2/107 11868 /proc/meminfo: memFree=1416384/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=282.2 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 28220 0 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134526553 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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.01 1.01 1.00 2/107 11870 /proc/meminfo: memFree=1416136/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=342.18 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 34218 0 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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.00 1.00 2/107 11870 /proc/meminfo: memFree=1416136/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=402.15 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 40215 0 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 69 137 0 9974 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ [pid=11859] ppid=11858 vsize=40452 CPUtime=1061.94 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 106194 0 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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: 1.00 1.00 1.00 2/107 11890 /proc/meminfo: memFree=1414524/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=1121.92 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 112192 0 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134526267 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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: 1.00 1.00 1.00 2/107 11892 /proc/meminfo: memFree=1414276/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=1181.9 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 118190 0 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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 1.00 2/107 11894 /proc/meminfo: memFree=1414028/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=1241.89 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 124188 1 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134525769 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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 1.00 2/107 11897 /proc/meminfo: memFree=1413532/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=1301.87 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 130186 1 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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 1.00 2/107 11899 /proc/meminfo: memFree=1413532/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=1361.85 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 136184 1 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11901 /proc/meminfo: memFree=1413532/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=1421.83 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 142182 1 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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 1.00 2/107 11903 /proc/meminfo: memFree=1413532/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=1481.8 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 148179 1 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134519937 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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 1.00 2/107 11905 /proc/meminfo: memFree=1413532/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=1541.78 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 154177 1 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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: 1.00 1.00 1.00 2/107 11905 /proc/meminfo: memFree=1413532/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=1601.76 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 160175 1 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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: 1.00 1.00 1.00 2/107 11907 /proc/meminfo: memFree=1413532/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=1661.74 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 166173 1 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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 1.00 2/107 11909 /proc/meminfo: memFree=1413408/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=1721.72 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 172171 1 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134526331 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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: 1.00 1.00 1.00 2/107 11911 /proc/meminfo: memFree=1413284/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=1781.71 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 178170 1 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134519831 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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 1.00 2/107 11911 /proc/meminfo: memFree=1413284/2059040 swapFree=4192956/4192956 [pid=11858] ppid=11856 vsize=8700 CPUtime=0 /proc/11858/stat : 11858 (run) S 11856 11858 11322 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2399118 8908800 244 1992294400 4194304 4922060 140733368164688 18446744073709551615 270558403717 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11858/statm: 2175 244 204 178 0 68 0 [pid=11859] ppid=11858 vsize=40452 CPUtime=1800.01 /proc/11859/stat : 11859 (PB-wave) R 11858 11858 11322 0 -1 4202496 1098 0 0 0 180000 1 0 0 25 0 1 0 2399118 41422848 1028 1992294400 134512640 135071400 4289351008 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/11859/statm: 10113 1028 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 2 seconds Solver 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.01 CPU system time (s): 0.017997 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.017997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1470 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= 4758 runsolver used 3.18751 second user time and 8.34273 second system time The end
Begin job on node082 at 2010-06-15 16:10:56 IDJOB=2669879 IDBENCH=1476 IDSOLVER=1171 FILE ID=node082/2669879-1276611056 PBS_JOBID= 11172251 Free space on /tmp= 62580 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669879-1276611056/watcher-2669879-1276611056 -o /tmp/evaluation-result-2669879-1276611056/solver-2669879-1276611056 -C 1800 -W 2000 -M 1800 run HOME/instance-2669879-1276611056.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 35e445ac209f1522afc5b57d4ebf6731 RANDOM SEED=1241261328 node082.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.215 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.43 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.215 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1422260 kB Buffers: 70548 kB Cached: 425600 kB SwapCached: 0 kB Active: 201184 kB Inactive: 354304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1422260 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1384 kB Writeback: 0 kB AnonPages: 59356 kB Mapped: 15472 kB Slab: 59624 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180336 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62580 MiB End job on node082 at 2010-06-15 16:40:57