| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.06 | 5000.03 |
| Name | CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf |
| MD5SUM | 6fdce6b69c397ad71b0f25957edff1fa |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 25.4311 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2420 |
| Number of clauses | 33572 |
| Sum of the clauses size | 97252 |
| Maximum clause length | 36 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 14396 |
| Number of clauses of size 3 | 13968 |
| Number of clauses of size 4 | 2628 |
| Number of clauses of size 5 | 2460 |
| Number of clauses of size over 5 | 120 |
0.00/0.00 static 0.00/0.00 HOME/instance-3438340-1306884534.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 | 33572 97252 | 10071 0 0 nan | 0.000 % | 0.00/0.04 c | 0 | 33572 97268 | -- 0 -- -- | -- | 0/16 0.00/0.04 c ============================================================================== 0.00/0.04 c Result : #vars: 2416 #clauses: 33572 #literals: 97268 0.00/0.04 c CPU time: 0.038994 s 0.00/0.04 c ============================================================================== 0.00/0.09 c 0.00/0.09 c seed = 0, numatom = 2416, numclause = 19184, numliterals = 97268 0.00/0.09 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.09 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.09 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.13 c | 2 | 0.0 | 38 | 483 | 0 | 1 | 103845 | 24706 || 2 | 7707 | 30/ 16 | 463 | 0 | 0.00/0.17 c | 4 | 0.0 | 48 | 910 | 0 | 2 | 201674 | 41499 || 4 | 12979 | 22/ 22 | 973 | 0 | 0.00/0.21 c | 6 | 0.0 | 48 | 1372 | 198 | 3 | 318625 | 61023 || 6 | 17685 | 20/ 13 | 1411 | 0 | 0.00/0.26 c | 7 | 0.0 | 48 | 1923 | 397 | 4 | 461018 | 84068 || 7 | 24397 | 20/ 12 | 1980 | 0 | 0.05/0.32 c | 11 | 0.1 | 52 | 2567 | 293 | 5 | 615553 | 110401 || 11 | 32568 | 19/ 11 | 2736 | 0 | 0.05/0.38 c | 14 | 0.1 | 52 | 3189 | 490 | 6 | 761668 | 131494 || 14 | 40367 | 19/ 10 | 3650 | 0 | 0.05/0.45 c | 15 | 0.1 | 52 | 3777 | 991 | 7 | 940948 | 152860 || 15 | 47779 | 4/ 1 | 4674 | 0 | 0.05/0.52 c | 16 | 0.1 | 52 | 4381 | 88 | 8 | 1122269 | 173889 || 16 | 51588 | 4/ 1 | 4879 | 0 | 0.05/0.62 c | 21 | 0.1 | 52 | 5020 | 80 | 9 | 1337525 | 206345 || 21 | 63039 | 4/ 1 | 5891 | 0 | 0.05/0.71 c | 25 | 0.1 | 52 | 5808 | 179 | 10 | 1545393 | 233428 || 25 | 71890 | 4/ 1 | 6911 | 0 | 0.05/0.81 c | 29 | 0.1 | 52 | 6492 | 575 | 11 | 1776967 | 263728 || 29 | 82086 | 4/ 1 | 7963 | 0 | 0.05/0.93 c | 30 | 0.1 | 52 | 7199 | 373 | 12 | 2024746 | 290494 || 30 | 90694 | 4/ 1 | 8954 | 0 | 0.05/1.07 c | 31 | 0.1 | 52 | 7841 | 2077 | 13 | 2261357 | 321079 || 31 | 102813 | 4/ 1 | 10872 | 0 | 1.08/1.17 c | 31 | 0.1 | 52 | 8303 | 1477 | 14 | 2485160 | 338072 || 31 | 104240 | 4/ 1 | 10914 | 0 | 1.28/1.31 c | 38 | 0.1 | 52 | 9039 | 374 | 15 | 2779015 | 370939 || 38 | 116397 | 4/ 1 | 12324 | 0 | 1.38/1.47 c | 44 | 0.2 | 52 | 9798 | 265 | 16 | 3072725 | 398473 || 44 | 127578 | 4/ 1 | 13343 | 0 | 1.58/1.63 c | 46 | 0.2 | 52 | 10430 | 262 | 17 | 3392608 | 426918 || 46 | 139345 | 4/ 1 | 14764 | 0 | 1.78/1.82 c | 53 | 0.2 | 52 | 11132 | 260 | 18 | 3737740 | 461864 || 53 | 152315 | 4/ 1 | 16259 | 0 | 1.98/2.02 c | 59 | 0.2 | 52 | 12019 | 145 | 19 | 4108871 | 502625 || 59 | 165761 | 4/ 1 | 17396 | 0 | 2.18/2.24 c | 61 | 0.2 | 52 | 12913 | 739 | 20 | 4500156 | 532110 || 61 | 177873 | 4/ 1 | 18838 | 0 | 2.38/2.45 c | 62 | 0.2 | 52 | 13714 | 839 | 21 | 4846912 | 567871 || 62 | 193330 | 4/ 1 | 20838 | 0 | 2.58/2.69 c | 63 | 0.2 | 52 | 14266 | 3440 | 22 | 5204011 | 601118 || 63 | 211254 | 4/ 1 | 24411 | 0 | 2.88/2.97 c | 63 | 0.3 | 52 | 14887 | 1339 | 23 | 5547590 | 620123 || 63 | 217054 | 4/ 1 | 24594 | 0 | 3.18/3.20 c | 67 | 0.2 | 52 | 14779 | 28 | 24 | 5942714 | 645036 || 67 | 223447 | 4/ 1 | 25232 | 0 | 3.40/3.48 c | 76 | 0.3 | 52 | 15280 | 10 | 25 | 6392939 | 688651 || 76 | 240275 | 4/ 1 | 27043 | 0 | 3.68/3.79 c | 81 | 0.3 | 52 | 16114 | 106 | 26 | 6893656 | 741098 || 81 | 260309 | 4/ 1 | 29088 | 0 | 3.98/4.09 c | 90 | 0.3 | 52 | 17297 | 188 | 27 | 7362050 | 786729 || 90 | 279586 | 4/ 1 | 30882 | 0 | 4.38/4.42 c | 94 | 0.3 | 52 | 18311 | 1083 | 28 | 7855116 | 826022 || 94 | 299417 | 4/ 1 | 34293 | 0 | 4.68/4.77 c | 96 | 0.4 | 52 | 19215 | 79 | 29 | 8345141 | 857943 || 96 | 312632 | 4/ 1 | 34771 | 0 | 5.08/5.16 c | 107 | 0.4 | 52 | 20393 | 278 | 30 | 8898636 | 906000 || 107 | 334446 | 4/ 1 | 36998 | 0 | 5.48/5.53 c | 113 | 0.4 | 52 | 21374 | 274 | 31 | 9399870 | 947437 || 113 | 351756 | 4/ 1 | 39097 | 0 | 5.88/5.95 c | 123 | 0.4 | 52 | 22234 | 59 | 32 | 9951680 | 998698 || 123 | 374118 | 4/ 1 | 41421 | 0 | 6.38/6.44 c | 125 | 0.5 | 52 | 23102 | 161 | 33 | 10532434 | 1043083 || 125 | 399493 | 4/ 1 | 44268 | 0 | 6.87/6.90 c | 126 | 0.5 | 52 | 23736 | 3962 | 34 | 11084863 | 1092695 || 126 | 422363 | 4/ 1 | 48001 | 0 | 7.17/7.29 c | 126 | 0.4 | 52 | 24476 | 3063 | 35 | 11643642 | 1124273 || 126 | 427678 | 4/ 1 | 48166 | 0 | 7.68/7.80 c | 127 | 0.5 | 52 | 25372 | 7064 | 36 | 12195736 | 1175085 || 127 | 463782 | 4/ 1 | 55182 | 0 | 8.27/8.32 c | 127 | 0.5 | 52 | 26026 | 1563 | 37 | 12770104 | 1211430 || 127 | 481578 | 4/ 1 | 55537 | 0 | 8.67/8.81 c | 127 | 0.5 | 52 | 26770 | 5764 | 38 | 13362828 | 1226270 || 127 | 481578 | 4/ 1 | 55537 | 0 | 9.27/9.35 c | 140 | 0.5 | 52 | 27202 | 130 | 39 | 14055411 | 1281273 || 140 | 504970 | 4/ 1 | 57986 | 0 | 9.88/9.92 c | 149 | 0.6 | 52 | 28395 | 215 | 40 | 14731141 | 1338827 || 149 | 529938 | 4/ 1 | 60884 | 0 | 10.47/10.50 c | 157 | 0.6 | 52 | 29389 | 502 | 41 | 15408086 | 1389049 || 157 | 552807 | 4/ 1 | 63326 | 0 | 10.98/11.07 c | 163 | 0.6 | 52 | 30341 | 189 | 42 | 16039095 | 1425739 || 163 | 571686 | 4/ 1 | 65845 | 0 | 11.67/11.73 c | 173 | 0.7 | 52 | 31401 | 183 | 43 | 16749976 | 1482066 || 173 | 597012 | 4/ 1 | 68971 | 0 | 12.37/12.45 c | 187 | 0.7 | 52 | 32550 | 349 | 44 | 17536506 | 1538795 || 187 | 623444 | 4/ 1 | 71821 | 0 | 13.07/13.16 c | 189 | 0.7 | 52 | 33732 | 1047 | 45 | 18286580 | 1584099 || 189 | 648238 | 4/ 1 | 74631 | 0 | 13.87/13.97 c | 190 | 0.8 | 52 | 34421 | 1249 | 46 | 19099135 | 1634127 || 190 | 678023 | 4/ 1 | 78360 | 0 | 14.67/14.76 c | 200 | 0.8 | 52 | 35384 | 137 | 47 | 19959189 | 1680653 || 200 | 696308 | 4/ 1 | 80327 | 0 | 15.49/15.58 c | 212 | 0.8 | 52 | 36362 | 510 | 48 | 20747848 | 1732595 || 212 | 726021 | 4/ 1 | 83623 | 0 | 16.27/16.39 c | 221 | 0.8 | 52 | 37305 | 1588 | 49 | 21500295 | 1784675 || 221 | 754423 | 4/ 1 | 87750 | 0 | 17.17/17.26 c | 231 | 0.9 | 52 | 38340 | 274 | 50 | 22375077 | 1834754 || 231 | 776730 | 4/ 1 | 89772 | 0 | 18.17/18.20 c | 243 | 0.9 | 52 | 39166 | 50 | 51 | 23293131 | 1902369 || 243 | 809925 | 4/ 1 | 93172 | 0 | 19.07/19.17 c | 252 | 1.0 | 52 | 40475 | 2032 | 52 | 24169219 | 1957695 || 252 | 843935 | 4/ 1 | 97368 | 0 | 20.17/20.24 c | 253 | 1.1 | 52 | 41500 | 529 | 53 | 25136803 | 2007264 || 253 | 878166 | 4/ 1 | 101054 | 0 | 21.27/21.30 c | 254 | 1.1 | 52 | 42028 | 6335 | 54 | 25996017 | 2034010 || 254 | 900057 | 4/ 1 | 107751 | 0 | 22.77/22.87 c | 254 | 1.6 | 52 | 42971 | 2635 | 55 | 26841670 | 2053825 || 254 | 910368 | 4/ 1 | 107887 | 0 | 23.77/23.86 c | 255 | 1.0 | 52 | 42193 | 8637 | 56 | 27693328 | 2084835 || 255 | 944033 | 4/ 1 | 121148 | 0 | 24.87/24.99 c | 255 | 1.1 | 52 | 42216 | 6111 | 57 | 28520419 | 2128014 || 255 | 975966 | 4/ 1 | 121657 | 0 | 25.97/26.02 c | 255 | 1.0 | 52 | 41977 | 1747 | 58 | 29348538 | 2159321 || 255 | 995006 | 4/ 1 | 121937 | 0 | 27.07/27.15 c | 255 | 1.1 | 52 | 41663 | 8051 | 59 | 30381968 | 2174984 || 255 | 995006 | 4/ 1 | 121937 | 0 | 28.57/28.68 c | 262 | 1.5 | 52 | 41573 | 232 | 60 | 31375571 | 2198989 || 262 | 1005452 | 4/ 1 | 123291 | 0 | 29.79/29.86 c | 277 | 1.2 | 52 | 40978 | 300 | 61 | 32441016 | 2268083 || 277 | 1036764 | 4/ 1 | 127069 | 0 | 30.97/31.02 c | 286 | 1.2 | 52 | 42375 | 283 | 62 | 33450618 | 2337016 || 286 | 1073644 | 4/ 1 | 131342 | 0 | 32.17/32.21 c | 301 | 1.2 | 52 | 43567 | 957 | 63 | 34481496 | 2409558 || 301 | 1107727 | 4/ 1 | 135187 | 0 | 33.47/33.52 c | 316 | 1.3 | 52 | 45276 | 124 | 64 | 35601624 | 2473273 || 316 | 1142739 | 4/ 1 | 138952 | 0 | 34.77/34.80 c | 318 | 1.3 | 52 | 46650 | 4622 | 65 | 36642651 | 2533610 || 318 | 1179377 | 4/ 1 | 144396 | 0 | 35.97/36.05 c | 331 | 1.2 | 52 | 48130 | 102 | 66 | 37699557 | 2586403 || 331 | 1199696 | 4/ 1 | 146501 | 0 | 37.37/37.42 c | 347 | 1.4 | 52 | 49756 | 460 | 67 | 38792770 | 2651912 || 347 | 1234007 | 4/ 1 | 150933 | 0 | 38.77/38.85 c | 356 | 1.4 | 52 | 50925 | 426 | 68 | 39908310 | 2703453 || 356 | 1261942 | 4/ 1 | 154932 | 0 | 40.27/40.35 c | 373 | 1.5 | 52 | 52028 | 0 | 69 | 41071688 | 2771712 || 373 | 1297597 | 4/ 1 | 158937 | 0 | 41.77/41.89 c | 381 | 1.5 | 52 | 52907 | 2089 | 70 | 42298804 | 2830827 || 381 | 1334842 | 4/ 1 | 166093 | 0 | 43.47/43.52 c | 382 | 1.6 | 52 | 53808 | 4789 | 71 | 43514301 | 2866290 || 382 | 1368485 | 4/ 1 | 172910 | 0 | 44.97/45.01 c | 382 | 1.5 | 52 | 54129 | 2790 | 72 | 44566792 | 2898656 || 382 | 1388981 | 4/ 1 | 173242 | 0 | 46.57/46.60 c | 396 | 1.6 | 52 | 54703 | 263 | 73 | 45764198 | 2943325 || 396 | 1410315 | 4/ 1 | 176008 | 0 | 48.27/48.33 c | 412 | 1.7 | 52 | 55142 | 1030 | 74 | 47009928 | 3011241 || 412 | 1449633 | 4/ 1 | 180652 | 0 | 49.97/50.05 c | 426 | 1.7 | 52 | 56466 | 203 | 75 | 48242783 | 3065988 || 426 | 1482530 | 4/ 1 | 184779 | 0 | 51.79/51.83 c | 443 | 1.8 | 52 | 57216 | 872 | 76 | 49500744 | 3137047 || 443 | 1523811 | 4/ 1 | 189841 | 0 | 53.46/53.58 c | 445 | 1.8 | 52 | 58241 | 566 | 77 | 50713194 | 3202379 || 445 | 1564574 | 4/ 1 | 195335 | 0 | 55.26/55.35 c | 460 | 1.8 | 52 | 59245 | 1137 | 78 | 51938203 | 3263609 || 460 | 1594457 | 4/ 1 | 199018 | 0 | 57.06/57.21 c | 476 | 1.9 | 52 | 60634 | 1802 | 79 | 53213126 | 3337105 || 476 | 1635390 | 4/ 1 | 204526 | 0 | 58.97/59.04 c | 491 | 1.8 | 52 | 61854 | 564 | 80 | 54424354 | 3401039 || 491 | 1668426 | 4/ 1 | 208311 | 0 | 60.96/61.03 c | 507 | 2.0 | 52 | 62604 | 231 | 81 | 55737113 | 3475532 || 507 | 1711043 | 4/ 1 | 213862 | 0 | 62.79/62.89 c | 509 | 1.9 | 52 | 63450 | 4033 | 82 | 57034291 | 3524531 || 509 | 1744728 | 4/ 1 | 224087 | 0 | 64.67/64.74 c | 509 | 1.9 | 52 | 63706 | 3136 | 83 | 58149252 | 3584474 || 509 | 1768125 | 4/ 1 | 224637 | 0 | 66.67/66.73 c | 510 | 2.0 | 52 | 63813 | 11937 | 84 | 59403976 | 3644336 || 510 | 1817360 | 4/ 1 | 238220 | 0 | 68.87/68.98 c | 510 | 2.2 | 52 | 63971 | 1635 | 85 | 60629367 | 3693186 || 510 | 1853374 | 4/ 1 | 238752 | 0 | 71.07/71.12 c | 510 | 2.1 | 52 | 63374 | 10636 | 86 | 61938770 | 3704388 || 510 | 1853374 | 4/ 1 | 238752 | 0 | 73.87/73.93 c | 511 | 2.8 | 52 | 62716 | 19738 | 87 | 63423123 | 3780194 || 511 | 1944630 | 4/ 1 | 265619 | 0 | 76.87/76.93 c | 511 | 3.0 | 52 | 60745 | 9202 | 88 | 64881270 | 3819100 || 511 | 1990794 | 4/ 1 | 266143 | 0 | 80.39/80.44 c | 511 | 3.5 | 52 | 60149 | 9305 | 89 | 66261570 | 3853833 || 511 | 2035108 | 4/ 1 | 266646 | 0 | 82.67/82.76 c | 511 | 2.3 | 52 | 59163 | 9243 | 90 | 68000891 | 3882295 || 511 | 2035683 | 4/ 1 | 266656 | 0 | 84.87/84.90 c | 511 | 2.1 | 52 | 58582 | 18744 | 91 | 69683722 | 3909653 || 511 | 2035683 | 4/ 1 | 266656 | 0 | 87.27/87.38 c | 520 | 2.5 | 52 | 59126 | 34 | 92 | 71519738 | 3947681 || 520 | 2048670 | 4/ 1 | 268275 | 0 | 89.57/89.62 c | 541 | 2.2 | 52 | 59908 | 399 | 93 | 73014485 | 4029070 || 541 | 2094802 | 4/ 1 | 274036 | 0 | 91.87/91.96 c | 557 | 2.3 | 52 | 61105 | 572 | 94 | 74526919 | 4104607 || 557 | 2136070 | 4/ 1 | 279521 | 0 | 94.27/94.38 c | 574 | 2.4 | 52 | 62787 | 1632 | 95 | 76100475 | 4175305 || 574 | 2179381 | 4/ 1 | 288223 | 0 | 96.78/96.90 c | 586 | 2.5 | 52 | 64532 | 89 | 96 | 77709759 | 4235224 || 586 | 2211760 | 4/ 1 | 290551 | 0 | 99.27/99.34 c | 605 | 2.4 | 52 | 65880 | 1666 | 97 | 79247720 | 4313956 || 605 | 2260329 | 4/ 1 | 297488 | 0 | 101.77/101.85 c | 626 | 2.5 | 52 | 67883 | 19 | 98 | 80779033 | 4389471 || 626 | 2301523 | 4/ 1 | 302130 | 0 | 104.27/104.38 c | 637 | 2.5 | 52 | 68870 | 3687 | 99 | 82249210 | 4447755 || 637 | 2347736 | 4/ 1 | 309994 | 0 | 106.97/107.02 c | 638 | 2.6 | 52 | 69848 | 9285 | 100 | 83745841 | 4535723 || 638 | 2393736 | 4/ 1 | 317399 | 0 | 109.67/109.79 c | 651 | 2.8 | 52 | 70421 | 257 | 101 | 85397749 | 4588265 || 651 | 2414964 | 4/ 1 | 319785 | 0 | 112.37/112.42 c | 669 | 2.6 | 52 | 70323 | 2315 | 102 | 86974437 | 4657862 || 669 | 2460124 | 4/ 1 | 326460 | 0 | 115.27/115.33 c | 692 | 2.9 | 52 | 71689 | 58 | 103 | 88679882 | 4732177 || 692 | 2499661 | 4/ 1 | 331509 | 0 | 118.07/118.16 c | 701 | 2.8 | 52 | 72742 | 539 | 104 | 90281847 | 4822385 || 701 | 2553139 | 4/ 1 | 339203 | 0 | 120.98/121.06 c | 723 | 2.9 | 52 | 73258 | 387 | 105 | 91914080 | 4888275 || 723 | 2591396 | 4/ 1 | 344152 | 0 | 124.07/124.11 c | 742 | 3.1 | 52 | 74346 | 127 | 106 | 93571137 | 4963933 || 742 | 2635174 | 4/ 1 | 350076 | 0 | 127.17/127.29 c | 763 | 3.2 | 52 | 76184 | 2156 | 107 | 95288000 | 5052399 || 763 | 2687816 | 4/ 1 | 357352 | 0 | 130.47/130.58 c | 765 | 3.3 | 52 | 77551 | 6156 | 108 | 97211964 | 5107740 || 765 | 2735365 | 4/ 1 | 367626 | 0 | 133.77/133.89 c | 766 | 3.3 | 52 | 78340 | 7856 | 109 | 99052175 | 5145165 || 766 | 2773958 | 4/ 1 | 380904 | 0 | 137.07/137.16 c | 766 | 3.3 | 52 | 78320 | 54 | 110 | 100483229 | 5198481 || 766 | 2819853 | 4/ 1 | 381531 | 0 | 140.27/140.37 c | 766 | 3.2 | 52 | 78286 | 11555 | 111 | 102454589 | 5221497 || 766 | 2819853 | 4/ 1 | 381531 | 0 | 143.67/143.78 c | 794 | 3.4 | 52 | 79041 | 85 | 112 | 104252363 | 5304080 || 794 | 2870377 | 4/ 1 | 387524 | 0 | 147.27/147.30 c | 812 | 3.5 | 52 | 79607 | 347 | 113 | 106152444 | 5387204 || 812 | 2920134 | 4/ 1 | 394305 | 0 | 150.87/150.97 c | 829 | 3.7 | 52 | 80324 | 3316 | 114 | 108048963 | 5461302 || 829 | 2975579 | 4/ 1 | 403120 | 0 | 154.47/154.50 c | 847 | 3.5 | 52 | 81746 | 179 | 115 | 109991224 | 5532039 || 847 | 3015575 | 4/ 1 | 407362 | 0 | 157.87/157.93 c | 870 | 3.4 | 52 | 83156 | 127 | 116 | 111813632 | 5610168 || 870 | 3062664 | 4/ 1 | 414120 | 0 | 161.57/161.64 c | 891 | 3.7 | 52 | 84752 | 781 | 117 | 113696013 | 5695776 || 891 | 3114807 | 4/ 1 | 421323 | 0 | 165.37/165.40 c | 893 | 3.8 | 52 | 86046 | 8178 | 118 | 115422162 | 5743299 || 893 | 3168767 | 4/ 1 | 431523 | 0 | 169.57/169.60 c | 907 | 4.2 | 52 | 87532 | 34 | 119 | 117639519 | 5797398 || 907 | 3196500 | 4/ 1 | 434334 | 0 | 173.47/173.52 c | 928 | 3.9 | 52 | 88111 | 210 | 120 | 119558305 | 5869668 || 928 | 3244231 | 4/ 1 | 441114 | 0 | 177.57/177.64 c | 955 | 4.1 | 52 | 89120 | 1251 | 121 | 121562823 | 5965813 || 955 | 3301153 | 4/ 1 | 449497 | 0 | 181.77/181.82 c | 968 | 4.2 | 52 | 90211 | 132 | 122 | 123604832 | 6032297 || 968 | 3344077 | 4/ 1 | 455138 | 0 | 185.67/185.77 c | 988 | 3.9 | 52 | 91033 | 1679 | 123 | 125551270 | 6117303 || 988 | 3395888 | 4/ 1 | 462260 | 0 | 189.97/190.07 c | 1017 | 4.3 | 52 | 92403 | 781 | 124 | 127570526 | 6209372 || 1017 | 3453477 | 4/ 1 | 469411 | 0 | 194.17/194.25 c | 1020 | 4.2 | 52 | 93147 | 6477 | 125 | 129400077 | 6275515 || 1020 | 3507992 | 4/ 1 | 481365 | 0 | 198.37/198.48 c | 1021 | 4.2 | 52 | 93559 | 9879 | 126 | 131382576 | 6334767 || 1021 | 3555762 | 4/ 1 | 494830 | 0 | 202.97/203.08 c | 1021 | 4.6 | 52 | 94609 | 3780 | 127 | 132950393 | 6416466 || 1021 | 3598843 | 4/ 1 | 495719 | 0 | 207.07/207.13 c | 1022 | 4.1 | 52 | 92933 | 16992 | 128 | 134735170 | 6445543 || 1022 | 3653736 | 4/ 1 | 521943 | 0 | 212.47/212.52 c | 1022 | 5.4 | 52 | 92703 | 13302 | 129 | 136416066 | 6490955 || 1022 | 3700417 | 4/ 1 | 522474 | 0 | 217.77/217.87 c | 1022 | 5.4 | 52 | 90771 | 5294 | 130 | 138481110 | 6531970 || 1022 | 3732016 | 4/ 1 | 522844 | 0 | 222.30/222.32 c | 1022 | 4.4 | 52 | 86854 | 18797 | 131 | 140604415 | 6555528 || 1022 | 3732016 | 4/ 1 | 522844 | 0 | 227.28/227.36 c | 1023 | 5.0 | 52 | 85621 | 32398 | 132 | 142667532 | 6607424 || 1023 | 3850954 | 4/ 1 | 575358 | 0 | 231.98/232.09 c | 1023 | 4.7 | 52 | 81831 | 13705 | 133 | 144408647 | 6696708 || 1023 | 3913403 | 4/ 1 | 576414 | 0 | 238.98/239.07 c | 1023 | 7.0 | 52 | 84115 | 13802 | 134 | 146057483 | 6775493 || 1023 | 3964556 | 4/ 1 | 577344 | 0 | 245.68/245.71 c | 1023 | 6.6 | 52 | 82557 | 13903 | 135 | 147911923 | 6851854 || 1023 | 4016227 | 4/ 1 | 578239 | 0 | 250.28/250.34 c | 1023 | 4.6 | 52 | 79648 | 11007 | 136 | 150191404 | 6888920 || 1023 | 4027843 | 4/ 1 | 578418 | 0 | 254.48/254.53 c | 1023 | 4.2 | 52 | 75860 | 25110 | 137 | 152222370 | 6915156 || 1023 | 4027843 | 4/ 1 | 578418 | 0 | 259.58/259.64 c | 1023 | 5.1 | 52 | 75972 | 39311 | 138 | 154035404 | 6937061 || 1023 | 4027843 | 4/ 1 | 578418 | 0 | 263.98/264.09 c | 1030 | 4.4 | 52 | 72207 | 387 | 139 | 156195814 | 6982526 || 1030 | 4039573 | 4/ 1 | 579831 | 0 | 268.08/268.19 c | 1057 | 4.1 | 52 | 72266 | 111 | 140 | 158507372 | 7080270 || 1057 | 4100340 | 4/ 1 | 587978 | 0 | 272.28/272.33 c | 1085 | 4.1 | 52 | 75007 | 715 | 141 | 160841860 | 7190993 || 1085 | 4166828 | 4/ 1 | 596736 | 0 | 276.78/276.82 c | 1105 | 4.5 | 52 | 77499 | 277 | 142 | 163252796 | 7277268 || 1105 | 4223065 | 4/ 1 | 604449 | 0 | 281.18/281.26 c | 1132 | 4.4 | 52 | 78990 | 301 | 143 | 165575353 | 7382675 || 1132 | 4286266 | 4/ 1 | 612927 | 0 | 285.98/286.11 c | 1149 | 4.9 | 52 | 81440 | 1463 | 144 | 168026487 | 7474025 || 1149 | 4352994 | 4/ 1 | 621876 | 0 | 290.28/290.37 c | 1152 | 4.3 | 52 | 83557 | 57 | 145 | 170188960 | 7571446 || 1152 | 4394527 | 4/ 1 | 629473 | 0 | 294.98/295.01 c | 1181 | 4.6 | 52 | 83471 | 890 | 146 | 172526400 | 7672121 || 1181 | 4459187 | 4/ 1 | 638240 | 0 | 299.78/299.82 c | 1212 | 4.8 | 52 | 85536 | 2299 | 147 | 174863413 | 7774115 || 1212 | 4525524 | 4/ 1 | 647192 | 0 | 304.68/304.75 c | 1231 | 4.9 | 52 | 87240 | 66 | 148 | 177271029 | 7860297 || 1231 | 4582731 | 4/ 1 | 654761 | 0 | 309.88/309.91 c | 1259 | 5.2 | 52 | 88807 | 681 | 149 | 179767896 | 7954624 || 1259 | 4643992 | 4/ 1 | 663270 | 0 | 315.08/315.16 c | 1276 | 5.2 | 52 | 90403 | 2426 | 150 | 182255748 | 8037179 || 1276 | 4707627 | 4/ 1 | 672127 | 0 | 320.98/321.01 c | 1278 | 5.9 | 52 | 91795 | 8327 | 151 | 185108896 | 8093342 || 1278 | 4776185 | 4/ 1 | 692114 | 0 | 326.68/326.79 c | 1278 | 5.8 | 52 | 92809 | 4724 | 152 | 187281218 | 8135363 || 1278 | 4811012 | 4/ 1 | 692477 | 0 | 332.78/332.80 c | 1298 | 6.0 | 52 | 93031 | 70 | 153 | 190028900 | 8198732 || 1298 | 4843287 | 4/ 1 | 696736 | 0 | 338.08/338.18 c | 1328 | 5.4 | 52 | 93032 | 302 | 154 | 192415297 | 8303973 || 1328 | 4907271 | 4/ 1 | 705660 | 0 | 343.48/343.55 c | 1344 | 5.4 | 52 | 94332 | 172 | 155 | 194824315 | 8377877 || 1344 | 4959188 | 4/ 1 | 714296 | 0 | 349.08/349.19 c | 1375 | 5.6 | 52 | 94975 | 51 | 156 | 197300690 | 8477991 || 1375 | 5023928 | 4/ 1 | 723285 | 0 | 354.78/354.81 c | 1404 | 5.6 | 52 | 96524 | 2268 | 157 | 199729786 | 8572382 || 1404 | 5091225 | 4/ 1 | 735139 | 0 | 360.38/360.43 c | 1405 | 5.6 | 52 | 97805 | 4056 | 158 | 202017629 | 8617235 || 1405 | 5131026 | 4/ 1 | 742002 | 0 | 366.48/366.52 c | 1436 | 6.1 | 52 | 98944 | 1884 | 159 | 204703552 | 8715194 || 1436 | 5193266 | 4/ 1 | 750922 | 0 | 372.58/372.61 c | 1467 | 6.1 | 52 | 100840 | 2201 | 160 | 207337056 | 8816637 || 1467 | 5258124 | 4/ 1 | 759863 | 0 | 378.58/378.62 c | 1490 | 6.0 | 52 | 102323 | 437 | 161 | 209842674 | 8914977 || 1490 | 5317035 | 4/ 1 | 768393 | 0 | 384.48/384.58 c | 1521 | 6.0 | 52 | 103722 | 316 | 162 | 212382728 | 9027847 || 1521 | 5377922 | 4/ 1 | 777415 | 0 | 391.37/391.47 c | 1532 | 6.9 | 52 | 104864 | 6191 | 163 | 215156616 | 9107713 || 1532 | 5450039 | 4/ 1 | 791530 | 0 | 398.67/398.79 c | 1533 | 7.3 | 52 | 105773 | 13395 | 164 | 218157429 | 9186806 || 1533 | 5522989 | 4/ 1 | 805282 | 0 | 405.27/405.36 c | 1533 | 6.6 | 52 | 106671 | 11095 | 165 | 220583606 | 9241516 || 1533 | 5560241 | 4/ 1 | 805716 | 0 | 412.48/412.59 c | 1534 | 7.2 | 52 | 107799 | 28096 | 166 | 223066180 | 9316699 || 1534 | 5672324 | 4/ 1 | 832584 | 0 | 420.88/420.95 c | 1534 | 8.4 | 52 | 107995 | 6791 | 167 | 225791728 | 9369197 || 1534 | 5712716 | 4/ 1 | 833061 | 0 | 427.38/427.40 c | 1534 | 6.4 | 52 | 106666 | 23993 | 168 | 228572045 | 9408135 || 1534 | 5712716 | 4/ 1 | 833061 | 0 | 434.08/434.17 c | 1565 | 6.8 | 52 | 105832 | 1215 | 169 | 231351590 | 9504620 || 1565 | 5774682 | 4/ 1 | 841943 | 0 | 441.08/441.19 c | 1597 | 7.0 | 52 | 106764 | 2521 | 170 | 234159309 | 9608633 || 1597 | 5847959 | 4/ 1 | 854218 | 0 | 448.18/448.26 c | 1627 | 7.1 | 52 | 108088 | 1113 | 171 | 236971057 | 9707519 || 1627 | 5911522 | 4/ 1 | 861569 | 0 | 455.08/455.18 c | 1659 | 6.9 | 52 | 109486 | 1426 | 172 | 239654228 | 9802846 || 1659 | 5980605 | 4/ 1 | 872168 | 0 | 462.18/462.27 c | 1661 | 7.1 | 52 | 111002 | 2318 | 173 | 242562210 | 9885173 || 1661 | 6046084 | 4/ 1 | 882693 | 0 | 469.68/469.78 c | 1692 | 7.5 | 52 | 112366 | 1618 | 174 | 245564723 | 9985013 || 1692 | 6106923 | 4/ 1 | 891601 | 0 | 476.98/477.04 c | 1723 | 7.3 | 52 | 113864 | 1019 | 175 | 248284024 | 10078687 || 1723 | 6169904 | 4/ 1 | 900506 | 0 | 484.98/485.07 c | 1753 | 8.0 | 52 | 115385 | 124 | 176 | 251287087 | 10173103 || 1753 | 6240237 | 4/ 1 | 910240 | 0 | 492.48/492.57 c | 1786 | 7.5 | 52 | 116463 | 925 | 177 | 254047336 | 10277282 || 1786 | 6311097 | 4/ 1 | 921713 | 0 | 499.88/499.99 c | 1788 | 7.4 | 52 | 117711 | 2320 | 178 | 256725479 | 10351979 || 1788 | 6378003 | 4/ 1 | 932156 | 0 | 508.18/508.23 c | 1789 | 8.2 | 52 | 118117 | 1421 | 179 | 259336420 | 10401944 || 1789 | 6437572 | 4/ 1 | 945599 | 0 | 515.48/515.57 c | 1807 | 7.3 | 52 | 118104 | 269 | 180 | 262342813 | 10465325 || 1807 | 6468325 | 4/ 1 | 949671 | 0 | 523.48/523.50 c | 1845 | 7.9 | 52 | 119171 | 255 | 181 | 265148996 | 10567550 || 1845 | 6535690 | 4/ 1 | 959899 | 0 | 531.58/531.61 c | 1867 | 8.1 | 52 | 120576 | 1094 | 182 | 268051144 | 10665024 || 1867 | 6605104 | 4/ 1 | 970489 | 0 | 540.08/540.12 c | 1905 | 8.5 | 52 | 121685 | 292 | 183 | 271032335 | 10770931 || 1905 | 6675507 | 4/ 1 | 980664 | 0 | 549.08/549.14 c | 1916 | 9.0 | 52 | 122575 | 7667 | 184 | 274179550 | 10867437 || 1916 | 6757882 | 4/ 1 | 995005 | 0 | 558.28/558.30 c | 1945 | 9.2 | 52 | 123988 | 311 | 185 | 277451705 | 10961043 || 1945 | 6813956 | 4/ 1 | 1001472 | 0 | 567.18/567.25 c | 1978 | 8.9 | 52 | 125525 | 1408 | 186 | 280470391 | 11069545 || 1978 | 6893504 | 4/ 1 | 1012959 | 0 | 576.18/576.21 c | 2007 | 9.0 | 52 | 126876 | 148 | 187 | 283519719 | 11169001 || 2007 | 6960091 | 4/ 1 | 1022279 | 0 | 584.88/584.99 c | 2041 | 8.8 | 52 | 127998 | 1115 | 188 | 286541462 | 11267207 || 2041 | 7032348 | 4/ 1 | 1034051 | 0 | 592.37/592.42 c | 2043 | 7.4 | 52 | 128907 | 3613 | 189 | 289223657 | 11368046 || 2043 | 7089337 | 4/ 1 | 1044708 | 0 | 602.07/602.10 c | 2044 | 9.7 | 52 | 129048 | 3812 | 190 | 292347260 | 11442291 || 2044 | 7169816 | 4/ 1 | 1058515 | 0 | 612.57/612.71 c | 2045 | 10.6 | 52 | 128965 | 23313 | 191 | 295973092 | 11516540 || 2045 | 7261775 | 4/ 1 | 1085210 | 0 | 621.67/621.77 c | 2045 | 9.1 | 52 | 129250 | 4514 | 192 | 298677484 | 11612892 || 2045 | 7332424 | 4/ 1 | 1086229 | 0 | 630.77/630.81 c | 2045 | 9.0 | 52 | 128407 | 24216 | 193 | 301466918 | 11647740 || 2045 | 7332424 | 4/ 1 | 1086229 | 0 | 640.48/640.52 c | 2046 | 9.7 | 52 | 127484 | 44020 | 194 | 304275064 | 11728957 || 2046 | 7490488 | 4/ 1 | 1139152 | 0 | 650.78/650.89 c | 2046 | 10.4 | 52 | 124581 | 19902 | 195 | 307004147 | 11802270 || 2046 | 7569840 | 4/ 1 | 1140126 | 0 | 662.58/662.67 c | 2046 | 11.8 | 52 | 124207 | 7119 | 196 | 309796070 | 11851976 || 2046 | 7608945 | 4/ 1 | 1140571 | 0 | 671.18/671.26 c | 2046 | 8.6 | 52 | 121093 | 27222 | 197 | 312721622 | 11882577 || 2046 | 7608945 | 4/ 1 | 1140571 | 0 | 680.38/680.41 c | 2046 | 9.1 | 52 | 114949 | 47423 | 198 | 316306319 | 11916163 || 2046 | 7608945 | 4/ 1 | 1140571 | 0 | 690.08/690.12 c | 2047 | 9.7 | 52 | 108697 | 67724 | 199 | 319259553 | 12015109 || 2047 | 7842236 | 4/ 1 | 1245821 | 0 | 705.88/705.95 c | 2047 | 15.8 | 52 | 108704 | 20414 | 200 | 322031588 | 12075108 || 2047 | 7912256 | 4/ 1 | 1246590 | 0 | 725.48/725.54 c | 2047 | 19.6 | 52 | 104617 | 20501 | 201 | 324685111 | 12132226 || 2047 | 7979448 | 4/ 1 | 1247302 | 0 | 746.68/746.79 c | 2047 | 21.2 | 52 | 101046 | 20601 | 202 | 327302607 | 12184417 || 2047 | 8040984 | 4/ 1 | 1247995 | 0 | 773.48/773.51 c | 2047 | 26.7 | 52 | 100702 | 20706 | 203 | 329901311 | 12239112 || 2047 | 8109506 | 4/ 1 | 1248712 | 0 | 796.57/796.63 c | 2047 | 23.1 | 52 | 98877 | 17147 | 204 | 333146323 | 12278005 || 2047 | 8121878 | 4/ 1 | 1248832 | 0 | 808.28/808.36 c | 2047 | 11.7 | 52 | 85307 | 38049 | 205 | 336091581 | 12308769 || 2047 | 8121878 | 4/ 1 | 1248832 | 0 | 819.38/819.45 c | 2047 | 11.1 | 52 | 73236 | 59050 | 206 | 338992843 | 12339152 || 2047 | 8121878 | 4/ 1 | 1248832 | 0 | 830.08/830.11 c | 2047 | 10.7 | 52 | 71917 | 80152 | 207 | 341727269 | 12368633 || 2047 | 8121878 | 4/ 1 | 1248832 | 0 | 840.89/840.93 c | 2047 | 10.8 | 52 | 73956 | 101355 | 208 | 344500106 | 12398955 || 2047 | 8121878 | 4/ 1 | 1248832 | 0 | 847.69/847.77 c | 2092 | 6.9 | 52 | 71273 | 360 | 209 | 348030993 | 12602776 || 2092 | 8227037 | 4/ 1 | 1261105 | 0 | 854.49/854.55 c | 2120 | 6.8 | 52 | 76622 | 89 | 210 | 351489549 | 12772827 || 2120 | 8317557 | 4/ 1 | 1273016 | 0 | 861.19/861.30 c | 2163 | 6.8 | 52 | 81198 | 95 | 211 | 354942934 | 12965601 || 2163 | 8420696 | 4/ 1 | 1285669 | 0 | 868.68/868.72 c | 2174 | 7.4 | 52 | 86390 | 1262 | 212 | 358407739 | 13124923 || 2174 | 8538116 | 4/ 1 | 1300624 | 0 | 876.28/876.31 c | 2208 | 7.6 | 52 | 90195 | 204 | 213 | 362055100 | 13271051 || 2208 | 8614168 | 4/ 1 | 1310223 | 0 | 883.88/883.99 c | 2237 | 7.7 | 52 | 94299 | 3029 | 214 | 365463078 | 13411025 || 2237 | 8698346 | 4/ 1 | 1322373 | 0 | 892.48/892.50 c | 2283 | 8.5 | 52 | 96842 | 19 | 215 | 368980467 | 13572430 || 2283 | 8799614 | 4/ 1 | 1335097 | 0 | 901.18/901.22 c | 2301 | 8.7 | 52 | 99667 | 8393 | 216 | 372586415 | 13711646 || 2301 | 8901615 | 4/ 1 | 1351043 | 0 | 910.79/910.91 c | 2302 | 9.7 | 52 | 101411 | 1688 | 217 | 375748796 | 13788139 || 2302 | 8979737 | 4/ 1 | 1364749 | 0 | 919.28/919.31 c | 2331 | 8.4 | 52 | 102182 | 204 | 218 | 378927430 | 13897078 || 2331 | 9031803 | 4/ 1 | 1371175 | 0 | 927.98/928.07 c | 2365 | 8.8 | 52 | 104688 | 2786 | 219 | 382527049 | 14051946 || 2365 | 9130411 | 4/ 1 | 1386268 | 0 | 937.08/937.13 c | 2401 | 9.1 | 52 | 107680 | 195 | 220 | 385901607 | 14195740 || 2401 | 9215129 | 4/ 1 | 1396224 | 0 | 946.10/946.15 c | 2429 | 9.0 | 52 | 110064 | 4297 | 221 | 389355899 | 14330737 || 2429 | 9315316 | 4/ 1 | 1414703 | 0 | 956.18/956.25 c | 2458 | 10.1 | 52 | 112052 | 25 | 222 | 393244744 | 14465159 || 2458 | 9393614 | 4/ 1 | 1421513 | 0 | 966.18/966.29 c | 2492 | 10.0 | 52 | 114344 | 3058 | 223 | 396907072 | 14604753 || 2492 | 9492777 | 4/ 1 | 1436512 | 0 | 976.28/976.37 c | 2530 | 10.1 | 52 | 117505 | 380 | 224 | 400373380 | 14741308 || 2530 | 9573699 | 4/ 1 | 1446971 | 0 | 986.48/986.57 c | 2556 | 10.2 | 52 | 119468 | 5433 | 225 | 403793217 | 14862905 || 2556 | 9666951 | 4/ 1 | 1464720 | 0 | 997.69/997.81 c | 2557 | 11.2 | 52 | 120525 | 18840 | 226 | 407529394 | 14960869 || 2557 | 9768620 | 4/ 1 | 1478840 | 0 | 1008.28/1008.34 c | 2558 | 10.5 | 52 | 120649 | 22739 | 227 | 410978926 | 15033702 || 2558 | 9845890 | 4/ 1 | 1505338 | 0 | 1022.88/1022.90 c | 2558 | 14.6 | 52 | 122104 | 7541 | 228 | 414213174 | 15096845 || 2558 | 9893544 | 4/ 1 | 1505852 | 0 | 1032.48/1032.58 c | 2573 | 9.7 | 52 | 120847 | 805 | 229 | 417958024 | 15175913 || 2573 | 9916512 | 4/ 1 | 1509410 | 0 | 1043.38/1043.49 c | 2619 | 10.9 | 52 | 122703 | 497 | 230 | 421584013 | 15327880 || 2619 | 10008508 | 4/ 1 | 1522013 | 0 | 1054.88/1054.96 c | 2652 | 11.5 | 52 | 124497 | 1527 | 231 | 425359916 | 15455915 || 2652 | 10101579 | 4/ 1 | 1536190 | 0 | 1065.28/1065.34 c | 2684 | 10.4 | 52 | 126056 | 1838 | 232 | 428917160 | 15613947 || 2684 | 10190159 | 4/ 1 | 1548967 | 0 | 1077.58/1077.64 c | 2710 | 12.3 | 52 | 127883 | 69 | 233 | 432826100 | 15728398 || 2710 | 10276121 | 4/ 1 | 1561346 | 0 | 1089.28/1089.37 c | 2748 | 11.7 | 52 | 130000 | 2768 | 234 | 436564212 | 15858647 || 2748 | 10367950 | 4/ 1 | 1577104 | 0 | 1101.59/1101.63 c | 2787 | 12.3 | 52 | 132738 | 73 | 235 | 440368285 | 15980943 || 2787 | 10446932 | 4/ 1 | 1587565 | 0 | 1113.89/1113.90 c | 2812 | 12.3 | 52 | 133811 | 7299 | 236 | 444113885 | 16103608 || 2812 | 10541876 | 4/ 1 | 1605177 | 0 | 1124.31/1124.33 c | 2813 | 10.4 | 52 | 134351 | 2583 | 237 | 447414122 | 16244392 || 2813 | 10623739 | 4/ 1 | 1619561 | 0 | 1136.09/1136.19 c | 2844 | 11.9 | 52 | 135892 | 1891 | 238 | 450876023 | 16344518 || 2844 | 10683558 | 4/ 1 | 1628450 | 0 | 1148.51/1148.54 c | 2876 | 12.3 | 52 | 136595 | 2895 | 239 | 454675300 | 16474326 || 2876 | 10775022 | 4/ 1 | 1640922 | 0 | 1161.59/1161.69 c | 2928 | 13.2 | 52 | 138196 | 169 | 240 | 458549821 | 16625665 || 2928 | 10870784 | 4/ 1 | 1654384 | 0 | 1174.79/1174.91 c | 2940 | 13.2 | 52 | 139672 | 3636 | 241 | 462360386 | 16718966 || 2940 | 10957720 | 4/ 1 | 1668987 | 0 | 1187.99/1188.10 c | 2986 | 13.2 | 52 | 141057 | 114 | 242 | 466149389 | 16847287 || 2986 | 11042523 | 4/ 1 | 1681418 | 0 | 1200.79/1200.88 c | 3024 | 12.8 | 52 | 143256 | 119 | 243 | 469986924 | 16996303 || 3024 | 11133161 | 4/ 1 | 1694814 | 0 | 1214.89/1214.99 c | 3066 | 14.1 | 52 | 144936 | 2183 | 244 | 473924984 | 17135536 || 3066 | 11230264 | 4/ 1 | 1711314 | 0 | 1228.09/1228.13 c | 3068 | 13.1 | 52 | 145800 | 12679 | 245 | 477782649 | 17221199 || 3068 | 11321159 | 4/ 1 | 1731610 | 0 | 1242.49/1242.57 c | 3069 | 14.4 | 52 | 145831 | 18476 | 246 | 482094919 | 17295677 || 3069 | 11408475 | 4/ 1 | 1758277 | 0 | 1255.99/1256.05 c | 3069 | 13.5 | 52 | 144630 | 5172 | 247 | 485261480 | 17371338 || 3069 | 11469316 | 4/ 1 | 1759102 | 0 | 1267.31/1267.33 c | 3070 | 11.3 | 52 | 143393 | 30378 | 248 | 488502125 | 17437048 || 3070 | 11574905 | 4/ 1 | 1811511 | 0 | 1286.49/1286.56 c | 3070 | 19.2 | 52 | 142018 | 25303 | 249 | 491451354 | 17596238 || 3070 | 11676970 | 4/ 1 | 1813411 | 0 | 1312.41/1312.44 c | 3070 | 25.9 | 52 | 143849 | 4282 | 250 | 494257254 | 17716555 || 3070 | 11748093 | 4/ 1 | 1814794 | 0 | 1325.49/1325.56 c | 3070 | 13.1 | 52 | 130433 | 29783 | 251 | 497568962 | 17751390 || 3070 | 11748093 | 4/ 1 | 1814794 | 0 | 1341.99/1342.06 c | 3084 | 16.5 | 52 | 129172 | 335 | 252 | 501066710 | 17806718 || 3084 | 11767290 | 4/ 1 | 1817481 | 0 | 1354.69/1354.70 c | 3132 | 12.6 | 52 | 124045 | 1695 | 253 | 505187804 | 17951584 || 3132 | 11868888 | 4/ 1 | 1832430 | 0 | 1367.19/1367.25 c | 3168 | 12.5 | 52 | 126305 | 72 | 254 | 509163169 | 18082732 || 3168 | 11961083 | 4/ 1 | 1845381 | 0 | 1379.51/1379.57 c | 3197 | 12.3 | 52 | 127353 | 7601 | 255 | 513179602 | 18224615 || 3197 | 12061615 | 4/ 1 | 1864019 | 0 | 1393.39/1393.48 c | 3234 | 13.9 | 52 | 130488 | 95 | 256 | 517760287 | 18351380 || 3234 | 12138261 | 4/ 1 | 1873925 | 0 | 1406.49/1406.56 c | 3275 | 13.1 | 52 | 133010 | 681 | 257 | 521844368 | 18494894 || 3275 | 12234764 | 4/ 1 | 1888995 | 0 | 1419.98/1420.05 c | 3322 | 13.5 | 52 | 136317 | 744 | 258 | 525813879 | 18658255 || 3322 | 12331369 | 4/ 1 | 1903358 | 0 | 1433.29/1433.36 c | 3325 | 13.3 | 52 | 138001 | 12645 | 259 | 529730278 | 18757588 || 3325 | 12438929 | 4/ 1 | 1927102 | 0 | 1448.08/1448.10 c | 3343 | 14.7 | 52 | 139803 | 284 | 260 | 534171894 | 18849222 || 3343 | 12491692 | 4/ 1 | 1931429 | 0 | 1462.00/1462.08 c | 3388 | 14.0 | 52 | 140186 | 2946 | 261 | 538342217 | 18997493 || 3388 | 12597913 | 4/ 1 | 1948577 | 0 | 1476.79/1476.80 c | 3434 | 14.7 | 52 | 142321 | 1020 | 262 | 542670804 | 19149755 || 3434 | 12698166 | 4/ 1 | 1961293 | 0 | 1490.99/1491.07 c | 3452 | 14.3 | 52 | 144189 | 3285 | 263 | 546747596 | 19248214 || 3452 | 12780124 | 4/ 1 | 1976777 | 0 | 1506.01/1506.03 c | 3503 | 15.0 | 52 | 145361 | 35 | 264 | 551066682 | 19392306 || 3503 | 12872511 | 4/ 1 | 1989975 | 0 | 1520.79/1520.81 c | 3545 | 14.8 | 52 | 147222 | 1134 | 265 | 555117341 | 19543885 || 3545 | 12974867 | 4/ 1 | 2005360 | 0 | 1536.19/1536.22 c | 3579 | 15.4 | 52 | 149106 | 3632 | 266 | 559507665 | 19670937 || 3579 | 13078784 | 4/ 1 | 2025933 | 0 | 1550.01/1550.07 c | 3580 | 13.8 | 52 | 150508 | 1927 | 267 | 563172771 | 19771071 || 3580 | 13170561 | 4/ 1 | 2039943 | 0 | 1564.79/1564.89 c | 3581 | 14.8 | 52 | 150629 | 29131 | 268 | 566887600 | 19861138 || 3581 | 13275912 | 4/ 1 | 2066783 | 0 | 1580.39/1580.41 c | 3581 | 15.5 | 52 | 150779 | 18032 | 269 | 570875615 | 19926822 || 3581 | 13310907 | 4/ 1 | 2067293 | 0 | 1595.69/1595.72 c | 3625 | 15.3 | 52 | 153494 | 227 | 270 | 575013427 | 20048344 || 3625 | 13388941 | 4/ 1 | 2078366 | 0 | 1610.99/1611.02 c | 3666 | 15.3 | 52 | 151670 | 316 | 271 | 579184890 | 20180117 || 3666 | 13482546 | 4/ 1 | 2093193 | 0 | 1626.89/1626.97 c | 3707 | 15.9 | 52 | 152944 | 991 | 272 | 583351370 | 20315038 || 3707 | 13583053 | 4/ 1 | 2109408 | 0 | 1642.90/1642.95 c | 3738 | 16.0 | 52 | 153990 | 594 | 273 | 587632586 | 20447303 || 3738 | 13669508 | 4/ 1 | 2123523 | 0 | 1659.80/1659.80 c | 3778 | 16.8 | 52 | 156023 | 465 | 274 | 592094493 | 20580415 || 3778 | 13767788 | 4/ 1 | 2138908 | 0 | 1676.40/1676.51 c | 3833 | 16.7 | 52 | 157635 | 1596 | 275 | 596554236 | 20734065 || 3833 | 13874762 | 4/ 1 | 2155246 | 0 | 1694.30/1694.34 c | 3836 | 17.8 | 52 | 160124 | 12785 | 276 | 601160651 | 20835791 || 3836 | 13983083 | 4/ 1 | 2178972 | 0 | 1711.30/1711.32 c | 3859 | 17.0 | 52 | 160831 | 423 | 277 | 605217106 | 20924828 || 3859 | 14035911 | 4/ 1 | 2184154 | 0 | 1729.10/1729.16 c | 3899 | 17.8 | 52 | 160947 | 1707 | 278 | 609677840 | 21066896 || 3899 | 14140305 | 4/ 1 | 2200280 | 0 | 1747.90/1747.94 c | 3959 | 18.8 | 52 | 162642 | 429 | 279 | 614315208 | 21220424 || 3959 | 14243370 | 4/ 1 | 2215361 | 0 | 1766.50/1766.58 c | 3976 | 18.6 | 52 | 164212 | 286 | 280 | 619143818 | 21330848 || 3976 | 14343177 | 4/ 1 | 2230484 | 0 | 1784.10/1784.21 c | 4026 | 17.6 | 52 | 165747 | 1761 | 281 | 623519047 | 21484809 || 4026 | 14451470 | 4/ 1 | 2249273 | 0 | 1802.70/1802.74 c | 4072 | 18.5 | 52 | 167431 | 607 | 282 | 628067677 | 21626594 || 4072 | 14547227 | 4/ 1 | 2261860 | 0 | 1820.00/1820.09 c | 4090 | 17.3 | 52 | 169108 | 6045 | 283 | 632567294 | 21731605 || 4090 | 14636823 | 4/ 1 | 2277396 | 0 | 1839.70/1839.76 c | 4092 | 19.7 | 52 | 169507 | 15645 | 284 | 637588009 | 21833103 || 4092 | 14764732 | 4/ 1 | 2317384 | 0 | 1859.50/1859.59 c | 4092 | 19.8 | 52 | 169049 | 6146 | 285 | 641680804 | 21918807 || 4092 | 14841748 | 4/ 1 | 2318283 | 0 | 1878.30/1878.30 c | 4093 | 18.7 | 52 | 167642 | 35148 | 286 | 646500350 | 21990608 || 4093 | 14955074 | 4/ 1 | 2370708 | 0 | 1902.89/1902.94 c | 4093 | 24.6 | 52 | 166635 | 29103 | 287 | 649726105 | 22076304 || 4093 | 15030440 | 4/ 1 | 2371714 | 0 | 1932.30/1932.32 c | 4093 | 29.4 | 52 | 168239 | 16652 | 288 | 653950620 | 22136864 || 4093 | 15060830 | 4/ 1 | 2372074 | 0 | 1952.20/1952.25 c | 4093 | 19.9 | 52 | 159235 | 45953 | 289 | 658968154 | 22186433 || 4093 | 15060830 | 4/ 1 | 2372074 | 0 | 1973.60/1973.62 c | 4094 | 21.4 | 52 | 153699 | 75356 | 290 | 662979532 | 22280006 || 4094 | 15307246 | 4/ 1 | 2477258 | 0 | 1994.70/1994.74 c | 4094 | 21.1 | 52 | 148148 | 29506 | 291 | 667314336 | 22400417 || 4094 | 15430000 | 4/ 1 | 2478778 | 0 | 2022.40/2022.49 c | 4094 | 27.8 | 52 | 143482 | 29602 | 292 | 671732230 | 22513488 || 4094 | 15560057 | 4/ 1 | 2480212 | 0 | 2048.40/2048.49 c | 4094 | 26.0 | 52 | 132371 | 10566 | 293 | 676858783 | 22598286 || 4094 | 15643825 | 4/ 1 | 2481047 | 0 | 2070.10/2070.15 c | 4094 | 21.7 | 52 | 131371 | 40368 | 294 | 682081251 | 22642608 || 4094 | 15643825 | 4/ 1 | 2481047 | 0 | 2087.50/2087.53 c | 4094 | 17.4 | 52 | 127122 | 70271 | 295 | 687034591 | 22692801 || 4094 | 15643825 | 4/ 1 | 2481047 | 0 | 2103.80/2103.84 c | 4094 | 16.3 | 52 | 115426 | 100272 | 296 | 691696057 | 22742121 || 4094 | 15643825 | 4/ 1 | 2481047 | 0 | 2120.80/2120.83 c | 4095 | 17.0 | 52 | 113384 | 130375 | 297 | 695613332 | 22850508 || 4095 | 16075302 | 4/ 1 | 2690424 | 0 | 2147.00/2147.05 c | 4095 | 26.2 | 52 | 112687 | 30205 | 298 | 699269043 | 22933420 || 4095 | 16168670 | 4/ 1 | 2691478 | 0 | 2176.81/2176.87 c | 4095 | 29.8 | 52 | 108230 | 30301 | 299 | 702963627 | 23017967 || 4095 | 16261954 | 4/ 1 | 2692551 | 0 | 2215.10/2215.19 c | 4095 | 38.3 | 52 | 107818 | 30406 | 300 | 706483125 | 23092765 || 4095 | 16355874 | 4/ 1 | 2693447 | 0 | 2253.70/2253.78 c | 4095 | 38.6 | 52 | 111602 | 30501 | 301 | 710168115 | 23167045 || 4095 | 16450216 | 4/ 1 | 2694407 | 0 | 2294.00/2294.05 c | 4095 | 40.3 | 52 | 106154 | 30602 | 302 | 713723605 | 23238868 || 4095 | 16543237 | 4/ 1 | 2695345 | 0 | 2327.90/2327.92 c | 4095 | 33.9 | 52 | 101332 | 5886 | 303 | 717850346 | 23314363 || 4095 | 16617822 | 4/ 1 | 2696133 | 0 | 2341.91/2341.97 c | 4095 | 14.0 | 52 | 81762 | 36688 | 304 | 723932856 | 23368195 || 4095 | 16617822 | 4/ 1 | 2696133 | 0 | 2357.42/2357.47 c | 4095 | 15.5 | 52 | 84897 | 67589 | 305 | 729817153 | 23419493 || 4095 | 16617822 | 4/ 1 | 2696133 | 0 | 2371.20/2371.29 c | 4095 | 13.8 | 52 | 85584 | 98591 | 306 | 735557929 | 23483194 || 4095 | 16617822 | 4/ 1 | 2696133 | 0 | 2388.00/2388.02 c | 4095 | 16.7 | 52 | 87311 | 129693 | 307 | 740812597 | 23532538 || 4095 | 16617822 | 4/ 1 | 2696133 | 0 | 2405.40/2405.49 c | 4095 | 17.5 | 52 | 90738 | 160894 | 308 | 745928097 | 23578802 || 4095 | 16617822 | 4/ 1 | 2696133 | 0 | 2427.00/2427.01 c | 4095 | 21.5 | 52 | 92595 | 192201 | 309 | 751106324 | 23623992 || 4095 | 16617822 | 4/ 1 | 2696133 | 0 | 2443.00/2443.06 c | 4135 | 16.1 | 52 | 93929 | 19 | 310 | 756282495 | 23801496 || 4135 | 16708748 | 4/ 1 | 2707068 | 0 | 2455.80/2455.84 c | 4188 | 12.8 | 52 | 93821 | 899 | 311 | 761262983 | 24024869 || 4188 | 16839209 | 4/ 1 | 2725365 | 0 | 2469.10/2469.13 c | 4222 | 13.3 | 52 | 99714 | 7981 | 312 | 766128797 | 24210527 || 4222 | 16977904 | 4/ 1 | 2746540 | 0 | 2483.00/2483.02 c | 4273 | 13.9 | 52 | 104277 | 54 | 313 | 771113542 | 24419052 || 4273 | 17091809 | 4/ 1 | 2760149 | 0 | 2497.90/2497.97 c | 4319 | 14.9 | 52 | 110472 | 193 | 314 | 776507256 | 24623351 || 4319 | 17221962 | 4/ 1 | 2777963 | 0 | 2512.81/2512.81 c | 4349 | 14.8 | 52 | 115777 | 3815 | 315 | 781516202 | 24789185 || 4349 | 17344839 | 4/ 1 | 2796956 | 0 | 2528.70/2528.78 c | 4363 | 16.0 | 52 | 119760 | 289 | 316 | 786202588 | 24902936 || 4363 | 17432505 | 4/ 1 | 2812822 | 0 | 2544.61/2544.62 c | 4413 | 15.8 | 52 | 120947 | 522 | 317 | 791365476 | 25124200 || 4413 | 17579152 | 4/ 1 | 2832261 | 0 | 2561.61/2561.67 c | 4475 | 17.1 | 52 | 124940 | 1396 | 318 | 796569946 | 25320489 || 4475 | 17698614 | 4/ 1 | 2850110 | 0 | 2579.01/2579.04 c | 4506 | 17.4 | 52 | 128786 | 215 | 319 | 801773078 | 25473225 || 4506 | 17806031 | 4/ 1 | 2866784 | 0 | 2595.91/2595.97 c | 4554 | 16.9 | 52 | 130776 | 495 | 320 | 806698925 | 25651863 || 4554 | 17925938 | 4/ 1 | 2884557 | 0 | 2614.51/2614.59 c | 4603 | 18.6 | 52 | 133198 | 1459 | 321 | 811976351 | 25834899 || 4603 | 18048318 | 4/ 1 | 2903035 | 0 | 2632.32/2632.37 c | 4605 | 17.8 | 52 | 135979 | 5257 | 322 | 817110024 | 25939262 || 4605 | 18149652 | 4/ 1 | 2923432 | 0 | 2652.01/2652.05 c | 4606 | 19.7 | 52 | 137361 | 37958 | 323 | 821803155 | 26051192 || 4606 | 18284875 | 4/ 1 | 2950633 | 0 | 2669.61/2669.70 c | 4623 | 17.7 | 52 | 137332 | 14 | 324 | 827835797 | 26134106 || 4623 | 18312522 | 4/ 1 | 2954384 | 0 | 2687.31/2687.36 c | 4674 | 17.7 | 52 | 137289 | 182 | 325 | 833077132 | 26302644 || 4674 | 18435752 | 4/ 1 | 2972480 | 0 | 2705.71/2705.78 c | 4732 | 18.4 | 52 | 140271 | 3497 | 326 | 838113494 | 26489432 || 4732 | 18570752 | 4/ 1 | 2992979 | 0 | 2724.11/2724.11 c | 4764 | 18.3 | 52 | 143261 | 1283 | 327 | 843315681 | 26637533 || 4764 | 18672306 | 4/ 1 | 3008801 | 0 | 2743.53/2743.54 c | 4824 | 19.4 | 52 | 145182 | 63 | 328 | 848486597 | 26817739 || 4824 | 18793113 | 4/ 1 | 3027008 | 0 | 2763.81/2763.83 c | 4860 | 20.3 | 52 | 148323 | 8267 | 329 | 853592315 | 26989206 || 4860 | 18933883 | 4/ 1 | 3049294 | 0 | 2784.81/2784.87 c | 4862 | 21.0 | 52 | 150288 | 12866 | 330 | 859289966 | 27099996 || 4862 | 19029524 | 4/ 1 | 3063261 | 0 | 2805.51/2805.51 c | 4924 | 20.6 | 52 | 151980 | 3018 | 331 | 864651490 | 27288837 || 4924 | 19162708 | 4/ 1 | 3084323 | 0 | 2826.71/2826.77 c | 4985 | 21.3 | 52 | 154671 | 451 | 332 | 870020791 | 27473538 || 4985 | 19284392 | 4/ 1 | 3100462 | 0 | 2847.41/2847.45 c | 5017 | 20.7 | 52 | 156691 | 72 | 333 | 875091336 | 27613187 || 5017 | 19387480 | 4/ 1 | 3118648 | 0 | 2868.51/2868.52 c | 5066 | 21.1 | 52 | 158682 | 506 | 334 | 880443405 | 27776098 || 5066 | 19502947 | 4/ 1 | 3137083 | 0 | 2889.61/2889.72 c | 5115 | 21.2 | 52 | 160784 | 4692 | 335 | 885440502 | 27941860 || 5115 | 19632781 | 4/ 1 | 3161242 | 0 | 2911.21/2911.20 c | 5116 | 21.5 | 52 | 161661 | 9889 | 336 | 890260963 | 28038091 || 5116 | 19722918 | 4/ 1 | 3175094 | 0 | 2933.21/2933.28 c | 5117 | 22.1 | 52 | 163362 | 5589 | 337 | 895312024 | 28163954 || 5117 | 19887888 | 4/ 1 | 3202532 | 0 | 2954.31/2954.31 c | 5118 | 21.0 | 52 | 163102 | 39790 | 338 | 899613372 | 28239739 || 5118 | 20023281 | 4/ 1 | 3255160 | 0 | 2983.11/2983.20 c | 5118 | 28.9 | 52 | 162448 | 34305 | 339 | 904195783 | 28350282 || 5118 | 20140593 | 4/ 1 | 3256521 | 0 | 3007.61/3007.64 c | 5118 | 24.4 | 52 | 159673 | 31692 | 340 | 910876443 | 28416827 || 5118 | 20148947 | 4/ 1 | 3256600 | 0 | 3032.11/3032.15 c | 5149 | 24.5 | 52 | 158092 | 525 | 341 | 916976146 | 28533790 || 5149 | 20208314 | 4/ 1 | 3265392 | 0 | 3054.32/3054.34 c | 5210 | 22.2 | 52 | 157100 | 167 | 342 | 922378808 | 28708117 || 5210 | 20329171 | 4/ 1 | 3283881 | 0 | 3074.92/3074.99 c | 5245 | 20.6 | 52 | 159147 | 758 | 343 | 927545912 | 28891893 || 5245 | 20460535 | 4/ 1 | 3305887 | 0 | 3097.42/3097.41 c | 5307 | 22.4 | 52 | 160745 | 1008 | 344 | 932912942 | 29071545 || 5307 | 20574450 | 4/ 1 | 3323664 | 0 | 3121.72/3121.72 c | 5364 | 24.3 | 52 | 164051 | 253 | 345 | 938702862 | 29247919 || 5364 | 20698441 | 4/ 1 | 3341491 | 0 | 3145.12/3145.17 c | 5373 | 23.5 | 52 | 167201 | 15524 | 346 | 944301923 | 29417696 || 5373 | 20839178 | 4/ 1 | 3369191 | 0 | 3167.52/3167.55 c | 5412 | 22.4 | 52 | 168613 | 16 | 347 | 949665763 | 29580298 || 5412 | 20927601 | 4/ 1 | 3379859 | 0 | 3190.82/3190.88 c | 5467 | 23.3 | 52 | 170526 | 751 | 348 | 955173463 | 29749272 || 5467 | 21055358 | 4/ 1 | 3399467 | 0 | 3214.92/3214.98 c | 5500 | 24.1 | 52 | 172349 | 5552 | 349 | 960628225 | 29896359 || 5500 | 21168241 | 4/ 1 | 3418556 | 0 | 3238.92/3238.93 c | 5563 | 23.9 | 52 | 174616 | 3973 | 350 | 965927845 | 30082216 || 5563 | 21304225 | 4/ 1 | 3439650 | 0 | 3265.22/3265.25 c | 5625 | 26.3 | 52 | 176296 | 815 | 351 | 971641717 | 30270574 || 5625 | 21427162 | 4/ 1 | 3457387 | 0 | 3291.23/3291.30 c | 5628 | 26.0 | 52 | 177795 | 2796 | 352 | 977128855 | 30376942 || 5628 | 21543388 | 4/ 1 | 3481131 | 0 | 3318.12/3318.12 c | 5629 | 26.8 | 52 | 178053 | 96 | 353 | 982487111 | 30494012 || 5629 | 21673506 | 4/ 1 | 3508313 | 0 | 3344.52/3344.57 c | 5657 | 26.4 | 52 | 177791 | 6 | 354 | 989218598 | 30600840 || 5657 | 21716400 | 4/ 1 | 3514176 | 0 | 3368.42/3368.45 c | 5712 | 23.9 | 52 | 178074 | 53 | 355 | 994770035 | 30786529 || 5712 | 21840337 | 4/ 1 | 3533823 | 0 | 3391.92/3391.95 c | 5756 | 23.5 | 52 | 180657 | 8232 | 356 | 1000002501 | 30977244 || 5756 | 21989440 | 4/ 1 | 3557745 | 0 | 3419.72/3419.78 c | 5817 | 27.8 | 52 | 182669 | 143 | 357 | 1005892599 | 31150762 || 5817 | 22104220 | 4/ 1 | 3573760 | 0 | 3446.02/3446.07 c | 5876 | 26.3 | 52 | 184107 | 80 | 358 | 1011544434 | 31324077 || 5876 | 22221272 | 4/ 1 | 3593089 | 0 | 3470.82/3470.89 c | 5884 | 24.8 | 52 | 185959 | 17262 | 359 | 1016602682 | 31447303 || 5884 | 22352025 | 4/ 1 | 3620138 | 0 | 3498.52/3498.53 c | 5930 | 27.6 | 52 | 187814 | 1124 | 360 | 1022769295 | 31600449 || 5930 | 22445373 | 4/ 1 | 3632649 | 0 | 3526.74/3526.74 c | 5990 | 28.2 | 52 | 189739 | 136 | 361 | 1028652466 | 31778191 || 5990 | 22574910 | 4/ 1 | 3652197 | 0 | 3553.72/3553.79 c | 6025 | 27.0 | 52 | 191152 | 306 | 362 | 1034319267 | 31948987 || 6025 | 22688688 | 4/ 1 | 3672144 | 0 | 3582.02/3582.05 c | 6084 | 28.3 | 52 | 192384 | 108 | 363 | 1040140521 | 32120117 || 6084 | 22811665 | 4/ 1 | 3692234 | 0 | 3610.13/3610.12 c | 6138 | 28.1 | 52 | 193526 | 4266 | 364 | 1045784163 | 32289781 || 6138 | 22947165 | 4/ 1 | 3718071 | 0 | 3635.33/3635.31 c | 6139 | 25.2 | 52 | 194101 | 12357 | 365 | 1051397513 | 32434754 || 6139 | 23045977 | 4/ 1 | 3732449 | 0 | 3665.13/3665.16 c | 6140 | 29.8 | 52 | 194033 | 10958 | 366 | 1057346773 | 32560851 || 6140 | 23194289 | 4/ 1 | 3759760 | 0 | 3695.73/3695.78 c | 6141 | 30.6 | 52 | 193893 | 48060 | 367 | 1062607030 | 32652229 || 6141 | 23344147 | 4/ 1 | 3812647 | 0 | 3734.53/3734.53 c | 6141 | 38.8 | 52 | 197952 | 8458 | 368 | 1067471636 | 32756323 || 6141 | 23435607 | 4/ 1 | 3813802 | 0 | 3761.23/3761.26 c | 6141 | 26.7 | 52 | 191560 | 45759 | 369 | 1072864575 | 32816499 || 6141 | 23435607 | 4/ 1 | 3813802 | 0 | 3792.43/3792.45 c | 6142 | 31.2 | 52 | 189116 | 83162 | 370 | 1077436836 | 32922440 || 6142 | 23706777 | 4/ 1 | 3919084 | 0 | 3832.23/3832.28 c | 6142 | 39.8 | 52 | 179476 | 37506 | 371 | 1083869427 | 33063050 || 6142 | 23866425 | 4/ 1 | 3920944 | 0 | 3878.43/3878.41 c | 6142 | 46.1 | 52 | 176960 | 4675 | 372 | 1090136785 | 33174541 || 6142 | 24003735 | 4/ 1 | 3922276 | 0 | 3912.44/3912.42 c | 6142 | 34.0 | 52 | 162039 | 42376 | 373 | 1096948487 | 33226244 || 6142 | 24003735 | 4/ 1 | 3922276 | 0 | 3952.46/3952.48 c | 6142 | 40.1 | 52 | 157548 | 80177 | 374 | 1104214040 | 33280030 || 6142 | 24003735 | 4/ 1 | 3922276 | 0 | 3981.94/3981.99 c | 6173 | 29.5 | 52 | 156506 | 1194 | 375 | 1110750559 | 33407682 || 6173 | 24067095 | 4/ 1 | 3931220 | 0 | 4006.64/4006.69 c | 6236 | 24.7 | 52 | 152097 | 614 | 376 | 1116907121 | 33621204 || 6236 | 24211863 | 4/ 1 | 3952548 | 0 | 4031.24/4031.22 c | 6276 | 24.5 | 52 | 155834 | 403 | 377 | 1122959566 | 33775752 || 6276 | 24326679 | 4/ 1 | 3972872 | 0 | 4057.24/4057.28 c | 6338 | 26.1 | 52 | 160097 | 7 | 378 | 1129065234 | 33968848 || 6338 | 24464871 | 4/ 1 | 3993504 | 0 | 4082.74/4082.71 c | 6396 | 25.4 | 52 | 164610 | 4350 | 379 | 1134914717 | 34165609 || 6396 | 24616979 | 4/ 1 | 4020396 | 0 | 4108.14/4108.11 c | 6402 | 25.4 | 52 | 168202 | 29 | 380 | 1141053273 | 34289738 || 6402 | 24709129 | 4/ 1 | 4035056 | 0 | 4135.44/4135.47 c | 6465 | 27.4 | 52 | 170387 | 171 | 381 | 1147153308 | 34477420 || 6465 | 24846251 | 4/ 1 | 4056072 | 0 | 4162.34/4162.37 c | 6524 | 26.9 | 52 | 173194 | 4368 | 382 | 1153068481 | 34666082 || 6524 | 24995150 | 4/ 1 | 4083116 | 0 | 4192.44/4192.43 c | 6584 | 30.1 | 52 | 175455 | 87 | 383 | 1159467068 | 34850701 || 6584 | 25117524 | 4/ 1 | 4098422 | 0 | 4219.54/4219.53 c | 6647 | 27.1 | 52 | 177672 | 240 | 384 | 1165364030 | 35066730 || 6647 | 25260263 | 4/ 1 | 4119827 | 0 | 4248.24/4248.28 c | 6652 | 28.8 | 52 | 179307 | 1934 | 385 | 1171195110 | 35178751 || 6652 | 25382548 | 4/ 1 | 4145964 | 0 | 4278.06/4278.04 c | 6653 | 29.8 | 52 | 179867 | 2530 | 386 | 1177080956 | 35300416 || 6653 | 25515701 | 4/ 1 | 4173180 | 0 | 4307.95/4307.93 c | 6684 | 29.9 | 52 | 181030 | 1543 | 387 | 1184299750 | 35425963 || 6684 | 25577787 | 4/ 1 | 4182036 | 0 | 4335.35/4335.35 c | 6750 | 27.4 | 52 | 183244 | 243 | 388 | 1190284356 | 35631281 || 6750 | 25715487 | 4/ 1 | 4203603 | 0 | 4366.75/4366.76 c | 6794 | 31.4 | 52 | 185649 | 112 | 389 | 1197127747 | 35802430 || 6794 | 25848976 | 4/ 1 | 4224993 | 0 | 4397.05/4397.07 c | 6858 | 30.3 | 52 | 187361 | 898 | 390 | 1203332791 | 35984724 || 6858 | 25986687 | 4/ 1 | 4246825 | 0 | 4426.57/4426.55 c | 6907 | 29.5 | 52 | 189100 | 9458 | 391 | 1209231615 | 36176960 || 6907 | 26133580 | 4/ 1 | 4271318 | 0 | 4457.95/4457.91 c | 6927 | 31.4 | 52 | 191293 | 92 | 392 | 1215482089 | 36300057 || 6927 | 26224275 | 4/ 1 | 4288971 | 0 | 4489.75/4489.72 c | 6993 | 31.8 | 52 | 193380 | 141 | 393 | 1222044118 | 36493721 || 6993 | 26366274 | 4/ 1 | 4310851 | 0 | 4520.15/4520.18 c | 7035 | 30.5 | 52 | 194770 | 3439 | 394 | 1227973337 | 36676059 || 7035 | 26501556 | 4/ 1 | 4333980 | 0 | 4551.97/4551.92 c | 7098 | 31.8 | 52 | 196160 | 1549 | 395 | 1234293858 | 36885598 || 7098 | 26639109 | 4/ 1 | 4355328 | 0 | 4582.65/4582.69 c | 7161 | 30.8 | 52 | 197896 | 2982 | 396 | 1240340885 | 37079905 || 7161 | 26777190 | 4/ 1 | 4376572 | 0 | 4614.75/4614.73 c | 7164 | 32.0 | 52 | 198811 | 14282 | 397 | 1246605072 | 37201416 || 7164 | 26926544 | 4/ 1 | 4423190 | 0 | 4652.25/4652.26 c | 7164 | 37.5 | 52 | 198004 | 16082 | 398 | 1253937973 | 37361387 || 7164 | 27041548 | 4/ 1 | 4424740 | 0 | 4681.65/4681.62 c | 7165 | 29.4 | 52 | 198643 | 56383 | 399 | 1258939350 | 37470767 || 7165 | 27213482 | 4/ 1 | 4477823 | 0 | 4718.35/4718.34 c | 7165 | 36.7 | 52 | 199470 | 19985 | 400 | 1264300535 | 37557312 || 7165 | 27273360 | 4/ 1 | 4478509 | 0 | 4753.65/4753.60 c | 7190 | 35.3 | 52 | 197385 | 117 | 401 | 1271365595 | 37657210 || 7190 | 27309531 | 4/ 1 | 4483814 | 0 | 4782.45/4782.44 c | 7258 | 28.8 | 52 | 195763 | 402 | 402 | 1277341834 | 37882662 || 7258 | 27452336 | 4/ 1 | 4506927 | 0 | 4814.65/4814.65 c | 7295 | 32.2 | 52 | 196559 | 290 | 403 | 1283638608 | 38039867 || 7295 | 27571965 | 4/ 1 | 4528157 | 0 | 4848.45/4848.40 c | 7365 | 33.8 | 52 | 198154 | 130 | 404 | 1290270163 | 38230961 || 7365 | 27711498 | 4/ 1 | 4550553 | 0 | 4881.85/4881.86 c | 7419 | 33.5 | 52 | 200439 | 8385 | 405 | 1296455946 | 38415791 || 7419 | 27861477 | 4/ 1 | 4576576 | 0 | 4915.25/4915.21 c | 7441 | 33.4 | 52 | 201968 | 230 | 406 | 1302417394 | 38544035 || 7441 | 27959365 | 4/ 1 | 4594635 | 0 | 4949.55/4949.51 c | 7511 | 34.3 | 52 | 203892 | 0 | 407 | 1308885720 | 38726582 || 7511 | 28097587 | 4/ 1 | 4616898 | 0 | 4985.95/4985.90 c | 7548 | 36.4 | 52 | 206174 | 6472 | 408 | 1315740645 | 38883348 || 7548 | 28222724 | 4/ 1 | 4639026 | 0 | 5000.06/5000.02 c | 7585 | 14.1 | 52 | 224394 | 188 | 408 | 1318428241 | 38981522 || 7585 | 28288880 | 4/ 1 | 4649096 | 0 | 5000.06/5000.02 c c 5000.06/5000.02 c ----------------------------------- 5000.06/5000.02 c # temps = 5000.020000 5000.06/5000.02 c # cleaningDB = 408 5000.06/5000.02 c # clause binaire = 18828 5000.06/5000.02 c # literal removed by litRedundant = 401351910 5000.06/5000.02 c # literal removed by litRedundantBin = 154233473 5000.06/5000.02 c # init clause removed by simplify = 0 5000.06/5000.02 c # learnt clause removed by simplify = 0 5000.06/5000.02 c # une clause fausse était une apprise = 0 5000.06/5000.02 c # equivalence dectecte = 0 5000.06/5000.02 c # Memory used : 167.00 MB 5000.06/5000.02 c 5000.06/5000.02 c ######################## 5000.06/5000.02 c #### ## ### ## #### 5000.06/5000.02 c #### #### # ## #### #### 5000.06/5000.02 c #### ## ### ## ### 5000.06/5000.02 c ######################## 5000.06/5000.02 c # restart = 7585 5000.06/5000.02 c # conflit = 8526014 5000.06/5000.02 c # decision = 38981522 5000.06/5000.02 c # propagation = 1318428241 (263684.593462 (prop/sec)) 5000.06/5000.02 c 5000.06/5000.02 c ######################## 5000.06/5000.02 c ### ### # ## ## ## 5000.06/5000.02 c ### # # # #### # ### ### 5000.06/5000.02 c ### # ### ## # ### ### 5000.06/5000.02 c ######################## 5000.06/5000.02 c # numtry = 7585 5000.06/5000.02 c # numflips = 28288880 5000.06/5000.02 c # maxSat = 4 5000.06/5000.02 c # freeFlip = 6955151 5000.06/5000.02 c # nbBoundary = 0 5000.06/5000.02 c
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3438340-1306884534/watcher-3438340-1306884534 -o /tmp/evaluation-result-3438340-1306884534/solver-3438340-1306884534 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438340-1306884534.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 3/534 3425 /proc/meminfo: memFree=9718388/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) R 3419 3423 3384 0 -1 4202496 313 0 0 0 0 0 0 0 20 0 1 0 800051366 8912896 252 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244169109 0 65538 4100 65536 0 0 0 17 3 0 0 0 /proc/3423/statm: 2176 252 211 178 0 69 0 [startup+0.0585371 s] /proc/loadavg: 0.00 0.00 0.00 3/534 3425 /proc/meminfo: memFree=9718388/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 800051366 8912896 252 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3423/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.265558 s] /proc/loadavg: 0.00 0.00 0.00 3/534 3425 /proc/meminfo: memFree=9718388/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.300521 s] /proc/loadavg: 0.00 0.00 0.00 3/534 3425 /proc/meminfo: memFree=9718388/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.700448 s] /proc/loadavg: 0.00 0.00 0.00 3/534 3425 /proc/meminfo: memFree=9718388/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+1.50031 s] /proc/loadavg: 0.00 0.00 0.00 3/540 3433 /proc/meminfo: memFree=9685720/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=14012 CPUtime=1.43 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 1984 0 0 0 143 0 0 0 19 0 1 0 800051373 14348288 1896 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223681 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 3503 1896 136 12 0 1967 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 31420 [startup+3.101 s] /proc/loadavg: 0.00 0.00 0.00 3/540 3433 /proc/meminfo: memFree=9682124/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=16156 CPUtime=3.03 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 2502 0 0 0 303 0 0 0 25 0 1 0 800051373 16543744 2414 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 4039 2414 136 12 0 2503 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33564 [startup+6.30044 s] /proc/loadavg: 0.24 0.05 0.02 3/540 3433 /proc/meminfo: memFree=9676716/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=17540 CPUtime=6.23 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 2856 0 0 0 623 0 0 0 25 0 1 0 800051373 17960960 2768 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 4385 2768 136 12 0 2849 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 34948 [startup+12.7003 s] /proc/loadavg: 0.38 0.08 0.03 3/540 3433 /proc/meminfo: memFree=9669912/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=20508 CPUtime=12.62 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 3603 0 0 0 1262 0 0 0 25 0 1 0 800051373 21000192 3515 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 5127 3515 136 12 0 3591 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 37916 [startup+25.5011 s] /proc/loadavg: 0.74 0.18 0.06 3/540 3434 /proc/meminfo: memFree=9656800/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=29848 CPUtime=25.42 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 5945 0 0 0 2542 0 0 0 25 0 1 0 800051373 30564352 5857 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 7462 5857 136 12 0 5926 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 47256 [startup+51.1006 s] /proc/loadavg: 1.17 0.32 0.11 3/540 3435 /proc/meminfo: memFree=9647936/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=31004 CPUtime=51.02 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 6241 0 0 0 5102 0 0 0 25 0 1 0 800051373 31748096 6143 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 7751 6143 136 12 0 6215 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48412 [startup+102.301 s] /proc/loadavg: 1.64 0.58 0.20 3/540 3436 /proc/meminfo: memFree=9624184/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=42260 CPUtime=102.23 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 9144 0 0 0 10222 1 0 0 25 0 1 0 800051373 43274240 8943 33554432000 4194304 4241092 140733798910128 18446744073709551615 4222244 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 10565 8943 136 12 0 9029 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 59668 [startup+162.301 s] /proc/loadavg: 1.87 0.83 0.31 3/540 3437 /proc/meminfo: memFree=9608848/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=46616 CPUtime=162.22 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 10368 0 0 0 16221 1 0 0 25 0 1 0 800051373 47734784 10027 33554432000 4194304 4241092 140733798910128 18446744073709551615 4222345 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 11654 10027 136 12 0 10118 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 64024 [startup+222.32 s] /proc/loadavg: 1.95 1.04 0.42 3/540 3439 /proc/meminfo: memFree=9590176/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=59372 CPUtime=222.25 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 13700 0 0 0 22223 2 0 0 25 0 1 0 800051373 60796928 13215 33554432000 4194304 4241092 140733798910128 18446744073709551615 4224961 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 14843 13215 136 12 0 13307 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 76780 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=9245888/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=170996 CPUtime=4542.3 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 51835 0 0 0 454213 17 0 0 25 0 1 0 800051373 175099904 41140 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223615 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 42749 41140 136 12 0 41213 0 Current children cumulated CPU time (s) 4542.35 Current children cumulated vsize (KiB) 188404 [startup+4602.3 s] /proc/loadavg: 2.01 2.04 2.00 3/540 3580 /proc/meminfo: memFree=9243944/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=170996 CPUtime=4602.3 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 51962 0 0 0 460213 17 0 0 25 0 1 0 800051373 175099904 41140 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 42749 41140 136 12 0 41213 0 Current children cumulated CPU time (s) 4602.35 Current children cumulated vsize (KiB) 188404 [startup+4662.3 s] /proc/loadavg: 2.00 2.03 2.00 3/540 3581 /proc/meminfo: memFree=9243624/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=170932 CPUtime=4662.3 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 52074 0 0 0 466213 17 0 0 25 0 1 0 800051373 175034368 41122 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223760 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 42733 41122 136 12 0 41197 0 Current children cumulated CPU time (s) 4662.35 Current children cumulated vsize (KiB) 188340 [startup+4722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/540 3583 /proc/meminfo: memFree=9243568/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=170868 CPUtime=4722.3 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 52188 0 0 0 472213 17 0 0 25 0 1 0 800051373 174968832 41105 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223730 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 42717 41105 136 12 0 41181 0 Current children cumulated CPU time (s) 4722.35 Current children cumulated vsize (KiB) 188276 [startup+4782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/540 3585 /proc/meminfo: memFree=9243512/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=171124 CPUtime=4782.3 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 52320 0 0 0 478213 17 0 0 25 0 1 0 800051373 175230976 41169 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 42781 41169 136 12 0 41245 0 Current children cumulated CPU time (s) 4782.35 Current children cumulated vsize (KiB) 188532 [startup+4842.32 s] /proc/loadavg: 2.00 2.01 2.00 3/540 3586 /proc/meminfo: memFree=9243180/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=171060 CPUtime=4842.32 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 52448 0 0 0 484215 17 0 0 25 0 1 0 800051373 175165440 41156 33554432000 4194304 4241092 140733798910128 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 42765 41156 136 12 0 41229 0 Current children cumulated CPU time (s) 4842.37 Current children cumulated vsize (KiB) 188468 [startup+4902.3 s] /proc/loadavg: 2.00 2.01 2.00 3/540 3588 /proc/meminfo: memFree=9243496/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=171028 CPUtime=4902.3 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 52570 0 0 0 490213 17 0 0 25 0 1 0 800051373 175132672 41149 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223700 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 42757 41149 136 12 0 41221 0 Current children cumulated CPU time (s) 4902.35 Current children cumulated vsize (KiB) 188436 [startup+4962.3 s] /proc/loadavg: 2.18 2.06 2.01 3/540 3589 /proc/meminfo: memFree=9243692/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=170964 CPUtime=4962.3 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 52685 0 0 0 496213 17 0 0 25 0 1 0 800051373 175067136 41135 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 42741 41135 136 12 0 41205 0 Current children cumulated CPU time (s) 4962.35 Current children cumulated vsize (KiB) 188372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.20 2.08 2.02 4/540 3591 /proc/meminfo: memFree=9243880/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=170996 CPUtime=5000.01 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 52755 0 0 0 499984 17 0 0 25 0 1 0 800051373 175099904 41143 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223718 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 42749 41143 136 12 0 41213 0 Current children cumulated CPU time (s) 5000.06 Current children cumulated vsize (KiB) 188404 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+5000 s] /proc/loadavg: 2.20 2.08 2.02 4/540 3591 /proc/meminfo: memFree=9243880/32951124 swapFree=58212616/67111528 [pid=3423] ppid=3419 vsize=8704 CPUtime=0.05 cores=1,3,5,7 /proc/3423/stat : 3423 (esg_static.sh) S 3419 3423 3384 0 -1 4202496 347 763 0 0 0 0 5 0 20 0 1 0 800051366 8912896 255 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/3423/statm: 2176 255 211 178 0 69 0 [pid=3430] ppid=3423 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3430/stat : 3430 (esg_static.sh) S 3423 3423 3384 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 800051373 8912896 134 33554432000 4194304 4922060 140733447885264 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3430/statm: 2176 134 90 178 0 69 0 [pid=3431] ppid=3430 vsize=170996 CPUtime=5000.01 cores=1,3,5,7 /proc/3431/stat : 3431 (sathys) R 3430 3423 3384 0 -1 4202496 52755 0 0 0 499984 17 0 0 25 0 1 0 800051373 175099904 41143 33554432000 4194304 4241092 140733798910128 18446744073709551615 4223718 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/3431/statm: 42749 41143 136 12 0 41213 0 Current children cumulated CPU time (s) 5000.06 Current children cumulated vsize (KiB) 188404 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 3423 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=55991 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.06199 # while last known CPU time is 5000.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.03 CPU time (s): 5000.06 CPU user time (s): 4999.89 CPU system time (s): 0.17 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 188564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.055991 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= 1259 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= 49 involuntary context switches= 7 runsolver used 25.9251 second user time and 63.0414 second system time The end
Begin job on node136 at 2011-06-01 01:28:54 IDJOB=3438340 IDBENCH=70930 IDSOLVER=1935 FILE ID=node136/3438340-1306884534 RUNJOBID= node136-1306884533-3405 PBS_JOBID= 13488440 Free space on /tmp= 32240 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT09/CRAFTED/edgematching/fbcolors/em_8_4_5_fbc.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438340-1306884534/watcher-3438340-1306884534 -o /tmp/evaluation-result-3438340-1306884534/solver-3438340-1306884534 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438340-1306884534.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6fdce6b69c397ad71b0f25957edff1fa RANDOM SEED=690784216 node136.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.809 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.61 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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.809 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.76 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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.83 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.809 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.809 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: 32951124 kB MemFree: 9719072 kB Buffers: 84336 kB Cached: 19567696 kB SwapCached: 7672 kB Active: 8871692 kB Inactive: 13599420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 9719072 kB SwapTotal: 67111528 kB SwapFree: 58212616 kB Dirty: 3904 kB Writeback: 8 kB AnonPages: 2817176 kB Mapped: 23984 kB Slab: 620940 kB PageTables: 68724 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 169211084 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= 32236 MiB End job on node136 at 2011-06-01 02:52:16