| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000 | 4999.92 |
| Name | CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf |
| MD5SUM | 791cdb75c1a209efd7f7547f06e0fed9 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 4697.32 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 760 |
| Number of clauses | 43649 |
| Sum of the clauses size | 87978 |
| Maximum clause length | 19 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 43609 |
| 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 | 40 |
0.00/0.00 static 0.00/0.00 HOME/instance-3438535-1308500396.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 | 43649 87978 | 13094 0 0 nan | 0.000 % | 0.00/0.08 c | 0 | 42889 140895 | -- 0 -- -- | -- | -760/52917 0.00/0.08 c ============================================================================== 0.00/0.08 c Result : #vars: 720 #clauses: 42889 #literals: 140895 0.00/0.08 c CPU time: 0.077988 s 0.00/0.08 c ============================================================================== 0.00/0.13 c 0.00/0.13 c seed = 0, numatom = 720, numclause = 3190, numliterals = 140895 0.00/0.13 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.13 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.13 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.16 c | 2 | 0.0 | 0 | 501 | 196 | 1 | 35519 | 1423 || 2 | 2666 | 13/ 0 | 238 | 0 | 0.00/0.19 c | 4 | 0.0 | 0 | 1073 | 297 | 2 | 82727 | 2788 || 4 | 5080 | 13/ 0 | 563 | 0 | 0.09/0.23 c | 6 | 0.0 | 0 | 1680 | 196 | 3 | 134065 | 4675 || 6 | 7705 | 12/ 0 | 892 | 0 | 0.09/0.26 c | 7 | 0.0 | 0 | 2296 | 396 | 4 | 189600 | 6368 || 7 | 10719 | 11/ 0 | 1313 | 0 | 0.09/0.31 c | 11 | 0.0 | 0 | 3140 | 292 | 5 | 255051 | 8603 || 11 | 14956 | 10/ 0 | 1858 | 0 | 0.09/0.38 c | 14 | 0.1 | 0 | 3952 | 489 | 6 | 326911 | 11082 || 14 | 20026 | 10/ 0 | 2590 | 0 | 0.09/0.43 c | 15 | 0.1 | 0 | 4782 | 989 | 7 | 399333 | 13447 || 15 | 25624 | 10/ 0 | 3441 | 0 | 0.09/0.50 c | 16 | 0.1 | 0 | 5494 | 88 | 8 | 479597 | 15573 || 16 | 27528 | 10/ 0 | 3560 | 0 | 0.09/0.58 c | 21 | 0.1 | 0 | 6234 | 86 | 9 | 577531 | 18886 || 21 | 33469 | 6/ 0 | 4314 | 0 | 0.09/0.66 c | 25 | 0.1 | 0 | 6927 | 187 | 10 | 679756 | 22072 || 25 | 39619 | 6/ 0 | 5179 | 0 | 0.09/0.75 c | 29 | 0.1 | 0 | 7582 | 581 | 11 | 785381 | 25728 || 29 | 46595 | 6/ 0 | 6046 | 0 | 0.09/0.85 c | 30 | 0.1 | 0 | 8441 | 377 | 12 | 898983 | 29296 || 30 | 53056 | 6/ 0 | 6907 | 0 | 0.09/0.99 c | 31 | 0.1 | 0 | 9074 | 2079 | 13 | 1012299 | 32971 || 31 | 62699 | 6/ 0 | 8582 | 0 | 1.08/1.14 c | 31 | 0.2 | 0 | 9478 | 1482 | 14 | 1147044 | 35952 || 31 | 64273 | 6/ 0 | 8603 | 0 | 1.18/1.29 c | 38 | 0.1 | 0 | 9513 | 369 | 15 | 1283823 | 40607 || 38 | 72709 | 6/ 0 | 9869 | 0 | 1.38/1.44 c | 44 | 0.2 | 0 | 10386 | 258 | 16 | 1436840 | 45399 || 44 | 80565 | 6/ 0 | 10745 | 0 | 1.58/1.60 c | 46 | 0.2 | 0 | 10912 | 252 | 17 | 1591550 | 49695 || 46 | 89972 | 6/ 0 | 12030 | 0 | 1.68/1.77 c | 53 | 0.2 | 0 | 11596 | 247 | 18 | 1760806 | 54569 || 53 | 97869 | 6/ 0 | 13307 | 0 | 1.88/1.96 c | 59 | 0.2 | 0 | 12550 | 132 | 19 | 1921281 | 59596 || 59 | 105881 | 6/ 0 | 14190 | 0 | 2.08/2.16 c | 61 | 0.2 | 0 | 13854 | 732 | 20 | 2103836 | 64245 || 61 | 115455 | 6/ 0 | 15464 | 0 | 2.28/2.39 c | 62 | 0.2 | 0 | 14878 | 835 | 21 | 2300094 | 69025 || 62 | 127356 | 6/ 0 | 17166 | 0 | 2.58/2.67 c | 63 | 0.3 | 0 | 15174 | 3439 | 22 | 2494104 | 74272 || 63 | 143151 | 4/ 0 | 20521 | 0 | 2.88/2.97 c | 63 | 0.3 | 0 | 15114 | 1341 | 23 | 2694552 | 79137 || 63 | 150067 | 4/ 0 | 20593 | 0 | 3.18/3.22 c | 67 | 0.2 | 0 | 14969 | 38 | 24 | 2896386 | 84186 || 67 | 154075 | 4/ 0 | 21126 | 0 | 3.48/3.50 c | 76 | 0.3 | 0 | 15537 | 25 | 25 | 3132525 | 90924 || 76 | 166641 | 4/ 0 | 22752 | 0 | 3.68/3.79 c | 81 | 0.3 | 0 | 15927 | 123 | 26 | 3370441 | 96921 || 81 | 178030 | 4/ 0 | 24459 | 0 | 3.98/4.07 c | 90 | 0.3 | 0 | 16396 | 4 | 27 | 3592179 | 104285 || 90 | 190815 | 4/ 0 | 25994 | 0 | 4.28/4.39 c | 94 | 0.3 | 0 | 17310 | 1103 | 28 | 3828107 | 110688 || 94 | 205457 | 4/ 0 | 29121 | 0 | 4.58/4.68 c | 96 | 0.3 | 0 | 18164 | 91 | 29 | 4069904 | 116846 || 96 | 214343 | 4/ 0 | 29406 | 0 | 4.88/4.99 c | 107 | 0.3 | 0 | 19892 | 281 | 30 | 4328217 | 124465 || 107 | 228493 | 4/ 0 | 31349 | 0 | 5.28/5.32 c | 113 | 0.3 | 0 | 20113 | 279 | 31 | 4585155 | 131696 || 113 | 241502 | 4/ 0 | 33162 | 0 | 5.58/5.66 c | 123 | 0.3 | 0 | 21061 | 60 | 32 | 4840295 | 139791 || 123 | 256251 | 4/ 0 | 35196 | 0 | 5.98/6.02 c | 125 | 0.4 | 0 | 21645 | 160 | 33 | 5096170 | 147212 || 125 | 273427 | 4/ 0 | 37751 | 0 | 6.48/6.52 c | 126 | 0.5 | 0 | 22993 | 3961 | 34 | 5401085 | 154267 || 126 | 291886 | 4/ 0 | 41112 | 0 | 6.98/7.07 c | 126 | 0.5 | 0 | 23825 | 3063 | 35 | 5715855 | 160193 || 126 | 296060 | 4/ 0 | 41149 | 0 | 7.58/7.62 c | 127 | 0.5 | 0 | 24249 | 7066 | 36 | 5989412 | 168673 || 127 | 326718 | 4/ 0 | 47789 | 0 | 8.18/8.26 c | 127 | 0.6 | 0 | 23725 | 1564 | 37 | 6282449 | 175864 || 127 | 338922 | 4/ 0 | 47871 | 0 | 8.78/8.84 c | 127 | 0.6 | 0 | 23343 | 5765 | 38 | 6594904 | 181321 || 127 | 338922 | 4/ 0 | 47871 | 0 | 9.27/9.33 c | 140 | 0.5 | 0 | 24961 | 141 | 39 | 6905372 | 190585 || 140 | 354014 | 4/ 0 | 50004 | 0 | 9.78/9.81 c | 149 | 0.5 | 0 | 25912 | 225 | 40 | 7229288 | 199709 || 149 | 371023 | 4/ 0 | 52565 | 0 | 10.28/10.35 c | 157 | 0.5 | 0 | 27815 | 499 | 41 | 7571940 | 209012 || 157 | 388326 | 4/ 0 | 54716 | 0 | 10.88/10.94 c | 163 | 0.6 | 0 | 27907 | 191 | 42 | 7917463 | 217869 || 163 | 403784 | 4/ 0 | 57057 | 0 | 11.38/11.45 c | 173 | 0.5 | 0 | 30527 | 166 | 43 | 8269133 | 227768 || 173 | 423721 | 4/ 0 | 59840 | 0 | 11.88/11.97 c | 187 | 0.5 | 0 | 32442 | 348 | 44 | 8635948 | 237612 || 187 | 441168 | 4/ 0 | 62395 | 0 | 12.47/12.59 c | 189 | 0.6 | 0 | 31727 | 1042 | 45 | 9010532 | 246508 || 189 | 458400 | 4/ 0 | 64966 | 0 | 13.27/13.35 c | 190 | 0.8 | 0 | 31167 | 1243 | 46 | 9344757 | 255580 || 190 | 479549 | 4/ 0 | 68374 | 0 | 14.07/14.11 c | 200 | 0.8 | 0 | 30234 | 126 | 47 | 9712512 | 265394 || 200 | 492614 | 4/ 0 | 70094 | 0 | 14.77/14.86 c | 212 | 0.8 | 0 | 30519 | 504 | 48 | 10102657 | 276313 || 212 | 513585 | 4/ 0 | 73111 | 0 | 15.47/15.59 c | 221 | 0.7 | 0 | 31097 | 1574 | 49 | 10500937 | 287184 || 221 | 536896 | 4/ 0 | 76928 | 0 | 16.27/16.30 c | 231 | 0.7 | 0 | 32029 | 252 | 50 | 10879196 | 297757 || 231 | 553421 | 4/ 0 | 78681 | 0 | 16.97/17.10 c | 243 | 0.8 | 0 | 32859 | 34 | 51 | 11302828 | 309084 || 243 | 575250 | 4/ 0 | 81679 | 0 | 17.77/17.86 c | 252 | 0.8 | 0 | 34814 | 2025 | 52 | 11706164 | 320566 || 252 | 599529 | 4/ 0 | 85485 | 0 | 18.47/18.58 c | 253 | 0.7 | 0 | 36616 | 519 | 53 | 12094779 | 330803 || 253 | 622859 | 4/ 0 | 88872 | 0 | 19.27/19.37 c | 254 | 0.8 | 0 | 37749 | 6320 | 54 | 12499581 | 340916 || 254 | 650526 | 4/ 0 | 95513 | 0 | 20.27/20.32 c | 254 | 0.9 | 0 | 40052 | 2618 | 55 | 12907489 | 350980 || 254 | 666572 | 4/ 0 | 95674 | 0 | 21.27/21.33 c | 255 | 1.0 | 0 | 41304 | 8619 | 56 | 13333401 | 360799 || 255 | 700920 | 4/ 0 | 108772 | 0 | 22.27/22.39 c | 255 | 1.1 | 0 | 42037 | 6104 | 57 | 13714979 | 373249 || 255 | 729608 | 4/ 0 | 109004 | 0 | 23.47/23.55 c | 255 | 1.2 | 0 | 40767 | 1720 | 58 | 14149616 | 384880 || 255 | 751969 | 4/ 0 | 109233 | 0 | 24.67/24.73 c | 255 | 1.2 | 0 | 40308 | 8021 | 59 | 14617672 | 393418 || 255 | 751969 | 4/ 0 | 109233 | 0 | 25.57/25.67 c | 262 | 0.9 | 0 | 42119 | 215 | 60 | 15099292 | 403621 || 262 | 759231 | 4/ 0 | 110503 | 0 | 26.57/26.61 c | 277 | 0.9 | 0 | 43772 | 285 | 61 | 15594526 | 417434 || 277 | 784363 | 4/ 0 | 113937 | 0 | 27.57/27.64 c | 286 | 1.0 | 0 | 44277 | 271 | 62 | 16073599 | 430857 || 286 | 812431 | 4/ 0 | 117808 | 0 | 28.67/28.71 c | 301 | 1.1 | 0 | 42704 | 936 | 63 | 16584545 | 444493 || 301 | 836281 | 4/ 0 | 121208 | 0 | 29.68/29.79 c | 316 | 1.1 | 0 | 44649 | 116 | 64 | 17095009 | 458477 || 316 | 862541 | 4/ 0 | 124684 | 0 | 30.87/30.93 c | 318 | 1.1 | 0 | 47144 | 4617 | 65 | 17639419 | 471634 || 318 | 894981 | 4/ 0 | 129775 | 0 | 31.89/31.94 c | 330 | 1.0 | 0 | 44885 | 97 | 66 | 18181727 | 484454 || 330 | 910437 | 4/ 0 | 131736 | 0 | 32.99/33.04 c | 347 | 1.1 | 0 | 43928 | 462 | 67 | 18688858 | 498916 || 347 | 937985 | 4/ 0 | 135804 | 0 | 34.09/34.19 c | 356 | 1.2 | 0 | 45096 | 446 | 68 | 19195211 | 512657 || 356 | 963895 | 4/ 0 | 139627 | 0 | 35.38/35.42 c | 373 | 1.2 | 0 | 47815 | 12 | 69 | 19741924 | 527811 || 373 | 991226 | 4/ 0 | 143255 | 0 | 36.68/36.71 c | 381 | 1.3 | 0 | 48875 | 2098 | 70 | 20306956 | 541820 || 381 | 1024673 | 4/ 0 | 150195 | 0 | 37.88/37.91 c | 382 | 1.2 | 0 | 49569 | 4800 | 71 | 20844023 | 555716 || 382 | 1058406 | 4/ 0 | 156919 | 0 | 39.18/39.29 c | 382 | 1.4 | 0 | 51955 | 2803 | 72 | 21393797 | 569438 || 382 | 1081662 | 4/ 0 | 157120 | 0 | 40.68/40.76 c | 396 | 1.5 | 0 | 51286 | 280 | 73 | 21970343 | 582699 || 396 | 1098256 | 4/ 0 | 159656 | 0 | 42.08/42.12 c | 412 | 1.4 | 0 | 52966 | 1053 | 74 | 22554805 | 598583 || 412 | 1129639 | 4/ 0 | 163928 | 0 | 43.48/43.55 c | 426 | 1.4 | 0 | 53854 | 221 | 75 | 23172085 | 613733 || 426 | 1157064 | 4/ 0 | 167786 | 0 | 44.78/44.89 c | 443 | 1.3 | 0 | 54701 | 892 | 76 | 23770555 | 630384 || 443 | 1189417 | 4/ 0 | 172463 | 0 | 46.27/46.37 c | 445 | 1.5 | 0 | 55744 | 582 | 77 | 24337189 | 645528 || 445 | 1223925 | 4/ 0 | 177571 | 0 | 47.87/47.97 c | 460 | 1.6 | 0 | 56628 | 1150 | 78 | 24972103 | 661130 || 460 | 1248841 | 4/ 0 | 180975 | 0 | 49.58/49.64 c | 476 | 1.7 | 0 | 58619 | 1816 | 79 | 25620665 | 677269 || 476 | 1282079 | 4/ 0 | 186098 | 0 | 51.17/51.24 c | 491 | 1.6 | 0 | 57553 | 591 | 80 | 26271265 | 693450 || 491 | 1310509 | 4/ 0 | 189546 | 0 | 52.78/52.81 c | 507 | 1.6 | 0 | 58786 | 254 | 81 | 26883445 | 710948 || 507 | 1345739 | 4/ 0 | 194662 | 0 | 54.37/54.44 c | 509 | 1.6 | 0 | 60195 | 4053 | 82 | 27493890 | 726040 || 509 | 1384078 | 4/ 0 | 204641 | 0 | 56.08/56.13 c | 509 | 1.7 | 0 | 62203 | 3154 | 83 | 28084468 | 741122 || 509 | 1411447 | 4/ 0 | 204889 | 0 | 57.87/57.90 c | 510 | 1.8 | 0 | 64248 | 11957 | 84 | 28698662 | 756489 || 510 | 1461632 | 4/ 0 | 218127 | 0 | 59.97/60.05 c | 510 | 2.1 | 0 | 65116 | 1656 | 85 | 29293013 | 772854 || 510 | 1495342 | 4/ 0 | 218424 | 0 | 61.97/62.06 c | 510 | 2.0 | 0 | 64934 | 10658 | 86 | 29927643 | 784834 || 510 | 1495342 | 4/ 0 | 218424 | 0 | 63.97/64.07 c | 511 | 2.0 | 0 | 65829 | 19760 | 87 | 30479241 | 801844 || 511 | 1574469 | 4/ 0 | 244782 | 0 | 66.07/66.19 c | 511 | 2.1 | 0 | 62175 | 9202 | 88 | 30979852 | 819827 || 511 | 1614926 | 4/ 0 | 245185 | 0 | 68.67/68.73 c | 511 | 2.5 | 0 | 58463 | 9301 | 89 | 31499914 | 837517 || 511 | 1654968 | 4/ 0 | 245538 | 0 | 71.17/71.26 c | 511 | 2.5 | 0 | 56158 | 9264 | 90 | 32201451 | 849936 || 511 | 1655670 | 4/ 0 | 245540 | 0 | 73.77/73.83 c | 511 | 2.6 | 0 | 54497 | 18765 | 91 | 32944145 | 862193 || 511 | 1655670 | 4/ 0 | 245540 | 0 | 76.27/76.37 c | 520 | 2.5 | 0 | 54799 | 49 | 92 | 33676329 | 876497 || 520 | 1666901 | 4/ 0 | 247047 | 0 | 78.17/78.21 c | 541 | 1.8 | 0 | 50402 | 407 | 93 | 34417635 | 896679 || 541 | 1705552 | 4/ 0 | 252407 | 0 | 80.18/80.22 c | 557 | 2.0 | 0 | 52466 | 586 | 94 | 35195666 | 915979 || 557 | 1741613 | 4/ 0 | 257550 | 0 | 82.17/82.25 c | 574 | 2.0 | 0 | 57301 | 1661 | 95 | 35934690 | 935652 || 574 | 1783234 | 4/ 0 | 265937 | 0 | 84.07/84.14 c | 587 | 1.9 | 0 | 59988 | 128 | 96 | 36655301 | 954724 || 587 | 1814144 | 4/ 0 | 268192 | 0 | 86.17/86.27 c | 605 | 2.1 | 0 | 62321 | 1689 | 97 | 37425862 | 974864 || 605 | 1855847 | 4/ 0 | 274571 | 0 | 88.47/88.51 c | 626 | 2.2 | 0 | 65083 | 48 | 98 | 38178172 | 994695 || 626 | 1890165 | 4/ 0 | 278864 | 0 | 90.47/90.57 c | 637 | 2.0 | 0 | 64669 | 3724 | 99 | 38892387 | 1014450 || 637 | 1934543 | 4/ 0 | 286443 | 0 | 92.88/92.95 c | 638 | 2.4 | 0 | 66791 | 9328 | 100 | 39665387 | 1033187 || 638 | 1982836 | 3/ 0 | 293282 | 0 | 95.28/95.34 c | 651 | 2.4 | 0 | 68012 | 290 | 101 | 40442695 | 1050321 || 651 | 1999313 | 3/ 0 | 295429 | 0 | 97.38/97.49 c | 669 | 2.2 | 0 | 72019 | 2354 | 102 | 41226668 | 1071318 || 669 | 2042553 | 3/ 0 | 301818 | 0 | 99.88/99.95 c | 693 | 2.5 | 0 | 74112 | 116 | 103 | 42043371 | 1092384 || 693 | 2077290 | 3/ 0 | 306745 | 0 | 102.38/102.46 c | 701 | 2.5 | 0 | 76715 | 600 | 104 | 42838637 | 1112580 || 701 | 2123972 | 3/ 0 | 313767 | 0 | 104.88/104.92 c | 723 | 2.5 | 0 | 78123 | 459 | 105 | 43681069 | 1132609 || 723 | 2155961 | 3/ 0 | 318446 | 0 | 107.68/107.72 c | 743 | 2.8 | 0 | 79182 | 222 | 106 | 44515322 | 1153325 || 743 | 2195675 | 3/ 0 | 324088 | 0 | 110.28/110.31 c | 763 | 2.6 | 0 | 80866 | 2295 | 107 | 45323910 | 1175746 || 763 | 2241193 | 3/ 0 | 330816 | 0 | 113.08/113.10 c | 765 | 2.8 | 0 | 78829 | 6295 | 108 | 46095659 | 1196119 || 765 | 2287783 | 3/ 0 | 340840 | 0 | 116.08/116.15 c | 766 | 3.1 | 0 | 78995 | 7996 | 109 | 46825950 | 1213990 || 766 | 2332682 | 3/ 0 | 354067 | 0 | 118.88/118.90 c | 766 | 2.8 | 0 | 80439 | 197 | 110 | 47495349 | 1237037 || 766 | 2387282 | 3/ 0 | 354527 | 0 | 122.38/122.42 c | 766 | 3.5 | 0 | 79356 | 11700 | 111 | 48333535 | 1252367 || 766 | 2387282 | 3/ 0 | 354527 | 0 | 125.28/125.34 c | 795 | 2.9 | 0 | 82414 | 229 | 112 | 49201087 | 1275234 || 795 | 2428220 | 3/ 0 | 360540 | 0 | 128.28/128.34 c | 812 | 3.0 | 0 | 83762 | 502 | 113 | 50034955 | 1297214 || 812 | 2470315 | 3/ 0 | 366519 | 0 | 131.18/131.25 c | 829 | 2.9 | 0 | 84110 | 3461 | 114 | 50897434 | 1319705 || 829 | 2520777 | 3/ 0 | 374951 | 0 | 134.48/134.58 c | 848 | 3.3 | 0 | 86999 | 22 | 115 | 51815193 | 1341933 || 848 | 2555844 | 3/ 0 | 378974 | 0 | 137.48/137.55 c | 871 | 3.0 | 0 | 86522 | 272 | 116 | 52701977 | 1365243 || 871 | 2600022 | 3/ 0 | 385391 | 0 | 140.78/140.82 c | 891 | 3.3 | 0 | 90879 | 932 | 117 | 53595404 | 1388892 || 891 | 2645266 | 3/ 0 | 392082 | 0 | 143.98/144.03 c | 893 | 3.2 | 0 | 87887 | 8326 | 118 | 54445156 | 1410684 || 893 | 2702342 | 3/ 0 | 402190 | 0 | 147.58/147.69 c | 907 | 3.7 | 0 | 89064 | 197 | 119 | 55404862 | 1431401 || 907 | 2727201 | 3/ 0 | 404809 | 0 | 150.88/151.00 c | 928 | 3.3 | 0 | 92500 | 52 | 120 | 56298374 | 1454748 || 928 | 2772447 | 3/ 0 | 411308 | 0 | 154.58/154.62 c | 955 | 3.6 | 0 | 94145 | 1407 | 121 | 57205280 | 1478984 || 955 | 2822323 | 3/ 0 | 419303 | 0 | 157.97/158.02 c | 968 | 3.4 | 0 | 94617 | 88 | 122 | 58075959 | 1501026 || 968 | 2861172 | 3/ 0 | 424668 | 0 | 161.27/161.31 c | 989 | 3.3 | 0 | 96961 | 138 | 123 | 59008474 | 1524549 || 989 | 2906186 | 3/ 0 | 431468 | 0 | 164.67/164.76 c | 1018 | 3.5 | 0 | 97990 | 974 | 124 | 59953747 | 1549724 || 1018 | 2956840 | 3/ 0 | 439718 | 0 | 167.97/168.08 c | 1020 | 3.3 | 0 | 98817 | 6676 | 125 | 60834681 | 1572609 || 1020 | 3013559 | 3/ 0 | 449851 | 0 | 172.07/172.17 c | 1021 | 4.1 | 0 | 97760 | 10076 | 126 | 61720294 | 1593979 || 1021 | 3067414 | 3/ 0 | 463122 | 0 | 177.08/177.18 c | 1021 | 5.0 | 0 | 98244 | 3973 | 127 | 62584877 | 1616385 || 1021 | 3107849 | 3/ 0 | 463483 | 0 | 181.17/181.20 c | 1022 | 4.0 | 0 | 99420 | 17175 | 128 | 63497748 | 1637005 || 1022 | 3176312 | 3/ 0 | 489732 | 0 | 185.57/185.63 c | 1022 | 4.4 | 0 | 101112 | 13301 | 129 | 64255440 | 1662004 || 1022 | 3237847 | 3/ 0 | 490280 | 0 | 190.37/190.43 c | 1022 | 4.8 | 0 | 97890 | 5476 | 130 | 65120066 | 1683879 || 1022 | 3272419 | 3/ 0 | 490554 | 0 | 194.68/194.79 c | 1022 | 4.4 | 0 | 90360 | 18978 | 131 | 66124250 | 1701597 || 1022 | 3272419 | 3/ 0 | 490554 | 0 | 199.77/199.84 c | 1023 | 5.0 | 0 | 90341 | 32583 | 132 | 67085849 | 1723753 || 1023 | 3400689 | 3/ 0 | 543032 | 0 | 205.07/205.18 c | 1023 | 5.3 | 0 | 94396 | 13701 | 133 | 67975497 | 1749764 || 1023 | 3468612 | 3/ 0 | 543637 | 0 | 209.57/209.65 c | 1023 | 4.5 | 0 | 92657 | 13802 | 134 | 68892921 | 1776806 || 1023 | 3534957 | 3/ 0 | 544208 | 0 | 214.07/214.18 c | 1023 | 4.5 | 0 | 84163 | 13901 | 135 | 69787948 | 1804092 || 1023 | 3601681 | 3/ 0 | 544820 | 0 | 219.27/219.35 c | 1023 | 5.2 | 0 | 86162 | 11190 | 136 | 70917222 | 1823783 || 1023 | 3616136 | 3/ 0 | 544929 | 0 | 224.08/224.15 c | 1023 | 4.8 | 0 | 89677 | 25292 | 137 | 72037575 | 1841982 || 1023 | 3616136 | 3/ 0 | 544929 | 0 | 229.18/229.21 c | 1023 | 5.0 | 0 | 91660 | 39493 | 138 | 73200742 | 1859695 || 1023 | 3616136 | 3/ 0 | 544929 | 0 | 232.78/232.85 c | 1031 | 3.7 | 0 | 93752 | 82 | 139 | 74301284 | 1881034 || 1031 | 3626613 | 3/ 0 | 546315 | 0 | 235.88/235.96 c | 1058 | 3.1 | 0 | 97851 | 31 | 140 | 75355524 | 1910520 || 1058 | 3681359 | 3/ 0 | 553986 | 0 | 239.08/239.18 c | 1085 | 3.2 | 0 | 104098 | 970 | 141 | 76392633 | 1939447 || 1085 | 3736483 | 3/ 0 | 561996 | 0 | 242.88/242.93 c | 1106 | 3.8 | 0 | 109036 | 32 | 142 | 77494708 | 1967324 || 1106 | 3788040 | 3/ 0 | 569482 | 0 | 246.68/246.77 c | 1132 | 3.8 | 0 | 110401 | 576 | 143 | 78615605 | 1997531 || 1132 | 3844882 | 3/ 0 | 577403 | 0 | 250.69/250.80 c | 1149 | 4.0 | 0 | 104970 | 1743 | 144 | 79693343 | 2025043 || 1149 | 3901137 | 3/ 0 | 585922 | 0 | 254.88/254.94 c | 1153 | 4.1 | 0 | 99650 | 38 | 145 | 80711168 | 2050144 || 1153 | 3945542 | 3/ 0 | 593197 | 0 | 258.98/259.08 c | 1181 | 4.1 | 0 | 93716 | 1202 | 146 | 81818068 | 2080095 || 1181 | 4002627 | 3/ 0 | 601337 | 0 | 262.89/262.97 c | 1212 | 3.9 | 0 | 93983 | 249 | 147 | 82874346 | 2109768 || 1212 | 4060198 | 3/ 0 | 609877 | 0 | 266.98/267.03 c | 1233 | 4.1 | 0 | 97379 | 109 | 148 | 84021046 | 2138039 || 1233 | 4111114 | 3/ 0 | 617311 | 0 | 271.08/271.17 c | 1261 | 4.1 | 0 | 98447 | 156 | 149 | 85153234 | 2168150 || 1261 | 4166341 | 3/ 0 | 625457 | 0 | 275.08/275.16 c | 1276 | 4.0 | 0 | 100603 | 2814 | 150 | 86275058 | 2196086 || 1276 | 4220485 | 3/ 0 | 633767 | 0 | 279.18/279.23 c | 1278 | 4.1 | 0 | 101817 | 8717 | 151 | 87352070 | 2223084 || 1278 | 4299223 | 3/ 0 | 653699 | 0 | 283.69/283.73 c | 1278 | 4.5 | 0 | 106676 | 5117 | 152 | 88471782 | 2250294 || 1278 | 4346827 | 3/ 0 | 654082 | 0 | 287.98/288.10 c | 1299 | 4.4 | 0 | 106203 | 158 | 153 | 89665954 | 2276707 || 1299 | 4377125 | 3/ 0 | 658340 | 0 | 292.38/292.50 c | 1330 | 4.4 | 0 | 109129 | 190 | 154 | 90821649 | 2307834 || 1330 | 4434876 | 3/ 0 | 666865 | 0 | 296.99/297.02 c | 1346 | 4.5 | 0 | 109332 | 55 | 155 | 91953389 | 2336681 || 1346 | 4491498 | 3/ 0 | 675212 | 0 | 301.68/301.79 c | 1377 | 4.8 | 0 | 111708 | 192 | 156 | 93156334 | 2366766 || 1377 | 4549962 | 3/ 0 | 683730 | 0 | 306.28/306.39 c | 1404 | 4.6 | 0 | 113103 | 2734 | 157 | 94313769 | 2397155 || 1404 | 4615184 | 3/ 0 | 694943 | 0 | 311.18/311.30 c | 1405 | 4.9 | 0 | 114175 | 4530 | 158 | 95398419 | 2424331 || 1405 | 4668425 | 3/ 0 | 701834 | 0 | 316.38/316.40 c | 1436 | 5.1 | 0 | 118296 | 2375 | 159 | 96613925 | 2455291 || 1436 | 4727619 | 3/ 0 | 710286 | 0 | 321.38/321.49 c | 1467 | 5.1 | 0 | 117465 | 311 | 160 | 97826334 | 2486157 || 1467 | 4784910 | 3/ 0 | 718808 | 0 | 326.78/326.84 c | 1490 | 5.4 | 0 | 119275 | 363 | 161 | 99036359 | 2515756 || 1490 | 4838494 | 3/ 0 | 726897 | 0 | 331.98/332.03 c | 1524 | 5.2 | 0 | 121489 | 186 | 162 | 100247211 | 2547883 || 1524 | 4897914 | 3/ 0 | 735828 | 0 | 337.18/337.23 c | 1532 | 5.2 | 0 | 122466 | 6770 | 163 | 101452302 | 2577844 || 1532 | 4969548 | 3/ 0 | 749294 | 0 | 342.68/342.73 c | 1533 | 5.5 | 0 | 123048 | 13972 | 164 | 102675895 | 2607142 || 1533 | 5043098 | 3/ 0 | 762742 | 0 | 348.18/348.29 c | 1533 | 5.6 | 0 | 121939 | 11673 | 165 | 103825279 | 2632724 || 1533 | 5067242 | 3/ 0 | 762965 | 0 | 354.28/354.31 c | 1534 | 6.0 | 0 | 122669 | 28676 | 166 | 104890645 | 2664146 || 1534 | 5189331 | 3/ 0 | 789705 | 0 | 361.78/361.89 c | 1534 | 7.6 | 0 | 124118 | 7376 | 167 | 106063323 | 2692044 || 1534 | 5236000 | 3/ 0 | 790112 | 0 | 368.58/368.68 c | 1534 | 6.8 | 0 | 123685 | 24577 | 168 | 107408753 | 2713716 || 1534 | 5236000 | 3/ 0 | 790112 | 0 | 374.48/374.54 c | 1567 | 5.9 | 0 | 128176 | 113 | 169 | 108695503 | 2746372 || 1567 | 5296194 | 3/ 0 | 798869 | 0 | 380.28/380.36 c | 1597 | 5.8 | 0 | 129266 | 3161 | 170 | 109956860 | 2779448 || 1597 | 5367211 | 3/ 0 | 810525 | 0 | 386.28/386.30 c | 1627 | 5.9 | 0 | 132701 | 570 | 171 | 111257765 | 2812287 || 1627 | 5422309 | 3/ 0 | 817429 | 0 | 392.38/392.43 c | 1659 | 6.1 | 0 | 131443 | 2102 | 172 | 112577696 | 2846212 || 1659 | 5491003 | 3/ 0 | 827687 | 0 | 398.09/398.19 c | 1661 | 5.8 | 0 | 135802 | 2999 | 173 | 113794363 | 2875590 || 1661 | 5556641 | 3/ 0 | 837891 | 0 | 404.09/404.19 c | 1692 | 6.0 | 0 | 136576 | 2337 | 174 | 115071247 | 2907664 || 1692 | 5615252 | 3/ 0 | 846447 | 0 | 410.39/410.49 c | 1724 | 6.3 | 0 | 132678 | 1766 | 175 | 116386087 | 2940643 || 1724 | 5681784 | 3/ 0 | 858278 | 0 | 416.59/416.67 c | 1754 | 6.2 | 0 | 134678 | 891 | 176 | 117704095 | 2974047 || 1754 | 5743138 | 3/ 0 | 865207 | 0 | 423.39/423.43 c | 1786 | 6.8 | 0 | 139987 | 1732 | 177 | 119081320 | 3008322 || 1786 | 5809110 | 3/ 0 | 875415 | 0 | 429.69/429.70 c | 1788 | 6.3 | 0 | 140849 | 3131 | 178 | 120364662 | 3038883 || 1788 | 5875291 | 3/ 0 | 885601 | 0 | 436.89/436.99 c | 1789 | 7.3 | 0 | 141678 | 2231 | 179 | 121602411 | 3070209 || 1789 | 5956976 | 3/ 0 | 899165 | 0 | 444.29/444.38 c | 1810 | 7.4 | 0 | 136641 | 291 | 180 | 123036286 | 3098856 || 1810 | 5987534 | 3/ 0 | 903440 | 0 | 451.09/451.17 c | 1848 | 6.8 | 0 | 137006 | 12 | 181 | 124404806 | 3133645 || 1848 | 6053119 | 3/ 0 | 913213 | 0 | 457.49/457.60 c | 1867 | 6.4 | 0 | 137632 | 767 | 182 | 125737660 | 3166935 || 1867 | 6116465 | 3/ 0 | 923009 | 0 | 464.59/464.68 c | 1906 | 7.1 | 0 | 137928 | 75 | 183 | 127080138 | 3202387 || 1906 | 6184694 | 3/ 0 | 932967 | 0 | 471.09/471.13 c | 1916 | 6.4 | 0 | 141323 | 8567 | 184 | 128428007 | 3236030 || 1916 | 6269872 | 3/ 0 | 946813 | 0 | 478.39/478.50 c | 1946 | 7.4 | 0 | 146019 | 599 | 185 | 129830345 | 3269442 || 1946 | 6320022 | 3/ 0 | 953679 | 0 | 485.69/485.78 c | 1978 | 7.3 | 0 | 153555 | 2322 | 186 | 131213920 | 3305096 || 1978 | 6391842 | 3/ 0 | 963865 | 0 | 493.19/493.27 c | 2008 | 7.5 | 0 | 150587 | 147 | 187 | 132590232 | 3339856 || 2008 | 6456059 | 3/ 0 | 973234 | 0 | 500.89/500.90 c | 2041 | 7.6 | 0 | 152546 | 2095 | 188 | 133978715 | 3375496 || 2041 | 6526957 | 3/ 0 | 984296 | 0 | 508.09/508.17 c | 2043 | 7.3 | 0 | 151366 | 4591 | 189 | 135346924 | 3407411 || 2043 | 6591733 | 3/ 0 | 994524 | 0 | 515.59/515.66 c | 2044 | 7.5 | 0 | 151754 | 4793 | 190 | 136548136 | 3439947 || 2044 | 6670730 | 3/ 0 | 1008021 | 0 | 523.49/523.52 c | 2045 | 7.9 | 0 | 149144 | 24301 | 191 | 137911069 | 3472527 || 2045 | 6773088 | 3/ 0 | 1034563 | 0 | 531.29/531.38 c | 2045 | 7.9 | 0 | 148632 | 5502 | 192 | 139226729 | 3506118 || 2045 | 6838018 | 3/ 0 | 1035102 | 0 | 539.48/539.59 c | 2045 | 8.2 | 0 | 152830 | 25204 | 193 | 140825597 | 3530886 || 2045 | 6838018 | 3/ 0 | 1035102 | 0 | 548.68/548.73 c | 2046 | 9.1 | 0 | 155770 | 45007 | 194 | 142235030 | 3568158 || 2046 | 7019918 | 3/ 0 | 1087992 | 0 | 558.70/558.72 c | 2046 | 10.0 | 0 | 147645 | 19905 | 195 | 143529329 | 3604514 || 2046 | 7106437 | 3/ 0 | 1088767 | 0 | 568.99/569.01 c | 2046 | 10.3 | 0 | 137817 | 8108 | 196 | 145023818 | 3636126 || 2046 | 7157373 | 3/ 0 | 1089206 | 0 | 578.09/578.13 c | 2046 | 9.1 | 0 | 133497 | 28210 | 197 | 146759032 | 3662034 || 2046 | 7157373 | 3/ 0 | 1089206 | 0 | 587.29/587.35 c | 2046 | 9.2 | 0 | 134257 | 48411 | 198 | 148459039 | 3687232 || 2046 | 7157373 | 3/ 0 | 1089206 | 0 | 595.49/595.58 c | 2047 | 8.2 | 0 | 134430 | 68714 | 199 | 149812117 | 3724958 || 2047 | 7425486 | 3/ 0 | 1194224 | 0 | 603.90/603.97 c | 2047 | 8.4 | 0 | 125317 | 20404 | 200 | 151015813 | 3763637 || 2047 | 7516320 | 3/ 0 | 1195089 | 0 | 612.29/612.34 c | 2047 | 8.4 | 0 | 129056 | 20503 | 201 | 152219805 | 3802080 || 2047 | 7604310 | 3/ 0 | 1195857 | 0 | 622.69/622.78 c | 2047 | 10.5 | 0 | 132937 | 20602 | 202 | 153394519 | 3840735 || 2047 | 7689800 | 3/ 0 | 1196611 | 0 | 633.79/633.88 c | 2047 | 11.1 | 0 | 130842 | 20704 | 203 | 154655412 | 3879453 || 2047 | 7776877 | 3/ 0 | 1197427 | 0 | 642.19/642.26 c | 2047 | 8.4 | 0 | 126194 | 18127 | 204 | 156277866 | 3907543 || 2047 | 7788060 | 3/ 0 | 1197528 | 0 | 650.89/650.96 c | 2047 | 8.7 | 0 | 121921 | 39030 | 205 | 158024853 | 3933626 || 2047 | 7788060 | 3/ 0 | 1197528 | 0 | 659.99/660.05 c | 2047 | 9.1 | 0 | 127376 | 60031 | 206 | 159772301 | 3959699 || 2047 | 7788060 | 3/ 0 | 1197528 | 0 | 669.99/670.09 c | 2047 | 10.0 | 0 | 139235 | 81135 | 207 | 161425213 | 3986261 || 2047 | 7788060 | 3/ 0 | 1197528 | 0 | 679.89/679.92 c | 2047 | 9.8 | 0 | 153345 | 102337 | 208 | 163121115 | 4013170 || 2047 | 7788060 | 3/ 0 | 1197528 | 0 | 687.59/687.63 c | 2093 | 7.7 | 0 | 166578 | 748 | 209 | 164672355 | 4055011 || 2093 | 7867905 | 3/ 0 | 1209464 | 0 | 695.89/695.93 c | 2124 | 8.3 | 0 | 171244 | 296 | 210 | 166334634 | 4095597 || 2124 | 7945622 | 3/ 0 | 1220576 | 0 | 704.59/704.61 c | 2166 | 8.7 | 0 | 167172 | 121 | 211 | 167931993 | 4138204 || 2166 | 8025565 | 3/ 0 | 1231688 | 0 | 713.50/713.59 c | 2174 | 9.0 | 0 | 162236 | 2303 | 212 | 169536312 | 4176796 || 2174 | 8113170 | 3/ 0 | 1245217 | 0 | 722.40/722.48 c | 2211 | 8.9 | 0 | 159166 | 102 | 213 | 171141975 | 4217611 || 2211 | 8179611 | 3/ 0 | 1254606 | 0 | 731.50/731.54 c | 2241 | 9.1 | 0 | 151096 | 241 | 214 | 172740052 | 4257578 || 2241 | 8256305 | 3/ 0 | 1266213 | 0 | 740.70/740.76 c | 2285 | 9.2 | 0 | 142909 | 149 | 215 | 174346164 | 4300485 || 2285 | 8336496 | 3/ 0 | 1277830 | 0 | 749.70/749.70 c | 2301 | 9.0 | 0 | 143158 | 9426 | 216 | 175879112 | 4340633 || 2301 | 8432623 | 3/ 0 | 1292891 | 0 | 758.70/758.77 c | 2302 | 9.1 | 0 | 145756 | 2724 | 217 | 177421843 | 4378040 || 2302 | 8514564 | 3/ 0 | 1306420 | 0 | 767.59/767.64 c | 2332 | 8.9 | 0 | 145835 | 52 | 218 | 179048169 | 4414745 || 2332 | 8560719 | 3/ 0 | 1313223 | 0 | 776.69/776.79 c | 2365 | 9.2 | 0 | 151360 | 3876 | 219 | 180672830 | 4456664 || 2365 | 8645180 | 3/ 0 | 1326829 | 0 | 786.40/786.45 c | 2403 | 9.7 | 0 | 151171 | 188 | 220 | 182339402 | 4497896 || 2403 | 8716795 | 3/ 0 | 1336694 | 0 | 796.19/796.23 c | 2429 | 9.8 | 0 | 153067 | 5421 | 221 | 183959564 | 4539742 || 2429 | 8810732 | 3/ 0 | 1353961 | 0 | 805.79/805.88 c | 2459 | 9.6 | 0 | 155665 | 1170 | 222 | 185575221 | 4579351 || 2459 | 8876630 | 3/ 0 | 1361007 | 0 | 815.99/816.02 c | 2492 | 10.1 | 0 | 160739 | 4198 | 223 | 187218301 | 4621379 || 2492 | 8963705 | 3/ 0 | 1374644 | 0 | 826.30/826.30 c | 2533 | 10.3 | 0 | 164767 | 220 | 224 | 188891966 | 4663355 || 2533 | 9036343 | 3/ 0 | 1384958 | 0 | 836.40/836.41 c | 2556 | 10.1 | 0 | 163422 | 6574 | 225 | 190567853 | 4704760 || 2556 | 9130767 | 3/ 0 | 1401792 | 0 | 847.20/847.29 c | 2557 | 10.9 | 0 | 167315 | 768 | 226 | 192134447 | 4744038 || 2557 | 9228079 | 3/ 0 | 1415424 | 0 | 857.70/857.77 c | 2558 | 10.5 | 0 | 168628 | 23870 | 227 | 193695709 | 4782258 || 2558 | 9324815 | 3/ 0 | 1441914 | 0 | 870.30/870.40 c | 2558 | 12.6 | 0 | 171737 | 8668 | 228 | 195316897 | 4820765 || 2558 | 9386429 | 3/ 0 | 1442456 | 0 | 882.89/882.95 c | 2573 | 12.6 | 0 | 166945 | 737 | 229 | 197081068 | 4854471 || 2573 | 9410317 | 3/ 0 | 1445864 | 0 | 893.40/893.46 c | 2620 | 10.5 | 0 | 172786 | 1609 | 230 | 198787644 | 4898056 || 2620 | 9497485 | 3/ 0 | 1459469 | 0 | 904.20/904.26 c | 2652 | 10.8 | 0 | 172706 | 233 | 231 | 200489965 | 4940843 || 2652 | 9579600 | 3/ 0 | 1471359 | 0 | 915.20/915.25 c | 2684 | 11.0 | 0 | 175186 | 2978 | 232 | 202201651 | 4983379 || 2684 | 9660068 | 3/ 0 | 1483282 | 0 | 926.29/926.30 c | 2714 | 11.1 | 0 | 178293 | 410 | 233 | 203932791 | 5024949 || 2714 | 9742153 | 3/ 0 | 1496001 | 0 | 937.10/937.20 c | 2748 | 10.9 | 0 | 178849 | 3950 | 234 | 205613735 | 5068608 || 2748 | 9830900 | 3/ 0 | 1510405 | 0 | 949.09/949.12 c | 2792 | 11.9 | 0 | 186981 | 255 | 235 | 207411092 | 5112491 || 2792 | 9907952 | 3/ 0 | 1521131 | 0 | 960.09/960.18 c | 2812 | 11.1 | 0 | 180941 | 8501 | 236 | 209164458 | 5155030 || 2812 | 10008554 | 3/ 0 | 1537661 | 0 | 972.10/972.12 c | 2813 | 11.9 | 0 | 183987 | 3799 | 237 | 210855341 | 5194605 || 2813 | 10097182 | 3/ 0 | 1551239 | 0 | 984.51/984.52 c | 2844 | 12.4 | 0 | 186453 | 741 | 238 | 212691063 | 5235471 || 2844 | 10154770 | 3/ 0 | 1559775 | 0 | 996.30/996.35 c | 2880 | 11.8 | 0 | 189964 | 80 | 239 | 214448289 | 5278525 || 2880 | 10235841 | 3/ 0 | 1572258 | 0 | 1008.61/1008.65 c | 2932 | 12.3 | 0 | 193714 | 171 | 240 | 216197125 | 5324614 || 2932 | 10323574 | 3/ 0 | 1585347 | 0 | 1020.40/1020.48 c | 2940 | 11.8 | 0 | 194754 | 4956 | 241 | 217833964 | 5366091 || 2940 | 10409157 | 3/ 0 | 1598970 | 0 | 1033.20/1033.26 c | 2989 | 12.8 | 0 | 196547 | 61 | 242 | 219572023 | 5410819 || 2989 | 10491326 | 3/ 0 | 1611332 | 0 | 1045.90/1045.95 c | 3028 | 12.7 | 0 | 197607 | 188 | 243 | 221263552 | 5454984 || 3028 | 10578514 | 3/ 0 | 1624560 | 0 | 1059.00/1059.02 c | 3066 | 13.1 | 0 | 201208 | 3613 | 244 | 223040302 | 5501140 || 3066 | 10675255 | 3/ 0 | 1639845 | 0 | 1071.20/1071.26 c | 3068 | 12.2 | 0 | 196707 | 14113 | 245 | 224659766 | 5542414 || 3068 | 10782954 | 3/ 0 | 1660038 | 0 | 1084.20/1084.23 c | 3069 | 13.0 | 0 | 197664 | 19918 | 246 | 226311159 | 5582215 || 3069 | 10886114 | 3/ 0 | 1686551 | 0 | 1096.71/1096.78 c | 3069 | 12.5 | 0 | 202584 | 6619 | 247 | 228007982 | 5625978 || 3069 | 10968073 | 3/ 0 | 1687289 | 0 | 1110.10/1110.16 c | 3070 | 13.4 | 0 | 202896 | 31820 | 248 | 229815918 | 5662361 || 3070 | 11089768 | 3/ 0 | 1739692 | 0 | 1125.80/1125.82 c | 3070 | 15.7 | 0 | 202621 | 25304 | 249 | 231384680 | 5710596 || 3070 | 11199039 | 3/ 0 | 1740713 | 0 | 1143.70/1143.77 c | 3070 | 17.9 | 0 | 188247 | 5725 | 250 | 232951674 | 5754607 || 3070 | 11285995 | 3/ 0 | 1741498 | 0 | 1159.31/1159.39 c | 3070 | 15.6 | 0 | 172580 | 31226 | 251 | 234721783 | 5786614 || 3070 | 11285995 | 3/ 0 | 1741498 | 0 | 1173.50/1173.54 c | 3085 | 14.1 | 0 | 176698 | 0 | 252 | 236520150 | 5822969 || 3085 | 11309669 | 3/ 0 | 1744886 | 0 | 1185.60/1185.67 c | 3132 | 12.1 | 0 | 178060 | 788 | 253 | 238389870 | 5870455 || 3132 | 11400548 | 3/ 0 | 1758521 | 0 | 1198.60/1198.69 c | 3172 | 13.0 | 0 | 178835 | 8 | 254 | 240288958 | 5916525 || 3172 | 11488431 | 3/ 0 | 1771867 | 0 | 1211.30/1211.32 c | 3197 | 12.6 | 0 | 181426 | 9165 | 255 | 242099302 | 5963008 || 3197 | 11598825 | 3/ 0 | 1789168 | 0 | 1223.80/1223.88 c | 3238 | 12.6 | 0 | 195507 | 73 | 256 | 244002185 | 6009030 || 3238 | 11671056 | 3/ 0 | 1799430 | 0 | 1237.20/1237.27 c | 3277 | 13.4 | 0 | 207510 | 5 | 257 | 245866308 | 6056107 || 3277 | 11761928 | 3/ 0 | 1813225 | 0 | 1252.20/1252.24 c | 3323 | 15.0 | 0 | 200860 | 2399 | 258 | 247805880 | 6104748 || 3323 | 11862136 | 3/ 0 | 1829940 | 0 | 1267.60/1267.60 c | 3325 | 15.4 | 0 | 190948 | 14298 | 259 | 249777370 | 6149761 || 3325 | 11978825 | 3/ 0 | 1850188 | 0 | 1281.60/1281.63 c | 3347 | 14.0 | 0 | 190221 | 251 | 260 | 251665267 | 6192784 || 3347 | 12034352 | 3/ 0 | 1855096 | 0 | 1295.90/1295.99 c | 3388 | 14.4 | 0 | 193935 | 4677 | 261 | 253549361 | 6241169 || 3388 | 12137273 | 3/ 0 | 1870867 | 0 | 1310.30/1310.30 c | 3437 | 14.3 | 0 | 195512 | 143 | 262 | 255443064 | 6289365 || 3437 | 12221499 | 3/ 0 | 1883206 | 0 | 1325.70/1325.74 c | 3452 | 15.4 | 0 | 195478 | 5017 | 263 | 257469497 | 6334690 || 3452 | 12315686 | 3/ 0 | 1898035 | 0 | 1340.70/1340.78 c | 3508 | 15.0 | 0 | 195002 | 193 | 264 | 259364704 | 6383830 || 3508 | 12406211 | 3/ 0 | 1911692 | 0 | 1355.60/1355.67 c | 3546 | 14.9 | 0 | 198394 | 1718 | 265 | 261290138 | 6431995 || 3546 | 12503194 | 3/ 0 | 1926912 | 0 | 1371.30/1371.38 c | 3579 | 15.7 | 0 | 204470 | 5461 | 266 | 263228292 | 6479858 || 3579 | 12607430 | 3/ 0 | 1945494 | 0 | 1387.71/1387.78 c | 3580 | 16.4 | 0 | 204669 | 3755 | 267 | 265054041 | 6524416 || 3580 | 12706821 | 3/ 0 | 1959215 | 0 | 1405.20/1405.24 c | 3581 | 17.5 | 0 | 208134 | 30956 | 268 | 266833897 | 6570783 || 3581 | 12841607 | 3/ 0 | 1986101 | 0 | 1421.80/1421.88 c | 3581 | 16.6 | 0 | 205379 | 19855 | 269 | 268838070 | 6609064 || 3581 | 12875473 | 3/ 0 | 1986428 | 0 | 1437.81/1437.82 c | 3627 | 16.0 | 0 | 210324 | 1141 | 270 | 270806607 | 6656324 || 3627 | 12954161 | 3/ 0 | 1998346 | 0 | 1453.81/1453.85 c | 3673 | 16.0 | 0 | 212395 | 330 | 271 | 272735228 | 6705192 || 3673 | 13047416 | 3/ 0 | 2012773 | 0 | 1470.21/1470.27 c | 3707 | 16.4 | 0 | 214413 | 2852 | 272 | 274724090 | 6753053 || 3707 | 13142676 | 3/ 0 | 2027233 | 0 | 1486.02/1486.07 c | 3739 | 15.8 | 0 | 216664 | 72 | 273 | 276669601 | 6801455 || 3739 | 13240900 | 3/ 0 | 2042521 | 0 | 1502.71/1502.78 c | 3784 | 16.7 | 0 | 219537 | 244 | 274 | 278699731 | 6850900 || 3784 | 13332222 | 3/ 0 | 2056578 | 0 | 1519.91/1519.96 c | 3833 | 17.2 | 0 | 222597 | 1140 | 275 | 280712747 | 6901538 || 3833 | 13430227 | 3/ 0 | 2071546 | 0 | 1536.51/1536.53 c | 3836 | 16.6 | 0 | 224527 | 14739 | 276 | 282631940 | 6949034 || 3836 | 13552659 | 3/ 0 | 2095024 | 0 | 1555.32/1555.34 c | 3865 | 18.8 | 0 | 222814 | 564 | 277 | 284600168 | 6994482 || 3865 | 13614309 | 3/ 0 | 2101233 | 0 | 1571.41/1571.44 c | 3902 | 16.1 | 0 | 223721 | 179 | 278 | 286568969 | 7043316 || 3902 | 13709307 | 3/ 0 | 2116098 | 0 | 1588.81/1588.83 c | 3960 | 17.4 | 0 | 226976 | 643 | 279 | 288602711 | 7095554 || 3960 | 13810187 | 3/ 0 | 2131038 | 0 | 1606.71/1606.75 c | 3978 | 17.9 | 0 | 228298 | 208 | 280 | 290491039 | 7142100 || 3978 | 13907208 | 3/ 0 | 2146313 | 0 | 1625.31/1625.39 c | 4026 | 18.6 | 0 | 231818 | 3807 | 281 | 292518746 | 7193838 || 4026 | 14014947 | 3/ 0 | 2163291 | 0 | 1644.11/1644.12 c | 4079 | 18.7 | 0 | 233229 | 490 | 282 | 294574940 | 7245580 || 4079 | 14107840 | 3/ 0 | 2176527 | 0 | 1661.41/1661.41 c | 4091 | 17.3 | 0 | 238363 | 8167 | 283 | 296511831 | 7293175 || 4091 | 14225722 | 3/ 0 | 2203635 | 0 | 1679.51/1679.53 c | 4092 | 18.1 | 0 | 239739 | 17772 | 284 | 298386491 | 7339633 || 4092 | 14341656 | 3/ 0 | 2230314 | 0 | 1699.71/1699.71 c | 4092 | 20.2 | 0 | 239268 | 8273 | 285 | 300315179 | 7388192 || 4092 | 14434336 | 3/ 0 | 2231132 | 0 | 1719.41/1719.42 c | 4093 | 19.7 | 0 | 245528 | 37277 | 286 | 302433297 | 7432584 || 4093 | 14584095 | 3/ 0 | 2283729 | 0 | 1740.82/1740.85 c | 4093 | 21.4 | 0 | 250656 | 29105 | 287 | 304355625 | 7487294 || 4093 | 14723306 | 3/ 0 | 2284940 | 0 | 1764.51/1764.50 c | 4093 | 23.7 | 0 | 246923 | 18777 | 288 | 306389958 | 7530807 || 4093 | 14770823 | 3/ 0 | 2285326 | 0 | 1786.42/1786.42 c | 4093 | 21.9 | 0 | 238874 | 48079 | 289 | 308587656 | 7567766 || 4093 | 14770823 | 3/ 0 | 2285326 | 0 | 1808.62/1808.66 c | 4094 | 22.2 | 0 | 235937 | 77484 | 290 | 310499974 | 7622214 || 4094 | 15080562 | 3/ 0 | 2390531 | 0 | 1831.22/1831.26 c | 4094 | 22.6 | 0 | 232358 | 29504 | 291 | 312307246 | 7677949 || 4094 | 15215195 | 3/ 0 | 2391781 | 0 | 1854.53/1854.54 c | 4094 | 23.3 | 0 | 229476 | 29604 | 292 | 314226605 | 7732613 || 4094 | 15349063 | 3/ 0 | 2392924 | 0 | 1882.42/1882.42 c | 4094 | 27.9 | 0 | 221600 | 12691 | 293 | 316408546 | 7779576 || 4094 | 15426029 | 3/ 0 | 2393611 | 0 | 1908.82/1908.87 c | 4094 | 26.4 | 0 | 232103 | 42492 | 294 | 318701860 | 7816415 || 4094 | 15426029 | 3/ 0 | 2393611 | 0 | 1927.33/1927.36 c | 4094 | 18.5 | 0 | 237050 | 72395 | 295 | 321075487 | 7854491 || 4094 | 15426029 | 3/ 0 | 2393611 | 0 | 1947.12/1947.10 c | 4094 | 19.7 | 0 | 228107 | 102397 | 296 | 323608564 | 7892199 || 4094 | 15426029 | 3/ 0 | 2393611 | 0 | 1963.12/1963.13 c | 4095 | 16.0 | 0 | 231458 | 132498 | 297 | 325504649 | 7950236 || 4095 | 15942032 | 3/ 0 | 2603300 | 0 | 1982.82/1982.82 c | 4095 | 19.7 | 0 | 231753 | 30205 | 298 | 327271719 | 8006960 || 4095 | 16075639 | 3/ 0 | 2604533 | 0 | 2001.93/2001.99 c | 4095 | 19.2 | 0 | 232681 | 30301 | 299 | 329104850 | 8063959 || 4095 | 16209749 | 3/ 0 | 2605695 | 0 | 2022.32/2022.37 c | 4095 | 20.4 | 0 | 228105 | 30402 | 300 | 330967210 | 8120401 || 4095 | 16339848 | 3/ 0 | 2606871 | 0 | 2044.83/2044.87 c | 4095 | 22.5 | 0 | 197987 | 30501 | 301 | 332763397 | 8177000 || 4095 | 16468318 | 3/ 0 | 2608128 | 0 | 2069.13/2069.13 c | 4095 | 24.3 | 0 | 181212 | 30611 | 302 | 334510077 | 8232557 || 4095 | 16592492 | 3/ 0 | 2609271 | 0 | 2095.12/2095.15 c | 4095 | 26.0 | 0 | 150193 | 8018 | 303 | 336401067 | 8284120 || 4095 | 16686824 | 3/ 0 | 2610135 | 0 | 2115.82/2115.83 c | 4095 | 20.7 | 0 | 150796 | 38819 | 304 | 338588805 | 8323259 || 4095 | 16686824 | 3/ 0 | 2610135 | 0 | 2136.42/2136.46 c | 4095 | 20.6 | 0 | 156480 | 69722 | 305 | 340737090 | 8362521 || 4095 | 16686824 | 3/ 0 | 2610135 | 0 | 2158.83/2158.82 c | 4095 | 22.4 | 0 | 162290 | 100725 | 306 | 342891703 | 8400809 || 4095 | 16686824 | 3/ 0 | 2610135 | 0 | 2181.53/2181.59 c | 4095 | 22.8 | 0 | 177797 | 131826 | 307 | 345111810 | 8439034 || 4095 | 16686824 | 3/ 0 | 2610135 | 0 | 2205.93/2205.96 c | 4095 | 24.4 | 0 | 195982 | 163029 | 308 | 347257264 | 8477894 || 4095 | 16686824 | 3/ 0 | 2610135 | 0 | 2226.34/2226.31 c | 4095 | 20.4 | 0 | 213453 | 194335 | 309 | 349552088 | 8517147 || 4095 | 16686824 | 3/ 0 | 2610135 | 0 | 2242.53/2242.51 c | 4141 | 16.2 | 0 | 234909 | 425 | 310 | 351849915 | 8572701 || 4141 | 16767061 | 3/ 0 | 2622134 | 0 | 2258.03/2258.08 c | 4189 | 15.6 | 0 | 245114 | 1842 | 311 | 354196896 | 8633760 || 4189 | 16884570 | 3/ 0 | 2639254 | 0 | 2273.33/2273.36 c | 4222 | 15.3 | 0 | 245953 | 576 | 312 | 356467216 | 8692926 || 4222 | 17010876 | 3/ 0 | 2658057 | 0 | 2291.23/2291.24 c | 4279 | 17.9 | 0 | 241106 | 66 | 313 | 358777006 | 8751094 || 4279 | 17106877 | 3/ 0 | 2671811 | 0 | 2308.43/2308.48 c | 4326 | 17.2 | 0 | 233952 | 82 | 314 | 361216726 | 8811907 || 4326 | 17222283 | 3/ 0 | 2688791 | 0 | 2324.24/2324.28 c | 4349 | 15.8 | 0 | 213020 | 6140 | 315 | 363467546 | 8867377 || 4349 | 17331249 | 3/ 0 | 2705736 | 0 | 2340.63/2340.70 c | 4365 | 16.4 | 0 | 204421 | 513 | 316 | 365638276 | 8921286 || 4365 | 17434535 | 1/ 0 | 2722680 | 0 | 2357.04/2357.05 c | 4413 | 16.4 | 0 | 206865 | 2929 | 317 | 367994980 | 8981324 || 4413 | 17550392 | 1/ 0 | 2739700 | 0 | 2373.44/2373.49 c | 4475 | 16.4 | 0 | 211807 | 1402 | 318 | 370342344 | 9041221 || 4475 | 17663162 | 1/ 0 | 2756716 | 0 | 2391.94/2391.91 c | 4508 | 18.4 | 0 | 216053 | 846 | 319 | 372713999 | 9097915 || 4508 | 17775556 | 1/ 0 | 2775369 | 0 | 2409.44/2409.46 c | 4557 | 17.5 | 0 | 213721 | 11 | 320 | 375004838 | 9157612 || 4557 | 17888862 | 1/ 0 | 2790983 | 0 | 2426.84/2426.81 c | 4604 | 17.4 | 0 | 221537 | 3912 | 321 | 377304767 | 9216736 || 4604 | 18015830 | 1/ 0 | 2814387 | 0 | 2442.84/2442.82 c | 4605 | 16.0 | 0 | 225084 | 7713 | 322 | 379415773 | 9270808 || 4605 | 18122709 | 1/ 0 | 2828105 | 0 | 2463.34/2463.39 c | 4606 | 20.6 | 0 | 226362 | 2011 | 323 | 381491256 | 9329098 || 4606 | 18289115 | 1/ 0 | 2855087 | 0 | 2485.24/2485.23 c | 4630 | 21.8 | 0 | 224032 | 50 | 324 | 383763972 | 9378247 || 4630 | 18323037 | 1/ 0 | 2860009 | 0 | 2503.13/2503.20 c | 4681 | 18.0 | 0 | 232726 | 26 | 325 | 386117791 | 9438446 || 4681 | 18438546 | 1/ 0 | 2877454 | 0 | 2521.43/2521.49 c | 4732 | 18.3 | 0 | 237981 | 1259 | 326 | 388435708 | 9499242 || 4732 | 18560918 | 1/ 0 | 2896029 | 0 | 2540.94/2540.91 c | 4771 | 19.4 | 0 | 240229 | 268 | 327 | 390736620 | 9557289 || 4771 | 18669233 | 1/ 0 | 2912622 | 0 | 2560.64/2560.67 c | 4827 | 19.8 | 0 | 238886 | 957 | 328 | 393220310 | 9618100 || 4827 | 18787737 | 1/ 0 | 2931628 | 0 | 2579.33/2579.40 c | 4860 | 18.7 | 0 | 239546 | 1377 | 329 | 395544910 | 9677165 || 4860 | 18916597 | 1/ 0 | 2950423 | 0 | 2599.43/2599.41 c | 4870 | 20.0 | 0 | 251041 | 57 | 330 | 398006724 | 9730256 || 4870 | 19011594 | 1/ 0 | 2965518 | 0 | 2619.93/2619.99 c | 4924 | 20.6 | 0 | 249060 | 964 | 331 | 400445116 | 9792508 || 4924 | 19136080 | 1/ 0 | 2984482 | 0 | 2641.44/2641.43 c | 4986 | 21.4 | 0 | 248042 | 832 | 332 | 402912902 | 9854639 || 4986 | 19249147 | 1/ 0 | 3001465 | 0 | 2663.34/2663.35 c | 5019 | 21.9 | 0 | 248559 | 1681 | 333 | 405439937 | 9912723 || 5019 | 19367052 | 1/ 0 | 3020085 | 0 | 2684.14/2684.13 c | 5074 | 20.8 | 0 | 254920 | 45 | 334 | 407848102 | 9973651 || 5074 | 19483308 | 1/ 0 | 3036828 | 0 | 2705.64/2705.63 c | 5115 | 21.5 | 0 | 258846 | 7569 | 335 | 410228122 | 10035450 || 5115 | 19615208 | 1/ 0 | 3059186 | 0 | 2725.64/2725.70 c | 5116 | 20.1 | 0 | 258007 | 12765 | 336 | 412632452 | 10088644 || 5116 | 19706202 | 1/ 0 | 3072781 | 0 | 2749.64/2749.61 c | 5117 | 23.9 | 0 | 255672 | 8465 | 337 | 414975196 | 10147877 || 5117 | 19867097 | 1/ 0 | 3099878 | 0 | 2775.04/2775.07 c | 5118 | 25.5 | 0 | 252299 | 42667 | 338 | 417440189 | 10201414 || 5118 | 20040324 | 1/ 0 | 3152659 | 0 | 2799.94/2799.98 c | 5118 | 24.9 | 0 | 255755 | 171 | 339 | 419586881 | 10264055 || 5118 | 20193971 | 1/ 0 | 3154024 | 0 | 2821.24/2821.24 c | 5118 | 21.3 | 0 | 243843 | 34573 | 340 | 422189280 | 10307554 || 5118 | 20193971 | 1/ 0 | 3154024 | 0 | 2843.94/2843.98 c | 5156 | 22.7 | 0 | 251456 | 402 | 341 | 424749923 | 10361464 || 5156 | 20258694 | 1/ 0 | 3163841 | 0 | 2866.24/2866.21 c | 5212 | 22.2 | 0 | 258585 | 1878 | 342 | 427255418 | 10424282 || 5212 | 20382544 | 1/ 0 | 3182950 | 0 | 2888.04/2888.09 c | 5245 | 21.9 | 0 | 256853 | 3706 | 343 | 429754762 | 10484967 || 5245 | 20507452 | 1/ 0 | 3201738 | 0 | 2910.66/2910.62 c | 5307 | 22.6 | 0 | 268079 | 1556 | 344 | 432262516 | 10546582 || 5307 | 20621627 | 1/ 0 | 3218810 | 0 | 2934.35/2934.40 c | 5369 | 23.8 | 0 | 270680 | 342 | 345 | 434746569 | 10610958 || 5369 | 20746904 | 1/ 0 | 3237569 | 0 | 2959.75/2959.77 c | 5373 | 25.4 | 0 | 275922 | 18532 | 346 | 437193557 | 10671798 || 5373 | 20900107 | 1/ 0 | 3263009 | 0 | 2984.75/2984.74 c | 5419 | 25.0 | 0 | 263701 | 1138 | 347 | 439653042 | 10729262 || 5419 | 20982553 | 1/ 0 | 3274936 | 0 | 3009.85/3009.83 c | 5474 | 25.1 | 0 | 259282 | 207 | 348 | 442208982 | 10793057 || 5474 | 21102887 | 1/ 0 | 3293292 | 0 | 3033.05/3033.06 c | 5507 | 23.2 | 0 | 261275 | 224 | 349 | 444635327 | 10853227 || 5507 | 21222471 | 1/ 0 | 3311942 | 0 | 3057.15/3057.14 c | 5563 | 24.1 | 0 | 268909 | 2303 | 350 | 447144398 | 10916300 || 5563 | 21346664 | 1/ 0 | 3331099 | 0 | 3081.85/3081.89 c | 5626 | 24.8 | 0 | 269422 | 4060 | 351 | 449642862 | 10980712 || 5626 | 21476146 | 1/ 0 | 3351441 | 0 | 3106.25/3106.22 c | 5628 | 24.3 | 0 | 274690 | 6058 | 352 | 452052391 | 11039493 || 5628 | 21601580 | 1/ 0 | 3371770 | 0 | 3131.35/3131.39 c | 5629 | 25.2 | 0 | 279963 | 3361 | 353 | 454276106 | 11100408 || 5629 | 21760347 | 1/ 0 | 3398800 | 0 | 3161.25/3161.27 c | 5660 | 29.9 | 0 | 280108 | 1481 | 354 | 456916695 | 11154116 || 5660 | 21812518 | 1/ 0 | 3407268 | 0 | 3186.76/3186.75 c | 5721 | 25.5 | 0 | 286188 | 67 | 355 | 459431685 | 11218258 || 5721 | 21934296 | 1/ 0 | 3425224 | 0 | 3213.35/3213.32 c | 5756 | 26.6 | 0 | 286340 | 2003 | 356 | 461973583 | 11280915 || 5756 | 22068016 | 1/ 0 | 3446443 | 0 | 3240.56/3240.51 c | 5818 | 27.2 | 0 | 288610 | 1166 | 357 | 464570876 | 11343478 || 5818 | 22181141 | 1/ 0 | 3463507 | 0 | 3268.45/3268.47 c | 5881 | 28.0 | 0 | 290307 | 1213 | 358 | 467124464 | 11407532 || 5881 | 22308792 | 1/ 0 | 3483910 | 0 | 3293.85/3293.82 c | 5884 | 25.3 | 0 | 295825 | 1512 | 359 | 469526777 | 11467716 || 5884 | 22455357 | 1/ 0 | 3507630 | 0 | 3321.75/3321.71 c | 5938 | 27.9 | 0 | 298215 | 59 | 360 | 472136263 | 11528223 || 5938 | 22544680 | 1/ 0 | 3520931 | 0 | 3350.35/3350.37 c | 5996 | 28.7 | 0 | 296745 | 229 | 361 | 474768929 | 11592056 || 5996 | 22671152 | 1/ 0 | 3540404 | 0 | 3378.45/3378.48 c | 6033 | 28.1 | 0 | 297331 | 445 | 362 | 477281778 | 11654904 || 6033 | 22793414 | 1/ 0 | 3559881 | 0 | 3406.76/3406.70 c | 6090 | 28.2 | 0 | 299607 | 813 | 363 | 479854108 | 11719825 || 6090 | 22917935 | 1/ 0 | 3579141 | 0 | 3436.76/3436.77 c | 6138 | 30.1 | 0 | 301446 | 7919 | 364 | 482511739 | 11785477 || 6138 | 23061686 | 1/ 0 | 3602726 | 0 | 3465.46/3465.42 c | 6140 | 28.7 | 0 | 298087 | 16014 | 365 | 484860493 | 11842037 || 6140 | 23210927 | 1/ 0 | 3642498 | 0 | 3497.26/3497.28 c | 6140 | 31.9 | 0 | 303018 | 14610 | 366 | 487309032 | 11900979 || 6140 | 23309002 | 1/ 0 | 3643381 | 0 | 3528.37/3528.34 c | 6141 | 31.1 | 0 | 293903 | 51711 | 367 | 489773457 | 11962340 || 6141 | 23519883 | 1/ 0 | 3696539 | 0 | 3558.17/3558.17 c | 6141 | 29.8 | 0 | 293227 | 12111 | 368 | 492107271 | 12022297 || 6141 | 23628070 | 1/ 0 | 3697474 | 0 | 3589.27/3589.23 c | 6141 | 31.1 | 0 | 298341 | 49417 | 369 | 494832343 | 12068821 || 6141 | 23628070 | 1/ 0 | 3697474 | 0 | 3623.57/3623.59 c | 6142 | 34.4 | 0 | 304602 | 86820 | 370 | 497159840 | 12136077 || 6142 | 23979302 | 1/ 0 | 3803065 | 0 | 3661.06/3661.08 c | 6142 | 37.5 | 0 | 294030 | 37507 | 371 | 499411793 | 12204211 || 6142 | 24148813 | 1/ 0 | 3804584 | 0 | 3695.97/3695.92 c | 6142 | 34.8 | 0 | 277942 | 8330 | 372 | 501672404 | 12269309 || 6142 | 24277057 | 1/ 0 | 3805765 | 0 | 3731.17/3731.12 c | 6142 | 35.2 | 0 | 279362 | 46034 | 373 | 504378991 | 12316181 || 6142 | 24277057 | 1/ 0 | 3805765 | 0 | 3764.67/3764.62 c | 6142 | 33.5 | 0 | 282709 | 83835 | 374 | 507101661 | 12362771 || 6142 | 24277057 | 1/ 0 | 3805765 | 0 | 3797.67/3797.60 c | 6184 | 33.0 | 0 | 286763 | 236 | 375 | 509843771 | 12421195 || 6184 | 24345173 | 1/ 0 | 3816136 | 0 | 3825.47/3825.40 c | 6245 | 27.8 | 0 | 286442 | 198 | 376 | 512575594 | 12490954 || 6245 | 24480276 | 1/ 0 | 3836278 | 0 | 3852.47/3852.45 c | 6284 | 27.0 | 0 | 296175 | 1101 | 377 | 515284448 | 12557223 || 6284 | 24612681 | 1/ 0 | 3856879 | 0 | 3880.37/3880.30 c | 6347 | 27.9 | 0 | 301516 | 737 | 378 | 517979114 | 12626419 || 6347 | 24745355 | 1/ 0 | 3877242 | 0 | 3908.37/3908.31 c | 6396 | 28.0 | 0 | 309704 | 8120 | 379 | 520749870 | 12696191 || 6396 | 24893858 | 1/ 0 | 3901029 | 0 | 3936.67/3936.61 c | 6412 | 28.3 | 0 | 302427 | 502 | 380 | 523522211 | 12757461 || 6412 | 25001542 | 1/ 0 | 3917998 | 0 | 3967.17/3967.18 c | 6475 | 30.6 | 0 | 287955 | 483 | 381 | 526232478 | 12827089 || 6475 | 25135540 | 1/ 0 | 3938341 | 0 | 3998.18/3998.16 c | 6524 | 31.0 | 0 | 277358 | 8170 | 382 | 528971482 | 12896262 || 6524 | 25284444 | 1/ 0 | 3962176 | 0 | 4030.18/4030.15 c | 6586 | 32.0 | 0 | 276037 | 349 | 383 | 531758385 | 12964994 || 6586 | 25404298 | 1/ 0 | 3979290 | 0 | 4060.48/4060.40 c | 6649 | 30.2 | 0 | 279829 | 644 | 384 | 534505183 | 13033294 || 6649 | 25534671 | 1/ 0 | 3999676 | 0 | 4088.88/4088.83 c | 6652 | 28.4 | 0 | 282366 | 5943 | 385 | 537272664 | 13097963 || 6652 | 25681110 | 1/ 0 | 4023388 | 0 | 4122.08/4122.03 c | 6653 | 33.2 | 0 | 290440 | 6545 | 386 | 540043709 | 13164978 || 6653 | 25851580 | 1/ 0 | 4050527 | 0 | 4155.78/4155.76 c | 6697 | 33.7 | 0 | 288459 | 157 | 387 | 542904083 | 13226276 || 6697 | 25924038 | 1/ 0 | 4061186 | 0 | 4187.58/4187.53 c | 6761 | 31.8 | 0 | 298155 | 227 | 388 | 545696416 | 13296199 || 6761 | 26061374 | 1/ 0 | 4082046 | 0 | 4218.68/4218.70 c | 6802 | 31.2 | 0 | 302850 | 209 | 389 | 548481818 | 13364136 || 6802 | 26197222 | 1/ 0 | 4102892 | 0 | 4251.08/4251.09 c | 6868 | 32.4 | 0 | 306010 | 59 | 390 | 551162857 | 13434152 || 6868 | 26333530 | 1/ 0 | 4123746 | 0 | 4282.58/4282.51 c | 6907 | 31.4 | 0 | 309642 | 4078 | 391 | 553915172 | 13502595 || 6907 | 26473807 | 1/ 0 | 4145817 | 0 | 4315.68/4315.67 c | 6938 | 33.2 | 0 | 305087 | 801 | 392 | 556678969 | 13568161 || 6938 | 26598440 | 1/ 0 | 4166137 | 0 | 4349.88/4349.89 c | 7001 | 34.2 | 0 | 312001 | 756 | 393 | 559589516 | 13638751 || 7001 | 26736659 | 1/ 0 | 4186635 | 0 | 4383.78/4383.70 c | 7041 | 33.8 | 0 | 306197 | 160 | 394 | 562355868 | 13706156 || 7041 | 26872219 | 1/ 0 | 4207887 | 0 | 4419.29/4419.22 c | 7106 | 35.5 | 0 | 309654 | 92 | 395 | 565204034 | 13777061 || 7106 | 27010374 | 1/ 0 | 4228906 | 0 | 4453.49/4453.40 c | 7162 | 34.2 | 0 | 311420 | 7276 | 396 | 567909781 | 13848972 || 7162 | 27168525 | 1/ 0 | 4254618 | 0 | 4487.49/4487.46 c | 7164 | 34.1 | 0 | 310959 | 18575 | 397 | 570473859 | 13911295 || 7164 | 27333748 | 1/ 0 | 4294460 | 0 | 4521.99/4521.95 c | 7164 | 34.5 | 0 | 319647 | 20374 | 398 | 573161329 | 13972738 || 7164 | 27424196 | 1/ 0 | 4295278 | 0 | 4556.39/4556.34 c | 7165 | 34.4 | 0 | 335701 | 60676 | 399 | 575731317 | 14045586 || 7165 | 27674408 | 1/ 0 | 4348888 | 0 | 4592.09/4592.00 c | 7165 | 35.7 | 0 | 334529 | 24279 | 400 | 578462649 | 14106542 || 7165 | 27743030 | 1/ 0 | 4349485 | 0 | 4627.29/4627.29 c | 7196 | 35.3 | 0 | 339491 | 1509 | 401 | 581412642 | 14166045 || 7196 | 27795568 | 1/ 0 | 4357943 | 0 | 4663.49/4663.46 c | 7259 | 36.2 | 0 | 347982 | 1143 | 402 | 584268490 | 14237923 || 7259 | 27930277 | 1/ 0 | 4378388 | 0 | 4700.89/4700.87 c | 7307 | 37.4 | 0 | 350035 | 537 | 403 | 587086485 | 14306983 || 7307 | 28068833 | 1/ 0 | 4400419 | 0 | 4740.59/4740.56 c | 7373 | 39.7 | 0 | 349676 | 196 | 404 | 589988472 | 14379920 || 7373 | 28209316 | 1/ 0 | 4421264 | 0 | 4777.99/4777.91 c | 7419 | 37.3 | 0 | 336254 | 3182 | 405 | 592784171 | 14450224 || 7419 | 28358528 | 1/ 0 | 4444625 | 0 | 4817.89/4817.80 c | 7450 | 39.9 | 0 | 344118 | 134 | 406 | 595529028 | 14516416 || 7450 | 28485158 | 1/ 0 | 4464920 | 0 | 4856.80/4856.76 c | 7514 | 38.9 | 0 | 341302 | 317 | 407 | 598542720 | 14588877 || 7514 | 28629968 | 1/ 0 | 4487028 | 0 | 4899.10/4899.00 c | 7561 | 42.3 | 0 | 335071 | 219 | 408 | 601527529 | 14658510 || 7561 | 28764016 | 1/ 0 | 4508291 | 0 | 4940.70/4940.60 c | 7629 | 41.6 | 0 | 335331 | 76 | 409 | 604547367 | 14731982 || 7629 | 28907585 | 1/ 0 | 4530073 | 0 | 4980.80/4980.72 c | 7674 | 40.1 | 0 | 333039 | 3855 | 410 | 607386262 | 14802762 || 7674 | 29053497 | 1/ 0 | 4553327 | 0 | 5000.00/4999.90 c | 7675 | 19.2 | 0 | 357752 | 9368 | 410 | 608997420 | 14841872 || 7675 | 29134816 | 1/ 0 | 4566898 | 0 | 5000.00/4999.90 c c 5000.00/4999.90 c ----------------------------------- 5000.00/4999.90 c # temps = 4999.910000 5000.00/4999.90 c # cleaningDB = 410 5000.00/4999.90 c # clause binaire = 39700 5000.00/4999.90 c # literal removed by litRedundant = 460146265 5000.00/4999.90 c # literal removed by litRedundantBin = 132002952 5000.00/4999.90 c # init clause removed by simplify = 0 5000.00/4999.90 c # learnt clause removed by simplify = 0 5000.00/4999.90 c # une clause fausse était une apprise = 0 5000.00/4999.90 c # equivalence dectecte = 0 5000.00/4999.90 c # Memory used : 130.40 MB 5000.00/4999.90 c 5000.00/4999.90 c ######################## 5000.00/4999.90 c #### ## ### ## #### 5000.00/4999.90 c #### #### # ## #### #### 5000.00/4999.90 c #### ## ### ## ### 5000.00/4999.90 c ######################## 5000.00/4999.90 c # restart = 7675 5000.00/4999.90 c # conflit = 8615133 5000.00/4999.90 c # decision = 14841872 5000.00/4999.90 c # propagation = 608997420 (121801.676430 (prop/sec)) 5000.00/4999.90 c 5000.00/4999.90 c ######################## 5000.00/4999.90 c ### ### # ## ## ## 5000.00/4999.90 c ### # # # #### # ### ### 5000.00/4999.90 c ### # ### ## # ### ### 5000.00/4999.90 c ######################## 5000.00/4999.90 c # numtry = 7675 5000.00/4999.90 c # numflips = 29134816 5000.00/4999.90 c # maxSat = 1 5000.00/4999.90 c # freeFlip = 7882034 5000.00/4999.90 c # nbBoundary = 4 5000.00/4999.90 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.1 (svn: 989) 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-3438535-1308500396/watcher-3438535-1308500396 -o /tmp/evaluation-result-3438535-1308500396/solver-3438535-1308500396 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438535-1308500396.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.01 2.00 1/174 6832 /proc/meminfo: memFree=28761236/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 961639337 8912896 253 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6832/statm: 2176 253 211 178 0 69 0 [startup+0.088058 s] /proc/loadavg: 2.02 2.01 2.00 1/174 6832 /proc/meminfo: memFree=28761236/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 961639337 8912896 253 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6832/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100966 s] /proc/loadavg: 2.02 2.01 2.00 1/174 6832 /proc/meminfo: memFree=28761236/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 961639337 8912896 253 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6832/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300932 s] /proc/loadavg: 2.02 2.01 2.00 1/174 6832 /proc/meminfo: memFree=28761236/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8704 [startup+0.700888 s] /proc/loadavg: 2.02 2.01 2.00 1/174 6832 /proc/meminfo: memFree=28761236/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8704 [startup+1.5008 s] /proc/loadavg: 2.02 2.01 2.00 3/182 6842 /proc/meminfo: memFree=28750004/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=11160 CPUtime=1.39 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 1272 0 0 0 139 0 0 0 25 0 1 0 961639348 11427840 1184 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223700 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/6840/statm: 2790 1184 135 12 0 1254 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 28568 [startup+3.10051 s] /proc/loadavg: 2.02 2.01 2.00 3/182 6842 /proc/meminfo: memFree=28747284/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=12644 CPUtime=2.99 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 1649 0 0 0 299 0 0 0 25 0 1 0 961639348 12947456 1561 33554432000 4194304 4241092 140736994115520 18446744073709551615 237278540485 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/6840/statm: 3161 1561 136 12 0 1625 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 30052 [startup+6.30094 s] /proc/loadavg: 2.02 2.01 2.00 3/182 6842 /proc/meminfo: memFree=28742628/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=14296 CPUtime=6.19 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 2042 0 0 0 619 0 0 0 25 0 1 0 961639348 14639104 1954 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223660 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/6840/statm: 3574 1954 136 12 0 2038 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 31704 [startup+12.7008 s] /proc/loadavg: 2.01 2.01 2.00 3/182 6842 /proc/meminfo: memFree=28736744/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=17244 CPUtime=12.58 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 2795 0 0 0 1258 0 0 0 25 0 1 0 961639348 17657856 2707 33554432000 4194304 4241092 140736994115520 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/6840/statm: 4311 2707 136 12 0 2775 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 34652 [startup+25.5004 s] /proc/loadavg: 2.01 2.01 2.00 3/182 6843 /proc/meminfo: memFree=28729676/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=20688 CPUtime=25.38 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 3643 0 0 0 2538 0 0 0 25 0 1 0 961639348 21184512 3546 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223763 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/6840/statm: 5172 3546 136 12 0 3636 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 38096 [startup+51.1008 s] /proc/loadavg: 2.01 2.00 2.00 3/182 6843 /proc/meminfo: memFree=28720668/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=24996 CPUtime=50.98 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 4778 0 0 0 5097 1 0 0 25 0 1 0 961639348 25595904 4646 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223681 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/6840/statm: 6249 4646 136 12 0 4713 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 42404 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/182 6845 /proc/meminfo: memFree=28706120/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=31248 CPUtime=102.2 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 6462 0 0 0 10218 2 0 0 25 0 1 0 961639348 31997952 6214 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/6840/statm: 7812 6214 136 12 0 6276 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 48656 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 4/182 6846 /proc/meminfo: memFree=28695392/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=36692 CPUtime=162.18 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 7977 0 0 0 16216 2 0 0 25 0 1 0 961639348 37572608 7575 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/6840/statm: 9173 7575 136 12 0 7637 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 54100 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/182 6848 /proc/meminfo: memFree=28685416/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=41556 CPUtime=222.18 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 9365 0 0 0 22216 2 0 0 25 0 1 0 961639348 42553344 8766 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/6840/statm: 10389 8766 136 12 0 8853 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 58964 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=28503808/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=125936 CPUtime=4542.3 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 40869 0 0 0 454214 16 0 0 25 0 1 0 961639348 128958464 29876 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/6840/statm: 31484 29876 136 12 0 29948 0 Current children cumulated CPU time (s) 4542.39 Current children cumulated vsize (KiB) 143344 [startup+4602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/182 6977 /proc/meminfo: memFree=28501764/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=126908 CPUtime=4602.3 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 41239 0 0 0 460214 16 0 0 25 0 1 0 961639348 129953792 30137 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/6840/statm: 31727 30137 136 12 0 30191 0 Current children cumulated CPU time (s) 4602.39 Current children cumulated vsize (KiB) 144316 [startup+4662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/182 6978 /proc/meminfo: memFree=28498504/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=128864 CPUtime=4662.3 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 41755 0 0 0 466214 16 0 0 25 0 1 0 961639348 131956736 30593 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/6840/statm: 32216 30593 136 12 0 30680 0 Current children cumulated CPU time (s) 4662.39 Current children cumulated vsize (KiB) 146272 [startup+4722.31 s] /proc/loadavg: 2.04 2.01 2.00 3/182 6980 /proc/meminfo: memFree=28494992/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=130932 CPUtime=4722.31 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 42392 0 0 0 472214 17 0 0 25 0 1 0 961639348 134074368 31113 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223090 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/6840/statm: 32733 31113 136 12 0 31197 0 Current children cumulated CPU time (s) 4722.4 Current children cumulated vsize (KiB) 148340 [startup+4782.3 s] /proc/loadavg: 2.02 2.01 2.00 3/182 6981 /proc/meminfo: memFree=28493836/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=131560 CPUtime=4782.31 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 42708 0 0 0 478214 17 0 0 25 0 1 0 961639348 134717440 31272 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/6840/statm: 32890 31272 136 12 0 31354 0 Current children cumulated CPU time (s) 4782.4 Current children cumulated vsize (KiB) 148968 [startup+4842.3 s] /proc/loadavg: 2.00 2.00 2.00 4/182 6983 /proc/meminfo: memFree=28492576/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=132556 CPUtime=4842.31 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 43001 0 0 0 484214 17 0 0 25 0 1 0 961639348 135737344 31517 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223668 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/6840/statm: 33139 31517 136 12 0 31603 0 Current children cumulated CPU time (s) 4842.4 Current children cumulated vsize (KiB) 149964 [startup+4902.3 s] /proc/loadavg: 2.00 2.00 2.00 3/182 6985 /proc/meminfo: memFree=28491428/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=132488 CPUtime=4902.31 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 43168 0 0 0 490214 17 0 0 25 0 1 0 961639348 135667712 31529 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/6840/statm: 33122 31529 136 12 0 31586 0 Current children cumulated CPU time (s) 4902.4 Current children cumulated vsize (KiB) 149896 [startup+4962.3 s] /proc/loadavg: 2.00 2.00 2.00 3/182 6986 /proc/meminfo: memFree=28490396/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=133192 CPUtime=4962.31 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 43408 0 0 0 496214 17 0 0 25 0 1 0 961639348 136388608 31698 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223656 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/6840/statm: 33298 31698 136 12 0 31762 0 Current children cumulated CPU time (s) 4962.4 Current children cumulated vsize (KiB) 150600 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.00 2.00 2.00 4/182 6987 /proc/meminfo: memFree=28489384/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=133520 CPUtime=4999.91 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 43539 0 0 0 499974 17 0 0 25 0 1 0 961639348 136724480 31758 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/6840/statm: 33380 31758 136 12 0 31844 0 Current children cumulated CPU time (s) 5000 Current children cumulated vsize (KiB) 150928 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.00 2.00 4/182 6987 /proc/meminfo: memFree=28489384/32950904 swapFree=67055440/67111528 [pid=6832] ppid=6828 vsize=8704 CPUtime=0.09 cores=0,2,4,6 /proc/6832/stat : 6832 (esg_static.sh) S 6828 6832 6312 0 -1 4202496 350 1047 0 0 0 0 9 0 23 0 1 0 961639337 8912896 256 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278879488 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/6832/statm: 2176 256 211 178 0 69 0 [pid=6839] ppid=6832 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6839/stat : 6839 (esg_static.sh) S 6832 6832 6312 0 -1 4202560 131 0 0 0 0 0 0 0 24 0 1 0 961639348 8912896 135 33554432000 4194304 4922060 140733434656560 18446744073709551615 237278698629 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6839/statm: 2176 135 90 178 0 69 0 [pid=6840] ppid=6839 vsize=133520 CPUtime=4999.91 cores=0,2,4,6 /proc/6840/stat : 6840 (sathys) R 6839 6832 6312 0 -1 4202496 43539 0 0 0 499974 17 0 0 25 0 1 0 961639348 136724480 31758 33554432000 4194304 4241092 140736994115520 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/6840/statm: 33380 31758 136 12 0 31844 0 Current children cumulated CPU time (s) 5000 Current children cumulated vsize (KiB) 150928 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 6832 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=100984 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=999 # CPU time returned by wait4() is 0.101983 # while last known CPU time is 5000 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.92 CPU time (s): 5000 CPU user time (s): 4999.83 CPU system time (s): 0.17 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 150928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.100984 system time used= 0.000999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1565 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= 43 involuntary context switches= 6 runsolver used 8.24175 second user time and 19.0251 second system time The end
Begin job on node121 at 2011-06-19 18:19:56 IDJOB=3438535 IDBENCH=71514 IDSOLVER=1935 FILE ID=node121/3438535-1308500396 RUNJOBID= node121-1308500396-6807 PBS_JOBID= 13608185 Free space on /tmp= 73348 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v760c43649g2.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438535-1308500396/watcher-3438535-1308500396 -o /tmp/evaluation-result-3438535-1308500396/solver-3438535-1308500396 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438535-1308500396.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 791cdb75c1a209efd7f7547f06e0fed9 RANDOM SEED=2098974037 node121.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.817 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.63 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.817 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.07 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.817 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.84 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.817 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.77 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.817 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.82 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.817 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.817 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.817 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 28762516 kB Buffers: 538472 kB Cached: 3270084 kB SwapCached: 9992 kB Active: 1400744 kB Inactive: 2427564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 28762516 kB SwapTotal: 67111528 kB SwapFree: 67055440 kB Dirty: 2788 kB Writeback: 0 kB AnonPages: 16692 kB Mapped: 12332 kB Slab: 297272 kB PageTables: 5224 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 188924 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= 73344 MiB End job on node121 at 2011-06-19 19:43:18