| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.11 | 5000.03 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf |
| MD5SUM | 8e7b614904543aa28491ea45c761cbd5 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 39.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 253 |
| Number of clauses | 34014 |
| Sum of the clauses size | 150994 |
| Maximum clause length | 23 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 336 |
| Number of clauses of size 3 | 31196 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 2482 |
0.00/0.00 static 0.00/0.00 HOME/instance-3439165-1306909027.cnf 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 34014 150994 | 10204 0 0 nan | 0.000 % | 0.00/0.01 c ============================================================================== 0.00/0.01 c Result : #vars: 253 #clauses: 34014 #literals: 150994 0.00/0.01 c CPU time: 0.012998 s 0.00/0.01 c ============================================================================== 0.00/0.07 c 0.00/0.07 c seed = 0, numatom = 253, numclause = 33678, numliterals = 150994 0.00/0.07 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.07 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.07 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.03/0.13 c | 2 | 0.1 | 0 | 502 | 199 | 1 | 16034 | 1076 || 2 | 2421 | 9/ 9 | 244 | 0 | 0.03/0.18 c | 4 | 0.1 | 0 | 788 | 292 | 2 | 35193 | 2194 || 4 | 4716 | 9/ 9 | 568 | 0 | 0.03/0.24 c | 6 | 0.1 | 0 | 1226 | 186 | 3 | 60685 | 3391 || 6 | 6945 | 9/ 9 | 882 | 0 | 0.03/0.30 c | 7 | 0.1 | 0 | 1719 | 383 | 4 | 86241 | 4624 || 7 | 9707 | 9/ 9 | 1302 | 0 | 0.03/0.39 c | 11 | 0.1 | 0 | 2202 | 278 | 5 | 114360 | 6203 || 11 | 13312 | 6/ 6 | 1844 | 0 | 0.03/0.48 c | 14 | 0.1 | 0 | 2757 | 475 | 6 | 146579 | 7906 || 14 | 17666 | 5/ 5 | 2570 | 0 | 0.03/0.58 c | 15 | 0.1 | 0 | 3554 | 971 | 7 | 180294 | 9755 || 15 | 22619 | 5/ 5 | 3406 | 0 | 0.03/0.66 c | 16 | 0.1 | 0 | 4202 | 63 | 8 | 220801 | 11503 || 16 | 24363 | 5/ 5 | 3515 | 0 | 0.03/0.79 c | 21 | 0.1 | 0 | 4872 | 47 | 9 | 263634 | 13818 || 21 | 29600 | 5/ 5 | 4261 | 0 | 0.03/0.92 c | 25 | 0.1 | 0 | 5081 | 142 | 10 | 311949 | 16153 || 25 | 34824 | 5/ 5 | 5095 | 0 | 1.00/1.08 c | 29 | 0.2 | 0 | 5558 | 532 | 11 | 361170 | 18712 || 29 | 41011 | 5/ 5 | 5936 | 0 | 1.19/1.23 c | 30 | 0.1 | 0 | 5880 | 329 | 12 | 415561 | 21200 || 30 | 47012 | 5/ 5 | 6784 | 0 | 1.39/1.41 c | 31 | 0.2 | 0 | 6132 | 2030 | 13 | 472780 | 24005 || 31 | 56126 | 3/ 3 | 8436 | 0 | 1.49/1.53 c | 31 | 0.1 | 0 | 6481 | 1430 | 14 | 533497 | 26403 || 31 | 57731 | 3/ 3 | 8449 | 0 | 1.69/1.72 c | 38 | 0.2 | 0 | 6298 | 323 | 15 | 596804 | 29727 || 38 | 65324 | 3/ 3 | 9689 | 0 | 1.89/1.90 c | 44 | 0.2 | 0 | 6711 | 212 | 16 | 662623 | 33162 || 44 | 72074 | 3/ 3 | 10528 | 0 | 1.99/2.11 c | 46 | 0.2 | 0 | 7070 | 206 | 17 | 731313 | 36612 || 46 | 80711 | 3/ 3 | 11778 | 0 | 2.29/2.31 c | 52 | 0.2 | 0 | 7631 | 198 | 18 | 807659 | 40198 || 52 | 86871 | 3/ 3 | 12625 | 0 | 2.49/2.55 c | 59 | 0.2 | 0 | 8026 | 92 | 19 | 883471 | 44129 || 59 | 95774 | 3/ 3 | 13904 | 0 | 2.69/2.76 c | 61 | 0.2 | 0 | 8589 | 694 | 20 | 967041 | 47761 || 61 | 103327 | 3/ 3 | 14920 | 0 | 2.98/3.01 c | 62 | 0.2 | 0 | 9878 | 791 | 21 | 1047459 | 51629 || 62 | 113832 | 3/ 3 | 16585 | 0 | 3.30/3.33 c | 63 | 0.3 | 0 | 10112 | 3394 | 22 | 1139671 | 55849 || 63 | 129128 | 3/ 3 | 19851 | 0 | 3.48/3.58 c | 63 | 0.2 | 0 | 10958 | 1294 | 23 | 1231715 | 59781 || 63 | 135920 | 3/ 3 | 19912 | 0 | 3.78/3.82 c | 67 | 0.2 | 0 | 12069 | 286 | 24 | 1336607 | 63759 || 67 | 139758 | 3/ 3 | 20424 | 0 | 4.08/4.13 c | 76 | 0.3 | 0 | 13329 | 270 | 25 | 1435738 | 68490 || 76 | 150478 | 3/ 3 | 21986 | 0 | 4.40/4.43 c | 80 | 0.3 | 0 | 13448 | 61 | 26 | 1534958 | 73237 || 80 | 160601 | 3/ 3 | 23458 | 0 | 4.68/4.78 c | 90 | 0.4 | 0 | 13373 | 149 | 27 | 1643639 | 78519 || 90 | 172320 | 3/ 3 | 25141 | 0 | 5.08/5.13 c | 94 | 0.4 | 0 | 14001 | 1041 | 28 | 1755821 | 83530 || 94 | 186508 | 3/ 3 | 28135 | 0 | 5.39/5.43 c | 96 | 0.3 | 0 | 14724 | 40 | 29 | 1866181 | 88488 || 96 | 194650 | 3/ 3 | 28407 | 0 | 5.78/5.81 c | 107 | 0.4 | 0 | 15069 | 218 | 30 | 1981650 | 94132 || 107 | 207310 | 3/ 3 | 30302 | 0 | 6.08/6.18 c | 113 | 0.4 | 0 | 14132 | 207 | 31 | 2095829 | 99597 || 113 | 218809 | 3/ 3 | 32001 | 0 | 6.49/6.57 c | 123 | 0.4 | 0 | 14787 | 588 | 32 | 2214429 | 105543 || 123 | 232601 | 3/ 3 | 34000 | 0 | 6.98/7.02 c | 125 | 0.5 | 0 | 14709 | 85 | 33 | 2332957 | 111669 || 125 | 249273 | 3/ 3 | 36537 | 0 | 7.38/7.43 c | 126 | 0.4 | 0 | 15121 | 3889 | 34 | 2451253 | 117481 || 126 | 266274 | 3/ 3 | 39809 | 0 | 7.70/7.74 c | 126 | 0.3 | 0 | 15758 | 2989 | 35 | 2581404 | 122660 || 126 | 270487 | 3/ 3 | 39850 | 0 | 8.28/8.33 c | 127 | 0.6 | 0 | 17126 | 6990 | 36 | 2700609 | 129309 || 127 | 300203 | 3/ 3 | 46343 | 0 | 8.69/8.79 c | 127 | 0.5 | 0 | 16948 | 1489 | 37 | 2831355 | 135537 || 127 | 312409 | 3/ 3 | 46445 | 0 | 8.98/9.09 c | 127 | 0.3 | 0 | 17152 | 5693 | 38 | 2979142 | 140691 || 127 | 312409 | 3/ 3 | 46445 | 0 | 9.48/9.56 c | 139 | 0.5 | 0 | 18966 | 70 | 39 | 3127924 | 147720 || 139 | 325734 | 3/ 3 | 48345 | 0 | 9.98/10.02 c | 148 | 0.5 | 0 | 19721 | 156 | 40 | 3265777 | 154849 || 148 | 341058 | 3/ 3 | 50680 | 0 | 10.48/10.53 c | 157 | 0.5 | 0 | 20828 | 436 | 41 | 3413229 | 162239 || 157 | 357918 | 3/ 3 | 53122 | 0 | 10.89/11.01 c | 163 | 0.5 | 0 | 19605 | 112 | 42 | 3565211 | 169337 || 163 | 372284 | 3/ 3 | 55302 | 0 | 11.48/11.56 c | 173 | 0.5 | 0 | 21263 | 81 | 43 | 3720550 | 177285 || 173 | 391370 | 3/ 3 | 58037 | 0 | 11.99/12.10 c | 187 | 0.5 | 0 | 21613 | 251 | 44 | 3879314 | 185109 || 187 | 407124 | 3/ 3 | 60539 | 0 | 12.58/12.64 c | 189 | 0.5 | 0 | 20342 | 939 | 45 | 4042174 | 192595 || 189 | 424709 | 3/ 3 | 63048 | 0 | 13.20/13.25 c | 190 | 0.6 | 0 | 20677 | 1139 | 46 | 4203367 | 200388 || 190 | 446114 | 3/ 3 | 66226 | 0 | 13.68/13.77 c | 200 | 0.5 | 0 | 19606 | 14 | 47 | 4374036 | 208217 || 200 | 457555 | 3/ 3 | 67877 | 0 | 14.30/14.37 c | 212 | 0.6 | 0 | 20560 | 402 | 48 | 4542672 | 216769 || 212 | 476484 | 3/ 3 | 70807 | 0 | 14.98/15.04 c | 221 | 0.7 | 0 | 21266 | 1484 | 49 | 4721794 | 225209 || 221 | 498173 | 3/ 3 | 74519 | 0 | 15.58/15.62 c | 231 | 0.6 | 0 | 21450 | 175 | 50 | 4901503 | 233594 || 231 | 513325 | 3/ 3 | 76239 | 0 | 16.18/16.27 c | 243 | 0.6 | 0 | 22616 | 540 | 51 | 5082572 | 242468 || 243 | 533374 | 3/ 3 | 79177 | 0 | 16.88/16.95 c | 252 | 0.7 | 0 | 22445 | 1925 | 52 | 5267720 | 251345 || 252 | 556006 | 3/ 3 | 82919 | 0 | 17.49/17.61 c | 253 | 0.7 | 0 | 23230 | 422 | 53 | 5447498 | 260119 || 253 | 579312 | 3/ 3 | 86288 | 0 | 18.18/18.30 c | 254 | 0.7 | 0 | 23774 | 6225 | 54 | 5633790 | 268596 || 254 | 605182 | 3/ 3 | 92724 | 0 | 18.88/18.96 c | 254 | 0.7 | 0 | 25331 | 2524 | 55 | 5821621 | 277275 || 254 | 620726 | 3/ 3 | 92859 | 0 | 19.69/19.76 c | 255 | 0.8 | 0 | 27174 | 8525 | 56 | 6011294 | 285652 || 255 | 654126 | 1/ 1 | 105638 | 0 | 20.48/20.59 c | 255 | 0.8 | 0 | 28074 | 6101 | 57 | 6179296 | 295474 || 255 | 681335 | 1/ 1 | 105876 | 0 | 21.38/21.46 c | 255 | 0.9 | 0 | 27863 | 1626 | 58 | 6350240 | 304461 || 255 | 701013 | 1/ 1 | 106086 | 0 | 22.00/22.09 c | 255 | 0.6 | 0 | 27641 | 7927 | 59 | 6565968 | 312074 || 255 | 701013 | 1/ 1 | 106086 | 0 | 22.68/22.70 c | 261 | 0.6 | 0 | 30040 | 114 | 60 | 6783650 | 320587 || 261 | 706826 | 1/ 1 | 106926 | 0 | 23.48/23.50 c | 276 | 0.8 | 0 | 30998 | 176 | 61 | 6990822 | 331053 || 276 | 729394 | 1/ 1 | 110279 | 0 | 24.28/24.39 c | 286 | 0.9 | 0 | 30780 | 161 | 62 | 7205780 | 341676 || 286 | 757280 | 1/ 1 | 114445 | 0 | 25.08/25.21 c | 301 | 0.8 | 0 | 29012 | 837 | 63 | 7426472 | 352321 || 301 | 778216 | 1/ 1 | 117781 | 0 | 25.98/26.09 c | 316 | 0.9 | 0 | 32181 | 5 | 64 | 7649969 | 363462 || 316 | 802775 | 1/ 1 | 121163 | 0 | 26.88/26.96 c | 318 | 0.9 | 0 | 33703 | 4510 | 65 | 7863549 | 374340 || 318 | 832016 | 1/ 1 | 125641 | 0 | 27.68/27.74 c | 330 | 0.8 | 0 | 31423 | 190 | 66 | 8088071 | 384867 || 330 | 846596 | 1/ 1 | 127518 | 0 | 28.60/28.67 c | 347 | 0.9 | 0 | 30900 | 357 | 67 | 8317760 | 396422 || 347 | 872115 | 1/ 1 | 131497 | 0 | 29.48/29.55 c | 356 | 0.9 | 0 | 31538 | 338 | 68 | 8549119 | 407493 || 356 | 896330 | 1/ 1 | 135182 | 0 | 30.48/30.54 c | 373 | 1.0 | 0 | 32264 | 113 | 69 | 8794439 | 419304 || 373 | 921513 | 1/ 1 | 138792 | 0 | 31.48/31.58 c | 381 | 1.0 | 0 | 32255 | 1996 | 70 | 9036994 | 430765 || 381 | 953408 | 1/ 1 | 145515 | 0 | 32.48/32.55 c | 382 | 1.0 | 0 | 31675 | 4696 | 71 | 9272576 | 442055 || 382 | 984356 | 1/ 1 | 151651 | 0 | 33.48/33.51 c | 382 | 1.0 | 0 | 32532 | 2698 | 72 | 9487575 | 453482 || 382 | 1007276 | 1/ 1 | 151851 | 0 | 34.38/34.40 c | 395 | 0.9 | 0 | 30667 | 190 | 73 | 9742097 | 464882 || 395 | 1022141 | 1/ 1 | 153949 | 0 | 35.38/35.43 c | 412 | 1.0 | 0 | 32314 | 949 | 74 | 9991645 | 477584 || 412 | 1051963 | 1/ 1 | 158558 | 0 | 36.38/36.45 c | 426 | 1.0 | 0 | 31683 | 121 | 75 | 10249382 | 490162 || 426 | 1077865 | 1/ 1 | 162367 | 0 | 37.48/37.51 c | 443 | 1.1 | 0 | 31989 | 786 | 76 | 10506186 | 503153 || 443 | 1107501 | 1/ 1 | 166901 | 0 | 38.58/38.60 c | 445 | 1.1 | 0 | 32664 | 479 | 77 | 10757230 | 515726 || 445 | 1140849 | 1/ 1 | 171692 | 0 | 39.60/39.63 c | 460 | 1.0 | 0 | 31737 | 1056 | 78 | 11024316 | 528095 || 460 | 1162703 | 1/ 1 | 175046 | 0 | 40.70/40.74 c | 476 | 1.1 | 0 | 32826 | 1728 | 79 | 11293048 | 541536 || 476 | 1193584 | 1/ 1 | 180029 | 0 | 41.80/41.83 c | 491 | 1.1 | 0 | 31188 | 497 | 80 | 11569340 | 554768 || 491 | 1219810 | 1/ 1 | 183431 | 0 | 42.98/43.01 c | 507 | 1.2 | 0 | 32202 | 172 | 81 | 11840813 | 568647 || 507 | 1253459 | 1/ 1 | 188458 | 0 | 44.00/44.07 c | 509 | 1.1 | 0 | 32641 | 3973 | 82 | 12125085 | 580924 || 509 | 1288574 | 1/ 1 | 197855 | 0 | 45.10/45.18 c | 509 | 1.1 | 0 | 33644 | 3072 | 83 | 12386520 | 593427 || 509 | 1313745 | 1/ 1 | 198070 | 0 | 46.48/46.55 c | 510 | 1.4 | 0 | 34135 | 11873 | 84 | 12657695 | 606526 || 510 | 1362891 | 1/ 1 | 210835 | 0 | 47.78/47.88 c | 510 | 1.3 | 0 | 34503 | 1573 | 85 | 12907793 | 620123 || 510 | 1396088 | 1/ 1 | 211120 | 0 | 48.68/48.74 c | 510 | 0.9 | 0 | 33005 | 10574 | 86 | 13215342 | 631163 || 510 | 1396088 | 1/ 1 | 211120 | 0 | 50.28/50.33 c | 511 | 1.6 | 0 | 32916 | 19675 | 87 | 13489069 | 644863 || 511 | 1474331 | 1/ 1 | 236884 | 0 | 51.70/51.78 c | 511 | 1.5 | 0 | 31941 | 9201 | 88 | 13741567 | 660008 || 511 | 1518061 | 1/ 1 | 237232 | 0 | 53.17/53.21 c | 511 | 1.4 | 0 | 32194 | 9301 | 89 | 14006058 | 675302 || 511 | 1561105 | 1/ 1 | 237588 | 0 | 54.07/54.13 c | 511 | 0.9 | 0 | 32821 | 9179 | 90 | 14328949 | 686881 || 511 | 1562239 | 1/ 1 | 237599 | 0 | 54.99/55.07 c | 511 | 0.9 | 0 | 33038 | 18681 | 91 | 14669775 | 698176 || 511 | 1562239 | 1/ 1 | 237599 | 0 | 56.09/56.18 c | 520 | 1.1 | 0 | 34205 | 169 | 92 | 15000698 | 711086 || 520 | 1572222 | 1/ 1 | 239081 | 0 | 57.48/57.57 c | 541 | 1.4 | 0 | 34144 | 334 | 93 | 15315733 | 727011 || 541 | 1608350 | 1/ 1 | 244326 | 0 | 58.88/58.92 c | 557 | 1.3 | 0 | 35295 | 512 | 94 | 15634403 | 742622 || 557 | 1641884 | 1/ 1 | 249350 | 0 | 60.17/60.21 c | 573 | 1.3 | 0 | 37059 | 1577 | 95 | 15941644 | 757856 || 573 | 1674419 | 1/ 1 | 254344 | 0 | 61.59/61.68 c | 586 | 1.5 | 0 | 38043 | 53 | 96 | 16279018 | 773244 || 586 | 1709436 | 1/ 1 | 259559 | 0 | 63.07/63.12 c | 605 | 1.5 | 0 | 38668 | 1611 | 97 | 16595746 | 788929 || 605 | 1747430 | 1/ 1 | 265904 | 0 | 64.47/64.59 c | 626 | 1.5 | 0 | 38817 | 269 | 98 | 16921966 | 805294 || 626 | 1779524 | 1/ 1 | 270153 | 0 | 66.07/66.17 c | 637 | 1.6 | 0 | 38355 | 3651 | 99 | 17241159 | 821258 || 637 | 1822157 | 1/ 0 | 277573 | 0 | 67.47/67.55 c | 638 | 1.4 | 0 | 37748 | 9251 | 100 | 17531666 | 836418 || 638 | 1862572 | 1/ 0 | 282768 | 0 | 68.87/68.93 c | 651 | 1.4 | 0 | 35995 | 223 | 101 | 17859909 | 851141 || 651 | 1878643 | 1/ 0 | 284880 | 0 | 70.47/70.50 c | 669 | 1.6 | 0 | 35531 | 2290 | 102 | 18194031 | 868257 || 669 | 1920216 | 1/ 0 | 291068 | 0 | 71.87/71.98 c | 692 | 1.5 | 0 | 35955 | 38 | 103 | 18547063 | 885518 || 692 | 1953205 | 1/ 0 | 295762 | 0 | 73.47/73.53 c | 701 | 1.5 | 0 | 36501 | 527 | 104 | 18878798 | 902340 || 701 | 1997969 | 1/ 0 | 302780 | 0 | 74.97/75.03 c | 723 | 1.5 | 0 | 37318 | 384 | 105 | 19232718 | 919383 || 723 | 2028536 | 1/ 0 | 307384 | 0 | 76.47/76.53 c | 742 | 1.5 | 0 | 39443 | 143 | 106 | 19579131 | 936546 || 742 | 2065346 | 1/ 0 | 312796 | 0 | 77.98/78.09 c | 763 | 1.6 | 0 | 42695 | 2215 | 107 | 19919370 | 954147 || 763 | 2108751 | 1/ 0 | 319526 | 0 | 79.77/79.81 c | 765 | 1.7 | 0 | 43695 | 6211 | 108 | 20269059 | 970963 || 765 | 2157129 | 1/ 0 | 329236 | 0 | 81.39/81.43 c | 766 | 1.6 | 0 | 44778 | 7911 | 109 | 20628089 | 986513 || 766 | 2202483 | 1/ 0 | 341671 | 0 | 83.17/83.20 c | 766 | 1.8 | 0 | 43630 | 113 | 110 | 20943152 | 1004731 || 766 | 2253076 | 1/ 0 | 342121 | 0 | 84.37/84.43 c | 766 | 1.2 | 0 | 42242 | 11617 | 111 | 21302264 | 1018495 || 766 | 2253076 | 1/ 0 | 342121 | 0 | 86.08/86.15 c | 794 | 1.7 | 0 | 45980 | 153 | 112 | 21672415 | 1037261 || 794 | 2291070 | 1/ 0 | 347583 | 0 | 87.78/87.89 c | 812 | 1.7 | 0 | 45716 | 408 | 113 | 22037649 | 1055667 || 812 | 2332550 | 1/ 0 | 353819 | 0 | 89.58/89.68 c | 829 | 1.8 | 0 | 46970 | 3374 | 114 | 22411605 | 1074244 || 829 | 2380039 | 1/ 0 | 361934 | 0 | 91.30/91.38 c | 848 | 1.7 | 0 | 48552 | 232 | 115 | 22794969 | 1092451 || 848 | 2412877 | 1/ 0 | 365866 | 0 | 93.08/93.19 c | 870 | 1.8 | 0 | 51331 | 184 | 116 | 23173440 | 1111326 || 870 | 2453972 | 1/ 0 | 371986 | 0 | 95.08/95.10 c | 891 | 1.9 | 0 | 52463 | 846 | 117 | 23551064 | 1130415 || 891 | 2497710 | 1/ 0 | 378608 | 0 | 96.98/97.03 c | 893 | 1.9 | 0 | 49080 | 8247 | 118 | 23919939 | 1148750 || 893 | 2552811 | 1/ 0 | 388131 | 0 | 98.68/98.76 c | 907 | 1.7 | 0 | 47507 | 118 | 119 | 24325625 | 1166702 || 907 | 2576760 | 1/ 0 | 390726 | 0 | 100.58/100.66 c | 928 | 1.9 | 0 | 50083 | 277 | 120 | 24730113 | 1186257 || 928 | 2619510 | 1/ 0 | 397080 | 0 | 102.58/102.69 c | 955 | 2.0 | 0 | 48224 | 1331 | 121 | 25119557 | 1206216 || 955 | 2667310 | 1/ 0 | 404871 | 0 | 104.50/104.54 c | 968 | 1.8 | 0 | 48989 | 5 | 122 | 25513013 | 1225055 || 968 | 2706042 | 1/ 0 | 410040 | 0 | 106.38/106.41 c | 988 | 1.9 | 0 | 51327 | 73 | 123 | 25908583 | 1244769 || 988 | 2749106 | 1/ 0 | 416583 | 0 | 108.38/108.42 c | 1018 | 2.0 | 0 | 52799 | 909 | 124 | 26310680 | 1265548 || 1018 | 2797141 | 1/ 0 | 424820 | 0 | 110.28/110.37 c | 1020 | 2.0 | 0 | 55870 | 6611 | 125 | 26704646 | 1284690 || 1020 | 2850157 | 1/ 0 | 434431 | 0 | 112.28/112.37 c | 1021 | 2.0 | 0 | 54945 | 10008 | 126 | 27109990 | 1303526 || 1021 | 2899924 | 1/ 0 | 445840 | 0 | 114.40/114.46 c | 1021 | 2.1 | 0 | 60013 | 3909 | 127 | 27504291 | 1323429 || 1021 | 2941761 | 1/ 0 | 446223 | 0 | 116.68/116.74 c | 1022 | 2.3 | 0 | 61930 | 17110 | 128 | 27936905 | 1341476 || 1022 | 3003566 | 1/ 0 | 469354 | 0 | 119.08/119.13 c | 1022 | 2.4 | 0 | 65402 | 13301 | 129 | 28298350 | 1362858 || 1022 | 3063590 | 1/ 0 | 469906 | 0 | 121.48/121.58 c | 1022 | 2.4 | 0 | 64569 | 5408 | 130 | 28712357 | 1381960 || 1022 | 3099833 | 1/ 0 | 470214 | 0 | 123.48/123.57 c | 1022 | 2.0 | 0 | 64424 | 18910 | 131 | 29205220 | 1397995 || 1022 | 3099833 | 1/ 0 | 470214 | 0 | 126.39/126.43 c | 1023 | 2.9 | 0 | 61781 | 32512 | 132 | 29641745 | 1417148 || 1023 | 3222437 | 1/ 0 | 520122 | 0 | 128.78/128.89 c | 1023 | 2.5 | 0 | 58906 | 13702 | 133 | 29992322 | 1439486 || 1023 | 3285752 | 1/ 0 | 520672 | 0 | 131.28/131.39 c | 1023 | 2.5 | 0 | 56099 | 13803 | 134 | 30365183 | 1461509 || 1023 | 3348677 | 1/ 0 | 521225 | 0 | 134.19/134.25 c | 1023 | 2.9 | 0 | 49438 | 13901 | 135 | 30749363 | 1483926 || 1023 | 3414008 | 1/ 0 | 521780 | 0 | 136.18/136.22 c | 1023 | 2.0 | 0 | 46063 | 11117 | 136 | 31209781 | 1501782 || 1023 | 3426899 | 1/ 0 | 521898 | 0 | 137.98/138.01 c | 1023 | 1.8 | 0 | 46789 | 25218 | 137 | 31700913 | 1518657 || 1023 | 3426899 | 1/ 0 | 521898 | 0 | 139.77/139.84 c | 1023 | 1.8 | 0 | 51128 | 39420 | 138 | 32217133 | 1535683 || 1023 | 3426899 | 1/ 0 | 521898 | 0 | 141.79/141.90 c | 1031 | 2.1 | 0 | 50554 | 15 | 139 | 32723976 | 1554127 || 1031 | 3436227 | 1/ 0 | 523268 | 0 | 144.18/144.24 c | 1058 | 2.3 | 0 | 53062 | 281 | 140 | 33186048 | 1577105 || 1058 | 3486454 | 1/ 0 | 530780 | 0 | 146.37/146.49 c | 1085 | 2.2 | 0 | 56678 | 924 | 141 | 33637809 | 1600041 || 1085 | 3538481 | 1/ 0 | 538645 | 0 | 148.78/148.89 c | 1106 | 2.4 | 0 | 59919 | 182 | 142 | 34096942 | 1622755 || 1106 | 3587070 | 1/ 0 | 545935 | 0 | 151.28/151.36 c | 1132 | 2.5 | 0 | 61278 | 535 | 143 | 34572703 | 1646136 || 1132 | 3638458 | 1/ 0 | 553578 | 0 | 153.78/153.91 c | 1149 | 2.6 | 0 | 56312 | 1707 | 144 | 35050571 | 1668752 || 1149 | 3692752 | 1/ 0 | 561836 | 0 | 156.28/156.36 c | 1153 | 2.4 | 0 | 57440 | 0 | 145 | 35548176 | 1690068 || 1153 | 3738159 | 1/ 0 | 568835 | 0 | 158.77/158.89 c | 1181 | 2.5 | 0 | 55246 | 1154 | 146 | 36025332 | 1714264 || 1181 | 3791505 | 1/ 0 | 576765 | 0 | 161.27/161.33 c | 1212 | 2.4 | 0 | 55651 | 201 | 147 | 36498266 | 1738442 || 1212 | 3847059 | 1/ 0 | 585049 | 0 | 163.67/163.75 c | 1232 | 2.4 | 0 | 56933 | 64 | 148 | 36988017 | 1761013 || 1232 | 3892834 | 1/ 0 | 592053 | 0 | 166.17/166.29 c | 1261 | 2.5 | 0 | 54980 | 107 | 149 | 37475710 | 1785242 || 1261 | 3946732 | 1/ 0 | 600061 | 0 | 168.67/168.74 c | 1276 | 2.4 | 0 | 56170 | 2774 | 150 | 37974690 | 1808550 || 1276 | 4000112 | 1/ 0 | 608104 | 0 | 171.37/171.43 c | 1278 | 2.7 | 0 | 58135 | 8673 | 151 | 38452044 | 1831418 || 1278 | 4071521 | 1/ 0 | 624285 | 0 | 173.97/174.06 c | 1278 | 2.6 | 0 | 61534 | 5071 | 152 | 38938450 | 1855032 || 1278 | 4121430 | 1/ 0 | 624729 | 0 | 176.48/176.58 c | 1299 | 2.5 | 0 | 63482 | 117 | 153 | 39460574 | 1877717 || 1299 | 4149938 | 1/ 0 | 628911 | 0 | 179.30/179.38 c | 1330 | 2.8 | 0 | 68943 | 151 | 154 | 39970089 | 1902787 || 1330 | 4205962 | 1/ 0 | 637205 | 0 | 181.98/182.09 c | 1346 | 2.7 | 0 | 70990 | 25 | 155 | 40482709 | 1926828 || 1346 | 4259421 | 1/ 0 | 645203 | 0 | 184.88/184.99 c | 1377 | 2.9 | 0 | 71766 | 186 | 156 | 40996440 | 1952072 || 1377 | 4314906 | 1/ 0 | 653511 | 0 | 187.88/187.93 c | 1404 | 2.9 | 0 | 74279 | 2747 | 157 | 41494537 | 1977435 || 1404 | 4377213 | 1/ 0 | 664457 | 0 | 190.68/190.77 c | 1405 | 2.8 | 0 | 73052 | 4547 | 158 | 41990304 | 2000710 || 1405 | 4427850 | 1/ 0 | 671037 | 0 | 193.68/193.77 c | 1436 | 3.0 | 0 | 71197 | 2388 | 159 | 42506580 | 2026285 || 1436 | 4482759 | 1/ 0 | 679328 | 0 | 196.68/196.74 c | 1467 | 3.0 | 0 | 64604 | 312 | 160 | 43017623 | 2052157 || 1467 | 4538408 | 1/ 0 | 687727 | 0 | 199.48/199.52 c | 1490 | 2.8 | 0 | 64316 | 367 | 161 | 43554545 | 2077505 || 1490 | 4591058 | 1/ 0 | 695687 | 0 | 202.40/202.45 c | 1524 | 2.9 | 0 | 64600 | 208 | 162 | 44074290 | 2104019 || 1524 | 4648973 | 1/ 0 | 704413 | 0 | 205.28/205.34 c | 1532 | 2.9 | 0 | 64138 | 6801 | 163 | 44595897 | 2129408 || 1532 | 4717748 | 1/ 0 | 715852 | 0 | 208.18/208.20 c | 1533 | 2.9 | 0 | 65029 | 14001 | 164 | 45108422 | 2153816 || 1533 | 4786134 | 1/ 0 | 728299 | 0 | 210.78/210.80 c | 1533 | 2.6 | 0 | 71289 | 11701 | 165 | 45628774 | 2176088 || 1533 | 4809403 | 1/ 0 | 728513 | 0 | 214.28/214.34 c | 1534 | 3.6 | 0 | 77357 | 28702 | 166 | 46090877 | 2203012 || 1534 | 4924692 | 1/ 0 | 753209 | 0 | 217.58/217.61 c | 1534 | 3.3 | 0 | 78521 | 7401 | 167 | 46593390 | 2227473 || 1534 | 4968906 | 1/ 0 | 753616 | 0 | 220.18/220.23 c | 1534 | 2.6 | 0 | 79918 | 24602 | 168 | 47193446 | 2248215 || 1534 | 4968906 | 1/ 0 | 753616 | 0 | 223.58/223.61 c | 1567 | 3.4 | 0 | 88683 | 140 | 169 | 47748377 | 2275387 || 1567 | 5026198 | 1/ 0 | 762220 | 0 | 226.88/226.92 c | 1597 | 3.3 | 0 | 90346 | 3175 | 170 | 48297100 | 2303067 || 1597 | 5093332 | 1/ 0 | 773545 | 0 | 230.38/230.46 c | 1627 | 3.5 | 0 | 87033 | 608 | 171 | 48856871 | 2329968 || 1627 | 5145364 | 1/ 0 | 780287 | 0 | 233.98/234.07 c | 1659 | 3.6 | 0 | 81654 | 2147 | 172 | 49419915 | 2357837 || 1659 | 5210900 | 1/ 0 | 790242 | 0 | 237.49/237.57 c | 1661 | 3.5 | 0 | 83196 | 3044 | 173 | 49989282 | 2384309 || 1661 | 5275561 | 1/ 0 | 800023 | 0 | 240.98/241.02 c | 1692 | 3.4 | 0 | 83024 | 2384 | 174 | 50566707 | 2411432 || 1692 | 5330890 | 1/ 0 | 808181 | 0 | 244.78/244.81 c | 1724 | 3.8 | 0 | 72087 | 1822 | 175 | 51148202 | 2439192 || 1724 | 5393870 | 1/ 0 | 819682 | 0 | 247.98/248.10 c | 1754 | 3.3 | 0 | 71539 | 958 | 176 | 51717137 | 2467114 || 1754 | 5452593 | 1/ 0 | 826537 | 0 | 251.38/251.45 c | 1786 | 3.3 | 0 | 74177 | 1809 | 177 | 52291090 | 2495605 || 1786 | 5517055 | 1/ 0 | 836596 | 0 | 254.58/254.65 c | 1788 | 3.2 | 0 | 74462 | 3201 | 178 | 52867724 | 2521845 || 1788 | 5581137 | 1/ 0 | 846228 | 0 | 257.88/257.94 c | 1789 | 3.3 | 0 | 77057 | 2303 | 179 | 53387641 | 2549524 || 1789 | 5662289 | 1/ 0 | 859168 | 0 | 260.98/261.06 c | 1810 | 3.1 | 0 | 78783 | 70 | 180 | 53998995 | 2575393 || 1810 | 5691159 | 1/ 0 | 863373 | 0 | 264.68/264.78 c | 1848 | 3.7 | 0 | 84168 | 102 | 181 | 54601271 | 2604743 || 1848 | 5754916 | 1/ 0 | 872946 | 0 | 268.29/268.37 c | 1868 | 3.6 | 0 | 86714 | 853 | 182 | 55186908 | 2632848 || 1868 | 5817721 | 1/ 0 | 882556 | 0 | 271.98/272.04 c | 1907 | 3.7 | 0 | 88401 | 192 | 183 | 55772444 | 2662673 || 1907 | 5882252 | 1/ 0 | 892209 | 0 | 275.78/275.88 c | 1916 | 3.8 | 0 | 88233 | 8672 | 184 | 56348908 | 2691645 || 1916 | 5963481 | 1/ 0 | 905483 | 0 | 279.58/279.62 c | 1946 | 3.7 | 0 | 87447 | 705 | 185 | 56974980 | 2719771 || 1946 | 6010939 | 1/ 0 | 912153 | 0 | 283.48/283.52 c | 1978 | 3.9 | 0 | 90215 | 46 | 186 | 57569983 | 2749747 || 1978 | 6079120 | 1/ 0 | 922066 | 0 | 287.18/287.27 c | 2008 | 3.8 | 0 | 86956 | 297 | 187 | 58169063 | 2778772 || 2008 | 6138788 | 1/ 0 | 931252 | 0 | 291.08/291.16 c | 2041 | 3.9 | 0 | 85954 | 2225 | 188 | 58780718 | 2808627 || 2041 | 6208331 | 1/ 0 | 941779 | 0 | 294.69/294.76 c | 2043 | 3.6 | 0 | 85590 | 4723 | 189 | 59377714 | 2836550 || 2043 | 6270993 | 1/ 0 | 951560 | 0 | 298.58/298.65 c | 2044 | 3.9 | 0 | 93720 | 4918 | 190 | 59960590 | 2864929 || 2044 | 6353071 | 1/ 0 | 964682 | 0 | 302.88/302.98 c | 2045 | 4.3 | 0 | 92941 | 24422 | 191 | 60509359 | 2892798 || 2045 | 6446503 | 1/ 0 | 988432 | 0 | 307.39/307.44 c | 2045 | 4.5 | 0 | 86987 | 5623 | 192 | 61038671 | 2921150 || 2045 | 6507789 | 1/ 0 | 989032 | 0 | 310.69/310.71 c | 2045 | 3.3 | 0 | 84726 | 25325 | 193 | 61681102 | 2945262 || 2045 | 6507789 | 1/ 0 | 989032 | 0 | 315.39/315.41 c | 2046 | 4.7 | 0 | 93578 | 45128 | 194 | 62244822 | 2976545 || 2046 | 6643982 | 1/ 0 | 1015978 | 0 | 320.69/320.74 c | 2046 | 5.3 | 0 | 90697 | 19903 | 195 | 62833278 | 3008073 || 2046 | 6736337 | 1/ 0 | 1016762 | 0 | 325.79/325.89 c | 2046 | 5.2 | 0 | 83046 | 8228 | 196 | 63487726 | 3036565 || 2046 | 6791371 | 1/ 0 | 1017192 | 0 | 329.78/329.87 c | 2046 | 4.0 | 0 | 90665 | 28331 | 197 | 64194478 | 3060287 || 2046 | 6791371 | 1/ 0 | 1017192 | 0 | 333.20/333.28 c | 2046 | 3.4 | 0 | 105695 | 48532 | 198 | 64882196 | 3084258 || 2046 | 6791371 | 1/ 0 | 1017192 | 0 | 338.88/338.94 c | 2047 | 5.7 | 0 | 118804 | 68834 | 199 | 65506906 | 3116474 || 2047 | 7036305 | 1/ 0 | 1108488 | 0 | 343.98/344.06 c | 2047 | 5.1 | 0 | 106889 | 20402 | 200 | 66093419 | 3148986 || 2047 | 7129271 | 1/ 0 | 1109335 | 0 | 348.88/348.93 c | 2047 | 4.9 | 0 | 110356 | 20503 | 201 | 66637856 | 3180385 || 2047 | 7218071 | 1/ 0 | 1110103 | 0 | 355.19/355.25 c | 2047 | 6.3 | 0 | 110689 | 20601 | 202 | 67214393 | 3213333 || 2047 | 7312070 | 1/ 0 | 1110908 | 0 | 360.48/360.53 c | 2047 | 5.3 | 0 | 104814 | 20701 | 203 | 67819291 | 3246696 || 2047 | 7407217 | 1/ 0 | 1111710 | 0 | 364.28/364.35 c | 2047 | 3.8 | 0 | 90130 | 18237 | 204 | 68556084 | 3273102 || 2047 | 7419467 | 1/ 0 | 1111822 | 0 | 367.78/367.88 c | 2047 | 3.5 | 0 | 78397 | 39139 | 205 | 69293757 | 3298213 || 2047 | 7419467 | 1/ 0 | 1111822 | 0 | 371.58/371.70 c | 2047 | 3.8 | 0 | 82576 | 60140 | 206 | 70044741 | 3323009 || 2047 | 7419467 | 1/ 0 | 1111822 | 0 | 375.38/375.47 c | 2047 | 3.8 | 0 | 93474 | 81243 | 207 | 70789044 | 3348174 || 2047 | 7419467 | 1/ 0 | 1111822 | 0 | 379.39/379.42 c | 2048 | 3.9 | 0 | 107797 | 102444 | 208 | 71534254 | 3373533 || 2048 | 7419926 | 1/ 0 | 1111928 | 0 | 384.18/384.25 c | 2093 | 4.8 | 0 | 119154 | 842 | 209 | 72220318 | 3407698 || 2093 | 7496093 | 1/ 0 | 1123556 | 0 | 389.08/389.17 c | 2124 | 4.9 | 0 | 114297 | 393 | 210 | 72919681 | 3440873 || 2124 | 7567507 | 1/ 0 | 1134342 | 0 | 394.18/394.24 c | 2167 | 5.1 | 0 | 117351 | 217 | 211 | 73616654 | 3475212 || 2167 | 7642353 | 1/ 0 | 1145324 | 0 | 398.98/399.03 c | 2174 | 4.8 | 0 | 119013 | 2404 | 212 | 74289023 | 3507555 || 2174 | 7723102 | 1/ 0 | 1157975 | 0 | 404.18/404.24 c | 2212 | 5.2 | 0 | 114429 | 216 | 213 | 75012850 | 3540612 || 2212 | 7786090 | 1/ 0 | 1167657 | 0 | 409.38/409.46 c | 2241 | 5.2 | 0 | 107805 | 51 | 214 | 75708885 | 3574466 || 2241 | 7860990 | 1/ 0 | 1178641 | 0 | 414.59/414.68 c | 2285 | 5.2 | 0 | 95399 | 70 | 215 | 76420239 | 3609358 || 2285 | 7937721 | 1/ 0 | 1190064 | 0 | 419.18/419.20 c | 2301 | 4.5 | 0 | 96706 | 9534 | 216 | 77067196 | 3643243 || 2301 | 8029530 | 1/ 0 | 1204236 | 0 | 424.09/424.16 c | 2302 | 5.0 | 0 | 96973 | 2834 | 217 | 77754261 | 3674638 || 2302 | 8104615 | 1/ 0 | 1214404 | 0 | 428.79/428.82 c | 2332 | 4.7 | 0 | 95996 | 158 | 218 | 78503625 | 3706825 || 2332 | 8149752 | 1/ 0 | 1221009 | 0 | 433.69/433.74 c | 2365 | 4.9 | 0 | 101481 | 4005 | 219 | 79201042 | 3742123 || 2365 | 8233414 | 1/ 0 | 1234193 | 0 | 438.80/438.91 c | 2403 | 5.2 | 0 | 100695 | 331 | 220 | 79925880 | 3776372 || 2403 | 8301070 | 1/ 0 | 1243752 | 0 | 443.89/443.90 c | 2429 | 5.0 | 0 | 99632 | 5584 | 221 | 80643997 | 3811073 || 2429 | 8390522 | 1/ 0 | 1259718 | 0 | 448.39/448.48 c | 2459 | 4.6 | 0 | 101370 | 129 | 222 | 81348539 | 3845235 || 2459 | 8453971 | 1/ 0 | 1266591 | 0 | 453.69/453.71 c | 2492 | 5.2 | 0 | 102477 | 4379 | 223 | 82068385 | 3880706 || 2492 | 8538765 | 1/ 0 | 1279891 | 0 | 458.60/458.65 c | 2533 | 4.9 | 0 | 104070 | 103 | 224 | 82787229 | 3915945 || 2533 | 8607410 | 1/ 0 | 1289936 | 0 | 463.59/463.67 c | 2556 | 5.0 | 0 | 104445 | 6758 | 225 | 83504820 | 3950791 || 2556 | 8693562 | 1/ 0 | 1302563 | 0 | 469.19/469.27 c | 2557 | 5.6 | 0 | 104176 | 957 | 226 | 84208766 | 3984787 || 2557 | 8788175 | 1/ 0 | 1315865 | 0 | 474.49/474.57 c | 2558 | 5.3 | 0 | 99694 | 24058 | 227 | 84888164 | 4016585 || 2558 | 8875902 | 1/ 0 | 1336498 | 0 | 480.09/480.11 c | 2558 | 5.5 | 0 | 102696 | 8859 | 228 | 85588974 | 4050070 || 2558 | 8940125 | 1/ 0 | 1337060 | 0 | 484.69/484.73 c | 2574 | 4.6 | 0 | 97667 | 39 | 229 | 86381245 | 4081461 || 2574 | 8964354 | 1/ 0 | 1340553 | 0 | 489.69/489.74 c | 2620 | 5.0 | 0 | 101175 | 1859 | 230 | 87120795 | 4118547 || 2620 | 9048984 | 1/ 0 | 1353570 | 0 | 494.69/494.72 c | 2652 | 5.0 | 0 | 99661 | 488 | 231 | 87853348 | 4154644 || 2652 | 9125656 | 1/ 0 | 1364515 | 0 | 499.59/499.65 c | 2685 | 4.9 | 0 | 103086 | 3232 | 232 | 88593058 | 4190366 || 2685 | 9212332 | 1/ 0 | 1382341 | 0 | 504.59/504.60 c | 2714 | 4.9 | 0 | 110146 | 77 | 233 | 89326676 | 4225763 || 2714 | 9280647 | 1/ 0 | 1388448 | 0 | 510.19/510.27 c | 2748 | 5.7 | 1 | 108473 | 4197 | 234 | 90079211 | 4261995 || 2748 | 9368860 | 1/ 0 | 1402476 | 0 | 515.68/515.77 c | 2793 | 5.5 | 1 | 111380 | 224 | 235 | 90841174 | 4298759 || 2793 | 9442850 | 4/ 4 | 1413462 | 0 | 521.58/521.69 c | 2812 | 5.9 | 1 | 110454 | 8786 | 236 | 91581540 | 4335821 || 2812 | 9533832 | 2/ 2 | 1425008 | 0 | 527.28/527.36 c | 2813 | 5.7 | 1 | 110051 | 4084 | 237 | 92348096 | 4371034 || 2813 | 9620129 | 2/ 2 | 1437876 | 0 | 532.79/532.84 c | 2844 | 5.5 | 1 | 110907 | 1036 | 238 | 93141511 | 4405824 || 2844 | 9675331 | 2/ 2 | 1446145 | 0 | 538.39/538.48 c | 2882 | 5.6 | 1 | 114640 | 162 | 239 | 93919522 | 4443341 || 2882 | 9756907 | 2/ 2 | 1458570 | 0 | 544.09/544.12 c | 2932 | 5.6 | 1 | 119545 | 174 | 240 | 94696765 | 4481554 || 2932 | 9839475 | 2/ 2 | 1471013 | 0 | 549.59/549.61 c | 2940 | 5.5 | 1 | 119920 | 5255 | 241 | 95457023 | 4517168 || 2940 | 9922119 | 2/ 2 | 1483850 | 0 | 555.69/555.78 c | 2990 | 6.2 | 1 | 119292 | 51 | 242 | 96244645 | 4555676 || 2990 | 10003595 | 2/ 2 | 1496048 | 0 | 561.49/561.54 c | 3028 | 5.8 | 1 | 123015 | 172 | 243 | 97006100 | 4593447 || 3028 | 10086828 | 2/ 2 | 1508660 | 0 | 567.79/567.89 c | 3066 | 6.4 | 1 | 125309 | 3915 | 244 | 97797137 | 4632330 || 3066 | 10182085 | 2/ 2 | 1523691 | 0 | 573.79/573.81 c | 3068 | 5.9 | 1 | 118992 | 14417 | 245 | 98559205 | 4669516 || 3068 | 10280767 | 1/ 1 | 1540205 | 0 | 579.29/579.36 c | 3069 | 5.6 | 1 | 118329 | 20221 | 246 | 99342948 | 4704742 || 3069 | 10376095 | 1/ 1 | 1562522 | 0 | 585.10/585.20 c | 3069 | 5.8 | 1 | 123804 | 6915 | 247 | 100075351 | 4742187 || 3069 | 10457211 | 1/ 1 | 1563275 | 0 | 591.09/591.19 c | 3070 | 6.0 | 1 | 125168 | 32117 | 248 | 100943219 | 4775099 || 3070 | 10573430 | 1/ 1 | 1610659 | 0 | 597.59/597.66 c | 3070 | 6.5 | 1 | 126679 | 25305 | 249 | 101627795 | 4814827 || 3070 | 10687097 | 1/ 1 | 1611664 | 0 | 604.59/604.64 c | 3070 | 7.0 | 1 | 132029 | 6022 | 250 | 102337983 | 4853443 || 3070 | 10774319 | 1/ 1 | 1612407 | 0 | 610.69/610.77 c | 3070 | 6.1 | 1 | 137721 | 31526 | 251 | 103185920 | 4883802 || 3070 | 10774319 | 1/ 1 | 1612407 | 0 | 617.69/617.74 c | 3085 | 7.0 | 1 | 145320 | 295 | 252 | 104015828 | 4916740 || 3085 | 10796908 | 1/ 1 | 1615756 | 0 | 624.59/624.70 c | 3132 | 7.0 | 1 | 151640 | 1071 | 253 | 104837051 | 4957414 || 3132 | 10885373 | 1/ 1 | 1628626 | 0 | 631.79/631.89 c | 3173 | 7.2 | 1 | 151698 | 91 | 254 | 105655821 | 4997382 || 3173 | 10971457 | 1/ 1 | 1641596 | 0 | 639.01/639.08 c | 3197 | 7.2 | 1 | 149655 | 9449 | 255 | 106457815 | 5038071 || 3197 | 11079745 | 1/ 1 | 1658226 | 0 | 646.09/646.17 c | 3239 | 7.1 | 1 | 143046 | 69 | 256 | 107294920 | 5077593 || 3239 | 11148972 | 1/ 1 | 1668379 | 0 | 652.39/652.48 c | 3278 | 6.3 | 1 | 140840 | 2 | 257 | 108107536 | 5117085 || 3278 | 11235414 | 1/ 1 | 1681502 | 0 | 659.91/659.95 c | 3323 | 7.5 | 1 | 134845 | 2701 | 258 | 108950345 | 5158303 || 3323 | 11330165 | 1/ 1 | 1696237 | 0 | 667.19/667.29 c | 3325 | 7.3 | 1 | 118489 | 14597 | 259 | 109741770 | 5197623 || 3325 | 11442585 | 1/ 1 | 1715905 | 0 | 673.39/673.45 c | 3348 | 6.1 | 1 | 126848 | 35 | 260 | 110569506 | 5235242 || 3348 | 11496007 | 1/ 1 | 1720808 | 0 | 680.09/680.12 c | 3388 | 6.7 | 1 | 136309 | 173 | 261 | 111385264 | 5276668 || 3388 | 11593334 | 1/ 1 | 1735352 | 0 | 687.29/687.33 c | 3439 | 7.2 | 1 | 140687 | 3 | 262 | 112244511 | 5318310 || 3439 | 11676686 | 1/ 1 | 1747621 | 0 | 694.29/694.34 c | 3452 | 7.0 | 1 | 139967 | 5387 | 263 | 113050091 | 5357722 || 3452 | 11767671 | 1/ 1 | 1761786 | 0 | 701.39/701.48 c | 3509 | 7.1 | 1 | 140991 | 286 | 264 | 113897082 | 5399585 || 3509 | 11857381 | 1/ 1 | 1775243 | 0 | 708.31/708.39 c | 3546 | 6.9 | 1 | 142540 | 2118 | 265 | 114724741 | 5440406 || 3546 | 11951615 | 1/ 1 | 1790004 | 0 | 715.59/715.69 c | 3579 | 7.3 | 1 | 137922 | 5853 | 266 | 115545431 | 5481979 || 3579 | 12051602 | 1/ 1 | 1807834 | 0 | 722.79/722.86 c | 3580 | 7.2 | 1 | 130521 | 4149 | 267 | 116339365 | 5521799 || 3580 | 12150616 | 1/ 1 | 1820450 | 0 | 729.89/729.98 c | 3581 | 7.1 | 1 | 132626 | 31351 | 268 | 117136045 | 5561493 || 3581 | 12279559 | 1/ 1 | 1845655 | 0 | 736.79/736.88 c | 3581 | 6.9 | 1 | 131507 | 20253 | 269 | 117999238 | 5596556 || 3581 | 12309613 | 1/ 1 | 1845947 | 0 | 744.19/744.26 c | 3627 | 7.4 | 1 | 129924 | 344 | 270 | 118874279 | 5637653 || 3627 | 12387916 | 1/ 1 | 1857719 | 0 | 751.39/751.48 c | 3673 | 7.2 | 1 | 130586 | 140 | 271 | 119740161 | 5680656 || 3673 | 12482300 | 1/ 1 | 1871883 | 0 | 758.69/758.77 c | 3708 | 7.3 | 1 | 132863 | 3272 | 272 | 120616977 | 5722267 || 3708 | 12583786 | 1/ 1 | 1891138 | 0 | 765.99/766.03 c | 3739 | 7.3 | 1 | 134046 | 510 | 273 | 121475995 | 5764039 || 3739 | 12668918 | 1/ 1 | 1899794 | 0 | 773.20/773.29 c | 3785 | 7.2 | 1 | 131953 | 417 | 274 | 122346835 | 5806640 || 3785 | 12761074 | 1/ 1 | 1913820 | 0 | 780.39/780.40 c | 3834 | 7.1 | 1 | 136411 | 1626 | 275 | 123215248 | 5849566 || 3834 | 12860852 | 1/ 1 | 1931107 | 0 | 788.19/788.23 c | 3836 | 7.8 | 1 | 137055 | 15222 | 276 | 124067516 | 5891966 || 3836 | 12975290 | 1/ 1 | 1947182 | 0 | 795.09/795.17 c | 3866 | 6.9 | 1 | 134995 | 461 | 277 | 124982847 | 5932551 || 3866 | 13035599 | 1/ 1 | 1954012 | 0 | 802.59/802.62 c | 3903 | 7.5 | 1 | 140127 | 61 | 278 | 125858680 | 5975827 || 3903 | 13129742 | 1/ 1 | 1967733 | 0 | 810.29/810.38 c | 3961 | 7.8 | 1 | 142909 | 1172 | 279 | 126743529 | 6020320 || 3961 | 13231277 | 1/ 1 | 1983906 | 0 | 817.09/817.18 c | 3978 | 6.8 | 1 | 144586 | 742 | 280 | 127605599 | 6061818 || 3978 | 13319970 | 1/ 1 | 1997042 | 0 | 825.19/825.26 c | 4026 | 8.1 | 1 | 148045 | 4358 | 281 | 128486205 | 6105383 || 4026 | 13424813 | 1/ 1 | 2013222 | 0 | 833.29/833.35 c | 4080 | 8.1 | 1 | 147379 | 464 | 282 | 129374906 | 6149229 || 4080 | 13512851 | 1/ 1 | 2026214 | 0 | 841.19/841.28 c | 4091 | 7.9 | 1 | 149610 | 8744 | 283 | 130211095 | 6190932 || 4091 | 13629445 | 1/ 1 | 2050990 | 0 | 849.49/849.54 c | 4092 | 8.3 | 1 | 148143 | 18345 | 284 | 131059657 | 6231747 || 4092 | 13746204 | 1/ 1 | 2076720 | 0 | 858.30/858.39 c | 4092 | 8.9 | 1 | 151103 | 8843 | 285 | 131890263 | 6274612 || 4092 | 13838358 | 1/ 1 | 2077556 | 0 | 866.30/866.38 c | 4093 | 8.0 | 1 | 145096 | 37847 | 286 | 132772193 | 6314410 || 4093 | 13965683 | 1/ 1 | 2129059 | 0 | 876.71/876.72 c | 4093 | 10.3 | 1 | 142117 | 29101 | 287 | 133485796 | 6358846 || 4093 | 14092316 | 1/ 1 | 2130179 | 0 | 885.10/885.14 c | 4093 | 8.4 | 1 | 131049 | 19349 | 288 | 134389755 | 6396835 || 4093 | 14135354 | 1/ 1 | 2130561 | 0 | 892.19/892.22 c | 4093 | 7.1 | 1 | 124718 | 48652 | 289 | 135339682 | 6431765 || 4093 | 14135354 | 1/ 1 | 2130561 | 0 | 902.49/902.59 c | 4094 | 10.4 | 1 | 132408 | 78055 | 290 | 136132457 | 6477520 || 4094 | 14409966 | 1/ 1 | 2219243 | 0 | 912.79/912.87 c | 4094 | 10.3 | 1 | 128952 | 29503 | 291 | 136896417 | 6524132 || 4094 | 14543336 | 1/ 1 | 2220440 | 0 | 922.29/922.39 c | 4094 | 9.5 | 1 | 135759 | 29601 | 292 | 137658217 | 6571025 || 4094 | 14675402 | 1/ 1 | 2221624 | 0 | 932.50/932.55 c | 4094 | 10.2 | 1 | 147051 | 13257 | 293 | 138499654 | 6612568 || 4094 | 14748796 | 1/ 1 | 2222240 | 0 | 941.10/941.11 c | 4094 | 8.6 | 1 | 163489 | 43058 | 294 | 139453744 | 6648220 || 4094 | 14748796 | 1/ 1 | 2222240 | 0 | 949.00/949.06 c | 4094 | 8.0 | 1 | 182220 | 72959 | 295 | 140434739 | 6684473 || 4094 | 14748796 | 1/ 1 | 2222240 | 0 | 959.11/959.20 c | 4095 | 10.1 | 1 | 182806 | 102963 | 296 | 141410517 | 6720818 || 4095 | 15029415 | 1/ 1 | 2374126 | 0 | 969.80/969.83 c | 4095 | 10.6 | 1 | 197945 | 30101 | 297 | 142199471 | 6768101 || 4095 | 15162637 | 1/ 1 | 2375247 | 0 | 983.09/983.15 c | 4095 | 13.3 | 1 | 194689 | 30202 | 298 | 142975849 | 6815919 || 4095 | 15296047 | 1/ 1 | 2376401 | 0 | 993.99/994.06 c | 4095 | 10.9 | 1 | 191356 | 30303 | 299 | 143807328 | 6864451 || 4095 | 15433459 | 1/ 1 | 2377633 | 0 | 1005.41/1005.49 c | 4095 | 11.4 | 1 | 177985 | 30401 | 300 | 144640662 | 6913492 || 4095 | 15572949 | 1/ 1 | 2378856 | 0 | 1017.19/1017.21 c | 4095 | 11.7 | 1 | 157454 | 30504 | 301 | 145443780 | 6962157 || 4095 | 15709949 | 1/ 1 | 2380060 | 0 | 1028.42/1028.45 c | 4095 | 11.3 | 1 | 134416 | 30601 | 302 | 146260729 | 7009864 || 4095 | 15844455 | 1/ 1 | 2381236 | 0 | 1038.70/1038.78 c | 4095 | 10.3 | 1 | 102646 | 8576 | 303 | 147112384 | 7054668 || 4095 | 15942478 | 1/ 1 | 2382132 | 0 | 1046.20/1046.28 c | 4095 | 7.5 | 1 | 111077 | 39379 | 304 | 148136432 | 7091661 || 4095 | 15942478 | 1/ 1 | 2382132 | 0 | 1053.82/1053.89 c | 4095 | 7.6 | 1 | 129193 | 70284 | 305 | 149167956 | 7128652 || 4095 | 15942478 | 1/ 1 | 2382132 | 0 | 1060.42/1060.42 c | 4095 | 6.5 | 1 | 155133 | 101285 | 306 | 150208488 | 7166877 || 4095 | 15942478 | 1/ 1 | 2382132 | 0 | 1068.01/1068.11 c | 4095 | 7.7 | 1 | 177012 | 132386 | 307 | 151258203 | 7205275 || 4095 | 15942478 | 1/ 1 | 2382132 | 0 | 1076.92/1076.92 c | 4095 | 8.8 | 1 | 200571 | 163588 | 308 | 152317556 | 7243577 || 4095 | 15942478 | 1/ 1 | 2382132 | 0 | 1085.72/1085.73 c | 4095 | 8.8 | 1 | 225564 | 194891 | 309 | 153383453 | 7281790 || 4095 | 15942478 | 1/ 1 | 2382132 | 0 | 1097.30/1097.37 c | 4141 | 11.6 | 1 | 244019 | 1005 | 310 | 154411857 | 7328956 || 4141 | 16021894 | 1/ 1 | 2393862 | 0 | 1110.41/1110.40 c | 4189 | 13.0 | 1 | 235403 | 2394 | 311 | 155424000 | 7378075 || 4189 | 16132508 | 1/ 1 | 2410496 | 0 | 1122.71/1122.80 c | 4222 | 12.4 | 1 | 212344 | 1126 | 312 | 156424501 | 7426493 || 4222 | 16249378 | 1/ 1 | 2428445 | 0 | 1135.01/1135.07 c | 4281 | 12.3 | 1 | 196497 | 99 | 313 | 157473504 | 7475993 || 4281 | 16343140 | 1/ 1 | 2442077 | 0 | 1146.50/1146.58 c | 4328 | 11.5 | 1 | 182746 | 96 | 314 | 158511754 | 7525264 || 4328 | 16451884 | 1/ 1 | 2458512 | 0 | 1156.91/1156.97 c | 4350 | 10.4 | 1 | 168097 | 6647 | 315 | 159502232 | 7572755 || 4350 | 16576298 | 1/ 1 | 2484844 | 0 | 1167.21/1167.23 c | 4367 | 10.3 | 1 | 157415 | 113 | 316 | 160496736 | 7618908 || 4367 | 16656882 | 1/ 1 | 2488927 | 0 | 1176.80/1176.81 c | 4415 | 9.6 | 1 | 146043 | 100 | 317 | 161534496 | 7668086 || 4415 | 16765728 | 1/ 1 | 2505082 | 0 | 1186.40/1186.48 c | 4476 | 9.7 | 1 | 148774 | 1871 | 318 | 162580836 | 7718898 || 4476 | 16883550 | 1/ 1 | 2524902 | 0 | 1195.62/1195.63 c | 4508 | 9.1 | 1 | 151900 | 1305 | 319 | 163624966 | 7767593 || 4508 | 16988648 | 1/ 1 | 2539824 | 0 | 1205.20/1205.20 c | 4559 | 9.6 | 1 | 148567 | 209 | 320 | 164660303 | 7817828 || 4559 | 17095953 | 1/ 1 | 2555179 | 0 | 1214.32/1214.41 c | 4604 | 9.2 | 1 | 151918 | 4416 | 321 | 165693268 | 7867868 || 4604 | 17219679 | 1/ 1 | 2577437 | 0 | 1224.10/1224.21 c | 4605 | 9.8 | 1 | 148762 | 8215 | 322 | 166680333 | 7915259 || 4605 | 17326606 | 1/ 1 | 2590799 | 0 | 1235.00/1235.04 c | 4606 | 10.8 | 1 | 152802 | 2511 | 323 | 167609494 | 7964862 || 4606 | 17483899 | 1/ 1 | 2614388 | 0 | 1244.20/1244.26 c | 4632 | 9.2 | 1 | 150013 | 260 | 324 | 168698845 | 8008040 || 4632 | 17518553 | 1/ 1 | 2619483 | 0 | 1254.02/1254.09 c | 4683 | 9.8 | 1 | 156976 | 261 | 325 | 169752235 | 8058863 || 4683 | 17630920 | 1/ 1 | 2636524 | 0 | 1264.10/1264.14 c | 4732 | 10.1 | 1 | 162650 | 1756 | 326 | 170782623 | 8109604 || 4732 | 17745770 | 1/ 1 | 2653605 | 0 | 1273.82/1273.85 c | 4773 | 9.7 | 1 | 161500 | 71 | 327 | 171812294 | 8159633 || 4773 | 17852624 | 1/ 1 | 2669672 | 0 | 1284.20/1284.27 c | 4827 | 10.4 | 1 | 162990 | 1467 | 328 | 172862053 | 8211425 || 4827 | 17971406 | 1/ 1 | 2688270 | 0 | 1294.20/1294.24 c | 4860 | 10.0 | 1 | 168380 | 1890 | 329 | 173907586 | 8261893 || 4860 | 18089007 | 1/ 0 | 2704216 | 0 | 1303.80/1303.87 c | 4872 | 9.6 | 1 | 173469 | 270 | 330 | 174962856 | 8308852 || 4872 | 18164784 | 1/ 0 | 2709684 | 0 | 1314.30/1314.40 c | 4924 | 10.5 | 1 | 166240 | 1458 | 331 | 176004734 | 8360325 || 4924 | 18283561 | 1/ 0 | 2727905 | 0 | 1324.80/1324.86 c | 4986 | 10.5 | 1 | 169310 | 1327 | 332 | 177071638 | 8412108 || 4986 | 18393606 | 1/ 0 | 2744122 | 0 | 1335.42/1335.44 c | 5019 | 10.6 | 1 | 171091 | 2161 | 333 | 178130805 | 8462354 || 5019 | 18508684 | 1/ 0 | 2761917 | 0 | 1346.43/1346.48 c | 5076 | 11.0 | 1 | 173355 | 30 | 334 | 179175069 | 8513716 || 5076 | 18618783 | 1/ 0 | 2778462 | 0 | 1357.51/1357.50 c | 5115 | 11.0 | 1 | 173361 | 8054 | 335 | 180217814 | 8565783 || 5115 | 18749963 | 1/ 0 | 2799622 | 0 | 1368.01/1368.09 c | 5117 | 10.6 | 1 | 176343 | 13251 | 336 | 181246238 | 8613653 || 5117 | 18886475 | 1/ 0 | 2836505 | 0 | 1378.51/1378.59 c | 5117 | 10.5 | 1 | 181274 | 8951 | 337 | 182246263 | 8665896 || 5117 | 19002467 | 1/ 0 | 2837453 | 0 | 1389.81/1389.83 c | 5118 | 11.2 | 1 | 177569 | 43153 | 338 | 183282832 | 8714341 || 5118 | 19155589 | 1/ 0 | 2877483 | 0 | 1403.01/1403.02 c | 5118 | 13.2 | 1 | 181353 | 655 | 339 | 184200667 | 8769476 || 5118 | 19311081 | 1/ 0 | 2878873 | 0 | 1414.31/1414.34 c | 5118 | 11.3 | 1 | 177588 | 35056 | 340 | 185334048 | 8810680 || 5118 | 19311081 | 1/ 0 | 2878873 | 0 | 1424.71/1424.77 c | 5156 | 10.4 | 1 | 190769 | 274 | 341 | 186448245 | 8858719 || 5156 | 19374055 | 1/ 0 | 2888431 | 0 | 1436.71/1436.70 c | 5212 | 11.9 | 1 | 196111 | 2379 | 342 | 187538810 | 8912123 || 5212 | 19496644 | 1/ 0 | 2906919 | 0 | 1449.11/1449.12 c | 5245 | 12.4 | 1 | 190854 | 4233 | 343 | 188599525 | 8963548 || 5245 | 19611471 | 1/ 0 | 2924337 | 0 | 1461.21/1461.20 c | 5308 | 12.1 | 1 | 190709 | 2122 | 344 | 189675702 | 9016982 || 5308 | 19729874 | 1/ 0 | 2944105 | 0 | 1473.31/1473.32 c | 5370 | 12.1 | 1 | 187923 | 897 | 345 | 190747598 | 9070879 || 5370 | 19845654 | 1/ 0 | 2960785 | 0 | 1485.41/1485.43 c | 5373 | 12.1 | 1 | 190202 | 19092 | 346 | 191767639 | 9123216 || 5373 | 19994644 | 1/ 0 | 2983406 | 0 | 1498.01/1498.11 c | 5419 | 12.7 | 1 | 178056 | 511 | 347 | 192882199 | 9173878 || 5419 | 20072589 | 1/ 0 | 2995117 | 0 | 1509.41/1509.49 c | 5477 | 11.4 | 1 | 177254 | 102 | 348 | 193991769 | 9228084 || 5477 | 20191721 | 1/ 0 | 3013261 | 0 | 1520.61/1520.62 c | 5510 | 11.1 | 1 | 181173 | 147 | 349 | 195058946 | 9279900 || 5510 | 20304768 | 1/ 0 | 3029979 | 0 | 1532.61/1532.65 c | 5563 | 12.0 | 1 | 184746 | 2954 | 350 | 196150694 | 9334121 || 5563 | 20426513 | 1/ 0 | 3048253 | 0 | 1545.01/1545.07 c | 5626 | 12.4 | 1 | 187665 | 4730 | 351 | 197243724 | 9389556 || 5626 | 20558531 | 1/ 0 | 3068228 | 0 | 1556.42/1556.48 c | 5628 | 11.4 | 1 | 188919 | 6724 | 352 | 198330153 | 9440001 || 5628 | 20677866 | 1/ 0 | 3086759 | 0 | 1570.01/1570.01 c | 5629 | 13.5 | 1 | 183888 | 4020 | 353 | 199378299 | 9495216 || 5629 | 20839256 | 1/ 0 | 3109803 | 0 | 1581.51/1581.51 c | 5660 | 11.5 | 1 | 178370 | 2162 | 354 | 200521179 | 9543452 || 5660 | 20893141 | 1/ 0 | 3118009 | 0 | 1593.31/1593.37 c | 5722 | 11.9 | 1 | 182415 | 755 | 355 | 201648105 | 9598688 || 5722 | 21013439 | 1/ 0 | 3136380 | 0 | 1605.81/1605.85 c | 5756 | 12.5 | 1 | 185346 | 2692 | 356 | 202780825 | 9653223 || 5756 | 21143673 | 1/ 0 | 3155973 | 0 | 1618.02/1618.07 c | 5819 | 12.2 | 1 | 186386 | 1890 | 357 | 203901489 | 9708153 || 5819 | 21260962 | 1/ 0 | 3175555 | 0 | 1630.41/1630.49 c | 5881 | 12.4 | 1 | 192133 | 1975 | 358 | 205036581 | 9764441 || 5881 | 21381852 | 1/ 0 | 3191598 | 0 | 1642.52/1642.55 c | 5884 | 12.1 | 1 | 201758 | 2265 | 359 | 206079482 | 9818632 || 5884 | 21524858 | 1/ 0 | 3212749 | 0 | 1655.22/1655.26 c | 5941 | 12.7 | 1 | 203480 | 60 | 360 | 207222349 | 9871758 || 5941 | 21614134 | 1/ 0 | 3226178 | 0 | 1668.42/1668.47 c | 5999 | 13.2 | 1 | 199122 | 246 | 361 | 208352322 | 9928115 || 5999 | 21739742 | 1/ 0 | 3245273 | 0 | 1681.83/1681.86 c | 6035 | 13.4 | 1 | 200232 | 168 | 362 | 209468150 | 9981685 || 6035 | 21859464 | 1/ 0 | 3263932 | 0 | 1695.22/1695.24 c | 6093 | 13.4 | 1 | 198849 | 223 | 363 | 210612087 | 10038380 || 6093 | 21981945 | 1/ 0 | 3281038 | 0 | 1708.02/1708.07 c | 6138 | 12.8 | 1 | 197581 | 8735 | 364 | 211726114 | 10094319 || 6138 | 22122580 | 1/ 0 | 3303680 | 0 | 1720.52/1720.56 c | 6140 | 12.5 | 1 | 196693 | 16830 | 365 | 212854029 | 10146257 || 6140 | 22269709 | 1/ 0 | 3339894 | 0 | 1732.54/1732.58 c | 6140 | 12.0 | 1 | 202344 | 15430 | 366 | 213924075 | 10199130 || 6140 | 22367537 | 1/ 0 | 3340726 | 0 | 1745.73/1745.72 c | 6141 | 13.1 | 1 | 206444 | 52534 | 367 | 215000474 | 10253997 || 6141 | 22569089 | 1/ 0 | 3384498 | 0 | 1759.12/1759.17 c | 6141 | 13.5 | 1 | 199124 | 12935 | 368 | 216157328 | 10307171 || 6141 | 22678776 | 1/ 0 | 3385463 | 0 | 1769.61/1769.64 c | 6141 | 10.5 | 1 | 193990 | 50236 | 369 | 217437603 | 10352569 || 6141 | 22678776 | 1/ 0 | 3385463 | 0 | 1786.01/1786.04 c | 6142 | 16.4 | 1 | 203581 | 87637 | 370 | 218413195 | 10411595 || 6142 | 23015282 | 1/ 0 | 3481531 | 0 | 1803.01/1803.00 c | 6142 | 17.0 | 1 | 192622 | 37506 | 371 | 219394688 | 10471111 || 6142 | 23184472 | 1/ 0 | 3482979 | 0 | 1818.23/1818.23 c | 6142 | 15.2 | 1 | 177657 | 9144 | 372 | 220484941 | 10527088 || 6142 | 23313307 | 1/ 0 | 3484136 | 0 | 1829.34/1829.37 c | 6142 | 11.1 | 1 | 161100 | 46847 | 373 | 221828169 | 10572444 || 6142 | 23313307 | 1/ 0 | 3484136 | 0 | 1840.72/1840.70 c | 6142 | 11.3 | 1 | 162081 | 84648 | 374 | 223162981 | 10617779 || 6142 | 23313307 | 1/ 0 | 3484136 | 0 | 1853.43/1853.50 c | 6187 | 12.8 | 1 | 163225 | 277 | 375 | 224401014 | 10670605 || 6187 | 23384218 | 1/ 0 | 3494938 | 0 | 1866.42/1866.46 c | 6248 | 13.0 | 1 | 143932 | 65 | 376 | 225602351 | 10730497 || 6248 | 23515373 | 1/ 0 | 3514063 | 0 | 1877.63/1877.62 c | 6285 | 11.2 | 1 | 157190 | 813 | 377 | 226793094 | 10787284 || 6285 | 23642810 | 1/ 0 | 3533325 | 0 | 1889.42/1889.46 c | 6347 | 11.8 | 1 | 164984 | 490 | 378 | 228005373 | 10846859 || 6347 | 23775467 | 1/ 0 | 3553139 | 0 | 1901.84/1901.85 c | 6396 | 12.4 | 1 | 175999 | 9080 | 379 | 229190179 | 10906016 || 6396 | 23922402 | 1/ 0 | 3575951 | 0 | 1914.12/1914.15 c | 6412 | 12.3 | 1 | 181838 | 242 | 380 | 230436775 | 10960010 || 6412 | 24029153 | 1/ 0 | 3592123 | 0 | 1927.02/1927.06 c | 6475 | 12.9 | 1 | 185748 | 206 | 381 | 231613023 | 11018872 || 6475 | 24158454 | 1/ 0 | 3611892 | 0 | 1940.62/1940.61 c | 6524 | 13.5 | 1 | 183431 | 9147 | 382 | 232796755 | 11078405 || 6524 | 24303296 | 1/ 0 | 3634192 | 0 | 1954.02/1954.01 c | 6586 | 13.4 | 1 | 180643 | 1352 | 383 | 234036407 | 11137251 || 6586 | 24417392 | 1/ 0 | 3650822 | 0 | 1966.62/1966.67 c | 6650 | 12.7 | 1 | 187986 | 1614 | 384 | 235226448 | 11196134 || 6650 | 24552095 | 1/ 0 | 3673678 | 0 | 1979.32/1979.32 c | 6652 | 12.6 | 1 | 190936 | 6910 | 385 | 236406043 | 11253058 || 6652 | 24692586 | 1/ 0 | 3693454 | 0 | 1993.52/1993.55 c | 6653 | 14.2 | 1 | 196358 | 7510 | 386 | 237504407 | 11308502 || 6653 | 24845238 | 1/ 0 | 3717602 | 0 | 2006.62/2006.61 c | 6699 | 13.1 | 1 | 192124 | 537 | 387 | 238732972 | 11362993 || 6699 | 24918918 | 1/ 0 | 3729264 | 0 | 2021.12/2021.18 c | 6762 | 14.6 | 1 | 201457 | 17 | 388 | 239943262 | 11423099 || 6762 | 25053262 | 1/ 0 | 3749043 | 0 | 2035.22/2035.28 c | 6806 | 14.1 | 1 | 205602 | 229 | 389 | 241155041 | 11481437 || 6806 | 25181454 | 1/ 0 | 3768155 | 0 | 2050.02/2050.08 c | 6872 | 14.8 | 1 | 199159 | 287 | 390 | 242384912 | 11541928 || 6872 | 25317709 | 1/ 0 | 3788958 | 0 | 2064.33/2064.33 c | 6907 | 14.2 | 1 | 199679 | 5129 | 391 | 243587695 | 11599857 || 6907 | 25451778 | 1/ 0 | 3809652 | 0 | 2078.94/2078.96 c | 6938 | 14.6 | 1 | 200508 | 673 | 392 | 244771959 | 11657724 || 6938 | 25578198 | 1/ 0 | 3829360 | 0 | 2093.63/2093.64 c | 7002 | 14.7 | 1 | 206502 | 1846 | 393 | 246030443 | 11718768 || 7002 | 25716900 | 1/ 0 | 3850957 | 0 | 2107.83/2107.81 c | 7042 | 14.2 | 1 | 201744 | 376 | 394 | 247261997 | 11777430 || 7042 | 25843283 | 1/ 0 | 3870128 | 0 | 2122.63/2122.68 c | 7111 | 14.9 | 1 | 203057 | 230 | 395 | 248498263 | 11838378 || 7111 | 25978395 | 1/ 0 | 3890789 | 0 | 2137.73/2137.77 c | 7162 | 15.1 | 1 | 208774 | 8435 | 396 | 249723624 | 11899684 || 7162 | 26130100 | 1/ 0 | 3914414 | 0 | 2151.82/2151.87 c | 7164 | 14.1 | 1 | 204798 | 19733 | 397 | 250917371 | 11957221 || 7164 | 26288841 | 1/ 0 | 3949380 | 0 | 2165.23/2165.25 c | 7164 | 13.4 | 1 | 209092 | 21535 | 398 | 252141997 | 12012489 || 7164 | 26371193 | 1/ 0 | 3950078 | 0 | 2181.35/2181.39 c | 7165 | 16.1 | 1 | 208533 | 61837 | 399 | 253215140 | 12077949 || 7165 | 26619538 | 1/ 0 | 3997260 | 0 | 2195.73/2195.79 c | 7165 | 14.4 | 1 | 215306 | 25438 | 400 | 254498252 | 12133678 || 7165 | 26688785 | 1/ 0 | 3997864 | 0 | 2210.73/2210.76 c | 7196 | 15.0 | 1 | 221885 | 273 | 401 | 255815465 | 12187927 || 7196 | 26744431 | 1/ 0 | 4006198 | 0 | 2226.23/2226.30 c | 7262 | 15.5 | 1 | 225341 | 135 | 402 | 257072490 | 12250048 || 7262 | 26878670 | 1/ 0 | 4026616 | 0 | 2241.23/2241.26 c | 7307 | 15.0 | 1 | 229603 | 543 | 403 | 258341661 | 12310728 || 7307 | 27015169 | 1/ 0 | 4047650 | 0 | 2258.03/2258.09 c | 7377 | 16.8 | 1 | 230219 | 4 | 404 | 259580277 | 12373910 || 7377 | 27155509 | 1/ 0 | 4068867 | 0 | 2273.23/2273.23 c | 7419 | 15.1 | 1 | 232807 | 4416 | 405 | 260826308 | 12435645 || 7419 | 27297717 | 1/ 0 | 4090840 | 0 | 2288.53/2288.58 c | 7451 | 15.3 | 1 | 233620 | 1348 | 406 | 262108382 | 12495121 || 7451 | 27408732 | 1/ 0 | 4101197 | 0 | 2304.63/2304.62 c | 7514 | 16.0 | 1 | 235221 | 1512 | 407 | 263370857 | 12557071 || 7514 | 27543317 | 1/ 0 | 4121174 | 0 | 2319.95/2319.94 c | 7562 | 15.3 | 1 | 225110 | 232 | 408 | 264623980 | 12618727 || 7562 | 27677640 | 1/ 0 | 4140703 | 0 | 2336.53/2336.51 c | 7632 | 16.6 | 1 | 229806 | 213 | 409 | 265897318 | 12681982 || 7632 | 27816993 | 1/ 0 | 4161964 | 0 | 2352.34/2352.33 c | 7674 | 15.8 | 1 | 229799 | 5129 | 410 | 267147889 | 12743723 || 7674 | 27956543 | 1/ 0 | 4183120 | 0 | 2368.44/2368.40 c | 7676 | 16.1 | 1 | 228086 | 27432 | 411 | 268379926 | 12805530 || 7676 | 28127854 | 1/ 0 | 4207563 | 0 | 2385.44/2385.46 c | 7691 | 17.1 | 1 | 223446 | 608 | 412 | 269697933 | 12861952 || 7691 | 28198180 | 1/ 0 | 4211325 | 0 | 2401.64/2401.69 c | 7761 | 16.2 | 1 | 233832 | 330 | 413 | 270979438 | 12925638 || 7761 | 28339217 | 1/ 0 | 4232070 | 0 | 2418.24/2418.20 c | 7803 | 16.5 | 1 | 233646 | 5009 | 414 | 272258013 | 12987902 || 7803 | 28480837 | 1/ 0 | 4253518 | 0 | 2434.84/2434.84 c | 7873 | 16.6 | 1 | 232555 | 571 | 415 | 273548702 | 13051779 || 7873 | 28619735 | 1/ 0 | 4274692 | 0 | 2451.74/2451.75 c | 7930 | 16.9 | 1 | 237259 | 8657 | 416 | 274831457 | 13117206 || 7930 | 28779888 | 1/ 0 | 4299692 | 0 | 2468.04/2468.04 c | 7955 | 16.3 | 1 | 240903 | 0 | 417 | 276118393 | 13176418 || 7955 | 28886583 | 1/ 0 | 4312082 | 0 | 2485.14/2485.10 c | 8024 | 17.1 | 1 | 247870 | 765 | 418 | 277419192 | 13241232 || 8024 | 29029704 | 1/ 0 | 4333558 | 0 | 2503.14/2503.13 c | 8071 | 18.0 | 1 | 233519 | 282 | 419 | 278681685 | 13303924 || 8071 | 29170174 | 1/ 0 | 4355363 | 0 | 2520.15/2520.19 c | 8142 | 17.1 | 1 | 239663 | 144 | 420 | 279969281 | 13368182 || 8142 | 29313210 | 1/ 0 | 4377320 | 0 | 2536.94/2536.92 c | 8185 | 16.7 | 1 | 239815 | 5260 | 421 | 281268272 | 13431546 || 8185 | 29457665 | 1/ 0 | 4399430 | 0 | 2554.74/2554.71 c | 8187 | 17.8 | 1 | 240421 | 28659 | 422 | 282513004 | 13493827 || 8187 | 29648231 | 1/ 0 | 4433347 | 0 | 2571.54/2571.53 c | 8188 | 16.8 | 1 | 239985 | 32960 | 423 | 283842397 | 13553016 || 8188 | 29808934 | 1/ 0 | 4479394 | 0 | 2589.04/2589.07 c | 8188 | 17.5 | 1 | 243813 | 42802 | 424 | 285095778 | 13623315 || 8188 | 30010388 | 1/ 0 | 4481158 | 0 | 2605.34/2605.33 c | 8188 | 16.3 | 1 | 235900 | 41860 | 425 | 286539390 | 13675597 || 8188 | 30015185 | 1/ 0 | 4481195 | 0 | 2623.24/2623.20 c | 8189 | 17.9 | 1 | 244586 | 84864 | 426 | 287773602 | 13741593 || 8189 | 30260460 | 1/ 0 | 4533841 | 0 | 2644.45/2644.47 c | 8189 | 21.3 | 1 | 247972 | 43102 | 427 | 288895501 | 13809484 || 8189 | 30454275 | 1/ 0 | 4535502 | 0 | 2665.35/2665.33 c | 8189 | 20.8 | 1 | 232505 | 17566 | 428 | 290187116 | 13871773 || 8189 | 30571401 | 1/ 0 | 4536479 | 0 | 2681.64/2681.60 c | 8189 | 16.3 | 1 | 238582 | 60867 | 429 | 291674257 | 13923894 || 8189 | 30571401 | 1/ 0 | 4536479 | 0 | 2701.14/2701.13 c | 8190 | 19.5 | 1 | 244941 | 104268 | 430 | 293150652 | 13976760 || 8190 | 30818220 | 1/ 0 | 4670107 | 0 | 2719.04/2719.08 c | 8190 | 17.9 | 1 | 273899 | 43503 | 431 | 294326902 | 14047605 || 8190 | 31017515 | 1/ 0 | 4671797 | 0 | 2739.84/2739.86 c | 8190 | 20.8 | 1 | 251664 | 43601 | 432 | 295459846 | 14118276 || 8190 | 31215238 | 1/ 0 | 4673576 | 0 | 2760.95/2760.97 c | 8190 | 21.1 | 1 | 234540 | 43704 | 433 | 296556657 | 14186798 || 8190 | 31408172 | 1/ 0 | 4675311 | 0 | 2780.24/2780.30 c | 8190 | 19.3 | 1 | 237712 | 43801 | 434 | 297686642 | 14255016 || 8190 | 31600912 | 1/ 0 | 4676955 | 0 | 2801.04/2801.03 c | 8190 | 20.7 | 1 | 219290 | 15577 | 435 | 298915108 | 14318085 || 8190 | 31724981 | 1/ 0 | 4678026 | 0 | 2816.15/2816.13 c | 8190 | 15.1 | 1 | 194844 | 59580 | 436 | 300388401 | 14371746 || 8190 | 31724981 | 1/ 0 | 4678026 | 0 | 2830.36/2830.34 c | 8190 | 14.2 | 1 | 181738 | 103681 | 437 | 301809068 | 14425289 || 8190 | 31724981 | 1/ 0 | 4678026 | 0 | 2843.84/2843.85 c | 8190 | 13.5 | 1 | 206918 | 147882 | 438 | 303290583 | 14478576 || 8190 | 31724981 | 1/ 0 | 4678026 | 0 | 2859.64/2859.64 c | 8190 | 15.8 | 1 | 233631 | 192184 | 439 | 304776195 | 14532475 || 8190 | 31724981 | 1/ 0 | 4678026 | 0 | 2881.74/2881.74 c | 8191 | 22.1 | 1 | 264139 | 236585 | 440 | 306057244 | 14601044 || 8191 | 32099414 | 1/ 0 | 4806476 | 0 | 2904.14/2904.12 c | 8191 | 22.4 | 1 | 285696 | 44505 | 441 | 307252136 | 14674076 || 8191 | 32300191 | 1/ 0 | 4808293 | 0 | 2932.14/2932.18 c | 8191 | 28.1 | 1 | 278849 | 44602 | 442 | 308416572 | 14747120 || 8191 | 32502422 | 1/ 0 | 4810071 | 0 | 2960.16/2960.13 c | 8191 | 28.0 | 1 | 265150 | 44701 | 443 | 309571970 | 14820379 || 8191 | 32704079 | 1/ 0 | 4811895 | 0 | 2985.75/2985.70 c | 8191 | 25.6 | 1 | 251712 | 44801 | 444 | 310743203 | 14892925 || 8191 | 32905480 | 1/ 0 | 4813697 | 0 | 3006.55/3006.51 c | 8191 | 20.8 | 1 | 245793 | 44901 | 445 | 311959901 | 14964827 || 8191 | 33106578 | 1/ 0 | 4815427 | 0 | 3028.37/3028.37 c | 8191 | 21.9 | 1 | 227890 | 45001 | 446 | 313102976 | 15035218 || 8191 | 33305192 | 1/ 0 | 4817155 | 0 | 3052.25/3052.28 c | 8191 | 23.9 | 1 | 217749 | 45102 | 447 | 314259291 | 15105893 || 8191 | 33504215 | 1/ 0 | 4818917 | 0 | 3076.45/3076.48 c | 8191 | 24.2 | 1 | 234710 | 45201 | 448 | 315441830 | 15178925 || 8191 | 33711297 | 1/ 0 | 4820745 | 0 | 3096.15/3096.16 c | 8191 | 19.7 | 1 | 240567 | 26300 | 449 | 316826019 | 15242102 || 8191 | 33798199 | 1/ 0 | 4821515 | 0 | 3115.27/3115.23 c | 8191 | 19.1 | 1 | 239111 | 71703 | 450 | 318433290 | 15296993 || 8191 | 33798199 | 1/ 0 | 4821515 | 0 | 3132.87/3132.82 c | 8191 | 17.6 | 1 | 242598 | 117204 | 451 | 319993625 | 15352001 || 8191 | 33798199 | 1/ 0 | 4821515 | 0 | 3151.25/3151.24 c | 8191 | 18.4 | 1 | 256868 | 162806 | 452 | 321530643 | 15407469 || 8191 | 33798199 | 1/ 0 | 4821515 | 0 | 3168.55/3168.57 c | 8191 | 17.3 | 1 | 293160 | 208510 | 453 | 323088782 | 15463099 || 8191 | 33798199 | 1/ 0 | 4821515 | 0 | 3189.05/3189.00 c | 8191 | 20.4 | 1 | 308842 | 254313 | 454 | 324665718 | 15518607 || 8191 | 33798199 | 1/ 0 | 4821515 | 0 | 3209.95/3209.93 c | 8191 | 20.9 | 1 | 317366 | 300215 | 455 | 326191691 | 15573982 || 8191 | 33798199 | 1/ 0 | 4821515 | 0 | 3233.75/3233.79 c | 8191 | 23.9 | 1 | 335446 | 346216 | 456 | 327744478 | 15629640 || 8191 | 33798199 | 1/ 0 | 4821515 | 0 | 3258.85/3258.88 c | 8191 | 25.1 | 1 | 334852 | 392318 | 457 | 329303936 | 15685538 || 8191 | 33798199 | 1/ 0 | 4821515 | 0 | 3287.25/3287.29 c | 8253 | 28.4 | 1 | 328967 | 811 | 458 | 330820735 | 15752100 || 8253 | 33901360 | 1/ 0 | 4838069 | 0 | 3313.06/3313.00 c | 8317 | 25.7 | 1 | 310347 | 1375 | 459 | 332273110 | 15824138 || 8317 | 34061742 | 1/ 0 | 4861178 | 0 | 3337.05/3337.02 c | 8380 | 24.0 | 1 | 299379 | 1271 | 460 | 333761670 | 15895047 || 8380 | 34205606 | 1/ 0 | 4879600 | 0 | 3360.47/3360.48 c | 8445 | 23.5 | 1 | 287857 | 4411 | 461 | 335233073 | 15966007 || 8445 | 34375897 | 1/ 0 | 4909131 | 0 | 3383.45/3383.47 c | 8471 | 23.0 | 1 | 264517 | 267 | 462 | 336722329 | 16033537 || 8471 | 34516037 | 1/ 0 | 4927577 | 0 | 3404.75/3404.71 c | 8546 | 21.2 | 1 | 253983 | 106 | 463 | 338177814 | 16105408 || 8546 | 34673537 | 1/ 0 | 4951536 | 0 | 3425.06/3425.09 c | 8604 | 20.4 | 1 | 240150 | 992 | 464 | 339642753 | 16176233 || 8604 | 34832668 | 1/ 0 | 4977153 | 0 | 3445.46/3445.45 c | 8682 | 20.4 | 1 | 232847 | 951 | 465 | 341119975 | 16248977 || 8682 | 34992307 | 1/ 0 | 5000540 | 0 | 3464.46/3464.41 c | 8701 | 19.0 | 1 | 235848 | 4309 | 466 | 342546299 | 16319606 || 8701 | 35157459 | 1/ 0 | 5021774 | 0 | 3483.96/3483.93 c | 8702 | 19.5 | 1 | 233153 | 13006 | 467 | 343933455 | 16386408 || 8702 | 35304990 | 1/ 0 | 5041173 | 0 | 3503.58/3503.59 c | 8765 | 19.7 | 1 | 238430 | 4084 | 468 | 345449444 | 16456127 || 8765 | 35433700 | 1/ 0 | 5061224 | 0 | 3524.26/3524.20 c | 8829 | 20.6 | 1 | 242859 | 8045 | 469 | 346904580 | 16529358 || 8829 | 35603614 | 1/ 0 | 5087651 | 0 | 3544.56/3544.51 c | 8896 | 20.3 | 1 | 243801 | 298 | 470 | 348403807 | 16600514 || 8896 | 35746079 | 1/ 0 | 5108159 | 0 | 3565.86/3565.86 c | 8956 | 21.4 | 1 | 247456 | 3467 | 471 | 349897445 | 16672779 || 8956 | 35914104 | 1/ 0 | 5133888 | 0 | 3585.26/3585.20 c | 8998 | 19.3 | 1 | 248865 | 8 | 472 | 351354055 | 16742945 || 8998 | 36062300 | 1/ 0 | 5156988 | 0 | 3605.77/3605.76 c | 9081 | 20.6 | 1 | 262500 | 127 | 473 | 352851648 | 16816667 || 9081 | 36227578 | 1/ 0 | 5182002 | 0 | 3626.67/3626.64 c | 9137 | 20.9 | 1 | 263305 | 214 | 474 | 354340325 | 16888642 || 9137 | 36385279 | 1/ 0 | 5205111 | 0 | 3649.36/3649.38 c | 9210 | 22.7 | 1 | 260297 | 3549 | 475 | 355811413 | 16962159 || 9210 | 36554258 | 1/ 0 | 5231584 | 0 | 3668.16/3668.16 c | 9213 | 18.8 | 1 | 260939 | 17942 | 476 | 357256121 | 17030701 || 9213 | 36746044 | 1/ 0 | 5275099 | 0 | 3689.26/3689.21 c | 9214 | 21.0 | 1 | 260663 | 27642 | 477 | 358750191 | 17098023 || 9214 | 36917861 | 1/ 0 | 5316488 | 0 | 3712.48/3712.42 c | 9214 | 23.2 | 1 | 268735 | 48202 | 478 | 360027913 | 17175478 || 9214 | 37138526 | 1/ 0 | 5318433 | 0 | 3731.07/3731.11 c | 9214 | 18.7 | 1 | 251172 | 47349 | 479 | 361652042 | 17234752 || 9214 | 37143044 | 1/ 0 | 5318472 | 0 | 3752.87/3752.85 c | 9292 | 21.7 | 1 | 268688 | 405 | 480 | 363170887 | 17307896 || 9292 | 37296000 | 1/ 0 | 5341827 | 0 | 3774.67/3774.63 c | 9352 | 21.8 | 1 | 269248 | 203 | 481 | 364700021 | 17381143 || 9352 | 37457534 | 1/ 0 | 5366345 | 0 | 3796.67/3796.68 c | 9435 | 22.1 | 1 | 272030 | 1252 | 482 | 366201638 | 17455836 || 9435 | 37626974 | 1/ 0 | 5392732 | 0 | 3817.97/3817.94 c | 9469 | 21.3 | 1 | 274592 | 17106 | 483 | 367610992 | 17528686 || 9469 | 37817115 | 1/ 0 | 5423435 | 0 | 3840.27/3840.20 c | 9532 | 22.2 | 1 | 270090 | 3377 | 484 | 369118981 | 17599257 || 9532 | 37950001 | 1/ 0 | 5443350 | 0 | 3861.47/3861.41 c | 9596 | 21.2 | 1 | 287422 | 8947 | 485 | 370601277 | 17674238 || 9596 | 38125892 | 1/ 0 | 5469857 | 0 | 3884.87/3884.84 c | 9671 | 23.4 | 1 | 270682 | 109 | 486 | 372122850 | 17747039 || 9671 | 38270393 | 1/ 0 | 5491550 | 0 | 3907.57/3907.50 c | 9724 | 22.7 | 1 | 266958 | 7610 | 487 | 373611590 | 17820100 || 9724 | 38456325 | 1/ 0 | 5528309 | 0 | 3930.07/3930.04 c | 9725 | 22.6 | 1 | 263618 | 37614 | 488 | 375002640 | 17895208 || 9725 | 38646395 | 1/ 0 | 5543311 | 0 | 3951.77/3951.71 c | 9774 | 21.7 | 1 | 271960 | 130 | 489 | 376568267 | 17963625 || 9774 | 38728574 | 1/ 0 | 5555052 | 0 | 3975.38/3975.35 c | 9851 | 23.6 | 1 | 285876 | 3284 | 490 | 378077543 | 18039296 || 9851 | 38903113 | 1/ 0 | 5582478 | 0 | 3999.37/3999.38 c | 9914 | 24.0 | 1 | 281367 | 1457 | 491 | 379592081 | 18113466 || 9914 | 39060629 | 1/ 0 | 5605255 | 0 | 4022.97/4022.95 c | 9979 | 23.6 | 1 | 285907 | 7740 | 492 | 381096350 | 18188569 || 9979 | 39243353 | 1/ 0 | 5634986 | 0 | 4046.27/4046.20 c | 10011 | 23.2 | 1 | 287516 | 1388 | 493 | 382595325 | 18261431 || 10011 | 39389278 | 1/ 0 | 5656263 | 0 | 4071.19/4071.15 c | 10103 | 24.9 | 1 | 302933 | 189 | 494 | 384118614 | 18338414 || 10103 | 39560032 | 1/ 0 | 5681884 | 0 | 4095.28/4095.31 c | 10163 | 24.2 | 1 | 296328 | 186 | 495 | 385628571 | 18413503 || 10163 | 39726054 | 1/ 0 | 5707549 | 0 | 4120.37/4120.38 c | 10233 | 25.1 | 1 | 288659 | 1857 | 496 | 387154212 | 18489127 || 10233 | 39897717 | 1/ 0 | 5734053 | 0 | 4146.07/4146.05 c | 10236 | 25.7 | 1 | 290327 | 23155 | 497 | 388641842 | 18561472 || 10236 | 40105938 | 1/ 0 | 5778201 | 0 | 4170.37/4170.37 c | 10237 | 24.3 | 1 | 296051 | 34948 | 498 | 390109908 | 18632383 || 10237 | 40243943 | 1/ 0 | 5793311 | 0 | 4197.77/4197.72 c | 10237 | 27.3 | 1 | 305655 | 8448 | 499 | 391475374 | 18711016 || 10237 | 40437852 | 1/ 0 | 5795085 | 0 | 4223.48/4223.41 c | 10238 | 25.7 | 1 | 291876 | 58849 | 500 | 393096410 | 18775706 || 10238 | 40595825 | 1/ 0 | 5860485 | 0 | 4252.18/4252.18 c | 10238 | 28.8 | 1 | 311716 | 50502 | 501 | 394454551 | 18858095 || 10238 | 40830955 | 1/ 0 | 5862524 | 0 | 4281.19/4281.17 c | 10238 | 29.0 | 1 | 319270 | 6352 | 502 | 395823009 | 18937235 || 10238 | 41033287 | 1/ 0 | 5864235 | 0 | 4304.29/4304.30 c | 10238 | 23.1 | 1 | 324096 | 57055 | 503 | 397546505 | 18998734 || 10238 | 41033287 | 1/ 0 | 5864235 | 0 | 4326.47/4326.40 c | 10253 | 22.1 | 1 | 337399 | 1031 | 504 | 399224250 | 19062663 || 10253 | 41054425 | 1/ 0 | 5867580 | 0 | 4353.08/4353.07 c | 10339 | 26.7 | 1 | 347719 | 357 | 505 | 400816633 | 19142325 || 10339 | 41226690 | 1/ 0 | 5892893 | 0 | 4380.58/4380.50 c | 10402 | 27.4 | 1 | 353813 | 38 | 506 | 402346780 | 19218522 || 10402 | 41395502 | 1/ 0 | 5919049 | 0 | 4411.78/4411.76 c | 10490 | 31.3 | 1 | 337176 | 1962 | 507 | 403931460 | 19297239 || 10490 | 41574380 | 1/ 0 | 5946386 | 0 | 4437.18/4437.14 c | 10507 | 25.4 | 1 | 326444 | 529 | 508 | 405518885 | 19370073 || 10507 | 41736046 | 1/ 0 | 5971176 | 0 | 4465.48/4465.44 c | 10592 | 28.3 | 1 | 303727 | 166 | 509 | 407108743 | 19448844 || 10592 | 41908206 | 1/ 0 | 5996328 | 0 | 4492.08/4492.01 c | 10656 | 26.6 | 1 | 284820 | 37 | 510 | 408673482 | 19526449 || 10656 | 42079686 | 1/ 0 | 6023103 | 0 | 4519.08/4519.07 c | 10745 | 27.1 | 1 | 270882 | 2061 | 511 | 410262212 | 19606299 || 10745 | 42261447 | 1/ 0 | 6050732 | 0 | 4542.88/4542.89 c | 10749 | 23.8 | 1 | 273292 | 17653 | 512 | 411838229 | 19680927 || 10749 | 42471679 | 1/ 0 | 6098366 | 0 | 4567.30/4567.27 c | 10764 | 24.4 | 1 | 271586 | 936 | 513 | 413440952 | 19754052 || 10764 | 42586784 | 1/ 0 | 6102544 | 0 | 4592.50/4592.44 c | 10851 | 25.2 | 1 | 281370 | 88 | 514 | 415026475 | 19833481 || 10851 | 42761713 | 1/ 0 | 6128877 | 0 | 4617.28/4617.27 c | 10917 | 24.8 | 1 | 291252 | 181 | 515 | 416629097 | 19911541 || 10917 | 42935474 | 1/ 0 | 6155607 | 0 | 4642.28/4642.26 c | 11002 | 25.0 | 1 | 290627 | 2209 | 516 | 418218794 | 19991006 || 11002 | 43115769 | 1/ 0 | 6184510 | 0 | 4665.68/4665.62 c | 11025 | 23.4 | 1 | 292161 | 64 | 517 | 419788384 | 20066359 || 11025 | 43276825 | 1/ 0 | 6208233 | 0 | 4691.38/4691.33 c | 11113 | 25.7 | 1 | 298819 | 1069 | 518 | 421369681 | 20146102 || 11113 | 43454332 | 1/ 0 | 6235435 | 0 | 4718.18/4718.18 c | 11178 | 26.8 | 1 | 301012 | 842 | 519 | 422962668 | 20224659 || 11178 | 43624004 | 1/ 0 | 6259822 | 0 | 4746.88/4746.88 c | 11257 | 28.7 | 1 | 297208 | 1092 | 520 | 424571011 | 20304368 || 11257 | 43808000 | 1/ 0 | 6287703 | 0 | 4772.79/4772.77 c | 11260 | 25.9 | 1 | 297268 | 24790 | 521 | 426149756 | 20380410 || 11260 | 44003909 | 1/ 0 | 6321045 | 0 | 4800.59/4800.57 c | 11261 | 27.8 | 1 | 298918 | 38991 | 522 | 427706137 | 20455897 || 11261 | 44173248 | 1/ 0 | 6348382 | 0 | 4830.69/4830.65 c | 11261 | 30.1 | 1 | 299254 | 14889 | 523 | 429079942 | 20533772 || 11261 | 44341332 | 1/ 0 | 6349873 | 0 | 4853.99/4853.94 c | 11295 | 23.3 | 1 | 288488 | 109 | 524 | 430824963 | 20602787 || 11295 | 44398071 | 1/ 0 | 6358701 | 0 | 4879.49/4879.40 c | 11386 | 25.5 | 1 | 306572 | 344 | 525 | 432420695 | 20684351 || 11386 | 44581069 | 1/ 0 | 6386311 | 0 | 4906.99/4906.99 c | 11451 | 27.6 | 1 | 304963 | 2021 | 526 | 434038506 | 20763556 || 11451 | 44761051 | 1/ 0 | 6416185 | 0 | 4933.79/4933.75 c | 11515 | 26.8 | 1 | 307523 | 2198 | 527 | 435672156 | 20844504 || 11515 | 44945965 | 1/ 0 | 6442741 | 0 | 4960.29/4960.21 c | 11566 | 26.5 | 1 | 310204 | 278 | 528 | 437286551 | 20922756 || 11566 | 45108074 | 1/ 0 | 6466852 | 0 | 4987.99/4987.92 c | 11642 | 27.7 | 1 | 315816 | 2823 | 529 | 438886282 | 21003027 || 11642 | 45287129 | 1/ 0 | 6494311 | 0 | 5000.11/5000.02 c | 11672 | 12.1 | 1 | 340256 | 393 | 529 | 439629095 | 21039632 || 11672 | 45366785 | 1/ 0 | 6506521 | 0 | 5000.11/5000.02 c c 5000.11/5000.02 c ----------------------------------- 5000.11/5000.02 c # temps = 5000.080000 5000.11/5000.02 c # cleaningDB = 529 5000.11/5000.02 c # clause binaire = 337 5000.11/5000.02 c # literal removed by litRedundant = 258505983 5000.11/5000.02 c # literal removed by litRedundantBin = 6610201 5000.11/5000.02 c # init clause removed by simplify = 0 5000.11/5000.02 c # learnt clause removed by simplify = 0 5000.11/5000.02 c # une clause fausse était une apprise = 0 5000.11/5000.02 c # equivalence dectecte = 0 5000.11/5000.02 c # Memory used : 112.06 MB 5000.11/5000.02 c 5000.11/5000.02 c ######################## 5000.11/5000.02 c #### ## ### ## #### 5000.11/5000.02 c #### #### # ## #### #### 5000.11/5000.02 c #### ## ### ## ### 5000.11/5000.02 c ######################## 5000.11/5000.02 c # restart = 11672 5000.11/5000.02 c # conflit = 14255583 5000.11/5000.02 c # decision = 21039632 5000.11/5000.02 c # propagation = 439629095 (87924.412209 (prop/sec)) 5000.11/5000.02 c 5000.11/5000.02 c ######################## 5000.11/5000.02 c ### ### # ## ## ## 5000.11/5000.02 c ### # # # #### # ### ### 5000.11/5000.02 c ### # ### ## # ### ### 5000.11/5000.02 c ######################## 5000.11/5000.02 c # numtry = 11672 5000.11/5000.02 c # numflips = 45366785 5000.11/5000.02 c # maxSat = 1 5000.11/5000.02 c # freeFlip = 11556255 5000.11/5000.02 c # nbBoundary = 140 5000.11/5000.02 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-3439165-1306909027/watcher-3439165-1306909027 -o /tmp/evaluation-result-3439165-1306909027/solver-3439165-1306909027 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439165-1306909027.cnf rnovelty running on 4 cores: 0,2,4,6 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: 2.02 2.02 2.00 4/511 12731 /proc/meminfo: memFree=6905380/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 783318840 8912896 253 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/12731/statm: 2176 253 211 178 0 69 0 [startup+0.0801231 s] /proc/loadavg: 2.02 2.02 2.00 4/511 12731 /proc/meminfo: memFree=6905380/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.101118 s] /proc/loadavg: 2.02 2.02 2.00 4/511 12731 /proc/meminfo: memFree=6905380/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.301052 s] /proc/loadavg: 2.02 2.02 2.00 4/511 12731 /proc/meminfo: memFree=6905380/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.701023 s] /proc/loadavg: 2.02 2.02 2.00 4/511 12731 /proc/meminfo: memFree=6905380/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+1.50084 s] /proc/loadavg: 2.02 2.02 2.00 4/516 12738 /proc/meminfo: memFree=6891832/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=12596 CPUtime=1.46 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 1611 0 0 0 146 0 0 0 25 0 1 0 783318844 12898304 1522 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223728 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 3149 1522 136 12 0 1613 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30004 [startup+3.10053 s] /proc/loadavg: 2.01 2.01 2.00 4/516 12738 /proc/meminfo: memFree=6888820/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=13452 CPUtime=3.05 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 1817 0 0 0 305 0 0 0 25 0 1 0 783318844 13774848 1728 33554432000 4194304 4241092 140734781175872 18446744073709551615 4206152 0 0 4096 24578 0 0 0 17 6 0 0 0 /proc/12738/statm: 3363 1728 136 12 0 1827 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 30860 [startup+6.301 s] /proc/loadavg: 2.01 2.01 2.00 4/516 12738 /proc/meminfo: memFree=6885852/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=15112 CPUtime=6.25 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 2219 0 0 0 625 0 0 0 25 0 1 0 783318844 15474688 2130 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 3778 2130 136 12 0 2242 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 32520 [startup+12.7009 s] /proc/loadavg: 2.01 2.01 2.00 4/516 12739 /proc/meminfo: memFree=6882432/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=16820 CPUtime=12.65 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 2677 0 0 0 1265 0 0 0 25 0 1 0 783318844 17223680 2584 33554432000 4194304 4241092 140734781175872 18446744073709551615 4205828 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 4205 2584 136 12 0 2669 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34228 [startup+25.5006 s] /proc/loadavg: 2.01 2.01 2.00 4/516 12739 /proc/meminfo: memFree=6876968/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=19440 CPUtime=25.45 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 3338 0 0 0 2545 0 0 0 25 0 1 0 783318844 19906560 3238 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 4860 3238 136 12 0 3324 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36848 [startup+51.1011 s] /proc/loadavg: 2.00 2.01 2.00 4/516 12740 /proc/meminfo: memFree=6871700/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=21676 CPUtime=51.05 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 3990 0 0 0 5105 0 0 0 25 0 1 0 783318844 22196224 3795 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223718 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 5419 3795 136 12 0 3883 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39084 [startup+102.32 s] /proc/loadavg: 2.00 2.00 2.00 4/516 12741 /proc/meminfo: memFree=6862212/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=25452 CPUtime=102.27 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 5172 0 0 0 10226 1 0 0 25 0 1 0 783318844 26062848 4725 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 6363 4725 136 12 0 4827 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 42860 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 4/516 12743 /proc/meminfo: memFree=6852960/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=30384 CPUtime=162.24 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 6810 0 0 0 16223 1 0 0 25 0 1 0 783318844 31113216 5970 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 7596 5970 136 12 0 6060 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 47792 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 4/516 12744 /proc/meminfo: memFree=6847784/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=33048 CPUtime=222.25 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 7811 0 0 0 22223 2 0 0 25 0 1 0 783318844 33841152 6608 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 8262 6608 136 12 0 6726 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 50456 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=6680704/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=113656 CPUtime=4482.35 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 46416 0 0 0 448212 23 0 0 25 0 1 0 783318844 116383744 26798 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223670 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 28414 26798 136 12 0 26878 0 Current children cumulated CPU time (s) 4482.38 Current children cumulated vsize (KiB) 131064 [startup+4542.3 s] /proc/loadavg: 2.05 2.05 2.01 4/516 12888 /proc/meminfo: memFree=6680256/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=113528 CPUtime=4542.35 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 46619 0 0 0 454212 23 0 0 25 0 1 0 783318844 116252672 26764 33554432000 4194304 4241092 140734781175872 18446744073709551615 4224957 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 28382 26764 136 12 0 26846 0 Current children cumulated CPU time (s) 4542.38 Current children cumulated vsize (KiB) 130936 [startup+4602.3 s] /proc/loadavg: 2.02 2.04 2.00 4/516 12890 /proc/meminfo: memFree=6678716/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=113624 CPUtime=4602.37 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 46890 0 0 0 460214 23 0 0 25 0 1 0 783318844 116350976 26789 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 28406 26789 136 12 0 26870 0 Current children cumulated CPU time (s) 4602.4 Current children cumulated vsize (KiB) 131032 [startup+4662.3 s] /proc/loadavg: 2.00 2.03 2.00 4/516 12892 /proc/meminfo: memFree=6677172/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=113916 CPUtime=4662.35 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 47121 0 0 0 466212 23 0 0 25 0 1 0 783318844 116649984 26860 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223755 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 28479 26860 136 12 0 26943 0 Current children cumulated CPU time (s) 4662.38 Current children cumulated vsize (KiB) 131324 [startup+4722.32 s] /proc/loadavg: 2.00 2.02 2.00 4/516 12893 /proc/meminfo: memFree=6678220/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=113756 CPUtime=4722.37 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 47330 0 0 0 472214 23 0 0 25 0 1 0 783318844 116486144 26819 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223733 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 28439 26819 136 12 0 26903 0 Current children cumulated CPU time (s) 4722.4 Current children cumulated vsize (KiB) 131164 [startup+4782.3 s] /proc/loadavg: 2.00 2.02 2.00 4/516 12895 /proc/meminfo: memFree=6678272/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=113820 CPUtime=4782.36 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 47533 0 0 0 478213 23 0 0 25 0 1 0 783318844 116551680 26833 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 28455 26833 136 12 0 26919 0 Current children cumulated CPU time (s) 4782.39 Current children cumulated vsize (KiB) 131228 [startup+4842.3 s] /proc/loadavg: 2.00 2.01 2.00 4/516 12896 /proc/meminfo: memFree=6678452/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=114156 CPUtime=4842.35 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 47799 0 0 0 484212 23 0 0 25 0 1 0 783318844 116895744 26922 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 28539 26922 136 12 0 27003 0 Current children cumulated CPU time (s) 4842.38 Current children cumulated vsize (KiB) 131564 [startup+4902.3 s] /proc/loadavg: 2.00 2.00 2.00 4/516 12898 /proc/meminfo: memFree=6678628/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=114684 CPUtime=4902.36 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 48095 0 0 0 490212 24 0 0 25 0 1 0 783318844 117436416 27049 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 28671 27049 136 12 0 27135 0 Current children cumulated CPU time (s) 4902.39 Current children cumulated vsize (KiB) 132092 [startup+4962.3 s] /proc/loadavg: 2.09 2.03 2.01 4/516 12900 /proc/meminfo: memFree=6678316/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=114372 CPUtime=4962.36 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 48289 0 0 0 496212 24 0 0 25 0 1 0 783318844 117116928 26978 33554432000 4194304 4241092 140734781175872 18446744073709551615 4205594 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 28593 26978 136 12 0 27057 0 Current children cumulated CPU time (s) 4962.39 Current children cumulated vsize (KiB) 131780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.17 2.06 2.01 4/516 12901 /proc/meminfo: memFree=6677916/32951124 swapFree=67111204/67111528 [pid=12731] ppid=12729 vsize=8704 CPUtime=0.03 cores=0,2,4,6 /proc/12731/stat : 12731 (esg_static.sh) S 12729 12731 12693 0 -1 4202496 349 730 0 0 0 0 3 0 25 0 1 0 783318840 8912896 256 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/12731/statm: 2176 256 211 178 0 69 0 [pid=12737] ppid=12731 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/12737/stat : 12737 (esg_static.sh) S 12731 12731 12693 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 783318844 8912896 135 33554432000 4194304 4922060 140735834547632 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/12737/statm: 2176 135 90 178 0 69 0 [pid=12738] ppid=12737 vsize=114740 CPUtime=5000.08 cores=0,2,4,6 /proc/12738/stat : 12738 (sathys) R 12737 12731 12693 0 -1 4202496 48450 0 0 0 499984 24 0 0 25 0 1 0 783318844 117493760 27062 33554432000 4194304 4241092 140734781175872 18446744073709551615 4223607 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/12738/statm: 28685 27062 136 12 0 27149 0 Current children cumulated CPU time (s) 5000.11 Current children cumulated vsize (KiB) 132148 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 12731 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=32994 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=6998 # CPU time returned by wait4() is 0.039992 # 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.03 CPU time (s): 5000.11 CPU user time (s): 4999.87 CPU system time (s): 0.24 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 132300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.032994 system time used= 0.006998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1429 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= 16 involuntary context switches= 9 runsolver used 26.443 second user time and 59.6609 second system time The end
Begin job on node144 at 2011-06-01 08:17:07 IDJOB=3439165 IDBENCH=83313 IDSOLVER=1935 FILE ID=node144/3439165-1306909027 RUNJOBID= node144-1306909027-12711 PBS_JOBID= 13488477 Free space on /tmp= 7476 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_505.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439165-1306909027/watcher-3439165-1306909027 -o /tmp/evaluation-result-3439165-1306909027/solver-3439165-1306909027 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439165-1306909027.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e7b614904543aa28491ea45c761cbd5 RANDOM SEED=245047531 node144.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.850 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.70 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.850 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 : 5226.16 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.850 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.75 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.850 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.83 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.850 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.75 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.850 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.82 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.850 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.850 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 : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 6906280 kB Buffers: 105576 kB Cached: 10248164 kB SwapCached: 140 kB Active: 19493172 kB Inactive: 6024068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 6906280 kB SwapTotal: 67111528 kB SwapFree: 67111204 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 15162956 kB Mapped: 42248 kB Slab: 387324 kB PageTables: 69964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 157754608 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= 7476 MiB End job on node144 at 2011-06-01 09:40:27