| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.11 | 5000.14 |
| Name | crafted/mosoi/289/ 289-unsat-13x32.cnf |
| MD5SUM | 73c8ae5bbdfe41463e8e40ea211c5e14 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1664 |
| Number of clauses | 157664 |
| Sum of the clauses size | 625664 |
| Maximum clause length | 4 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 2496 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 155168 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 static 0.00/0.00 HOME/instance-3438720-1306894549.cnf 0.00/0.00 c Parsing... 0.00/0.06 c ============================================================================== 0.00/0.06 c | | ORIGINAL | LEARNT | | 0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.06 c ============================================================================== 0.00/0.06 c | 0 | 157664 625664 | 47299 0 0 nan | 0.000 % | 2.69/2.74 c | 0 | 156000 931008 | -- 0 -- -- | -- | -1664/305344 2.69/2.74 c ============================================================================== 2.69/2.74 c Result : #vars: 1248 #clauses: 156000 #literals: 931008 2.69/2.74 c CPU time: 2.72559 s 2.69/2.74 c ============================================================================== 2.87/3.10 c 2.87/3.10 c seed = 0, numatom = 1248, numclause = 154752, numliterals = 931008 2.87/3.10 c --------------------------------------------------------------------------------------------------------------------------------------------- 2.87/3.10 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 2.87/3.10 c --------------------------------------------------------------------------------------------------------------------------------------------- 3.29/3.32 c | 2 | 0.2 | 0 | 501 | 196 | 1 | 23470 | 2670 || 2 | 4556 | 198/ 198 | 244 | 0 | 3.36/3.46 c | 4 | 0.1 | 0 | 724 | 295 | 2 | 51631 | 5051 || 4 | 8178 | 198/ 198 | 581 | 0 | 3.56/3.61 c | 6 | 0.2 | 0 | 900 | 192 | 3 | 79781 | 8141 || 6 | 12198 | 198/ 198 | 915 | 0 | 3.66/3.77 c | 7 | 0.2 | 0 | 1138 | 393 | 4 | 124089 | 10570 || 7 | 16244 | 198/ 198 | 1358 | 0 | 3.96/4.01 c | 11 | 0.2 | 0 | 1331 | 294 | 5 | 166423 | 14707 || 11 | 22721 | 198/ 198 | 1906 | 0 | 4.16/4.27 c | 14 | 0.3 | 0 | 1558 | 494 | 6 | 211371 | 19107 || 14 | 30077 | 198/ 198 | 2682 | 0 | 4.46/4.51 c | 15 | 0.2 | 0 | 1850 | 997 | 7 | 261303 | 22615 || 15 | 37027 | 198/ 198 | 3551 | 0 | 4.56/4.65 c | 16 | 0.1 | 0 | 2001 | 97 | 8 | 308233 | 25647 || 16 | 39827 | 198/ 198 | 3690 | 0 | 4.86/4.98 c | 21 | 0.3 | 0 | 2125 | 90 | 9 | 370813 | 31765 || 21 | 49132 | 198/ 198 | 4469 | 0 | 5.16/5.29 c | 25 | 0.3 | 0 | 2303 | 190 | 10 | 436825 | 37083 || 25 | 57441 | 197/ 197 | 5335 | 0 | 5.56/5.63 c | 29 | 0.4 | 0 | 2512 | 583 | 11 | 506683 | 42996 || 29 | 67178 | 197/ 197 | 6230 | 0 | 5.86/5.92 c | 30 | 0.3 | 0 | 2671 | 380 | 12 | 575828 | 48018 || 30 | 75037 | 197/ 197 | 7102 | 0 | 6.26/6.32 c | 31 | 0.4 | 0 | 2859 | 2081 | 13 | 663116 | 52781 || 31 | 86808 | 194/ 194 | 8817 | 0 | 6.36/6.47 c | 31 | 0.1 | 0 | 3087 | 1483 | 14 | 749599 | 55861 || 31 | 88650 | 194/ 194 | 8837 | 0 | 6.86/6.93 c | 38 | 0.5 | 0 | 2985 | 364 | 15 | 839693 | 63973 || 38 | 101219 | 192/ 192 | 10167 | 0 | 7.26/7.34 c | 44 | 0.4 | 0 | 3101 | 255 | 16 | 927262 | 71749 || 44 | 112369 | 192/ 192 | 11078 | 0 | 7.68/7.76 c | 46 | 0.4 | 0 | 3305 | 250 | 17 | 1020711 | 78597 || 46 | 123987 | 192/ 192 | 12384 | 0 | 8.16/8.21 c | 53 | 0.4 | 0 | 3484 | 240 | 18 | 1115127 | 87073 || 53 | 135822 | 192/ 192 | 13717 | 0 | 8.56/8.70 c | 59 | 0.5 | 0 | 3776 | 126 | 19 | 1223047 | 96123 || 59 | 148982 | 192/ 192 | 14648 | 0 | 9.06/9.11 c | 61 | 0.4 | 0 | 4074 | 722 | 20 | 1310934 | 103430 || 61 | 160934 | 192/ 192 | 15979 | 0 | 9.46/9.59 c | 62 | 0.5 | 0 | 4540 | 822 | 21 | 1420835 | 109932 || 62 | 174388 | 192/ 192 | 17709 | 0 | 10.06/10.17 c | 63 | 0.6 | 0 | 4597 | 3423 | 22 | 1539552 | 116916 || 63 | 192318 | 192/ 192 | 21096 | 0 | 10.46/10.52 c | 63 | 0.4 | 0 | 4694 | 1321 | 23 | 1666552 | 122624 || 63 | 199609 | 192/ 192 | 21157 | 0 | 10.76/10.90 c | 67 | 0.4 | 0 | 4713 | 16 | 24 | 1801742 | 129682 || 67 | 206628 | 192/ 192 | 21735 | 0 | 11.46/11.55 c | 76 | 0.7 | 0 | 4355 | 299 | 25 | 1935033 | 141481 || 76 | 224701 | 192/ 192 | 23411 | 0 | 11.97/12.09 c | 80 | 0.5 | 0 | 4605 | 94 | 26 | 2073094 | 150749 || 80 | 238614 | 192/ 192 | 24933 | 0 | 12.66/12.79 c | 90 | 0.7 | 0 | 4709 | 180 | 27 | 2214932 | 163372 || 90 | 257870 | 192/ 192 | 26734 | 0 | 13.36/13.48 c | 94 | 0.7 | 0 | 5100 | 1073 | 28 | 2350231 | 173777 || 94 | 277636 | 192/ 192 | 29915 | 0 | 13.86/13.94 c | 96 | 0.5 | 0 | 5535 | 71 | 29 | 2493658 | 182654 || 96 | 288610 | 192/ 192 | 30210 | 0 | 14.66/14.72 c | 107 | 0.8 | 0 | 5797 | 255 | 30 | 2649279 | 196879 || 107 | 310221 | 192/ 192 | 32195 | 0 | 15.27/15.40 c | 113 | 0.7 | 0 | 6094 | 249 | 31 | 2818098 | 208298 || 113 | 328086 | 192/ 192 | 34040 | 0 | 16.16/16.23 c | 123 | 0.8 | 0 | 6120 | 35 | 32 | 2985632 | 223397 || 123 | 351122 | 192/ 192 | 36157 | 0 | 16.86/16.96 c | 125 | 0.7 | 0 | 6340 | 134 | 33 | 3137689 | 234246 || 125 | 372818 | 192/ 192 | 38765 | 0 | 17.66/17.71 c | 126 | 0.8 | 0 | 6365 | 3935 | 34 | 3309712 | 243484 || 126 | 393451 | 192/ 192 | 42163 | 0 | 17.96/18.05 c | 126 | 0.3 | 0 | 6705 | 3035 | 35 | 3458430 | 250454 || 126 | 398960 | 192/ 192 | 42214 | 0 | 19.16/19.23 c | 127 | 1.2 | 0 | 6440 | 7037 | 36 | 3648342 | 263030 || 127 | 435375 | 192/ 192 | 48972 | 0 | 19.86/19.90 c | 127 | 0.7 | 0 | 6774 | 1537 | 37 | 3833476 | 273145 || 127 | 450627 | 192/ 192 | 49117 | 0 | 20.06/20.11 c | 127 | 0.2 | 0 | 6471 | 5738 | 38 | 3959762 | 279376 || 127 | 450627 | 192/ 192 | 49117 | 0 | 20.96/21.02 c | 140 | 0.9 | 0 | 6178 | 118 | 39 | 4159835 | 296458 || 140 | 474422 | 192/ 192 | 51377 | 0 | 21.88/21.92 c | 149 | 0.9 | 0 | 6394 | 201 | 40 | 4340648 | 312912 || 149 | 499750 | 192/ 192 | 54042 | 0 | 22.76/22.82 c | 157 | 0.9 | 0 | 6906 | 494 | 41 | 4551808 | 328487 || 157 | 524191 | 192/ 192 | 56284 | 0 | 23.56/23.63 c | 163 | 0.8 | 0 | 7266 | 192 | 42 | 4742954 | 342202 || 163 | 545774 | 192/ 192 | 58701 | 0 | 24.56/24.64 c | 173 | 1.0 | 0 | 7752 | 184 | 43 | 4955946 | 359800 || 173 | 573644 | 192/ 192 | 61554 | 0 | 25.56/25.68 c | 187 | 1.0 | 0 | 8259 | 368 | 44 | 5189006 | 378406 || 187 | 600909 | 192/ 192 | 64200 | 0 | 26.46/26.51 c | 189 | 0.8 | 0 | 8521 | 1062 | 45 | 5393590 | 390760 || 189 | 623227 | 192/ 192 | 66810 | 0 | 27.38/27.45 c | 190 | 0.9 | 0 | 8811 | 1264 | 46 | 5645163 | 402654 || 190 | 647084 | 192/ 192 | 70238 | 0 | 28.26/28.32 c | 200 | 0.9 | 0 | 8735 | 143 | 47 | 5885083 | 418099 || 200 | 666166 | 192/ 192 | 72027 | 0 | 29.36/29.41 c | 212 | 1.1 | 0 | 8667 | 522 | 48 | 6095530 | 438052 || 212 | 696309 | 192/ 192 | 75124 | 0 | 30.46/30.56 c | 221 | 1.1 | 0 | 9087 | 1615 | 49 | 6313434 | 456803 || 221 | 729122 | 192/ 192 | 79050 | 0 | 31.46/31.54 c | 231 | 1.0 | 0 | 9496 | 0 | 50 | 6537490 | 475307 || 231 | 753958 | 192/ 192 | 80915 | 0 | 32.66/32.75 c | 243 | 1.2 | 0 | 9383 | 77 | 51 | 6795252 | 495806 || 243 | 785360 | 192/ 192 | 84016 | 0 | 33.86/33.93 c | 252 | 1.2 | 0 | 9754 | 2068 | 52 | 7037461 | 514574 || 252 | 818803 | 192/ 192 | 87971 | 0 | 34.96/35.00 c | 253 | 1.1 | 0 | 10309 | 564 | 53 | 7272444 | 529615 || 253 | 848280 | 192/ 192 | 91441 | 0 | 36.06/36.18 c | 254 | 1.2 | 0 | 10217 | 6366 | 54 | 7518799 | 543945 || 254 | 880741 | 192/ 192 | 98190 | 0 | 37.06/37.13 c | 254 | 0.9 | 0 | 10448 | 2664 | 55 | 7801894 | 557221 || 254 | 899143 | 192/ 192 | 98370 | 0 | 38.56/38.68 c | 255 | 1.6 | 0 | 10414 | 8667 | 56 | 8096729 | 568016 || 255 | 938018 | 192/ 192 | 111503 | 0 | 40.16/40.26 c | 255 | 1.6 | 0 | 9485 | 6101 | 57 | 8408873 | 582189 || 255 | 969462 | 192/ 192 | 111810 | 0 | 41.67/41.79 c | 255 | 1.5 | 0 | 9927 | 1773 | 58 | 8744243 | 594930 || 255 | 991734 | 192/ 192 | 112022 | 0 | 42.36/42.42 c | 255 | 0.6 | 0 | 8541 | 8075 | 59 | 9097503 | 602556 || 255 | 991734 | 192/ 192 | 112022 | 0 | 43.26/43.38 c | 262 | 1.0 | 0 | 9058 | 269 | 60 | 9424419 | 615988 || 262 | 1004257 | 192/ 192 | 113347 | 0 | 44.66/44.77 c | 277 | 1.4 | 0 | 7742 | 347 | 61 | 9701273 | 640362 || 277 | 1041609 | 192/ 192 | 116887 | 0 | 46.07/46.15 c | 286 | 1.4 | 0 | 8626 | 332 | 62 | 10009296 | 662327 || 286 | 1077995 | 192/ 192 | 120831 | 0 | 47.46/47.52 c | 301 | 1.4 | 0 | 9422 | 1012 | 63 | 10299758 | 686112 || 301 | 1113673 | 192/ 192 | 124369 | 0 | 48.86/48.96 c | 316 | 1.4 | 0 | 10384 | 195 | 64 | 10628238 | 710648 || 316 | 1150961 | 191/ 191 | 127928 | 0 | 50.26/50.38 c | 318 | 1.4 | 0 | 10911 | 4697 | 65 | 10943750 | 728888 || 318 | 1189402 | 191/ 191 | 133071 | 0 | 51.36/51.45 c | 331 | 1.1 | 0 | 11589 | 175 | 66 | 11211986 | 750354 || 331 | 1214455 | 191/ 191 | 135334 | 0 | 52.86/52.99 c | 347 | 1.6 | 0 | 12071 | 546 | 67 | 11530385 | 776697 || 347 | 1255189 | 191/ 191 | 139339 | 0 | 54.26/54.37 c | 356 | 1.4 | 0 | 12254 | 539 | 68 | 11840833 | 798495 || 356 | 1290344 | 191/ 191 | 143275 | 0 | 55.86/55.93 c | 374 | 1.6 | 0 | 12397 | 110 | 69 | 12151259 | 826421 || 374 | 1331235 | 191/ 191 | 147314 | 0 | 57.36/57.48 c | 381 | 1.5 | 0 | 12752 | 2194 | 70 | 12466492 | 848111 || 381 | 1373285 | 191/ 191 | 154099 | 0 | 58.86/58.94 c | 382 | 1.5 | 0 | 13089 | 4893 | 71 | 12813321 | 866161 || 382 | 1412381 | 191/ 191 | 160856 | 0 | 60.16/60.23 c | 382 | 1.3 | 0 | 13393 | 2888 | 72 | 13177307 | 883931 || 382 | 1439220 | 191/ 191 | 161136 | 0 | 61.47/61.60 c | 396 | 1.4 | 0 | 13164 | 374 | 73 | 13542017 | 906146 || 396 | 1466497 | 191/ 191 | 163820 | 0 | 63.16/63.25 c | 412 | 1.6 | 0 | 12373 | 1140 | 74 | 13870578 | 933998 || 412 | 1510348 | 191/ 191 | 168266 | 0 | 64.77/64.87 c | 426 | 1.6 | 0 | 12819 | 11 | 75 | 14255121 | 960300 || 426 | 1550376 | 191/ 191 | 172261 | 0 | 66.56/66.63 c | 443 | 1.8 | 0 | 12541 | 988 | 76 | 14621734 | 988804 || 443 | 1596782 | 189/ 189 | 177116 | 0 | 67.96/68.12 c | 445 | 1.5 | 0 | 12917 | 687 | 77 | 14957697 | 1011294 || 445 | 1637430 | 189/ 189 | 182337 | 0 | 69.46/69.59 c | 460 | 1.5 | 0 | 13308 | 69 | 78 | 15300736 | 1037458 || 460 | 1673283 | 189/ 189 | 185885 | 0 | 71.26/71.39 c | 476 | 1.8 | 0 | 14305 | 1953 | 79 | 15679621 | 1066867 || 476 | 1720516 | 189/ 189 | 191147 | 0 | 72.86/72.95 c | 491 | 1.6 | 0 | 14606 | 729 | 80 | 16012123 | 1095358 || 491 | 1760576 | 189/ 189 | 194737 | 0 | 74.78/74.84 c | 507 | 1.9 | 0 | 14559 | 409 | 81 | 16398348 | 1126093 || 507 | 1810755 | 189/ 189 | 200010 | 0 | 76.56/76.65 c | 509 | 1.8 | 0 | 14851 | 4214 | 82 | 16816955 | 1144774 || 509 | 1855023 | 189/ 189 | 210019 | 0 | 78.08/78.12 c | 509 | 1.5 | 0 | 14643 | 3317 | 83 | 17263632 | 1164198 || 509 | 1883441 | 189/ 189 | 210297 | 0 | 80.28/80.33 c | 510 | 2.2 | 0 | 14822 | 12118 | 84 | 17686515 | 1184429 || 510 | 1940784 | 189/ 189 | 223633 | 0 | 82.16/82.30 c | 510 | 2.0 | 0 | 14601 | 1814 | 85 | 18118415 | 1205744 || 510 | 1977093 | 189/ 189 | 223990 | 0 | 83.06/83.11 c | 510 | 0.8 | 0 | 13584 | 10816 | 86 | 18528146 | 1216679 || 510 | 1977093 | 189/ 189 | 223990 | 0 | 86.16/86.24 c | 511 | 3.1 | 0 | 13339 | 19917 | 87 | 18930960 | 1239940 || 511 | 2066309 | 189/ 189 | 250451 | 0 | 88.85/88.92 c | 511 | 2.7 | 0 | 12977 | 9202 | 88 | 19324386 | 1265742 || 511 | 2114409 | 189/ 189 | 250935 | 0 | 92.06/92.15 c | 511 | 3.2 | 0 | 14248 | 19 | 89 | 19704589 | 1289578 || 511 | 2160321 | 189/ 189 | 251366 | 0 | 92.86/92.97 c | 511 | 0.8 | 0 | 12347 | 9421 | 90 | 20096213 | 1301257 || 511 | 2160321 | 189/ 189 | 251366 | 0 | 93.76/93.82 c | 511 | 0.9 | 0 | 14091 | 18923 | 91 | 20438316 | 1313559 || 511 | 2160321 | 189/ 189 | 251366 | 0 | 95.16/95.28 c | 521 | 1.5 | 0 | 16166 | 200 | 92 | 20821469 | 1334346 || 521 | 2179291 | 189/ 189 | 253156 | 0 | 97.26/97.39 c | 541 | 2.1 | 0 | 12716 | 563 | 93 | 21260130 | 1370546 || 541 | 2233698 | 188/ 188 | 258478 | 0 | 99.36/99.42 c | 557 | 2.0 | 0 | 13499 | 737 | 94 | 21704785 | 1403697 || 557 | 2285106 | 188/ 188 | 263803 | 0 | 101.56/101.67 c | 574 | 2.2 | 0 | 14609 | 1816 | 95 | 22190250 | 1435074 || 574 | 2341770 | 188/ 188 | 272353 | 0 | 103.38/103.48 c | 587 | 1.8 | 0 | 15595 | 290 | 96 | 22644080 | 1464442 || 587 | 2383725 | 188/ 188 | 274724 | 0 | 105.66/105.71 c | 605 | 2.2 | 0 | 16429 | 1859 | 97 | 23088988 | 1499493 || 605 | 2441762 | 188/ 188 | 281320 | 0 | 107.78/107.83 c | 627 | 2.1 | 0 | 17443 | 221 | 98 | 23553043 | 1534968 || 627 | 2493759 | 188/ 188 | 286194 | 0 | 109.98/110.02 c | 637 | 2.2 | 0 | 17290 | 3907 | 99 | 24021441 | 1566484 || 637 | 2551975 | 188/ 188 | 293575 | 0 | 112.18/112.29 c | 638 | 2.3 | 0 | 17534 | 9505 | 100 | 24491498 | 1593531 || 638 | 2606918 | 188/ 188 | 300503 | 0 | 113.76/113.80 c | 651 | 1.5 | 0 | 17147 | 188 | 101 | 24936401 | 1619213 || 651 | 2632155 | 188/ 188 | 302733 | 0 | 116.06/116.12 c | 669 | 2.3 | 0 | 16847 | 168 | 102 | 25402862 | 1656138 || 669 | 2692996 | 188/ 188 | 309386 | 0 | 118.26/118.33 c | 694 | 2.2 | 0 | 17415 | 125 | 103 | 25837110 | 1694985 || 694 | 2747929 | 188/ 188 | 314698 | 0 | 120.46/120.56 c | 701 | 2.2 | 0 | 17905 | 809 | 104 | 26323488 | 1728109 || 701 | 2806772 | 188/ 188 | 321674 | 0 | 122.66/122.79 c | 723 | 2.2 | 0 | 17992 | 78 | 105 | 26823052 | 1764611 || 723 | 2858274 | 188/ 188 | 326579 | 0 | 124.96/125.07 c | 744 | 2.3 | 0 | 18356 | 152 | 106 | 27304471 | 1802005 || 744 | 2915371 | 188/ 188 | 332514 | 0 | 127.48/127.56 c | 763 | 2.5 | 0 | 19072 | 98 | 107 | 27805192 | 1841281 || 763 | 2980454 | 188/ 188 | 339390 | 0 | 129.86/129.94 c | 765 | 2.4 | 0 | 19440 | 6496 | 108 | 28344146 | 1868346 || 765 | 3038916 | 188/ 188 | 349573 | 0 | 132.26/132.34 c | 766 | 2.4 | 0 | 19319 | 8197 | 109 | 28890510 | 1891860 || 766 | 3093428 | 188/ 188 | 362865 | 0 | 135.36/135.47 c | 766 | 3.1 | 0 | 17917 | 391 | 110 | 29465138 | 1924798 || 766 | 3156554 | 188/ 188 | 363470 | 0 | 136.56/136.67 c | 766 | 1.2 | 0 | 17536 | 11892 | 111 | 29977124 | 1939514 || 766 | 3156554 | 188/ 188 | 363470 | 0 | 139.16/139.22 c | 795 | 2.6 | 0 | 17315 | 445 | 112 | 30455903 | 1983846 || 795 | 3220612 | 188/ 188 | 369754 | 0 | 141.46/141.55 c | 812 | 2.3 | 0 | 16694 | 719 | 113 | 30959001 | 2020940 || 812 | 3278026 | 188/ 188 | 375958 | 0 | 144.08/144.16 c | 829 | 2.6 | 0 | 16841 | 3683 | 114 | 31475728 | 2060360 || 829 | 3347997 | 188/ 188 | 384630 | 0 | 146.28/146.35 c | 849 | 2.2 | 0 | 17947 | 61 | 115 | 31973171 | 2098233 || 849 | 3399535 | 188/ 188 | 388962 | 0 | 148.86/148.94 c | 872 | 2.6 | 0 | 18909 | 21 | 116 | 32515867 | 2140391 || 872 | 3465297 | 188/ 188 | 395551 | 0 | 151.36/151.46 c | 891 | 2.5 | 0 | 20246 | 1200 | 117 | 33055415 | 2179603 || 891 | 3528533 | 188/ 188 | 402374 | 0 | 154.26/154.34 c | 893 | 2.9 | 0 | 21569 | 8598 | 118 | 33623448 | 2213133 || 893 | 3602106 | 188/ 188 | 412699 | 0 | 156.36/156.45 c | 908 | 2.1 | 0 | 21041 | 453 | 119 | 34189211 | 2244727 || 908 | 3639820 | 188/ 188 | 416266 | 0 | 158.96/159.02 c | 930 | 2.6 | 0 | 20094 | 125 | 120 | 34709216 | 2286185 || 930 | 3703203 | 188/ 188 | 422553 | 0 | 161.86/161.92 c | 955 | 2.9 | 0 | 20388 | 1691 | 121 | 35247684 | 2331245 || 955 | 3776566 | 188/ 188 | 430503 | 0 | 164.26/164.34 c | 969 | 2.4 | 0 | 20438 | 82 | 122 | 35805289 | 2368625 || 969 | 3833312 | 188/ 188 | 436288 | 0 | 166.86/166.93 c | 990 | 2.6 | 0 | 20302 | 233 | 123 | 36331814 | 2410318 || 990 | 3898902 | 188/ 188 | 443310 | 0 | 169.86/169.93 c | 1018 | 3.0 | 0 | 20840 | 1289 | 124 | 36899234 | 2457623 || 1018 | 3975374 | 188/ 188 | 451685 | 0 | 172.57/172.62 c | 1020 | 2.7 | 0 | 22479 | 6985 | 125 | 37432284 | 2491213 || 1020 | 4044403 | 188/ 188 | 461975 | 0 | 175.16/175.29 c | 1021 | 2.7 | 0 | 22445 | 10384 | 126 | 37970508 | 2521040 || 1021 | 4109024 | 188/ 188 | 475347 | 0 | 177.76/177.88 c | 1021 | 2.6 | 0 | 22404 | 4288 | 127 | 38578110 | 2550750 || 1021 | 4157350 | 188/ 188 | 475780 | 0 | 181.06/181.10 c | 1022 | 3.2 | 0 | 21802 | 17491 | 128 | 39121195 | 2575318 || 1022 | 4235403 | 188/ 188 | 502173 | 0 | 185.06/185.13 c | 1022 | 4.0 | 0 | 21280 | 13301 | 129 | 39757875 | 2610240 || 1022 | 4306964 | 188/ 188 | 502818 | 0 | 187.86/187.93 c | 1022 | 2.8 | 0 | 20500 | 5794 | 130 | 40363593 | 2637597 || 1022 | 4346851 | 188/ 188 | 503197 | 0 | 189.56/189.65 c | 1022 | 1.7 | 0 | 19117 | 19295 | 131 | 40936879 | 2653945 || 1022 | 4346851 | 188/ 188 | 503197 | 0 | 194.68/194.74 c | 1023 | 5.1 | 0 | 18757 | 32897 | 132 | 41504539 | 2686025 || 1023 | 4489651 | 188/ 188 | 555747 | 0 | 198.97/199.11 c | 1023 | 4.4 | 0 | 18810 | 13702 | 133 | 42068483 | 2726803 || 1023 | 4561393 | 188/ 188 | 556478 | 0 | 203.26/203.30 c | 1023 | 4.2 | 0 | 19757 | 13802 | 134 | 42658215 | 2767948 || 1023 | 4634641 | 188/ 188 | 557207 | 0 | 207.96/208.06 c | 1023 | 4.8 | 0 | 18547 | 13904 | 135 | 43249048 | 2807388 || 1023 | 4704719 | 188/ 188 | 557898 | 0 | 209.86/209.96 c | 1023 | 1.9 | 0 | 19215 | 11505 | 136 | 43726595 | 2829690 || 1023 | 4717171 | 188/ 188 | 558026 | 0 | 211.08/211.21 c | 1023 | 1.3 | 0 | 18999 | 25609 | 137 | 44149300 | 2848177 || 1023 | 4717171 | 188/ 188 | 558026 | 0 | 212.29/212.33 c | 1023 | 1.1 | 0 | 19449 | 39811 | 138 | 44538325 | 2867248 || 1023 | 4717171 | 188/ 188 | 558026 | 0 | 214.16/214.22 c | 1033 | 1.9 | 0 | 19787 | 197 | 139 | 44961145 | 2895373 || 1033 | 4736682 | 188/ 188 | 559799 | 0 | 217.06/217.19 c | 1060 | 3.0 | 0 | 19141 | 150 | 140 | 45512636 | 2945855 || 1060 | 4814371 | 188/ 188 | 567804 | 0 | 220.06/220.15 c | 1085 | 3.0 | 0 | 21290 | 1300 | 141 | 46067713 | 2996394 || 1085 | 4891701 | 188/ 188 | 575787 | 0 | 223.28/223.32 c | 1107 | 3.2 | 0 | 23421 | 64 | 142 | 46737209 | 3043255 || 1107 | 4966306 | 188/ 188 | 583743 | 0 | 226.36/226.45 c | 1133 | 3.1 | 0 | 24227 | 14 | 143 | 47367534 | 3093388 || 1133 | 5043502 | 188/ 188 | 591824 | 0 | 229.36/229.46 c | 1149 | 3.0 | 0 | 25542 | 2089 | 144 | 47967875 | 3138704 || 1149 | 5118799 | 188/ 188 | 600446 | 0 | 232.36/232.46 c | 1154 | 3.0 | 0 | 26686 | 80 | 145 | 48717556 | 3171347 || 1154 | 5173469 | 188/ 188 | 607929 | 0 | 235.76/235.83 c | 1181 | 3.4 | 0 | 25131 | 1534 | 146 | 49398561 | 3222373 || 1181 | 5254161 | 188/ 188 | 616232 | 0 | 239.26/239.33 c | 1212 | 3.5 | 0 | 24997 | 585 | 147 | 50073899 | 3276548 || 1212 | 5339537 | 188/ 188 | 625094 | 0 | 242.46/242.50 c | 1234 | 3.2 | 0 | 25086 | 255 | 148 | 50762710 | 3323444 || 1234 | 5412035 | 188/ 188 | 632990 | 0 | 245.86/245.91 c | 1262 | 3.4 | 0 | 25071 | 4 | 149 | 51433359 | 3376873 || 1262 | 5495162 | 188/ 188 | 641388 | 0 | 248.86/248.95 c | 1276 | 3.0 | 0 | 25231 | 3185 | 150 | 52097267 | 3419945 || 1276 | 5565781 | 188/ 188 | 649705 | 0 | 252.66/252.73 c | 1278 | 3.8 | 0 | 25379 | 9084 | 151 | 52810153 | 3457116 || 1278 | 5657307 | 188/ 188 | 669770 | 0 | 255.86/255.93 c | 1278 | 3.2 | 0 | 25830 | 5483 | 152 | 53602557 | 3490730 || 1278 | 5711429 | 188/ 188 | 670271 | 0 | 258.86/258.93 c | 1300 | 3.0 | 0 | 25294 | 549 | 153 | 54381482 | 3532139 || 1300 | 5761672 | 188/ 188 | 675205 | 0 | 262.46/262.50 c | 1331 | 3.6 | 0 | 23562 | 305 | 154 | 55086411 | 3587037 || 1331 | 5846759 | 188/ 188 | 684058 | 0 | 265.46/265.53 c | 1347 | 3.0 | 0 | 24155 | 182 | 155 | 55739545 | 3632842 || 1347 | 5920185 | 188/ 188 | 692352 | 0 | 269.06/269.11 c | 1378 | 3.6 | 0 | 23844 | 134 | 156 | 56453438 | 3688140 || 1378 | 6005663 | 188/ 188 | 701148 | 0 | 272.78/272.89 c | 1404 | 3.8 | 0 | 24415 | 3182 | 157 | 57216660 | 3741654 || 1404 | 6097304 | 188/ 188 | 712430 | 0 | 275.76/275.83 c | 1405 | 2.9 | 0 | 25962 | 4981 | 158 | 57964880 | 3777921 || 1405 | 6158201 | 188/ 188 | 719413 | 0 | 279.46/279.52 c | 1436 | 3.7 | 0 | 27134 | 437 | 159 | 58718695 | 3833100 || 1436 | 6243819 | 188/ 188 | 728295 | 0 | 283.16/283.26 c | 1467 | 3.7 | 0 | 26920 | 786 | 160 | 59495235 | 3888899 || 1467 | 6329991 | 188/ 188 | 737091 | 0 | 286.66/286.78 c | 1493 | 3.5 | 0 | 26873 | 146 | 161 | 60229693 | 3940106 || 1493 | 6409233 | 188/ 188 | 745880 | 0 | 290.56/290.62 c | 1525 | 3.8 | 0 | 27094 | 84 | 162 | 61019481 | 3996796 || 1525 | 6497461 | 188/ 188 | 754831 | 0 | 294.36/294.41 c | 1532 | 3.8 | 0 | 27341 | 7271 | 163 | 61788437 | 4043962 || 1532 | 6591753 | 188/ 188 | 768468 | 0 | 298.26/298.34 c | 1533 | 3.9 | 0 | 27364 | 14474 | 164 | 62573203 | 4085232 || 1533 | 6679009 | 188/ 188 | 782118 | 0 | 300.66/300.75 c | 1533 | 2.4 | 0 | 28280 | 12176 | 165 | 63238804 | 4115791 || 1533 | 6704842 | 188/ 188 | 782363 | 0 | 306.88/306.99 c | 1534 | 6.2 | 0 | 26581 | 29177 | 166 | 64109397 | 4159660 || 1534 | 6842523 | 188/ 188 | 809296 | 0 | 311.76/311.89 c | 1534 | 4.9 | 0 | 26900 | 7876 | 167 | 64979783 | 4191095 || 1534 | 6887328 | 188/ 188 | 809720 | 0 | 314.36/314.45 c | 1534 | 2.6 | 0 | 25713 | 25077 | 168 | 65852498 | 4211192 || 1534 | 6887328 | 188/ 188 | 809720 | 0 | 318.36/318.46 c | 1568 | 4.0 | 0 | 21847 | 123 | 169 | 66598875 | 4272955 || 1568 | 6981610 | 188/ 188 | 819083 | 0 | 322.46/322.52 c | 1597 | 4.1 | 0 | 22320 | 3662 | 170 | 67362441 | 4331691 || 1597 | 7082410 | 188/ 188 | 830925 | 0 | 326.16/326.23 c | 1628 | 3.7 | 0 | 24228 | 1123 | 171 | 68136070 | 4388990 || 1628 | 7168254 | 188/ 188 | 839737 | 0 | 330.06/330.15 c | 1659 | 3.9 | 0 | 25447 | 260 | 172 | 68935130 | 4449221 || 1659 | 7262972 | 188/ 188 | 848631 | 0 | 333.46/333.53 c | 1661 | 3.4 | 0 | 27351 | 3561 | 173 | 69689509 | 4491681 || 1661 | 7341625 | 188/ 188 | 858995 | 0 | 337.36/337.44 c | 1692 | 3.9 | 0 | 28731 | 512 | 174 | 70502813 | 4549333 || 1692 | 7428356 | 188/ 188 | 867850 | 0 | 341.56/341.60 c | 1724 | 4.2 | 0 | 30366 | 2373 | 175 | 71331265 | 4608719 || 1724 | 7525269 | 188/ 188 | 879992 | 0 | 345.38/345.43 c | 1754 | 3.8 | 0 | 30487 | 340 | 176 | 72105884 | 4668795 || 1754 | 7612920 | 188/ 188 | 887220 | 0 | 349.56/349.64 c | 1786 | 4.2 | 0 | 30808 | 2391 | 177 | 72940631 | 4730115 || 1786 | 7712591 | 188/ 188 | 897740 | 0 | 353.36/353.41 c | 1788 | 3.8 | 0 | 30695 | 3788 | 178 | 73765033 | 4770064 || 1788 | 7787776 | 188/ 188 | 908058 | 0 | 358.26/358.38 c | 1789 | 5.0 | 0 | 30766 | 2889 | 179 | 74538493 | 4814340 || 1789 | 7884015 | 188/ 188 | 921785 | 0 | 361.36/361.49 c | 1811 | 3.1 | 0 | 29816 | 78 | 180 | 75216827 | 4862084 || 1811 | 7936447 | 188/ 188 | 926688 | 0 | 365.66/365.70 c | 1849 | 4.2 | 0 | 29227 | 108 | 181 | 76032183 | 4927811 || 1849 | 8038158 | 188/ 188 | 936858 | 0 | 369.58/369.64 c | 1870 | 3.9 | 0 | 29580 | 60 | 182 | 76897933 | 4980641 || 1870 | 8124213 | 188/ 188 | 946900 | 0 | 373.98/374.06 c | 1909 | 4.4 | 0 | 28957 | 0 | 183 | 77764840 | 5047110 || 1909 | 8228356 | 188/ 188 | 957241 | 0 | 378.27/378.37 c | 1916 | 4.3 | 0 | 29310 | 9293 | 184 | 78587298 | 5098281 || 1916 | 8332936 | 188/ 188 | 970966 | 0 | 382.06/382.11 c | 1946 | 3.7 | 0 | 30615 | 136 | 185 | 79444548 | 5153897 || 1946 | 8406181 | 188/ 188 | 978155 | 0 | 386.26/386.33 c | 1978 | 4.2 | 0 | 31410 | 663 | 186 | 80278135 | 5217041 || 1978 | 8505914 | 188/ 188 | 988786 | 0 | 390.56/390.62 c | 2009 | 4.3 | 0 | 31827 | 919 | 187 | 81145032 | 5278498 || 2009 | 8603370 | 188/ 188 | 999326 | 0 | 394.96/395.03 c | 2041 | 4.4 | 0 | 31517 | 468 | 188 | 82041233 | 5342399 || 2041 | 8704606 | 188/ 188 | 1009862 | 0 | 398.96/399.03 c | 2043 | 4.0 | 0 | 32222 | 5360 | 189 | 82957565 | 5384061 || 2043 | 8781449 | 188/ 188 | 1020189 | 0 | 403.96/404.03 c | 2044 | 5.0 | 0 | 31190 | 5561 | 190 | 83864745 | 5435187 || 2044 | 8883816 | 188/ 188 | 1033971 | 0 | 409.46/409.55 c | 2045 | 5.5 | 0 | 31458 | 25064 | 191 | 84793676 | 5480418 || 2045 | 9001964 | 188/ 188 | 1060703 | 0 | 414.46/414.52 c | 2045 | 5.0 | 0 | 30344 | 6260 | 192 | 85675650 | 5525970 || 2045 | 9069746 | 188/ 188 | 1061319 | 0 | 419.46/419.56 c | 2046 | 5.0 | 0 | 28230 | 25962 | 193 | 86525120 | 5552362 || 2046 | 9173440 | 187/ 187 | 1113540 | 0 | 425.46/425.50 c | 2046 | 6.0 | 0 | 25740 | 19806 | 194 | 87458889 | 5607539 || 2046 | 9281792 | 187/ 187 | 1114563 | 0 | 435.58/435.69 c | 2046 | 10.2 | 0 | 28147 | 19902 | 195 | 88342908 | 5655405 || 2046 | 9377373 | 187/ 187 | 1115462 | 0 | 440.86/441.00 c | 2046 | 5.3 | 0 | 27348 | 8872 | 196 | 89202849 | 5695412 || 2046 | 9433637 | 187/ 187 | 1116033 | 0 | 442.96/443.09 c | 2046 | 2.1 | 0 | 27555 | 28975 | 197 | 89920296 | 5721115 || 2046 | 9433637 | 187/ 187 | 1116033 | 0 | 444.96/445.04 c | 2046 | 1.9 | 0 | 25985 | 49177 | 198 | 90469200 | 5749170 || 2046 | 9433637 | 187/ 187 | 1116033 | 0 | 456.26/456.36 c | 2047 | 11.3 | 0 | 27121 | 69482 | 199 | 91263658 | 5810871 || 2047 | 9748495 | 187/ 187 | 1221547 | 0 | 465.28/465.36 c | 2047 | 9.0 | 0 | 28260 | 20403 | 200 | 92074882 | 5869715 || 2047 | 9863077 | 187/ 187 | 1222698 | 0 | 474.86/474.92 c | 2047 | 9.6 | 0 | 31372 | 20501 | 201 | 92847393 | 5928552 || 2047 | 9973708 | 187/ 187 | 1223821 | 0 | 484.97/485.06 c | 2047 | 10.1 | 0 | 32624 | 20602 | 202 | 93604080 | 5987212 || 2047 | 10086461 | 187/ 187 | 1224936 | 0 | 496.56/496.64 c | 2047 | 11.6 | 0 | 33866 | 20704 | 203 | 94343515 | 6045118 || 2047 | 10195221 | 187/ 187 | 1226027 | 0 | 500.56/500.62 c | 2047 | 4.0 | 0 | 29660 | 18893 | 204 | 94978259 | 6075382 || 2047 | 10205165 | 187/ 187 | 1226134 | 0 | 504.16/504.26 c | 2047 | 3.6 | 0 | 28437 | 39795 | 205 | 95693025 | 6100675 || 2047 | 10205165 | 187/ 187 | 1226134 | 0 | 507.36/507.41 c | 2047 | 3.1 | 0 | 30313 | 60796 | 206 | 96381895 | 6127026 || 2047 | 10205165 | 187/ 187 | 1226134 | 0 | 511.16/511.24 c | 2047 | 3.8 | 0 | 32894 | 81897 | 207 | 97121141 | 6152751 || 2047 | 10205165 | 187/ 187 | 1226134 | 0 | 514.78/514.86 c | 2050 | 3.6 | 0 | 30813 | 91 | 208 | 97851621 | 6182120 || 2050 | 10211110 | 187/ 187 | 1226590 | 0 | 519.66/519.76 c | 2093 | 4.9 | 0 | 25639 | 316 | 209 | 98706221 | 6259281 || 2093 | 10330174 | 187/ 187 | 1238562 | 0 | 524.36/524.40 c | 2125 | 4.6 | 0 | 28353 | 470 | 210 | 99671111 | 6326264 || 2125 | 10437009 | 187/ 187 | 1250861 | 0 | 529.36/529.44 c | 2169 | 5.0 | 0 | 30207 | 109 | 211 | 100602761 | 6404696 || 2169 | 10556074 | 187/ 187 | 1262043 | 0 | 533.96/534.07 c | 2174 | 4.6 | 0 | 33400 | 3100 | 212 | 101612426 | 6457035 || 2174 | 10657877 | 187/ 187 | 1275425 | 0 | 538.76/538.84 c | 2212 | 4.8 | 0 | 35552 | 353 | 213 | 102570164 | 6527098 || 2212 | 10760108 | 187/ 187 | 1285624 | 0 | 543.66/543.79 c | 2244 | 5.0 | 0 | 36684 | 303 | 214 | 103580758 | 6594437 || 2244 | 10869773 | 187/ 187 | 1297926 | 0 | 548.96/549.09 c | 2288 | 5.3 | 0 | 37028 | 46 | 215 | 104536447 | 6672302 || 2288 | 10990010 | 187/ 187 | 1309704 | 0 | 554.16/554.31 c | 2301 | 5.2 | 0 | 37074 | 710 | 216 | 105557074 | 6733138 || 2301 | 11108066 | 187/ 187 | 1324619 | 0 | 559.46/559.54 c | 2302 | 5.2 | 0 | 36979 | 3608 | 217 | 106576968 | 6779514 || 2302 | 11201046 | 187/ 187 | 1338307 | 0 | 563.76/563.88 c | 2333 | 4.3 | 0 | 35021 | 962 | 218 | 107551072 | 6840466 || 2333 | 11278641 | 187/ 187 | 1347059 | 0 | 569.06/569.17 c | 2365 | 5.3 | 0 | 35334 | 0 | 219 | 108607690 | 6911929 || 2365 | 11398461 | 187/ 187 | 1359489 | 0 | 573.86/573.97 c | 2406 | 4.8 | 0 | 35260 | 132 | 220 | 109567547 | 6984695 || 2406 | 11502555 | 187/ 187 | 1370094 | 0 | 579.06/579.17 c | 2429 | 5.2 | 0 | 35685 | 6404 | 221 | 110540270 | 7052490 || 2429 | 11627923 | 187/ 187 | 1387295 | 0 | 583.97/584.07 c | 2460 | 4.9 | 0 | 36085 | 968 | 222 | 111572200 | 7119360 || 2460 | 11723602 | 187/ 187 | 1396237 | 0 | 589.47/589.58 c | 2492 | 5.5 | 0 | 35963 | 407 | 223 | 112666376 | 7191309 || 2492 | 11844342 | 187/ 187 | 1408603 | 0 | 594.76/594.81 c | 2536 | 5.2 | 0 | 37646 | 118 | 224 | 113666243 | 7268013 || 2536 | 11957147 | 187/ 187 | 1419710 | 0 | 600.26/600.33 c | 2556 | 5.5 | 0 | 38142 | 7577 | 225 | 114734549 | 7336954 || 2556 | 12084960 | 187/ 187 | 1436642 | 0 | 605.97/606.02 c | 2557 | 5.7 | 0 | 38185 | 1777 | 226 | 115740076 | 7393429 || 2557 | 12193714 | 187/ 187 | 1450559 | 0 | 611.96/612.06 c | 2558 | 6.0 | 0 | 36835 | 24878 | 227 | 116757337 | 7442530 || 2558 | 12309518 | 187/ 187 | 1477288 | 0 | 618.07/618.17 c | 2558 | 6.1 | 0 | 36791 | 9676 | 228 | 117711687 | 7493442 || 2558 | 12381425 | 187/ 187 | 1477975 | 0 | 622.16/622.24 c | 2577 | 4.1 | 0 | 35430 | 50 | 229 | 118575757 | 7543308 || 2577 | 12425086 | 187/ 187 | 1482122 | 0 | 627.76/627.83 c | 2620 | 5.6 | 0 | 32515 | 273 | 230 | 119592893 | 7626439 || 2620 | 12557582 | 187/ 187 | 1495731 | 0 | 632.76/632.84 c | 2652 | 5.0 | 0 | 32760 | 1311 | 231 | 120622252 | 7697290 || 2652 | 12669148 | 187/ 187 | 1508111 | 0 | 638.36/638.42 c | 2685 | 5.6 | 0 | 33807 | 4056 | 232 | 121694427 | 7771396 || 2685 | 12800102 | 187/ 187 | 1527017 | 0 | 643.48/643.53 c | 2715 | 5.1 | 0 | 35367 | 908 | 233 | 122778871 | 7840829 || 2715 | 12901673 | 187/ 187 | 1534395 | 0 | 649.06/649.11 c | 2748 | 5.6 | 0 | 36568 | 273 | 234 | 123834281 | 7916981 || 2748 | 13030415 | 187/ 187 | 1548476 | 0 | 654.66/654.77 c | 2794 | 5.7 | 0 | 39062 | 512 | 235 | 124995602 | 7995865 || 2794 | 13149780 | 187/ 187 | 1560845 | 0 | 660.26/660.32 c | 2812 | 5.5 | 0 | 39462 | 76 | 236 | 126044210 | 8066069 || 2812 | 13282288 | 187/ 187 | 1576506 | 0 | 665.66/665.79 c | 2813 | 5.5 | 0 | 39078 | 4977 | 237 | 127192985 | 8118424 || 2813 | 13381538 | 187/ 187 | 1590276 | 0 | 670.36/670.49 c | 2846 | 4.7 | 0 | 38090 | 31 | 238 | 128168017 | 8186925 || 2846 | 13471955 | 187/ 187 | 1599389 | 0 | 675.96/676.09 c | 2883 | 5.6 | 0 | 37743 | 166 | 239 | 129276111 | 8264115 || 2883 | 13596355 | 187/ 187 | 1612780 | 0 | 681.87/681.94 c | 2936 | 5.9 | 0 | 38446 | 295 | 240 | 130391813 | 8351384 || 2936 | 13730588 | 187/ 187 | 1626521 | 0 | 686.76/686.83 c | 2940 | 4.9 | 0 | 39015 | 6186 | 241 | 131519601 | 8406190 || 2940 | 13827303 | 187/ 187 | 1639481 | 0 | 692.98/693.04 c | 2993 | 6.2 | 0 | 38438 | 504 | 242 | 132653837 | 8493562 || 2993 | 13963648 | 187/ 187 | 1653160 | 0 | 698.66/698.78 c | 3032 | 5.7 | 0 | 39454 | 340 | 243 | 133777300 | 8572465 || 3032 | 14088934 | 187/ 187 | 1666765 | 0 | 704.56/704.70 c | 3066 | 5.9 | 0 | 41258 | 73 | 244 | 134882419 | 8653248 || 3066 | 14225221 | 187/ 187 | 1681654 | 0 | 710.76/710.89 c | 3068 | 6.2 | 0 | 41742 | 15373 | 245 | 136090695 | 8712364 || 3068 | 14355863 | 187/ 187 | 1702174 | 0 | 718.07/718.11 c | 3069 | 7.2 | 0 | 42622 | 21172 | 246 | 137314001 | 8761169 || 3069 | 14474330 | 187/ 187 | 1728879 | 0 | 725.27/725.31 c | 3069 | 7.2 | 0 | 39240 | 7873 | 247 | 138560265 | 8815688 || 3069 | 14564250 | 187/ 187 | 1729718 | 0 | 732.67/732.75 c | 3070 | 7.4 | 0 | 38965 | 33076 | 248 | 139733196 | 8860218 || 3070 | 14708086 | 187/ 187 | 1782300 | 0 | 742.27/742.39 c | 3070 | 9.6 | 0 | 35607 | 25303 | 249 | 140826196 | 8931846 || 3070 | 14837487 | 187/ 187 | 1783614 | 0 | 753.16/753.23 c | 3070 | 10.8 | 0 | 38646 | 6980 | 250 | 141777818 | 8991237 || 3070 | 14926706 | 187/ 187 | 1784525 | 0 | 756.78/756.83 c | 3070 | 3.6 | 0 | 31588 | 32481 | 251 | 142827387 | 9022888 || 3070 | 14926706 | 187/ 187 | 1784525 | 0 | 761.36/761.48 c | 3088 | 4.7 | 0 | 32333 | 156 | 252 | 143911541 | 9072327 || 3088 | 14967266 | 187/ 187 | 1788550 | 0 | 767.56/767.69 c | 3133 | 6.2 | 0 | 31009 | 2077 | 253 | 145077978 | 9160058 || 3133 | 15109855 | 187/ 187 | 1805589 | 0 | 773.28/773.32 c | 3177 | 5.6 | 0 | 33889 | 294 | 254 | 146146799 | 9245446 || 3177 | 15236737 | 187/ 187 | 1816847 | 0 | 779.26/779.31 c | 3197 | 6.0 | 0 | 36501 | 858 | 255 | 147297106 | 9320129 || 3197 | 15373433 | 187/ 187 | 1833769 | 0 | 784.86/784.90 c | 3242 | 5.6 | 0 | 39220 | 599 | 256 | 148383085 | 9402808 || 3242 | 15490753 | 187/ 187 | 1845317 | 0 | 790.77/790.90 c | 3282 | 6.0 | 0 | 41859 | 242 | 257 | 149519914 | 9486838 || 3282 | 15624376 | 187/ 187 | 1859893 | 0 | 797.26/797.36 c | 3323 | 6.5 | 0 | 44075 | 3775 | 258 | 150728295 | 9572708 || 3323 | 15771120 | 187/ 187 | 1876149 | 0 | 804.26/804.31 c | 3325 | 6.9 | 0 | 44790 | 15675 | 259 | 152060819 | 9634919 || 3325 | 15904414 | 187/ 187 | 1896691 | 0 | 809.76/809.81 c | 3353 | 5.5 | 0 | 43165 | 127 | 260 | 153304386 | 9701850 || 3353 | 15984403 | 187/ 187 | 1902732 | 0 | 815.96/816.01 c | 3388 | 6.2 | 0 | 40901 | 1271 | 261 | 154436479 | 9785982 || 3388 | 16122524 | 187/ 187 | 1918083 | 0 | 822.26/822.38 c | 3441 | 6.4 | 0 | 41837 | 177 | 262 | 155545723 | 9879363 || 3441 | 16262165 | 187/ 187 | 1931883 | 0 | 827.76/827.86 c | 3453 | 5.5 | 0 | 41928 | 6462 | 263 | 156750852 | 9944238 || 3453 | 16373538 | 187/ 187 | 1946224 | 0 | 834.56/834.66 c | 3512 | 6.8 | 0 | 41236 | 557 | 264 | 157882249 | 10043267 || 3512 | 16525315 | 187/ 187 | 1961180 | 0 | 840.66/840.73 c | 3546 | 6.1 | 0 | 42404 | 803 | 265 | 159025246 | 10126448 || 3546 | 16657607 | 187/ 187 | 1976084 | 0 | 847.26/847.37 c | 3579 | 6.6 | 0 | 44727 | 6950 | 266 | 160235108 | 10209753 || 3579 | 16806273 | 187/ 187 | 1995126 | 0 | 853.76/853.85 c | 3580 | 6.5 | 0 | 46036 | 5249 | 267 | 161453421 | 10268913 || 3580 | 16919465 | 187/ 187 | 2009031 | 0 | 862.38/862.46 c | 3581 | 8.6 | 0 | 44552 | 32451 | 268 | 162484739 | 10332531 || 3581 | 17070625 | 187/ 187 | 2036086 | 0 | 867.66/867.75 c | 3581 | 5.3 | 0 | 44538 | 21352 | 269 | 163630854 | 10374644 || 3581 | 17100318 | 187/ 187 | 2036373 | 0 | 874.06/874.18 c | 3630 | 6.4 | 0 | 42043 | 60 | 270 | 164767481 | 10463738 || 3630 | 17229225 | 187/ 187 | 2049146 | 0 | 880.76/880.84 c | 3674 | 6.7 | 0 | 40040 | 91 | 271 | 166015505 | 10554500 || 3674 | 17373545 | 187/ 187 | 2064533 | 0 | 887.36/887.41 c | 3708 | 6.6 | 0 | 40314 | 4419 | 272 | 167227521 | 10640063 || 3708 | 17522901 | 187/ 187 | 2085277 | 0 | 893.07/893.16 c | 3740 | 5.8 | 0 | 40825 | 1661 | 273 | 168401353 | 10722528 || 3740 | 17640687 | 187/ 187 | 2094522 | 0 | 899.56/899.69 c | 3786 | 6.5 | 0 | 42444 | 993 | 274 | 169566047 | 10814947 || 3786 | 17785895 | 187/ 187 | 2110228 | 0 | 906.46/906.57 c | 3834 | 6.9 | 0 | 44978 | 2789 | 275 | 170802315 | 10909037 || 3834 | 17939276 | 187/ 187 | 2127759 | 0 | 913.46/913.50 c | 3836 | 6.9 | 0 | 47875 | 16389 | 276 | 172082354 | 10979186 || 3836 | 18084626 | 187/ 187 | 2148383 | 0 | 918.56/918.62 c | 3866 | 5.1 | 0 | 47109 | 431 | 277 | 173095362 | 11052574 || 3866 | 18171575 | 187/ 187 | 2155613 | 0 | 925.09/925.16 c | 3906 | 6.5 | 0 | 46081 | 164 | 278 | 174264608 | 11142448 || 3906 | 18314905 | 187/ 187 | 2170976 | 0 | 932.17/932.24 c | 3961 | 7.1 | 0 | 46759 | 2368 | 279 | 175460389 | 11242221 || 3961 | 18471101 | 187/ 187 | 2187333 | 0 | 938.37/938.48 c | 3983 | 6.2 | 0 | 47512 | 37 | 280 | 176664062 | 11316988 || 3983 | 18591807 | 187/ 187 | 2201862 | 0 | 945.37/945.47 c | 4026 | 7.0 | 0 | 46791 | 768 | 281 | 177917055 | 11411142 || 4026 | 18745567 | 187/ 187 | 2218820 | 0 | 952.37/952.48 c | 4085 | 7.0 | 0 | 46919 | 161 | 282 | 179145929 | 11508937 || 4085 | 18891363 | 187/ 187 | 2233419 | 0 | 959.47/959.54 c | 4091 | 7.0 | 0 | 49044 | 9952 | 283 | 180441391 | 11577903 || 4091 | 19040983 | 187/ 187 | 2260084 | 0 | 967.07/967.18 c | 4092 | 7.6 | 0 | 48767 | 19551 | 284 | 181742713 | 11639941 || 4092 | 19179998 | 187/ 187 | 2286998 | 0 | 974.87/974.93 c | 4092 | 7.8 | 0 | 46796 | 10051 | 285 | 183046479 | 11704630 || 4092 | 19276882 | 187/ 187 | 2287987 | 0 | 983.77/983.85 c | 4093 | 8.9 | 0 | 44469 | 39054 | 286 | 184361227 | 11768055 || 4093 | 19459620 | 187/ 187 | 2341067 | 0 | 997.16/997.26 c | 4093 | 13.4 | 0 | 44316 | 29103 | 287 | 185539492 | 11851301 || 4093 | 19616136 | 187/ 187 | 2342600 | 0 | 1006.77/1006.82 c | 4093 | 9.6 | 0 | 44096 | 20558 | 288 | 186658572 | 11900149 || 4093 | 19661003 | 187/ 187 | 2343085 | 0 | 1010.89/1010.98 c | 4093 | 4.2 | 0 | 42390 | 49859 | 289 | 187482474 | 11938298 || 4093 | 19661003 | 187/ 187 | 2343085 | 0 | 1026.57/1026.60 c | 4094 | 15.6 | 0 | 36584 | 79261 | 290 | 188737348 | 12024063 || 4094 | 20020209 | 187/ 187 | 2449035 | 0 | 1041.96/1042.00 c | 4094 | 15.4 | 0 | 39397 | 29502 | 291 | 189994784 | 12107911 || 4094 | 20180028 | 187/ 187 | 2450601 | 0 | 1057.36/1057.48 c | 4094 | 15.5 | 0 | 41974 | 29603 | 292 | 191278845 | 12189439 || 4094 | 20334107 | 187/ 187 | 2452074 | 0 | 1070.96/1071.06 c | 4094 | 13.6 | 0 | 41761 | 14467 | 293 | 192645635 | 12246609 || 4094 | 20409560 | 187/ 187 | 2452798 | 0 | 1079.16/1079.27 c | 4094 | 8.2 | 0 | 41621 | 44273 | 294 | 194066826 | 12282139 || 4094 | 20409560 | 187/ 187 | 2452798 | 0 | 1086.56/1086.61 c | 4094 | 7.3 | 0 | 43240 | 74174 | 295 | 195515581 | 12317626 || 4094 | 20409560 | 187/ 187 | 2452798 | 0 | 1104.77/1104.87 c | 4095 | 18.3 | 0 | 42526 | 104175 | 296 | 196878798 | 12357086 || 4095 | 20821791 | 187/ 187 | 2661694 | 0 | 1117.97/1118.08 c | 4095 | 13.2 | 0 | 33106 | 30101 | 297 | 198225112 | 12439292 || 4095 | 20978496 | 187/ 187 | 2663219 | 0 | 1137.07/1137.11 c | 4095 | 19.0 | 0 | 37579 | 30203 | 298 | 199539185 | 12518091 || 4095 | 21124990 | 187/ 187 | 2664626 | 0 | 1156.09/1156.18 c | 4095 | 19.1 | 0 | 40976 | 30302 | 299 | 200820774 | 12594732 || 4095 | 21266444 | 187/ 187 | 2665993 | 0 | 1179.87/1179.99 c | 4095 | 23.8 | 0 | 42080 | 30402 | 300 | 202047056 | 12672617 || 4095 | 21410301 | 187/ 187 | 2667401 | 0 | 1202.76/1202.87 c | 4095 | 22.9 | 0 | 44707 | 30501 | 301 | 203293047 | 12749044 || 4095 | 21552296 | 187/ 187 | 2668760 | 0 | 1225.46/1225.57 c | 4095 | 22.7 | 0 | 47066 | 30601 | 302 | 204544490 | 12824770 || 4095 | 21697268 | 187/ 187 | 2670089 | 0 | 1241.88/1241.99 c | 4095 | 16.4 | 0 | 43024 | 9786 | 303 | 205802792 | 12889837 || 4095 | 21796488 | 187/ 187 | 2671107 | 0 | 1247.66/1247.79 c | 4095 | 5.8 | 0 | 36955 | 40590 | 304 | 207031160 | 12929523 || 4095 | 21796488 | 187/ 187 | 2671107 | 0 | 1253.07/1253.18 c | 4095 | 5.4 | 0 | 40554 | 71494 | 305 | 208183511 | 12969071 || 4095 | 21796488 | 187/ 187 | 2671107 | 0 | 1258.57/1258.60 c | 4095 | 5.4 | 0 | 41098 | 102496 | 306 | 209288021 | 13009910 || 4095 | 21796488 | 187/ 187 | 2671107 | 0 | 1264.17/1264.24 c | 4095 | 5.6 | 0 | 41759 | 133597 | 307 | 210484489 | 13049504 || 4095 | 21796488 | 187/ 187 | 2671107 | 0 | 1270.77/1270.88 c | 4095 | 6.7 | 0 | 46649 | 164799 | 308 | 211811741 | 13088191 || 4095 | 21796488 | 187/ 187 | 2671107 | 0 | 1277.87/1277.93 c | 4095 | 7.0 | 0 | 44219 | 196101 | 309 | 213144632 | 13127202 || 4095 | 21796488 | 187/ 187 | 2671107 | 0 | 1285.47/1285.53 c | 4143 | 7.6 | 0 | 42922 | 126 | 310 | 214492237 | 13219874 || 4143 | 21921449 | 187/ 187 | 2683758 | 0 | 1293.07/1293.17 c | 4189 | 7.6 | 0 | 40475 | 1247 | 311 | 215944672 | 13319829 || 4189 | 22081493 | 187/ 187 | 2701122 | 0 | 1300.77/1300.89 c | 4222 | 7.7 | 0 | 43863 | 2394 | 312 | 217391466 | 13414132 || 4222 | 22245018 | 187/ 187 | 2720336 | 0 | 1308.37/1308.48 c | 4283 | 7.6 | 0 | 45827 | 788 | 313 | 218787493 | 13519314 || 4283 | 22400382 | 187/ 187 | 2736267 | 0 | 1315.97/1316.06 c | 4331 | 7.6 | 0 | 49081 | 506 | 314 | 220202376 | 13620869 || 4331 | 22561304 | 187/ 187 | 2753782 | 0 | 1323.87/1323.90 c | 4350 | 7.8 | 0 | 51843 | 7957 | 315 | 221556308 | 13705826 || 4350 | 22729717 | 187/ 187 | 2782683 | 0 | 1330.77/1330.82 c | 4371 | 6.9 | 0 | 53546 | 107 | 316 | 222947457 | 13786074 || 4371 | 22842968 | 187/ 187 | 2787778 | 0 | 1338.58/1338.72 c | 4419 | 7.9 | 0 | 50804 | 129 | 317 | 224356564 | 13888879 || 4419 | 23006286 | 187/ 187 | 2805442 | 0 | 1347.07/1347.14 c | 4476 | 8.4 | 0 | 51076 | 3242 | 318 | 225754069 | 13998599 || 4476 | 23184127 | 187/ 187 | 2825563 | 0 | 1354.57/1354.63 c | 4508 | 7.5 | 0 | 52896 | 294 | 319 | 227219748 | 14089803 || 4508 | 23328923 | 187/ 187 | 2841358 | 0 | 1362.56/1362.69 c | 4562 | 8.1 | 0 | 51849 | 214 | 320 | 228692462 | 14194793 || 4562 | 23492979 | 187/ 187 | 2858600 | 0 | 1370.76/1370.87 c | 4604 | 8.2 | 0 | 51988 | 5861 | 321 | 230149479 | 14295315 || 4604 | 23670135 | 187/ 187 | 2881431 | 0 | 1377.96/1378.08 c | 4605 | 7.2 | 0 | 53522 | 9654 | 322 | 231662424 | 14366020 || 4605 | 23794829 | 187/ 187 | 2895478 | 0 | 1389.66/1389.75 c | 4606 | 11.7 | 0 | 53516 | 3953 | 323 | 233389420 | 14441933 || 4606 | 23979479 | 187/ 187 | 2922833 | 0 | 1396.57/1396.65 c | 4635 | 6.9 | 0 | 51579 | 315 | 324 | 234994141 | 14512053 || 4635 | 24045386 | 187/ 187 | 2929089 | 0 | 1404.97/1405.02 c | 4684 | 8.4 | 0 | 48355 | 1144 | 325 | 236502281 | 14618157 || 4684 | 24217332 | 187/ 187 | 2947534 | 0 | 1413.07/1413.18 c | 4733 | 8.2 | 0 | 49502 | 3260 | 326 | 237975505 | 14722250 || 4733 | 24393291 | 187/ 187 | 2971700 | 0 | 1420.97/1421.03 c | 4778 | 7.9 | 0 | 49504 | 456 | 327 | 239464547 | 14825383 || 4778 | 24545676 | 187/ 187 | 2983610 | 0 | 1428.97/1429.04 c | 4827 | 8.0 | 0 | 49558 | 586 | 328 | 240900373 | 14932623 || 4827 | 24718588 | 187/ 187 | 3002129 | 0 | 1437.27/1437.33 c | 4860 | 8.3 | 0 | 52379 | 3449 | 329 | 242477727 | 15028469 || 4860 | 24884561 | 187/ 187 | 3021312 | 0 | 1445.57/1445.63 c | 4876 | 8.3 | 0 | 54987 | 427 | 330 | 244132460 | 15102181 || 4876 | 25008687 | 187/ 187 | 3038499 | 0 | 1453.67/1453.77 c | 4924 | 8.1 | 0 | 53393 | 3045 | 331 | 245624410 | 15207967 || 4924 | 25176943 | 187/ 187 | 3056201 | 0 | 1462.47/1462.57 c | 4987 | 8.8 | 0 | 53522 | 2955 | 332 | 247176484 | 15322696 || 4987 | 25363173 | 187/ 187 | 3077251 | 0 | 1469.97/1470.09 c | 5019 | 7.5 | 0 | 54055 | 1395 | 333 | 248645549 | 15415919 || 5019 | 25511005 | 187/ 187 | 3093184 | 0 | 1478.67/1478.78 c | 5080 | 8.7 | 0 | 53768 | 278 | 334 | 250122782 | 15530882 || 5080 | 25689910 | 187/ 187 | 3111640 | 0 | 1487.67/1487.73 c | 5115 | 8.9 | 0 | 54053 | 131 | 335 | 251662921 | 15633722 || 5115 | 25876656 | 187/ 187 | 3133485 | 0 | 1496.27/1496.39 c | 5117 | 8.7 | 0 | 54884 | 14926 | 336 | 253134781 | 15700538 || 5117 | 26034694 | 187/ 187 | 3173473 | 0 | 1506.07/1506.15 c | 5117 | 9.8 | 0 | 54778 | 10625 | 337 | 254592638 | 15782705 || 5117 | 26166956 | 187/ 187 | 3174772 | 0 | 1517.67/1517.79 c | 5118 | 11.6 | 0 | 54422 | 44826 | 338 | 256081016 | 15852793 || 5118 | 26360766 | 187/ 187 | 3227903 | 0 | 1533.97/1534.09 c | 5118 | 16.3 | 0 | 53381 | 2328 | 339 | 257528984 | 15933435 || 5118 | 26502846 | 187/ 187 | 3229272 | 0 | 1538.56/1538.63 c | 5118 | 4.5 | 0 | 47180 | 36730 | 340 | 258734418 | 15978187 || 5118 | 26502846 | 187/ 187 | 3229272 | 0 | 1546.16/1546.22 c | 5162 | 7.6 | 0 | 45092 | 175 | 341 | 260126407 | 16068591 || 5162 | 26612621 | 187/ 187 | 3240335 | 0 | 1554.96/1555.01 c | 5213 | 8.8 | 0 | 43779 | 1 | 342 | 261733804 | 16177727 || 5213 | 26788059 | 187/ 187 | 3259339 | 0 | 1562.98/1563.11 c | 5245 | 8.1 | 0 | 45981 | 5965 | 343 | 263311576 | 16275414 || 5245 | 26950530 | 187/ 187 | 3278404 | 0 | 1572.26/1572.37 c | 5308 | 9.2 | 0 | 48810 | 3856 | 344 | 264879538 | 16394201 || 5308 | 27144513 | 187/ 187 | 3299501 | 0 | 1580.87/1580.98 c | 5370 | 8.6 | 0 | 51468 | 251 | 345 | 266369577 | 16510826 || 5370 | 27321981 | 187/ 187 | 3317224 | 0 | 1590.26/1590.37 c | 5373 | 9.4 | 0 | 55197 | 1651 | 346 | 267998268 | 16595607 || 5373 | 27499963 | 187/ 187 | 3341408 | 0 | 1597.86/1597.95 c | 5425 | 7.6 | 0 | 56720 | 58 | 347 | 269365790 | 16699079 || 5425 | 27633607 | 187/ 187 | 3354749 | 0 | 1606.56/1606.68 c | 5481 | 8.7 | 0 | 56722 | 142 | 348 | 270877442 | 16814406 || 5481 | 27815470 | 187/ 187 | 3374115 | 0 | 1614.96/1615.01 c | 5514 | 8.3 | 0 | 57485 | 200 | 349 | 272406816 | 16914119 || 5514 | 27982445 | 187/ 187 | 3393344 | 0 | 1623.67/1623.73 c | 5569 | 8.7 | 0 | 58259 | 108 | 350 | 273932132 | 17032091 || 5569 | 28166581 | 187/ 187 | 3412780 | 0 | 1632.67/1632.78 c | 5626 | 9.1 | 0 | 58318 | 1697 | 351 | 275545781 | 17148997 || 5626 | 28354380 | 187/ 187 | 3433024 | 0 | 1641.27/1641.39 c | 5628 | 8.6 | 0 | 58534 | 8498 | 352 | 277121204 | 17230091 || 5628 | 28502841 | 187/ 187 | 3453651 | 0 | 1652.97/1653.08 c | 5629 | 11.7 | 0 | 59711 | 5799 | 353 | 278642506 | 17320003 || 5629 | 28695215 | 187/ 187 | 3481189 | 0 | 1659.89/1659.98 c | 5660 | 6.9 | 0 | 56364 | 1546 | 354 | 279993259 | 17402658 || 5660 | 28783302 | 187/ 187 | 3490058 | 0 | 1669.27/1669.34 c | 5723 | 9.4 | 0 | 53453 | 1346 | 355 | 281630339 | 17522506 || 5723 | 28976251 | 187/ 187 | 3511134 | 0 | 1677.49/1677.56 c | 5756 | 8.2 | 0 | 54414 | 4493 | 356 | 283202072 | 17623783 || 5756 | 29143649 | 187/ 187 | 3530386 | 0 | 1686.67/1686.75 c | 5819 | 9.2 | 0 | 53685 | 3707 | 357 | 284806223 | 17743665 || 5819 | 29335359 | 187/ 187 | 3551413 | 0 | 1695.47/1695.51 c | 5881 | 8.8 | 0 | 54258 | 1425 | 358 | 286380826 | 17862627 || 5881 | 29512009 | 187/ 187 | 3569138 | 0 | 1705.07/1705.16 c | 5884 | 9.7 | 0 | 57018 | 4120 | 359 | 288158365 | 17947534 || 5884 | 29685937 | 187/ 187 | 3593252 | 0 | 1713.97/1714.08 c | 5945 | 8.9 | 0 | 58310 | 815 | 360 | 289790704 | 18059141 || 5945 | 29841317 | 187/ 187 | 3609212 | 0 | 1723.27/1723.39 c | 6004 | 9.3 | 0 | 58792 | 205 | 361 | 291441264 | 18178248 || 6004 | 30028536 | 187/ 187 | 3628843 | 0 | 1732.07/1732.13 c | 6040 | 8.7 | 0 | 58666 | 136 | 362 | 293038208 | 18285063 || 6040 | 30201231 | 187/ 187 | 3648877 | 0 | 1741.37/1741.47 c | 6098 | 9.3 | 0 | 58871 | 54 | 363 | 294691779 | 18402865 || 6098 | 30389370 | 187/ 187 | 3668944 | 0 | 1750.87/1750.98 c | 6138 | 9.5 | 0 | 58579 | 1079 | 364 | 296341044 | 18515105 || 6138 | 30585774 | 187/ 187 | 3691771 | 0 | 1760.37/1760.48 c | 6140 | 9.5 | 0 | 58376 | 18779 | 365 | 297890363 | 18593647 || 6140 | 30771164 | 187/ 187 | 3731943 | 0 | 1770.37/1770.43 c | 6140 | 10.0 | 0 | 60543 | 17377 | 366 | 299272956 | 18672037 || 6140 | 30876168 | 187/ 187 | 3732927 | 0 | 1784.87/1784.90 c | 6141 | 14.5 | 0 | 58167 | 54478 | 367 | 300804303 | 18767952 || 6141 | 31136128 | 187/ 187 | 3786661 | 0 | 1796.87/1796.93 c | 6141 | 12.0 | 0 | 58125 | 14877 | 368 | 302336733 | 18851705 || 6141 | 31252667 | 187/ 187 | 3787825 | 0 | 1808.28/1808.39 c | 6142 | 11.5 | 0 | 56519 | 52180 | 369 | 303718922 | 18902118 || 6142 | 31460916 | 187/ 187 | 3892317 | 0 | 1825.89/1825.97 c | 6142 | 17.6 | 0 | 50126 | 37403 | 370 | 305314260 | 19012513 || 6142 | 31660335 | 187/ 187 | 3894362 | 0 | 1853.07/1853.15 c | 6142 | 27.2 | 0 | 53885 | 37503 | 371 | 306772356 | 19122243 || 6142 | 31856189 | 187/ 187 | 3896264 | 0 | 1874.28/1874.38 c | 6142 | 21.2 | 0 | 54175 | 11084 | 372 | 308226018 | 19210443 || 6142 | 31988997 | 187/ 187 | 3897566 | 0 | 1881.67/1881.71 c | 6142 | 7.3 | 0 | 47393 | 48785 | 373 | 309682562 | 19257272 || 6142 | 31988997 | 187/ 187 | 3897566 | 0 | 1888.17/1888.24 c | 6142 | 6.5 | 0 | 49379 | 86586 | 374 | 310997966 | 19305768 || 6142 | 31988997 | 187/ 187 | 3897566 | 0 | 1897.38/1897.44 c | 6188 | 9.2 | 0 | 50530 | 398 | 375 | 312464117 | 19405498 || 6188 | 32113039 | 187/ 187 | 3910002 | 0 | 1907.07/1907.19 c | 6251 | 9.8 | 0 | 44925 | 1081 | 376 | 314212313 | 19529585 || 6251 | 32312345 | 187/ 187 | 3931045 | 0 | 1915.97/1916.02 c | 6291 | 8.8 | 0 | 49419 | 507 | 377 | 315891637 | 19638576 || 6291 | 32492859 | 187/ 187 | 3951547 | 0 | 1925.57/1925.62 c | 6354 | 9.6 | 0 | 53188 | 210 | 378 | 317616306 | 19763650 || 6354 | 32692228 | 187/ 187 | 3972697 | 0 | 1935.17/1935.29 c | 6396 | 9.7 | 0 | 56818 | 1427 | 379 | 319345375 | 19882252 || 6396 | 32898687 | 187/ 187 | 3995892 | 0 | 1944.37/1944.46 c | 6418 | 9.2 | 0 | 61109 | 292 | 380 | 321055216 | 19974929 || 6418 | 33043539 | 187/ 187 | 4014103 | 0 | 1954.37/1954.41 c | 6481 | 9.9 | 0 | 62069 | 276 | 381 | 322755516 | 20101845 || 6481 | 33245206 | 187/ 187 | 4035256 | 0 | 1964.07/1964.12 c | 6524 | 9.7 | 0 | 62150 | 1511 | 382 | 324466498 | 20221504 || 6524 | 33448596 | 187/ 187 | 4058873 | 0 | 1973.77/1973.86 c | 6587 | 9.7 | 0 | 62256 | 3307 | 383 | 326116158 | 20346191 || 6587 | 33640655 | 187/ 187 | 4079941 | 0 | 1983.87/1983.96 c | 6650 | 10.1 | 0 | 63163 | 3602 | 384 | 327860461 | 20473558 || 6650 | 33843197 | 187/ 187 | 4101163 | 0 | 1993.27/1993.31 c | 6652 | 9.4 | 0 | 63220 | 8893 | 385 | 329676926 | 20560277 || 6652 | 34001173 | 187/ 187 | 4121960 | 0 | 2005.07/2005.19 c | 6653 | 11.9 | 0 | 61763 | 9494 | 386 | 331410620 | 20647180 || 6653 | 34192417 | 187/ 187 | 4149356 | 0 | 2013.77/2013.87 c | 6702 | 8.7 | 0 | 61565 | 221 | 387 | 333073142 | 20749387 || 6702 | 34320476 | 187/ 187 | 4162277 | 0 | 2024.17/2024.28 c | 6767 | 10.4 | 0 | 59173 | 89 | 388 | 334866719 | 20878293 || 6767 | 34523021 | 187/ 187 | 4183666 | 0 | 2033.89/2033.95 c | 6810 | 9.7 | 0 | 59867 | 810 | 389 | 336653230 | 20992117 || 6810 | 34713116 | 187/ 187 | 4205681 | 0 | 2043.87/2043.92 c | 6873 | 10.0 | 0 | 59002 | 486 | 390 | 338352927 | 21120904 || 6873 | 34914946 | 187/ 187 | 4226871 | 0 | 2053.87/2053.96 c | 6908 | 10.0 | 0 | 59324 | 7143 | 391 | 340180385 | 21234201 || 6908 | 35126732 | 187/ 187 | 4260942 | 0 | 2063.49/2063.53 c | 6939 | 9.6 | 0 | 61419 | 287 | 392 | 341964469 | 21341272 || 6939 | 35281333 | 187/ 187 | 4270431 | 0 | 2073.39/2073.47 c | 7002 | 9.9 | 0 | 63299 | 1465 | 393 | 343712921 | 21468574 || 7002 | 35477676 | 187/ 187 | 4291580 | 0 | 2083.07/2083.19 c | 7049 | 9.7 | 0 | 64001 | 573 | 394 | 345406220 | 21588884 || 7049 | 35671128 | 187/ 187 | 4313503 | 0 | 2093.37/2093.43 c | 7113 | 10.2 | 0 | 63886 | 131 | 395 | 347142341 | 21721134 || 7113 | 35878819 | 187/ 187 | 4335513 | 0 | 2103.87/2103.96 c | 7162 | 10.5 | 0 | 65081 | 838 | 396 | 348996829 | 21841819 || 7162 | 36088582 | 187/ 187 | 4359948 | 0 | 2115.47/2115.50 c | 7164 | 11.5 | 0 | 64810 | 21737 | 397 | 350952534 | 21930907 || 7164 | 36293173 | 187/ 187 | 4400345 | 0 | 2126.29/2126.39 c | 7164 | 10.9 | 0 | 63844 | 23537 | 398 | 352850692 | 22008685 || 7164 | 36388048 | 187/ 187 | 4401248 | 0 | 2143.79/2143.91 c | 7165 | 17.5 | 0 | 63663 | 63839 | 399 | 354553781 | 22124352 || 7165 | 36695535 | 187/ 187 | 4455418 | 0 | 2155.07/2155.11 c | 7165 | 11.2 | 0 | 61041 | 27439 | 400 | 356179786 | 22197283 || 7165 | 36762529 | 187/ 187 | 4456081 | 0 | 2164.68/2164.75 c | 7199 | 9.7 | 0 | 57967 | 63 | 401 | 357841537 | 22286497 || 7199 | 36854654 | 187/ 187 | 4465353 | 0 | 2175.27/2175.32 c | 7268 | 10.6 | 0 | 51990 | 11 | 402 | 359662336 | 22420150 || 7268 | 37063810 | 187/ 187 | 4487576 | 0 | 2185.47/2185.51 c | 7314 | 10.2 | 0 | 52930 | 339 | 403 | 361577464 | 22536377 || 7314 | 37256371 | 187/ 187 | 4510007 | 0 | 2196.07/2196.14 c | 7384 | 10.6 | 0 | 55665 | 227 | 404 | 363440905 | 22671225 || 7384 | 37467877 | 187/ 187 | 4532515 | 0 | 2206.37/2206.48 c | 7420 | 10.3 | 0 | 59339 | 6459 | 405 | 365215803 | 22786720 || 7420 | 37680053 | 187/ 187 | 4567404 | 0 | 2215.67/2215.72 c | 7451 | 9.2 | 0 | 62636 | 1011 | 406 | 366814420 | 22900796 || 7451 | 37842526 | 187/ 187 | 4577059 | 0 | 2226.57/2226.63 c | 7521 | 10.9 | 0 | 65545 | 576 | 407 | 368579599 | 23038540 || 7521 | 38057723 | 187/ 187 | 4599544 | 0 | 2236.57/2236.62 c | 7568 | 10.0 | 0 | 66944 | 103 | 408 | 370323764 | 23159989 || 7568 | 38252997 | 187/ 187 | 4621905 | 0 | 2247.47/2247.50 c | 7639 | 10.9 | 0 | 66899 | 484 | 409 | 372096786 | 23297312 || 7639 | 38470852 | 187/ 187 | 4644863 | 0 | 2258.37/2258.47 c | 7675 | 11.0 | 0 | 68434 | 7229 | 410 | 373918304 | 23413273 || 7675 | 38691147 | 187/ 187 | 4679883 | 0 | 2271.77/2271.84 c | 7676 | 13.4 | 0 | 67767 | 29529 | 411 | 375933699 | 23513413 || 7676 | 38908051 | 187/ 187 | 4707476 | 0 | 2282.77/2282.88 c | 7694 | 11.0 | 0 | 68239 | 87 | 412 | 377932802 | 23596228 || 7694 | 38998854 | 187/ 187 | 4711942 | 0 | 2294.27/2294.32 c | 7767 | 11.4 | 0 | 63441 | 55 | 413 | 379768857 | 23737898 || 7767 | 39216939 | 187/ 187 | 4734904 | 0 | 2304.18/2304.22 c | 7806 | 9.9 | 0 | 63414 | 190 | 414 | 381466778 | 23857795 || 7806 | 39412788 | 187/ 187 | 4757607 | 0 | 2315.08/2315.13 c | 7880 | 10.9 | 0 | 63186 | 352 | 415 | 383276211 | 23998637 || 7880 | 39633493 | 187/ 187 | 4781053 | 0 | 2326.18/2326.26 c | 7930 | 11.1 | 0 | 63281 | 1247 | 416 | 385173072 | 24129057 || 7930 | 39858192 | 187/ 187 | 4806461 | 0 | 2336.78/2336.80 c | 7961 | 10.5 | 0 | 64170 | 488 | 417 | 387004906 | 24232110 || 7961 | 40022046 | 187/ 187 | 4827234 | 0 | 2347.77/2347.82 c | 8025 | 11.0 | 0 | 65931 | 543 | 418 | 388791995 | 24368490 || 8025 | 40237702 | 187/ 187 | 4850216 | 0 | 2358.47/2358.55 c | 8073 | 10.7 | 0 | 69086 | 354 | 419 | 390630358 | 24495031 || 8073 | 40438533 | 187/ 187 | 4873002 | 0 | 2369.87/2369.95 c | 8148 | 11.4 | 0 | 68359 | 114 | 420 | 392485647 | 24636748 || 8148 | 40656795 | 187/ 187 | 4896179 | 0 | 2381.27/2381.31 c | 8186 | 11.4 | 0 | 69242 | 7436 | 421 | 394341335 | 24758261 || 8186 | 40883426 | 186/ 186 | 4931750 | 0 | 2394.69/2394.75 c | 8187 | 13.4 | 0 | 68723 | 30836 | 422 | 396354327 | 24860756 || 8187 | 41102801 | 186/ 186 | 4959498 | 0 | 2406.79/2406.87 c | 8188 | 12.1 | 0 | 68743 | 35138 | 423 | 397891890 | 24949352 || 8188 | 41304572 | 186/ 186 | 5012644 | 0 | 2426.49/2426.59 c | 8188 | 19.7 | 0 | 66939 | 1135 | 424 | 399705057 | 25079446 || 8188 | 41541932 | 186/ 186 | 5014946 | 0 | 2433.08/2433.19 c | 8188 | 6.6 | 0 | 61561 | 44039 | 425 | 401157505 | 25134198 || 8188 | 41541932 | 186/ 186 | 5014946 | 0 | 2453.47/2453.51 c | 8189 | 20.3 | 0 | 62480 | 87040 | 426 | 402863542 | 25239817 || 8189 | 41926707 | 186/ 186 | 5121207 | 0 | 2484.48/2484.58 c | 8189 | 31.1 | 0 | 61411 | 43101 | 427 | 404579902 | 25346939 || 8189 | 42131515 | 186/ 186 | 5123196 | 0 | 2508.58/2508.66 c | 8189 | 24.1 | 0 | 62222 | 19743 | 428 | 406454785 | 25428554 || 8189 | 42240724 | 186/ 186 | 5124319 | 0 | 2521.47/2521.58 c | 8189 | 12.9 | 0 | 57385 | 63046 | 429 | 408545878 | 25478617 || 8189 | 42240724 | 186/ 186 | 5124319 | 0 | 2548.17/2548.28 c | 8190 | 26.7 | 0 | 63728 | 106447 | 430 | 410628383 | 25537112 || 8190 | 42667322 | 186/ 186 | 5333481 | 0 | 2569.77/2569.83 c | 8190 | 21.6 | 0 | 50661 | 43502 | 431 | 412465703 | 25664319 || 8190 | 42895501 | 186/ 186 | 5335687 | 0 | 2604.87/2604.95 c | 8190 | 35.1 | 0 | 54502 | 43602 | 432 | 414173985 | 25783064 || 8190 | 43110171 | 186/ 186 | 5337841 | 0 | 2640.88/2640.99 c | 8190 | 36.0 | 0 | 57523 | 43701 | 433 | 415841539 | 25896602 || 8190 | 43313909 | 186/ 186 | 5339896 | 0 | 2691.78/2691.86 c | 8190 | 50.9 | 0 | 64828 | 43802 | 434 | 417451814 | 26010352 || 8190 | 43517976 | 186/ 186 | 5341976 | 0 | 2726.38/2726.44 c | 8190 | 34.6 | 0 | 62991 | 17750 | 435 | 419075200 | 26101231 || 8190 | 43641328 | 186/ 186 | 5343238 | 0 | 2737.48/2737.51 c | 8190 | 11.1 | 0 | 55328 | 61751 | 436 | 420698655 | 26156432 || 8190 | 43641328 | 186/ 186 | 5343238 | 0 | 2749.77/2749.89 c | 8190 | 12.4 | 0 | 58895 | 105853 | 437 | 422349906 | 26210433 || 8190 | 43641328 | 186/ 186 | 5343238 | 0 | 2761.87/2762.00 c | 8190 | 12.1 | 0 | 63534 | 150055 | 438 | 423967247 | 26263752 || 8190 | 43641328 | 186/ 186 | 5343238 | 0 | 2772.88/2773.01 c | 8190 | 11.0 | 0 | 58581 | 194357 | 439 | 425587503 | 26319041 || 8190 | 43641328 | 186/ 186 | 5343238 | 0 | 2811.28/2811.36 c | 8191 | 38.4 | 0 | 55926 | 238761 | 440 | 427435148 | 26432185 || 8191 | 44626994 | 186/ 186 | 5762682 | 0 | 2850.88/2850.97 c | 8191 | 39.6 | 0 | 57812 | 44503 | 441 | 429223150 | 26551896 || 8191 | 44843819 | 186/ 186 | 5764802 | 0 | 2889.18/2889.26 c | 8191 | 38.3 | 0 | 63349 | 44601 | 442 | 431058286 | 26666822 || 8191 | 45056608 | 186/ 186 | 5766895 | 0 | 2935.48/2935.52 c | 8191 | 46.3 | 0 | 65232 | 44702 | 443 | 432825888 | 26779575 || 8191 | 45266793 | 186/ 186 | 5769001 | 0 | 2980.48/2980.52 c | 8191 | 45.0 | 0 | 66145 | 44802 | 444 | 434537757 | 26889867 || 8191 | 45474410 | 186/ 186 | 5770975 | 0 | 3045.98/3046.00 c | 8191 | 65.5 | 0 | 71939 | 44904 | 445 | 436278470 | 26995310 || 8191 | 45674273 | 186/ 186 | 5773006 | 0 | 3114.48/3114.58 c | 8191 | 68.6 | 0 | 75340 | 45003 | 446 | 437999299 | 27102521 || 8191 | 45872958 | 186/ 186 | 5774956 | 0 | 3156.78/3156.80 c | 8191 | 42.2 | 0 | 67286 | 45105 | 447 | 439802601 | 27221048 || 8191 | 46090277 | 186/ 186 | 5777126 | 0 | 3183.58/3183.65 c | 8191 | 26.9 | 0 | 52971 | 45203 | 448 | 441546483 | 27343359 || 8191 | 46316481 | 186/ 186 | 5779276 | 0 | 3203.38/3203.46 c | 8191 | 19.8 | 0 | 57927 | 28484 | 449 | 443367322 | 27419637 || 8191 | 46396519 | 186/ 186 | 5780016 | 0 | 3218.38/3218.42 c | 8191 | 15.0 | 0 | 56317 | 73886 | 450 | 445303170 | 27471583 || 8191 | 46396519 | 186/ 186 | 5780016 | 0 | 3234.79/3234.84 c | 8191 | 16.4 | 0 | 61905 | 119388 | 451 | 447280737 | 27523496 || 8191 | 46396519 | 186/ 186 | 5780016 | 0 | 3252.09/3252.18 c | 8191 | 17.3 | 0 | 71856 | 164991 | 452 | 449214338 | 27575151 || 8191 | 46396519 | 186/ 186 | 5780016 | 0 | 3268.49/3268.57 c | 8191 | 16.4 | 0 | 68204 | 210693 | 453 | 451133103 | 27627578 || 8191 | 46396519 | 186/ 186 | 5780016 | 0 | 3285.60/3285.68 c | 8191 | 17.1 | 0 | 64060 | 256494 | 454 | 453093352 | 27679651 || 8191 | 46396519 | 186/ 186 | 5780016 | 0 | 3305.19/3305.25 c | 8191 | 19.6 | 0 | 66047 | 302398 | 455 | 455053665 | 27731931 || 8191 | 46396519 | 186/ 186 | 5780016 | 0 | 3322.09/3322.13 c | 8191 | 16.9 | 0 | 66652 | 348400 | 456 | 456951000 | 27783833 || 8191 | 46396519 | 186/ 186 | 5780016 | 0 | 3339.38/3339.49 c | 8191 | 17.4 | 0 | 68252 | 394503 | 457 | 458891800 | 27835909 || 8191 | 46396519 | 186/ 186 | 5780016 | 0 | 3353.90/3353.95 c | 8253 | 14.5 | 0 | 60866 | 598 | 458 | 460884501 | 27967365 || 8253 | 46572567 | 186/ 186 | 5797768 | 0 | 3366.38/3366.49 c | 8318 | 12.5 | 0 | 54235 | 3576 | 459 | 462910266 | 28113252 || 8318 | 46815896 | 186/ 186 | 5829062 | 0 | 3378.28/3378.31 c | 8381 | 11.8 | 0 | 59079 | 3468 | 460 | 464920810 | 28259355 || 8381 | 47042720 | 186/ 186 | 5850494 | 0 | 3390.69/3390.79 c | 8445 | 12.5 | 0 | 64635 | 6653 | 461 | 467011818 | 28403774 || 8445 | 47282279 | 186/ 186 | 5878370 | 0 | 3401.98/3402.07 c | 8476 | 11.3 | 0 | 69773 | 807 | 462 | 468961130 | 28527717 || 8476 | 47472470 | 186/ 186 | 5899431 | 0 | 3414.78/3414.86 c | 8553 | 12.8 | 0 | 73271 | 279 | 463 | 471005111 | 28681709 || 8553 | 47713908 | 186/ 186 | 5924645 | 0 | 3426.98/3427.07 c | 8604 | 12.2 | 0 | 78157 | 887 | 464 | 473019070 | 28819737 || 8604 | 47939723 | 186/ 186 | 5950505 | 0 | 3440.28/3440.32 c | 8688 | 13.2 | 0 | 77323 | 160 | 465 | 475105518 | 28977874 || 8688 | 48183867 | 186/ 186 | 5976031 | 0 | 3452.80/3452.84 c | 8701 | 12.5 | 0 | 77889 | 6639 | 466 | 477091992 | 29091835 || 8701 | 48399748 | 186/ 186 | 6004480 | 0 | 3467.88/3467.90 c | 8702 | 15.1 | 0 | 77133 | 15335 | 467 | 479306755 | 29188903 || 8702 | 48590729 | 186/ 186 | 6031879 | 0 | 3480.18/3480.27 c | 8765 | 12.4 | 0 | 75480 | 1623 | 468 | 481416093 | 29327038 || 8765 | 48794083 | 186/ 186 | 6053040 | 0 | 3493.08/3493.11 c | 8829 | 12.8 | 0 | 73931 | 837 | 469 | 483494975 | 29477984 || 8829 | 49042496 | 186/ 186 | 6081025 | 0 | 3505.18/3505.20 c | 8903 | 12.1 | 0 | 73037 | 271 | 470 | 485501222 | 29625492 || 8903 | 49261210 | 186/ 186 | 6104089 | 0 | 3517.98/3518.00 c | 8956 | 12.8 | 0 | 73519 | 5875 | 471 | 487657409 | 29766826 || 8956 | 49491134 | 186/ 186 | 6130131 | 0 | 3530.78/3530.89 c | 9003 | 12.9 | 0 | 73151 | 999 | 472 | 489653402 | 29903736 || 9003 | 49713677 | 186/ 186 | 6156315 | 0 | 3544.20/3544.29 c | 9082 | 13.4 | 0 | 74071 | 155 | 473 | 491849313 | 30060097 || 9082 | 49960862 | 186/ 186 | 6182750 | 0 | 3556.38/3556.46 c | 9144 | 12.2 | 0 | 78075 | 254 | 474 | 493916515 | 30205254 || 9144 | 50192668 | 186/ 186 | 6208148 | 0 | 3570.08/3570.11 c | 9210 | 13.7 | 0 | 78117 | 1226 | 475 | 496214945 | 30354410 || 9210 | 50439634 | 186/ 186 | 6235290 | 0 | 3583.58/3583.66 c | 9213 | 13.5 | 0 | 78240 | 20425 | 476 | 498246049 | 30463520 || 9213 | 50678946 | 186/ 186 | 6282406 | 0 | 3598.48/3598.56 c | 9214 | 14.9 | 0 | 76366 | 30125 | 477 | 500085466 | 30561407 || 9214 | 50900631 | 186/ 186 | 6335740 | 0 | 3620.78/3620.87 c | 9214 | 22.3 | 0 | 73699 | 1520 | 478 | 502160041 | 30691632 || 9214 | 51138353 | 186/ 186 | 6338128 | 0 | 3628.08/3628.16 c | 9214 | 7.3 | 0 | 70349 | 49822 | 479 | 503629719 | 30754537 || 9214 | 51138353 | 186/ 186 | 6338128 | 0 | 3641.59/3641.62 c | 9299 | 13.5 | 0 | 67563 | 75 | 480 | 505807393 | 30915918 || 9299 | 51387832 | 186/ 186 | 6364250 | 0 | 3653.99/3654.01 c | 9356 | 12.4 | 0 | 67223 | 76 | 481 | 507966471 | 31060513 || 9356 | 51621640 | 186/ 186 | 6391010 | 0 | 3667.19/3667.25 c | 9435 | 13.2 | 0 | 67591 | 1334 | 482 | 510147923 | 31222276 || 9435 | 51876714 | 186/ 186 | 6417471 | 0 | 3680.79/3680.83 c | 9469 | 13.6 | 0 | 71716 | 392 | 483 | 512397668 | 31361201 || 9469 | 52135328 | 186/ 186 | 6450415 | 0 | 3693.09/3693.14 c | 9532 | 12.3 | 0 | 72661 | 1082 | 484 | 514447959 | 31502386 || 9532 | 52334303 | 186/ 186 | 6471583 | 0 | 3706.69/3706.72 c | 9596 | 13.6 | 0 | 77018 | 1865 | 485 | 516654611 | 31651068 || 9596 | 52579423 | 186/ 186 | 6499613 | 0 | 3720.29/3720.35 c | 9674 | 13.6 | 0 | 79950 | 360 | 486 | 519011121 | 31803255 || 9674 | 52810452 | 186/ 186 | 6524319 | 0 | 3734.40/3734.46 c | 9724 | 14.1 | 0 | 78195 | 10172 | 487 | 521298627 | 31945449 || 9724 | 53076229 | 186/ 186 | 6562012 | 0 | 3752.99/3753.12 c | 9725 | 18.6 | 0 | 78585 | 1770 | 488 | 523562764 | 32057456 || 9725 | 53324266 | 186/ 186 | 6589909 | 0 | 3765.79/3765.85 c | 9781 | 12.7 | 0 | 74780 | 262 | 489 | 525898150 | 32179624 || 9781 | 53468932 | 186/ 186 | 6604160 | 0 | 3779.39/3779.50 c | 9851 | 13.7 | 0 | 74744 | 1022 | 490 | 528079264 | 32336798 || 9851 | 53725455 | 186/ 186 | 6632299 | 0 | 3792.99/3793.02 c | 9915 | 13.5 | 0 | 75455 | 4024 | 491 | 530306662 | 32487568 || 9915 | 53971719 | 186/ 186 | 6660344 | 0 | 3806.59/3806.65 c | 9979 | 13.6 | 0 | 75652 | 702 | 492 | 532514082 | 32642763 || 9979 | 54227069 | 186/ 186 | 6688430 | 0 | 3819.10/3819.16 c | 10018 | 12.5 | 0 | 75784 | 333 | 493 | 534562721 | 32770393 || 10018 | 54429302 | 186/ 186 | 6712447 | 0 | 3833.59/3833.66 c | 10105 | 14.5 | 0 | 75872 | 1582 | 494 | 536854595 | 32935637 || 10105 | 54694383 | 186/ 186 | 6740986 | 0 | 3846.71/3846.79 c | 10168 | 13.1 | 0 | 80771 | 198 | 495 | 539021936 | 33085173 || 10168 | 54934411 | 186/ 186 | 6767323 | 0 | 3860.49/3860.54 c | 10234 | 13.8 | 0 | 81694 | 4484 | 496 | 541185973 | 33243116 || 10234 | 55194827 | 186/ 186 | 6800294 | 0 | 3876.00/3876.04 c | 10236 | 15.5 | 0 | 82249 | 25782 | 497 | 543849398 | 33354749 || 10236 | 55444030 | 186/ 186 | 6841037 | 0 | 3893.29/3893.37 c | 10237 | 17.3 | 0 | 81802 | 37588 | 498 | 546395540 | 33452510 || 10237 | 55675331 | 185/ 185 | 6894463 | 0 | 3916.60/3916.61 c | 10237 | 23.2 | 0 | 77408 | 11092 | 499 | 548629352 | 33570326 || 10237 | 55870447 | 185/ 185 | 6896335 | 0 | 3933.80/3933.87 c | 10238 | 17.3 | 0 | 74497 | 61493 | 500 | 550455953 | 33651504 || 10238 | 56129978 | 185/ 185 | 7001380 | 0 | 3959.19/3959.28 c | 10238 | 25.4 | 0 | 68663 | 50502 | 501 | 552623092 | 33793481 || 10238 | 56392128 | 185/ 185 | 7003886 | 0 | 4003.69/4003.72 c | 10238 | 44.4 | 0 | 73678 | 8996 | 502 | 554714686 | 33912638 || 10238 | 56589053 | 185/ 185 | 7005823 | 0 | 4027.99/4028.12 c | 10238 | 24.4 | 0 | 66237 | 59698 | 503 | 557260307 | 33972028 || 10238 | 56589053 | 185/ 185 | 7005823 | 0 | 4046.80/4046.92 c | 10260 | 18.8 | 0 | 69809 | 258 | 504 | 559746580 | 34053083 || 10260 | 56637187 | 185/ 185 | 7010728 | 0 | 4061.21/4061.28 c | 10346 | 14.4 | 0 | 56415 | 597 | 505 | 561917116 | 34224685 || 10346 | 56902617 | 185/ 185 | 7038567 | 0 | 4074.69/4074.74 c | 10410 | 13.5 | 0 | 62309 | 276 | 506 | 564373574 | 34375806 || 10410 | 57148643 | 185/ 185 | 7066537 | 0 | 4088.49/4088.52 c | 10491 | 13.8 | 0 | 65623 | 2232 | 507 | 566604632 | 34543887 || 10491 | 57419535 | 185/ 185 | 7097261 | 0 | 4100.81/4100.88 c | 10511 | 12.4 | 0 | 71878 | 13 | 508 | 568814340 | 34665789 || 10511 | 57621872 | 185/ 185 | 7122009 | 0 | 4115.39/4115.44 c | 10600 | 14.6 | 0 | 74796 | 283 | 509 | 571212957 | 34834222 || 10600 | 57889057 | 185/ 185 | 7150213 | 0 | 4128.49/4128.56 c | 10664 | 13.1 | 0 | 80992 | 65 | 510 | 573437759 | 34988580 || 10664 | 58136210 | 185/ 185 | 7178236 | 0 | 4143.20/4143.27 c | 10746 | 14.7 | 0 | 83712 | 2406 | 511 | 575710944 | 35156495 || 10746 | 58406733 | 185/ 185 | 7209376 | 0 | 4158.60/4158.62 c | 10749 | 15.4 | 0 | 83680 | 20399 | 512 | 578005529 | 35280665 || 10749 | 58666925 | 185/ 185 | 7256745 | 0 | 4173.20/4173.30 c | 10771 | 14.7 | 0 | 83517 | 269 | 513 | 580242309 | 35400640 || 10771 | 58818803 | 185/ 185 | 7262610 | 0 | 4188.00/4188.03 c | 10858 | 14.7 | 0 | 78409 | 928 | 514 | 582513977 | 35572097 || 10858 | 59086978 | 185/ 185 | 7291251 | 0 | 4201.91/4201.93 c | 10922 | 13.9 | 0 | 81075 | 302 | 515 | 584797587 | 35726472 || 10922 | 59332724 | 185/ 185 | 7319262 | 0 | 4217.19/4217.30 c | 11002 | 15.4 | 0 | 80198 | 169 | 516 | 587129500 | 35896456 || 11002 | 59610330 | 185/ 185 | 7349174 | 0 | 4231.09/4231.15 c | 11033 | 13.8 | 0 | 80963 | 419 | 517 | 589459509 | 36025896 || 11033 | 59825868 | 185/ 185 | 7376080 | 0 | 4245.91/4246.02 c | 11120 | 14.9 | 0 | 78686 | 459 | 518 | 591759543 | 36199255 || 11120 | 60099562 | 185/ 185 | 7404729 | 0 | 4260.69/4260.79 c | 11187 | 14.8 | 0 | 82786 | 130 | 519 | 594212957 | 36356615 || 11187 | 60353617 | 185/ 185 | 7433184 | 0 | 4275.61/4275.70 c | 11258 | 14.9 | 0 | 85088 | 3889 | 520 | 596564693 | 36521558 || 11258 | 60630566 | 185/ 185 | 7467924 | 0 | 4291.19/4291.29 c | 11260 | 15.6 | 0 | 85509 | 27588 | 521 | 598897446 | 36643858 || 11260 | 60895666 | 185/ 185 | 7508947 | 0 | 4308.89/4308.94 c | 11261 | 17.6 | 0 | 85893 | 41787 | 522 | 601334359 | 36752581 || 11261 | 61146540 | 185/ 185 | 7562577 | 0 | 4330.09/4330.20 c | 11261 | 21.3 | 0 | 80585 | 17685 | 523 | 603409843 | 36874752 || 11261 | 61330887 | 185/ 185 | 7564385 | 0 | 4343.69/4343.76 c | 11302 | 13.6 | 0 | 80110 | 188 | 524 | 605362677 | 36989362 || 11302 | 61438141 | 185/ 185 | 7575082 | 0 | 4359.09/4359.17 c | 11387 | 15.4 | 0 | 74290 | 3146 | 525 | 607678797 | 37161783 || 11387 | 61717395 | 185/ 185 | 7606596 | 0 | 4373.69/4373.72 c | 11451 | 14.5 | 0 | 75522 | 38 | 526 | 610065068 | 37324345 || 11451 | 61978666 | 185/ 185 | 7634770 | 0 | 4387.91/4387.92 c | 11515 | 14.2 | 0 | 74740 | 5040 | 527 | 612393611 | 37480827 || 11515 | 62227686 | 185/ 185 | 7662809 | 0 | 4402.89/4402.97 c | 11575 | 15.1 | 0 | 78824 | 230 | 528 | 614925979 | 37633120 || 11575 | 62476608 | 185/ 185 | 7691261 | 0 | 4418.09/4418.12 c | 11643 | 15.1 | 0 | 81246 | 5718 | 529 | 617388634 | 37798133 || 11643 | 62756520 | 185/ 185 | 7725640 | 0 | 4431.91/4431.97 c | 11720 | 13.9 | 0 | 86838 | 191 | 530 | 619740720 | 37966647 || 11720 | 63010191 | 185/ 185 | 7749814 | 0 | 4447.40/4447.49 c | 11771 | 15.5 | 0 | 87077 | 13206 | 531 | 622216160 | 38117454 || 11771 | 63290446 | 185/ 185 | 7788593 | 0 | 4464.00/4464.07 c | 11772 | 16.6 | 0 | 86923 | 9199 | 532 | 624640992 | 38227090 || 11772 | 63503798 | 185/ 185 | 7816207 | 0 | 4477.30/4477.38 c | 11835 | 13.3 | 0 | 83952 | 2004 | 533 | 626835295 | 38373677 || 11835 | 63703379 | 185/ 185 | 7837359 | 0 | 4492.20/4492.20 c | 11905 | 14.8 | 0 | 83032 | 192 | 534 | 629292749 | 38536593 || 11905 | 63963480 | 185/ 185 | 7866251 | 0 | 4507.00/4507.00 c | 11996 | 14.8 | 0 | 83153 | 53 | 535 | 631622904 | 38717274 || 11996 | 64245473 | 185/ 185 | 7895909 | 0 | 4522.40/4522.46 c | 12027 | 15.5 | 0 | 84161 | 6602 | 536 | 634176853 | 38855893 || 12027 | 64497911 | 185/ 185 | 7928368 | 0 | 4537.41/4537.47 c | 12115 | 15.0 | 0 | 83805 | 246 | 537 | 636607677 | 39025006 || 12115 | 64751503 | 185/ 185 | 7954848 | 0 | 4552.60/4552.65 c | 12184 | 15.2 | 0 | 83592 | 237 | 538 | 639006592 | 39192705 || 12184 | 65019386 | 185/ 185 | 7984716 | 0 | 4568.10/4568.20 c | 12278 | 15.6 | 0 | 87757 | 1157 | 539 | 641294588 | 39378014 || 12278 | 65307521 | 185/ 185 | 8014671 | 0 | 4584.30/4584.36 c | 12283 | 16.2 | 0 | 89297 | 18353 | 540 | 643813157 | 39505668 || 12283 | 65584397 | 185/ 185 | 8066977 | 0 | 4604.51/4604.52 c | 12284 | 20.2 | 0 | 88014 | 34452 | 541 | 646461399 | 39614535 || 12284 | 65837290 | 185/ 185 | 8120601 | 0 | 4624.90/4624.99 c | 12284 | 20.5 | 0 | 82987 | 12252 | 542 | 648779241 | 39746111 || 12284 | 66060600 | 185/ 185 | 8122736 | 0 | 4645.90/4645.96 c | 12285 | 21.0 | 0 | 83890 | 66954 | 543 | 651105204 | 39843434 || 12285 | 66355151 | 185/ 185 | 8228022 | 0 | 4678.59/4678.68 c | 12285 | 32.7 | 0 | 79462 | 54801 | 544 | 653301948 | 39999984 || 12285 | 66641862 | 185/ 185 | 8230796 | 0 | 4708.79/4708.89 c | 12285 | 30.2 | 0 | 80992 | 23055 | 545 | 655339947 | 40116513 || 12285 | 66799566 | 185/ 185 | 8232436 | 0 | 4722.21/4722.28 c | 12285 | 13.4 | 0 | 69373 | 78059 | 546 | 657307361 | 40185228 || 12285 | 66799566 | 185/ 185 | 8232436 | 0 | 4752.80/4752.82 c | 12286 | 30.5 | 0 | 69019 | 133164 | 547 | 659607848 | 40309930 || 12286 | 67376938 | 185/ 185 | 8443085 | 0 | 4786.20/4786.20 c | 12286 | 33.4 | 0 | 67982 | 55201 | 548 | 662013527 | 40466219 || 12286 | 67670309 | 185/ 185 | 8446045 | 0 | 4831.70/4831.80 c | 12286 | 45.6 | 0 | 71493 | 55302 | 549 | 664336012 | 40614511 || 12286 | 67948184 | 185/ 185 | 8448708 | 0 | 4875.80/4875.81 c | 12286 | 44.0 | 0 | 72775 | 55401 | 550 | 666627442 | 40767489 || 12286 | 68237840 | 185/ 185 | 8451560 | 0 | 4893.40/4893.44 c | 12286 | 17.6 | 0 | 71516 | 47367 | 551 | 668664894 | 40852063 || 12286 | 68279834 | 185/ 185 | 8452010 | 0 | 4907.61/4907.61 c | 12286 | 14.2 | 0 | 68366 | 102969 | 552 | 670703878 | 40922391 || 12286 | 68279834 | 185/ 185 | 8452010 | 0 | 4926.10/4926.16 c | 12286 | 18.6 | 0 | 75153 | 158670 | 553 | 672865122 | 40990672 || 12286 | 68279834 | 185/ 185 | 8452010 | 0 | 4942.90/4942.90 c | 12312 | 16.7 | 0 | 71810 | 211 | 554 | 675043221 | 41085682 || 12312 | 68336552 | 185/ 185 | 8457480 | 0 | 4959.20/4959.24 c | 12409 | 16.3 | 0 | 64579 | 119 | 555 | 677586001 | 41273960 || 12409 | 68632484 | 185/ 185 | 8488286 | 0 | 4973.70/4973.73 c | 12475 | 14.5 | 0 | 71142 | 1205 | 556 | 680062728 | 41443075 || 12475 | 68906300 | 185/ 185 | 8518920 | 0 | 4988.10/4988.14 c | 12540 | 14.4 | 0 | 76609 | 4382 | 557 | 682481132 | 41612415 || 12540 | 69182154 | 185/ 185 | 8550538 | 0 | 5000.11/5000.12 c | 12582 | 12.0 | 0 | 123093 | 101 | 557 | 684445947 | 41737415 || 12582 | 69382185 | 185/ 185 | 8574893 | 0 | 5000.11/5000.12 c c 5000.11/5000.12 c ----------------------------------- 5000.11/5000.12 c # temps = 4997.250000 5000.11/5000.12 c # cleaningDB = 557 5000.11/5000.12 c # clause binaire = 1248 5000.11/5000.12 c # literal removed by litRedundant = 181097205 5000.11/5000.12 c # literal removed by litRedundantBin = 19920983 5000.11/5000.12 c # init clause removed by simplify = 0 5000.11/5000.12 c # learnt clause removed by simplify = 0 5000.11/5000.12 c # une clause fausse était une apprise = 0 5000.11/5000.12 c # equivalence dectecte = 0 5000.11/5000.12 c # Memory used : 181.15 MB 5000.11/5000.12 c 5000.11/5000.12 c ######################## 5000.11/5000.12 c #### ## ### ## #### 5000.11/5000.12 c #### #### # ## #### #### 5000.11/5000.12 c #### ## ### ## ### 5000.11/5000.12 c ######################## 5000.11/5000.12 c # restart = 12582 5000.11/5000.12 c # conflit = 15810688 5000.11/5000.12 c # decision = 41737415 5000.11/5000.12 c # propagation = 684445947 (136964.519886 (prop/sec)) 5000.11/5000.12 c 5000.11/5000.12 c ######################## 5000.11/5000.12 c ### ### # ## ## ## 5000.11/5000.12 c ### # # # #### # ### ### 5000.11/5000.12 c ### # ### ## # ### ### 5000.11/5000.12 c ######################## 5000.11/5000.12 c # numtry = 12582 5000.11/5000.12 c # numflips = 69382185 5000.11/5000.12 c # maxSat = 185 5000.11/5000.12 c # freeFlip = 15512672 5000.11/5000.12 c # nbBoundary = 0 5000.11/5000.12 c
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3438720-1306894549/watcher-3438720-1306894549 -o /tmp/evaluation-result-3438720-1306894549/solver-3438720-1306894549 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438720-1306894549.cnf rnovelty running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 2.00 1.99 2/560 17714 /proc/meminfo: memFree=2861132/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 879685579 8912896 252 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/17714/statm: 2176 252 211 178 0 69 0 [startup+0.092317 s] /proc/loadavg: 1.93 2.00 1.99 2/560 17714 /proc/meminfo: memFree=2861132/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 879685579 8912896 252 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/17714/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100315 s] /proc/loadavg: 1.93 2.00 1.99 2/560 17714 /proc/meminfo: memFree=2861132/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 879685579 8912896 252 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/17714/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300283 s] /proc/loadavg: 1.93 2.00 1.99 2/560 17714 /proc/meminfo: memFree=2861132/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 879685579 8912896 252 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/17714/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700217 s] /proc/loadavg: 1.93 2.00 1.99 2/560 17714 /proc/meminfo: memFree=2861132/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 879685579 8912896 252 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/17714/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50108 s] /proc/loadavg: 1.93 2.00 1.99 3/562 17716 /proc/meminfo: memFree=2837172/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 879685579 8912896 252 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/17714/statm: 2176 252 211 178 0 69 0 [pid=17715] ppid=17714 vsize=22260 CPUtime=1.49 cores=1,3,5,7 /proc/17715/stat : 17715 (SatELite_releas) R 17714 17714 16692 0 -1 4202496 4926 0 0 0 148 1 0 0 25 0 1 0 879685579 22794240 4881 33554432000 134512640 135144242 4294781776 18446744073709551615 134588137 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17715/statm: 5565 4881 77 155 0 5408 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30964 [startup+3.10078 s] /proc/loadavg: 1.93 2.00 1.99 3/562 17716 /proc/meminfo: memFree=2834084/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 2.87 Current children cumulated vsize (KiB) 8704 [startup+6.30028 s] /proc/loadavg: 1.93 2.00 1.99 3/563 17718 /proc/meminfo: memFree=2824928/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=31412 CPUtime=3.39 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 6191 0 0 0 338 1 0 0 25 0 1 0 879685867 32165888 6101 33554432000 4194304 4241092 140733736083584 18446744073709551615 4205908 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 7853 6101 136 12 0 6317 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 48820 [startup+12.7012 s] /proc/loadavg: 1.94 2.00 1.99 3/563 17718 /proc/meminfo: memFree=2822228/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=32996 CPUtime=9.79 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 6604 0 0 0 978 1 0 0 25 0 1 0 879685867 33787904 6514 33554432000 4194304 4241092 140733736083584 18446744073709551615 4206174 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 8249 6514 136 12 0 6713 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 50404 [startup+25.5011 s] /proc/loadavg: 2.11 2.03 2.01 3/563 17718 /proc/meminfo: memFree=2820264/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=34980 CPUtime=22.59 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 7099 0 0 0 2257 2 0 0 25 0 1 0 879685867 35819520 7009 33554432000 4194304 4241092 140733736083584 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 8745 7009 136 12 0 7209 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 52388 [startup+51.1008 s] /proc/loadavg: 2.07 2.03 2.00 3/563 17718 /proc/meminfo: memFree=2814516/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=40040 CPUtime=48.19 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 8364 0 0 0 4817 2 0 0 25 0 1 0 879685867 41000960 8265 33554432000 4194304 4241092 140733736083584 18446744073709551615 4222546 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 10010 8265 136 12 0 8474 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 57448 [startup+102.321 s] /proc/loadavg: 2.09 2.04 2.00 3/563 17720 /proc/meminfo: memFree=2806432/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=46340 CPUtime=99.41 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 10035 0 0 0 9938 3 0 0 25 0 1 0 879685867 47452160 9841 33554432000 4194304 4241092 140733736083584 18446744073709551615 4223640 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 11585 9841 136 12 0 10049 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 63748 [startup+162.301 s] /proc/loadavg: 2.03 2.03 2.00 3/563 17722 /proc/meminfo: memFree=2802444/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=48636 CPUtime=159.39 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 10835 0 0 0 15936 3 0 0 25 0 1 0 879685867 49803264 10420 33554432000 4194304 4241092 140733736083584 18446744073709551615 4206122 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 12159 10420 136 12 0 10623 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 66044 [startup+222.301 s] /proc/loadavg: 2.11 2.05 2.01 3/563 17724 /proc/meminfo: memFree=2795476/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=55452 CPUtime=219.39 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 12807 0 0 0 21935 4 0 0 25 0 1 0 879685867 56782848 12109 33554432000 4194304 4241092 140733736083584 18446744073709551615 4206032 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 13863 12109 136 12 0 12327 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 72860 [startup+282.301 s] /proc/loadavg: 2.08 2.06 2.01 3/563 17724 /proc/meminfo: memFree=2793076/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=55924 CPUtime=279.39 cores=1,3,5,7 ################ # More data... # ################ /proc/meminfo: memFree=2666740/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=172832 CPUtime=4539.43 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 63748 0 0 0 453920 23 0 0 25 0 1 0 879685867 176979968 41444 33554432000 4194304 4241092 140733736083584 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 43208 41444 136 12 0 41672 0 Current children cumulated CPU time (s) 4542.3 Current children cumulated vsize (KiB) 190240 [startup+4602.3 s] /proc/loadavg: 2.01 2.04 2.00 3/563 17964 /proc/meminfo: memFree=2666600/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=173120 CPUtime=4599.44 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 64092 0 0 0 459921 23 0 0 25 0 1 0 879685867 177274880 41517 33554432000 4194304 4241092 140733736083584 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 43280 41517 136 12 0 41744 0 Current children cumulated CPU time (s) 4602.31 Current children cumulated vsize (KiB) 190528 [startup+4662.3 s] /proc/loadavg: 2.00 2.03 2.00 3/563 17966 /proc/meminfo: memFree=2664604/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=172928 CPUtime=4659.43 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 64336 0 0 0 465920 23 0 0 25 0 1 0 879685867 177078272 41471 33554432000 4194304 4241092 140733736083584 18446744073709551615 4223640 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 43232 41471 136 12 0 41696 0 Current children cumulated CPU time (s) 4662.3 Current children cumulated vsize (KiB) 190336 [startup+4722.32 s] /proc/loadavg: 2.00 2.02 2.00 3/563 17968 /proc/meminfo: memFree=2652468/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=175404 CPUtime=4719.45 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 65169 0 0 0 471922 23 0 0 25 0 1 0 879685867 179613696 42108 33554432000 4194304 4241092 140733736083584 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 43851 42108 136 12 0 42315 0 Current children cumulated CPU time (s) 4722.32 Current children cumulated vsize (KiB) 192812 [startup+4782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/563 17968 /proc/meminfo: memFree=2651240/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=176008 CPUtime=4779.44 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 65519 0 0 0 477920 24 0 0 25 0 1 0 879685867 180232192 42238 33554432000 4194304 4241092 140733736083584 18446744073709551615 4223760 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 44002 42238 136 12 0 42466 0 Current children cumulated CPU time (s) 4782.31 Current children cumulated vsize (KiB) 193416 [startup+4842.3 s] /proc/loadavg: 2.00 2.01 2.00 3/563 17970 /proc/meminfo: memFree=2640968/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=184356 CPUtime=4839.43 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 67821 0 0 0 483919 24 0 0 25 0 1 0 879685867 188780544 44354 33554432000 4194304 4241092 140733736083584 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 46089 44354 136 12 0 44553 0 Current children cumulated CPU time (s) 4842.3 Current children cumulated vsize (KiB) 201764 [startup+4902.3 s] /proc/loadavg: 2.07 2.02 2.00 3/563 17972 /proc/meminfo: memFree=2639688/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=185364 CPUtime=4899.43 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 68264 0 0 0 489919 24 0 0 25 0 1 0 879685867 189812736 44604 33554432000 4194304 4241092 140733736083584 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 46341 44604 136 12 0 44805 0 Current children cumulated CPU time (s) 4902.3 Current children cumulated vsize (KiB) 202772 [startup+4962.3 s] /proc/loadavg: 2.08 2.03 2.00 3/563 17974 /proc/meminfo: memFree=2630976/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=185108 CPUtime=4959.43 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 68603 0 0 0 495918 25 0 0 25 0 1 0 879685867 189550592 44541 33554432000 4194304 4241092 140733736083584 18446744073709551615 4223698 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 46277 44541 136 12 0 44741 0 Current children cumulated CPU time (s) 4962.3 Current children cumulated vsize (KiB) 202516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000.1 s] /proc/loadavg: 2.20 2.06 2.01 3/563 17977 /proc/meminfo: memFree=2630440/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=185492 CPUtime=4997.24 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 68864 0 0 0 499699 25 0 0 25 0 1 0 879685867 189943808 44631 33554432000 4194304 4241092 140733736083584 18446744073709551615 4206044 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 46373 44631 136 12 0 44837 0 Current children cumulated CPU time (s) 5000.11 Current children cumulated vsize (KiB) 202900 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+5000.1 s] /proc/loadavg: 2.20 2.06 2.01 3/563 17977 /proc/meminfo: memFree=2630440/32951124 swapFree=34426048/67111528 [pid=17714] ppid=17712 vsize=8704 CPUtime=2.87 cores=1,3,5,7 /proc/17714/stat : 17714 (esg_static.sh) S 17712 17714 16692 0 -1 4202496 348 4928 0 0 0 0 286 1 18 0 1 0 879685579 8912896 255 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284925696 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/17714/statm: 2176 255 211 178 0 69 0 [pid=17717] ppid=17714 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/17717/stat : 17717 (esg_static.sh) S 17714 17714 16692 0 -1 4202560 132 0 0 0 0 0 0 0 19 0 1 0 879685867 8912896 134 33554432000 4194304 4922060 140733483396080 18446744073709551615 224284744837 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/17717/statm: 2176 134 90 178 0 69 0 [pid=17718] ppid=17717 vsize=185492 CPUtime=4997.24 cores=1,3,5,7 /proc/17718/stat : 17718 (sathys) R 17717 17714 16692 0 -1 4202496 68864 0 0 0 499699 25 0 0 25 0 1 0 879685867 189943808 44631 33554432000 4194304 4241092 140733736083584 18446744073709551615 4206044 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/17718/statm: 46373 44631 136 12 0 44837 0 Current children cumulated CPU time (s) 5000.11 Current children cumulated vsize (KiB) 202900 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17714 and gives # childrusage.ru_utime.tv_sec=2 # childrusage.ru_utime.tv_usec=862564 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=22996 # CPU time returned by wait4() is 2.88556 # while last known CPU time is 5000.11 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.14 CPU time (s): 5000.11 CPU user time (s): 4999.85 CPU system time (s): 0.26 CPU usage (%): 99.9994 Max. virtual memory (cumulated for all children) (KiB): 202932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.86256 system time used= 0.022996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5277 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= 8 involuntary context switches= 38 runsolver used 27.4958 second user time and 67.8597 second system time The end
Begin job on node118 at 2011-06-01 04:15:49 IDJOB=3438720 IDBENCH=83159 IDSOLVER=1935 FILE ID=node118/3438720-1306894549 RUNJOBID= node118-1306884537-16711 PBS_JOBID= 13488458 Free space on /tmp= 48276 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-13x32.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438720-1306894549/watcher-3438720-1306894549 -o /tmp/evaluation-result-3438720-1306894549/solver-3438720-1306894549 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438720-1306894549.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 73c8ae5bbdfe41463e8e40ea211c5e14 RANDOM SEED=1377241777 node118.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 2861412 kB Buffers: 274608 kB Cached: 27118088 kB SwapCached: 55492 kB Active: 12888996 kB Inactive: 16218912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 2861412 kB SwapTotal: 67111528 kB SwapFree: 34426048 kB Dirty: 4540 kB Writeback: 16 kB AnonPages: 1672880 kB Mapped: 14768 kB Slab: 795432 kB PageTables: 115620 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 183956496 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 48264 MiB End job on node118 at 2011-06-01 05:39:11