| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.07 | 4999.93 |
| Name | CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf |
| MD5SUM | cffaf116c6c0eb21439a109753d19c34 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 4.01139 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 945 |
| Number of clauses | 61409 |
| Sum of the clauses size | 123673 |
| Maximum clause length | 21 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 61364 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 45 |
0.00/0.00 static 0.00/0.00 HOME/instance-3438390-1306884538.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 | 61409 123673 | 18422 0 0 nan | 0.000 % | 0.00/0.11 c | 0 | 60246 195744 | -- 0 -- -- | -- | -1163/72071 0.00/0.11 c ============================================================================== 0.00/0.11 c Result : #vars: 900 #clauses: 60246 #literals: 195744 0.00/0.11 c CPU time: 0.112982 s 0.00/0.11 c ============================================================================== 0.00/0.18 c 0.00/0.18 c seed = 0, numatom = 900, numclause = 3920, numliterals = 195744 0.00/0.18 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.18 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.18 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.14/0.22 c | 2 | 0.0 | 0 | 501 | 0 | 1 | 42637 | 1778 || 2 | 3433 | 14/ 0 | 238 | 0 | 0.14/0.26 c | 4 | 0.0 | 0 | 1100 | 299 | 2 | 95856 | 3960 || 4 | 6361 | 13/ 0 | 573 | 0 | 0.14/0.30 c | 6 | 0.0 | 0 | 1652 | 198 | 3 | 165071 | 6150 || 6 | 9487 | 13/ 0 | 898 | 0 | 0.14/0.35 c | 7 | 0.1 | 0 | 2384 | 399 | 4 | 231710 | 8413 || 7 | 12883 | 12/ 0 | 1325 | 0 | 0.14/0.41 c | 11 | 0.1 | 0 | 3214 | 290 | 5 | 321838 | 11163 || 11 | 18035 | 12/ 0 | 1878 | 0 | 0.14/0.48 c | 14 | 0.1 | 0 | 4144 | 490 | 6 | 416275 | 14252 || 14 | 24163 | 12/ 0 | 2624 | 0 | 0.14/0.55 c | 15 | 0.1 | 0 | 5171 | 990 | 7 | 519138 | 17134 || 15 | 30909 | 11/ 0 | 3488 | 0 | 0.14/0.63 c | 16 | 0.1 | 0 | 5911 | 90 | 8 | 627268 | 19633 || 16 | 33153 | 11/ 0 | 3604 | 0 | 0.14/0.72 c | 21 | 0.1 | 0 | 6794 | 76 | 9 | 739023 | 23280 || 21 | 39569 | 11/ 0 | 4371 | 0 | 0.14/0.82 c | 25 | 0.1 | 0 | 7535 | 174 | 10 | 861921 | 26727 || 25 | 45494 | 7/ 0 | 5239 | 0 | 0.14/0.93 c | 29 | 0.1 | 0 | 8211 | 568 | 11 | 994452 | 30840 || 29 | 53718 | 7/ 0 | 6106 | 0 | 1.00/1.04 c | 30 | 0.1 | 0 | 8834 | 369 | 12 | 1144383 | 34556 || 30 | 60857 | 7/ 0 | 6957 | 0 | 1.10/1.18 c | 31 | 0.1 | 0 | 9497 | 2070 | 13 | 1311552 | 38663 || 31 | 71437 | 7/ 0 | 8652 | 0 | 1.28/1.30 c | 31 | 0.1 | 0 | 10154 | 1471 | 14 | 1472503 | 41776 || 31 | 73418 | 7/ 0 | 8665 | 0 | 1.38/1.46 c | 38 | 0.2 | 0 | 10780 | 363 | 15 | 1648429 | 46816 || 38 | 82698 | 7/ 0 | 9953 | 0 | 1.58/1.61 c | 44 | 0.2 | 0 | 11383 | 260 | 16 | 1835169 | 51852 || 44 | 91480 | 7/ 0 | 10835 | 0 | 1.68/1.79 c | 46 | 0.2 | 0 | 12213 | 256 | 17 | 2027866 | 57177 || 46 | 101615 | 7/ 0 | 12124 | 0 | 1.88/1.97 c | 53 | 0.2 | 0 | 12887 | 245 | 18 | 2234871 | 62677 || 53 | 110020 | 7/ 0 | 13413 | 0 | 2.10/2.16 c | 59 | 0.2 | 0 | 13603 | 137 | 19 | 2454018 | 68469 || 59 | 119239 | 7/ 0 | 14305 | 0 | 2.28/2.38 c | 61 | 0.2 | 0 | 14624 | 737 | 20 | 2685602 | 73681 || 61 | 128290 | 7/ 0 | 15579 | 0 | 2.58/2.61 c | 62 | 0.2 | 0 | 14933 | 837 | 21 | 2928349 | 79135 || 62 | 140591 | 7/ 0 | 17300 | 0 | 2.78/2.86 c | 63 | 0.2 | 0 | 15656 | 3438 | 22 | 3176126 | 84739 || 63 | 157014 | 7/ 0 | 20666 | 0 | 3.08/3.11 c | 63 | 0.2 | 0 | 16248 | 1339 | 23 | 3445457 | 90014 || 63 | 165170 | 7/ 0 | 20747 | 0 | 3.30/3.35 c | 67 | 0.2 | 0 | 17308 | 27 | 24 | 3741847 | 94998 || 67 | 169482 | 7/ 0 | 21284 | 0 | 3.58/3.61 c | 76 | 0.3 | 0 | 18445 | 13 | 25 | 4023760 | 102250 || 76 | 182689 | 7/ 0 | 22912 | 0 | 3.88/3.91 c | 81 | 0.3 | 0 | 19074 | 103 | 26 | 4331600 | 108649 || 81 | 194469 | 7/ 0 | 24628 | 0 | 4.18/4.21 c | 90 | 0.3 | 0 | 20256 | 183 | 27 | 4641515 | 115922 || 90 | 207525 | 7/ 0 | 26147 | 0 | 4.48/4.51 c | 94 | 0.3 | 0 | 21152 | 1082 | 28 | 4927090 | 123067 || 94 | 224062 | 7/ 0 | 29309 | 0 | 4.78/4.83 c | 96 | 0.3 | 0 | 22175 | 75 | 29 | 5222404 | 129466 || 96 | 233062 | 7/ 0 | 29587 | 0 | 5.08/5.17 c | 107 | 0.3 | 0 | 22148 | 254 | 30 | 5549425 | 137484 || 107 | 248253 | 7/ 0 | 31518 | 0 | 5.50/5.53 c | 113 | 0.4 | 0 | 22437 | 243 | 31 | 5876255 | 145083 || 113 | 262565 | 7/ 0 | 33345 | 0 | 5.88/5.90 c | 123 | 0.4 | 0 | 23526 | 24 | 32 | 6224566 | 153955 || 123 | 279398 | 7/ 0 | 35393 | 0 | 6.18/6.28 c | 125 | 0.4 | 0 | 24015 | 122 | 33 | 6561900 | 161823 || 125 | 298053 | 7/ 0 | 37966 | 0 | 6.68/6.72 c | 126 | 0.4 | 0 | 25117 | 3923 | 34 | 6904902 | 169452 || 126 | 317831 | 7/ 0 | 41303 | 0 | 7.18/7.25 c | 126 | 0.5 | 0 | 25688 | 3023 | 35 | 7285945 | 175546 || 126 | 322672 | 7/ 0 | 41346 | 0 | 7.78/7.83 c | 127 | 0.6 | 0 | 26034 | 7025 | 36 | 7700292 | 184865 || 127 | 356550 | 7/ 0 | 48010 | 0 | 8.38/8.48 c | 127 | 0.6 | 0 | 25654 | 1525 | 37 | 8123536 | 192658 || 127 | 371077 | 7/ 0 | 48136 | 0 | 9.08/9.11 c | 127 | 0.6 | 0 | 24435 | 5726 | 38 | 8584262 | 198311 || 127 | 371077 | 7/ 0 | 48136 | 0 | 9.48/9.58 c | 140 | 0.5 | 0 | 24891 | 113 | 39 | 9003714 | 208072 || 140 | 386948 | 7/ 0 | 50276 | 0 | 9.98/10.09 c | 148 | 0.5 | 0 | 25871 | 194 | 40 | 9452734 | 218299 || 148 | 404941 | 7/ 0 | 52443 | 0 | 10.48/10.58 c | 157 | 0.5 | 0 | 27157 | 477 | 41 | 9894023 | 228158 || 157 | 424196 | 7/ 0 | 55017 | 0 | 11.08/11.18 c | 163 | 0.6 | 0 | 28065 | 166 | 42 | 10334817 | 237882 || 163 | 441345 | 7/ 0 | 57380 | 0 | 11.68/11.72 c | 173 | 0.5 | 0 | 30379 | 141 | 43 | 10786223 | 248556 || 173 | 462577 | 7/ 0 | 60175 | 0 | 12.28/12.31 c | 187 | 0.6 | 0 | 33060 | 317 | 44 | 11268467 | 259321 || 187 | 481371 | 7/ 0 | 62743 | 0 | 12.98/13.00 c | 189 | 0.7 | 0 | 32899 | 1016 | 45 | 11734134 | 268872 || 189 | 501077 | 7/ 0 | 65351 | 0 | 13.68/13.76 c | 190 | 0.8 | 0 | 33588 | 1216 | 46 | 12213750 | 277956 || 190 | 523270 | 7/ 0 | 68765 | 0 | 14.38/14.47 c | 200 | 0.7 | 0 | 34622 | 100 | 47 | 12697344 | 287970 || 200 | 537771 | 7/ 0 | 70500 | 0 | 15.08/15.15 c | 212 | 0.7 | 0 | 36228 | 476 | 48 | 13199271 | 299740 || 212 | 560186 | 7/ 0 | 73500 | 0 | 15.78/15.82 c | 221 | 0.7 | 0 | 36855 | 1560 | 49 | 13717540 | 311057 || 221 | 585100 | 7/ 0 | 77333 | 0 | 16.39/16.50 c | 231 | 0.7 | 0 | 38094 | 241 | 50 | 14242532 | 322559 || 231 | 603587 | 7/ 0 | 79084 | 0 | 17.18/17.23 c | 243 | 0.7 | 0 | 39288 | 0 | 51 | 14777110 | 335090 || 243 | 626790 | 7/ 0 | 82074 | 0 | 17.98/18.01 c | 252 | 0.8 | 0 | 40035 | 1996 | 52 | 15303087 | 347484 || 252 | 652028 | 7/ 0 | 85890 | 0 | 18.78/18.88 c | 253 | 0.9 | 0 | 41014 | 495 | 53 | 15830596 | 359086 || 253 | 677989 | 7/ 0 | 89334 | 0 | 19.58/19.71 c | 254 | 0.8 | 0 | 38980 | 6298 | 54 | 16370427 | 369841 || 254 | 706226 | 7/ 0 | 95991 | 0 | 20.48/20.52 c | 254 | 0.8 | 0 | 40142 | 2595 | 55 | 16881093 | 380993 || 254 | 723780 | 7/ 0 | 96135 | 0 | 21.38/21.42 c | 255 | 0.9 | 0 | 41200 | 8596 | 56 | 17441203 | 391482 || 255 | 759090 | 7/ 0 | 109281 | 0 | 22.28/22.34 c | 255 | 0.9 | 0 | 42181 | 6104 | 57 | 18026294 | 405991 || 255 | 791526 | 7/ 0 | 109584 | 0 | 23.28/23.31 c | 255 | 1.0 | 0 | 42150 | 1700 | 58 | 18572504 | 418737 || 255 | 813319 | 7/ 0 | 109808 | 0 | 24.20/24.29 c | 255 | 1.0 | 0 | 41566 | 8002 | 59 | 19261584 | 427272 || 255 | 813319 | 7/ 0 | 109808 | 0 | 25.19/25.30 c | 261 | 1.0 | 0 | 42802 | 190 | 60 | 19935805 | 437596 || 261 | 820647 | 7/ 0 | 110669 | 0 | 26.18/26.25 c | 277 | 0.9 | 0 | 43896 | 264 | 61 | 20571039 | 452136 || 277 | 848589 | 7/ 0 | 114516 | 0 | 27.08/27.17 c | 286 | 0.9 | 0 | 44745 | 249 | 62 | 21151553 | 466738 || 286 | 879592 | 7/ 0 | 118434 | 0 | 28.08/28.19 c | 301 | 1.0 | 0 | 44305 | 921 | 63 | 21808780 | 481210 || 301 | 904990 | 7/ 0 | 121855 | 0 | 29.18/29.24 c | 316 | 1.0 | 0 | 46102 | 96 | 64 | 22481278 | 496230 || 316 | 932241 | 7/ 0 | 125323 | 0 | 30.29/30.36 c | 318 | 1.1 | 0 | 48302 | 4596 | 65 | 23127439 | 510318 || 318 | 966322 | 7/ 0 | 130448 | 0 | 31.48/31.52 c | 330 | 1.2 | 0 | 49286 | 79 | 66 | 23836135 | 523739 || 330 | 982638 | 7/ 0 | 132364 | 0 | 32.58/32.68 c | 347 | 1.2 | 0 | 49962 | 452 | 67 | 24494945 | 538809 || 347 | 1012380 | 7/ 0 | 136450 | 0 | 33.78/33.82 c | 356 | 1.1 | 0 | 51034 | 428 | 68 | 25194398 | 553570 || 356 | 1040218 | 7/ 0 | 140333 | 0 | 34.98/35.07 c | 373 | 1.2 | 0 | 53082 | 199 | 69 | 25933138 | 569492 || 373 | 1067837 | 7/ 0 | 143987 | 0 | 36.30/36.37 c | 381 | 1.3 | 0 | 52975 | 2090 | 70 | 26653875 | 584784 || 381 | 1103039 | 7/ 0 | 150889 | 0 | 37.58/37.69 c | 382 | 1.3 | 0 | 54488 | 4791 | 71 | 27298421 | 599352 || 382 | 1138381 | 7/ 0 | 157604 | 0 | 38.99/39.03 c | 382 | 1.4 | 0 | 56996 | 2791 | 72 | 28021902 | 614222 || 382 | 1162085 | 7/ 0 | 157830 | 0 | 40.48/40.53 c | 396 | 1.5 | 0 | 56746 | 265 | 73 | 28823530 | 628426 || 396 | 1179924 | 7/ 0 | 160380 | 0 | 41.88/41.90 c | 412 | 1.4 | 0 | 57990 | 1043 | 74 | 29589513 | 644907 || 412 | 1213129 | 7/ 0 | 164666 | 0 | 43.38/43.40 c | 426 | 1.5 | 0 | 58679 | 218 | 75 | 30356256 | 660707 || 426 | 1241307 | 7/ 0 | 168507 | 0 | 44.89/44.93 c | 443 | 1.5 | 0 | 59592 | 872 | 76 | 31154921 | 678294 || 443 | 1273803 | 6/ 0 | 173219 | 0 | 46.38/46.49 c | 445 | 1.6 | 0 | 58795 | 567 | 77 | 31886573 | 694386 || 445 | 1310802 | 6/ 0 | 178352 | 0 | 48.08/48.14 c | 460 | 1.6 | 0 | 58611 | 1141 | 78 | 32700820 | 710415 || 460 | 1336064 | 6/ 0 | 181778 | 0 | 49.68/49.73 c | 476 | 1.6 | 0 | 59317 | 1812 | 79 | 33522967 | 727996 || 476 | 1370555 | 6/ 0 | 186896 | 0 | 51.38/51.41 c | 491 | 1.7 | 0 | 59173 | 582 | 80 | 34371470 | 744929 || 491 | 1399203 | 6/ 0 | 190378 | 0 | 53.08/53.15 c | 507 | 1.7 | 0 | 60173 | 253 | 81 | 35206383 | 763096 || 507 | 1437952 | 6/ 0 | 195525 | 0 | 55.00/55.03 c | 509 | 1.9 | 0 | 61340 | 4056 | 82 | 36071022 | 778835 || 509 | 1477557 | 6/ 0 | 205467 | 0 | 57.10/57.14 c | 509 | 2.1 | 0 | 62958 | 3158 | 83 | 37033739 | 795259 || 509 | 1507917 | 6/ 0 | 205732 | 0 | 59.08/59.17 c | 510 | 2.0 | 0 | 64892 | 11960 | 84 | 37841072 | 811592 || 510 | 1560878 | 6/ 0 | 219046 | 0 | 61.68/61.77 c | 510 | 2.6 | 0 | 65738 | 1659 | 85 | 38586239 | 828487 || 510 | 1599826 | 6/ 0 | 219391 | 0 | 64.08/64.11 c | 510 | 2.3 | 0 | 64927 | 10662 | 86 | 39513635 | 840413 || 510 | 1599826 | 6/ 0 | 219391 | 0 | 66.58/66.69 c | 511 | 2.6 | 0 | 65762 | 19770 | 87 | 40341995 | 858005 || 511 | 1683734 | 6/ 0 | 245758 | 0 | 70.08/70.13 c | 511 | 3.5 | 0 | 62789 | 9202 | 88 | 41173052 | 876626 || 511 | 1729843 | 6/ 0 | 246180 | 0 | 73.88/73.98 c | 511 | 3.8 | 0 | 57281 | 9308 | 89 | 41979886 | 894974 || 511 | 1776664 | 6/ 0 | 246580 | 0 | 77.28/77.38 c | 511 | 3.4 | 0 | 51343 | 9283 | 90 | 42920065 | 906804 || 511 | 1777348 | 6/ 0 | 246587 | 0 | 79.28/79.37 c | 511 | 2.0 | 0 | 53857 | 18784 | 91 | 43871948 | 920100 || 511 | 1777348 | 6/ 0 | 246587 | 0 | 81.18/81.28 c | 520 | 1.9 | 0 | 59068 | 71 | 92 | 44872926 | 936321 || 520 | 1789102 | 6/ 0 | 248109 | 0 | 83.08/83.17 c | 541 | 1.9 | 0 | 60753 | 441 | 93 | 45824995 | 958853 || 541 | 1830265 | 6/ 0 | 253465 | 0 | 84.78/84.80 c | 557 | 1.6 | 0 | 63123 | 615 | 94 | 46739239 | 979994 || 557 | 1868485 | 6/ 0 | 258616 | 0 | 86.68/86.77 c | 574 | 2.0 | 0 | 69919 | 1685 | 95 | 47679183 | 1001121 || 574 | 1911306 | 6/ 0 | 266998 | 0 | 88.58/88.68 c | 587 | 1.9 | 0 | 74842 | 171 | 96 | 48677257 | 1021646 || 587 | 1944558 | 6/ 0 | 269278 | 0 | 90.68/90.77 c | 605 | 2.1 | 0 | 71012 | 1740 | 97 | 49623638 | 1043745 || 605 | 1989219 | 6/ 0 | 275703 | 0 | 92.78/92.82 c | 626 | 2.0 | 0 | 69130 | 97 | 98 | 50585258 | 1065580 || 626 | 2025695 | 6/ 0 | 280031 | 0 | 94.98/95.03 c | 637 | 2.2 | 0 | 67972 | 3782 | 99 | 51568742 | 1087277 || 637 | 2074226 | 6/ 0 | 287669 | 0 | 97.28/97.34 c | 638 | 2.3 | 0 | 69622 | 9381 | 100 | 52561167 | 1109025 || 638 | 2125440 | 6/ 0 | 294548 | 0 | 99.48/99.54 c | 651 | 2.2 | 0 | 69136 | 53 | 101 | 53584806 | 1127499 || 651 | 2143727 | 6/ 0 | 296699 | 0 | 101.68/101.73 c | 669 | 2.2 | 0 | 72861 | 10 | 102 | 54556315 | 1150078 || 669 | 2189850 | 6/ 0 | 303097 | 0 | 103.98/104.08 c | 693 | 2.4 | 0 | 73083 | 176 | 103 | 55607616 | 1172262 || 693 | 2227547 | 6/ 0 | 308051 | 0 | 106.28/106.36 c | 701 | 2.3 | 0 | 73918 | 657 | 104 | 56591179 | 1193431 || 701 | 2275943 | 6/ 0 | 315073 | 0 | 108.90/108.97 c | 723 | 2.6 | 0 | 73745 | 520 | 105 | 57699719 | 1214856 || 723 | 2311604 | 6/ 0 | 319808 | 0 | 111.28/111.35 c | 743 | 2.4 | 0 | 75893 | 294 | 106 | 58740610 | 1236842 || 743 | 2353422 | 6/ 0 | 325475 | 0 | 113.98/114.04 c | 763 | 2.7 | 0 | 78454 | 2348 | 107 | 59810909 | 1260173 || 763 | 2402478 | 6/ 0 | 332209 | 0 | 116.50/116.58 c | 765 | 2.5 | 0 | 77035 | 6342 | 108 | 60769666 | 1281254 || 765 | 2450053 | 6/ 0 | 342296 | 0 | 119.68/119.75 c | 766 | 3.2 | 0 | 78674 | 8037 | 109 | 61864809 | 1300619 || 766 | 2496491 | 6/ 0 | 355517 | 0 | 122.88/122.91 c | 766 | 3.2 | 0 | 78977 | 240 | 110 | 62871980 | 1324301 || 766 | 2551533 | 6/ 0 | 355990 | 0 | 126.08/126.11 c | 766 | 3.2 | 0 | 76085 | 11744 | 111 | 64123551 | 1339553 || 766 | 2551533 | 6/ 0 | 355990 | 0 | 128.78/128.88 c | 795 | 2.8 | 0 | 77870 | 278 | 112 | 65234713 | 1363320 || 795 | 2593316 | 6/ 0 | 362008 | 0 | 131.58/131.67 c | 812 | 2.8 | 0 | 79337 | 530 | 113 | 66355703 | 1387137 || 812 | 2638802 | 6/ 0 | 367980 | 0 | 134.38/134.49 c | 829 | 2.8 | 0 | 80397 | 3477 | 114 | 67441857 | 1411148 || 829 | 2691184 | 6/ 0 | 376473 | 0 | 137.40/137.42 c | 848 | 2.9 | 0 | 82396 | 32 | 115 | 68545256 | 1433951 || 848 | 2726606 | 6/ 0 | 380482 | 0 | 140.38/140.40 c | 871 | 3.0 | 0 | 84492 | 272 | 116 | 69714675 | 1458204 || 871 | 2773510 | 6/ 0 | 386913 | 0 | 143.38/143.45 c | 891 | 3.0 | 0 | 91463 | 920 | 117 | 70839655 | 1482360 || 891 | 2822508 | 6/ 0 | 393663 | 0 | 146.58/146.69 c | 893 | 3.2 | 0 | 91261 | 8317 | 118 | 71961201 | 1506130 || 893 | 2886400 | 6/ 0 | 403852 | 0 | 150.18/150.26 c | 907 | 3.6 | 0 | 93456 | 186 | 119 | 73200056 | 1527202 || 907 | 2913197 | 6/ 0 | 406483 | 0 | 153.48/153.56 c | 928 | 3.3 | 0 | 96764 | 30 | 120 | 74418682 | 1551038 || 928 | 2959967 | 6/ 0 | 412991 | 0 | 156.88/156.99 c | 955 | 3.4 | 0 | 99429 | 1374 | 121 | 75650649 | 1577573 || 955 | 3012754 | 6/ 0 | 420990 | 0 | 160.49/160.56 c | 968 | 3.6 | 0 | 100018 | 46 | 122 | 76908734 | 1600898 || 968 | 3056090 | 6/ 0 | 426356 | 0 | 163.90/163.95 c | 989 | 3.4 | 0 | 101824 | 104 | 123 | 78103627 | 1626459 || 989 | 3102948 | 6/ 0 | 433176 | 0 | 167.48/167.53 c | 1018 | 3.6 | 0 | 102777 | 955 | 124 | 79314045 | 1653040 || 1018 | 3155943 | 6/ 0 | 441488 | 0 | 171.28/171.39 c | 1020 | 3.9 | 0 | 103364 | 6655 | 125 | 80574709 | 1676934 || 1020 | 3217358 | 5/ 0 | 451647 | 0 | 175.29/175.40 c | 1021 | 4.0 | 0 | 100517 | 10056 | 126 | 81841127 | 1699732 || 1021 | 3275354 | 5/ 0 | 464959 | 0 | 179.99/180.03 c | 1021 | 4.6 | 0 | 100545 | 3957 | 127 | 83033055 | 1724424 || 1021 | 3319913 | 5/ 0 | 465384 | 0 | 184.29/184.33 c | 1022 | 4.3 | 0 | 97968 | 17158 | 128 | 84377944 | 1745785 || 1022 | 3390854 | 5/ 0 | 491674 | 0 | 188.49/188.51 c | 1022 | 4.2 | 0 | 100460 | 13305 | 129 | 85623407 | 1774713 || 1022 | 3460797 | 5/ 0 | 492322 | 0 | 193.29/193.35 c | 1022 | 4.8 | 0 | 98692 | 5462 | 130 | 86968733 | 1798261 || 1022 | 3502909 | 5/ 0 | 492687 | 0 | 197.39/197.46 c | 1022 | 4.1 | 0 | 97437 | 18965 | 131 | 88425759 | 1816726 || 1022 | 3502909 | 5/ 0 | 492687 | 0 | 201.59/201.63 c | 1023 | 4.2 | 0 | 100870 | 32570 | 132 | 89703274 | 1840406 || 1023 | 3632125 | 5/ 0 | 545089 | 0 | 206.70/206.80 c | 1023 | 5.2 | 0 | 100605 | 13702 | 133 | 90888905 | 1869138 || 1023 | 3700898 | 5/ 0 | 545673 | 0 | 212.89/212.96 c | 1023 | 6.2 | 0 | 100851 | 13806 | 134 | 92075792 | 1897038 || 1023 | 3770634 | 5/ 0 | 546276 | 0 | 219.09/219.18 c | 1023 | 6.2 | 0 | 91268 | 13901 | 135 | 93226788 | 1925278 || 1023 | 3837462 | 5/ 0 | 546882 | 0 | 225.18/225.23 c | 1023 | 6.0 | 0 | 91461 | 11179 | 136 | 94602638 | 1945218 || 1023 | 3851355 | 5/ 0 | 547007 | 0 | 229.28/229.36 c | 1023 | 4.1 | 0 | 92367 | 25280 | 137 | 95966902 | 1964574 || 1023 | 3851355 | 5/ 0 | 547007 | 0 | 233.78/233.80 c | 1023 | 4.4 | 0 | 92402 | 39482 | 138 | 97330048 | 1983357 || 1023 | 3851355 | 5/ 0 | 547007 | 0 | 238.28/238.35 c | 1031 | 4.5 | 0 | 98014 | 71 | 139 | 98690570 | 2005115 || 1031 | 3862130 | 5/ 0 | 548404 | 0 | 241.78/241.84 c | 1058 | 3.5 | 0 | 107719 | 20 | 140 | 100026560 | 2036757 || 1058 | 3918880 | 5/ 0 | 556140 | 0 | 245.98/246.02 c | 1085 | 4.2 | 0 | 111124 | 982 | 141 | 101425367 | 2067560 || 1085 | 3977970 | 5/ 0 | 564263 | 0 | 249.70/249.77 c | 1106 | 3.8 | 0 | 116317 | 50 | 142 | 102784152 | 2096893 || 1106 | 4031491 | 5/ 0 | 571741 | 0 | 254.18/254.27 c | 1132 | 4.5 | 0 | 108911 | 606 | 143 | 104228765 | 2126482 || 1132 | 4089368 | 5/ 0 | 579690 | 0 | 258.58/258.66 c | 1149 | 4.4 | 0 | 106865 | 1777 | 144 | 105656557 | 2155969 || 1149 | 4150901 | 4/ 0 | 588219 | 0 | 263.08/263.12 c | 1153 | 4.5 | 0 | 103047 | 71 | 145 | 107089537 | 2183572 || 1153 | 4199918 | 4/ 0 | 595473 | 0 | 267.30/267.35 c | 1181 | 4.2 | 0 | 97998 | 1211 | 146 | 108531865 | 2214741 || 1181 | 4260106 | 4/ 0 | 603640 | 0 | 271.70/271.77 c | 1212 | 4.4 | 0 | 100038 | 249 | 147 | 109995725 | 2245971 || 1212 | 4322078 | 4/ 0 | 612196 | 0 | 276.18/276.22 c | 1232 | 4.5 | 0 | 100839 | 87 | 148 | 111506223 | 2276305 || 1232 | 4376701 | 4/ 0 | 619552 | 0 | 280.68/280.70 c | 1261 | 4.5 | 0 | 102934 | 124 | 149 | 112955018 | 2307446 || 1261 | 4435845 | 4/ 0 | 627770 | 0 | 285.78/285.83 c | 1276 | 5.1 | 0 | 105459 | 2786 | 150 | 114513504 | 2337755 || 1276 | 4495715 | 4/ 0 | 636157 | 0 | 290.98/291.00 c | 1278 | 5.2 | 0 | 106683 | 8688 | 151 | 115953083 | 2365595 || 1278 | 4575717 | 4/ 0 | 656086 | 0 | 296.18/296.26 c | 1278 | 5.3 | 0 | 108989 | 5089 | 152 | 117476039 | 2395806 || 1278 | 4628601 | 4/ 0 | 656568 | 0 | 301.30/301.35 c | 1299 | 5.1 | 0 | 108849 | 146 | 153 | 118957277 | 2423358 || 1299 | 4660911 | 4/ 0 | 660865 | 0 | 306.28/306.32 c | 1330 | 5.0 | 0 | 111263 | 183 | 154 | 120453131 | 2454674 || 1330 | 4722816 | 4/ 0 | 669389 | 0 | 311.38/311.45 c | 1346 | 5.1 | 0 | 111482 | 58 | 155 | 121948333 | 2484915 || 1346 | 4781287 | 4/ 0 | 677667 | 0 | 316.80/316.85 c | 1377 | 5.4 | 0 | 111620 | 164 | 156 | 123488579 | 2517976 || 1377 | 4841738 | 4/ 0 | 686224 | 0 | 322.30/322.32 c | 1404 | 5.5 | 0 | 113832 | 2712 | 157 | 125059253 | 2550164 || 1404 | 4910917 | 4/ 0 | 697432 | 0 | 327.80/327.86 c | 1405 | 5.5 | 0 | 115084 | 4513 | 158 | 126653969 | 2578524 || 1405 | 4966056 | 4/ 0 | 704312 | 0 | 333.30/333.33 c | 1436 | 5.5 | 0 | 115283 | 2343 | 159 | 128158490 | 2610896 || 1436 | 5026355 | 4/ 0 | 712866 | 0 | 338.99/339.03 c | 1467 | 5.7 | 0 | 115498 | 270 | 160 | 129751819 | 2643706 || 1467 | 5087915 | 4/ 0 | 721435 | 0 | 344.79/344.88 c | 1490 | 5.9 | 0 | 117976 | 328 | 161 | 131315029 | 2675299 || 1490 | 5144298 | 4/ 0 | 729557 | 0 | 350.99/351.09 c | 1524 | 6.2 | 0 | 121492 | 163 | 162 | 132948235 | 2708683 || 1524 | 5208456 | 4/ 0 | 738567 | 0 | 356.89/356.97 c | 1532 | 5.9 | 0 | 123035 | 6751 | 163 | 134483472 | 2741724 || 1532 | 5286379 | 4/ 0 | 752090 | 0 | 363.09/363.19 c | 1533 | 6.2 | 0 | 125259 | 13949 | 164 | 136042663 | 2774051 || 1533 | 5362355 | 4/ 0 | 765616 | 0 | 369.79/369.84 c | 1533 | 6.7 | 0 | 128063 | 11647 | 165 | 137676468 | 2800543 || 1533 | 5386749 | 4/ 0 | 765851 | 0 | 376.39/376.43 c | 1534 | 6.6 | 0 | 128477 | 28649 | 166 | 139040290 | 2833976 || 1534 | 5506984 | 4/ 0 | 792579 | 0 | 384.09/384.18 c | 1534 | 7.7 | 0 | 124411 | 7347 | 167 | 140544264 | 2863702 || 1534 | 5553387 | 4/ 0 | 793018 | 0 | 391.19/391.20 c | 1534 | 7.0 | 0 | 121699 | 24548 | 168 | 142132044 | 2886651 || 1534 | 5553387 | 4/ 0 | 793018 | 0 | 397.11/397.18 c | 1566 | 6.0 | 0 | 126035 | 86 | 169 | 143800754 | 2919413 || 1566 | 5614411 | 4/ 0 | 801670 | 0 | 403.39/403.46 c | 1597 | 6.3 | 0 | 128295 | 3118 | 170 | 145509229 | 2954641 || 1597 | 5691319 | 4/ 0 | 813499 | 0 | 409.79/409.80 c | 1627 | 6.3 | 0 | 131693 | 551 | 171 | 147259525 | 2988117 || 1627 | 5749568 | 4/ 0 | 820424 | 0 | 416.19/416.28 c | 1659 | 6.5 | 0 | 134204 | 2079 | 172 | 148967356 | 3023280 || 1659 | 5820757 | 4/ 0 | 830656 | 0 | 422.99/423.00 c | 1661 | 6.7 | 0 | 140554 | 2973 | 173 | 150676441 | 3053529 || 1661 | 5886932 | 4/ 0 | 840846 | 0 | 429.79/429.87 c | 1692 | 6.9 | 0 | 141511 | 2313 | 174 | 152415603 | 3086906 || 1692 | 5948124 | 4/ 0 | 849416 | 0 | 436.49/436.52 c | 1724 | 6.6 | 0 | 137969 | 1734 | 175 | 154037774 | 3121749 || 1724 | 6016196 | 4/ 0 | 861210 | 0 | 443.49/443.55 c | 1754 | 7.0 | 0 | 139020 | 865 | 176 | 155727141 | 3156845 || 1754 | 6079200 | 4/ 0 | 868189 | 0 | 450.29/450.36 c | 1786 | 6.8 | 0 | 142393 | 1705 | 177 | 157428746 | 3191998 || 1786 | 6148817 | 4/ 0 | 878461 | 0 | 457.69/457.72 c | 1788 | 7.4 | 0 | 143900 | 3104 | 178 | 159157805 | 3225451 || 1788 | 6218586 | 4/ 0 | 888723 | 0 | 466.31/466.35 c | 1789 | 8.6 | 0 | 145130 | 2204 | 179 | 160883478 | 3259491 || 1789 | 6304411 | 4/ 0 | 902279 | 0 | 474.49/474.56 c | 1810 | 8.2 | 0 | 144432 | 254 | 180 | 162749388 | 3289092 || 1810 | 6335963 | 4/ 0 | 906556 | 0 | 481.89/481.97 c | 1848 | 7.4 | 0 | 146315 | 269 | 181 | 164531001 | 3326134 || 1848 | 6406231 | 4/ 0 | 916360 | 0 | 489.41/489.51 c | 1867 | 7.5 | 0 | 146335 | 726 | 182 | 166237364 | 3360414 || 1867 | 6472806 | 4/ 0 | 926148 | 0 | 497.21/497.28 c | 1906 | 7.8 | 0 | 147594 | 28 | 183 | 168024068 | 3397509 || 1906 | 6544409 | 4/ 0 | 936097 | 0 | 505.29/505.35 c | 1916 | 8.1 | 0 | 147904 | 8511 | 184 | 169803386 | 3434194 || 1916 | 6631582 | 4/ 0 | 950041 | 0 | 513.71/513.76 c | 1946 | 8.4 | 0 | 150804 | 565 | 185 | 171693517 | 3468528 || 1946 | 6682680 | 4/ 0 | 956901 | 0 | 522.09/522.13 c | 1978 | 8.4 | 0 | 157710 | 2294 | 186 | 173569354 | 3506125 || 1978 | 6756914 | 4/ 0 | 967167 | 0 | 530.40/530.42 c | 2008 | 8.3 | 0 | 153247 | 141 | 187 | 175393728 | 3543050 || 2008 | 6824145 | 4/ 0 | 976581 | 0 | 539.02/539.03 c | 2041 | 8.6 | 0 | 155286 | 2077 | 188 | 177248735 | 3579438 || 2041 | 6900028 | 4/ 0 | 987649 | 0 | 547.00/547.01 c | 2043 | 8.0 | 0 | 155812 | 4571 | 189 | 178877992 | 3612123 || 2043 | 6966546 | 4/ 0 | 997844 | 0 | 555.90/555.97 c | 2044 | 9.0 | 0 | 155778 | 4768 | 190 | 180522395 | 3646690 || 2044 | 7049045 | 4/ 0 | 1011408 | 0 | 564.70/564.77 c | 2045 | 8.8 | 0 | 153478 | 24273 | 191 | 182321971 | 3682082 || 2045 | 7154360 | 4/ 0 | 1037968 | 0 | 575.10/575.19 c | 2045 | 10.4 | 0 | 151283 | 5474 | 192 | 184157719 | 3718795 || 2045 | 7224307 | 4/ 0 | 1038605 | 0 | 584.60/584.66 c | 2045 | 9.5 | 0 | 146070 | 25176 | 193 | 186088923 | 3744810 || 2045 | 7224307 | 4/ 0 | 1038605 | 0 | 594.40/594.43 c | 2046 | 9.8 | 0 | 149884 | 44977 | 194 | 187860439 | 3784914 || 2046 | 7418850 | 4/ 0 | 1091644 | 0 | 604.00/604.06 c | 2046 | 9.6 | 0 | 138863 | 19902 | 195 | 189507012 | 3826171 || 2046 | 7519602 | 4/ 0 | 1092598 | 0 | 613.90/613.92 c | 2046 | 9.9 | 0 | 136936 | 8081 | 196 | 191391798 | 3860884 || 2046 | 7581864 | 4/ 0 | 1093115 | 0 | 623.50/623.57 c | 2046 | 9.6 | 0 | 139628 | 28182 | 197 | 193450895 | 3887257 || 2046 | 7581864 | 4/ 0 | 1093115 | 0 | 632.60/632.62 c | 2046 | 9.1 | 0 | 146360 | 48385 | 198 | 195386465 | 3914109 || 2046 | 7581864 | 4/ 0 | 1093115 | 0 | 643.41/643.46 c | 2047 | 10.8 | 0 | 159072 | 68686 | 199 | 197080010 | 3953419 || 2047 | 7852894 | 4/ 0 | 1198014 | 0 | 654.90/654.91 c | 2047 | 11.4 | 0 | 146628 | 20405 | 200 | 198641165 | 3993676 || 2047 | 7950756 | 4/ 0 | 1198875 | 0 | 667.20/667.28 c | 2047 | 12.4 | 0 | 144853 | 20503 | 201 | 200201617 | 4034250 || 2047 | 8049098 | 4/ 0 | 1199723 | 0 | 680.40/680.45 c | 2047 | 13.2 | 0 | 141382 | 20602 | 202 | 201680317 | 4073829 || 2047 | 8142817 | 4/ 0 | 1200506 | 0 | 694.90/694.95 c | 2047 | 14.5 | 0 | 130754 | 20703 | 203 | 203165245 | 4113015 || 2047 | 8238252 | 4/ 0 | 1201332 | 0 | 708.70/708.77 c | 2047 | 13.8 | 0 | 105700 | 18102 | 204 | 204963550 | 4141202 || 2047 | 8251149 | 4/ 0 | 1201449 | 0 | 719.20/719.25 c | 2047 | 10.5 | 0 | 103052 | 39006 | 205 | 206854002 | 4168157 || 2047 | 8251149 | 4/ 0 | 1201449 | 0 | 729.90/729.98 c | 2047 | 10.7 | 0 | 118776 | 60010 | 206 | 208970836 | 4194831 || 2047 | 8251149 | 4/ 0 | 1201449 | 0 | 742.52/742.57 c | 2047 | 12.6 | 0 | 134663 | 81111 | 207 | 211130359 | 4221162 || 2047 | 8251149 | 4/ 0 | 1201449 | 0 | 757.20/757.26 c | 2047 | 14.7 | 0 | 150940 | 102313 | 208 | 213300032 | 4247311 || 2047 | 8251149 | 4/ 0 | 1201449 | 0 | 764.71/764.77 c | 2093 | 7.5 | 0 | 166766 | 727 | 209 | 215312670 | 4294895 || 2093 | 8338542 | 4/ 0 | 1213454 | 0 | 772.91/772.96 c | 2124 | 8.2 | 0 | 176787 | 257 | 210 | 217480973 | 4338855 || 2124 | 8420348 | 4/ 0 | 1224593 | 0 | 781.81/781.87 c | 2166 | 8.9 | 0 | 175720 | 61 | 211 | 219512079 | 4383005 || 2166 | 8502616 | 4/ 0 | 1235727 | 0 | 790.83/790.85 c | 2174 | 9.0 | 0 | 173359 | 2246 | 212 | 221535773 | 4423289 || 2174 | 8595695 | 4/ 0 | 1249310 | 0 | 800.01/800.08 c | 2211 | 9.2 | 0 | 172283 | 65 | 213 | 223582459 | 4465510 || 2211 | 8664679 | 4/ 0 | 1258762 | 0 | 809.63/809.66 c | 2241 | 9.6 | 0 | 168386 | 203 | 214 | 225697691 | 4509682 || 2241 | 8744944 | 4/ 0 | 1270341 | 0 | 819.43/819.47 c | 2285 | 9.8 | 0 | 148258 | 124 | 215 | 227766005 | 4554279 || 2285 | 8830720 | 4/ 0 | 1282124 | 0 | 828.41/828.48 c | 2301 | 9.0 | 0 | 151293 | 9374 | 216 | 229812909 | 4598814 || 2301 | 8934173 | 4/ 0 | 1297309 | 0 | 838.61/838.69 c | 2302 | 10.2 | 0 | 151604 | 2673 | 217 | 232061559 | 4639837 || 2302 | 9028583 | 4/ 0 | 1311024 | 0 | 849.13/849.12 c | 2332 | 10.4 | 0 | 151184 | 1191 | 218 | 234326368 | 4678485 || 2332 | 9078779 | 4/ 0 | 1317919 | 0 | 858.31/858.30 c | 2365 | 9.2 | 0 | 158772 | 3810 | 219 | 236460420 | 4722681 || 2365 | 9170053 | 4/ 0 | 1331509 | 0 | 868.41/868.45 c | 2403 | 10.2 | 0 | 159899 | 129 | 220 | 238697724 | 4766828 || 2403 | 9247495 | 4/ 0 | 1341378 | 0 | 878.71/878.75 c | 2429 | 10.3 | 0 | 162885 | 5369 | 221 | 240987215 | 4810283 || 2429 | 9345029 | 4/ 0 | 1358662 | 0 | 888.73/888.81 c | 2459 | 10.1 | 0 | 164510 | 1094 | 222 | 243174875 | 4853184 || 2459 | 9415489 | 4/ 0 | 1365679 | 0 | 898.91/898.96 c | 2492 | 10.2 | 0 | 170652 | 4117 | 223 | 245291495 | 4897289 || 2492 | 9505651 | 4/ 0 | 1379271 | 0 | 909.63/909.64 c | 2533 | 10.7 | 0 | 174724 | 113 | 224 | 247464870 | 4940021 || 2533 | 9582294 | 4/ 0 | 1389564 | 0 | 920.63/920.67 c | 2556 | 11.0 | 0 | 172538 | 6476 | 225 | 249674759 | 4984572 || 2556 | 9683785 | 4/ 0 | 1406458 | 0 | 931.41/931.48 c | 2557 | 10.8 | 0 | 173817 | 673 | 226 | 251888113 | 5029590 || 2557 | 9788113 | 4/ 0 | 1420189 | 0 | 942.31/942.33 c | 2558 | 10.9 | 0 | 172199 | 23780 | 227 | 254117341 | 5069501 || 2558 | 9886784 | 4/ 0 | 1446729 | 0 | 954.73/954.74 c | 2558 | 12.4 | 0 | 176430 | 8580 | 228 | 256351438 | 5111976 || 2558 | 9958692 | 4/ 0 | 1447374 | 0 | 966.11/966.13 c | 2573 | 11.4 | 0 | 173445 | 639 | 229 | 258712199 | 5146887 || 2573 | 9983248 | 4/ 0 | 1450801 | 0 | 977.83/977.89 c | 2620 | 11.8 | 0 | 181847 | 1530 | 230 | 261036976 | 5193391 || 2620 | 10077087 | 4/ 0 | 1464460 | 0 | 988.83/988.84 c | 2652 | 11.0 | 0 | 181501 | 158 | 231 | 263277495 | 5238667 || 2652 | 10165414 | 4/ 0 | 1476490 | 0 | 1000.93/1001.00 c | 2684 | 12.2 | 0 | 183906 | 2888 | 232 | 265522035 | 5283547 || 2684 | 10248047 | 4/ 0 | 1488445 | 0 | 1014.61/1014.69 c | 2714 | 13.7 | 0 | 188025 | 338 | 233 | 267878142 | 5327622 || 2714 | 10335696 | 4/ 0 | 1501254 | 0 | 1026.33/1026.33 c | 2748 | 11.7 | 0 | 186689 | 3868 | 234 | 270130100 | 5373759 || 2748 | 10431535 | 4/ 0 | 1515770 | 0 | 1038.82/1038.83 c | 2792 | 12.5 | 0 | 189226 | 174 | 235 | 272492743 | 5418893 || 2792 | 10513868 | 4/ 0 | 1526508 | 0 | 1051.22/1051.29 c | 2812 | 12.5 | 0 | 186225 | 8430 | 236 | 274774796 | 5464845 || 2812 | 10621855 | 4/ 0 | 1543105 | 0 | 1064.84/1064.88 c | 2813 | 13.6 | 0 | 187777 | 3727 | 237 | 276996094 | 5506647 || 2813 | 10717042 | 4/ 0 | 1556764 | 0 | 1077.93/1077.95 c | 2844 | 13.1 | 0 | 188249 | 672 | 238 | 279349147 | 5549011 || 2844 | 10779687 | 4/ 0 | 1565322 | 0 | 1090.42/1090.48 c | 2880 | 12.5 | 0 | 191277 | 290 | 239 | 281622280 | 5594866 || 2880 | 10866957 | 4/ 0 | 1577858 | 0 | 1103.82/1103.82 c | 2931 | 13.4 | 0 | 195067 | 80 | 240 | 283957010 | 5642096 || 2931 | 10959361 | 4/ 0 | 1590751 | 0 | 1117.42/1117.49 c | 2940 | 13.7 | 0 | 198385 | 4859 | 241 | 286420596 | 5686869 || 2940 | 11052934 | 4/ 0 | 1604625 | 0 | 1131.02/1131.05 c | 2989 | 13.6 | 0 | 202691 | 272 | 242 | 288779394 | 5734744 || 2989 | 11140178 | 4/ 0 | 1617077 | 0 | 1144.71/1144.75 c | 3027 | 13.7 | 0 | 205045 | 86 | 243 | 291059667 | 5781227 || 3027 | 11230295 | 4/ 0 | 1630116 | 0 | 1158.81/1158.83 c | 3066 | 14.1 | 0 | 207984 | 3506 | 244 | 293366319 | 5828901 || 3066 | 11328086 | 4/ 0 | 1645622 | 0 | 1173.63/1173.70 c | 3068 | 14.9 | 0 | 203013 | 14003 | 245 | 295621713 | 5874030 || 3068 | 11438328 | 4/ 0 | 1665812 | 0 | 1188.31/1188.31 c | 3069 | 14.6 | 0 | 199956 | 19804 | 246 | 297958674 | 5916739 || 3069 | 11546899 | 4/ 0 | 1692472 | 0 | 1204.61/1204.65 c | 3069 | 16.3 | 0 | 201047 | 6503 | 247 | 300325034 | 5965824 || 3069 | 11643134 | 4/ 0 | 1693348 | 0 | 1220.02/1220.02 c | 3070 | 15.4 | 0 | 203605 | 31706 | 248 | 302793962 | 6002656 || 3070 | 11767833 | 4/ 0 | 1745682 | 0 | 1235.02/1235.02 c | 3070 | 15.0 | 0 | 207995 | 25302 | 249 | 304837737 | 6052820 || 3070 | 11889546 | 4/ 0 | 1746742 | 0 | 1254.22/1254.20 c | 3070 | 19.2 | 0 | 198365 | 5607 | 250 | 307071797 | 6099470 || 3070 | 11985147 | 4/ 0 | 1747569 | 0 | 1270.62/1270.60 c | 3070 | 16.4 | 0 | 191564 | 31109 | 251 | 309624605 | 6131751 || 3070 | 11985147 | 4/ 0 | 1747569 | 0 | 1285.72/1285.75 c | 3085 | 15.1 | 0 | 194805 | 1083 | 252 | 312092069 | 6168664 || 3085 | 12008750 | 4/ 0 | 1751002 | 0 | 1301.83/1301.86 c | 3132 | 16.1 | 0 | 195836 | 679 | 253 | 314680652 | 6220072 || 3132 | 12107752 | 4/ 0 | 1764763 | 0 | 1316.53/1316.61 c | 3171 | 14.8 | 0 | 190888 | 389 | 254 | 317092646 | 6268655 || 3171 | 12198281 | 4/ 0 | 1777992 | 0 | 1332.33/1332.35 c | 3197 | 15.7 | 0 | 186279 | 9035 | 255 | 319597088 | 6318823 || 3197 | 12315640 | 4/ 0 | 1795444 | 0 | 1348.33/1348.31 c | 3238 | 16.0 | 0 | 196336 | 257 | 256 | 322189120 | 6365051 || 3238 | 12389551 | 4/ 0 | 1805674 | 0 | 1362.94/1362.95 c | 3276 | 14.6 | 0 | 202681 | 62 | 257 | 324645522 | 6414252 || 3276 | 12485354 | 4/ 0 | 1819454 | 0 | 1379.12/1379.10 c | 3323 | 16.1 | 0 | 202646 | 2243 | 258 | 327205169 | 6464516 || 3323 | 12592041 | 4/ 0 | 1836290 | 0 | 1396.52/1396.55 c | 3325 | 17.5 | 0 | 200923 | 14142 | 259 | 329672044 | 6511576 || 3325 | 12710205 | 4/ 0 | 1856579 | 0 | 1413.62/1413.69 c | 3347 | 17.1 | 0 | 203255 | 103 | 260 | 332223467 | 6554992 || 3347 | 12769563 | 4/ 0 | 1861553 | 0 | 1429.94/1429.93 c | 3388 | 16.2 | 0 | 208154 | 4511 | 261 | 334639326 | 6605792 || 3388 | 12876540 | 4/ 0 | 1877378 | 0 | 1447.33/1447.32 c | 3437 | 17.4 | 0 | 211822 | 285 | 262 | 337183121 | 6655889 || 3437 | 12966807 | 4/ 0 | 1889834 | 0 | 1464.23/1464.25 c | 3452 | 16.9 | 0 | 212573 | 4860 | 263 | 339777873 | 6704159 || 3452 | 13068045 | 4/ 0 | 1904753 | 0 | 1481.64/1481.63 c | 3507 | 17.4 | 0 | 214168 | 23 | 264 | 342430089 | 6755888 || 3507 | 13164902 | 4/ 0 | 1918206 | 0 | 1499.13/1499.21 c | 3546 | 17.6 | 0 | 215189 | 1544 | 265 | 345021438 | 6806610 || 3546 | 13268192 | 4/ 0 | 1933742 | 0 | 1516.95/1516.98 c | 3579 | 17.8 | 0 | 220640 | 5267 | 266 | 347718058 | 6857759 || 3579 | 13376227 | 4/ 0 | 1952345 | 0 | 1533.35/1533.40 c | 3580 | 16.4 | 0 | 217013 | 3565 | 267 | 350222012 | 6905560 || 3580 | 13486426 | 4/ 0 | 1966193 | 0 | 1550.04/1550.07 c | 3581 | 16.7 | 0 | 221121 | 30767 | 268 | 352643434 | 6953246 || 3581 | 13618319 | 4/ 0 | 1992975 | 0 | 1569.14/1569.13 c | 3581 | 19.1 | 0 | 223930 | 19668 | 269 | 355282193 | 6993720 || 3581 | 13653483 | 4/ 0 | 1993334 | 0 | 1588.04/1588.03 c | 3627 | 18.9 | 0 | 226006 | 974 | 270 | 357954504 | 7043190 || 3627 | 13734895 | 4/ 0 | 2005277 | 0 | 1606.94/1606.96 c | 3672 | 18.9 | 0 | 226595 | 165 | 271 | 360545347 | 7094686 || 3672 | 13835120 | 4/ 0 | 2019404 | 0 | 1625.94/1625.93 c | 3707 | 19.0 | 0 | 229079 | 2708 | 272 | 363220791 | 7147497 || 3707 | 13936835 | 4/ 0 | 2034361 | 0 | 1645.34/1645.37 c | 3739 | 19.4 | 0 | 228724 | 2345 | 273 | 365831139 | 7198098 || 3739 | 14039588 | 4/ 0 | 2049690 | 0 | 1663.64/1663.67 c | 3784 | 18.3 | 0 | 227750 | 146 | 274 | 368427052 | 7249605 || 3784 | 14135239 | 4/ 0 | 2063749 | 0 | 1682.44/1682.44 c | 3833 | 18.8 | 0 | 231094 | 1046 | 275 | 371086775 | 7303148 || 3833 | 14238867 | 3/ 0 | 2078709 | 0 | 1704.14/1704.10 c | 3836 | 21.7 | 0 | 231919 | 14633 | 276 | 373782950 | 7353307 || 3836 | 14366389 | 3/ 0 | 2102288 | 0 | 1724.86/1724.85 c | 3865 | 20.8 | 0 | 223414 | 467 | 277 | 376494278 | 7400776 || 3865 | 14430577 | 3/ 0 | 2108466 | 0 | 1743.94/1743.90 c | 3901 | 19.1 | 0 | 223943 | 76 | 278 | 379070534 | 7451098 || 3901 | 14529047 | 3/ 0 | 2123146 | 0 | 1764.04/1764.02 c | 3960 | 20.1 | 0 | 230855 | 542 | 279 | 381745618 | 7504888 || 3960 | 14634372 | 3/ 0 | 2138325 | 0 | 1783.84/1783.80 c | 3978 | 19.8 | 0 | 236318 | 86 | 280 | 384412938 | 7553871 || 3978 | 14734477 | 3/ 0 | 2153653 | 0 | 1804.94/1804.98 c | 4026 | 21.2 | 0 | 234377 | 3671 | 281 | 387170039 | 7608056 || 4026 | 14847313 | 3/ 0 | 2170631 | 0 | 1825.74/1825.73 c | 4079 | 20.8 | 0 | 234484 | 349 | 282 | 389795437 | 7660119 || 4079 | 14942654 | 3/ 0 | 2183869 | 0 | 1846.24/1846.21 c | 4091 | 20.5 | 0 | 246447 | 8014 | 283 | 392474700 | 7710450 || 4091 | 15066302 | 3/ 0 | 2211040 | 0 | 1870.06/1870.04 c | 4092 | 23.8 | 0 | 246365 | 17614 | 284 | 395055752 | 7759809 || 4092 | 15189228 | 3/ 0 | 2237757 | 0 | 1893.64/1893.60 c | 4092 | 23.6 | 0 | 244078 | 8108 | 285 | 397511033 | 7810902 || 4092 | 15284686 | 3/ 0 | 2238654 | 0 | 1918.55/1918.51 c | 4093 | 24.9 | 0 | 238399 | 37111 | 286 | 400297369 | 7857032 || 4093 | 15437990 | 3/ 0 | 2291241 | 0 | 1942.57/1942.54 c | 4093 | 24.0 | 0 | 242403 | 29103 | 287 | 402875961 | 7914412 || 4093 | 15583158 | 3/ 0 | 2292469 | 0 | 1970.06/1970.08 c | 4093 | 27.5 | 0 | 233026 | 18610 | 288 | 405665935 | 7957858 || 4093 | 15634475 | 3/ 0 | 2292925 | 0 | 1993.35/1993.37 c | 4093 | 23.3 | 0 | 221408 | 47912 | 289 | 408508843 | 7994660 || 4093 | 15634475 | 3/ 0 | 2292925 | 0 | 2019.56/2019.55 c | 4094 | 26.2 | 0 | 220636 | 77313 | 290 | 411122341 | 8053033 || 4094 | 15934506 | 3/ 0 | 2398281 | 0 | 2050.37/2050.37 c | 4094 | 30.8 | 0 | 204413 | 29503 | 291 | 413651717 | 8112874 || 4094 | 16063138 | 3/ 0 | 2399526 | 0 | 2079.25/2079.25 c | 4094 | 28.9 | 0 | 196320 | 29601 | 292 | 416170900 | 8171547 || 4094 | 16191615 | 3/ 0 | 2400739 | 0 | 2106.85/2106.87 c | 4094 | 27.6 | 0 | 172815 | 12514 | 293 | 418900730 | 8222043 || 4094 | 16268396 | 3/ 0 | 2401411 | 0 | 2130.45/2130.40 c | 4094 | 23.5 | 0 | 174329 | 42317 | 294 | 421920160 | 8259958 || 4094 | 16268396 | 3/ 0 | 2401411 | 0 | 2152.85/2152.89 c | 4094 | 22.5 | 0 | 169556 | 72219 | 295 | 424843669 | 8298120 || 4094 | 16268396 | 3/ 0 | 2401411 | 0 | 2175.65/2175.68 c | 4094 | 22.8 | 0 | 150048 | 102220 | 296 | 427894078 | 8336285 || 4094 | 16268396 | 3/ 0 | 2401411 | 0 | 2193.75/2193.79 c | 4095 | 18.1 | 0 | 168996 | 132322 | 297 | 430325296 | 8399329 || 4095 | 16786931 | 3/ 0 | 2611267 | 0 | 2215.95/2215.93 c | 4095 | 22.1 | 0 | 185499 | 30203 | 298 | 432912011 | 8460455 || 4095 | 16931062 | 3/ 0 | 2612613 | 0 | 2242.25/2242.27 c | 4095 | 26.3 | 0 | 198001 | 30301 | 299 | 435464639 | 8520549 || 4095 | 17074540 | 3/ 0 | 2613926 | 0 | 2266.86/2266.88 c | 4095 | 24.6 | 0 | 202142 | 30401 | 300 | 438034078 | 8580753 || 4095 | 17223677 | 3/ 0 | 2615230 | 0 | 2289.66/2289.60 c | 4095 | 22.7 | 0 | 208380 | 30501 | 301 | 440601263 | 8641984 || 4095 | 17377938 | 3/ 0 | 2616520 | 0 | 2320.16/2320.19 c | 4095 | 30.6 | 0 | 199025 | 30603 | 302 | 443276413 | 8702415 || 4095 | 17530278 | 3/ 0 | 2617874 | 0 | 2354.08/2354.08 c | 4095 | 33.9 | 0 | 162392 | 7834 | 303 | 445892861 | 8756232 || 4095 | 17639635 | 3/ 0 | 2618794 | 0 | 2375.98/2375.98 c | 4095 | 21.9 | 0 | 169751 | 38637 | 304 | 449031758 | 8796304 || 4095 | 17639635 | 3/ 0 | 2618794 | 0 | 2395.36/2395.38 c | 4095 | 19.4 | 0 | 188956 | 69538 | 305 | 452178928 | 8837015 || 4095 | 17639635 | 3/ 0 | 2618794 | 0 | 2413.26/2413.25 c | 4095 | 17.9 | 0 | 205640 | 100542 | 306 | 455360486 | 8876646 || 4095 | 17639635 | 3/ 0 | 2618794 | 0 | 2430.56/2430.55 c | 4095 | 17.3 | 0 | 210984 | 131643 | 307 | 458426661 | 8919008 || 4095 | 17639635 | 3/ 0 | 2618794 | 0 | 2449.27/2449.20 c | 4095 | 18.7 | 0 | 228613 | 162844 | 308 | 461496352 | 8959130 || 4095 | 17639635 | 3/ 0 | 2618794 | 0 | 2469.87/2469.80 c | 4095 | 20.6 | 0 | 251184 | 194145 | 309 | 464666619 | 8999322 || 4095 | 17639635 | 3/ 0 | 2618794 | 0 | 2490.27/2490.22 c | 4140 | 20.4 | 0 | 252955 | 245 | 310 | 467780173 | 9058713 || 4140 | 17722766 | 3/ 0 | 2629985 | 0 | 2508.67/2508.64 c | 4189 | 18.4 | 0 | 249830 | 1641 | 311 | 470783895 | 9122855 || 4189 | 17846663 | 3/ 0 | 2647935 | 0 | 2526.69/2526.64 c | 4222 | 18.0 | 0 | 238401 | 368 | 312 | 473751559 | 9186298 || 4222 | 17981772 | 3/ 0 | 2666719 | 0 | 2544.77/2544.79 c | 4278 | 18.2 | 0 | 234260 | 163 | 313 | 476889785 | 9248023 || 4278 | 18081559 | 3/ 0 | 2680487 | 0 | 2563.57/2563.54 c | 4326 | 18.7 | 0 | 231023 | 163 | 314 | 479920908 | 9309968 || 4326 | 18200679 | 3/ 0 | 2697510 | 0 | 2583.47/2583.48 c | 4349 | 20.0 | 0 | 222515 | 5913 | 315 | 482820292 | 9369305 || 4349 | 18314917 | 3/ 0 | 2714503 | 0 | 2605.37/2605.36 c | 4365 | 21.9 | 0 | 216787 | 275 | 316 | 485751101 | 9427519 || 4365 | 18427278 | 3/ 0 | 2731498 | 0 | 2623.59/2623.52 c | 4413 | 18.2 | 0 | 213715 | 2682 | 317 | 488877619 | 9490349 || 4413 | 18547064 | 3/ 0 | 2748606 | 0 | 2642.67/2642.69 c | 4475 | 19.2 | 0 | 217028 | 1130 | 318 | 491916707 | 9554061 || 4475 | 18667002 | 3/ 0 | 2765755 | 0 | 2661.27/2661.28 c | 4507 | 18.6 | 0 | 220546 | 554 | 319 | 495045748 | 9612927 || 4507 | 18783664 | 3/ 0 | 2782767 | 0 | 2682.17/2682.14 c | 4556 | 20.9 | 0 | 223546 | 859 | 320 | 498329105 | 9676445 || 4556 | 18904045 | 3/ 0 | 2799941 | 0 | 2701.97/2701.91 c | 4604 | 19.8 | 0 | 226758 | 3652 | 321 | 501419212 | 9738183 || 4604 | 19035823 | 3/ 0 | 2823487 | 0 | 2721.17/2721.19 c | 4605 | 19.3 | 0 | 232324 | 7451 | 322 | 504381508 | 9794888 || 4605 | 19155879 | 3/ 0 | 2837373 | 0 | 2745.28/2745.28 c | 4606 | 24.1 | 0 | 235080 | 1754 | 323 | 507342920 | 9855283 || 4606 | 19328249 | 3/ 0 | 2864460 | 0 | 2769.98/2769.97 c | 4629 | 24.7 | 0 | 238130 | 0 | 324 | 510615401 | 9903640 || 4629 | 19363745 | 3/ 0 | 2869261 | 0 | 2789.88/2789.89 c | 4680 | 19.9 | 0 | 245215 | 1 | 325 | 513645219 | 9965801 || 4680 | 19485494 | 3/ 0 | 2886761 | 0 | 2811.48/2811.50 c | 4732 | 21.6 | 0 | 247078 | 989 | 326 | 516766216 | 10028867 || 4732 | 19615084 | 3/ 0 | 2905406 | 0 | 2833.70/2833.63 c | 4771 | 22.1 | 0 | 249685 | 0 | 327 | 519932351 | 10089975 || 4771 | 19730207 | 3/ 0 | 2922081 | 0 | 2855.98/2855.96 c | 4826 | 22.3 | 0 | 248945 | 692 | 328 | 523151531 | 10153440 || 4826 | 19850843 | 3/ 0 | 2939570 | 0 | 2877.98/2877.97 c | 4860 | 22.0 | 0 | 253697 | 1105 | 329 | 526201353 | 10215841 || 4860 | 19988645 | 3/ 0 | 2960048 | 0 | 2902.08/2902.06 c | 4869 | 24.1 | 0 | 254968 | 496 | 330 | 529431895 | 10270677 || 4869 | 20088773 | 3/ 0 | 2975065 | 0 | 2925.48/2925.48 c | 4924 | 23.4 | 0 | 246018 | 681 | 331 | 532624303 | 10335346 || 4924 | 20220652 | 3/ 0 | 2994169 | 0 | 2949.48/2949.49 c | 4986 | 24.0 | 0 | 244168 | 557 | 332 | 535813198 | 10398624 || 4986 | 20340172 | 3/ 0 | 3011252 | 0 | 2975.18/2975.15 c | 5019 | 25.7 | 0 | 247372 | 1404 | 333 | 539040778 | 10459493 || 5019 | 20466989 | 3/ 0 | 3029981 | 0 | 2997.68/2997.62 c | 5073 | 22.5 | 0 | 252095 | 294 | 334 | 542223341 | 10523990 || 5073 | 20589962 | 3/ 0 | 3046757 | 0 | 3021.48/3021.47 c | 5115 | 23.8 | 0 | 256684 | 7308 | 335 | 545442079 | 10588413 || 5115 | 20731211 | 3/ 0 | 3069290 | 0 | 3045.79/3045.80 c | 5116 | 24.3 | 0 | 261740 | 12506 | 336 | 548788505 | 10643344 || 5116 | 20831197 | 3/ 0 | 3082991 | 0 | 3074.78/3074.76 c | 5117 | 29.0 | 0 | 267013 | 8207 | 337 | 551767874 | 10707648 || 5117 | 21008684 | 3/ 0 | 3110232 | 0 | 3100.18/3100.17 c | 5118 | 25.4 | 0 | 263966 | 42408 | 338 | 555007892 | 10762613 || 5118 | 21183117 | 3/ 0 | 3163067 | 0 | 3124.99/3124.90 c | 5118 | 24.7 | 0 | 265413 | 34301 | 339 | 557985767 | 10829176 || 5118 | 21341131 | 3/ 0 | 3164426 | 0 | 3152.71/3152.63 c | 5118 | 27.7 | 0 | 253809 | 34309 | 340 | 561484390 | 10872169 || 5118 | 21341572 | 3/ 0 | 3164428 | 0 | 3179.89/3179.89 c | 5155 | 27.3 | 0 | 253827 | 116 | 341 | 564861061 | 10927396 || 5155 | 21408271 | 3/ 0 | 3173843 | 0 | 3206.09/3206.00 c | 5212 | 26.1 | 0 | 254991 | 1594 | 342 | 568138998 | 10992563 || 5212 | 21541555 | 3/ 0 | 3193419 | 0 | 3230.59/3230.55 c | 5245 | 24.6 | 0 | 252589 | 3408 | 343 | 571320030 | 11055565 || 5245 | 21667386 | 3/ 0 | 3212164 | 0 | 3255.90/3255.87 c | 5307 | 25.3 | 0 | 262281 | 1234 | 344 | 574600752 | 11119949 || 5307 | 21788179 | 3/ 0 | 3229225 | 0 | 3282.59/3282.56 c | 5369 | 26.7 | 0 | 269981 | 1150 | 345 | 577899269 | 11186605 || 5369 | 21917885 | 3/ 0 | 3247978 | 0 | 3308.81/3308.76 c | 5373 | 26.2 | 0 | 280153 | 18137 | 346 | 581065055 | 11250541 || 5373 | 22074680 | 3/ 0 | 3273433 | 0 | 3336.79/3336.71 c | 5419 | 28.0 | 0 | 275485 | 723 | 347 | 584462868 | 11310085 || 5419 | 22161485 | 3/ 0 | 3285433 | 0 | 3365.80/3365.70 c | 5474 | 29.0 | 0 | 273871 | 430 | 348 | 587801603 | 11376667 || 5474 | 22290083 | 3/ 0 | 3303851 | 0 | 3394.40/3394.33 c | 5507 | 28.6 | 0 | 273574 | 453 | 349 | 591085289 | 11439858 || 5507 | 22413003 | 3/ 0 | 3322615 | 0 | 3423.21/3423.20 c | 5563 | 28.9 | 0 | 271988 | 1900 | 350 | 594414358 | 11506434 || 5563 | 22547290 | 3/ 0 | 3341822 | 0 | 3453.60/3453.51 c | 5626 | 30.3 | 0 | 272549 | 3678 | 351 | 597811626 | 11573911 || 5626 | 22682191 | 3/ 0 | 3362258 | 0 | 3482.41/3482.38 c | 5628 | 28.9 | 0 | 276008 | 5671 | 352 | 601323259 | 11635386 || 5628 | 22822549 | 3/ 0 | 3382679 | 0 | 3513.61/3513.58 c | 5629 | 31.2 | 0 | 287606 | 2972 | 353 | 604445344 | 11700798 || 5629 | 22995905 | 3/ 0 | 3409869 | 0 | 3545.33/3545.30 c | 5660 | 31.7 | 0 | 281569 | 1126 | 354 | 608042219 | 11755159 || 5660 | 23047626 | 3/ 0 | 3418314 | 0 | 3575.51/3575.48 c | 5721 | 30.2 | 0 | 290258 | 286 | 355 | 611449705 | 11821885 || 5721 | 23173463 | 3/ 0 | 3436256 | 0 | 3605.21/3605.18 c | 5756 | 29.7 | 0 | 294302 | 1603 | 356 | 614716008 | 11887748 || 5756 | 23316492 | 3/ 0 | 3457575 | 0 | 3635.81/3635.74 c | 5818 | 30.6 | 0 | 298932 | 764 | 357 | 618140454 | 11953489 || 5818 | 23436639 | 3/ 0 | 3474666 | 0 | 3667.43/3667.35 c | 5881 | 31.6 | 0 | 303353 | 824 | 358 | 621607361 | 12020194 || 5881 | 23568600 | 3/ 0 | 3495097 | 0 | 3699.91/3699.84 c | 5884 | 32.5 | 0 | 302592 | 1119 | 359 | 624897084 | 12084368 || 5884 | 23726467 | 3/ 0 | 3518925 | 0 | 3733.53/3733.43 c | 5937 | 33.6 | 0 | 298888 | 234 | 360 | 628437713 | 12146565 || 5937 | 23819908 | 3/ 0 | 3532197 | 0 | 3765.51/3765.44 c | 5995 | 32.0 | 0 | 300223 | 107 | 361 | 631878426 | 12213469 || 5995 | 23949934 | 3/ 0 | 3551565 | 0 | 3800.71/3800.68 c | 6032 | 35.2 | 0 | 301634 | 112 | 362 | 635422253 | 12278219 || 6032 | 24078373 | 3/ 0 | 3570877 | 0 | 3835.01/3834.93 c | 6089 | 34.2 | 0 | 297134 | 469 | 363 | 638887676 | 12345650 || 6089 | 24212237 | 3/ 0 | 3590561 | 0 | 3868.91/3868.81 c | 6138 | 33.9 | 0 | 295726 | 7580 | 364 | 642348242 | 12414117 || 6138 | 24362437 | 3/ 0 | 3614357 | 0 | 3906.13/3906.06 c | 6140 | 37.2 | 0 | 294449 | 15679 | 365 | 645917440 | 12472680 || 6140 | 24519102 | 3/ 0 | 3654223 | 0 | 3941.82/3941.71 c | 6140 | 35.7 | 0 | 305842 | 14280 | 366 | 649224458 | 12534754 || 6140 | 24632051 | 3/ 0 | 3655199 | 0 | 3977.52/3977.46 c | 6141 | 35.8 | 0 | 301515 | 51382 | 367 | 652632243 | 12600946 || 6141 | 24852002 | 3/ 0 | 3708408 | 0 | 4020.83/4020.75 c | 6141 | 43.3 | 0 | 297646 | 11783 | 368 | 656174423 | 12665691 || 6141 | 24977238 | 3/ 0 | 3709515 | 0 | 4057.83/4057.71 c | 6141 | 37.0 | 0 | 293618 | 49085 | 369 | 659721016 | 12713587 || 6141 | 24977238 | 3/ 0 | 3709515 | 0 | 4099.63/4099.54 c | 6142 | 41.8 | 0 | 297541 | 86488 | 370 | 662977262 | 12789527 || 6142 | 25327780 | 3/ 0 | 3815198 | 0 | 4153.83/4153.76 c | 6142 | 54.2 | 0 | 272242 | 37501 | 371 | 666177981 | 12863096 || 6142 | 25490927 | 3/ 0 | 3816734 | 0 | 4209.63/4209.51 c | 6142 | 55.7 | 0 | 245486 | 7987 | 372 | 669547309 | 12930428 || 6142 | 25623156 | 3/ 0 | 3817929 | 0 | 4257.53/4257.41 c | 6142 | 47.9 | 0 | 222472 | 45691 | 373 | 673239568 | 12976038 || 6142 | 25623156 | 3/ 0 | 3817929 | 0 | 4300.93/4300.88 c | 6142 | 43.5 | 0 | 217491 | 83493 | 374 | 676992907 | 13021271 || 6142 | 25623156 | 3/ 0 | 3817929 | 0 | 4335.53/4335.47 c | 6183 | 34.6 | 0 | 230284 | 181 | 375 | 680722126 | 13082658 || 6183 | 25696884 | 3/ 0 | 3828184 | 0 | 4364.34/4364.24 c | 6243 | 28.8 | 0 | 219295 | 364 | 376 | 684332554 | 13156488 || 6243 | 25835241 | 3/ 0 | 3848255 | 0 | 4391.44/4391.39 c | 6284 | 27.2 | 0 | 236591 | 763 | 377 | 687985380 | 13227411 || 6284 | 25974769 | 3/ 0 | 3869166 | 0 | 4420.14/4420.08 c | 6347 | 28.7 | 0 | 255343 | 417 | 378 | 691598288 | 13301646 || 6347 | 26113517 | 3/ 0 | 3889643 | 0 | 4448.14/4448.06 c | 6396 | 28.0 | 0 | 274098 | 7788 | 379 | 695210351 | 13376681 || 6396 | 26270331 | 3/ 0 | 3913505 | 0 | 4477.74/4477.62 c | 6411 | 29.6 | 0 | 281890 | 151 | 380 | 698826380 | 13440955 || 6411 | 26377769 | 3/ 0 | 3929713 | 0 | 4510.94/4510.89 c | 6474 | 33.3 | 0 | 274524 | 116 | 381 | 702444992 | 13514801 || 6474 | 26521000 | 3/ 0 | 3950206 | 0 | 4542.74/4542.62 c | 6524 | 31.7 | 0 | 266331 | 7795 | 382 | 706055795 | 13587275 || 6524 | 26679675 | 3/ 0 | 3974837 | 0 | 4576.54/4576.42 c | 6586 | 33.8 | 0 | 273558 | 2372 | 383 | 709876311 | 13660261 || 6586 | 26811638 | 3/ 0 | 3992078 | 0 | 4610.74/4610.60 c | 6649 | 34.2 | 0 | 279533 | 224 | 384 | 713502239 | 13733072 || 6649 | 26953836 | 3/ 0 | 4012606 | 0 | 4643.26/4643.16 c | 6652 | 32.6 | 0 | 285660 | 5522 | 385 | 717127232 | 13801684 || 6652 | 27104157 | 3/ 0 | 4036456 | 0 | 4683.24/4683.17 c | 6653 | 40.0 | 0 | 289571 | 6123 | 386 | 720848985 | 13873148 || 6653 | 27273944 | 3/ 0 | 4063555 | 0 | 4723.24/4723.14 c | 6696 | 40.0 | 0 | 283086 | 33 | 387 | 724768984 | 13937187 || 6696 | 27346866 | 3/ 0 | 4074019 | 0 | 4758.84/4758.77 c | 6761 | 35.6 | 0 | 287906 | 372 | 388 | 728530904 | 14010610 || 6761 | 27492131 | 3/ 0 | 4095151 | 0 | 4794.15/4794.03 c | 6802 | 35.3 | 0 | 290923 | 386 | 389 | 732297410 | 14081287 || 6802 | 27631470 | 3/ 0 | 4116072 | 0 | 4830.45/4830.34 c | 6867 | 36.3 | 0 | 295621 | 112 | 390 | 736136894 | 14156112 || 6867 | 27776523 | 3/ 0 | 4136869 | 0 | 4867.05/4866.90 c | 6907 | 36.6 | 0 | 296627 | 3633 | 391 | 739977149 | 14228681 || 6907 | 27924571 | 3/ 0 | 4159221 | 0 | 4901.86/4901.76 c | 6937 | 34.9 | 0 | 300749 | 374 | 392 | 743655519 | 14298210 || 6937 | 28058236 | 3/ 0 | 4178793 | 0 | 4938.08/4937.99 c | 7001 | 36.2 | 0 | 312905 | 314 | 393 | 747386179 | 14371810 || 7001 | 28204100 | 3/ 0 | 4200098 | 0 | 4976.26/4976.16 c | 7039 | 38.2 | 0 | 312160 | 236 | 394 | 751177891 | 14442623 || 7039 | 28345058 | 3/ 0 | 4221077 | 0 | 5000.07/4999.92 c | 7094 | 23.8 | 0 | 337791 | 126 | 394 | 753559174 | 14491713 || 7094 | 28438249 | 3/ 0 | 4234650 | 0 | 5000.07/4999.92 c c 5000.07/4999.92 c ----------------------------------- 5000.07/4999.92 c # temps = 4999.940000 5000.07/4999.92 c # cleaningDB = 394 5000.07/4999.92 c # clause binaire = 56390 5000.07/4999.92 c # literal removed by litRedundant = 531552072 5000.07/4999.92 c # literal removed by litRedundantBin = 140617753 5000.07/4999.92 c # init clause removed by simplify = 0 5000.07/4999.92 c # learnt clause removed by simplify = 0 5000.07/4999.92 c # une clause fausse était une apprise = 0 5000.07/4999.92 c # equivalence dectecte = 0 5000.07/4999.92 c # Memory used : 134.71 MB 5000.07/4999.92 c 5000.07/4999.92 c ######################## 5000.07/4999.92 c #### ## ### ## #### 5000.07/4999.92 c #### #### # ## #### #### 5000.07/4999.92 c #### ## ### ## ### 5000.07/4999.92 c ######################## 5000.07/4999.92 c # restart = 7094 5000.07/4999.92 c # conflit = 7965556 5000.07/4999.92 c # decision = 14491713 5000.07/4999.92 c # propagation = 753559174 (150713.643364 (prop/sec)) 5000.07/4999.92 c 5000.07/4999.92 c ######################## 5000.07/4999.92 c ### ### # ## ## ## 5000.07/4999.92 c ### # # # #### # ### ### 5000.07/4999.92 c ### # ### ## # ### ### 5000.07/4999.92 c ######################## 5000.07/4999.92 c # numtry = 7094 5000.07/4999.92 c # numflips = 28438249 5000.07/4999.92 c # maxSat = 3 5000.07/4999.92 c # freeFlip = 7275672 5000.07/4999.92 c # nbBoundary = 0 5000.07/4999.92 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-3438390-1306884538/watcher-3438390-1306884538 -o /tmp/evaluation-result-3438390-1306884538/solver-3438390-1306884538 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438390-1306884538.cnf rnovelty running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 1/510 22992 /proc/meminfo: memFree=6005676/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 878684533 8912896 253 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22992/statm: 2176 253 211 178 0 69 0 [startup+0.084617 s] /proc/loadavg: 0.00 0.00 0.00 1/510 22992 /proc/meminfo: memFree=6005676/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 878684533 8912896 253 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22992/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.10062 s] /proc/loadavg: 0.00 0.00 0.00 1/510 22992 /proc/meminfo: memFree=6005676/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 878684533 8912896 253 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22992/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300593 s] /proc/loadavg: 0.00 0.00 0.00 1/510 22992 /proc/meminfo: memFree=6005676/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 8704 [startup+0.700508 s] /proc/loadavg: 0.00 0.00 0.00 1/510 22992 /proc/meminfo: memFree=6005676/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 8704 [startup+1.50036 s] /proc/loadavg: 0.08 0.02 0.01 2/513 22996 /proc/meminfo: memFree=5999080/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=11716 CPUtime=1.34 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 1429 0 0 0 134 0 0 0 25 0 1 0 878684548 11997184 1340 33554432000 4194304 4241092 140735726659664 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 2929 1340 135 12 0 1393 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 29124 [startup+3.10106 s] /proc/loadavg: 0.08 0.02 0.01 2/513 22996 /proc/meminfo: memFree=5997112/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=13084 CPUtime=2.94 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 1754 0 0 0 294 0 0 0 25 0 1 0 878684548 13398016 1665 33554432000 4194304 4241092 140735726659664 18446744073709551615 4223763 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 3271 1665 136 12 0 1735 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 30492 [startup+6.30045 s] /proc/loadavg: 0.08 0.02 0.01 2/513 22996 /proc/meminfo: memFree=5995208/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=15188 CPUtime=6.14 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 2267 0 0 0 614 0 0 0 25 0 1 0 878684548 15552512 2178 33554432000 4194304 4241092 140735726659664 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 3797 2178 136 12 0 2261 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 32596 [startup+12.7012 s] /proc/loadavg: 0.37 0.08 0.03 3/520 23009 /proc/meminfo: memFree=5967976/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=17564 CPUtime=12.54 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 2891 0 0 0 1254 0 0 0 25 0 1 0 878684548 17985536 2800 33554432000 4194304 4241092 140735726659664 18446744073709551615 4205404 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 4391 2800 136 12 0 2855 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34972 [startup+25.5008 s] /proc/loadavg: 0.62 0.14 0.05 3/520 23010 /proc/meminfo: memFree=5959872/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=21448 CPUtime=25.34 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 3842 0 0 0 2534 0 0 0 25 0 1 0 878684548 21962752 3747 33554432000 4194304 4241092 140735726659664 18446744073709551615 4225156 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 5362 3747 136 12 0 3826 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38856 [startup+51.1009 s] /proc/loadavg: 1.16 0.32 0.11 3/520 23010 /proc/meminfo: memFree=5949000/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=26692 CPUtime=50.94 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 5185 0 0 0 5093 1 0 0 25 0 1 0 878684548 27332608 5060 33554432000 4194304 4241092 140735726659664 18446744073709551615 4223730 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 6673 5060 136 12 0 5137 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 44100 [startup+102.32 s] /proc/loadavg: 1.64 0.58 0.20 3/520 23012 /proc/meminfo: memFree=5935660/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=32344 CPUtime=102.16 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 6759 0 0 0 10215 1 0 0 25 0 1 0 878684548 33120256 6490 33554432000 4194304 4241092 140735726659664 18446744073709551615 256415060175 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 8086 6490 136 12 0 6550 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 49752 [startup+162.301 s] /proc/loadavg: 1.86 0.83 0.31 3/520 23013 /proc/meminfo: memFree=5921208/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=38828 CPUtime=162.14 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 8506 0 0 0 16213 1 0 0 25 0 1 0 878684548 39759872 8098 33554432000 4194304 4241092 140735726659664 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 9707 8098 136 12 0 8171 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 56236 [startup+222.301 s] /proc/loadavg: 1.95 1.04 0.42 3/520 23015 /proc/meminfo: memFree=5914580/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=42924 CPUtime=222.15 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 9745 0 0 0 22213 2 0 0 25 0 1 0 878684548 43954176 9143 33554432000 4194304 4241092 140735726659664 18446744073709551615 4223703 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 10731 9143 136 12 0 9195 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 60332 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=5710184/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=135964 CPUtime=4542.3 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 42368 0 0 0 454212 18 0 0 25 0 1 0 878684548 139227136 32381 33554432000 4194304 4241092 140735726659664 18446744073709551615 4206748 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 33991 32381 136 12 0 32455 0 Current children cumulated CPU time (s) 4542.44 Current children cumulated vsize (KiB) 153372 [startup+4602.3 s] /proc/loadavg: 2.08 2.04 2.01 3/520 23147 /proc/meminfo: memFree=5709016/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=135868 CPUtime=4602.32 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 42474 0 0 0 460214 18 0 0 25 0 1 0 878684548 139128832 32361 33554432000 4194304 4241092 140735726659664 18446744073709551615 4225156 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 33967 32361 136 12 0 32431 0 Current children cumulated CPU time (s) 4602.46 Current children cumulated vsize (KiB) 153276 [startup+4662.3 s] /proc/loadavg: 2.07 2.05 2.01 3/520 23148 /proc/meminfo: memFree=5707840/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=136052 CPUtime=4662.3 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 42609 0 0 0 466212 18 0 0 25 0 1 0 878684548 139317248 32393 33554432000 4194304 4241092 140735726659664 18446744073709551615 4223640 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 34013 32393 136 12 0 32477 0 Current children cumulated CPU time (s) 4662.44 Current children cumulated vsize (KiB) 153460 [startup+4722.32 s] /proc/loadavg: 2.17 2.07 2.01 3/520 23150 /proc/meminfo: memFree=5706164/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=136832 CPUtime=4722.32 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 42887 0 0 0 472214 18 0 0 25 0 1 0 878684548 140115968 32613 33554432000 4194304 4241092 140735726659664 18446744073709551615 4223700 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 34208 32613 136 12 0 32672 0 Current children cumulated CPU time (s) 4722.46 Current children cumulated vsize (KiB) 154240 [startup+4782.3 s] /proc/loadavg: 2.13 2.07 2.01 3/520 23152 /proc/meminfo: memFree=5705004/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=136704 CPUtime=4782.3 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 42986 0 0 0 478212 18 0 0 25 0 1 0 878684548 139984896 32586 33554432000 4194304 4241092 140735726659664 18446744073709551615 4221877 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 34176 32586 136 12 0 32640 0 Current children cumulated CPU time (s) 4782.44 Current children cumulated vsize (KiB) 154112 [startup+4842.3 s] /proc/loadavg: 2.05 2.05 2.00 3/520 23153 /proc/meminfo: memFree=5704220/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=136672 CPUtime=4842.31 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 43083 0 0 0 484212 19 0 0 25 0 1 0 878684548 139952128 32575 33554432000 4194304 4241092 140735726659664 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 34168 32575 136 12 0 32632 0 Current children cumulated CPU time (s) 4842.45 Current children cumulated vsize (KiB) 154080 [startup+4902.3 s] /proc/loadavg: 2.02 2.04 2.00 3/520 23155 /proc/meminfo: memFree=5703768/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=137264 CPUtime=4902.32 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 43263 0 0 0 490213 19 0 0 25 0 1 0 878684548 140558336 32693 33554432000 4194304 4241092 140735726659664 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 34316 32693 136 12 0 32780 0 Current children cumulated CPU time (s) 4902.46 Current children cumulated vsize (KiB) 154672 [startup+4962.3 s] /proc/loadavg: 2.00 2.03 2.00 3/520 23156 /proc/meminfo: memFree=5701988/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=137780 CPUtime=4962.32 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 43508 0 0 0 496213 19 0 0 25 0 1 0 878684548 141086720 32842 33554432000 4194304 4241092 140735726659664 18446744073709551615 4223730 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 34445 32842 136 12 0 32909 0 Current children cumulated CPU time (s) 4962.46 Current children cumulated vsize (KiB) 155188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.00 2.03 2.00 3/520 23157 /proc/meminfo: memFree=5701712/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=137936 CPUtime=4999.93 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 43613 0 0 0 499974 19 0 0 25 0 1 0 878684548 141246464 32883 33554432000 4194304 4241092 140735726659664 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 34484 32883 136 12 0 32948 0 Current children cumulated CPU time (s) 5000.07 Current children cumulated vsize (KiB) 155344 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+4999.9 s] /proc/loadavg: 2.00 2.03 2.00 3/520 23157 /proc/meminfo: memFree=5701712/32950928 swapFree=61513528/67111528 [pid=22992] ppid=22990 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/22992/stat : 22992 (esg_static.sh) S 22990 22992 22922 0 -1 4202496 350 1399 0 0 0 0 14 0 21 0 1 0 878684533 8912896 256 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0 /proc/22992/statm: 2176 256 211 178 0 69 0 [pid=22995] ppid=22992 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/22995/stat : 22995 (esg_static.sh) S 22992 22992 22922 0 -1 4202560 132 0 0 0 0 0 0 0 21 0 1 0 878684548 8912896 135 33554432000 4194304 4922060 140736190077248 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/22995/statm: 2176 135 90 178 0 69 0 [pid=22996] ppid=22995 vsize=137936 CPUtime=4999.93 cores=1,3,5,7 /proc/22996/stat : 22996 (sathys) R 22995 22992 22922 0 -1 4202496 43613 0 0 0 499974 19 0 0 25 0 1 0 878684548 141246464 32883 33554432000 4194304 4241092 140735726659664 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/22996/statm: 34484 32883 136 12 0 32948 0 Current children cumulated CPU time (s) 5000.07 Current children cumulated vsize (KiB) 155344 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22992 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=142978 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.148977 # while last known CPU time is 5000.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.93 CPU time (s): 5000.07 CPU user time (s): 4999.88 CPU system time (s): 0.19 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 155472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.142978 system time used= 0.005999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1917 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= 33 involuntary context switches= 9 runsolver used 24.4023 second user time and 62.3355 second system time The end
Begin job on node115 at 2011-06-01 01:28:59 IDJOB=3438390 IDBENCH=71284 IDSOLVER=1935 FILE ID=node115/3438390-1306884538 RUNJOBID= node115-1306884537-22943 PBS_JOBID= 13488461 Free space on /tmp= 8944 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g7.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438390-1306884538/watcher-3438390-1306884538 -o /tmp/evaluation-result-3438390-1306884538/solver-3438390-1306884538 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438390-1306884538.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cffaf116c6c0eb21439a109753d19c34 RANDOM SEED=845343877 node115.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.811 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.62 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.811 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.15 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.811 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.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 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.77 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.811 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.74 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.811 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.811 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 6005948 kB Buffers: 66740 kB Cached: 14377084 kB SwapCached: 5172 kB Active: 18211816 kB Inactive: 8103304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 6005948 kB SwapTotal: 67111528 kB SwapFree: 61513528 kB Dirty: 1624 kB Writeback: 12 kB AnonPages: 11869292 kB Mapped: 33028 kB Slab: 482052 kB PageTables: 75320 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 151807268 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= 8936 MiB End job on node115 at 2011-06-01 02:52:21